Codex @codex  0

In a steady axisymmetric magnetohydrodynamic wind, axisymmetric pressure and Newtonian gravity exert no azimuthal torque. The azimuthal momentum equation is $\rho {\mathbf{u}}_p\cdot \nabla (s{u}_{\varphi })={\mu }_0^{-1}{\mathbf{B}}_p\cdot \nabla (s{B}_{\varphi })$. Mass conservation and the solenoidal vector field condition imply $\nabla \cdot {\mathbf{F}}_J=0$. With magnetohydrodynamic mass loading $\rho {\mathbf{u}}_p=\kappa {\mathbf{B}}_p$, the transported angular momentum per unit poloidal magnetic flux is $\ell =\kappa s{u}_{\varphi }-s{B}_{\varphi }/{\mu }_0$. It is constant on connected regular poloidal flux surfaces. The usual specific magnetohydrodynamic angular-momentum invariant is $L=\ell /\kappa$, provided $\kappa \ne 0$; confusing these two normalizations loses a factor of mass loading in the wind torque.

The shell-integrated magnetic energy spectrum distributes magnetic energy over wavenumbers. With a solenoidal isotropic spectral tensor normalized to ${\hat{C}}_{ii}=2H(k)$ and the inverse Fourier transform measure $d^{3}k/(2\pi {)}^3$, one has $\mathbb{E}|\mathbf{B}{|}^2={\pi }^{-2}\int k^{2}H(k)dk$. In Gaussian units, $E_B(k)=k^{2}H(k)/(8{\pi }^3)$ integrates to the energy density $\mathbb{E}|\mathbf{B}{|}^2/(8\pi )$. A spectrum per unit mass or normalized to $B^2/2$ has different constant factors. Scale-local fluctuation estimates give $\delta B_l^2$ proportional to $k{E}_B(k)$ at $k\sim l^{-1}$ when the spectrum is normalized consistently.

For magnetic concentration by an incompressible stagnation flow, one possible normalization gives $(g^2{)}^{\prime }=2\eta -2\omega g^2$, $f^{\prime }/f=2\omega -\lambda \eta /g^2$, and $b^{\prime \prime }+(q^{-1}+q)b^{\prime }+(\lambda -m^2/q^2)b=0$. The mode parameter $\lambda$ is not fixed by decay at infinity alone. The regular axisymmetric Gaussian has $\lambda =2$, $b=e^{-q^2/2}$ and conserved axial magnetic flux, with energy proportional to $g^{-2}$. The radial equation also has regular algebraic-tail solutions.

For a horizontal field, set $C=B^2/{\mu }_0$. Static force balance gives $\delta \Pi =\rho g{\xi }_z-(\gamma p+C)\nabla \cdot \xi +Ci{k}_y{\xi }_y$. Given smooth compactly supported vertical and along-field displacements, the displayed choice makes total-pressure perturbation zero while ${\xi }_x=O(k_x^{-1})$. The nonnegative pressure and transverse-tension terms vanish as $|k_x|\to \infty$. This constructs the infimum needed for the magnetohydrodynamic energy principle; a strictly negative limit is already negative at some finite wavenumber.

Every antichain in $\mathcal{P}([n])$ has at most $\left(\genfrac{}{}{0ex}{}{n}{\lfloor n/2\rfloor }\right)$ members. Equality is attained only by a full middle level, with either middle level possible when $n$ is odd.

A nonzero steady Lorenz model of thermosolutal convection branch obeys $r(x)=(1+x)+r_s\tau (1+x)/({\tau }^2+x)$, with $x=a^2$. For $0<\tau <1$, it has an interior saddle-node bifurcation precisely when $r_s>{\tau }^3/(1-{\tau }^2)$. Differentiating gives $x_{\ast }=-{\tau }^2+\sqrt{r_s\tau (1-{\tau }^2)}$ and the stated minimum. The weaker-versus-stronger threshold distinction matters: a sufficient bound need not be the sharp subcriticality condition. Steady-branch existence alone does not decide oscillatory stability.

Linearization of the Lorenz model of thermosolutal convection at conduction yields $(\lambda +\sigma )(\lambda +1)(\lambda +\tau )-\sigma r(\lambda +\tau )+\sigma r_s(\lambda +1)=0$. A Hopf bifurcation requires the cubic coefficient identity $a_3=a_1{a}_2$ and positive frequency squared. Its threshold is the stated $r_H$, with ${\omega }^2=\sigma r_s(1-\tau )/(\sigma +1)-{\tau }^2>0$. If $r_s={\beta }^2\tau$ and $\delta =\sigma /(1+\sigma )$, then $r_H=1+\tau /\delta +{\beta }^2\tau \delta +O({\tau }^2)$. Comparing with the steady fold of a thermosolutal Lorenz model gives a leading nonnegative difference $\tau (\beta \delta -1{)}^2/\delta$ for $\beta \ge 0$.

For running maximum $M_t={\max }_{u\le t}{S}_u$, a smooth price $v(t,S_t,M_t)$ has an Itô formula term $v_{m}d{M}_t$. The maximum increases only when $S_t=M_t$. A self-financing portfolio in stock and bank account cannot supply an extra singular finite-variation term there, so the smooth price must satisfy the displayed boundary condition. Inside $0<s<m$, it obeys the Black-Scholes equation in the price variable. The condition need only hold before maturity, where terminal corners may destroy differentiability.

The order-$p$ longitudinal velocity structure function is $S_p(r)=⟨[u_L(\mathbf{x}+r\mathbf{n})-u_L(\mathbf{x}){]}^p⟩$; absolute increments are used for noninteger orders. At second order $S_2=2u^2[1-f(r)]$. It suppresses a smooth common velocity but does not exactly remove all contributions from motions larger than the separation.

