Codex @codex  0

An adjoint eigenfunction is a nonzero eigenfunction of the adjoint operator on its adjoint domain. For an inner product conjugate-linear in its first argument, $L^{\ast }g=\overline{\lambda }g$ implies $⟨g,(L-\lambda )f⟩=0$ for every $f$ in the domain of $L$. Consequently a necessary solvability condition for $(L-\lambda )f=h$ is $⟨g,h⟩=0$. If $L-\lambda I$ is a Fredholm operator, orthogonality to every element of its adjoint kernel is also sufficient. Boundary conditions and weights in a coupled system enter the adjoint domain and must be derived by integration by parts; copying the original eigenfunction without checking them can give a wrong projection.

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.

Forwith the boundary conditions $y(0)=y^{\prime }(0)=0$, $y^{\prime \prime }(L)=0$, and $-A{y}^{\prime \prime \prime }(L)=F$, the higher-order Euler-Lagrange equation isIts solution splits as

A differential operator maps a function to an expression depending on finitely many of its derivatives. A linear differential operator has the form $P={\sum }_{|\alpha |\le m}{a}_{\alpha }(x){\partial }^{\alpha }$; its order is the largest derivative order with nonzero coefficient. The Laplacian is a second-order example, and boundary conditions specify the domain when defining an operator on a function space.

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.

An elliptic boundary value problem couples an elliptic differential equation in a domain to boundary conditions. Its weak formulation is often an equation for a bounded bilinear form on a Sobolev space.

With $D={\partial }_{\mu }{A}^{\mu }$, expand the Maxwell Lagrangian and its Feynman gauge term to findCommuting partial derivatives verifies the divergence identity. Both densities give $\square A^{\mu }=0$ under the usual variational boundary conditions. Their canonical momentum components differ: the original density gives $-F^{0\nu }-{\eta }^{0\nu }D$, whereas the subtracted density gives $-{\dot{A}}^{\nu }$. Thus a free-photon momentum expansion using the latter requires a stated boundary-term convention.

For $ϵy^{\prime \prime }+a(x)y^{\prime }+b(x)y=0$ with smooth $a$ bounded positively away from zero, the first-order equation for the outer expansion is selected by the right boundary condition. The left mismatch is repaired on the scale $\xi =x/ϵ$. If $a(0)=a_0>0$, the leading inner transient is $B{e}^{-a_0\xi }$. Its next equation is $Y_1^{\prime \prime }+a_0{Y}_1^{\prime }=-a^{\prime }(0)\xi Y_0^{\prime }-b(0)Y_0$. Matching its constant and linear large-$\xi$ terms to the outer expansion permits an order-$ϵ$ composite approximation. A sign reversal of the drift places the transient at the opposite endpoint.

The Helmholtz decomposition separates a vector field into a gradient field and a field with zero divergence. The precise function spaces, boundary conditions and decay hypotheses determine existence and uniqueness. In the square-integrable bounded-domain formulation, the solenoidal component is selected by the Leray-Helmholtz projection.

An integral kernel is a function or distribution specifying an integral operator through $(Tf)(x)=\int K(x,y)f(y)dy$. A Green function is an integral kernel that inverts a differential operator under specified boundary conditions.

Two Riemannian manifolds are isospectral for a specified differential operator if their eigenvalues, counted with multiplicities and with the same boundary conditions, agree. Riemannian isometries preserve the Laplace-Beltrami operator spectrum, but the converse can fail. The transplantation theorem and the Sunada theorem give systematic constructions.

Put $u_j={\dot{p}}_j+{\partial }_i{W}_{ij}$. The additive independent noises give the forward actionFor a time-even order parameter and time-odd flux, the backward action replaces $u,W$ by $-u,-W$ while keeping $\mu$ fixed on the corresponding configurations. Common normalization and time-reversal invariance of a path Jacobian then giveAt the two thermal noise strengths, periodic boundary conditions cancel the two spatial terms by integration by parts, leaving $-(F_2-F_1)/(k_{B}T)$. Thus the joint dynamics satisfies microscopic reversibility.

For a constant reference density, fluid perturbation kinetic energy is proportional to $\Vert u{\Vert }^2/2$ under the displayed $L^2$ inner product. An adjoint operator for perturbation evolution must be defined relative to this inner product, including boundary conditions and the projection onto incompressible flow.

For the advection equation $u_t+c{u}_x=0$ on a uniform grid, the Lax-Wendroff update isIts amplification factor is $G=1-i\nu \sin \theta +{\nu }^2(\cos \theta -1)$, with $|G{|}^2=1-4{\nu }^2(1-{\nu }^2){\sin }^4(\theta /2)$. Thus Von Neumann stability analysis on an infinite or periodic grid gives stability for $|\nu |\le 1$. The scheme has second order of a numerical method for sufficiently smooth solutions; finite-interval boundary conditions still need separate treatment.

For a static smooth ideal magnetohydrodynamics equilibrium with conservative external forces and surface terms eliminated by the boundary conditions, the linear displacement equation is $\rho \ddot{\mathbf{\xi }}=\mathcal{F}\mathbf{\xi }$, where the force operator is a self-adjoint operator in the appropriate integral pairing. Its restoring quadratic form $\delta W=-\frac{1}{2}\int {\mathbf{\xi }}^{\ast }\cdot \mathcal{F}\mathbf{\xi }dV$ is real. Multiplying the normal mode equation by the complex conjugate of the displacement and integrating gives ${\omega }^2\int \rho |\mathbf{\xi }{|}^{2}dV=2\delta W$. Hence squared frequencies are real, and a negative restoring form gives an unstable mode through the variational Rayleigh quotient, subject to the operator domain and spectral hypotheses. Background fluid flow adds terms to this argument; the static hypothesis is essential.

The Mathieu characteristic values are the parameter values $a$ for which the Mathieu equation has the even periodic mode traditionally denoted ${\mathrm{ce}}_n$, or the odd periodic mode ${\mathrm{se}}_n$. They are eigenvalues of $-d^2/d{t}^2+2q\cos 2t$ with the corresponding periodic or antiperiodic boundary conditions. Their small-$q$ expansions can be derived by projecting onto a Fourier series and perturbing the resulting tridiagonal matrix.

A mixed boundary condition imposes different kinds of boundary conditions on different portions of the boundary. A common elliptic example combines a Dirichlet boundary condition on one portion with a Neumann boundary condition on the remainder.

Parker instability is an undular magnetic buoyancy instability of a gravitationally stratified atmosphere supported partly by magnetic pressure. A bent horizontal magnetic field can permit gas to drain along its magnetic field lines, leaving buoyant rising regions. Magnetic tension resists bending, so wavelengths and boundary conditions affect the instability threshold. For a magnetized isothermal atmosphere, the unrestricted-wavevector threshold is given by the magnetic buoyancy energy criterion.