El teorema de Painlevé es un enunciado sobre las propiedades de las soluciones de ecuaciones diferenciales de primer orden en un dominio complejo. Probado por el matemático francés Paul Painlevé en 1887 [1] [2]
Las ecuaciones de primer orden , algebraicas con respecto a una función desconocida y su derivada (es decir , un polinomio con respecto a y y una función analítica de ), no pueden tener puntos móviles trascendentales y esencialmente singulares en las integrales.
Un punto singular es un punto donde se viola la analiticidad de una función de una variable compleja [3] . Un punto esencialmente singular se llama punto singular si hay caminos que conducen a él a lo largo de los cuales la función no tiende a cierto límite [4] . Un punto singular se llama trascendental si el área de incertidumbre consta de un punto y esencialmente singular si el área de incertidumbre no consta de un punto [4] . El punto singular de la integral, cuya posición no depende de los datos iniciales que definen la integral, se denomina punto singular fijo, y el punto singular, cuya posición depende de los datos iniciales que definen la integral, se denomina punto punto singular móvil [5] .
La demostración del teorema de Painlevé ocupa tres páginas del libro [6] .