Escolar Documentos
Profissional Documentos
Cultura Documentos
Beumeister Leitao Teoria de Controle e Programacion Dinamica PDF
Beumeister Leitao Teoria de Controle e Programacion Dinamica PDF
i i 2008/3/11
page
i i
Conteudo
1 Introducao 1
1.1 Apresentacao dos Sistemas de Controle . . . . . . . . . . . 1
1.2 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Aquecimento de um Quarto . . . . . . . . . . . . . 5
1.2.2 Um Problema de Controle Discreto . . . . . . . . . 7
1.2.3 Um Problema de Tempo Mnimo . . . . . . . . . . 11
1.2.4 Lancamento de um Foguete . . . . . . . . . . . . . 12
1.2.5 Equilbrio de um Bastao . . . . . . . . . . . . . . . 13
1.2.6 Concentracao de Chumbo no Corpo Humano . . . 16
1.2.7 A Braquistocrona . . . . . . . . . . . . . . . . . . . 18
1.2.8 Um Problema de Controle Otimo . . . . . . . . . . 21
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2 Observabilidade 26
2.1 Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . 26
2.2 Subespaco nao Observavel . . . . . . . . . . . . . . . . . . 33
2.3 Reconstrucao de Estados . . . . . . . . . . . . . . . . . . . 35
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 Controlabilidade 39
3.1 Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . 39
3.2 Controlabilidade e Observabilidade . . . . . . . . . . . . . 42
3.3 Sistemas de Controle Autonomos . . . . . . . . . . . . . . 44
3.4 Forma Normal dos Sistemas Autonomos . . . . . . . . . . 47
3.5 Controlabilidade e Estrategias Otimas . . . . . . . . . . . 51
3.6 Atingibilidade de Estados com Restricoes de Controle . . 54
3.7 Princpio do BangBang e Problemas de Tempo Mnimo . 60
3.8 Controlabilidade de Sistemas Lineares Discretos . . . . . . 65
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
i i
i i
steuer
i i 2008/3/11
page
i i
CONTEUDO
4 Estabilidade 71
4.1 Conceito e Exemplos . . . . . . . . . . . . . . . . . . . . . 71
4.2 Estabilidade de Sistemas Lineares . . . . . . . . . . . . . . 75
4.3 Criterio de RouthHurwitz . . . . . . . . . . . . . . . . . 78
4.4 Perturbacao de Sistemas Lineares . . . . . . . . . . . . . . 81
4.5 Metodo de Lyapunov . . . . . . . . . . . . . . . . . . . . . 87
4.6 Equacao Matricial de Lyapunov . . . . . . . . . . . . . . . 92
4.7 Estabilidade de Sistemas Lineares Discretos . . . . . . . . 96
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5 Estabilizacao 101
5.1 Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . 102
5.2 Colocacao de Polos . . . . . . . . . . . . . . . . . . . . . . 105
5.3 Observador Dinamico . . . . . . . . . . . . . . . . . . . . 109
5.4 Estabilizacao por Realimentacao de Sada . . . . . . . . . 114
5.5 Pontos de Operacao . . . . . . . . . . . . . . . . . . . . . 116
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
i i
i i
steuer
i i 2008/3/11
page
i i
CONTEUDO
i i
i i
steuer
i i 2008/3/11
page
i i
CONTEUDO
Bibliografia 385
i i
i i
steuer
i i 2008/3/11
page
i i
Lista de Figuras
i i
i i
steuer
i i 2008/3/11
page
i i
LISTA DE FIGURAS
i i
i i
steuer
i i 2008/3/11
page
i i
Prefacio
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
PREFACIO
i i
i i
steuer
i i 2008/3/11
page
i i
i i
i i
steuer
i i 2008/3/11
page 1
i i
Captulo 1
Introducao
i i
i i
steuer
i i 2008/3/11
page 2
i i
2 [CAP. 1: INTRODUCAO
i i
i i
steuer
i i 2008/3/11
page 3
i i
K(t)
i i
i i
steuer
i i 2008/3/11
page 4
i i
4 [CAP. 1: INTRODUCAO
Note que o reservatorio estara cheio quando x(t) = xmax ou y(t) = ymax .
Definimos, usando apenas a eurstica, a seguinte estrategia:
1) Medir no tempo t a sada y(t);
2) Testar se y(t) = ymax ;
3) Abrir ou fechar a torneira;
4) Voltar ao item 1);
Note que usamos apenas dois valores extremos do controlador, que cor-
respondem a torneira totalmente aberta ou totalmente fechada. Tais
controles pertencem a uma famlia especial (controles de BangBang) e
sao analizados mais detalhadamente no Captulo 3. 2
Observacao 5. A funcao que permite calcular a sada y a partir da
entrada u e denominada funcao de transferencia. A seguir, relacionamos
algumas formas especiais desta funcao para sistemas com entrada e sada
escalar, i.e. y(t), u(t) R, para todo t.
i i
i i
steuer
i i 2008/3/11
page 5
i i
1.2 Exemplos
Os exemplos a seguir tem o objetivo de ilustrar os diferentes tipos
de aplicacoes que podem ser tratadas atraves da teoria de controle e
ao mesmo tempo de apresentar as ferramentas matematicas necessarias
para investigacao dos problemas.
i i
i i
steuer
i i 2008/3/11
page 6
i i
6 [CAP. 1: INTRODUCAO
(1.8) z 00 a2 z = 0,
i i
i i
steuer
i i 2008/3/11
page 7
i i
sinh(at), cosh(at).
e as condicoes de contorno
(1.12) y 0 = y 0 , yN = y N .
i i
i i
steuer
i i 2008/3/11
page 8
i i
8 [CAP. 1: INTRODUCAO
+ 0 (y0 y 0 ) + N +1 (yN y N ),
onde a numeracao das componentes de e escolhida de forma adequada.
Definindo agora a funcao de Hamilton
H(y0 , . . . , yN , u0 , . . . , uN 1 , 0 , . . . , N +1 )
N
X 1 N
X 1
(1.17)
= li (yi , ui ) + j+1 fj (yj , uj ),
i=0 j=0
i i
i i
steuer
i i 2008/3/11
page 9
i i
(1.21) y 0 = y 0 , yN = y N .
yk+1 = a yk + b uk , k = 0, . . . , N 1
N 1
1 X 2
J(y, u) := ui
2
i=0
e as condicoes de contorno
y0 = 0, yN = zT .
(1.22) yk+1 = a yk + b uk , k = 0, . . . , N 1
(1.23) k = a k+1 , k = 1, . . . , N 1
(1.24) uk + k+1 b = 0, k = 0, . . . , N 1
2
Descartamos as equacoes K/y0 e K/yN referentes as variaveis 0 e N +1
respectivamente, pois vamos desconsiderar essas variaveis. O papel delas e somente
garantir que as condicoes de contorno sejam satisfeitas pelo candidato a extremal.
i i
i i
steuer
i i 2008/3/11
page 10
i i
10 [CAP. 1: INTRODUCAO
y0 = 0, yN = zT .
Calculando uk em (1.23) e substituindo em (1.22) obtemos
(1.25) yk+1 = a yk b2 k+1 , k = 0, . . . , N 1
(1.26) k = a k+1 , k = 1, . . . , N 1
Note que (1.26) nos permite calcular k recursivamente a partir de N :
k = (a)N k N , k = 1, . . . , N 1.
Substituindo em (1.25), obtemos a equacao de diferencas:
yk+1 = a yk b2 (a)N k1 N , k = 0, . . . , N 1,
a qual pode ser resolvida diretamente se usamos a condicao inicial y0 = 0.
Temos entao
k1
X
yk = (a)ki1 b2 (a)N i1 N
i=0
k1
X
2 N +k2
= b N (a) (a)2i , k = 1, . . . , N.
i=0
i i
i i
steuer
i i 2008/3/11
page 11
i i
i i
i i
steuer
i i 2008/3/11
page 12
i i
12 [CAP. 1: INTRODUCAO
m v + v0 m + m v.
onde
m, v, h : massa, velocidade e altura do foguete respectivamente;
G(h) : forca da gravidade;
D(v, h) : resistencia do ar.
i i
i i
steuer
i i 2008/3/11
page 13
i i
(1.31) h = v
(1.32) m = v01 u(t)
(1.33) v = m1 [u(t) D(v, h)] G(h)
i i
i i
steuer
i i 2008/3/11
page 14
i i
14 [CAP. 1: INTRODUCAO
? mg
F
-
- x
t : tempo t > 0;
(t) : posicao da base do bastao ;
u(t) : aceleracao (horizontal) da base do bastao;
(t) : angulo entre o bastao e o eixo vertical;
(x(t), y(t)) : coordenada do ponto de massa m.
Observe que a posicao de repouso = 0 nao e estavel, no sentido que
um deslocamento infinitesimal do ponto de equilbrio provoca a queda
do bastao.5 Neste exemplo estudamos como estabilizar o sistema na
posicao de repouso usando uma estrategia de controle de realimentacao
do tipo u = G().
Analisamos inicialmente o modelo. Sobre a massa m agem a gravi-
dade e uma forca F (na direcao do bastao) provocada pelo movimento
da base do mesmo (veja Figura 1.3). Temos entao:
Somatorio das forcas na direcao x: F sin()
Somatorio das forcas na direcao y: F cos() mg
Supondo que tratamos apenas deslocamentos pequenos da posicao de
repouso = 0, fazemos as hipoteses simplificadoras:
i i
i i
steuer
i i 2008/3/11
page 15
i i
(1.37) = g u(t).
z1 = z1
z2 = gz1 u(t)
u := k(t) = kz1 ,
i i
i i
steuer
i i 2008/3/11
page 16
i i
16 [CAP. 1: INTRODUCAO
u = k1 k2 = k1 z1 k2 z2 ,
+ 2 + = 0
(t) = et , (t) = t et ,
i i
i i
steuer
i i 2008/3/11
page 17
i i
i i
i i
steuer
i i 2008/3/11
page 18
i i
18 [CAP. 1: INTRODUCAO
1.2.7 A Braquistocrona
O calculo das variacoes teve seu desenvolvimento inicial em grande
parte devido ao problema que discutimos nesta seccao. Em 1696, Johann
(John ou Jean) Bernoulli formulou o seguinte problema:6
ds
(t) = V (t), t [0, T ].
dt
Denotando a mudanca de variaveis por s = S(t), temos o jacobiano
dS/dt(t) = V (t) de onde segue
Z T Z l Z l
ds ds
T = dt = = ,
0 0 V (S 1 (s)) 0 W (s)
6
Tal problema foi formulado originalmente por Galileo em 1638, que acreditava
ser a solucao do problema um arco de circunferencia. Outros matematicos da epoca
como Leibniz, Jakob (James ou Jacques) Bernoulli e Newton se interessaram pelo
problema, que foi proposto por Johann Bernoulli na forma de um desafio. Para mais
detalhes historicos consulte [Gol].
i i
i i
steuer
i i 2008/3/11
page 19
i i
Rx
onde W (s) := V (s1 (s)). Definindo agora s := l(x) = x0 (1+y 0 (x)2 )1/2 dx
e v(x) := W (l(x)) velocidade parametrizada em x para x [x0 , x1 ],
obtemos Z l Z x1
ds (1 + y 0 (x)2 )1/2
T = = dx.
0 W (s) x0 v(x)
Usando agora a lei de conservacao de energia (energia cinetica + energia
potencial = cte.) temos
2
1+p 1/2
onde L(x, y, p) := ( 2gy+c ) , obtendo assim um problema tpico do
calculo das variacoes.
O mais importante neste problema sao os metodos usados para
resolve-lo, que constituem o surgimento do calculo das variacoes tal qual
conhecemos hoje. A solucao e a curva denominada cicloide (veja Figu-
ra 1.4), que possui a seguinte parametrizacao:
i i
i i
steuer
i i 2008/3/11
page 20
i i
20 [CAP. 1: INTRODUCAO
P0 x
P1
y
ou ainda como Z p
v(1 v)1 dv = + c.
i i
i i
steuer
i i 2008/3/11
page 21
i i
i i
i i
steuer
i i 2008/3/11
page 22
i i
22 [CAP. 1: INTRODUCAO
z := z + 1 , u := u + 2 , := + 3
z = f (z, u).
i i
i i
steuer
i i 2008/3/11
page 23
i i
i i
i i
steuer
i i 2008/3/11
page 24
i i
24 EXERCICIOS
Exerccios
1.1. Sejam F , G : R2 R definidas por
1 1 1 x
F (x, y) := xy + y, G(x, y) := x 3.
2 1 2 y
x2 y 2
2 = 1
a2 b
(a Terra esta na orgem (0, 0)), enquanto que um satelite em orbita
geoestacionaria se encontra na posicao (x0 , y0 ). Encontre o ponto da
orbita do meteoro de menor distancia ao satelite.
1.4. Considere o seguinte modelo de investimento de capital:
xk+1 = (1 + r)xk + uk , k + 1, 2, . . .
i i
i i
steuer
i i 2008/3/11
page 25
i i
EXERCICIOS 25
Dada uma condicao inicial (x0 , v0 ) e uma condicao final (x1 , v1 ), encontre
uma trajetoria correspondente que as una.
(Sugestao: utilize o esboco das trajetorias feito no Exerccio 1.6.)
i i
i i
steuer
i i 2008/3/11
page 26
i i
Captulo 2
Observabilidade
i i
i i
steuer
i i 2008/3/11
page 27
i i
u : [t0 , t1 ] 7 Rm
e de sua sada
y : [t0 , t1 ] 7 Rl ,
reconstruir o estado inicial z0 := z(t0 ) Rn . Uma vez conhecido o
vetor z0 , e possvel substituir o controle dado u na equacao diferencial
em (2.1) e calcular as variaveis de estado z(t) em qualquer instante de
tempo t [t0 , t1 ].
Como estrategias de controle admissveis consideramos as funcoes
L1 ([t0 , t1 ]; Rm ). Conforme resultados do Captulo A, temos que:
z 0 = A(t) z.
i i
i i
steuer
i i 2008/3/11
page 28
i i
28 [CAP. 2: OBSERVABILIDADE
e positiva definida.
Demonstracao: (a) = (b) Suponha que W (t0 , t1 ) nao e positiva
definida. Por construcao, a matriz W (t0 , t1 ) e simetrica e, alem disto,
satisfaz: hx, W (t0 , t1 )xi 0, x Rn . (por que?).
Logo, existe z0 Rn \{0} tal que hz0 , W (t0 , t1 )z0 i = 0. Definindo agora a
funcao z() := A (; t0 )z0 , temos que esta funcao e solucao do problema
de valor inicial z 0 = A(t)z, z(t0 ) = z0 . Alem disso, z satisfaz
Z t1 Z t1
2
|C(t) z(t)| dt = |C(t)A (t, t0 )z0 |2 dt
t0 t0
Z t1
= hC(t)A (t, t0 )z0 , C(t)A (t, t0 )z0 i dt
t0
Z t1
= hz0 , A (t, t0 ) C(t) C(t)A (t, t0 )z0 i dt
t0
= hz0 , W (t0 , t1 )z0 i = 0.
Encontramos assim uma funcao z satisfazendo
C(t) z(t) = 0, t [t0 , t1 ] e z(t0 ) = z0 6= 0,
i i
i i
steuer
i i 2008/3/11
page 29
i i
n1
T
f) Ke(CAk ) = {0}.
k=0
Demonstracao: a) = b) Nada a fazer.
b) = c) Seja T > 0 escolhido de acordo com b). Tome z0 Rn e
defina a funcao z(t) := eAt z0 para t R. A identidade
Z T
hz0 , WT z0 i = |C z(s)|2 ds
0
i i
i i
steuer
i i 2008/3/11
page 30
i i
30 [CAP. 2: OBSERVABILIDADE
Da segue que
Portanto,
C Ak sk z0 = 0, k = 0, 1, . . . , s [0, T ].
Esta ultima igualdade implica em
Z T Z T
X 1
hz0 , WT z0 i = |C eAt z0 |2 ds = | CAk sk z0 |2 ds = 0.
0 0 k!
k=0
(2.4) z0 (A )k C = 0, C Ak z0 = 0 , k = 0, . . . , n 1.
n1
P
Seja pA () := n + k k , o polinomio caracterstico da matriz A. O
k=0
teorema de CaleyHamilton da algebra linear nos garante que A e um
zero de seu polinomio caracterstico (veja [Gan] ou [So]), isto e
n1
X
pA (A) := An + k Ak = 0,
k=0
i i
i i
steuer
i i 2008/3/11
page 31
i i
n1
X
C eAt z0 = k (t) C Ak z0 = 0, t [0, T ],
k=0
e portanto,
Z T
hz0 , WT z0 i = |CeAt z0 |2 dt = 0,
0
2 P
n1
tj
P
(j)
t j k
Verifique que k (t) = j!
+ j!
.
j=0 j=n
i i
i i
steuer
i i 2008/3/11
page 32
i i
32 [CAP. 2: OBSERVABILIDADE
i i
i i
steuer
i i 2008/3/11
page 33
i i
G : Rn C([t0 , t1 ]; Rn )
z0 7 C A (, t0 ) z0 .
i i
i i
steuer
i i 2008/3/11
page 34
i i
34 [CAP. 2: OBSERVABILIDADE
lim z(t) 6= 0.
t
i i
i i
steuer
i i 2008/3/11
page 35
i i
keAt k c et , t > 0.
i i
i i
steuer
i i 2008/3/11
page 36
i i
36 [CAP. 2: OBSERVABILIDADE
i i
i i
steuer
i i 2008/3/11
page 37
i i
EXERCICIOS 37
Exerccios
2.1. Considere o sistema (A, B, C) com
1 1 0 0
A = 0 1 0 , B = 1 , C = 1 1 1 .
0 0 2 1
Encontre (se possvel) uma condicao inicial z0 de modo que a sada do
sistema seja da forma y(t) = tet .
2.2. Considere o sistema (A, , C) com
2 0
A = , C = a b ,
0 3
onde a, b R. Sabendo que z0 6= 0 e que a sada y(t) e medida apenas
nos instantes t2 > t1 > 0, encontre os valores de a e b para os quais e
possvel determinar o estado inicial z0 a partir das observacoes y(t1 ) e
y(t2 ).
2.3. Considere o sistema (A, , C) com
0 1
A = 2 1 , C = 0 1 .
t t
Calcule a matriz de transicao do sistema z 0 = Az. Mostre que (A, , C) e
observavel.
i i
i i
steuer
i i 2008/3/11
page 38
i i
38 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 39
i i
Captulo 3
Controlabilidade
i i
i i
steuer
i i 2008/3/11
page 40
i i
40 [CAP. 3: CONTROLABILIDADE
i i
i i
steuer
i i 2008/3/11
page 41
i i
i i
i i
steuer
i i 2008/3/11
page 42
i i
42 [CAP. 3: CONTROLABILIDADE
Teorema 24. Dado o sistema linear de controle (A, B), sao equivalentes
as afirmacoes:
a) (A, B) e controlavel em [t0 , t1 ];
b) Nao existe nenhum z1 Rn \{0} que satisfaca
i i
i i
steuer
i i 2008/3/11
page 43
i i
= Z(t0 , t1 ) Z(t0 , t1 )1 z1 = z1 .
u
O argumento da Observacao 21 implica em (t0 , 0) 7 (t1 , z1 ). A afir-
macao em a) segue por fim do Teorema 22.
c) d) Conforme demonstrado na Seccao 2.3, a relacao entre as
matrizes de transicao A (t0 , t) e A (t, t0 ) dos sistemas z 0 = A(t)z e
w0 = A(t) w respectivamente, e dada por
A (t, t0 ) := A (t0 , t) .
Seja W (t0 , t1 ) a matriz de observacao do sistema (A , , B ) (veja Teo-
rema 7) dada por
Z t1
W (t0 , t1 ) = A (t, t0 ) B(t) B(t) A (t, t0 ) dt
t0
Z t1
= A (t0 , t) B(t) B(t) A (t0 , t) dt
t0
Z t1
= A (t0 , t1 ) A (t1 , t) B(t) B(t) A (t1 , t) A (t0 , t1 ) dt
t0
= A (t0 , t1 ) Z(t0 , t1 ) A (t0 , t1 ) .
Portanto, W (t0 , t1 ) e singular se e somente se Z(t0 , t1 ) o for. O resultado
desejado segue agora do Teorema 7, o qual garante que (A , , B ) e
observavel em [t0 , t1 ] se e somente se W (t0 , t1 ) e positiva definida.
Observacao 25. Na demonstracao da implicacao c) = a) no Teo-
rema 24, construimos um controle especial u, que leva o estado inicial
z0 = 0 em um estado final z1 Rn arbitrario, i.e.
u
(t0 , 0) 7 (t1 , z1 ) para u(t) := B(t) A (t1 , t) Z(t0 , t1 )1 z1 .
2
i i
i i
steuer
i i 2008/3/11
page 44
i i
44 [CAP. 3: CONTROLABILIDADE
x + x = u.
i i
i i
steuer
i i 2008/3/11
page 45
i i
Como
0 1
Po (B|AB) = Po = 2,
1 0
podemos concluir que (A, B) e controlavel. Note que nao foi feita ne-
nhuma restricao as variaveis de controle. 2
Exemplo 30. Consideremos novamente o movimento de um satelite
artificial de massa unitaria orbitando a Terra. No Exemplo 9 deduzimos
uma aproximacao linear para o modelo que representa o fenomeno, que
e a equacao
z 0 = A z + B u,
onde
0 1 0 0 0 0
3 2 0 0 2 1 0
A=
0
, B = .
0 0 1 0 0
0 2 0 0 0 1
Neste caso temos:
0 0 1 0 ...
1 0 0 2 . . .
Po (B|AB|A2 B|A3 B) = Po
0
= 4.
0 0 1 ...
0 1 2 0 . . .
0
e obtemos
0 1 0 2
1 0 2 0
Po (B|AB|A2 B|A3 B) = Po
0
= 3.
0 2 0
0 2 0 2 3
i i
i i
steuer
i i 2008/3/11
page 46
i i
46 [CAP. 3: CONTROLABILIDADE
e obtemos
0 0 2 0
0 2 0 2 3
Po (B|AB|A2 B|A3 B) = Po
0 1
= 4.
0 4 2
1 0 4 2 0
i i
i i
steuer
i i 2008/3/11
page 47
i i
i i
i i
steuer
i i 2008/3/11
page 48
i i
48 [CAP. 3: CONTROLABILIDADE
e controlavel e o sub-sistema
A22 A24
(3.5) , C2 C4
0 A44
e observavel.
Demonstracao: Comecamos definindo os subespacos U e V de Rn por
n1
\
U := Im(B) + A Im(B) + + An1 Im(B), V := Ke(CAk ).
k=0
(1) A(V ) V ;
(2) A(U ) U ;
(3) construcao da matriz P ;
(4) verificacao de (3.3);
(5) controlabilidade de (3.4);
(6) observabilidade de (3.5).
n1
X
z = Ak B uk .
k=0
i i
i i
steuer
i i 2008/3/11
page 49
i i
Rn = X 1 X 2 X 3 X 4 ,
P : Rn 7 Rn ; P wk = ek , 1 k n.
i i
i i
steuer
i i 2008/3/11
page 50
i i
50 [CAP. 3: CONTROLABILIDADE
4
Este fato segue da implicacao:
V Ke(CAj+1 ).
i i
i i
steuer
i i 2008/3/11
page 51
i i
satisfaz a propriedade
u
(3.7) (0, z0 ) 7 (T, z1 ).
i i
i i
steuer
i i 2008/3/11
page 52
i i
52 [CAP. 3: CONTROLABILIDADE
Z T
A (T, 0) z0 + A (T, s) B u(s) ds =
0
Z T
AT (T s)
= e z0 eA(T s) B B eA VT 1 (eAT z0 z1 ) ds
0
Z T
AT As A s
= e z0 e BB e ds VT 1 (eAT z0 z1 )
0
= eAT z0 VT VT 1 (eAT z0 z1 ) = z1 .
Logo, a) segue da Observacao 21. A equacao (3.8) segue por sua vez de
Z T Z T
2 (T s)
|u(t)| dt = |B eA VT 1 (eAT z0 z1 )|2 ds
0 0
Z T
(T s)
= h eA(T s) BB eA VT 1 (eAT z0 z1 ) ds,
0
VT 1 (eAT z0 z1 )i
= hVT VT 1 (eAT z0 z1 ), VT 1 (eAT z0 z1 )i
= hVT 1 (eAT z0 z1 ), (eAT z0 z1 )i.
Z T Z T
(T s)
hu(s), u(s)i ds = hu(s), B eA VT 1 (eAT z0 z1 )i ds
0 0
Z T
= h eA(T s) B u(s) ds, VT 1 (eAT z0 z1 )i
0
AT
= h(e z0 z1 ), VT 1 (eAT z0 z1 )i.
5
Essa hipotese garante que u L2 ([0, T ]; Rm ). Note que (3.8) tambem implica em
u L2 ([0, T ]; Rm ).
i i
i i
steuer
i i 2008/3/11
page 53
i i
2
Exemplo 36. Considere a equacao x = u. Do Exemplo 31, sabemos que
o sistema de controle associado e completamente controlavel. Tratamos
agora do seguinte problema:
Dado T > 0, encontre um controle u que leve o estado inicial
x(0) = x0 , x(0) = x1 no estado final x(T ) = x(T ) = 0.
O Teorema 34 nos fornece uma receita (um tanto quanto trabalhosa)
para encontrar u . A solucao e:
12 x0 T 2 x1 T 2 x1 tT
u(t) = ( + tx1 ), t [0, T ].
T3 2 3 2
2
i i
i i
steuer
i i 2008/3/11
page 54
i i
54 [CAP. 3: CONTROLABILIDADE
i i
i i
steuer
i i 2008/3/11
page 55
i i
Z t1
yl = A (t1 , t0 ) z0 + A (t1 , s) B(s) ul (s) ds, ul Uad (), l N.
t0
Z t1 Z t1
lim hw(t), ul (t)i dt = hw(t), u(t)i dt,
l t0 t0
7
Dizemos que a sequencia xn converge fraco para x no espaco vetorial normado X
w
(nota-se xn x) quando f (xn ) f (x) para todo funcional linear limitado f X 0 .
A conclusao do texto segue de um conhecido teorema da analise funcional: (veja
demonstracao em [Gr, Captulo 3] ou [Leig, Captulo 5]):
Teorema:[BanachAlaoglu] Em todo espaco de Banach (de dimensao finita ou
nao) a bola unitaria e fracamente compacta.
8
Aqui usamos o fato da convergencia fraca em L1 ([t0 , t1 ]; Rm ) de uma sequencia
implicar na convergencia pontual de uma subsequencia quase sempre.
i i
i i
steuer
i i 2008/3/11
page 56
i i
56 [CAP. 3: CONTROLABILIDADE
v Rn temos que
i i
i i
steuer
i i 2008/3/11
page 57
i i
i i
i i
steuer
i i 2008/3/11
page 58
i i
58 [CAP. 3: CONTROLABILIDADE
e portanto
A w1 = w1 w2 , A w2 = w1 + w2 .
i i
i i
steuer
i i 2008/3/11
page 59
i i
i i
i i
steuer
i i 2008/3/11
page 60
i i
60 [CAP. 3: CONTROLABILIDADE
S(; t0 , t) = Z 1 (t)R(; t0 , z0 , t) z0 .
i i
i i
steuer
i i 2008/3/11
page 61
i i
e linear e contnua, quando definida entre Uad (), com a topologia fraca ,
e o Rn , com topologia usual.
Demonstracao: A linearidade segue imediatamente da definicao de
I. Para provar a continuidade, usamos o seguinte fato:11 em Uad (),
w
un u se e somente se
Z t Z t
y(s)un (s) ds y(s)u(s) ds, y L1 ([t0 , t]; R).
t0 t0
i i
i i
steuer
i i 2008/3/11
page 62
i i
62 [CAP. 3: CONTROLABILIDADE
12
Um ponto e denominado extremo de um conjunto quando nao pode ser escrito
como combinacao linear convexa de dois outros pontos do conjunto. Para detalhes
sobre o teorema de KreinMilman consulte [Heu].
i i
i i
steuer
i i 2008/3/11
page 63
i i
i i
i i
steuer
i i 2008/3/11
page 64
i i
64 [CAP. 3: CONTROLABILIDADE
obtemos a estimativa
i i
i i
steuer
i i 2008/3/11
page 65
i i
i i
i i
steuer
i i 2008/3/11
page 66
i i
66 [CAP. 3: CONTROLABILIDADE
i i
i i
steuer
i i 2008/3/11
page 67
i i
EXERCICIOS 67
Exerccios
3.1. Dado o sistema (A, B) com
0 1 cos t
A = , B = ,
1 0 sin t
z 0 = Az + b(t)u, z(0) = 0
i i
i i
steuer
i i 2008/3/11
page 68
i i
68 EXERCICIOS
3.5. Conclua do exerccio anterior que, para o sistema (A, B) ser con-
trolavel, e necessario que a dimensao da variavel de controle seja maior
que todos os nj , i.e. m nj para j = 1, . . . , p.
3.6. Verifique a controlabilidade do sistema (A, B) com
1 0 1
A = , B = .
1 1 1
u
Encontre u L1 ([0, 1]; R) tal que (0, 0) 7 (1, e2 ).
3.7. Seja(A, B) um sistema autonomo com A Rn,n , B Rn,m .
a) Mostre que (A, B) e controlavel em [0, T ] para todo T > 0 se e
somente se Rn = M0 + +Mn1 , onde Mj := Im(Aj B), j = 1, . . . , n1.
b) Sejam F Rn,n , G Rm,m , com det(F ) 6= 0, det(G) 6= 0. Mostre
que, se (A, B) e controlavel em [0, T ], entao o sistema (F 1 AF, F 1 BG)
e tambem controlavel em [0, T ].
3.8. Considere um sistema de controle (A, B) com funcoes matriciais
A C([t0 , t1 ]; Rn,n ), B C([t0 , t1 ]; Rn,m ). Dado z1 Rn , prove que sao
equivalentes as afirmacoes:
u
a) Existe u L1 ([t0 , t1 ]; Rm ) tal que (t0 , 0) 7 (t1 , z1 );
b) z1 Im(Z(t0 , t1 )), onde
Z t1
Z(t0 , t1 ) := A (t1 , s)B(s)B(s) A (t1 , s) ds.
t0
i i
i i
steuer
i i 2008/3/11
page 69
i i
EXERCICIOS 69
0 = a( ), 00 = 2 ( bu), h0 = c ,
15
Este problema e tambem considerado tambem em [So] e [Tr].
i i
i i
steuer
i i 2008/3/11
page 70
i i
70 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 71
i i
Captulo 4
Estabilidade
(4.1) z 0 = f (z),
(4.2) f : D Rn , D Rn aberto;
(4.3) 0 D, f (0) = 0;
(4.4) f e continuamente diferenciavel em D.
i i
i i
steuer
i i 2008/3/11
page 72
i i
72 [CAP. 4: ESTABILIDADE
Z t
z(t) = z0 + f (z(s)) ds, t [0, ],
0
1
Estamos interessados apenas no futuro.
2
Maiores detalhes na literatura especializada em EDO; por exemplo [Sot] ou [Wa2].
3
Na definicao a seguir e no resto do texto adotamos a seguinte notacao: Para
r 0, temos
Br = Br (0), Br = Br (0).
i i
i i
steuer
i i 2008/3/11
page 73
i i
e z(t, z0 ) B t 0 ;
e denominado atrativo quando:
x + sin x = 0.
O sistema correspondente e:
0 z2
z = f (z) com f (z) := ,
sin z1
i i
i i
steuer
i i 2008/3/11
page 74
i i
74 [CAP. 4: ESTABILIDADE
y
2
-10 -5 00 5 10
x
-2
-4
i i
i i
steuer
i i 2008/3/11
page 75
i i
(4.7) z 0 = A z,
i i
i i
steuer
i i 2008/3/11
page 76
i i
76 [CAP. 4: ESTABILIDADE
1.5
0.5
-1 -0.5 0 0.5 1
x
-0.5
-1
-1.5
i i
i i
steuer
i i 2008/3/11
page 77
i i
keAt k cet , t 0,
(4.8) z 0 = A z + b(t), t 0,
i i
i i
steuer
i i 2008/3/11
page 78
i i
78 [CAP. 4: ESTABILIDADE
i i
i i
steuer
i i 2008/3/11
page 79
i i
i i
i i
steuer
i i 2008/3/11
page 80
i i
80 [CAP. 4: ESTABILIDADE
Temos entao:
Grau de U = n e grau de V = n 1, se n for par;
Grau de U = n 1 e grau de V = n, se n for mpar.
Definimos a partir de U e V os seguintes polinomios:
q1 := U, q2 := V, se n e par;
q1 := V, q2 := U, se n e mpar.
i i
i i
steuer
i i 2008/3/11
page 81
i i
(4.9) z 0 = A z + g(z),
f (z) := Az + g(z), z D := Rn .
z 0 = A z + g(z).
i i
i i
steuer
i i 2008/3/11
page 82
i i
82 [CAP. 4: ESTABILIDADE
Temos agora como resultado do lema de Gronwall (veja Lema 264) que
de onde segue
i i
i i
steuer
i i 2008/3/11
page 83
i i
x + 2a x + sin x = 0.
O sistema correspondente e:
0 z2
(4.11) z = f (z) com f (z1 , z2 ) =
2az2 sin z1
i i
i i
steuer
i i 2008/3/11
page 84
i i
84 [CAP. 4: ESTABILIDADE
0.3
0.2
0.1
-1 -0.5 0 0.5 1
x
-0.1
-0.2
-0.3
i i
i i
steuer
i i 2008/3/11
page 85
i i
0.3
0.2
0.1
0 2 2.5 3 3.5 4
x
-0.1
-0.2
-0.3
i i
i i
steuer
i i 2008/3/11
page 86
i i
86 [CAP. 4: ESTABILIDADE
Este e o caso se
s+3+b
s > b + 1 , r < rc := s ,
sb1
6
Veja Observacao 62.
i i
i i
steuer
i i 2008/3/11
page 87
i i
40
30
20
10
-15
-10 20
-5 0 10
00
-10 5
-20 10
15
20
i i
i i
steuer
i i 2008/3/11
page 88
i i
88 [CAP. 4: ESTABILIDADE
d
V (z1 (t), z2 (t)) = 6z1 (t)10 36z2 (t)2 0,
dt
de onde segue
Defina
i i
i i
steuer
i i 2008/3/11
page 89
i i
Demonstracao: Provamos primeiro o item a). Seja r > 0 tal que B2r
U . Defina := min{V (x) | |x| = r} e U := {x U | V (x) < } Br
Br . Entao > 0 e a continuidade de V implica que U 6= e que U e
uma vizinhanca de 0. Seja z uma solucao de
z 0 = f (z), z(0) = z0 U .
d
V (z(t)) = hV (z(t)), z 0 (t)i
(4.14) dt
= hV (z(t)), f (z)i 0, t [0, (z0 )),
onde (z0 ) e o maior real que satisfaz z(t) Br , t [0, (z0 )]. Se
existisse t1 (0, (z0 )] tal que |z(t1 )| = r, teramos
i i
i i
steuer
i i 2008/3/11
page 90
i i
90 [CAP. 4: ESTABILIDADE
pela definicao de e
V (z(t1 )) V (z(0))
como consequencia de (4.14), nos levando a uma contradicao. Portanto,
temos necessariamente z(t) Br , para todo t [0, (z0 )]. Isto porem
contradiz a maximalidade do intervalo [0, (z0 )], provando assim que
(z0 ) = e z(t) Br para todo t [0, ). Fica assim provado que
z = 0 e um ponto de equilbrio estavel.
Provamos agora b). Defina inicialmente W := U .
(=) Como z e atrativo, existe > 0 tal que, para todo z0 B , a
solucao correspondente z(, z0 ) converge para z quando t . Caso
W 6 B , redefina W := U B . Seja z : [0, ) U uma solucao de
d
z 0 = f (z); z(0) = z0 W satisfazendo dt V (z(t)) = 0, t [0, ). Temos
entao
z 0 = f (z), z(0) = z.
i i
i i
steuer
i i 2008/3/11
page 91
i i
i i
i i
steuer
i i 2008/3/11
page 92
i i
92 [CAP. 4: ESTABILIDADE
de onde calculamos
i i
i i
steuer
i i 2008/3/11
page 93
i i
U X + XV + W = 0 (X Rn,m )
b + XV
UX b = 0.
Temos entao
d tU b tV b + XV
b )etV = 0
(e Xe ) = etU (U X
dt
e portanto,
b tV = e0U Xe
etU Xe b 0V = X.
b
b = 0.
Tomando o limite quando t , obtemos X
i i
i i
steuer
i i 2008/3/11
page 94
i i
94 [CAP. 4: ESTABILIDADE
(4.15) A P + P A = I.
i i
i i
steuer
i i 2008/3/11
page 95
i i
Demonstracao:
R tA(=) Seja A uma matriz estavel. Do Lema 77 temos
que X = 0 e W e dt. Logo, para x Rn temos
tA
Z
hx, Xxi = hetA x, W etA xi dt
Z0
hetA x, C CetA xi dt
Z0
= |CetA x|2 dt.
0
i i
i i
steuer
i i 2008/3/11
page 96
i i
96 [CAP. 4: ESTABILIDADE
(4.16) xk+1 = A xk , k = 0, 1, . . .
onde A Rn,n e xk Rn , k 0.
Definicao 81. O ponto de equilbrio x = 0 do sistema (4.16) e denomi-
nado:
estavel quando: dado > 0, para todo x0 B , temos xk B , k =
1, 2, . . .
atrativo quando: para todo x0 Rn , temos lim xk = 0. 2
k
Como nos sistemas contnuos autonomos, a atratividade implica na
estabilidade. A analise da estabilidade de tais sistemas e bastante sim-
ples e e esclarecida com os seguintes lemas:
Lema 82. Dado um sistema linear discreto da forma (4.16), sao equi-
valentes as afirmacoes:
a) O ponto de equilbrio x = 0 e atrativo;
b) O operador A considerado como elemento do espaco L(Rn , Rn ) e
contrativo, i.e.
kAxk
kAk := sup < 1.
xRn \{0} kxk
i i
i i
steuer
i i 2008/3/11
page 97
i i
i i
i i
steuer
i i 2008/3/11
page 98
i i
98 EXERCICIOS
definida.)
(=) Basta observar que V (x) := hx, P xi define uma funcao de Lya-
punov quadratica para o sistema.
A equacao A P AP = I e denominada equacao matricial discreta
de Lyapunov.
Corolario 87. Se o ponto de equilbrio x = 0 do sistema xk+1 = Axk
e atrativo, entao existe uma funcao de Lyapunov quadratica para o sis-
tema.
Demonstracao: Segue imediatamente do Lema 86.
Exerccios
4.1. Verifique que o ponto de equilbrio do sistema no Exemplo 75 e
estavel mas nao atrativo.
4.2. Considere o sistema do oscilador nao linear amortecido (veja
Exemplo 67)
x1 = x2 , x2 = x2 sin(x1 ),
onde > 0 e > 0 sao constantes.
a) Mostre que V (x1 , x2 ) := 21 x22 cos x1 e uma funcao de Lyapunov
para o sistema;
b) Verifique que todas as solucoes do sistema possuem intervalo de
existencia [0, );
c) Prove que toda solucao (x1 , x2 ) do sistema satisfaz
x1 = x2 , x2 = x1 + 2x31 x2
i i
i i
steuer
i i 2008/3/11
page 99
i i
EXERCICIOS 99
x1 = x1 + 2x1 x2 , x2 = x2 + x3 , x3 = x2 4x3
V (x1 , x2 , x3 ) = a11 x21 + a22 x22 + a33 x23 + 2a12 x1 x2 + 2a23 x2 x3 + 2a13 x1 x3 .
i i
i i
steuer
i i 2008/3/11
page 100
i i
100 EXERCICIOS
x1 = 3x2 , x2 = x1 + 4x2 .
A W + XA + 2X = W
i i
i i
steuer
i i 2008/3/11
page 101
i i
Captulo 5
Estabilizacao
i i
i i
steuer
i i 2008/3/11
page 102
i i
BIBOestabilidade; (qualitativo)
(5.1) z 0 = A z + B u.
(5.2) z 0 = (A + B F ) z.
F := B WT1 ,
i i
i i
steuer
i i 2008/3/11
page 103
i i
onde Z T
WT := etA BB etA dt, T > 0.
0
Demonstracao: A ideia e uilizar o Teorema 80 com
(A, , C) = ((A + BF ) , , B ) e X = WT .
(A + BF )WT + WT (A + BF ) = AWT BB + WT A BB
Z T
d tA
= (e BB etA ) dt 2BB
0 dt
= eT A BB eT A + BB 2BB
= eT A BB eT A BB .
i i
i i
steuer
i i 2008/3/11
page 104
i i
A = P 1 A11 P, B = P 1 B1 ,
g = u(t),
i i
i i
steuer
i i 2008/3/11
page 105
i i
z 0 = (A + BF )z.
z 0 = Az + bu com A Rn,n , b Rn .
i i
i i
steuer
i i 2008/3/11
page 106
i i
Os numeros a0 , . . . , aP
n1 sao os coeficientes do polinomio caracterstico
p de A: p(r) = r + n1
n i
i=0 ai r .
Demonstracao: a) = b) Basta encontrar uma base w 1 , . . . , wn para
Rn , de modo que a matriz P Rn,n definida pelas equacoes
P wk = ek , 1 k n,
satisfaca
(i) P b = en ,
(ii) P AP 1 e1 = a0 en ,
(iii) P AP 1 ek+1 = ek ak en , 1 k < n.
Definimos w k recursivamente por
wn = b, wk = Awk+1 + ak b, 1 k < n.
Temos entao
nk
X
(5.3) w k = Ank b + anj Ankj b, 1 k n.
j=1
P b = P w n = en (provando (i)) ;
n1
X
1 n
Aw = A b + anj Anj b a0 b = p(A)b a0 b = a0 b
j=1
= a0 wn (provando (ii)) ;
Awk+1 = wk ak en , 1 k n (provando (iii)).
i i
i i
steuer
i i 2008/3/11
page 107
i i
i i
i i
steuer
i i 2008/3/11
page 108
i i
(A + BF ) v i = i v i , 1 i n.
Definindo q i := F v i , 1 i n, obtemos
(A i I)v i + Bq i = 0, 1 i n.
Portanto,
i
v
Ke(A i I|B), 1 i n, F = (q 1 | |q n )(v 1 | |v n )1 ,
qi
i i
i i
steuer
i i 2008/3/11
page 109
i i
Um simples calculo nos permite obter Ke(A i I | B), sendo estes para
i = 1, 2, 3 respectivamente
span{(1, 2, 4, 0, 0) , (1, 0, 0, 2, 4) },
i i
i i
steuer
i i 2008/3/11
page 110
i i
u = F y = F Cz, F Rm,l .
x + x = u, y = x.
u := f y, com f R1,1 .
i i
i i
steuer
i i 2008/3/11
page 111
i i
i i
i i
steuer
i i 2008/3/11
page 112
i i
i i
i i
steuer
i i 2008/3/11
page 113
i i
T
d) = a) Dado z0 n1 k tA
k=0 Ke(CA ) defina z(t) := e z0 , t R. Do
teorema de CaleyHamilton segue Cz(t) = 0, para t 0. Logo, z
tambem e solucao de
z 0 = (A + LC) z.
Como os autovalores da matriz (A + LC) possuem parte real negativa,
temos que lim z(t) = 0.
t
x0 = Ax + Bu Ly,
com
17 3 1
A = , B= , L= 16 56/3 .
56/3 2 1
i i
i i
steuer
i i 2008/3/11
page 114
i i
1 (t) 3e9t 3e10t
(t) = = .
2 (t) 8e9t 7e10t
Nos interessa saber o quao rapido 2 converge a zero. Para t = 0.5, temos
e2 (t) = 0.041 (aproximadamente 4% do erro inicial) e para t = 0.9,
temos e2 (t) = 0.015 (i.e. 0.1% do erro inicial). 2
E possvel utilizar sistemas auxiliares observadores tambem para sis-
temas de controle nao lineares. Para maiores detelhes, consulte [KIF],
[Is]. Ainda no contexto de sistems autonomos, o leitor pode encontrar
em [KnKw] detalhes sobre o observador reduzido (semelhante ao obser-
vador discutido nesta seccao).
i i
i i
steuer
i i 2008/3/11
page 115
i i
processo mais observador. Note que esta abordagem nos permite, alem
de estabilizar o processo, reconstruir seu estado.
Defina agora w := z x. O sistema (5.6) se escreve nas novas
variaveis (z, w) como
0
z = (A + BF )z + BF w
(5.7)
w0 = (A + LC)w
pA = p(A+BF ) p(A+LC) ,
(A, B) estabilizavel,
(A, , C) detectavel.
i i
i i
steuer
i i 2008/3/11
page 116
i i
e tal que A + LC possui autovalores 9 e 10. Se F = f1 f2 , os
autovalores de A+BF sao dados pelas razes do polinomio caracterstico
det(I (A + BF )) = 2 + (3 f1 f2 ) + (2 5f1 f2 ).
2
A estabilizacao por realimentacao de sada para sistemas SISO nao
lineares especiais e considerada em [KIF].
zo = A1 B u.
i i
i i
steuer
i i 2008/3/11
page 117
i i
x0 = L(z x),
x0 = L(z x) = L(z x)
e ainda
z 0 = z 0 = Az + B u + BF (z x) = Az + BF z BF x.
Supomos F e L da forma:
f1 l1 l2
F = , L = .
f2 l2 l1
i i
i i
steuer
i i 2008/3/11
page 118
i i
Temos entao
2 0 3 3
A + BF BF 3 5 3 3
=
l1
,
L L l2 l1 l2
l2 l1 l2 l1
cujo polinomio caracterstico e:
p() = 4 + (7 + 2l1 ) 3 + (10 + 8l1 + l12 l22 6l2 ) 2
+ (8l1 + l12 l22 12l2 ) + 2(l22 l12 ).
A observancia do criterio de Hurwitz (veja Teorema 64) nos leva a es-
colher os coeficientes l1 = 1, l2 = 3. As razes obtidas sao
1 = 2 = 2, 3 = 1, 4 = 4.
1 3
Logo, F = 3 3 e L = 3 1 estabilizam o ponto de operacao.
Para fins de calculo, suponha u = 2. O ponto de operacao cor-
1 5
5 e zo = A B u = 1 . Suponha as condicoes iniciais:
respondente
z(0) = 0 e x(0) = 0. Temos entao
0
z(0) 1
= 5
x(0)
1
e a solucao do sistema (z 0 x0 ) e:
66et + 66e2t + 48te2t
z(t) 33et 34e2t 48te2t
=
.
x(t) 77e + 96te2t + 12e4t + 60e2t
t
i i
i i
steuer
i i 2008/3/11
page 119
i i
EXERCICIOS 119
Exerccios
5.1. Considere o sistema SISO (A, b) com
1 6 1 1
A = 1 1 1 , b = 1 .
2 2 0 1
i i
i i
steuer
i i 2008/3/11
page 120
i i
Captulo 6
Identificacao de Parametros
i i
i i
steuer
i i 2008/3/11
page 121
i i
6.2 Identificabilidade
Inicialmente analisamos o problema de, a partir da sada de um sis-
tema, obter informacoes sobre os parametros do mesmo. Apesar de
considerarmos apenas sistemas de controle lineares, o problema de iden-
tificacao e, em geral, nao linear. Considere um sistema da forma
i i
i i
steuer
i i 2008/3/11
page 122
i i
z 0 = pz + u, y = z,
i i
i i
steuer
i i 2008/3/11
page 123
i i
(p1 + p2 ) = (q1 + q2 ).
i.e.,
i i
i i
steuer
i i 2008/3/11
page 124
i i
b) Yj (p) = Yj (q), j = 0, 1, . . .;
c) Yj (p) = Yj (q), j = 0, 1, . . . , 2n 1.
Demonstracao: b) = c) e b) = a): nada a fazer.
a) = b) Da representacao em (6.3), temos
Z th i
C(p)eA(p)(ts) B(p) C(q)eA(q)(ts) B(q) u(s)ds = 0, t 0,
0
n1
X
A(r)n = i (r)A(r)i .
i=0
n1
X
(6.4) Yj (r) = i (r)Yjn+i (r), j n.
i=0
i i
i i
steuer
i i 2008/3/11
page 125
i i
e
n1
X
YN +1 (p) YN +1 (q) = (i (p)YN +1n+i (p) i (q)YN +1n+i (q))
i=0
n1
X
= ai YN +1n+i (p).
i=0
i i
i i
steuer
i i 2008/3/11
page 126
i i
Q 3 p 7 M (p) Rm,2nl
(6.5) z 0 = Az + f (t), t 0, y = z,
lim A(t) = A.
t
i i
i i
steuer
i i 2008/3/11
page 127
i i
M1 Metodo de resduos:
Modelo: x0 = Az(t) + f (t), t 0;
Regra de adaptacao: A0 = Q(x z(t))z(t) , t 0;
A matriz Q Rn,n e a matriz de passo. Note que w, R satisfazem
o sistema
M2 Metodo do gradiente:
Modelo: x0 = Ax + f (t), t 0;
Regra de adaptacao: A0 = Q(x z(t))x , t 0;
A matriz Q Rn,n e a matriz de passo. Para w, R obtemos um
sistema nao linear, que nao pode ser desacoplado de x e A.
i i
i i
steuer
i i 2008/3/11
page 128
i i
x0 = Cx + (A C)z(t) + f (t), t 0.
x0 = F (x, z(t)), t 0.
i i
i i
steuer
i i 2008/3/11
page 129
i i
A0 = Q(x z(t))z(t) , t 0,
i i
i i
steuer
i i 2008/3/11
page 130
i i
i i
i i
steuer
i i 2008/3/11
page 131
i i
Lema 112. O sistema (6.13) possui uma unica solucao (global), a qual
esta definida no intervalo [0, ). Para esta solucao (w, R), sao ver-
dadeiras as afirmativas:
a) Existe constante positiva c, independente de w e R, tal que
Z
2 2
(6.14) sup |w(t)| + kR(t)k + kw(s)k2 ds c;
t0 0
i i
i i
steuer
i i 2008/3/11
page 132
i i
i i
i i
steuer
i i 2008/3/11
page 133
i i
i i
i i
steuer
i i 2008/3/11
page 134
i i
Temos entao
i i
i i
steuer
i i 2008/3/11
page 135
i i
Z sk +
lim kR(tk ) R(s)kds = 0,
kN sk
t1,j := t1 + kj T, t2,j := t2 + kj T, j N.
i i
i i
steuer
i i 2008/3/11
page 136
i i
i i
i i
steuer
i i 2008/3/11
page 137
i i
EXERCICIOS 137
Exerccios
6.1. Considere o sistema
z 0 = pz + u, y = z,
i i
i i
steuer
i i 2008/3/11
page 138
i i
Captulo 7
Calculo Variacional
i i
i i
steuer
i i 2008/3/11
page 139
i i
1
Adotamos no texto a seguinte notacao:
i i
i i
steuer
i i 2008/3/11
page 140
i i
variacionais
Z b
Minimizar I(y) := L(t, y(t), y 0 (t)) dt
a
(7.2) sujeito a
y Yad := {y C 1 [a, b] | y(a) = ya , y(b) = yb }.
Assim sendo, esta norma induz uma metrica (distancia) em C[a, b],
definida por
i i
i i
steuer
i i 2008/3/11
page 141
i i
2
De especial interesse para os problemas variacionais sao os mnimos
locais fracos. Note que uma vizinhanca forte de y Yad possui mais ele-
mentos do que a vizinhanca fraca correspondente. Portanto, a exigencia
de y ser mnimo local forte e mais restritiva.
A seguir, e apresentada uma definicao que estende o conceito de
derivada parcial de aplicacoes f : Rn R e e de importancia funda-
mental para a caracterizacao de uma solucao do problema (7.2).
Definicao 121. Seja Y um espaco vetorial e I : Y R. Dados y, v Y ,
definimos a variacao de Gateaux de I em y na direcao de v como
I(y + v) I(y)
I(y; v) := lim ,
0
quando o limite existe. 2
Note que a Definicao 121 nos permite concluir que
d
I(y; v) = I(y + v) ,
d =0
R 3 7 I(y + v) R
i i
i i
steuer
i i 2008/3/11
page 142
i i
f (y + v) f (y)
f (y; v) = lim = hf (y), vi,
0
que e a derivada parcial de f em y na direcao do vetor v. 2
1
Rb 0
Exemplo 123. Seja Y = C [a, b] e I : Y 3 y 7 a L(t, y(t), y (t)) dt
R, onde L e uma aplicacao C 1 ([a, b] R2 ; R). Dados y, v Y , temos
d
I(y; v) = I(y + v)
d =0
Z b
d 0 0
= L(t, y + v, y + v ) dt
a d =0
Z b
= Ly (t, y(t), y 0 (t))v(t) + Ly0 (t, y(t), y 0 (t))v 0 (t) dt.
a
2
Os primeiros resultados relativos a caracterizacao das solucoes de
(7.2) surgem quando trabalhamos com hipoteses sobre a convexidade da
funcao objetivo. Isto justifica a introducao do seguinte conceito.
Definicao 124. Dado um espaco vetorial Y e um funcional I : D
Y R, dizemos que I e convexo em D quando, para todo par de
elementos y, v Y , temos
i i
i i
steuer
i i 2008/3/11
page 143
i i
i i
i i
steuer
i i 2008/3/11
page 144
i i
d
(7.6) Ly0 (t, y, y 0 ) = Ly (t, y, y 0 ), t [a, b]
dt
e um mnimo global de I em Yad .
d) Se a hipotese do item b) e verificada, o elemento y Yad que satisfaz
a equacao diferencial do item c) e o unico mnimo global de I em Y ad .
Demonstracao: Dados y, y + v Yad , a desigualdade (7.5) implica em
Integrando, obtemos
Z b Z b
[L(t, y+v, y 0 +v 0 )L(t, y, y 0 )] dt [Ly (t, y, y 0 )v+Ly0 (t, y, y 0 )v 0 ] dt,
a a
i i
i i
steuer
i i 2008/3/11
page 145
i i
i i
i i
steuer
i i 2008/3/11
page 146
i i
Lema 129 (du BoisReymond). Seja f C[a, b] tal que, para todo
v C 1 [a, b] com v(a) = v(b) = 0, tenhamos
Z b
f (t) v(t) dt = 0.
a
Lema 130 (Lagrange). Seja f C[a, b] tal que, para todo vC0k [a, b] :=
{v C k [a, b] | v (j) (a) = v (j) (b) = 0, j = 0, 1, . . . , k}, tenhamos
Z b
f (t) v(t) dt = 0.
a
i i
i i
steuer
i i 2008/3/11
page 147
i i
observamos que v e nao negativa e v C0k [a, b]. Por construcao, temos
Rb Rd
que a f v dt = c f v dt > 0, o que contradiz a hipotese. Logo, f (t) 0,
t (a, b). A continuidade de f implica que f (t) 0 em [a, b]. Analoga-
mente, provamos que f (t) 0 em [a, b].
i i
i i
steuer
i i 2008/3/11
page 148
i i
Note que (7.10) e valida para todo C01 [a, b]. Logo, segue do lema de
du BoisReymond (Lema 129) que
d
(7.11) Ly (t, y(t), y 0 (t)) Ly0 (t, y(t), y 0 (t)) = 0, t [a, b].
dt
i i
i i
steuer
i i 2008/3/11
page 149
i i
para todo C 1 [a, b] com (b) = 0. Note que (7.13) vale em parti-
cular para C01 [a, b], de onde segue (novamente argumentando com
o Lema 129) a equacao de EulerLagrange. Tomando agora em (7.13)
C 1 [a, b] com (b) = 0 e (a) 6= 0, obtemos a condicao extra
Sendo assim, para problemas com com fronteira livre, obtemos, alem da
equacao de EulerLagrange, uma condicao de contorno para y no ex-
tremo do intervalo [a, b], onde o problema nao exige nenhuma restricao.
Tal condicao surge naturalmente da formulacao variacional do problema
de otimizacao, sendo por isso denominada condicao de contorno natural.
Resumindo, para que y seja solucao do problema
Z b
Minimizar I(y) := L(t, y(t), y 0 (t)) dt
a
sujeito a
y {y C 1 [a, b] | y(b) = yb }
Note que, como ocorre no Teorema 131, obtemos uma condicao necessaria
expressa na forma (implcita) de uma equacao diferencial de segunda or-
dem (equacao de EulerLagrange) com duas condicoes de contorno. 2
i i
i i
steuer
i i 2008/3/11
page 150
i i
i i
i i
steuer
i i 2008/3/11
page 151
i i
i i
i i
steuer
i i 2008/3/11
page 152
i i
i i
i i
steuer
i i 2008/3/11
page 153
i i
(t,y(t))
Q
P
t
t=a t=b
Meridianos
Logo,
y0
= const.,
(1 + (y 0 )2 )1/2
o que implica em y 0 constante, ou em y ser linear. 2
Exemplo 137. Consideramos agora o problema de, fixados dois pontos
P e Q na superfcie da esfera de raio r, encontrar a curva de menor
comprimento que os une. Estando a esfera centrada na origem, parame-
trizamo-a localmente pelas coordenadas:
r(cos t cos y, sin t cos y, sin y) com t (0, 2), y ( , ).
2 2
Sao consideradas apenas curvas que cortem cada meridiano em apenas
um ponto. Tais curvas podem ser parametrizadas usando a latitude t
como parametro. A longitude y de um ponto da curva e dada por uma
funcao y(t) da variavel independente t (veja Figura 7.1). Uma curva e
entao representada por
i i
i i
steuer
i i 2008/3/11
page 154
i i
A2 (y 0 )2 = cos4 y A2 cos2 y.
Logo, Z
A dy
= (t a) + B,
cos y(cos2 y A2 )1/2
onde B e constante. Fazendo a mudanca de variaveis u = tan y, obtemos
finalmente
1 A2
y(t) = arctan( sin((t a) + B)),
A
sendo as constantes A e B determinadas a partir dos dados a, b, ya , yb .
Note que o equador y = 0 (A = 1) e um extremal. Contudo, se
b a > , uma das partes do equador nao e o caminho mais curto. Tal
fato nos leva a concluir que pequenas partes desta curva determinam o
caminho mais curto, enquanto que longas partes nao o fazem.4 2
Exemplo 138 (Braquistocrona). Voltamos agora a tratar do pro-
blema apresentado na Seccao 1.2.7. Como ja foi visto, o problema de
encontrar a curva de tempo mnimo se deixa formular como
Z x1 1/2
1 + (y 0 )2
Minimizar J(y) := dx
x0 2gy + c
sujeito a
y {C 1 [x0 , x1 ] | y(x0 ) = y0 , y(x1 ) = y1 }
4
O tratamento de problemas como o surgido neste exemplo foi motivo de inves-
tigacao por Carl Jacobi, que atraves da teoria de campos de extremais conseguiu
esclarecer quando uma funcao estacionaria deixa de ser solucao do problema varia-
cional. Maiores detalhes podem ser encontrados em [Tr, Captulo 9].
i i
i i
steuer
i i 2008/3/11
page 155
i i
(1 + (y 0 )2 )1/2 0 2 1/2
0 (1 + (y ) )
const. = L(y, y 0 ) y 0 Ly0 (y, y 0 ) = y y0 .
(2gy + c)1/2 (2gy + c)1/2
(7.20) y (1 + (y 0 )2 ) = A.
d cos( 2 )
A sin( 2 ) cos( 2 ) = .
dx sin( 2 )
1
x = B + A ( sin ).
2
Sendo assim, obtemos para o extremal y a seguinte parametrizacao:
i i
i i
steuer
i i 2008/3/11
page 156
i i
i i
i i
steuer
i i 2008/3/11
page 157
i i
i i
i i
steuer
i i 2008/3/11
page 158
i i
temos que
y 0 |[tk ,tk+1 ] = 0, 0 k n.
Provando assim o item a). O item b) segue imediatamente do Lema 142.
i i
i i
steuer
i i 2008/3/11
page 159
i i
A1
h g(t)
A2
y 0 (t)
t t t+
|A | 2M e |h| 3M.
Da definicao de g, segue agora para todo t [a, b]
|y 0 (t)| = |g(t)|
max{ |y 0 (t)|, |y 0 (t )| + |h|, |h| + |y 0 (t + )| }
M + |h| 4M,
provando assim b). Para determinar A em c), basta observar que
Z t
|y(t) y(t)| |y 0 (s) y 0 (s)| ds
t
Z t+
(|y 0 (s)| + |y 0 (s)|) ds 10M
t
i i
i i
steuer
i i 2008/3/11
page 160
i i
0
kv, vk A e kv, k 4kv 0 k ,
0
ky yk1, = kv, k1, = kv, k + kv, k
kv, vk + kvk + 4 kv 0 k
A + 4 ky yk1,
4
A + .
5
i i
i i
steuer
i i 2008/3/11
page 161
i i
i i
i i
steuer
i i 2008/3/11
page 162
i i
e ainda
(7.23) Ly0 (t, y(t), y 0 (t)) = Ly0 (t, y(t+), y 0 (t+)), t (a, b).
satisfaca a condicao
v(a) = v(b) = 0.
Rs
Tomando agora f (s) := a Ly (r, y(r), y 0 (r)) dr + Ly0 (s, y(s), y 0 (s)),
s [a, b], segue da equacao (7.24)
Z b Z b
v 0 (s)2 ds = [f (s) c]2 ds
a a
Z b Z b
= f (s) [f (s) c] ds c [f (s) c] ds
a a
Z b
= 0 c f (s) ds + c2 (b a) = 0.
a
i i
i i
steuer
i i 2008/3/11
page 163
i i
Para provar a segunda parte do teorema, basta observar que (7.25) im-
plica na continuidade da aplicacao t 7 Ly0 (t, y(t), y 0 (t)) em [a, b].
i i
i i
steuer
i i 2008/3/11
page 164
i i
i i
i i
steuer
i i 2008/3/11
page 165
i i
EXERCICIOS 165
Exerccios
7.1. Calcule a primeira integral da Equacao de EulerLagrange quando
L = L(t). Mostre que as funcoes lineares sao estacionarias.
7.2. Calcule a primeira integral da Equacao de EulerLagrange quando
L = L(t, y).
7.3. Prove que k k1, define uma norma em C 1 [a, b]. Mostre que o
espaco vetorial normado assim obtido nao e completo.
7.4. Prove que, se g, h C[a, b] sao tais que
Z b
[g(t)v(t) + h(t)v 0 (t)] dt = 0,
a
e satisfeita.
(Sugestao: Utilize o fato do extremal y satisfazer a primeira
Rt integral da
Equacao de EulerLagrange: L(t, y, y )yLy (t, y, y ) = a Lt (s, y, y 0 )ds+
0 0
const.)
i i
i i
steuer
i i 2008/3/11
page 166
i i
166 EXERCICIOS
b) Conclua que uma condicao necessaria para que y seja mnimo local
de I em Yad e
Z b
I(y, v) = [h(t) Ly00 (t, y, y 0 , y 00 )]v 00 (t) dt = 0, v Y0 .
a
i i
i i
steuer
i i 2008/3/11
page 167
i i
EXERCICIOS 167
i i
i i
steuer
i i 2008/3/11
page 168
i i
Captulo 8
Princpios Variacionais na
Mecanica
i i
i i
steuer
i i 2008/3/11
page 169
i i
(8.1) t B = B + B ,
d 2 tB
(8.2) = 0.
d 2
Da podemos concluir que o tempo e descrito por um espaco unidi-
mensional afim e apartir da escolha de um tempo zero, podemos dis-
cernir entre os conceitos de antes e depois. A ocorrencia de um movi-
mento, descrito por uma trajetoria t 7 r(t), corresponde a um ponto
i i
i i
steuer
i i 2008/3/11
page 170
i i
dv
a(t) := (t) = v(t).
dt
O estado de repouso e descrito por r(t) = 0 para todos os tempos t,
enquanto que o movimento retilneo uniforme (velocidade constante) e
descrito por
(8.3) r(t) = r0 + v0 t.
m r = F,
ou mais detalhadamente
i i
i i
steuer
i i 2008/3/11
page 171
i i
p(t) := mr(t).
i i
i i
steuer
i i 2008/3/11
page 172
i i
i i
i i
steuer
i i 2008/3/11
page 173
i i
u
(8.13) U (r) := , r R\{0},
r
onde u := Gm1 m2 . 2
2
O sinal negativo a frente do potencial representa uma notacao fsica.
i i
i i
steuer
i i 2008/3/11
page 174
i i
J(r, v) := m r v.
i i
i i
steuer
i i 2008/3/11
page 175
i i
i i
i i
steuer
i i 2008/3/11
page 176
i i
i i
i i
steuer
i i 2008/3/11
page 177
i i
Conservacao de Impulso : dP = 0
dt
Conservacao de Energia : dE = 0
dt
Conservacao do Centro de massa : drS = P
dt M
Conservacao do Momento angular : dJ = 0
dt
Se torna importante a seguinte pergunta: Quais mudancas de coorde-
nadas levam sistemas referenciais inerciais em outros sistemas referen-
i i
i i
steuer
i i 2008/3/11
page 178
i i
G : (t, r) 7 (t + , Qr + wt + a),
Nao e por acaso que existem dez quantidades escalares nas grandezas
conservadas: Impulso, Energia, Centro de massa, Momento angular. A
invariancia da lei de Newton:
mr = F (t, r, r)
i i
i i
steuer
i i 2008/3/11
page 179
i i
Nas aplicacoes que vamos aqui analisar, a hipotese de L ser uma funcao
duas vezes continuamente diferenciavel e razoavel.
De onde surgem entretanto as equacoes de movimento? De forma
indireta. As equacoes de movimento surgem como aplicacao do princpio
da acao mnima a funcao lagrangeana L. Um movimento [a, b] 3 t 7
4
Por exemplo, no problema do pendulo simples (com suporte fixo) temos um unico
grau de liberdade, a saber: o angulo.
5
Maupertuis e tambem conhecido como grand aplatisseur pois tomou, na disputa
entre as escolas Cartesiana e Newtoniana, partido pela ultima, afirmando que a Terra
era achatada nos polos e nao no equador. Sua conclusao se baseou em medicoes reali-
zadas durante uma expedicao cientfica realizada em 1736, que objetivou determinar
o comprimento de um grau ao longo de um meridiano.
i i
i i
steuer
i i 2008/3/11
page 180
i i
Rb
q(t) Rd ocorre quando a integral a L(t, q(t), q(t))dt, sujeita a restricao
qa := q(a), qb := q(b), e minimizada.
Rb
A integral a L(t, q(t), q(t)dt e denominada integral de acao, pois L
pode ser interpretado como energia e o produto de energia por tempo e
denominado acao.
Fica assim claro qual e a forma da equacao de movimento: E a
equacao diferencial de Euler para o seguinte problema variacional:
Z b
Minimizar J(a, b; qa , qb ) := L(t, q(t), q(t))dt
PL (a, b; qa , qb ) a
sujeito as restricoes q(a) = qa , q(b) = qb .
Utilizando a notacao
N X
X N
U (r1 , . . . , rN ) := Uil (|ril |)
i=1 l=i+1
i i
i i
steuer
i i 2008/3/11
page 181
i i
A integral de acao, neste caso, fica alterada apenas por uma constante.
2
O princpio Hamiltoniano de acao mnima e valido nao somente para
o movimento de uma partcula, mas para problemas mais complicados,
conforme ilustra o exemplo a seguir.
Exemplo 154. Considere que em uma corda de comprimento 4l estao
pendurados dois pontos de massa, conforme a Figura 8.1. Sao conside-
rados somente deslocamentos verticais e, alem disso, sao considerados
apenas pequenos deslocamentos (para deslocamentos grandes, as consi-
deracoes feitas aqui nao se aplicam). Sejam y1 (t), y2 (t) os deslocamentos
no tempo t das massas m1 = m e m2 = 2m respectivamente. A energia
cinetica do sistema (oscilando) e dada por
m
y1 (t)2 + my2 (t)2 .
2
E uma hipotese fisicamente importante considerar a energia potencial
proporcional a distensao da corda. Obtemos assim, para a parte que
corresponde a distensao do lado esquerdo do fio (a esquerda de m1 ), a
expressao
r
p y1 (t) 2
2 2
(2l) + y1 (t) 2l = 2l( 1 + ( ) 1).
2l
Como estamos considerando apenas pequenas distensoes da corda, a
expressao correspondente a raiz pode ser aproximada por
1 y1 (t) 2
1+ ( ) .
2 2l
i i
i i
steuer
i i 2008/3/11
page 182
i i
y1 (t)2
.
4l
Consideracoes analogas nos permitem obter para os dois outros segmen-
tos do fio (no centro e a direita de m2 ) as seguintes expressoes para a
energia potencial:
| y2 (t) y1 (t) |2 y2 (t)2
, .
2l 2l
Temos assim a energia potencial total do sistema dada por
d2 ( 3) 2 2
2
(y1 + y2 ) = (y1 + y2 ).
dt 2m 3
u = 2 u bzw. u = 4 2 u,
. Resolvendo-a, obtemos as solucoes linearmente indepen-
com := 2m
dentes
i i
i i
steuer
i i 2008/3/11
page 183
i i
obtemos a solucao
correspondente. 2
q = G(t, q, p),
i i
i i
steuer
i i 2008/3/11
page 184
i i
i i
i i
steuer
i i 2008/3/11
page 185
i i
H H
f := ( , ),
p q
H H 2H 2H
div( , )=
p q pq qp
i i
i i
steuer
i i 2008/3/11
page 186
i i
M1 (q, p) = k1 , . . . , , Md (q, p) = kd .
A resolucao da equacao
L
p= (t, q, q)
q
em relacao a q nos fornece a relacao
p
q = p .
t + q 2 p2
2
i i
i i
steuer
i i 2008/3/11
page 187
i i
M (q, p) := p2 q 2
(8.31) f () + f (p) p, p, R.
(8.32) f () + f (p) = p f 0 () = p.
i i
i i
steuer
i i 2008/3/11
page 188
i i
p2r p2
H(q, p) = + + U (r),
2m 2mr 2
de onde obtemos as equacoes canonicas
pr p p2
(8.33) r = , = , pr = U 0 (r), p = 0.
m mr2 mr3
Podemos novamente detectar quais grandezas sao conservadas neste pro-
blema. 2
Observacao 160. Transformacoes no espaco Rd Rd geram trans-
formacoes nas equacoes Hamiltonianas. Tais transformacoes se tor-
nam interesantes quando preservam estruturas especiais (simpleticas)
nas equacoes canonicas. Tal analise nos conduz ao grupo S2d (R) das
matrizes simpleticas. Sao matrizes M tais que
M T JM = J,
i i
i i
steuer
i i 2008/3/11
page 189
i i
EXERCICIOS 189
(8.37) S(b, q) = 0, q Rd .
Exerccios
8.1. Considere a funcao Lagrangeana L(t, q, p) := p2 in [a, b]. Obtenha
a funcao Hamiltoniana H e a equacao de HamiltonJakobi.
i i
i i
steuer
i i 2008/3/11
page 190
i i
190 EXERCICIOS
p
8.2. Considere a funcao Lagrangeana L(t, q, p) := f (q) 1 + p2 em
[a, b]. Obtenha a funcao Hamiltoniana H e a equacao de Hamilton
Jakobi.
p p
8.3. Considere a funcao Lagrangeana L(t, q, p) := t2 + q 2 1 + p2 em
[a, b]. Obtenha a funcao Hamiltoniana e os extremais.
8.4. Considere a integral de acao
Z b
1
(mq(t)2 cq(t))dt.
2 a
m 2
L(t, x, x) := x .
2 |x + | |x |
i i
i i
steuer
i i 2008/3/11
page 191
i i
EXERCICIOS 191
E0
x
movimento?
b) Faca um esboco da curva correspondente ao movimento no plano de
fase x x;
c) Calcule lim T (E), onde T (E) e o perodo de tempo do movimento
EE0
para E proximo a E0 .
8.9. Faca um esboco do potencial unidimensional
2
U (r) := 5rer + r4 +
r
e da curva correspondente ao movimento no plano de fase x x, para
uma partcula de massa unitaria, como funcao da energia e da posicao
inicial.
8.10. Considere dois pendulos identicos de comprimento l e massa
m, acoplados por um fio ideal. O fio esta estendido quando ambos os
pendulos estao em repouso. Para pequenas perturbacoes, a energia total
e dada por
1 2 1 1
E= (q2 + q42 ) + m02 (q12 + q32 ) + m12 (q1 q3 )2 .
2m 2 2
a) Identifique os termos na equacao acima;
b) Obtenha as equacoes de movimento;
c) Encontre uma mudanca de variaveis que desacople as equacoes de
movimento e resolva as novas equacoes encontradas.
i i
i i
steuer
i i 2008/3/11
page 192
i i
Captulo 9
Calculo Variacional e
Controle Otimo
i i
i i
steuer
i i 2008/3/11
page 193
i i
i i
i i
steuer
i i 2008/3/11
page 194
i i
i i
i i
steuer
i i 2008/3/11
page 195
i i
y
(t, y) = 0
ya y1 (t)
y2 (t)
a T1 T2 t
i i
i i
steuer
i i 2008/3/11
page 196
i i
i i
i i
steuer
i i 2008/3/11
page 197
i i
4
Tal propriedade e denominada continuidade fraca da variacao de Gateaux.
i i
i i
steuer
i i 2008/3/11
page 198
i i
i i
i i
steuer
i i 2008/3/11
page 199
i i
obtendo assim y(t) := (yj (t), Y (t)) Yad que obviamente satisfaz
G(t, y(t)) = 0, t [a, b]. Definimos agora o funcional
onde
yj (t) = g((t), Y (t)) e yj0 (t) = (d/dt) g((t), Y (t)) = gt (t, Y ) + gY (t, Y )Y 0 .
d
(9.8) [L 0 gY + LY 0 ] = Lyj gY + LY + Lyj0 [gt + gY Y 0 ]Y , t (c, d).
dt yj
i i
i i
steuer
i i 2008/3/11
page 200
i i
d d
[L + G]Y 0 [L + G]0Y = LY 0 LY GY
dt dt
d
= LY 0 LY + Gyj gY
dt
d
= Lyj + Lyj + Gyj gY .
0
dt
A escolha (t) = [(d/dt) Lyj0 Lyj ]/Gyj C[c, d] (lembre que Gyj 6= 0
em [c, d]) nos fornece a equacao
d
(9.9) [L + G]Y 0 [L + G]0Y = 0, t (c, d).
dt
Provamos assim que para essa escolha de multiplicador, a equacao de
EulerLagrange e satisfeita em uma vizinhanca de t = . Como
(a, b) e arbitrario, concluimos que o teorema e valido localmente no
intervalo (a, b).
Note que e possvel cobrir o intervalo compacto [a, b] com uma
famlia finita de subintervalos, tais que em cada um deles, Gyj 6= 0
para algum j. A escolha do multiplicador em cada subintervalo de-
pende apenas deste fato, o que justifica a conclusao de que e possvel
escolher C[a, b], de modo que (9.9) seja satisfeita em todo intervalo
(a, b).
i i
i i
steuer
i i 2008/3/11
page 201
i i
i i
i i
steuer
i i 2008/3/11
page 202
i i
Note que no problema (9.10) sao feitas restricoes sobre a derivada das
funcoes admissveis. Importante na analise a seguir e o fato de L(t, z, z 0 )
ser uma funcao afim na variavel z 0 . Observe ainda que o problema (9.10)
pode ser interpretado como decorrente do seguinte problema de controle
otimo
Z t1
Minimizar I(z) :=
[L1 (t, z(t)) + L2 (t, z(t))u(t)] dt
t0
sujeito a
z 0 = g(t, z) + f (t, z)u(t), t [t0 , t1 ] ;
z(t ) = z , z(t ) = z , u(t) := [u , u ].
0 0 0 1 m M
g(t, z) 1
G(t, z) = L1 (t, z) L2 (t, z) ; H(t, z) = L2 (t, z) ;
f (t, z) f (t, z)
A(t, z) = min {g(t, z) + f (t, z)u} ; B(t, z) = max {g(t, z) + f (t, z)u}.
u(t) u(t)
i i
i i
steuer
i i 2008/3/11
page 203
i i
G H
(9.11) (t, z(t)) (t, z(t)) = 0, t (t0 , t1 ).
z t
Fazemos agora as seguintes hipoteses:
G H
(t, z) (t, z) > 0, (t, z) E+ ,
z t
G H
(t, z) (t, z) < 0, (t, z) E .
z t
6
Note que zs nao pertence necessariamente a Zad .
i i
i i
steuer
i i 2008/3/11
page 204
i i
i i
i i
steuer
i i 2008/3/11
page 205
i i
z0
D zs
zs (t0 )
z1 z
-
t0 1 t1
i i
i i
steuer
i i 2008/3/11
page 206
i i
6
z
z0
D
z1
z
zs
zs (t0 )
-
t0 t1
Observacao 172. Caso uma das condicoes de contorno nao seja for-
necida, por exemplo z(t1 ) = z1 , obtemos em seu lugar a condicao de
contorno natural (veja Observacao 132)
Neste caso, mesmo que a condicao H(t1 , z(t1 )) = 0 defina z(t1 ) de forma
unica, e ainda possvel aplicar o Teorema 171. 2
Observacao 173. O Teorema 171 garante que a trajetoria otima para
o problema e da forma bangsingularbang.
i i
i i
steuer
i i 2008/3/11
page 207
i i
i i
i i
steuer
i i 2008/3/11
page 208
i i
H : [t0 , t1 ] Rn Rm Rn R
(t, z, u, ) 7 h, f (t, z, u)i + L(t, z, u),
e z, u) =
denominada funcao de Hamilton. Por construcao, temos L(t,
0
H(t, z, u, ) (t)z . A equacao de EulerLagrange para o problema
variacional irrestrito em Ie possui uma componente relativa a z e outra
a u.7 Temos assim,
d d
[L + G]z 0 = [L + G]z e [L + G]u0 = [L + G]u .
dt dt
Utilizando a definicao de H, podemos reescrever as equacoes acima na
forma
0 (t) = Hz (t, z, u, ) e 0 = Hu (t, z, u, ).
Note ainda que a equacao de evolucao do problema (9.13) z 0 = f (t, z, u)
(que e a restricao lagrangeana do problema (9.14)) pode ser reescrita
como z 0 = H (t, z, u, ).
Observe que as condicoes de WeierstraErdmann, que dizem res-
peito a continuidade das aplicacoes
e z 0 (t, z, u) = (t)
L e e u0 (t, z, u) = 0,
L
i i
i i
steuer
i i 2008/3/11
page 209
i i
(9.15)
H(t, z + v, u + w, ) H(t, z, u, ) Hz (t, z, u, ) v + Hu (t, z, u, ) w,
v Rn , w Rm
i i
i i
steuer
i i 2008/3/11
page 210
i i
entao
(9.17)
I(z, u) I(z, u)
e u, ) I(z,
= I(z, e u, )
Z t1
= [H(t, z, u, ) H(t, z, u, ) (t)(z 0 (t) z 0 (t))] dt
t0
Z t1
[Hz (t, z, u, )(z z) + Hu (t, z, u, )(u u) (z z)0 ] dt
t0
Z t1
= [0 (z z)0 (z z)0 ] dt
t0
= [(z z)]tt10 = 0,
provando o item a). Quanto ao item b), basta observar que, se (z, u) 6=
(z, u) e outro processo admissvel satisfazendo a restricao G(t, z, u)
0, entao (9.17) e obtida com desigualdade estrita, provando assim que
I(z, u) I(z, u) > 0.
Observacao 175. Caso a condicao de contorno z(t1 ) = z1 nao seja
fornecida, o conjunto das trajetorias admissveis correspondente e Z ad :=
{z C 1 ([t0 , t1 ]; Rn ) | z(t0 ) = z0 } e o Teorema 174 continua valido se
substituimos a condicao de contorno z(t1 ) = z1 em (9.16) pela condicao
natural (t1 ) = 0.
Analogamente, se a condicao de contorno final para o problema (9.13)
for da forma (z(t1 )) = 0, onde a aplicacao : Rn Rp satisfaz 6= 0,
o conjunto das trajetorias admissveis correspondente e Zad := {z
C 1 ([t0 , t1 ]; Rn )| z(t0 ) = z0 , (z(t1 )) = 0}.
Neste caso, o Teorema 174 continua valido se substituimos a condicao
z(t1 ) = z1 em (9.16) pela condicao natural de transversalidade (t1 ) =
z (z(t1 )) para Rp e pela exigencia que (z) : Rn R seja uma
funcao convexa. De fato, Se (z, u) Zad Uad satisfaz G(t, z, u) 0,
definimos I(z, e u, , ) := I(z, e u, ) + (z(t1 )) e obtemos
e u, , ) I(z,
I(z, u) I(z, u) = I(z, e u, , )
[(z z)]tt10 + (z(t1 )) (z(t1 ))
[(z z)]tt10 + z (z(t1 )) [z(t1 ) z(t1 )]
= [(t1 ) + z (z(t1 ))] [z(t1 ) z(t1 )] = 0.
Para obter a ultima das desigualdade acima usamos a convexidade de
i i
i i
steuer
i i 2008/3/11
page 211
i i
(9.18) H(t, z(t), u(t), (t)) = minm {H(t, z(t), u, (t))}, t (t0 , t1 ).
uR
i i
i i
steuer
i i 2008/3/11
page 212
i i
I(z, u, ; 1 , 2 , 3 )
Z t1
= [1 (Lz + fz ) 10 + 2 (Lu + fu ) + 3 (f z 0 )] dt
t0
Z t1
= [1 (Lz + fz + 0 ) + 2 (Lu + fu ) + 3 (f z 0 )] dt
t0
i i
i i
steuer
i i 2008/3/11
page 213
i i
EXERCICIOS 213
(t, y) = 0
Exerccios
9.1. Considere o problema do Exemplo 168 (veja Figura 9.4).
a) Verifique que a solucao do problema necessariamente satisfaz a
condicao transversal
Ly = Ly0 [t + y y 0 ],
p
onde L(t, y, y 0 ) := 1 + (y 0 )2 / y.
b) Conclua do item a) que a cicloide, unindo a origem a curva de nvel,
satisfaz y = t y 0 , i.e. a cicloide intercepta ortogonalmente a curva de
nvel.
c) Formule o problema de controle correspondente.
9.2. Considere o problema do Exemplo 169.
a) Calcule o multiplicador de Lagrange (escalar) correspondente e en-
contre a solucao do problema variacional.
b) Encontre a trajetoria otima para o problema de controle e o controle
otimo correspondente.
i i
i i
steuer
i i 2008/3/11
page 214
i i
214 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 215
i i
EXERCICIOS 215
i i
i i
steuer
i i 2008/3/11
page 216
i i
Captulo 10
Princpio do Maximo
i i
i i
steuer
i i 2008/3/11
page 217
i i
onde
L : [t0 , ) Rn Rm R, L1 : [t0 , ) Rn R,
f : [t0 , ) Rn Rm Rn , : [t0 , ) Rn Rp
e Rm . O tempo inicial t0 e a condicao inicial z0 sao fornecidos,
enquanto que o tempo final t1 e a condicao final sao, a princpio, desco-
nhecidos.
Note que o fato da dinamica do sistema ser descrita por uma equacao
integral ao inves de diferencial, permite-nos considerar trajeorias ad-
missveis menos regulares. O conjunto das estrategias de controle ad-
missveis e
Uad := L1loc ([0, ); Rm ).
Desta forma, as trajetorias correspondentes sao funcoes absolutamente
contnuas em [t0 , t1 ].
Definicao 177. Sejam f , L as funcoes definidas acima. A aplicacao
H : [t0 , ) Rn Rn Rm R,
(t, z, , u) 7 h, f (t, z, u)i + L(t, z, u)
e denominada funcao de Hamilton (note que a origem da constante
precisa ainda ser esclarecida). 2
i i
i i
steuer
i i 2008/3/11
page 218
i i
i i
i i
steuer
i i 2008/3/11
page 219
i i
i i
i i
steuer
i i 2008/3/11
page 220
i i
i i
i i
steuer
i i 2008/3/11
page 221
i i
1. Estime 0 := (t0 ) e ;
L1
(t1 , z(t1 )) = 0, (t1 ) = (t1 , z(t1 )) (t1 , z(t1 )) ;
z z
4. Retorne ao passo 2.
2
Observacao 182. E simples verificar que a equacao de EulerLagrange
do calculo variacional pode ser obtida do princpio do maximo. De
fato, o problema de minimizacao (7.2) do calculo variacional pode ser
interpretado como
Z b
Minimizar J(z, u) := L(t, z(t), u(t)) dt
a
sujeito a z0 = u(t) .
i i
i i
steuer
i i 2008/3/11
page 222
i i
i i
i i
steuer
i i 2008/3/11
page 223
i i
H(t, z(t), (t), u(t)) = min H(t, z(t), (t), u), q.s. em [0, T ] ;
u
i i
i i
steuer
i i 2008/3/11
page 224
i i
H(t, z(t), (t), u(t)) = min H(t, z(t), (t), u), q.s. em [0, ) .
u
i i
i i
steuer
i i 2008/3/11
page 225
i i
kk k + k > 0 ;
H(t, z(t), k (t), u(t)) = max{H(t, z(t), k (t), u)}, q.s. in [0, Tk ].
u
Seja agora T > 0 fixo. Logo Tk > T , para k > k0 e como o sis-
tema Hamiltoniano desfruta da propriedade de dependencia contnua
das condicoes iniciais, podemos garantir que existe : [0, T ] Rn , tal
que k converge uniformemente para em [0, T ]. Essa convergencia im-
plica nas desejadas condicoes de otimalidade para o problema P (x0 ),
uma vez que T > 0 e arbitrario.
i i
i i
steuer
i i 2008/3/11
page 226
i i
i i
i i
steuer
i i 2008/3/11
page 227
i i
i i
i i
steuer
i i 2008/3/11
page 228
i i
i i
i i
steuer
i i 2008/3/11
page 229
i i
i i
i i
steuer
i i 2008/3/11
page 230
i i
z2
C
u1 b
a z1
u1
z2 z2
z1 z1
i i
i i
steuer
i i 2008/3/11
page 231
i i
z2
C E
b
u1
a z1
u1
que e admissvel para a condicao inicial (a, b). Tal trajetoria e composta
por dois arcos: um da curva E limitado por (a, b) e pelo ponto P e outro
da curva C limitado por P e pela origem. Para calcular (instante
em que trocamos o controle de 1 para 1) nao e necessario calcular
as constantes 1 , 2 na equacao (10.9). No caso a > 0, b > 0, basta
descobrir para qual > 0 a curva (z1 (t), z2 (t)) = (a + bt t2 /2, b t)
satisfaz a condicao
z2 ( ) < 0, z2 ( )2 = 2z1 ( ) .
p
Um calculo simples mostra que e dado por uma das razes b b2 /2 a.
2
Aplicacao 188 (Alunissagem). Considere o problema de controlar a
descida de uma espaconave na Lua, utilizando para isso a menor quan-
tidade possvel de combustvel. Em um modelo simplificado, temos5
t : tempo;
h(t) : altura da espaconave;
v(t) : velocidade da espaconave;
m(t) : massa da espaconave + combustvel;
u(t) : empuxo dos motores da espaconave.
Seja M a massa da espaconave sem combustvel, F a quantidade ini-
cial de combustvel, h0 a altura inicial, v0 a velocidade inicial, umax o
empuxo maximo dos motores da nave (0 u(t) umax , t 0), g a
constante gravitacional da Lua (considerada constante) e k a constante
de proporcionalidade entre o empuxo e a taxa de queima do combustvel.
5
Este modelo e tambem discutido em [FlRi], [Ho] e [Know].
i i
i i
steuer
i i 2008/3/11
page 232
i i
i i
i i
steuer
i i 2008/3/11
page 233
i i
z1 = h
z2 = v
= T F/k
Figura 10.5: Condicoes iniciais (h, v) que sao levadas pelo controle u 1
a condicao final (0, 0, m(T )) com m(T ) M .
i i
i i
steuer
i i 2008/3/11
page 234
i i
z1 = h
(v0 ,h0 )
u=0
u=1 z2 = v
1 2
h(t) = h0 [v (t) v02 ], t [0, ] .
2g
A curva (v(t), h(t)) e uma parabola no plano de fase vh. Unindo os dois
trechos da trajetoria correspondente a u, obtemos a curva mostrada na
Figura 10.6. Segundo essa trajetoria, a nave cai em queda livre ate que o
estado (v, h) alcance a curva da Figura 10.5. Nesse momento os motores
sao acionados na potencia maxima ate um estado final admissvel ser
atingido ((T, z(T )) = 0).
Observe que se a interseccao das duas curvas na Figura 10.6 ocorre
em um ponto (v(), h()) com < T F/k, a quantidade de combus-
tivel nao e suficiente para realizar um pouso suave. Enquanto que se
a condicao inicial (v0 , h0 ) se encontra abaixo da curva na Figura 10.5,
mesmo empregando empuxo maximo u(t) = 1, t [0, T ], o solo lunar e
atingido com v(T ) < 0.
Atraves do princpio do maximo verificamos agora que a estrategia de
controle definida em (10.12) e um candidato a controle otimo. Suponha
i i
i i
steuer
i i 2008/3/11
page 235
i i
temos:
3 (t) = l3 , t [0, ] .
2 ()
r() = + k3 () = 0 .
z3 ()
l2 l 1
1 + k l3 = 0 .
M +F
i i
i i
steuer
i i 2008/3/11
page 236
i i
i i
i i
steuer
i i 2008/3/11
page 237
i i
i i
i i
steuer
i i 2008/3/11
page 238
i i
z 0 = u, z(0) = z(3) = 1 ;
0 = z, 1 = 1 ;
1 2
H(t, z, , u) = u + 2 z , H1 = 2 ;
+ |1 | + |2 | 6= 0 .
i i
i i
steuer
i i 2008/3/11
page 239
i i
Conclumos assim que (0) > 0. De forma analoga prova-se que (3) <
0. Portanto, a funcao possui pelo menos um zero em (0, 3). Seja t1 o
menor e t2 o maior zero de em (0, 3). Provamos agora que t1 = 1 e
t2 = 2:
n
Note que t1 6= t2 , pois se possui apenas um zero, entao z(t) =
1t, t[0,3/2]
t2, t[3/2,3] , que obviamente nao e uma trajetoria otima;
Se t1 < 1, entao 0 (t1 ) = z(t1 ) < 0. Seja t > 1, tal que (t) < 0,
t (t1 , t) e (t) = 0. Logo, 0 (t) 0.
De (t) < 0, segue u(t) 1, t (t1 , t). Como z(t1 ) > 0 e
z 0 (t) = u(t) = 1, t (t1 , t), temos z(t) 1 t1 > 0, t [0, t].
Entao 0 (t) = z(t) < 0 (contradicao).
i i
i i
steuer
i i 2008/3/11
page 240
i i
i i
i i
steuer
i i 2008/3/11
page 241
i i
onde A e um parametro livre. Suponha agora que b > a, i.e. > (1q)b.
Neste caso, as hipoteses do modelo:
(note que = b qa). E facil verificar que V (x) := (1 q)/(b a)q x1q ,
x 0 e solucao da equacao acima. Note ainda que se A = 0 a condicao
i i
i i
steuer
i i 2008/3/11
page 242
i i
242 EXERCICIOS
Exerccios
10.1. Considere o problema de Bolza
Z
1 1
Minimizar 2 u(t)2 dt + z1 (1)2 + z2 (1)2
0
sujeito a
u L1 [0, 1], z10 = z2 , z20 = u, z1 (0) = z2 (0) = 0.
a) Formule o princpio do maximo para o problema acima.
b) Obtenha o processo otimo.
10.2. Considere o problema de controle otimo
Z T
Minimizar z1 (t)2 + u(t)2 dt
0
sujeito a
u L1 [0, T ], z10 = z2 , z20 = z2 + u, z1 (0) = 1, z2 (0) = 0.
a) Formule o princpio do maximo para o problema acima.
b) Obtenha o processo otimo.
10.3. Considere o problema de controle otimo escalar
Z
1 1
Minimizar 2 3z(t)2 + u(t)2 dt
0
sujeito a
u L1 [0, 1], z 0 = z + u, z(0) = 1.
a) Formule o princpio do maximo para o problema acima.
b) Obtenha o processo otimo.
10.4 (Problema de Investimento). Suponha que um determinado
produto e fabricado com a taxa z(t). No tempo t > 0 uma fracao u(t)
da producao e reinvestida para aumentar a producao, sendo o restante
vendido para geracao de lucro. O objetivo e determinar uma poltica
de investimento otima, de forma a maximizar o lucro total no horizonte
fixo de tempo [0, T ]. Temos assim o problema
Z T
Maximizar (1 u(t))z(t)dt
0
sujeito a
0
z = uz, z(0) = z0 > 0, z(t) 0, u C[0, T ]
i i
i i
steuer
i i 2008/3/11
page 243
i i
EXERCICIOS 243
z 0 = z 25u uz/4.
i i
i i
steuer
i i 2008/3/11
page 244
i i
Captulo 11
Programacao Dinamica
Discreta
11.1 Introducao
Em otimizacao o conceito de programa esta relacionado com o pro-
blema de dominar, de forma otima, uma situacao proposta. Tal conceito
surgiu originalmente na economia e diz respeito ao desenvolvimento de
planejamentos otimos de producao.
Iniciamos a abordagem considerando um problema generico. Con-
i i
i i
steuer
i i 2008/3/11
page 245
i i
i i
i i
steuer
i i 2008/3/11
page 246
i i
i i
i i
steuer
i i 2008/3/11
page 247
i i
i i
i i
steuer
i i 2008/3/11
page 248
i i
V (O, B) = 2, V (P, B) = 1;
i i
i i
steuer
i i 2008/3/11
page 249
i i
6
3
@
@
2 R
@
@
@
@ @
1 R
@ R
@
@
@
@
@ @ @
A R
@ R
@ RB -
@
@ 1 @
2 3 @
4 5 6
@ @ @
-1 R
@ R
@ R
@
@ @
@ @
-2 R
@ R
@
@
@
-3 R
@
que este metodo nos fornece muito mais do que simplesmente o caminho
otimo de A ate B. Podemos calcular de forma direta o caminho otimo
de qualquer ponto ate B e ainda sabemos a priori qual o custo otimo
(dado por V (, B)).
Por exemplo, o custo do caminho otimo de E a B e V (E, B) = 9 e o
caminho otimo e: E-I-M -O-B.
Este problema pode ser ainda analisado de outra forma. Considere a
nossa cidade projetada sobre um plano coordenado, onde os pontos A e B
correspondem as coordenadas (0, 0) e (6, 0), respectivamente, conforme
mostrado na Figura 11.2. Em cada ponto existem 2 direcoes possveis
a seguir: nordeste (u) e sudeste (d). Usamos a seguinte notacao para
representa-las:
u
(x, y) 7 (x + 1, y + 1) ; custo: cu (x, y),
d
(x, y) 7 (x + 1, y 1) ; custo: cd (x, y).
Definimos entao a funcao valor otimo
i i
i i
steuer
i i 2008/3/11
page 250
i i
i i
i i
steuer
i i 2008/3/11
page 251
i i
i i
i i
i i
steuer
2008/3/11
page 252
i i
Equacao de otimalidade:
Condicao de contorno:
V (N + 1, x) = r(x).
ano 0 1 2 3 4 5 6
c 10 13 20 40 70 100 100
v 32 21 11 5 0 0
r 25 17 8 0 0 0
i i
i i
steuer
i i 2008/3/11
page 253
i i
A partir da temos:
i i
i i
steuer
i i 2008/3/11
page 254
i i
outras cidades exatamente uma vez e retornar por fim a cidade 1 (tal
caminho e denominado tour).
O problema que se poe e encontrar o tour mais curto para o caixeiro
viajante. Defina para tanto Nj := {2, . . . , j 1, j + 1, . . . , N }, para
j = 2, . . . , N . Para cada j = 2, . . . , N , i = 1, . . . , N 2, e M Nj ,
subconjunto com exatamente i elementos, definimos
(11.1)
V (i, j, m) := Comprimento do caminho mais curto da cidade 1 a
cidade j atravessando exatamente as i cidades de M
V (0, j, ) = d1j , j = 2, . . . , N.
i i
i i
steuer
i i 2008/3/11
page 255
i i
i i
i i
steuer
i i 2008/3/11
page 256
i i
e a funcao objetivo
N
X 1
1
(11.5) J(z, u) := [hzN , SzN i + (hzk , Qzk i + huk , Ruk i) ],
2
k=0
onde zk Rn , k
= 0, . . . , N , uk Rm , k
= 0, . . . , N 1 e as matrizes
n,n n,n
SR ,QR ,RR m,m . Sao dadas ainda as condicoes iniciais
(11.6) z 0 = z 0 Rn .
i i
i i
steuer
i i 2008/3/11
page 257
i i
onde
N
X 1
1
Jk (z, u) := [hzN , SzN i + (hzj , Qzj i + huj , Ruj i) ],
2
j=k
i i
i i
steuer
i i 2008/3/11
page 258
i i
Ru + B S(Ax + Bu) = 0.
uN 1 := (B SB + R)1 B SAx.
i i
i i
steuer
i i 2008/3/11
page 259
i i
onde
N 1
1X
Jk (z, u) := (hzj , Qzj i + huj , Ruj i),
2
j=k
i i
i i
steuer
i i 2008/3/11
page 260
i i
Descricao do Modelo
Suponha que um determinado processo evolui em intervalos de tempo
discretos t = j {0, 1, . . . , N + 1} e que, a cada instante de tempo j, o
estado seja representado por zj Rn . O vetor de decisoes (ou controle)
e representado por vj j Rm , j 0, . . . , N , de modo que a evolucao
da variavel de estado e descrita por:
zj+1 = Tj (zj , vj ), j 0, . . . , N,
k = j, . . . , N }.
Equacao de otimalidade:
Condicoes de contorno:
V (N + 1, z) = 0, z Zad .
i i
i i
steuer
i i 2008/3/11
page 261
i i
a qual e satisfeita por V (z) := lim V (j, z), caso o limite exista para
j
todo z.
Exemplo 195 (Investimento de Capital). Suponha que no incio do
ano dispomos de um capital de z US-dolares, o qual pode ser aplicado
em duas atividades produtivas que geram no final do ano os lucros g1 (z)
e g2 (z), respectivamente. A variavel de decisao v corresponde a fracao
de z investida na primeira atividade. Logo, o lucro no final do ano e
dado pela expressao
z := vz + z(1 v),
e a equacao de otimalidade:
i i
i i
steuer
i i 2008/3/11
page 262
i i
Um Teorema de Existencia
Dados os conjuntos Zad Rn e Uad Rm respectivamente dos
estados e decisoes admissveis, considere a equacao funcional
(11.9) f (z) = min { (z, u)f (T (z, u)) + (z, u)}, z Zad ,
uUad
(11.13)
X
h(n ) < , onde h(r) := max max |(z, u)|, 0 r .
zZad , |z|r uUad
n=0
i i
i i
steuer
i i 2008/3/11
page 263
i i
(11.14) fn+1 (z) := min { (z, u)fn (T (z, u)) + (z, u)}, z Zad .
uUad
(11.15) max |fn+1 (z) fn (z)| max |fn (z) fn1 (z)|.
zZad ,|z|r zZad ,|z|r
|f2 (z) f1 (z)| max |(z, u)| |f1 (T (z, u)) f0 (T (z, u))|
uUad
i i
i i
steuer
i i 2008/3/11
page 264
i i
i i
i i
steuer
i i 2008/3/11
page 265
i i
EXERCICIOS 265
Exerccios
11.1. Dados c > 0 e n N, considere o problema de minimizacao
n
Minimizar Q xi
i=1
sujeito a x1 + . . . + xn = c.
i i
i i
steuer
i i 2008/3/11
page 266
i i
266 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 267
i i
EXERCICIOS 267
K2
@
2 6 @3
@
R
@
K1 -4 6 K4
@
@
5
@ 1
R
@ ?
K3
onde x {0, . . . , X} e k 1, . . . , N .
b) Mostre que a funcao valor satisfaz a equacao de otimalidade
e as condicoes de contorno
V (N, x) = rN (x).
i i
i i
steuer
i i 2008/3/11
page 268
i i
Captulo 12
Programacao Dinamica
Contnua
i i
i i
steuer
i i 2008/3/11
page 269
i i
i i
i i
steuer
i i 2008/3/11
page 270
i i
H5) e fechado.
i i
i i
steuer
i i 2008/3/11
page 271
i i
i i
i i
steuer
i i 2008/3/11
page 272
i i
i i
i i
steuer
i i 2008/3/11
page 273
i i
Temos entao
e, analogamente,
|J(s1 , z1 ; u1 , z u1 ) J(s2 , z2 ; u2 , z u2 )|
Z s2
L(r, z u1 (r), u1 (r))dr
s1
Z T
+ L(r, z u1 (r), u1 (r)) L(r, z u2 (r), u2 (r)) dr
s2
Z s2
= L(r, z u1 (r), u1 (r))dr
s1
Z T
+ L(r, z u1 (r), u2 (r)) L(r, z u2 (r), u2 (r)) dr
s2
Z s2 Z T
K2 (1 + |z u1 (r)|)dr + K1 |z u1 (r) z u2 (r)|dr
s1 s2
K(1 + R)|s1 s2 | + K(1 + R)|z1 z2 |,
i i
i i
steuer
i i 2008/3/11
page 274
i i
i i
i i
steuer
i i 2008/3/11
page 275
i i
= J(t0 , z0 ; u, z) = V (t0 , z0 ).
i i
i i
steuer
i i 2008/3/11
page 276
i i
i i
i i
steuer
i i 2008/3/11
page 277
i i
para todo u ;
b) Seja u Uad [t0 , T ] um controle otimo para P (t0 , z0 ). Se V e di-
ferenciavel ao longo da trajetoria otima (t, z(t)), para todo t (t 0 , T ),
entao
(12.8)
V V
(t, z(t)) + min (t, z(t)), f (t, z(t), u) + L(t, z(t), u) = 0,
t u z
para todo t (t0 , T ), sendo o mnimo obtido em u = u(t) para cada t.
Demonstracao: Seja u e z uma solucao local3 de
Z s
z(s) = z + f (r, z(r), u) dr.
t
Logo, existe > 0 tal que a trajetoria (s, z(s)) esta bem definida no
intervalo [t, t + ]. Seja agora u um controle admissvel qualquer para
P (t + , z(t + )) e defina
u , r [t, t + )
u
e(r) := .
u (r), r [t + , T ]
O controle assim construdo satisfaz u e Uad [t, T ] e sua trajetoria corres-
pondente e tal que z ue (s) = z(s), s [t, t + ). Do item a) do Lema 202,
temos que para todo 0 < h
Z t+h
V (t, z(t)) V (t + h, z(t + h)) + L(r, z(r), u
e(r)) dr.
t
Logo,
Z t+h
1 1
[V (t + h, z(t + h)) V (t, z(t))] L(r, z(r), u) dr.
h h t
i i
i i
steuer
i i 2008/3/11
page 278
i i
i i
i i
steuer
i i 2008/3/11
page 279
i i
i i
i i
steuer
i i 2008/3/11
page 280
i i
i i
i i
steuer
i i 2008/3/11
page 281
i i
(aqui e um parametro de U ).
Obtenha a solucao V = V (t, z) da equacao diferencial parcial (em
geral nao linear):
V V V V
(12.14) + , f (t, z, U (t, z; )) + L(t, z, U (t, z, )) = 0,
t z z z
com a condicao de contorno V (T, z) = 0, z Rn .
Substitua := V (t, z) na expressao de U . Assim, o controle otimo
z
para P (t0 , z0 ) e obtido na forma de controle de realimentacao:
V
u() := U (, z(), (, z())),
z
Rt
onde z(t) = z0 + t0 f (r, z(r), u(r))dr.
Em muitos problemas de importancia pratica, o esquema acima nao
pode ser levado a cabo. Na Seccao 12.4 investigamos uma famlia espe-
cial de problemas (linear-quadraticos), para os quais o esquema acima
fornece efetivamente o controle otimo para qualquer condicao inicial.
2
Observacao 208. O Teorema 206 nos leva a concluir que a programacao
dinamica para problemas de controle contnuos se baseia na seguinte
estrutura:
Funcao valor otimo:
V (t, z) := inf {J(t, z; u, z u ) | u e admissvel para P (t, z)};
Equacao de otimalidade:
V V
(t, z) + H(t, z, (t, z)) = 0, (t, z) (0, T ) Rn ;
t z
Condicao de contorno:
V (T, z) = 0, z Rn .
Neste ponto, um paralelo com a programacao dinamica para problemas
discretos e facilmente tracado (veja Observacao 191). 2
i i
i i
steuer
i i 2008/3/11
page 282
i i
i i
i i
steuer
i i 2008/3/11
page 283
i i
H(t, z, u, ) = u + z 2 e H(t, z, ) = || + z 2 .
4
Como H(t, z, u, ) = h, f (t, z, u)i + L(t, z, u) = u + z 2 + (u 1)2 , temos
i i
i i
steuer
i i 2008/3/11
page 284
i i
i i
i i
steuer
i i 2008/3/11
page 285
i i
i i
i i
steuer
i i 2008/3/11
page 286
i i
i i
i i
steuer
i i 2008/3/11
page 287
i i
i i
i i
steuer
i i 2008/3/11
page 288
i i
0 = hz, Y (t)zi,
6
Observe que
H
(t, z, u, ) = B (t) + R (t) z + N (t) u.
u
7
No problema linear-quadratico, a dependencia de U em relacao ao multiplicador
de Lagrange pode ser retirada, pois por hipotese (t) = Vz (t, z) = Q(t)z(t). Temos
assim
V
U (t, z, ) = U (t, z) = N (t)1 (B (t)Q(t) + R (t)) z.
z
i i
i i
steuer
i i 2008/3/11
page 289
i i
onde
Y (t) = Q0 (t) + Q(t)A(t) + A (t)Q(t) + M (t)
(Q(t)B(t) + R(t)) N (t)1 (B (t)Q(t) + R(t)).
A tarefa que se impoe, portanto, e a de encontrar uma funcao matricial
Q tal que Y (t) 0. O teorema apresentado a seguir e o desdobramento
natural dos resultados ate aqui obtidos.
Teorema 215. Suponha que as hipoteses A1), . . . , A5) sao satisfeitas.
Entao o problema linear-quadratico P (t0 , z0 ) possui como unica solucao
o par (z, u), onde o controle otimo u e da forma
(12.15) u(s) = U (s, z) := N (s)1 (B (s)Q(s)+R(s))z, s [t0 , T ].
A funcao matricial Q e solucao de
dQ
= QA(t) A (t)Q M (t)
(12.16) dt
+ (QB(t) + R(t)) N (t)1 (B (t)Q + R(t))
no intervalo (0, T ) e satisfaz a condicao de contorno final
(12.17) Q(T ) = D.
Demonstracao: A solucao Q de (12.16), (12.17) esta unicamente definida
em um intervalo maximo de existencia (t0 , T ], com t0 < T . Sabemos
ainda que Q e simetrica, pois todas as matrizes-coeficiente da equacao
diferencial de Riccati o sao (veja Exerccio 12.3).
Defina a funcao W : (t0 , T ] Rn R por W (t, x) := hx, Q(t)xi e con-
sidere o seguinte problema de controle:
RT
Minimizar hz(T ), Dz(T )i + s L(r, z(r), u(r)) dr
P (s, x) sujeito a
0
z = A(r)z + B(r)u, z(s) = x,
onde
M (r) R(r) y
L(r, y, w) := (y w), , (r, y) (t0 , T )Rn .
R(r) N (r) w
Da escolha de Q como solucao de (12.16), conclumos que, para todo
(s, x) (t0 , T ) Rn , vale
W nD W E o
(s, x) + minm (s, x), A(s)x + B(s)w + L(s, x, w) = 0,
t wR x
i i
i i
steuer
i i 2008/3/11
page 290
i i
u := u + (u u).
i i
i i
steuer
i i 2008/3/11
page 291
i i
i i
i i
steuer
i i 2008/3/11
page 292
i i
i i
i i
steuer
i i 2008/3/11
page 293
i i
Q0 + 2Q Q2 = 1, Q(T ) = 0.
i i
i i
steuer
i i 2008/3/11
page 294
i i
294 EXERCICIOS
3. Aprimore a aproximac~
ao inicial (e.g., atraves do
metodo de
Newton) com o objetivo de satisfazer a equac~ao
(t1 ) = Dz(t1 );
4. Retorne ao passo 2;
Exerccios
12.1. Verifique que a constante K em (12.1), (12.2) e da forma c1 ec2 T ,
com ci > 0 dependendo apenas de K1 e/ou de K2 as constantes em
H1) e H3).
12.2. Mostre que a funcao c(s) usada para estimar as trajetorias do
problema linear-quadratico na demonstracao do Teorema 215 e da forma
Z T
c(s) = kDk kA (T, s)k2 + kM (r)k kA (t, r)k2 dr.
s
i i
i i
steuer
i i 2008/3/11
page 295
i i
EXERCICIOS 295
i i
i i
steuer
i i 2008/3/11
page 296
i i
296 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 297
i i
EXERCICIOS 297
dQ
= QA A Q M + QB N 1 B Q, t (, 0],
dt
Q(0) = 0.
QA A Q M + QB N 1 B Q = 0.
f ) Mostre que hz0 , Qz0 i J(z u , u), para todo processo admissvel (z u , u)
com z u (0) = z0 .
g) Verifique que a funcao valor para o problema de horizonte infinito e
V (z) = hz, Qzi.
h) Mostre que o controle otimo para o problema com horizonte infinito
e dado pela lei de realimentacao u(t) = M (t)1 B Qz(t), t 0, e ainda
que J(z, u) < .
i) Prove que lim hz(t), Qz(t)i = 0, para todo z0 Rn .
t
j) Mostre que o controle u do item h) e o unico controle otimo para o
problema.
11
Para detalhes sobre a solubilidade da equacao algebrica de Riccati consulte [Bar],
captulo 5.
i i
i i
steuer
i i 2008/3/11
page 298
i i
298 EXERCICIOS
i i
i i
steuer
i i 2008/3/11
page 299
i i
Captulo 13
i i
i i
steuer
i i 2008/3/11
page 300
i i
i i
i i
steuer
i i 2008/3/11
page 301
i i
i i
i i
steuer
i i 2008/3/11
page 302
i i
Defina
(r) := max |v(x)|, r 0.
|x|r
(0) = 0, (0) = 0.
Para x 6= 0, temos
Logo,
u(x) (x) < 0 = u(0) (0), x 6= 0,
completando a demonstracao.
Teorema 223. Seja v uma solucao viscosa de (13.1), tal que v e dife-
renciavel no ponto (t0 , x0 ) (0, 1) Rn . Entao temos
i i
i i
steuer
i i 2008/3/11
page 303
i i
i i
i i
steuer
i i 2008/3/11
page 304
i i
p
onde (s, y) := |s t|2 + |y x|2 . Defina
i i
i i
steuer
i i 2008/3/11
page 305
i i
(Note que a construcao acima pode ser antecipada a partir do Lema 222.)
Como v e uma solucao viscosa, o item b.1) segue agora da definicao de
. A desigualdade no item b.2) e obtida de forma analoga.
(b) = (a) Seja (t, x) (0, 1) Rn e C 1 ((0, 1) Rn ; R) uma funcao
teste, tal que v posui um maximo local em (t, x). Sem perda de
generalidade temos
i i
i i
steuer
i i 2008/3/11
page 306
i i
i i
i i
steuer
i i 2008/3/11
page 307
i i
t v (t , x ) = t (t , x ), x v (t , x ) = x (t , x ),
v (t , x ) (t , x ),
de onde obtemos
t v (t , x ) + H(t , x , x (t , x )) = v (t , x ) (t , x ).
i i
i i
steuer
i i 2008/3/11
page 308
i i
Definimos agora
i i
i i
steuer
i i 2008/3/11
page 309
i i
i i
i i
steuer
i i 2008/3/11
page 310
i i
i i
i i
steuer
i i 2008/3/11
page 311
i i
i i
i i
steuer
i i 2008/3/11
page 312
i i
i i
i i
steuer
i i 2008/3/11
page 313
i i
Dado t [s, 1], definimos agora a aplicacao Ts,t que associa a cada funcao
: Rn R a funcao (Ts,t ) : Rn R, definida por
nZ t o
(Ts,t )(y) := inf L(r, z u,y (r), u(r))dr + (z u,y (t)) .
uUad [s,t] s
i i
i i
steuer
i i 2008/3/11
page 314
i i
0 = h1 (V (t0 , x0 ) (t0 , x0 ))
n Z t0 +h
1
=h inf L(r, z u,x0 (r), u(r))dr
uUad [t0 ,t0 +h] t0
o
+ V (t0 + h, z u,x0 (t0 + h)) (t0 , x0 )
nZ t0 +h
1
h inf L(r, z u,x0 (r), u(r))dr
uUad [t0 ,t0 +h] t0
o
+ (t0 + h, z u,x0 (t0 + h)) (t0 , x0 )
Z t0 +h
1
h L(r, z u1 ,x0 (r), u1 (r))dr
t0
+ h1 (t0 + h, z u1 ,x0 (t0 + h)) (t0 , x0 )
De onde obtemos
Portanto,
t (t0 , x0 ) + H(t0 , x0 , x (t0 , x0 )) 0.
Como e arbitrario, o item b) da Definicao 220 fica provado.
Seja agora C 1 ((0, 1) Rn ) uma funcao teste tal que V possui
um mnimo local em (t0 , x0 ) (0, 1) Rn . Novamente podemos supor
sem perda de generalidade que V (t0 , x0 ) = (t0 , x0 ). Logo, existe uma
vizinhanca [t0 , t0 + ] A de (t0 , x0 ) tal que
Escolha agora para cada n N um controle un Uad [t0 , 1], tal que
Z t0 + 1
1 1 n
Tt0 ,t0 + 1 (t0 + , ) (x0 ) 2 + L(r, z n (r), un (r))dr
n n n t0
1 1
+ t0 + , z n (t0 + ) ,
n n
onde z n := z un ,x0 e o estado (definido em [t0 , 1]) correspondente ao
controle un . Podemos supor, sem perda de generalidade, que z n (t0 + n1 )
A para todo n N. Temos entao
i i
i i
steuer
i i 2008/3/11
page 315
i i
h 1 i
0 = n Tt0 ,t0 + 1 V (t0 + , ) (x0 ) (t0 , x0 )
n n
h 1 i
n Tt0 ,t0 + 1 (t0 + , ) (x0 ) (t0 , x0 )
n n
Z t0 + 1
1 n
+n L(r, z n (r), un (r))dr
n t0
1 1
+ n (t0 + , z n (t0 + )) (t0 , x0 )
n n
Z t0 + 1
1 n
= +n L(r, z n (r), un (r))dr
n t0
Z t0 + 1 h
n i
+ n t (r, z n (r)) + f (r, z n (r), un (r)), x (r, z n (r)) dr
t0
Z 1
t0 + n
= t (t0 , x0 ) + n L(t0 , x0 , un (r))dr
t0
Z 1
t0 + n
+n f (t0 , x0 , un (r)), x (t0 , x0 )) dr + Rn ,
t0
onde
Z 1
t0 + n
Rn = n [t (r, z n (r)) t (t0 , x0 )]dr
t0
Z 1
t0 + n h i 1
+ L(r, z n (r), un (r)) L(t0 , x0 , un (r) dr
t0 n
1
t0 + n
Z h
+n f (r, z n (r), un (r)), x (r, z n (r))
t0
i
f (t0 , x0 , un (r)), x (t0 , x0 ) dr.
Portanto,
h 1
n Tt0 ,t0 + 1 (t0 + , ) (x0 ) (t0 , x0 ))
n
n
t (t0 , x0 ) + fn , x (t0 , x0 ) + ln + Rn ,
i i
i i
steuer
i i 2008/3/11
page 316
i i
onde
Z 1
t0 + n Z 1
t0 + n
n
fn := n f (t0 , x0 , u (r))dr, ln := n L(t0 , x0 , un (r))dr.
t0 t0
B := {(f, l) Rn R | (f, l)
= (f (t0 , x0 , ), L(t0 , x0 , )) para algum }.
que e justificada pelo fato de estarmos lidando com uma funcao linear
em (f, l).
Exemplo 233. Considere o problema
i i
i i
steuer
i i 2008/3/11
page 317
i i
i i
i i
steuer
i i 2008/3/11
page 318
i i
entao temos
Z 1
L
(t) = (1, t) g(z(1)) + (r, t) (r, z(r), u(r))dr, t [s, 1].
t x
Demonstracao: Tais resultados sao padrao na teoria de equacoes dife-
renciais ordinarias lineares, e podem ser obtidos diretamente dos resul-
tados apresentados no Apendice A.
onde
f
(r, x) := f (r, z(r), u(r))f (r, z(r), u(r)) (r, z(r), u(r))(z(r)z(r)).
x
Da hipotese A2), segue que
lim (r, x)|z(r) z(r)|1 = 0, r [t, 1], sup |(r, x)| < .
xz(t) r[t,1],xRn
i i
i i
steuer
i i 2008/3/11
page 319
i i
obtendo assim
onde
0 := g(z(1)) g(z(1)) g(z(1)), z(1) z(1) ,
1 (r, x) := L(r, z(r), u(r)) L(r, z(r), u(r))
D L E
(r, z(r), u(r)), z(r) z(r) .
x
Podemos entao concluir que
V (t, x) V (t, z(t)) g(z(1)), (1, t)(x z(t))
Z 1
+ (1, r)(r, x)dr + 0
t
Z 1
+ 1 (r, x)dr
t
Z 1D E
L
+ (r, z(r), u(r)), (r, t)(x z(t)) dr
t x
Z 1Z r
+ (r, r0 )(r0 , x)dr 0 dr
t t
= h(t), x z(t)i + 2 (t, x),
onde lim 2 (r, x)|x z(t)|1 = 0. Portanto, (t) x+ V (t, z(t)). Por
xz(t)
outro lado, se p x V (t, z(t)), entao
0 lim inf V (t, x) V (t, z(t)) hp, x z(t)i |x z(t)|1
xz(t)
i i
i i
steuer
i i 2008/3/11
page 320
i i
Lema 236. Seja (u, z) um processo otimo para P (s, y). Entao,
a menos de um conjunto de medida nula de (s, 1), temos que, se (q, p)
+ V (t, z(t)) V (t, z(t)),3 entao
i i
i i
steuer
i i 2008/3/11
page 321
i i
H(t, z(t), u(t), (t)) = inf H(t, z(t), , (t)) = H(t, z(t), (t)).
Para (s, y) = (0, 0), temos x V (0, 0) = , x+ V (0, 0) = [e, 1], (0) =
1. 2
Teorema 238. Seja (u, z) um processo otimo para P (s, y). Entao, a
menos de um conjunto de medida nula de (s, 1), temos que
V (t, z(t)) H(t, z(t), u(t), (t)), (t) + V (t, z(t)).
i i
i i
steuer
i i 2008/3/11
page 322
i i
onde
lim (; , x) = 0,
t
xz(t)
Teorema 239. Seja (u, z) um processo otimo para P (s, y). Entao sao
validas as condicoes M P (s, y) do princpio do maximo.
Demonstracao: Como H(t, z(t), u(t), (t)), (t) + V (t, z(t)) q.s.
em (s, 1), temos que
i i
i i
steuer
i i 2008/3/11
page 323
i i
B2) |f (t, x)| + |g(t, x)| + |u0 (x)| + |v0 (x)| K(1 + |x|), para (t, x)
[0, T ] Rn .
i i
i i
steuer
i i 2008/3/11
page 324
i i
6. Existe c > 0 com |u(t, x) v(s, y)| c(1 + |x y|), para todo
x, y Rn , t, s [0, T ].
Suponha por contradicao que (13.10) nao e valida. Logo, existe 0 > 0
com
n Z t o
sup sup (u(t, x) v(t, x)) sup (f (s, x) g(s, x))ds
t[0,T ] xRn 0 xRn
1 1
(t, x, s, y) := u(t, x) v(s, y) |x y|2 |t s|2
2 2
Z
1 t
sup (f (, x) g(, x))d
2 0 x0 Rn
Z
1 s
sup (f (, x) g(, x))d.
2 0 x0 Rn
lim (t, x, s, y) = .
|x|+|y|
De onde segue
1 1
|x0 y0 |2 + |t0 s0 |2 < u(t0 , x0 ) u(s0 , y0 )
+v(t0 , x0 ) v(s0 , y0 ) + 20
c(1 + |x0 y0 |) + 20 ,
i i
i i
steuer
i i 2008/3/11
page 325
i i
e ainda
sup{(t, x, t, x) | t [0, T ], x Rn }
sup{(t, x, s, y) | t, s [0, T ], x, y Rn }
< (tn , xn , sn , yn ) + 0
u(tn , xn ) v(sn , yn )
Z
1 tn
sup (f (, x) g(, x))d
2 0 xRn
Z
1 sn
sup (f (, x) g(, x))d + 0 .
2 0 xRn
Tomando o limite n e observando a continuidade uniforme de u e
v, obteramos a contradicao
i i
i i
steuer
i i 2008/3/11
page 326
i i
(x0 , y0 ) = 1, 0 1, || 1.
Para (0, 0
2T ) fixo, defina
|x1 y1 | c , |t1 s1 | c .
Defina agora
Temos entao
1 1
(t1 s1 ) + sup (f (t1 , x0 ) g(t1 , x0 )) +
2 x0 Rn
1
+ H(t1 , x1 , (x1 y1 ) x (x1 , y1 )) f (t1 , x1 ),
1 1
(t1 s1 ) sup (f (s1 , x0 ) g(s1 , x0 )) +
2 x0 Rn
1
+ H(s1 , y1 , (x1 y1 ) + y (x1 , y1 )) g(s1 , y1 ).
i i
i i
steuer
i i 2008/3/11
page 327
i i
1
f (t1 , x1 ) g(s1 , y1 ) + sup f (t1 , x0 ) g(t1 , x0 )
2 x0 Rn
+ sup f (s1 , x0 ) g(s1 , x0 )
x0 Rn
1
+H t1 , x1 , (x1 y1 ) x (x1 , y1 )
1
H s1 , y1 , (x1 y1 ) + y (x1 , y1 ) .
Da segue que
onde
e R = R = c + 0 , pois
1 1 c
|x1 y1 | + |x (x1 , y1 )| |x1 y1 | + + 0 .
Temos assim que
onde
1
f,g (r) := sup{|f (t, x)f (s, y)|+|g(t, x)g(s, y)| | |ts|+|xy| r}.
2
Tomando o limite 0, 0, obtemos
i i
i i
steuer
i i 2008/3/11
page 328
i i
328 EXERCICIOS
Exerccios
13.1. Seja H : (0, 1) Rn Rn R contnua e sejam vk , k N,
solucoes viscosas de
v(x) := dist(x, U ), x U.
i i
i i
steuer
i i 2008/3/11
page 329
i i
Apendice A
Equacoes Diferenciais
Ordinarias
z 0 (t) = az,
i i
i i
steuer
i i 2008/3/11
page 330
i i
i i
i i
steuer
i i 2008/3/11
page 331
i i
Note que, para toda matriz A Cn,n , a serie na Definicao 242 con-
verge. De fato, da desigualdade
X
A 1
ke k kAkk ekAk ,
k!
i=0
a) e0 = I;
b) eA+B = eA eB , quando AB = BA;
c) eA = (eA )1 ;
1
d) eM AM = M eA M 1 ;
e) A eA = eA A.
i i
i i
steuer
i i 2008/3/11
page 332
i i
Portanto, a aplicacao
R 3 t 7 etA Rn,n
(A.4) z 0 = A z , z(0) = z0
R 3 t 7 etA z0 Rn .
i i
i i
steuer
i i 2008/3/11
page 333
i i
A (t, t0 ) := e(tt0 )A , t R
t 7 A (t, t0 ) z0
z 0 = Az , z(t0 ) = z0 .
A = M JM 1 ,
J = diag(J1 , . . . , Jp ),
Ji = i I + Ni , 1 i p,
i i
i i
steuer
i i 2008/3/11
page 334
i i
e
0 1 0
.. ..
. .
Ni =
..
, 1 i p.
. 1
0 0
Demonstracao: Pode ser encontrada em [Gan].
Esse resultado e tambem conhecido na literatura como teorema da
decomposicao espectral, uma vez que as colunas da matriz M correspon-
dem aos autovetores da matriz A. O Lema 246 permite-nos reescrever
a exponencial etA na forma
1
etA = etM JM = M etJ M 1 = M diag(etJ1 , . . . , etJp ) M 1 .
i i
i i
steuer
i i 2008/3/11
page 335
i i
Obtemos assim
1 i 0 tJ eit 0
J = M AM = , e = it .
0 i 0 e
Usando as identidades: cos(t) = (eit + eit )/2, sin(t) = (eit eit )/2i,
segue que
tA tJ 1 cos t sin t
e = Me M = .
sin t cos t
Note que as colunas de etA nos fornecem duas solucoes linearmente in-
dependentes da equacao z 0 = Az. 2
Teorema 248. Seja A Rn,n e R definido por
ketA k c e(+)t , t 0.
i i
i i
steuer
i i 2008/3/11
page 336
i i
(A.8) z 0 = A(t) z.
i i
i i
steuer
i i 2008/3/11
page 337
i i
Logo,
kF z F xkr 1/2 kz xkr ,
provando que a aplicacao F e Lipschitz contnua em (X, k kr ). Mais
que isso, provamos que F e uma contracao (i.e. kF k < 1) no espaco
normado completo X.4 O teorema do ponto fixo de Banach5 garante
que F possui um ponto fixo z C([t0 .t1 ]; Rn ).
Da definicao de F e da identidade z = F z, podemos ainda concluir que
a funcao z esta em C 1 ([t0 , t1 ]; Rn ). Portanto, e uma solucao de (A.9).
4
Como (X; k k ) e completo e as normas k k e k kr sao equivalentes, entao
(X; k kr ) tambem e completo.
5
Uma demonstracao pode ser encontrada em [Kre], Captulo 4.
i i
i i
steuer
i i 2008/3/11
page 338
i i
i i
i i
steuer
i i 2008/3/11
page 339
i i
(A.12) z 0 = A(t) z
n+1
X n+1
X
|k | 6= 0 e k z i (0) = 0.
k=1 k=1
Pn+1
Entao a funcao z(t) := k=1 k zk (t) satisfaz
z(0) = 0 e z 0 = A z.
i i
i i
steuer
i i 2008/3/11
page 340
i i
(A.13) z 0 = A(t) z.
A matriz correspondente
i i
i i
steuer
i i 2008/3/11
page 341
i i
(A.15) A (t, t) = I;
(A.16) A (t, s) = A (t, r) A (r, s) (propriedade de semigrupo);
(A.17) A (t, s)1 = A (s, t);
A
(A.18) (t, s) = A(t) A (t, s), t [t0 , t1 ];
t
Demonstracao: E deixada como exerccio para o leitor.
Consideremos agora o seguinte problema de valor inicial nao ho-
mogeneo
i i
i i
steuer
i i 2008/3/11
page 342
i i
i i
i i
steuer
i i 2008/3/11
page 343
i i
i i
i i
steuer
i i 2008/3/11
page 344
i i
Isto e, reescrevemos z (k) como soma parcial de uma serie que e limi-
tada pela serie exponencial. Portanto, a sequencia {z (k) } converge uni-
formemente em [t0 , t0 + ] e seu limite z := limk z (k) e uma funcao
C 1 ([t0 , t0 + ]; Rn ). A convergencia uniforme de z (k) e a continuidade
de f implicam em
unif
f (t, z (k) (t)) f (t, z(t)).
De fato, esta afirmacao segue da desigualdade |f (t, z (k) (t))f (t, z(t))|
L|z (k) (t) z(t)|. Portanto, temos que
Z t
(T z)(t) = z0 + lim f (t, z (k) (t)) dt
t0 k
(k)
= lim(T z )(t) = lim(z (k+1) (t)) = z(t),
k k
provando o teorema.
Note que o metodo das aproximacoes sucessivas na demonstracao
acima substitui o teorema de ponto fixo de Banach usado na demons-
tracao do Teorema 250. Com esse metodo construmos uma sequencia
de Cauchy especial no espaco de Banach (C 1 (t0 , t0 + ); k k1; ) e
utilizamos argumentos classicos da analise real para demonstrar que o
limite dessa sequencia e uma solucao do problema de valor inicial.
No teorema a seguir verificamos que a solucao encontrada no Teo-
rema 260 e a unica solucao do problema de valor inicial.
i i
i i
steuer
i i 2008/3/11
page 345
i i
i i
i i
steuer
i i 2008/3/11
page 346
i i
i i
i i
steuer
i i 2008/3/11
page 347
i i
w(t) et , t [0, T ].
Defina S := {t [0, T ] | w(s) < v(s) para s [0, t]}. Por construcao,
temos 0 S. Defina agora t0 := inf{t; t [0, T ]\S}. Suponha que
t0 < T . Como w e v sao contnuas, segue da definicao de S e t0 que
w(t0 ) = v(t0 ). Porem, da desigualdade
Z t0 Z t0
w(t0 ) + w(s) ds < + + v(s) ds = v(t0 )
0 0
w(t) ( + ) et , t [0, T ].
i i
i i
steuer
i i 2008/3/11
page 348
i i
i i
i i
steuer
i i 2008/3/11
page 349
i i
|y(0) z(0)| a.
i i
i i
steuer
i i 2008/3/11
page 350
i i
Logo,
Z t1
w(t1 ) z(t1 ) = w(t1 ) A (t1 , t0 ) z(t0 ) + w(t1 ) A (t1 , s)f (s) ds
t0
Z t1
= w(t0 ) z(t0 ) + w(t1 ) A (t1 , s)f (s) ds
t0
Z t1
(A.25) = w(t0 ) z(t0 ) + w(s) f (s) ds.
t0
w0 = A w, w(t1 ) = er+i ,
i i
i i
steuer
i i 2008/3/11
page 351
i i
i i
i i
steuer
i i 2008/3/11
page 352
i i
i i
i i
steuer
i i 2008/3/11
page 353
i i
EXERCICIOS 353
(0) (0)
1. k := 0; Escolha zr+1 (t0 ), . . . , zn (t0 ) R;
2. Resolva o PVI
(
z 0 = f (z), t [t0 , t1 ]
(k) (k)
z(t0 ) = (c1 , . . . , cr , zr+1 (t0 ), . . . , zn (t0 ))
Exerccios
A.1. Escreva a EDO z 00 3z 0 + 2z = 0 na forma de sistema e calcule a
matriz de transicao.
A.2. Dado > 0, resolva o PVI z 00 3z 0 +2z = f (t), z(0) = 1, z 0 (0) = 0,
onde
0, t < 2
f (t) = 1/, t [2, 2 + ) .
0, t 2 +
A.3. Dada A Cn,n , defina formalmente a matriz
X 1
sin A := (1)k A2k1 .
(2k 1)!
k=1
7
Note que o sistema adjunto ao sistema (A.28) e w (k) = J(z (k) ) w(k) .
i i
i i
steuer
i i 2008/3/11
page 354
i i
354 EXERCICIOS
x00 + x + b(t) = 0,
i i
i i
steuer
i i 2008/3/11
page 355
i i
EXERCICIOS 355
i i
i i
steuer
i i 2008/3/11
page 356
i i
Apendice B
Demonstracao do Princpio
do Maximo
i i
i i
steuer
i i 2008/3/11
page 357
i i
(ii) i 0, i gi (x) = 0, 1 i m;
(iii) 0, || + || + || 6= 0.
i i
i i
steuer
i i 2008/3/11
page 358
i i
kF (x + h) F (x) T hk
lim = 0.
h0 khk
2
Podemos enfim formular o problema abstrato de otimizacao men-
cionado no incio da seccao.
Minimizar J(x)
(P )
sujeito a x C, F (x) K
i i
i i
steuer
i i 2008/3/11
page 359
i i
x x
C C
(C x) (C x)
C(x) T (C, x)
i i
i i
steuer
i i 2008/3/11
page 360
i i
dJ(x) h 0.
i i
i i
steuer
i i 2008/3/11
page 361
i i
(Na ultima igualdade usamos a inclusao m(K y)1 n(K y)1 , para
m n, a qual se deve a 0 (K y)1 e a convexidade de (K y)1 .)
(4) Do teorema de Baire segue que existe pelo menos um m N com
int(cl(Am )) 6= .
(Teorema de Baire: Se um espaco metrico completo e escrito como uniao
enumeravel de subconjuntos, entao pelo menos um destes contem um
aberto; veja [Kre], [Ru1].)
i i
i i
steuer
i i 2008/3/11
page 362
i i
i=1: y = T (21 x1 ) 21 y1 + r1
com x1 (C x)1 , y1 (K y)1 , kr1 k 21 r;
(B.1) y = T un vn + rn , n N.
i i
i i
steuer
i i 2008/3/11
page 363
i i
completando a demonstracao.
y B dF (x)(C x) (K F (x)).
Portanto, temos
completando a demonstracao.
i i
i i
steuer
i i 2008/3/11
page 364
i i
x + th + r(t) C, F (x + th + r(t)) K
i i
i i
steuer
i i 2008/3/11
page 365
i i
rk := rk1 + xk1 ,
zk := zk1 + yk1 ,
dk := zk F (x + th + rk ) + F (x) + t dF (x)h,
se dk = 0, uk = vk = 0,
u k , vk : se dk 6= 0, uk (C x)1 , vk (K F (x))1 com
dF (x)uk vk = skdk k1 dk ,
xk := s1 kdk kuk ,
yk := s1 kdk kvk .
kdk k 2k kd0 k 2k s.
Para k = 0, temos r0 = z0 = 0 e kx + th + r0 xk tkhk 2. Logo,
de (1) segue
s
kd0 k = kF (x + th) F (x) dF (x)thk tkhk s.
2
Note ainda que u0 e v0 estao bem definidos por (B.3).
Para k 1, temos:
k1
X k1
X k1
X kdi k
rk = xi = s1 kdi kui = 2s1 kd0 k ui ,
2kd0 k
i=0 i=0 i=0
i i
i i
steuer
i i 2008/3/11
page 366
i i
i i
i i
steuer
i i 2008/3/11
page 367
i i
M ? := { X | h, mi 0 m M }
(M x)? = M (x)? ,
para todo x M X. 2
(B.4) dJ(x ) dF (x ) = .
i i
i i
steuer
i i 2008/3/11
page 368
i i
Br dF (x )(C x )1 + (K F (x ))1 .
h, zi h, (0, 0)i, z A.
0 h, (y, b)i = h, yi + b.
h, yi 0, y K(F (x )),
i i
i i
steuer
i i 2008/3/11
page 369
i i
(B.5) dJ(x ) dF (x ) = ,
onde || + kk + kk 6= 0.
Demonstracao: Se x for ponto regular para (P ), basta aplicar o Teo-
rema 283 e obtemos (B.5) com = 1.
Suponha agora que x e ponto fracamente regular para (P ), mas nao e
regular. Definindo o conjunto A := dF (x )(C x) (K F (x )), temos
que int(A) 6= , A e convexo, 0 / int(A). Portanto, o mesmo teorema
de separacao usado na demonstracao do Teorema 283 (veja [We]) nos
garante a existencia de Y , 6= 0 satisfazendo
h, ai 0 a A.
Da definicao de A segue
h, dF (x )x yi 0, x (C x ), y (K F (x )).
i i
i i
steuer
i i 2008/3/11
page 370
i i
V+ := {w L (0, 1) | w( ) 0 q.s.}.
Fixada a funcao w L m
loc ([0, ); R ) com w(t) q.s., corresponde
para cada controle u L ([0, T ]; R ) o controle w L ([0, 1]; Rm ) da
m
forma
u(t( )) , se {s [0, 1] | v(s) > 0}
(B.8) w( ) := .
w(t( )) , se {s [0, 1] | v(s) = 0}
i i
i i
steuer
i i 2008/3/11
page 371
i i
Minimizar I(t, x, v) := L1 (t(1), x(1))
Z 1
+ v( ) L(t( ), x( ), w ( )) d
0
sujeito a
P A(w ) xC([0, 1]; Rn ), tC([0, 1]; R), vV+ , (t(1), x(1)) = 0,
Z
x( ) = z0 +
v(s) f (t(s), x(s), w (s)) ds, [0, 1],
0
Z
t( ) = v(s) ds, [0, 1].
0
O := {(t, x) C([0, 1]; R)C([0, 1]; Rn ) | ktt k < 1, kxx k < 1}.
i i
i i
steuer
i i 2008/3/11
page 372
i i
i i
i i
steuer
i i 2008/3/11
page 373
i i
i i
i i
steuer
i i 2008/3/11
page 374
i i
e ainda
Z1
[r( ) + f (t ( ), x ( ), w ( )) q( )
(B.14)
0
+ L(t ( ), x ( ), w ( ))](v( ) v ( ))d 0,
para todo v V+ .
Demonstracao: A fim de escrever o problema P A(w ) na forma do
problema abstrato de otimizacao (P ) na Seccao B.1, definimos
i i
i i
steuer
i i 2008/3/11
page 375
i i
dF (t , x , v )(t, x, v) =
Z
t() v(s) ds
Z 0
= .
x() (v (s)[Dt f (s)t(s) + Dx f (s)x(s)] + v(s)f (s)) ds
0
Dt (t (1), x (1))t(1) + Dx (t (1), x (1))x(1)
A aplicacao J : O R tambem e continuamente diferenciavel (pelo
mesmo argumento) e sua derivada e dada por5
Z 1
dJ(t , x , v )(t, x, v) = (v (s)[Dt L(s)t(s)
0
+ Dx L(s) x(s)] + v(s)L(s)) ds
+ Dx L1 (1)t(1) + Dx L1 (1) x(1).
(1) Provamos inicialmente o lema no caso em que dF (t , x , v ) : X Y
nao e sobrejetiva. Temos que provar que
(B.15) (, q, r) 6= 0 com r( ) + f ( ) q( ) = 0 q.s.
e que a equacao adjunta (B.12) vale com = 0.
Considere o problema de valor inicial
dy
(B.16) = A( )y + b( )v, y(0) = 0, y1 = Cy(1),
d
onde
t 0 0 1
y = , A( ) = , b( ) = , C = (Dt Dx ).
x v D t f v D x f f
Note que, se todo y1 Rp pode ser alcancado como valor final em
(B.16) por uma escolha conveniente de v L [0, 1], entao dF (t , x , v )
e sobrejetiva. De fato, seja (, ) a matriz de transicao de (B.16), i.e.
dy
as colunas de (, ) geram solucoes linearmente independentes de =
d
A( )y. Seja (y, y1 ) Y qualquer. Logo, existe y = (t, x) tal que
Z
y( ) A(s)y(s) ds = y( ), [0, 1].
0
4
Notacao simplificada: f (s) := f (t (s), x (s), w (s)).
5
Notacao simplificada: L(s) := L(t (s), x (s), w (s)) e L1 (1) := L1 (1, x (1)).
i i
i i
steuer
i i 2008/3/11
page 376
i i
dF (t , x , v )(y + y, v) = (y, y1 ),
Logo,
Z 1
0 = Cy(1) = C(1, )b( )v( ) d , v L [0, 1].
0
e ainda
int{dF (t , x , v ) C(t , x , v )} 6= .
i i
i i
steuer
i i 2008/3/11
page 377
i i
(B.18) (v v ) 0, v V+ .
Escrevendo y = (, , ), temos para todo par t, x
Z 1
(v) = [v (s)(Dt L(s)t(s) + Dx L(s) x(s)) + v(s)L(s)] ds
0
Z
+ [Dt L1 (1)t(1) + Dx L1 (1) x(1)] t() v(s) ds
0
Z
x() v (s)[Dt f (s)t(s)+Dx f (s)x(s)]+v(s)f (s) ds
0
(B.19) (Dt (1)t(1) + Dx (1)x(1)),
onde (, , , ) 6= 0.
Defina r e q como solucao do problema de valor inicial (retrocedendo
no
t tempo) definido em (B.12), (B.13). A fim de obter (B.14), escolha
x = y como solucao de (B.16). Substituindo em (B.19) os termos
( ) e ( ) desaparecem. Para o termo em obtemos atraves de
integracao
Z por partes:
1
v (s)Dx L(s) x(s) ds
0
Z 1
dq
= (s) v (s)Dx f (s) q(s)) x(s) ds
(
0 d
Z 1 Z 1
dx 1
= q(s) (s) ds [q(s) x(s)]0 (v (s)Dx f (s) q(s)) x(s) ds
0 d 0
Z 1
= q(s) [v (s)Dt f (s)t(s) + v (s)Dx f (s)x(s) + v(s)f (s)] ds
0
Z 1
q(1) x(1) v (s)q(s) Dx f (s)x(s) ds
0
Z 1
= q(s) [v (s)Dt f (s)t(s) + v(s)f (s)] ds q(1) x(1)
0
i i
i i
steuer
i i 2008/3/11
page 378
i i
e ainda
Z 1 Z 1
dr
v (s)Dt L(s)t(s) ds = (s) v (s)q(s) Dt f (s) t(s) ds
0 0 d
Z 1
= r(s)v(s) ds r(1)t(1)
0
Z 1
v (s)q(s) Dt f (s)t(s) ds.
0
obtemos
Z 1 Z 1
(v) = v(s)L(s) ds + v (s)q(s) f (s) ds
0 0
Z 1
+ q(s) v (s)Dt f (s)t(s) ds
0
Z 1
q(1) x(1) + v(s)r(s) ds
0
Z 1
q(s) v (s)Dt f (s)t(s) ds r(1)t(1)
0
i i
i i
steuer
i i 2008/3/11
page 379
i i
dp dt
( ) = v ( )[Dx f (t) q( ) Dx L(t)]
dt d
dt
e, como d ( ) = v ( ), a equacao adjunta6
dp
(t) = Dx f (t) p(t) Dx L(t) = Dx H(t)
dt
com a condicao de contorno:
p(T ) = q(1) = Dx L1 (T ) Dx (T ) .
Analogamente, obtemos
do
(t) = Dt H(t),
dt
o(T ) = Dt L1 (T ) Dt (T ) .
(2) Escolha de v V+ .
Definimos a seguir v : [0, 1] R de modo que { [0, 1] | v ( ) = 0}
seja uma uniao enumeravel de intervalos disjuntos Bk e que {t (Bk ) | k
N} seja um subconjunto denso de [0, T ]. Para tanto, tome {tk }kN um
P
subconjunto denso de [0, T ] e k > 0 com k = 12 . Defina agora
k=1
tk X [
k := + i , Bk := [k , k + k ], B := Bk .
2T t <t
i k kN
6
Notacao: f (t) = f (t, z(t), u(t)), L(t) = L(t, z(t), u(t)), (t) = (t, z(t)).
i i
i i
steuer
i i 2008/3/11
page 380
i i
Portanto t ( ) = tk , Bk .
(3) Provamos que
Suponha por contradicao que o(t) + f (t, z(t), u(t)) p(t) + L(t, z(t),
u(t)) > 0 em algum subconjunto com medida positiva de [0, T ]. Como t
e absolutamente contnua, a mudanca de variaveis t = t ( ) nos permite
conluir que
r( ) + f (t ( ), x ( ), w ( )) q( ) + L(t ( ), x ( ), w ( )) > 0
contradizendo (B.14).
(4) Deducao da equacao de evolucao da funcao de Hamilton.
Note que de (1) e (3) segue
Z T
H(t, z(t), u(t), p(t), ) = o(t) = Dt H(s) dsDt L1 (T )+Dt (T ) .
t
|L(t, x, u)|, |f (t, x, u)|, |Dx L(t, x, u)|, |Dx f (t, x, u)|,
i i
i i
steuer
i i 2008/3/11
page 381
i i
w ( ) := uji , se Bk,j,i .
Note que a condicao (B.11) do Lema 288 e satisfeita para essa escolha
de w . De fato, para todo |t| T + 1, |x| kx k + 1, temos
Z 1 Z
|L(t, x, w ( ))| d = |L(t, x, u(t ( )))| d
0 [0,1]\B
Z
+|L(t, x, u(t ( )))| d
B
Z
M + S |L(t, x, uji )| d
Bk,j,i
X
M + (Bk,j )cj
k,j
X c0
M + cj .
2 k cj
k,j
i i
i i
steuer
i i 2008/3/11
page 382
i i
isto e
o(tk ) + H(tk , z(tk ), uji , p(tk ), ) 0.
Como {tk }kN e denso em [0, T ], obtemos da continuidade de o e H
i i
i i
steuer
i i 2008/3/11
page 383
i i
Lista de Smbolos
Smbolo Descricao
x transposto do vetor x
hx, yi produto interno dos vetores x e y
kxk norma do vetor x
A transposta da matriz A
det(A) determinante da matriz A
diag(J1 , . . . , Jp ) matriz diagonal com blocos J1 , . . . , Jp
I matriz identidade
i i
i i
steuer
i i 2008/3/11
page 384
i i
x, x0 derivada da funcao x
J gradiente da funcao J
Dx f , x f , f derivada parcial da funcao f em relacao
x
a variavel x
dF derivada de Frechet da aplicacao F
+F superdiferencial da funcao F
F subdiferencial da funcao F
i i
i i
steuer
i i 2008/3/11
page 385
i i
Bibliografia
i i
i i
steuer
i i 2008/3/11
page 386
i i
386 BIBLIOGRAFIA
i i
i i
steuer
i i 2008/3/11
page 387
i i
BIBLIOGRAFIA 387
i i
i i
steuer
i i 2008/3/11
page 388
i i
388 BIBLIOGRAFIA
i i
i i
steuer
i i 2008/3/11
page 389
i i
BIBLIOGRAFIA 389
[LiYo] Li, X. e Yong, J., Optimal control theory for infinite dimen-
sional systems, Birkhauser, Basel, 1994
i i
i i
steuer
i i 2008/3/11
page 390
i i
390 BIBLIOGRAFIA
i i
i i
steuer
i i 2008/3/11
page 391
i i
BIBLIOGRAFIA 391
i i
i i
steuer
i i 2008/3/11
page 392
i i
i i
i i
steuer
i i 2008/3/11
page 393
i i
Indice Remissivo
i i
i i
steuer
i i 2008/3/11
page 394
i i
i i
i i
steuer
i i 2008/3/11
page 395
i i
i i
i i
steuer
i i 2008/3/11
page 396
i i
i i
i i
steuer
i i 2008/3/11
page 397
i i
i i
i i
steuer
i i 2008/3/11
page 398
i i
i i
i i
steuer
i i 2008/3/11
page 399
i i
variavel
adjunta, 22, 318
de controle, 2, 26, 39
de estado, 1, 26, 39
variacao de Gateaux, 141
velocidade, 170
velocidade generalizada, 179
i i
i i