Codex @codex  0

The product of the magnetic field with the velocity in this question is the three-dimensional cross product. Fix ${ϵ}_{123}=1$ and write $K^i{}_j={ϵ}^i{}_{kj}{B}^k$, so $K\mathbf{v}=\mathbf{B}\times \mathbf{v}$. In coordinates $y^0=t$, $y^i=x^i$ on ${\mathbb{R}}^3\times \mathbb{R}$, prescribe an affine connection by the following Christoffel symbols:with all other Christoffel symbols zero. These are smooth globally in the given Cartesian coordinates. The lower-index symmetry makes this a torsion-free connection. It is the geometrization of the Lorentz force by an affine connection; no condition on the curl of $\mathbf{E}$ or the divergence of $\mathbf{B}$ is required for this construction.

An affinely parametrized geodesic, with primes denoting differentiation with respect to $\lambda$, satisfiesOn the branch $t^{\prime }=c\ne 0$, use $t$ itself as an affine parameter. Dividing the spatial equation by $c^2$ givesConversely, each solution of this equation makes $\lambda =t$, $y(t)=(t,\mathbf{x}(t))$ an affinely parametrized geodesic of the constructed affine connection. Therefore its image is also an unparametrized geodesic. A general change of parameter adds a term proportional to the tangent in the geodesic equation, leaving the curve unchanged. The branch $t^{\prime }=0$ is not a trajectory with time as parameter.

For the metric realization, assume $\mathbf{E}=-\nabla U$ and $\nabla \cdot \mathbf{B}=0$. Introduce the differential formThen $dF=(\nabla \cdot \mathbf{B})d{x}^1\wedge d{x}^2\wedge d{x}^3=0$. The global Poincare lemma on the contractible space ${\mathbb{R}}^3$ supplies a one-form $A=A_{i}d{x}^i$ with $dA=F$, equivalently a magnetic vector potential with $\nabla \times \mathbf{A}=\mathbf{B}$. An explicit radial-gauge potential for a divergence-free magnetic field isThis is the radial homotopy formula for a closed two-form and is smooth even at the origin. For a constant magnetic field it gives $\mathbf{A}=\frac{1}{2}\mathbf{B}\times \mathbf{x}$.

Consider the Eisenhart-Duval lift with the Lorentzian metricThe independent one-forms $d{x}^1,d{x}^2,d{x}^3,dt,du-2A_{i}d{x}^i-Udt$ exhibit three positive directions and a two-dimensional block with one positive and one negative direction. Thus the metric is nondegenerate, of signature $(4,1)$. Its coefficients do not depend on $u$, and $g_{uu}=0$, so $\xi ={\partial }_u$ is a null Killing vector field. Indeed $g_{Au}$ are constant, so ${\Gamma }^A{}_{Bu}=0$ for the Levi-Civita connection and $\xi$ is parallel.

The geodesic Lagrangian for an affine parameter $\lambda$ isThe cyclic coordinate $u$ gives the conserved quantity $p_u=\partial L/\partial u^{\prime }=t^{\prime }$. Work at a nonzero value of $p_u$ and rescale the affine parameter to set $t^{\prime }=1$. This is the essential step in the null Kaluza-Klein reduction of a stationary force: one fixes the momentum along the null isometry and projects its geodesics, rather than dividing by $g_{uu}$.

The spatial Euler-Lagrange equations, before setting $t^{\prime }=1$, areSince $t^{\prime \prime }=0$ and $F_{ij}{v}^j=-(\mathbf{B}\times \mathbf{v}{)}_i$, their reduction isEquivalently, after taking $t$ as the affine parameter, the term $\dot{u}$ is a total derivative and the reduced Lagrangian is $L_{\mathrm{red}}=\frac{1}{2}|\dot{\mathbf{x}}{|}^2-2\mathbf{A}\cdot \dot{\mathbf{x}}-U$. Its Euler-Lagrange equations give the same sign and factor two.

