复变函数论2-解析函数2-初等解析函数1-复指数函数2-eᶻ性质4：指数函数的加法定理成立【eᶻ¹⁺ᶻ²=eᶻ¹eᶻ²】

初等复变函数是一种最简单、最基本、最常用的函数类,在复变函数论及其应用中起着重要的作用.

在初等数学里曾用初等方法 (几何的、代数的) 讨论过初等函数,揭示了它们的一些性质; 在数学分析中曾用分析的方法讨论过它们,
并得到了许多有用的重要性质(连续性、可导性). 但是, 当时受实数范围的限制,没有看到它们的全貌.

现在, 我们即将盾到, 当初等函数推广到复数时, 又揭示出许多重要性质,如指数函数的周期性, 正弦函数、余弦函数的无界性等.

---

由例 2.10 , 我们知道 $f(z)={\mathrm{e}}^x(\cos y+\mathrm{i}\sin y)$ 在$z$ 平面上解析, 且 $f^{\prime }(z)=f(z)$.进一步, 还易验证

$$f\left(z_1+z_2\right)=f\left(z_1\right)f\left(z_2\right)$$

因此,我们有理由给出下面定义.

定义 2.4

对于任何复数 $z=x+\mathrm{i}y$,我们用关系式

$${\mathrm{e}}^z={\mathrm{e}}^{x+\mathrm{i}y}={\mathrm{e}}^x(\cos y+\mathrm{i}\sin y)(2.11)$$

来 定义 指数函数 ${\mathrm{e}}^z$.

对于复指数函数 ${\mathrm{e}}^z$, 我们指出它具有如下的性质：

1. 对于实数 $z=x(y=0)$ 来说,我们的定义与通常实指数函数的定义是一致的.
2. $\left|{\mathrm{e}}^z\right|={\mathrm{e}}^x>$