1第12章积分变换法——求解偏微分方程的另一种方法1.积分变换通过积分运算,把一个函数f(x)变换为另一个函数,即:积分变换的核,决定了变换的具体形式f(x):原函数,:像函数2几种积分变换:傅里叶变换拉普拉斯变换梅林变换32.为什么进行积分变换?(1)经过变换后,函数关系变得简单。如:常微分方程代数方程;奇异函数(阶跃函数、函数、格林函数等)规则函数(2)对于有限边界的定解问题,分离变量法适宜;对于无界问题,积分变换法适宜。关于无界问题的说明:如果物体的体积很大,而所需要知道的只是在较短的时间和较小范围内的变化情况,那么边界条件所产生的影响可以忽略,此时问题就变成只有初始条件、没有边界条件的定解问题(柯西问题).但无边界条件就无法构成本征值问题(分离变量法的重要步骤)。43.积分变换法求解数理方程的基本思想如果不方便从原函数的方程直接求解,那么可能找到适当的积分变换,把问题变换成比较简单的求像函数的定解问题,再通过逆变换把求得的像函数变换成原函数,从而得到所要求的解。从物理上讲,经过积分变换后,域发生了变化。例:时间域t频率域空间域波矢域512.1傅里叶变换一、傅里叶级数和复数形式的傅里叶级数一个以2l为周期的函数f(x),若在区间[-l,l]满足狄利克莱条件:(1)连续或只有有限个第一类间断点;(2)只有有限个极值点,则f(x)在[-l,l]上可展开为傅里叶级数利用三角函数的正交关系,可得6第一类间断点•如果x0是函数f(x)的间断点,但左极限及右极限都存在,则称x0为函数f(x)的第一类间断点。•在第一类间断点中,左右极限相等者称可去间断点,不相等者称为跳跃间断点。7傅里叶级数的复数形式(指数形式):令,则为了求系数需证明:利用欧拉公式8910二.傅里叶积分和傅里叶积分定理已知:满足狄利克莱条件的周期性函数f(x)可展开成傅里叶级数问题:非周期函数能否展开成傅里叶级数?设想周期函数的周期2l不断增大而趋于无穷,即自变量每增长无穷,函数才变化一次,当自变量增长为有限值,函数并不重复变化,即它已经转化为非周期函数。此时可以把符合一定条件的非周期函数展开成傅里叶积分。11可以证明:如果定义在的函数在任一有限区间上满足狄利克莱条件,且绝对可积(有界),则在f(x)的连续点处,傅里叶积分存在:在f(x)的第一类间断点处,积分等于——傅里叶积分定理12从傅里叶级数到傅里叶积分的过渡:由于,所以相邻两值之差为(定积分定义)1f(x)[()]2ikikxfededk13三维形式的傅里叶积分:112233112233()1231231233()1231(,,)[(,,)](2)ikkkikxkxkxfxxxfededkdkdk采用记号:(书写方便)3213313131ddddekkeexxiiiiiiiii3123dkdkdkdk332211kkkk1f(x)[()]2ikikxfededk14傅里叶积分的三角形式:由上式可见:正弦项是k的奇函数,对k的积分为零;余弦项是k的偶函数,为在区间积分值的两倍。其中:15三.傅里叶变换的定义1.定义在傅里叶积分公式中令则可见::f(x)的傅里叶变换记作:,即傅里叶变换傅里叶逆变换16显然:f(x)的傅里叶变换的傅里叶逆变换等于自身,即f(x):的傅里叶逆变换记作:,即2.三维傅里叶变换的定义17四、函数的傅里叶展开函数可表示为指数函数与三角函数的傅里叶积分证明:令,代入傅里叶正变换,得18再将上式代入傅里叶逆变换,有利用欧拉公式及奇函数的积分性质,可得19函数傅里叶展开的三维形式20四.傅里叶变换的性质1.线性定理:若21,为任意常数,则对于任意函数)(1xf及)(2xf有)]([)]([)]()([22112211xfFxfFxfxfF11111221122[()()][()][()]FfkfkFfkFfk证明:第一式。由傅里叶变换的定义出发:212.延迟定理:设为任意常数,则)]([)]([00xfFexxfFikx——对于发生了任意位移的函数,其傅里叶变换等于f(x)的傅里叶变换乘以一相位因子证明:由定义:22上式即为再对上式两边求傅里叶逆变换,有233.位移定理:设为任意常数,则00[()]()ikxFefxfkk——意义与延迟定理类似证明略。4.相似定理:设a为不等于0的常数,则1[()]()()||kFfaxfaaa:压缩因子证明见教材p251。245.微分定理:若当则有说明:(1)原函数存在微分运算,像函数中没有微分运算;(2)微分运算(FT)代数运算(乘运算)。进而:常微代数方程,偏微常微证明:当n=1时,由傅里叶积分变换定义及分部积分法25类似可证明:扩展:对偏导数作傅里叶变换注:以上求偏导数和作傅里叶变换都是针对变量x但是:此时:求偏导数是对变量y,但作傅里叶变换是对变量x。266.积分定理:若f(x)满足微分定理的条件,则说明:(1)原函数存在积分运算,像函数中无积分运算;(2)积分运算代数运算(除法运算)。证明略。277.卷积定理说明:(1)卷积的定义:(2)原函数存在卷积运算像函数间的普通乘积28证明:由定义得298.像函数的卷积定理证明见教材p253。9.乘积定理若和是x的实函数,则证明见教材p253。3012.2傅里叶变换法应用范围:求解无界区域的定解问题用傅里叶变换法求解定解问题的思想与步骤:(1)对定解问题作傅里叶变换,化偏微分方程为常微分方程;(2)求解像函数;(3)对像函数作傅里叶逆变换,得所求问题的解(作反演)。31一、波动方程的定解问题例:求解无界弦的振动的初值问题解:1对于方程及初始条件作关于变量x的傅里叶变换322.求解像函数方程(4)的通解:解出后代入(6):(7)(6)(6)式代入(5):(8)33像函数343.作像函数),(~tku的傅里叶逆变换11111(,)[(,)]111[()][()]22111[()][()]22ikatikatikatikatuxtFuktFkeFkeaikFkeFkeaik上式中第二个方程的1,3项由延迟定理得:)(~)]([)]([ketFeatxFikatikat对上式两边作逆变换:35(2)、(4)项由积分定理、延迟定理得:对上式两边作逆变换:达朗贝尔公式36二、热传导方程的定解问题:见教材p258[12.2.2]三、三维泊松方程的定解问题:见教材p260[12.2.4]u(x,t)的初值问题的初值问题解出求F变换F逆变换u(x,t)傅里叶变换法解题思路:3712.3拉普拉斯变换一、拉氏变换的定义由来:对f(x)进行傅里叶变换,f(x)必须满足很强的条件:f(x)在有定义,在任一有限区间满足狄立克莱条件且要求有界。一些常用的、很简单的函数(如sinx,cosx等)不满足这些条件,这就限制了傅里叶变换应用的范围。寻求新的变换38引入函数:对定义于的f(t)作适当处理如果足够大,函数的傅里叶变换可能存在,于是变量变换:定义函数为的拉普拉斯变换将(5)、(4)式代入(2)式:39在内,,将(1)、(4)、(5)代入(3)得:两边乘:(6)、(7)构造出一对新的积分变换,称(6)为f(t)的拉普拉斯变换,记作:Laplacetransformation逆变换:40(7)称为的拉普拉斯逆变换,记作::像函数,f(t):像原函数显然:41二、拉普拉斯变换的存在定理若函数f(t)满足下述条件:(1)当t0时,f(t)=0,当时,f(t)在任一有限区间上分段连续;(2)当时,f(t)的增长速度不超过某一指数函数,即存在常数M及,使得则:在半平面上存在且解析。422.若f(t)=sinbt或cosbt(b为实数),则三、常用函数的拉氏变换1.若则43即则令3.若同理:则441.线性定理:若为任意常数,则四、拉氏变换的性质令,则452.延迟定理:设为非负常数,则证明:由定义:u0:f(u)=0,故463.位移定理:设为复数,有证明略。4.相似定理:若c为大于零的常数,则证明:由定义475.微分定理:设分段连续,则证明:由定义得48同理,用f’(t)代替f(t),得继续做下去,定理即可得到证明。特例:,则496.积分定理证明见教材p267。7.像函数的微分定理证明见教材p267。8.像函数的积分定理证明见教材p267。509.卷积定理证明:由卷积定义及拉氏变换的定义得上式逆变换:51拉氏变换LaplaceTransformation傅里叶变换FourierTransformation变换逆变换逆变换变换524.相似定理:3.位移定理2.延迟定理1.线性定理拉氏变换LaplaceTransformation傅里叶变换FourierTransformation537.卷积定理9.像函数的积分定理8.像函数的微分定理6.积分定理5.微分定理9.乘积定理8.像函数的卷积定理