There is also an explicit converse using null geodesics. For any physical trajectory, setThis makes its five-dimensional tangent null. The conserved momentum of the cyclic coordinate $t$ becomesThe quantity in parentheses is conserved, because its derivative is $\dot{\mathbf{x}}\cdot (2\mathbf{B}\times \dot{\mathbf{x}})=0$. Hence the $t$ equation, as well as the spatial and $u$ Euler-Lagrange equations, is satisfied. Every trajectory admits a null geodesic lift with $p_u=1$, and every such lift projects to the required trajectory.

Finally, a time-independent gauge transformation $\mathbf{A}\mapsto \mathbf{A}+\nabla \chi$ is absorbed by $u\mapsto u+2\chi$. The one-form $du-2A_{i}d{x}^i-Udt$ and the five-dimensional metric are unchanged. These gauge transformations of an Eisenhart-Duval lift alter the reduced Lagrangian only by the total derivative $-2d\chi /dt$.

The solenoidal constraint on the magnetic field reduces to ${\partial }_x{B}_x+{\partial }_z{B}_z=0$. Locally, or globally in a simply connected cross-section, it permits a Cartesian magnetic flux function satisfyingThe transverse magnetic field lines are contours of $\psi$, because $\mathbf{B}\cdot \nabla \psi =0$. The independent component $B_y$ supplies the twist of the flux tube; it is not restricted by the solenoidal constraint.

For the Lorentz force, take the curl explicitly:Its cross product with $\mathbf{B}$ has transverse components $-({\nabla }^2\psi )\nabla \psi -B_y\nabla B_y$ and $y$ component ${\psi }_x{B}_{y,z}-{\psi }_z{B}_{y,x}$. ConsequentlyThe term $-B_y\nabla B_y/{\mu }_0$ is the transverse gradient of the magnetic pressure associated with the axial field, while the other terms include magnetic tension.

Use suffix notation with indices ranging from $1$ to $3$, and sum over repeated indices. By the component definitions of the dot product and cross product,The Levi-Civita symbol is unchanged by a cyclic permutation of its three indices: the cycle is two transpositions and hence has positive sign. Thus ${ϵ}_{ijk}={ϵ}_{kij}$. Commuting the scalar components givesTherefore the scalar triple product obeysCyclically moving the vectors preserves the scalar triple product; interchanging just two reverses its sign.

The two displacement vectors $\mathbf{b}-\mathbf{a}$ and $\mathbf{c}-\mathbf{a}$ lie in the required plane. Because the three points are non-collinear, their cross productis nonzero and is a normal vector to that plane. A point with position vector $\mathbf{r}$ lies in the plane exactly whenExpanding the cross product givesThe terms $\mathbf{a}\cdot (\mathbf{a}\times \mathbf{b})$ and $\mathbf{a}\cdot (\mathbf{c}\times \mathbf{a})$ vanish, so the equation of a plane through three points becomesNon-collinearity is important: it ensures this is a genuine plane equation with nonzero normal, rather than the vacuous equality $0=0$.

For the specified coordinates,Their sum is $(3,3,6)$, with Euclidean norm $3\sqrt{6}$. Consequently either orientation of the unit normal is valid:As a check, the scalar triple product is $12$, so the plane equation simplifies to $x+y+2z=4$, which all three supplied points satisfy. The normal direction is $(1,1,2)$.

Use an Earth-centred rotating reference frame, with Earth's constant angular velocity vector $\mathbf{\omega }$. The vectors $\mathbf{r}$, $\mathbf{v}$, and $\mathbf{a}$ are the particle's position, velocity, and acceleration measured in that rotating frame. The vector $\mathbf{g}$ is the gravitational acceleration due to the actual gravitational force, expressed in the same axes; it excludes the separate centrifugal acceleration. The remaining term $-2\mathbf{\omega }\times \mathbf{v}$ is the Coriolis acceleration. A constant rotation axis and an unaccelerated Earth-centred origin account for the absence of an Euler term or a translational-origin term.

For the size estimates, Earth's angular speed isWith drop height $H=20\mathrm{m}$, unperturbed free fall gives the fall timeand final speed $gT=20{\mathrm{m}\mathrm{s}}^{-1}$. Thus the gravitational term has size $10{\mathrm{m}\mathrm{s}}^{-2}$, the Coriolis acceleration is at most about $2\omega gT\approx 2.8\times 10^{-3}{\mathrm{m}\mathrm{s}}^{-2}$, and the centrifugal acceleration is at most ${\omega }^2{R}_0\approx 2.9\times 10^{-2}{\mathrm{m}\mathrm{s}}^{-2}$. These are characteristic sizes $10^1$, $10^{-3}$, and $10^{-2}$ in acceleration units; geometric factors can reduce them, and the Coriolis term is zero at release.

