《热传导方程.docVIP

2.1初边值问题的求解 初边值问题 其中为正常数。 用分离变量求解。令，这里分别表示仅与有关和仅与有关的函数。把它代入方程，得到,即.这等式只在两边均等于常数时才成立。令此常数为，则有 先考虑（2.6）.根据边界条件（2.3）、（2.4），应当满足边界条件 对于边值问题（2.6）、（2、7），分类进行讨论。 ①当时，只有平凡解 ②当时， 利用边界条件于是（2.7）的第二个边界条件得到 为使为非平凡解，应满足 即应是下述超越方程的正解： 令 则（2.11）式变为 利用图解法或数值求解法可得出这个方程的根。方程（2.13）有可列无穷多个正根满足因此，特征值问题（2.6）、（2.7）存在着无穷多个固有值 及相应的固有函数 把代入方程（2.5），可得 于是得到一列可分离变量的特解 由于方程（2.1）及边界条件（2.3）、（2.4）都是齐次的，故可以利用叠加原理构造级数形式的解 以下来决定常数，使（2.18）满足初始条件（2.2） 由（2.2），为使在应成立 为确定系数，须先证明固有函数系在上正交。 设固有函数分别对应不同的固有值，即 以分别乘上面第一式和第二式，得到 两式相减后在上积分，有 再利用都满足边界条件（2.3）（2.4），就得到 由于，故得固有函数系的正交性： 记 于是，在（2.19）两边乘以，在进行积分，利用正交性（2.20）即可得 将它代入（2.18）式，就得到初边值问题（2.1）-（2.4）的形式解为 下面证明分离变量法得到的形式解是初值问题（2.1）-（2.4）的经典解。 表达式（2.23）中含有因子，因此对任意当时，对任意级数均是一致收敛的。若为有界函数及（2.21）式，可得 因而，由（2.23）表示的级数，当时，关于是无穷次可导的，并且求导与求和可以交换。由于级数的每一项都满足方程（2.1）及边界条件（2.3）、（2.4），从而（2.23）式表示的级数在时确实满足方程及边界条件。为了保证当时，对任意的，由（2.23）式给出的级数趋于初值，还需要对加上进一步的条件。例如在时，可以证明，由（2.23）式给出的级数确实是初边值问题（2.1）-（2.4）的经典解。 2.1柯西问题 ⑴傅里叶变换及其性质 设上有一阶连续导数，则在 并且 若函数上绝对可积，则有 积分表达式（2.27）称为的傅里叶积分。 （2.27）式也可以写成复数形式。由于是的偶函数，是奇函数，可以将（2.27）式写成 若令 就有 称当傅里叶变换的性质 ① 傅里叶变换是线性变换，即对于任意复数 ②即 ③即 ④如果都是可以进行傅里叶变换的，而且当 ⑤如果 齐次热传导方程柯西问题的求解 关于x进行傅里叶变换，记 在（2.36）两边关于x进行傅里叶变换，利用性质④，就得到 类似，由（2.37）式可得 （2.28）、（2.29）是带参数的常微分方程的柯西问题，它的解为 函数的傅里叶变换为 利用复变函数的积分计算知 所以 因此，利用性质2，由（2.40）可得柯西问题（2.36）-（2.37）的解为 求解非齐次热传导方程具有其次初始条件的柯西问题 由齐次化原理，次柯西问题的解可以写为 其中为下述柯西问题的解： 于是利用（2.41）式，易知柯西问题（2.42）-（2.43）的解为 （4）热传导方程的柯西问题 由叠加原理、（2.41）、（2、47）就得到柯西问题（2.48）-（2.49）的解为 解的存在性 我们只对齐次方程的情形进行验证。在连续且有界的条件下（2.41）的确为（2.36）-（2.37）的解。 设则注意到由（2.41）式得 这说明积分（2.41）是收敛的，并且由它所表达的函数是有界的。 现在证明，当时，积分（2.41）所表达的函数满足方程（2.36）积分号下的函数 对变量t,x而言，当时满足方程（2.36）.因此，我们只要证明，当时出现在方程（2.36）中的导数可以在（2.41）式的积分号下求导的方法来计算。由于（2.41）式中的积分限时无穷的，为了保证通过积分号求导的可能性，必须证明在积分号下求导后所得的积分是一致收敛的。以对x的一阶偏导数为例，将被积函数对x求导一次后所构成的积分写为 当时，对任意点（t,x）可作一个有界邻域因此当时成立 即对x的一次求导能通过积分号。同理可以证明对（2.41）的其他偏导数也能用在积分号下求导而得到。因此当时由积分（2.41）所表达的函数满足方程（2.36）. 接下来证明，由（2.41）所确定的函数满足初始条件（2.37）.为此，要证明对任意给定的一定可以找到时，成立 在（2.41）中令，得到