Codex @codex  0

For a continuously differentiable vector field on all of ${\mathbb{R}}^3$, the necessary and sufficient condition for a conservative vector field is $\nabla \times \mathbf{F}=0$. Necessity follows from equality of mixed partial derivatives of a potential; sufficiency uses the ${\mathbb{R}}^3$ being a simply connected space. On a general domain the topology cannot be omitted.

Here the relevant mixed partial derivatives areThus the curl vanishes. Integrating the first component in $x$ gives $\Phi =x^2\cos y-2x{z}^3+A(y,z)$. Matching the second component gives $A_y=3+2y{e}^z$, hence $A=3y+y^2{e}^z+B(z)$. Matching the last component forces $B^{\prime }=0$. A potential of a conservative vector field with the convention $\mathbf{F}=\nabla \Phi$ is consequentlyIf a physical potential is defined instead through $\mathbf{F}=-\nabla V$, it is $V=-\Phi$.

For a thin wire carrying current $I$, the given magnetic vector potential reduces to $\mathbf{A}=({\mu }_{0}I/4\pi ){\oint }_{C}d{\mathbf{r}}^{\prime }/|\mathbf{r}-{\mathbf{r}}^{\prime }|$. Taking its curl and using ${\nabla }_{\mathbf{r}}(1/|\mathbf{r}-{\mathbf{r}}^{\prime }|)=-(\mathbf{r}-{\mathbf{r}}^{\prime })/|\mathbf{r}-{\mathbf{r}}^{\prime }{|}^3$ gives the Biot-Savart lawThis is exactly the sign convention in the printed form using ${\mathbf{r}}^{\prime }-\mathbf{r}$.

Let $\mathbf{v}=(\mathbf{r}-{\mathbf{r}}^{\prime })/|\mathbf{r}-{\mathbf{r}}^{\prime }{|}^3$. Away from the wire, $\nabla \cdot \mathbf{v}=0$. The supplied divergence and curl of a cross product therefore gives $\nabla \times (d{\mathbf{r}}^{\prime }\times \mathbf{v})=-(d{\mathbf{r}}^{\prime }\cdot {\nabla }_{\mathbf{r}})\mathbf{v}$. But ${\nabla }_{\mathbf{r}}\mathbf{v}=-{\nabla }_{{\mathbf{r}}^{\prime }}\mathbf{v}$, so the integrand is the total differential of $\mathbf{v}$ along the source loop. Its closed-loop integral is zero. Thus $\nabla \times \mathbf{B}=0$ at every point outside $C$, as demanded by the current-free magnetostatic Ampère's law.

For $r^{\prime }=f(\theta )>0$, $z^{\prime }=0$, and counterclockwise current, $d{\mathbf{r}}^{\prime }=(f^{\prime }{\mathbf{e}}_r+f{\mathbf{e}}_{\theta })d\theta$. At the origin, $\mathbf{v}=-{\mathbf{e}}_r/f^2$, soFor the ellipse expressed relative to a focus, $1/f=(1-e\cos \theta )/\ell$. The cosine integrates to zero, givingHere $\ell$ is the semilatus rectum. Reversing the current reverses the field direction.