For a suitable approximation to the rotational deflection of a falling body, take $\mathbf{g}$ constant over the short fall, start at rest relative to Earth, and use the zeroth-order velocity ${\mathbf{v}}^{(0)}(t)=\mathbf{g}t$ inside the small Coriolis term. In the centrifugal term replace $\mathbf{r}$ by ${\mathbf{R}}_0$, because $H/R_0\ll 1$. Integrating the resulting acceleration twice, with initial position ${\mathbf{r}}_{\mathrm{i}}$, givesSince ${\mathbf{r}}_{\mathrm{i}}+\mathbf{g}{T}^2/2={\mathbf{R}}_0$, evaluating at the unperturbed fall time yields the printed first-iterate estimate

The approximation keeps the leading Coriolis contribution and the leading centrifugal contribution enhanced by Earth's large radius. Feeding the Coriolis velocity correction back into the equation produces terms of size ${\omega }^{2}g{T}^4$, smaller than the retained centrifugal displacement by a factor of order $H/R_0$. Replacing $\mathbf{r}$ by ${\mathbf{R}}_0$ in that term has the same relative error. Here $\omega T\approx 1.4\times 10^{-4}$ and $H/R_0\approx 3.3\times 10^{-6}$, so both approximations are well controlled. Strictly, the displayed vector is the position at time $T$: its small upward component is removed by the slightly longer actual fall time. That arrival-time correction changes the retained horizontal displacements only at higher order. Thus the horizontal components of the printed estimate give the landing point on the locally flat surface; its vertical component should not be interpreted as a landing above the ground.

Let ${\hat{\mathbf{e}}}_E,{\hat{\mathbf{e}}}_N,{\hat{\mathbf{e}}}_U$ point east, north, and vertically upwards. They form a right-handed basis, with ${\hat{\mathbf{e}}}_N\times {\hat{\mathbf{e}}}_U={\hat{\mathbf{e}}}_E$. At latitude $\lambda$, in the spherical-Earth approximation,The required cross products areAt $\lambda =45^{\circ }$, the northerly and easterly displacements are thereforeThe negative northerly component means a southward displacement. With the supplied values, these are approximately $2.9\mathrm{cm}$ south and $1.3\mathrm{mm}$ east. The eastward effect comes from Coriolis acceleration, while the leading southward effect here comes from centrifugal acceleration.

The torque about an origin is $\mathbf{\tau }=\mathbf{r}\times \mathbf{F}$. A cross product multiplies the dimensions of its factors, so torque has the physical dimension of length times force:

In steady flow, the Euler equations for an inviscid fluid and part (a) giveTaking the dot product with $\mathbf{u}$ yields $\mathbf{u}\cdot \nabla H=0$, because a cross product is perpendicular to its first factor. Part (b) therefore gives Bernoulli's quantity along streamlines:For rotational flow these constants can differ between streamlines, since $\mathbf{u}\times \mathbf{\omega }$ need not vanish and therefore $\nabla H$ need not be zero. Special rotational flows can still have one global constant when that cross product vanishes; the general conclusion is only constancy along individual streamlines.

The Pauli matrix commutator identity givesfor the anti-Hermitian basis of the SU(2) Lie algebra. In the ordered basis $(T^1,T^2,T^3)$ the Adjoint representation matrices, with columns recording the images of basis elements, areTheir squared matrix traces are $-2$, and the mixed products have zero trace. Therefore the Killing form of the SU(2) Lie algebra isIt is negative definite and nondegenerate, so this real Lie algebra is semisimple. It is also simple: the displayed bracket is the three-dimensional cross product; if an ideal of a Lie algebra contains nonzero $x$, the vectors $[y,x]$ span the plane perpendicular to $x$, and together with $x$ span the whole algebra. This confirms that the simplicity implication applies with a nonzero Killing form.

