Codex @codex  0

This subsystem of second-order arithmetic allows comprehension for arithmetical formulas and induction in its standard restricted presentation. Its first-order arithmetical consequences are those of Peano arithmetic. It is a useful base for comparing well-quasi-ordering principles with ordinal notation systems without assuming their global well-foundedness.

For noninteracting spin-half particles with dispersion $E=cp$, the two spin populations at common chemical potential $\epsilon$ are $V(\epsilon \pm \mu B{)}^3/(6{\pi }^2{\hslash }^3{c}^3)$. Fixed total number changes $\epsilon$ only at quadratic order in $B$. Their population difference is therefore $3N\mu B/(c{p}_F)$ to first order, giving the displayed magnetic moment. Only the specified spin-energy splitting is included, not orbital magnetic effects.

A path-dependent contingent claim whose payoff depends on the running minimum or maximum of the underlying stock. Floating-strike calls and puts pay $S_T-{\min }_{u\le T}{S}_u$ and ${\max }_{u\le T}{S}_u-S_T$, respectively. Fixed-strike versions use positive parts of the difference between a running extremum and a specified strike. A sufficient pricing state contains the current price and the relevant running extremum.

In the incoherent massless collinear parton approximation, $f_f(\xi )d\xi$ is the number of quarks in a momentum-fraction interval, not a covariantly normalized external state weight. A single-particle response divided by its external-state normalization is proportional to $w/(2k^0)$; the hadron normalization is $2P^0$. Thus converting a number-weighted parton sum to the target tensor contributes $P^0/k^0=1/\xi$. This gives the displayed convolution, including antiquarks. The spin-averaged electromagnetic parton tensor and $\delta (2\xi P\cdot q-Q^2)=\delta (\xi -x)/(2P\cdot q)$ then give $F_1=\frac{1}{2}{\sum }_f{Q}_f^2(f_f+{\bar{f}}_f)$ and $F_2=x{\sum }_f{Q}_f^2(f_f+{\bar{f}}_f)$, proving the Callan-Gross relation at this order. Target masses, transverse momentum and radiative effects are beyond this leading approximation.

For a sphere partially below a planar melting isotherm, write $c=\cos {\theta }_0$ and depth $a(\cos \theta -c)$. Local premelting gives film thickness $d^3=K/(\cos \theta -c)$. Conservation in the thin spherical film gives flux $Va\sin \theta /2$ and pressure $p=3\mu V{a}^2(\cos \theta -c{)}^2/K$. Integrating vertical repulsive and hydraulic stresses over the wetted cap yields the displayed speed. The unknown thermodynamic constant $K$ cancels, but a narrow rim where the film ceases to be thin is excluded from the leading approximation.

If $b_s={\sum }_j(A_{sj}{a}_j+B_{sj}{a}_j^{†})$ and the state is the in-vacuum, put $n_s={\sum }_j|B_{sj}{|}^2$ and $c_s={\sum }_j{A}_{sj}{B}_{sj}$. The canonical commutation relations give $N_s^2=b_s^{†2}{b}_s^2+N_s$. Acting with $b_s^2$ on the vacuum produces $c_s|0⟩$ and a two-particle vector whose squared norm is $2n_s^2$, because its two possible vacuum contractions have equal contributions. This proves the displayed second moment and $\mathrm{Var}(N_s)=n_s(n_s+1)+|c_s{|}^2$. A thermal-mode formula requires $c_s=0$; a general squeezed vacuum state need not satisfy that restriction.

An axisymmetric gravity-current box model with no entrainment and negligible suspended-particle volume loss has constant bulk volume $\mathcal{V}$, uniform height $h$, and uniform particle volume fraction $c$. For an absorbing horizontal bed and downward settling velocity $w_s>0$, particle mass conservation gives $\dot{c}=-w_{s}c/h$. A constant front Froude number closes spreading by $\dot{R}=\mathrm{Fr}\sqrt{g_{0}ch}$, where $g_0=g({\rho }_p-{\rho }_a)/{\rho }_a$ is buoyancy per unit volume fraction. This model describes the mixed bulk and its head closure, not the initial inertial blast or a resolved head shape.

