Codex @codex  0

A euclidean domain is an integral domain with a function $d$ on nonzero elements such that for $a,b\ne 0$ there are $q,r$ with $a=bq+r$ and either $r=0$ or $d(r)<d(b)$.

A Jordan block is $J_m(\alpha )=\alpha I+N$, where $N$ has ones on the superdiagonal and zeros elsewhere. Since $N^2=0$ for $m=2$, Taylor expansion givesThe Jordan normal form is the block-diagonal matrix, unique up to block order, to which $A$ is similar and whose blocks are Jordan blocks.

A block of size at least two for eigenvalue $\lambda$ contributes a generalized eigenvector in $\ker (A-\lambda I{)}^2\setminus \ker (A-\lambda I)$. Thus the displayed equality for every $\lambda$ is equivalent to every block having size one, which is diagonalizability.

The transpose of each Jordan block is similar to it by reversing its basis. Hence $A^T$ has the same Jordan form as $A$.

Write $A=PJ{P}^{-1}$. Let $R$ be block diagonal with the reversal matrix on each Jordan block. Both $R$ and $RJ$ are symmetric and $R$ is invertible. Thereforewhere $C,D$ are symmetric and $C$ is nonsingular.

For incompressible inviscid flow without body force,Taking curl givesequivalently ${\partial }_t\omega =\nabla \times (u\times \omega )$.

Direct differentiation of the stated field gives $\omega =u$. Hence $u\times \omega =0$, so the vorticity equation gives ${\partial }_t\omega =0$ and the field is steady. FinallyEuler's equation therefore impliesso $H$ is spatially uniform.

Maxwell equations areTaking the divergence of the Ampère-Maxwell equation and using Gauss's law givesThereforebecause $J$ vanishes on the boundary. Componentwise integration by parts also giveswith the boundary term again zero.

Let $r_1,r_2$ be the roots of $\alpha r^2+\beta r+\gamma =0$. The causal Green function is $G(t,\tau )=H(t-\tau )g(t-\tau )$, wherefor distinct roots, and $g(s)=s{e}^{rs}/\alpha$ for a repeated root. These formulas enforce $g(0)=0$ and $\alpha g^{\prime }(0)=1$, hence the required delta jump.

For the oscillator,If $\lambda \ne \omega$, this isAt resonance $\lambda =\omega$, the limiting expression is