数学物理方法3-5.pptVIP

3.5 多值函数及其黎曼面 前面讨论：单值复变函数 现在讨论：多值复变函数 多值函数w=f(z)：对于自变量z的每一个值，一般有两个或 者两个以上的函数值w与之对应。 多值函数有：根式函数、对数函数、反三角函数… 关心的问题： 自变量z与函数值w的对应关系，特别是当z连续变化时 这种对应关系可能的变化。 例：对于多值函数f(z)的积分 ，必须确定z与f(z)之间 的这种对应关系和这种关系的变化。否则积分无意义，至少不确定。 最简单的根式函数： 一、根式函数 当k=1,3,5…时: 1.多值性：令 ， ——无限多个辐角 (注意： ) 当k=0,2,4…时： 可见，Z平面上的一个点： ，对应着W平面的两个 点：w0 ,w1 。 w(z)是一个多值函数，且称w0 与w1为 的两个 单值分支。每一个分支是一个单值函数。 考察z的连续变化：在复平面上可用 一条曲线来描述z的变化过程。 造成根式函数 多值的原因： (1) z从某一给定的 z =ρe iφ0 出发，对应的w从w0出发。令 z沿逆时针方向环绕原点(z=0)转一圈回到原处时，它的辐角由φ0变为φ0+2π =φ1 ，而w由 w0变为w1，即w从一个单值分支变到另一个单值分支。继续令z沿逆时针方向绕 z =0 转一圈，z再次回到原处，它的辐角由φ0+2π =φ1变为 φ0 + 4π， z的辐角的多值性，即 而w由w1 变为w0 。这样再转第三圈：辐角为φ0+6π ，而 w由 w0 变为w1 ，与第一圈上的值完全相同…。 (2) 依然从 z =ρe i φ0 出发，但不绕原点z=0转圈，则z在环 绕过程中，其辐角开始增加，到达A点后减少，到达 B 后 又增加。z回到原出发点时，辐角值又回到初值的辐角φ0。 w始终在同一单值分支中变化，不会变化到另一分支。 定义——支点： 对于每一个特定的多值函数，都存在一些特殊的点。当 z环绕该点转一圈回到原处时，w(z)的值将由一个单值分支变 到另一个单值分支。这些特殊的点就称为多值函数的支点。 显然：z=0是 的一个支点。 考察∞点的情况： 令 ，则 ，当 t 绕 t=0转一圈 (相当于 z 绕∞ 点转 一圈(相当于z绕∞点转一圈) 时，w 的值不会还原，可见 z= ∞是 的另一支点。 2.将多个单值分支分开的方法 在根式函数的两个支点之间作割缝，并规定：z在连续 变化的过程中不能跨越割缝。 (1) 的割缝：其支点为 z =0， z = ∞ 从z=0出发，沿x轴正方向作一割缝至z=∞。此时，z无 论在平面上怎样变化都不可能绕 z= 0或 z =∞转一圈，则辐 角的变化范围在2π之内，由此可知，w 的值必在一个单值 分支之内。 (2) 割缝的上、下岸z的辐角值的规定 若割缝上岸z的辐角值为φu =0 ，割缝下岸 z 的辐角值 为φL =2π 。辐角变化范围：0≤φ0 2π ，对应 这一单值分支。 若割缝上岸z的辐角值为φu = 2π ，割缝下岸z的辐角 值为φL = 4π 。辐角变化范围：2π ≤φ1 4π ，对应 这一单值分支。 3.求支点及单值分支的例题 4. 的黎曼面—形象地描述多值函数 值的变化 函数 的值在z绕z=0转第二圈时，与z转第一圈时不同。 设想：z的第一圈和第二圈分别在“不同的”复数平面上运行，即将z平面分为两叶平面。为了把多值函数的各个分 支作为整体来研究，两叶平面作以下粘合：第一页的下 岸与第二页的上岸φ = 2π 粘合在一起，第二页的下岸 与第一页的上岸 φ = 0粘合在一起。这样，z的第三圈同于 第一圈，z的第四圈同于第二圈。由两叶组成的Z平面就称 为 的黎曼面。 5. 其它根式函数 现在考虑函数 (3-5-1) 其中z是自变量，a是复常数，根式下的函数z–a在复平面上是由a指向z的矢量，如图3-5-5。令 对每一个z值，函数w有两个分支： 图3-5-5 为了划分单值分支，首先找分支点，在复平面上考察矢量 z–a，当z绕a点转一圈时，Arg (z–a)改变2π函数值从一个分支变到另一个分支，所以 z = a 是分支点。同样