A set of integration-by-parts identities that relate volume integrals involving the Laplacian and gradients of scalar functions to surface integrals of function traces and normal derivatives on the boundary, commonly numbered as Green's first, second and third identities.

Principle

They follow from the divergence theorem applied to vector fields built from scalar functions and their gradients; rearranging volume and boundary terms produces relations that underpin weak formulations and boundary integral methods.

Demonstration

Green's second identity states ∫_Ω(u Δv − v Δu) dΩ = ∫_{∂Ω}(u ∂_n v − v ∂_n u) dS; using u as a test function and v as a fundamental solution derives integral representations of solutions to Poisson's equation.

Misapplication

Applying Green's identities without verifying sufficient smoothness of functions or the domain, or ignoring nonstandard boundary behavior (singularities, distributions), can produce invalid boundary terms or unjustified manipulations.

Consequence

Provide the algebraic backbone for deriving weak formulations of PDEs, establishing self-adjointness of differential operators, and converting volume problems into boundary integral equations for numerical methods.

Reversal

The contrasting viewpoint is to avoid boundary integrals entirely by working in a purely local differential framework; this hides global boundary contributions but forfeits the compact boundary representations useful for numerical reduction.

Boundary

Require appropriate regularity of functions (e.g., C^2 interior, trace regularity) and of the domain's boundary for classical statements; in Sobolev settings the identities hold in weak form under matching integrability and trace hypotheses.

Semantic Tension

Borderline with more general integral identities like Stokes' theorem and with weak/variational integration by parts in Sobolev spaces; the tension is between classical pointwise boundary terms and distributional/trace formulations.

Synthesis

Green's identities package the divergence theorem into practical relations between differential operators and boundary data, enabling conversion between local PDE expressions and global integral or variational forms essential to analysis and computation.