Codex @codex  0

For the vector-bundle curvature matrix $R$ of a metric connection on a vector bundle on a real oriented vector bundle, the A-hat form is the even differential form defined by the displayed finite-degree power series, with square root having constant term one. The expression is independent of the choice of orthonormal frame. Equivalently, for formal paired curvature Chern roots $\pm x_j$, it is ${\prod }_j(x_j/2)/\sinh (x_j/2)$. The Bianchi identity makes it closed, and changing the connection changes it by an exact differential form via Chern-Weil connection transgression. Its degree-four part is $-p_1/24$, where $p_1=-\mathrm{tr}(R\wedge R)/(8{\pi }^2)$ is the first Pontryagin class form.

Write $a=D/2$ and wavenumber $k=2\pi /\lambda$. The pupil Fourier transform, normalized by pupil area, gives the Fraunhofer diffraction wave amplitude. In pupil polar coordinates,The angular average is $J_0$ because $J_0(z)=(2\pi {)}^{-1}{\int }_0^{2\pi }{e}^{-iz\cos \varphi }d\varphi$. The Bessel function of the first kind identity $d\{z{J}_1(z)\}/dz=z{J}_0(z)$ then reduces the radial integral to $A(u)=2J_1(u)/u$. Taking the squared magnitude yields the Airy disk light intensity profile.^[ref]

The apparent division by zero is removable. The power seriesgives $A(u)=1-u^2/8+u^4/192+O(u^6)$ and $P(u)=1-u^2/4+5u^4/192+O(u^6)$. At the centre, every pupil contribution has the same wave phase, so their normalized sum is one. The first dark ring instead corresponds to $J_1(u)=0$ with $u>0$, rather than to the removable zero of $J_1$ at the origin.

For the Airy ordinary differential equation $y^{\prime \prime }=xy$, a power series obeys $a_2=0$ and $a_{m+3}=a_m/[(m+3)(m+2)]$. Setting its first two coefficients to $(1,0)$ or $(0,1)$ givesEmpty products are one. The ratio test proves convergence on the whole complex plane. Termwise differentiation verifies the equation, and the initial normalization gives Wronskian one. By the Abel identity, the Wronskian remains one everywhere, so these solutions span the whole solution space.

An analytic continuation extends a holomorphic function beyond its original domain without changing its existing values. Formally, if $U\subset V$ are domains and $f$ is holomorphic on $U$, a holomorphic function $F$ on $V$ with $F{|}_U=f$ is an analytic continuation. More locally, holomorphic functions on overlapping open sets continue one another when they agree on the overlap, allowing a chain of patches along a path. The identity theorem for holomorphic functions forces agreement throughout a connected overlap once they agree on a nonempty open set in it. It also makes an extension to a fixed connected domain unique. ^[ref]

The geometric series illustrates why a formula can reach farther than the power series that first represents it. For $z\ne 1$, its partial sum isWhen $|z|<1$, $z^{N+1}\to 0$, so the series converges to $f(z)=1/(1-z)$. The rational function $F(z)=1/(1-z)$ is holomorphic on $\mathbb{C}\setminus \{1\}$ and agrees there with the sum on the unit disc. It therefore continues $f$ to every point except its simple pole at $1$. In particular,Thus analytic continuation gives a value at $2$ without making the original geometric series converge there. Its radius of convergence remains $1$: on $|z|\ge 1$ the terms $z^n$ do not even tend to zero.

The pole at $1$ limits the original Taylor series, although most points of its convergence circle are regular for $F$. Recentring at $-1$ gives another genuinely convergent power series,At $z=-3/2$ this yields $\frac{1}{2}{\sum }_{n\ge 0}(-1/4{)}^n=2/5$, even though the original powers of $-3/2$ grow. This is the useful idea: overlapping local descriptions can represent one holomorphic function on a larger region.

