Estudo do método de Newton em variedades

Abstract

Resumo: Nesta tese, n'os estudamos m'etodo de Newton para encontrar singularidade de campo de vetor definido em variedade Riemanniana. Obtemos uma importante propriedade do transporte paralelo de vetor para estabelecer (sob hip'otese m'?nima) convergˆencia super-linear da sequˆencia gerada pelo cl'assico m'etodo de Newton para encontrar zero de campo de vetor. Al'em disso, n'os propomos um m'etodo de Newton amortecido e apresentamos sua an'alise global de convergˆencia usando busca linear e uma fun?c˜ao m'erito. Asseguramos que, ap'os um n'umero finito de iteradas, uma sequˆencia gerada pelo proposto m'etodo de Newton amortecido reduz-se a uma sequˆencia gerada pelo m'etodo de Newton. Portanto, a taxa de convergˆencia do m'etodo proposto 'e super-linear/quadr'atica. N'os implementamos ambos os m'etodos para encontrar minimizadores globais de uma fam'?lia de fun?c˜oes definidas no cone de matrizes sim'etricas definidas positivas. Nossos experimentos mostram que a performance do m'etodo de Newton amortecido 'e superior a performance do cl'assico m'etodo de Newton, indicando que o comportamento dos m'etodos no espa?co Euclidiano permanecem neste novo cen'ario. Para proceder com os experimentos, n'os primeiro equipamos o cone de matrizes sim'etricas definidas positivas com uma estrutura de variedade Riemanniana. Ent˜ao, definimos as iteradas das sequˆencias geradas pelo m'etodo de Newton e pelo m'etodo de Newton amortecido usando a curva geod'esica nesta variedade. Contudo, computar geod'esica involve significante custo num'erico. Devido a isso, n'os propomos dois novos algoritmos, a saber, m'etodo de Newton com retra¸c˜ao e m'etodo de Newton amortecido com retra¸c˜ao, para encontrar singularidade de campo de vetor definido em variedade Riemanniana. N'os apresentamos an'alises de convergˆencias desses novos m'etodos por extender os resultados obtidos para estabelecer o m'etodo de Newton e o m'etodo de Newton amortecido. Finalmente, n'os implementamos o m'etodo de Newton amortecido com retra?c˜ao para encontrar minimizadores da fam'?lia de fun?c˜oes acima mencionada. Neste caso, nossos experimentos mostram que o m'etodo de Newton amortecido possui performance similar do m'etodo de Newton amortecido com retra ?c˜ao. As principais contribui?c˜oes desta tese s˜ao como seguem. 1) Sob hip'otese m'?nima, isto 'e, invertibilidade da derivada covariante do campo de vetor em sua singularidade, n'os mostramos que o m'etodo de Newton est'a bem definido em uma vizinhan?ca aceit'avel de sua singularidade e que a sequˆencia gerada por este m'etodo converge com taxa super-linear, (veja (27)). 2) N'os propomos um m'etodo de Newton amortecido no contexto de variedade Riemanniana e estabelecemos sua convergˆencia global para uma singularidade do campo de vetor preservando as taxas de convergˆencias super-linear e quadr'atica do m'etodo de Newton (veja (16)). 3) Propomos o m'etodo de Newton amortecido com retra¸c˜ao e estudamos suas propriedades de convergˆencia, obtendo os mesmos resultados do m'etodo de Newton e do m'etodo de Newton amortecido. Keywords: variedade Riemanniana · m'etodo de Newton · m'etodo de Newton amortecido · convergˆencia local · convergˆencia global · taxa super-linear · taxa quadratica · busca linear · exponential mapping · retra¸c˜ao.

Abstract: In this thesis, we study Newton's method for finding a singularity of a differentiable vector field defined on a Riemannian manifold. We obtain an important property of the parallel transport of a vector which allows to establish (under a mild assumption) super-linear convergence of the sequence generated by the classical Newton's method for finding a zero of a vector field. Moreover, we propose a damped Newton's method and we present its global analysis of convergence using a linear search together with a merit function. We ensure that the sequence generated by the proposed damped Newton's method reduces to a sequence generated by the classical iteration of Newton's method after a finite number of iterations. Thus, the convergence rate of the proposed method is super-linear/quadratic. We implement both methods for finding global minimizers of a family of functions defined on the cone of symmetric positive definite matrices. Our experiments show that the performance of the damped Newtons method is superior to that of the classical Newton's method, indicating that the behavior of the methods in Euclidean space persists in this new setting. To proceed with the experiments, we first endow the cone of symmetric positive definite matrices with a Riemannian manifold structure. Then, we define the iterations of the sequences generated by Newton's method and damped Newtons method using the geodesic curve of this manifold. However, in general, performing this task in a computationally efficient manner involves significant numerical challenges. Therefore, we propose two new algorithms, namely Newton's method with retraction and damped Newton's method with retraction, to find a singularity of a vector field defined on a Riemannian manifold. We present the convergence analysis of these new methods by extending the results of Newton's method and the damped Newton's method. Finally, we implement the damped Newton's method with retraction for finding global minimizers of the aforementioned family of functions. For this case, our experiments show that damped Newton method with retraction does not present a better performance than the damped Newton method. The main contributions of this thesis are the following. 1) Under a mild assumption, i.e., invertibility of the covariant derivative of the vector field at its singularity, we show that Newton's method is well defined in a suitable neighborhood of this singularity and that the sequence generated by this method converges to the solution at a super-linear rate (see (27)). 2) We propose the damped Newton's method in the Riemannian manifold context and establish its global convergence to a singularity of a vector field preserving the super-linear convergence rates of Newton's method (see (16)). 3) We propose the damped Newton's method with retraction and study its convergence properties, obtaining the same results as those of Newton's method and the damped Newton's method. Keywords: Riemannian manifold · Newton's method · damped Newton's method · local convergence · global convergence · super-linear rate · quadratic rate · linesearch · exponential mapping · retraction.