Skip to content

9.2.3 自然科学和工程学中的一些偏微分方程

9.2.3.1 问题和边界条件的叙述

1. 问题的叙述

经典理论物理学中不同物理现象的建模和数学处理, 特别是在为无结构或连续变动的介质, 如气体、液体、固体、经典物理场等建模时, 会导致偏微分方程的产生. 一个重要的领域是量子力学, 它基于对介质和场的不连续的认同. 最重要的关系是薛定谔方程. 二阶线性偏微分方程最频繁地出现, 它们在当今的自然科学中有特殊的重要性.

2. 初始条件和边界条件

物理学、工程学和自然科学问题的解, 通常必须满足两个基本要求:

  1. 解不仅表现满足微分方程, 而且还必须满足初始条件和/或边界条件. 有这样的问题, 只有初始条件, 或只有边界条件, 或两者兼有之. 所有条件在一起必须确定微分方程的唯一解.

  2. 关于初始条件和边界条件的微小变化, 解必须是稳定的, 也就是说, 解的改变在这些条件的扰动 (pertubations) 足够小时必须可以任意小. 此时可以给出问题的正确叙述(correct problem formulation).

可以假设, 描述实际情况的所给问题的数学模型只有在这些条件都被满足时才是合乎需要的.

例如, 为了研究连续介质中的振动过程, 恰当地定义了双曲型微分方程的柯西问题 (参见第 756 页 9.2.1.1, 5.). 这意味着, 在一个初始流形上, 亦即在一条曲线上或一个曲面上, 给出了所求函数及其沿非切向 (通常是沿法向) 导数的值

在椭圆型微分方程的情形 - 出现在连续介质中定态问题和平衡问题的研究中, 形成边值问题是正确的. 如果所考虑的区域是无界的, 那么未知函数在自变量无限增长时必须满足某些给定的性质.

3. 非齐次条件和非齐次微分方程

具有非齐次初始条件或边界条件的齐次或非齐次线性偏微分方程的解, 可以被归结为一个方程的解, 该方程与原始方程的差别仅在于其自由项不包含未知函数, 以及它有齐次条件. 用原始函数与任一满足给定非齐次条件的二次可微函数之差替代原始函数即可.

一般地, 可以利用下述事实: 一个具有给定非齐次初始条件或边界条件的非齐次线性偏微分方程的解, 是具有零条件的同一个微分方程的解与具有给定条件的相应的齐次微分方程的解之和.

为了把非齐次线性偏微分方程

(9.103a)2ut2L[u]=g(x,t)

具有齐次初始条件

(9.103b)u|t=0=0,ut|t=0=0

的解归结为相应的齐次微分方程的解, 作代换

(9.103c)u=0tφ(x,t;τ)dτ

这里 φ(x,t;τ) 是微分方程

(9.103d)2ut2L[u]=0

的解, 它满足边界条件

(9.103e)u|t=τ=0,ut|t=τ=g(x,τ).

在这个方程中, x 符号地表示 n 维问题的所有 n 个变量 x1,x2,,xn.L[u] 表示一个线性微分表达式,它也许包含导数 ut ,但是不包含关于 t 的高阶导数.

9.2.3.2 波方程

在均匀介质中振荡的传播是由波方程 (wave equation)

(9.104a)2ut2a2Δu=Q(x,t)

来描述的,在没有扰动时右端 Q(x,t) 为零. 符号 x 表示 n 维问题的 n 个变量 x1,x2,,xn . 拉普拉斯算子 Δ (也参见第 934 页 13.2.6.5) 由下述方式定义:

(9.104b)Δu=2ux12+2ux22++2uxn2.

波方程的解是波函数 (wave function) u . 微分方程 (9.104a) 是双曲型的.

1. 齐次问题

具有初始条件

(9.105)u|t=0=φ(x),ut|t=0=ψ(x)

Q(x,t)=0 时的齐次问题的解,在 n=1,2,3 时分别由下述一些积分给出.

情形 n=3 (基尔霍夫 (Kirchhoff) 公式):

u(x1,x2,x3,t)=14πa2[Satψ(α1,α2,α3)tdσ+tSatφ(α1,α2,α3)tdσ],

(9.106a)

其中积分是在由方程 (α1x1)2+(α2x2)2+(α3x3)2=a2t2 给出的球面 Sat 上施行的.

