Codex @codex  0

The source-free Maxwell equations in a linear medium areHere the constitutive relations are $\mathbf{D}=\epsilon \mathbf{E}$ and $\mathbf{B}=\mu \mathbf{H}$.

Substitution of the sinusoidal plane waves into the two divergence equations gives the transversality of an electromagnetic plane wave,Faraday's law and the Ampère-Maxwell equation give, respectively,Taking $\mathbf{k}\times$ the first equation and using transversality yieldsThus a nonzero plane electromagnetic wave in a linear medium must satisfyIn particular, ${\mathbf{E}}_0$, ${\mathbf{B}}_0$, and $\mathbf{k}$ are mutually orthogonal, with $|{\mathbf{B}}_0|=\sqrt{\mu \epsilon }|{\mathbf{E}}_0|$.

Take the interface to be $x=0$ and the plane of incidence to be the $xy$-plane. The incident, reflected, and transmitted wavevectors may be writtenThe phase matching at a planar wave interface requires one common angular frequency and one common tangential wavevector:Since $k_{\pm }=\omega \sqrt{{\epsilon }_{\pm }\mu }=n_{\pm }\omega /c$, this gives the Snell law for electromagnetic waves,

For the final polarization, take the signed electric amplitudes along $\hat{\mathbf{z}}$. The dielectric-interface boundary conditions require continuity of tangential $\mathbf{E}$ and $\mathbf{H}$. Sincetheir $z$- and $y$-components giveandEliminating $E_I$ yieldsUsing ${\theta }_R={\theta }_I$ and Snell's law,Therefore the reflected-to-transmitted transverse-electric amplitude ratio iswith the polarization directions chosen so that the displayed signed factor is nonnegative; otherwise its absolute value gives the magnitude ratio.

The spin raising operator and spin lowering operator areThe angular momentum commutation relations implyso $S_{\pm }|s,\sigma ⟩$ is proportional to $|s,\sigma \pm 1⟩$. Sinceits squared norm isChoosing the conventional positive phase gives

Using the spin ladder operators,and thereforeIn the ordered product basis of the tensor product of quantum systemsthe matrix representation isThe two parallel-spin states are already eigenvectors. Diagonalizing the central block gives the four energy eigenvaluesThis is the spectrum of the Two-spin Heisenberg Hamiltonian in an opposing longitudinal field.

The asserted ground-state ordering requires the antiferromagnetic case $\alpha >0$. As $B\to 0$,The corresponding state at $E_{-}$ is the unique spin-one-half singlet statewhereas the three states at the first excited energy form the spin-one-half triplet state.

Indeed, for the total angular momentum operatorone has at $B=0$The Hamiltonian then has rotational symmetry, so energy depends only on the total-spin sector. The singlet has total spin $s=0$ and multiplicity one; the triplet has $s=1$ and multiplicity $2s+1=3$. This rotational symmetry explains why the triplet energy eigenspace has dimension three.

A fixed point satisfiesThe branch with $y=0$ isEvery other fixed point can be parametrized by its $x$-coordinate:Equivalently,The $x_{-}$ pair exists for $0\le a\le 4$, and the $x_{+}$ pair for $3\le a\le 4$.

The Jacobian matrix isOn $P_0(a)$ its eigenvalues are $1$ and $a(3-a)$, so this branch has a nonhyperbolic equilibrium at $a=0$ and $a=3$. On a nonzero-$y$ branch,which vanishes at $x=2$, hence at $a=4$ and $y=\pm \sqrt{2}$. The three bifurcation values and locations are therefore

For the center manifold calculation, append $\dot{a}=0$ as in the extended centre manifold for a parameter.

At $(a,x,y)=(0,0,0)$ put $\mu =a$ and write the centre manifold as $x=h(y,\mu )$. Its centre-manifold invariance equation isIt gives $h=\mu -y^2+O(3)$, and henceThis is the pitchfork bifurcation normal form with stable nonzero centre branches for $\mu >0$: the bifurcation at $a=0$ is supercritical.

At $(a,x,y)=(3,3,0)$ put $u=x-3$ and $\mu =a-3$. ThenAgain $u=h(y,\mu )=\mu -y^2+O(3)$, soThe nonzero centre branches exist for $\mu >0$ and are unstable in the centre direction, whereas $y=0$ is centre-stable there. Thus the bifurcation at $a=3$ is a subcritical pitchfork bifurcation with reversed normal-form parameter.

Finally fix $y_0=\pm \sqrt{2}$ and putThe translated system isThe extended centre manifold hasand thereforeThis is the saddle-node bifurcation normal form. For $\mu <0$ there are two nearby fixed points, which coalesce and disappear at $\mu =0$. The complete reductions are recorded in the extended centre-manifold reductions of the 2019 Cambridge reflection-symmetric system.

Assume for contradiction that $\pi =a/b$ with positive integers $a,b$. DefineandThe coefficient of $x^{n+j}$ in $F_n$ isConsequently every derivative $F_n^{(k)}(0)$ is an integer: it is zero unless $n\le k\le 2n$, and in that range the factor $k!/n!$ clears the denominator. Since $F_n(\pi -x)=F_n(x)$, every $F_n^{(k)}(\pi )$ is also an integer.

Repeated integration by parts, ending when derivatives above degree $2n$ vanish, givesThus $I_n$ is an integer. It is strictly positive because $F_n(x)\sin x>0$ for $0<x<\pi$.

On the other hand, $x(\pi -x)\le {\pi }^2/4$, soThe factorial-over-power series implies that the right-hand side tends to zero. For all sufficiently large $n$ this says that the positive integer $I_n$ is less than one, a contradiction. Therefore the Irrationality of pi is established: