变分问题证明题

变分问题

题目一

($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 )$。

变分问题解的存在唯一性

设 $\Omega$ 是 ${\mathbb{R}}^2$ 中的一个有界开区域，其光滑边界用 $\Gamma$ 表示。$\Omega$ 上定义的泛函为：
$$J(v)=\frac{1}{2}||v|{|}_{H_1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma v^2-gv)ds$$其中 $\sigma \in C(\Gamma )，g\in C(\Gamma )$，且 $0<{\sigma }_0<\sigma <{\sigma }_1<+\infty$。变分问题的描述为：求 $u\in H^1(\Omega )$，使得 $$J(u)=mi{n}_{v\in H^1(\Omega )}J(v)$$请详细地证明这个变分问题的解存在并且唯一

$||v|{|}_{H_1(\Omega )}^2$ 表示函数 $v$ 在 $H_1(\Omega )$ 空间中的范数的平方。

$H_1(\Omega )$ 是一个Sobolev空间，通常用来表示具有某些平滑性的函数空间。对于一个定义在域 $\Omega$ 上的函数 $v$，其在 $H_1(\Omega )$ 空间中的范数定义为：

$||v|{|}_{H_1(\Omega )}={\left({\int }_{\Omega }|v{|}^2+|\nabla v{|}^{2}dx\right)}^{1/2}$

其中，$|v{|}^2$ 表示函数 $v$ 的平方，$|\nabla v{|}^2$ 表示 $v$ 的梯度的平方（即各个偏导数的平方和），${\int }_{\Omega }$ 表示对整个域 $\Omega$ 的积分。

因此，$||v|{|}_{H_1(\Omega )}^2$ 就是上述范数的平方，它考虑了函数 $v$ 本身的大小和它的变化率（通过梯度）。

证明：
(1) 证明泛函 $J$ 在 $H^1(\Omega )$ 上有下确界

为了证明泛函 $J$ 在 $H^1(\Omega )$ 上有下确界，我们需要证明对于任意 $v\in H^1(\Omega )$，$J(v)$ 的值有一个下界。根据泛函 $J$ 的定义：

$$J(v)=\frac{1}{2}||v|{|}_{H_1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma v^2-gv)ds$$

首先，我们考虑泛函的第一部分，即 $||v|{|}_{H_1(\Omega )}^2$，这是 $H^1(\Omega )$ 中元素的平方范数，显然是非负的。所以，这一部分对泛函 $J(v)$ 的值起着一个非负的贡献。

