Regularity is a topic of the mathematical study of partial differential equations (PDE) 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 U {\displaystyle U} be an open, bounded subset of R n {\displaystyle \mathbb {R} ^{n}} , denote its boundary as ∂ U {\displaystyle \partial U} and the variables as x = ( x 1 , . . . , x n ) {\displaystyle x=(x_{1},...,x_{n})} . Representing the PDE as a partial differential operator L {\displaystyle L} acting on an unknown function u = u ( x ) {\displaystyle u=u(x)} of x ∈ U {\displaystyle x\in U} results in a BVP of the form { L u = f in U u = 0 on ∂ U , {\displaystyle \left\{{\begin{aligned}Lu&=f&&{\text{in }}U\\u&=0&&{\text{on }}\partial U,\end{aligned}}\right.} where f : U → R {\displaystyle f:U\rightarrow \mathbb {R} } is a given function f = f ( x ) {\displaystyle f=f(x)} and u : U ∪ ∂ U → R {\displaystyle u:U\cup \partial U\rightarrow \mathbb {R} } and the elliptic operator L {\displaystyle L} is of the divergence form: L u ( x ) = − ∑ i , j = 1 n ( a i j ( x ) u x i ) x j + ∑ i = 1 n b i ( x ) u x i ( x ) + c ( x ) u ( x ) , {\displaystyle Lu(x)=-\sum _{i,j=1}^{n}(a_{ij}(x)u_{x_{i}})_{x_{j}}+\sum _{i=1}^{n}b_{i}(x)u_{x_{i}}(x)+c(x)u(x),} then
… excerpt ends here. Continue reading the full article.
