变分问题证明题(二)

变分问题

题目一

($I$) 对于泛函 $J(v)=\frac{1}{2}\int |\nabla v{|}^{2}dx-{\int }_{\Omega }fvdx$，求 $u$ 使得 $J(u)=mi{n}_{v\in H_0^1(\Omega )}J(v)$ 的解

($II$) 求 $u\in H_0^1(\Omega ),s.t.$ $${\int }_{\Omega }\nabla v\cdot \nabla udx={\int }_{\Omega }vfdx,\forall v\in H_0^1(\Omega )$$

($III$) 求 $u\in C^2(\Omega )\cap C_0^1(\Omega ),s.t.u$ 满足 $Poisson$ 方程的 $Dirichlet$ 问题

题目：
(1) 请证明 ($I$) 和 ($II$) 相互等价
(2) 请写出 $Poisson$ 方程的 $Dirichlet$ 问题，并证明若 ($II$) 的解 $u\in C^2(\Omega )\cap C_0^1(\Omega )$，则 ($II$) 与 ($III$) 等价

解：

(1)为了证明命题 ($I$) 和 ($II$) 相互等价，我们需要证明以下两个方向的充分必要性：

1. ($I$) $\Rightarrow$ ($II$)：若 $u$ 是泛函 $J(v)$ 的极小值点，则 $u$ 满足弱形式的泊松方程。
2. ($II$) $\Rightarrow$ ($I$)：若 $u$ 满足弱形式的泊松方程，则 $u$ 是泛函 $J(v)$ 的极小值点。

($I$) $\Rightarrow$ ($II$)

假设 $u$ 是泛函 $J(v)$ 的极小值点，即对于任意 $v\in H_0^1(\Omega )$，有
$J(u)\le J(v)$

考虑 $J(u+ϵ\varphi )$，其中 $ϵ$ 是一个实数，$\varphi \in H_0^1(\Omega )$。由于 $u$ 是极小值点，我们有
$J(u)\le J(u+ϵ\varphi )$

展开 $J(u+ϵ\varphi )$，得到
$\frac{1}{2}\int |\nabla (u+ϵ\varphi ){|}^{2}dx-\int f(u+ϵ\varphi )dx$
$=\frac{1}{2}\int (|\nabla u{|}^2+2ϵ\nabla u\cdot \nabla \varphi +{ϵ}^2|\nabla \varphi {|}^2)dx-\int fudx-ϵ\int f\varphi dx$

对 $ϵ$ 求导并在 $ϵ=0$ 处取值，得到
$\int \nabla u\cdot \nabla \varphi dx-\int f\varphi dx=0$

由于 $\varphi$ 是任意的，我们得到
$\int \nabla u\cdot \nabla vdx=\int fvdx,\forall v\in H_0^1(\Omega )$

这证明了 ($I$) $\Rightarrow$ ($II$)。

附注 $|\nabla (u+ϵ\varphi ){|}^2=|\nabla u{|}^2+2ϵ\nabla u\cdot \nabla \varphi +{ϵ}^2|\nabla \varphi {|}^2$

这个等式的推导过程利用了梯度算子的线性性质和内积的性质。具体来说：

1. 梯度的线性性质：对于任意函数 $u$ 和 $\varphi$，以及任意实数 $ϵ$，我们有
   $\nabla (u+ϵ\varphi )=\nabla u+ϵ\nabla \varphi$

2. 内积的性质：对于任意向量 $\mathbf{a}$ 和 $\mathbf{b}$，我们有
   $|\mathbf{a}+\mathbf{b}{|}^2=\mathbf{a}\cdot \mathbf{a}+2\mathbf{a}\cdot \mathbf{b}+\mathbf{b}\cdot \mathbf{b}$

结合上述两点，我们可以推导出等式：

$|\nabla (u+ϵ\varphi ){|}^2=|\nabla u+ϵ\nabla \varphi {|}^2$
$=(\nabla u+ϵ\nabla \varphi )\cdot (\nabla u+ϵ\nabla \varphi )$
$=\nabla u\cdot \nabla u+2ϵ(\nabla u\cdot \nabla \varphi )+{ϵ}^2(\nabla \varphi \cdot \nabla \varphi )$
$=|\nabla u{|}^2+2ϵ\nabla u\cdot \nabla \varphi +{ϵ}^2|\nabla \varphi {|}^2$

因此，这个等式的推导过程主要用到了梯度算子的线性性质和内积的基本性质。

附注

当然可以。这一部分的关键在于使用了泛函的一阶变分原理，即如果 $u$ 是泛函 $J(v)$ 的极小值点，那么 $J(v)$ 在 $u$ 处的一阶变分应该为零。具体到这个问题中，我们考虑 $J(u+ϵ\varphi )$ 关于 $ϵ$ 的导数，并在 $ϵ=0$ 处取值。

