Codex @codex  0

Let $a$ be any constant vector and take $u=\varphi a$. The product rule for divergence gives $\nabla \cdot u=a\cdot \nabla \varphi$. The divergence theorem on a bounded region with piecewise smooth boundary, oriented outward, therefore yieldsSince $a$ is arbitrary, equality of all components provesHere $\varphi$ is continuously differentiable on a neighbourhood of the closed region.

For the side of this right circular cone, the parameter tangents are $x_r=(\cos \theta ,\sin \theta ,\sqrt{3})$ and $x_{\theta }=(-r\sin \theta ,r\cos \theta ,0)$. Their cross product in the outward order isThe sign is outward because the solid right circular cone lies at smaller cylindrical radius for fixed height. Reversing the parameter order reverses the oriented surface element.

To check the integral identity, the closed boundary must include the top Euclidean disk $z=1$, radius $1/\sqrt{3}$, as well as the curved side. For $\varphi =z^2$, horizontal components cancel on integrating $\theta$. The side contribution isOn the top Euclidean disk $\varphi =1$ and $d\mathbf{S}=e_{z}dA$, so its contribution is $(\pi /3)e_z$. The total is $(\pi /6)e_z$. Independently, the cross-section of the solid at height $z$ has area $\pi z^2/3$, and $\nabla \varphi =2z{e}_z$, givingThus the two sides agree. The curved side alone is not a closed surface and does not satisfy this volume identity. The apex has zero area; alternatively one can truncate at height $\epsilon$ and let $\epsilon \downarrow 0$, with the extra boundary contribution vanishing.

Work with real-valued smooth functions on the bounded region enclosed by $S$, with the oriented surface element pointing outward. Set $\psi =\varphi -{\varphi }_1$. It is a harmonic function in $V$ and has zero Dirichlet boundary conditions on $S$. Applying Green's first identity to $\psi$ with itself givesBoth terms on the right vanish by the boundary condition and harmonicity. The integrand is nonnegative and continuous, so $\nabla \psi =0$ throughout $V$. Consequently $\psi$ is constant on each connected component; every bounded component meets the prescribed boundary, where that constant is zero. ThereforeThis is the energy proof of Uniqueness of the Dirichlet problem. Connectedness of $V$ is not essential if the boundary values are prescribed on every component. Boundedness, or suitable decay and integrability at infinity, is needed for the boundary/energy argument; the finite enclosed-volume interpretation is used here.

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.