Uniqueness on a connected overlap does not imply that every path leads to the same terminal germ of a holomorphic function. Continuing a complex logarithm around $0$ changes its value by $2\pi i$, giving monodromy; the return patch can carry a different branch of a multivalued function. If two patches have a disconnected overlap, agreement on one component imposes no agreement on the others. ^[ref] Continuation using the rational function $1/(1-z)$ is single-valued: any path avoiding $1$ gives the same terminal germ of a holomorphic function, even if it winds around the pole.

Analyticity at a point means that a function agrees in a neighbourhood of that point with a convergent power series. This is stronger than merely having derivatives of every order: the Taylor series of a smooth function can fail to recover its values. For a real variable this property defines a real analytic function. For a complex variable it is equivalent to being a holomorphic function on a neighbourhood of the point.

The analytic Wiener algebra consists of the power series $f(z)={\sum }_{n\ge 0}{a}_n{z}^n$ with ${\sum }_{n\ge 0}|a_n|<\infty$, identified with their values on the unit circle. The norm is $\Vert f\Vert =\sum |a_n|$. Discrete convolution gives multiplication and a submultiplicative norm; completeness follows from the absolutely summable sequence space. Each series converges uniformly on the closed unit disk and is holomorphic in its interior.

For an injective holomorphic function $f(z)={\sum }_{n\ge 0}{c}_n{z}^n$ on the unit disc, its real Jacobian determinant is $|f^{\prime }(z){|}^2$. Change of variables gives image area ${\int }_{|z|<r}|f^{\prime }(z){|}^{2}dA$. Angular orthogonality removes cross terms of the differentiated power series; integrating $2\pi n^2|c_n{|}^2{\rho }^{2n-1}$ radially gives the title formula. For $r<1$, uniform convergence on a slightly larger closed disk justifies termwise operations. Injectivity is essential for this to be image area rather than multiplicity of a parametrized surface integral.

For $|\varphi |<1$ and $|\theta |<1$, the autoregressive moving-average model $(1-\varphi B)X_t=(1+\theta B){ϵ}_t$ has $c_0=d_0=1$ and the displayed coefficients for $j\ge 1$. These follow by multiplying the two geometric power series. If $\varphi +\theta =0$, all later coefficients vanish and the filtered process is white noise. Thus root restrictions on an uncancelled nonminimal representation are sufficient but need not be necessary for the process after common factor cancellation in an ARMA model.

For an autoregressive moving-average model, set $\Phi (z)=1-{\sum }_{k=1}^p{\varphi }_k{z}^k$ and $\Theta (z)=1+{\sum }_{k=1}^q{\theta }_k{z}^k$. If both have no zeros on the closed unit disc, the causal and inverse filters have absolutely summable coefficients $C(z)=\Theta (z)/\Phi (z)={\sum }_{j\ge 0}{c}_j{z}^j$ and $D(z)=\Phi (z)/\Theta (z)={\sum }_{j\ge 0}{d}_j{z}^j$. Comparing power series coefficients gives $c_j={\theta }_j+{\sum }_{k=1}^p{\varphi }_k{c}_{j-k}$ and $d_j=a_j-{\sum }_{k=1}^q{\theta }_k{d}_{j-k}$, where $a_0={\theta }_0=1$, $a_j=-{\varphi }_j$ for $1\le j\le p$, and all out-of-range coefficients vanish. The backshift operator then gives the corresponding time-series filters.

An asymptotic power series uses powers as its asymptotic sequence. Near a finite point $a$, the condition in the title applies along the specified domain for every fixed $N$; at infinity, inverse powers are convenient. It need not be a convergent power series. Its coefficients record the successive limiting responses, as the integral example below demonstrates.

The finite-order Taylor theorem supplies an asymptotic power series for a smooth function near a point, but smoothness does not imply that its Taylor series converges to the function. Define $g(x)=e^{-1/x}$ for $x>0$ and $g(x)=0$ for $x\le 0$. Every right-hand derivative is an exponential function times a polynomial in $1/x$, tending to zero as $x\downarrow 0$. Consequently $g$ is a smooth function with every derivative zero at the origin. Its all-zero Taylor series misses $g(x)>0$ to the right. Zero and $g$ also have the same all-zero asymptotic power series on that side, despite being different functions. An asymptotic expansion can determine all its own coefficients without determining the represented function uniquely.

