复变函数2.2 初等解析函数.docVIP

§2 初等解析函数 例2.3 及例2.4已经指出了多项式及有理分式函数的解析性。这一节和下一节将进一步讲复变数的初等函数，这些函数是数学分析中通常的初等函数在复数域中的自然推广。经过推广之后的初等函数，往往会获得一些新的性质。例如，复指数函数是有周期的，函数已不在是有界的，等等。 指数函数 由例2.9，我们知在平面上解析，且。进一步，还易验证因此，我们有理由给出下面定义。 定义2.4 对于任何复数，我们用关系式 来规定指数函数 对于复指数函数，我们指出它具有如下的性质： (1) 对于实数来说，我们的定义与通常实指数函数的定义是一致的。 (2) 在平面上 (3) 在平面上解析，且 (4) 加法定理成立，即 (5) 是以为基本周期的周期函数（注（1）） 因对任一整数， 这里 （6）极限不存在，即无意义 因当沿实轴 趋于时，；当沿实轴趋于时， 注: （1）如一函数当增加一个定值时其值不变 ，即，则称为周期函数，称为的周期。如的所有周期都是某一周期的整倍数，则称为的基本周期。 （2）（2.9）式中，当 的实部 时，就得到欧拉公式 所以（2.9）是欧拉公式的推广 （3）因，从而 ； （4）仅仅是一个记号，其意义如定义2.4，它没有幂的意义 （5）虽然在平面上，（为整数），但 即不满足罗尔（Rolle）定理，故数学分析中的微分中的微分中值定理不能直接推广到复平面上来。不过，洛必达（LHospital）法则在复平面上却是成立的（见本章习题2） 例2.11 对任意的复数，若，则必有（为整数） 证 由假设，对，，就有 ， 于是 ， 所以 ， ， 因此 ，（为整数） 故必有 （为整数） 2．三角函数与双曲函数 由（2.9），当时推得 ， 这里左端表右端那个确定的复数，从而得到 ， 对于任意的实数成立。这两个公式中的 代以任意复数后，由（2.9），右端有意义，而左端尚无意义，因而我们给出如下定义 定义2.5 规定 ， ， 并分别称为的正弦函数和余弦函数 这样定义的正弦和余弦函数具有如下性质： 对于为实数来说，我们的定义与通常正弦及余弦函数的定义是一致的 在平面上是解析的，且 ， 因为 同理可证另一个 （3）是奇函数，是偶函数，并遵从通常的三角恒等式：例如 ， ， \等等。 （4） 及是以 为周期的周期函数 因由定义2.5， 同理可证另一个 （5）的零点（即的根）为 的零点为: 事实上，因为方程可以 写成，如令，即可写成 , 故 ，， 即 ， 所以是的零点 （6）在复数域内不能再断言: ， 例如，取，则 只要充分大，就可大于任一 预先给定的正数 例2.12 求的值 解 例2.13 对任意的复数,若，则必有:（为整数） 证 由假设，有，因而 故必 （为整数） 定义2.6 规定 ， ， 分别称为的正切、余切、正割及余割函数 这四个函数都在平面上使分母不为零的点处解析，且 ， ， 正切和余切的周期为，正割及余割的周期为。例如，就函数来说，它在的各点处解析，且有。因为 例2.14 对任意的复数，若，则必有 （为整数） 证 由定义2.6及定义2.5知 ， 由此可见， 等价于，故必有: 所以 （为整数） 定义 2.7 规定 ， ， , ， ， 并分别称为的双曲正弦、双曲余弦、双曲正切、双曲余切、双曲正割及双曲余割函数。 显然，它们都是解析函数，各有其解析区域，且都是相应的实双曲函数在复数域内的推广 由于 及皆以本周为基期。故双曲正弦及双曲余弦函数也以为基本基期。 关于三角函数与双曲函数的有些性质以及它们之间的关系，我们已列入本章习题。 注 (1) 由定义2.5可知,对任何复数，有 ， 这是欧拉公式在复数域内的推广 (2) 定义、定义及定义本身就反映了复三角函数与复指数函数的关系以及复双曲函数与复指数函数的关系。换言之，无论是复三角函数还是复双曲函数，都是由复指数函数表示的。 本节所提到的初等函数