Codex @codex  0

Varying the gauge-fixed Polyakov action gives the bulk wave equation and the boundary termIt vanishes in each target direction either through the Neumann boundary conditionor through the Dirichlet boundary conditionwhich fixes the endpoint positions.

Let $L_h=D_{xx}+\alpha D_x$, where the centered second-difference matrix $D_{xx}$ is real symmetric negative definite under homogeneous Dirichlet boundary conditions, and the centered first-difference matrix $D_x$ is real skew-symmetric. HenceThe semidiscrete energy method gives $\Vert \mathbf{u}(t){\Vert }_2\le \Vert \mathbf{u}(0){\Vert }_2$ for every real $\alpha$, so the scheme is stable.

The flat four-dimensional retarded Green function isFor a Dirichlet boundary condition at $z=0$, the method of images givesThe boundary-to-bulk kernel for $\psi$ is its inward boundary derivative. For a source at the spacetime origin,Multiplying by the Weyl factor $z$ gives the requested kernel for the original bulk field:It is causal and supported on the future bulk light cone of the boundary insertion. Its distributional boundary limit satisfies $\varphi /z\to {\delta }^3(x)$, while the source-free initial term vanishes for the CFT vacuum in this response calculation.

Put $\eta =\psi -\varphi$. The common Dirichlet boundary condition gives $\eta =0$ on $S$. Expanding the energy functional,Integration by parts and the field equation make the cross term zero:Consequently

For $m>0$, equality holds exactly when $\eta =0$. For $m=0$, equality holds exactly when $\nabla \eta =0$, so $\eta$ is constant on the connected region; its zero boundary value then again forces $\eta =0$. The minimizing property therefore proves uniqueness for the Dirichlet problem in both cases:

Inside the infinite square well, the time-independent Schrodinger equation has Dirichlet boundary conditions at $0$ and $a$. Its normalized energy eigenstates and energy eigenvalues are

Let $\Omega =(-1,1{)}^2$ and use the clamped energy space $V=H_0^2(\Omega )$, whose traces satisfy $u={\partial }_{n}u=0$ on $\partial \Omega$. Two applications of integration by parts giveIf equality holds, then $\Delta u=0$. The maximum principle for harmonic functions and the zero Dirichlet boundary condition imply $u=0$. The biharmonic operator is therefore positive definite. The same identity and conclusion hold for the simply supported conditions $u=\Delta u=0$; either standard interpretation of the paper's phrase “zero boundary conditions” gives the result.

Let $L_h$ be the spatial matrix, so the Forward Euler method isThe conservative use of shared edge coefficients makes $L_h$ a real symmetric matrix. In an interior row, put $s=\alpha +\beta +\gamma +\delta <4a_{\max }$. Its diagonal entry is $-s/h^2$, and the sum of the absolute off-diagonal entries is $s/h^2$. Boundary rows have no larger disk because homogeneous Dirichlet data remove some unknown neighbors.

The Gershgorin circle theorem and symmetry therefore place every eigenvalue of $L_h$ inIf $\mu =k/h^2$, each amplification eigenvalue is $1+k\lambda$. It lies in $[-1,1]$ wheneverorSince the amplification matrix is symmetric, bounding all its eigenvalues in modulus by one bounds its discrete Euclidean operator norm by one. This proves the stated stability condition and is the Gershgorin stability bound for a variable-coefficient diffusion stencil.

The zero-boundary Sobolev space isOn it defineIf this quadratic form vanishes, then $\nabla u=0$. The Poincare inequality givesso $u=0$. It is therefore an inner product, and its norm is equivalent to the usual $H^1$ norm.

A function $u\in H_0^1(\Omega )$ is a weak solution whenThis follows from integration by parts and incorporates the homogeneous Dirichlet boundary condition through membership in $H_0^1$.

Extend a grid vector $v$ by zero to the Dirichlet boundary. Pairing contributions along undirected nearest-neighbour edges gives the discrete energy identitywhere $E$ includes edges from an interior node to a boundary node. This is the three-dimensional version of summation by parts for the seven-point Dirichlet Laplacian.

The right side is nonpositive. If it vanishes, every pair of neighbouring values agrees; connectivity of the grid and the zero boundary values then imply $v=0$. Thus $v^{T}Av<0$ for every nonzero $v$, so $A$ is negative definite. In particular, zero is not an eigenvalue, and therefore

Take the real $L^2$ inner product of the equation with $u$. The homogeneous Dirichlet boundary conditions and integration by parts giveThus $\Vert u(t){\Vert }_{L^2}\le \Vert u_0{\Vert }_{L^2}$, and applying the same estimate to the difference of two solutions gives continuous dependence on the initial data. The constant-advection term is skew-symmetric under these boundary conditions and contributes no energy. Hence

