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.

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

8.4.1 Neumann boundary control<br />

We want to write equation (5.3.10) in the form (8.1.1). For this, we set Z = L 2 (Ω) and we<br />

define the unbounded operator A in Z by<br />

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

∂n<br />

= 0}, Az = ∆z.<br />

We know that A generates an analytic semigroup on Z (see [2]),<br />

and<br />

D((I − A) α ) = H 2α (Ω) if α ∈]0, 3<br />

4 [,<br />

D((I − A) α ) = {z ∈ H 2α (Ω) | ∂z<br />

∂n<br />

= 0} if α ∈]3 , 1[.<br />

4<br />

Consider now the Neumann operator N from L2 (Γ) into L2 (Ω) defined by N : u ↦→ w , where<br />

w is the solution to<br />

∆w − w = 0 in Ω,<br />

∂w<br />

= u<br />

∂n<br />

on Γ.<br />

From [12] we deduce that N ∈ L(L 2 (Γ); H 3<br />

2 (Ω)). This implies that N ∈ L(L 2 (Γ); D((I −A) α ))<br />

for all α ∈]0, 3<br />

4<br />

[. We also have N ∈ L(H 1<br />

2 (Γ); H 2 (Ω)).<br />

Suppose that u ∈ C 1 ([0, T ]; H 1<br />

2 (Γ)) and denote by z the solution to equation (5.3.10). Set<br />

y(x, t) = z(x, t)−(Nu(t))(x). Since u ∈ C 1 ([0, T ]; H 3<br />

2 (Γ)), Nu(·) belongs to C 1 ([0, T ]; H 2 (Ω)),<br />

and we have<br />

∂y<br />

∂t<br />

− ∆y = f − ∂Nu<br />

∂t<br />

Thus y is defined by<br />

+ Nu in Q,<br />

y(t) = e tA (z0 − Nu(0)) −<br />

t<br />

With an integration by parts we check that<br />

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

0<br />

∂y<br />

∂n = 0 on Σ, y(x, 0) = (z0 − Nu(0))(x) in Ω.<br />

(t−s)A d<br />

e (Nu(s))ds +<br />

dt<br />

t<br />

0<br />

e (t−s)A f(s)ds +<br />

t<br />

0<br />

t<br />

0<br />

e (t−s)A (Nu(s) + f(s))ds.<br />

(I − A)e (t−s)A Nu(s)ds.<br />

This means that, when u is regular enough, equation (5.3.10) may be written in the form<br />

z ′ = Az + f + (I − A)Nu, z(0) = z0.<br />

It is known that A is selfadjoint in L 2 (Ω), that is D(A) = D(A ∗ ) and Az = A ∗ z for all<br />

z ∈ D(A). Since A ∗ ∈ L(D(A ∗ ); L 2 (Ω)), (A ∗ ) ∗ ∈ L(L 2 (Ω); D(A ∗ ) ′ ). Observing that N ∈<br />

L(L 2 (Γ); H 3<br />

2 (Ω)) and (I−(A ∗ ) ∗ ) ∈ L(L 2 (Ω); D(A ∗ ) ′ ), we have (I−(A ∗ ) ∗ )N ∈ L(L 2 (Γ); D(A ∗ ) ′ ).<br />

In the case when u ∈ L 2 (0, T ; L 2 (Γ)) we consider the equation<br />

z ′ = (A ∗ ) ∗ z + f + (I − (A ∗ ) ∗ )Nu, z(0) = z0. (8.4.16)

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

Saved successfully!

Ooh no, something went wrong!