解析开拓

  Aaron ·  2008-11-08 11:31  ·  41447 次点击
目录
解析开拓
正文
配图
相关连接
解析开拓
正文
把解析函数的定义域扩大的过程。设?1和?2为分别定义于平面域G1和G2的解析函数,如果G1嶅G2,且?2|G1=?1,则称?2为?1的解析开拓。通常有两种解析开拓的方法,一是利用施瓦兹对称原理,一是利用幂级数展开式。对于一个解析函数来说,它的定义域可能完全不能开拓,这时称定义域具有自然边界,有例子说明这点。另一情况是,定义域逐次开拓后已不是平面域,而是覆盖在平面上的多叶域,函数本身是多值函数。据此,K.(T.W.)外尔斯特拉斯用幂级数解析开拓,引入完全解析函数与黎曼曲面的概念。
施瓦兹对称原理是把解析函数定义域作对称扩大的解析开拓法,其基本原理是:设?的定义域G在上半平面内,且以实轴上线段у为部分边界,?在G+γ上有定义且连续,在G内解析,在γ上?取值平面上实轴的值。G关于实轴的对称域G*定义为{z:墫∈G},则?可解析开拓为域G+γ+G*的解析函数g,当z∈G+γ时,g(z)=?(z),当z∈G*时,data/attachment/portal/201111/06/092547b8lcgggpwz6ig8g2.gif。如果把原理中的上半平面改为圆,实轴上的γ改为圆周上的弧,G*改为G关于圆周对称的域,利用线性分式变换,可以证这一原理仍成立。
此外,?在γ上可以改为取值平面上某圆周上的值。更一般的情况,如果?的定义域G的边界有一段解析弧γ,?在G+γ上连续,在G内解析,在γ上?取值在值平面的圆弧或解析弧上,则可证明,?可越过γ进行解析开拓,使开拓后的域包含γ在内部。对称开拓法一般应用于多边形域,模函数的构造就是典型的例子。
完全解析函数是外尔斯特拉斯引入的解析函数的概念,它是幂级数定义的解析函数元素经所有可能的解析开拓而成的整体。
函数元素是指具有非零半径的收敛圆的幂级数data/attachment/portal/201111/06/092547bbw7j5swv3twtkzs.gifdata/attachment/portal/201111/06/092618q7qz7hca9d9q59sc.gif,α称为元素的中心。p(z)是收敛圆内的解析函数。用有序对(α,p)表示这样的元素。函数(b,q)称为(α,p)的直接开拓,如果b在(α,p)的收敛圆内,在b的邻域内p(z)=q(z)。在平面上给定一弧у(t),0≤t≤1,у的起点у(0)=α,终点у(1)=b。元素(b,q)称为(α,p)沿弧у的解析开拓,如果对每一个t,0≤t≤1,存在惟一的函数元素(у(t),pt),使得对每个固定的t0,0≤t0≤1,当t充分接近t0时,pt总是data/attachment/portal/201111/06/09261988j28dj8jx2e5zc8.gif的直接开拓,另外p0=p,p1=q。函数元素沿弧的解析开拓总是惟一的。给定一个函数元素,沿所有可能的平面上弧的解析开拓得到的函数元素的全体,用F表示之,称之为完全解析函数。F是一个函数元素集,它是一个解析函数,它局部地等于其中每一个函数元素,它是一个多值函数。F的定义域一般已不是平面域。这个定义域局部地看是其中函数元素的收敛圆,它是这些收敛圆按对应元素的解析开拓连接而成的,覆盖在平面上的多叶域。按现代黎曼曲面定义,选取收敛圆作为局部参数邻域,z作为局部参数,F的定义域是一个黎曼曲面,F是其上的单值解析函数。通常研究多值解析函数时,要分出它的单值分支。对此要用到所谓单值性定理,其具体的形式是:如果一个函数元素在一个单连通域内,沿所有的弧可以解析开拓,则开拓后得到一个惟一的单值解析函数,它在这单连通域内每点上的值等于函数元素的值。对于F来说,应用单值性定理,找出适当的单连通域,便分出F对应于其上的单值分支。完全解析函数最简单的例子是data/attachment/portal/201111/06/092620wiub3a88kb6wyw6e.gif,它的定义域是覆盖在除去0点的平面上的两叶域。按单值性定理,在割去正实轴的平面上,它有两个单值分支,它的定义域即黎曼曲面是由这两叶割裂平面按两个单值分支的解析开拓连接得到。这里data/attachment/portal/201111/06/092620wiub3a88kb6wyw6e.gif的定义域不包含0点与∞点,因此还要引入解析构形的概念。首先要扩充函数元素的概念。考虑形如data/attachment/portal/201111/06/092620i18drdbbrh5rrr2z.gif的级数,式中λ是正整数,μ是整数data/attachment/portal/201111/06/092620bx6bbdsydxxdrxes.gif。这级数在一个λ叶圆上收敛,它是一个解析函数。当λ=1时它就是前面的函数元素,称为正则函数元素,其中μ

0 条回复

暂无讨论,说说你的看法吧!

 回复

你需要  登录  或  注册  后参与讨论!