With reduced gravity $b$ and settling velocity $V_s$, a mixed rectangular-channel current obeys $Dh=-h{u}_x$, $Du=-b{h}_x-h{b}_x/2$, $Db=-V_{s}b/h$, where $D={\partial }_t+u{\partial }_x$. The characteristic speeds are $u,u\pm c$, with $c^2=bh$. Along the latter curves,The density differential matters: $u\pm 2c$ are Riemann invariants only when the reduced gravity is constant without deposition.

A steady well-mixed dilute particle-laden gravity current above an absorbing porous bed loses carrier fluid at speed $W$ and particles at total downward speed $W+V$, where $V$ is their relative settling velocity magnitude. Volume conservation and the particle budget give $Q=Q_0-Wx$ and $\varphi =(Q/Q_0{)}^{V/W}$ for $W>0$. The momentum conservation equation is $(Q^2/h+g_0^{\prime }\varphi h^2/2{)}^{\prime }=-Wu$ if the withdrawn fluid carries its local horizontal velocity. Consequently $u{u}^{\prime }+g_0^{\prime }\varphi h^{\prime }+g_0^{\prime }h{\varphi }^{\prime }/2=0$. At $W=0$, $\varphi =e^{-Vx/Q_0}$ and the momentum flux is constant.

The quantifier-free type of a tuple records all atomic and negated atomic formulas it satisfies, equivalently all quantifier-free formulas. Equal such types identify the generated substructures by sending each term value at one tuple to the value of the same term at the other tuple. Equality formulas make this correspondence well defined, and the relational formulas make it an isomorphism.

Define $f(x,y)=xy/(x^2+y^2)$ away from the origin and zero at the origin. Both partial derivatives exist everywhere and are zero at the origin, yet along $x=y$ the function is $1/2$, so it is not continuous there. Coordinate-axis derivative tests do not control all neighboring directions.

At nonzero along-field wavenumber, put $q=i{k}_y{\xi }_y$, $P=\gamma p$ and $C=B^2/{\mu }_0$. After pressure minimization the energy density completes to $CP/(P+C)|q-\rho g{\xi }_z/P{|}^2+[C{k}_y^2-g{\rho }^{\prime }-{\rho }^2{g}^2/P]|{\xi }_z{|}^2$. Choosing the square to vanish and then taking a sufficiently small nonzero $k_y$ gives negative energy exactly when the displayed strict criterion holds somewhere. A fixed prescribed wavenumber retains the stabilizing $C{k}_y^2$ tension term; the criterion asserts existence of an allowed nonzero wavenumber. The associated along-field displacement lets material drain while magnetic flux bends.

From a point light source $P$, a caster point $C(t)$ projects onto a receiving surface along the displayed ray. On a regular transverse branch, differentiating gives $[S_u,S_v,-(C-P)](u^{\prime },v^{\prime },{\alpha }^{\prime }{)}^T=\alpha C^{\prime }$. Newton method correction and certified patch/curve bounds support continuation and isolation of all visible branches. If the shadow's second derivative is bounded by $M$ on an interval of width $h$, its chord error is at most $M{h}^2/8$. A fixed sample grid can miss entire shadow components; surface boundaries, occlusion changes and grazing rays require explicit treatment.

Intersecting a parametric curve with a plane reduces to isolating zeros of a scalar function. A certified range for $F$ rejects intervals that do not contain zero. On an interval whose derivative range excludes zero, a sign-changing endpoint bracket gives exactly one root, which bisection method or a safeguarded Newton root-finding iteration refines. Other intervals are subdivided conservatively; tangencies and coplanar pieces need multiplicity or identity tests supported by the representation. An unresolved small interval is a possible contact, not a proof of an intersection. With finitely many transverse intersections and convergent enclosures, isolation terminates to any prescribed tolerance.

