《偏微分方程教程》第七章_Fourier变换及其应用(1).ppt

淘花/百度专用 * 《偏微分方程教程》第七章 Fourier变换及其应用 淘花/百度专用 * §1 Fourier变化及其性质 【知识点提示】 Fourier变换的定义与性质及其逆变换。 【重、难点提示】 求解函数的Fourier变换及其逆变换，特别是逆变换。 【教学目的】 熟练掌握Fourier变换的定义和性质，能熟练地求解某些特殊函数的Fourier变换及其逆变换 。 淘花/百度专用 * 　　Fourier变换在线性偏微分方程, 特别是常系数线性偏微分方程的研究中十分重要. 它对求解各种数学物理方程具有普遍意义. 这一章我们将系统地介绍Fourier变换的基本知识及其运算性质. 最后利用Fourier变换及其逆变换求解某些典型数学物理方程的定解问题. 淘花/百度专用 * 在学习常微分方程的求解时, 我们介绍过Laplace变换, 它将一个常系数的线性常微分方程的求解转化为求解函数方程及对该函数方程的解实施Laplace变换的逆运算. 那么是否有其它形式的积分变换, 能将常系数的线性偏微分方程, 特别是三类典型的数学物理方程的求解变得简单呢？这就是我们下面将要介绍的Fourier变换。 淘花/百度专用 * 1.1．Fourier变换 　　定义 7.1 若　　　　　　　　, 则对任意的　　, 积分 有意义, 我们称它为的Fourier变换,或记为 　　定理 7.1 (Fourier积分定理)若 ,则 (1.1) (1.2) 淘花/百度专用 * 　　证：由于 ,因此含参变量的积分 对一致收敛, 且为的连续函数. 从而有 (1.3) 淘花/百度专用 * 现在分别讨论当 　　　时　　　　　的极限. 易知 同理可证 另一方面, 我们有 其中　　　　　　　　　　　是　　　的连续函数 (1.4) (1.5) 淘花/百度专用 * 现在任给 , 首先取 足够大，使得当 时, . 其次再固定 , 取 充分大, 由黎曼-勒贝格 (Riemann-Lebesgue)引理, 有 此外 , 当 充分大时, 有 将它们代入(1.3)立即可得当 时 定理证毕. 淘花/百度专用 * 公式(1.2)称为反演公式. 左端的积分表示取Cauchy主值.由此所定义的变换称为Fourier逆变换, 记为 因此(1.2)亦可写成 , 即一个属于 的函数作了一次Fourier变换以后,再接着作一次Fourier 逆变换, 就回到这个函数本身． 注:在以后应用Fourier变换的反演公式求解问题时, 我们先不必 深究上述定理的条件是否满足, 而是直接应用它导出问题的形式解, 然后再通过直接验证, 以确定这个形式解就是“真解”. 淘花/百度专用 * 性质 7.1(线性性质)若 , 则对任意常数 性质 7.2(平移性质)若 ，则对任意常数a, 有 (1.6) (1.7) 1.2.基本性质 　　在运用Fourier变换求解定解问题之前, 我们先介绍Fourier变换的一些基本性质. ，有 淘花/百度专用 * 性质 7.3(对称性质)若 , 则 (1.8) 以上三条性质的证明均可由Fourier变换及其逆变换的定义直接推出. 请读者自己完成 . 性质 7.4(微商性质)若 , 则 (1.9) 淘花/百度专用 * 证:由假设 知 事实上, 由 , 则 因为 , 故有 (1.10) 又因 , 由反证法亦知 , 即(1.10)成立.由(1.10), 利用分部积分公式, 有 淘花/百度专用 * 推论 7.1 若 则 (1.11) ， 注： 这个性质表明微商运算经Fourier变换后转化为乘积运算,因此利用Fourier变换可把常系数的常微分方程简化为函数方程,也可把偏微分方程简化为常微分方程.正由于这个原因,Fourier变换成为解常系数线性偏微分方程的重要工具. 淘花/百度专用 * 性质 7.5 (乘多项式) 若 , 则 证：由于 , 故 的连续可微 是 由此即知(1.12)成立. (1.12) 函数, 且有 淘花/百度专用 * 推论 7.2 若 , 则 (1.13) 性质 7.6 (伸缩性质) 若 , 为非零常数, 则 (1.14) 淘花/百度专用 * 证：不失一般性, 设 . 由定义7.1, 有 淘花/百度专用 * 性质 7.7 (卷积性质) 若 , 则 且有 证：由富比尼(Fubini