##  [Weak Solution (of a Partial Differential Equation)](/weak-solution-partial-differential-equation-0) 

 Definition

A function that satisfies a partial differential equation in an integral or distributional sense against a prescribed class of test functions, allowing lower regularity than classical (pointwise differentiable) solutions; usually formulated in Sobolev or distribution spaces.

 

 

 

 

 

 





## Principle

Principle

Integrate the PDE against compactly supported smooth test functions and perform formal integration by parts to transfer derivatives onto the test functions; the weak formulation relaxes derivative requirements and encodes boundary conditions via the choice of test space or trace terms.

 

 

 

 

 





## Demonstration

Demonstration

For the Poisson problem −Δu = f on a domain with Dirichlet boundary conditions and f∈L^2, one seeks u∈H^1_0 solving ∫∇u·∇v = ∫ f v for all test functions v∈H^1_0; this variational weak formulation yields existence and uniqueness by the Lax–Milgram theorem.

 

 

 

 

## Misapplication

Misapplication

Treating a weak solution as if it were pointwise classical (claiming pointwise equalities where no pointwise derivatives exist), or neglecting the role of boundary trace spaces when interpreting boundary conditions.

 

 

 

 

 





## Consequence

Consequence

Weak formulations broaden the existence theory (admitting solutions in Sobolev spaces), enable variational methods and Galerkin discretizations (finite element methods), and permit stability and compactness arguments that fail in classical frameworks.

 

 

 

 

## Reversal

Reversal

A classical (strong) solution satisfies the PDE pointwise with requisite derivatives; when regularity allows, a weak solution that has additional smoothness is also a classical solution, but the converse may fail in low regularity contexts.

 

 

 

 

 





## Boundary

Boundary

Applies when the PDE and boundary conditions can be written in an integrated form and when suitable function spaces (e.g., Sobolev spaces) exist; not directly applicable to PDEs whose coefficients or right-hand sides are too singular without renormalization or measure-valued formulations.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension occurs between distributional/variational weak solutions and other generalized notions (very weak solutions, entropy solutions for conservation laws); the correct choice depends on equation type and desired properties (uniqueness, conservation).

 

 

 

 

 





## Synthesis

Synthesis

A weak solution is a lower-regularity object that satisfies a PDE in an integrated/test-function sense, extending solvability and providing the natural setting for variational methods and numerical approximation when classical derivatives are unavailable.