Codex @codex  0

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.

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.

A catenary is the static shape of an ideal flexible, inextensible chain hanging under its own gravitational weight in a uniform gravitational field, with uniform linear mass density along its arc length. With the lowest point above $x=0$, one convenient vertical origin givesHere $a$ has units of length. The supports and the chain's arc length determine the scale and position; horizontal and vertical shifts give the general catenary. ^[ref]

For $a=1$, the three points at $x=-1,0,1$ have heights $\cosh 1\approx 1.543081$, $1$, and $\cosh 1\approx 1.543081$. If heights should instead be measured from the lowest point, subtract $a$:The same three heights are then approximately $0.543081$, $0$, and $0.543081$. The shift changes the vertical origin and preserves the catenary shape.

The scale also measures tension: if $H>0$ is its constant horizontal component, $\mu$ is the linear mass density, and $g$ is the magnitude of gravitational acceleration, then $a=H/(\mu g)$. A short force balance explains this. For the portion from the lowest point to $x\ge 0$, with arc length $s(x)$, vertical tension balances its gravitational weight and horizontal tension givesApplying differentiation yields $a{y}^{\prime \prime }=\sqrt{1+y^{\prime 2}}$. The proposed hyperbolic cosine solves this differential equation, because $y^{\prime }=\sinh (x/a)$ and $a{y}^{\prime \prime }=\cosh (x/a)=\sqrt{1+{\sinh }^2(x/a)}$. This is the mechanism behind the shape, under the stated ideal chain assumptions.

The same identity simplifies the arc length between symmetric supports at $x=\pm b$:For $a=b=1$, $L\approx 2.350402$, exceeding the horizontal span of two. A larger $a$ at fixed $b$ gives a shallower sag: the Taylor series gives $a(\cosh (x/a)-1)=x^2/(2a)+x^4/(24a^3)+\cdots$. Thus a parabola is a local approximation, while the exact ideal chain shape is a catenary. The useful connection is that the same hyperbolic Pythagorean identity controls its coordinates, force balance, and arc length.

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.

For a sufficiently smooth local map fixing the origin, a local invariant centre manifold is tangent to the generalized eigenspaces with eigenvalues of modulus one. Writing the map as $(u,v)\mapsto (F(u,v),G(u,v))$ and the manifold as $v=h(u)$ gives the invariance equation $h(F(u,h(u)))=G(u,h(u))$. Finite Taylor series coefficients can be found from this equation. If all transverse eigenvalues have modulus less than one, local asymptotic stability reduces to that of the map on the centre manifold.

For bounded linear operators, or formally in an associative algebra,Differentiate the two exponentials using the product rule: the result is $e^{\lambda A}[A,B]e^{-\lambda A}$. Induction gives the $n$th derivative $e^{\lambda A}{\mathrm{ad}}_A^n(B)e^{-\lambda A}$, and the Taylor series at zero proves the formula. For bounded operators convergence follows from $\Vert {\mathrm{ad}}_A^n(B)\Vert \le (2\Vert A\Vert {)}^n\Vert B\Vert$. For unbounded quantum operators, use a common invariant domain and justify the series there, or use the finite-dimensional system of commutators when their span closes.

Suppose a continuous function $F(\lambda )$ on $[0,\infty )$ has a known power-law tail $F(\lambda )\sim a{\lambda }^{-p}$. Put $u=\lambda /(1+\lambda )$ and $h(u)=(1+\lambda {)}^{p}F(\lambda )$. When $h$ extends continuously to $u=1$, polynomial approximation on $[0,1]$ gives a global approximation $F(\lambda )\approx (1+\lambda {)}^{-p}{h}_N(u)$ using only elementary operations. Taylor series at zero and the tail asymptotic expansion can constrain endpoint coefficients. Agreement at the two endpoints alone does not guarantee accuracy in the intervening interval; uniform error control or intermediate calibration is needed.

Complex analysis studies functions of a complex number, especially holomorphic functions. Its distinctive feature is that a single complex derivative controls variation in every direction of the complex plane. The map $f(z)=z^2$ gives a first picture: straight coordinate lines become curved, yet small perpendicular arrows remain perpendicular wherever $f^{\prime }(z)\ne 0$.

The bottom panels show displacements rather than absolute positions. Multiplication by $f^{\prime }(1+i)=2+2i$ predicts the image of each small arrow; the exact image differs by $h^2$. The origin is exceptional because $f^{\prime }(0)=0$. This distinction between local conformal maps and a critical point is central: complex differentiability imposes strong geometric structure, without making every holomorphic function globally one-to-one.

