跳至内容

偏微分方程/导论与第一个例子

来自维基教科书,开放的世界,开放的书籍
偏微分方程
导论与第一个例子 输运方程 → 

什么是偏微分方程?

[编辑 | 编辑源代码]

为一个自然数,令 为任意集合。在 上的偏微分方程看起来像这样

是一个特定于偏微分方程的任意函数,它从 ,其中 是一个自然数。在 上的此偏微分方程的解是一个函数 满足上述逻辑语句。一些偏微分方程的解描述了自然界中的过程;这是它们如此重要的原因之一。

多重指标

[编辑 | 编辑源代码]

在整个偏微分方程理论中,多重指标极其重要。只有借助它们,我们才能更简洁地写下某些公式。

定义 1.1:

一个 维度多重指标是一个向量 ,其中 是自然数和零。

如果 是一个多重指标,那么它的绝对值 定义为

如果 是一个 维度多重指标, 是一个任意集合,并且 足够多次可微,我们定义 阶导数 of ,如下

偏微分方程的类型

[edit | edit source]

我们将偏微分方程分类为几种类型,因为对于一种类型的偏微分方程,我们将需要与其他类型的微分方程不同的求解技术。我们将它们分类为线性方程和非线性方程,以及不同阶的方程。

定义 1.2:

一个线性偏微分方程是一个具有以下形式的方程

,其中只有有限多个 不是常数零函数。一个解的形式是一个函数 。我们有 对于任意 是一个任意函数,公式中的和是对所有可能的 维多重指标求和。如果 ,该方程被称为齐次

如果一个偏微分方程不是线性偏微分方程,则它被称为非线性

定义 1.3:

。我们说一个偏微分方程具有当且仅当 是使得它具有如下形式的最小数字

偏微分方程的第一个例子

[edit | edit source]

现在我们非常好奇偏微分方程在实际中到底是什么样子的。

定理和定义 1.4:

如果 是一个可微函数,并且 ,那么函数

满足一维齐次输运方程

证明:练习 2。

因此,我们看到一维输运方程有许多不同的解;对于每个连续可微函数都存在一个解。但是,如果我们要求解具有特定的初始状态,则解就变得唯一。

定理与定义 1.5:

如果 是一个可微函数,并且 ,那么函数

一维齐次输运方程的初值问题的唯一解

证明:

显然 。此外,定理 1.4 表明:

现在假设我们有另一个任意的初值问题的解。我们把它命名为 。那么对于所有 ,函数

是常数

因此,特别是

, 这意味着,插入 的定义,我们得到

, 这表明 . 由于 是一个任意的解,这表明解的唯一性。

在下一章中,我们将考虑非齐次任意维度的输运方程。

练习

[edit | edit source]
  1. 看看常微分方程的定义(例如,参见维基百科关于常微分方程的页面),并证明每个常微分方程都是偏微分方程。
  2. 使用直接计算证明定理 1.4。
  3. 输运方程的阶数是多少?
  4. 找到一个函数 使得 .

来源

[edit | edit source]
  • Martin Brokate (2011/2012), Partielle Differentialgleichungen, Vorlesungsskript (PDF) (德语) {{citation}}: Check date values in: |year= (help)
  • Daniel Matthes (2013/2014), Partial Differential Equations, lecture notes {{citation}}: Check date values in: |year= (help)
偏微分方程
导论与第一个例子 输运方程 → 
华夏公益教科书