[论文解读] Dirichlet-to-Neumann and elliptic operators on C 1+$\kappa$ -domains: Poisson and Gaussian bounds

Tom Ter Elst, El Maati Ouhabaz|arXiv (Cornell University)|May 29, 2017

Advanced Mathematical Modeling in Engineering参考文献 9被引用 3

一句话总结

本文在有界 C¹+κ 域（κ > 0）上，针对具有变 Hølder 连续系数的 Dirichlet-to-Neumann 算子，建立了热核的泊松上界。通过利用具有复系数的椭圆算子的热核与格林函数的梯度估计，并证明 ∇⋆∇∗G 在边界处的 Hölder 连续性，作者推导出 Dirichlet-to-Neumann 算子的换位子的 Lp-估计，这些估计在证明泊松上界时起到了关键作用。

ABSTRACT

We prove Poisson upper bounds for the heat kernel of the Dirichlet-to-Neumann operator with variable H{\o}lder coefficients when the underlying domain is bounded and has a C 1+$\kappa$-boundary for some $\kappa$ > 0. We also prove a number of other results such as gradient estimates for heat kernels and Green functions G of elliptic operators with possibly complex-valued coefficients. We establish H{\o}lder continuity of $ abla$ x $ abla$ y G up to the boundary. These results are used to prove L p-estimates for commutators of Dirichlet-to-Neumann operators on the boundary of C 1+$\kappa$-domains. Such estimates are the keystone in our approach for the Poisson bounds.

研究动机与目标

• 在具有变 Hølder 连续系数的有界 C¹+κ 域上，建立 Dirichlet-to-Neumann 算子热核的泊松上界。
• 推导具有可能复值系数的椭圆算子的热核与格林函数的梯度估计。
• 证明格林函数的二阶混合梯度 ∇⋆∇∗G 在区域边界处的 Hölder 连续性。
• 在 C¹+κ 域上建立 Dirichlet-to-Neumann 算子换位子的 Lp-估计，这些估计对主泊松上界结果至关重要。

提出的方法

• 利用 κ > 0 的 C¹+κ 域结构，以确保边界分析所需的足够正则性。
• 应用具有变系数、可能为复值的 Hølder 连续系数的椭圆算子的热核与格林函数的梯度估计。
• 通过椭圆算子的正则性理论，证明二阶混合梯度 ∇x∇yG 在边界处的 Hölder 连续性。
• 通过仔细分析边界行为与算子换位子范数，推导出 Dirichlet-to-Neumann 算子换位子的 Lp-估计。
• 将这些 Lp 估计作为关键技术工具，用于建立热核的最终泊松上界。

实验结果

研究问题

• RQ1 在具有变 Hølder 连续系数的有界 C¹+κ 域上，Dirichlet-to-Neumann 算子热核的尖锐泊松型上界是什么？
• RQ2 在具有复值系数的 C¹+κ 域边界附近，热核与格林函数的梯度估计行为如何？
• RQ3 在这些域中，格林函数的二阶混合梯度 ∇x∇yG 到边界的 Hölder 连续性程度如何？
• RQ4 是否可以在 C¹+κ 域上建立 Dirichlet-to-Neumann 算子换位子的 Lp-估计？这些估计如何贡献于热核上界？
• RQ5 域的 C¹+κ 正则性在确保这些上界与估计有效方面起什么作用？

主要发现

• 本文在具有变 Hølder 连续系数的有界 C¹+κ 域上，建立了 Dirichlet-to-Neumann 算子热核的泊松上界。
• 推导出在 C¹+κ 域上，具有可能复值系数的椭圆算子的热核与格林函数的梯度估计。
• 证明了格林函数的二阶混合梯度 ∇x∇yG 在区域边界的 Hölder 连续性。
• 证明了 Dirichlet-to-Neumann 算子换位子的 Lp-估计，为最终结果提供了关键的技术工具。
• 这些 Lp-估计在建立泊松上界中起到了决定性作用，构成了本文的核心分析框架。