<p>We deduce explicit formulas for the intrinsic volumes of an ellipsoid in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, in terms of elliptic integrals. Namely, for an ellipsoid <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {E}}\subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">E</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with semiaxes <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_1,\ldots , a_d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>a</mi> <mi>d</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we show that <Equation ID="Equ29"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_Equ29.gif" Format="GIF" Height="76" Rendition="HTML" Resolution="72" Type="Linedraw" Width="551" /> </MediaObject> <EquationSource Format="TEX">\( V_k({\mathcal {E}})=\kappa _k\sum \limits _{i=1}^da_i^2s_{k-1}(a_1^2,\dots ,a_{i-1}^2,a_{i+1}^2,\dots ,a_d^2) \int \limits _0^{\infty }{t^{k-1}\over (a_i^2t^2+1)\prod \limits _{j=1}^d\sqrt{a_j^2t^2+1}}\,\textrm{d}t \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>V</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">E</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>κ</mi> <mi>k</mi> </msub> <munderover> <mo movablelimits="false">∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>d</mi> </munderover> <msubsup> <mi>a</mi> <mi>i</mi> <mn>2</mn> </msubsup> <msub> <mi>s</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>a</mi> <mn>1</mn> <mn>2</mn> </msubsup> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msubsup> <mi>a</mi> <mrow> <mi>i</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </msubsup> <mo>,</mo> <msubsup> <mi>a</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> <mn>2</mn> </msubsup> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msubsup> <mi>a</mi> <mi>d</mi> <mn>2</mn> </msubsup> <mo stretchy="false">)</mo> </mrow> <munderover> <mo movablelimits="false">∫</mo> <mn>0</mn> <mi>∞</mi> </munderover> <mfrac> <msup> <mi>t</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>a</mi> <mi>i</mi> <mn>2</mn> </msubsup> <msup> <mi>t</mi> <mn>2</mn> </msup> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <munderover> <mo movablelimits="false">∏</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>d</mi> </munderover> <msqrt> <mrow> <msubsup> <mi>a</mi> <mi>j</mi> <mn>2</mn> </msubsup> <msup> <mi>t</mi> <mn>2</mn> </msup> <mo>+</mo> <mn>1</mn> </mrow> </msqrt> </mrow> </mfrac> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>t</mi> </mrow> </math></EquationSource> </Equation>for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(k=1,\ldots ,d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq6.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(s_{k-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is the <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((k-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>th elementary symmetric polynomial and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa _k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>κ</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> is the volume of the <i>k</i>-dimensional unit ball. Some examples of the intrinsic volumes <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_7982_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(V_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> with low and high <i>k</i> are given where our formulas look particularly simple. As an application, we derive new formulas for the expected <i>k</i>-dimensional volume of random <i>k</i>-simplex in an ellipsoid and random Gaussian <i>k</i>-simplex. Bibliography: 33 titles.</p>

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

INTRINSIC VOLUMES OF ELLIPSOIDS

  • A. Gusakova,
  • E. Spodarev,
  • D. Zaporozhets

摘要

We deduce explicit formulas for the intrinsic volumes of an ellipsoid in \(\mathbb {R}^d\) R d , \(d\ge 2\) d 2 , in terms of elliptic integrals. Namely, for an ellipsoid \({\mathcal {E}}\subset \mathbb {R}^d\) E R d with semiaxes \(a_1,\ldots , a_d\) a 1 , , a d , we show that \( V_k({\mathcal {E}})=\kappa _k\sum \limits _{i=1}^da_i^2s_{k-1}(a_1^2,\dots ,a_{i-1}^2,a_{i+1}^2,\dots ,a_d^2) \int \limits _0^{\infty }{t^{k-1}\over (a_i^2t^2+1)\prod \limits _{j=1}^d\sqrt{a_j^2t^2+1}}\,\textrm{d}t \) V k ( E ) = κ k i = 1 d a i 2 s k - 1 ( a 1 2 , , a i - 1 2 , a i + 1 2 , , a d 2 ) 0 t k - 1 ( a i 2 t 2 + 1 ) j = 1 d a j 2 t 2 + 1 d t for all \(k=1,\ldots ,d\) k = 1 , , d , where \(s_{k-1}\) s k - 1 is the \((k-1)\) ( k - 1 ) th elementary symmetric polynomial and \(\kappa _k\) κ k is the volume of the k-dimensional unit ball. Some examples of the intrinsic volumes \(V_k\) V k with low and high k are given where our formulas look particularly simple. As an application, we derive new formulas for the expected k-dimensional volume of random k-simplex in an ellipsoid and random Gaussian k-simplex. Bibliography: 33 titles.