<p>Let <i>f</i> be a polynomial-like map with dominant topological degree <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_t\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>d</mi> <mi>t</mi> </msub> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_{k-1}&lt;d_t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>d</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>&lt;</mo> <msub> <mi>d</mi> <mi>t</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be its dynamical degree of order <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(k-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. We show that every ergodic measure whose measure-theoretic entropy is strictly larger than <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(\log \sqrt{d_{k-1} d_t}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>log</mo> <msqrt> <mrow> <msub> <mi>d</mi> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <msub> <mi>d</mi> <mi>t</mi> </msub> </mrow> </msqrt> </mrow> </math></EquationSource> </InlineEquation> is supported on the Julia set, i.e., the support of the unique measure of maximal entropy <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>. The proof is based on the exponential speed of convergence of the measures<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_t^{-n}(f^n)^*\delta _a\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>d</mi> <mi>t</mi> <mrow> <mo>-</mo> <mi>n</mi> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>f</mi> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> <msub> <mi>δ</mi> <mi>a</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> towards <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>, which is valid for a generic point <i>a</i> and with a controlled error bound depending on <i>a</i>. Our proof also gives a new proof of the same statement in the setting of endomorphisms of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1071_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb P^k(\mathbb C)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="double-struck">P</mi> <mi>k</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> – a result due to de Thélin and Dinh – which does not rely on the existence of a Green current.</p>

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

On the support of measures of large entropy for polynomial-like maps

  • Sardor Bazarbaev,
  • Fabrizio Bianchi,
  • Karim Rakhimov

摘要

Let f be a polynomial-like map with dominant topological degree \(d_t\ge 2\) d t 2 and let \(d_{k-1}<d_t\) d k - 1 < d t be its dynamical degree of order \(k-1\) k - 1 . We show that every ergodic measure whose measure-theoretic entropy is strictly larger than \(\log \sqrt{d_{k-1} d_t}\) log d k - 1 d t is supported on the Julia set, i.e., the support of the unique measure of maximal entropy \(\mu \) μ . The proof is based on the exponential speed of convergence of the measures \(d_t^{-n}(f^n)^*\delta _a\) d t - n ( f n ) δ a towards \(\mu \) μ , which is valid for a generic point a and with a controlled error bound depending on a. Our proof also gives a new proof of the same statement in the setting of endomorphisms of \(\mathbb P^k(\mathbb C)\) P k ( C ) – a result due to de Thélin and Dinh – which does not rely on the existence of a Green current.