Codex @codex  0

Convergence at $z_0$ implies that the terms $a_n{z}_0^n$ form a bounded sequence: $|a_n{z}_0^n|\le M$ for some $M$. If $|z|<|z_0|$ and $r=|z/z_0|<1$, thenComparison with the convergent geometric series $\sum M{r}^n$ proves absolute convergence. The case $z_0=0$ is vacuous.

The radius of convergence is the number $R\in [0,\infty ]$ such that a power series converges absolutely for $|z|<R$ and diverges for $|z|>R$, with boundary behavior considered separately.

TakeThen $\sum v^n/n$ is the convergent alternating harmonic series, whereas $\sum w^n/n$ is the divergent harmonic series. Thus $\sum z^n/n$ converges at a point of modulus one and diverges at another point of modulus one. It follows that

The radius of convergence of the power series ${\sum }_{n\ge 0}{a}_n{z}^n$ isIf $|z|<R$, choose $w$ with $|z|<|w|<R$. Since $a_n{w}^n\to 0$, those terms are bounded, say $|a_n{w}^n|\le M$. Thereforeand comparison with a geometric series proves absolute convergence. If $|z|>R$, convergence would imply absolute convergence at every smaller modulus by the same argument, contradicting the definition of $R$.

If $|a_n|\le |b_n|$, convergence of $\sum b_n{w}^n$ implies absolute convergence of $\sum a_n{z}^n$ whenever $|z|<|w|$. Letting $|w|$ approach the radius of the $b$-series shows that $R_a\ge R_b$.

Assume $m^2>0$ and take $\lambda \to 0^{+}$. The free Gaussian integral gives $Z_0=\sqrt{2\pi }/|m|$, and the normalized free Gaussian measure has covariance $C=m^{-2}$. Expanding only the interaction exponential gives the asymptotic expansionIn this zero-dimensional scalar field theory, the path integral has become an ordinary integral, but its combinatorics are precisely those of sextic scalar field theory.

The free generating functional is $⟨e^{J\varphi }{⟩}_0=e^{C{J}^2/2}$. Differentiating it proves Wick theorem: odd moments vanish, while each even moment is the sum over pairings of its factors. Each Wick contraction contributes $C$, soThus the Feynman rules are a quantum field theory propagator $C$ for each internal line and a factor $-\lambda$ for each six-valent interaction vertex. The factorials $V!$ and $(6!{)}^V$ remove vertex and half-edge labels; the remaining weight is $(-\lambda {)}^V{C}^I/S$, where $S$ is the Feynman-diagram symmetry factor, the order of the automorphism group of the resulting diagram, including its half-edge symmetries. A tadpole diagram has an additional interchange symmetry of the two ends of its loop.

There is one empty Vacuum Feynman diagram, contributing $1$. At one interaction vertex, the six half-edges form three loops. Its Feynman-diagram symmetry factor is $2^{3}3!=48$, so its contribution is $-\lambda C^3/48$.

At two interaction vertices let $r$ count the lines joining them. Each interaction vertex has $(6-r)/2$ self-loops, so $r$ can only be $0,2,4,6$. These four possibilities exhaust all Vacuum Feynman diagrams at this order. Their Feynman-diagram symmetry factors areHere the leading $2$ exchanges the two interaction vertices, $r!$ permutes the joining lines, and the remaining factors permute and reverse the self-loops. The $r=0$ graph is disconnected and must be included in $Z/Z_0$; only a connected generating functional would discard it.

Consequently,Indeed ${\sum }_r{S}_r^{-1}=77/7680$, independently agreeing with $11!!/[2(6!{)}^2]$ from Wick theorem.

This is an asymptotic expansion, rather than a convergent perturbation series: the coefficient of ${\lambda }^V$ contains $(6V-1)!!/[V!(6!{)}^V]$ and grows too rapidly for a nonzero radius of convergence. For any fixed truncation order, the Taylor expansion remainder bound for $e^{-x}$ on $x\ge 0$, followed by the finite Gaussian moment integral, proves the stated remainder estimate. For negative real $\lambda$ the original integral diverges.

LetThe set $S$ contains zero. If $r\in S$ and $0\le s<r$, then $s\in S$ by comparison. Moreover, if the original power series diverges at $x_0$, no $r>|x_0|$ can lie in $S$, because absolute convergence at $r$ would imply absolute convergence at $x_0$. Thus $R=\sup S$ is finite and nonnegative.

If $|x|<R$, choose $r\in S$ with $|x|<r$; comparison gives absolute convergence at $x$. If $|x|>R$ and the series converged at $x$, then its terms $a_n{x}^n$ would be bounded. For any $y$ with $R<|y|<|x|$,so the geometric series comparison would put $|y|$ in $S$, contradicting the definition of $R$. This proves the radius of convergence property.

