Codex @codex  0

This is the closure of the compactly supported test functions $C_c^{\infty }(U)$ in the $H^2(U)$ norm. On a smooth bounded domain it consists precisely of the $H^2$ functions with zero value and zero normal derivative traces. Tangential first derivatives then vanish as well. The clamped Hessian identity makes the Laplacian norm equivalent to the full $H^2$ norm on this space, enabling a Lax-Milgram theorem treatment of the clamped biharmonic problem.

For a smooth heat equation solution $w_t=\Delta w$ with $w_t+\alpha {\partial }_{n}w=0$ on the boundary and nonnegative $\alpha$, Green's first identity gives the displayed dissipation identity for $E={\int }_V|\nabla w{|}^2$. The outward normal derivative is used. Writing the boundary loss as $\alpha ({\partial }_{n}w{)}^2$ avoids division by $\alpha$ and remains valid where $\alpha =0$. A stationary solution is harmonic with $\alpha {\partial }_{n}w=0$; it need not be a particular fixed-data Dirichlet problem solution.

For equal oriented Dirichlet boundary data on all three sides and a uniquely solvable elliptic problem, rotation invariance makes their outward normal derivatives equal. Pairing the global relation with its Schwarz conjugation of a spectral function at $\ell (k+\lambda /k)=2\pi in$ determines every Fourier coefficient of the common normal trace. The zero mode at $\lambda =0$ follows from zero total flux. At negative parameters, uniqueness and possible removable spectral denominators must be checked rather than assumed.

Given a uniquely solvable Dirichlet problem, this map sends prescribed Dirichlet boundary data to the solution's outward normal derivative. It depends on the differential operator and domain. Spectral global relations offer one way to compute it numerically from boundary traces, while a finite collocation scheme still requires a rank and conditioning check.

A dynamic boundary condition includes a time derivative of the boundary trace. For a half-line heat equation, $u_t(0,t)+\alpha u_x(0,t)+\beta u(0,t)=f(t)$ gives a separate boundary evolution coupled to the interior flux. Its Laplace transform contains the initial trace $u_0(0)$. The sign of $u_x$ differs from that of the outward normal derivative at a left endpoint.

A real analytic system solved for the highest normal derivatives, with real analytic Cauchy data, has a unique local real analytic solution. For common order $m$, its normal form is ${\partial }_t^{m}U=F(t,x,\{{\partial }_t^j{\partial }_x^{\alpha }U:j<m,j+|\alpha |\le m\})$. An invertible coefficient/Jacobian matrix for the highest normal derivatives is the system's non-characteristic hypersurface condition. A real analytic coordinate change flattens the initial hypersurface, and adjoining derivatives through order $m-1$ reduces the problem to a first-order real analytic system. Uniqueness here is in the real analytic class; it does not assert Hadamard well-posedness in smooth or Sobolev norms.

A global relation is an identity connecting transforms or integrals of the boundary traces of a solution. For a formally self-adjoint operator $L=\Delta -k^2$, Green second identity givesfor every homogeneous adjoint solution $Lv=0$. Exponential adjoint families turn this into a spectral identity between the Dirichlet boundary condition and unknown normal derivative.

For the advection-diffusion equation $u_t=u_{xx}+\alpha u_x$ on $x>0$, the spectral divergence form uses $\omega =k^2-i\alpha k$ and factor $e^{-ikx+\omega t}$. With negative-exponential Half-range Fourier transforms, integration gives the displayed global relation for $\mathrm{Im}k\le 0$. The boundary transform $G_1$ refers to $u_x(0,t)$, the negative of the outward normal derivative.

For $L=a^{ij}{D}_{ij}+b^i{D}_i$ with bounded coefficients and uniform ellipticity near a boundary point $y$ satisfying the interior sphere condition, suppose $u\in C^2(\Omega )\cap C^0(\Omega \cup \{y\})$ has $Lu\ge 0$ and $u(x)<u(y)$ in a tangent open ball. With $\mathbf{n}$ the outward unit normal of that ball, ${\mathrm{liminf}}_{t\downarrow 0}[u(y)-u(y-t\mathbf{n})]/t>0$. Consequently the outward normal derivative is positive whenever it exists. The given boundary continuity alone does not assert that the derivative exists. The minimum version follows by applying this to $-u$; operators with a zeroth-order term require additional sign hypotheses.