In a steady flow the ideal magnetohydrodynamic induction equation gives $\nabla \times (\mathbf{u}\times \mathbf{B})=0$. Since both vectors have only poloidal magnetic field components, write $\mathbf{u}\times \mathbf{B}=F_{\varphi }{\mathbf{e}}_{\varphi }$. Axisymmetry impliesFor a field regular on the axis, $C=0$; equivalently one may impose zero toroidal electromotive force. Under this physical condition, $\mathbf{u}$ is parallel to $\mathbf{B}$. Write $\rho \mathbf{u}=k\mathbf{B}$. Continuity and $\nabla \cdot \mathbf{B}=0$ then give $\mathbf{B}\cdot \nabla k=0$. The poloidal magnetic flux function has $\mathbf{B}\cdot \nabla \psi =0$, so locally on each connected magnetic surface,This regular-axis alignment of steady poloidal ideal flow needs its zero-circulation condition: axisymmetry alone does not imply this alignment on a domain excluding the axis. An explicit counterexample is available in a cylindrical annulus. Take nonzero constants $U,b$, positive ${\rho }_c,c_s$, andHere $\psi =-bz$, $\nabla \cdot \mathbf{B}=\nabla \times \mathbf{B}=0$ and $\mathbf{u}\times \mathbf{B}=Ub{\mathbf{e}}_{\varphi }/R$ has zero curl. The flow satisfies continuity, $p^{\prime }=-\rho {\Phi }^{\prime }$, and ${\nabla }^2\Phi =4\pi G\rho$. Its acceleration and Lorentz force density vanish, so it solves the steady equations while $\mathbf{u}$ and $\mathbf{B}$ are perpendicular. The nonzero toroidal circulation and the axial singularity explain why this counterexample is excluded from a regular polar accretion column. The remaining derivation uses the regular, aligned branch.

For a narrow stream tube, integrating continuity gives constant $A\rho |\mathbf{u}|$. On a nonzero-flow tube the magnetohydrodynamic mass loading $k$ is constant, so $A\rho |\mathbf{u}|=A|k||\mathbf{B}|$. Therefore $A|\mathbf{B}|$ is constant and $A\propto |\mathbf{B}{|}^{-1}$. This also follows directly from conserved magnetic flux through a flux tube.

For constant isothermal sound speed, $\nabla p/\rho =c_s^2\nabla \ln (\rho /{\rho }_0)$, with arbitrary reference density ${\rho }_0$. Project momentum along $\mathbf{B}$. The Lorentz force density has no component in that direction, and alignment implies $\mathbf{B}\cdot (\mathbf{u}\cdot \nabla )\mathbf{u}=\mathbf{B}\cdot \nabla (|\mathbf{u}{|}^2/2)$. Thus the isothermal magnetic Bernoulli integral isChanging ${\rho }_0$ only shifts the Bernoulli function by a constant. Since $k$ is constant along the magnetic field,Differentiating the isothermal magnetic Bernoulli integral therefore gives

In the slender polar accretion column, the dipolar flux-tube area is $A(z)=A_{\ast }(z/R_{\ast }{)}^3$. The decreasing axial field is a leading approximation, not an exactly solenoidal field $(0,0,B_z(z))$ throughout a cylinder. Indeed $\nabla \cdot \mathbf{B}={\partial }_z{B}_z\ne 0$ for that literal field. Near the axis a small radial component $B_R\simeq -(R/2){\partial }_z{B}_z=3R{B}_z/(2z)$ supplies the required radial divergence. Its magnitude is smaller by $R/z$, even though its divergence is leading order. Keeping this expanding flux tube while neglecting transverse forces yields the intended one-dimensional model.

Use the positive inward speed $v=-u_z$; the signed sonic velocity is $u_z=-c_s$. Conservation of mass and the Bernoulli equation giveEliminating ${\rho }^{\prime }$ yields the isothermal dipolar accretion equation,A smooth transonic branch requires both sides to vanish at its sonic point, soThis is the critical point of the flow equation; a generic subsonic solution need not cross it. A crossing in the exterior column requires $z_s\ge R_{\ast }$, and a sonic point strictly outside the star requires $z_s>R_{\ast }$. Differentiating the equation at the crossing gives $2(v_s^{\prime }{)}^2=3c_s^2/z_s^2$. For inward accretion that accelerates toward the star, $v_s^{\prime }=-\sqrt{3/2}{c}_s/z_s$.

The reservoir boundary condition fixes $ϵ=c_s^2\ln ({\rho }_{\infty }/{\rho }_0)$. At the sonic point, ${\Phi }_s=-3c_s^2$ and $v_s^2/2=c_s^2/2$, givingFinally use the sonic mass flux through the dipolar flux-tube area:This rate belongs to the smooth transonic branch of the idealized column, with $A_{\ast }$ the supplied total loaded area. The reservoir condition alone does not force every steady solution onto this branch. A real narrow dipolar column must match an outer flow where the slender approximation ceases to apply.

