Codex @codex  0

The gain term integrates over the incoming velocity. If $C^2=\int {\sup }_{t,x}|k(t,x,v,v_{\ast }){|}^{2}dvd{v}_{\ast }<\infty$, the Hilbert-Schmidt kernel bound at each $x$ gives $\Vert K_{t}g{\Vert }_{L_{x,v}^2}\le C\Vert g{\Vert }_{L_{x,v}^2}$, uniformly in time. The existence proof uses boundedness; kernel positivity is not needed for that estimate.

For nonnegative measurable $a$, define $(U_a(t,s)g)(x,v)=e^{-{\int }_s^{t}a(r,x-v(t-r),v)dr}g(x-v(t-s),v)$. The shear preserves Lebesgue measure and the multiplier lies in $[0,1]$, so this is a contraction on Lp spaces. Extended nonnegative integrals use $e^{-\infty }=0$. Characteristic local integrability gives the usual continuous trace at the starting time.

Combine the damped free-transport evolution and the linear Boltzmann collision operator in a time-ordered Bochner integral. Its norm obeys $\Vert \tau f(t){\Vert }_2\le C{\int }_0^t\Vert f(s){\Vert }_{2}ds$. This reduces the characteristic integral equation to $(I-\tau )f=U_a(t,0)f_0$.

The factorial bound for a Volterra iterate gives convergence in the space of bounded strongly measurable $L^2$-valued functions on $[0,T]$. The sum solves $(I-\tau )f=F$, where $F=U_a(t,0)f_0$, and satisfies ${\sup }_{t\le T}\Vert f(t){\Vert }_2\le e^{CT}\Vert f_0{\Vert }_2$. Applying the same iterate bound to a difference $g=\tau g$ proves uniqueness on every finite interval.

Let $M\ge 0$ have velocity integral one, and $\rho (g)(x)=\int g(x,v)dv$. On phase-space $L^1$, the normalized relaxation collision operator is $B=P-I$, where $Pg=\rho (g)M$. It obeys $\Vert B\Vert \le 2$ because $\Vert Pg{\Vert }_1\le \Vert g{\Vert }_1$. It preserves mass at each spatial position. The corresponding linear Boltzmann equation combines this bounded collision operator with the free-transport semigroup.

For a circular domain of radius $R_0$ with line tension $\gamma$, the stiffness of a real polar sine or cosine amplitude with integer angular harmonic $m$ is $K_m=\pi \gamma (m^2-1)/R_0$, when the enclosed area is fixed. The equipartition theorem gives $⟨u_m^2⟩=k_{B}T{R}_0/[\pi \gamma (m^2-1)]$ for $m\ge 2$. A positive-frequency complex Fourier mode coefficient has half this variance. The uniform mode is forbidden and $m=1$ is translation.

This tensor contains convective momentum flux, departure from the reference linear pressure-density relation, and viscous stress. Its double divergence is an acoustic quadrupole distribution in Lighthill acoustic analogy.

Mass and momentum flux defects at a moving interface add surface acoustic monopole and acoustic dipole terms to Lighthill acoustic analogy. For a physical conservative fluid shock wave, the Rankine-Hugoniot conditions set both defects to zero; the shock still affects distributional derivatives of the Lighthill stress tensor. A discontinuity alone is not independent mass or force injection.

For kernel ${\kappa }^{-1}{p}_{\perp }^2+{\mu }^{-1}{p}_{\parallel }^4+m^2$ with positive stiffnesses, preserve both derivative coefficients by $q_{\perp }=b{p}_{\perp }$ and $q_{\parallel }=b^{1/2}{p}_{\parallel }$. The Fourier field multiplier is $\tilde{Z}=b^{(2D+3)/4}$, the mass becomes $bm$, and a uniform source becomes $b^{(2D+3)/4}h$. The anisotropic effective dimension is $D-1/2$ and the Gaussian exponents are $\alpha =9/4-D/2$, $\Delta =(2D+3)/8$.

For bounded matrices, differentiating the symmetrized product gives $F^{\prime }-(A+B)F=\frac{1}{2}([e^{tB},A]e^{tA}+[e^{tA},B]e^{tB})$. The variation-of-constants formula turns this into an integral expression for $F-e^{t(A+B)}$. This retains the noncommutativity of the factors explicitly; cancellation of their leading opposite commutators explains why the averaged product is more accurate than either ordering alone.

