A classical solution has enough ordinary derivatives for the differential equation and its data to hold pointwise. For the heat equation, and should be continuous in the interior, with the specified initial and boundary traces. A weak solution instead imposes an integrated identity, allowing less regular data; uniqueness must always be stated for the solution class used.
For a semilinear partial differential equation with smooth and smooth fixed boundary data, local boundedness permits positive-time elliptic regularity and parabolic smoothing. If is continuous with values in a Hölder space, elliptic estimates first give continuous spatial regularity for . Time difference quotients then solve a linear parabolic equation with coefficient converging to ; smoothing away from the initial time gives , hence . It is essential to gain spatial regularity for the time derivative too; alone does not imply .
The notation ordinarily denotes functions with continuous time derivative and two continuous space derivatives, with the function and indicated derivatives bounded globally. A different condition, often intended in finite-horizon partial differential equations, is membership in for each finite , allowing bounds to grow with . These conventions must be distinguished in a long-time growth problem: the second permits divergence with time; the first does not. There is no universal notation for the finite-horizon condition, so it should be stated explicitly.
Articles by others on the same topic
There are currently no matching articles.