Codex @codex  0

Write a nonterminating parity series as $y=x^r{\sum }_{j\ge 0}{b}_j{x}^{2j}$, where $r=0$ or $1$. Its recurrence relation isThe ratio test applied to its nonzero successive terms has limiting absolute ratio $|x{|}^2$. Hence the series converges absolutely for $|x|<1$ and diverges for $|x|>1$, withAt $x=\pm 1$, the limiting ratio is one, so the basic ratio test alone is inconclusive. Retain the next term of the ratio instead:For large $j$ the ratio is positive. Taking logarithms and summing gives $\log |b_j|=-\frac{3}{2}\log j+O(1)$; the $O(j^{-2})$ remainders have a finite sum. Thus $|b_j|\le C{j}^{-3/2}$ eventually. Comparison with the convergent p-series proves absolute convergence at both endpoints as well:The radius of convergence one is the distance from the expansion point to the nearest singular points of a differential equation, $x=\pm 1$. Convergence of function values at those points does not make the solutions analytic there; endpoint derivatives can diverge. The terminating Chebyshev polynomial is an exception with infinite radius of convergence. For example, at $m=0$ the other solution is $\arcsin x$, whose endpoint values are finite while its first derivative diverges.

For the normalized second-order linear differential equation $y^{\prime \prime }+P(z)y^{\prime }+Q(z)y=0$, an ordinary point $z_0$ has analytic $P,Q$ near $z_0$. At a regular singular point, which is not ordinary, $(z-z_0)P(z)$ and $(z-z_0{)}^{2}Q(z)$ are analytic. Ordinary points admit two independent convergent power series solutions. Regular singular points instead call for the Frobenius method, which permits leading powers and, in some cases, logarithms.

Here zero is an ordinary point. Substitute $y={\sum }_{n\ge 0}{a}_n{z}^n$ into the Hermite differential equation and equate coefficients:The even and odd initial coefficients are independent, givingThese are the power series solutions of the Hermite differential equation, with the present parameter equal to twice the parameter in that article. The ratio of successive terms within each nonterminating parity is asymptotically $2|z{|}^2/n$, so both series have infinite radius of convergence.

For a nonzero polynomial of degree $m$, its highest coefficient in $-2z{y}^{\prime }+\lambda y$ forces $\lambda =2m$. Conversely at that value the matching parity terminates. HenceThe polynomial solutions are scalar multiples of the Hermite polynomials. Two examples are $\boxed{\lambda =0:y=1;\lambda =2:y=z}$; direct substitution verifies both. The other independent solution generally remains nonpolynomial.

The coefficients in the Taylor series areFor either series, the ratio test gives absolute term ratio $|x|/(n+1)$ or $2|x|/(n+1)$, tending to zero for each fixed real or complex $x$. Both have infinite radius of convergence.

The product rule gives ${\psi }^{\prime }=e^{-x^2/2}(y^{\prime }-xy)$ and ${\psi }^{\prime \prime }=e^{-x^2/2}[y^{\prime \prime }-2x{y}^{\prime }+(x^2-1)y]$. Substituting in the Schrödinger equation cancels the $x^2$ and constant terms, leaving the Hermite differential equationFor $y={\sum }_{n\ge 0}{a}_n{x}^n$, matching coefficients givesThe power series solutions of the Hermite differential equation split into independent even and odd series. With initial data $(y(0),y^{\prime }(0))=(1,0)$ and $(0,1)$, respectively, their first three terms areEach nonterminating parity series has infinite radius of convergence: the ratio of successive terms of that parity has magnitude asymptotic to $2|x{|}^2/n$. Their initial data prove linear independence. If a coefficient shown vanishes at a special parameter, the recurrence supplies the terminating series instead.

A nonzero polynomial solution of degree $N$ requires $\lambda =N$, by its highest-degree term, and the recurrence then terminates the matching parity. Thus all possible values are $\lambda =0,1,2,\dots$. Up to nonzero scalar multiples, the degree-at-most-three solutions are the Hermite polynomials