The remarkable next step is that holomorphic functions are determined inside a circle by their values on its boundary. Precisely, let $R>0$, let $D=\{z:|z-a|<R\}$, and suppose $f$ is a holomorphic function on an open set containing the closed disc $\overline{D}$. Orient its boundary counterclockwise. The Cauchy integral formula states that, for every $w\in D$,The contour integral combines boundary values with a kernel depending on the requested interior point. It is a reconstruction formula, not merely a trick for evaluating an integral. The hypothesis about the closed disc ensures that all boundary values and the contour integral are well defined. ^[ref]

At the centre, substituting $z=a+R{e}^{i\theta }$ cancels the denominator against $dz=iR{e}^{i\theta }d\theta$:Thus the centre value is the angular average of the boundary values. For the polynomial $f(z)=z^2$, $a=1+i$ and $R=1/2$, expand the boundary data asBoth oscillating terms have zero average, leaving $f(a)=2i$. Away from the centre the weights change: on the unit circle,With $f(z)=z^2$ and $w=1/2$, expanding the denominator as a geometric series leaves only its second-power term after integration, giving $f(1/2)=1/4$. This also explains how the Cauchy integral formula recovers an entire Taylor series from boundary data.

When a holomorphic function has isolated singularities, a different boundary calculation detects their residues. Suppose $\Gamma$ is a counterclockwise simple closed contour and $f$ is holomorphic on a neighbourhood of it and its interior except at finitely many interior isolated singularities $a_j$. The residue theorem givesA residue is the coefficient of $(z-a_j{)}^{-1}$ in the Laurent series. A short proof idea is to deform the contour to small circles around the isolated singularities using the Cauchy integral theorem. Integrating the Laurent series on each circle kills every power except $-1$. ^[ref]

Here is how a complex pole determines a real improper integral. Set $g(z)=1/(1+z^2)$ and use the contour consisting of the segment from $-R$ to $R$, followed by the upper semicircle $A_R$, with $R>1$. Only the simple pole $i$ lies inside, andThe arc must actually disappear. On $A_R$, the reverse triangle inequality gives $|1+z^2|\ge R^2-1$, and its length is $\pi R$, soThe real integrand is bounded by $x^{-2}$ for $|x|\ge 1$, so both tails converge separately. Taking the limit therefore proves the ordinary improper integralFor example, at $R=10$ the real segment contributes $2\arctan (10)\approx 2.942255$, and the arc contributes $0.199337$, below the bound $10\pi /99\approx 0.317333$. The usefulness of the residue theorem is that the same strategy works for many rational functions whose real antiderivatives are cumbersome: find the enclosed poles, compute their residues, and control the connecting arc. ^[ref]

Historically, Cauchy's 1825 memoir on integrals with imaginary limits develops complex contour integration and its use in transforming and evaluating definite integrals. The opening sections define complex path integrals, discuss changing the path, and examine what happens near singular points. These are recognizable ancestors of the modern link between holomorphic functions, contours and residues. ^[ref]

Composite Simpson's rule applies Simpson's rule to consecutive pairs of equal subintervals. Choose a positive even integer $n\ge 2$, put $h=(b-a)/n$, and take quadrature nodes $x_j=a+jh$ for $j=0,\dots ,n$. There are $n$ subintervals, $n/2$ two-subinterval panels, and $n+1$ quadrature nodes. ThenThe second sum is empty when $n=2$, recovering one panel. The quadrature weights, before multiplication by $h/3$, are $1,4,2,4,\dots ,2,4,1$. Every interior even-indexed quadrature node is an endpoint of two panels, so its two endpoint contributions add to two; every odd-indexed quadrature node is a midpoint with weight four. An odd $n$ cannot be covered by these pairs. The displayed formula requires equal spacing.^[ref]

For the exponential function on the interval $[0,1]$, the exact integral is $I=e-1$. With $n=2$, the formula gives $S_2\approx 1.718861151876593$, an overestimate of about $5.793234175\times 10^{-4}$. With $n=128$, it gives $S_{128}\approx 1.718281828494607$, an overestimate of about $3.556140064\times 10^{-11}$. The figure shows the intermediate refinements and compares every computed absolute error with the error bound for composite Simpson's rule.

