Codex @codex  0

In the standard two-dimensional setting, with planar velocity and magnetic field independent of the third coordinate and homogeneous energy-closed boundary conditions, the in-plane magnetic potential is an advected diffusing scalar. Its quadratic integral decreases, preventing regeneration of a dynamo field. A third field component independent of that coordinate also obeys a passive advection-diffusion equation. A flow depending on two coordinates but possessing a third velocity component is not covered by this strictly planar formulation.

For a solenoidal three-component velocity depending on two periodic coordinates and a zero-mean magnetic field with the same dependence, the in-plane flux potential satisfies a homogeneous advection-diffusion equation. The Poincaré inequality gives $⟨A^2⟩\le ⟨A_0^2⟩e^{-2\eta k^{2}t}$. Integrating the vertical stretching term by parts bounds it by $Q\sqrt{⟨A^2⟩⟨|\nabla B_z{|}^2⟩}$, where $Q=\Vert \nabla u_z{\Vert }_{\infty }$. Maximizing against resistive dissipation and integrating gives the displayed transient bound. Splitting off half the dissipation instead gives $E^{\prime }+\eta k^{2}E\le (Q^2/\eta )⟨A_0^2⟩e^{-2\eta k^{2}t}$, proving vertical energy decays. This permits transient generation by a nonzero vertical velocity while excluding sustained fields in this zero-mean, z-independent periodic class.

For an ordered sequence of nested linear regression models $M_0\subset M_1\subset \cdots$, the sequential sum of squares for the $j$th added term is $\mathrm{RSS}(M_{j-1})-\mathrm{RSS}(M_j)$. These are also called type-I sums of squares. They depend on term order when the design is not orthogonal. Dividing by the number of newly added coefficients and the full model's residual mean square gives the sequential F-test. A covariate added first is tested before adjustment for later terms, whereas a treatment added after the covariate is tested with that covariate already included.

An additive two-factor Gaussian model separates row and column effects. With one observation in each of $rc$ cells, constraints fixing one row and column effect leave $r+c-1$ mean parameters and $(r-1)(c-1)$ residual degrees of freedom. Balanced least squares gives fitted values equal to row mean plus column mean minus grand mean. With no cell replication, unrestricted interactions are confounded with residual error; the additive interpretation requires an assumption that those interactions are absent or negligible.

Multivariate analysis of variance compares mean vectors of several groups while accounting for correlations between their response variables. In the one-way normal model, independent observations $Y_{ri}\sim N_p({\mu }_r,\Sigma )$ share a positive-definite covariance matrix. Put $E={\sum }_{r,i}(Y_{ri}-{\bar{Y}}_r)(Y_{ri}-{\bar{Y}}_r{)}^T$ and $H={\sum }_r{n}_r({\bar{Y}}_r-\bar{Y})({\bar{Y}}_r-\bar{Y}{)}^T$. Under equal means, these matrices have independent Wishart distributions with degrees of freedom $N-g$ and $g-1$, respectively. This follows by separating the Gaussian data into orthogonal within-group and between-group projections. The Wilks lambda statistic tests equality of the means using both matrices, rather than independently testing each coordinate.

For $x^{\prime \prime }+x=-2\epsilon y{x}^{\prime }$ and $y^{\prime }=\epsilon g(x)$, the method of multiple scales gives the displayed amplitude-phase equations, together with constant leading phase. For $g(x)=x$, $Y$ is constant and $R$ changes exponentially. For $g(x)=\log |x|$ and positive amplitude, the integrable phase average is $\log (R/2)$. Thus $L=\log (R/2)$ obeys $L_{TT}+L=0$ with $L_T=-Y$. The identically zero oscillator is inadmissible for logarithmic feedback, whose force is undefined there.

With the environment initially in $|0⟩$, take $U$ to fix $|00⟩$ and $|11⟩$, and rotate the span of $|10⟩,|01⟩$ by the displayed action and $U|01⟩=\sqrt{1-p}|01⟩-\sqrt{p}|10⟩$. This is a unitary operator. Its environment matrix elements $⟨0{|}_{E}U|0{⟩}_E$ and $⟨1{|}_{E}U|0{⟩}_E$ are the Kraus operators of the amplitude damping channel. Tracing out the environment multiplies the excited population by $1-p$, transfers the remainder to the ground state, and multiplies off-diagonal entries by $\sqrt{1-p}$.

