This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
keynote:2011-lesson09 [2011/06/17 12:25] 11021057 [9.1.2.3 微分方程基本概念] |
keynote:2011-lesson09 [2023/08/19 21:02] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== 第九课 ====== | ||
+ | |||
+ | 9.1 偏微分方程:简介 | ||
+ | |||
+ | 9.1.1 偏微分方程的历史 | ||
+ | |||
+ | 9.1.2 偏微分方程初步 | ||
+ | 9.1.2.1 曲线积分:弧长、参数、坐标 | ||
+ | 9.1.2.2 曲面积分:面积、坐标 | ||
+ | 9.1.2.3 微分方程基本概念 | ||
+ | |||
+ | 9.1.3 三个基本的偏微分方程 | ||
+ | |||
+ | 9.1.4 偏微分方程的求解 | ||
+ | |||
+ | |||
+ | **9.1.1 偏微分方程的历史** | ||
+ | |||
+ | |||
+ | **历史:十七世纪以前** | ||
+ | |||
+ | 17世纪以前,中国在科技上占有绝对的领先地位。中国古代的科技思想主要是《易经》所宣扬的以物相数的思想。 | ||
+ | |||
+ | 随着牛顿发明了**微积分**,西方的生产科技力量迅速增长。 | ||
+ | |||
+ | 微分方程几乎是和微积分同时产生的,这使得人们对于自然界有了更加本质的认识。 | ||
+ | |||
+ | 微分方程或微积分是人们认识自然界的有效工具,但不是唯一的工具。 | ||
+ | |||
+ | **历史:十七世纪** | ||
+ | |||
+ | 17世纪,随着 Newton, Lebiniz 等发明了微积分,数学家们开始用微分变化的思想来解释各种物理现象。 | ||
+ | |||
+ | 不久,这些微分符号出现在一些方程里,最原始的微分方程就这样产生了。 | ||
+ | |||
+ | 但是人们发现这些微分方程并不好求解,一般只有在它们的积分变量可分时才可解。 | ||
+ | |||
+ | **历史:十八世纪** | ||
+ | |||
+ | 18世纪早期,随着人们将微分方程应用到星体运动等物理现象的研究,对微分方程有了进一步的研究。 | ||
+ | |||
+ | Jacob Bernoulli 仔细研究了用微分方程解决星体运动的问题。 | ||
+ | |||
+ | Taylor 用级数的方法来求解微分方程,并提出了有限差分的方法。 | ||
+ | |||
+ | 这段时期人们虽然对微分方程的研究有了很大进步,但是还没有形成一个一般的理论。 | ||
+ | |||
+ | 早期人们研究微分方程的主要障碍就是如何求解方程,有些方程看似简单,但实际上极为复杂。 | ||
+ | |||
+ | Euler 根据他对函数的结构和性质的了解,发现了函数是理解和解决微分方程的关键。他发明了一个一般的解决不同类方程的步骤。同时他还建立了一些微分方程模型来解决一些应用的问题。 | ||
+ | |||
+ | 在Euler之后许多数学家扩展或改进了他的思想。 | ||
+ | |||
+ | Lagrange 可能是第一位有足够的理论和工具来分析微分方程的数学家。1788年他提出了动态系统的一般运动方程,即 Lagrange 方程. | ||
+ | |||
+ | Laplace 的对太阳系稳定性的研究导致了微分方程的更大的进展,包括更好的数值技术和对积分更深入的理解。1799年他提出了Laplacian 方程。 | ||
+ | |||
+ | Fourier 在求解热扩散方程上做出了很大的贡献,Fourier级数分析的方法是学习震动现象的重要工具。 | ||
+ | |||
+ | |||
+ | **历史:十九世纪** | ||
+ | |||
+ | 19世纪初期,随着Gauss和Cauchy对复变函数的研究的贡献,人们对微分方程的认识也有了很大的进展。 | ||
+ | |||
+ | Gauss 建立了势理论,并发现复变量是理解许多应用中的微分方程的关键。 | ||
+ | |||
+ | Cauchy 将微分方程应用到对流体表面波传导的建模中。他是第一个开始对微积分和微分方程进行严格分析的人,也是第一个对复数建立系统理论并用 | ||
+ | Fourier变换的方法求解微分方程的人。 | ||
+ | |||
+ | Poisson 将他对微分方程的理解应用到弹性和震动理论的研究。他的大部分工作都是分析和求解微分方程。 | ||
+ | |||
+ | George Green 同样将已有的微分方程应用到电磁场理论中。在1828年他发表了《 An Essay on the Application of Mathematical Analysis to Electricity and Magnetism 》。他的理论是像Thomson, Stokes, Rayleigh, Maxwell等人工作的基石。 | ||
+ | |||
+ | 在19世纪中叶,为了解决微分方程组问题,一些新的理论产生出来。 | ||
+ | |||
+ | Jacobi 发展了行列式和变换的理论来解决微分方程问题。 | ||
+ | |||
+ | Cayley 在行列式理论的基础上提出了矩阵运算理论。他是矩阵论的奠基者。 | ||
+ | |||
+ | Josiah Gibbs 对热动力系统,电磁场理论和机械理论都有贡献。因为他在微分方程系统方面的工作,他被誉为‘向量分析之父’。 | ||
+ | |||
+ | 在19世纪末,对偏微分方程的主要工作都是在理论分析方面。 | ||
+ | |||
+ | Lipschitz 建立了一阶微分方程的存在性定理。 | ||
+ | |||
+ | Hermite 在函数理论和方程求解方面也有很重要的贡献。其中Hermite方程后来被证明在求解Schrodinger的波动方程很有用。 | ||
+ | |||
+ | Bernhard Riemann 在微分方程的理论基础的建立上有很大的贡献。他的结果在动力学和物理中的许多方面都很有用。 | ||
+ | |||
+ | 查尔斯.巴贝奇(1791 -1871 ),鉴于当时构造数表很麻烦,发明了差分机(又称差分引擎(未完成))。 | ||
+ | |||
+ | 分析机(设计稿), 基于机械运算,具有与现代计算机类似的体系结构。 | ||
+ | |||
+ | 差分机2号,由英国伦敦科学博物馆与1985-2002年间实现。 | ||
+ | |||
+ | |||
+ | **历史:数值求解** | ||
+ | |||
+ | 微分方程另一个主要的推动力是有效的数值算法。 | ||
+ | |||
+ | Carl Runge 在微分方程数值解方面做了许多工作。 | ||
+ | |||
+ | 他的研究中用了很多数学以至于物理学家们认为他是数学家,而他的工作都是为了解决物理问题以至于数学家们都认为他是物理学家。 | ||
+ | |||
+ | 著名的 Runge-Kutta方法现在依然在被使用。 | ||
+ | | ||
+ | 到了20世纪后半叶,由于计算机技术的发展,许多数学家和计算机学家在用微分方程数值解方面做了许多工作。 | ||
+ | |||
+ | **小结** | ||
+ | |||
+ | 微分方程涉及物理等学科的各个方面。它的进步是和生产实践分不开的。 | ||
+ | |||
+ | 微分方程的发展是和微积分的发展密切相关的。 | ||
+ | |||
+ | 近代的计算机技术使得微分方程数值解成为可能。 | ||
+ | |||
+ | |||
+ | ====== 微积分初步之曲线积分 ====== | ||
+ | --- //[[yeminchao@zju.edu.cn|叶敏超]]// | ||
+ | |||
+ | |||
+ | |||
+ | * 对弧长的曲线积分(第一类曲线积分) | ||
+ | |||
+ | 定义: | ||
+ | 设$L$为xOy平面内一条光滑曲线弧,函数$f(x,y)$在$L$上有界。用L上的点$M_1,M_2,\ldots,M_{n-1}$把$L$分成$n$小段。 设第$i$个小段的长度为$\Delta {s_i}$,又$({\xi _i},{\eta _i})$为第$i$小段上任意取定的一点。 做乘积$f({\xi _i},{\eta _i})\Delta {s_i}$,并做和$\sum\limits_{i = 1}^n {f({\xi _i},{\eta _i})\Delta {s_i}} $,如果当各小弧段长度的最大值$\lambda \to 0$时,和的极限存在,则称此极限为$f(x,y)$在曲线$L$上对弧长的曲线积分或第一类曲线积分。 | ||
+ | |||
+ | \[\int_L {f(x,y)ds} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {f({\xi _i},{\eta _i}) \cdot \Delta {s_i}} \] | ||
+ | |||
+ | 存在条件: | ||
+ | $f(x,y)$在光滑曲线弧$L$上连续。 | ||
+ | |||
+ | 推广: | ||
+ | $f(x,y,z)$在空间曲线$\Gamma$上的对弧长的曲线积分为 | ||
+ | \[\int_\Gamma {f(x,y,z)ds} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {f({\xi _i},{\eta _i},{\zeta _i}) \cdot \Delta {s_i}} \] | ||
+ | |||
+ | 注意: | ||
+ | 1.若$L$分段光滑($L=L_1+L_2$), | ||
+ | \[\int_{{L_1} + {L_2}} {f(x,y)ds} = \int_{ L_1 } {f(x,y)ds} + \int_{L_2} {f(x,y)ds} \] | ||
+ | |||
+ | 2.若$L$为闭曲线,则$f(x,y)$在$L$上对弧长的曲线积分可记为: | ||
+ | \[\oint_L {f(x,y)ds} \] | ||
+ | |||
+ | 性质 | ||
+ | (1) $\int_L {[f(x,y) \pm g(x,y)]ds} = \int_L {f(x,y)ds} \pm \int_L {g(x,y)ds} $ | ||
+ | |||
+ | (2) $\int_L {kf(x,y)ds} = k\int_L {f(x,y)ds} $ ($k$为常数) | ||
+ | |||
+ | (3) $\int_L {f(x,y)ds} = \int_{L_1} {f(x,y)ds} + \int_{L_2} {f(x,y)ds} $ ($L=L_1+L_2$) | ||
+ | |||
+ | |||
+ | |||
+ | * 对弧长曲线积分的计算 | ||
+ | 设$f(x,y)$在曲线$L$上有定义且连续,$L$的参数方程为$\begin{cases} x = \phi (t) \\\\ y = \psi (t)\end{cases}$,($\alpha \le t \le \beta $),其中$\phi(t)$、$\psi(t)$在$[\alpha,\beta]$上具有一阶连续导数,则\[\int_L {f(x,y)ds} = \int_\alpha ^\beta {f[\phi (t),\psi (t)]\sqrt {{{\phi '}^2}(t) + {{\psi '}^2}(t)} } dt\] | ||
+ | 其中$\alpha < \beta$。 | ||
+ | |||
+ | 注意: | ||
+ | 1.积分下限$\alpha$要小于积分上限$\beta$。 | ||
+ | |||
+ | 2.$f(x,y)$中$x,y$不彼此独立, 而是相互有关的。 | ||
+ | |||
+ | |||
+ | 特殊情形 | ||
+ | (1)$L:y = \psi (x)\quad \quad a \le x \le b$ | ||
+ | \[\int_L {f(x,y)ds} = \int_a^b {f[x,\psi (x)]\sqrt {1 + {{\psi '}^2}(x)} } dx\] | ||
+ | |||
+ | (2)$L:x = \phi (y)\quad \quad c \le y \le d$ | ||
+ | \[\int_L {f(x,y)ds} = \int_c^d {f[\phi (y),y]\sqrt {1 + {{\phi '}^2}(y)} } dy\] | ||
+ | |||
+ | (3)$L:r = r(\theta ),\quad \quad \alpha \le \theta \le \beta $ | ||
+ | \[\int_L {f(x,y)ds} = \int_\beta ^\alpha {f[r(\theta )\cos \theta ,r(\theta )\sin \theta ]\sqrt {r{{(\theta )}^2} + r{{(\theta )'}^2}} } d\theta \] | ||
+ | |||
+ | * 几何与物理意义 | ||
+ | (1)当$f(x,y)$表示$L$的线密度时,\[M = \int_L {\rho (x,y)ds} \] | ||
+ | |||
+ | (2)当$f(x,y) \equiv 1$时,\[{L_{弧长}} = \int_L {ds} \] | ||
+ | |||
+ | (3)当$f(x,y)$表示立于$L$上的柱面在点$(x,y)$处的高时, | ||
+ | \[{S_{柱面面积}} = \int_L {f(x,y)ds} \] | ||
+ | |||
+ | (4)曲线弧对x轴及y轴的转动惯量: | ||
+ | \[{I_x} = \int_L {{y^2}\rho ds} ,\quad \quad {I_y} = \int_L {{x^2}\rho ds} \] | ||
+ | |||
+ | (5)曲线弧的重心: | ||
+ | \[\bar x = \frac{{\int_L {x\rho ds} }}{{\int_L {\rho ds} }},\quad \quad \bar y = \frac{{\int_L {y\rho ds} }}{{\int_L {\rho ds} }}\] | ||
+ | |||
+ | * 对坐标的曲线积分 | ||
+ | |||
+ | 定义 | ||
+ | 设$L$为面xoy内从点$A$到点$B$的一条有向光滑曲线弧,$P(x,y)$,$Q(x,y)$在$L$上有界。在$L$上沿$L$的方向任意插入一点列${M_1}({x_1},{y_1}),\;{M_2}({x_2},{y_2}), \cdots ,{M_{n - 1}}({x_{n - 1}},{y_{n - 1}})$把$L$分成$n$个有向小弧段$\widehat{M_{i-1}M_i}(i = 1,2, \cdots ,n;{M_0} = A,\;{M_n} = B)$。设$\Delta {x_i} = {x_i} - {x_{i - 1}},\;\;\Delta {y_i} = {y_i} - {y_{i - 1}}$,点$({\xi _i},{\eta _i})$为$M_{i-1}M_i$上任意取定的点。如果当各小弧段长度的最大值$\lambda \to 0$时,$\sum\limits_{i = 1}^n {P({\xi _i},{\eta _i})\Delta {x_i}} $ | ||
+ | 的极限存在,则称此极限为函数$P(x,y)$在有向曲线弧$L$上对坐标$x$的曲线积分(或称第二类曲线积分)记作\[\int_L {P(x,y)dx} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {P({\xi _i}} ,{\eta _i})\Delta {x_i}\] | ||
+ | 类似地定义 | ||
+ | \[\int_L {Q(x,y)dy} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {Q({\xi _i}} ,{\eta _i})\Delta {y_i}\] | ||
+ | 其中$P( x, y), Q( x, y)$叫做被积函数,$L$叫积分弧段。 | ||
+ | |||
+ | |||
+ | 存在条件:当$P( x, y), Q( x, y)$在光滑曲线弧$L$上连续时第二类曲线积分存在。 | ||
+ | |||
+ | 组合形式: | ||
+ | \[\int_L {P(x,y)dx} + \int_L {Q(x,y)dy} = \int_L {P(x,y)dx + Q(x,y)dy} = \int_L {\overrightarrow F \cdot \overrightarrow {ds} } \] | ||
+ | 其中$\overrightarrow F = P\overrightarrow {i} + Q\overrightarrow {j} ,\;\quad d\overrightarrow {s} = dx\overrightarrow {i} + dy\overrightarrow {j} $ | ||
+ | |||
+ | |||
+ | 推广: | ||
+ | 空间有向曲线弧$\Gamma$ | ||
+ | | ||
+ | \[\int_\Gamma {P(x,y,z)dx} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {P({\xi _i}} ,{\eta _i},{\zeta _i})\Delta x\] | ||
+ | |||
+ | \[\int_\Gamma {Q(x,y,z)dy} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {Q({\xi _i}} ,{\eta _i},{\zeta _i})\Delta {y_i}\] | ||
+ | |||
+ | \[\int_\Gamma {R(x,y,z)dz} = \mathop {\lim }\limits_{\lambda \to 0} \sum\limits_{i = 1}^n {R({\xi _i}} ,{\eta _i},{\zeta _i})\Delta {z_i}\] | ||
+ | |||
+ | \[\int_\Gamma {P(x,y,z)dx} + \int_\Gamma {Q(x,y,z)dy} + \int_\Gamma {R(x,y,z)dz} = \int_\Gamma {P(x,y,z)dx + Q(x,y,z)dy + R(x,y,z)dz} \] | ||
+ | |||
+ | |||
+ | 性质 | ||
+ | |||
+ | (1)如果把$L$分成$L_1$和$L_2$($L=L_1+L_2$),则 | ||
+ | \[\int_L {Pdx + Qdy} = \int_{L_1} {Pdx + Qdy} + \int_{L_2} {Pdx + Qdy} \] | ||
+ | |||
+ | (2)设$L$是有向曲线弧,$-L$是与$L$方向相反的有向曲线弧,则 | ||
+ | \[\int_{ - L} {P(x,y)dx} = - \int_L {P(x,y)dx} \] | ||
+ | \[\int_{ - L} {Q(x,y)dy} = - \int_L {Q(x,y)dy} \] | ||
+ | \[\int_{ - L} {P(x,y)dx + Q(x,y)dy} = - \int_L {P(x,y)dx + Q(x,y)dy} \] | ||
+ | 即,对坐标的曲线积分与曲线的方向有关。 | ||
+ | |||
+ | 对坐标的曲线积分的计算 | ||
+ | 曲线$L:\begin{cases} x=\phi(t)\\y=\psi(t)\end{cases} $,起点$t=\alpha$,终点$t=\beta$。$dx = \phi'(t)dt$,$dy = \psi'(t)dt$ | ||
+ | \[\int_L {P(x,y)dx + Q(x,y)dy} = \int_\alpha ^\beta {\{ P[\phi (t),\psi (t)]} \phi '(t) + Q[\phi (t),\psi (t)]\psi '(t)\} dt\] | ||
+ | |||
+ | 注意: | ||
+ | 1.定积分的下限$\alpha$不一定要小于上限$\beta$; | ||
+ | |||
+ | 2.$f ( x, y)$中$x, y$不彼此独立,而是相互有关的。 | ||
+ | |||
+ | |||
+ | 特殊情形 | ||
+ | (1)$L:y=\psi(x)$,$x$起点为$a$,终点为$b$。则$L: \begin{cases}x=x \\\\ y=\psi(x) \end{cases},dx=dx,dy=\psi'(x)dx$。 | ||
+ | \[\int_L {Pdx + Qdy} = \int_a^b {\{ P[x,\psi (x)] + Q[x,\psi (x)]{\rm{ }}\psi '(x)\} } dx\] | ||
+ | |||
+ | (2)$L:x=\phi(y)$,$y$起点为$c$,终点为$d$。则$L: \begin{cases}x=\phi(y) \\\\ y=y \end{cases},dx=\phi'(y)dy,dy=dy$。 | ||
+ | \[\int_L {Pdx + Qdy} = \int_c^d {\{ P[\phi (y),y]\phi '(y) + Q[\phi (y),y]\} } dy\] | ||
+ | |||
+ | 推广 | ||
+ | $\Gamma:\begin{cases}x=\phi(t)\\y=\psi(t)\\z=\omega(t)\end{cases}$,$t$起点$\alpha$,终点$\beta$。 | ||
+ | \[ | ||
+ | \int_\Gamma {Pdx + Qdy + Rdz} \\ | ||
+ | = \int_\alpha ^\beta {\{ P[\phi (t),\psi (t),\omega (t)]\phi '(t)} + Q[\phi (t),\psi (t),\omega (t)]\psi '(t) + R[\phi (t),\psi (t),\omega (t)]\omega '(t)\} dt | ||
+ | \] | ||
+ | |||
+ | 两类曲线积分之间的联系 | ||
+ | 设有向平面曲线弧为$L:\begin{cases}x=\phi(y)\\\\y=\psi(t)\end{cases}$,其切向量为$\overrightarrow T = \{ \phi '(t),{\rm{ }}\psi '(t)\} $。$L$上点$(x,y)$处的切向量的方向角为$\alpha,\beta$, | ||
+ | |||
+ | \[\cos\alpha=\frac{\phi'(t)}{\sqrt{{\phi'}^2(t)+{\psi'}^2(t)}},\cos\beta=\frac{\psi'(t)}{\sqrt{{\phi'}^2(t)+{\psi'}^2(t)}}\] | ||
+ | |||
+ | 则有 | ||
+ | \[\int_L {Pdx + Qdy = } \int_L {(P\cos \alpha + Q\cos \beta )ds} \] | ||
+ | |||
+ | 两类曲线积分之间的区别 | ||
+ | 对弧长的曲线积分没有方向,对坐标的曲面积分有方向。 | ||
+ | |||
+ | 格林公式 | ||
+ | 设闭区域$D$由分段光滑的曲线$L$围成,函数$P(x, y)$及$Q(x, y)$在$D$上具有一阶连续偏导数,则有 | ||
+ | \[{\int\int}_{D}(\frac{\partial P}{\partial x}-\frac{\partial Q}{\partial y})dxdy=\oint_L{P dx+Q dy}\] | ||
+ | 其中$L$是$D$的取正向的边界曲线。 | ||
+ | |||
+ | 格林公式表明了沿闭曲线的曲线积分与其所围区域的二重积分之间的联系。 | ||
+ | ====9.1.2.3 微分方程基本概念==== | ||
+ | --- //[[you@zju.edu.cn|王耀光]] 2011/06/15 14:22// | ||
+ | ==常微分方程和偏微分方程== | ||
+ | (1)常微分方程(函数为单变量) | ||
+ | <jsmath>{\frac {du} {dx}}=0, u=u(x)</jsmath> | ||
+ | (2)偏微分方程(函数为多变量),通常包括t: | ||
+ | <jsmath>\frac{\partial u }{\partial x}=0, u=u(x,y)</jsmath> | ||
+ | |||
+ | ==定义== | ||
+ | 2阶偏微分方程的定义: | ||
+ | <jsmath>F(x,y,u,u_x,u_y,u_{xx},u_{xy},u_{yy})=0</jsmath>其中<jsmath>u=u(x,y)</jsmath> | ||
+ | 例如: | ||
+ | <jsmath>u_t-cu_x=0 (运动方程)</jsmath> | ||
+ | <jsmath>u_{xx}+u_{yy}=0 (Laplace方程)</jsmath> | ||
+ | <jsmath>u_{tt}-c^2u_{xx} (波动方程)</jsmath> | ||
+ | |||
+ | ==分类== | ||
+ | |||
+ | (1)一阶,二阶,...:偏导的最大次数; | ||
+ | |||
+ | (2)线性,非线性,拟线性(方程对最高项是线性的); | ||
+ | |||
+ | (3)齐次,非齐次:是否每个变量的阶数都相等; | ||
+ | |||
+ | 一阶拟线性方程组: | ||
+ | <jsmath> \frac{\partial u} {\partial y}-A(x,y,u) \frac{\partial u} {\partial x}+h(x,y,u)=0</jsmath> | ||
+ | 二阶拟线性方程: | ||
+ | <jsmath>\sum_{i,j=1}^n a_{ij} \frac {\partial^2 u} {\partial x_i \partial x_j}+\sum_{i=1}^n b_i \frac {\partial u} {\partial x_i}+cu = f</jsmath> | ||
+ | |||
+ | ==定解条件== | ||
+ | 边界条件(BVP)和初始条件(IVP): | ||
+ | 偏微分方程一般可能有无穷多个解。实际中只要求解在某一定义域范围之内的解即可, | ||
+ | 如果在边界上限定了边界条件和初始条件,那方程的解一般是唯一的。这样才有物理意义。 | ||
+ | |||
+ | 边界条件: | ||
+ | |||
+ | (1)Dirichlet 条件:给出u在∂S上的值; | ||
+ | |||
+ | (2)Neumann 条件:给出∂S/∂n在∂S上的值; | ||
+ | |||
+ | (3)Robin 条件:给出au + b*∂u/∂n在∂S上的值(包括前两种); | ||
+ | |||
+ | 定解问题的适定性 | ||
+ | 稳定性:当初始数据或边界数据有微小变化时解的变化也应当微小。 | ||
+ | 适定性:如果定解问题的解在该函数空间存在,唯一并且稳定。 | ||
+ | | ||
+ | 对两个变量的二阶拟线性方程: | ||
+ | <jsmath>a(x,y,p) \frac {\partial^2 u} {\partial x^2} +2b(x,y,p) \frac {\partial^2 u} {\partial x \partial y}+c(x,y,p) \frac {\partial^2 u} {\partial y^2}+f(x,y,p) = 0</jsmath> | ||
+ | 如果对于固定的(x,y,u), 有: | ||
+ | <jsmath>F = ac-b^2 > 0</jsmath>,方程是椭圆型; | ||
+ | <jsmath>F < 0</jsmath>,方程是双曲型; | ||
+ | <jsmath>F = 0</jsmath>,方程是抛物型。 | ||
+ | |||
+ | 二次线性偏微分方程的分类 | ||
+ | |||
+ | <jsmath>若A=[a_{ij}]是正定或负定的,则称为椭圆方程. </jsmath> | ||
+ | <jsmath>若A=[a_{ij}]的特征值至少有一个为0,则称为抛物型方程.</jsmath> | ||
+ | <jsmath>若A=[a_{ij}]化为标准型后取正值和取负值的系数的个数都大于1,则称为双曲型.</jsmath> | ||
+ | 例子: | ||
+ | (椭圆方程)<jsmath>u_{xx} + u_{yy} = f(x,y)</jsmath> | ||
+ | (双曲线方程)<jsmath>u_{xx} - u_{yy} = f(x,y)</jsmath> | ||
+ | |||
+ | ==叠加原理== | ||
+ | 在物理,力学和化学等学科中,许多自然现象具有叠加效应,即几种不同因素同时出现时所产生的效果等于各个因素分别单独出现时产生的叠加(即总和)。 | ||
+ | 用数学的话讲,对所有线性系统 F(x)=y,其中 x 是某种程度上的刺激(输入)而 y 是某种反应(输出),刺激的叠加(即“和”)得出分别反应的叠加: | ||
+ | F(x1+x2+...)=F(x1)+F(x2)+... | ||
+ | 在数学中,这个性质更常被叫做可加性。在绝大多数实际情形中,F 的可加性表明它是一个线性映射,也叫做一个线性函数或线性算子。 | ||
+ | | ||
+ | ==变分原理== | ||
+ | **最小位能原理**(Hamilton原理):任何力学系统,若给定t=t0的起始状态 | ||
+ | 和时刻t=t1的终结状态,则真实运动区别于任何容许运动的地方在于:真实运动 | ||
+ | 使定积分(T为总动能,U为总势能)。 | ||
+ | |||
+ | <jsmath>\int_{t+0}^{t_1} L dt (L=T-U)</jsmath> | ||
+ | 的一阶变分为零。δJ=0. | ||
+ | (L称为Largrange密度函数) | ||
+ | |||
+ | 关于一阶变分的定义说明: | ||
+ | |||
+ | 假设真实运动函数为:$u(x,y,z,t)$ <jsmath>L=f(x,y,z,t,u,u_t,u_x,u_y,u_z)</jsmath> | ||
+ | 是(x,y,z,t)的任意光滑函数,记$δu=εη$,则一阶变分δJ的定义为: | ||
+ | |||
+ | <jsmath>δJ = {\frac {dJ(u+εη)} {dε} }|_{ε=0} ε</jsmath>, | ||
+ | 得到的方程: | ||
+ | {{:keynote:f1.png|}} | ||
+ | |||
+ | ====== 9.1.3三个基本的偏微分方程 ====== | ||
+ | --- //[[you@zju.edu.cn|伊灯]] 2011/06/15 16:00// | ||
+ | ===== 双曲线方程(波动方程)===== | ||
+ | --- //[[you@zju.edu.cn|伊灯]] 2011/06/15 16:00// | ||
+ | ==== 双曲线方程 ==== | ||
+ | 定义 | ||
+ | <jsmath>u_{tt} - a^2\triangle u = f</jsmath> | ||
+ | 一维齐次情况 | ||
+ | <jsmath>u_{tt} - a^2u_{xx} = 0</jsmath> | ||
+ | 边界条件 | ||
+ | <jsmath>u(t,0) = \alpha(t)</jsmath> | ||
+ | <jsmath>u(t,a) = \beta(t)</jsmath> | ||
+ | 初始条件 | ||
+ | <jsmath>u(0,x) = f(x),\quad 0<x<a </jsmath> | ||
+ | <jsmath>u_t(0,x) = g(x), \quad 0<x<a </jsmath> | ||
+ | |||
+ | ==== 波动方程 ==== | ||
+ | 波动方程或称波方程(wave equation)是一种重要的偏微分方程,主要描述自然界中的各种的波动现象,包括横波和纵波,例如声波、光波和水波。波动方程抽象自声学,电磁学,和流体力学等领域。 | ||
+ | |||
+ | 历史上许多科学家,如达朗贝尔、欧拉、丹尼尔•伯努利和拉格朗日等在研究乐器等物体中的弦振动问题时,都对波动方程理论作出过重要贡献。 | ||
+ | 波动方程是双曲形偏微分方程的最典型代表,其最简形式可表示为:关于位置x 和时间t 的标量函数u(代表各点偏离平衡位置的距离)满足: | ||
+ | <jsmath>{ \partial^2 u \over \partial t^2 } = c^2 \nabla^2u </jsmath> | ||
+ | 这里'''c'''通常是一个固定常数,代表波的传播速率。在常压、20°C的空气中''c''为343米/秒。在弦振动问题中,''c'' 依不同弦的密度大小和轴向张力不同可能相差非常大。而在半环螺旋弹簧(一种玩具,英文商标为 Slinky)上,波速可以慢到1米/秒。 | ||
+ | |||
+ | 在针对实际问题的波动方程中,一般都将波速表示成可随波的频率变化的量,这种处理对应真实物理世界中的色散现象。此时,''c'' 应该用波的相速度代替: | ||
+ | <jsmath>v_\mathrm{p} = \frac{\omega}{k}.</jsmath> | ||
+ | 实际问题中对标准波动方程的另一修正是考虑波速随振幅的变化,修正后的方程变成下面的'''非线性波动方程''': | ||
+ | <jsmath>{ \partial^2 u \over \partial t^2 } = c(u)^2 \nabla^2u </jsmath> | ||
+ | 另需注意的是物体中的波可能是叠加在其他运动(譬如介质的平动,以气流中传播的声波为例)上的。这种情况下,标量''u''的表达式将包含一个马赫因子(对沿流动方向传播的波为正,对反射波为负)。 | ||
+ | |||
+ | ===== 抛物线方程(热传导方程)===== | ||
+ | 抛物型偏微分方程是一类二阶偏微分方程, 描述自然科学中广泛的问题, 包括热能的扩散以及布莱克-斯科尔斯模型. 这些问题, 通常被称为演化问题. | ||
+ | |||
+ | 数学上, 具有以下形式的偏微分方程 | ||
+ | <jsmath>Au_{xx} + Bu_{xy} + Cu_{yy} + \cdots = 0</jsmath> | ||
+ | 是抛物型的,如果它满足条件 | ||
+ | :<jsmath>B^2 - 4AC = 0.</jsmath> | ||
+ | 这一定义与平面上的抛物线的定义是类似的. | ||
+ | |||
+ | 一个简单的抛物型偏微分方程是一维的''热传导方程'': | ||
+ | <jsmath>u_t = k u_{xx}</jsmath> | ||
+ | 其中$u(t,x)$是时间$t$时在$x$处的温度,$k$是常数.符号$u_t$表示对时间变量$t$的偏导数, 同样的$u_{xx}$是对$x$的二阶偏导数. | ||
+ | 这个方程的意思是说,在某个时间位置上的温度的变化速率正比于该点附近的平均温度与该点温度之差. | ||
+ | |||
+ | 热传导方程的主要推广具有形式 | ||
+ | <jsmath>u_t = Lu</jsmath>, | ||
+ | 其中$L$是椭圆微分算子. | ||
+ | 这一系统隐含在以下方程中 | ||
+ | <jsmath>\nabla \cdot (a(x) \nabla u(x)) + b(x)^T \nabla u(x) + cu(x) = f(x)</jsmath> | ||
+ | 当矩阵函数$a(x)$具有一个维数为1的核. | ||
+ | --- //[[you@zju.edu.cn|伊灯]] 2011/06/15 16:13// | ||
+ | |||
+ | ===== 椭圆方程(位势方程) ===== | ||
+ | 泊松方程(Poisson's equation)是数学中一个常见于静电学、机械工程和理论物理的偏微分方程式,因法国数学家、几何学家及物理学家泊松而得名。 | ||
+ | 泊松方程式为 | ||
+ | <jsmath>\Delta\varphi=f</jsmath> | ||
+ | 在这里 $\Delta$代表的是拉普拉斯算子,而$f$ 和 $φ$ 可以是在流形上的实数或复数值的方程式。當流形属于欧几里德空间,而拉普拉斯算子通常表示為 ${\nabla}^2$,因此泊松方程通常写成: | ||
+ | <jsmath>{\nabla}^2 \varphi = f</jsmath> | ||
+ | |||
+ | 在三维坐标系,可以写成: | ||
+ | <jsmath>\left( \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2} \right)\varphi(x,y,z) = f(x,y,z). </jsmath> | ||
+ | |||
+ | 如果沒有$f(x,y,z)$,这个方程式就会变成一个齐次方程,这个方程称作“拉普拉斯方程”: | ||
+ | |||
+ | <jsmath>\Delta \varphi = 0. \!</jsmath> | ||
+ | |||
+ | 泊松方程可以用格林函数來求解;如何利用格林函数來解泊松方程可以参考screened Poisson equation。现在有很多个数值解。像是relaxation method,不断回圈的代数法,就是一个例子。 --- //[[you@zju.edu.cn|伊灯]] 2011/06/15 20:25// | ||
+ | ====== 格林公式====== | ||
+ | --- //[[you@zju.edu.cn|李润泽]] 2011/06/16 14:01//\\ | ||
+ | 设D为平面区域,如果D内任一闭曲线所围成的部分都属于D,则称D为平面单连通区域,否则称为复连通区域. | ||
+ | {{:keynote:lian.jpg|}}\\ | ||
+ | 定理1 \\ | ||
+ | 设闭区域D由分段光滑的曲线L围成,函数P(x,y)及Q(x,y)在D上具有一阶连续偏导数,则有 | ||
+ | {{:keynote:shi1.jpg|}}\\ | ||
+ | 其中L是D的取正向的边界曲线, | ||
+ | ====== 面积曲面积分 ====== | ||
+ | 定义 \\ | ||
+ | 设Σ为光滑的有向曲面,函数在Σ上有界,把Σ分成n块小曲面$\Delta$Si($\Delta$Si同时又表示第i块小曲\\ | ||
+ | 面的面积),$\Delta$Si在xoy面上的投影为($\Delta$Si)xy,($\xi$i,$\eta$i,$\zeta$i)是$\Delta$Si上任意取定的一点,如果当各小块曲面的直径的最大值$\lambda$->0时,\\ | ||
+ | {{:keynote:shi2.jpg|}}\\ | ||
+ | 存在,则称此极限为函数R(x,y,z)在有向曲面Σ上对坐标x,y的曲面积分(也称第二类曲面积分)\\ | ||
+ | {{:keynote:shi3.jpg|}}\\ | ||
+ | |||
+ | ====== Gauss公式 ====== | ||
+ | 设空间闭区域$\Omega$由分片光滑的闭曲面Σ围成。函数P(x,y,z),Q(x,y,z),R(x,y,z) | ||
+ | 在$\Omega$上具有一阶连续偏导数,则有公式 \\ | ||
+ | {{:keynote:shi4.jpg|}}\\ | ||
+ | 这里$\Sigma$是$\Omega$的整个边界曲面的外侧,$\cos$$\alpha$,$\cos$$\beta$,$\cos$$\gamma$ | ||
+ | 是$\Sigma$上点(x,y,z)处的法向量的方向余弦. \\ | ||
+ | Gauss公式的实质 表达了空间闭区域上的三重体积分与其边界曲面上的曲面积分之间的关系. | ||
+ | ====== 本节编撰作者 ====== | ||
+ | <note important> 本节编撰作者(请大家在这里报到): | ||
+ | * [[xxxx@xxx.xxx|xxx]] (ID:xxxxxx ),编写了xxxxxxxx | ||
+ | * [[lidongping83@163.com|李冬平]] (ID:11121022 ),编写了9.1.1偏微分方程的历史 | ||
+ | * [[yaoguwangwang@gmail.com|王耀光]](ID:11021057),编写了9.1.2.3微分方程基本概念。 | ||
+ | * [[yideng@zju.edu.cn|伊灯]] (ID:11021058),编写了9.1.3三个基本的偏微分方程。 | ||
+ | * [[yeminchao@zju.edu.cn|叶敏超]] (ID:11021055),编写了微积分初步之曲线积分。 | ||
+ | * [[lirunzelizhi@126.com|李润泽]] (ID:11021054),编写了格林公式和高斯公式。 | ||
+ | 浙江大学2008-2010版权所有,如需转载或引用,请与[[zhx@cad.zju.edu.cn|作者联系]]。 | ||
+ | </note> | ||
+ | |||
+ | |||