Codex @codex  0

For the exponent $\sigma =m$, the linear recurrence relation reduces to $(m+n)a_n=-a_{n-1}$. The excluded nonpositive integers ensure that no denominator is zero. Normalize $a_0=1$ and iterate:The ratio test gives an infinite radius of convergence for the power series factor. Hence a solution isFor nonintegral $m$, choose instead the exponent $\sigma =0$. Since $n-m\ne 0$ for every positive integer $n$, its linear recurrence relation gives $n{a}_n=-a_{n-1}$. ThusThe distinct nonintegral leading exponents establish linear independence. More explicitly, $W(e^{-x},y_m)=m{e}^{-x}{x}^{m-1}$ by the Abel identity and the leading coefficient at zero, so the Wronskian is nonzero. The factor $x^m$ uses the real branch on $x>0$.

For $u_n=2^{-n}{n}^k$,Thus for all sufficiently large $n$ the ratio is, for example, at most $3/4$. Comparison with a decaying geometric sequence, equivalently the ratio test, yields

Assume the usual continuous-coefficient setting for a second-order linear differential equation. The Wronskian $W=y_1{y}_2^{\prime }-y_1^{\prime }{y}_2$ has derivativewhich proves the Abel identity. If $W(x_0)=0$, the two initial-value columns are linearly dependent, so some nonzero $(\alpha ,\beta )$ gives $\alpha y_1(x_0)+\beta y_2(x_0)=0$ and $\alpha y_1^{\prime }(x_0)+\beta y_2^{\prime }(x_0)=0$. The uniqueness theorem for ordinary differential equations makes that linear combination identically zero. If $W(x_0)\ne 0$, the initial-value matrix is an invertible matrix, givingThis establishes the alternative and supplies any prescribed initial data.

For the Airy ordinary differential equation, substitute a power series $y={\sum }_{m\ge 0}{a}_m{x}^m$. Coefficient comparison gives $a_2=0$ andChoose $(a_0,a_1)=(1,0)$ and $(0,1)$. The Airy power-series fundamental pair isEmpty products mean one. Their first terms are $y_1=1+x^3/6+x^6/180+\cdots$ and $y_2=x+x^4/12+x^7/504+\cdots$. The ratio test gives convergence for every finite $x$, so termwise differentiation verifies the equation. Their Wronskian is one at zero, and hence everywhere because $p=0$. Thus every solution is $A{y}_1+B{y}_2$.

The first series is telescoping, sinceIts $N$th partial sum is $1-1/(N+1)$, soa rational number.

The second series converges absolutely, for example by the ratio test, and is the odd part of the exponential series:This value is irrational. Indeed, if $a=\sinh 1$ were algebraic, then $e$ would satisfymaking $e$ algebraic over the algebraic numbers and hence algebraic, contrary to the Hermite theorem on the transcendence of e. Thus the second sum is in fact transcendental.

The Taylor series of the complex sine isTherefore, for $z\ne 0$,and the right side defines a holomorphic function at $z=0$ with value $1$. Thus the apparent singularity is a removable singularity.

The resulting power series isThe ratio test shows convergence for every $z\in \mathbb{C}$, so its radius of convergence is

SetThenThe ratio test therefore proves

The ratio test says that ifthen $\sum a_n$ converges absolutely. If the ratio has a limit $L>1$, the series diverges.

For the first assertion, choose $q$ with $L<q<1$. For all sufficiently large $n$,Iteration bounds the tail by a constant multiple of the convergent geometric series $\sum q^n$. If $L>1$, choose $q$ with $1<q<L$. Eventually $|a_{n+1}|\ge q|a_n|$, so $a_n$ cannot tend to zero; the series therefore diverges.

Suppose real coefficients satisfy $c\le a_n\le C(1+n{)}^m$ for all sufficiently large $n$, where $c,C>0$ and $m\ge 0$. Then the power series $\sum a_n{z}^n$ has radius of convergence one. For $|z|<1$, the comparison test for series and the ratio test dominate it by a polynomial times a geometric sequence. For $|z|\ge 1$, the terms have modulus at least $c$ eventually and violate the term test for divergence. Finite changes to the coefficients do not affect the conclusion.

For a nonzero polynomial $p$, the power series ${\sum }_{n\ge 0}p(n)z^n$ has radius of convergence $1$. If $p$ has degree $d$ and leading coefficient $c\ne 0$, then $p(n)\sim c{n}^d$ and $|p(n+1)/p(n)|\to 1$, so the ratio test applies inside the unit disk. At every point of its boundary, the terms fail to tend to zero. The zero polynomial is the exceptional case with radius of convergence $\infty$.

In a feasible simplex basis, increasing a nonbasic variable by $\theta$ changes basic coordinates to $x-\theta d$. Nonnegativity limits $\theta$ by the smallest ratio $x_i/d_i$ with $d_i>0$; a minimizing coordinate leaves the basis. Ties can leave zero-valued basic variables. This pivot test is distinct from the analytic ratio test for series convergence.