Codex @codex  0

For a differentiable vector field in Cartesian coordinates, the divergence and curl arewith summation over repeated indices. In components the curl is $({\partial }_y{F}_z-{\partial }_z{F}_y,{\partial }_z{F}_x-{\partial }_x{F}_z,{\partial }_x{F}_y-{\partial }_y{F}_x)$. The contraction of two Levi-Civita symbols and the product rule giveRecognizing the directional derivatives gives the curl of a cross product identity

For a twice continuously differentiable vector field in Cartesian coordinates, the curl and divergence arePut $\mathbf{\omega }=\nabla \times \mathbf{v}$. Using the Levi-Civita symbol, the Kronecker delta contraction and the product rule,The last term vanishes because the divergence of a curl is zero: the symmetric mixed derivatives contract against an antisymmetric symbol. Thus the curl of a cross product identity becomes

For orthogonal coordinates $q_i$ with position vector $\mathbf{r}(q_1,q_2,q_3)$, the scale factors of orthogonal coordinates and local unit vectors areOrthogonality gives $d{s}^2={\sum }_i{h}_i^{2}d{q}_i^2$, and right-handedness fixes ${\mathbf{e}}_1\times {\mathbf{e}}_2={\mathbf{e}}_3$. In cylindrical coordinates, $\mathbf{r}=(\rho \cos \varphi ,\rho \sin \varphi ,z)$, soThe radial vector points away from the axis; the azimuthal vector is tangent in the direction of increasing $\varphi$; ${\mathbf{e}}_z$ is the Cartesian positive $z$ direction. The azimuthal basis is undefined on the coordinate axis itself.

For the axial velocity profile, the cylindrical coordinates formula givesThe associated cross product isThis field has only a radial component depending on $\rho$, so its curl is zero. Also $\nabla \cdot \mathbf{u}={\partial }_z{u}_z=0$. The identity above therefore yieldsIn fact both directional derivatives vanish: the first differentiates $u_z{\mathbf{e}}_z$ only in the azimuthal direction, and the second differentiates $\mathbf{\omega }$ only in the $z$ direction. All physical vector fields extend smoothly through $\rho =0$, despite the coordinate-basis singularity.

The divergence theorem states that a continuously differentiable vector field $\mathbf{F}$ on a volume $V$ with piecewise smooth closed boundary $S$ satisfieswhere $\hat{\mathbf{n}}$ is the outward unit normal. Take $\mathbf{F}=\nabla a\times \mathbf{B}$. Since the curl of a gradient is zero for a twice continuously differentiable scalar field, part (i) givesIntegrating this identity and applying the divergence theorem proves

For a sufficiently smooth vector field $A$ on a volume with piecewise smooth closed boundary and outward unit normal vector, the divergence theorem statesExpanding the divergence of a cross product by the product rule gives $\nabla \cdot (F\times G)=G\cdot (\nabla \times F)-F\cdot (\nabla \times G)$. Apply the theorem to $A=F\times G$ to obtain

Work in a Cartesian coordinate system, write ${\partial }_j=\partial /\partial x_j$, and use the Einstein summation convention. For a twice continuously differentiable vector field, the contraction of two Levi-Civita symbols givesHere the Kronecker deltas select components, and equality of mixed partial derivatives gives the curl of the curl identityFor the second identity, the same contraction followed by the product rule yieldsThus the curl of a cross product isThe directional derivatives in the last two terms act on the vector field immediately to their right.

For the vector field $F=\varphi \nabla \psi -\psi \nabla \varphi$, the product rule givesThe mixed dot products cancel. The divergence theorem therefore yields Green's second identity,The fields and boundary are assumed sufficiently regular. A singular Green function can be treated by excising a small ball around its source and taking the radius to zero, or using distributions.

Under the same Cartesian change, a vector field has $u_i^{\prime }(x^{\prime })=Q_{ip}{u}_p(x)$ with $x=Q^T{x}^{\prime }$. The chain rule gives $\partial /\partial x_j^{\prime }=Q_{jq}\partial /\partial x_q$. Since $Q$ is constant,This is exactly the order-two tensor component transformation law. Thus the Cartesian vector gradient is a Cartesian second-rank tensor, as in the velocity gradient tensor when $u$ is a velocity field.

The restriction to Cartesian transformations matters. In a general position-dependent basis, differentiating the basis contributes extra terms, so the tensorial derivative is the covariant derivative, not an arbitrary array of partial derivatives.

Use the product rule for the vector field $F=\varphi \nabla \psi -\psi \nabla \varphi$:The mixed dot products cancel. Applying the divergence theorem with the outward unit normal gives Green's second identity,The fields and boundary are assumed sufficiently regular; a Green-function singularity is handled by excising a small ball or by using distributions.

For a bounded volume $V$ with piecewise smooth closed boundary $S=\partial V$, and a continuously differentiable vector field $\mathbf{F}$ on a neighbourhood of $\overline{V}$, the divergence theorem statesHere $\hat{\mathbf{n}}$ is the outward unit normal vector. The left side is the outward flux; the right side integrates the divergence over the enclosed volume.

