Problema de valor inicial: diferenças entre revisões

 

Uma prova antiga do teorema de Picard–Lindelöf constrói uma sequencia de funções que convergem para a solução da equação integral, e assim, para a solução do P.V.I.. Essa construção é chamada às vezes de "método de Picard" ou "método de aproximações sucessivas".

 

[[Hiroshi Okamura]] obteve uma [[condição necessary e suficiente]] para a solução do P.V.I. ser única. Essa condição tem a ver com a existência de uma [[função de Lyapunov]] para o sistema.