有关证实部函数的一族解析函数.docVIP

有关正实部函数的一族解析函数 廖扬 赤峰学院 数学与统计学院数学与应用数学08级 学号 08041320212 摘 要：本文引进并讨论有关正实部函数的一族解析函数，用从属关系和最大模原理讨论中函数的系数不等式，由此推出类中函数的偏差定理、覆盖性质、极值点、包含关系、半径问题等性质. 关键词:正实部;解析;从属关系;极值点. 引言 在十七和十八世纪，随着微积分的产生和发展，人们开始把实变函数推广到复变函数的情形并且获得了一些重要结果.十九世纪，柯西、维尔斯特拉斯、黎曼的研究奠定了复变函数理论的基础，使复变函数理论日益成熟和系统化.二十世纪，在经典的复变函数理论得到了新的发展和应用的同时，数学工作者又开辟了复变函数的众多的分支，单叶和多叶解析函数理论就是其中一个极为重要的组成部分.其中单叶函数就曾被Hurwitz进行了深入地研究，几乎同时 Koebe 在进行代数曲线单值化研究时，发现了在单位圆盘内单叶解析的函数具有许多重要的性质并对它进行了深入的研究，获得了一些经典的成果单叶函数的研究开始逐步进入从定性研究转向定量方面的研究，在研究过程中，解决了一些难而有趣的问题，其中就涌现了一批我国杰出的数学家，如最早从事单叶函数方面研究的是陈建功教授.在他的带动下，龚升、任福尧、夏道行、胡克、刘书琴等人也在单叶函数方面做出了许多重要的工作，不少成果达到了国际先进水平，使单叶函数成为我国最有成效的数学研究分支之一.由于单叶函数许多方面的性质我们可以推广到多叶的情况，因此，单叶函数成为目前国内外专家研究较广的一类复变函数，通过对单叶函数的进一步探索，会更近一步了解某些复变函数的更多性质. 设表示在单位圆内解析且满足，的函数构成函数类. 称为正实部函数. 设与在内解析，若存在内解析函数，满足，，使得 则称从属于，记为. 定 义：设，，用表示满足条件 （1） 的函数全体组成的类 由定义充要条件为，存在解析函数并且对满足，，使得 ， 即 （2） 其中 （3） 本文用从属关系和最大模原理讨论函数类，得到系数不等式，由此推出类中函数的偏差定理、覆盖性质、极值点、包含关系、半径问题等性质. 2. 系数不等式 定理1. 设，，，如果函数满足条件 （4） 则 证明：（充分性）设满足（4）式，令，则 = 由不等式（4）可知： 再由最大模原理，当时有： 所以当时（4）式成立，因此 定理2. 设，，，如果，则 （5） 证明：要证（5）式成立，则由已知条件，我们得到 对，则.所以 ， 取，则上式变为 取时 由此推出 下面讨论等号成立的函数： 令，其余全为0，则 所以时就能达到准确值. 3. 偏差定理，覆盖性质 定理3.设且 则 证明：则由定理2，有 即 因此 由，得到成立. 推论1.（覆盖定理）设.单位圆盘D被映射成域，则 因此可以覆盖圆，且不能含有比圆更大的圆，此结论是精确的. 4. 极值点 定理4.设，。 若，则 ， 证明：设，由定理2得 所以 故 证毕. 定理5. 设，则，当且仅当 ， 其中. 证明：（必要性） 设 则 于是. （充分性）设，由定理2得 令 且. 则有 证毕. 5.闭包定理 定理6. 设c为实数且，， 则对有， 其中. 证明：因为，则由定理2得 所以 从而 证毕. 6.星象半径 定理7.设则在内有，其中 . 证明：设，由Schwarz引理，存在，，使得， 所以 即 由单叶函数必要性可知： 所以 即 由定理2得 所以 即 证毕. 7.凸半径 定理8.设，则在内，，为凸函数，其中 证明：因为且 由Schwarz引理可得 由定理2可得 即 8.积分算子封闭性 定理9.设为实数且，.则积分算子 满足. 证明：设，则由的表达式得到 其中. 因为，所以 . 所以，由定理1可知， 证毕. 定理10. 设为实数且，，则在中是单叶的，其中 . 证明：设，则 因为 如果，则有，而定理2有 因此 则 证毕. 9.不等式 将函数类中建立不等式，为此需要如下引理： 设在内解析