Under the first-order smoothing approximation, neglect the fluctuating product in the resistive induction equation while retaining its contribution to the mean electromotive force. Since the test field ${\mathbf{B}}_0$ is constant and the velocity is a solenoidal vector field, the fluctuation equation isLet $a=\eta k^2>0$, $d=a^2+{\Omega }^2$, and ${\mathbf{C}}_j=i({\mathbf{B}}_0\cdot {\mathbf{k}}_j){\hat{\mathbf{u}}}_j$. For each Fourier mode, the diffusion equation becomes a scalar linear relaxation equation applied to each vector component. Take its long-time periodic response, with $\Omega \ne 0$. For the first mode,while for the second,Thus the complex response coefficients areThey giveAn arbitrary initial fluctuation also contains a homogeneous diffusive transient. In the forced modes this is $\mathrm{Re}{\sum }_j{\mathbf{r}}_j{e}^{i{\mathbf{k}}_j\cdot \mathbf{x}-at}$; more general initial modes also diffuse. The displayed harmonic expression is the periodic particular solution after those transients, not the most general solution at finite time. The constants $a,d$ and the factors of $i$ are unchanged by taking the final real part.

To justify the helicity relation, write ${\hat{\mathbf{u}}}_j={\mathbf{a}}_j+i{\mathbf{c}}_j$ with real vectors. Solenoidality gives ${\mathbf{k}}_j\cdot {\mathbf{a}}_j={\mathbf{k}}_j\cdot {\mathbf{c}}_j=0$. Their cross product is parallel to ${\mathbf{k}}_j$, andThis is the helicity vector of a solenoidal Fourier mode. In these conventions the spatially averaged kinetic helicity density of $\mathrm{Re}({\hat{\mathbf{u}}}_j{e}^{i{\mathbf{k}}_j\cdot \mathbf{x}})$ is $-H_j{k}^2$; the sign is set by the specified cross-product order.

For equal wavevectors, spatial averaging of two real harmonic fields givesTime averaging gives another factor $1/2$, because $⟨{\cos }^2\Omega t{⟩}_t=⟨{\sin }^2\Omega t{⟩}_t=1/2$ and the mixed temporal average is zero. Consequently each diagonal mode contributes to the mean-field electromotive forceDistinct modes with ${\mathbf{k}}_1\ne \pm {\mathbf{k}}_2$ have no spatially averaged cross term. The printed condition also permits the opposite-wavevector case. The possible cross terms still cancel after time averaging: the out-of-phase response coefficients are ${\mathbf{p}}_2=-\Omega {\mathbf{C}}_2/d$ and ${\mathbf{q}}_1=\Omega {\mathbf{C}}_1/d$, while integration by parts gives $⟨{\mathbf{u}}_1\times ({\mathbf{B}}_0\cdot \nabla ){\mathbf{u}}_2{⟩}_x=⟨{\mathbf{u}}_2\times ({\mathbf{B}}_0\cdot \nabla ){\mathbf{u}}_1{⟩}_x$ for the real spatial fields. This handles all the distinct wavevectors allowed by the question, assuming the usual periodic-cell or whole-space spatial average.

Thus the alpha tensor isBoth averaging factors matter. The alpha tensor is real and symmetric, and this contribution vanishes when the mode kinetic helicity densities vanish.

For the two perpendicular wavevectors and common $H_1=H_2=H$, put ${\alpha }_0=\eta H{k}^4/[2({\Omega }^2+{\eta }^2{k}^4)]$. ThenMean-field dynamo action is possible when ${\alpha }_0\ne 0$ and sufficiently long mean-field wavelengths are allowed. The missing $zz$ entry does not prevent an alpha-squared dynamo. Indeed a slowly varying mean magnetic field transverse to $z$, with dependence $e^{iKz+\lambda t}$, obeysThe two growth rates are $-\eta K^2\pm {\alpha }_{0}K$, so the larger is positive if $0<|K|<|{\alpha }_0|/\eta$. This supplies a brief constructive reason; scale separation also requires $|K|\ll k$. A spatially uniform test field itself has zero curl of its mean-field electromotive force and does not grow. If $H=0$, or if boundary conditions exclude all unstable long wavelengths, this particular alpha effect does not yield growth. The conclusion concerns the stated first-order smoothing approximation; no uncomputed turbulent-diffusion correction is assumed.