The Navier slip boundary condition allows a fluid to slide tangentially past a solid wall while resisting that motion through wall friction in the Navier slip boundary condition. For parallel flow past a flat, impermeable wall translating uniformly with tangential velocity $U_w$, write the fluid's tangential velocity as $u$ and its relative tangential velocity as $u_{\mathrm{rel}}=u-U_w$. Thenwhere $b$ is the slip length, also written ${\ell }_s$. The unit normal $\mathbf{n}$ points from the wall into the fluid, and ${\partial }_{n}u=\mathbf{n}\cdot \nabla u$ is the normal derivative. The separate no-penetration boundary condition requires $(\mathbf{u}-{\mathbf{U}}_w)\cdot \mathbf{n}=0$: tangential sliding does not allow flow through the wall.

The sign convention matters. In a channel $0<z<H$, the lower wall has inward unit normal $+{\mathbf{e}}_z$ and the upper wall has inward unit normal $-{\mathbf{e}}_z$. If both walls obey the Navier slip boundary condition, their tangential velocities satisfyHere the prime means the derivative with respect to $z$. Using $+b_H{u}^{\prime }(H)$ at the upper wall would reverse the friction law. The examples Couette flow with a slipping lower wall and planar Poiseuille flow with equal wall slip use different upper-wall boundary conditions.

This flat-wall formula is a local linear model. On a curved wall the Newtonian fluid stress tensor must supply the tangential traction; the normal derivative alone generally misses curvature terms. The author-written review by Lauga, Brenner and Stone states the full strain-based condition with the unit normal directed into the liquid. ^[ref]

The same review credits Navier's 1823 treatise with the linear slip law. Its history is a reminder that the no-slip boundary condition is an experimentally successful model, whose validity depends on the interface and scale. The history here follows that review rather than a new reading of Navier's original memoir. ^[ref]

Neumann boundary data are prescribed values of the outward normal derivative of a function on the boundary of a boundary value problem. They enter a Neumann boundary condition as ${\partial }_{n}u=g_N$. Directional derivatives defined using a fixed coordinate direction must be converted to the outward-normal convention: for example, on the bottom of an upper domain, ${\partial }_{n}u=-u_y$.

A boundary value problem with prescribed outward normal derivative, or the associated weighted flux, on the boundary. Its boundary data are Neumann boundary data. For an elliptic divergence-form operator without a zeroth-order term, integration over the domain imposes a compatibility condition between total source and boundary flux. A connected domain generally leaves a constant undetermined, fixed by a mean or reference value.

The nonnegative Neumann Laplacian is the self-adjoint realization of $-\mathrm{div}\mathrm{grad}$ with vanishing outward normal derivative. Its weak quadratic form is the Dirichlet energy on $H^1$. On a connected compact domain the constants give a one-dimensional zero eigenvalue space.

An oblique derivative boundary condition prescribes a linear combination of the outward normal derivative and the tangential derivative on a boundary. Its strictly oblique case has a nonzero normal coefficient; a zero normal coefficient is a limiting tangential condition. Both trace directions must be tracked when constructing a global relation. On unbounded domains, regularity at corners and a growth condition at infinity are separate parts of an admissible boundary value problem.

Let ${\varphi }_1,{\varphi }_2$ be two sufficiently regular solutions with the same source and boundary data, and set $w={\varphi }_1-{\varphi }_2$. Then ${\nabla }^{2}w=0$ and $\alpha {\partial }_{n}w+w=0$. Green's first identity givesThe left side is nonnegative, so it vanishes. Thus $w$ is constant on each connected component. Its normal derivative is zero, and the boundary condition then forces that constant to be zero. This proves at most one solution. The Poisson uniqueness with a nonnegative Robin normal coefficient proof never divides by $\alpha$, so it includes the points or boundary portions where $\alpha =0$.

For the exponential-sine modes, direct differentiation givesTheir sum is zero, so both modes are harmonic functions for every real $\ell$.

