[论文解读] On the Dirichlet problem for solutions of a restricted nonlinear mean value property

Ángel Arroyo, José G. Llorente|Project Euclid (Cornell University)|Nov 14, 2014

Advanced Mathematical Modeling in Engineering被引用 5

一句话总结

本文建立了与p-Laplacian算子相关的受限非线性均值性质函数的Dirichlet问题解的存在性与唯一性。通过上确界与下确界平均（S）和均值算子（M）的凸组合，作者证明了在连续边界数据条件下，算子 $ T_\alpha = \alpha S + (1-\alpha)M $ 在 $ C(\overline{\Omega}) $ 中具有唯一的不动点，方法基于度量不动点理论与比较原理。

ABSTRACT

We give an analytic proof of the solution of Dirichlet Problem for continous functions satisfying a nonlinear mean value problem related to the p-laplace operator and certain stochastic games.

研究动机与目标

• 建立满足与p-Laplacian相关的受限非线性均值性质的函数的Dirichlet问题解的存在性与唯一性。
• 分析算子 $ T_\alpha = \alpha S + (1-\alpha)M $，其中 $ S $ 为在球上取上确界与下确界之和的平均，$ M $ 为均值算子。
• 将已知的 $ \alpha = 0 $（调和函数）与 $ \alpha = 1 $（调和函数）结果推广至 $ \alpha \in [0,1) $ 的中间值。
• 证明在定义域与半径函数满足适当的几何与正则性条件时，解算子 $ T_\alpha $ 在 $ C(\overline{\Omega}) $ 中具有唯一的不动点。

提出的方法

• 定义算子 $ T_\alpha = \alpha S + (1-\alpha)M $，其中 $ S u(x) = \frac{1}{2}(\sup_{B_x} u + \inf_{B_x} u) $ 且 $ M u(x) = \fint_{B_x} u \, d\mu $。
• 通过算子 $ H_\alpha = \frac{1}{2}(I + T_\alpha) $ 的动态规划原理，在空间 $ C(\overline{\Omega}) $ 中生成迭代序列。
• 应用Ishikawa不动点定理，证明序列 $ \{H_\alpha^k u_0\} $ 一致收敛于 $ T_\alpha $ 的不动点。
• 利用测度 $ \mu $ 的矛盾论证方法，证明 $ \{T_\alpha^k u\} $ 与 $ \{H_\alpha^k u\} $ 在边界处的等度连续性。
• 证明一个比较原理：若 $ u \leq v $ 在 $ \partial\Omega $ 上成立，且 $ T_\alpha u = u $，$ T_\alpha v = v $，则在 $ \Omega $ 中有 $ u \leq v $。
• 利用Arzelà–Ascoli定理从迭代序列中提取一致收敛的子列，确保收敛至解。

实验结果

研究问题

• RQ1 对于 $ \alpha \in [0,1) $，满足非线性均值性质 $ T_\alpha u = u $ 的Dirichlet问题在 $ C(\overline{\Omega}) $ 中是否具有唯一解？
• RQ2 在满足Lipschitz条件的广义可容许半径函数下，能否建立算子 $ T_\alpha = \alpha S + (1-\alpha)M $ 解的存在性与唯一性？
• RQ3 解算子 $ T_\alpha $ 是否为 $ C(\overline{\Omega}) $ 上的压缩映射或非扩张映射，从而支持不动点技术的应用？
• RQ4 非线性均值性质 $ u(x) = \alpha \cdot \frac{1}{2}(\sup_{B_x} u + \inf_{B_x} u) + (1-\alpha) \fint_{B_x} u \, d\mu $ 与 $ p \geq 2 $ 时的p-Laplacian有何关联？
• RQ5 该类非线性算子的比较原理是否可推广，以确保唯一性？

主要发现

• 在 $ \Omega $ 有界且 $ r $ 为Lipschitz可容许半径函数的条件下，Dirichlet问题 $ T_\alpha u = u $ 在 $ \Omega $ 中，$ u = f $ 在 $ \partial\Omega $ 上，对每个 $ f \in C(\partial\Omega) $，在 $ C(\overline{\Omega}) $ 中有唯一解。
• 解为迭代序列 $ H_\alpha^k u_0 $ 的一致极限，其中 $ H_\alpha = \frac{1}{2}(I + T_\alpha) $，利用Ishikawa不动点定理得到。
• 序列 $ \{H_\alpha^k u_0\} $ 在 $ \overline{\Omega} $ 上等度连续，通过Arzelà–Ascoli定理确保收敛。
• 比较原理成立：若 $ u \leq v $ 在 $ \partial\Omega $ 上，且 $ T_\alpha u = u $，$ T_\alpha v = v $，则在 $ \Omega $ 中有 $ u \leq v $，从而保证唯一性。
• $ T_\alpha $ 的不动点也是 $ H_\alpha $ 的不动点，且收敛 $ H_\alpha^k u_0 \to \widetilde{u} $ 在 $ \overline{\Omega} $ 上一致成立。
• 该结果将经典结果从 $ \alpha = 0 $（通过均值性质的调和函数）与 $ \alpha = 1 $（通过上确界-下确界均值性质的调和函数）推广至中间值 $ \alpha $，并将其与 $ p = \frac{d+p}{d+p-2} $ 时的p-Laplacian联系起来。