分离变量法求解齐次方程和齐次边界的拉普拉斯方程的边值问题2.docVIP

分离变量法求解齐次方程和齐次边界条件 的拉普拉斯方程的边值问题 33 隋沆锐34 程文博29袁盼盼 分离变量法又称fourier级数法，是求解数学物理定解问题问题的一种最普遍最基本的方法之一。从数学的角度来说，其基本的思想是降低自变量的维数，把偏微分方程问题设法变成能解的常微分问题。 ● 分离变量法的主要步骤： 根据区域边界的形状，适当选择坐标系。选取的原则是使坐标面与边界面一致，这样可使边界条件简化，即使在该坐标系中边界条件的表达式最为简单。 将满足齐次偏微分方程和齐次边界的解通过变量分离，使其转化为常微分方程的定解问题。 确定特征指和特征函数。当边界条件是齐次时，求特征值和对应的特征函数就是求一个满足常微分方程和零边界条件的非零解。 定出特征值和特征函数后，再求其他常微分方程的解，然后把该解与特征函数相乘，得到变量分离的特解。 为了得到原定解问题的解，将所有变量分离的特解叠加成级数，成为形式解，其中任意常数有其他条件确定。 为了使形式解成为古典解，必须对定解条件附加适当的光滑性要求和相容性要求，以保证微分运算得以进行，并使微分后的级数任然是收敛的。 ● 用分离变量法解拉普拉斯方程的边值问题常用的结论和规律： 1.设在区间【0，L】上连续，在【0，L】上分段连续， 其中【x】表示不超过x的最大整数。那么，如果函数f（x）在区间【0，L】上可以张开傅里叶正弦级数 则级数是收敛的。类似的，如果在上可以展开成傅里叶余弦级数 则级数是收敛的。这里 2．给出拉普拉斯方程二维极坐标边值齐次方程： 其中为已知函数且有 得解的公式是 ●1. 解二维齐次方程的拉普拉斯方程的边值问题： 题目1：求解下列边值问题 （1） 其中f(x),g(x)是给定的已知函数。 解：设解u=X(x)Y(y),代入式（1）中的方程，得 , 由此得 0yb (2) 和 0xa (3) 由边值问题（1）中的齐次边界条件，得 X’(0)=X’(a)=0. （4） 由（3）和（4），得特征值和对应的特征函数为 此时式（2）变为 0yb, 其通解为 利用叠加原理，设边值问题（1）的形式解为 （6） 由（1）中的非齐次边界条件，得 由此可得（n=1,2,…） 和 从中可以定出an,bn(n=0,1,2…),从而得到边值问题（1）的级数形式解（5） 我们取a=b=,f(x)=x,g(x)=0;则 和 解得 代入式（5），得到所求的解为 题目2：关于圆的Neumann问题 考虑圆的Neumann问题 在确定Neumann问题的解之前，首先建立关于解存在的必要条件。这对于从实际问题中提出数学问题，给出适当的Neumann问题边界值是很重要的。由高等数学知， 其中B为区域D的正向边界。 于是，得出Neumann问题的相容条件为 这就是Neumann问题有解之必要条件。 对于圆域，有 即 其次，求Neumann问题的解。 设 同Dirichlet问题一样，Laplace方程的解为 上式对r微分，得 代入边界条件 因此 注意，若设的Fourier系数为,，，由Neumann问题的必要条件，立刻有 这是可能展成（2）的原因。 将的值代入（1），得 其中是任意常数。 因为Neumann问题是以导数的形式给出边界条件，所以Neumann问题的解有一个自由常数是合理的。顺便指出，对一般区域的Neumann问题 若u为解，则u+c也是解，可见解不唯一，但诸解之间仅相差一个常数，故可以说Neumann问题的解，除任意常数外是唯一的。 另外，式（3）中的被积表达式可以化成 其中 . 下面给出上述等式的证明。 从上式得到的公式 于是 ， 对上式两端积分 . 则有 将（4）应用到（3）中去，有