29.03.2013 Views

Optimal Control of Partial Differential Equations

Optimal Control of Partial Differential Equations

Optimal Control of Partial Differential Equations

SHOW MORE
SHOW LESS

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 />

.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!