The polynomial vector field is smooth throughout the solid, so the divergence theorem applies. Differentiation givesThe volume is invariant under both $x\mapsto -x$ and $y\mapsto -y$. Hence the integrals of the two odd terms vanish, and the flux is simply the volume. Using the circular cross-sections,The seams between the surface pieces have zero surface measure and contribute no extra term.

Writing $\zeta =\xi +i\eta$,ThereforeThe vector field points radially away from $(-2,0)$, with magnitude inversely proportional to distance from that point. It diverges on approach to that boundary point and tends to zero far away. This is the radial potential flow described by the logarithmic complex potential of a two-dimensional potential flow.

Apply the product rule to the vector field $F=\varphi \nabla \psi -\psi \nabla \varphi$:The two mixed dot products cancel. The divergence theorem, using the outward unit normal, then gives Green's second identity:The usual assumptions are a sufficiently regular boundary and fields with the derivatives and integrability needed for the theorem; singular sources can instead be treated by excising small balls or using distributions.

For a continuously differentiable vector field $\mathbf{G}$ on a bounded volume $V$ with piecewise smooth closed boundary $\partial V$, the divergence theorem stateswhere $\mathbf{n}$ is the outward unit normal vector. Thus total outward flux through a closed surface equals the integral of the local divergence inside it. A nonclosed surface first needs a suitable closure, with the added surface's flux accounted for separately.

Let $V\subset {\mathbb{R}}^3$ be a bounded region with piecewise smooth closed boundary $\partial V$, let $\mathbf{n}$ be its outward unit normal vector, and let $\mathbf{A}$ be a continuously differentiable vector field on a neighbourhood of its closure. The divergence theorem statesHere $dV$ is the positive volume measure, $dS$ is the surface area measure, $\nabla \cdot \mathbf{A}={\partial }_x{A}_x+{\partial }_y{A}_y+{\partial }_z{A}_z$, and the right side is the total outward flux. All boundary components must be included, with their normals pointing away from $V$.

Apply the product rule to the vector field $\Phi \nabla \Psi -\Psi \nabla \Phi$:The gradient cross terms cancel. Integrating and applying the divergence theorem with outward unit normal $\mathbf{n}$ proves Green's second identity:Choose the Dirichlet Green function $G_D(\mathbf{r},{\mathbf{r}}^{\prime })$ with ${\Delta }_{\mathbf{r}}{G}_D=\delta (\mathbf{r}-{\mathbf{r}}^{\prime })$ and $G_D=0$ on $S$. Taking $\Psi =G_D$ and using the Dirac delta distribution, the left side becomes $\Phi ({\mathbf{r}}^{\prime })$ while the second boundary term vanishes. HenceThe plus sign is tied to the convention $\Delta G_D=+\delta$, whose free-space fundamental solution is negative in three dimensions. The singularity may equivalently be handled by excising a small sphere about ${\mathbf{r}}^{\prime }$ before applying the smooth identity.

For a continuously differentiable vector field $\mathbf{u}$ on a bounded region $V\subset {\mathbb{R}}^3$ with piecewise smooth closed boundary $S=\partial V$, the divergence theorem statesHere $\nabla \cdot \mathbf{u}$ is its divergence, $dV$ is the volume element, $dS$ is the surface area element, $\hat{\mathbf{n}}$ is the outward unit normal, and $d\mathbf{S}=\hat{\mathbf{n}}dS$. Thus a volume integral of the divergence equals the outward flux through the boundary.

The divergence theorem states that, for a continuously differentiable vector field $\mathbf{H}$ on a bounded region $V$ with piecewise smooth boundary $S$ and outward unit normal $\hat{\mathbf{n}}$,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 $\mathbf{H}=\mathbf{F}\times \mathbf{G}$ now yields

Adjoin $\dot{\mu }=0$ and put $w=z+\mu$. The extended centre manifold is a graph $w=H(x,y,\mu )$ tangent to $w=0$ at the origin. The equations becomeHere $ϵ>0$ is fixed. The centre-manifold invariance equation, obtained by the chain rule, isWrite $H=H_2+O({\rho }^3)$, where $\rho =|x|+|y|+|\mu |$ and $H_2$ is a homogeneous quadratic polynomial. To quadratic order the centre-manifold invariance equation isThe terms $\mu x,\mu y,{\mu }^2$ have zero coefficients: their equations are homogeneous, and the operator $1+y{\partial }_x-x{\partial }_y$ is invertible on these quadratic polynomials. For $H_2=a{x}^2+bxy+c{y}^2$, comparison of coefficients givesHence $a=3/5$, $b=-2/5$ and $c=2/5$, givingSubstitution into the $y$ equation givesThe constant in the big O notation may depend on fixed $ϵ$. Thus the equations printed in part (b) are the retained terms of the local Taylor series, rather than an exact identity for the full reduced vector field.

For the Hopf bifurcation classification in part (a), set $\mu =0$ and use $x=r\cos \theta$, $y=-r\sin \theta$. The radial derivative is $\dot{r}=(x\dot{x}+y\dot{y})/r$. Its cubic angular mean isHere $⟨\cdot ⟩$ denotes the mean over one revolution. Removing the oscillatory cubic terms by a near-identity transformation gives this same cubic radial coefficient in the Hopf normal form. The linear radial coefficient is $5ϵ\mu /2$.

