A function (or equivalence class of functions) that satisfies a differential equation when integrated against a class of test functions, so that derivatives appear in the sense of distributions and boundary conditions are encoded via traces or the test space.

Principle

Replace pointwiseDifferentiation by integration against smooth compactly supported test functions and use integration by parts to move derivatives onto test functions, thereby lowering regularity requirements on the solution.

Demonstration

A function u∈H0^1(Ω) is a weak solution of -Δu=f in Ω if ∫_Ω ∇u·∇φ = ∫_Ω f φ for all φ∈C∞_c(Ω); existence follows from Lax–Milgram when the bilinear form is coercive.

Misapplication

Assuming a weak solution must be classically differentiable without verifying elliptic regularity or additional smoothness hypotheses, leading to incorrect boundary-value interpretations.

Consequence

Permits existence and uniqueness proofs under minimal regularity, use of variational methods and finite-element approximation; weak solutions are the natural target space for many linear and nonlinear PDEs.

Reversal

A strong (classical) solution satisfies the differential equation pointwise with classical derivatives; reversing the weak notion imposes stricter differentiability and pointwise equality instead of integrated identities.

Boundary

Applies when the PDE and boundary conditions can be interpreted distributionally and the solution lies in a function space where the integrals are defined; excludes equations requiring pointwise nonlinear operations not defined for distributions.

Semantic Tension

Contrasts with viscosity solutions: both are generalized notions for PDEs, but viscosity solutions use comparison principles and are adapted to first- and second-order fully nonlinear equations, while weak solutions are variational/distributional.

Synthesis

A weak solution is an object that satisfies a differential equation in the distributional sense by testing against smooth functions, lowering smoothness requirements while retaining the equation's variational content.