<p>Ahlfors’ theory of covering surfaces is a great mathematical achievement of the last century. The most important part of this theory is the second fundamental theorem (SFT for short). The authors are interested in the relation between the error terms of Ahlfors’ SFT for surfaces with the same boundary curve.</p><p>In this paper, the authors prove a result that is used to establish the best bound of the constant in Ahlfors’ SFT (in 2023) for simply connected surfaces.</p><p>Specifically, the authors prove that for any surface Σ in the space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal{F}}_{r}(L,m) = {\mathcal{F}}_{r}(L,m,E_{q})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>=</mo> <msub> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <msub> <mi>E</mi> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, a surface Σ′ in the subspace <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal{F}}_{r}^{\prime}(L,m) = {\mathcal{F}}_{r}^{\prime}(L,m,E_{q})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> <mo>=</mo> <msubsup> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <msub> <mi>E</mi> <mrow> <mi>q</mi> </mrow> </msub> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal{F}}_{r}(L,m)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> can be constructed such that Σ′ and Σ share the same boundary and the same Ahlfors error term, namely, ∂Σ′ = ∂Σ and <i>R</i>(Σ′, <i>E</i><sub><i>q</i></sub>) = <i>R</i>(Σ, <i>E</i><sub><i>q</i></sub>). This is important in the study of the ratio <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(H(\Sigma)=\frac{R(\Sigma)}{L(\partial\Sigma)}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mfrac> <mrow> <mi>R</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">∂</mi> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> </math></EquationSource> </InlineEquation> of the error term <i>R</i>(Σ) to the boundary length <i>L</i>(∂Σ), since it implies that <Equation ID="Equ1"> <EquationSource Format="TEX">\(\sup_{\Sigma \in \mathcal{F}_{r}(L,m)} H(\Sigma) = \sup_{\Sigma^{\prime} \in \mathcal{F}_{r}'(L,m)} H(\Sigma^{\prime}),\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <munder> <mo form="prefix" movablelimits="true">sup</mo> <mrow> <mi mathvariant="normal">Σ</mi> <mo>∈</mo> <msub> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <mi>r</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </munder> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <munder> <mo form="prefix" movablelimits="true">sup</mo> <mrow> <msup> <mi mathvariant="normal">Σ</mi> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> <mo>∈</mo> <msubsup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <mi>r</mi> </mrow> <mo>′</mo> </msubsup> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </munder> <mi>H</mi> <mo stretchy="false">(</mo> <msup> <mi mathvariant="normal">Σ</mi> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msup> <mo stretchy="false">)</mo> <mo>,</mo> </math></EquationSource> </Equation><InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal{F}}_{r}^{\prime}(L,m)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> <mrow> <mi mathvariant="normal">′</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> is a simpler subspace of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal{F}}_{r}(L,m)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mrow> <mrow> <mi mathvariant="script">F</mi> </mrow> </mrow> <mrow> <mi>r</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>, and <Equation ID="Equ2"> <EquationSource Format="TEX">\(H_0=\lim_{L\to\infty}\sup_{\Sigma\in\mathcal{F}_r(L,m)}H(\Sigma)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>H</mi> <mn>0</mn> </msub> <mo>=</mo> <munder> <mo form="prefix" movablelimits="true">lim</mo> <mrow> <mi>L</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </mrow> </munder> <munder> <mo form="prefix" movablelimits="true">sup</mo> <mrow> <mi mathvariant="normal">Σ</mi> <mo>∈</mo> <msub> <mrow> <mi mathvariant="script">F</mi> </mrow> <mi>r</mi> </msub> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </munder> <mi>H</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">)</mo> </math></EquationSource> </Equation> is the best bound of the constant in Ahlfors’ SFT among all simply connected surfaces.</p>

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

A Finite Theorem for Ahlfors’ Covering Surface Theory

  • Tianrun Lin,
  • Yunling Chen,
  • Guangyuan Zhang

摘要

Ahlfors’ theory of covering surfaces is a great mathematical achievement of the last century. The most important part of this theory is the second fundamental theorem (SFT for short). The authors are interested in the relation between the error terms of Ahlfors’ SFT for surfaces with the same boundary curve.

In this paper, the authors prove a result that is used to establish the best bound of the constant in Ahlfors’ SFT (in 2023) for simply connected surfaces.

Specifically, the authors prove that for any surface Σ in the space \({\mathcal{F}}_{r}(L,m) = {\mathcal{F}}_{r}(L,m,E_{q})\) F r ( L , m ) = F r ( L , m , E q ) , a surface Σ′ in the subspace \({\mathcal{F}}_{r}^{\prime}(L,m) = {\mathcal{F}}_{r}^{\prime}(L,m,E_{q})\) F r ( L , m ) = F r ( L , m , E q ) of \({\mathcal{F}}_{r}(L,m)\) F r ( L , m ) can be constructed such that Σ′ and Σ share the same boundary and the same Ahlfors error term, namely, ∂Σ′ = ∂Σ and R(Σ′, Eq) = R(Σ, Eq). This is important in the study of the ratio \(H(\Sigma)=\frac{R(\Sigma)}{L(\partial\Sigma)}\) H ( Σ ) = R ( Σ ) L ( Σ ) of the error term R(Σ) to the boundary length L(∂Σ), since it implies that \(\sup_{\Sigma \in \mathcal{F}_{r}(L,m)} H(\Sigma) = \sup_{\Sigma^{\prime} \in \mathcal{F}_{r}'(L,m)} H(\Sigma^{\prime}),\) sup Σ F r ( L , m ) H ( Σ ) = sup Σ F r ( L , m ) H ( Σ ) , \({\mathcal{F}}_{r}^{\prime}(L,m)\) F r ( L , m ) is a simpler subspace of \({\mathcal{F}}_{r}(L,m)\) F r ( L , m ) , and \(H_0=\lim_{L\to\infty}\sup_{\Sigma\in\mathcal{F}_r(L,m)}H(\Sigma)\) H 0 = lim L sup Σ F r ( L , m ) H ( Σ ) is the best bound of the constant in Ahlfors’ SFT among all simply connected surfaces.