Conceptual

Existence of Dirichlet and Neumann Traces for Higher-Order Elliptic Solutions

Trace theorems showing that a solution of a 2m-order elliptic equation with t-independent coefficients in the half-space has Dirichlet and Neumann boundary values in Lebesgue or homogeneous Sobolev spaces whenever a Lusin area-integral norm of its m-th gradient is finite — the converse direction to well-posedness.