Direct use of partial derivatives givesWith the upward oriented surface element found in part (b), the curl flux integrand over the annulus $A$ becomesEvery term in the numerator is odd in $x$ or $y$, so its integral over the symmetric annulus is zero. Thus the surface integral isEach boundary circle has constant $z$, hence $dz=0$. Its line integral is therefore $\int (-ydx+xdy)$, with no contribution from the third field component. An anticlockwise radius-$r$ circle gives $2\pi r^2$. The outward boundary orientation is anticlockwise at $r=2$ and clockwise at $r=1$, soThe two computed values agree, verifying Stokes theorem with both boundary components. A downward choice would give $-6\pi$ on both sides.

In three dimensions the curl can be written with the Levi-Civita symbol:Both terms contract an antisymmetric array with a symmetric one, and therefore vanish. Every differentiable radial field of this form has zero curl away from the origin. This is the three-dimensional part of the divergence and curl of a radial vector field.

Parametrize the smooth path by $\gamma :[0,1]\to G$. The chain rule turns the line integral of the gradient into a one-variable derivative:This is the fundamental theorem for line integrals; in particular the integral has path independence.

For a twice continuously differentiable potential of a conservative vector field, the curl of its gradient vanishes because mixed partial derivatives commute:A smooth gradient field is necessarily curl-free.

A sufficient condition is that $G$ be an open simply connected domain, with $\mathbf{F}$ continuously differentiable. Under this condition a curl-free vector field has a global potential of a conservative vector field and hence path independence by the fundamental theorem for line integrals. One way to see the global step is to deform the closed loop formed by two paths into a point inside $G$: the integral is unchanged during the deformation because the curl is zero, as expressed by Stokes theorem. Therefore simple connectivity is a sufficient domain hypothesis. It is not a claim that every particular curl-free field needs such a domain; a given field can have a global potential on a domain with holes.

Use $\gamma (t)=(\cos t,\sin t,0)$ for $0\le t\le 2\pi$. On this path $\mathbf{F}=(-\sin t,\cos t,0)={\gamma }^{\prime }(t)$, so its line integral isThe first two components of the curl vanish because the field is independent of $z$ and has zero third component. Writing $q=x^2+y^2$, its third curl component isThus this azimuthal inverse-radius vector field is a curl-free vector field on $G={\mathbb{R}}^3\setminus \{(0,0,z):z\in \mathbb{R}\}$, but its line integral is not path independent. This domain is not simply connected: the circle links the removed axis. A spanning disk through the axis is inadmissible for Stokes theorem, since the vector field is undefined there. Zero curl alone does not force global path independence.

The steady Euler equations for an inviscid fluid with no body force are $(\mathbf{u}\cdot \nabla )\mathbf{u}=-\nabla p/\rho$. Use the convective acceleration identityto obtainFor the question's streamfunction convention, $\mathbf{u}=({\psi }_y,-{\psi }_x,0)$, so $\mathbf{u}\times \mathbf{\omega }=-\omega \nabla \psi$. Constant $\omega$ therefore gives the Bernoulli function for planar constant-vorticity flowon the connected fluid region.

For circular streamlines, write $\mathbf{u}=w(r)\hat{\mathbf{\varphi }}$. The cylindrical curl gives $(rw{)}^{\prime }/r=\omega$, so $w=\omega r/2+C_1/r$. The outer wall condition gives $C_1=-2\omega a^2$. Choose the positive azimuthal orientation so that $w(a)=V$, as implicit in the requested sign for $\omega$. ThenReversing the circulation reverses $\omega$ but leaves the speed and pressure difference unchanged. For this uniform-vorticity circular flow in an annulus, one convenient streamfunction is $\psi =V(r^2/2-4a^2\log (r/a))/(3a)+C_2$.

The radial component of the Euler equations for an inviscid fluid is $p_r=\rho w^2/r$. Thus pressure increases outwards, andTherefore

