亚纯函数正规族与唯一性的深度剖析与前沿探索

亚纯函数正规族与唯一性的深度剖析与前沿探索一、引言1.1研究背景与意义亚纯函数作为复变函数论中的关键研究对象，在数学的多个分支以及物理等其他学科领域都有着极为广泛且深入的应用。从数学理论的角度来看，亚纯函数是一类特殊的解析函数，其定义为在整个复平面上除了有限个或可数个孤立奇点（这些奇点通常为极点）外处处解析的函数。例如，常见的有理函数，像f(z)=\frac{z+1}{z^2-1}，以及三角函数中的\tanz等，它们都是亚纯函数的典型代表。亚纯函数理论的发展历程源远流长，众多数学家为其奠定了坚实的基础。早在19世纪，德国数学家外尔斯特拉斯就证明了一个亚纯函数能够表示为两个整函数的商，这一成果为亚纯函数的研究开辟了新的路径；随后，瑞典数学家米塔-列夫勒进一步推广了这一结论，证实了在任意区域上的亚纯函数都可以表示为两个在该区域内解析的函数的商。这些早期的研究成果为亚纯函数理论的后续发展搭建了重要的框架。到了20世纪20年代，芬兰数学家奈望林纳（R.Nevanlinna）创立了Nevanlinna理论，这无疑是亚纯函数发展史上的一个重大里程碑。Nevanlinna理论主要包含第一基本定理和第二基本定理，这两个基本定理为亚纯函数的值分布研究提供了强大且系统的工具。通过这些定理，数学家们能够深入探究亚纯函数取特定值的频率和分布情况，从而对亚纯函数的性质有了更为深刻和全面的理解。例如，利用Nevanlinna理论可以证明Picard定理，该定理指出非常数亚纯函数在复平面上至多有两个Picard例外值，即除去至多两个值外，亚纯函数会取到复平面上的其他所有值。这一定理深刻地揭示了亚纯函数在取值方面的特性，也凸显了Nevanlinna理论在亚纯函数研究中的核心地位。正规族是复函数理论中的一个重要概念，它由P.Montel在20世纪初引入。Montel最初讨论了函数族的紧性问题，并将族中任何函数列都具有局部一致收敛子列的函数族定义为正规族。这一概念的引入为研究亚纯函数族的整体性质提供了有力的手段。例如，在研究复解析动力系统时，正规族理论发挥了关键作用。复解析动力系统主要研究迭代函数列的性质，G.Julia和P.Fatou利用正规族理论开创了这一研究领域。他们通过分析迭代函数列在不同区域的收敛性和动力学行为，揭示了复解析动力系统的许多重要性质和现象。在这个过程中，正规族理论为判断迭代函数列是否收敛以及研究其极限行为提供了重要的依据。在亚纯函数的研究中，正规族的核心问题是建立正规定则，即寻找合适的条件，使得在一个区域内满足该条件的函数族是正规族。早期，P.Montel将正规族与函数取值联系在一起，利用模函数证明了Montel定则：在区域D上具有两个Picard例外值的全纯函数族是正规族。这一定则为后续的研究奠定了基础。此后，A.Bloch以及G.Valiron将Montel定则推广到重值的情形，进一步丰富了正规族的理论。特别是A.Bloch提出的Bloch原理，为建立正规定则提供了重要的指导性法则。Bloch原理指出，如果复平面上满足某些性质的全纯（亚纯）函数只能是常值函数，那么在平面区域上全体满足同样性质的全纯（亚纯）函数就形成一个该区域上的正规族。这一原理为数学家们探索新的正规定则提供了方向和思路。随着Nevanlinna理论的建立和发展，正规族的研究迎来了新的契机。Nevanlinna理论使得人们能够将函数族的正规性与导函数的取值联系起来，从而得到了一系列新的正规定则，如Miranda定则、庄圻泰定则等。这些定则的出现，进一步完善了正规族的理论体系，使得我们对亚纯函数族的正规性有了更深入的认识。例如，Miranda定则通过对函数及其导函数的取值条件进行限制，给出了判断函数族正规性的方法，为研究亚纯函数族的性质提供了新的视角。亚纯函数的唯一性问题也是该领域的一个重要研究方向，其核心在于探究在何种条件下满足特定条件的亚纯函数是唯一确定的。自从Nevanlinna建立五值定理之后，这一领域便吸引了众多数学家的深入研究。五值定理表明，对于两个非常数亚纯函数，如果它们在五个不同的值上取值相同，那么这两个函数必定相等。这一定理为唯一性问题的研究奠定了基础。在此基础上，数学家们通过附加各种不同的条件，分别建立了分担四个值、三个值、两个值甚至一个值的唯一性定理。例如，在分担四个值的唯一性定理研究中，数学家们通过对函数在四个特定值上的取值情况以及函数的其他性质进行分析，得出了在满足一定条件下，两个亚纯函数若分担四个值，则它们相等的结论。这些研究成果不断丰富和完善了亚纯函数唯一性理论，使得我们对亚纯函数的唯一性有了更精确的把握。研究亚纯函数的正规族和唯一性具有重要的理论意义和实际应用价值。从理论意义层面来看，它们是深入理解亚纯函数性质的关键。正规族能够帮助我们把握亚纯函数族的整体行为和趋势，通过研究正规族，我们可以了解函数族在不同区域的收敛性、稳定性以及函数之间的相互关系等重要性质。例如，通过对正规族中函数列的局部一致收敛性的研究，我们可以推断出函数族在某些区域的连续性和光滑性等性质。而唯一性则能确定亚纯函数在特定条件下的确定性和唯一性，这对于构建完整且严密的亚纯函数理论体系至关重要。例如，唯一性定理可以帮助我们在已知部分条件的情况下，准确地确定一个亚纯函数，避免出现多种可能性导致的理论混乱。在实际应用方面，亚纯函数正规族和唯一性的研究成果在多个领域都有着广泛的应用。在复分析领域，它们为解决复积分、复微分方程等问题提供了重要的理论支持。例如，在求解复微分方程时，我们可以利用亚纯函数的正规族性质来判断方程解的存在性和唯一性，通过分析解函数族的正规性，确定在何种条件下方程有唯一解或者有无穷多个解。在代数几何中，亚纯函数的唯一性理论可以用于研究代数曲线和代数曲面的性质，通过确定曲面上的亚纯函数的唯一性，来揭示代数曲线和曲面的一些几何特征和不变量。在物理领域，亚纯函数在描述量子力学中的散射问题、电磁学中的场分布问题以及热力学中的热传导问题等方面都有着重要的应用。例如，在量子力学的散射问题中，亚纯函数可以用来描述粒子的散射振幅，通过研究亚纯函数的性质，可以深入理解粒子的散射行为和相互作用机制；在电磁学中，亚纯函数可以用于描述电磁场的分布情况，利用亚纯函数的正规族和唯一性理论，可以分析电磁场在不同边界条件下的唯一性和稳定性等问题。1.2国内外研究现状在亚纯函数正规族的研究方面，国外起步较早。20世纪初，P.Montel引入正规族概念，并利用模函数证明了Montel定则，为后续研究奠定了基础。此后，A.Bloch和G.Valiron将其推广到重值情形，A.Bloch提出的Bloch原理更是为正规定则的建立提供了重要指导。随着Nevanlinna理论在20世纪20年代的建立，正规族研究迎来新的发展契机。Nevanlinna理论使得函数族正规性与导函数取值建立联系，由此诞生了Miranda定则、庄圻泰定则等。1959年，W.K.Hayman关于Nevanlinna理论的研究取得重要成果，得到许多Picard型定理，并提出关于亚纯函数正规族的多个猜想。例如，他猜想在区域内不取0并且导数不取1的亚纯函数族于区域D正规，该猜想后由顾永兴证明。20世纪70年代，以色列数学家L.Zalcman给出亚纯函数族不正规的充要条件，即Zalcman引理，直接将亚纯函数族正规性与Picard型定理挂钩。20世纪80年代末，庞学诚通过引入参数改进Zalcman引理，极大地推动了正规族理论的发展。国内众多学者也在亚纯函数正规族研究中取得了丰硕成果。从熊庆来、庄圻泰到杨乐、张广厚、顾永兴以及庞学诚等，他们在亚纯函数值分布论，尤其是正规族理论研究中做出了奠基性贡献，在国际上形成了具有重要影响力的“中国学派”。杨乐、张广厚在函数值分布论方面的研究成果，为亚纯函数正规族的深入研究提供了重要的理论支撑。顾永兴对Hayman猜想的证明，解决了亚纯函数正规族领域的一个重要问题。庞学诚改进Zalcman引理的工作，使得正规族理论的研究进入快速发展阶段，不仅简化了原有结果的证明，还推动了新结果的产生。近年来，国内学者持续深入研究，在涉及分担值、例外函数、周期点等的亚纯函数正规族和拟正规族方面取得了一系列新成果，不断丰富和完善亚纯函数正规族理论体系。在亚纯函数唯一性的研究上，国外同样有着深厚的研究基础。自从Nevanlinna建立五值定理之后，众多数学家围绕唯一性问题展开深入探索。通过附加各种条件，陆续建立了分担四个值、三个值、两个值甚至一个值的唯一性定理。例如，在分担四个值的唯一性研究中，数学家们通过对函数在四个特定值上的取值情况以及函数的其他性质进行深入分析，得出了在满足一定条件下，两个亚纯函数若分担四个值，则它们相等的结论。随着研究的深入，对于唯一性问题的研究逐渐从简单的分担值情形向更复杂的函数关系拓展，如研究亚纯函数与其微分多项式分担小函数时的唯一性问题。国内学者在亚纯函数唯一性研究领域也成果斐然。学者们运用Nevanlinna值分布理论等工具，对亚纯函数唯一性问题进行了广泛而深入的研究。在整函数及其微分多项式分担一个值的唯一性问题上，国内学者利用加权的思想进行研究，完善和推广了现有的一些结论。通过引入新的方法和思路，对亚纯函数唯一性问题的研究不断深化，在分担值的重数、分担函数的类型等方面取得了新的进展，为亚纯函数唯一性理论的发展做出了重要贡献。当前，亚纯函数正规族和唯一性的研究热点主要集中在以下几个方面：一是将正规族理论与复解析动力系统、复微分方程等其他领域相结合，探索其在不同数学分支中的应用和相互关系。例如，研究在复解析动力系统中，迭代函数列的正规性与系统动力学行为之间的联系；在复微分方程中，利用亚纯函数正规族理论判断方程解的存在性和唯一性等。二是进一步研究涉及分担值、例外函数、周期点等复杂条件下的亚纯函数正规族和唯一性问题。例如，研究亚纯函数族在分担多个值且考虑值的重数情况下的正规性，以及亚纯函数在与例外函数存在特定关系时的唯一性等。三是探索新的研究方法和工具，以突破现有研究的瓶颈。例如，尝试运用现代数学中的拓扑学、代数几何等方法，为亚纯函数正规族和唯一性的研究提供新的视角和思路。尽管在亚纯函数正规族和唯一性的研究上已经取得了众多成果，但仍存在许多尚未解决的问题。在正规族研究中，对于一些复杂的亚纯函数族，如何更简洁有效地判断其正规性，仍然是一个有待解决的难题。例如，对于具有高阶导数和复杂奇点分布的亚纯函数族，现有的正规定则往往难以直接应用。在唯一性研究中，如何在更弱的条件下确定亚纯函数的唯一性，也是一个重要的研究方向。例如，当亚纯函数分担的值集具有特殊结构时，如何建立相应的唯一性定理，目前还没有完善的解决方案。此外，对于亚纯函数正规族和唯一性之间的深层次联系，还需要进一步挖掘和研究。1.3研究方法与创新点在本研究中，将综合运用多种研究方法，以深入探究亚纯函数的正规族及唯一性问题。Nevanlinna值分布理论是本研究的核心工具之一。该理论由芬兰数学家奈望林纳（R.Nevanlinna）于20世纪20年代创立，包含第一基本定理和第二基本定理。第一基本定理建立了亚纯函数在圆周上的积分平均值与函数的特征函数之间的联系，为研究亚纯函数的取值情况提供了基础；第二基本定理则给出了亚纯函数在除去有限个值外，取其他值的频率估计。通过Nevanlinna值分布理论，可以精确地分析亚纯函数取特定值的次数、分布情况以及函数的增长性等重要性质。例如，在研究亚纯函数的唯一性问题时，可以利用Nevanlinna理论中的亏值、Nevanlinna例外值等概念，来刻画函数在取值上的特殊性质，从而为唯一性定理的证明提供关键的理论支持。在证明两个亚纯函数在满足一定条件下相等时，通过分析它们在Nevanlinna理论框架下的特征函数、计数函数等之间的关系，来得出唯一性的结论。Zalcman引理也是本研究中不可或缺的重要方法。该引理由以色列数学家L.Zalcman于1975年提出，它给出了亚纯函数族不正规的充要条件，直接将亚纯函数族的正规性与Picard型定理相挂钩。具体来说，Zalcman引理表明，如果一个亚纯函数族在某点不正规，那么可以通过适当的伸缩变换，得到一个局部一致收敛到非常数亚纯函数的子列。这一引理为研究亚纯函数族的正规性提供了全新的视角和有力的工具。在证明亚纯函数族的正规定则时，可以运用Zalcman引理，通过反证法假设函数族不正规，然后根据引理构造出矛盾，从而证明函数族的正规性。在处理与导数取值有关的正规定则时，Zalcman引理能够避免传统Miranda方法中消去原始值的复杂过程，使得证明更加简洁明了。此外，还将运用数学归纳法来证明一些关于亚纯函数正规族和唯一性的一般性结论。数学归纳法是一种强大的证明工具，通过证明命题对于基础情况成立，然后假设命题对于某个自然数成立，进而证明对于下一个自然数也成立，从而得出命题对于所有自然数都成立。在研究亚纯函数的正规族性质时，可以利用数学归纳法来证明一些关于函数族中函数的高阶导数与正规性之间关系的结论。假设对于某一阶导数满足一定条件时函数族是正规的，然后通过数学归纳法证明对于更高阶导数在满足类似条件时函数族仍然正规。本研究在方法和思路上具有一定的创新点。在研究亚纯函数正规族时，尝试从多个角度对Zalcman引理进行改进和拓展。例如，通过引入新的参数和条件，进一步优化Zalcman引理的应用范围和效果，使其能够更有效地处理一些复杂的亚纯函数族正规性问题。将考虑结合其他数学分支的理论和方法，如拓扑学中的紧性理论、代数几何中的一些概念和方法等，来研究亚纯函数的正规族和唯一性。通过将复分析与拓扑学相结合，可以从拓扑空间的角度来理解亚纯函数族的收敛性和正规性，为解决相关问题提供新的思路和方法。在研究亚纯函数唯一性问题时，将深入挖掘函数之间的内在联系，尝试建立新的唯一性判定条件。例如，通过分析亚纯函数与其微分多项式之间的特殊关系，以及它们在分担值情况下的性质，提出新的唯一性定理，从而在更弱的条件下确定亚纯函数的唯一性。二、亚纯函数的基本理论2.1亚纯函数的定义与性质亚纯函数是复变函数论中一类极为重要的函数，在整个复平面C上，除了有限个或可数个孤立奇点外，亚纯函数处处解析，而这些孤立奇点通常为极点。从定义公式角度来看，若函数f(z)可以表示为两个整函数g(z)与h(z)的商，即f(z)=\frac{g(z)}{h(z)}，其中h(z)不恒为零，那么f(z)就是一个亚纯函数。这一表达式清晰地展示了亚纯函数与整函数之间的紧密联系，通过整函数的商来定义亚纯函数，为后续研究亚纯函数的性质提供了基础。例如，对于有理函数f(z)=\frac{z^2+3z+2}{z-1}，它是一个典型的亚纯函数。分母z-1=0时，z=1是该函数的极点，而在复平面上除z=1之外的其他点，函数都是解析的。又如三角函数\tanz=\frac{\sinz}{\cosz}，当\cosz=0，即z=\frac{\pi}{2}+k\pi，k\inZ时，\tanz有极点，在其他点处\tanz解析，所以\tanz也是亚纯函数。这些具体的函数例子直观地体现了亚纯函数的定义特征，帮助我们更好地理解亚纯函数在复平面上的解析性和奇点分布情况。亚纯函数的奇点类型主要包括可去奇点、极点和本性奇点。对于可去奇点a，当z趋近于a时，函数f(z)的极限存在且为有限值。从数学表达式来看，若\lim_{z\toa}f(z)=A，A为有限常数，那么a就是f(z)的可去奇点。例如函数f(z)=\frac{\sinz}{z}，在z=0处，原本函数无定义，但根据极限\lim_{z\to0}\frac{\sinz}{z}=1，所以z=0是可去奇点，我们可以通过补充定义f(0)=1，使函数在z=0处解析。极点是亚纯函数中较为常见的奇点类型，若\lim_{z\toa}|f(z)|=+\infty，则a是f(z)的极点。比如前面提到的f(z)=\frac{z^2+3z+2}{z-1}，在z=1处，当z趋近于1时，|f(z)|趋近于正无穷，所以z=1是极点。本性奇点则具有更为复杂的性质，当z趋近于本性奇点a时，f(z)在a点的任意邻域内都能取到任意接近于任何复数值的值，这一性质体现了本性奇点处函数行为的高度不确定性。例如函数f(z)=e^{\frac{1}{z}}，当z趋近于0时，f(z)的值在复平面上呈现出复杂的变化，0就是f(z)的本性奇点。在解析区域方面，亚纯函数的解析区域是复平面除去其奇点的部分。这一解析区域具有重要的性质，它是一个开集。因为对于解析区域内的任意一点z_0，都存在一个以z_0为中心的邻域，使得函数在这个邻域内处处解析。亚纯函数在解析区域内满足解析函数的一切性质，如柯西-黎曼方程、柯西积分定理等。柯西-黎曼方程是判断函数在某点是否解析的重要依据，对于亚纯函数f(z)=u(x,y)+iv(x,y)，在其解析区域内，实部u(x,y)和虚部v(x,y)满足\frac{\partialu}{\partialx}=\frac{\partialv}{\partialy}，\frac{\partialu}{\partialy}=-\frac{\partialv}{\partialx}。柯西积分定理则表明，若f(z)在单连通区域D内解析，C是D内的一条简单闭曲线，那么\oint_{C}f(z)dz=0。这些性质为研究亚纯函数在解析区域内的行为提供了有力的工具，使得我们能够深入分析亚纯函数在不同区域的性质和特点。2.2Nevanlinna值分布理论2.2.1Nevanlinna第一基本定理Nevanlinna第一基本定理是亚纯函数值分布理论的基石，为研究亚纯函数在复平面上的取值分布提供了基础框架。该定理建立了亚纯函数在圆周上的积分平均值与函数的特征函数之间的紧密联系。具体而言，设f(z)为复平面上的亚纯函数，a为任意复数（包括无穷），对于r\gt0，定义m(r,f)=\frac{1}{2\pi}\int_{0}^{2\pi}\log^{+}|f(re^{i\theta})|d\theta，这里\log^{+}x=\max\{\logx,0\}，m(r,f)被称为f(z)的接近函数，它衡量了f(z)在圆周|z|=r上的值与原点的接近程度。例如，当f(z)=z时，m(r,f)=\frac{1}{2\pi}\int_{0}^{2\pi}\log^{+}|re^{i\theta}|d\theta=\frac{1}{2\pi}\int_{0}^{2\pi}\logrd\theta=\logr，直观地展示了接近函数的计算过程和其在衡量函数与原点接近程度方面的作用。再定义N(r,f)=\int_{0}^{r}\frac{n(t,f)-n(0,f)}{t}dt+n(0,f)\logr，其中n(t,f)表示f(z)在圆盘|z|\leqt内的极点个数（重极点按重数计算），N(r,f)被称为f(z)的计数函数，它反映了f(z)在圆盘|z|\leqr内极点的分布情况。以f(z)=\frac{1}{z}为例，在圆盘|z|\leqt内，z=0是唯一的极点，且重数为1，n(t,f)=1，n(0,f)=1，则N(r,f)=\int_{0}^{r}\frac{1-1}{t}dt+1\times\logr=\logr，清晰地体现了计数函数对极点分布的刻画。Nevanlinna第一基本定理的表达式为m(r,\frac{1}{f-a})+N(r,\frac{1}{f-a})=m(r,\frac{1}{f-b})+N(r,\frac{1}{f-b})+O(1)，r\to\infty，其中a,b为任意两个不同的复数。该定理表明，对于亚纯函数f(z)，m(r,\frac{1}{f-a})+N(r,\frac{1}{f-a})这个量与a的选取无关（相差一个有界量），因此可以定义T(r,f)=m(r,f)+N(r,f)，T(r,f)称为f(z)的特征函数，它综合了接近函数和计数函数的信息，全面地描述了亚纯函数f(z)的增长特性。例如，对于整函数f(z)=e^{z}，m(r,f)=\frac{1}{2\pi}\int_{0}^{2\pi}\log^{+}|e^{re^{i\theta}}|d\theta=\frac{1}{2\pi}\int_{0}^{2\pi}re^{\cos\theta}d\theta，N(r,f)=0（整函数无极点），则T(r,f)=m(r,f)，通过计算m(r,f)可以发现T(r,f)随着r的增大而增长，反映了e^{z}的增长特性。Nevanlinna第一基本定理的证明思路基于复分析中的柯西积分公式和一些积分变换技巧。首先，利用柯西积分公式将\log|f(z)|表示为在圆周上的积分形式，然后通过对积分进行细致的分析和变换，结合m(r,f)和N(r,f)的定义，逐步推导得出定理的结论。具体来说，设f(z)在|z|\leqR内亚纯，z_0为|z|\ltR内的一点，根据柯西积分公式\log|f(z_0)|=\frac{1}{2\pi}\int_{0}^{2\pi}\log|f(Re^{i\theta})|\frac{R^2-|z_0|^2}{|Re^{i\theta}-z_0|^2}d\theta，对这个积分进行拆分和处理，分别得到与m(r,f)和N(r,f)相关的部分，最终证明m(r,\frac{1}{f-a})+N(r,\frac{1}{f-a})与a的选取无关。在亚纯函数的研究中，Nevanlinna第一基本定理有着广泛的应用。它是证明许多重要结论的基础，例如在证明Picard小定理时发挥了关键作用。Picard小定理指出，非常数整函数取复平面上的每一个值，至多有一个例外值。证明过程中，通过Nevanlinna第一基本定理对整函数的特征函数进行分析，结合其他相关理论，得出整函数取值的特性。假设整函数f(z)不取两个不同的值a和b，则m(r,\frac{1}{f-a})=0且m(r,\frac{1}{f-b})=0，根据第一基本定理，N(r,\frac{1}{f-a})=N(r,\frac{1}{f-b})+O(1)，但由于整函数无极点，N(r,\frac{1}{f-a})=N(r,\frac{1}{f-b})=0，这与f(z)是非常数整函数矛盾，从而证明了Picard小定理。2.2.2Nevanlinna第二基本定理Nevanlinna第二基本定理在亚纯函数值分布理论中占据着核心地位，是研究亚纯函数取值分布规律的关键工具。该定理给出了亚纯函数在除去有限个值外，取其他值的频率估计，为深入理解亚纯函数的性质提供了有力支持。其内容为：设f(z)是复平面上的非常数亚纯函数，a_1,a_2,\cdots,a_q（q\geq3）是q个互不相同的复数（包括无穷），则有(q-2)T(r,f)\leq\sum_{i=1}^{q}N(r,\frac{1}{f-a_i})-N(r,f)+S(r,f)，其中S(r,f)=O(\logrT(r,f))（r\to\infty，除去一个线性测度为有限的r值集合），S(r,f)被称为余项。Nevanlinna第二基本定理的证明过程较为复杂，涉及到多个数学工具和概念的综合运用。证明思路主要基于Nevanlinna第一基本定理以及一些积分估计和不等式技巧。首先，利用第一基本定理将T(r,f)与m(r,f)、N(r,f)建立联系，然后通过对f(z)在不同值a_i处的计数函数N(r,\frac{1}{f-a_i})进行分析和估计，结合一些关于亚纯函数的基本性质，如对数导数引理等，逐步推导得出第二基本定理的结论。具体来说，对数导数引理给出了m(r,\frac{f'}{f})的一个估计式m(r,\frac{f'}{f})=O(\logrT(r,f))（r\to\infty，除去一个线性测度为有限的r值集合），在证明第二基本定理时，通过巧妙地运用这个引理，对相关积分进行处理和估计，从而得到(q-2)T(r,f)与\sum_{i=1}^{q}N(r,\frac{1}{f-a_i})-N(r,f)之间的关系。在研究亚纯函数取值分布规律方面，Nevanlinna第二基本定理具有极其重要的作用。它能够帮助我们深入了解亚纯函数取特定值的频率和分布情况。例如，从定理中可以看出，当q足够大时，\sum_{i=1}^{q}N(r,\frac{1}{f-a_i})会随着r的增大而增长，这意味着亚纯函数f(z)会频繁地取到a_1,a_2,\cdots,a_q这些值之外的其他值。具体来说，对于给定的亚纯函数f(z)，如果我们想知道它取某个值a的频率，就可以通过计算N(r,\frac{1}{f-a})来进行分析，结合第二基本定理，能够进一步了解f(z)在整个复平面上的取值分布特性。以函数f(z)=\tanz为例，\tanz是一个亚纯函数，它的极点为z=\frac{\pi}{2}+k\pi，k\inZ。我们可以利用Nevanlinna第二基本定理来研究它的取值分布情况。设a_1=0，a_2=1，a_3=\infty，通过计算N(r,\frac{1}{\tanz-0})（即\tanz的零点个数的计数函数）、N(r,\frac{1}{\tanz-1})以及N(r,\tanz)（\tanz的极点个数的计数函数），并结合第二基本定理(3-2)T(r,\tanz)\leqN(r,\frac{1}{\tanz})+N(r,\frac{1}{\tanz-1})+N(r,\frac{1}{\tanz-\infty})-N(r,\tanz)+S(r,\tanz)，可以发现\tanz在复平面上频繁地取到除0、1、\infty之外的其他值，并且通过对各项计数函数的具体分析，能够深入了解\tanz取这些值的频率和分布规律。2.3亚纯函数的级数展开亚纯函数的洛朗级数展开是研究亚纯函数性质的重要工具，它为我们深入了解亚纯函数在奇点附近的行为提供了有力的手段。对于在圆环域r\lt|z-z_0|\ltR（0\leqr\ltR\leq+\infty）内解析的亚纯函数f(z)，其洛朗级数展开形式为f(z)=\sum_{n=-\infty}^{+\infty}a_n(z-z_0)^n，其中a_n=\frac{1}{2\pii}\oint_{C}\frac{f(\xi)}{(\xi-z_0)^{n+1}}d\xi，C为圆环域内绕z_0的任意一条正向简单闭曲线。这一展开式将亚纯函数表示为正负幂次项的无穷级数，其中负幂次项部分\sum_{n=1}^{+\infty}a_{-n}(z-z_0)^{-n}称为主部，它主要刻画了函数在奇点z_0附近的奇异性质；正幂次项部分\sum_{n=0}^{+\infty}a_n(z-z_0)^n称为解析部分，反映了函数在除去奇点后的解析区域内的性质。展开式中的系数a_n与函数的性质有着紧密的联系。系数a_n的值决定了函数在奇点附近以及解析区域内的行为特征。例如，若在某点z_0的洛朗展开式中，主部只有有限项，即a_{-m}\neq0，而a_{-n}=0（n\gtm），那么z_0就是f(z)的m级极点。这是因为当z趋近于z_0时，(z-z_0)^mf(z)的极限存在且为非零有限值，这符合m级极点的定义。又如，如果主部有无穷多项，那么z_0就是f(z)的本性奇点，在本性奇点处，函数的行为极为复杂，其洛朗展开式的主部无穷项反映了这种复杂性。在解析部分，系数a_n（n\geq0）与函数在解析区域内的导数等性质相关，通过对这些系数的分析，可以了解函数在解析区域内的变化趋势和特征。以函数f(z)=\frac{1}{z(z-1)}为例，我们来具体分析它的洛朗级数展开及其与函数性质的关系。首先，将f(z)进行部分分式分解，得到f(z)=\frac{1}{z-1}-\frac{1}{z}。在0\lt|z|\lt1的圆环域内，\frac{1}{z-1}=-\sum_{n=0}^{+\infty}z^n，所以f(z)=-\sum_{n=0}^{+\infty}z^n-\frac{1}{z}，这里z=0是f(z)的一级极点，从展开式中可以明显看出主部为-\frac{1}{z}，只有一项，符合一级极点的特征。在1\lt|z|\lt+\infty的圆环域内，\frac{1}{z-1}=\sum_{n=0}^{+\infty}\frac{1}{z^{n+1}}，则f(z)=\sum_{n=0}^{+\infty}\frac{1}{z^{n+1}}-\frac{1}{z}=\sum_{n=1}^{+\infty}\frac{1}{z^n}，此时z=\infty是f(z)的可去奇点，展开式中没有负幂次项，体现了可去奇点的性质。再如函数f(z)=e^{\frac{1}{z}}，它在0\lt|z|\lt+\infty内的洛朗展开式为e^{\frac{1}{z}}=\sum_{n=0}^{+\infty}\frac{1}{n!z^n}，主部有无穷多项，所以z=0是f(z)的本性奇点，这与前面关于本性奇点的判断依据一致。三、亚纯函数的正规族3.1正规族的定义与判定准则3.1.1正规族的定义设\mathcal{F}是区域D内的一族亚纯函数，若对于\mathcal{F}中的任意函数列\{f_n\}，都存在子列\{f_{n_k}\}在D内的任意紧子集上一致收敛（这里的一致收敛是关于球面距离而言的），则称\mathcal{F}在区域D内是正规族。这一定义从函数列收敛性的角度出发，深刻地揭示了正规族的本质特征。它要求函数族中的每一个函数列都能选出一个在区域内局部一致收敛的子列，这种收敛性体现了函数族在区域内的一种稳定性和规律性。从拓扑学的角度来看，正规族实际上是函数空间中的一个相对紧集。在函数空间中，我们可以定义不同的拓扑结构，而正规族的定义所依赖的这种局部一致收敛性，对应着一种特定的拓扑。在这种拓扑下，正规族中的函数列能够紧密地聚集在一起，具有良好的收敛性质。例如，在复平面上的单位圆盘D=\{z:|z|<1\}内，考虑函数族\mathcal{F}=\{z^n\}_{n=1}^{\infty}，对于这个函数族中的任意函数列\{z^{n_k}\}，当|z|<1时，根据幂级数的收敛性质，\lim_{k\to\infty}z^{n_k}=0，即函数列\{z^{n_k}\}在单位圆盘内的任意紧子集上一致收敛到常数函数0，所以\mathcal{F}在单位圆盘D内是正规族。再如，对于函数族\mathcal{G}=\{e^{nz}\}_{n=1}^{\infty}，在单位圆盘D内，当z沿着实轴趋近于1时，|e^{nz}|=e^{n\mathrm{Re}(z)}会趋近于正无穷，这说明\mathcal{G}中的函数列在单位圆盘内不存在一致收敛的子列，所以\mathcal{G}在单位圆盘D内不是正规族。正规族的定义在亚纯函数的研究中具有重要的地位。它为我们研究亚纯函数族的整体性质提供了一个关键的框架。通过判断一个函数族是否为正规族，我们可以了解该函数族在区域内的行为特征。如果一个函数族是正规族，那么我们可以利用其收敛性的性质，对函数族中的函数进行逼近和分析，从而深入研究函数族的各种性质，如函数的增长性、取值分布等。在复解析动力系统中，正规族的概念被广泛应用于研究迭代函数列的性质。例如，对于一个迭代函数列\{f^n(z)\}（其中f^n(z)表示f的n次迭代），如果它构成一个正规族，那么我们可以通过研究其收敛子列的极限函数，来了解迭代过程的动力学行为，判断是否存在吸引子、排斥子等重要的动力学特征。3.1.2Montel定则Montel定则是判断全纯函数族正规性的一个重要准则，在复分析领域有着广泛的应用。该定则表明：在区域D上具有两个Picard例外值的全纯函数族是正规族。所谓Picard例外值，是指对于一个全纯函数f(z)，如果存在复数a，使得方程f(z)=a在复平面上无解或者只有有限个解，那么a就被称为f(z)的Picard例外值。例如，对于整函数e^z，由于e^z恒不为0，所以0是e^z的一个Picard例外值；又因为e^z的值域是\mathbb{C}\setminus\{0\}，所以除0以外，e^z取遍复平面上的其他所有值，不存在其他Picard例外值。Montel定则的证明过程基于模函数的性质以及正规族的定义。首先，假设\mathcal{F}是区域D上具有两个Picard例外值a和b的全纯函数族。利用模函数\lambda(z)的性质，构造一个与\mathcal{F}中函数相关的新函数族\mathcal{G}。由于\mathcal{F}中的函数不取a和b这两个值，通过适当的变换，使得\mathcal{G}中的函数在区域D内是有界的。然后，根据正规族的定义，有界的全纯函数族是正规族，所以\mathcal{G}是正规族。再通过反演变换，证明原函数族\mathcal{F}也是正规族。具体来说，设\lambda(z)是上半平面到单位圆盘的共形映射，即\lambda(z)=\frac{z-i}{z+i}，对于\mathcal{F}中的函数f(z)，构造g(z)=\lambda(f(z))，因为f(z)不取a和b，经过变换后g(z)的值域在单位圆盘内，所以g(z)是有界的。而有界的全纯函数族满足正规族的定义，即对于\mathcal{G}=\{g(z)\}中的任意函数列\{g_n\}，都存在子列\{g_{n_k}\}在D内的任意紧子集上一致收敛。再通过f(z)=\lambda^{-1}(g(z))的反演关系，可推出\mathcal{F}也是正规族。以函数族\mathcal{F}=\{e^{nz}\}_{n=1}^{\infty}在单位圆盘D=\{z:|z|<1\}内的情况为例来分析Montel定则的应用。对于e^{nz}，它恒不为0，0是它的一个Picard例外值。但当n变化时，e^{nz}的值域覆盖了复平面上除0以外的几乎所有值，不存在第二个Picard例外值。根据Montel定则，这个函数族在单位圆盘内不是正规族。这与前面通过直接分析函数列收敛性得出的结论一致。再看函数族\mathcal{H}=\{\frac{1}{z-a_n}\}，其中a_n是满足|a_n|>1的复数序列。对于这个函数族中的每一个函数f_n(z)=\frac{1}{z-a_n}，它在单位圆盘D内是全纯的，并且f_n(z)在D内不取0和\infty这两个值，0和\infty是它的两个Picard例外值。根据Montel定则，\mathcal{H}在单位圆盘D内是正规族。我们可以进一步验证，对于\mathcal{H}中的任意函数列\{f_{n_k}(z)\}，由于|a_{n_k}|>1，当z在单位圆盘D内时，\lim_{k\to\infty}\frac{1}{z-a_{n_k}}=0，即函数列\{f_{n_k}(z)\}在单位圆盘D内的任意紧子集上一致收敛到0，符合正规族的定义。3.1.3Marty定则Marty定则为判断亚纯函数族的正规性提供了另一个重要的视角，它与亚纯函数的导数及球面导数密切相关。设\mathcal{F}是区域D内的一族亚纯函数，f(z)的球面导数定义为f^{\#}(z)=\frac{|f^{\prime}(z)|}{1+|f(z)|^2}。Marty定则指出：\mathcal{F}在区域D内正规的充要条件是对于D内的任意紧子集K，存在常数M=M(K)，使得对于\mathcal{F}中的任意函数f，都有\sup_{z\inK}f^{\#}(z)\leqM。这意味着亚纯函数族在区域D内正规当且仅当函数族中函数的球面导数在D的任意紧子集上是一致有界的。从几何意义上看，球面导数f^{\#}(z)反映了函数f(z)在z点处的局部伸缩率在黎曼球面上的度量。当f^{\#}(z)较小时，说明函数f(z)在z点附近的变化较为平缓，函数的图像在黎曼球面上的弯曲程度较小；反之，当f^{\#}(z)较大时，函数f(z)在z点附近的变化较为剧烈，图像在黎曼球面上的弯曲程度较大。例如，对于常数函数f(z)=c，其导数f^{\prime}(z)=0，则球面导数f^{\#}(z)=0，这表明常数函数在黎曼球面上的伸缩率为0，图像是一个点，没有弯曲。而对于函数f(z)=z，其导数f^{\prime}(z)=1，球面导数f^{\#}(z)=\frac{1}{1+|z|^2}，当|z|较小时，f^{\#}(z)接近1，说明函数在原点附近的变化相对较快，图像在黎曼球面上有一定的弯曲；当|z|较大时，f^{\#}(z)趋近于0，函数的变化逐渐平缓，图像在黎曼球面上的弯曲程度减小。利用Marty定则判断亚纯函数族正规性的过程，关键在于分析函数族中函数的球面导数在紧子集上的有界性。以函数族\mathcal{F}=\{z^n\}_{n=1}^{\infty}在单位圆盘D=\{z:|z|<1\}内为例，首先求z^n的导数(z^n)^{\prime}=nz^{n-1}，则其球面导数(z^n)^{\#}=\frac{|nz^{n-1}|}{1+|z^n|^2}。在单位圆盘D内的任意紧子集K上，由于|z|\leqr<1（r为紧子集K到原点的最大距离），则(z^n)^{\#}=\frac{|nz^{n-1}|}{1+|z^n|^2}\leq\frac{nr^{n-1}}{1+r^{2n}}。当n增大时，nr^{n-1}的增长速度比1+r^{2n}慢，所以\lim_{n\to\infty}\frac{nr^{n-1}}{1+r^{2n}}=0，即存在常数M（例如取M=1），使得\sup_{z\inK}(z^n)^{\#}\leqM。根据Marty定则，函数族\{z^n\}在单位圆盘D内是正规族。再如函数族\mathcal{G}=\{e^{nz}\}_{n=1}^{\infty}，其导数(e^{nz})^{\prime}=ne^{nz}，球面导数(e^{nz})^{\#}=\frac{|ne^{nz}|}{1+|e^{nz}|^2}。在单位圆盘D内，当z沿着实轴趋近于1时，|e^{nz}|=e^{n\mathrm{Re}(z)}趋近于正无穷，(e^{nz})^{\#}=\frac{|ne^{nz}|}{1+|e^{nz}|^2}\approxn，这说明(e^{nz})^{\#}在单位圆盘D内的某些点处无界，不存在常数M使得\sup_{z\inD}(e^{nz})^{\#}\leqM。根据Marty定则，函数族\{e^{nz}\}在单位圆盘D内不是正规族。3.1.4Zalcman引理及其应用Zalcman引理是研究亚纯函数族正规性的一个强大工具，它直接将亚纯函数族的正规性与Picard型定理相联系，为解决亚纯函数族正规性问题提供了全新的思路和方法。该引理表明：设\mathcal{F}是区域D内的一族亚纯函数，\mathcal{F}在z_0\inD不正规的充要条件是存在点列\{z_n\}\subsetD，z_n\toz_0，正数列\{\rho_n\}，\rho_n\to0，以及函数列\{f_n\}\subset\mathcal{F}，使得g_n(\zeta)=\rho_n^{-\alpha}f_n(z_n+\rho_n\zeta)在复平面\mathbb{C}上按球面距离局部一致收敛到一个非常数亚纯函数g(\zeta)，其中\alpha为满足-p\leq\alpha\leqq的实数，p为\mathcal{F}中函数零点的最小重数，q为\mathcal{F}中函数极点的最小重数。Zalcman引理的证明过程较为复杂，涉及到亚纯函数的性质、正规族的定义以及一些分析技巧。证明的大致思路是通过假设函数族不正规，利用Marty定则中球面导数无界的性质，构造出满足引理条件的点列、正数列和函数列。具体来说，若\mathcal{F}在z_0不正规，根据Marty定则，存在D内的紧子集K，使得\sup_{z\inK,f\in\mathcal{F}}f^{\#}(z)=\infty。在K内选取点列\{z_n\}和函数列\{f_n\}，使得f_n^{\#}(z_n)\to\infty。然后通过适当的伸缩变换\rho_n=\frac{1}{f_n^{\#}(z_n)}，构造出函数g_n(\zeta)=\rho_n^{-\alpha}f_n(z_n+\rho_n\zeta)。经过一系列的分析和推导，证明g_n(\zeta)在复平面\mathbb{C}上按球面距离局部一致收敛到一个非常数亚纯函数g(\zeta)。通过具体的证明过程可以更好地理解Zalcman引理的应用方法。例如，证明在区域D内，若亚纯函数族\mathcal{F}中的函数f(z)满足f(z)\neq0，f^{\prime}(z)\neq1，则\mathcal{F}在D内正规。采用反证法，假设\mathcal{F}在z_0\inD不正规，根据Zalcman引理，存在点列\{z_n\}，z_n\toz_0，正数列\{\rho_n\}，\rho_n\to0，以及函数列\{f_n\}\subset\mathcal{F}，使得g_n(\zeta)=\rho_n^{-\alpha}f_n(z_n+\rho_n\zeta)在复平面\mathbb{C}上按球面距离局部一致收敛到一个非常数亚纯函数g(\zeta)。对g_n(\zeta)求导得g_n^{\prime}(\zeta)=\rho_n^{1-\alpha}f_n^{\prime}(z_n+\rho_n\zeta)。由于f_n(z)\neq0，f_n^{\prime}(z)\neq1，通过极限的性质和局部一致收敛的性质，可以推出g(\zeta)\neq0，g^{\prime}(\zeta)\neq1。但根据Picard3.2亚纯函数正规族的性质3.2.1局部有界性与正规性在亚纯函数正规族的研究中，局部有界性与正规性之间存在着紧密的联系，局部有界的亚纯函数族是正规族，这一结论为判断亚纯函数族的正规性提供了重要的依据。下面我们从理论证明和实例分析两个方面来深入探讨这一性质。从理论证明的角度来看，设\mathcal{F}是区域D内的一族亚纯函数，若\mathcal{F}在D内局部有界，即对于D内的任意一点z_0，都存在一个邻域U(z_0,\delta)=\{z:|z-z_0|\lt\delta\}（\delta\gt0）以及一个常数M=M(z_0,\delta)，使得对于\mathcal{F}中的任意函数f，都有|f(z)|\leqM，z\inU(z_0,\delta)。根据正规族的定义，我们需要证明对于\mathcal{F}中的任意函数列\{f_n\}，都存在子列\{f_{n_k}\}在D内的任意紧子集上一致收敛。利用蒙泰尔定理，对于局部有界的函数族\mathcal{F}，在D内的任意紧子集K上，由于K可以被有限个上述邻域U(z_i,\delta_i)，i=1,2,\cdots,n所覆盖。在每个邻域U(z_i,\delta_i)上，函数族\mathcal{F}是有界的，根据函数列在有界区域上的性质，从\{f_n\}中可以选出在U(z_1,\delta_1)上一致收敛的子列\{f_{n_{k_1}}\}。然后在子列\{f_{n_{k_1}}\}中，又可以选出在U(z_2,\delta_2)上一致收敛的子列\{f_{n_{k_2}}\}。通过有限次这样的操作，最终可以得到一个子列\{f_{n_{k_n}}\}，它在K上一致收敛。因为K是D内的任意紧子集，所以\mathcal{F}在D内是正规族。为了更直观地理解局部有界条件对函数族正规性的影响，我们通过具体的实例进行分析。考虑函数族\mathcal{F}=\{z^n\}_{n=1}^{\infty}在单位圆盘D=\{z:|z|\lt1\}内的情况。对于单位圆盘内的任意一点z_0，存在邻域U(z_0,\delta)，当z\inU(z_0,\delta)时，由于|z|\lt1，根据幂函数的性质，|z^n|\leq(|z_0|+\delta)^n。当\delta足够小时，(|z_0|+\delta)^n是有界的，即函数族\{z^n\}在单位圆盘内局部有界。根据前面证明的结论，它是正规族。实际上，对于\{z^n\}中的任意函数列\{z^{n_k}\}，当|z|\lt1时，\lim_{k\to\infty}z^{n_k}=0，即函数列\{z^{n_k}\}在单位圆盘内的任意紧子集上一致收敛到常数函数0，这与通过局部有界性证明其为正规族的结果是一致的。再看函数族\mathcal{G}=\{e^{nz}\}_{n=1}^{\infty}在单位圆盘D内的情况。当z沿着实轴趋近于1时，|e^{nz}|=e^{n\mathrm{Re}(z)}趋近于正无穷，这说明函数族\{e^{nz}\}在单位圆盘内不是局部有界的。根据前面的理论，不是局部有界的函数族不是正规族。从函数列收敛性的角度也可以验证，对于\{e^{nz}\}中的函数列，不存在在单位圆盘内一致收敛的子列，所以\{e^{nz}\}在单位圆盘内不是正规族。通过这两个实例的对比，可以清晰地看到局部有界条件在判断亚纯函数族正规性中的关键作用，局部有界性是亚纯函数族成为正规族的一个充分条件，当函数族满足局部有界时，其函数列具有良好的收敛性质，从而保证了函数族的正规性。3.2.2正规族的极限函数性质正规族中函数列极限函数具有一系列重要的性质，这些性质对于深入理解亚纯函数正规族的本质以及应用正规族理论解决相关问题具有关键作用。下面我们将详细讨论极限函数的解析性和唯一性等性质，并结合具体例子进行说明。首先是解析性，设\mathcal{F}是区域D内的正规族，\{f_n\}是\mathcal{F}中的一个函数列，且\{f_n\}在D内局部一致收敛到函数f。根据魏尔斯特拉斯定理，如果函数列\{f_n\}在区域D内局部一致收敛，且f_n在D内解析，那么极限函数f在D内也解析。对于亚纯函数正规族，虽然函数可能存在极点，但在除去极点的解析区域内，同样满足这一性质。例如，考虑函数族\mathcal{F}=\{\frac{1}{z+\frac{1}{n}}\}_{n=1}^{\infty}在区域D=\{z:|z|\gt0\}内，f_n(z)=\frac{1}{z+\frac{1}{n}}在D内解析，且\lim_{n\to\infty}f_n(z)=\frac{1}{z}，\{f_n\}在D内局部一致收敛到\frac{1}{z}，\frac{1}{z}在D内除z=0外解析。这表明正规族中函数列的极限函数在解析区域内继承了解析性，这一性质使得我们可以利用解析函数的相关理论和方法对极限函数进行研究。关于唯一性，在一定条件下，正规族中函数列的极限函数是唯一的。设\{f_n\}是正规族\mathcal{F}中的函数列，若\{f_n\}在区域D内的一个具有聚点的子集E上收敛到函数f，那么\{f_n\}在D内局部一致收敛到f，且f是唯一的。例如，对于函数族\mathcal{F}=\{z^n\}在单位圆盘D=\{z:|z|\lt1\}内，\{z^n\}在单位圆盘内的任意紧子集上一致收敛到0。假设存在另一个函数g，使得\{z^n\}在单位圆盘内的某个具有聚点的子集E上收敛到g，由于\{z^n\}在单位圆盘内局部一致收敛到0，根据唯一性的条件，g必然等于0，这就说明了极限函数的唯一性。极限函数的唯一性保证了在研究正规族时，对于函数列的收敛结果有明确且确定的结论，避免了因极限函数不唯一而带来的不确定性。以函数族\mathcal{H}=\{\frac{nz}{n+1}\}_{n=1}^{\infty}在复平面\mathbb{C}内为例，进一步说明极限函数的特点。f_n(z)=\frac{nz}{n+1}，\lim_{n\to\infty}f_n(z)=z，\{f_n\}在复平面\mathbb{C}内局部一致收敛到z。从解析性上看，f_n(z)在\mathbb{C}内解析，极限函数z也在\mathbb{C}内解析。从唯一性角度，在复平面\mathbb{C}内的任意具有聚点的子集上，\{f_n\}都收敛到z，不存在其他极限函数。而且，这个极限函数z保持了原函数族中函数的一些基本性质，如线性性质。通过这个例子可以更全面地理解正规族中函数列极限函数的解析性、唯一性以及与原函数族的关系，这些性质相互关联，共同构成了对正规族极限函数的完整认识，为进一步研究亚纯函数正规族提供了重要的基础。3.3亚纯函数正规族的应用3.3.1在复解析动力系统中的应用复解析动力系统主要研究迭代函数列的性质，而正规族理论在这一领域中发挥着核心作用，为深入理解复解析动力系统的动力学行为提供了关键工具。在复解析动力系统中，我们通常考虑一个解析函数f(z)，并研究其迭代函数列\{f^n(z)\}（其中f^n(z)表示f的n次迭代，即f^1(z)=f(z)，f^{n+1}(z)=f(f^n(z))）的性质。正规族理论在研究迭代函数列性质方面有着重要的应用。例如，若迭代函数列\{f^n(z)\}在某个区域D内构成正规族，那么根据正规族的定义，从\{f^n(z)\}中可以选出一个在D内局部一致收敛的子列\{f^{n_k}(z)\}。设\{f^{n_k}(z)\}收敛到函数g(z)，通过对g(z)性质的研究，我们可以了解迭代过程的一些特性。如果g(z)是常数函数，这可能意味着在该区域内迭代过程存在吸引子，函数值逐渐趋近于一个固定的值。假设f(z)=\frac{1}{2}z，其迭代函数列f^n(z)=(\frac{1}{2})^nz，在复平面\mathbb{C}上，\{f^n(z)\}构成正规族，且\lim_{n\to\infty}f^n(z)=0，这里0就是吸引子。若g(z)不是常数函数，那么迭代过程可能更加复杂，可能存在排斥子或其他动力学结构。Julia集和Fatou集是复解析动力系统中的两个重要概念，它们与正规族理论紧密相关。Fatou集F(f)定义为使得迭代函数列\{f^n(z)\}在其邻域内构成正规族的点的集合。也就是说，对于z_0\inF(f)，存在z_0的一个邻域U(z_0,\delta)，使得\{f^n(z)\}在U(z_0,\delta)内是正规族。而Julia集J(f)则是Fatou集的补集，即J(f)=\mathbb{C}\setminusF(f)。以函数f(z)=z^2为例来深入分析Julia集和Fatou集与正规族的关系。首先，求f(z)=z^2的迭代函数列f^n(z)=z^{2^n}。对于|z|\lt1的区域，\lim_{n\to\infty}z^{2^n}=0，这意味着在单位圆盘\{z:|z|\lt1\}内，迭代函数列\{z^{2^n}\}是正规族，所以单位圆盘包含在Fatou集F(f)内。在单位圆盘内，迭代过程存在吸引子0，函数值逐渐趋近于0。对于|z|>1的区域，\lim_{n\to\infty}|z^{2^n}|=\infty，同样可以证明\{z^{2^n}\}在这个区域内是正规族。而对于|z|=1的单位圆周，迭代函数列\{z^{2^n}\}在单位圆周上不是正规族。因为当z在单位圆周上时，z^{2^n}的值会在单位圆周上不断变化，不存在一致收敛的子列。所以单位圆周属于Julia集J(f)。在Julia集上，迭代过程表现出混沌的特性，初始值的微小变化会导致迭代结果的巨大差异。通过对f(z)=z^2的分析可以看出，正规族理论为确定Julia集和Fatou集提供了有效的方法。通过判断迭代函数列在不同区域的正规性，我们可以准确地划分出Julia集和Fatou集，从而深入研究复解析动力系统在不同区域的动力学行为。在研究其他更复杂的复解析动力系统时，同样可以利用正规族理论来分析迭代函数列的性质，确定Julia集和Fatou集，进而揭示系统的动力学特征，如吸引子、排斥子的分布，以及混沌区域的范围等。3.3.2在复微分方程中的应用亚纯函数正规族理论在复微分方程的研究中具有重要作用，它为解决复微分方程解的存在性、唯一性和解析性等问题提供了有力的工具。在复微分方程领域，我们常常关注方程解的各种性质，而正规族理论与这些性质之间存在着紧密的联系。在研究复微分方程解的存在性方面，正规族理论可以通过构造合适的函数族，并利用正规定则来判断是否存在满足方程的解。以二阶线性复微分方程f''+A(z)f'+B(z)f=0为例，其中A(z)和B(z)是区域D内的亚纯函数。假设我们考虑一族函数\mathcal{F}，其中的函数f(z)都满足上述方程。我们可以利用Nevanlinna值分布理论和正规族的相关定则，如Marty定则、Zalcman引理等，来分析函数族\mathcal{F}的正规性。如果能够证明\mathcal{F}在区域D内是正规族，那么根据正规族的性质，从\mathcal{F}中的函数列中可以选出局部一致收敛的子列。通过对极限函数的研究，有可能证明存在满足方程的解。具体来说，若\{f_n\}是\mathcal{F}中的函数列，且\{f_n\}在D内局部一致收敛到f，对f_n满足的方程f_n''+A(z)f_n'+B(z)f_n=0两边取极限（利用函数列的收敛性质和导数的极限性质），如果极限过程合理，那么f也满足方程f''+A(z)f'+B(z)f=0，从而证明了解的存在性。在解的唯一性研究中，正规族理论同样发挥着关键作用。对于一些复微分方程，我们可以通过假设存在两个不同的解f_1(z)和f_2(z)，构造函数族\{f_1-f_2\}。然后利用正规族的性质和相关定理，如唯一性定理等，来判断这个函数族的性质。如果能够证明\{f_1-f_2\}在某个区域内是正规族，且满足一定的条件（如极限函数为零），那么就可以得出f_1=f_2，从而证明解的唯一性。例如，对于一个一阶复微分方程f'=F(z,f)，假设f_1和f_2是方程在区域D内的两个解，令g=f_1-f_2，则g'可以通过对f_1和f_2满足的方程作差得到。如果能够证明函数族\{g\}在D内是正规族，且g在D内的某个具有聚点的子集上取值为零，根据正规族中函数列极限函数的唯一性性质，就可以推出g在D内恒为零，即f_1=f_2。关于解的解析性，正规族理论也能提供有效的分析方法。如果我们知道复微分方程的解函数族在某个区域内是正规族，且函数族中的函数在该区域内除了有限个奇点外解析，那么根据正规族中函数列极限函数的解析性性质（如魏尔斯特拉斯定理），可以推断出解函数在该区域内除去有限个奇点外是解析的。以一个简单的复微分方程zf'=f为例，其解为f(z)=Cz（C为常数）。我们可以构造函数族\{f(z)\}，其中f(z)满足方程。通过分析函数族的正规性（在复平面除去z=0的区域内，利用Marty定则可以证明该函数族是正规族），可以得出解函数f(z)在复平面除去z=0的区域内是解析的。在实际应用中，对于更复杂的复微分方程，我们可以通过类似的方法，利用正规族理论来分析解的解析区域和奇点分布情况。四、亚纯函数的唯一性4.1唯一性问题的基本概念亚纯函数的唯一性，简单来说，就是在特定条件下确定一个亚纯函数的唯一性。当我们讨论亚纯函数的唯一性时，核心在于探究满足怎样的条件，能够确保存在且仅存在一个亚纯函数符合这些条件。从数学定义的角度，若存在一组特定的条件P，对于亚纯函数f(z)和g(z)，当它们都满足条件P时，能得出f(z)\equivg(z)在某个区域D内成立，那么就称在条件P下亚纯函数在区域D内具有唯一性。例如，Nevanlinna五值定理就是关于亚纯函数唯一性的一个经典结论。该定理表明，对于两个非常数亚纯函数f(z)和g(z)，如果它们在五个不同的值a_1,a_2,a_3,a_4,a_5上取值相同，即f^{-1}(a_i)=g^{-1}(a_i)（i=1,2,3,4,5，这里的等式表示原像集合相同，不计重数），那么f(z)\equivg(z)。这意味着在给定的复平面区域内，只要两个亚纯函数在五个不同的值上有相同的取值情况，就可以唯一确定这两个函数是相等的。从几何意义上理解，我们可以将亚纯函数看作是从复平面到黎曼球面的映射，当两个函数在黎曼球面上的五个不同点处的原像相同时，这两个映射在整个复平面上就是完全相同的。研究亚纯函数的唯一性问题在数学领域以及相关应用学科中都具有极其重要的意义。在数学理论研究方面，它是构建完整亚纯函数理论体系的关键环节。通过确定亚纯函数在特定条件下的唯一性，我们能够更加深入地理解亚纯函数的本质特征和内在规律。唯一性定理可以帮助我们在已知部分条件的情况下，准确地确定一个亚纯函数，避免出现多种可能性导致的理论混乱。在研究亚纯函数的性质时，唯一性问题的解决可以为其他相关问题的研究提供坚实的基础，如亚纯函数的插值问题、逼近问题等。如果我们知道在某些条件下亚纯函数是唯一的，那么在进行插值或逼近时，就可以更加有针对性地选择方法和构造函数，提高研究的效率和准确性。在实际应用中，亚纯函数的唯一性也发挥着重要作用。在数学物理问题中，许多物理现象可以用亚纯函数来描述，如量子力学中的散射问题、电磁学中的场分布问题等。在这些问题中，确定亚纯函数的唯一性对于准确描述物理现象和解决实际问题至关重要。在量子力学的散射问题中，亚纯函数可以用来描述粒子的散射振幅，通过研究亚纯函数的唯一性，我们可以确定在特定的散射条件下，散射振幅的唯一性，从而深入理解粒子的散射行为和相互作用机制。在电磁学中，亚纯函数可以用于描述电磁场的分布情况，利用亚纯函数的唯一性理论，可以分析在给定边界条件和初始条件下，电磁场分布函数的唯一性，为电磁学问题的求解提供理论依据。4.2亚纯函数唯一性定理4.2.1Nevanlinna唯一性定理Nevanlinna唯一性定理是亚纯函数唯一性理论的基石，为研究亚纯函数的唯一性提供了重要的框架。Nevanlinna五值定理表明，设f(z)和g(z)是两个非常数亚纯函数，若它们在五个不同的值a_1,a_2,a_3,a_4,a_5上取值相同，即f^{-1}(a_i)=g^{-1}(a_i)（i=1,2,3,4,5，这里原像集合相同不计重数），那么f(z)\equivg(z)。该定理的证明基于Nevanlinna值分布理论，通过对f(z)和g(z)的特征函数、计数函数等进行细致的分析和比较来完成。具体来说，利用Nevanlinna第二基本定理，对于非常数亚纯函数f(z)和g(z)，有(q-2)T(r,f)\leq\sum_{i=1}^{q}N(r,\frac{1}{f-a_i})-N(r,f)+S(r,f)，(q-2)T(r,g)\leq\sum_{i=1}^{q}N(r,\frac{1}{g-a_i})-N(r,g)+S(r,g)。当f(z)和g(z)分担五个值a_1,a_2,a_3,a_4,a_5时，N(r,\frac{1}{f-a_i})=N(r,\frac{1}{g-a_i})（i=1,2,3,4,5），通过对这些等式进行推导和变换，结合特征函数的性质，可以得出T(r,f)=T(r,g)+O(1)。再进一步分析，可证明f(z)\equivg(z)。从几何意义上看，我们可以将亚纯函数看作是从复平面到黎曼球面的映射，Nevanlinna五值定理意味着当两个函数在黎曼球面上的五个不同点处的原像相同时，这两个映射在整个复平面上就是完全相同的。这体现了分担值条件对函数唯一性的强大约束作用，五个不同的分担值就足以唯一确定两个亚纯函数的相等关系。为了更直观地理解Nevanlinna五值定理，我们通过具体的函数案例进行验证。设f(z)=\frac{z^2-1}{z^2+1}，g(z)=\frac{z^4-1}{z^4+1}。首先，分别求出f(z)和g(z)取值为0,1,-1,\infty,i时z的值。对于f(z)=0，即\frac{z^2-1}{z^2+1}=0，解得z=\pm1；f(z)=1时，\frac{z^2-1}{z^2+1}=1，无解；f(z)=-1时，\frac{z^2-1}{z^2+1}=-1，解得z=0；f(z)=\infty时，z^2+1=0，解得z=\pmi；f(z)=i时，\frac{z^2-1}{z^2+1}=i，整理得z^2-1=i(z^2+1)，即(1-i)z^2=1+i，z^2=\frac{1+i}{1-i}=i，解得z=\pm\frac{\sqrt{2}}{2}(1+i)。对于g(z)，g(z)=0时，\frac{z^4-1}{z^4+1}=0，解得z=\pm1,\pmi；g(z)=1时，\frac{z^4-1}{z^4+1}=1，无解；g(z)=-1时，\frac{z^4-1}{z^4+1}=-1，解得z=0；g(z)=\infty时，z^4+1=0，解得z=\frac{\sqrt{2}}{2}(\pm1\pmi)；g(z)=i时，\frac{z^4-1}{z^4+1}=i，整理得z^4-1=i(z^4+1)，即(1-i)z^4=1+i，z^4=\frac{1+i}{1-i}=i，解得z=\frac{\sqrt[8]{2}}{2}(\pm1\pmi)。可以发现f(z)和g(z)并不分担五个不同的值，所以f(z)\not\equivg(z)。若我们构造两个函数使其分担五个值，如f(z)=\frac{z-1}{z+1}，g(z)=\frac{1-z}{1+z}，f(z)和g(z)分担0,1,-1,\infty,2这五个值（计算过程类似上述），根据Nevanlinna五值定理，可验证f(z)=-g(z)，体现了定理的正确性。4.2.2其他重要的唯一性定理在Nevanlinna建立五值定理之后，众多学者通过附加各种不同的条件，分别建立了分担四个值、三个值、两个值甚至一个值的唯一性定理，这些定理在不同的条件下对亚纯函数的唯一性进行了深入的探讨和刻画。分担四个值的唯一性定理中，比较有代表性的是若两个非常数亚纯函数f(z)和g(z)分担四个值a_1,a_2,a_3,a_4，且满足一定的亏值条件，即\delta(a_i,f)+\delta(a_i,g)\gt2（i=1,2,3,4，其中\delta