09.05.2013 Views

Controlabilidade Exata e Aproximada da Equação da Onda Linear

Controlabilidade Exata e Aproximada da Equação da Onda Linear

Controlabilidade Exata e Aproximada da Equação da Onda Linear

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Assim<br />

d<br />

dt (φ′ (t) , v) + ((φ (t) , v)) = (f (t) , v) em D ′ (0, T ) ∀v ∈ H 1 0 (Ω)<br />

Considerando, em particular, v ∈ D (Ω), temos<br />

ou seja,<br />

Logo<br />

Assim<br />

Portanto<br />

〈φ ′′ , v〉 D´(Q),D(Q) − 〈∆φ, v〉 D´(Q),D(Q) = 〈f, v〉 em D ′ (0, T ), (2.69)<br />

〈φ ′′ − ∆φ − f, v〉 D´(Q),D(Q) = 0 em D ′ (0, T ), ∀v ∈ D(Ω).<br />

φ ′′ − ∆φ = f em D ′ (Q). (2.70)<br />

Como ∆ ∈ L(H 1 0 (Ω) ; H −1 (Ω)) e φ ∈ L ∞ (0, T, H 1 0 (Ω)), então ∆φ ∈ L ∞ (0, T, H −1 (Ω)).<br />

φ ′′ = f + ∆φ ∈ L 1 (0, T, L 2 (Ω)) + L ∞ (0, T, H −1 (Ω)) ⊂ L 1 0, T ; H −1 (Ω) .<br />

Condições Iniciais.<br />

φ ′′ − ∆φ = f em L 1 (0, T, H −1 (Ω)). (2.71)<br />

Por (2.49) − (2.51) e o Teorema 1.4, temos que φ ∈ C 0 ([0, T ] ; L 2 (Ω)) e φ ′ ∈<br />

C 0 ([0, T ] ; H −1 (Ω)), logo faz sentido o cálculo de φ e φ ′ em t = 0. A demostração de (2.54)<br />

segue usando o mesmo argumento <strong>da</strong> Seção 2.1.<br />

• Unici<strong>da</strong>de<br />

Para provar a unici<strong>da</strong>de <strong>da</strong> solução fraca φ do problema (2.1), aplicaremos o Método<br />

devido a Visik-Ladyzhenskaya [32].<br />

Suponhamos que existem duas soluções fracas φ e φ do problema (2.1). Seja w = φ − φ,<br />

logo w é solução fraca do problema:<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

w ′′ − ∆w = 0<br />

w = 0<br />

w(0) = 0, w<br />

em Q,<br />

sobre Σ,<br />

′ (0) = 0 em Ω.<br />

33

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

Saved successfully!

Ooh no, something went wrong!