最后更新: 2025-04-30 06:25 查看: 15 次反馈同步训练

多个自变量的情形

1.2 多个自变量的情形

这里我们仅对含有 $n(\geqslant 2)$ 个自变量的二阶线性方程进行讨论，它的一般形式可写为

$$
\sum_{i, j=1}^n a_{i j} \frac{\partial^2 u}{\partial x_i \partial x_j}+\sum_{i=1}^n b_i \frac{\partial u}{\partial x_i}+c u=f
$$

其中 $a_{i j}, b_i, c$ 和 $f$ 为 $x_1, x_2, \cdots, x_n$ 的已知函数，且在 $R ^n$ 中的某区域 $\Omega$ 内连续可微，并有 $a_{i j}=a_{j i}$ ．

设 $S$ 是 $R ^n$ 空间中的一个曲面，它的表达式为

$$
G\left(x_1, x_2, \cdots, x_n\right)=0
$$

若在其上给定初始数据

$$
\left\{\begin{array}{l}
\left.u\right|_{G=0}=\varphi_0\left(x_1, x_2, \cdots, x_n\right) \\
\left.\frac{\partial u}{\partial x_1}\right|_{G=0}=\varphi_1\left(x_1, x_2, \cdots, x_n\right) \\
\cdots \ldots \ldots \cdots \\
\left.\frac{\partial u}{\partial x_n}\right|_{G=0}=\varphi_n\left(x_1, x_2, \cdots, x_n\right)
\end{array}\right.
$$

就得到定解问题（1．17）－（1．19）．现在问题的提法是：若在曲面 $S$ 上给定函数 $u$ 及其一阶偏导数的值（1．19），能否利用这些值和方程（1．17）来唯一确定函数 $u$ 的各二阶偏导数在 $S$ 上的值？

为此，我们先讨论曲面 $S$ 为超平面的情形，不妨设它的表达式为

$$
S: \quad x_n=x_n^0
$$

这时定解条件为
$$
\left\{\begin{array}{l}
\left.u\right|_{x_n=x_n^0}=\varphi_0\left(x_1, x_2, \cdots, x_{n-1}, x_n^0\right) \\
\left.\frac{\partial u}{\partial x_1}\right|_{x_n=x_n^0}=\varphi_1\left(x_1, x_2, \cdots, x_{n-1}, x_n^0\right), \\
\cdots \cdots \cdots \cdots \\
\left.\frac{\partial u}{\partial x_n}\right|_{x_n=x_n^0}=\varphi_n\left(x_1, x_2, \cdots, x_{n-1}, x_n^0\right)
\end{array}\right.
$$

易知，定解条件必须满足如下相容性条件：

$$
\left\{\begin{array}{l}
\frac{\partial \varphi_0}{\partial x_i}=\varphi_i, \quad i=1,2, \cdots, n-1 \\
\frac{\partial \varphi_j}{\partial x_i}=\frac{\partial \varphi_i}{\partial x_j}, \quad i, j=1,2, \cdots, n-1
\end{array}\right.
$$

由此可见，定解条件（1．21）中的初始数据 $\varphi_1, \varphi_2, \cdots, \varphi_{n-1}$ 完全由初始数据 $\varphi_0$ 决定，因此定解问题的提法为
$$
\left\{\begin{array}{l}
\sum_{i, j=1}^n a_{i j} \frac{\partial^2 u}{\partial x_i \partial x_j}+\sum_{i=1}^n b_i \frac{\partial u}{\partial x_i}+c u=f, \\
\left.u\right|_{x_n=x_n^0}=\bar{\varphi}_0\left(x_1, x_2, \cdots, x_{n-1}\right), \\
\left.\frac{\partial u}{\partial x_n}\right|_{x_n=x_n^0}=\bar{\varphi}_1\left(x_1, x_2, \cdots, x_{n-1}\right) .
\end{array}\right.
$$

不难看出，利用（1．22）式中的定解条件可求出除 $\frac{\partial^2 u}{\partial x_n^2}$ 外的所有二阶偏导数在曲面 $S$ 上的值．

关于 $\frac{\partial^2 u}{\partial x_n^2}$ 在曲面 $S$ 上的值，只有依靠（1．22）式中的方程来求得。改写该方程为

$$
a_{n n} \frac{\partial^2 u}{\partial x_n^2}=f-2 \sum_{i=1}^{n-1} a_{i n} \frac{\partial^2 u}{\partial x_i \partial x_n}-\sum_{i, j=1}^{n-1} a_{i j} \frac{\partial^2 u}{\partial x_i \partial x_j}-\sum_{i=1}^n b_i \frac{\partial u}{\partial x_i}-c u .
$$

于是在曲面 $S$ 上有

$$
a_{n n} \frac{\partial^2 u}{\partial x_n^2}=f-2 \sum_{i=1}^{n-1} a_{i n} \frac{\partial \bar{\varphi}_1}{\partial x_i}-\sum_{i, j=1}^{n-1} a_{i j} \frac{\partial^2 \bar{\varphi}_0}{\partial x_i \partial x_j}-\sum_{i=1}^{n-1} b_i \frac{\partial \bar{\varphi}_0}{\partial x_i}-b_n \bar{\varphi}_1-c \bar{\varphi}_0 .
$$

从上式不难看出，确定 $\frac{\partial^2 u}{\partial x_n^2}$ 的值的关键就在于其系数 $a_{n n}$ 在 $S$ 上是否为零．

若在曲面 $S$ 上 $a_{n n} \neq 0$ ，则定解问题（1．22）可在 $S$ 上唯一确定 $u$ 的各二阶偏导数的值．若在 $S$ 上有 $a_{n n}=0$ ，则一般来说，定解问题（1．22）无解；若要有解，则定解条件中的 $\bar{\varphi}_0$ 和 $\bar{\varphi}_1$ 必须满足如下相容性条件：

$$
2 \sum_{i=1}^{n-1} a_{i n} \frac{\partial \bar{\varphi}_1}{\partial x_i}+\sum_{i, j=1}^{n-1} a_{i j} \frac{\partial^2 \bar{\varphi}_0}{\partial x_i \partial x_j}+\sum_{i=1}^{n-1} b_i \frac{\partial \bar{\varphi}_0}{\partial x_i}+b_n \bar{\varphi}_1+c \bar{\varphi}_0=f .
$$

现在我们来讨论一般的曲面 $S$ ，即考虑定解问题（1．17）－（1．19）．设 $P\left(x_1^0, x_2^0, \cdots, x_n^0\right)$是曲面 $S$ 上的任意一点，且在点 $P$ 有 $\sum_{i=1}^n\left(\frac{\partial G}{\partial x_i}\right)^2 \neq 0$ ．不妨假定

$$
\frac{\partial G}{\partial x_n}\left(x_1^0, x_2^0, \cdots, x_n^0\right) \neq 0 .
$$

作拉

免费注册看余下 50%

非VIP会员每天15篇文章，开通VIP 无限制查看

上一篇：二阶方程的特征

下一篇：多个自变量的情形举例

本文对您是否有用？有用 (0) 无用 (0)