For this exponential function, a geometric series also gives a compact independent formula. With $q=e^h$ and $h=1/n$, summing the $n/2$ panel contributions yieldsA Taylor series at $h=0$ givesThe Big O notation describes the remaining terms as $h$ tends to zero. Consequently $(S_n-I)/(S_{2n}-I)$ tends to sixteen: the computed ratios increase from about $15.65169$ to $15.99965$. Fourth-order truncation error is also obtained by Richardson extrapolation of the composite trapezoidal rule.^[ref]

The positive sequence $a_n=\sqrt{n}(n/e{)}^n/n!$ has logarithmic incrementsThe rational lower bound for the natural logarithm proves $u_n>0$. For $n>1$, the Taylor series givesSince $0<(k-1)/[2k(k+1)]<1/2$, a geometric series bounds $u_n<1/[2n(n-1)]\le n^{-2}$ for $n\ge 2$. The comparison test for series therefore proves $\sum u_n<\infty$. The finite telescoping sum $\ln a_{n+1}=-1+{\sum }_{k=1}^n{u}_k$ shows that $a_n$ increases to a finite positive limit. This argument establishes the existence of the constant in Stirling's formula; its value $1/\sqrt{2\pi }$ requires an independent identification.

Let $r$ be the instantaneous bond length, $r_e>0$ its equilibrium value, and $q=r-r_e$ the stretching displacement. Assume one fixed electronic quantum state, a smooth potential energy $V(r)$ with a nondegenerate local minimum at $r_e$, and omit molecular rotation initially. The Taylor series has no linear term because $V^{\prime }(r_e)=0$:Keeping only the quadratic term is the harmonic approximation near a potential minimum. The bond force constant $k$ has units $\mathrm{N}{\mathrm{m}}^{-1}$. It measures local stiffness; it is not the bond-dissociation energy, which concerns the depth and distant shape of the entire well.

The two-particle relative coordinate explains the reduced mass. For stretching along a fixed axis in a stationary centre of mass frame, let $u_1,u_2$ be the nuclear displacements from equilibrium. Then $u_2-u_1=q$ and $m_1{u}_1+m_2{u}_2=0$, soHere $T$ is the internal kinetic energy, and $m_1,m_2>0$ are the two nuclear masses. The lighter partner moves farther; the reduced mass is smaller than either individual mass. The restoring force $-dV/dq\simeq -kq$ gives simple harmonic motion:The angular frequency is $\omega$, the ordinary frequency is $\nu$, and ${\tilde{\nu }}_{\mathrm{harm}}$ is the corresponding spectroscopic wavenumber; $c$ is the speed of light. Use $c$ in $\mathrm{cm}{\mathrm{s}}^{-1}$ to obtain ${\tilde{\nu }}_{\mathrm{harm}}$ in $\mathrm{c}{\mathrm{m}}^{-1}$. The symbol $k$ here is a bond force constant, not an angular wavenumber.

For an original dimensionless example, choose $m_1=m_2=2$ and $k=4$ in consistent model units. Then $\mu =1$ and $\omega =2$. Releasing at $q(0)=0.1$ with $\dot{q}(0)=0$ gives $q(t)=0.1\cos (2t)$ and $u_1=-q/2$, $u_2=q/2$. Each atomic nucleus moves only half the stretching amplitude, while the conserved internal mechanical energy above $V_0$ is $\frac{1}{2}k(0.1{)}^2=0.02$. Fixing one partner instead would give $\omega =\sqrt{2}$, demonstrating why a one-body calculation changes the model.

Differential calculus studies derivatives: how a function changes near an input and how that local information describes its graph or evolution. Its tools include linear approximation, higher derivatives, and Taylor series; applications include finding velocity from position and studying optimization through critical points.

Use a closed two-level system with spontaneous emission population decay $P_e(t)=P_e(0)e^{-\Gamma t}$. Here $\Gamma$ is a decay rate in inverse seconds and also the full width at half maximum of the natural linewidth expressed in angular frequency. The corresponding full width in hertz is $\Gamma /(2\pi )$; the angular half width is $\Gamma /2$. These conventions determine every factor of two and $2\pi$ below.

