<p>The intersection body <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>I</mi> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$IK$</EquationSource> </InlineEquation> of a star body <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation> in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="double-struck">R</mi> <mi>n</mi> </msup> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{R}^{n}$</EquationSource> </InlineEquation> was introduced by E.&#xa0;Lutwak following the work of H.&#xa0;Busemann, and plays a central role in the dual Brunn-Minkowski theory. We show that when <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </math></EquationSource> <EquationSource Format="TEX">$n \geq 3$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msup> <mi>I</mi> <mn>2</mn> </msup> <mi>K</mi> <mo>=</mo> <mi>c</mi> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$I^{2} K = c K$</EquationSource> </InlineEquation> iff <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation> is a centered ellipsoid, and hence <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>I</mi> <mi>K</mi> <mo>=</mo> <mi>c</mi> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$I K = c K$</EquationSource> </InlineEquation> iff <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$K$</EquationSource> </InlineEquation> is a centered Euclidean ball, answering long-standing questions by Lutwak, Gardner, and Fish–Nazarov–Ryabogin–Zvavitch. An equivalent formulation of the latter in terms of non-linear harmonic analysis states that a non-negative <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ρ</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi mathvariant="normal">∞</mi> </msup> <mo stretchy="false">(</mo> <msup> <mi mathvariant="double-struck">S</mi> <mrow> <mi>n</mi> <mo>−</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\rho \in L^{\infty }(\mathbb{S}^{n-1})$</EquationSource> </InlineEquation> satisfies <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">$\operatorname{\mathcal{R}}(\rho ^{n-1}) = c \rho $</EquationSource> </InlineEquation> for some <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>c</mi> <mo>&gt;</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$c &gt; 0$</EquationSource> </InlineEquation> iff <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq12.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> <EquationSource Format="TEX">$\rho $</EquationSource> </InlineEquation> is constant, where <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">$\operatorname{\mathcal{R}}$</EquationSource> </InlineEquation> denotes the spherical Radon transform. Our proof is entirely geometrical: we recast the iterated intersection body equation as an Euler-Lagrange equation for a certain volume functional under radial perturbations, derive new formulas for the volume of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>I</mi> <mi>K</mi> </math></EquationSource> <EquationSource Format="TEX">$I K$</EquationSource> </InlineEquation>, and introduce a continuous version of Steiner symmetrization for Lipschitz star bodies, which (surprisingly) yields a useful radial perturbation exactly when <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="222_2025_1342_Article_IEq15.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </math></EquationSource> <EquationSource Format="TEX">$n\geq 3$</EquationSource> </InlineEquation>.</p>

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

Fixed and periodic points of the intersection body operator

  • Emanuel Milman,
  • Shahar Shabelman,
  • Amir Yehudayoff

摘要

The intersection body I K $IK$ of a star body K $K$ in R n $\mathbb{R}^{n}$ was introduced by E. Lutwak following the work of H. Busemann, and plays a central role in the dual Brunn-Minkowski theory. We show that when n 3 $n \geq 3$ , I 2 K = c K $I^{2} K = c K$ iff K $K$ is a centered ellipsoid, and hence I K = c K $I K = c K$ iff K $K$ is a centered Euclidean ball, answering long-standing questions by Lutwak, Gardner, and Fish–Nazarov–Ryabogin–Zvavitch. An equivalent formulation of the latter in terms of non-linear harmonic analysis states that a non-negative ρ L ( S n 1 ) $\rho \in L^{\infty }(\mathbb{S}^{n-1})$ satisfies $\operatorname{\mathcal{R}}(\rho ^{n-1}) = c \rho $ for some c > 0 $c > 0$ iff ρ $\rho $ is constant, where $\operatorname{\mathcal{R}}$ denotes the spherical Radon transform. Our proof is entirely geometrical: we recast the iterated intersection body equation as an Euler-Lagrange equation for a certain volume functional under radial perturbations, derive new formulas for the volume of I K $I K$ , and introduce a continuous version of Steiner symmetrization for Lipschitz star bodies, which (surprisingly) yields a useful radial perturbation exactly when n 3 $n\geq 3$ .