[論文レビュー] Compactness of Hankel operators with continuous symbols on convex domains

Mehmet Çeli̇k, Sönmez Şahutoğlu+1 more|arXiv (Cornell University)|May 28, 2020

Holomorphic and Operator Theory参考文献 9被引用数 5

ひとこと要約

本稿は、$n \geq 2$ における $\mathbb{C}^n$ 内の有界凸領域上の $(0,q-1)$-形式における連続な記号をもつハンケル作用素のコンパクト性について、必要十分条件を確立する。有限個の境界上での $q$-次元の解析的（アフィン）部分多様体に沿った記号の正則性を仮定すると、このような作用素がコンパクトであるための必要十分条件が得られる。この結果は、記号が $C^1$ である場合の先行研究を拡張し、境界上の解析的構造に基づくコンパクト性の鋭い幾何的特徴付けを提供する。

ABSTRACT

Let $Ω$ be a bounded convex domain in $\mathbb{C}^{n}$, $n\geq 2$, $1\leq q\leq (n-1)$, and $ϕ\in C(\barΩ)$. If the Hankel operator $H^{q-1}_ϕ$ on $(0,q-1)$--forms with symbol $ϕ$ is compact, then $ϕ$ is holomorphic along $q$--dimensional analytic (actually, affine) varieties in the boundary. We also prove a partial converse: if the boundary contains only `finitely many' varieties, $1\leq q\leq n$, and $ϕ\in C(\barΩ)$ is analytic along the ones of dimension $q$ (or higher), then $H^{q-1}_ϕ$ is compact.

研究の動機と目的

• 有界凸領域 $\Omega \subset \mathbb{C}^n$（$n \geq 2$）上の $(0,q-1)$-形式における連続な記号をもつハンケル作用素のコンパクト性を特徴付けること。
• 記号が境界上に存在する $q$-次元の解析的部分多様体に沿って正則であることが、ハンケル作用素のコンパクト性に対して必要かつ十分であるかどうかを特定すること。
• 記号の $C^1(\overline{\Omega})$ 正則性を仮定する既存の結果を、$\overline{\Omega}$ 上での連続性というより弱い仮定に拡張すること。
• 既知の必要条件の部分的な逆を提供すること：記号が境界上に存在する $q$-次元の部分多様体に沿って正則であり、かつそのような多様体が有限個であるならば、ハンケル作用素はコンパクトである。

提案手法

• 有界凸領域の境界上に存在する有限個の $q$-次元の解析的部分多様体の近傍に従属する partition of unity を用いる。
• 各多様体上で記号を、その多様体の近傍で正則であるコンパクト台付き滑らかな関数により一様近似する。
• ハンケル作用素を三つの部分に分解する：多様体から遠く離れた部分に台を持つもの、正則近似関数に関連するもの、近似誤差に関連するもの。
• 負のソボレフ空間における作用素 $N_q(\overline{\partial}\phi \wedge f)$ のノルムに基づくハンケル作用素のコンパクト性の十分条件を適用する。
• $N_q$ が $L^2$ を $W^{-1}$ にコンパクトに写すこと、および $\overline{\partial}\phi$ が多様体の近傍に台を持つことを利用して、ハンケル作用素のノルムを制御する。
• 記号の正則関数による一様近似と、台の不交和の性質を活用し、近似誤差を任意に小さくできることを示し、これによりコンパクト性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界凸領域 $\Omega \subset \mathbb{C}^n$（$n \geq 2$）上の $(0,q-1)$-形式におけるハンケル作用素 $H^{q-1}_\phi$ のコンパクト性について、記号 $\phi$ が境界上に存在する $q$-次元の解析的部分多様体に沿って正則であることが必要かつ十分であるか。
• RQ2 記号の正則性要件を $C^1(\overline{\Omega})$ から $C(\overline{\Omega})$ に弱めることが、コンパクト性の特徴付けを保つことができるか。
• RQ3 境界上に存在する解析的多様体の個数がハンケル作用素のコンパクト性に果たす役割は何か。
• RQ4 $C(\overline{\Omega})$ 記号に対しても、ハンケル作用素がコンパクトであるならば、記号は境界上に存在する $q$-次元の解析的部分多様体に沿って正則でなければならないか。
• RQ5 正則関数による近似と負のソボレフ空間におけるノルム推定を用いて、コンパクト性の十分条件を検証できるか。

主な発見

• ハンケル作用素 $H^{q-1}_\phi$ が $(0,q-1)$-形式上でコンパクトであるならば、$\phi \in C(\overline{\Omega})$ であれば、有界凸領域 $\Omega \subset \mathbb{C}^n$（$n \geq 2$、$1 \leq q \leq n-1$）の境界上に存在するすべての $q$-次元の解析的（アフィン）部分多様体に沿って $\phi$ は正則でなければならない。
• 逆に、$\Omega$ の境界に有限個の $q$-次元の解析的部分多様体しか存在せず、$\phi \in C(\overline{\Omega})$ が各多様体に沿って正則（または高次元のものに沿って正則）ならば、$H^{q-1}_\phi$ はコンパクトである。
• 証明では、記号を三つの部分に分解する：多様体から離れた部分に台を持つもの（既知の基準によりコンパクト）、多様体の近傍で記号を正則関数で近似するもの、近似誤差を含むもの。
• 記号の正則関数による近似誤差のノルムは、作用素ノルムにおいて任意に小さくできる。また、近似関数に対応するハンケル作用素の和はコンパクトであるため、全体の作用素もコンパクトである。
• 記号の $C^1$ 正則性を仮定する既存の結果を、$\overline{\Omega}$ 上での連続性が十分であることを示すことにより、拡張している。
• 本稿は、以前の証明における幾何的欠陥を是正し、凸領域に有限個のこのような多様体が存在する場合、$H^{q-1}_\phi$ のコンパクト性に関して、正則性条件が必要かつ十分であることを確立している。