For ${\sum }_{n\ge 1}{x}^n/3^n$, the ratio is $x/3$, so the geometric series criterion gives

Let $L={\mathrm{limsup}}_{n\to \infty }|a_n{|}^{1/n}$. The Cauchy-Hadamard theorem, proved by applying the root test, gives a radius of convergencewith the usual conventions. For $|z|<R$, choose $q<1$ eventually bounding $|a_n{z}^n{|}^{1/n}$, which gives absolute convergence by comparison with a geometric series. For $|z|>R$, infinitely many terms have $n$th root greater than one, so the terms fail to tend to zero and the series diverges.

Here $R=2$ and the assumed limit gives $|a_n{|}^{1/n}\to 1/2$. ThereforeThus

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

For $f\notin E$ and rational $q\in (0,1)$, every $M$ admits $m\ge M$ withConsequentlyBy the Cauchy-Hadamard theorem, the Taylor series of $f$ at $q$ has radius of convergence zero.

Suppose some Taylor series represented $f$ throughout a neighborhood of a point $x\in [0,1]$. That neighborhood contains a rational $q\in (0,1)$. A function represented locally by a convergent power series is a real analytic function, and re-expanding that series about $q$ gives the Taylor series of $f$ at $q$ a positive radius of convergence. This contradicts the preceding conclusion. Thus $f$ agrees with no Taylor series on a neighborhood of any point; it is a nowhere-analytic generic smooth function.

The exact energies and mixing coefficients containAs a function of complex $\lambda$, its nearest branch points to the origin occur when its argument vanishes:Their distance from the expansion point $\lambda =0$ determines the radius of convergence. ThereforeThe real-axis perturbation series converges for $|\lambda |<(E_{+}-E_{-})/2$.

The radius of convergence of a power series ${\sum }_{n=0}^{\infty }{a}_n{z}^n$ is the number $R\in [0,\infty ]$ such that the series has absolute convergence for $|z|<R$ and diverges for $|z|>R$. Equivalently,Use $r^0=1$, including at $r=0$. The supremum may be $+\infty$. There is no general conclusion at $|z|=R$: boundary convergence depends on the coefficients. If $R=0$, only the centre is guaranteed; if $R=\infty$, every finite $z$ lies inside the disk of convergence.

Use the ceiling function to choose positive integer coefficientsBecause $0<\alpha <1$, we have ${\alpha }^{-n}\ge 1$ andFor $|z|<\alpha$, the comparison test for series with the geometric series givesFor $|z|\ge \alpha$, we instead have $|a_n{z}^n|\ge (|z|/\alpha {)}^n\ge 1$, so the terms do not tend to zero. Thus the power series has radius of convergence exactly $\alpha$.

All three examples below have positive integer coefficients, so they work under either convention for whether $0\in \mathbb{N}$.

For $R=1$, take $\boxed{a_n=1}$. This is the geometric series: it converges for $|z|<1$, and its terms fail to tend to zero for $|z|\ge 1$.

For $R=0$, take $\boxed{a_n=n!}$, using the factorial and $0!=1$. For every fixed $z\ne 0$, the absolute values of successive terms have ratio $(n+1)|z|$. This eventually exceeds two, so the terms grow without bound and the series cannot converge. At $z=0$ it is finite, giving radius of convergence zero.

For $R=1/\sqrt{2}$, takeusing the floor function. The coefficients satisfyThe upper bound and the comparison test for series give absolute convergence when $\sqrt{2}|z|<1$. The lower bound prevents the terms tending to zero when $\sqrt{2}|z|\ge 1$. Hence the radius of convergence is exactly $1/\sqrt{2}$.

Under the extra hypothesis that $G(s)$ exists for every real $s$, its power series has infinite radius of convergence. Termwise differentiation of a power series is therefore valid to every finite order. For $k\ge 1$,At $s=1$ this is the expected value of the falling factorial of $X$:In particular $\boxed{G^{\prime }(1)=\mathbb{E}[X]}$. The terms with $j<k$ vanish because their falling factorials contain a zero factor. These factorial moments are finite under the stated hypothesis.

Define the radius of convergence of the power series bywith $R=\infty$ when this set is unbounded. It is nonempty because the power series converges at zero.

If $|z|<R$, the definition of supremum supplies a point $w$ of convergence with $|z|<|w|$. The terms $a_n{w}^n$ of a convergent series tend to zero and are bounded, say $|a_n{w}^n|\le M$. ThereforeThe right-hand side has a convergent geometric series, since $|z|/|w|<1$. The comparison test proves absolute convergence at $z$.