情形 n=2 (泊松公式):

u(x1,x2,t)=12πa[Catψ(α1,α2)dα1dα2a2t2(α1x1)2(α2x2)2(9.106b)+tCatφ(α1,α2)dα1dα2a2t2(α1x1)2(α2x2)2],

其中积分是在由方程 (α1x1)2+(α2x2)2a2t2 给出的圆盘 Cat 上施行的.

情形 n=1 (达朗贝尔 (d’Alembert) 公式):

(9.106c)u(x1,t)=φ(x1+at)+φ(x1at)2+12ax1atx1+atψ(α)dα.

2. 非齐次问题

在此情形,即 Q(x,t)0 ,必须在(9.106a, b, c)的右端添加正确的项.

情形 n=3 (推迟位势) 对于由 r:=(ξ1x1)2+(ξ2x2)2+(ξ3x3)2 at 给出的域 K ,正确的项是

(9.107a)14πa2KQ(ξ1,ξ2,ξ3,tra)rdξ1dξ2dξ3.

情形 n=212πaKQ(ξ1,ξ2,τ)dξ1dξ2dτa2(tτ)2(ξ1x1)2(ξ2x2)2 ,(9.107b)

其中 Kξ1,ξ2,τ 空间中由两个不等式 0τt,(ξ1x1)2+(ξ2x2)2a2(tτ)2 定义的域.

情形 n=1

(9.107c)12aTQ(ξ,τ)dξdτ

其中 T 是三角形域 0τt,|ξx1|a|tτ|,a 表示扰动的波速.

9.2.3.3 均匀介质的热导方程和扩散方程

1. 三维热导方程

在一个均匀介质中热的传播由一个二阶线性抛物型偏微分方程

(9.108a)uta2Δu=Q(x,t)

所描述,其中 Δ 是由位置向量 r 确定的 3 个传播方向 x1,x2,x3 定义的三维拉普拉斯算子. 如果热流既无源,又无汇,(9.108a) 的右端就消失,因为 Q(x,t)=0 .

用下述方式可以提出柯西问题: 对于 t>0 确定一个满足 u|t=0=f(x) 的有界解 u(x,t) . 有界性的要求保证了解的唯一性. 对于 Q(x,t)=0 时的齐次微分方程, 得到波函数 (wave function)

u(x1,x2,x3,t)=1(2aπt)n+++f(α1,α2,α3)exp((x1α1)2+(x2α2)2+(x3α3)24a2t)dα1dα2dα3.

(9.108b)

在当 Q(x,t)0 时的非齐次微分方程的情形,必须在 (9.108b) 的右端添加下述表达式:

0t[+++Q(α1,α2,α3)[2aπ(tτ)]n(9.108c)exp((x1α1)2+(x2α2)2+(x3α3)24a2(tτ))dα1dα2dα3]dτ.(

如果给出值 u(x,0) ,用这个方法不能解确定 t<0u(x,t) 的问题,因为在此情形不能正确形成柯西问题.

由于温度差正比于热量,常常引进 u=T(r,t) (温度场) 和 a2=DW (热扩散常数或热导率), 而得到

(9.108d)TtDWΔT=QW(r,t).

2. 三维扩散方程

类似于热方程,均匀介质中浓度 C 的传播由相同的线性偏微分方程 (9.108a) 和 (9.108d) 所描述,其中 DW 由三维扩散系数 (diffusion coefficient) DC 替代. 扩散方程 (diffusion equation) 是

(9.109)CtDCΔC=QC(r,t).

在波方程的解 (9.108b) 和 (9.108c) 中改变记号即得到 (9.109) 的解.

9.2.3.4 位势方程

二阶线性偏微分方程

(9.110a)Δu=4πϱ

被称为位势方程 (potential equation) 或泊松微分方程 (Poisson differential equation) (参见第 951 页 13.5.2),它确定了有一个可能的标量点函数 ϱ(x) 决定的标量场的位势 u(x) ,这里 x 有坐标 x1,x2,x3,Δ 是拉普拉斯算子. 在第 951 页 13.5.2 讨论了 (9.110a) 的解,在点 M 处的位势 uM(x1,x2,x3) .

ϱ0 时得到齐次微分方程的拉普拉斯微分方程 (Laplace differential equation):

(9.110b)Δu=0.

version 1.24.0