The cross product $x\times y$ is the vector perpendicular to $x$ and $y$, of magnitude $|x||y|\sin \alpha$ and orientation fixed by the right-hand rule. In suffix notation,where ${\epsilon }_{ijk}$ is the Levi-Civita symbol. ThereforeUsinggivesHence the vector triple product identity is

Write $y=(y_1,y_2,y_3{)}^T$. From the coordinate formula for the cross product,If $y=c_1{e}_1$, this becomesThus $c_1\ne 0$ gives rank three and a zero-dimensional kernel, while $c_1=0$ gives rank one and kernel dimension two.

If $y\cdot e_1=0$, then $y_1=0$. When $y\ne 0$, the equations $Tx=0$ force $x_1=0$ and $y_3{x}_2-y_2{x}_3=0$, soWhen $y=0$, again $\mathrm{rank}T=1$ and $\dim \ker T=2$. These dimensions also agree with the rank-nullity theorem.

Let $a$ be any constant vector and take $u=\varphi a$. The product rule for divergence gives $\nabla \cdot u=a\cdot \nabla \varphi$. The divergence theorem on a bounded region with piecewise smooth boundary, oriented outward, therefore yieldsSince $a$ is arbitrary, equality of all components provesHere $\varphi$ is continuously differentiable on a neighbourhood of the closed region.

For the side of this right circular cone, the parameter tangents are $x_r=(\cos \theta ,\sin \theta ,\sqrt{3})$ and $x_{\theta }=(-r\sin \theta ,r\cos \theta ,0)$. Their cross product in the outward order isThe sign is outward because the solid right circular cone lies at smaller cylindrical radius for fixed height. Reversing the parameter order reverses the oriented surface element.

To check the integral identity, the closed boundary must include the top Euclidean disk $z=1$, radius $1/\sqrt{3}$, as well as the curved side. For $\varphi =z^2$, horizontal components cancel on integrating $\theta$. The side contribution isOn the top Euclidean disk $\varphi =1$ and $d\mathbf{S}=e_{z}dA$, so its contribution is $(\pi /3)e_z$. The total is $(\pi /6)e_z$. Independently, the cross-section of the solid at height $z$ has area $\pi z^2/3$, and $\nabla \varphi =2z{e}_z$, givingThus the two sides agree. The curved side alone is not a closed surface and does not satisfy this volume identity. The apex has zero area; alternatively one can truncate at height $\epsilon$ and let $\epsilon \downarrow 0$, with the extra boundary contribution vanishing.

Let $F=|\mathbf{F}|>0$ and choose an orientation of a regular curve following the vector field. Its unit tangent vector is $t=\sigma \mathbf{F}/F$, where $\sigma =\pm 1$ is constant along a connected regular segment. Arc length differentiation along that curve is $d/ds=(\sigma \mathbf{F}/F)\cdot \nabla$. ThereforeTaking the cross product with $t$ removes the term parallel to $\mathbf{F}$:Where the Frenet frame exists, $t\times t^{\prime }=\kappa (t\times n)=\kappa b$. ThusThe printed sign corresponds to orientation along or against the field. Taking magnitudes gives the orientation-independent curvature of an integral curve of a vector field, $\kappa =|\mathbf{F}\times (\mathbf{F}\cdot \nabla )\mathbf{F}|/F^3$. This scalar formula also applies at zero curvature, where $b$ itself may be undefined.

Use the usual setting of a continuously differentiable solenoidal vector field defined on all radial segments from the origin, including the origin. More generally an open star-shaped set containing zero suffices. Differentiation under the integral sign givesApply divergence and curl of a cross product with the second field $x$, using $\nabla \cdot x=3$ and $(D\cdot \nabla )x=D$:The scaling identity in part (a) now converts the last expression to a one-variable derivative:Continuity at the origin ensures the lower endpoint is zero. Hence the radial vector potential of a solenoidal vector field isThe order of the cross product matters: $x\times D$ would produce $-B$. This construction is not valid on every punctured or multiply connected domain. For example $B=x/|x{|}^3$ is solenoidal away from zero, but its radial integral diverges at zero and it has nonzero flux through a surrounding sphere. The stated formula therefore implicitly needs the regular radial-domain hypothesis, rather than just local zero divergence.