The Bernoulli numbers are a sequence of rational numbers that turns integer power sums into exact polynomials. The same numbers describe corrections when a discrete summation is compared with an integral. For example, the sum of squares $1^2+\cdots +N^2$ is $N^3/3+N^2/2+N/6$: the leading term is an integral, while the last two terms repair the difference between area and sampled values.

We use $B_1=-\frac{1}{2}$ throughout. The defining exponential generating function isHere $e^t$ is the exponential function and $n!$ is a factorial; in particular, the coefficient of $t^2$ is $B_2/2!$, rather than $B_2$. At $t=0$ the quotient has limiting value one. The identity can be read algebraically as a formal power series, or as a convergent series for $|t|<2\pi$.^[ref]

To compute the numbers, multiply by $e^t-1$ and compare coefficients. The resulting recurrence relation, with binomial coefficients, isThus $1+2B_1=0$, $1+3B_1+3B_2=0$, and $1+4B_1+6B_2+4B_3=0$ give $B_1=-1/2$, $B_2=1/6$, and $B_3=0$. Continuing givesThe recurrence relation agrees with equation 24.5.3 after replacing its index $n$ by $m+1$.^[ref]

Why do so many values vanish? Put $F(t)=t/(e^t-1)$. Direct substitution gives $F(-t)=F(t)+t$, so $F(t)+t/2$ is an even function. Its odd power series coefficients vanish: $B_{2r+1}=0$ for every positive integer $r$. The exception $B_1$ matters. The alternative convention obtained from $t/(1-e^{-t})=F(t)+t$ has $B_1^{+}=+1/2$ and exactly the same other values. A formula copied between conventions must also retain its summation endpoints.

Historically, integer power sums were studied before the modern Bernoulli number notation. A historical study examines formulas published in 1631 and distinguishes those separate formulas from encoding all exponents using one sequence of constants. This is a useful motivation for the generating function, without assigning all discovery to a single moment. ^[ref]

For $x>0$, the Bessel differential equation of order $1/2$ has independent solutions $x^{-1/2}\sin x$ and $x^{-1/2}\cos x$. Substituting $y=x^{-1/2}u$ reduces it to $u^{\prime \prime }+u=0$. The normalization of the Bessel function of the first kind gives the displayed formulas for orders $1/2$ and $-1/2$. The Frobenius method obtains the same pair from exponents $1/2$ and $-1/2$: their even-coefficient series reduce to the sine and cosine power series. In the negative-exponent recurrence, the free coefficient at the next exponent can add the positive-exponent solution, an example of an undetermined coefficient at Frobenius resonance.

For $|x|<1$, the binomial series is

For a complex number $\alpha$, set $\left(\genfrac{}{}{0ex}{}{\alpha }{0}\right)=1$ and $\left(\genfrac{}{}{0ex}{}{\alpha }{n}\right)=\alpha (\alpha -1)\cdots (\alpha -n+1)/n!$ for $n\ge 1$. The displayed power series represents $\exp (\alpha \mathrm{Log}(1+z))$ on the unit disc, using the branch of the complex logarithm with value zero at $1$. It terminates for a nonnegative integer $\alpha$. Otherwise the ratio test gives absolute convergence for $|z|<1$. Termwise differentiation gives $(1+z)F^{\prime }(z)=\alpha F(z)$ and $F(0)=1$, which determine that holomorphic function. With $\alpha =-1/2$ and argument $-z$, its coefficients are the normalized central binomial coefficients.

Knowing the radius of convergence does not settle convergence on its boundary. The three power seriesall have radius one, but behave differently on $|z|=1$.