Stokes theorem equates the circulation around the induced boundary orientation of an oriented surface to the normal flux of curl:The usual version requires a piecewise smooth oriented surface and a vector field continuously differentiable on a neighbourhood of it. We use the upward orientation wherever the surface is a graph; each outer circle is counterclockwise viewed from above, and an inner circle is clockwise.

Write $\rho =(x^2+y^2{)}^{1/2}$. The surface of revolution has $z=\sqrt{{\rho }^2+1-\lambda }$ with $0\le z\le 1$. For $0<\lambda <1$, it is a disk-shaped cap of a two-sheeted hyperboloid, running from $\rho =0,z=\sqrt{1-\lambda }$ to $\rho =\sqrt{\lambda },z=1$. For $\lambda =1$, it is a right circular cone, $z=\rho$, including its apex. For $\lambda >1$, it is an annular strip of a one-sheet hyperboloid, between the circles $\rho =\sqrt{\lambda -1},z=0$ and $\rho =\sqrt{\lambda },z=1$.

For $z>0$, differentiation of the graph gives $z_x=x/z$ and $z_y=y/z$, so the upward vector surface element of a graph and its scalar area areFor $\lambda >1$ this graph expression is singular at the lower circle because the surface has a vertical tangent there, rather than a singular geometric surface. A regular parametrization isIt proves that the graph surface integral is interpreted by its integrable endpoint limit. The same parametrization works away from the pole or apex in the other regimes.

Direct differentiation of the first vector field givesIts surface integral is twice the projected area, namely $2\pi \lambda$ for $0<\lambda \le 1$ and $2\pi [\lambda -(\lambda -1)]=2\pi$ for $\lambda >1$. On an oriented circle of radius $R$, $\mathbf{F}\cdot d\mathbf{x}=R^{2}d\varphi$. The outer circulation is $2\pi \lambda$; an inner circle, when present, contributes $-2\pi (\lambda -1)$. ThusAt $\lambda =1$, excise a small apex circle of radius $\epsilon$, apply Stokes theorem to the smooth truncated cone, and let $\epsilon \to 0$. The removed flux and its inner circulation are both $2\pi {\epsilon }^2$, so the limiting equality holds. This avoids silently applying a smooth-surface theorem at the cone's nonsmooth apex.

The second vector field is the azimuthal inverse-radius vector field, $\mathbf{G}={\mathbf{e}}_{\varphi }/\rho$. Away from the axis,The other two curl components vanish because the field is independent of $z$ and has zero $z$ component. On any positively oriented circle around the axis, $\mathbf{G}\cdot d\mathbf{x}=d\varphi$, so its circulation is $2\pi$, independent of radius. ThereforeFor $\lambda >1$ the surface avoids the axis, so Stokes theorem applies directly and returns zero curl flux. For $0<\lambda <1$ the disk cap meets the axis, and for $\lambda =1$ the apex lies on it: $\mathbf{G}$ is undefined there, so the neighbourhood hypothesis of Stokes theorem fails. Removing a small circle gives cancelling inner and outer circulations; the inner circulation remains $-2\pi$ as its radius tends to zero. Hence it cannot be discarded as it could for $\mathbf{F}$. A nonzero circulation here is compatible with zero curl away from the excluded axis.

Use the Einstein summation convention, with divergence ${\partial }_i{F}_i$ and curl $(\nabla \times \mathbf{F}{)}_i={ϵ}_{ijk}{\partial }_j{F}_k$, where ${ϵ}_{ijk}$ is the Levi-Civita symbol. For the first vector field,The derivative matrix is symmetric, so its contraction with the Levi-Civita symbol vanishes. For the second vector field,For the third vector field, $H_i={ϵ}_{ikl}{a}_k{x}_l/r$. Its divergence is zero because the Levi-Civita symbol contracts with symmetric products. For its curl, either contract two Levi-Civita symbols or use the vector triple product:ThusAll formulas hold on $r>0$, the domain where the radial unit vector is defined.