Let bound the operator norm of ; the bound on individual second derivatives supplies such an depending also on dimension. The Taylor theorem with integral remainder givesThus quadratic growth from a bounded Hessian givesSince is bounded it has finite measure, and a function in the Sobolev space has . The given lower bound also implies that the integrand is nonnegative. ConsequentlyFor later use the same Hessian bound yields , hence .
Articles by others on the same topic
There are currently no matching articles.