数学物理方法 04 解析延拓

$\color{blue}{第四章 解析延拓 \cdot \Gamma函数}$

$\color{blue}{4.0.1 解析延拓}$

$1.解析延拓定义$
$设f_1(z)在区域\sigma_1中解析,若f_2(z)在另一与区域\sigma_1有重叠部分\sigma_{12}的区域\sigma_2中解析,\\ 且在\sigma_{12}中f_2(z) \equiv f_1(z), 则称f_2(z)为f_1(z)在\sigma_2中的解析延拓.同样,亦称f_1(z)为\\ f_2(z)在\sigma_1中的解析延拓.$
$例如:f_1(z) = \sum \limits _{k=0}^{\infty} z^k, |z| < 1; \quad f_2(z) = \dfrac{1}{1 - z}, z \neq 1$
$|z| < 1 : f_1(z) \equiv f_2(z)$
$简单地说,解析延拓,就是把已知区域内解析的函数推广到更大的区域上去.\\ 或者说解析延拓就是将解析函数的定义域加以扩大.$

$1.解析延拓的方法--泰勒展开$
$例:f_1(z) = \sum \limits _ {k=0}^{\infty} z^k, |z| < 1, \quad f_1(z) \in H(\sigma_1:|z| < 1)$
$记f_2(z) = \sum \limits _ {k=0}^{\infty} \dfrac{f_1^{(k)}(\dfrac{i}{2})}{k!}(z-\dfrac{i}{2})^k = \sum \limits _ {k=0}^{\infty} \dfrac{1}{(z-\dfrac{i}{2})^{k+1}}(z-\dfrac{i}{2})^k$
$R = |1 - \dfrac{i}{2}| = \dfrac{\sqrt{5}}{2}$
$则f_2(z) \in H(\sigma_2:|z-\dfrac{i}{2}| < \dfrac{\sqrt{5}}{2})$

$3.解析延拓的内唯一性定理$
$设f_1(z)和f_2(z)在区域G中均解析,若在G的任一子区域g中f_1(z) \equiv f_2(z), \\ 则在整个区域G中必有f_1(z) \equiv f_2(z).$
$由此可见,解析函数e^z, \sin z, \cos z等分别由实函数e^x, \sin x, \cos x等唯一确定.换句话说,\\ 只要这些函数是解析的,而且在实轴上取值e^x, \sin x, \cos x等,那么这些函数在整个复平面上\\ 便只能如1.4节那样所定义.$
$由此定理还可推知,我们熟知的各种初等函数的等式,在复变函数中也均成立.$
$例如:\sin 2x = 2 \sin x \cos x \to \sin 2z = 2 \sin z \cos z$
$因为\sin 2z 和 2\sin z \cos z都是解析函数,而且它们在实轴上相等.$

$\color{blue}{4.0.2 \Gamma函数}$

$1. \Gamma函数的定义$
$\Gamma(z) = \int_{0}^{\infty} e^{-t}t^{z-1} dt \quad Re z > 0$

$2.\Gamma函数的基本性质$
$(1) \Gamma(1) = 1$
$(2) \Gamma(z+1) = z \Gamma(z)$
$(3) \Gamma(n+1) = n! \quad n = 0, 1, 2 \cdots$
$(4) \Gamma(z) \Gamma(1-z) = \pi / \sin \pi z$
$(5) \Gamma(1/2) = \sqrt{\pi}$

$3.\Gamma函数的解析性$
$(1)定义:在有限区域中除极点外别无其它奇点的函数称为半纯函数.$
$(2) \Gamma 函数是半纯函数$
$(3) \Gamma 函数在平面除z = 0, -1, -2, \cdots, -n, \cdots这些一阶极点之外处处解析.$

$\color{blue}{4.0.3 B函数}$

$1.B函数的定义$
$B(p, q) = \int _0^1 t^{p-1}(1-t)^{q-1} dt \quad Re p > 0, Re q > 0$

$2.B函数的性质$
$(1) B(p, q) = 2 \int _0^{\frac{\pi}{2}} \sin^{2 p - 1} \varphi \cos ^{2 q - 1} \varphi d \varphi \quad (令 t = \sin ^2 \varphi)$
$(2) B(p, q) = \dfrac{\Gamma(p) \Gamma(q)}{\Gamma(p + q)}$
$(3) B(p, q) = B(q, p)$