For on an open set , the identity follows by two integrations by parts for compactly supported test functions, followed by density. Thus the Laplacian and full Hessian have the same L2 norm on the clamped second-order Sobolev space.
If is bounded, the Poincaré inequality applies to and its first weak derivatives, all of which have zero-boundary approximations. It then controls the full Sobolev norm by . The exact second-derivative identity holds without this boundedness hypothesis; the full inhomogeneous norm estimate needs the extra low-frequency control.
Articles by others on the same topic
There are currently no matching articles.