《Fourier分析在偏微分方程中的应用ppt课件.ppt》由会员分享,可在线阅读,更多相关《Fourier分析在偏微分方程中的应用ppt课件.ppt(30页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 偏微分方程的研究对象是作为偏微分方程解的函数,什么是“知道”一个函数似乎是一个显而易见的问题,但事实上这是一个非常深刻并革命性地推动偏微分方程发展的重要问题。从时空域 “知道”一个函数(经典分析);从试验函数“知道”一个函数(广义函数);从频谱域“知道”一个函数(Fourier分析);更一般地,通过一个基底“知道”一个函数。从从FourierFourier分析谈起;分析谈起;微局部分析:微局部分析: 拟微分算子;拟微分算子; 仿微分算子;仿微分算子;微局部分析的一个应用微局部分析的一个应用从从Fourier分析谈起分析谈起 1822年Fourier发表了他的名著热的解析理论。自此我们有了Fo
2、urier级数、Fourier积分,总之有了调和分析。 调和分析是数学中一百多年来为数不多地充满活力向前发展并对科学产生重大影响的数学分支。(Joseph Fourier, 17681830)从从Fourier分析谈起分析谈起Fourier在1807年就提交了第一篇关于热传导的论文。当时Laplace(17491827)和Lagrange(17361813)等人是评阅人;Fourier在1811年呈上修改过的论文,并得到奖金,但未发表在当时科学院报告;1922年Fourier发表了他的名著热的解析理论;两年后Fourier成为科学院秘书,把1811年修改过的论文,发表在科学院报告。从从Four
3、ier分析谈起分析谈起Fourier在他的热的解析理论里研究了有限长杆上的热传导方程的混合初边值问题的解,并用今天熟知的分离变量法将解写成级数。Fourier在他的热的解析理论的最后一部分讨论半无限长杆上的温度分布,得到Fourier积分,也就是我们后面讲到的Fourier变换。Fourier的工作是偏微分方程及其重要的一大步。Fourier的工作迫使对函数概念作一修改,即函数可以分段表示。从从Fourier分析谈起分析谈起Fourier级数级数: 在-,是连续函数,那么 或者用复形式 其中 , 称为 的Fourier系数,这里 和 分别形成一个正交基 。)(xf 10)sincos(2)(n
4、nnnxnxxfbaa ,)(ninxnecxf dxexfinxnc)(21 cn)(xf sin,cosnxnxinxe从从Fourier分析谈起分析谈起 Fourier定理告诉我们:一个周期函数总可被正弦函数和余弦函数表出:从从Fourier分析谈起分析谈起四个不同频率的基本波复合成一个波;高频,低频;从从Fourier分析谈起分析谈起示波器从从Fourier分析谈起分析谈起小提琴师演奏的一段声乐是:ttty3000sin01.02000sin02.01000sin06.0从从Fourier分析谈起分析谈起从频谱域知道一个乐音是远比从时域知道一个乐音要聪明的办法。乐音是适当的简单的声音(
5、即正弦波)组合而成,单音称为泛音。泛音中频率最低的称为基音,次低的称为第二泛音等等。乐音有四要素,即音量、音调、音色和时值。从从Fourier分析谈起分析谈起音量:音量:由振幅确定,粗略地说音量与振幅的平方成正比。音调:音调:(即音的高低)由基音的频率确定,粗略地说频率增高到二倍,音调提高一个八度。时值:时值:指振动延续的时间。音色音色:由声波的形状确定从从Fourier分析谈起分析谈起 知道一个乐器或者一个人的声音只要知道相应的Fourier系数即可。 正因为有对声音的数学研究,即Fourier分析的研究,人声辨识、电子音乐等等才成为可能。从从Fourier分析谈起分析谈起Fourier变换
6、变换: 与与Fourier 级数相对应的是级数相对应的是Fourier变换,它是变换,它是时时频分析的重要技术,通常记频分析的重要技术,通常记 这里这里 相当于相当于Fourier级数的级数的 是频率变量。一是频率变量。一个信号函数,既可以在时域内以给出,亦可以在个信号函数,既可以在时域内以给出,亦可以在频域内以给出,而且通过时频域内以给出,而且通过时频之间的变换与分频之间的变换与分析,可以得到很多有用的信息。析,可以得到很多有用的信息。.)()(dxxfefxi n从从Fourier分析谈起分析谈起Fourier变换的性质: 即函数的微分与乘法对偶。具体说:一个函数的微分对其Fourier变
7、换而言是一个乘法。 为方便,以后常用dfexfxixin)()2()(1xiDx1从从Fourier分析谈起分析谈起基于Fourier变换的这一性质,将微分方程变为代数方程;将函数的光滑性变成其Fourier变换的有界性等; .Fourier变换成为一种十分具“诱惑力”的办法但问题也接踵而来: 由一个函数的Fourier变换写不出原来的函数; 变系数的方程无法作Fourier变换; .微局部分析微局部分析经典的偏微分方程是在 考虑,微局部分析则在 考虑。或者说在余切丛 考虑。从空间和频域两个侧面了解一个函数。直观地讲,多维空间定义的一个函数,在一个点附近的形态是局部的,但函数还与这点不同方向有
8、关。点与方向就是微局部。nRx)0(),(nRx0*T微局部分析拟微分算子微局部分析拟微分算子 问题的提出:问题的提出:一维空间的波算子的分解: 多维空间的波算子 的分解如何进行?椭圆算子的逆算子如何定义? )(22xtxtxt)(,2221nxxt)(),()(),()(),(1|xfDxAxuxfuDxauDxAmx微局部分析拟微分算子微局部分析拟微分算子拟微分算子成为一种系统理论是20世纪60年代中期的事, 集大成者当数瑞典数学家, 菲尔兹奖得主Hormander.拟微分算子的直接前身是Calderon, Zygmund所建立的奇异积分算子理论。微局部分析拟微分算子微局部分析拟微分算子拟
9、微分算子的形式定义: 其中 称为象征(symbol)。若 则其为通常的微分算子。但一般地可推广为有条件限制的光滑函数。例如算子 就不是微分算子,其象征是duxaexAuxin)( ),()2()(),(xa)(),(|xaxam2/122221)(|),(nxa微局部分析拟微分算子微局部分析拟微分算子有了拟微分算子的定义,可以回答上面的问题:同时,分数阶导、无理数阶导、负导数都有了定义。)(2iitttmxDxaDxA|11)(),(微局部分析拟微分算子微局部分析拟微分算子经典的偏微分方程是在 考虑,拟微分算子则要考虑他的对偶变量 ,故是在 上考虑。拟微分算子理论的发展为解决线性偏微分方程的重
10、大问题做出了重大贡献。例如:Cauchy问题解的唯一性、椭圆算子的指标问题(Atiyah-Singer指标定理)。nRx)0(),(nRx微局部分析拟微分算子微局部分析拟微分算子以拟微分算子为代表的微局部分析是一个很大的理论体系,反映出微局部分析已超出偏微分方程的领域,成为现代分析的重要思想。这方面最完整的概括是Hormander的四卷本巨著。微局部分析仿微分算子微局部分析仿微分算子问题的提出:问题的提出: 在研究非线性偏微分方程解的正则性时,会讨论 系数的正则性会影响解的正则性的讨论。这就催生新的工具。0uuuxt微局部分析仿微分算子微局部分析仿微分算子J. M. Bony在上世纪80年代提
11、出仿微分算子理论。其工作基于上世纪30年代的Littlewood-Paley分解。微局部分析的新的发展。微局部分析仿微分算子微局部分析仿微分算子其基本思想是分解: 其中: 分别是 高频占优,并确定它的正则性。),()()(vuRuTvTxvxuvu1|2/1;supp)2(),2(,NkhhkkkkkuDSDvuSvTvTuTuv,vu,微局部分析微局部分析 拟微分算子和仿微分算子实际也在调和分析的范畴,微局部分析和调和分析实际很难有一个分界:E.M. Stein的专著“Harmonic Analysis”有四章讲拟微分算子和Fourier积分算子;拟微分算子的核表示就是一个奇异积分算子;仿微分算子的基础L-P分解本身就是出自调和分析。微局部分析的一个应用微局部分析的一个应用 问题的提出:线性Navier-Stoke方程组的基本解的估计00, 002tttmmdivmcmmdiv微局部分析的一个应用微局部分析的一个应用先看输送方程:再看热传导方程: tcittxteututuicxuucu1),( 0),( )()(|00tttteuutuxuu2|201)0,( 0),( )|()(|0)(微局部分析的一个应用微局部分析的一个应用将线性Navier-Stoke方程组作Fourier变换,并解之得:22422|4|)(21| )(21*),(ceetGtt