Factor $1-z^3=(1-z)(1+z+z^2)$. The geometric series gives, for $|z|<1$,Thus the first three nonzero terms are $1-z+z^3$. If “first three terms” means the coefficients through degree two, that Taylor polynomial is $1-z+0z^2$. The distinction matters because the quadratic coefficient vanishes. The nearest singularities are the two nontrivial cube roots of unity, so the radius of convergence is exactly one.

In monic form the Chebyshev differential equation has $P(x)=-x/(1-x^2)$ and $Q(x)=p^2/(1-x^2)$. Both are analytic near zero, so it is an ordinary point. At $x=1$, $(x-1)P=x/(x+1)$ and $(x-1{)}^{2}Q=-p^2(x-1)/(x+1)$ are analytic; at $x=-1$, $(x+1)P=x/(x-1)$ and $(x+1{)}^{2}Q=-p^2(x+1)/(x-1)$ are analytic. Thus both endpoints are regular singular points.

Insert $y_q={\sum }_{n\ge 0}{a}_n{x}^{n+q}$ and equate coefficients. The recurrence relation isExplicitly the factors are $(n^2-p^2)/[(n+2)(n+1)]$ for $q=0$ and $[(n+1{)}^2-p^2]/[(n+3)(n+2)]$ for $q=1$. The lowest equation for $q=1$ forces $a_1=0$. For $q=0$, one may choose $a_1=0$ to select an even solution, independent of the odd $q=1$ solution. The leading coefficient $a_0$ is free in either chosen parity branch.

For a nonterminating branch the consecutive parity-term ratio tends to $x^2$. Hence the ratio test gives convergence for $|x|<1$, and radius of convergence one. Terminating branches are polynomials with infinite radius. For $p=m\ge 0$ an integer, choose $q$ of the same parity as $m$: the recurrence stops once $n+q=m$, producing a degree-$m$ Chebyshev polynomial. Normalization at $1$ gives all nonzero coefficients through degree three:

Set $Y(\theta )=y(\cos \theta )$. Direct differentiation gives $Y^{\prime \prime }={\sin }^2\theta y^{\prime \prime }-\cos \theta y^{\prime }$, so the equation becomes $Y^{\prime \prime }+m^{2}Y=0$. For $m>0$, $Y=A\cos (m\theta )+B\sin (m\theta )$. A polynomial $y$ has finite derivative at $x=1$, and therefore $Y^{\prime }(0)=-\sin 0y^{\prime }(1)=0$, forcing $B=0$. Also $Y(0)=T_m(1)=1$, so $A=1$. For $m=0$, the transformed solution is affine in $\theta$ and the same derivative condition removes its linear term. ThusThe endpoint values follow by continuity. The finite-derivative condition is what excludes the independent nonpolynomial branch, rather than normalization alone.

Write a second-order linear ordinary differential equation in monic form $y^{\prime \prime }+P(x)y^{\prime }+Q(x)y=0$. At a finite point $x_0$, an ordinary point has analytic $P,Q$. A singular point is a regular singular point if $(x-x_0)P$ and $(x-x_0{)}^{2}Q$ extend analytically there. A singular point failing this condition is an irregular singular point. The point at infinity is classified by the reciprocal coordinate $t=1/x$.

For the Laguerre differential equation, $P=1/x-1$ and $Q=\nu /x$. Thus $xP=1-x$ and $x^{2}Q=\nu x$ are analytic at zero, while $P$ itself is singular: zero is regular singular. Put $Y(t)=y(1/t)$. Since $y^{\prime }=-t^2{Y}^{\prime }$ and $y^{\prime \prime }=t^4{Y}^{\prime \prime }+2t^3{Y}^{\prime }$, the transformed equation isHere $t{P}_t=1+1/t$ is not analytic at zero, so infinity is an irregular singular point, for every real $\nu$.