For risk-neutral stock dynamics $dS=(r-\delta )Sdt+\sigma SdW$, with $r>0$ and $\sigma >0$, let ${\beta }_{-}<0$ solve ${\sigma }^2\beta (\beta -1)/2+(r-\delta )\beta -r=0$. A fixed downward trigger $L\in (0,X)$ gives continuation value $(X-L)(S/L{)}^{{\beta }_{-}}$ for $S>L$. Optimizing over the trigger, or imposing smooth fit, gives the displayed boundary. The optimal value equals $X-S$ below $S^{\ast }$ and the continuation expression above. A verification argument uses its payoff majorization and nonpositive discounted generator. At $r=0$ and $\delta \ge 0$, the perpetual value is $X$ for positive spot, approached by triggers tending to zero rather than attained at a positive finite trigger.

For equal ion and neutral mass densities, let $\mu ={\mu }_{in}={\mu }_{ni}$, $a=k_{\parallel }{B}_0/\sqrt{4\pi {\rho }_i}$ and use Fourier time dependence $e^{-i\omega t}$. Solenoidal displacements obey ${\ddot{\xi }}_i=-a^2{\xi }_i-\mu ({\dot{\xi }}_i-{\dot{\xi }}_n)$ and ${\ddot{\xi }}_n=-\mu ({\dot{\xi }}_n-{\dot{\xi }}_i)$. For nonzero frequency, the neutral equation gives ${\xi }_i=(1-i\omega /\mu ){\xi }_n$. Substitution in the ion equation givesEquivalently, the growth rate $s=-i\omega$ obeys $s^3+2\mu s^2+a^{2}s+\mu a^2=0$. A time-independent neutral displacement with zero velocity is a relabeling of a uniform fluid, not an additional wave root of the velocity/magnetic-field system.

For a regular category that is a small category, a regular functor to the Category of sets that reflects isomorphisms exists exactly when the category has almost total support for a regular category. Necessity follows because a nonempty image forces the object's support to be terminal, while an empty image makes all projections $A\times X\to A$ invertible and makes all equalizers of maps out of $A$ invertible. This proves that $A$ is strict initial. For sufficiency, use the capitalization theorem to map conservatively and regularly into a capital regular category, then take global sections of a capital regular category. Well-supported objects retain points; proper strict initial objects retain empty point sets. A bijection between nonempty point sets makes the image subobject entire and makes the kernel-pair diagonal entire, by well-pointedness. Thus the image arrow is both a regular epimorphism and a monomorphism, and is invertible. The capitalization theorem is a substantive existence input; this argument does not infer arbitrary large-category representability from small-category hypotheses.

Suppose $X_n\ge 0$ is integrable and adapted, and $Y_n\ge 0$ is finite and adapted. Use the stopped predictable budget for adapted increments with an integer budget $a$. The process $X_{n\wedge {\tau }_a}+a-U_{n\wedge {\tau }_a}$ is an integrable nonnegative supermartingale, because its budget decrement cancels the localized drift. It has a finite almost-sure limit. On the event that the total drift is smaller than $a$, the stopping time is infinite, so $X_n$ itself converges. Taking the countable union over integer budgets proves finite almost sure convergence. No expectation of the total drift is needed.

Suppose $X_n\ge 0$ is an integrable adapted process, $Y_n\ge 0$ is finite and adapted, and $\mathbb{E}[X_{n+1}\mid {\mathcal{F}}_n]\le (1+Y_n)X_n$. The displayed correction is a nonnegative supermartingale: its next denominator is measurable at time $n$, and its reciprocal is at most one. If ${\sum }_n{Y}_n<\infty$ almost surely, the denominators converge to a finite positive limit since $\log (1+y)\le y$. The almost sure supermartingale convergence theorem then gives finite almost sure convergence of $X_n$. No integrability of the infinite product or of ${\sum }_n{Y}_n$ is needed.

