Since , its divergence is the Laplacian of :
The divergence theorem changes the outward flux through the whole closed boundary into . Rotational symmetry makes the term vanish. With and the Jacobian determinant from part (c),
Both the curved face and the top disk are included in this surface integral through the divergence theorem.
Let and . The region is the first-octant portion of the ellipsoid . In cylindrical coordinates, write and . Away from the axis, the divergence is
The field is singular on the axis, so applying the classical divergence theorem there without qualification would be invalid. Instead remove and apply it to the remaining region. On the added cylindrical boundary the unit normal is , and
Its area element is , so its flux is . The axial component of the field has zero dot product with this normal. The volume integral of the divergence is locally integrable, because its factor cancels the cylindrical measure. Thus removing a singular axis in a flux integral gives the desired improper surface integral with no extra axial term.
The divergence theorem now reduces the calculation to
The integral over is the area of a quarter unit disk. All boundary fluxes are interpreted as convergent improper integrals at the axis.
Apply the product rule to the vector field :
The gradient cross terms cancel. Integrating and applying the divergence theorem with outward unit normal proves Green's second identity:
Choose the Dirichlet Green function with and on . Taking and using the Dirac delta distribution, the left side becomes while the second boundary term vanishes. Hence
The plus sign is tied to the convention , whose free-space fundamental solution is negative in three dimensions. The singularity may equivalently be handled by excising a small sphere about before applying the smooth identity.
For a continuously differentiable vector field on a bounded region with piecewise smooth closed boundary , the divergence theorem states
Here is its divergence, is the volume element, is the surface area element, is the outward unit normal, and . Thus a volume integral of the divergence equals the outward flux through the boundary.
Since is constant, the product rule gives . Applying the divergence theorem therefore gives
This holds for every constant vector , so each component of the difference vanishes. Consequently the gradient has the boundary representation
The divergence of a cross product and give . On the boundary the scalar triple product gives . Thus the divergence theorem gives
Because is arbitrary, the curl identity follows:
Use Einstein summation convention and write . Since , where is the Kronecker delta, the product rule gives
This proves . Now take . Integrating this identity and applying the divergence theorem to the first term gives
Part (b) changes the last volume integral of the gradient into a surface integral, yielding
Here ; the Laplacian is .
Apply the product rule to the tensor field, without assuming any symmetry of :
Integrating, the divergence theorem converts each of the two divergences into a boundary term:
The repeated indices are summed according to Einstein summation convention, while labels the component of the resulting vector identity.
Choose the symmetric tensor field
The product rule and equality of mixed partial derivatives give
This is the Euclidean scalar-gradient stress identity. Substitute it into part (e), and use , where . Reassembling the components gives the required pure surface integral:
Sufficient smoothness of is understood for the displayed derivatives and applications of the divergence theorem.
A fundamental solution of the Laplace equation satisfies in the sense of distributions, without a boundary condition. Choose it rotationally symmetric about the source. Away from the source, with , the radial Laplace equation is , giving .
Integrating over a small disc around the source and using the divergence theorem fixes the normalization:
Therefore
The additive constant is arbitrary; adding other entire harmonic functions is also possible if rotational symmetry is not imposed. The positive sign here follows from the convention .
The divergence theorem states that, for a continuously differentiable vector field on a bounded region with piecewise smooth boundary and outward unit normal ,
To apply it, first derive the divergence of a cross product using the Levi-Civita symbol and the product rule:
In the second term the minus sign comes from interchanging the first two indices of the Levi-Civita symbol. The divergence theorem with now yields
Close the hyperboloid segment with the two disks at , and let be its interior. The flux through either disk is zero because . Thus the desired surface integral is the total outward flux through the closed boundary. Since
the divergence theorem and cylindrical coordinates give
The extra factor is the volume integral measure in cylindrical coordinates; omitting it would give the wrong flux.
For the rotationally invariant free-space fundamental solution of the Laplace equation, put . Away from the source, the radial Laplacian gives , hence . Integrate its Poisson equation over a disk of radius about the source. The divergence theorem gives , so
A fixed reference length can be inserted inside the logarithm and absorbed into . The resulting electric field decays like .
Strictly, the stated pointwise decay as alone does not justify “most general”: one can also add the harmonic function , whose gradient has that decay for every fixed . This is the same growth issue as a zero-boundary harmonic function with pointwise vertical decay. The displayed answer is the usual isotropic free-space choice; requiring the field to vanish uniformly in every direction at spatial infinity removes these extra harmonic additions. An additive constant remains undetermined.
For a material volume, conservation of mass and the Reynolds transport theorem give . Constant material density, or equivalently incompressibility with the stated constant initial density, reduces this to .
In an fluid undergoing inviscid flow the stress is the isotropic pressure stress . Momentum conservation for a material volume then gives
Transport and the divergence theorem localize this to
For a steady flow, . For an irrotational flow the vorticity is zero, so the supplied identity gives . Uniform downward gravity is , and constant density permits pulling inside the pressure gradient. Therefore
The Bernoulli invariant is constant throughout each connected fluid region. Without irrotationality the corresponding steady statement generally gives a constant only along each streamline.
For a material fluid volume, mass conservation yields . Constant mass density reduces this to . For inviscid flow, the Cauchy stress tensor is ; its net surface force is the volume integral of by the divergence theorem. Newton's second law for each material volume therefore gives . Since , these are exactly the two stated equations.
In two dimensions they read
Differentiate the second momentum equation in and subtract the derivative of the first. The pressure terms cancel. For , collecting terms gives
Incompressibility removes the last term, giving
Thus each fluid parcel retains its scalar vorticity as it moves. In particular an initially irrotational flow remains irrotational in this smooth two-dimensional inviscid evolution. There is no vortex stretching in this two-dimensional setting.
Gauss law states that for outward-oriented boundary ,
For a continuously differentiable field and continuous density, the divergence theorem turns the left side into . Thus the differential law implies the integral law. Conversely, if the integral law holds for every suitable volume, the integral of vanishes on every small ball. A nonzero continuous value would keep one strict sign in some small ball, a contradiction. Hence . Weaker regularity gives the corresponding almost-everywhere or distributional formulation.
For the radial field, the flux on a radius- sphere is , while its enclosed charge is . Therefore
This uses the stated density as the full charge distribution, with no additional point charge at the origin. Since it vanishes beyond , the total charge is
and for the field is .
Take a smooth variation with vanishing on the boundary; compactly supported test functions suffice for the interior equation. At an extremum, the first variation is zero:
Integration by parts removes the derivatives from . The boundary terms vanish, giving
The fundamental lemma of the calculus of variations gives the Euler-Lagrange equation
This is the classical equation for sufficiently smooth admissible extrema; for weaker regularity the first-variation identity supplies its weak form.
For the squared-gradient integrand, the equation is , namely the Laplace equation. Put and write any admissible function as , with on the boundary. The energy identity is
By the divergence theorem, the middle integral is ; equivalently it vanishes by weak integration by parts for zero-trace functions. The final term is nonnegative and vanishes at . Thus this is a global minimum, not merely a stationary value:
For a material volume , Newton's second law equates the rate of change of momentum to pressure and body forces:
Apply the supplied Reynolds transport theorem to each component of , and apply the divergence theorem to the pressure force. The result is
Since the material volume at the chosen time is arbitrary, the integrand vanishes pointwise for smooth fields. Dividing by positive density gives the Euler equations
At a fixed time , a streamline is a curve tangent everywhere to the instantaneous velocity. Parametrize it by . Then
so is constant along it when the displayed directional derivative vanishes. Here time is held fixed: streamlines need not coincide with particle paths in an unsteady flow.
In SI units, Maxwell's equations are
Dotting the last equation with , and using the curl equation for , gives
Integrate over the fixed region and apply the divergence theorem. This proves Poynting's theorem: the rate of increase of electromagnetic energy stored inside, plus the outward Poynting flux, plus the rate of work on charges, is zero. The last term need not be positive for arbitrary externally driven currents; when positive it is power transferred from the field to matter.
For the travelling wave put . A purely oscillatory magnetic field satisfying Faraday's law is
Both divergences vanish. The vacuum Ampère-Maxwell law then requires , so with the positive constants in the question,
A superposed static background is not part of the pure plane-wave solution. The electric and magnetic energy contributions are equal, giving
Consequently pointwise, including the nodes where both sides vanish.
The differential vacuum Gauss's law is
Integrate over a volume with closed boundary . The divergence theorem converts the left side into outward electric flux:
This is the integral form. Surface charge can be treated by a thin-layer limit or by the corresponding jump in the normal field; the enclosed charge then includes the charged sheet. The surface orientation must be outward, and the field entering the integral is the total field, not merely the field of the enclosed charges alone.