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
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