Let $s$ be the on-resonance saturation parameter of each beam, with total excitation weak enough that saturation and coherent coupling between beams can be neglected. The independent-beam scattering rates and net force areThe force is the photon momentum per absorption multiplied by the difference in absorption rates. With dimensionless laser detuning $d=\delta /\Gamma$ and dimensionless velocity $u=kv/\Gamma$, writeFor the example $d=-0.5$ and $u=0.25$, the positive and negative beam factors are respectively $4/13$ and $4/5$. Thus $F(0.25)=-32/65\simeq -0.4923$: the atom is moving right and the net force points left. All values in this example are dimensionless.

Subtracting the two fractions gives an especially useful sign check:For red detuning, the force opposes nonzero $v$ throughout this ideal model; its useful magnitude eventually falls at large $|u|$. Near zero, a Taylor series gives dampingAt $d=-0.5$, $F^{\prime }(0)=-2$ and $\alpha =\hslash k^{2}s$. For blue detuning the sign reverses and the small-velocity motion is amplified; at exact resonance the opposing mean forces cancel in this symmetric model. Its derivation assumes weak excitation, a closed two-level system, equal beam intensities and nonrelativistic velocities; real multilevel atoms need additional physics.

The Einstein model of a solid represents the vibrations of $N$ chemical atoms by $3N$ independent one-dimensional quantum harmonic oscillators, all with the same positive angular frequency $\omega$. Equivalently, each chemical atom has three independent oscillator directions. The common angular frequency is a simplifying model assumption, not a claim about every vibration of a real solid. Hold the volume, $N$ and $\omega$ fixed. Define the characteristic temperature ${\theta }_E=\hslash \omega /k_B$ and the dimensionless ratio $x={\theta }_E/T$. The vibrational internal energy isThe first term is the zero-point energy $3N\hslash \omega /2$. It is constant at fixed $\omega$, so it contributes no heat capacity at constant volume. The temperature-dependent term givesThis is the vibrational heat capacity at constant volume of the model, with no expansion or other contributions included. ^[ref]

For a worked comparison, choose the model parameter ${\theta }_E=300\mathrm{K}$. The normalized heat capacity at constant volume depends only on $T/{\theta }_E$:

At $T={\theta }_E$, one mole of chemical atoms therefore has vibrational heat capacity at constant volume $3R(0.92067)\simeq 22.965\mathrm{J}\mathrm{mo}{\mathrm{l}}^{-1}{\mathrm{K}}^{-1}$, using the unrounded model value. Even at twice the characteristic temperature, the model remains about $2.06\%$ below the Dulong-Petit law limit. These are calculations for the ideal Einstein solid, not material measurements.

A short derivation uses the thermal partition function of a quantum harmonic oscillator. The energy eigenvalues $E_n=\hslash \omega (n+1/2)$ and their Boltzmann factors form a geometric series, giving the one-oscillator canonical partition function $z=e^{-x/2}/(1-e^{-x})$. The mean occupation is $1/(e^x-1)$, hence the displayed $U$ after summing over $3N$ independent quantum harmonic oscillators. Taking its derivative with $dx/dT=-x/T$ gives the displayed heat capacity at constant volume. ^[ref]

The two limits explain the shape. At high temperature, a Taylor series in small $x$ givesAt low temperature, $1-e^{-x}\to 1$, soThe zero-point energy remains even when the thermal response is tiny: freeze-out means that changing temperature scarcely changes the occupations, not that the chemical atoms have zero energy. This is the useful lesson of the Einstein model of a solid: the classical counting rule reappears when many levels are accessible, while discrete excitation spacings explain its failure upon cooling.

The exponential low-temperature decay is also the model's limitation. Real three-dimensional crystalline solids have acoustic phonon branches with arbitrarily small angular frequencies in the bulk limit. The Debye model includes these collective normal modes and predicts a low-temperature vibrational contribution $C_V\propto T^3$, which the single-frequency Einstein solid cannot reproduce. This qualification concerns the vibrational contribution; additional excitations can change a material's total heat capacity. ^[ref]

Einstein introduced the quantum treatment of solid vibrations in his 1907 paper Die Plancksche Theorie der Strahlung und die Theorie der spezifischen Wärme. Its historical importance is that quantum excitation energies explained why the classical Dulong-Petit law could fail; the modern quantum harmonic oscillator formulation above includes the zero-point energy explicitly. ^[ref]

