For a Cartesian change of basis represented by an orthogonal matrix , vectors transform as and . Their squared norms are invariant and . Substitution into the given expression therefore gives
the transformation law of a Cartesian second-rank tensor. The magnetic field's extra axial sign under an improper physical reflection, if included, appears twice and cancels in its quadratic contribution.
Write the Maxwell stress tensor as . Its divergence is
The identity follows by contracting two Levi-Civita symbols, or directly by differentiating components. Using Maxwell's equations consequently yields
Hence the local conservation of electromagnetic momentum is
The two subtracted terms are the Lorentz force density, while is the electromagnetic momentum density in the units used here.
Take the divergence of the Ampère-Maxwell equation, . Since the divergence of a curl is zero vanishes, and Gauss's law gives , the result is
This is the charge continuity equation.
At an internal point of a homogeneous Ohmic conductor, Ohm's law gives . Since is constant, the charge continuity equation becomes . Therefore
This is charge relaxation. Here is the total charge appearing in the vacuum form of Gauss's law; in a homogeneous dielectric description of free charge the corresponding constant permittivity replaces .
For a finite isolated body, charge travels to the surface. The bulk formula applies at internal points, not across the interface where electrical conductivity jumps and surface charge density accumulates. Integrating the charge continuity equation over the body, including its surface charge, gives constant total electric charge because no electric current crosses the external boundary. Bulk decay and conservation of electric charge are therefore compatible.
Let along one characteristic curve. Differentiating the characteristic equation gives , , with . The Liouville formula for a fundamental matrix then gives the phase-space flow Jacobian
Indeed , since is independent of . Differentiation proves . If that divergence vanishes, gives and the flow preserves Lebesgue measure on phase space.
For every test function , the distributional weak solution satisfies
There is no initial-time boundary term because the test functions are on the whole time line. In divergence notation the flux in the seven coordinates is , whose divergence is . For a general -dimensional divergence the introductory flux must be vector-valued; the scalar codomain printed for is dimensionally inconsistent when . The transport identity above has the correct flux dimensions.
Strict positivity throughout phase space is incompatible with compact support. The following calculation uses positive smooth rapidly decaying solutions with all displayed integrals justified; nonnegative cases use the corresponding entropy limits where justified.
Write and use integration over . The two symmetrized weak collision identities are
and
They follow from particle interchange and the angular exchange for elastic collisions. They are the weak identities needed here; no invalid fixed-angle Jacobian is used.
The collision invariants , and obey . Momentum follows from , and energy from . Hence
For the Boltzmann H functional , the spatial transport contribution is a boundary divergence and the term is zero. Set , . The second weak identity with gives the Boltzmann H theorem
Indeed this integrand with its negative sign is for , which is nonpositive. The kinetic H functional decreases; the physical entropy with opposite sign increases.
For two Stokes flows and of the same dynamic viscosity in the same region, with no volume force, the Lorentz reciprocal theorem states
Indeed, the divergence of their cross-work difference is
The pressure terms vanish by incompressible flow, and the derivatives of the Cauchy stress tensors vanish by the Stokes equation. The divergence theorem proves the result.
Use the convention that are the force and torque exerted by the body on the fluid. By Linearity of Stokes flow, . Applying the Lorentz reciprocal theorem to two independent rigid motions gives , so the hydrodynamic resistance matrix is a symmetric matrix. The boundary-power identity gives
This is strictly positive for nonzero rigid motion: equality would imply , hence a rigid motion throughout the connected fluid, which must vanish since the fluid is at rest at infinity. The no-slip boundary condition would then force . Therefore is a positive-definite matrix. Reversing to the fluid-on-body force changes the sign of the force law, not the positive resistance coefficients.
For the two rods, take the torque about and use body axes. On the -rod, , , and its slender-body force density is
On the -rod it is
Integrate and along both rods, using , and . A convenient dimensionally uniform statement of the complete right-angle two-rod resistance matrix is
In physical coordinates this means translation–translation entries scale as , the two translation–rotation blocks as , and rotation–rotation entries as . The planar block has inverse
This verifies the printed hydrodynamic mobility matrix with its third velocity component ; the TeX aid's is an OCR error.
Take laboratory vertical velocity positive upwards. The body axes are and . In quasistatic sedimentation the force and torque exerted on the fluid equal the gravitational resultants on the body:
The out-of-plane block is unforced, so its positive hydrodynamic resistance matrix gives . Substitution in the planar hydrodynamic mobility matrix gives
and
For , this ordinary differential equation has positive right side on , with a stable zero at . Uniqueness prevents crossing that equilibrium in finite time. For the initial angular velocity is negative, and the stable equilibrium reached from zero is . The heavier-end body turns clockwise through ; it does not settle at . More explicitly, with ,
where the continuous branch has . At , remains zero.
Transforming the translational velocity back to laboratory axes gives
For , eliminate time between and the angular velocity:
At either limiting orientation . Thus both cases have the same net horizontal displacement,
For the drift is monotonically rightwards. For it first moves left, reaching at , then reverses. The total horizontal path length in this second case is , whereas its net displacement is rightwards. At it falls vertically without rotation or drift; taking the infinite-time limit before is consequently singular.
For the requested sedimentation drift of a weighted two-rod body sketch, a full parametric trajectory follows by also integrating . Put and set the initial height to zero:
It tends to in either case while tends to . At both rods end pointing upwards from symmetrically; at they end pointing downwards symmetrically. The asymptotic downward speed is .
Figure 1.
Falling two-rod bodies: trajectory of O and successive orientations for lighter and heavier end masses
.
The electric field of this point charge is a translated and scaled version of the radial field in part (ii). If and , its divergence vanishes throughout , so the divergence theorem gives zero flux integral.
If lies inside , remove a small ball centered at . On the remaining volume the divergence is zero. Its boundary is together with the small sphere, whose outward normal for the punctured volume points towards . That inner sphere contributes , by the sphere flux computed in part (ii). Thus the exterior flux must be :
This is Gauss's law for a point charge. The assumption that the charge is not on the boundary is essential to these alternatives.
On the outward-oriented sphere of radius , , so . Hence
Away from the origin, the divergence and curl of a radial vector field with give
If the enclosed volume excludes the origin and its boundary avoids it, this field is smooth throughout the volume. The divergence theorem then gives . The nonzero sphere flux is compatible with zero divergence away from the origin because the enclosed singularity prevents applying that smooth-volume theorem directly to the full ball.