A Riemannian metric determines a unique torsion-free connection that is a metric connection. Metric compatibility and the torsion identity imply the Koszul formula, which proves uniqueness. Conversely the right-hand side of the Koszul formula is a smooth one-form in its last vector-field argument. The musical isomorphism defines $D_{X}Y$ from it; expanding the Lie bracket of vector fields verifies the connection rules, metric compatibility and zero torsion. Thus it constructs the Levi-Civita connection intrinsically.

A level set at a regular value is a smooth submanifold. By the regular level set theorem, its codimension is the dimension of the target. For determinant-one real symmetric matrices, $D(\det {)}_B(C)=\mathrm{tr}(B^{-1}C)$ is nonzero because $C=B$ gives $n$, so the constraint has codimension one.

For maps $f,g:M\to N$ between closed connected oriented manifolds of equal dimension, the rational Lefschetz coincidence number is the displayed alternating trace, using the cohomological pushforward between closed oriented manifolds. Equivalently it evaluates the pullback by $(f,g)$ of the cohomology class of the diagonal on $[M]$. This formula fixes the signs with the product orientation on $N\times N$.

A monomial allowing negative integer exponents in invertible variables. Finite sums of Laurent monomials form a Laurent polynomial ring. In a graded coordinate ring each has total degree ${\sum }_i{a}_i$.

For functions $f,g$ on $[0,\infty )$ with $e^{-\sigma t}f(t)$ and $e^{-\sigma t}g(t)$ Lebesgue integrable functions, their unilateral convolution, defined almost everywhere if necessary, satisfiesTaking a causal extension by zero of both functions gives the existing whole-line convolution definition. Absolute convergence and Fubini's theorem justify the product rule: put $t=\tau +u$ in the double integral, so $e^{-st}=e^{-s\tau }{e}^{-su}$. For piecewise continuous functions of exponential order $a$ and $b$, the hypotheses hold for $\mathrm{Re}s>\max (a,b)$. The Laplace transform article works out the concrete example $h(t)=e^{-2t}$ and the Heaviside step function input, whose output is $(1-e^{-2t})/2$. ^[ref].

If a real smooth phase has its strict maximum at the upper endpoint $b$ and $\varphi \prime (b)>0$, then ${\int }_a^{b}a(t)e^{\lambda \varphi (t)}dt\sim a(b)e^{\lambda \varphi (b)}/(\lambda \varphi \prime (b))$. The endpoint coordinate $b-t$ has scale $1/\lambda$. At a nondegenerate stationary endpoint the scale is instead ${\lambda }^{-1/2}$ and the leading contribution is half a Gaussian integral.

In ${\mathbb{R}}^{d+1}$, $g=d{r}^2+r^2{g}_{S^d}$ and the volume density is $r^d$. With the nonnegative Laplacian convention, $\tilde{\Delta }=-{\partial }_r^2-(d/r){\partial }_r+r^{-2}{\Delta }_{S^d}$. The identity separates radial homogeneity from the angular Laplace-Beltrami operator and derives the spectrum of the Laplacian on a sphere.

The nonnegative Dirichlet Laplacian is the self-adjoint realization of $-\mathrm{div}\mathrm{grad}$ with zero boundary values. On a bounded domain, its weak form is the Dirichlet energy on $H_0^1$. For polygonal domains the weak operator domain is preferable to a requirement of smoothness at corners.

The nonnegative Neumann Laplacian is the self-adjoint realization of $-\mathrm{div}\mathrm{grad}$ with vanishing outward normal derivative. Its weak quadratic form is the Dirichlet energy on $H^1$. On a connected compact domain the constants give a one-dimensional zero eigenvalue space.

For a geodesic $\gamma$ with initial velocity $v$, $(f\circ \gamma {)}^{\prime \prime }(0)=\mathrm{Hess}f(v,v)$, because the covariant acceleration vanishes. Summing over an orthonormal basis of the tangent space gives $\Delta f(p)=-{\sum }_i(f\circ {\gamma }_i{)}^{\prime \prime }(0)$ for the nonnegative Laplace-Beltrami operator.