一类偏微分方程的空间w.docxVIP

一类偏微分方程的空间w 边值问题的解决方案在数学、物理、工业、航空和其他应用中起着非常重要的作用。一般来说，解算速度是复杂的。本文件要求解决这些问题。 下面我们从一个新角度, 在较小的空间W01,2(Ω) 上求出此类方程的通解. 注:W01,2(Ω) 是C02(Ω) 关于范数的完备化空间. 1 偏微分方程边值估计的一般定理 以下是在有限维空间中构造近似解, 并通过能量估计定理的保证将近似解取极限得到弱解, 最后证明了弱解的存在唯一性的思路来源于Lawrence.C.Evans编著的Partial Differential Equations. 设{φk}∞k=1是W01,2(Ω) 中的规范正交系, (φi, φj) =0, i≠j. 现在就是想办法构造近似解um, 使其在{φk}mk=1构成的有限维子空间上是方程的解. 令 并希望[um, φi]=A (um, φi) = (f, φi) . (2) 定理1.1 (近似解的建立) ue420m, 存在具有形式 (1) 的um, 满足 (2) . 证明:假设存在um, 使[um, φi]= (f, φi) .而 则 可以看到该线性方程组的系数行列式 故线性方程组有唯一一组解a1, a2, …, am, 并且 所以ai= (f, φi) . 从而得到近似解 参照Lawrence.C.Evans编著的Partial Differential Equations, 现在需要证明相应的能量估计, 从而才能将定理1.1求出的近似解取极限m→∞, 得出方程的弱解. 定理1.2 (能量估计) 存在系数C, 使得‖um‖21, 2≤C‖f‖22 证明:由近似解的存在性知, Aum=f, 则[um, um]=A (um, um) = (f, um) . 一方面, 由Fiedrichs不等式 只要取适当的ε, 使C2-εC10, 即可满足即可. 现在需要证明弱解的存在唯一性, 才能说明弱解即是通解. 引理1.1自反的Banach空间的有界序列有弱收敛子列. 定理1.3 (弱解的存在性) 方程存在一个弱解. 由定理1.1, [um, φk]= (f, φk) , 证明:只须证当f≡0时, u≡0即可. 在 (3) 式中, 令v=u, 得到[u, u]=[f, u]=[0, u]=0, 则u≡0在Ω中, 又u=0在上, 故证得u≡0, 弱解的唯一性得证.结论 即, 其中{φk}∞k=1是W01,2(Ω) 中的规范正交系. 另一方面 证明:由定理1.2, {um}∞m=1在W1,20(Ω) 中有界, 由引理1.1, 存在子序列在W1,20(Ω) 中, 固定N, 令 两边同时乘以ak, k=1, …, N, 相加得到, 即[um, v]= (f, v) . 取m=ml, 有 取弱极限, 得到[u, v]= (f, v) . 由可知, 具有这种形式的函数集合在W1,20(Ω) 中是稠密的. 定理1.4弱解的唯一性. 本文求解了偏微分方程边值问题在空间W1,20(Ω) 上的通解