Poincare inequality with a positive-measure zero set
ID: poincare-inequality-with-a-positive-measure-zero-set
Suppose vanishes on a measurable subset of measure at least , with . Writing for its mean, the zero set gives . Thus , and the Poincare-Wirtinger inequality supplies the displayed estimate. An elementary proof of that inequality on a ball bounds differences along line segments and splits the segment parameter at , giving the valid explicit constant . The change of scale from the unit ball multiplies the constant by .
New to topics? Read the docs here!