Codex @codex  0

An absorbing boundary removes a diffusion when it is reached. The forward density and backward observables satisfy Dirichlet boundary conditions there.

For a smooth incompressible direct trajectory with total velocity field $\mathbf{U}$ and active scalar $\Theta$, the negative-constraint Lagrangian function in constrained optimization convention givesThe transpose term is the formal adjoint of $\delta \mathbf{u}\cdot \nabla \mathbf{U}$; the two couplings transpose scalar transport by advection and buoyancy. For terminal cost $\int \Theta (T{)}^2$, the terminal data are ${\mathbf{u}}^{†}(T)=0$, ${\theta }^{†}(T)=2\Theta (T)$. They are integrated backward along the stored direct trajectory. No-slip boundary conditions and Dirichlet boundary conditions for the adjoint velocity and homogeneous Neumann boundary conditions for the adjoint scalar remove the spatial boundary terms.

For $u_{tt}=\Delta u+\alpha u$ with a homogeneous Dirichlet boundary condition, let ${\lambda }_1>0$ be the first Dirichlet Laplacian eigenvalue. On a bounded one-dimensional interval, finite-energy displacement remains bounded for all time and all initial data exactly when $\alpha <{\lambda }_1$. The conserved energy $\frac{1}{2}(\Vert u_t{\Vert }_2^2+\Vert \nabla u{\Vert }_2^2-\alpha \Vert u{\Vert }_2^2)$ controls the gradient and, by the Poincare inequality and one-dimensional integration, the maximum norm. At equality a mode can grow linearly; above it a mode can grow exponentially. Bounded oscillations need not have a long-time limit.

Subtract a known function with the required boundary trace so that the remaining unknown has homogeneous boundary conditions. For an interval with Dirichlet boundary conditions $g(t),h(t)$, $\ell =(1-x/L)g+(x/L)h$ is a simple lifting. In $w_t=w_{xx}-cw$, $z=w-\ell$ has forcing $-{\ell }_t-c\ell$ and zero endpoint values. This improves Fourier sine series convergence.

Two bounded harmonic functions continuous to the quadrant edges with the same Dirichlet boundary conditions are equal. Their difference is bounded and zero on both axes. Odd reflection across each axis gives a bounded harmonic extension away from the corner; the removable singularity for a bounded harmonic function fills in that corner. The harmonic Liouville theorem makes that extension constant, and oddness makes the constant zero. This does not exclude unbounded examples such as the zero-boundary harmonic growth in a quadrant.

With homogeneous Dirichlet boundary conditions, centered differences turn one-dimensional diffusion into a symmetric negative-definite matrix and constant advection into a skew-symmetric matrix. Their sum dissipates the discrete Euclidean norm, giving mesh-uniform energy stability for every fixed advection coefficient.

For the centered second difference and centered first difference on a finite interval with zero Dirichlet boundary conditions, the diffusion matrix is symmetric negative definite and the drift matrix is skew-symmetric. Discrete summation by parts gives the displayed mesh-weighted identity. It proves contraction in the discrete L2 norm without needing periodic modes, positive stencil coefficients or simultaneous diagonalization.

For a quadratic potential energy, shifting a path to its classical solution leaves an exactly quadratic fluctuation action with homogeneous Dirichlet boundary conditions. The first variation vanishes by the Euler-Lagrange equation. The Gaussian path integral prefactor is an inverse square root of a regulated functional determinant and does not depend on the endpoints. At conjugate times the ordinary formula must instead be read by distributional continuation.

For $H=H_0^1(U)\times H^1(U)$, the coupled formsatisfiesThe Poincare inequality for $u$ then controls both $\Vert u{\Vert }_2$ and $\Vert w{\Vert }_2$, so the form is coercive on $H$. The Lax-Milgram theorem therefore gives a unique weak solution. The first component has a Dirichlet boundary condition, while the second component's Neumann boundary condition is the natural boundary condition in the weak formulation.

For a fixed uniformly elliptic operator with $C^{0,\mu }$ coefficients on a bounded smooth connected domain, nonnegative solutions with zero Dirichlet boundary condition satisfy the displayed estimate when ${\Omega }^{\prime }$ is nonempty and compactly contained in $\Omega$. If it failed, normalize the global supremum to one. The forcing and the interior infimum then tend to zero. The global Schauder estimate and compact embedding of Hölder spaces produce a nonzero homogeneous limit with an interior zero, contradicting the strong minimum principle for elliptic operators. An arbitrary bounded zeroth-order coefficient is allowed: replace $c$ by $\min (c,0)$ for the positivity argument. Keeping global boundary control prevents the normalized maximum from disappearing in the limit.

