[23] MEDEIROS, L. A, Exact Controllability for Wave Equations - HUM, Atas do 37 o SBA, (1993), 61-173. [24] MEDEIROS, L. A, Tópicos em Equações Diferenciais Parciais, Parte I, IM-UFRJ, Rio de Janeiro, (2006) . [25] MEDEIROS, L. A. e MILLA MIRANDA, M., Introdução aos Espaços de Sobolev e às Equações Diferenciais Parciais, Textos de Métodos Matemáticos, vol. 25, IM-UFRJ, Rio de Janeiro, (1989). [26] MEDEIROS, L. A. e RIVERA, P. H., Espaços de Sobolev e Equações Diferenciais Parciais, Textos de Métodos Matemáticos, vol. 9, IM-UFRJ, Rio de Janeiro, (1977). [27] MICU, S. and ZUAZUA, E., An Introduction to the Controllability of Partial Differential Equations, Universi<strong>da</strong>d Autónoma de Madrid, España. [28] MILLA MIRANDA, M., Análise Espectral em Espaços de Hilbert, Textos de Métodos Matemáticos, vol. 28, IM-UFRJ, Rio de Janeiro, (1994). [29] RUSSEL, D. L., A Unified Boun<strong>da</strong>ry Controllability Theory for Hyperbolic and Parabolic Partial Differential Equations, Studies in Appl. Math., 52 (1973) , 189-221. [30] RUSSEL, D. L., Controllability and Stabilizability Theory for <strong>Linear</strong> Partial Differential Equations. Recent Progress and Open Questions, SIAM Rev. 20 (1978) , 639-739 [31] SCHWARTZ, L., Théorie des Distributions, Hermann, (1966). [32] VISIK, M. I., LADYZENSKAYA, O. A., Boun<strong>da</strong>ry value problems for partial differential equations and certain classes of perator equations, Uspehi Mat. Nauk (NS), 11 (672), (1956) , 41-97. [33] ZUAZUA, E., An Introduction to the Exact Controllability for Distributed Systems, CMAF, Universi<strong>da</strong>de de Lisboa, Portugal, (1990). 107
[34] ZUAZUA, E., Controlabili<strong>da</strong>d Exacta y Estabilización la Ecuación de On<strong>da</strong>s. Textos de Métodos Matemáticos 23, Universi<strong>da</strong>de Federal do Rio de Janeiro, (1990). [35] ZUAZUA, E., Some Problems and Results on the Controllability of Partial Differential Equations, Progress in Mathematics, Vol. 169, Birkhäuser Verlag Basel/Switzerland, (1998) , 276-311. [36] ZUAZUA, E., Teoria Matemática del Control: Motor del Desarrollo Cientifico, Teconologico e Social, Departamento de Matemática Aplica<strong>da</strong>, Universi<strong>da</strong>d Complutense de Madrid, España. 108
- Page 1 and 2:
Controlabilidade Exata e Aproximada
- Page 3 and 4:
Ficha Catalográfica MURILLO, Kelly
- Page 5 and 6:
À ”Turma de Compatriotas”: Ale
- Page 7 and 8:
Resumo Estudamos os problemas de co
- Page 9 and 10:
Sumário Introdução 1 1 Prelimina
- Page 11 and 12:
Notações e Simbologias • (·,
- Page 13 and 14:
mistérios do controle de sistemas.
- Page 15 and 16:
Consideremos o sistema ⎧ ⎪⎨
- Page 17 and 18:
Capítulo 1 Preliminares trabalho.
- Page 19 and 20:
Exemplo 1.2 Seja u ∈ L 1 loc (Ω
- Page 21 and 22:
onde (1/p) + (1/q) = 1. Quando p =
- Page 23 and 24:
Lema 1.2 (Rellich-Kondrachov) Seja
- Page 25 and 26:
Prova: Ver [6]. Teorema 1.7 (Banac
- Page 27 and 28:
Capítulo 2 Soluções da Equação
- Page 29 and 30:
onde os gjm(t) são soluções do s
- Page 31 and 32:
onde C > 0 independe de m e t. Pass
- Page 33 and 34:
Desde que φ ∈ L ∞ (0, T ; H 1
- Page 35 and 36:
Teorema 2.2 (Energia) Se φ é solu
- Page 37 and 38:
Prova: A solução forte φ é o li
- Page 39 and 40:
Como {wi} i é uma base ortonormal
- Page 41 and 42:
Logo pelos mesmos argumentos usados
- Page 43 and 44:
Logo pelas covergências dadas em (
- Page 45 and 46:
Assim w ∈ L ∞ (0, T, H 1 0 (Ω
- Page 47 and 48:
e, pelo Lema de Gronwall (Lema 1.3)
- Page 49 and 50:
Seja (hk)1≤k≤n o campo vetorial
- Page 51 and 52:
Substituindo (2.91) em (2.90) segue
- Page 53 and 54:
onde Em (t) é a energia associada
- Page 55 and 56:
Sendo w ∈ L 1 (0, T ; H 1 0(Ω)
- Page 57 and 58:
onde 〈·, ·〉 representa difere
- Page 59 and 60:
Prova: Seja w ∈ H 2 0 (0, T ; H 2
- Page 61 and 62:
Assim, pela desigualdade de Cauchy-
- Page 63 and 64:
Sabemos que: 1 2 Q ∂hk ∂xk |
- Page 65 and 66:
Notemos que (2.170) e (2.171) são
- Page 67 and 68: Consideremos o sistema ⎧ y ⎪⎨
- Page 69 and 70: Consideremos o problema não homog
- Page 71 and 72: Dessa forma, temos por (3.8) que
- Page 73 and 74: Lema 3.1 Seja φ a solução de (3.
- Page 75 and 76: Pela desigualdade inversa (3.21) te
- Page 77 and 78: 3.1.2 Controlabilidade Exata Intern
- Page 79 and 80: Por outra parte, como ψ = 0 e φ =
- Page 81 and 82: Por (i) e (ii) concluimos a equival
- Page 83 and 84: Da desigualdade direta (3.46) obtem
- Page 85 and 86: outro controle tal que para dados i
- Page 87 and 88: (ii) Para ε > 0, o problema (3.57)
- Page 89 and 90: podemos reescrever (3.61) por inf
- Page 91 and 92: Seja ρ0 j, ρ1 j (3.62) tal que
- Page 93 and 94: Logo para qualquer {ρ 0 , ρ 1 }
- Page 95 and 96: Consideremos o operador linear e co
- Page 97 and 98: Para cada n ∈ N, seja ρn a solu
- Page 99 and 100: de (3.30) satisfaz (3.72) . Além d
- Page 101 and 102: (iii) para cada compacto K de G exi
- Page 103 and 104: Agora, considerando X(t) = ⎡ ⎣
- Page 105 and 106: Apêndice B Desigualdades de Observ
- Page 107 and 108: onde E (t) é a energia definida em
- Page 109 and 110: B.2 Observabilidade para o Controle
- Page 111 and 112: Mostremos que, dado ε > 0 tal que
- Page 113 and 114: Multiplicando ambos lados de (3.32)
- Page 115 and 116: φ ′ m → φ ′ fraco − ∗ e
- Page 117: [11] KALMAN, R. E., Optimization, M