首先，我们有
$J(u+ϵ\varphi )=\frac{1}{2}\int |\nabla (u+ϵ\varphi ){|}^{2}dx-\int f(u+ϵ\varphi )dx$
$=\frac{1}{2}\int (|\nabla u{|}^2+2ϵ\nabla u\cdot \nabla \varphi +{ϵ}^2|\nabla \varphi {|}^2)dx-\int fudx-ϵ\int f\varphi dx$

接下来，我们对 $ϵ$ 求导。注意到 $|\nabla u{|}^2$ 和 $\int fudx$ 与 $ϵ$ 无关，所以它们的导数为零。因此，我们有
$\frac{d}{dt}J(u+ϵ\varphi )=\frac{1}{2}\int (2\nabla u\cdot \nabla \varphi +2ϵ|\nabla \varphi {|}^2)dx-\int f\varphi dx$
$=\int \nabla u\cdot \nabla \varphi dx+ϵ\int |\nabla \varphi {|}^{2}dx-\int f\varphi dx$

现在，我们在 $ϵ=0$ 处取值，得到
${\frac{d}{dt}J(u+ϵ\varphi )|}_{t=0}=\int \nabla u\cdot \nabla \varphi dx-\int f\varphi dx$

根据一阶变分原理，由于 $u$ 是泛函 $J(v)$ 的极小值点，这个导数应该为零。因此，我们得到
$\int \nabla u\cdot \nabla \varphi dx-\int f\varphi dx=0$

这就是我们想要证明的结果。这个结果表明，如果 $u$ 是泛函 $J(v)$ 的极小值点，那么 $u$ 必须满足上述积分等式，这正是弱形式的泊松方程。

($II$) $\Rightarrow$ ($I$)

假设 $u$ 满足弱形式的泊松方程，即对于任意 $v\in H_0^1(\Omega )$，有
$\int \nabla u\cdot \nabla vdx=\int fvdx$

我们需要证明 $u$ 是泛函 $J(v)$ 的极小值点。考虑任意 $v\in H_0^1(\Omega )$，令 $w=v-u$，则有
$J(v)-J(u)=\frac{1}{2}\int |\nabla v{|}^{2}dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int f(v-u)dx$
$=\frac{1}{2}\int (|\nabla u{|}^2+2\nabla u\cdot \nabla w+|\nabla w{|}^2)dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int fwdx$
$=\int \nabla u\cdot \nabla wdx+\frac{1}{2}\int |\nabla w{|}^{2}dx-\int fwdx$
$=\frac{1}{2}\int |\nabla w{|}^{2}dx$
$=\frac{1}{2}\int |\nabla (v-u){|}^{2}dx\ge 0$

因此，对于任意 $v\in H_0^1(\Omega )$，都有 $J(v)\ge J(u)$，即 $u$ 是泛函 $J(v)$ 的极小值点。

附注 这一步骤的详细推导
$J(v)-J(u)=\frac{1}{2}\int |\nabla v{|}^{2}dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int f(v-u)dx$
$=\frac{1}{2}\int (|\nabla u{|}^2+2\nabla u\cdot \nabla w+|\nabla w{|}^2)dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int fwdx$
这一步骤的关键在于利用了梯度的线性性质和内积的性质来展开和重组积分项。具体来说：

首先，我们有 $w=v-u$，因此 $\nabla w=\nabla v-\nabla u$。

然后，我们考虑泛函 $J(v)$ 和 $J(u)$ 的差：
$J(v)-J(u)=\frac{1}{2}\int |\nabla v{|}^{2}dx-\int fvdx-\left(\frac{1}{2}\int |\nabla u{|}^{2}dx-\int fudx\right)$
$=\frac{1}{2}\int |\nabla v{|}^{2}dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int f(v-u)dx$
$=\frac{1}{2}\int |\nabla v{|}^{2}dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int fwdx$ （因为 $v-u=w$）

接下来，我们利用 $\nabla v=\nabla u+\nabla w$ 来展开 $|\nabla v{|}^2$：
$|\nabla v{|}^2=|\nabla u+\nabla w{|}^2=(\nabla u+\nabla w)\cdot (\nabla u+\nabla w)$
$=|\nabla u{|}^2+2\nabla u\cdot \nabla w+|\nabla w{|}^2$

因此，我们有
$J(v)-J(u)=\frac{1}{2}\int (|\nabla u{|}^2+2\nabla u\cdot \nabla w+|\nabla w{|}^2)dx-\frac{1}{2}\int |\nabla u{|}^{2}dx-\int fwdx$

这就是我们想要证明的等式。这个等式展示了如何通过引入差函数 $w=v-u$ 来重组泛函 $J(v)$ 和 $J(u)$ 的差，并利用梯度的线性性质和内积的性质来简化表达式。

这证明了 ($II$) $\Rightarrow$ ($I$)。

综上所述，我们证明了命题 ($I$) 和 ($II$) 相互等价。

附注 这一步骤的详细推导
$\int \nabla u\cdot \nabla wdx+\frac{1}{2}\int |\nabla w{|}^{2}dx-\int fwdx$
$=\frac{1}{2}\int |\nabla w{|}^{2}dx$

