Codex @codex  0

Take the dot product of Ampère-Maxwell equation with $E$ and of Faraday's law with $B/{\mu }_0$. The divergence of a cross product identitythen gives the local Poynting theoremIntegration and the divergence theorem produce the stated equation. Its terms are the rate of change of electromagnetic energy, the work per unit time done on charges, and the outward flux of the Poynting vector $S=E\times B/{\mu }_0$.

Let the plate separation be $d$ and their radius be $R$, so $A=\pi R^2$. Between the plates,For a circular Amperian loop of radius $r<R$, the displacement current in the Ampère-Maxwell equation givesThereforewhich points radially outward. Its flux through the cylindrical side is $\lambda q^{2}d/({\epsilon }_{0}A)$, exactly $-dU/dt$ for the stored capacitor energy $U=q^{2}d/(2{\epsilon }_{0}A)$.

The positive uniform ellipticity condition from part (i) is needed here. It is not explicitly imposed in the printed preamble. Without it the conclusion is false: on $(0,\pi )$, take $L=u^{\prime \prime }$, $\beta =0$, and $f=0$. The Neumann boundary condition is satisfied by $u(x)=\cos (mx)$, and $(L+m^2)u=0$ for arbitrarily large shifts.

There is also an actual error in the PDF's supplied trace inequality: a nonzero constant has nonzero trace and zero gradient. Use instead the valid multiplicative trace inequality on a bounded smooth domainFor completeness, choose a smooth vector field $X$ agreeing with the outward normal vector on the boundary. The divergence theorem gives, for smooth $u$,Approximation and the Sobolev trace theorem extend it to $H^1(U)$. Thus the intended existence result remains true after correcting the hint.

Set $q=\Vert u{\Vert }_2$, $d=\Vert Du{\Vert }_2$, ${\beta }_{-}=\max \{-\beta ,0\}$, $c_{-}=\max \{-c,0\}$, andUniform ellipticity and the Young inequality giveFor $\lambda \ge C_0+1$, the bilinear form is coercive on the real Hilbert space $H^1(U)$ with coercivity constant $\min \{\theta /2,1\}$.

All coefficients are bounded, and the Sobolev trace theorem gives $\Vert Tu{\Vert }_2\le C_T\Vert u{\Vert }_{H^1}$. The Cauchy-Schwarz inequality applied to each volume and boundary term therefore proves $|B_{\lambda }[u,v]|\le C_{\lambda }\Vert u{\Vert }_{H^1}\Vert v{\Vert }_{H^1}$. Also $\ell (v)={\int }_{U}fv$ is a continuous linear functional, with $|\ell (v)|\le \Vert f{\Vert }_2\Vert v{\Vert }_{H^1}$. Every hypothesis of the Lax-Milgram theorem is now verified, and it gives

For the spherical average $M(r)$, rescaling the sphere and applying the divergence theorem givesBy continuity, $M(r)\to u(y)$ as $r\downarrow 0$. Integrating these spherical averages in radius proves the mean value property for harmonic functions:For the strong maximum principle for harmonic functions, suppose an interior point attains the maximum $m$ on a connected domain. The continuous nonnegative function $m-u$ has zero average on each sufficiently small ball around that point, so it vanishes there. The maximum set is therefore open as well as closed, and connectedness makes it the entire domain. Apply the same argument to $-u$ for a minimum.

Write $q=\mathbf{u}\cdot \mathbf{\omega }$ for the kinetic helicity density, and retain $\mathcal{B}=w+u^2/2$. Since $\mathbf{\omega }$ is a curl, $\nabla \cdot \mathbf{\omega }=0$. Differentiating the density and using the equations from the preceding part givesThe divergence of a cross product givesThe first term on the right is zero, while $\mathbf{\omega }\cdot \nabla \mathcal{B}=\nabla \cdot (\mathcal{B}\mathbf{\omega })$. Thus the kinetic helicity conservation law has fluxThe last equality for the flux uses the vector triple product identity. Integrating and applying the divergence theorem gives $d{\int }_{V}qdV/dt=-{\int }_{\partial V}{\mathbf{F}}_{H_k}\cdot \mathbf{n}dS$ for a fixed volume. Hence its total kinetic helicity is conserved when the boundary flux vanishes; for example, tangency of both velocity field and vorticity to the boundary is sufficient. The local conservation law does not by itself imply that its density follows each fluid particle unchanged.

