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.
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−α )).