Algoritmos 48

Teorema 4.18 O Algoritmo 4.15, com o tamanho do passo calculado pela condição de
Armijo (Algoritmo 4.13), é globalmente convergente.

Demonstração. Sejam (xk ) uma sequência gerada pelo algoritmo e x̄ um ponto de acu-
IN0
mulação de (xk ), digamos xk → x̄. Suponha por absurdo que x̄ não seja estacionário,
IN0
isto é, ∇f (x̄) 6= 0. Pela continuidade de f , temos f (xk ) → f (x̄). Como a sequência
(f (xk )) é monótona não crescente, podemos aplicar o Teorema 1.12 para concluir que
f (xk ) → f (x̄). Por outro lado, pela condição de Armijo, temos

f (xk+1 ) = f (xk + tk dk ) ≤ f (xk ) + ηtk ∇f (xk )T dk .

Usando a definição de dk e a positividade de H(xk ), obtemos

f (xk ) − f (xk+1 ) ≥ ηtk ∇f (xk )T H(xk )∇f (xk ) ≥ 0.

Portanto, tk ∇f (xk )T H(xk )∇f (xk ) → 0. Mas

IN0
∇f (xk )T H(xk )∇f (xk ) → ∇f (x̄)T H(x̄)∇f (x̄) 6= 0,

IN0
donde segue que tk → 0. Então, tk < 1, para todo k ∈ IN0 , suficientemente grande. Pelo
tk
Algoritmo 4.13, o passo 0,8 existiu e foi recusado. Assim,
( tk k ) tk
f (xk + tk dk ) ≤ f (xk ) + ηtk ∇f (xk )T dk e f xk + d > f (xk ) + η ∇f (xk )T dk .
0, 8 0, 8

Como a função ξ(t) = f (xk + tdk ) − f (xk ) − k T k

[ ηt∇f](x ) d é contı́nua, o teorema do valor
intermediário garante a existência de sk ∈ tk , 0,8
tk
tal que ξ(sk ) = 0, isto é,

f (xk + sk dk ) − f (xk ) = ηsk ∇f (xk )T dk .

Aplicando agora o teorema do valor médio (Teorema 1.41), obtemos

∇f (xk + θk sk dk )T (sk dk ) = f (xk + sk dk ) − f (xk ) = ηsk ∇f (xk )T dk ,

com θk ∈ (0, 1). Portanto,

∇f (xk + θk sk dk )T H(xk )∇f (xk ) = η∇f (xk )T H(xk )∇f (xk ).

[ ]
IN0 IN0
Como sk → 0, pois sk ∈ tk , 0,8
tk
e tk → 0, podemos concluir que

∇f (x̄)T H(x̄)∇f (x̄) = η∇f (x̄)T H(x̄)∇f (x̄),

o que é uma contradição.