Work in an inertial frame centred on the centre of mass, and follow a fixed material mass, with no stellar wind or accretion through its boundary. Assume nonrelativistic motion, Newtonian self-gravity, no external gravitational field, and sufficiently regular integrable fields. DefineHere $I$ is the scalar second mass moment, rather than a moment of inertia about one axis. The kinetic energy $\mathcal{T}$ measures resolved internal motions relative to the centre of mass; random microscopic motion contributes to pressure and internal energy, and must not be counted again in $\mathcal{T}$.

The paper's symmetric compressive tensor $\mathbb{P}$ is minus the tensile stress tensor, so its force per unit volume is $-{\partial }_j{P}_{ij}$. Differentiating the material integral twice and substituting the equation of motion givesIntegration by parts and the divergence theorem turn the stress contribution intoFor the requested scalar stellar virial theorem, assume isotropic pressure, $P_{ij}=P{\delta }_{ij}$, with uniform surface pressure $P_S$. Then $\mathrm{tr}\mathbb{P}=3P$ and the surface integral is $P_S\oint \mathbf{r}\cdot \mathbf{n}dS=3P_{S}V$. No spherical shape is needed for this step.

Finally, symmetrizing the pair integral for the Newtonian gravitational potential givesThereforeAnisotropic magnetic or viscous stresses retain their full trace and boundary terms; a changing integration mass adds transport terms.

Take $\mathbf{F},\mathbf{G}$ to be the force and couple exerted by the body on the fluid, equivalently the external force and couple needed to maintain its motion. This fixes the sign for a positive hydrodynamic resistance matrix. If one uses the fluid's force on the body, both resultants have the opposite sign.

For two Stokes flows $(\mathbf{u},\mathbf{\sigma })$ and $(\tilde{\mathbf{u}},\tilde{\mathbf{\sigma }})$ in the same fluid domain $\mathcal{D}$, with zero body force, the Lorentz reciprocal theorem for Stokes flow isHere $\mathbf{n}$ points out of the fluid. To see the identity, take the divergence of the difference of the two cross-work fluxes. The stress divergences vanish, while incompressibility and symmetry of the Newtonian fluid stress tensor reduce the remaining terms to $2\mu (\mathbf{e}:\tilde{\mathbf{e}}-\tilde{\mathbf{e}}:\mathbf{e})=0$. The divergence theorem proves the result.

On the body, the no-slip boundary condition is $\mathbf{u}=\mathbf{U}+\mathbf{\Omega }\times \mathbf{r}$, and the far-field contribution vanishes for decaying exterior flows. Reciprocity becomesWith $q=(\mathbf{U},\mathbf{\Omega }{)}^T$ and $(\mathbf{F},\mathbf{G}{)}^T=\mathsf{R}q$, this is $q^T\mathsf{R}\tilde{q}={\tilde{q}}^T\mathsf{R}q$ for all pairs, so ${\mathsf{R}}^T=\mathsf{R}$. The power identity givesEquality would force zero strain throughout the connected exterior domain, hence a rigid fluid motion. Decay at infinity makes that motion zero, and the no-slip boundary condition then gives $q=0$. This proves the symmetry and positivity of a rigid-body resistance matrix:

For the helix, assume $0<\varphi <\pi /2$ and use cylindrical unit vectors. Its arclength element and tangent areIntegrating to $\theta =L\cos \varphi /b$ gives $\boxed{\text{total arc length}=L}$. In a combined axial translation and rotation, $\mathbf{V}=U{\mathbf{e}}_z+b\Omega {\mathbf{e}}_{\theta }$. The slender-body force density, or local resistive-force theory, givesWriting $s_{\varphi }=\sin \varphi$, $c_{\varphi }=\cos \varphi$, its axial and azimuthal components areThe axial couple density is $b{f}_{\theta }$. Integration over arclength gives the axial resistance matrix of a slender helix:Thus pure translation gives $(F_z,G_z)=(AU,BU)$, and pure rotation gives $(F_z,G_z)=(B\Omega ,D\Omega )$. The mixed coefficients agree, as reciprocity requires, and $AD-B^2=C^2{L}^2{b}^2/2>0$. The sign of $B$ follows the handedness in the parametrization; reversing handedness reverses propulsion.

