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.

28 CHAPTER 3. CONTROL OF SEMILINEAR ELLIPTIC EQUATIONS<br />

3.2 Linear elliptic equations<br />

Theorem 3.2.1 For every f ∈ L r (Ω), with r ≥ 2N<br />

N+2<br />

Az = f in Ω,<br />

∂z<br />

∂nA<br />

admits a unique solution in H 1 (Ω), this solution belongs to W 2,r (Ω).<br />

if N > 2 and r > 1 if N = 2, equation<br />

= 0 on Γ, (3.2.2)<br />

Pro<strong>of</strong>. Since H1 (Ω) ⊂ L 2N<br />

N−2 (Ω) (with a dense imbedding) if N > 2, and H1 (Ω) ⊂ Lp (Ω) for<br />

any p < ∞ (with a dense imbedding) if N = 2, we have L 2N<br />

N+2 (Ω) ⊂ (H1 (Ω)) ′ if N > 2, and<br />

Lp′ (Ω) ⊂ (H1 (Ω)) ′ for all p < ∞ if N = 2. Thus Lr (Ω) ⊂ (H1 (Ω)) ′ . The existence <strong>of</strong> a unique<br />

solution in H 1 (Ω) follows from the Lax-Migram theorem. The regularity result in W 2,r (Ω) is<br />

proved in [30, Theorem 3.17].<br />

For any exponent q, we denote by q ′ the conjugate exponent to q. When f ∈ (W 1,q′ (Ω)) ′ ,<br />

q ≥ 2, we replace equation (3.2.2) by the variational equation<br />

find z ∈ H 1 (Ω) such that a(z, φ) = 〈f, φ〉 (H 1 (Ω)) ′ ×H 1 (Ω) for all φ ∈ H 1 (Ω), (3.2.3)<br />

where a(z, φ) = <br />

Ω ΣN i,j=1aij(x)∂jz∂iφ dx.<br />

Theorem 3.2.2 For every f ∈ (W 1,q′ (Ω)) ′ , with q ≥ 2, equation (3.2.3) admits a unique<br />

solution in H1 (Ω), this solution belongs to W 1,q (Ω), and<br />

z W 1,q (Ω) ≤ Cf (W 1,q ′ (Ω)) ′.<br />

Pro<strong>of</strong>. As previously we notice that the existence <strong>of</strong> a unique solution in H 1 (Ω) follows from<br />

the Lax-Migram theorem. The regularity result in W 1,q (Ω) is proved in [30, Theorem 3.16].<br />

With Theorem 3.2.2, we can study elliptic equations with nonhomogeneous boundary conditions.<br />

Lemma 3.2.1 If g ∈ Ls (Γ) with s ≥ 2(N−1)<br />

, the mapping<br />

N<br />

<br />

φ ↦−→ gφ<br />

belongs to (W 1,q′<br />

(Ω)) ′ for all s ≥ (N−1)q<br />

N .<br />

Pro<strong>of</strong>. If φ ∈ W 1,q′<br />

φ ↦→ <br />

1,q′<br />

gφ belongs to (W (Ω)) ′ if s ≥<br />

Γ<br />

Γ<br />

1<br />

1−<br />

(Ω), then φ|Γ belongs to W q ′ ,q ′<br />

(Γ) ⊂ L (N−1)q′<br />

N−q ′ (Γ). Thus the mapping<br />

<br />

(N−1)q ′ ′<br />

N−q ′<br />

Theorem 3.2.3 For every g ∈ Ls (Γ), with s ≥ 2(N−1)<br />

, equation<br />

N<br />

Az = 0 in Ω,<br />

∂z<br />

∂nA<br />

= (N−1)q<br />

. The pro<strong>of</strong> is complete.<br />

N<br />

= g on Γ, (3.2.4)<br />

admits a unique solution in H1 (Ω), this solution belongs to W 1,q (Ω) with q = Ns , and<br />

N−1<br />

z W 1,q (Ω) ≤ CgL s (Γ).

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

Saved successfully!

Ooh no, something went wrong!