A conforming finite element space is a finite-dimensional vector subspace of the solution's variational space $V$. For a second-order problem with homogeneous Dirichlet boundary conditions, continuous piecewise-polynomial functions vanishing on the boundary form such a subspace of the zero-boundary Sobolev space $H_0^1(\Omega )$. Conformity allows exact Galerkin orthogonality and the Céa lemma.

Let $U\subset {\mathbb{R}}^d$ be bounded, $A\in {\mathbb{R}}^d$ satisfy $\Vert A{\Vert }_2<2$, and $f\in L^2(U)$. The bilinear formon $H_0^1(U)$ is bounded. The Cauchy-Schwarz inequality and $2ab\le a^2+b^2$ giveso it is a coercive bilinear form. The Lax-Milgram theorem therefore gives a unique weak solution of $-\Delta v+v+A\cdot \nabla v=f$ with zero Dirichlet boundary condition.

For the advection-diffusion equation $u_t=u_{xx}+2a{u}_x$, the multiplication $w=e^{ax}u$ gives $w_t=w_{xx}-a^{2}w$. A Dirichlet boundary condition remains a prescribed value, multiplied by $e^{ax}$ at the endpoint. This real exponential conjugation removes the first derivative without changing a bounded spatial interval.

For the heat equation with zero Dirichlet boundary conditions on $(0,L)$,It is also obtained by the method of images, taking the difference between Gaussian sources at $y+2jL$ and $-y+2jL$. The eigenfunction expansion is useful at long times; the image expansion is useful at short times.

The conformal map $w=z^2$ sends $x,y>0$ to the complex upper half-plane. For bounded continuous boundary values $g_2$ on the horizontal axis and $g_1$ on the vertical axis with equal corner values, set $f(s)=g_2(\sqrt{s})$ for $s>0$ and $f(s)=g_1(\sqrt{-s})$ for $s<0$. The bounded harmonic function with those Dirichlet boundary conditions isEquivalently, if $z^2=a+ic$ with $c>0$, this is $\frac{2c}{\pi }{\int }_0^{\infty }r\left[g_2(r)/((r^2-a{)}^2+c^2)+g_1(r)/((r^2+a{)}^2+c^2)\right]dr$. The Poisson kernel is a positive approximate identity, so the prescribed edge values are attained. Boundedness is essential for uniqueness on this unbounded domain.

On a shape-regular mesh in dimensions at most three, nodal piecewise-linear interpolation of $u\in H^2(\Omega )$ satisfieswhere $h$ is the largest element diameter and $C$ is independent of $h$. For homogeneous Dirichlet boundary conditions, $I_{h}u$ belongs to the conforming finite element space. Scaling each element to a reference element gives the estimate; shape regularity bounds the scaling constants, while subtraction of an affine function leaves an error controlled by the second derivatives.

Taylor expansion of the Dirichlet boundary condition gives the first-order boundary trace $-h{\partial }_z{\psi }^{[0]}$ at the mean plane. The outgoing angular spectrum then propagates it. A zero-mean surface gives zero mean for this linear rough correction, while the complete scattered field still contains its nonzero flat reflection.

The Fourier sine transform is a half-line transform adapted to a homogeneous Dirichlet boundary condition. With the displayed normalization, inversion is $f(x)=(2/\pi ){\int }_0^{\infty }\sin (kx)S(k)dk$. It is equivalent to the Fourier transform of an odd extension. If $f(0)=0$ and boundary terms vanish, two integrations by parts give the transform of $f^{\prime \prime }$ as $-k^{2}S(k)$.

For a uniformly elliptic operator $L$ on a bounded regular domain, exactly one of the following equivalent descriptions applies to its homogeneous Dirichlet problem. If $\ker L^{\ast }=0$, every forcing has a unique solution. Otherwise $Lu=f$ is solvable exactly when $f$ is orthogonal to $\ker L^{\ast }$, and any two solutions differ by an element of $\ker L$. Moreover $\dim \ker L=\dim \ker L^{\ast }$.

At zero growth rate put $P=\psi +iq\theta$, $q=\sqrt{R}$. The coupled Darcy equations become $\Delta P+iq{P}_x=0$. Substituting $P=e^{-iq(x-1/2)/2}F$ gives $\Delta F+(q^2/4)F=0$ with homogeneous Dirichlet boundary conditions. The square Dirichlet Laplacian eigenvalues give $q^2=4{\pi }^2(m^2+n^2)$, $m,n\ge 1$, whose minimum is $8{\pi }^2$. For $S=\sin \pi x\sin \pi z$, $a=q_c/2$, the complex multiples $F=S,iS$ give real pairs $(S\cos (a\xi ),-S\sin (a\xi )/q_c)$ and $(S\sin (a\xi ),S\cos (a\xi )/q_c)$, $\xi =x-1/2$. Their reflection parities are opposite, yielding two independent physical modes.