[论文解读] Elliptic problems in the sense of Lawruk with boundary operators of higher orders in refined Sobolev scale

Tetiana Kasirenko, Iryna Chepurukhina|arXiv (Cornell University)|Apr 2, 2018

Differential Equations and Boundary Problems参考文献 16被引用 7

一句话总结

本文研究了在无穷远处具有缓慢变化函数的Hörmander空间基础上，基于精化Sobolev尺度的Lawruk意义下的椭圆边值问题，其中边界算子阶数较高。研究建立了相关有界算子的Fredholm性质，证明了局部先验估计，并推导出这些空间中广义解的正则性与连续性条件，将经典结果推广至更一般的函数参数框架。

ABSTRACT

In a refined Sobolev scale, we investigate an elliptic boundary-value problem with additional unknown functions in boundary conditions for which the maximum of orders of boundary operators is grater than or equal to the order of the elliptic equation. This scale consists of inner product Hörmander spaces whose order of regularity is given by a real number and a function varying slowly at infinity in the sense of Karamata. We prove a theorem on the Fredholm property of a bounded operator corresponding to this problem in the refined Sobolev scale. For the generalized solutions to the problem, we establish a local a priory estimate and prove a theorem about their regularity in Hörmander spaces. We find sufficient conditions under which given generalized derivatives of the solutions are continuous.

研究动机与目标

• 将Lawruk意义下的椭圆边值问题理论扩展到基于Hörmander空间函数参数的精化Sobolev尺度。
• 解决边界算子最大阶数大于或等于椭圆方程阶数的情形，该情形此前未在Hörmander空间中被研究过。
• 在精化尺度中建立与此类问题相关的算子的Fredholm性质。
• 在Hörmander空间中推导广义解的局部先验估计与正则性结果。
• 寻找广义导数连续的充分条件，包括经典解的条件。

提出的方法

• 通过在边界条件中引入附加未知函数，形式化具有高阶边界算子的椭圆边值问题，并使用高阶边界算子的广义Green公式。
• 采用由实数和无穷远处的缓慢变化函数（Karamata意义下）参数化的Hörmander型希尔伯特空间构成的精化Sobolev尺度。
• 应用带函数参数的插值理论，从经典Sobolev空间构造精化尺度。
• 通过分析算子在适当Hörmander空间对中的有界性与模紧算子的可逆性，证明算子的Fredholm性质。
• 利用问题的结构与精化尺度的性质，推导广义解的局部先验估计。
• 通过分析算子及其共轭算子的映射性质，建立Hörmander空间中解的正则性。

实验结果

研究问题

• RQ1 在何种条件下，具有高阶边界算子的Lawruk型椭圆边值问题所关联的算子在精化Sobolev尺度中是Fredholm算子？
• RQ2 如何在具有函数参数的Hörmander空间中建立广义解的局部先验估计？
• RQ3 广义解在精化Sobolev尺度中具有何种正则性特征？在何种条件下它们是连续可微的？
• RQ4 哪些充分条件可确保解的广义导数连续？何时解为经典解？
• RQ5 结果如何将经典Sobolev空间中椭圆问题的理论推广到具有缓慢变化函数的Hörmander空间的更一般框架？

主要发现

• 与具有高阶边界算子的椭圆边值问题对应的有界算子在Hörmander空间的精化Sobolev尺度中是Fredholm算子。
• 建立了广义解的局部先验估计，提供了在精化尺度中解范数相对于数据的控制。
• 证明了广义解在Hörmander空间中具有正则性，其正则性水平取决于数据的光滑性与问题的结构。
• 找到了广义导数连续的充分条件，将经典正则性结果推广至精化尺度。
• 论文在Hörmander空间框架下，基于函数参数，提出了求解问题为经典解的新充分条件。
• 结果推广并扩展了此前关于Sobolev空间与Hörmander空间中椭圆问题的研究，特别是针对具有高阶边界算子的问题。