For the square, the horizontal Dirichlet data suggest separation of variables in the form $\varphi (x,y)=F(x)\sin (ky)$, where the positive integer $k$ makes the sine vanish at both horizontal edges. The Laplace equation gives $F^{\prime \prime }-k^{2}F=0$, hence $F=A\cosh (kx)+B\sinh (kx)$. At $x=0$, the outward normal points in the negative $x$ direction. The Robin boundary condition is therefore $F(0)-F^{\prime }(0)=0$, or $A=kB$. The right edge requires $F(\pi )=1$, fixing the remaining coefficient. The resulting separated Laplace mode with a Robin edge isThe denominator is positive for $k>0$. The function satisfies the Laplace equation and all four boundary conditions directly; for example its left-edge value and $x$ derivative agree, giving the correct outward-normal Robin sign. It extends regularly to the corners.

On the left edge the uniqueness coefficient is $\alpha =1$; on the other three edges it is $\alpha =0$ with the prescribed Dirichlet value. The same Green's first identity argument applies to the square's piecewise smooth boundary, whose corners have zero boundary measure. Thus this is the unique regular solution, or equivalently the unique finite-energy solution with these boundary traces. Unbounded corner singularities are outside that boundary-value class.

Put $d=\ell /(2\sqrt{3})$ and $a=e^{2\pi i/3}$. Consistent with the actual PDF vertices, parametrize the three oriented sides byThey run counterclockwise, with unit tangent $i{\beta }_j$ and outward normal ${\beta }_j$. Consequently the normal derivative and tangential derivative satisfyLet $\kappa =k{\beta }_j$. On this side the exponential factor becomesPulling back the closed differential one-form therefore givesDefine ${\Phi }_j(\kappa )$ and ${\Psi }_j(\kappa )$ by integrating the Dirichlet terms and normal term in this expression. The Generalized Stokes theorem gives ${\int }_{\partial D}W=0$, soThe factor $2i$ follows by solving $\sum E\Phi +(i/2)\sum E\Psi =0$. The bars on the side-2 rotation are essential; replacing them with $a$ would use the wrong side orientation. The converted TeX also reverses the sign in the upper vertex's exponential, whereas the PDF puts that vertex above the real axis; the parametrization here follows the PDF.

Assume sufficient smoothness and a regular boundary for the integrations below, with $n$ outward. Put $\delta =w-\varphi$, so $\delta =0$ on $S$. Expanding the Dirichlet energy givesBy Green's first identity, the middle integral isThus the Dirichlet principle follows with an explicit remainder:Equality means $w-\varphi$ is constant on each connected component; its zero boundary value forces that constant to be zero.

Now let $w$ solve the heat equation and set $E(t)={\int }_V|\nabla w{|}^{2}dV$. Differentiation followed by Green's first identity givesUnder time-independent Dirichlet boundary conditions, $w_t=0$ on $S$, while $w_t=\Delta w$ in $V$. ThereforeIf equality holds at a particular time, continuity makes $\Delta w=0$ throughout $V$ at that time. Its boundary values are still $f$, so uniqueness of the Dirichlet problem implies $w=\varphi$. Conversely $w=\varphi$ has $\Delta w=0$ and gives equality. This proves the full equality criterion for Dirichlet energy dissipation for the heat equation.

For the dynamic boundary condition for the heat equation, substitute $w_t=-\alpha {\partial }_{n}w$ directly into the boundary term. The interior equation is unchanged, soThis is Dirichlet energy dissipation with a dynamic heat boundary condition. It remains valid when $\alpha$ vanishes, because no division by $\alpha$ is used. The last part preserves energy monotonicity; its stationary states need not have the earlier prescribed Dirichlet data. For example, with strictly positive $\alpha$ on a connected boundary, a stationary harmonic state has zero outward normal derivative and is constant, as follows by applying Green's first identity to that state itself.

Fix counterclockwise arclength on each side and take the outward normal derivative. WriteThe unit tangent is $i{c}_j$ and the outward unit normal is $c_j$. On side $j$ this gives the chain-rule identityPut $w=c_{j}k$. The exponential in the closed differential one-form pulls back toAlso $-\lambda qd\bar{z}/(ik)=(\lambda /w)q^{(j)}ds$. Consequently the contribution of side $j$ is ${\rho }_j(c_{j}k)$, where the required local side spectra areThese are spectral integral transforms in the local coordinate of each side. Keeping the tangential-derivative term is important: premature integration by parts in a single side integral would leave corner values, which cannot simply be discarded. At the special samples used below, those endpoint terms do vanish for the rotationally invariant solution.