For a standardized iid sum with a regular Edgeworth expansion, the first distribution correction is proportional to $\varphi (t)(t^2-1)$ and is even. Subtracting the two endpoint distribution functions therefore cancels the $n^{-1/2}$ contribution. Fixed symmetric pivot cutoffs can consequently have $O(n^{-1})$ coverage error even though each one-sided approximation has error $O(n^{-1/2})$. This cancellation does not automatically hold for asymmetric or estimated random cutoffs.

Use the rational principal-parts resolution on an algebraic curve to represent a class by finitely many rational differential principal parts. Sum their algebraic residues of a rational differential. The sum of residues of a global rational differential is zero: trace to the projective line, where partial fractions prove the assertion. Hence the sum descends to cohomology. Pairing an invertible sheaf with its differential-valued dual gives the perfect Serre duality pairing. Since the global regular functions on an integral projective curve over an algebraically closed field are $k$, evaluation at the constant function $1$ identifies this trace canonically with an isomorphism to $k$.

The elapsed-time $h>0$ transition distribution of a driftless square-root diffusion starting at $x$ is the compound Poisson distributionwhere all variables on the right are independent and the empty sum is zero. Here the exponential distribution parameter is its rate. The Laplace transform of this sum iswhich is the Laplace transform of the driftless square-root diffusion; uniqueness of the Laplace transform proves the distributional identity. In particular, for $0\le v<2/h$, the exponential moment isFor $x>0$ this exponential moment is infinite when $v\ge 2/h$, since the event $N=1$ has positive probability and one exponential jump already has an infinite moment there. At $x=0$ the process remains zero and every such moment is one.

In a circular binary star let the donor star lose mass ${\dot{M}}_1<0$, with constant retained fraction $f$ and ${\dot{M}}_2=-f{\dot{M}}_1$. A donor star stellar wind escaping with the donor star's orbital specific angular momentum has $\dot{J}/J=(1-f){\dot{M}}_1{M}_2/[M_1(M_1+M_2)]$. Differentiating $J=G^{2/3}(P_{\mathrm{orb}}/2\pi {)}^{1/3}{M}_1{M}_2(M_1+M_2{)}^{-1/3}$ and using this loss law givesFor constant $f$ this integrates to $P_{\mathrm{orb}}{M}_1^{3f}{M}_2^3(M_1+M_2{)}^2=\mathrm{constant}$. If $f$ varies, the differential relation remains valid but the first factor must be replaced by $\exp (3\int fd\log M_1)$; treating a time-dependent exponent as a fixed power introduces an extra $\dot{f}\log M_1$ term.

Iteration of the pricing Euler equation givesThe displayed fundamental price follows when the future dividend series is integrable and ${\mathbb{E}}_t[{\zeta }_N{S}_N]\to 0$. Without this dividend-price transversality condition, a deflated price martingale component can survive. For individual holdings, the analogous terminal term is $\mathbb{E}[{\zeta }_N{S}_N{\theta }_{N+1}]$. Telescoping the discrete dividend budget equation gives the initial wealth cost of consumption minus this terminal term; its vanishing is needed for budget equality.

Nematic splay describes local spreading or convergence of the nematic director field. Its leading elastic cost is quadratic in the divergence and invariant under the head-tail identification $\mathbf{n}\sim -\mathbf{n}$.

Nematic twist rotates the nematic director around an axis perpendicular to it. The helix $\mathbf{n}=(\cos qz,\sin qz,0)$ has zero nematic splay and nematic bend, and twist density $K_2{q}^2/2$.

Nematic bend curves the integral lines of the nematic director. For a unit field, $(\mathbf{n}\cdot \nabla )\mathbf{n}=-\mathbf{n}\times (\nabla \times \mathbf{n})$, so the bend energy measures curvature along those lines.

For a laterally uniform nematic director $(\cos \theta \cos \varphi ,\cos \theta \sin \varphi ,\sin \theta )$, its divergence is $\cos \theta {\theta }^{\prime }$ and its twist invariant is $-{\cos }^2\theta {\varphi }^{\prime }$. Thus $f=K_1{\cos }^2\theta +K_3{\sin }^2\theta$ and $g=K_2{\cos }^4\theta +K_3{\sin }^2\theta {\cos }^2\theta$. A normal electric field contributes $-c{\sin }^2\theta$. The Euler-Lagrange equations for two fields are $(g{\varphi }^{\prime }{)}^{\prime }=0$ and $f{\theta }^{\prime \prime }+f_{\theta }{\theta }^{\prime 2}/2-g_{\theta }{\varphi }^{\prime 2}/2+2c\sin \theta \cos \theta =0$.

Assume a passive disk has local isothermal sound speed squared $c_s^2=aT$, disk scale height $H=c_s/{\Omega }_K$, and irradiated height $z_s=fH$ with constant $f$. Its irradiation grazing angle of a disk and Stefan–Boltzmann law give $q^{\prime }=C{q}^8/R^3$ for $q=z_s/R$, where $C=4\pi \sigma (GM/a{)}^4/(L_{\ast }{f}^8)$. Integrating gives $q^{-7}=R_0^2/R^2+B$, with $R_0^2=7C/2$. Where the first term dominates and the thin disk assumptions hold, $q\simeq (R/R_0{)}^{2/7}$, $H\propto R^{9/7}$ and $T\propto R^{-3/7}$. The law cannot be extrapolated into a geometrically thick region using the same grazing-angle approximation.

