下载文档原格式
偏微分方程数值解偏微分方程数值解起源时间微积分方程这门学科产生于十八世纪，欧拉在他的著作中最早提出了弦振动的二偏微分方程阶方程，随后不久，法国数学家达朗贝尔也在他的著作《论动力学》中提出了特殊的偏微分方程。
这些著作当时没有引起多大注意。
1746年，达朗贝尔在他的论文《张紧的弦振动时形成的曲线的研究》中，提议证明无穷多种和正弦曲线不同的曲线是振动的模式。
这样就由对弦振动的研究开创了偏微分方程这门学科；和欧拉同时代的瑞士数学家丹尼尔·贝努利也研究了数学物理方面的问题，提出了解弹性系振动问题的一般方法，对偏微分方程的发展起了比较大的影响。
拉格朗日也讨论了一阶偏微分方程，丰富了这门学科的内容。
偏微分方程得到迅速发展是在十九世纪，那时候，数学物理问题的研究繁荣起来了，许多数学家都对数学物理问题的解决做出了贡献。
这里应该提一提法国数学家傅立叶，他年轻的时候就是一个出色的数学学者。
在从事热流动的研究中，写出了《热的解析理论》，在文章中他提出了三维空间的热方程，也就是一种偏微分方程。
他的研究对偏微分方程的发展的影响是很大的。
偏微分方程是什么样的？它包括哪些内容？这里我们可从一个例子的研究加以偏微分方程介绍。
弦振动是一种机械运动，当然机械运动的基本定律是质点力学的F=ma，但是弦并不是质点，所以质点力学的定律并不适用在弦振动的研究上。
然而，如果我们把弦细细地分成若干个极小极小的小段，每一小段抽象地看作是一个质点，这样我们就可以应用质点力学的基本定律了。
弦是指又细又长的弹性物质，比如弦乐器所用的弦就是细长的、柔软的、带有弹性的。
演奏的时候，弦总是绷紧着具有一种张力，这种张力大于弦的重量几万倍。
当演奏的人用薄片拨动或者用弓在弦上拉动，虽然只因其所接触的一段弦振动，但是由于张力的作用，传播到使整个弦振动起来；用微分的方法分析可得到弦上一点的位移是这一点所在的位置和时间为自变量的偏微分方程。
偏方程又很多种类型，一般包括椭圆型偏微分方程、抛物型偏微分方程、双曲型偏微分方程。
偏微分方程数值解之偏微分方程的定解问题偏微分方程数值解之偏微分方程的定解问题自然科学与工程技术中种种运动发展过程与平衡现象各自遵守一定的规律。
这些规律的定量表述一般地呈现为关于含有未知函数及其导数的方程。
我们将只含有未知多元函数及其偏导数的方程，称之为偏微分方程。
方程中出现的未知函数偏导数的最高阶数称为偏微分方程的阶。
如果方程中对于未知函数和它的所有偏导数都是线性的，这样的方程称为线性偏微分方程，否则称它为非线性偏微分方程。
初始条件和边界条件称为定解条件，未附加定解条件的偏微分方程称为泛定方程。
对于一个具体的问题，定解条件与泛定方程总是同时提出。
定解条件与泛定方程作为一个整体，称为定解问题。
偏微分方程的定解问题各种物理性质的定常（即不随时间变化）过程，都可用椭圆型方程来描述。
其最典型、最简单的形式是泊松(Poisson)方程特别地，当f (x, y) ≡0 时，即为拉普拉斯(Laplace)方程，又称为调和方程带有稳定热源或内部无热源的稳定温度场的温度分布，不可压缩流体的稳定无旋流动及静电场的电势等均满足这类方程。
Poisson 方程的第一边值问题为其中Ω为以Γ为边界的有界区域，Γ为分段光滑曲线，ΩU Γ称为定解区域， f (x, y),?(x, y) 分别为Ω,Γ上的已知连续函数。
第二类和第三类边界条件可统一表示成其中n 为边界Γ的外法线方向。
当α= 0 时为第二类边界条件，α≠0时为第三类边界条件。
在研究热传导过程，气体扩散现象及电磁场的传播等随时间变化的非定常物理问题时，常常会遇到抛物型方程。
其最简单的形式为一维热传导方程。
方程（5）可以有两种不同类型的定解问题：初值问题（也称为Cauchy 问题）其中?(x), g1 (t), g2 (t)为已知函数，且满足连接条件问题（7）中的边界条件称为第一类边界条件。
第二类和第三类边界条件为其中为第二类边界条件，否则称为第三类边界条件。
双曲型方程的最简单形式为一阶双曲型方程物理中常见的一维振动与波动问题可用二阶波动方程描述，它是双曲型方程的典型形式。
第十章偏微分方程的数值解第十章偏微分方程的数值解求解偏微分方程问题非常困难。
除了少数特殊情况，在大多数情况下很难找到准确的解决方案。
因此，近似解更重要。
本章只介绍求解各种典型偏微分方程定解问题的差分方法。
(1)差分方法的基本概念 1.1几种偏微分方程固定解的椭圆方程；最典型和最简单的形式是泊松方程。
特别是，在那个时候，它是拉普拉斯方程，也称为调和方程。
泊松方程的第一个边值问题是一个有边界的有界区域，一条分段光滑曲线，称为固定解区域，以及已知的连续函数。
第二类和第三类边界条件可以统一表示为边界的外法线方向。
当时，这是第二种边界条件，当时，这是第三种边界条件。
抛物线方程:在最简单的形式中，一维热传导方程可以有两种不同类型的定解:初值问题初边值问题在初边值问题中，是一个已知的函数，满足连接条件，边界条件称为第一类边界条件。
第二个和第三个边界条件在其中。
当时，它是第二类边界条件，否则它被称为第三类边界条件。
双曲线方程:的最简单形式是一阶双曲线方程。
物理学中常见的一维振动和波动问题可以用二阶波动方程来描述，二阶波动方程是双曲方程的一种典型形式。
方程的初值问题是一个边界条件，一般有三种类型。
最简单的初边值问题是1.2差分法。
差分法的基本概念也称为有限差分法或网格法。
它是求解偏微分方程定解问题数值解最广泛使用的方法之一。
其基本思想是:首先，对求解区域进行网格划分，用一组有限离散点(网格点)代替自变量的连续变化区域。
问题中出现的连续变量的函数被定义在网格点上的离散变量的函数所代替。
通过用网格点上函数的差商代替导数，将具有连续变量的偏微分方程的固定解问题转化为只有有限个未知数的代数方程(称为差分格式)。
当网格为无穷大时，如果差分格式有解，并且其解收敛于原微分方程的解，则差分格式的解作为原问题的近似解(数值解)。
因此，在用差分法求偏微分方程的定解时，通常需要解决以下问题:(1)选择网格；(2)选择微分方程和固定解条件的差分逼近，列出差分格式；(3)求解差分方案；(4)讨论微分方程差分格式解的收敛性和误差估计。
偏微分方程:《偏微分方程》共分八章：第一章为绪论；第二、三章分别介绍了一阶方程、具有两个自变量的二阶方程的基本知识；第四、五、六章分别介绍了三类基本方程：波动方程、热传导方程和Laplace方程的定解问题的适定性、求解方法及解的性质；第七章主要介绍了一阶拟线性双曲守恒律方程组的一些基本知识；第八章介绍了Cauehy-Kovalevskaya定理。
另有两个附录：Fourier反演公式；Li-Yau估计。
《偏微分方程》不仅把注意力集中在传统的偏微分方程基础知识上，而且还有目的地介绍一些当代数学知识，譬如在几何分析中具有重要作用的Li-Yau估计和Hamack不等式等。
《偏微分方程》的另一特点是，除在每节后面为读者准备了一些习题之外，还在一些章节后面为读者准备了一些思考题和“开放问题（open problem）”。
这些问题具有一定的启发性，对提高学生对本门课程的学习兴趣有很大帮助。
偏微分方程数值解：通过数值计算方法，在计算机上对偏微分方程的近似求解。
科学和工程中的大多数实际问题都归结为偏微分方程的定解问题，由于很难求得这些定解问题的解析解（在经典意义下甚至没有解），人们转向求解它们的数值近似解。
简介：通过数值计算方法，在计算机上对偏微分方程的近似求解。
科学和工程中的大多数实际问题都归结为偏微分方程的定解问题，由于很难求得这些定解问题的解析解（在经典意义下甚至没有解），人们转向求解它们的数值近似解。
通常先对问题的求解区域进行网格剖分，然后基于有限元法、有限差分法和有限体积法等数值方法，对原定解问题或其等价形式离散，并归结为一个线性代数方程组，最终在计算机上求得精确解在离散网格点上的近似值。
求解涉及数值方法及其理论分析（稳定性、收敛性、误差估计）、计算机上的实现等一系列问题。
求解效率：求解的效率，一方面依赖计算机运行的速度，另一方面也依赖数值方法或算法，而且这方而更为重要。
自从1946年第一台电子计算问世（运行速度每秒500次乘法），到目前的千万亿次的超级计算机，计算速度得到了飞速发展。
李治平偏微分方程数值解讲义【李治平偏微分方程数值解讲义】知识文章一、前言在现代科学和工程中，偏微分方程是一种非常重要的数学工具，常常用于描述自然界各种现象和规律。
而对于偏微分方程的数值解法，也是数值计算中的一个重要分支。
本文将围绕着李治平教授的偏微分方程数值解讲义展开讨论，详细探究其中的价值和意义。
二、总览李治平教授的偏微分方程数值解讲义李治平教授的偏微分方程数值解讲义是在对数值计算和偏微分方程研究领域拥有丰富经验的学者对该领域的总结和共享。
其讲义通过结合理论和实践，系统地介绍了偏微分方程的数值解方法及其在实际问题中的应用。
涵盖了有限差分法、有限元法、谱方法等多种数值解法，还对常见的偏微分方程进行了具体案例分析，展现了其深度和广度。
三、深度分析1. 有限差分法有限差分法是一种常见的偏微分方程数值解法，它将偏微分方程中的导数用离散的差分表示，通过有限差分逼近来求解偏微分方程的近似解。
在李治平教授的讲义中，对有限差分法的原理和应用进行了详细介绍，并结合了具体的案例来展示其解题过程和应用效果。
2. 有限元法有限元法是一种更为精确的数值解法，它将求解区域划分成有限个单元，通过建立单元之间的关系来逼近原偏微分方程的解。
在讲义中，李治平教授对有限元法的算法和实现进行了深入讲解，并指导学生如何应用该方法解决实际问题，具有很高的指导意义。
3. 谱方法谱方法是一种基于傅里叶级数展开的数值解法，它通过将方程中的未知函数表示成正交多项式的线性组合，来逼近原偏微分方程的解。
与有限差分法和有限元法相比，谱方法在精度和稳定性上更具优势。
在讲义中，李治平教授对谱方法的理论和实践进行了讲解，并指引学生如何利用该方法处理实际问题。
四、回顾与展望李治平教授的偏微分方程数值解讲义涵盖了丰富的内容，深入浅出地介绍了多种数值解法及其应用。
通过学习这门课程，可以帮助学生建立起对偏微分方程数值解的深刻理解，并掌握相关的数值计算技能。
未来，随着科学技术的发展和应用的拓展，偏微分方程数值解将会更加广泛地应用于各个领域，因此这门讲义的价值和意义将会更加凸显。
偏微分方程的数值解法和应用偏微分方程（Partial Differential Equation，PDE）是数学中的一个重要研究领域，它是数学建模和物理学、工程学中的重要工具之一。
通常情况下，我们可以通过一些解析方法求得偏微分方程的解析解，但是这种方法并不适用于所有情况，因此，数值解法的研究具有重要意义。
一、偏微分方程的求解偏微分方程的求解可以分为两类：解析解和数值解。
解析解是指通过一些解析方法求得的该方程的精确解，而数值解是指通过一些数值计算方法求得的该方程的近似解。
1. 解析解对于简单的偏微分方程，我们可以通过分离变量、变换变量、特征线等方法求得其解析解。
例如，对于泊松方程：$$\nabla^2 u=f(x,y)$$我们可以通过分离变量的方法得到：$$u(x,y)=\sum_{n=1}^\infty\sum_{m=1}^\infty a_{nm} \sin\frac{n\pi x}{L} \sin\frac{m\pi y}{W}$$其中：$$a_{nm}=\frac{4}{nm\pi^2}\int_0^W\int_0^L f(x,y)\sin\frac{n\pi x}{L}\sin\frac{m\pi y}{W} dx dy$$这是一个完整的解析解，可以用于解决实际问题。
然而，大多数情况下，偏微分方程并没有解析解，因此我们需要寻求数值解法。
2. 数值解在实际工程问题中，偏微分方程往往具有复杂的形式，不可能通过解析方法求得其解析解。
这时，我们需要使用计算机数值方法求得其数值解。
数值解法中的常见方法包括：差分方法、有限元法、有限体积法、谱方法、边界元法等。
其中，有限元法和有限体积法是比较常用的数值解法。
有限元法（Finite Element Method，FEM）是一种将求解区域离散为许多小单元的方法，把偏微分方程转化为一个线性方程组。
在有限元法中，通常采用三角形或四边形做为单元。
具体的，有限元法的步骤如下：（1）离散化：将求解区域划分成若干个小单元，对单元内的未知函数用多项式进行逼近。
偏微分方程数值解自然科学与工程技术中种种运动发展过程与平衡现象各自遵守一定的规律。
这些规律的定量表述一般地呈现为关于含有未知函数及其导数的方程。
我们将只含有未知多元函数及其偏导数的方程，称之为偏微分方程。
方程中出现的未知函数偏导数的最高阶数称为偏微分方程的阶。
如果方程中对于未知函数和它的所有偏导数都是线性的，这样的方程称为线性偏微分方程，否则称它为非线性偏微分方程。
初始条件和边界条件称为定解条件，未附加定解条件的偏微分方程称为泛定方程。
对于一个具体的问题，定解条件与泛定方程总是同时提出。
定解条件与泛定方程作为一个整体，称为定解问题。
偏微分方程的定解问题各种物理性质的定常（即不随时间变化）过程，都可用椭圆型方程来描述。
其最典型、最简单的形式是泊松(Poisson)方程特别地，当f (x, y) ≡ 0 时，即为拉普拉斯(Laplace)方程，又称为调和方程带有稳定热源或内部无热源的稳定温度场的温度分布，不可压缩流体的稳定无旋流动及静电场的电势等均满足这类方程。
Poisson 方程的第一边值问题为其中Ω为以Γ 为边界的有界区域，Γ 为分段光滑曲线，Ω U Γ 称为定解区域，f (x, y),ϕ(x, y) 分别为Ω,Γ 上的已知连续函数。
第二类和第三类边界条件可统一表示成其中n 为边界Γ 的外法线方向。
当α = 0 时为第二类边界条件，α ≠ 0时为第三类边界条件。
在研究热传导过程，气体扩散现象及电磁场的传播等随时间变化的非定常物理问题时，常常会遇到抛物型方程。
其最简单的形式为一维热传导方程。
方程（5）可以有两种不同类型的定解问题：初值问题（也称为Cauchy 问题）。
通过数值计算方法，在计算机上对偏微分方程的近似求解。
科学和工程中的大多数实际问题都归结为偏微分方程的定解问题，由于很难求得这些定解问题的解析解（在经典意义下甚至没有解），人们转向求解它们的数值近似解。
通常先对问题的求解区域进行网格剖分，然后基于有限元法、有限差分法和有限体积法等数值方法，对原定解问题或其等价形式离散，并归结为一个线性代数方程组，最终在计算机上求得精确解在离散网格点上的近似值。
求解涉及数值方法及其理论分析（稳定性、收敛性、误差估计）、计算机上的实现等一系列问题。
目录第1章椭圆型偏微分方程的差分方法1.1 引言1.2 模型问题的差分逼近1.3 一般问题的差分逼近1.3.1 网格、网格函数及其范数1.3.2 差分格式的构造1.3.3 截断误差、相容性、稳定性与收敛性1.3.4 边界条件的处理1.4 基于最大值原理的误差分析1.4.1 最大值原理与差分方程解的存在唯一性1.4.2 比较定理与差分方程的稳定性和误差估计1.5 渐近误差分析与外推1.6 补充与注记习题1第2章抛物型偏微分方程的差分方法2.1 引言2.2 模型问题及其差分逼近2.2.1 模型问题的显式格式及其稳定性和收敛性2.2.2 模型问题的隐式格式及其稳定性和收敛性2.3 一维抛物型偏微分方程的差分逼近2.3.1 直接差分离散化方法2.3.2 基于半离散化方法的差分格式2.3.3 一般边界条件的处理2.3.4 耗散与守恒性质2.4 高维抛物型偏微分方程的差分逼近2.4.1 高维盒形区域上的显式格式和隐式格式2.4.2 二维和三维交替方向隐式格式及局部一维格式2.4.3 更一般的高维抛物型问题的差分逼近2.5 补充与注记习题2第3章双曲型偏微分方程的差分方法3.1 引言3.2 一维一阶线性双曲型偏微分方程的差分方法3.2.1 特征线与CFL条件3.2.2 迎风格式3.2.3 15ax-Wendroff格式和Beam-Warming格式3.2.4 ：蛙跳格式3.2.5 差分格式的耗散与色散3.2.6 初边值问题与边界条件的处理3.3 一阶双曲守恒律方程与守恒型格式3.3.1 有限体积格式3.3.2 初始条件与边界条件的处理3.4 对流扩散方程的差分方法3.4.1 对流扩散方程的中心显式格式与修正中心显式格式3.4.2 对流扩散方程的迎风格式3.4.3 对流扩散方程的隐式格式3.4.4 对流扩散方程的特征差分格式3.5 波动方程的差分方法3.5.1 波动方程的显式格式3.5.2 波动方程的隐式格式3.5.3 变系数波动方程隐式格式的能量不等式和稳定性3.5.4 基于等价一阶方程组的差分格式3.5.5 交错型蛙跳格式与局部能量守恒性质3.6 补充与注记习题3第4章再论差分方程的相容性、稳定性与收敛性4.1 发展方程初边值问题及其差分逼近4.2 截断误差与逼近精度的阶，相容性与收敛性4.3 稳定性与Lax等价定理4.4 稳定性的von Neumann条件和强稳定性4.5 修正方程分析4.6 能量分析方法第5章椭圆边值问题的变分形式5.1 抽象变分问题5.1.1 抽象变分问题5.1.2 Lax-Milgram引理5.2 变分形式与弱解5.2.1 椭圆边值问题的例子5.2.2 Sobolev空间初步5.2.3 椭圆边值问题的变分形式与弱解5.3 补充与注记习题5第6章椭圆边值问题的有限元方法6.1 Galerkin方法与Ritz方法6.2 有限元方法6.2.1 有限元方法的一个典型例子6.2.2 有限元的一般定义6.2.3 有限元与有限元空间的例子6.2.4 有限元方程与有限元解6.3 补充与注记习题6第7章椭圆边值问题有限元解的误差估计7.1 Cea引理与有限元解的抽象误差估计7.2 Sobolev空间插值理论7.2.1 Sobolev空间的多项式商空间与等价商范数7.2.2 仿射等价开集上Sobolev半范数的关系7.2.3 多项式不变算子的误差估计7.2.4 有限元函数的反估计7.3 多角形区域上二阶问题有限元解的误差估计7.3.1 H1范数意义下的误差估计7.3.2 Aubin—Nische技巧与L2范数意义下的误差估计7.4 非协调性与相容性误差7.4.1 第一和第二：Strang引理7.4.2 Bramble-Hilbert，引理和双线性引理7.4.3 数值积分引起的相容性误差7.5 补充与注记习题7第8章有限元解的误差控制与自适应方法8.1 有限元解的后验误差估计8.2 后验误差估计子的可靠性与有效性8.3 自适应方法8.3.1 h型、p型与h-p型自适应方法8.3.2 网格重分布型自适应方法8.4 补充与注记习题8部分习题答案和提示符号说明参考文献名词索引。
偏微分方程数值解法研究偏微分方程是数学中的一个分支，它研究的是一些与空间位置、时间以及其它因素有关的物理现象，如热传导、波动现象、电磁场分布、流体运动等。
在现实世界中，很多问题都可以用偏微分方程来描述。
这些方程具有复杂性和多变性，因此需要采用数值解法来求解。
数值解法是将巨大的偏微分方程转变为离散化的点值问题，通过数值计算得出近似解。
为了达到更高的计算精度和效率，研究者们不断地探索各种数值解法，如有限差分方法、有限元方法、谱方法、边界元法等，并在不断地发展和改进。
有限差分是常用的数值解法，它利用差商来离散化微分方程，将连续的问题转化为离散的问题。
通过对偏微分方程进行逐点离散化，使用差商逼近微分方程，从而得到一组有限个代数方程组，即差分方程组。
然后再利用数值计算的方法求解差分方程组，从而得到近似解。
有限差分方法具有简单易操作和精度高的优点，但是它在处理边界问题和非线性问题时会遇到一些困难。
有限元法是数值解法中最常见的一种，主要用于求解复杂的分布参数系统和非线性问题。
与有限差分相比，有限元法可以更精确地模拟物理问题，具有对几何形状更自由、适用性更广、计算量更小的特点。
它的基本思想是采用离散化方法将复杂的问题简化成一些基本单元的组合，然后在每个单元内解微分方程，最后将这些单元的解组合在一起得到整个问题的近似解。
谱方法是基于特殊基函数构造法的一种数值解法，通过选取一些特殊的基函数（例如三角函数，Legendre多项式或Chebyshev多项式等），对偏微分方程进行逐点离散化。
然后通过基函数的线性组合来逼近未知解，从而得到一组代数方程组，利用数值计算方法解出方程组后得到近似解。
谱方法具有高精度、高效率、不受网格形状限制以及基函数可以选取自由、适用范围广等优点，但谱方法也有一些不足之处，需要根据具体问题进行选择。
边界元法是一种确定性的数值分析方法，也是一种离散化的方法。
与有限差分与有限元方法的差异在于，它不需要对求解区域进行离散化处理，而是将偏微分方程从区域的内部转移到区域的边界上进行求解。
数学中的偏微分方程与数值解法偏微分方程是数学中重要的研究领域之一，它在各个科学领域中都有着广泛的应用。
在实际问题中，我们常常会遇到与空间和时间相关的变量，而这些变量之间的关系可以用偏微分方程来描述。
为了求解这些偏微分方程，数学家们提出了各种数值解法，以获得近似的解。
一、偏微分方程简介偏微分方程是包含未知函数的偏导数的方程。
常见的偏微分方程包括椭圆型、抛物型和双曲型方程。
椭圆型方程描述的是稳态问题，如静电场分布；抛物型方程描述的是时间依赖的问题，如热传导方程；双曲型方程描述的是波动问题，如波动方程。
这些方程在物理、工程、生物等领域中具有广泛的应用。
二、数值解法的基本思想解析解求解偏微分方程的情况较少，因此我们通常需要借助数值解法来获得结果。
数值解法的基本思想是将问题离散化，将连续的变量转化为离散的点，并通过计算来逼近解。
常用的数值解法包括有限差分法、有限元法和谱方法等。
三、有限差分法有限差分法是一种常见的数值解法，它将连续的空间和时间离散化为有限的网格点。
在有限差分法中，我们使用差分近似来逼近偏导数，将偏微分方程转化为代数方程组。
通过求解这个方程组，我们可以得到近似解。
有限差分法简单易实现，广泛应用于各个领域。
四、有限元法有限元法是一种更加通用的数值解法，适用于各种复杂的边界条件和几何形状。
有限元法将求解域划分为许多小的子域，将未知函数表示为有限元函数的线性组合，通过最小化能量泛函来得到近似解。
有限元法具有较高的精度和灵活性，因此在结构力学、流体力学等领域得到了广泛应用。
五、谱方法谱方法是一种基于特殊函数的数值解法，它将未知函数表示为一系列正交的基函数的线性组合。
通过适当选择基函数和系数，可以将偏微分方程转化为代数方程组的求解。
谱方法在处理边界条件时具有较高的精度和稳定性，因此在流体流动、量子力学等领域中得到了广泛应用。
总结：数学中的偏微分方程与数值解法是一门重要而有趣的研究领域。
通过数值解法，我们可以求解各种实际问题中的偏微分方程，从而获得精确的数值结果。
第十章 偏微分方程数值解法偏微分方程问题，其求解十分困难。
除少数特殊情况外，绝大多数情况均难以求出精确解。
因此，近似解法就显得更为重要。
本章仅介绍求解各类典型偏微分方程定解问题的差分方法。
§1 差分方法的基本概念1.1 几类偏微分方程的定解问题椭圆型方程：其最典型、最简单的形式是泊松（Poisson ）方程),(2222y x f yu x u u =∂∂+∂∂=∆ 特别地，当0),(≡y x f 时，即为拉普拉斯（Laplace ）方程，又称为调和方程2222=∂∂+∂∂=∆yux u u Poisson 方程的第一边值问题为⎪⎩⎪⎨⎧Ω∂=Γ=Ω∈=∂∂+∂∂Γ∈),(),(),(),(),(2222y x y x u y x y x f y ux u y x ϕ其中Ω为以Γ为边界的有界区域，Γ为分段光滑曲线，ΓΩ称为定解区域，),(y x f ，),(y x ϕ分别为Ω，Γ上的已知连续函数。
第二类和第三类边界条件可统一表示为),(),(y x u u y x ϕα=⎪⎪⎭⎫ ⎝⎛+∂∂Γ∈n 其中n 为边界Γ的外法线方向。
当0=α时为第二类边界条件， 0≠α时为第三类边界条件。
抛物型方程：其最简单的形式为一维热传导方程220(0)u ua a t x∂∂-=>∂∂ 方程可以有两种不同类型的定解问题：初值问题⎪⎩⎪⎨⎧+∞<<∞-=+∞<<-∞>=∂∂-∂∂x x x u x t x u a tu )()0,(,0022ϕ初边值问题221200,0(,0)()0(0,)(),(,)()0u ua t T x l t x u x x x lu t g t u l t g t t Tϕ⎧∂∂-=<<<<⎪∂∂⎪⎪=≤≤⎨⎪==≤≤⎪⎪⎩其中)(x ϕ，)(1t g ，)(2t g 为已知函数，且满足连接条件)0()(),0()0(21g l g ==ϕϕ边界条件)(),(),(),0(21t g t l u t g t u ==称为第一类边界条件。
