Choose the homogeneous dilation , which has the required endpoint values. For a radial field, put . The radial energy density, after omitting its constant angular factor, is . Its Euler equation simplifies to
The chosen dilation has , constant, and satisfies it. More directly, the full first Piola-Kirchhoff response for the given energy is
At this is , constant throughout the body. Its divergence vanishes, so the deformation satisfies the full force-free equilibrium equations as well.
Its energy is
This grows like , whereas the same-boundary cavitating competitor has energy asymptotic to . Therefore for sufficiently large , the homogeneous equilibrium is not a global energy minimum in the finite-energy class admitting the cavitating deformation.
The admissible class matters: the competitor from the preceding part is not continuous at the center. This comparison is in that Sobolev class, not a claim about minimization restricted to smooth cavity-free deformations.
Figure 1.
Energy comparison in the finite-energy class: the homogeneous dilation grows like t to the sixth power while the cavitating competitor grows quadratically
. Details.
The surface element relation is Nanson's formula. The force on a corresponding pair of current and reference surface elements must agree:
Therefore the first Piola-Kirchhoff stress tensor is
It measures force per reference area, with a current force direction and a reference normal direction.
In components, differentiate . The Piola identity says . One proof writes the cofactor matrix as ; differentiating in produces symmetric second derivatives contracted against antisymmetric epsilon symbols, hence zero. The chain rule consequently gives
since . Thus, with the coordinate composition made explicit,
The distinction between reference divergence and current divergence is essential to this identity.
For this homogeneous motion, suppose the matrix is symmetric. Put . The acceleration potential of a homogeneous motion is
where is arbitrary. When taking the spatial gradient, , , , and are fixed. Symmetry gives
This verifies the potential directly and also proves sufficiency of the symmetric matrix condition within the static-family setting. Its dimension is , so the pressure correction has the dimension of stress. Combining with part (b)(ii), the corresponding dynamic Cauchy stress tensor is
where . Substituting its divergence into the Cauchy momentum equation reproduces , as required.
Take the divergence of the Ampère-Maxwell equation and use that the divergence of a curl is zero:
The last step uses Gauss's law. Thus the charge continuity equation is exactly
For a direct justification that this four-current is a four-vector, take one locally comoving population of electric charges, with rest charge density and four-velocity . Invariance of electric charge and length contraction give and , hence . Summing populations preserves the four-vector rule. In particular, and . The Lorentz invariance of its four-divergence then explains why charge conservation holds in every inertial frame. A single zero-divergence condition alone would not determine a field's transformation law; the physical charge density and current density provide the additional content.
Balance streamwise convection of order one with transverse viscous diffusion . This requires a thickness . Continuity then makes the normal velocity of that same small order. Set
The normal momentum equation makes the leading pressure independent of . It equals the outer pressure, whose inviscid tangential momentum balance gives . The leading tangential equation and continuity are consequently
The divergence-free field has a streamfunction with , . Substituting yields
The stationary impermeable wall has , so and is constant, chosen to be zero. Matching to the outer slip velocity gives .
Let and use the given anisotropic scales. Continuity makes the transverse velocity scale consistent with the gap height . The streamwise viscous stress divergence has scale , while the streamwise pressure gradient has scale . Their balance selects
The streamwise equation then has the dimensionless form
The normal equation becomes
When and , neglecting the indicated smaller terms gives
The bottom conditions express no slip on a plate moving at speed and no penetration. The top conditions express no slip and no penetration on the stationary wall. The leading pressure is a function of the streamwise coordinate alone.
Linearize about rest, with the equilibrium forces already absorbed in the reduced pressure. The quadratic convective acceleration drops out. Since , the component equations are
The scan prints in the continuity equation; the derivative required by incompressibility is .
To eliminate pressure, put and . Taking the vertical component of the curl of momentum gives
Taking horizontal divergence of momentum and substituting continuity gives
Differentiate this in and use :
One more time derivative, followed by the vorticity relation, yields the Poincaré equation for inertial waves
This derivation retains all three velocity components, including the transverse component coupled by rotation.
For fields and a continuous infinitesimal internal symmetry , suppose the density changes by a divergence, . Varying the action and using the Euler-Lagrange equations gives the Noether current
The conserved charge is when the flux through the boundary vanishes; more generally . If the Lagrangian is exactly invariant, . Treat a complex field and its conjugate as independent variables during variation, imposing conjugacy on physical solutions. Time and space translations give energy and momentum through the corresponding spacetime version of the theorem. Continuous global symmetry gives an ordinary charge; local gauge redundancy requires additional care and is not an independent conserved charge for every arbitrary function.
Treat and as independent fields, keep as the prescribed background, and use the source's interaction with no added term. The momentum derivatives are
Varying and gives respectively
No Lorenz gauge condition has been assumed. The background divergence term must be retained unless such a condition is separately imposed.
The canonical momenta conjugate to the two scalar fields are
so and . Define the physical three-vector potential by . The Legendre transform in the proper canonical variables is
Equivalently the first product is . The last quadratic term arises from replacing velocities by canonical momenta even though the original Lagrangian has no quadratic interaction. It is not permission to modify the specified Lagrangian. An explicitly time-dependent background generally makes the scalar-field energy time dependent.
For and , the interaction is invariant under the constant phase because every product has net zero phase. Applying the Noether formula to the two independent fields gives
The sign corresponds to the printed transformation . Reversing the phase parameter would reverse the entire current, with no change in conservation.
The derivative products in the divergence of the first term cancel pairwise:
The two field equations from part (c) imply
Multiplication by exactly cancels the remaining background terms, proving without requiring to be constant or divergence free. The global phase symmetry survives even though this truncated interaction is not exactly invariant under arbitrary local gauge transformations.
Take the constant-parameter subgroup of the local transformation: , , . The momenta conjugate to the complex scalar field gradients are and . Noether theorem gives
The scalar field equations are and their complex conjugate. Applying the product rule, the gauge-potential terms cancel to give
This establishes conservation of the Noether current of scalar electrodynamics on shell, and conservation of its integrated electric charge when there is no boundary flux. An arbitrary function describes gauge redundancy; the associated Noether second theorem supplies an identity among Euler-Lagrange field equations, rather than a distinct physical charge for each function. Indeed its on-shell current can be written . The antisymmetric tensor makes its divergence vanish. Independently, differentiating the Maxwell equation also gives , confirming compatibility with the matter derivation.[ref]
For a translation-invariant potential, the on-shell energy-momentum tensor obeys . The divergence of the dilatation current is therefore
Use the equation of motion to obtain the useful general identity
For , and only nonzero, every term vanishes. More explicitly, while ; adding the first kinetic term cancels both remaining contributions. Thus , and is conserved when the boundary flux vanishes. Outside the parameter conditions of solution, the boxed formula displays the classical sources of scale breaking; the same current need not be conserved.
The term is cell diffusion arising from random movement. Chemotaxis up the concentration gradient gives the cell flux , whose negative divergence is the transport contribution . The reaction term gives growth governed by the logistic differential equation with dimensionless carrying capacity one.
The chemoattractant itself diffuses, is produced by cells at rate , and decays at rate . The homogeneous Neumann boundary conditions suppress the normal diffusive flux of each quantity. They also suppress the normal chemotactic cell flux because the normal derivative of vanishes. Thus the rectangular boundary is impermeable, and the spatially integrated cell count changes through cell proliferation rather than transport across that boundary.
The planar divergence is for . Since the plane is simply connected, the Bendixson-Dulac theorem excludes any nonconstant periodic orbit: the flux across a closed trajectory would be zero because the vector field is tangent, whereas Green's theorem makes it the strictly negative integral of the divergence over the enclosed region.
Alternatively define . Direct differentiation gives
A nonconstant periodic solution would require the integral of this strictly dissipative expression over a period to vanish. That forces and hence an equilibrium, a contradiction. This energy argument identifies the damping mechanism behind the geometric criterion.
The Lorenz vector field has constant divergence . Liouville formula for a fundamental matrix for the derivative of the flow therefore gives
This concerns transported three-dimensional phase volume, not the Euclidean distance between each pair of trajectories.
A quasiperiodic orbit with the usual smooth two-frequency torus closure would lie on an invariant embedded two-torus. That torus bounds a solid torus of positive finite volume in . Since the vector field is tangent to its boundary, its outward flux is zero, contradicting the divergence theorem, whose volume integral is . This negative-divergence obstruction to invariant tori excludes such quasiperiodic tori. The argument uses global negative divergence and the enclosed volume; saying only that an attracting torus has zero volume would not exclude it.
At an equilibrium the sum of eigenvalues is , so they cannot all have positive real parts: no equilibrium is a fully repelling source. For a periodic orbit of period , one Floquet multiplier equals one in the flow direction. The product of the other two is , so they cannot both have modulus greater than one: no periodic orbit is fully repelling either. Saddle equilibria and saddle periodic orbits remain possible; contraction of volume does not imply contraction in every direction.
The Poincaré-Bendixson theorem states that the omega-limit set of a forward orbit confined to a compact region of the plane, containing no equilibrium points, is a periodic orbit.
Put , . Direct calculation gives
Here and . Thus on the inner circle the radial velocity is positive, and on the outer circle it is negative. In their closed annulus,
so there is no equilibrium. The theorem gives a periodic orbit in this trapping annulus.
It is asymptotically stable: the vector-field divergence is
throughout the annulus. Its nontrivial Floquet multiplier is . This proves an attracting periodic orbit exists. There can be only one there: two such nested orbits would enclose an annular region with zero outward flux, contradicting the strictly negative divergence via the divergence theorem.
The four dimensional equations express mass conservation, momentum balance with pressure, gravity and viscous stress, heat advection and conduction, and a linear thermal-expansion equation of state. For heating from below, suitable plate conditions are and at , and , at . No slip and thermal insulation on the sidewall provide one suitable lateral completion; prescribed lateral temperatures would be another specified thermal setup.
Let be thermal diffusivity and kinematic viscosity. Use , , and as length, time, velocity and temperature scales. Subtract the static reference pressure with and scale its remainder by . Then
Density becomes . Substitution and division by the corresponding diffusion/viscous scales give
In the Boussinesq small-density-contrast limit retain buoyancy while neglecting the other factors. At infinite Prandtl number, after any fast initial adjustment, the equations are
The velocity is instantaneously constrained by a viscous elliptic balance; the temperature still evolves.
Take the divergence of the vector Poisson equation. Derivatives commute, and divergence of a curl is zero, so . Its boundary value is zero, hence the maximum principle gives throughout . The vector identity now gives , or
The layer domain is simply connected because its horizontal section is simply connected. For a curl-free field on such a domain, define as its line integral from a fixed base point to . Contractibility of loops and Stokes theorem make the integral path independent, and differentiation gives its gradient equal to the field. Thus .
Incompressibility then gives , while the prescribed normal curl gives . Green's identity yields
Hence is constant on the connected domain and . The extra condition belongs to the stated potential boundary problem; the reconstruction argument above uses the divergence and normal-curl conditions. On a multiply connected domain a curl-free field need not be a globally single-valued gradient.
Finally . Taking the curl of the infinite-Prandtl momentum balance and using gives
The derivation is an instance of velocity reconstruction from a mixed-boundary vector Poisson problem.
Define to be one in phase 1 and zero in phase 2, including its dependence on both transverse coordinates even though the averaged fields depend only on . With no interphase mass transfer, its distributional phase-mass equation is . At a pipe cross section of area , set
Thus is an intrinsic phase density and is the density-weighted mean axial velocity. This weighting is necessary when density varies within the phase; it becomes the ordinary intrinsic mean for an incompressible phase of constant density.
Integrate over the cross section. The transverse divergence contributes no boundary mass flux at the impermeable pipe wall, and the material interface has no mass leakage. The section area is constant, so
For phase 2 use and fraction , with the analogous intrinsic density and density-weighted velocity:
The intrinsic quantities are defined where their phase fraction is nonzero. These are the intrinsic phase averages in a two-fluid pipe model.
The product rule and fluctuation incompressibility give the pointwise identity
Averaging therefore gives
The fluctuation term is consequently the divergence of a Reynolds stress. The eddy viscosity model represents this momentum transport through a coefficient multiplying the mean strain-rate tensor:
for its shear or deviatoric part. For example, in a thin parallel shear flow. The dynamic viscosity is an effective flow-dependent transport coefficient, rather than a molecular material property. Large eddies carry linear momentum between regions of different mean velocity.
There is a necessary qualification to the printed tensor equation (4). Taking its trace literally gives , which would exclude nonzero turbulence. A consistent deviatoric eddy-viscosity closure in fluctuating dimensions is
The isotropic term is absorbed into the effective pressure . Here for a strictly two-dimensional fluctuation model. The subsequent equations use for this effective pressure, or equivalently use (4) as a shear-stress closure. This preserves the intended thin-layer model without asserting an impossible full covariance identity.
For turbulent motions of scale and velocity scale , the estimate gives . It is much greater than one on energetic large scales and in the inertial range well above the Kolmogorov length scale. At the molecular dissipation scales it is no longer large, and molecular transport also dominates very near a smooth solid wall.
Let be a representative mixing-layer thickness, , and let be a representative streamwise velocity. Use the scales
The transverse velocity scale follows from the mean continuity equation. For turbulent transverse transport to balance streamwise inertia,
With this ordering, the streamwise eddy-stress divergence is
Thus transverse diffusion of streamwise linear momentum is retained, while streamwise diffusion and the contribution are smaller by . Molecular kinematic viscosity is neglected where .
In the transverse momentum equation, inertia and the retained eddy stresses have scale , whereas an order-one transverse pressure variation would give . Hence the leading dimensionless transverse balance is . The resulting boundary layer equations for the planar turbulent mixing layer are
Here . The effective pressure convention explained in part (a)(iii) is understood. Since the outer streams have uniform horizontal velocities, their inviscid momentum equations give ; choosing the far-field gauge pressure as zero gives throughout this approximation.