On a spin manifold, tensor the spinor bundle $S$ with a Hermitian vector bundle $W$ carrying a unitary connection. Composing the induced tensor-product connection on a vector bundle with Clifford multiplication defines the twisted Dirac operator. In even dimension it maps $S^{+}\otimes W$ to $S^{-}\otimes W$ and conversely. On a closed manifold its chiral restriction $D_W^{+}:H^1(S^{+}\otimes W)\to L^2(S^{-}\otimes W)$ is a Fredholm operator.

For a Twisted Dirac operator on a closed even-dimensional spin manifold, the theorem identifies its analytic Fredholm index with the integral of the top-degree part of the A-hat form times the Chern character. This is one geometric specialization of the general theorem for elliptic differential operators, which expresses the analytic index in terms of the topological class of the principal symbol. The heat proof pairs all positive eigenvalues by the odd Dirac operator, leaving only the index in the supertrace; Getzler rescaling computes its local limit from curvature.

For the oriented round unit two-sphere, positive and negative spinor bundles have degrees $-1,+1$. Its Dirac operator has $D^2=C+1/4$ on their homogeneous sections, where $C$ is the angular-momentum Casimir operator; the eigenvalues of $D$ are the nonzero integers. Therefore the chiral phase is a unitary between the two L2 chiral spaces, commuting with $SU(2)$. For a smooth function $f$, $[D,f]=c(df)$ is bounded. The sign-operator resolvent integral expresses its phase commutator as a norm-convergent integral of compact resolvent products bounded by a constant times $(1+t^2{)}^{-1}$. Thus it intertwines multiplication by every continuous function modulo compacts. Its full graded phase is self-adjoint; the chiral phase is the component relevant to nonzero compressed indices.

An antisymmetric perturbation can split the thresholds of two degenerate mean-field dynamo parity classes. At first order, project the perturbation equation onto the adjoint null mode using the Fredholm alternative. If multiplying the unperturbed complex mode by $i$ leaves the parameter-derivative matrix element unchanged but reverses the perturbation matrix element, the two first-order threshold shifts are equal and opposite.

In a two-hemisphere mean-field dynamo, dipole and quadrupole subspaces can reduce to $\dot{A}=aB-A$, $\dot{B}=bA-B$, with $(a,b)=({\alpha }_0-{ϵ}_1,i\Omega -{ϵ}_2)$ and $({\alpha }_0+{ϵ}_1,i\Omega +{ϵ}_2)$ respectively. Their eigenvalues satisfy $(\lambda +1{)}^2=ab$. Strict decay is equivalent to $\mathrm{Re}(ab)+[\mathrm{Im}(ab){]}^2/4<1$. Thus dipole decay requires $F_d<1$, while quadrupole decay requires $F_q={\Omega }^2({\alpha }_0+{ϵ}_1{)}^2/4+{ϵ}_2({\alpha }_0+{ϵ}_1)<1$. Their difference is $F_q-F_d={\alpha }_0({\Omega }^2{ϵ}_1+2{ϵ}_2)$, which selects the first unstable parity when starting from a state stable in both subspaces.

Let $f:X\to Y$ be a proper morphism of irreducible algebraic varieties with equal dimension. If some fibre has an isolated point, its corresponding irreducible component has dimension zero. Apply the fiber dimension theorem to $X\to f(X)$: $0\ge \dim X-\dim f(X)$. Thus the closed image has dimension $\dim Y$ and equals $Y$. The incidence proof that a cubic surface contains a line is an application; the entire witness fibre need not be finite.

On a closed connected Riemannian manifold with nonnegative Ricci curvature, harmonic one-forms are parallel under nonnegative Ricci curvature. Evaluation at one point injects their space into the cotangent space. The Hodge decomposition theorem identifies its dimension with the first Betti number, giving $b_1(M)\le \dim M$. For example, a genus-two closed orientable surface times a circle has dimension three and first Betti number five, so no Riemannian metric on that product has nonnegative Ricci curvature.

If the first exciting-field correction at inclusion $i$ is $-\beta {\Lambda }_{i}E/p_i$, its revised polarization is $\beta {\chi }_i(E-\beta {\Lambda }_{i}E/p_i)$. Averaging weights it by $p_i$ and gives the displayed second-reflection approximation. Further dipole reflections and finite-size multipoles are neglected.

Matching the far dipole of a spherical composite with the sum of isolated spherical-inclusion dipoles gives this approximation. Its dilute expansion is $a_0+p\beta +p^2{\beta }^2/(3a_0)+O(p^3)$. The rational expression is a useful closure, not the exact conductivity of every spherical-inclusion microstructure.

A barrier claim paying a fixed cash amount at the first time the stock reaches a higher level, provided this happens before expiry. In the Black-Scholes model, take $a=\log (c/S_0)/\sigma$ and $b=({\sigma }^2/2-\rho )/\sigma$. Its unit-cash price is ${\mathbb{E}}_Q[e^{-\rho T_{a,b}}{1}_{\{T_{a,b}\le T\}}]$, given by truncated discounted Brownian first passage. The effective square root $\sqrt{b^2+2\rho }=|\rho +{\sigma }^2/2|/\sigma$ is real for every real interest rate.