Cauchy–Hadamard theorem

Cauchy–Hadamard theorem In mathematics, the Cauchy–Hadamard theorem is a result in complex analysis named after the French mathematicians Augustin Louis Cauchy and Jacques Hadamard, describing the radius of convergence of a power series. It was published in 1821 by Cauchy,[1] but remained relatively unknown until Hadamard rediscovered it.[2] Hadamard's first publication of this result was in 1888;[3] he also included it as part of his 1892 Doctorat. thesis.[4] Contenu 1 Theorem for one complex variable 1.1 Preuve 2 Theorem for several complex variables 3 Remarques 4 External links Theorem for one complex variable Consider the formal power series in one complex variable z of the form {style d'affichage f(z)=somme _{n=0}^{infime }c_{n}(z-a)^{n}} où {style d'affichage a,c_{n}en mathbb {C} .} Then the radius of convergence {style d'affichage R} of f at the point a is given by {style d'affichage {frac {1}{R}}=limsup _{pas trop }la gauche(|c_{n}|^{1/n}droit)} where lim sup denotes the limit superior, the limit as n approaches infinity of the supremum of the sequence values after the nth position. If the sequence values are unbounded so that the lim sup is ∞, then the power series does not converge near a, while if the lim sup is 0 then the radius of convergence is ∞, meaning that the series converges on the entire plane.

Proof Without loss of generality assume that {displaystyle a=0} . We will show first that the power series {textstyle sum _{n}c_{n}z ^{n}} converges for {style d'affichage |z|R} .

First suppose {style d'affichage |z|0} , there exists only a finite number of {displaystyle n} tel que {style de texte {sqrt[{n}]{|c_{n}|}}geq t+varepsilon } . À présent {style d'affichage |c_{n}|leq (t+varepsilon )^{n}} for all but a finite number of {displaystyle c_{n}} , so the series {textstyle sum _{n}c_{n}z ^{n}} converges if {style d'affichage |z|<1/(t+varepsilon )} . This proves the first part. Conversely, for {displaystyle varepsilon >0} , {style d'affichage |c_{n}|gq (t-varepsilon )^{n}} for infinitely many {displaystyle c_{n}} , so if {style d'affichage |z|=1/(t-varepsilon )>R} , we see that the series cannot converge because its nth term does not tend to 0.[5] Theorem for several complex variables Let {style d'affichage alpha } be a multi-index (a n-tuple of integers) avec {style d'affichage |alpha |=alpha _{1}+cdots + alpha _{n}} , alors {style d'affichage f(X)} converges with radius of convergence {style d'affichage rho } (which is also a multi-index) si et seulement si {style d'affichage limsup _{|alpha |à l'infini }{sqrt[{|alpha |}]{|c_{alpha }|Rho ^{alpha }}}=1} to the multidimensional power series {somme de style d'affichage _{alpha geq 0}c_{alpha }(z-a)^{alpha }:=somme _{Alpha _{1}geq 0,ldots ,Alpha _{n}gq 0}c_{Alpha _{1},ldots ,Alpha _{n}}(z_{1}-un_{1})^{Alpha _{1}}cdots (z_{n}-un_{n})^{Alpha _{n}}} La preuve se trouve dans [6] Notes ^ Cauchy, UN. L. (1821), Analyse algébrique. ^ Bottazzini, Umberto (1986), The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass, Springer Verlag, pp. 116–117, ISBN 978-0-387-96302-0. Translated from the Italian by Warren Van Egmond. ^ Hadamard, J, "Sur le rayon de convergence des séries ordonnées suivant les puissances d'une variable", C. R. Acad. SCI. Paris, 106: 259–262. ^ Hadamard, J. (1892), "Essai sur l'étude des fonctions données par leur développement de Taylor", Journal de Mathématiques Pures et Appliquées, 4et série, VIII. Also in Thèses présentées à la faculté des sciences de Paris pour obtenir le grade de docteur ès sciences mathématiques, Paris: Gauthier-Villars et fils, 1892. ^ Lang, Serge (2002), Complex Analysis: Fourth Edition, Springer, pp. 55–56, ISBN 0-387-98592-1 Graduate Texts in Mathematics ^ Shabat, BV. (1992), Introduction to complex analysis Part II. Functions of several variables, Société mathématique américaine, ISBN 978-0821819753 Weissstein externe gauche, Eric W. "Cauchy-Hadamard theorem". MathWorld. Catégories: Augustin-Louis CauchyMathematical seriesTheorems in complex analysis