A generalized notion of solution in which the governing differential (or integral) equations are satisfied in an integrated or distributional sense against test functions, rather than pointwise; regularity requirements on the candidate function are relaxed so derivatives may exist only in a weak (distributional) sense.

Principle

Replace pointwise evaluation of derivatives by duality with smooth, compactly supported test functions (integration by parts), allowing existence and compactness methods to operate at lower regularity.

Demonstration

For the Poisson equation −Δu = f on a domain, a weak solution u lies in the Sobolev space H1 and satisfies ∫_Ω ∇u·∇φ = ∫_Ω f φ for all test functions φ; this formulation permits solving problems when u lacks classical second derivatives.

Misapplication

Treating a weak solution as if it provided pointwise derivative values and substituting it directly into the original PDE term-by-term without validating trace or embedding properties can produce incorrect conclusions about smoothness or boundary behavior.

Consequence

Adopting the weak formulation typically yields broader existence results and compactness-based convergence of approximations (finite elements, Galerkin methods), but may require extra arguments to recover uniqueness or higher regularity.

Reversal

A strong (classical) solution is the reversal: a solution that satisfies the differential equations pointwise almost everywhere because it has the required classical derivatives.

Boundary

Applies where integration-by-parts identities and Sobolev or distribution spaces make sense; excludes interpretations that require pointwise classical derivatives, point-mass singularities outside the distributional framework, or boundary conditions not expressible in trace form.

Semantic Tension

Competes with notions like viscosity solution and mild solution: weak solutions emphasize variational or distributional identities, while other concepts emphasize comparison principles or semigroup formulations for evolution problems.

Synthesis

A weak solution is the variational or distributional embodiment of a PDE: it trades pointwise differentiability for integrated identities against test functions, enabling existence and approximation theory at lower regularity while deferring classical derivative recovery to additional regularity results.