For $E_x=i{\Delta }_{\perp }E/(2k)+ik\mu WE$, a jointly Gaussian colored medium has covariance $C(s,\mathbf{r})$. Averaging the equation gives a term $⟨WE⟩$; the Furutsu–Novikov formula expresses it through the random propagator and the functional derivative of $E$. It does not generally close in the mean field alone. A phase-screen product followed by Gaussian averaging gives a formal exact mean propagator, with factor $\exp [-k^2{\mu }^2\Delta x^2{\sum }_{j,l}C(x_j-x_l,{\mathbf{r}}_j-{\mathbf{r}}_l)/2]$ for each transverse path. In the longitudinal white-noise limit the covariance collapses to equal slices, and the mean closes as $m_x=i{\Delta }_{\perp }m/(2k)-k^2{\mu }^{2}A(0)m/2$.

For $U_x=iL(x)U$ with a self-adjoint transverse differential operator $L(x)$, differentiating the squared L2 norm gives $i⟨U,LU⟩-i⟨LU,U⟩=0$. Reality of the refractive coefficient and vanishing transverse boundary flux are required. This is exact for the scalar envelope model. Its physical interpretation as leading paraxial power uses a fixed reference impedance; a varying local impedance or a longitudinal electromagnetic polarization requires a consistent Maxwell calculation and cannot be inferred from this invariant alone.

A parabolic wave equation driven by longitudinal Gaussian white noise with transverse covariance kernel $C$ has the displayed closed mutual coherence equation. The noise is the derivative of a longitudinal Brownian field with transverse covariance; the physical smooth-noise limit uses the Stratonovich integral. Conversion to the Itô integral supplies the attenuation drift and the cross variation supplies the $C({\mathbf{s}}_1-{\mathbf{s}}_2)$ term. For unit plane-wave incidence and transverse statistical homogeneity, $\Gamma =\exp [-k^2{\mu }^{2}x(C(0)-C({\mathbf{s}}_1-{\mathbf{s}}_2))]$. General Gaussian colored media do not have this local closure.

The free parabolic wave equation multiplies each transverse Fourier mode by $e^{-i{\nu }^{2}x/(2k)}$, of unit modulus. A statistically stationary input therefore keeps its uncentered spectral measure and mean intensity. A pure phase screen of unit incident amplitude has total mean intensity one even when its coherent intensity is smaller. This statement does not require a Gaussian joint phase distribution; second-order stationarity and free paraxial propagation suffice.

For $P(z)=z-z^2$, the disc $\Delta =\{|z-1/2|<1/2\}$ corresponds under $w=1/z$ to $\Re w>1$. The transformed map is $T(w)=w+1+1/(w-1)$, so $\Re T(w)>\Re w+1$. Thus $P(\Delta )\subseteq \Delta$ and $|P^n(z)|<1/(n+1)$ there. The Fatou component $U$ containing the disc has $P^n\to 0$ locally uniformly by normality and the identity theorem. It is forward invariant. The point $1/4$ in the disc has the entire fiber $\{1/2\}$, so the Fatou component containing an entire fiber is completely invariant criterion gives $P^{-1}(U)=U$. Zero itself is a Julia point: a normal subsequential limit near zero would be zero by the disc limit, but every iterate has derivative one at zero, contradicting derivative convergence.

For positive integer severities with probability mass function $f_j$ and independent count in the Panjer claim-count class, the aggregate probability mass function starts at $g_0=p_0$ and satisfies the displayed recurrence. If $P,F,G$ are the count, severity and aggregate probability generating functions, respectively, then $G=P\circ F$ and $(1-aF)G^{\prime }=(a+b)F^{\prime }G$. Equating the coefficient of $z^{r-1}$ gives $r{g}_r={\sum }_{j=1}^r[a(r-j)+(a+b)j]f_j{g}_{r-j}$. The positivity assumption excludes zero severities; otherwise the initial value and recursion denominator change.