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.

80 CHAPTER 8. EQUATIONS WITH UNBOUNDED CONTROL OPERATORS<br />

exists B1 ∈ L(U; Z) and 0 < α < 1 such that<br />

B = (−A) 1−α B1.<br />

(HH) (The hyperbolic case) The operator B∗etA∗ admits a continuous extension from Z into<br />

L2 (0, T ; U), that is there exists a constant C(T ) such that<br />

T<br />

0<br />

B ∗ e tA∗<br />

ζ 2 U ≤ C(T )ζ 2 Z<br />

for every ζ ∈ D(A ∗ ). In the sequel we denote by [B ∗ e tA∗<br />

]e the extension <strong>of</strong> B ∗ e tA∗<br />

8.2 The case <strong>of</strong> analytic semigroups<br />

to Z.<br />

(8.1.3)<br />

We suppose that (HP) is satisfied. We have to distinguish the cases α > 1<br />

1 and α ≤ . We are<br />

2 2<br />

going to see that if α ≤ 1 an additional assumption on D is needed in order that the problem<br />

2<br />

(P ) be well posed.<br />

8.2.1 The case α > 1<br />

2<br />

Theorem 8.2.1 In this section we suppose that (HP) is satisfied with α > 1.<br />

For every<br />

2<br />

z0 ∈ Z, every f ∈ L2 (0, T ; Z) and every u ∈ L2 (0, T ; U), equation (8.1.1) admits a unique<br />

weak solution z(z0, u, f) in L2 (0, T ; Z), this solution belongs to C([0, T ]; Z) and the mapping<br />

(z0, u, f) ↦−→ z(z0, u, f)<br />

is continuous from Z × L 2 (0, T ; U) × L 2 (0, T ; Z) into C([0, T ]; Z).<br />

Pro<strong>of</strong>. Due to Theorem 4.3.1, we have<br />

Thus z(t) satisfies the estimate<br />

z(t) = e tA z0 +<br />

= e tA z0 +<br />

|z(t)|Z ≤ Cz0Z +<br />

t<br />

e<br />

0<br />

(t−τ)A (−A) 1−α B1u(τ)dτ<br />

t<br />

(−A)<br />

0<br />

1−α e (t−τ)A B1u(τ)dτ.<br />

t<br />

0<br />

|t − τ| α−1 |u(τ)|Udτ.<br />

Since the mapping t ↦→ t α−1 belongs to L 2 (0, T ) and the mapping t ↦→ |u(t)| belongs to<br />

L 2 (0, T ), from the above estimate it follows that t ↦→ |z(t)| belongs to L ∞ (0, T ).<br />

The adjoint equation for (P ) is <strong>of</strong> the form<br />

−p ′ = A ∗ p + g, p(T ) = pT . (8.2.4)<br />

Theorem 8.2.2 For every (g, pT ) ∈ L 2 (0, T ; Z)×Z, the solution p to equation (8.2.4) belongs<br />

to L 2 (0, T ; D((−A ∗ ) 1−α )).

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

Saved successfully!

Ooh no, something went wrong!