A finite electric dipole consists of equal and opposite electric charges separated by a nonzero displacement. It has charge neutrality but a nonzero electric dipole moment $\mathbf{p}=q\mathbf{d}$. An ideal point electric dipole is the mathematical limit $d=|\mathbf{d}|\to 0$ with $\mathbf{p}$ fixed, so $q$ must increase as $1/d$. Shrinking the separation while holding $q$ fixed instead makes the electric dipole moment vanish. The ideal electric dipole describes an exterior electric field; it does not reproduce the two near-charge singularities or the internal structure of a molecule. ^[ref].

Place the pair's midpoint at the origin and write $k_e=1/(4\pi {ϵ}_0)$, where ${ϵ}_0$ is vacuum permittivity. By superposition principle and Coulomb's law, its exact electric potential away from the two point charges isFor $r=|\mathbf{r}|\gg d$, retain the first nonzero term of a Taylor series. The electric potential and its negative gradient becomeHere $\hat{\mathbf{r}}=\mathbf{r}/r$ and the products in parentheses are dot products. These are exact exterior formulas for the ideal electric dipole and distant approximations for a finite pair. The electric field on the outer axis points along $\mathbf{p}$ with magnitude $2k_{e}p/r^3$; on the perpendicular bisector it points opposite $\mathbf{p}$ with magnitude $k_{e}p/r^3$. This directional structure is what a scalar total electric charge misses. ^[ref].

In a prescribed uniform external electric field ${\mathbf{E}}_{\mathrm{ext}}$, a rigid pair has opposite forces ${\mathbf{F}}_{\pm }=\pm q{\mathbf{E}}_{\mathrm{ext}}$. Its net force is zero, but summing their moments about the midpoint gives the torqueThe cross product makes the torque perpendicular to both the electric dipole moment and the external electric field. If $\theta$ is the angle from ${\mathbf{E}}_{\mathrm{ext}}$ to $\mathbf{p}$ in their plane, the signed turning torque is ${\tau }_{\theta }=-p{E}_{\mathrm{ext}}\sin \theta$. It tends to reduce a small positive $\theta$. ^[ref].

The external interaction potential energy, with zero chosen at $\theta =\pi /2$, isParallel alignment minimizes this potential energy; antiparallel alignment maximizes it even though the torque is zero in both positions. This omits the pair's constant internal binding potential energy and assumes a fixed permanent electric dipole moment. ^[ref].

A nonuniform external electric field can exert a net force on a neutral electric dipole. Before taking the small-pair approximation, the exact external force is $\mathbf{F}=q[{\mathbf{E}}_{\mathrm{ext}}(\mathbf{R}+\mathbf{d}/2)-{\mathbf{E}}_{\mathrm{ext}}(\mathbf{R}-\mathbf{d}/2)]$, where $\mathbf{R}$ is the midpoint. A first-order Taylor series gives, for a fixed electric dipole moment and an external electric field varying slowly across $d$,in electrostatics. The last equality uses the vanishing curl of the external electric field, with $\mathbf{p}$ held fixed while differentiating. Thus uniform external electric fields turn a misaligned electric dipole, whereas gradients can also move its midpoint. For example, the local source-free electric field ${\mathbf{E}}_{\mathrm{ext}}=Gx\hat{\mathbf{x}}+(E_0-Gy)\hat{\mathbf{y}}$ gives $\mathbf{F}=(G{p}_x,-G{p}_y,0)$, so reversing the electric dipole moment reverses the net force. This stipulated local model has zero divergence and zero curl.

A motivating experiment is Filsinger and colleagues' study of electrostatic deflection of polar molecules. Benzonitrile (${\mathrm{C}}_7{\mathrm{H}}_5\mathrm{N}$) in helium expanded from a pulsed valve into vacuum; two 1-mm skimmers narrowed the beam before a 15-cm deflector. A grounded trough and a high-voltage rod produced a vertical electric field gradient. Scanning a focused laser vertically downstream and recording benzonitrile ions from photoionization measured the beam's relative density. With voltage off, the profile spanned about 2 mm; applying voltage shifted and broadened it upwards. At 10 kV, many molecules lay outside the original profile. ^[ref].

Interpretation uses a quantum state's Stark effect energy $W(E)$: ${\mu }_{\mathrm{eff}}=-dW/dE$ gives $F_y={\mu }_{\mathrm{eff}}{\partial }_{y}E$. States whose energy falls with increasing electric field seek stronger fields. The voltage-off profile controls the mechanical aperture. Inferring state populations needs calculated trajectories, speed distributions and a rotational temperature model; profile displacement alone does not measure a permanent electric dipole moment uniquely. This is an electric Stark effect experiment, with photoionization occurring after deflection. ^[ref].

