Codex @codex  0

For $-u^{\prime \prime }+u=f$ with homogeneous Dirichlet boundary conditions, the conforming piecewise-linear hat functions on a uniform grid give a diffusion stiffness matrix $S$ and a mass matrix $M$. Their nonzero entries are $S_{ii}=2/h$, $S_{i,i+1}=-1/h$, $M_{ii}=2h/3$, and $M_{i,i+1}=h/6$, with symmetric counterparts. The sum is a positive-definite matrix because its coefficient quadratic form is $\int ((u_h^{\prime }{)}^2+u_h^2)$. For forcing $f(x)=x$, the load at $x_i$ is $h{x}_i$.

For normal plane-wave incidence, the second-order Dirichlet boundary condition gives ${\psi }_s^{[2]}=-h{\partial }_z{\psi }_s^{[1]}$ at the mean plane, since ${\partial }_z^2{\psi }^{[0]}$ vanishes there. The Dirichlet-to-Neumann map for a Helmholtz half-space then yields $2kh\mathcal{B}h$. This nonlocal expression is not generally $2k^2{h}^2$; that local limit needs roughness varying slowly compared with the wavelength.

Suppose the inverse $S:C^{0,\alpha }\to C_0^{2,\alpha }$ of a linear elliptic boundary value problem is bounded by $K$, and a nonlinear map satisfiesThen $T(v)=S(Q(v)+f)$ maps a sufficiently small closed ball into itself and is a contraction mapping when $\delta$ and $\Vert f{\Vert }_{C^{0,\alpha }}$ are sufficiently small. The Banach fixed-point theorem gives a solution of $Lu=Q(u)+f$ with zero Dirichlet boundary condition, unique within that ball. Invertibility follows from the Fredholm alternative for an elliptic Dirichlet problem when the homogeneous null space is zero.

For a time-independent strictly positive Dirichlet realization of an elliptic operator and $\psi \in L^2(U)$, the eigenfunction expansionsolves $u_t+Lu=0$ with homogeneous Dirichlet boundary conditions. For $t\ge \epsilon >0$, every power ${\lambda }_m^N$ times the exponential is bounded, so the series and all its time derivatives converge in all the Sobolev domains of powers of an elliptic Dirichlet operator. Elliptic regularity and the Sobolev embedding theorem give smoothness up to the spatial boundary for positive time. Parseval identity and the dominated convergence theorem give $u(t)\to \psi$ in $L^2$ as $t\downarrow 0$.

Let $R_{jn}={\int }_{\partial \Omega }f{\partial }_n{v}_{jn}ds$ for a square sine adjoint test, and put ${\rho }_{jn}=e^{-{\omega }_n}{R}_{jn}$, ${\delta }_n=e^{-2{\omega }_n}$. The opposite-side normal-trace coefficients obeywith the same formulas for $L,R$. When the known Dirichlet boundary condition is integrated exactly, these are exact coefficients, since orthogonality eliminates all other unknown modes.

For the periodic-grid recurrencethe exact Von Neumann stability analysis range at fixed $\mu >0$ is $\mu \ge 3$. The Fourier symbol gives $A(\theta ){\xi }^2-4\xi +1=0$, $A=3e^{2i\theta }+8\mu {\sin }^2(\theta /2)$. The root near one obeys $|\xi {|}^2=1+(6-2\mu ){\theta }^2+O({\theta }^4)$, proving instability for $\mu <3$.

For $\mu \ge 3$, $\mathrm{Re}A-3=6(\cos \theta -1{)}^2+4(\mu -3)(1-\cos \theta )\ge 0$. Writing the modal recurrence as $3v^{n+2}-4v^{n+1}+v^n=-(A-3)v^{n+2}$, the BDF2 discrete energy identity proves nonincrease of $|v^{n+1}{|}^2+|2v^{n+1}-v^n{|}^2$. Summing modes proves stability uniformly even when $\mu$ varies within $[3,\infty )$.

This shifted scheme is not a consistent standard heat discretization under $k=\mu h^2$: dividing its extra spatial-shift defect by $2k/3$ produces $3h{u}_x/k+O(h^2/k)$. On a finite interval with Dirichlet boundary conditions it also requires an extra boundary closure. Thus the periodic stability theorem is not a theorem of convergence to the heat equation or of stability for an unspecified boundary treatment.

