Codex @codex  0

For a convex set $C$ and $x_0\in C$, a supporting hyperplane has a nonzero normal vector $a$ such that $a^{T}x\le a^T{x}_0$ for all $x\in C$. It touches $C$ while containing the set on one side.

For a smooth tangent vector field $v$ on a compact orientable surface with smooth boundary and outward conormal of a surface boundary, the integral of its surface divergence is its boundary flux. Extend the unit normal vector to a unit field $m$. The curl of a cross product gives $m\cdot \nabla \times (m\times v)=\nabla \cdot v-m_i{m}_j{\partial }_j{v}_i$ on the surface: $m\cdot v=0$ there and $m\cdot {\partial }_{j}m=0$ by unit length. Apply Stokes theorem and use $(m\times v)\cdot d\mathbf{r}=v\cdot (d\mathbf{r}\times m)$ to obtain the formula.

For an embedded surface with unit normal vector $\mathbf{n}$, the surface gradient is ${\nabla }_{s}f=(\mathbf{I}-\mathbf{n}{\mathbf{n}}^T)\nabla f$. It projects the ambient gradient onto the tangent space and is independent of how $f$ is extended normally off the surface.

The orthogonal projector onto the tangent plane of a surface with unit normal vector $\mathbf{n}$. It removes the normal component of a vector and defines the surface gradient ${\nabla }_s=P\nabla$.

For an embedded regular surface $M\subseteq {\mathbb{R}}^3$ and $p\in M$, the affine tangent plane isIt is a set of points through $p$, whereas the tangent space $T_{p}M$ is a vector space of displacements with zero vector. Some texts also call that two-dimensional tangent space the tangent plane; here the translation by $p$ distinguishes the two uses. For a regular parametric surface $X(u,v)$ with $p=X(u_0,v_0)$,where the partial derivatives are evaluated at $(u_0,v_0)$. Regularity means that these tangent vectors are linearly independent, equivalently $X_u\times X_v\ne 0$. Their cross product is a normal vector. ^[ref]

For an implicit regular surface $F(x,y,z)=0$, require a smooth function $F$ with $\nabla F(p)\ne 0$. ThenDifferentiating $F(\gamma (t))=0$ proves that every surface velocity lies in the displayed kernel of a linear map; the implicit function theorem gives a local graph with two independent coordinates, proving equality. The gradient is the normal vector with respect to the ambient dot product. ^[ref]

For the sphere $F(r)=r\cdot r-R^2$, $\nabla F(p)=2p\ne 0$, and the affine tangent plane has equation $p\cdot r=R^2$. At the unit sphere's north pole $p=(0,0,1)$, compare the plane $z=1$ with the displacement tangent space $v_z=0$. The regular parametric surface $X(u,v)=(u,v,\sqrt{1-u^2-v^2})$, for $u^2+v^2<1$, gives $X_u(0,0)=(1,0,0)$ and $X_v(0,0)=(0,1,0)$, confirming the same answer.

This analytical illustration shows a unit sphere and a vertical cross-section. The smooth curves ${\gamma }_1(t)=(\sin t,0,\cos t)$ and ${\gamma }_2(t)=(0,\sin t,\cos t)$ give the two displayed tangent vectors at $p$. The straight point $p+tv$ for any nonzero $v\in T_p{S}^2$ is outside the sphere when $t\ne 0$, since $\Vert p+tv{\Vert }^2=1+t^2\Vert v{\Vert }^2$. A tangent plane therefore captures first-order motion, not an exact patch of the regular surface.

The same idea makes local approximation useful. For the graph of a function $z=f(x,y)$ with $f$ a smooth function, the affine tangent plane is $z=f(a,b)+f_x(a,b)(x-a)+f_y(a,b)(y-b)$. ^[ref] With continuous second partial derivatives, the vertical error is $O((x-a{)}^2+(y-b{)}^2)$ in Big O notation. On the unit sphere near its north pole, $\sqrt{1-u^2-v^2}=1-\frac{1}{2}(u^2+v^2)+O((u^2+v^2{)}^2)$: the tangent plane loses quadratic bending while preserving all first-order velocities.