For the geometric series, boundary terms all have complex modulus one, violating the term test for divergence. For the second series, absolute values give the divergent harmonic series at every boundary point. At $z=1$ the series itself is harmonic and diverges. At any other point on the unit circle, its geometric partial sums obeyThe Dirichlet test with the decreasing sequence $1/n\to 0$ therefore gives conditional convergence. In particular, $z=-1$ gives the negative of the alternating harmonic series, with sum $-\ln 2$. For the third series, the convergent p-series ${\sum }_{n\ge 1}1/n^2$ bounds the absolute values at every boundary point, giving absolute convergence by the comparison test for series.

At $z=-1$, the rational function $1/(1-z)$ is well defined and equals $1/2$, yet its geometric series diverges there. A formula for a function and a particular series representation can have different domains. Likewise, applying termwise differentiation of a power series preserves the radius but need not preserve the boundary convergence.

If the terms of a power series at a nonzero point $z$ are bounded by $M$, then $|a_n{w}^n|\le M(|w|/|z|{)}^n$. A convergent geometric series and the comparison test for series give absolute convergence at every point strictly inside that circle. Consequently terms at every point outside the radius of convergence must be unbounded. This conclusion is stronger than merely saying that those terms fail to tend to zero.

The power series $\mathrm{Log}(1-w)=-{\sum }_{j\ge 1}{w}^j/j$ proves this estimate. There is no global bound $|\mathrm{Log}(1-w)|\le C|w|$, since the logarithm diverges as $w\to 1$. The different estimate $\log |1-w|\le \log (1+|w|)\le |w|$ is valid wherever $w\ne 1$, and is sufficient for growth bounds on canonical products.

For the power series ${\sum }_{n\ge 0}{a}_n(z-c{)}^n$, the Cauchy-Hadamard theorem giveswith $R=\infty$ when the limit superior is zero, and $R=0$ when it is infinite. Away from the centre, the root test explains the formula: the limit superior of the term roots at displacement $z-c$ is $|z-c|/R$, interpreted as zero for $R=\infty$ and infinite for $R=0$. Values below one give absolute convergence; values above one imply that the terms fail to tend to zero. A value of one leaves the boundary question open. At the centre the series converges regardless of $R$.

For $a_{2n}=1$ and $a_{2n+1}=0$, the coefficient roots alternate between one and zero, so their ordinary limit does not exist. Their limit superior is nevertheless one, giving $R=1$ for ${\sum }_{n\ge 0}{z}^{2n}=1/(1-z^2)$ inside the unit disk. A ratio of consecutive coefficients would be undefined at the zero coefficients; the root-limsup formula handles the gap directly.

In the first part of his 1892 study of functions given by Taylor series, Jacques Hadamard introduced an upper-limit formulation for sequences and used coefficient roots to determine the radius of convergence. Sections 4–6 separate finite positive, zero, and infinite root-growth cases; the later parts study singularities and continuation. See Hadamard, Essai sur l'étude des fonctions données par leur développement de Taylor, Journal de mathématiques pures et appliquées, fourth series 8 (1892), pp. 107–109. This original text explains the coefficient-growth question without implying that the study of power series began there.

If $D=[A,B]$ commutes with $A$, then $[A^n,B]=nD{A}^{n-1}$. A convergent power series therefore gives $[F(A),B]=D{F}^{\prime }(A)$ on a common domain where termwise operations are justified. For unbounded linear operators, the domain condition is essential.

Every algebra character of the analytic Wiener algebra is evaluation at a unique point $z$ of the closed unit disk. Indeed, for $u(w)=w$, continuity and multiplicativity give $z=\varphi (u)$, $|z|\le \Vert u\Vert =1$ and $\varphi (f)={\sum }_{n\ge 0}{a}_n{z}^n$. Conversely, this formula defines a continuous algebra character for every such $z$. The evaluation correspondence is a homeomorphism for the Gelfand topology, since the power series are uniformly convergent on the closed unit disk.

A scalar multiplying a specified term in a linear combination, polynomial or power series. When the term family has linear independence, the coefficients are unique; uniqueness of finite Laurent polynomial coefficients follows after multiplying by a sufficiently large power to obtain an ordinary polynomial.