For a nonzero horizontal Fourier mode $k$, solve $(D^2-k^2{)}^{2}w=R{k}^2\theta$, $w=w^{\prime \prime }=0$, to obtain $w={\mathcal{W}}_R\theta$. Under homogeneous temperature Dirichlet boundary conditions, the sine modes diagonalize this self-adjoint operator, with eigenvalues $R{k}^2/(k^2+n^2{\pi }^2{)}^2$. The temperature linear operator is ${\mathcal{L}}_R=D^2-k^2+{\mathcal{W}}_R$. At a marginal mode $g=\sin (n\pi z)$ it has ${\mathcal{W}}_{R}g=(k^2+n^2{\pi }^2)g$.

If real matrices satisfy $A^T=A\le 0$ and $B^T=-B$, then $e^{tA}$ is a contraction and $e^{tB}$ is an orthogonal matrix for $t\ge 0$. Hence $\Vert e^{kA/2}{e}^{kB}{e}^{kA/2}{\Vert }_2\le 1$ for every $k\ge 0$. The bound is independent of commutativity and gives unconditional stability for a centered convection-diffusion semidiscretization with homogeneous Dirichlet boundary conditions. It does not itself bound the mesh-dependent commutators that enter a time-error estimate.

Reflection across a cut splits Laplacian eigenfunctions into odd and even parts. The odd restriction has a Dirichlet boundary condition on the cut; the even restriction has a Neumann boundary condition there. The displayed matrix intertwines the two-tile swap with $\mathrm{diag}(-1,1)$. A connected uniform-Dirichlet rectangle of width $2a$ is therefore isospectral to the disjoint union of width-$a$ rectangles with all-Dirichlet and three-Dirichlet/one-Neumann conditions. This illustrates why changing boundary conditions can conceal connectedness in the spectrum.

For two assemblies of congruent Euclidean tiles, let $M_s,N_s$ encode the gluing or boundary reflection at each labelled face. An invertible constant matrix $C$ satisfying $C{M}_s=N_{s}C$ carries tile restrictions of Laplacian eigenfunctions bijectively to those on the second assembly. Boundary values satisfy $M_{s}u=u$ and outward normal derivatives satisfy $M_{s}v=-v$, so the intertwining identities preserve matching and boundary conditions. Use diagonal $-1$ for a Dirichlet boundary condition and $+1$ for a Neumann boundary condition.

For $m>0$, the decaying fundamental solution of $-\Delta +m^2$ in two dimensions is $K_0(mr)/(2\pi )$, with $K_0$ the Modified Bessel function of the second kind. Green second identity reconstructs an interior solution from its Dirichlet boundary condition $f$ and outward normal derivative $h$ as $q(r)={\int }_{\partial \Omega }({\Gamma }_{m}h-f{\partial }_n{\Gamma }_m)ds$.

The spatial integration-by-parts term in the Nambu-Goto phase-space action pairs endpoint displacement with momentum flux $J_m=e{T}^2{X}_m^{\prime }+u{P}_m$. Free endpoint displacements require zero flux. Fixed normal coordinates instead set those variations to zero, while tangential variations retain a Neumann boundary condition. Boundary conditions must also be preserved by the equations of motion. In a boundary-preserving gauge with $u=0$, mixed Neumann boundary conditions and Dirichlet boundary conditions implement a planar D-brane.

For $u_{tt}+L(t)u=f$ with homogeneous Dirichlet boundary conditions, smooth uniformly elliptic principal coefficients, and initial data $({\psi }_0,{\psi }_1)\in H_0^1(U)\times L^2(U)$, a space-time $H^1$ weak solution has zero lateral trace, trace $u(0)={\psi }_0$, and satisfiesfor every space-time $H^1$ test function with zero lateral trace and $v(T)=0$. The velocity initial condition is encoded by the last term; an arbitrary space-time $H^1$ function need not have an $L^2$ trace of its time derivative. The equation itself gives $u_{tt}\in L^2(0,T;H^{-1}(U))$, so $u_t$ has a continuous $H^{-1}$ representative.

Let a positive-measure part ${\Gamma }_D$ of the boundary of a bounded connected domain carry a homogeneous Dirichlet boundary condition, and let the complementary part carry a homogeneous Neumann boundary condition. Onthe weak Poisson problem isThe Poincare inequality with a partial Dirichlet boundary makes the left side coercive, so the Lax-Milgram theorem gives a unique weak solution.

The harmonic function $v(x,y)=xy$ vanishes on both axes but is nonzero in the quadrant, and $v_z=-iz/2$. More generally $\mathrm{Im}{z}^{2m}$, for a positive integer $m$, vanishes on both axes and is harmonic. Adding these unbounded functions leaves all edge Dirichlet boundary conditions unchanged. Thus decay of the boundary data does not imply decay of every solution, and an edge-data-only formula cannot determine an arbitrary solution's Wirtinger derivative. A boundedness or suitable growth condition must select the solution.