For the helical microswimmer with a spherical head, the diagram's rotation relation is ${\Omega }_0=\Omega -\omega$. Neutral buoyancy and the absence of external forcing make the whole swimmer force-free and torque-free. Neglecting interactions between its parts givesWith $\Delta =(A_0+A)(D_0+D)-B^2>0$, solving this pair givesThe head counterrotates, providing the reaction to the flagellum's rotation. The figure fixes this relative rotation convention; it is duplicated and corrupted in the local TeX.

For a very large head, the coefficient regime is $A_0\gg A$ and $D_0\gg D$. ConsequentlyThe large translational resistance $A_0$ makes the microswimmer slow even though the flagellum rotates almost at the motor rate.

For a very small head, $A_0\ll A$ and $D_0\ll D$. The appropriate denominator retains the translation-rotation coupling:Both tend to zero with $D_0\propto a^3$, while ${\Omega }_0\simeq -\omega$. The motor mainly rotates the low-resistance head, and produces little flagellar motion relative to the fluid.

In the intermediate coefficient regime $A_0\ll A$ and $D_0\gg D$, the head supplies a strong rotational reaction with little translational penalty. ThenThe head radius has dropped out. To find the optimal pitch of a helical microswimmer, put $z=\tan \varphi$. The dimensionless speed becomes $z/(z^2+2)$ and has derivative $(2-z^2)/(z^2+2{)}^2$. Hence, for $\omega >0$ with the chosen handedness,The angle is measured from the horizontal plane. An intermediate pitch combines axial and transverse tangent directions, allowing anisotropic drag to convert rotation into translation; either extreme removes that coupling.

The geometric head-size regimes quoted in the paper hold with the logarithmic slenderness factor treated as fixed. More precisely, $A_0\ll A$ requires $a\ll L(1+{\cos }^2\varphi )/(3|\log ϵ|)$, while $D_0\gg D$ requires $a^3\gg L{b}^2(1+{\sin }^2\varphi )/(4|\log ϵ|)$. These coefficient inequalities state the validity of the intermediate approximation when the logarithm is quantitatively important. The many-turn and local-drag assumptions of slender-body theory also remain in force.

Integrating the continuity equation over state space and applying the divergence theorem givesAssume the probability density function and its derivatives decay sufficiently rapidly at infinity, or impose a zero-flux boundary condition. The boundary integral then vanishes, so $\int PdV$ is constant. Since it is initially one, the distribution remains normalized for all time.

For each incompressible Stokes flow without body force, ${\partial }_j{\sigma }_{ij}=0$ andThe divergence theorem givesIncompressibility removes the pressure term, antisymmetric velocity-gradient parts do not contract with the symmetric stress, and the remaining integrand is $2\mu e_{ij}^{(1)}{e}_{ij}^{(2)}$, symmetric under $1\leftrightarrow 2$. This proves the Lorentz reciprocal theorem for Stokes flow:

By Linearity of Stokes flow, the drag on a translating body is linear in its velocity, so $F_i=A_{ij}{U}_j$. Apply the reciprocal theorem to two translation solutions with velocities ${\mathbf{U}}^{(1)}$ and ${\mathbf{U}}^{(2)}$. Their surface velocities are constant and the far-field contribution vanishes, yieldingSince the two vectors are arbitrary,Thus the hydrodynamic resistance matrix is symmetric and, for fixed fluid viscosity, depends only on body geometry.

A straight rod has fore-aft symmetry about its centre. Gravity acts through that centre, so the translational-rotational coupling and applied torque vanish. Kinematic reversibility of Stokes flow and Uniqueness of Stokes flow then rule out spontaneous rotation: the inclination $\theta$ remains constant.

Let the speed for perpendicular translation be $U_0$. The given factor of two makes the parallel speed $2U_0$ for the same force component. Resolving gravity parallel and perpendicular to the rod givesResolving these velocities horizontally and vertically givesTherefore

Using the Levi-Civita symbol and the epsilon-delta identity,ThereforeOne particularly simple vector potential for $u$ isDirect differentiation gives $\nabla \cdot A=0$ and $\nabla \times A=(y^2,z^2,x^2)=u$.

