Interval Sobolev supremum estimate

ID: interval-sobolev-supremum-estimate

On , a first-order Sobolev space function has a continuous representative and obeys
Bound the average by the Cauchy-Schwarz inequality and average the identity . This also gives . A unit constant with the standard Sobolev norm cannot be asserted on arbitrary interval lengths: already disproves it when .

New to topics? Read the docs here!