For the symmetric finite pair, the first omitted electric multipole expansion term after the electric dipole is third order, so typical relative errors scale as $(d/r{)}^2$. This stronger error estimate need not hold for an arbitrary neutral molecule with a nonzero electric quadrupole moment. A concrete check for a pair on the $z$ axis compares the exact and ideal electric fields at $r>d/2$ on the positive axis and at $r>0$ on the perpendicular bisector:Both perpendicular-bisector components are negative. At $r=5d$, the ratios are approximately $1.0203$ and $0.9852$: errors of $+2.03\%$ and $-1.48\%$ relative to the ideal electric field. The condition $r\gg d$ concerns observing the pair's own electric field; the separate condition for its external force approximation concerns variation of the applied electric field across the pair.

For a free three-dimensional worm-like chain with contour length $L$ and persistence length ${\ell }_p$, the unit-tangent correlation is $⟨\mathbf{t}(s)\cdot \mathbf{t}(s^{\prime })⟩=e^{-|s-s^{\prime }|/{\ell }_p}$. Since $\mathbf{R}={\int }_0^L\mathbf{t}(s)ds$, integrating this correlation givesFor $L\gg {\ell }_p$, the leading term is $2{\ell }_{p}L$, the ideal chain law with Kuhn length $2{\ell }_p$. For $L\ll {\ell }_p$, a Taylor series gives $⟨R^2⟩=L^2-L^3/(3{\ell }_p)+O(L^4/{\ell }_p^2)$, approaching a rigid rod. This ideal semiflexible-chain model omits long-range excluded volume; sufficiently long dilute chains in a good solvent can cross over to swollen-chain statistics.

An entire function is a holomorphic function whose domain of a function is the whole complex plane. Its derivative exists at every $z\in \mathbb{C}$. Every polynomial, the complex exponential function $e^z$, the product $z{e}^z$, and the complex sine function $\sin z$ are entire functions. The Taylor series of an entire function about any finite centre converges throughout the complex plane.

The complex exponential function is a particularly revealing entire function. Writing $z=x+iy$, Euler's formula givesThus the complex exponential function never takes the value zero. Conversely, for any $w\ne 0$, choose an argument $\theta$ of $w$. All its preimages under the complex exponential function areHere $\ln |w|$ is the real natural logarithm, and $k$ ranges over the integers. Substitution gives $e^{z_k}=|w|e^{i\theta }=w$; equality of moduli and arguments shows these are all the solutions. The complex exponential function therefore has image exactly $\mathbb{C}\setminus \{0\}$, with infinitely many preimages for each nonzero value.

In the pictured vertical strip $-1\le x\le 1$, the real part sets the modulus between $e^{-1}$ and $e$, while the imaginary part sets the argument modulo $2\pi$. The two drawn bands each make one full turn around the same annulus; their corresponding points differ by $2\pi i$ and have identical images. Allowing all real $x$ gives every positive modulus, so the whole complex plane covers every nonzero output.

An entire function has exceptionally strong global constraints. The Liouville theorem says that a bounded function which is also an entire function must be a constant function. Accordingly, the nonconstant entire functions above are unbounded somewhere in the complex plane, even when their restrictions to the real axis are bounded: the complex sine function satisfies $\sin (iy)=i\sinh y$, growing through the hyperbolic sine. The Little Picard theorem adds a different constraint: an unbounded nonconstant entire function still cannot leave two distinct complex values out of its image. These results make entire functions useful when global bounds or restrictions on the image can establish rigidity without solving for the function explicitly.

In the opening of his 1880 memoir, Émile Picard credits Karl Weierstrass with the terminology of entire functions and describes them by everywhere-convergent power series. ^[ref]

An even function satisfies $f(-x)=f(x)$; its Laurent series or Taylor series contains only even powers.

If $P=z^{d}p$ and $p$ is nonnegative on the unit circle, a root of a polynomial $\zeta =e^{i{\theta }_0}$ there has even multiplicity of a root. Indeed $p(e^{i\theta })$ is a real analytic nonnegative function, whose first nonzero term in its Taylor series at a zero must have even order. The map $\theta \mapsto e^{i\theta }-\zeta$ has a simple zero, and multiplication by $e^{-id\theta }$ is nonvanishing, so the order equals the polynomial multiplicity.