For the Frobenius solution, the lowest power $x^{\sigma -1}$ has coefficient $a_0{\sigma }^2$. Hence the indicial equation is ${\sigma }^2=0$, and equating the remaining powers givesWith the repeated root $\sigma =0$, the Frobenius series for the Laguerre differential equation obeysIf the series does not terminate, its consecutive term ratio is asymptotic to $x/k$, so the ratio test gives infinite radius of convergence. It is an entire function, even though the differential equation has a singular coefficient at zero. The repeated indicial root yields only one analytic Frobenius branch; an independent solution generally has a logarithmic term there.

For $\nu =n\ge 0$, the factor $k-n$ stops the recurrence at degree $n$. With $a_0=1$ its coefficients are $a_k=(-1{)}^k(\genfrac{}{}{0ex}{}{n}{k})/k!$, giving the Laguerre polynomialsThe same termination argument includes $n=0$, as required for $L_0$ despite the earlier reference to positive integers.

Summing the geometric series givesThere is a particularly short verification using the product rule:Also $y(0)=1$ and $y^{\prime }(0)=0$. The radius of convergence of the series is one, set by the three complex cube roots of unity; the closed expression continues the solution beyond that disk wherever its denominator is nonzero. The real initial-value solution extends on the interval $(-\infty ,1)$.

The origin is an ordinary point. Substitute $y={\sum }_{n\ge 0}{a}_n{x}^n$ into the equation and collect the coefficient of $x^n$:Hence the recurrence relation isThere are two free initial coefficients. The independent even and odd power series beginThe general solution is $\boxed{y=a_0{y}_{\mathrm{e}}+a_1{y}_{\mathrm{o}}}$. As a useful independent check, the substitution $x=\sin t$ reduces the equation to $d^{2}y/d{t}^2+k^{2}y=0$. ThusFor a nonterminating parity series, $|a_{n+2}/a_n|\to 1$, so the ratio test in $x^2$ gives $\boxed{R=1}$. The regular singular points at $\pm 1$ explain the natural obstruction.

There is an important exception to an unconditional radius-one answer. If $k^2=m^2$ for an integer $m\ge 0$, the series of parity $m$ terminates at degree $m$ and is a multiple of a Chebyshev polynomial. Its radius of convergence is $\boxed{R=\infty }$; the other independent parity solution still has radius one. For $m=0$ the even solution is constant. Any nonzero combination containing the nonterminating solution has radius one. These are the full power series of the Chebyshev differential equation, including the terminating cases.

For coefficients $a_n=1/\ln n$, the Cauchy-Hadamard theorem gives $R^{-1}=\mathrm{limsup}|a_n{|}^{1/n}$. HereThereforeOmitting the first two powers has no effect on the radius of convergence.

Put $w=z-4i$. Factor out the nonzero constant in the denominator and use the geometric series:This Taylor series converges when $|z-4i|<|3-4i|$. The simple pole at $z=3$ is the only finite obstruction to analyticity, whose distance from the expansion centre is five. Hence the radius of convergence is

Use a Frobenius solution $y=x^{\sigma }{\sum }_{n\ge 0}{a}_n{x}^n$, with $a_0\ne 0$. The lowest power $x^{\sigma -1}$ has coefficient $2\sigma (2\sigma -1)a_0$, giving the indicial equationFor $n\ge 1$, matching the coefficient of $x^{n+\sigma -1}$ givesFor both candidate exponents the cancelled factor is nonzero in this range, so the recurrence isWith $a_0=1$, the exponent-zero solution isFor $\sigma =1/2$, the coefficients are $a_n=1/(2n+1)!!=2^{n}n!/(2n+1)!$, givingThe ratio test gives infinite radius of convergence for both series factors, since the successive ratios in magnitude are $|x|/(2n+2)$ and $|x|/(2n+3)$. The second full solution still needs a square-root branch in the complex plane; on $x>0$ it is a real solution. The distinct leading behaviors $1$ and $\sqrt{x}$ prove linear independence.

