Definition
A kernel (distributional or classical) that acts as a right-inverse of a linear differential or integral operator under specified boundary conditions, mapping sources to responses by convolution or integral against the kernel.
Principle
Principle
Solving an inhomogeneous linear equation L[u]=f is achieved by u(x)=∫G(x,x')f(x')dx' when G is a Green's function for L with the chosen boundary conditions; G encodes both the operator's local character and the global constraints from boundaries.
Demonstration
Demonstration
For the Poisson operator on ℝ^3, ΔG(x,x')=−δ(x−x') and the solution of Δu=f is u(x)=∫G(x,x')f(x')dx'. On bounded domains G must satisfy the operator equation plus the boundary conditions on its second variable.
Misapplication
Misapplication
Using a free-space Green's function in a bounded domain with nontrivial boundary conditions produces solutions that violate the required constraints and lead to physically incorrect responses.
Consequence
Consequence
A correct Green's function provides explicit integral formulas for solutions, enables construction of resolvents and propagators, and translates linear PDE problems into kernel operations amenable to analysis and approximation.
Reversal
Reversal
Instead of using an integral kernel inversion, one may discretize the operator and solve the linear system numerically; this circumvents explicit Green's functions but may obscure analytic structure.
Boundary
Boundary
Defined only for linear operators (or linearizations) and requires specification of boundary or radiation conditions; nonlinear problems admit Green‑function techniques only after linearization or perturbation.
Semantic Tension
Semantic Tension
'Fundamental solution' denotes a kernel solving the operator equation in free space without boundary enforcement, whereas 'Green's function' typically enforces particular boundary conditions; conflating them causes misuse.
Synthesis
Synthesis
A Green's function is the operator-specific kernel that converts a given source into its linear response while encoding boundary constraints, turning linear operator inversion into an integral transformation.