分数阶算子解空间的结构，附带梯度估计
The structure of solution spaces for fractional-order operators, with gradient estimates
浏览论文内容
中文总结 AI 辅助
本文详细分析了有界开集上分数阶拉普拉斯算子齐次Dirichlet问题的解空间结构，将其分解为全正则部分和边界提升部分，并建立了新的梯度估计。
中文摘要 AI 辅助
详细分析了有界开集 $\Omega \subset R^n$ 上具有 $C^{1+\tau}$ 边界的分数阶拉普拉斯算子 $(-\Delta)^a$ ($0<a<1$) 或伪微分推广 $P$ 的齐次 Dirichlet 问题 $$ Pu=f \text{ on }\Omega,\quad u=0 \text{ on }R^n\setminus \Omega $$ 的解空间。结果表明，对于 Bessel 势型 Sobolev 空间 $H_q^t$ 和 Hölder-Zygmund 空间 $C_*^t$ 中的解，当 $f$ 的正则性 $s\in [0,\tau -2a)$ 时，解空间是分量 $\dot H_q^{2a+s}(\bar\Omega)$ 或 $\dot C_*^{2a+s}(\bar\Omega)$（具有完全正则性 $2a+s$）与形如 $d^a$ 乘以 Poisson 算子边界值提升的分量的直和。这里 $d(x)=dist(x,\partial\Omega)$。这将在 $C^\infty$ 情形下已知的结果推广到非光滑问题。利用该知识，建立了 $a>1/2$ 时的梯度估计，例如在 $H_q^t$ 空间和 $C_*^t$ 空间中用 $f$ 和 $u$ 的范数估计 $d^{1-a+s}\nabla (u/d^a)$。这在 Bessel 势空间情形下完全是新的；它推广了 Fall 和 Jarohs 在 Hölder 空间中的先前结果。引入了一个新工具：对于 $s,t\ge 0$ 且 $s+t<1+\tau$，有 $\dot H^{s+t}_q(\bar\Omega)\subset d^s\dot H^{t}_q(\bar\Omega)$。
英文摘要
The solution space of the homogeneous Dirichlet problem for the fractional Laplacian $(-Δ)^{a}$ ($0<a<1$) or a pseudodifferential generalization $P$, on a bounded open set $Ω\subset R^n$ with $C^{1+τ}$-boundary, $$ Pu=f \text{ on }Ω,\quad u=0 \text{ on }R^n\setminus Ω, $$ is analysed in detail. It is shown, both for solutions in Sobolev spaces of Bessel-potential type $H_q^t$ and in Hölder-Zygmund spaces $C_*^t$, that the solution space for $f$ of regularity $s\in [0,τ-2a)$ is the direct sum of a component $\dot H_q^{2a+s}(\barΩ)$ resp. $\dot C_*^{2a+s}(\barΩ)$ with full regularity $2a+s$ and a component of the form $d^a$ times a lifting of boundary values by Poisson operators. Here $d(x)=dist(x,\partialΩ)$. This extends to non-smooth problems results known in the $C^\infty $ setting. The knowledge is used to establish gradient estimates for $a>1/2$, e.g. estimating $d^{1-a+s}\nabla (u/d^a)$ in terms of norms of $f$ and $u$, both in $H_q^t$-spaces and $C_*^t$-spaces. This is entirely new in the case of Bessel-potential spaces; it extends previous results by Fall and Jarohs in Hölder spaces. A new tool is introduced: $\dot H^{s+t}_q(\barΩ)\subset d^s\dot H^{t}_q(\barΩ)$ holds for $s,t\ge 0$ with $s+t<τ$.
