Regularity theory


Regularity is a topic of the mathematical study of partial differential equations such as Laplace's equation, about the integrability and differentiability of weak solutions. Hilbert's nineteenth problem was concerned with this concept.
The motivation for this study is as follows. It is often difficult to construct a classical solution satisfying the PDE in regular sense, so we search for a weak solution at first, and then find out whether the weak solution is smooth enough to be qualified as a classical solution.
Several theorems have been proposed for different types of PDEs.

Elliptic regularity theory

Let be an open, bounded subset of, denote its boundary as and the variables as. Representing the PDE as a partial differential operator acting on an unknown function of results in a BVP of the form where is a given function and and the elliptic operator is of the divergence 'form: then
  • Interior regularity: If m'' is a natural number, , is a weak solution, then for any open set V in U with compact closure,, where C depends on U, V, L, m, per se, which also holds if m is infinity by Sobolev embedding theorem.
  • Boundary regularity': together with the assumption that is indicates that still holds after replacing V'' with U, i.e., which also holds if m is infinity.

    Parabolic and Hyperbolic regularity theory

and hyperbolic PDEs describe the time evolution of a quantity u governed by an elliptic operator L and an external force f over a space. We assume the boundary of U to be smooth, and the elliptic operator to be independent of time, with smooth coefficients, i.e.In addition, we subscribe the boundary value of u to be 0.
Then the regularity of the solution is given by the following table,
Equation
Initial Condition
External force
Solution

where m is a natural number, denotes the space variable, t denotes the time variable, Hs is a Sobolev space of functions with square-integrable weak derivatives, and LtpX is the Bochner space of integrable X-valued functions.

Counterexamples

Not every weak solution is smooth; for example, there may be discontinuities in the weak solutions of conservation laws called shock waves.