[论文解读] Smoothness of generalized solutions for nonlocal elliptic problems on the plane

Pavel Gurevich|arXiv (Cornell University)|Apr 21, 2014

Differential Equations and Boundary Problems被引用 3

一句话总结

本文建立了有界平面区域上非局部椭圆问题广义解具有二阶Sobolev正则性（$W_2^2$）的必要且充分条件。通过分析非局部项与边界相交时产生的奇性，提出了非局部算子和右端项的一致性条件，以保证解的光滑性，方法包括加权Sobolev空间中的渐近分析以及在角形区域中的模型问题研究。

ABSTRACT

We study smoothness of generalized solutions of nonlocal elliptic problems in plane bounded domains with piecewise smooth boundary. The case where the support of nonlocal terms can intersect the boundary is considered. We announce conditions that are necessary and sufficient for any generalized solution to possess an appropriate smoothness (in terms of Sobolev spaces). The proofs are given in the forthcoming paper.

研究动机与目标

• 确定有界平面区域上非局部椭圆问题广义解属于Sobolev空间$W_2^2(G)$的条件，即使在边界点附近可能存在奇性。
• 解决非局部椭圆理论中的关键挑战：当非局部项的支撑与边界相交时，导致解中出现幂律奇性。
• 刻画非局部算子和边界数据的结构，以保持正则性，特别是在区域的角点附近。
• 建立适用于齐次与非齐次非局部边界条件的框架，包括在共轭点附近具有变系数的情形。
• 将狄利克雷问题的结果推广至二阶椭圆方程的一般非局部条件，并具有推广至高阶方程的潜力。

提出的方法

• 引入边界$\partial G$上的一组有限角点集合$\mathcal{K}$，非局部项可能在该集合上支撑，并将$\partial G \setminus \mathcal{K}$分解为光滑曲线$\Gamma_i$。
• 定义对应于在$\mathcal{K}$附近支撑的非局部项的非局部算子$\mathbf{B}_i^1$和$\mathbf{B}_i^2$，其中$\mathbf{B}_i^1$通过将边界曲线映射到区域内部的微分同胚$\Omega_{is}$作用。
• 在每个$g_j \in \mathcal{K}$附近进行局部坐标变换，将区域转化为平面角$K_j = \{ r>0, |\omega| < \omega_j \}$，从而可在极坐标下进行分析。
• 在非局部算子及其在加权Sobolev空间中函数作用的行为上引入一致性条件（11），以确保解的正则性。
• 通过在角形区域中的模型问题以及在加权$L^2$-Sobolev空间中的渐近展开，推导出$W_2^2$-正则性的必要且充分条件。
• 建立条件4及其较弱形式条件$4'$，要求非局部算子在角点处保持迹和导数的一致性，从而确保解的光滑性。

实验结果

研究问题

• RQ1 在何种条件下，非局部算子和边界数据可保证非局部椭圆问题的广义解$u \in W_2^1(G)$属于$W_2^2(G)$？
• RQ2 在边界角点附近支撑的非局部项如何影响解的正则性？何种结构约束可防止奇性产生？
• RQ3 非局部算子上的一致性条件——特别是涉及微分同胚及其逆的复合——在确保$W_2^2$-正则性方面起什么作用？
• RQ4 是否可将光滑性要求简化为仅关于非局部算子在角点附近行为的条件，而独立于整体区域结构？
• RQ5 非齐次非局部条件的结果与齐次条件的结果相比如何？在齐次情况下，可允许函数与向量的意义是什么？

主要发现

• 若非局部算子和右端项满足一致性条件（11），则非局部椭圆问题的广义解$u \in W_2^1(G)$当且仅当属于$W_2^2(G)$，该条件确保了在角点处迹和导数的正则性。
• 条件4是非齐次非局部数据$\{f_0, f_i\} \in L_2(G) \times \mathcal{S}_2^{3/2}(\partial G)$下解具有$W_2^2$-正则性的必要且充分条件，其中$\mathcal{S}_2^{3/2}(\partial G)$是满足一致性条件的数据空间。
• 若条件4不成立，则存在属于$L_2(G) \times \mathcal{S}_2^{3/2}(\partial G)$但不属于$W_2^2(G)$的广义解，从而证明了其必要性。
• 对于齐次非局部条件，条件$4'$——条件4的弱化形式——是解具有$W_2^2$-正则性的必要且充分条件。
• 若条件$4'$不成立，则即使在齐次非局部数据下，也存在属于$W_2^1(G) \setminus W_2^2(G)$的广义解。
• 结果通过角形区域中模型问题的渐近分析得出，并依赖于加权Sobolev空间中非局部问题的可解性，关键结果来自[11]、[2]和[12]。