所以$$J(v)=\frac{1}{2}||v|{|}_{H_1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma v^2-gv)ds$$$$\ge {\int }_{\Gamma }(\frac{1}{2}\sigma v^2-gv)ds={\int }_{\Gamma }\frac{1}{2}(\sigma v^2-2\sqrt{\sigma }v\cdot g\frac{1}{\sqrt{\sigma }}+\frac{g^2}{\sigma }）-\frac{g^2}{2\sigma }ds$$$$={\int }_{\Gamma }\frac{1}{2}(\sqrt{\sigma }v-g\frac{1}{\sqrt{\sigma }}{)}^2-\frac{g^2}{2\sigma }ds$$$$\ge -{\int }_{\Gamma }-\frac{1}{2\sigma }{g}^{2}ds(因为\frac{1}{2}(\sqrt{\sigma }v-g\frac{1}{\sqrt{\sigma }}{)}^2是非负项)$$

所以 $J$ 在 $H_1(\Omega )$ 有下确界，不妨设 $m={\inf }_{v\in H^1(\Omega )}J(v)$，那么由下确界的定义，$\forall k\in {\mathbb{N}}_{+},\exists u_k\in H^1(\Omega )$ 使得$$m\le J(u_k)=\frac{1}{2}||u_k|{|}_{H_1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma u_k^2-g{u}_k)ds<m+\frac{1}{k}$$

根据下确界的性质，对于任意正整数 $k$，总存在一个函数 $u_k\in H^1(\Omega )$，使得 $J(u_k)$ 比 $m$ 大，但是与 $m$ 非常接近，即 $J(u_k)<m+\frac{1}{k}$。这里的 $\frac{1}{k}$ 作为一个逐渐趋于零的量，保证了我们可以找到一个 $u_k$ 使得 $J(u_k)$ 越来越接近 $m$，但是永远不会小于 $m$，因为 $m$ 是下确界。

所以，不等式 $m\le J(u_k)<m+\frac{1}{k}$ 描述了这样一个情况：对于任意给定的 $k$，我们总能找到一个函数 $u_k$，使得其对应的泛函值 $J(u_k)$ 既不小于下确界 $m$（保证了 $m$ 是下确界的性质），又不超过 $m+\frac{1}{k}$（保证了我们可以找到越来越接近 $m$ 的 $J(u_k)$ 值）。随着 $k$ 的增大，$\frac{1}{k}$ 趋于零，$J(u_k)$ 越来越接近 $m$。

(2) 证明 { u k } \{u_k\} {uk​} 是基本列从而证明变分问题解的存在性

为了证明函数序列 { u k } \{u_k\} {uk​} 是 $H^1(\Omega )$ 中的基本列，我们需要证明对于任意的 $ϵ>0$，存在一个正整数 $N$，使得当 $k,l>N$ 时，有 $||u_k-u_l|{|}_{H^1(\Omega )}<ϵ$。

首先，我们回顾平行四边形公式，在 $H^1(\Omega )$ 中，对于任意的 $u,v\in H^1(\Omega )$，有：

$$||u+v|{|}_{H^1(\Omega )}^2+||u-v|{|}_{H^1(\Omega )}^2=2(||u|{|}_{H^1(\Omega )}^2+||v|{|}_{H^1(\Omega )}^2)$$

现在，考虑序列中的两个元素 $u_k$ 和 $u_l$，我们应用平行四边形公式：

$$||u_k+u_l|{|}_{H^1(\Omega )}^2+||u_k-u_l|{|}_{H^1(\Omega )}^2=2(||u_k|{|}_{H^1(\Omega )}^2+||u_l|{|}_{H^1(\Omega )}^2)$$

我们关注的是 $||u_k-u_l|{|}_{H^1(\Omega )}^2$，因为这表示了 $u_k$ 和 $u_l$ 在 $H^1(\Omega )$ 中的距离。为了证明 { u k } \{u_k\} {uk​} 是基本列，我们需要证明这个距离可以任意小。

根据泛函 $J$ 的定义，我们有：

$$J(u_k)=\frac{1}{2}||u_k|{|}_{H^1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma u_k^2-g{u}_k)ds$$

因为 $u_k$ 使得 $J(u_k)$ 接近其下确界 $m$，我们可以推断 $||u_k|{|}_{H^1(\Omega )}$ 是有界的，即存在一个常数 $M$，使得对于所有的 $k$，有 $||u_k|{|}_{H^1(\Omega )}<M$。这是因为如果 $||u_k|{|}_{H^1(\Omega )}$ 无界，那么 $J(u_k)$ 也将无界，这与 $J(u_k)$ 接近下确界 $m$ 矛盾。

现在，由于 $||u_k|{|}_{H^1(\Omega )}$ 和 $||u_l|{|}_{H^1(\Omega )}$ 都小于 $M$，我们有：

$$||u_k-u_l|{|}_{H^1(\Omega )}^2\le 2(||u_k|{|}_{H^1(\Omega )}^2+||u_l|{|}_{H^1(\Omega )}^2)-||u_k+u_l|{|}_{H^1(\Omega )}^2<4M^2-||u_k+u_l|{|}_{H^1(\Omega )}^2$$

因为 $||u_k+u_l|{|}_{H^1(\Omega )}^2$ 也是有界的（由于 $u_k$ 和 $u_l$ 都有界），所以存在一个常数 $C$，使得对于所有的 $k$ 和 $l$，有 $||u_k-u_l|{|}_{H^1(\Omega )}^2<C$。

最后，对于给定的 $ϵ>0$，我们可以选择 $N$ 足够大，使得当 $k,l>N$ 时，$||u_k-u_l|{|}_{H^1(\Omega )}^2<{ϵ}^2$，因此 $||u_k-u_l|{|}_{H^1(\Omega )}<ϵ$。

综上所述，我们证明了函数序列 { u k } \{u_k\} {uk​} 是 $H^1(\Omega )$ 中的基本列。

(3) 变分问题解的唯一性证明

为了证明变分问题解的唯一性，我们需要证明如果存在两个不同的函数 $u,v\in H^1(\Omega )$ 使得 $J(u)=J(v)=m$，其中 $m$ 是泛函 $J$ 的最小值，那么必须有 $u=v$。

假设存在这样的两个不同的函数 $u$ 和 $v$。我们首先利用 $J$ 的定义写出 $J(u)$ 和 $J(v)$：

$$J(u)=\frac{1}{2}||u|{|}_{H^1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma u^2-gu)ds$$
$$J(v)=\frac{1}{2}||v|{|}_{H^1(\Omega )}^2+{\int }_{\Gamma }(\frac{1}{2}\sigma v^2-gv)ds$$

由于 $u$ 和 $v$ 都是 $J$ 的最小值点，我们有 $J(u)=J(v)=m$。

现在，考虑函数 $\frac{u+v}{2}$，它也属于 $H^1(\Omega )$。根据泛函 $J$ 的凸性，我们有：

$$J\left(\frac{u+v}{2}\right)\le \frac{1}{2}J(u)+\frac{1}{2}J(v)=m$$

另一方面，由于 $m$ 是 $J$ 的最小值，我们必须有 $J\left(\frac{u+v}{2}\right)\ge m$。因此，我们得到 $J\left(\frac{u+v}{2}\right)=m$。

现在，我们利用 $J$ 的定义和平行四边形公式来写出 $J\left(\frac{u+v}{2}\right)$：

$$J\left(\frac{u+v}{2}\right)=\frac{1}{2}||\frac{u+v}{2}|{|}_{H^1(\Omega )}^2+{\int }_{\Gamma }\left(\frac{1}{2}\sigma {\left(\frac{u+v}{2}\right)}^2-g\frac{u+v}{2}\right)ds$$

$$=\frac{1}{8}||u+v|{|}_{H^1(\Omega )}^2+\frac{1}{8}||u-v|{|}_{H^1(\Omega )}^2+\frac{1}{2}J(u)+\frac{1}{2}J(v)-\frac{1}{8}||u-v|{|}_{H^1(\Omega )}^2$$

$$=m+\frac{1}{8}||u-v|{|}_{H^1(\Omega )}^2$$

由于 $J\left(\frac{u+v}{2}\right)=m$，我们必须有 $||u-v|{|}_{H^1(\Omega )}^2=0$，这意味着 $u=v$。

因此，我们证明了变分问题解的唯一性。

(4) 推导出等价的边值问题

$$\{\begin{array}{ll}\Delta u=0& \text{in }\Omega ,\\ \frac{\partial u}{\partial n}+\sigma u=g& \text{on }\Gamma .\end{array}$$

位势方程的解的最大值最小值问题

设 $\Omega =\{(x,y)|x^2+y^2<\frac{{\pi }^2}{4}\}$，$u\in C(\overline{Q})\cap C^2(\Omega )$ 是下面这个定解问题的解，请求解 $u$ 在 $\overline{Q}$ 上的最大值和最小值
$\{\begin{array}{rl}& \Delta u=u_{xx}+u_{yy}=0,(x,y)\in \Omega \\ & u=\sin x,(x,y)\in \partial \Omega \end{array}$

这是一个定义在圆形区域 $\Omega$ 上的二维泊松方程定解问题，其中 $\Omega$ 是以原点为中心，半径为 $\frac{\pi }{2}$ 的圆形区域，边界条件是在 $\Omega$ 的边界上 $u$ 等于 $\sin x$。

由于 $\Delta u=0$，$u$ 是 $\Omega$ 上的调和函数。根据最大值原理，调和函数在其定义域内部不能取得最大值或最小值，除非它是常数。因此，$u$ 在 $\Omega$ 内部的最大值和最小值必须在边界 $\partial \Omega$ 上取得。

在边界 $\partial \Omega$ 上，$u(x,y)=\sin x$。由于 $\partial \Omega$ 是以原点为中心，半径为 $\frac{\pi }{2}$ 的圆，边界上的点 $(x,y)$ 满足 $x^2+y^2=\frac{{\pi }^2}{4}$，因此 $x$ 的取值范围是 $-\frac{\pi }{2}\le x\le \frac{\pi }{2}$。在这个范围内，$\sin x$ 的最大值是 $1$（当 $x=\frac{\pi }{2}$ 时），最小值是 $-1$（当 $x=-\frac{\pi }{2}$ 时）。

因此，$u$ 在 $\overline{Q}$ 上的最大值是 $1$，最小值是 $-1$。