Global uniqueness, observability and stabilization of nonconservative Schrödinger equations via pointwise Carleman estimates. Part I: H 1(Ω)-estimates

Verfasser / Beitragende:
[I. Lasiecka, R. Triggiani, X. Zhang]
Ort, Verlag, Jahr:
2004
Enthalten in:
Journal of Inverse and Ill-posed Problems, 12/1(2004-02-01), 43-123
Format:
Artikel (online)
ID: 378883283
LEADER caa a22 4500
001 378883283
003 CHVBK
005 20180305123437.0
007 cr unu---uuuuu
008 161128e20040201xx s 000 0 eng
024 7 0 |a 10.1515/156939404773972761  |2 doi 
035 |a (NATIONALLICENCE)gruyter-10.1515/156939404773972761 
245 0 0 |a Global uniqueness, observability and stabilization of nonconservative Schrödinger equations via pointwise Carleman estimates. Part I: H 1(Ω)-estimates  |h [Elektronische Daten]  |c [I. Lasiecka, R. Triggiani, X. Zhang] 
520 3 |a We consider a general non-conservative Schrödinger equation defined on an open bounded domain Ω in , with C 2-boundary subject to (Dirichlet and, as a main focus, to) Neumann boundary conditions on the entire boundary Γ. Here, Γ0 and Γ1 are the unobserved (or uncontrolled) and observed (or controlled) parts of the boundary, respectively, both being relatively open in Γ. The Schrödinger equation includes energy-level (H 1(Ω)-level) terms, which accordingly may be viewed as unbounded perturbations. The first goal of the paper is to provide Carleman-type inequalities at the H 1-level, which do not contain lower-order terms; this is a distinguishing feature over most of the literature. This goal is accomplished in a few steps: the paper obtains first pointwise Carleman estimates for C 2-solutions; and next, it turns these pointwise estimates into integral-type Carleman estimates with no lower-order terms, originally for H 2-solutions, and ultimately for H 1-solutions. The passage from H 2- to H 1-solutions is readily accomplished in the case of Dirichlet B.C., but it requires a delicate regularization argument in the case of Neumann B.C. This is so since finite energy solutions are known to have L 2-normal traces in the case of Dirichlet B.C., but by contrast do not produce H 1-traces in the case of Neumann B.C. From Carleman-type inequalities with no lower-order terms, one then obtains the sought-after benefits. These consist of deducing, in one shot, as a part of the same flow of arguments, two important implications: (i) global uniqueness results for H 1-solutions satisfying over-determined boundary conditions, and—above all—(ii) continuous observability (or stabilization) inequalities with an explicit constant. The more demanding purely Neumann boundary conditions requires the same geometrical conditions on the triple {Ω,Γ0,Γ1} that arise in the corresponding problems for second-order hyperbolic equations. The most general result, with weakest geometrical conditions, is, in fact, deferred to Section 9. Sections 1 through 8 provide the main body of our treatment with one vector field under a preliminary working geometrical condition, which is then removed in Section 9, by use of two suitable vector fields. The second and final goal of this paper is to shift the Carleman estimates (Hence, the continuous observability/stabilization inequalities) by one unit downward to the lower L 2(Ω)-level. This is accomplished in Section 10 by means of pseudo-differential analysis, and accordingly, it contains lower-order terms. Applications of these L 2(Ω)-Carleman estimate includes a new uniform stabilization of the conservative Schrödinger equation in the state space L 2(Ω), by an attractive boundary feedback. 
540 |a Copyright 2004, Walter de Gruyter 
700 1 |a Lasiecka  |D I.  |u University of Virginia, Department of Mathematics, P. O. Box 400137, Charlottesville, VA 22904-4137. E-mails: I.L., il2v@virginia.edu; R.T., rt7u@virginia.edu.  |4 aut 
700 1 |a Triggiani  |D R.  |u University of Virginia, Department of Mathematics, P. O. Box 400137, Charlottesville, VA 22904-4137. E-mails: I.L., il2v@virginia.edu; R.T., rt7u@virginia.edu.  |4 aut 
700 1 |a Zhang  |D X.  |u School of Mathematics, Sichuan University, Chengdu 610064, China; and Departamento de Mathematicas, Facultad de Ciencias, Universidad Autonoma de Madrid, 28049, Madrid, Spain.  |4 aut 
773 0 |t Journal of Inverse and Ill-posed Problems  |d Walter de Gruyter  |g 12/1(2004-02-01), 43-123  |x 0928-0219  |q 12:1<43  |1 2004  |2 12  |o jiip 
856 4 0 |u https://doi.org/10.1515/156939404773972761  |q text/html  |z Onlinezugriff via DOI 
908 |D 1  |a research article  |2 jats 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1515/156939404773972761  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Lasiecka  |D I.  |u University of Virginia, Department of Mathematics, P. O. Box 400137, Charlottesville, VA 22904-4137. E-mails: I.L., il2v@virginia.edu; R.T., rt7u@virginia.edu  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Triggiani  |D R.  |u University of Virginia, Department of Mathematics, P. O. Box 400137, Charlottesville, VA 22904-4137. E-mails: I.L., il2v@virginia.edu; R.T., rt7u@virginia.edu  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Zhang  |D X.  |u School of Mathematics, Sichuan University, Chengdu 610064, China; and Departamento de Mathematicas, Facultad de Ciencias, Universidad Autonoma de Madrid, 28049, Madrid, Spain  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t Journal of Inverse and Ill-posed Problems  |d Walter de Gruyter  |g 12/1(2004-02-01), 43-123  |x 0928-0219  |q 12:1<43  |1 2004  |2 12  |o jiip 
900 7 |b CC0  |u http://creativecommons.org/publicdomain/zero/1.0  |2 nationallicence 
986 |a SWISSBIB  |b 378883283 
898 |a BK010053  |b XK010053  |c XK010000 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-gruyter