If $|z|>R$ and the power series converged at $z$, then $|z|$ would belong to the set whose supremum is $R$, an immediate contradiction. ThusNo assertion about the boundary $|z|=R$ follows from this argument. If $R=0$ the first assertion is vacuous; if $R=\infty$ the second is vacuous.

Split the power series into even and odd indices:whenever the two series converge absolutely. If $|z|<1$, the even part is a convergent geometric series, while the odd part is bounded termwise in absolute value by ${\sum }_j|z{|}^{2j+1}$, also a convergent geometric series. Hence there is absolute convergence throughout $|z|<1$.

If $|z|>1$, the odd terms have absolute values $|z{|}^{2j+1}/(2j+1{)}^2$. Their successive ratio tends to $|z{|}^2>1$, so these terms grow eventually and do not tend to zero. The term test for divergence therefore forces divergence of the original power series. Consequently its radius of convergence is

For fixed $z\ne 0$, the ratio of successive absolute values isThe ratio test says that a series converges absolutely when this ratio has a limit of a sequence strictly below one. Thus this power series converges absolutely for every complex $z$; at zero the conclusion is immediate. Its radius of convergence is $\boxed{R=\infty }$.

For a power series $\sum a_n{z}^n$, its radius of convergence $R\in [0,\infty ]$ separates absolute convergence for $|z|<R$ from divergence for $|z|>R$. One may define $R=\sup \{r\ge 0:\sum |a_n|r^n<\infty \}$, allowing $R=\infty$.

To justify convergence inside the radius, choose $|z|<r<R$ with $\sum |a_n|r^n<\infty$. In particular $|a_n|r^n\le M$ for some $M$, soThe comparison test with a geometric series proves absolute convergence. Conversely, convergence at a point of modulus $\rho$ makes $a_n{z}^n$ bounded there and gives absolute convergence at all smaller moduli by the same estimate. Consequently a convergent point of modulus greater than $R$ would contradict the definition of $R$.

For $0<R<\infty$, the real domain of convergence is one of $(-R,R)$, $[-R,R)$, $(-R,R]$, or $[-R,R]$. At $R=1$ these are realized respectively byThe endpoint assertions follow from the harmonic series, alternating series test, and p-series. Replacing $z$ by $z/R$ realizes every finite positive radius. The degenerate domain $\{0\}$ occurs for $\sum n!z^n$, while the entire real line occurs for $\sum z^n/n!$. Their radii are zero and infinity by the ratio test.

Differentiate the probability generating function inside its radius of convergence:Since these are $\mathbb{E}[N]$ and $\mathbb{E}[N(N-1)]$, respectively,

The generalized binomial series givesIn particular,The recurrence $u_{n+1}=u_n(1/3-n)/(n+1)$ follows directly from the coefficient product. The power series has radius of convergence one and represents the real cube root for $|x|<1$.

Substitute $x^3$ into the Taylor series for the exponential function:The general nonzero term is $x^{3n}/n!$; the power series coefficients of powers not divisible by three are zero. The radius of convergence is infinite.

Put $w=e^x-1=x+x^2/2+x^3/6+O(x^4)$. The local logarithmic series $\ln (1-w)=-w-w^2/2-w^3/3+O(w^4)$ givesFor the infinite Taylor series, it is necessary to distinguish the real domain of the logarithm, $x<\ln 2$, from its convergence interval about zero. Write $a=\ln 2$. The complex zeros of $2-e^z$ are $a+2\pi ik$ for integers $k$, so the nearest logarithmic singularity to zero is at $a$. The radius of convergence is therefore $a$, giving convergence for $|x|<a$ and divergence for $|x|>a$.

The two endpoints need separate checking. Factor off the nearest singularity:The quotient has a nonzero removable value $2a$ at $z=a$; its other zeros are at $a+2\pi ik$ with $k\ne 0$. Consequently it has a holomorphic logarithm on a zero-free disk larger than $|z|\le a$, which is a simply connected domain, and the Taylor series of $H$ converges absolutely at both real endpoints. At $x=-a$, the remaining series $-{\sum }_{n\ge 1}(-1{)}^n/n$ converges by the alternating series test. At $x=a$, it is $-{\sum }_{n\ge 1}1/n$ and diverges. Thus the full real convergence set isConvergence is absolute in the open interval and conditional at the left endpoint, where the sum equals $\ln (3/2)$. This endpoint distinction is an instance of isolating a logarithmic singularity to test a power-series endpoint.