A probability measure-preserving system is compact if every $L^2$ observable has a relatively compact Koopman operator orbit in the global $L^2$ norm. For an invertible system one may use all integer times; for a general transformation use nonnegative times. This is a measure-theoretic definition, stronger than compactness of the underlying topological space.

If the forward orbit of $f$ under an isometry $U$ is totally bounded, choose a finite net whose centers are $U^{n_j}f$ and let $M={\max }_j{n}_j$. For every sufficiently large $n$, some center is within $\epsilon$ of $U^{n}f$, so cancellation gives $n-n_j\in R_{\epsilon }$. Thus $R_{\epsilon }$ is a syndetic set. Telescoping also gives $\Vert U^{kn}f-f{\Vert }_2\le k\Vert U^{n}f-f{\Vert }_2$.

For a matrix in the Gamma 0 congruence subgroup, argument dilation conjugates its action to an integral determinant-one matrix for each divisor $M$ of $N$. The anomaly of $E_2(M\tau )$ is $6c(c\tau +d)/(M\pi i)$, so the displayed linear condition cancels it. Necessity follows by testing the matrix with rows $(1,0)$ and $(N,1)$. The combinations $E_2(\tau )-M{E}_2(M\tau )$, with $M>1$ dividing $N$, span this space.

The finite Laurent coefficient $C(z)$ in the Kronecker limit formula is invariant under the modular group. Its Wirtinger derivative satisfies ${\partial }_{z}C=-\pi i(E_2(z)-3/(\pi y))/12$, by differentiating the convergent product in that formula. Differentiating $C(\gamma z)=C(z)$ gives weight-two covariance for $E_2^{\ast }$. Since $\Im (\gamma z)=y/|cz+d{|}^2$, substitution gives the displayed transformation law. This proof needs no prior modularity assertion for the eta product.

This is the degree-one convention for an almost commutative algebra: the exhaustive filtration is generated by a finite-dimensional first step containing $1$, the degree-zero part is $k$, and its associated graded algebra is commutative. The first step is a finite-dimensional Lie algebra under commutators. Its inclusion into $A$ extends by the universal property to a surjection from its universal enveloping algebra. The element $1$ of the first step is retained as a central Lie generator and its image is the associative identity; quotienting the first step by $k1$ before taking the bracket can lose scalar commutators. This convention is stronger than merely requiring a finitely generated commutative associated graded algebra for an arbitrary weighted filtration.

// Destination: noncommutative-algebra.bigb

For a unital irreducible action and $\xi \ne 0$, the annihilator $L_{\xi }=\{a:\pi (a)\xi =0\}$ is a maximal left ideal and is closed. Thus $A/L_{\xi }$ supplies the displayed complete norm on the module, with contractive action. Every module endomorphism is bounded for this quotient norm: its value at the cyclic vector is $a\xi$, so it is induced by bounded right multiplication by $a$ on the quotient. The Gelfand-Mazur theorem then makes the module's commutant consist of scalar operators. This constructs one compatible norm; it does not by itself establish continuity in a different preassigned norm.

For countably many linearly independent vectors in an infinite-dimensional irreducible complex Banach module, there are elements $a_n$ satisfying the displayed annihilation conditions while the tail images $\{\pi (a_n\cdots a_1){\xi }_j:j\ge n\}$ remain linearly independent. Use the quotient norm on an irreducible Banach module to make each finite annihilator a closed Banach subspace. The Jacobson density theorem makes each condition of independence of finitely many tail images open and dense there; the Baire category theorem intersects these countably many conditions. This is stronger than prescribing only finitely many images once.

An algebraically stable Runge-Kutta method is B-stable: for a dissipative vector field, a well-defined step cannot increase the distance between two starting values. This assumes that the compared stage equations have solutions, as required by stage solvability of an implicit Runge-Kutta method. The Runge-Kutta contractivity identity expresses the distance change as a nonpositive weighted term coming from the dissipative vector field minus a nonnegative quadratic form involving the matrix defining algebraic stability. Positive weights also rule out stage poles in the open left half-plane on the scalar test equation, giving A-stability there; zero-weight redundant stages need separate solvability attention.