[论文解读] The Schwarz type Lemmas and the Landau type theorem of mappings satisfying Poisson's equations

Shaolin Chen, David Kalaj|arXiv (Cornell University)|Aug 13, 2017

Analytic and geometric function theory参考文献 20被引用 3

一句话总结

本文建立了满足泊松方程 Δf = g 的复值映射的施瓦茨型引理与兰道型定理。通过利用格林函数和泊松核的积分表示，推导出 |f(z) − c| 与边界导数的精确界，将经典关于调和函数与全纯函数的结果推广至具有一般连续数据 g 的泊松方程解。

ABSTRACT

For a given continuous function $g:~Ω ightarrow\mathbb{C}$, we establish some Schwarz type Lemmas for mappings $f$ in $Ω$ satisfying the { m PDE}: $Δf=g$, where $Ω$ is a subset of the complex plane $\mathbb{C}$. Then we apply these results to obtain a Landau type theorem, which is a partial answer to the open problem in \cite{CP}. %The obtained results are

研究动机与目标

• 将经典施瓦茨与兰道定理由全纯函数与调和映射推广至满足泊松方程 Δf = g 的解。
• 通过建立泊松方程解的兰道型定理，解决文献 [13] 中的一个开放问题。
• 推导单位圆盘中泊松方程 Δf = g 解 f 的振荡与边界行为的精确估计。
• 将全纯函数的施瓦茨-皮克不等式关于算子范数 ‖D_f(z)‖ 的经典结果推广至泊松方程的解。
• 证明解 f 在半径为 r₀ 的圆盘内具有局部单芽性与双李普希茨性质，其性质依赖于 g 的 L∞-范数。

提出的方法

• 使用积分表示 f = P_ψ − G_g，其中 P_ψ 是边界数据 ψ 的泊松积分，G_g 是 g 的格林势。
• 对格林函数 G(z,w) 与泊松核 P(z,e^{it}) 应用估计，以控制 f(z) 与其在 z=0 处平均值的偏离。
• 通过分解 f = P_f + G_g 及对 ∂G_g/∂z 与 ∂G_g/∂z̄ 的估计，推导出形式导数 D_f 的界。
• 利用涉及 |z| 与 r₀ 的积分估计，控制 f 在圆盘 𝔻_{r₀} 内的振荡，从而获得单芽性与双李普希茨估计。
• 使用不等式 λ(D_f(0)) ≥ 1/(4M₂/π + 2M₁/3) 确保在半径为 r₀ 的圆盘内满足单射性。
• 求解满足单芽性条件的 r₀，从而得到像圆盘 f(𝔻_{r₀}) ⊃ 𝔻_{R₀} 的半径 R₀ 的下界。

实验结果

研究问题

• RQ1 如何将经典施瓦茨引理推广至满足泊松方程 Δf = g 的复值映射？
• RQ2 对于满足 Δf = g 的解 f，|f(z) − c| 的精确界是什么，其中 c 是 f 在边界上的平均值？
• RQ3 能否为泊松方程的解建立兰道型定理，并对边界导数进行估计？
• RQ4 在何种条件下，泊松方程 Δf = g 的解 f 在一个圆盘内具有局部单芽性与双李普希茨性质？
• RQ5 g 的 L∞-范数如何影响 f 下映射的单值像圆盘的半径？

主要发现

• 本文建立了不等式 |f(z) − (1−|z|²)/(1+|z|²) ∫₀²ᵖⁱ ψ(e^{it})dt| ≤ (4‖P_ψ‖_∞/π) arctan|z| + (‖g‖_∞/4)(1−|z|²)，该不等式推广了调和函数的古典施瓦茨引理。
• 在 z=0 与边界 T 上，该界是精确的，如示例 f(z) = M(1−|z|²)（其中 g(z) = −4M）所示。
• 对于满足 Δf = g 且 ‖g‖_∞ < 8/(3π) 的解 f，边界导数满足 liminf_{r→1⁻} |f(ζ)−f(rζ)|/(1−r) ≥ 2/π − 3‖g‖_∞/4，推广了经典的边界施瓦茨引理。
• 当 g ≡ 0 时，兰道型定理是精确的，此时恢复了全纯函数的经典结果。
• 导数的算子范数满足 ‖D_f(z)‖ ≤ (4M₂/π)(1−|z|²)⁻¹ + (2/3)M₁，其中 M₁ = ‖g‖_∞，M₂ = ‖P_f‖_∞。
• 当 r₀ 满足 1/(4M₂/π + 2M₁/3) − (4M₂/π)(r₀(2−r₀))/(1−r₀)² − 2M₁[(log 4(1+r₀) − log r₀)(2+r₀)r₀] = 0 时，映射 f 在 𝔻_{r₀} 内是单芽的，且 f(𝔻_{r₀}) 包含一个半径 R₀ ≥ (2M₂/π)(r₀²(2−r₀))/(1−r₀)² 的圆盘。