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

是一个特定于偏微分方程的任意函数,它从
到
,其中
是一个自然数。在
上的此偏微分方程的解是一个函数
满足上述逻辑语句。一些偏微分方程的解描述了自然界中的过程;这是它们如此重要的原因之一。
在整个偏微分方程理论中,多重指标极其重要。只有借助它们,我们才能更简洁地写下某些公式。
我们将偏微分方程分类为几种类型,因为对于一种类型的偏微分方程,我们将需要与其他类型的微分方程不同的求解技术。我们将它们分类为线性方程和非线性方程,以及不同阶的方程。
定义 1.3:
设
。我们说一个偏微分方程具有
阶当且仅当
是使得它具有如下形式的最小数字

现在我们非常好奇偏微分方程在实际中到底是什么样子的。
定理和定义 1.4:
如果
是一个可微函数,并且
,那么函数

满足一维齐次输运方程

证明:练习 2。
因此,我们看到一维输运方程有许多不同的解;对于每个连续可微函数都存在一个解。但是,如果我们要求解具有特定的初始状态,则解就变得唯一。
定理与定义 1.5:
如果
是一个可微函数,并且
,那么函数

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

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

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

是常数

因此,特别是

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

, 这表明
. 由于
是一个任意的解,这表明解的唯一性。
在下一章中,我们将考虑非齐次任意维度的输运方程。
- 看看常微分方程的定义(例如,参见维基百科关于常微分方程的页面),并证明每个常微分方程都是偏微分方程。
- 使用直接计算证明定理 1.4。
- 输运方程的阶数是多少?
- 找到一个函数
使得
且
.