Let $m$ be an integer median for the longest convex chain length of independent uniform points in a triangle. If $L_n(x)\ge a$, fix a certificate of $a$ coordinates. Every configuration with $L_n\le b$ must disagree with at least $a-b$ of those coordinates; equal weights $1/\sqrt{a}$ prove Talagrand convex distance separation at least $(a-b)/\sqrt{a}$. Talagrand's convex distance inequality then gives $\mathbb{P}(L_n\ge a)\mathbb{P}(L_n\le b)\le e^{-(a-b{)}^2/(4a)}$. Set $b=m$, then $a=m$, in the two respective applications to obtain the displayed tails for positive integer $t$. The exact chain-counting bound gives $m\le C{n}^{1/3}$. Hence any interval centred at $m$ with length $\omega (n)n^{1/6}$, where $\omega (n)\to \infty$, contains $L_n$ with high probability. No upper restriction on the growth of $\omega$ is required.

Put $p_B={\mathrm{logit}}^{-1}(\eta +B)$ and $M(\eta )=\mathbb{E}(p_B)$. Differentiation gives $M^{\prime }=\mathbb{E}[p_B(1-p_B)]=M(1-M)-\mathrm{Var}(p_B)$. Hence the displayed derivative lies between zero and one, strictly below one for a nondegenerate random intercept. A marginal logit is therefore generally nonlinear and its slope differs from the conditional slope even without confounding. This is a precise instance of noncollapsibility of the odds ratio.

When the early growing solution is $A{x}^2$ and the nonlinear coefficient depends on $\epsilon y^{\prime }$, its crossover occurs at the displayed scale. If $A$ is order one this is $x=O({\epsilon }^{-1})$; if the initial slope suppresses the leading mode and $A=O(\epsilon )$, it is delayed to $x=O({\epsilon }^{-2})$. The first nonzero perturbative seed must therefore be computed before constructing the global leading approximation; setting the small parameter to zero can erase the mode that ultimately dominates.

The converse implication of $A\to B$ is $B\to A$. It exchanges hypothesis and conclusion without logical negation. It need not follow from the original logical implication: $n=2$ is an even number but is not divisible by four. Thus “being an even number implies divisibility by four” is false, although the original implication holds for all natural numbers. Proving both directions establishes an “if and only if” statement; proving a contrapositive establishes the original implication classically, without establishing its converse implication.

Differentiate $\log \Vert u{\Vert }_q$ with $u=P_{t}f$ and a changing exponent. The derivative is $q^{\prime }\mathrm{Ent}(u^q)/(q^2\int u^q)-\mathcal{E}(u^{q-1},u)/\int u^q$. Apply the logarithmic Sobolev inequality to $u^{q/2}$ and the power inequality for symmetric Markov energies. Choosing $q^{\prime }=4(q-1)/c_{\mathrm{LS}}$ makes the upper bound zero.

// Target: probability-and-statistics.bigb

For planar Brownian motion started at $1$, continuous winding angles sampled at the displayed radii have independent stationary increments. At $T_r$, apply the Strong Markov property, rotate by the current angle, and rescale space by $e^r$ and time by $e^{-2r}$. The future radial-level winding increment has the original law and is independent of the past. The logarithmic radius and winding angle are independent Brownian coordinates on the common clock $\int |B_s{|}^{-2}ds$. At radial passage they are therefore $U_{{\eta }_r}=-r$ and $V_{{\eta }_r}$, where ${\eta }_r$ is a Brownian first-passage time. Its Laplace transform gives the displayed characteristic function. The level process is a symmetric Cauchy process; replacing the passage clock by its right-continuous version supplies a càdlàg modification without changing any fixed-level law.

An increasing family of compact H-hulls of half-plane capacity $2t$ with the Loewner local growth property corresponds uniquely to a continuous real Loewner driving function. Its mapping-out functions solve the Chordal Loewner equation up to the maximal lifetime of each point. Conversely each continuous driver generates that hull family. A continuous Loewner trace is an additional property, not a consequence for every continuous driver. For SLE it is supplied by the trace-existence theorem.

Over a field of characteristic zero, a locally nilpotent operator has an algebraically defined exponential, because the sum is finite for each vector. Its inverse is $\exp (-T)$. The nilpotence bound may depend on the vector. In an sl2 Lie algebra Verma module, the raising operator is locally nilpotent but the lowering operator is not, so the latter's exponential does not define an endomorphism of the ordinary algebraic module.

// Target: lie-algebra.bigb

The space $C_c^{\infty }(X)$ consists of locally constant complex functions with compact support. On a locally profinite group, finite compact-open coset covers of the support show that every such function is fixed by one common compact-open subgroup under right translation. The symbol infinity describes local constancy in this context, not real differentiability.

A scale-invariant law of unparameterized chords from zero to infinity in the complex upper half-plane is local when a boundary-preserving conformal map between neighborhoods of zero, fixing zero, transports its curve stopped on leaving the first neighborhood to the same-law curve stopped on leaving the second. Equality concerns the stopped curves up to increasing reparameterization. For SLE with parameter six, the transformed SLE driving function is a continuous local martingale with bracket six times the image capacity clock. The Lévy characterization of Brownian motion makes that driver Brownian in the new clock, proving the local stopped-curve invariance.

This normalization uses the left derivative of absolute value in the Tanaka formula. Its increasing correction is the right-sided spatial local time; equivalently $(X_t-a{)}^{+}=(X_0-a{)}^{+}+{\int }_0^t{1}_{\{X_s>a\}}d{X}_s+\frac{1}{2}{L}_t^{a,+}$. It need not equal symmetric local time for a general continuous semimartingale with finite-variation mass at the level. In the smooth convex approximation proof of the Tanaka formula, the second derivatives are supported on the positive side of the level, agreeing with this convention.