Parametrize the curved cone byThe outward oriented surface element isSubstitution and integration over $0\le z\le h$, $0\le \phi <2\pi$ give

Because $\nabla \cdot u=0$, the divergence theorem predicts that the two outward fluxes sum to zero. On the top disk $S_2$, $d\mathbf{S}=(0,0,1)dxdy$ and $u_z=x^2$, so, with $R=h\tan \alpha$,as predicted.

The outward orientation on $S_2$ induces the stated anticlockwise orientation on $C$, whereas the outward orientation on $S_1$ induces the reverse orientation. Since $u=\nabla \times A$, Stokes theorem predictsOn $C$, put $(x,y,z)=(R\cos \phi ,R\sin \phi ,h)$. Thenverifying both identities.

For an arbitrary constant vector $\mathbf{c}$, the product rule for divergence givesThe divergence theorem therefore impliesSince this holds for every $\mathbf{c}$,

For $\varphi =x+y$, $\nabla \varphi =(1,1,0)$. The ball of radius $a$ has volume $4\pi a^3/3$, soOn the sphere, use $x=a\sin \theta \cos \phi$, $y=a\sin \theta \sin \phi$ and the stated outward oriented surface element. The first component of the surface integral isand symmetry gives the same second component and a zero third component. The two sides agree.

Use $\mathbf{E}=-\nabla \varphi$ and Gauss's law $\nabla \cdot \mathbf{E}=\rho /{ϵ}_0$. The divergence theorem and the decay at infinity giveMultiplying by $1/2$ proves that the two expressions for the electrostatic energy agree.

The uniform volume charge density in the thick shell isSpherical symmetry and the integral form of Gauss's law giveThus $|\mathbf{E}|$ is zero inside, rises continuously through the charged region, reaches $Q/(4\pi {ϵ}_0{b}^2)$ at $b$, and then decays as $r^{-2}$. Taking $\varphi (\infty )=0$ and integrating $E=-d\varphi /dr$ givesThe electric potential is continuous, constant inside, decreases smoothly across the charge, and continues as $1/r$ outside.

As $b\to a$, the charge becomes a surface shell. ThenThe potential remains continuous, but the normal electric field jumps by $Q/(4\pi {ϵ}_0{a}^2)$ across the surface charge density.

The field-energy expression givesThe charge-potential expression gives the same result directly because the entire charge lies where the potential equals $\varphi (a)$:This is the electrostatic energy of a uniformly charged spherical shell.

Since $\varphi (a)=Q/(4\pi {ϵ}_{0}a)$ is proportional to $Q$,to first order. This is the work required to bring the additional charge $\delta Q$ from infinity to the potential created by the charge already present.

The free-space Green function of the Laplacian for the Poisson equation gives the electric potentialFor $r=|\mathbf{x}|\gg R$, its electric multipole expansion begins withDefine the total electric charge and electric dipole moment byThen

The analogous solution for the magnetic vector potential isIts apparent $r^{-1}$ coefficient is ${\mu }_0(4\pi {)}^{-1}\int \mathbf{J}{d}^3{x}^{\prime }$. For each component, the supplied identity and the divergence-free vector field condition giveThe divergence theorem turns this into a surface integral outside the compact support of the current density, where $\mathbf{J}=0$. Hence $\int \mathbf{J}{d}^3{x}^{\prime }=0$, so the $1/r$ term vanishes.

Fix $x\in {\Omega }^{\prime }$ and $0<\rho <R({\Omega }^{\prime })$. Differentiate the ball mean-value formula and apply the divergence theorem:Since $|{\nu }_j|\le 1$ and $|\partial B(x,\rho )|=d{\omega }_d{\rho }^{d-1}$,Letting $\rho \uparrow R({\Omega }^{\prime })$ and taking both maxima proves

Assume nonrelativistic pressureless matter, an initial irrotational vector field of growing-mode linear cosmological density perturbations, a homogeneous expanding background, and no shell crossing. All gradients below refer to initial comoving coordinates. Let ${\rho }_0={\bar{\rho }}_m(t)a^3(t)={\bar{\rho }}_m(t_i)$, with $a(t_i)=1$, and normalize the linear growth factor by $D(t_i)=1$. The paper calls $D$ a growth rate, but it is the dimensionless growth factor; $\dot{D}$ is its time derivative.