当然可以。这一步的关键在于利用 $u$ 满足弱形式的泊松方程这一条件来简化表达式。具体来说：

我们已经知道 $u$ 满足弱形式的泊松方程，即对于任意 $v\in H_0^1(\Omega )$，有
$\int \nabla u\cdot \nabla vdx=\int fvdx$

由于 $w=v-u\in H_0^1(\Omega )$（因为 $H_0^1(\Omega )$ 是一个线性空间），我们可以将 $w$ 代入上述弱形式的泊松方程中，得到
$\int \nabla u\cdot \nabla wdx=\int fwdx$

因此，我们可以将 $\int \nabla u\cdot \nabla wdx-\int fwdx$ 这一项简化为 $0$。所以，我们有
$\int \nabla u\cdot \nabla wdx+\frac{1}{2}\int |\nabla w{|}^{2}dx-\int fwdx$
$=0+\frac{1}{2}\int |\nabla w{|}^{2}dx$
$=\frac{1}{2}\int |\nabla w{|}^{2}dx$

这就是我们想要证明的等式。这个等式表明，如果 $u$ 满足弱形式的泊松方程，那么泛函 $J(v)$ 和 $J(u)$ 的差可以简化为 $\frac{1}{2}\int |\nabla w{|}^{2}dx$，这是一个非负的量，因为它是一个积分的平方项。这个结果对于证明 $u$ 是泛函 $J(v)$ 的极小值点是至关重要的。

(2)
为了证明命题 ($II$) 和 ($III$) 相互等价，我们需要证明以下两个方向的充分必要性：

1. ($II$) $\Rightarrow$ ($III$)：若 $u\in H_0^1(\Omega )$ 是命题 ($II$) 的解，并且 $u\in C^2(\Omega )\cap C_0^1(\Omega )$，则 $u$ 满足 Poisson 方程的 Dirichlet 问题。
2. ($III$) $\Rightarrow$ ($II$)：若 $u\in C^2(\Omega )\cap C_0^1(\Omega )$ 满足 Poisson 方程的 Dirichlet 问题，则 $u$ 是命题 ($II$) 的解。

($II$) $\Rightarrow$ ($III$)

假设 $u\in H_0^1(\Omega )$ 是命题 ($II$) 的解，并且 $u\in C^2(\Omega )\cap C_0^1(\Omega )$。即对于任意 $v\in H_0^1(\Omega )$，有
${\int }_{\Omega }\nabla v\cdot \nabla udx={\int }_{\Omega }vfdx$

由于 $u\in C^2(\Omega )$，我们可以利用 Green 公式将左边的积分转换为
${\int }_{\Omega }\nabla v\cdot \nabla udx=-{\int }_{\Omega }v\Delta udx+{\int }_{\partial \Omega }v\frac{\partial u}{\partial n}dS$

由于 $u\in C_0^1(\Omega )$，即 $u$ 在 $\partial \Omega$ 上为零，因此边界项消失，我们有
$-{\int }_{\Omega }v\Delta udx={\int }_{\Omega }vfdx,\forall v\in H_0^1(\Omega )$

由于这个等式对于任意 $v\in H_0^1(\Omega )$ 都成立，我们可以得出 $\Delta u=-f$ 在 $\Omega$ 中成立。结合 $u\in C_0^1(\Omega )$，即 $u$ 在 $\partial \Omega$ 上为零，我们得到 $u$ 满足 Poisson 方程的 Dirichlet 问题。

($III$) $\Rightarrow$ ($II$)

假设 $u\in C^2(\Omega )\cap C_0^1(\Omega )$ 满足 Poisson 方程的 Dirichlet 问题，即
$\{\begin{array}{ll}\Delta u=-f& \text{in }\Omega \\ u=0& \text{on }\partial \Omega \end{array}$

我们需要证明 $u$ 是命题 ($II$) 的解。对于任意 $v\in H_0^1(\Omega )$，利用 Green 公式，我们有
${\int }_{\Omega }\nabla v\cdot \nabla udx=-{\int }_{\Omega }v\Delta udx+{\int }_{\partial \Omega }v\frac{\partial u}{\partial n}dS$

由于 $u$ 满足 Dirichlet 边界条件，即 $u=0$ 在 $\partial \Omega$ 上，边界项消失，我们有
${\int }_{\Omega }\nabla v\cdot \nabla udx=-{\int }_{\Omega }v\Delta udx$

将 $\Delta u=-f$ 代入上式，得到
${\int }_{\Omega }\nabla v\cdot \nabla udx={\int }_{\Omega }vfdx$

这证明了 $u$ 是命题 ($II$) 的解。

综上所述，我们证明了命题 ($II$) 和 ($III$) 相互等价，前提是 ($II$) 的解 $u$ 属于 $C^2(\Omega )\cap C_0^1(\Omega )$。