<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{CB}_0(\mathbb R^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>CB</mtext> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the set of convex bodies in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb R^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> containing the origin as an interior point. Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^\circ \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mo>∘</mo> </msup> </math></EquationSource> </InlineEquation> denote the polar convex body of a given <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\in \textrm{CB}_0(\mathbb R^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>∈</mo> <msub> <mtext>CB</mtext> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Convex bodies of constant width form a rich theory that goes back at least to the time of Euler and continues to attract attention in the convex geometry community. The polarity operation <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(K\mapsto K^\circ \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>↦</mo> <msup> <mi>K</mi> <mo>∘</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> is an involution on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{CB}_0(\mathbb R^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>CB</mtext> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> that usually destroys the property of being of constant width. In the planar case, think for instance of a Reuleaux triangle whose center is placed at the origin. The polar convex body of such a Reuleaux triangle is not of constant width. It is then natural to ask which is exactly the property of <i>K</i> that ensures width constancy of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^\circ \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mo>∘</mo> </msup> </math></EquationSource> </InlineEquation>. This work gravitates around this issue. We introduce and study the concept of the cowidth function of a convex body. Among other results, we prove that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_772_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^\circ \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>K</mi> <mo>∘</mo> </msup> </math></EquationSource> </InlineEquation> is of constant width if and only if <i>K</i> is of constant cowidth. This result is extended to a higher degree of generality by introducing the direct and inverse power-width functions of a convex body.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Duality Issues for Width Functions of Convex Bodies

  • Terence Bayen,
  • Alberto Seeger

摘要

Let \(\textrm{CB}_0(\mathbb R^n)\) CB 0 ( R n ) be the set of convex bodies in \(\mathbb R^n\) R n containing the origin as an interior point. Let \(K^\circ \) K denote the polar convex body of a given \(K\in \textrm{CB}_0(\mathbb R^n)\) K CB 0 ( R n ) . Convex bodies of constant width form a rich theory that goes back at least to the time of Euler and continues to attract attention in the convex geometry community. The polarity operation \(K\mapsto K^\circ \) K K is an involution on \(\textrm{CB}_0(\mathbb R^n)\) CB 0 ( R n ) that usually destroys the property of being of constant width. In the planar case, think for instance of a Reuleaux triangle whose center is placed at the origin. The polar convex body of such a Reuleaux triangle is not of constant width. It is then natural to ask which is exactly the property of K that ensures width constancy of \(K^\circ \) K . This work gravitates around this issue. We introduce and study the concept of the cowidth function of a convex body. Among other results, we prove that \(K^\circ \) K is of constant width if and only if K is of constant cowidth. This result is extended to a higher degree of generality by introducing the direct and inverse power-width functions of a convex body.