<p>It was shown in [11] that for every origin-symmetric star body <i>K</i> ⊆ ℝ<sup><i>n</i></sup> of volume 1, every even continuous probability density <i>f</i> on <i>K</i> and <Equation ID="Equa"> <EquationSource Format="TEX">\(1\le k\le n-1,\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mn>1</mn> <mo>≤</mo> <mi>k</mi> <mo>≤</mo> <mi>n</mi> <mo>−</mo> <mn>1</mn> <mo>,</mo> </math></EquationSource> </Equation> there exists a subspace <i>F</i> ⊆ ℝ<sup><i>n</i></sup> of codimension <i>k</i> such that <Equation ID="Equb"> <EquationSource Format="TEX">\(\int_{K\cap F}f\ge c^{k}(d_{\text{ovr}}(K,{\cal{B}}{\cal{P}}_{k}^{n}))^{-k}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mo>∫</mo> <mrow> <mi>K</mi> <mo>∩</mo> <mi>F</mi> </mrow> </msub> <mi>f</mi> <mo>≥</mo> <msup> <mi>c</mi> <mrow> <mi>k</mi> </mrow> </msup> <mo stretchy="false">(</mo> <msub> <mi>d</mi> <mrow> <mtext>ovr</mtext> </mrow> </msub> <mo stretchy="false">(</mo> <mi>K</mi> <mo>,</mo> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <msubsup> <mrow> <mrow> <mi mathvariant="script">P</mi> </mrow> </mrow> <mrow> <mi>k</mi> </mrow> <mrow> <mi>n</mi> </mrow> </msubsup> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">)</mo> <mrow> <mo>−</mo> <mi>k</mi> </mrow> </msup> </math></EquationSource> </Equation> where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>d</mi> <mrow> <mrow> <mtext>ovr</mtext> </mrow> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mrow> <mi>K</mi> <mo>,</mo> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <msubsup> <mrow> <mrow> <mi mathvariant="script">P</mi> </mrow> </mrow> <mi>k</mi> <mi>n</mi> </msubsup> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is the outer volume ratio distance from <i>K</i> to the class of generalized <i>k</i>-intersection bodies, and <i>c</i> &gt; 0 is a universal constant. The upper bound <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n}) \le c^{\prime}\sqrt {n/k}{\left({\log \left({{{en} \over k}} \right)} \right)^{3/2}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>d</mi> <mrow> <mrow> <mtext>ovr</mtext> </mrow> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mrow> <mi>K</mi> <mo>,</mo> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <msubsup> <mrow> <mrow> <mi mathvariant="script">P</mi> </mrow> </mrow> <mi>k</mi> <mi>n</mi> </msubsup> </mrow> <mo stretchy="false">)</mo> <mo>≤</mo> <msup> <mi>c</mi> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> <msqrt> <mi>n</mi> <mrow> <mo>/</mo> </mrow> <mi>k</mi> </msqrt> <mrow> <msup> <mrow> <mo>(</mo> <mrow> <mi>log</mi> <mrow> <mo>(</mo> <mrow> <mrow> <mfrac> <mrow> <mi>e</mi> <mi>n</mi> </mrow> <mi>k</mi> </mfrac> </mrow> </mrow> <mo>)</mo> </mrow> </mrow> <mo>)</mo> </mrow> <mrow> <mn>3</mn> <mrow> <mo>/</mo> </mrow> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> was established in [13] for every origin-symmetric convex body <i>K</i>. In this note we show that there exist an origin-symmetric convex body <i>K</i> of volume 1 and an even continuous probability density <i>f</i> supported on <i>K</i> such that for every subspace <i>F</i> of codimension <i>k</i> <Equation ID="Equc"> <EquationSource Format="TEX">\(\int_{K\cap F}f\le \left(c\sqrt{{n \over {k\log n}}}\right)^{-k}.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mo>∫</mo> <mrow> <mi>K</mi> <mo>∩</mo> <mi>F</mi> </mrow> </msub> <mi>f</mi> <mo>≤</mo> <msup> <mrow> <mo>(</mo> <mi>c</mi> <msqrt> <mrow> <mfrac> <mi>n</mi> <mrow> <mi>k</mi> <mi>log</mi> <mi>n</mi> </mrow> </mfrac> </mrow> </msqrt> <mo>)</mo> </mrow> <mrow> <mo>−</mo> <mi>k</mi> </mrow> </msup> <mo>.</mo> </math></EquationSource> </Equation></p><p>As a consequence we obtain a lower bound for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>d</mi> <mrow> <mrow> <mtext>ovr</mtext> </mrow> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mrow> <mi>K</mi> <mo>,</mo> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <msubsup> <mrow> <mrow> <mi mathvariant="script">P</mi> </mrow> </mrow> <mi>k</mi> <mi>n</mi> </msubsup> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> with <i>K</i> a convex body, complementing the upper bound in [13]. This is</p><p><Equation ID="Equd"> <EquationSource Format="TEX">\(c\sqrt {n/k} {({\log (n)})^{- 1/2}} \le \mathop {\sup}\limits_K {d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n}) \le c^{\prime}\sqrt {n/k}{\left({\log \left({{{en} \over k}} \right)} \right)^{3/2}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>c</mi> <msqrt> <mi>n</mi> <mrow> <mo>/</mo> </mrow> <mi>k</mi> </msqrt> <mrow> <mo stretchy="false">(</mo> <mrow> <mi>log</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mo stretchy="false">)</mo> <mrow> <mo>−</mo> <mn>1</mn> <mrow> <mo>/</mo> </mrow> <mn>2</mn> </mrow> </msup> </mrow> <mo>≤</mo> <munder> <mrow class="MJX-TeXAtom-OP"> <mo form="prefix">sup</mo> </mrow> <mi>K</mi> </munder> <mrow> <msub> <mi>d</mi> <mrow> <mrow> <mtext>ovr</mtext> </mrow> </mrow> </msub> </mrow> <mo stretchy="false">(</mo> <mrow> <mi>K</mi> <mo>,</mo> <mrow> <mrow> <mi mathvariant="script">B</mi> </mrow> </mrow> <msubsup> <mrow> <mrow> <mi mathvariant="script">P</mi> </mrow> </mrow> <mi>k</mi> <mi>n</mi> </msubsup> </mrow> <mo stretchy="false">)</mo> <mo>≤</mo> <msup> <mi>c</mi> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> <msqrt> <mi>n</mi> <mrow> <mo>/</mo> </mrow> <mi>k</mi> </msqrt> <mrow> <msup> <mrow> <mo>(</mo> <mrow> <mi>log</mi> <mrow> <mo>(</mo> <mrow> <mrow> <mfrac> <mrow> <mi>e</mi> <mi>n</mi> </mrow> <mi>k</mi> </mfrac> </mrow> </mrow> <mo>)</mo> </mrow> </mrow> <mo>)</mo> </mrow> <mrow> <mn>3</mn> <mrow> <mo>/</mo> </mrow> <mn>2</mn> </mrow> </msup> </mrow> </math></EquationSource> </Equation></p><p>The case <i>k</i> = 1 was obtained previously in [5, 6].</p>

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

The lower dimensional slicing inequality for functions and related distance inequalities

  • Julián Haddad

摘要

It was shown in [11] that for every origin-symmetric star body K ⊆ ℝn of volume 1, every even continuous probability density f on K and \(1\le k\le n-1,\) 1 k n 1 , there exists a subspace F ⊆ ℝn of codimension k such that \(\int_{K\cap F}f\ge c^{k}(d_{\text{ovr}}(K,{\cal{B}}{\cal{P}}_{k}^{n}))^{-k}\) K F f c k ( d ovr ( K , B P k n ) ) k where \({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n})\) d ovr ( K , B P k n ) is the outer volume ratio distance from K to the class of generalized k-intersection bodies, and c > 0 is a universal constant. The upper bound \({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n}) \le c^{\prime}\sqrt {n/k}{\left({\log \left({{{en} \over k}} \right)} \right)^{3/2}}\) d ovr ( K , B P k n ) c n / k ( log ( e n k ) ) 3 / 2 was established in [13] for every origin-symmetric convex body K. In this note we show that there exist an origin-symmetric convex body K of volume 1 and an even continuous probability density f supported on K such that for every subspace F of codimension k \(\int_{K\cap F}f\le \left(c\sqrt{{n \over {k\log n}}}\right)^{-k}.\) K F f ( c n k log n ) k .

As a consequence we obtain a lower bound for \({d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n})\) d ovr ( K , B P k n ) with K a convex body, complementing the upper bound in [13]. This is

\(c\sqrt {n/k} {({\log (n)})^{- 1/2}} \le \mathop {\sup}\limits_K {d_{{\text{ovr}}}}({K,{\cal{B}}{\cal{P}}_k^n}) \le c^{\prime}\sqrt {n/k}{\left({\log \left({{{en} \over k}} \right)} \right)^{3/2}}\) c n / k ( log ( n ) ) 1 / 2 sup K d ovr ( K , B P k n ) c n / k ( log ( e n k ) ) 3 / 2

The case k = 1 was obtained previously in [5, 6].