Professional Documents
Culture Documents
Puel - Global Carleman, Controlabilidad and Inverse Problems
Puel - Global Carleman, Controlabilidad and Inverse Problems
1
Jean-Pierre Puel
1
J.-P. Puel: (jppuel@cmapx.polytechnique.fr) Laboratoire de Mathématiques Ap-
pliquées, Université de Versailles Saint-Quentin, 45 avenue des Etats Unis, 78035 Versailles
Chapter 1
Exact controllability problems for wave equations have been extensively studied in
the last fifteen years (see [13] for example) and this problem corresponds to many
applications like how to stop vibrations by a boundary action for example and many
others. We will consider here the case of wave equations with bounded potentials
and present a direct approach to this problem. Another problem which will be con-
sidered here is to retrieve an unknown potential in a wave equation from boundary
measurements. This is now an inverse problem and again it corresponds to impor-
tant applications, even if a more interesting problem would be to retrieve a diffusion
coefficient or elasticity coefficients. The situation considered here constitutes one
step in this direction.
The results we present here are not new but they are given in a unified way and
the attempt is to make them rather simple and comprehensible despite of some long
computations.
The link between the two questions appears clearly from Lions’ Hilbert Unique-
ness Method for example. Here we obtain results on the two problems using the
same mathematical machinery.
We will present this machinery which is the very technical but powerful math-
ematical tool given by global Carleman estimates in the present context of wave
equations with potentials. We will give a complete proof of these estimates for
strong solutions of wave equations, following the method developped in [8]. Then
we give applications to the two above mentionned problems. We start with well
known preliminaries on wave equations which we will need all along this study.
This text corresponds to lectures which have been given during the advanced
school “Control of Solids and Structures: Mathematical Modelling and Engineering
Applications” at the C.I.S.M. in Udine in June 2004 and to a part of D.E.A. course
at the University Pierre et Marie Curie in 2003-2004.
1
1.1 Basic properties for the wave equation
In the whole text, Ω is a bounded (regular enough) open subset of IRN , Γ denotes its
boundary and T is a strictly positive number. We will sometimes use the notation
Q = Ω × (0, T ). We will call ν the outward unit normal vector on Γ.
We will consider various kinds of wave equations and they will all be of the
following type :
∂2u
1 d ∂u ∂u ∂u
Z Z Z Z
( | |2 dx + 2
|∇u| dx) + p.u dx = f dx.
2 dt Ω ∂t Ω Ω ∂t Ω ∂t
If we define the energy by
1 ∂u
Z Z
E(t) = ( | (t)|2 dx + |∇u(t)|2 dx),
2 Ω ∂t Ω
2
we have
d ∂u ∂u
E(t) ≤ ||p||L∞ (Q) |u(t)|L2 (Ω) | (t)|L2 (Ω) + |f (t)|L2 (Ω) | (t)|L2 (Ω)
dt ∂t ∂t
As Ω is bounded the Poincaré inequality says that there exists a constant C0 such
that
∀v ∈ H01 (Ω), |v|L2 (Ω) ≤ C0 |∇v|L2 (Ω) .
Therefore we have
d √ q
E(t) ≤ C0 ||p||L∞ (Q) E(t) + 2|f (t)|L2 (Ω) E(t),
dt
so that
dq C0 q 1
E(t) ≤ ||p||L∞ (Q) E(t) + √ |f (t)|L2 (Ω) .
dt 2 2
Using Gronwall’s lemma we obtain
q 1
Z T q C0
∀t ∈ (0, T ), E(t) ≤ ( √ |f (s)|L2 (Ω) ds + E(0))exp( ||p||L∞ (Q) T ).
2 0 2
This gives an explicit bound on the energy E(t) in terms of E(0) (which only depends
on the initial datas), the potential p and the right hand side f and this is the essential
part of the proof of Theorem 1.1.1.
We also have an existence and uniqueness result for finite energy solutions in
another context.
∂u
u ∈ C([0, T ]; H01 (Ω)) , ∈ C([0, T ]; L2 (Ω)).
∂t
The difference in the proof comes from the term
∂u
< f (t), (t) >
∂t
which is treated as
∂ ∂f (t)
< f (t), u(t) > − < , u(t) > .
∂t ∂t
3
1.1.2 Regularity of the normal derivative
We now recall a regularity result for solutions given by Theorem 1.1.1. This result
is known as a result of “hidden regularity” (see for example [13]).
Theorem 1.1.4 We assume the same hypotheses as in Theorem 1.1.1. Then the
solution u of (1.1.2) satisfies
∂u
∈ L2 (0, T ; L2 (Γ)).
∂ν
Moreover, the mapping
∂u
(f, u0 , u1 ) →
∂ν
which is well defined for regular (and dense) datas, is linear continous from
L1 (0, T ; L2 (Ω)) × H01 (Ω) × L2 (Ω) into L2 (0, T ; L2 (Γ)).
Proof. (idea).
It relies on the multiplier method. The computations are done in the case of
regular solutions (for a dense set of regular datas). Let m ∈ W 1,∞ (Ω; IRN ) (called
multiplier) and let us multiply (1.1.2) by m.∇u. We successively obtain (using the
summation convention for repeated indices)
T ∂2u
Z Z
m.∇udxdt
0 Ω ∂t2
Z
∂u
Z Z T Z
∂u ∂u
= (T )m.∇u(T )dx − u1 m.∇u0 dx − m.∇ dxdt
Ω ∂t Ω 0 Ω ∂t ∂t
Z
∂u
Z
1
Z T Z
∂u 2
= (T )m.∇u(T )dx − u1 m.∇u0 dx − m.∇(| | )dxdt
Ω ∂t Ω 2 0 Ω ∂t
Z
∂u
Z
1
Z T Z
∂u 2
= (T )m.∇u(T )dx − u1 m.∇u0 dx + (div m)| | dxdt.
Ω ∂t Ω 2 0 Ω ∂t
Z T Z
(−∆u)m.∇udxdt
0 Ω
Z T Z
∂u ∂mj ∂u
Z T Z
∂u ∂ ∂u
Z T Z
= dxdt+ mj ( )dxdt− (∇u.ν)(m.∇u)dσdt
0 Ω ∂xi ∂xi ∂xj 0 Ω ∂xi ∂xj ∂xi 0 Γ
Z T Z
∂u ∂mj ∂u 1
Z T Z
∂
Z T Z
= dxdt + mj (|∇u|2 )dxdt − |∇u.ν|2 (m.ν)dσdt
0 Ω ∂xi ∂xi ∂xj 2 0 Ω ∂xj 0 Γ
Z T Z
∂u ∂mj ∂u 1
Z T Z
1
Z T Z
2
= dxdt− (div m)|∇u| dxdt− |∇u.ν|2 (m.ν)dσdt.
0 Ω ∂xi ∂xi ∂xj 2 0 Ω 2 0 Γ
4
We now take the multiplier m as a lifting of the outward unit normal ν so that
m.ν = 1 on Γ. This is possible if Ω is regular enough. We obtain, gathering all
terms, the following estimate
1
Z T Z Z T Z T Z Z T Z
|∇u.ν|2 dσdt ≤ C( E(t)dt + |p||u||∇u|dxdt + |f ||∇u|dxdt).
2 0 Γ 0 0 Ω 0 Ω
Remark 1.1.5 If f ∈ W 1,1 (0, T ; H −1 (Ω)), we still have existence and uniqueness
of a finite energy solution from Theorem 1.1.3. But in that case, we cannot obtain
any regularity result on the normal derivative ∂u
∂ν .
Proof. .
Let h ∈ L1 (0, T ; L2 (Ω)) and let u be solution of
∂2u
5
It is immediate to see that L is a linear continuous functional on L1 (0, T ; L2 (Ω)).
Therefore there exists a unique function z ∈ L∞ (0, T ; L2 (Ω)) such that
Z T Z
1 2
∀h ∈ L (0, T ; L (Ω)), zhdxdt = L(h)
0 Ω
Z T Z
∂u
Z T Z
∂u
= < f (t), u(t) > dt − z0 (0)dx+ < z1 , u(0) > − g dσdt.
0 Ω ∂t 0 Γ ∂ν
It is now standard to interpret the above equation and to give a sense to the value
of z on the boundary as well as the initial values z(0) and ∂z ∂t (0) to obtain (1.1.3).
By taking first the datas f , z0 and z1 in a dense subset of regular functions, we
can show easily that in fact z ∈ C([0, T ]; L2 (Ω)) and then that ∂z
∂t ∈ C([0, T ]; H
−1 (Ω)).
∂2u
∂u
(1.2.6) = H on Γ0 × (0, T ).
∂ν
The question is then : can we retrieve p from the measure H?
To be more precise we can ask two questions :
• Uniqueness : do we have
∂u(p) ∂u(q)
= on Γ0 × (0, T ) ⇒ p = q ?
∂ν ∂ν
6
• Stability : do we have
∂u(p) ∂u(q)
||p − q||X(Ω) ≤ C|| − ||
∂ν ∂ν Y (Γ0 )
for suitable norms X(Ω) and Y (Γ0 )?
Of course stability implies uniqueness. We will obtain here, following the work of [9]
and [10] , stability results in a situation where we assume to know the solution u(q)
corresponding to a given potential q with enough regularity on u(q) (for example this
solution u(q) could be a result of computations) and under a geometrical hypothesis
on Γ0 together with T sufficiently large. Previous results in the same direction have
been obtained for example in [15], [17] and [11]
We can already notice that if we call
z = u(p) − u(q)
∂2z
The question they address is then : If two such mappings (corresponding to two
potentials) coincide, are the potentials equal? More precisely, do we have
Λp = Λq ⇒ p = q?
7
Notice that the knowledge of Λp = Λq implies an infinite number of measurements,
but in our case, the knowledge of ∂u(p) ∂u(q)
∂ν = ∂ν on Γ0 × (0, T ) means the knowledge
of one measurement but during a time period (0, T ) so that it also means an infinite
number of measurements.
The positive result they obtain requires hypotheses which are analogous to the
ones we will assume here and the techniques involved in their proof is similar to the
one we will describe here for the wave equation. However, up to our knowledge, the
precise relation between the two problems is unknown at the moment and it would
be very interesting know if such a relation exists.
A similar question can be treated for Schrödinger equations and the answers are
similar (see [2]).
The basic tool we will use is a global Carleman inequality for the wave equation.
The obtention of such an inequality will be the subject of Chapter 2.
8
problem is equivalent to proving an observability inequality on the adjoint equation.
Let us consider the adjoint equation
∂2ϕ
Using the same basic tool as for the previous inverse problem, namely a global
Carleman inequality, we will show inequality (1.3.11) under a geometrical hypothesis
on Γ0 and for T sufficiently large.
9
Chapter 2
Carleman estimates for regular functions with compact support (which we shall call
local) go back to [4] and have been developped in [7]. Here we are interested in
proving global Carleman estimates (up to the boundary) corresponding to the wave
operator.
We consider a function v ∈ L2 (−T, T ; L2 (Ω)) such that
∂2v
L0 v = − ∆v ∈ L2 (−T, T ; L2 (Ω)).
∂t2
We then call
∂2v
Lv = L0 v + pv = − ∆v + pv
∂t2
and we also have
Lv ∈ L2 (−T, T ; L2 (Ω)).
∂v
We can then define in a very weak sense the traces on Γ × (−T, T ) of v and ∂ν
because ∆v ∈ H −2 (−T, T ; L2 (Ω)). We can also define the values of v and ∂v
∂t at
∂2v 2 −2
times −T and T because ∂t2 ∈ L (−T, T ; H (Ω)).
We know consider the set of functions v such that
∂v ∂v
v(−T ) = v(T ) = 0 ; (−T ) = (T ) = 0.
∂t ∂t
It is classical to show that this set contains a dense subset of “regular” functions.
10
Let us now define, for x0 ∈ IRN \ Ω a first weight
w = esϕλ .v.
We have
∂ −sϕλ ∂w ∂φ
(e .w) = e−sϕλ ( − sλ ϕλ w) ;
∂t ∂t ∂t
∂ 2 −sϕλ −sϕλ ∂ w
2
2 ∂φ 2 ∂2φ
(e .w) = e ( − sλ ( ) ϕλ w − sλ ϕλ w
∂t2 ∂t2 ∂t ∂t2
∂φ ∂w ∂φ
−2sλϕλ + s2 λ2 ( )2 ϕ2λ w) ;
∂t ∂t ∂t
∂ −sϕλ ∂w ∂φ
(e .w) = e−sϕλ ( − sλ ϕλ w) ;
∂xi ∂xi ∂xi
∆(e−sϕλ .w) = e−sϕλ (∆w − sλ2 |∇φ|2 ϕλ w − sλ∆φϕλ w
−2sλϕλ ∇φ.∇w + s2 λ2 ϕ2λ |∇φ|2 w).
Therefore we can write
P0 w = P1 w + P2 w + R0 w
where
∂2w ∂φ
(2.0.4) P1 w = 2
− ∆w + s2 λ2 ϕ2λ (( )2 − |∇φ|2 )w,
∂t ∂t
∂2φ ∂φ
(2.0.5) P2 w = (M1 − 1)sλϕλ ( 2
− ∆φ)w − sλ2 ϕλ (( )2 − |∇φ|2 )w
∂t ∂t
∂φ ∂w
−2sλϕλ ( − ∇φ.∇w)
∂t ∂t
11
where M1 will be chosen later on such that
2β 2
< M1 <
β+N β+N
and
∂2φ
(2.0.6) R0 w = −M1 sλϕλ (
− ∆φ)w.
∂t2
In order to formulate the result concerning the global Carleman inequality we
need another definition. For x0 ∈ IRN , we define
(2.0.7) Γx0 = {x ∈ Γ, ν(x).(x − x0 ) > 0}.
We now give a global Carleman inequality following essentially Imanuvilov’s method
in [8]. Other versions of global Carleman inequalities for wave equations have been
obtained by several authors, in particular [18] (see also [16]).
Theorem 2.0.1 Let us suppose that there exists x0 ∈ IRN \ Ω such that Γ0 ⊃
Γx0 . Then for every m > 0, there exists λ0 > 0 and s0 > 0 and there exists a
constant C = C(s0 , λ0 , Ω, β, x0 , m) such that for every p ∈ L∞ (Q) with |p|L∞ (Q) ≤
m, we have, for every λ ≥ λ0 and s ≥ s0 , for every v ∈ L2 (−T, T ; L2 (Ω)), L0 v ∈
L2 (−T, T ; L2 (Ω)), v = 0 on Γ × (−T, T ), v(−T ) = v(T ) = 0, ∂v ∂v
∂t (−T ) = ∂t (T ) = 0,
Z T Z
∂v
Z T Z
2sϕλ
sλ e ϕλ (| |2 + |∇v|2 )dxdt + s3 λ3 e2sϕλ ϕ3λ |v|2 dxdt
−T Ω ∂t −T Ω
Z T Z Z T Z
(2.0.8) + |P1 w|2 dxdt + |P2 w|2 dxdt
−T Ω −T Ω
Z T Z Z T Z
∂v 2
≤C e2sϕλ |Lv|2 dxdt + Csλ e2sϕλ | | dσdt.
−T Ω −T Γ0 ∂ν
Remark 2.0.2 The above estimate is uniform in p when p is in a bounded set of
L∞ (Q). This is important for the applications we have in mind.
The above estimate does not require any sufficiently large size for the time interval
2T .
Proof.
Let us first assume that we have proved (2.0.8) with L0 v instead of Lv in the
right hand side. Then as
|Lv|2 ≤ 2|L0 v|2 + 2|p|L∞ (Q) |v|2 ≤ 2|L0 v|2 + 2m|v|2
and as ϕλ ≥ 1, we see that by choosing s0 large enough we can absorb the term
Z T Z
2Cm e2sϕλ |v|2 dxdt
−T Ω
12
in the left hand side and this gives (2.0.8) with slightly different constants. Therefore
we have to prove (2.0.8) with L0 v in the right hand side instead of Lv.
We will show the inequality for a dense subset of functions v in order to justify
our calculations.
For w = esϕλ v we have
P0 w = P1 w + P2 w + R0 w = esϕλ L0 v.
Then
P1 w + P2 w = esϕλ L0 v − R0 w.
Taking norms of both sides in L2 (−T, T ; L2 (Ω)) we obtain
Z T Z Z T Z
(2.0.9) (|P1 w|2 + |P2 w|2 )dxdt + 2 P1 wP2 wdxdt
−T Ω −T Ω
Z T Z
= |esϕλ L0 v − R0 w|2 dxdt
−T Ω
Z T Z Z T Z
≤2 e2sϕλ |L0 v|2 dxdt + 2 |R0 w|2 dxdt.
−T Ω −T Ω
and this requires lots of very careful calculations. The dominating terms (of which
we have to keep track carefully) are the ones containing
Z T Z
∂w 2
sλ ϕλ (| | + |∇w|2 )dxdt,
−T Ω ∂t
Z T Z
s 3 λp ϕ3λ |w|2 dxdt
−T Ω
with p ≥ 3 and the boundary terms. The other terms can be shown to be negligible.
Let us compute successively the different terms we obtain.
T∂2w ∂2φ
Z Z
I11 = 2
((M 1 − 1)sλϕ λ w( − ∆φ)) dxdt
−T Ω ∂t ∂t2
∂2φ
Z T Z
∂w 2
= (1 − M1 )sλ | | ϕλ ( 2 − ∆φ) dxdt
−T Ω ∂t ∂t
∂2φ ∂2φ
Z T Z
(1 − M1 ) 2 ∂φ
− sλ |w|2 ϕλ ( 2 + λ| |2 )( 2 − ∆φ) dxdt
2 −T Ω ∂t ∂t ∂t
13
T ∂2w ∂φ
Z Z
I12 = 2
(−sλ2 ϕλ w(| |2 − |∇φ|2 )) dxdt
−T Ω ∂t ∂t
∂2φ
Z T Z Z T Z
2 ∂w 2 ∂φ 2 2 2
= sλ | | ϕλ (| | − |∇φ| ) dxdt − sλ |w|2 ϕλ | 2 |2 dxdt
−T Ω ∂t ∂t −T Ω ∂t
1
Z T Z 2
∂φ ∂ φ sλ 3 Z T Z
∂2φ
−(2 + )sλ3 |w|2 ϕλ | |2 2 dxdt + |w|2 ϕλ |∇φ|2 2 dxdt
2 −T Ω ∂t ∂t 2 −T Ω ∂t
sλ4 Z T Z
∂φ ∂φ
− |w|2 ϕλ | |2 (| |2 − |∇φ|2 ) dxdt
2 −T Ω ∂t ∂t
T∂2w ∂w ∂φ
Z Z
I13 = 2
(−2sλϕλ ( − ∇w.∇φ)) dxdt
−T Ω ∂t ∂t ∂t
∂w 2 ∂ 2 φ
Z T Z Z T Z
∂w 2 ∂φ
= sλ | | ϕλ 2 dxdt + sλ2 | | ϕλ | |2 dxdt
−T Ω ∂t ∂t −T Ω ∂t ∂t
Z T Z Z T Z
∂w 2 ∂w ∂φ
+sλ | | ϕλ (∆φ + λ|∇φ|2 ) dxdt − 2sλ2 ϕλ ∇w.∇φ dxdt
−T Ω ∂t −T Ω ∂t ∂t
T ∂2φ
Z Z
I21 = − ∆φ)) dxdt
−∆w((M1 − 1)sλϕλ w(
−T Ω ∂t2
∂2φ
Z T Z
= −(1 − M1 )sλ |∇w|2 ϕλ ( 2 − ∆φ) dxdt
−T Ω ∂t
(1 − M1 ) 2
Z T Z 2
∂ φ
+ sλ |w|2 ϕλ ( 2 − ∆φ)(∆φ + λ|∇φ|2 ) dxdt
2 −T Ω ∂t
Z T Z
∂φ 2
I22 = −∆w(−sλ2 ϕλ w(| | − |∇φ|2 )) dxdt
−T Ω ∂t
Z T Z
∂φ
= −sλ2 |∇w|2 ϕλ (| |2 − |∇φ|2 ) dxdt
−T Ω ∂t
n
!2
T ∂2φ
Z Z
2 2
X
−sλ |w| ϕλ dxdt
−T Ω i,j=1
∂xi ∂xj
sλ3 T ∂φ 2
Z Z
+ |w|2 ϕλ (∆φ + λ|∇φ|2 )(| | − |∇φ|2 ) dxdt
2 −T Ω ∂t
Z T Z
−2sλ3 |w|2 ϕλ D 2 φ(∇φ, ∇φ) dxdt
−T Ω
14
Z T Z
∂w ∂φ
I23 = −∆w(−2sλϕλ (
− ∇w.∇φ)) dxdt
−T Ω ∂t ∂t
∂2φ
Z T Z Z T Z
2 2
= sλ |∇w| ϕλ ( 2 − ∆φ) dxdt + 2sλ |∇φ.∇w|2 ϕλ dxdt
−T Ω ∂t −T Ω
Z T Z Z T Z
∂w ∂φ ∂φ
−2sλ2 ϕλ ∇w.∇φ dxdt + sλ2 |∇w|2 ϕλ (| |2 − |∇φ|2 ) dxdt
−T Ω ∂t ∂t −T Ω ∂t
Z T Z Z T Z
−sλ |∇w.ν|2 ϕλ ∇φ.ν dσdt + 2sλ ϕλ D2 φ(∇w, ∇w) dxdt
−T Γ −T Ω
T ∂φ 2 ∂2φ
Z Z
I31 = | − |∇φ|2 )((M1 − 1)sλϕλ w( 2 − ∆φ)) dxdt
s2 λ2 ϕ2λ w(|
−T Ω ∂t ∂t
Z T Z 2
∂ φ ∂φ
= −(1 − M1 )s3 λ3 |w|2 ϕ3λ ( 2 − ∆φ)(| |2 − |∇φ|2 ) dxdt
−T Ω ∂t ∂t
Z T Z
∂φ 2 ∂φ
I32 = s2 λ2 ϕ2λ w(| | − |∇φ|2 )(−sλ2 ϕλ w(| |2 − |∇φ|2 )) dxdt
−T Ω ∂t ∂t
Z T Z
∂φ
3 4
= −s λ |w|2 ϕ3λ (| |2 − |∇φ|2 )2 dxdt
−T Ω ∂t
Z T Z
∂φ 2 ∂w ∂φ
I33 = s2 λ2 ϕ2λ w(|
| − |∇φ|2 )(−2sλϕλ ( − ∇w.∇φ)) dxdt
−T Ω ∂t ∂t ∂t
∂2φ
Z T Z
∂φ
= s3 λ3 |w|2 ϕ3λ ( 2 − ∆φ)(| |2 − |∇φ|2 ) dxdt
−T Ω ∂t ∂t
Z T Z 2
∂ φ ∂φ
+2s3 λ3 |w2 |ϕ3λ ( 2 | |2 + D 2 φ(∇φ, ∇φ)) dxdt
−T Ω ∂t ∂t
Z T Z
∂φ
+3s3 λ4 |w|2 ϕ3λ (| |2 − |∇φ|2 )2 dxdt
−T Ω ∂t
15
Z T Z
+2sλ ϕλ D2 φ(∇w, ∇w) dxdt
−T Ω
T ∂2φ
Z Z
+M1 sλ |∇w|2 ϕλ ( − ∆φ) dxdt
−T Ω ∂t2
Z T ∂w 2
Z
−sλ | ∇φ.ν(x) dσdt
ϕλ |
−T Γ ∂ν
Z T Z
∂φ
+2s3 λ4 |w|2 ϕ3λ (| |2 − |∇φ|2 )2 dxdt
−T Ω ∂t
∂ 2 φ ∂φ
Z T Z
+2s3 λ3 |w2 |ϕ3λ ( 2 | |2 + D 2 φ(∇φ, ∇φ)) dxdt
−T Ω ∂t ∂t
∂2φ
Z T Z
∂φ
+M1 s3 λ3 |w|2 ϕ3λ ( 2 − ∆φ)(| |2 − |∇φ|2 ) dxdt
−T Ω ∂t ∂t
+X1
λ ≤ ϕλ
and therefore Z T Z
X1 ≤ Csλ3 ϕ3λ |w|2
−T Ω
16
Now it is easy to see that
Z T Z Z T Z
∂w 2
P1 wP2 w dxdt ≥ (M2 − 4β)sλ | | ϕλ dxdt
−T Ω −T Ω ∂t
Z T Z Z T Z
∂w 2
+(4 − M2 )sλ |∇w|2 ϕλ dxdt − 2sλ ϕλ | | (x − x0 ).ν(x) dσdt
−T Ω −T Γ ∂ν
Z T Z
+2s3 λ3 |w2 |ϕ3λ Fλ (φ) dxdt + X1
−T Ω
∂φ 2 M2 ∂φ 2 ∂ 2 φ ∂φ
Fλ (φ) = λ(| | − |∇φ|2 )2 − (| | − |∇φ|2 ) + ( 2 | |2 + 2|∇φ|2 )
∂t 2 ∂t ∂t ∂t
= 16λ(|x − x0 | − β t ) + 2(M2 + 4β)(|x − x0 | − β t ) + 8(1 − β)|x − x0 |2
2 2 2 2 2 2 2
Fλ (φ)(x, t) ≥ P0
By choosing now s large enough (s ≥ s0 ) we can absorb the terms of X1 and the
term Z Z T
|R0 w|2 dxdt
−T Ω
17
in (2.0.9) which is of the same order to obtain for another positive constant C
Z T Z Z T Z
P1 wP2 w dxdt − |R0 w|2 dxdt
−T Ω −T Ω
Z T
∂w 2
Z
≥ −2λs ϕλ | | (x − x0 ).ν(x) dσdt
−T ∂Ω ∂ν
Z T Z Z T Z
∂w 2
+Csλ | | + |∇w|2 ϕλ dxdt + Cs3 λ3 |w|2 ϕ3λ dxdt.
−T Ω ∂t −T Ω
Now using this inequality in (2.0.9), the definition of Γx0 and going back to the
variable v = e−sϕλ w this implies Carleman inequality (2.0.8) and Theorem 2.0.1.
18
Chapter 3
∂2u
z = u(p) − u(q)
19
z is solution of the following wave equation :
∂2z
∂2y
• T > supx∈Ω |x − x0 |
Then if
∂u ∂u
(p) = (q) on Γ0 × (0, T )
∂ν ∂ν
we have
p = q.
20
We can now give the main stability result
Then there exists C > 0 such that for every p with ||p||L∞ (Ω) ≤ m
1 ∂u ∂u
||q − p||2L2 (Ω) ≤ || (q) − (p)||2H 1 (0,T ;L2 (Γ0 )) ≤ C||q − p||2L2 (Ω) .
C ∂ν ∂ν
Theorem 3.1.2 implies Theorem 3.1.1 and both are consequences of the following
result for the linear problem.
• T > supx∈Ω |x − x0 |
Then there exists C > 0 depending on p only via m such that for every solution y
of the linear problem
1 ∂y
||f ||2L2 (Ω) ≤ || ||2H 1 (0,T ;L2 (Γ0 )) ≤ C||f ||2L2 (Ω) .
C ∂ν
All these results are based on a global Carleman inequality for the wave equation.
Proof of Theorem 3.1.3.
If y is solution to the linear problem take
∂y ∂R
y0 =
, R0 = .
∂t ∂t
Then if we extend y 0 and R0 on (−T, 0) in an odd way we have
2 0
∂ y 0 0 0
∂t2 − ∆y + q(x)y = f (x)R (x, t), x ∈ Ω, t ∈ (−T, T ),
(3.1.4) y 0 = 0, x ∈ Γ, t ∈ (−T, T ),
∂y 0
y 0 (0) = 0,
(0) = f (x)R(x, 0), x ∈ Ω.
∂t
For δ > 0 (small) take θ ∈ C0∞ (−T, T ) such that
0 ≤ θ ≤ 1, θ(t) = 1 if − T + δ ≤ t ≤ T − δ.
21
Let us set
v = θ.y 0
Then v satisfies
2
∂ v
− ∆v + p(x)v = θ(t)f (x)R0 (x, t)
2
∂t
∂θ ∂y 0 ∂ 2 θ 0
+2 + 2 y , x ∈ Ω, t ∈ (−T, T ),
∂t ∂t ∂t
v = 0, x ∈ Γ, t ∈ (−T, T ),
(3.1.5) ∂v
v(0) = 0, (0) = f (x)R(x, 0), x ∈ Ω
∂t
∂v
v(−T ) = (−T ) = 0, x ∈ Ω
∂t
∂v
v(T ) = (T ) = 0, x ∈ Ω.
∂t
We then apply global Carleman inequality (2.0.8) to v (with notations analogous to
the ones of the previous chapter). Choosing T > supx∈Ω |x − x0 | = ρ, we can take
β such that
ρ2
<β<1
T2
Therefore, as φ(x, t) = |x − x0 |2 − βt2 + M0 , we have for sufficiently small δ
From Carleman inequality and using the previous estimate for Lv we obtain
22
Z T Z Z T Z
|P1 w|2 dxdt + s3 λ3 ϕ3λ |w|2 dxdt
−T Ω −T Ω
Z T Z
∂w 2
+sλ | | dxdt
−T Ω ∂t
Z T Z Z T Z
∂v 2
2sϕλ 2
≤C e |Lv| dxdt + Csλ ϕλ e2sϕλ | | dσdt
−T Ω −T Γ0 ∂ν
Z Z T Z
∂v 2
≤C e2sϕλ (0) |f |2 dx + Csλ ϕλ e2sϕλ | | dσdt.
Ω −T Γ0 ∂ν
Using Cauchy-Schwarz inequality we obtain for every s ≥ s0
C
Z Z
e2sϕλ (0) |f |2 a20 dx ≤√ e2sϕλ (0) |f |2 dx
Ω s Ω
√ Z T Z ∂v
+C sλ ϕλ e2sϕλ | |2 dσdt.
−T Γ0 ∂ν
Taking now s large enough we absorb the first term in the right hand side and we
obtain (with different constants)
Z
√ Z T Z
∂v 2
2sϕ(0)
e |f |2 a20 dx ≤ C sλ ϕλ e2sϕλ | | dσdt
Ω −T Γ0 ∂ν
which gives the result of Theorem 3.1.3.
23
Chapter 4
Application to exact
controllability for the wave
equation with a bounded
potential
We recall the exact controllability problem for the wave equation. For any couple
of initial data (u0 , u1 ) ∈ L2 (Ω) × H −1 (Ω) we consider the wave equation
2
∂ u
− ∆u + p.u = 0, in Ω × (0, T ),
2
∂t
u = v, on Γ0 × (0, T ),
(4.0.1)
u = 0, on (Γ \ Γ0 ) × (0, T ),
u(0) = u0 ; ∂u (0) = u1 , in Ω,
∂t
where the potential p satisfies p ∈ L∞ (Ω × (0, T )) and where v is a control taken in
L2 (0, T ; L2 (Γ0 )). We know from Theorem 1.1.6 that equation (4.0.1) has a unique
solution u ∈ C([0, T ]; L2 (Ω)) with ∂u
∂t ∈ C([0, T ]; H
−1 (Ω)). The problem of exact
24
equation
∂2ψ
• T > 2 supx∈Ω |x − x0 |
Then there exists a constant C0 such that for every ψ0 ∈ H01 (Ω) and ψ1 ∈ L2 (Ω) we
have Z TZ
∂ψ
(4.0.4) E0 ≤ C0 | |2 dσdt.
0 Γ0 ∂ν
we have
dE ∂ψ
Z
(t) + p(t)ψ(t) (t)dx = 0
dt Ω ∂t
so that
dE ∂ψ ∂ψ
(t) ≤ ||p(t)||L∞ (Ω) | (t)|L2 (Ω) |ψ(t)|L2 (Ω) ≤ C||p(t)||L∞ (Ω) | (t)|L2 (Ω) |∇ψ(t)|L2 (Ω)
dt ∂t ∂t
and
dE
(t) ≤ C||p(t)||L∞ (Ω) E(t).
dt
25
If
T
EM = E( ),
2
we have
T T
EM ≤ E0 eC 2 ||p||L∞(Q) and E0 ≤ EM eC 2 ||p||L∞(Q) .
Let us choose
T 2
(4.0.5) φM (x, t) = |x − x0 |2 − β(t − ) + M0 ,
2
where β is chosen such that
4
(4.0.6) 1>β> sup |x − x0 |2
T 2 x∈Ω
and where M0 is chosen such that
(4.0.7) ∀(x, t) ∈ Ω × (−T, T ), φM (x, t) ≥ 1.
We have
T
∀t ∈ [0, T ], φM (x, t) ≤ φM (x, )
2
and
T
φM (x, ) = |x − x0 |2 + M0 > M0
2
so that
T T
(4.0.8) ∃η > 0, ∀t ∈ [ − η, + η], ∀x ∈ Ω, φM (x, t) ≥ M0 .
2 2
Now
T2
φM (x, 0) = φM (x, T ) = |x − x0 |2 − β
+ M0 .
4
Therefore, with the choice of β and the hypothesis on T
(4.0.9) ∃δ > 0, ∀t ∈ [0, δ] ∪ [T − δ, T ], φM (x, t) ≤ M0 .
Let us now define θδ as a function in C ∞ ([0, T ]) such that
∀t ∈ [0, T ], 0 ≤ θδ (t) ≤ 1, θδ (0) = θδ (1) = 0, ∀t ∈ [δ, T − δ], θδ (t) = 1.
We set
z(x, t) = θδ (t)ψ(x, t).
We have
∂2z ∂θδ ∂ψ ∂ 2 θδ
= − ∆z + = 2 + ψ, (x, t) ∈ Ω × (0, T ),
Lz p(x)z
∂t2 ∂t ∂t ∂t2
(4.0.10) z = 0, (x, t) ∈ Γ × (0, T ),
∂z ∂z
z(0) = z(T ) = 0, (0) = (T ) = 0, x ∈ Ω.
∂t ∂t
26
If we denote for λ > 0
ϕM (x, t) = eλφM (x,t)
we can apply Carleman’s inequality (2.0.8) to z on the interval (0, T ). There exist
s0 , λ0 and C such that for every s ≥ s0 , λ ≥ λ0 we have
Z T Z
∂z 2
Z T Z
sλ e2sϕM ϕM (( ) + |∇z|2 )dxdt + s3 λ3 e2sϕM ϕ3M |z|2 dxdt
0 Ω ∂t 0 Ω
Z T Z Z T Z
∂z 2
≤C e2sϕM |Lz|2 dxdt + Csλ e2sϕM | | dσdt.
0 Ω 0 Γ0 ∂ν
Using Poincare inequality and the fact that derivatives of θδ vanish on [δ, T − δ] we
have
Z T Z Z δ Z
∂z 2 λM0
e2sϕM |Lz|2 dxdt ≤ C1 ) + |∇z|2 )dxdt
e2se ((
0 Ω 0 Ω ∂t
Z T Z
λM0 ∂z
+C1 e2se (( )2 + |∇z|2 )dxdt
T −δ Ω ∂t
λM0 T
≤ 2δC1 e2se EM eC||p||L∞ (Q) 2 .
with
C C||p||L∞(Q) η
C(T, p) ∼ e
2ηsλ
27
and
δ C||p||L∞(Q) ( T +η)
sλ ∼ e 2 .
η
We can now obtain the observability inequality (with explicit dependence of the
constants) which gives the result of Theorem 4.0.4
T
Z T Z
λM0 ) ∂ψ 2
E0 ≤ C(T, p)eC||p||L∞(Q) 2 e2s(ϕM −e | | dσdt
0 Γ0 ∂ν
Using now the classical result of Lions’ H.U.M. we obtain as a consequence the exact
controllability result for equation (4.0.1)
• T > 2 supx∈Ω |x − x0 |
• p ∈ L∞ (Q).
Then for every (u0 , u1 ) ∈ L2 (Ω)×H −1 (Ω) there exists a control v ∈ L2 (0, T ; L2 (Γ0 ))
such that the solution u of (4.0.1) satisfies
∂u
u(T ) = 0 and (T ) = 0.
∂t
Remark 4.0.6 Observability inequalities (or inverse inequalities) have been ob-
tained in several contexts. The most general result has been proved in [1] using
microlocal analysis but the constants which appear in this result are not explicit. On
the other hand, observability inequalities with explicit constants have been obtained
using the multiplier method when the potential p is absent and with the same hy-
potheses on Γ0 and T as the ones we make here (see [13] and also [12]). The same
result is proved in a more general geometrical situation in [14] using again the mul-
tiplier method but with a non standard multiplier. When the potential p is bounded
but does not depend on the time variable, these results can be extended easily using
a compactness uniqueness argument at the price of loosing the explicit dependence
of the constants. It would be very interesting to obtain a direct result with explicit
constants, using for example other Carleman estimates, in hte geometrical situation
considered in [14] but with bounded potentials p depending on both x and t.
28
Bibliography
[1] C. Bardos, G. Lebeau et J. Rauch, Sharp sufficient conditions for the obser-
vation, control and stabilization of waves from the boundary, SIAM J. Control
and Optimisation, 30, 1992, 1024-1065.
[2] L. Baudouin and J.-P. Puel, Uniqueness and stability in an inverse problem
for the Schrödinger equation, Inverse Problems 18 (2002) 1537-1554.
[4] T. Carleman Sur un problème d’unicité pour les systèmes d’équations aux
derivées partielles à deux variables independentes Ark. Mat. Astr. Fys., Vol 2B,
1939, pp: 1-9
[5] R. Dautray and J.-L. Lions, Mathematical analysis and numerical methods
for science and technology, Springer, Berlin, 2000, Vol. 1 et 5.
[9] O. Yu. Imanuvilov and M. Yamamoto, Global uniqueness and stability in de-
termining coefficients of wave equations., Comm. Partial Differential Equations
26 No 7-8 (2001), 1409–1425.
29
[11] M.V. Klibanov, Inverse Problems and Carleman estimates, Inverse Problems
8 (1992), 575-596.
[18] Xu Zhang Explicit observability inequalities for the wave equation with lower
order terms by means of Carleman inequalities, SIAM J. Control and Optim.,
39 (2001), 812-834.
30