Optimal Control of Partial Differential Equations
Optimal Control of Partial Differential Equations
Optimal Control of Partial Differential Equations
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
90 CHAPTER 8. EQUATIONS WITH UNBOUNDED CONTROL OPERATORS<br />
Since G ∈ L(L2 (Γ); D((−A) α )) for all α ∈]0, 1[,<br />
the operator (−A)G can be decomposed<br />
4<br />
in the form (−A)G = (−A) 1−αB1, where B1 = (−A) αG belongs to L(L2 (Γ); L2 (Ω)). We shall<br />
see that this situation (with 0 < α < 1)<br />
is more complicated than the previous one where α<br />
4<br />
was allowed to take values greater than 1<br />
2 .<br />
8.5 The wave equation<br />
We only treat the case <strong>of</strong> a Dirichlet boundary control. We first define the unbounded operator<br />
Λ in H −1 (Ω) by<br />
D(Λ) = H 1 0(Ω), Λz = ∆z.<br />
We set Z = L 2 (Ω) × H −1 (Ω). We define the unbounded operator A in Z by<br />
D(A) = H 1 0(Ω) × L 2 (Ω), A =<br />
0 I<br />
Λ 0<br />
Using the Dirichlet operator G introduced in section 8.4.2, equation (6.6.15) may be written<br />
in the form<br />
d2z = Λz − ΛGu + f,<br />
dt2 z(0) = z0,<br />
dz<br />
(0) = z1.<br />
dt<br />
Now setting y = (z, dz ), we have<br />
dt<br />
with<br />
<br />
Bu =<br />
dy<br />
dt = Ay + Bu + F, y(0) = y0, (8.5.19)<br />
0<br />
−ΛGu<br />
<br />
0<br />
, F =<br />
f<br />
<br />
.<br />
<br />
<br />
z0<br />
, and y0 =<br />
z1<br />
The adjoint operator <strong>of</strong> A for the Z-topology is defined by<br />
D(A ∗ ) = H 1 0(Ω) × L 2 (Ω), A ∗ <br />
0<br />
=<br />
−Λ<br />
−I<br />
0<br />
The operator (A, D(A)) is a strongly continuous group <strong>of</strong> contractions on Z. Set<br />
C(t)z0 = e tA<br />
<br />
z0<br />
0<br />
and S(t)z1 = e tA<br />
<br />
0<br />
<br />
.<br />
Since (e tA )t≥0 is a group, we can verify that C(t) = 1<br />
2 (etA + e −tA ). Using equation (8.5.19), we<br />
can prove that S(t)z = t<br />
0<br />
We can also check that<br />
C(τ)z dτ and<br />
e tA =<br />
e tA∗<br />
= e −tA =<br />
C(t) S(t)<br />
ΛS(t) C(t)<br />
<br />
.<br />
C(t) −S(t)<br />
−ΛS(t) C(t)<br />
We denote by B ∗ the adjoint <strong>of</strong> B, where B is an unbounded operator from L 2 (Γ) into Z.<br />
Thus B ∗ is the adjoint <strong>of</strong> B with respect to the L 2 (Γ)-topology and the Z-topology.<br />
<br />
.<br />
<br />
.<br />
z1<br />
<br />
.