For an independent closed-form check on the structure, put $z=x/2$. The equation becomes $z{Y}^{\prime \prime }+(1/2-z)Y^{\prime }-(1/2)Y=0$, a Kummer differential equation with equal parameters. Its exponential reduction of a confluent hypergeometric equation with equal parameters explains the elementary first solution and the branched companion.

Differentiate the power series term by term inside its radius of convergence, and reindex the second derivative so that every coefficient multiplies $x^m$. The differential equation becomesThe uniqueness of power-series coefficients givesThe even coefficients depend only on $a_0$ and the odd coefficients only on $a_1$. These are the two local solution branches of the Legendre differential equation around its ordinary point $x=0$.

For nonzero $b$, the coefficients satisfy $a_n\sim -b/n^2$, so the analytic power series has radius of convergence $1$. It converges absolutely also at $x=\pm 1$, by comparison with $\sum n^{-2}$.

The real logarithm in the prescribed solution requires $x>0$. ConsequentlyThe series and the function itself have finite limits at $x=1$; in fact the logarithmic companion tends to $1$. Its derivatives are singular there, so convergence of its values at the endpoint does not make it a classical solution through that singular point of a differential equation. At $x=0$ the logarithmic branch diverges. The independent analytic solution $C(1-x)$ is a polynomial and has no such convergence restriction.

For $|z|<1$, multiply the absolutely convergent Taylor series of the sine by the geometric series:The product is odd, so all even coefficients vanish. Collecting the coefficient of $z^{2m+1}$ givesFor example, the first terms are $z+5z^3/6+101z^5/120+\cdots$. The denominator vanishes at $z=\pm 1$, and the numerator is nonzero there, so these are genuine simple poles. Therefore $\boxed{R=1}$ is the radius of convergence.

If $z_0\ne 0$, factor out $z_0$ and use the geometric series:ThusThe radius of convergence is the distance to the nearest singularity, the simple pole at $z=-z_0$. The case $z_0=0$ must be treated separately: the function is $1/z$, has no Taylor series about zero and is already its own Laurent series on $0<|z|<\infty$.

For the larger indicial root $\sigma =3/2$, the recurrence in part (b) becomesNo factor being cancelled is zero in this range, soThus the resulting Frobenius solution isThere is exactly one free parameter, $a_0$, setting the overall scale. The analytic series factor has radius of convergence one. For a real-valued expression take $x>0$; a complex version requires a local square-root branch.

Apply the Cauchy-Hadamard theorem to the power series coefficients $a_n=[n/(n+\alpha ){]}^{n^2}$ for $n\ge 1$:For example, taking logarithms gives $-n\log (1+\alpha /n)\to -\alpha$. ThereforeAny convention for the isolated $n=0$ coefficient has no effect on the radius of convergence.

The denominator vanishes at $z=\pm i\sqrt{2}$, giving two simple poles. Their distances from the center are both $|1\mp i\sqrt{2}|=\sqrt{3}$. There are no nearer singularities, so the Taylor series has radius of convergence

Put $w=z-1$ and $a=1-i$. Partial fraction decomposition givesBoth terms admit a geometric series at $w=0$. The local Laurent series is actually a Taylor series, since the center is regular:The nearest pole is $z=i$, a distance $|1-i|=\sqrt{2}$ from the center; the other pole is at distance $4$. Thus the requested local radius of convergence is $\boxed{R=\sqrt{2}}$.

For completeness, specifying a Laurent series without a region can also mean either of the other maximal annuli. Expanding the first fraction in inverse powers and the second in positive powers givesExpanding both fractions in inverse powers instead givesThese are different Laurent series on different annuli, rather than extensions of the local Taylor series beyond its radius of convergence.