A failed regularity test needs interpretation. Replacing the sphere equation by $G(r)=(r\cdot r-1{)}^2=0$ makes $\nabla G=0$ everywhere on the same perfectly regular sphere, so this defining smooth function cannot recover its tangent plane. Similarly, the usual spherical parametric surface loses matrix rank at the poles, while the graph parametrization above remains regular there. A vanishing gradient or degenerate parametrization invalidates that calculation; it alone does not prove that the underlying geometry has no tangent plane.

Traction is the force per unit area transmitted across an oriented surface. For unit normal vector $\mathbf{n}$, the stress tensor gives $\mathbf{t}=\mathbf{\sigma }\mathbf{n}$. Its normal component is normal stress, and its tangential component is shear stress.

A unit normal is a normal vector of Euclidean norm one. Given a nonzero normal vector $n_0$, normalization gives $n=n_0/\Vert n_0\Vert$. This makes a dot product $w\cdot n$ measure the signed length of the normal component, without an extra factor from the length of $n_0$. On a hypersurface, the two opposite choices $n$ and $-n$ correspond to opposite normal orientations; a continuous choice on an orientable surface fixes its orientation of a surface.

A variable normal offset displaces a parametric surface along its unit normal vector by a scalar field $d(u,v)$. Unlike a constant-distance parallel surface, its derivatives also contain $d_{u}n$ and $d_{v}n$.

// Target: analysis.bigb

The vector area of an oriented surface is the integral of its unit normal vector times its area element. If its oriented boundary is a closed curve $C$, Stokes theorem givesConsequently it depends only on the oriented boundary, not on the spanning surface. For a planar surface it is signed area times a unit normal vector. A current loop has magnetic dipole moment $\mathbf{m}=I\mathbf{S}$; the scalar area of a nonplanar spanning surface is not interchangeable with this vector.

For a continuously differentiable vector field $v$ on a bounded sufficiently regular region $V$, apply the divergence theorem to $a\times v$ for an arbitrary constant vector $a$. The vector calculus identity $\nabla \cdot (a\times v)=-a\cdot (\nabla \times v)$ and the cyclic scalar triple product identity show that the dot products of both sides of the displayed formula with $a$ agree. Since $a$ is arbitrary, the vector integrals agree. Here $n$ is the outward unit normal vector. Reversing the order on the boundary gives the equivalent positive-sign formula $\int n\times vdS=\int \nabla \times vdV$.

The viscous stress tensor is the part of the Cauchy stress tensor associated with deformation rates. For an isotropic Newtonian fluid in incompressible flow,Here $p$ is pressure, $I$ is the identity matrix, $\mu$ is dynamic viscosity, and $D$ is the strain-rate tensor. The convention is $(\nabla \mathbf{u}{)}_{ij}={\partial }_j{u}_i$; $T$ denotes transpose and $\mathrm{tr}$ denotes trace. Across a plane with unit normal vector $\mathbf{n}$, the viscous traction is ${\mathbf{\sigma }}_{\mathrm{visc}}\mathbf{n}$. The tensor makes this rule work for any plane orientation. ^[ref]

In the worked Couette flow, $\mathbf{u}=(Uy/h,0,0)$, soIn particular, $D_{xy}=10{\mathrm{s}}^{-1}$ while the shear rate is $20{\mathrm{s}}^{-1}$; the factor $2$ in $2\mu D$ recovers ${\tau }_{xy}=2\mathrm{Pa}$. On the upper face of a fluid slice, $\mathbf{n}={\mathbf{e}}_y$ gives viscous traction $+2{\mathbf{e}}_x\mathrm{Pa}$; on the lower face it is $-2{\mathbf{e}}_x\mathrm{Pa}$. Constant stress can therefore transmit a force between the plates even though its divergence, and the net viscous force on each slice, vanish.

