Normal convergence allows termwise differentiation of the defining theta function with characteristics. A tau derivative multiplies a summand by $\pi i(n+\alpha {)}^2$, while its second spatial derivative multiplies it by $-4{\pi }^2(n+\alpha {)}^2$. This proves the displayed heat equation, linking its lattice-sum construction with diffusion and analytic continuation.

Translation of tau by one gives $\theta [\alpha ,\beta ](z,\tau +1)=e^{-\pi i\alpha (\alpha -1)}\theta [\alpha ,\beta +\alpha -1/2](z,\tau )$. Gaussian Poisson summation gives $\theta [\alpha ,\beta ](z/\tau ,-1/\tau )=\sqrt{-i\tau }{e}^{\pi i{z}^2/\tau +2\pi i\alpha \beta }\theta [\beta ,-\alpha ](z,\tau )$. The square root is the holomorphic branch positive at tau=i. These formulas keep the characteristic phase, which is lost if one states only the transformation of unshifted theta constants.

For the binary characteristic convention, each theta function with characteristics has one simple zero per lattice cell. The four zeros of the numerator, at the four half-periods, cancel those of ${\vartheta }_{11}(2z)$. Their quotient is an entire elliptic function, hence constant. Taking the limit at zero determines the factor one half. The product identity remains valid at the zeros, where the initial quotient requires removable extension.

Use the radian spatial convention ${\theta }_3(z,\tau )={\sum }_n{e}^{\pi i{n}^2\tau +2inz}$ and ${\theta }_4(z,\tau )={\theta }_3(z+\pi /2,\tau )$. Their ratio is unchanged by $\pi$ and changes sign under $\pi \tau$. The numerator has simple zeros at $\pi (1+\tau )/2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, while the denominator has simple zeros at $\pi \tau /2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$. The two sets are disjoint, so any period must lie in $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, by translating the zero set. The sign rule then gives the displayed exact lattice. Squaring the ratio removes that sign and has precisely the smaller lattice $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$.

A theta function with characteristics evaluated at spatial argument zero. Its dependence on $\tau \in \mathbb{H}$ remains holomorphic. Among the four half-integer characteristic choices, the odd one vanishes identically, whereas the three even constants are nonzero on the half-plane. The zeros of theta functions with characteristics locate their spatial zero away from the origin. Ratios of equal powers of even constants yield the modular lambda function and other modular-invariant functions.

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.

A purely thermal hydrogen absorption line has velocity-space optical depth proportional to $\exp [-(v-v_0{)}^2/b^2]$ with the displayed width. Additional independent Gaussian broadening contributes positive terms to $b^2$. Fitting the lower envelope of width against neutral-hydrogen column density, with numerical calibration for density and pressure smoothing, estimates the temperature-density relation of photoionized intergalactic gas. A single broad line only bounds the temperature from above when its nonthermal width is unknown.

The thermal diffusion length $\ell (t)=\sqrt{\alpha t}$ is the characteristic length over which thermal conduction changes a temperature distribution during time $t$ in the constant-thermal diffusivity model. It is a scale, not a sharp front or distance travelled at a constant speed: the heat equation has infinite propagation speed mathematically. Different definitions of penetration depth introduce numerical factors. In particular, the normalized one-dimensional heat kernel has spatial variance $2\alpha t$, so its root-mean-square width is $\sqrt{2\alpha t}$.

At $t=10\mathrm{s}$, the model materials have thermal diffusion lengths $4.47$ and $2.24\mathrm{mm}$. For $L=10\mathrm{mm}$ their thermal diffusion times are $50$ and $200\mathrm{s}$. These values describe the same heat equation as the thermal diffusion rate of a Fourier mode; the different numerical factors come from the definition of the scale.

The thermal conductivity tensor maps a temperature gradient to the negative heat-flux density. In passive reciprocal conduction it is symmetric positive definite. This permits direction-dependent transport while ensuring positive dissipated energy.

If a line bundle on $E^3$ is trivial on each zero-coordinate face, its First Chern class vanishes: the integral second cohomology consists of single-factor second cohomology and cross-products of first cohomology from pairs, and each summand is detected on a coordinate face. The holomorphic exponential sequence then puts the bundle in ${\mathrm{Pic}}^0(E^3)$. The decomposition of first cohomology, including Dolbeault cohomology, identifies this group with ${\mathrm{Pic}}^0(E{)}^3$. Triviality on the three coordinate axes makes all three factors trivial. Applying this cube principle to the alternating partial-sum pullbacks proves the usual addition-map Theorem of the Cube.

For a line bundle on an elliptic curve over a number field, the geometric cube identity remains exact as a line-bundle identity. The Weil height machine translates it into the displayed bounded-error identity for a chosen logarithmic height, uniformly on the rational triples. This distinction is essential: arbitrary naive heights do not obey an exact quadratic identity. Dividing the identity for $2^{n}P,2^{n}Q,2^{n}R$ by $4^n$ produces an exact identity for the canonical height of an elliptic curve.

