For an absolutely one-homogeneous functional $J=\mathrm{TV}$ on a real Hilbert space, a subgradient $q$ at $u$ is characterized by $⟨q,v⟩\le J(v)$ for every $v$ and $⟨q,u⟩=J(u)$. A bounded vector field with $|z|\le 1$ and $q=\mathrm{div}z$ proves the inequality through the dual definition, provided cutoff approximation is valid in the ambient space. Equality is called a calibration. It certifies a global minimizer of total variation denoising, rather than only a minimizer within a chosen ansatz.

For a quadratic data term and divergence maps $A_1,A_2$, the dual constraint $A_{1}v\in D$ can be split through ${\delta }_D(A_{1}v)={\sup }_w[⟨w,A_{1}v⟩-{\delta }_D^{\ast }(w)]$. For a product of Euclidean row balls of radius $\beta$, its support function is ${\delta }_D^{\ast }(w)=\beta {\sum }_i\Vert w_i{\Vert }_2$. The resulting saddle coupling is $K(u,w)=A_2^{\ast }u-A_1^{\ast }w$. The Chambolle–Pock algorithm then uses a row-ball projection, a quadratic proximal operator and radial soft thresholding, with no projection onto an intersection involving a divergence operator.

For a torsion-free abelian group $G$, its rational divisible hull is $G{\otimes }_{\mathbb{Z}}\mathbb{Q}$. It consists of fractions $g/n$, with $n>0$ and $g/n=h/m$ exactly when $mg=nh$. The natural map $G\to G\otimes \mathbb{Q}$ is injective. Every homomorphism from $G$ into a torsion-free divisible Abelian group extends uniquely through this hull.

A subspace of a complete metric space admits a compatible complete metric if and only if it is a G-delta set. For the reverse direction, adjoining the coordinates $1/d(x,X\setminus U_n)$ to the ambient metric prevents Cauchy sequences from approaching any excluded closed boundary. For the forward direction, small-diameter relative open covers in a compatible complete metric produce the ambient open sets.

The local Skyrme baryon density is $\mathcal{B}(x)=-{ϵ}_{ijk}\mathrm{tr}(L_i{L}_j{L}_k)/(24{\pi }^2)$, with $L_i=U^{†}{\partial }_{i}U$ and $B=\int \mathcal{B}{d}^{3}x$. It is invariant under global isorotations and transforms as a scalar under proper spatial rotations, so its contours reveal the geometric shape of a Skyrmion. For the rational map approximation for Skyrmions, $\mathcal{B}=-f^{\prime }{\sin }^{2}f{J}_R/(2{\pi }^2{r}^2)$, where $J_R$ is the angular Jacobian of a rational map. Integrating $J_R$ over the sphere gives $4\pi \mathrm{deg}R$, recovering the integer total charge. A decreasing profile and holomorphic angular map give a nonnegative density, but a general field may have regions of negative density; positivity is not a general topological theorem. The density is different from the energy density.

Under SU(2) as the three-sphere, a Skyrme model field with $U\to I$ at infinity defines $S^3\to S^3$. Choose $T_i=-i{\tau }_i$ and positive left volume form ${\theta }^1\wedge {\theta }^2\wedge {\theta }^3$. The normalized form is $-(24{\pi }^2{)}^{-1}\mathrm{tr}(U^{-1}dU{)}^3$, so the topological baryon number in the Skyrme model equals $\mathrm{deg}U$. Generator and orientation conventions fix the sign.

In the positive definite case this is a nonnegative integer vector with $q_Q(\mathbf{n})=1$, so it is nonzero. The positive definite Tits form indecomposable classification gives one indecomposable isomorphism class per positive root.

For bounded linear operators $K:U\to V$ and $B:U\to W$ between real Hilbert spaces, $\alpha >0$ and $\Vert Bu\Vert \ge \beta \Vert u\Vert$ with $\beta >0$, the unique minimizer of $\Vert Ku-f{\Vert }^2/2+\alpha \Vert Bu{\Vert }^2/2$ satisfies $(K^{\ast }K+\alpha B^{\ast }B)u_{\alpha }=K^{\ast }f$. Differentiate the objective in every direction and use the adjoint operator to obtain this equation. The coercive quadratic penalty makes its left-hand operator boundedly invertible. Setting $B=I$ gives the Tikhonov normal equation; omitting the penalty instead gives the normal equation for a linear inverse problem.

Let $K$ be injective, $u^{†}=K^{†}f$, $z={\beta }^{-2}{B}^{\ast }B{u}^{†}$, and ${\eta }_r={\inf }_{\Vert w\Vert \le r}\Vert z-K^{\ast }w\Vert$. Since $\overline{\mathcal{R}(K^{\ast })}=\mathcal{N}(K{)}^{\perp }=U$, ${\eta }_r\to 0$. For $e=R_{\alpha }f-u^{†}$ the normal equation for coercive Tikhonov regularization gives $\Vert Ke{\Vert }^2+\alpha \Vert Be{\Vert }^2=-\alpha {\beta }^2⟨z,e⟩$. Insert an approximate $K^{\ast }w$ and complete the square in $\Vert Ke\Vert$ to obtain $\Vert e{\Vert }^2\le \Vert z-K^{\ast }w\Vert \Vert e\Vert +\alpha {\beta }^2{r}^2/4$. This implies the displayed bound, even with coefficient $1/2$ on its last term, and proves consistency without a fixed exact source condition for quadratic regularization.

