[论文解读] Solving a Dirichlet problem for unbounded domains via a conformal transformation

Ryan Gibara, Riikka Korte+1 more|arXiv (Cornell University)|Sep 20, 2022

Advanced Mathematical Modeling in Engineering被引用 5

一句话总结

该论文通过应用共形变换，解决了具有有界边界的无界均匀域上的 $p$-Dirichlet 问题，该变换将区域映射到有界均匀空间，同时保持了加倍性和 Poincaré 不等式性质。该变换基于依赖于距离的权函数 $\varphi$，确保变换后的度量和测度具有加倍性并支持 $p$-Poincaré 不等式，从而可将有界域上的已知结果转移至无界域，建立了 Besov 边界数据下解的存在性与唯一性。

ABSTRACT

In this paper, we solve the $p$-Dirichlet problem for Besov boundary data on unbounded uniform domains with bounded boundaries when the domain is equipped with a doubling measure satisfying a Poincaré inequality. This is accomplished by studying a class of transformations that have been recently shown to render the domain bounded while maintaining uniformity. These transformations conformally deform the metric and measure in a way that depends on the distance to the boundary of the domain and, for the measure, a parameter $p$. We show that the transformed measure is doubling and the transformed domain supports a Poincaré inequality. This allows us to transfer known results for bounded uniform domains to unbounded ones, including trace results and Adams-type inequalities, culminating in a solution to the Dirichlet problem for boundary data in a Besov class.

研究动机与目标

• 将 $p$-Dirichlet 问题的存在性与唯一性结果从有界域推广至具有有界边界的无界均匀域。
• 开发一种共形变换，将无界均匀域映射为有界域，同时保持关键的几何与分析性质。
• 确保变换后的度量与测度保持加倍条件和 $p$-Poincaré 不等式，从而可应用有界域上的已知结果。
• 在变换后的空间上建立迹与位势理论结果，将域上的函数与其在 Besov 类中的边界迹联系起来。
• 通过变换框架，证明无界域上具有 Besov 边界数据的 $p$-Dirichlet 问题的可解性与唯一性。

提出的方法

• 定义新度量 $d_{\varphi}(x,y) = \inf_{\gamma} \int_{\gamma} \varphi \circ d_{\Omega} \, ds$，其中 $\varphi$ 是到边界距离的递减函数，以共形方式变形原始度量。
• 构造新测度 $\mu_{\varphi}$，其 Radon-Nikodym 导数为 $\varphi(d_{\Omega}(x))^{p}$，以确保与 $p$-Dirichlet 能量的相容性。
• 证明变换后的空间 $(\Omega_{\varphi}, d_{\varphi}, \mu_{\varphi})$ 是加倍的并支持 $p$-Poincaré 不等式，利用边界附近的局部双李普希茨等价性。
• 证明 $\Omega_{\varphi} \setminus \{\infty\}$ 仍为均匀域，扩展了先前关于该变换的工作结果。
• 通过变换诱导的同构，将有界域上迹算子与 Adams 型不等式的结果转移至无界域。
• 在变换后的空间上应用位势理论以求解 Dirichlet 问题，将 $\Omega$ 上的解与 Besov 空间中的边界数据联系起来。

实验结果

研究问题

• RQ1 能否通过保持基本几何与分析性质的共形变换，求解具有有界边界的无界均匀域上的 $p$-Dirichlet 问题？
• RQ2 基于依赖于距离的权函数 $\varphi$ 的共形变换，是否能在变换后的域上得到加倍测度与 $p$-Poincaré 不等式？
• RQ3 通过该变换，有界域上的迹定理与 Adams 型不等式在多大程度上可推广至无界域？
• RQ4 在何种条件下，无界域上具有 Besov 边界数据的 $p$-Dirichlet 问题的解是唯一的？
• RQ5 该变换如何影响域的抛物/双曲性质，这对可解性与唯一性有何含义？

主要发现

• 变换后的度量测度空间 $(\Omega_{\varphi}, d_{\varphi}, \mu_{\varphi})$ 是加倍的并支持 $p$-Poincaré 不等式，如定理 4.11 与 6.3 所证明。
• 空间 $\Omega_{\varphi} \setminus \{\infty\}$ 仍为均匀域，证实该变换保持了均匀性。
• 当 $p > Q_{\mu}^{+}$ 时，其中 $Q_{\mu}^{\text{+}}$ 为上同调维数，Dirichlet 问题可解且解唯一，如例 10.1 中对 $p > 1$ 所示。
• 在例 10.2 中，当 $1 \leq p < 2$ 时，该域为 $p$-双曲，当 $p \geq 2$ 时为 $p$-抛物，且仅当 $p \geq 2$ 时解唯一。
• 当边界携带 $\theta$-维 Hausdorff 测度且 $\theta > 1$ 时，Dirichlet 问题对 $p > \theta$ 可解，且当 $p \geq 2$ 时解唯一，如 Cantor 集例子中 $\theta = 2 - \frac{\log 2}{\log 3} > 1$ 所示。
• 该变换确保 Dirichlet 问题的解在边界及某些射线或集合上满足齐次 Neumann 条件，如涉及半直线与 Cantor 集的例题所示。