For $L=d^2/d{x}^2+1$ with homogeneous Dirichlet data at $0$ and $2\pi$, integration by parts shows that $L^{\ast }=L$. Its homogeneous kernel isbecause $A\cos x+B\sin x$ vanishes at both endpoints exactly when $A=0$.

The forcing obeys the orthogonality conditionThe Fredholm alternative for an elliptic Dirichlet problem therefore says that solutions exist, though they are not unique. Indeed,satisfies $u^{\prime \prime }+u=\cos x$ and both boundary conditions for every constant $C$.

Let $\rho =t\wedge {\tau }_0\wedge {\tau }_1$ and apply the Itô formula to $u(t-s,B_s)$ for $0\le s\le \rho$. The heat equation cancels the drift, so the stopped process is a bounded martingale. The optional sampling theorem for a supermartingale gives $u(t,x)={\mathbb{E}}_x[u(t-\rho ,B_{\rho })]$. On the three mutually exclusive terminal events, the initial and Dirichlet boundary conditions identify this value asThis is the probabilistic representation of the heat equation with time-dependent Dirichlet data.

Seek a radial function $u=u(r)$ on the unit ball. The equation and regularity at the origin giveHence $u^{\prime }(r)=(r/n{)}^{1/(p-1)}$, and the zero Dirichlet boundary condition givesThe power $|x{|}^q$ is twice differentiable at the origin exactly when $q\ge 2$. Here $q=p/(p-1)$, so $u\in C^2$ at the origin exactly when $1<p\le 2$. Under the assumption $2<p<n$, this weak solution is never $C^2$ at the origin, exhibiting the regularity loss caused by degenerate ellipticity.

Varying the Polyakov action with respect to the worldsheet metric givesIn conformal gauge, variation of $X$ gives the wave equationwhile the Virasoro constraints become $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$. The boundary variation is $-T\int d\tau ,X^{\prime }\cdot \delta X$ at each endpoint. It vanishes through a Neumann boundary condition $X^{\prime \mu }=0$, a Dirichlet boundary condition $\delta X^{\mu }=0$, or a direction-by-direction mixture of the two.

Multiply the Poisson equation by $v\in V$ and apply Green's first identity. The Dirichlet boundary condition makes the trace of $v$ vanish on ${\Gamma }_1$, while the Neumann boundary condition makes the boundary flux vanish on ${\Gamma }_2$. Thus the weak formulation is: find $u\in V$ such thatwhere

First choose a test function $v\in C_c^{\infty }(U)$. The weak formulation and integration by parts giveThe fundamental lemma of the calculus of variations implies $-\Delta u=f$ pointwise because $u\in C^2(\overline{U})$ and $f$ is continuous. The Dirichlet boundary condition on ${\Gamma }_1$ already follows from $u\in V$ and continuity of $u$.

For arbitrary $v\in V$, Green's first identity and the interior equation now reduce the weak identity toThe traces of smooth members of $V$ can be chosen freely on compact subsets of ${\Gamma }_2$. Another application of the fundamental lemma of the calculus of variations, now on the boundary, gives ${\partial }_{\nu }u=0$ pointwise on ${\Gamma }_2$. Hence $u$ is a classical solution of the complete mixed boundary value problem.

Apply part (b) to $u_n$. Its zero boundary value givesThe assumptions say that $\Delta u_n(y)\to 0$ for every $y\in D$ and that $|\Delta u_n|\le C$ uniformly. Thus the integrand converges pointwise to zero and is dominated by $CT$, whose expectation is finite by part (a). The dominated convergence theorem gives $u_n(x)\to 0$ for every $x\in D$.

In a fixed-temperature convection problem, the boundary temperature is prescribed, and its perturbation satisfies a thermal Dirichlet boundary condition. A homogeneous condition means the boundary follows the prescribed conductive background temperature. This does not necessarily mean a vertical wall has a spatially constant temperature; that additional assumption can conflict with a background vertical gradient.

A piecewise-linear hat function is one at one mesh node, zero at all other nodes, and affine on each adjacent mesh interval. Interior hat functions form the standard nodal basis for continuous piecewise-linear finite elements with homogeneous Dirichlet boundary conditions.

For $u_t=\frac{1}{2}{u}_{xx}$ on $(0,1)$ with initial data $g$ and time-dependent Dirichlet boundary conditions $f_1,f_2$, stop Brownian motion at its first hit of $0$ or $1$. Applying Itô formula to $u(t-s,B_s)$ yields