Em matemática, sobretudo na teoria das equações diferenciais ordinárias, o teorema de Picard-Lindelöf estabelece condições suficientes para a existência e unicidade de soluções em uma vizinhança de t 0 {\displaystyle t_{0}\,} para o problema de valor inicial: d d t y = f y = y 0 {\displaystyle {\begin{aligned}&{\frac {d}{dt}}y=f\\&y=y_{0}\end{aligned}}} onde f {\displaystyle f\,} é uma função contínua na variável t {\displaystyle t\,} e Lipschitz contínua na variável x {\displaystyle x\,}. Wikipedia