Writing ${\mathbf{x}}_i$ for the actual position at $t_i$, the Zeldovich approximation is, to first order,This explicitly gives $\mathbf{x}(t_i)={\mathbf{x}}_i$. The usual notation $\mathbf{x}=\mathbf{q}+D\mathbf{s}(\mathbf{q})$ instead uses the uniform reference Lagrangian coordinate $\mathbf{q}$, with ${\mathbf{x}}_i=\mathbf{q}+\mathbf{s}(\mathbf{q})$. The two labels can be interchanged inside a first-order displacement, but not in the unperturbed position without the initial displacement correction.

To determine $\mathbf{s}$, mass conservation between the initial and current positions givesDemanding $\delta (t)=D(t){\delta }_i$ gives $\nabla \cdot \mathbf{s}=-{\delta }_i$. The irrotational vector field assumption makes $\mathbf{s}$ a gradient; the initial cosmological Poisson equation is ${\nabla }^2{\Phi }_i=4\pi G{\rho }_0{\delta }_i$. With the same boundary conditions for these potential equations, and after removing an irrelevant uniform translation,The evolution of $D$ follows from the linearized peculiar-motion equation $\ddot{\mathbf{x}}+2H\dot{\mathbf{x}}=-\nabla \Phi /a^2$. Since cosmological Poisson equation gives $\Phi (t)=(D/a){\Phi }_i$ to this order, substitution yields the linear growth equationThus the approximation extrapolates the linear growing displacement along a fixed initial direction, even as its density mapping becomes nonlinear.

The early spin of a dark matter halo comes from an external gravitational torque on its nonspherical initial mass region. A uniform external acceleration moves its centre of mass without spinning it; the spatially varying tidal tensor exerts different forces on different parts. The tidal torque theory requires misalignment of the region's shape and the surrounding tidal field. A local irrotational vector field of velocity does not imply zero integrated angular momentum for a nonspherical region.

Put $\mathbf{y}={\mathbf{x}}_i-{\hat{\mathbf{x}}}_i$ and use the physical peculiar velocity $\mathbf{v}=a\dot{\mathbf{x}}$. The physical lever arm is $a(\mathbf{x}-\hat{\mathbf{x}})$, while a leading-order mass element is ${\rho }_0{d}^3{x}_i$. Substituting the velocity formula into the supplied definition of angular momentum about the centre of mass givesTerms from the perturbed mass measure are higher order. Subtracting the barycentre's velocity also changes nothing because ${\int }_{V_L}\mathbf{y}{d}^3{x}_i=0$ at this order.

Apply the divergence theorem componentwise:The antisymmetry of the Levi-Civita symbol kills the last term. Consequently, for the ordinary oriented comoving surface element $d\mathbf{S}$,The original PDF prints a different coefficient, $-\dot{D}/(4\pi G{\bar{\rho }}_m{a}^2)$. That coefficient does not follow from its own mass measure and velocity equation and has the wrong dimensions for total angular momentum. The corrected coefficient above also gives the time dependence consistent with the paper's later tensor expression; this is a source typo, not a TeX transcription issue.

For a spherical $V_L$ centered on its barycentre, the outward normal is parallel to $\mathbf{y}$, so $\mathbf{y}\times d\mathbf{S}=0$ pointwise. HenceFor an equipotential surface, ${\Phi }_i={\Phi }_{\ast }$ on ${\Sigma }_L$, andThereforeThe second conclusion holds for any boundary shape at this order, not just a sphere.

To extract the leading tidal torque, expand the initial peculiar gravitational potential about the barycentre using its Taylor series:The constant has no force; $\mathbf{g}$ has zero integrated torque because the first mass moment vanishes. With the mass second-moment tensorwe obtainThe second equality swaps the indices $k,l$ and uses the symmetry of both tensors. Define the initial acceleration tidal tensor byThen the formula in the question has exactly the stated sign:If one defines $T$ as the positive Hessian matrix of ${\Phi }_i$ instead, the displayed contraction has a plus sign. Defining the convention is essential. Also, the paper's $I$ is a mass second-moment tensor; the mechanical inertia tensor is $\mathrm{tr}(I)1-I$.