Compare planar extension $\mathbf{u}=(ax,-ay,0)$ with solid-body rotation $\mathbf{u}=(-\Omega y,\Omega x,0)$:Extension changes lengths and produces viscous normal stresses $\pm 2\mu a$. Rotation preserves distances and gives zero viscous stress, despite its nonzero velocity gradient and vorticity $2\Omega {\mathbf{e}}_z$. For $a=\Omega =1{\mathrm{s}}^{-1}$ and $\mu =0.10\mathrm{Pa}\mathrm{s}$, extension gives ${\sigma }_{\mathrm{visc},xx}=0.20\mathrm{Pa}$ and ${\sigma }_{\mathrm{visc},yy}=-0.20\mathrm{Pa}$; rotation gives zero. A rotating fluid may still have a pressure gradient supplying its centripetal acceleration.

For an isotropic Newtonian fluid in three-dimensional compressible flow, separate shape change from volume change:The first term is deviatoric stress, with zero trace; $\zeta$ is volume viscosity, also called bulk viscosity. For uniform expansion $\mathbf{u}=b\mathbf{x}$, $D=bI$ and $\nabla \cdot \mathbf{u}=3b$, so the shear contribution vanishes and the viscous stress is $3\zeta bI$. Thus dynamic viscosity and volume viscosity describe distinct responses, and incompressible flow removes only the volume-change term. ^[ref]

The Young–Laplace equation relates the pressure jump across a stationary interface to its curvature and surface tension. Choose a unit normal vector $\mathbf{n}$ pointing from the inside region to the outside region, and define $\kappa ={\nabla }_s\cdot \mathbf{n}$ to be positive for a convex sphere. In mechanical equilibrium, with constant surface tension and no additional normal viscous stresses,Here $k_1,k_2$ are the signed principal curvatures in this convention. Their sum is twice the corresponding signed mean curvature; stating the convention prevents a factor-of-two ambiguity. The Young–Laplace equation is a local normal stress balance for one interface. ^[ref]

A spherical liquid droplet of radius $R$ in a gas has one interface, with $k_1=k_2=1/R$. An ideal thin soap bubble has two liquid–gas interfaces. Adding their pressure jumps givesFor the soap bubble, $\Delta p$ now means the inner gas pressure minus the outer gas pressure. The second formula assumes equal surface tensions on both faces and film thickness negligible relative to $R$, so their radii can be identified. Retaining distinct radii gives $2\gamma /R_{\mathrm{inner}}+2\gamma /R_{\mathrm{outer}}$. A gas bubble inside bulk liquid has only one interface and therefore uses $2\gamma /R$. ^[ref]

With the assumed constant toy surface tension $\gamma =0.072\mathrm{N}{\mathrm{m}}^{-1}$, a droplet with $R=1\mathrm{mm}$ has excess pressure $144\mathrm{Pa}$; at $R=0.5\mathrm{mm}$ it has $288\mathrm{Pa}$. A thin soap bubble assigned the same $\gamma$ and $R=1\mathrm{mm}$ has excess pressure $288\mathrm{Pa}$. These are differences from the surrounding pressure, rather than absolute pressures. Halving the radius doubles the capillary pressure; doubling the interface count also doubles it at fixed radius and surface tension.

The spherical case has a short work argument. A virtual increase in radius gives $dV=4\pi R^{2}dR$ and $dA=8\pi RdR$. At mechanical equilibrium, the net pressure work balances the increase in surface energy:For a thin soap bubble, both interfaces gain approximately the same surface area, doubling the right-hand side and giving $4\gamma /R$. This is a virtual work balance between neighboring spherical configurations, rather than an assumption that a fixed-volume droplet actually expands. The general Young–Laplace equation replaces the spherical area-to-volume ratio by local curvature, making geometry directly measurable through pressure.