[논문 리뷰] Compactness of Hankel operators with continuous symbols on convex domains

Mehmet Çeli̇k, Sönmez Şahutoğlu외 1명|arXiv (Cornell University)|2020. 05. 28.

Holomorphic and Operator Theory참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $\mathbb{C}^n$, $n \geq 2$ 에서 유계 볼록 도메인 위의 $(0,q-1)$-형식에서 연속 기호를 가진 헨켈 연산자의 컴팩턴스에 대해 필요하고 충분한 조건을 확립한다. 유한한 수의 $q$-차원 해석적(아핀) 다양체가 경계에 존재할 조건 하에, 이러한 연산자가 컴팩트함은 기호가 경계의 $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$-차원 해석적 다양체를 따라 기호의 해석성이 헨켈 연산자 $H^{q-1}_\phi$ 의 컴팩턴스에 대해 필요하고 충분한지 여부를 규명하는 것.
• 기호의 $C^1(\overline{\Omega})$ 정규성 조건을 $\overline{\Omega}$ 상에서 연속성으로 약화시키면서도 컴팩턴스 특성화를 유지할 수 있는지 확인하는 것.
• 기존에 알려진 필요 조건의 부분적인 역을 제공하는 것: 만약 기호가 경계의 $q$-차원 다양체를 따라 해석적이며, 그러한 다양체가 유한 개이면, 헨켈 연산자는 컴팩트하다.

제안 방법

• 유한한 수의 볼록 도메인 경계 내 $q$-차원 해석적 다양체 주변의 이웃을 따르는 파artition of unity 를 사용하는 것.
• 각 다양체 위에서 기호를 균일하게, 그 다양체 주변에서 해석적인 컴act 지지 함수로 근사하는 것.
• 헨켈 연산자를 세 부분으로 분해하는 것: 다양체에서 떨어진 곳에서 지지되는 부분, 해석적 근사 함수와 관련된 부분, 근사 오차와 관련된 부분.
• 부정적 소볼레프 공간에서 연산자 $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$ 의 컴팩턴스에 대해, 기호가 경계의 $q$-차원 해석적 다양체를 따라 해석적이면 필수적이고 충분한 조건인가?
• RQ2 기호의 정규성 요구 조건을 $C^1(\overline{\Omega})$ 에서 $C(\overline{\Omega})$ 로 낮출 수 있는가, 이때도 컴팩턴스 특성화가 유지되는가?
• RQ3 경계의 해석적 다양체의 수가 헨켈 연산자의 컴팩턴스에 어떤 역할을 하는가?
• RQ4 헨켈 연산자가 컴팩트하면, $C(\overline{\Omega})$ 기호일지라도 기호가 경계의 $q$-차원 해석적 다양체를 따라 해석적이어야 하는가?
• RQ5 부정적 소볼레프 공간에서의 노름 추정과 해석적 함수에 의한 근사를 통해 컴팩턴스의 충분 조건을 검증할 수 있는가?

주요 결과

• 만약 헨켈 연산자 $H^{q-1}_\phi$ 가 $\phi \in C(\overline{\Omega})$ 인 $(0,q-1)$-형식 위에서 컴팩트하면, $\Omega \subset \mathbb{C}^n$, $n \geq 2$, $1 \leq q \leq n-1$ 인 유계 볼록 도메인의 경계에 있는 모든 $q$-차원 해석적(아핀) 다양체를 따라 $\phi$ 는 해석적이어야 한다.
• 반대로, $\Omega$ 의 경계에 유한한 수의 $q$-차원 해석적 다양체가 존재하고, $\phi \in C(\overline{\Omega})$ 가 각 such 다양체(또는 고차원의 것들)를 따라 해석적이면, $H^{q-1}_\phi$ 는 컴팩트하다.
• 증명은 기호를 세 부분으로 분해하는 방식을 사용한다: 다양체에서 떨어진 곳에서 지지되는 부분(기존 기준에 의해 컴팩트함), 다양체 근처에서 기호를 해석적 함수로 근사하는 부분, 균일 근사에 의해 통제되는 오차 항.
• 기호를 해석적 함수로 근사할 때의 오차 항은 연산자 노름에서 임의로 작게 만들 수 있으며, 근사 함수와 관련된 헨켈 연산자들의 합이 컴팩트하므로 총 연산자는 컴팩트하다.
• 이 결과는 이전 연구에서 요구한 기호의 $C^1$ 정규성 조건을 연속성 $C(\overline{\Omega})$ 으로 약화시키며 컴팩턴스 특성화를 유지함을 보여, 이전 결과를 확장한다.
• 논문은 이전 증명의 기하학적 결함을 수정하였으며, 유한한 수의 이러한 다양체를 가진 볼록 도메인에 대해, 해석성 조건이 $H^{q-1}_\phi$ 의 컴팩턴스에 대해 필요하고 충분함을 입증하였다.