2热传导方程的初值问题.docx

§ 2热传导方程的初值问题 一维热传导方程的初值问题 （或Cauchy问题） 2 u t u(x 2 a 0) u 2 x (x), f(x,t), x , x t 0 （） 偏导数的多种记号 u u Ut, 2 u u u u x , 2 u xx . t x x 问题也可记为 ut a2uxx f(x,t), x ,t 0 u(x,0) (x), x Fourier 变换 我们将用Fourier变换法求解热传导方程的柯西问题 ?为此我们将着重介绍 Fourier变换的 基本知识.Fourier变换在许多学科中是重要使用工具 可积函数,设f f（x）是定义在（）上的函数，且对任意 A B 可积函数,设f f（x）是定义在（ 积，若积分 f（x）dx收敛,则称f （ x）在（，）上绝对可积。 ）上绝对可积函数形成的集合记为 ）上绝对可积函数形成的集合记为 L1 （ )或 L(,)， 即 L( , ) 即 L( , ) L1( )f | |f(x)dx ，称为可积函数空间 连续函数空间：（ 连续函数空间：（ ）上全体连续函数构成的集合，记为C（ ), 有意义，称为Fourier变换，?（ 有意义，称为Fourier变换，?（ Ff() ?() f (x )e i xdx 定理（Fourier积分定理）若f L（ )c1( ），那么我们有 C(, )f | f在 ( ,）上连续， c1(, )f | f,f在( ,）上连续。 定义若f L（ ,），那么积分 1 f ( x)e i xdx ?(), ）称为f （ x）的Fourier变式（或Fourier变换的象）. N’?(N i x N ’?( N i x )e d f(x), 公式称为反演公式?左端的积分表示取 Cauchy主值. 通常将由积分g( ) 通常将由积分 g( )ei xd g ( x )所定义的变换称为 Fourier逆变换. 因此亦可写成 1 即一个属于 L( , ) C (,)的函数作了一次 Fourier变换以后，再接着作一次 Fourier逆变换，就回到这个函数本身. 在应用科学中经常把 ?()称为f ( x )的频谱.Fourier变换的重要性亦远远超出求解偏微 分方程的范围，它在其它应用科学中，如信息论，无线电技术等学科中都有着极为广阔的应用 ?它 是近代科学技术中得到广泛应用的重要数学工具 定理的证明在经典书中都能查到(如姜礼尚，陈亚浙，＜＜数学物理方程讲义＞＞) 定理 设f L( , )， ?( ) / f (x)e i xdx，则?()是有界连续函数，且 v2 lim ?( ) 0. 在运用Fourier变换求解定解问题以前，我们先来介绍一些 Fourier变换的性质 Fourier变换的性质： 1.(线性性质) 若 f j L( , ), j C, j 1,2.则 又因f(x) L( 又因f(x) L( )必有a 0 . 1 f1 2 f2 1?1 2?2， 2.(微商性质) 若 f (x), f (x) C( ,)L(, ),则 f i ?. dx 证明由假设 f(x), f (x) C( )L(,),故 | I3 m f(x) 0 事实上由f (x) C( ,)，则 f(x) x f(0) 0 f (t)dt, 因为f (x) L( J )，故有 lim f(x) x a f(0) 0 f (t)dt  df —— f (x)e i xdx dx 2 If/ \ i x TT f(x)e 由Xirn f(x) 0,利用分部积分公式 f (x )( i e x )dx 附注 这个性质说明微商运算经 Fourier变换转化为乘积运算，因此利用Fourier变换可把常系 数微分方程简化为函数方程，或把偏微分方程简化为常微分方程，正是由于这个原因‘Fourier变 换成为解微分方程的重要工具 ? 3.(乘多项式) 若 f (x),xf (x) L(, -J )则有 xf(x) i ?(). d 证明由于f(x),xf(x) L(,),故?()是的连续可微函数，且有 d ? d-?( 1 i x )f(x)( ix )e dx ( i ) xf (x ) 附注作为性质 dmf m i 2,3 的推论若 f ( x), f ( x), f (m)( x) C( ,)L( ,),则 m ?( ), (m 1) dx 若 f (x),xf (x ),xmf(x) L(, ),则 m x f (x) m 1 m ?( ) ,(m 1) d 4.(平移性质) 若 f (x) L( ,),则 f(x a) e ia?( ) (m 1) 证明 f(x a)~t= f(x a)e i xdx x a y 1 2 f(y)ei(ya)dy eia?() 5