Assume the particle masses $m_i$ are fixed and their total mass $M={\sum }_i{m}_i$ is positive. The centre of mass and the relative position vectors areTheir weighted sum is zero, so differentiation gives ${\sum }_i{m}_i{\dot{\mathbf{y}}}_i=0$. Expanding the kinetic energy with ${\dot{\mathbf{x}}}_i=\dot{\mathbf{R}}+{\dot{\mathbf{y}}}_i$ makes the mixed term vanish:This kinetic-energy decomposition about the centre of mass separates translation from internal motion without assuming any particular force law.

For the rigid body, its relative velocity is ${\dot{\mathbf{y}}}_i=\omega \mathbf{n}\times {\mathbf{y}}_i$. The cross product identity for a unit vector gives $|\mathbf{n}\times {\mathbf{y}}_i{|}^2=|{\mathbf{y}}_i{|}^2-(\mathbf{n}\cdot {\mathbf{y}}_i{)}^2$, the squared perpendicular distance to the rotation axis. Hence the moment of inertia of the particle is $I_i=m_i[|{\mathbf{y}}_i{|}^2-(\mathbf{n}\cdot {\mathbf{y}}_i{)}^2]$, and summing the rotational kinetic energy yields

The two Lie groups have the same local infinitesimal structure, but different global topology. This difference determines which Lie algebra representations integrate to representations of each group.

An element of the SU(2) group is a unitary matrix of determinant one. Orthogonality of its columns and its determinant give the unique formThus its group manifold is the unit three-sphere in ${\mathbb{C}}^2\simeq {\mathbb{R}}^4$: this is SU(2) as the three-sphere. In particular it is compact, connected and simply connected. In terms of the Pauli matrices one may also write $U=a_{0}I-i\mathbf{a}\cdot \mathbf{\sigma }$ with real coefficients satisfying $a_0^2+{\mathbf{a}}^2=1$.

Differentiate $U(t{)}^{†}U(t)=I$ and $\det U(t)=1$ at $U(0)=I$. The tangent space consists of traceless skew-Hermitian matrices:The Lie bracket of a Matrix Lie group is the matrix commutator. With $T_a=-i{\sigma }_a/2$, the Pauli matrix multiplication law givesThis derives the SU(2) Lie algebra as a three-dimensional real Lie algebra. The Hermitian physics generators $J_a={\sigma }_a/2$ instead obey $[J_a,J_b]=i{ϵ}_{abc}{J}_c$; they are $i$ times the skew-Hermitian tangent generators, so these are consistent conventions.

The SO(3) group consists of real orthogonal matrices with determinant one. Differentiating $R(t{)}^{T}R(t)=I$ at the identity givesThe determinant condition gives no additional infinitesimal constraint because a skew-symmetric matrix already has trace zero. Define $L_a\mathbf{v}={\mathbf{e}}_a\times \mathbf{v}$. The cross product identity impliesTherefore the SO(3) Lie algebra has the same structure constants and $T_a\mapsto L_a$ is a Lie algebra isomorphism.

The global relation is the Adjoint double cover from SU(2) to SO(3). For $V=\mathbf{v}\cdot \mathbf{\sigma }$, define $R(U)$ byConjugation preserves the real space of traceless Hermitian matrices and its inner product $\frac{1}{2}\mathrm{tr}(VW)=\mathbf{v}\cdot \mathbf{w}$. Hence $R(U)$ is orthogonal. Continuity and connectedness, together with $R(I)=I$, put it in $SO(3)$. Composition of conjugations makes $R$ a group homomorphism. If $R(U)=I$, then $U$ commutes with every Pauli matrix, hence is scalar; unitarity and determinant one leave precisely $U=\pm I$. The differential sends $T_a$ to $L_a$, so it is an isomorphism. More concretely,induces rotation through angle $\theta$ about $\mathbf{n}$, by the Rodrigues rotation formula. Every three-dimensional rotation has such an axis and angle, proving surjectivity. ConsequentlyThe matrices $U$ and $-U$ are antipodal points on the three-sphere, so the SO(3) group manifold is Real projective space ${\mathbb{RP}}^3$. Equivalently, the closed axis-angle ball $\Vert \theta \mathbf{n}\Vert \le \pi$ has opposite boundary points identified. The fundamental group is ${\pi }_1(SO(3))\simeq {\mathbb{Z}}_2$, whereas ${\pi }_1(SU(2))=0$. A $2\pi$ rotation lifts from $I$ to $-I$; a $4\pi$ rotation returns to $I$. Thus the covering is the universal cover and the groups are not globally isomorphic.

