[理学]二阶线性微分方程的分类.ppt

在 上考察下列的二阶抛物方程 4.抛物型方程解的能量估计. 其中对于系数及右端项假设仍同上一段中的（1）和（2）， 初始条件和边界条件如下 定理4.5：若 为初边值问题（4.26 ）—（4.28）的解， 则成立能量估计式 其中 为一个不依赖于 的常数。 证明：在方程（4.26）两边乘以 ，然后在 上关于 积分 上式左端第一项可写为 对其第二项关于 利用格林公式进行分部积分，注意到边界条件 （4.28），分部积分中出现的边界积分项为零，于是第二项可写为 将上式的第二项,连同(4.30)左端的第三第四项移到(4.30)右端,将其记为 则有假设(1)可得,对一切 成立 其中 为一个仅依赖 的正常数,但与 无关.对任给的 ,有 取 ,由(4.31)就可得 其中 ,将(4.33)代入(4.30)就可得 再由假设(2)有 可得到 其中 .于双曲方程能量不等式的推导相仿,可由(4.36) 推得(4.29)式.证毕. 由定理(4.5)可以立刻推得抛物型方程初边值(4.26)--(4.28)推得 解的唯一性,以及均方意义下解关于初始资料与右端项的稳定性. 5.椭圆型方程解的能量估计. 考察 中考察下列二阶椭圆方程. (1)系数 及右端 都是 上的连续函数,而且 在 上还具有一阶连续偏导数. (2)对一切 成立 ,且存在正常数 ,使得对一切 及任意给定的实向量 , 成立 与前面相同,假设 考察方程(4.37)满足边界条件 的狄利克雷问题.我们有 定理4.6：存在一个依赖于区域 以及 的最大值的正常数 在 时,问题(4.37)及(4.39)的解 满足 其中 为一个不依赖于 的正常数. 证明:方程(4.37)两边乘以 ,然后在 上积分,得 将上式左端第一项利用格林公式进行分部积分,并利用边界条件 (4.39),得到 于是（4.41）式可写为 其中 记 则对任意给定的 ，有 取 ,则由(4.43)及假设(4.38)可得 令 ,则当 时就有 利用边界条件(4.39)及弗里德里克斯不等式(4.22),可知存在不依赖于 的正常数 ,使成立 证毕. 3.双曲型方程解的能量估计. 引入能量函数 有如下定理: 定理4.4：若 为初值问题(1)的解,则成立如下不等式 其中 为一个不依赖于 的正常数. 证明：令 乘以上式,并在 上关于 积分,得到对任何 成立 (2)左端第一式可写为 ;第二式利用格林公式进行分部 积分,并注意边界条件,即 ,边界积分为零,于是第二项可以写为 并将其简记为 于是(2)变为 其右端第一项表示将（3）的右端除 外的所有其余积分 项移到右端的结果。有 其中 是一个正常数。为了估计 在 上的积分，我们证明如下事实。 引理4.1：设 在 上连续可微，且在边界上为零，则成立如下的弗里德里克斯（Friedirichs）不等式： 其中 是一个与 无关的正常数。 证明： 对于任意的一点 ，成立 对于利用施瓦茨（Schwarz）不等式 得 将上式两端在 上对 积分，得 利用（6）式，由（5）有 其中 是一个与 无关的正常数。再注意到 由（4），就得到能量函数 满足 其中 也是一个与 无关的正常数。在（7）两边乘以 再对 积分，即可得 定理得证。 4.抛物型方程解的能量估计. 定理4