Wirtinger-Sobolev isoperimetric constants are the best constants such that
|
(1)
|
where is a real-valued smooth function on a region
satisfying some boundary
conditions.
For real-valued absolutely continuous functions on satisfying
,
with
,
,
and
, the sharp constant in
|
(2)
|
is
|
(3)
|
where and
is the gamma function
(Dacorogna et al. 1992, pp. 31 and 40). For
, this gives
,
the endpoint form of Wirtinger's inequality.