For a covariant rank-two tensor field, pull back by the flow of a vector field $\xi$ and differentiate at zero flow time. Differentiating the evaluation point produces the first term above; differentiating the two coordinate Jacobians produces the remaining terms. In particular this formula gives the change in a metric tensor under an infinitesimal coordinate displacement. A perturbation defined relative to a fixed background consequently transforms as $q_{\mu \nu }\mapsto q_{\mu \nu }-{\mathcal{L}}_{\xi }{\bar{g}}_{\mu \nu }$ in the passive displacement convention. The formula applies to symmetric tensors as well as differential forms; tensor symmetry does not make the antisymmetric differential-form formula its definition.

For $Q^{\alpha \beta \gamma }$, put $S=Q^{(\alpha \beta \gamma )}$, $d_1^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\alpha \beta \gamma }$, $d_2^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \alpha \gamma }$ and $d_3^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \gamma \alpha }$. With ${ϵ}_{12}=1$ and inverse ${ϵ}^{12}=-1$, the two-dimensional alternating identity gives $d_1-d_2+d_3=0$. The inverse decomposition is $Q^{\alpha \beta \gamma }=S^{\alpha \beta \gamma }+{ϵ}^{\alpha \beta }(2d_1^{\gamma }-d_2^{\gamma })/3-{ϵ}^{\alpha \gamma }(d_1^{\beta }+d_2^{\beta })/3$. The symmetric part is the spin-$3/2$ SU(2) representation, and the two independent contractions are spin-$1/2$ representations. This is the spin coupling underlying ground-state three-quark baryons, before the Pauli constraint on three-quark flavour multiplets is imposed.

// Target: quantum-field-theory.bigb

For a planar tensile-crack seismic source, $\theta$ is measured from its normal. The P wave displacement is radial with the first displayed amplitude. The S wave displacement is tangential in the plane containing the observation direction and crack normal, with four alternating signed lobes and nodes at the poles and equator. Both radiative fields depend on the opening rate and vanish once opening stops; the static displacement field depends on the final opening.

Close a three-strand planar tangle and evaluate its reduced Kauffman bracket. The basis $1,e_1,e_2,e_1{e}_2,e_2{e}_1$ has the displayed trace values, with the last value also valid for $e_2{e}_1$. Writing braid generators as $A1+A^{-1}{e}_i$ turns knot-polynomial computations into a five-dimensional algebra calculation.

The Jones-Wenzl idempotent has identity-diagram coefficient one, satisfies $f_n^2=f_n$, and annihilates each adjacent cap-cup generator on either side. With $\delta =-A^2-A^{-2}$ and ${\Delta }_0=1$, ${\Delta }_1=\delta$, ${\Delta }_n=\delta {\Delta }_{n-1}-{\Delta }_{n-2}$, it is constructed recursively by $f_n=F-({\Delta }_{n-2}/{\Delta }_{n-1})F{e}_{n-1}F$, where $F=f_{n-1}\otimes 1$. The required denominators must be nonzero. Its closed bracket trace is ${\Delta }_n=(-1{)}^n[n+1]$.

Choose $f_n(0)=0$ and $f_n^{\prime }(x)=\varphi (nx)$, where $\varphi$ is continuously differentiable, nondecreasing, equal to $-1$ on $(-\infty ,0]$ and $1$ on $[1,\infty )$. Then $f_n^{\prime \prime }\ge 0$ and $0\le |x|-f_n(x)\le 2/n$. For $X=M+A$ with continuous adapted finite-variation $A$, the Itô isometry and Doob L2 maximal inequality give local uniform convergence in probability of the martingale integrals. Dominated convergence against the total-variation measure gives pathwise uniform convergence of the drift integrals. The nondecreasing corrections $\frac{1}{2}\int f_n^{\prime \prime }(X)d[M]$ therefore converge locally uniformly in probability to $|X|-\int {\mathrm{sgn}}_{-}(X)dX$. A subsequence on one probability-one event shows that the limit is continuous and nondecreasing. Localization removes the deterministic bounds used in the argument.

For $a\in [0,1]$,where the endpoint $t=1$ is used directly if $a=0$. Put $L=-\log a$. For $L\le 1/2$, choose $t=2L$ and set $h(L)=\log (2-e^{-L})-L+L^2$. Then $h(0)=h^{\prime }(0)=0$ and $h^{\prime \prime }(L)=2-2e^L/(2e^L-1{)}^2\ge 0$, proving the bound. For $L\ge 1/2$, take $t=1$; the result follows from the already proved boundary case and monotonicity of $2-a$. This estimate closes the section-by-section induction for the exponential Talagrand convex distance moment.

Let the largest last-coordinate section have probability $a$, and another section probability $ar$. Mix mismatch vectors from these two sections with weights $\lambda ,1-\lambda$. Their squared norm is at most $\lambda d_1^2+(1-\lambda )d_2^2+(1-\lambda {)}^2$. Hölder's inequality and induction bound that section's exponential integral by $a^{-1}{\inf }_{\lambda }{r}^{-\lambda }{e}^{(1-\lambda {)}^2/4}$. The scalar estimate for Talagrand product induction makes it at most $(2-r)/a$. Average over sections and use $m(2-m)\le 1$ with $m=\mathrm{Pr}(A)/a$ to close the induction.