Difference between revisions of "Painlevé theorem"
Ulf Rehmann (talk | contribs) m (moved Painleve theorem to Painlevé theorem over redirect: accented title) |
(TeX) |
||
Line 1: | Line 1: | ||
− | Painlevé's theorem on the solutions to analytic differential equations. The solutions to the differential equation | + | {{TEX|done}} |
+ | Painlevé's theorem on the solutions to analytic differential equations. The solutions to the differential equation $P(w',w,z)=0$ cannot have movable (i.e. dependent on an arbitrary constant) essentially-singular points (cf. [[Movable singular point|Movable singular point]]) and transcendental branch points, where $P$ is a polynomial in the unknown function $w$ and its derivative $w'$, while $P$ is an analytic function in the independent variable $z$. | ||
− | Painlevé's theorem on analytic continuation. If | + | Painlevé's theorem on analytic continuation. If $\Gamma$ is a rectifiable Jordan curve lying in a domain $D$ in the complex $z$-plane and if a function $f(z)$ is continuous in $D$ and analytic in $D\setminus\Gamma$, then $f(z)$ is an [[Analytic function|analytic function]] in the entire domain $D$ [[#References|[1]]], [[#References|[2]]]. |
====References==== | ====References==== | ||
Line 11: | Line 12: | ||
For Painlevé's theorem on differential equations see also [[#References|[a1]]], [[#References|[a4]]]. | For Painlevé's theorem on differential equations see also [[#References|[a1]]], [[#References|[a4]]]. | ||
− | If in 2) | + | If in 2) $\Gamma$ is not required to be rectifiable, the analytic continuation need not be possible, cf. [[#References|[a1]]], [[#References|[a2]]]. |
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.B. Garnett, "Analytic capacity and measure" , ''Lect. notes in math.'' , '''297''' , Springer (1972)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J. Wermer, "Banach algebras and several complex variables" , Springer (1976) pp. Chapt. 13</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> E.L. Ince, "Ordinary differential equations" , Dover, reprint (1956) pp. §§3.6, 3.51, 4.7, A.5</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E. Hille, "Lectures on ordinary differential equations" , Addison-Wesley (1969)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.B. Garnett, "Analytic capacity and measure" , ''Lect. notes in math.'' , '''297''' , Springer (1972)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> J. Wermer, "Banach algebras and several complex variables" , Springer (1976) pp. Chapt. 13</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> E.L. Ince, "Ordinary differential equations" , Dover, reprint (1956) pp. §§3.6, 3.51, 4.7, A.5</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E. Hille, "Lectures on ordinary differential equations" , Addison-Wesley (1969)</TD></TR></table> |
Latest revision as of 14:46, 17 July 2014
Painlevé's theorem on the solutions to analytic differential equations. The solutions to the differential equation $P(w',w,z)=0$ cannot have movable (i.e. dependent on an arbitrary constant) essentially-singular points (cf. Movable singular point) and transcendental branch points, where $P$ is a polynomial in the unknown function $w$ and its derivative $w'$, while $P$ is an analytic function in the independent variable $z$.
Painlevé's theorem on analytic continuation. If $\Gamma$ is a rectifiable Jordan curve lying in a domain $D$ in the complex $z$-plane and if a function $f(z)$ is continuous in $D$ and analytic in $D\setminus\Gamma$, then $f(z)$ is an analytic function in the entire domain $D$ [1], [2].
References
[1] | P. Painlevé, "Sur les lignes singulières des fonctions analytiques" , Paris (1887) |
[2] | P. Painlevé, "Leçons sur la théorie analytique des équations différentielles, professées à Stockholm (1895)" , Paris (1897) |
[3] | V.V. Golubev, "Vorlesungen über Differentialgleichungen im Komplexen" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) |
Comments
For Painlevé's theorem on differential equations see also [a1], [a4].
If in 2) $\Gamma$ is not required to be rectifiable, the analytic continuation need not be possible, cf. [a1], [a2].
References
[a1] | J.B. Garnett, "Analytic capacity and measure" , Lect. notes in math. , 297 , Springer (1972) |
[a2] | J. Wermer, "Banach algebras and several complex variables" , Springer (1976) pp. Chapt. 13 |
[a3] | E.L. Ince, "Ordinary differential equations" , Dover, reprint (1956) pp. §§3.6, 3.51, 4.7, A.5 |
[a4] | E. Hille, "Lectures on ordinary differential equations" , Addison-Wesley (1969) |
Painlevé theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Painlev%C3%A9_theorem&oldid=32468