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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

68 CHAPTER 6. CONTROL OF THE WAVE EQUATION<br />

Let us establish the optimality conditions for (P2). As usual we set F2(u) = J2(z(u), u),<br />

where z(u) is the solution to (6.3.6). We have F ′ 2(ū2)u = <br />

Ω (∇¯z2(T ) − ∇zd(T ))∇wu(T ) +<br />

β <br />

Q χωū2u, where wu is the solution to<br />

Since<br />

∂2w ∂t2 − ∆w = χωu in Q, w = 0 on Σ, w(x, 0) = 0 and ∂w<br />

(x, 0) = 0 in Ω.<br />

∂t<br />

<br />

(∇¯z2(T ) − ∇zd(T ))∇wu(T ) = 〈−∆(¯z2(T ) − zd(T )), wu(T )〉 H−1 (Ω)×H1 0 (Ω),<br />

Ω<br />

applying formula (6.2.3) to p2 and wu, we obtain<br />

F ′ <br />

2(ū2)u = (χω(βū2 + p2)u = 0<br />

Q<br />

for every u ∈ L 2 (0, T ; L 2 (ω)). Thus the optimality condition for (P2) is proved. The pro<strong>of</strong> <strong>of</strong><br />

the other results is left to the reader.<br />

Comments. As for the heat equation with distributed controls, equation (6.3.6) is <strong>of</strong> the<br />

form<br />

y ′ = Ay + F + Bu, y(0) = y0,<br />

with<br />

Ay = A<br />

y1<br />

y2<br />

<br />

=<br />

y2<br />

∆y1<br />

<br />

0<br />

, F =<br />

f<br />

<br />

z0<br />

, y0 =<br />

z1<br />

<br />

<br />

0<br />

, and Bu =<br />

χωu<br />

Thus problem (P1) is a particular case <strong>of</strong> control problems studied in Chapter 7.<br />

6.4 Neumann boundary control<br />

We first study the equation<br />

∂2z − ∆z = f in Q,<br />

∂t2 ∂z<br />

∂n = 0 on Σ, z(x, 0) = z0 and ∂z<br />

∂t (x, 0) = z1 in Ω. (6.4.10)<br />

We set D(A) = {y1 ∈ H 2 (Ω) | ∂y1<br />

∂n = 0} × H1 (Ω), Y = H 1 (Ω) × L 2 (Ω), and<br />

Ay = A<br />

y1<br />

y2<br />

<br />

y2<br />

=<br />

∆y1 − y1<br />

<br />

, Ly =<br />

Equation (6.4.10) may be written in the form<br />

dy<br />

dt<br />

0<br />

y1<br />

<br />

, F =<br />

= (A + L)y + F, y(0) = y0.<br />

0<br />

f<br />

<br />

, and y0 =<br />

Theorem 6.4.1 The operator (A, D(A)) is the infinitesimal generator <strong>of</strong> a strongly continuous<br />

semigroup <strong>of</strong> contractions on Y .<br />

Pro<strong>of</strong>. We leave the reader adapt the pro<strong>of</strong> <strong>of</strong> Theorem 6.2.1.<br />

z0<br />

z1<br />

<br />

.<br />

<br />

.

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

Saved successfully!

Ooh no, something went wrong!