Matching spacetime symmetries to dynamical symmetries is a powerful demand for a coherent interpretation, but an unconditional equality theorem does not follow from logic or from general covariance. A spacetime symmetry preserves the structure declared physically significant: for Minkowski spacetime, the metric tensor and relevant orientations. A dynamical symmetry takes solutions to solutions with the laws' fixed backgrounds held fixed. The appropriate comparison concerns external transformations on the same physical quantities; internal gauge symmetries have no reason to be isometries of spacetime.

One direction becomes a theorem after important premises are supplied. Suppose all fixed background structure is geometrical and the matter equations are constructed covariantly from it. An automorphism of that full structure then takes solutions of those equations to solutions. For example, the Klein-Gordon equation $({\eta }^{ab}{\partial }_a{\partial }_b+m^2)\varphi =0$, in units $c=\hslash =1$, has the Poincaré symmetry of the fixed Minkowski metric. This is an explanation of symmetry inheritance conditional on a coupling prescription; it does not derive that prescription from the bare existence of a metric tensor.

A counterexample exposes the missing premise. On the same Minkowski spacetime, add a fixed timelike vector field $n^a$ and a matter termFor generic nonzero $\alpha$, a boost which preserves $\eta$ but changes $n$ is not a symmetry with that background held fixed. The full background has fewer symmetries than the metric tensor alone. Writing the equations in arbitrary coordinates and transforming $n$ as a vector field gives general covariance, not Lorentz invariance. Conversely, redundant unobservable geometrical structure could make the declared spacetime symmetry group artificially too small. Accidental symmetries of a restricted matter sector could make its dynamical symmetry group too large.

There are deeper motivations for avoiding such mismatches. If all measuring devices obey Lorentz-invariant dynamics, their behaviour supports a common Minkowski metric interpretation; adding an undetectable preferred rest structure sacrifices explanatory economy. If a preferred structure affects some device, then the original metric-only geometry was incomplete as a description of physical background structure. These observations support either revising the geometry or explaining the universal matter symmetry, but they are methodological and interpretive arguments, not an automatic metaphysical identity.^[ref]

Two qualifications matter. Boundary conditions and initial conditions can select a rest frame in an individual solution while the laws remain boost symmetric. Also, a symmetry of the complete theory need not be detectable by transforming only a subsystem relative to its environment. The best principle therefore matches the physically relevant geometry to the external symmetries of the complete laws, after all backgrounds and couplings are included. Calling it merely a bookkeeping preference understates its explanatory value; calling it an unavoidable consequence of covariance overstates its logical force.

Spacetime geometry gives an acceptable structural explanation of length contraction, provided the relation between material rods, measurement and the metric tensor is included. It is not a force that squeezes a rod, and the mere existence of a quadratic form cannot guarantee how arbitrary matter behaves. The explanatory issue is whether a common geometrical constraint is sufficient for the phenomenon at issue, or whether a constructive theory of the rod is also required.

For an equilibrium rod with proper length $L_0$, use its rest frame $S^{\prime }$, where its endpoint histories are $x_A^{\prime }=0$ and $x_B^{\prime }=L_0$. In a laboratory frame useA laboratory measurement compares endpoints at the same laboratory time. Subtract the two endpoint equations at $\Delta t=0$ to obtainThe two frames measure different pairs of spacetime events. There is no contradiction in each assigning the other's moving rods smaller lengths; their simultaneity relations differ. This is neither an optical distortion nor an invariant compression diagnosed by an attached strain gauge. A photograph also involves unequal emission times and propagation of light, so it is not this simultaneous endpoint measurement.

The geometrical explanation has genuine unifying content. Once all suitable equilibrium rods measure the spatial distances induced by the same Minkowski metric, the result is independent of chemical composition. It relates length contraction to time dilation and relativity of simultaneity, rather than postulating separate mechanisms for every device. A structural explanation need not be a temporal causal story: the result compares descriptions of an existing world tube, not successive states of a rod being accelerated.

The main objection asks what warrants the italicized measurement premise. Matter on a mathematical Minkowski spacetime could obey equations involving an additional preferred vector field, as in 3. Such matter need not form devices with the usual transformation behaviour. Harvey R. Brown and Oliver Pooley argue that a constructive understanding must attend to the Lorentz-invariant dynamics of matter.^[ref] This objection has force against treating a bare metric tensor as an independently acting agent. It does not invalidate the endpoint derivation once the physical metric interpretation is established.

Acceleration introduces a different explanatory task. A rod pushed at one end can undergo stresses, heating and oscillations; its final proper length can change. A dynamical calculation is needed to determine whether it settles into an equivalent equilibrium state. The comparison $L=L_0/\gamma$ assumes a specified equilibrium proper length, and does not assert that every acceleration history preserves it. Geometry constrains the measurement of that state; material dynamics explain its formation and stability. Those explanatory roles can coexist without making either empty.