1、复变函数论复变函数:若在复数平面上存在一个点集,对于中的每一点,按照一定的规律,有一个或多个复数值与之相对应,则说在点集上定义了一个复变函数,记作:,点集叫作函数的定义域令:,并将代入,则有:初等复变函数:指数函数:三角函数: , , 1)因为,所以,具有实周期2),为无界函数。3) 双曲线函数: , , 对数函数: 幂函数:一般指数函数:复变函数的导数:设函数是在区域上定义的单值函数,对于上的某点,如果极限存在,则称函数在点处可导,此极限叫作函数在点处的导数,表示为: 复变函数可导的充要条件:复变函数可导的充要条件是偏导数,存在、连续,并且满足柯西-黎曼条件,即:,解析函数(全纯函数,正则函
2、数):如果函数在点及其邻域内处处可导,那么称在点解析。如果在区域内每一点都解析,那么称在内解析,或称为内的一个解析函数。注:在某点解析在该点可导该点连续该点有极限区域解析区域可导,即解析函数是函数在一个区域上的性质,而不是在一些孤立点上的性质。解析函数在定义域内的和、差、积、商(分母不为零)仍然为解析函数. 设给定二元调和函数,作为解析函数的实部,由柯西-黎曼条件可求出相应的虚部,进而确定这个解析函数。设二元函数的全微分式为:考虑柯西-黎曼条件可得:的三种计算方法:(1) 曲线积分法:全微分的线积分与路径无关,可选取特殊路径积分,使积分容易求出(2) 凑全微分显式法:把凑成全微分的显式,求出。
3、(3) 不定积分法例题. 已知解析函数的实部,求虚部和这个解析函数容易验证为调和函数:由柯西-黎曼条件可得: 所以有:(1) 曲线积分法: 图1取如图1所示的积分路径,可求出积分其中为积分常数。(2) 凑全微分显式法:所以有; (3) 不定积分法: ,把视为参数,对积分可得:对求偏导数与向比较可得:所以由可得:所以有:可把,代入上式求出复变函数积分:复变函数的积分归结为两个实变函数的曲线积分:若曲线由参数方程,给出则有,可得积分的计算公式高阶导数公式设在区域内是解析的,在闭区域上是连续的,为的边界,对于区域内的任一点,可以求导任意多次,第阶导数可表示为:上式可看作在柯西公式对求次导,其中等式右
4、边在积分号内对关于求次导。幂级数: 其中:系数和固定点都是复常数,是一个复变量幂级数收敛半径的比值判别法(达朗贝尔判别法): 幂级数收敛半径的根式判别法(柯西判别法): 奇点法:幂级数中心到最近奇点的距离即为收敛圆的半径收敛圆:泰勒级数:定理:设函数在区域上是解析的,为区域内任一点,在区域内的圆中,可以展开为泰勒级数:泰勒级数的收敛半径为到区域的边界的最短距离将函数展开为泰勒级数的方法1直接计算系数:例题. 以为中心,将展开为泰勒级数。解:的各阶导数为,所以:2. 换元法:例题. 试分别以及为中心将函数展开成Taylor级数,并指出其收敛半径.解:利用级数,来展开以为中心,则有:的奇点是,从中
5、心到的距离为1,所以收敛半径。3. 在收敛圆内逐项求导法(求积分法)例题. 以为中心, 将函数展开为Taylor 级数解:已知,等式左边对求导,右边对逐项求导可得:,洛朗定理:若函数在环形区域内解析,则可在环形区域内任一点展开为罗朗级数,其形式为:其中展开系数为: 积分路径为环形区域内绕的任一简单闭合曲线。罗朗级数中称为展开式的正则部分,称为主要部分。罗朗级数在环形区域内绝对且一致收敛罗朗级数展开方法举例例题. 将函数在以为中心的环形区域内展开为罗朗级数。解:在上式中令,再把写成可得:例题. 已知函数,以为中心将函数展开成罗朗级数解:已知上式中的第二项有一个奇点,所以在为圆心的圆周内,可以展开
6、为泰勒级数:所以有:,孤立奇点:若函数在不可导(或无定义),而在的任意小邻域内除外处处可导,则称点是的一个孤立奇点。孤立奇点的分类及其判定(1) 可去奇点:若极限存在,则称为的可去奇点。(2) 极点.零点:不恒为零的解析函数如果能表示成其中为正整数,在点点解析,且,那么为的阶零点。零点判定定理:如果函数在点解析,那么为的阶零点 例如:为的一阶零点极点:如果函数在其孤立奇点邻域内的罗朗级数中的主要部分为有限项则称为函数的阶极点。上式也可表示为,其中对于,有且为邻域内的解析函数(3)本性奇点:函数在其孤立奇点邻域内的罗朗级数中的主要部分有无限项留数概念(Residue):若点是函数的一个孤立奇点,
7、函数在环形区域内解析,则在此环形区域内,可展开成罗朗级数罗朗级数的项的系数叫作函数在点的留数(或残数),记作。留数定理:设函数在简单闭合曲线所围区域内除有限个孤立奇点外处处解析,在闭区域上除外连续,则有:其中沿曲线的积分方向为逆时针方向。留数的计算(1) 若为的可去奇点,为中心的罗朗级数中不含负幂次项,则:(2). 若点为的一阶极点:若函数可以表示为的特殊形式,其中函数和都在点解析,点为的一阶零点(),且,点必为的一阶极点,则有公式:(3). 若为的阶极点,则函数在环形区域内的罗朗级数展开式为:可容易得到计算在点的留数的公式:(4). 若为的本性奇点,求留数采用罗朗级数展开法或直接计算围道积分
8、。 复数形式的傅里叶级数:, , 对于复数形式的傅里叶级数,尽管是实变函数,但其傅立叶系数却可能是复数。容易证明:在区间上的函数系有如下性质:函数:如果一个函数在上满足下列条件:(1) (2) 这样的函数称为函数。函数等价的泛函定义:若对于任意一个定义在上的连续函数总有: 数理方程分离变量法解题的一般步骤(1) 代入试探解,将偏微分方程的定解问题通过分离变量转化 为常微分方程的定解问题。(2) 依据齐次边界条件,确定本征值和本征函数。(3) 求解关于的常微分方程的通解,把得到的通解与本征函数相乘得到本征解,这时本征解中还包含着任意常数。(4) 利用叠加原理,求出定解问题的解。(5) 应用本征函
9、数的正交性以及初始条件确定任意常数。例题:求细杆的导热问题,杆长为,两端保持为摄氏零度,初始温度分布为:。解:本题的定解问题为:应用分离变量法,设,代入到泛定方程和边界条件可得: 式的本征值,本征解为 式的解为:则本题的本征解为其中待定常数。本题的解表示为本征解的线性叠加:代入初始条件可得: 展开系数为:所以问题的解为:用本征函数展开法求解非齐次方程齐次边界条件和零初始条件(齐次定解条件)下的非齐次方程的定解问题例设有如下定解问题则用本征函数展开法求解的步骤如下:第一步. 求解相应齐次边界条件的齐次方程的本征解由分离变量法(参考例1)可得本征解系第二步. 设非齐次方程的本征解为,非齐次方程的解
10、可表示为本征解的线性叠加:第三步. 把非齐次方程中的自由项用本征解系展开其中展开系数由本征解的正交性求出如下第四步. 把非齐次方程的解和代入到定解问题中的泛定方程可得:考虑到本征解的正交性,由上式可得:同理,把非齐次方程的解代入到初始条件可得:则可得关于的定解问题:上式可由拉普拉斯变换来求解,所得的解如下:第五步. 把代入得到非齐次方程的定解问题的解为:由上面的推导可知解满足泛定方程,齐次边界条件和零初始条件。对于齐次边界条件和非零初始条件的非齐次方程的定解问题的求解,可由叠加定理化为齐次边界条件和非零初始条件的齐次方程,以及齐次边界条件和零初始条件的非齐次方程的定解问题的线性叠加。例 已知如
11、下的齐次边界条件和非零初始条件的非齐次方程的定解问题令,由叠加定理可得如下两个关于和的定解问题:关于和的定解问题的线性叠加即为原来的定解问题。它们的求解可用前面介绍的特征函数展开法以及分离变量法求解。二阶线性常微分方程的标准形式为:例如:勒让德方程: 例如:贝塞尔方程: 二阶线性常微分方程中的函数,和在某个区间内为实函数,而对方程级数解法的讨论需要在复数平面上进行。不失一般性,我们讨论复变函数的二阶线性常微分方程 (1)在满足初始条件,下的级数解,其中,为任意给定的复常数。施图姆刘维尔(SL)本征值问题施图姆刘维尔(SL)型方程:形式为的二阶常微分方程称为施图姆刘维尔(SL)型方程,其中:为核
12、函数,为权函数,为分离变量过程中引入的参数。注:一般的二阶常微分方程,乘上函数就可以化成施图姆刘维尔(SL)型方程:施图姆刘维尔(SL)本征值问题:在一定的边界条件下,求解施图姆刘维尔(SL)型方程的值(本征值)以及相应的非零解(本征函数)。如:在施图姆刘维尔(SL)方程中:(1) 取,两边界点,以及自然边界条件和为有限值,则可构成如下的勒让德方程本征值问题(2) 取,两边界点,以及自然边界条件和为有限值,则可构成如下的连带勒让德方程本征值问题(3) 取,两边界点,以及边界条件有限,则可构成如下的贝塞尔方程本征值问题方程的常点:如果方程(1)的系数函数和在选定的点的邻域内都是解析的,则称点为方
13、程(1)的常点。 方程常点邻域内的级数解:定理:如果和在圆内是单值解析的,则方程(1)在这圆内存在唯一的解析解满足初始条件,其中,为任意给定的复常数。既然方程(1)在常点的邻域内存在唯一的解析解,则可表示为此邻域上的泰勒级数:其中系数待定。例如:勒让德方程其中,则为其常点,根据常点邻域内级数解的定理,勒让德方程在的邻域内具有泰勒级数形式的解。 勒让德(Legendre)方程的导出勒让德方程来源于在球坐标系下用分离变量法求解偏微分方程。 图8-1如图8-1为球坐标系的示意图,球坐标与直角坐标的关系为:, , 三维拉普拉斯方程在球坐标系下的表达式为:应用分离变量法求解,令,代入方程可得:用乘以上式
14、可得:等式左端只与有关,右端只与,有关,要使等式成立只有左右两端都等于一个常数,令这一常数为,则可得: 其中式为欧拉型方程,令,参考第七章例4可得其通解解为: 式中等式左端只与有关,右端只与有关,由周期性条件可令等式两端都等于常数,则可得: 上式称为阶连带勒让德方程。在式中作变量替换,令,有,令,则可得:则式的阶连带勒让德方程可化为:亦即: 其值为有限的解是连带勒让德多项式。当时,在这种条件下与无关,则阶连带勒让德方程可进一步简化为勒让德方程:总结:球坐标系中三维拉普拉斯方程的解为: 勒让德方程和自然边界条件构成的本征值问题在球坐标系中分离变量已得勒让德方程:勒让德方程的解在边界为有限值的自然边界条件勒让德多项式的微分表示(罗德里格斯公式):勒让德多项式为勒让德方程满足自然边界条件,即在两端点处为有限值的本征解。勒让德多项式的积分表示(拉普拉
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1