For representation theory, specify finite-dimensional complex continuous representations. Compactness permits an invariant Hermitian inner product, obtained by averaging against Haar measure, and therefore complete reducibility. Complexifying either real Lie algebra gives the sl2 Lie algebra. Its finite-dimensional irreducibles are indexed by $n\in {\mathbb{Z}}_{\ge 0}$, have highest weight $n$, and have dimension $n+1$. By integration of a Lie-algebra representation, since $SU(2)$ is simply connected, every such Lie algebra representation integrates uniquely. The resulting homogeneous polynomial representation of SU2 isIn the spin angular momentum notation $j=n/2$, its Hermitian $J_3$ eigenvalues are $j,j-1,\dots ,-j$. The central matrix $-I$ acts on the symmetric power by $(-1{)}^n$, so descent of an SU(2) representation to SO(3) occurs exactly when $n$ is even. HenceFor a reducible representation, every summand must satisfy the descent condition. The spin-one-half doublet is a genuine representation of the covering group but does not define a single-valued representation of $SO(3)$; the spin-one triplet does and is its vector representation. The distinction is topological, rather than a difference in their isomorphic Lie algebras.

Use $x^0=t$ and the Levi-Civita symbol ${ϵ}^1{}_{23}=1$. Define a smooth affine connection byThe lower indices are symmetric, so it is a torsion-free connection. With $t$ itself as parameter, the time component of the geodesic equation is identically satisfied, while its spatial components becomeThe last term is $2(\mathbf{B}\times \dot{\mathbf{x}}{)}^i$, with the wedge in the source interpreted as the three-dimensional cross product. Thus the spacetime lifts $(t,\mathbf{x}(t))$ are actually affinely parametrized geodesics, which proves the requested unparametrized claim. Conversely a geodesic with nonzero constant $dt/ds$ can be parametrized by $t$ and obeys this particle equation; purely spatial geodesics with $dt/ds=0$ are not such trajectories. No field equations or metric compatibility are needed. This construction is the affine connection for a velocity-linear force.

Set $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $M=M_1+M_2$ and $\mu =M_1{M}_2/M$, the reduced mass. Newton's law of universal gravitation gives ${\ddot{\mathbf{x}}}_1=-G{M}_2\mathbf{r}/r^3$ and ${\ddot{\mathbf{x}}}_2=G{M}_1\mathbf{r}/r^3$. Subtraction establishesFor fixed masses, the orbital energy and angular momentum areTaking derivatives gives $\dot{E}=\mu \mathbf{v}\cdot (\ddot{\mathbf{r}}+GM\mathbf{r}/r^3)=0$ and $\dot{\mathbf{J}}=\mu \mathbf{r}\times \ddot{\mathbf{r}}=0$. These are conservation of energy and conservation of angular momentum in the unperturbed Kepler orbit. To see directly that the orbital eccentricity is fixed, put $\mathbf{h}=\mathbf{r}\times \mathbf{v}$ and $\mathbf{n}=\mathbf{r}/r$. The eccentricity vector isSince $\dot{\mathbf{h}}=0$, the cross product identity $\mathbf{r}\times (\mathbf{r}\times \mathbf{v})=\mathbf{r}(\mathbf{r}\cdot \mathbf{v})-r^2\mathbf{v}$ gives $\ddot{\mathbf{r}}\times \mathbf{h}=GM\dot{\mathbf{n}}$, so $\dot{\mathbf{e}}=0$. Its magnitude $e$ is the orbital eccentricity. Equivalently,Thus the semi-major axis and orbital eccentricity of a bound noncollision Kepler orbit are constant, including $e=0$.