The same compact set must work simultaneously for every measure in the family. Prokhorov's theorem relates this condition to relative compactness for the weak topology of probability measures on a Polish space.

With $v_b=v_{\gamma }$ at leading order and $c_s^2=1/[3(1+R)]$, the photon continuity equation and total Euler equation give ${\ddot{\delta }}_{\gamma }+\dot{R}{\dot{\delta }}_{\gamma }/(1+R)+k^2{\delta }_{\gamma }/[3(1+R)]=4\ddot{\varphi }+4\dot{R}\dot{\varphi }/(1+R)-4k^2\psi /3$. The baryon loading parameter changes inertia and shifts the gravitational equilibrium. The leading equations omit diffusion damping.

For $\Theta (\mu )={\sum }_{\ell }(-i{)}^{\ell }{\Theta }_{\ell }{P}_{\ell }(\mu )$ and a Thomson collision operator omitting polarization feedback, the quadrupole relaxes with rate $(9/10){\Gamma }_T$, where ${\Gamma }_T=-{\tau }^{\prime }>0$. Balancing its leading streaming source gives ${\Theta }_2=20k{\Theta }_1/(27{\Gamma }_T)$. This differs from photon quadrupole in tight coupling with polarization; the two formulas expand different collision operators.

A Love number measures a body's tidal response to an applied potential. The degree-two potential response $k_2$ is sensitive to radial density structure and central concentration, and can complement mass and radius constraints on an exoplanet interior. Inferring it from orbital precession requires separating other contributions and assumptions about rotation and the tidal response.

Two equal galaxies each receive the tidal impulse heating of a spherical galaxy, while their relative orbital energy at infinity is $m_g{v}^2/4$. Transfer of more internal energy than that orbital energy gives $pv<[32G^2{m}_g^2⟨r^2⟩/3{]}^{1/4}$. Slow encounters require adiabatic shielding of tidal encounters, so the impulsive inequality does not apply there.

The dual polytope consists of the real linear functionals $\alpha$ on $H_2(Y,\partial Y;\mathbb{R})$ such that $|\alpha (u)|\le \Vert u{\Vert }_T$ for every $u$. Thus it is the polar of the unit ball of the Thurston norm and annihilates that seminorm's kernel.

In an irreducible three-manifold with incompressible boundary, a minimizing surface can be cut along a separating incompressible torus after removing inessential intersection circles. The essential pieces have no disk or sphere components, so their ${\chi }_{-}$ costs add. Minimizing independently in the pieces and gluing their matching boundary curves gives the corresponding upper bound. This allows Thurston norm calculations for satellite knots.

For $Y=P\times S^1$ with $P$ a pair of pants and $h$ its circle fiber, a horizontal surface in a Seifert fibered space of degree $d$ has ${\chi }_{-}=|d|$; vertical surfaces in a Seifert fibered space have zero cost. Cutting and pasting these representatives, and classifying essential surfaces, proves $\Vert u{\Vert }_T=|u\cdot h|$. The dual Thurston polytope is therefore the segment between the two functionals $\pm h$ under the natural pairing.

Take sources $k,k,k$, sink $k^2$, and arrows sending $1$ to $e_1,e_2,e_1+e_2$. An endomorphism preserving these three lines must be scalar, so the representation has endomorphism ring $k$ and is a brick module. It is the only indecomposable of the three-subspace quiver with a two-dimensional sink.

For the three-layer stratified piecewise-linear shear flow, set $\alpha =kh/2$. The dispersion relation is quadratic in squared nondimensional phase velocity. Its constant term is $[2\alpha -(1+J)(1+e^{-2\alpha })][2\alpha -(1+J)(1-e^{-2\alpha })]/(4{\alpha }^2)$. Throughout the displayed band this is negative, so one squared speed is negative and gives an exponentially growing normal mode.

For the bounded-shear three-layer profile with density contrasts minus one, zero and plus one, the localized-mode matching determinant is $[a(1-c{)}^2-(1-c)-J][a(1+c{)}^2-(1+c)-J]-b^2(1-c^2{)}^2=0$, where $a=\alpha [1+\coth (2\alpha )]$ and $b=\alpha \mathrm{csch}(2\alpha )$. Dividing by $a^2-b^2=2\alpha a$ gives a quartic in $c$ and a quadratic in $c^2$. Its constant term is $\{[2\alpha -(1+J){]}^2-e^{-4\alpha }(1+J{)}^2\}/(4{\alpha }^2)$, whose negative sign proves the unstable band of a three-layer stratified shear flow.