引言
运动的数学
如果我们能将一个量的变化与另一个量的变化联系起来,偏微分方程便应运而生。最简单的规则之一是函数 在时间上的变化率与空间上的变化率相关联。例如,这样的规则可以表示为 ,其中 是对 的偏导数,而 是对 的偏导数。你可以验证 就是满足该微分方程的一个函数例子。甚至可以看到,对于任意函数 ,函数 也满足 。典型的情况是给定 ,即“现在”的状态。然后我们就能知道 未来时间 的 是什么。这描述了未来的状态。正如你所见,微分方程 描述的是“输运”。初始状态被向左平移。试试看,例如画出 。我们看到 ,特别地 。图像向左移动了。
图 1. 满足微分方程 的函数 。该偏微分方程称为正弦-戈登方程,是一种具有孤波的非线性波动方程。这里空间是一维的,时间从左到右。我们看到一个波左右移动,在边界处反射并积累成一个更大的波峰。一个“怪波”。 讲座
偏微分方程如何塑造我们的世界
偏微分方程是一种将不同变量的变化率联系起来的规则。我们的生活受到偏微分方程的影响:麦克斯韦方程组描述了电场和磁场 与 。它们的运动导致了光的传播。爱因斯坦场方程将度量张量 与质量张量 联系起来。薛定谔方程描述了量子粒子如何运动。像纳维-斯托克斯方程这样的定律支配着流体和气体的运动,特别是海洋中的洋流或大气中的风。偏微分方程也出现在意想不到的地方,比如金融领域,布莱克-舒尔斯方程将期权价格与时间和股票价格联系起来。
偏微分方程与常微分方程的一些例子
如果 是一个二元函数,我们可以对 或 分别求导。我们将 简写为 。例如,对于 ,有 和 。如果先对 求导再对 求导,我们记为 。如果对 求两次导,我们记为 。对于一个未知函数 ,若方程中出现了关于至少两个不同变量的偏导数,则称其为偏微分方程 (PDE)。如果只出现关于一个变量的导数,则称为常微分方程 (ODE)。偏微分方程的一个例子是 ,常微分方程的一个例子是 。重要的是要意识到我们寻找的是一个函数,而不是一个数。例如,常微分方程 的解是函数 。如果规定一个初始值,如 ,则存在唯一解 。KdV 偏微分方程 的解是(你猜对了)。这是众多解中的一个。在此情况下它们被称为孤波,即非线性波。Korteweg-de Vries (KdV) 方程是数学领域可积系统中的一个标志,该系统带来了对持续研究(如海洋中的怪波)的深刻理解。
一瞥混合导数的克莱罗定理
如果 和 都是二元连续函数,则称 ;如果所有 、、 和 都是连续函数,则称 。下一个定理被称为克莱罗定理。它处理的是偏微分方程 。该证明展示了反证法。我们将在证明研讨会上进一步探讨这一技巧。
定理 1. 每个 都满足克莱罗方程 。
证明. 我们使用富比尼定理,这一定理将在后面的二重积分讲座中出现:积分 通过两次应用微积分基本定理得到 类似的计算给出 将富比尼定理应用于 可以保证 因此 。 存在某个 ,使得 那么对于小的 ,函数 在 上的值处处大于 ,因此 积分为零矛盾。 ◻
为何连续可微性对克莱罗定理而言还不够
该命题对于只属于 的函数是不成立的。标准的反例是 当 时具有性质 ,且当 时具有性质 。你可以对比一下 和 后一个函数不属于 。 和 的值,即切线的斜率变化,沿不同方向有不同的表现。
图 2. 克莱罗定理对 成立,该函数在极坐标下为 。但对于函数 不成立,该函数在极坐标下为 。 示例
求解输运方程的一种方法
在许多情况下,其中一个变量是时间,我们用字母 表示,而 则作为空间变量。微分方程 被称为输运方程。如果给定 ,解是什么?这里有一个巧妙的推导:如果 表示导数, 我们可以构造算子,如 输运方程现在变为 。正如你从微积分中所知,方程 , 的唯一解是 。如果我们大胆地将数 替换为算子 ,就得到 并得出其解 根据泰勒公式,这等于 。你实际上应该将泰勒公式记为 。我们已经为 中的 推导出:
定理 2. 的解为 。
证明. 我们可以忽略推导而直接快速验证:该函数满足 和 。 ◻
偏微分方程的另一个例子是波动方程 。我们可以将其写为 。求解此方程的一种方法是考虑 。这意味着输运 和 。我们也可以有 ,这意味着 ,从而得到 。我们看到,任意常数组合 都是解。调整常数 使得 和 就得到如下达朗贝尔解。这要求 。
定理 3. 的解为 。
证明. 直接验证这确实是一个解,并且满足 和 。直观上,如果我们向狭窄的水道扔一块石头,波浪会向两侧移动。 ◻
从热流到正态分布
偏微分方程 被称为热方程。其解涉及概率论中的正态分布 其中 是平均值, 是标准差。
求解热方程
如果初始热量 在时间 时连续且在有界区间 外为零,则
定理 4. 的解为 。
证明. 对于每个固定的 ,函数 是热方程的解。
将 的每个黎曼和近似 定义为一个函数 该函数是热方程的解。那么 也是解。要验证 ,需要 和 对于任意连续函数 和 ,这将在后面证明。 ◻
拉普拉斯方程的作用
对于三个变量的函数 ,可以考察偏微分方程 。它被称为拉普拉斯方程,而 被称为拉普拉斯算子。该算子也出现在最重要的偏微分方程之一——薛定谔方程中: 其中 是缩放后的普朗克常数, 是依赖于位置 的势,而 是质量。对于 且 ,则解 是前向平移。算子 是量子力学中的动量算符。泰勒公式表明 生成平移。
练习
练习 1. 验证对于任意常数 ,函数 满足受驱动输运方程 该偏微分方程有时被称为具有阻尼 的平流方程。
练习 2. 我们在课堂上看到 是热方程 的解。更一般地验证 是热方程 的解。
练习 3. 程函方程 用于光学。令 为到圆 的距离。证明它满足程函方程。
注:该方程可以改写为 ,其中 是 的梯度,它也是映射 的雅可比矩阵。
练习 4. 微分方程 是布莱克-斯科尔斯方程的一种形式。这里 是看涨期权的价格, 是股票价格, 是时间。找到一个同时依赖于 和 的解 。
提示:首先寻找形如 或 的解,然后寻找形如 的函数。
练习 5. 偏微分方程 被称为伯格斯方程,用于描述海滩上的波浪。在更高维度中,它导出纳维-斯托克斯方程,后者用于描述天气。验证函数 是伯格斯方程的解。你最好使用技术手段。