[논문 리뷰] Estimates $ L^{r}-L^{s}$ for solutions of the $\\bar \\partial $ equation in strictly pseudo convex domains in ${\\mathbb{C}}^{n}.$

Éric Amar|arXiv (Cornell University)|2013. 12. 26.

Analytic and geometric function theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 캐럴슨 측도의 순서 $ \alpha $ 와 하위 순서 보조정리(subordination lemma)를 사용하여 $ \mathbb{C}^n $ 내 엄격한 편평형 영역에서 $ \bar\partial $ 방정식의 해에 대한 날카운 $ L^r $-$ L^s $ 추정을 수립한다. $ 1 \leq r < 2(n+1) $ 인 $ \omega \in L^r_{(p,q)}(\Omega) $ 에 대해, $ \|u\|_s \lesssim \|\omega\|_r $ 를 만족하는 해 $ u \in L^s_{(p,q-1)}(\Omega) $ 가 존재하며, 여기서 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $ 이다. 또한 이 결과들은 $ r \geq 2(n+1) $ 인 BMO 및 이방향 리프시츠 공간으로까지 확장된다. 이 접근법은 크란츠와 마-바시리아두의 이전 결과들을 일반화하는 통합된 프레임워크를 제공한다.

ABSTRACT

We prove estimates for solutions of the $\\bar \\partial u=\\omega $ equation in a strictly pseudo convex domain $ \\Omega $ in ${\\mathbb{C}}^{n}.$ For instance if the $ (p,q)$ current $\\omega $ has its coefficients in $L^{r}(\\Omega )$ with $1\\leq r&lt;2(n+1)$ then there is a solution $u$ in $L^{s}(\\Omega )$ with $\\ \\frac{1}{s}=\\frac{1}{r}-\\frac{1}{2(n+1)}.$ We also have $BMO$ and Lipschitz estimates for $r\\geq 2(n+1).$ These results were already done by S. Krantz in the case of $(0,1)$ forms and just for the $L^{r}-L^{s}$ part by L. Ma and S. Vassiliadou for general $(p,q)$ forms. To get the complete result we propose another approach, based on Carleson measures of order $\\alpha $ and on the subordination lemma.

연구 동기 및 목표

• 일반적인 $ (p,q) $ 형식에 대해 $ (0,1) $ 형식에 대한 S. 크란츠의 $ L^r $-$ L^s $ 추정을 엄격한 편평형 영역으로 일반화한다.
• 기존의 $ L^r $-기반 추정을 넘어서, $ r \geq 2(n+1) $ 인 경우 BMO 및 이방향 리프시츠 공간에서의 최종 추정을 수립한다.
• 캐럴슨 측도의 순서 $ \alpha $ 와 하위 순서 보조정리를 사용한 새로운 증명 전략을 제공하여, 이전 방법보다 통합적이며 더 명확한 접근을 가능하게 한다.
• 기존의 결과들, 특히 $ r = \infty $ 인 경우 로마노프-헤인킨의 $ \frac{1}{2} $-홀더 연속성 결과를 새로운 프레임워크의 특수한 경우로 회복하고 강화한다.

제안 방법

• 이 방법은 [4]에서 도입된 순서 $ \alpha $ 의 캐럴슨 측도를 사용하여 $ \bar\partial $ 방정식의 해의 정칙성 특성을 분석한다.
• 하나의 영역 $ \Omega' \subset \mathbb{C}^{n+1} $ 의 경계에서의 $ L^s $ 적분 가능성을, 원래 영역 $ \Omega \subset \mathbb{C}^n $ 로 되돌려보내기 위해 [5]의 하위 순서 보조정리를 적용한다.
• 해는 $ \omega $ 를 $ \partial\Omega' $ 상에서 $ \omega' $ 로 올려서 $ \bar\partial_b u' = \omega' $ 를 $ L^s $ 에서 풀고, $ w $-섬세한 영역에 대해 적분하여 $ \Omega $ 내의 $ u $ 를 복원함으로써 구성된다.
• 핵심 추정은 $ \frac{1}{s} = 1 - \alpha $ 이며, 여기서 $ \alpha = \frac{1}{r'} + \frac{1}{2(n+1)} $ 이므로 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $ 이 된다.
• $ r = 2(n+1) $ 인 경우, 이 방법은 $ u \in BMO $ 를 도출하며, $ r > 2(n+1) $ 인 경우 [4]와 [6]의 경계 정칙성 정리들을 활용하여 $ u \in \Gamma^\beta $ 를 얻는다. 여기서 $ \beta = 1 - \frac{2(n+1)}{r} $ 이다.
• 해 연산자는 $ \omega $ 에 대해 선형임을 보여, 모든 경우에 대해 유계성을 보장한다.

실험 결과

연구 질문

• RQ1 엄격한 편평형 영역에서 $ \bar\partial $ 해에 대한 $ L^r $-$ L^s $ 추정은 $ (0,1) $ 형식에서 일반적인 $ (p,q) $ 형식으로 날카로운 최종 행동을 포함하여 확장될 수 있는가?
• RQ2 $ \omega \in L^r_{(p,q)}(\Omega) $, $ \bar\partial\omega = 0 $ 이고 $ 1 \leq r < 2(n+1) $ 인 경우, $ \|u\|_{L^s} \lesssim \|\omega\|_{L^r} $ 가 성립하는 최적의 $ s $ 는 무엇인가?
• RQ3 $ r \geq 2(n+1) $ 인 경우, 특히 $ r = 2(n+1) $ 과 $ r > 2(n+1) $ 인 경우, BMO 및 이방향 리프시츠 정규성 추정은 어떻게 확립할 수 있는가?
• RQ4 캐럴슨 측도의 순서 $ \alpha $ 와 하위 순서를 기반으로 하는 통합된 프레임워크는 크란츠와 마-바시리아두의 알려진 $ L^r $-$ L^s $ 추정을 더 단순하게 증명할 수 있는가?

주요 결과

• $ 1 \leq r < 2(n+1) $ 인 경우, $ \bar\partial u = \omega $ 의 해 $ u $ 는 $ \|u\|_{L^s} \lesssim \|\omega\|_{L^r} $ 를 만족하며, 여기서 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $ 이며, $ s $ 에서 날카로운 최종 행동을 달성한다.
• $ r = 2(n+1) $ 인 경우, 해 $ u $ 는 BMO 공간에 속하며, $ \|u\|_{BMO} \lesssim \|\omega\|_{L^{2(n+1)}} $ 를 만족한다. 이는 $ L^s $ 를 초월한 정규성 확장을 의미한다.
• $ r = 1 $ 인 경우, 해 $ u $ 는 $ \frac{1}{s} = 1 - \frac{1}{2(n+1)} $ 인 루이스 공간 $ L^{s,\infty} $ 에 속하며, 적분 가능한 자료에 대한 약형 추정을 제공한다.
• $ r > 2(n+1) $ 인 경우, 해 $ u $ 는 $ \beta = 1 - \frac{2(n+1)}{r} $ 인 이방향 리프시츠 공간 $ \Gamma^\beta $ 에 속하며, $ \|u\|_{\Gamma^\beta} \lesssim \|\omega\|_{L^r} $ 를 만족한다. 이는 고차 정규성을 포괄한다.
• 해 연산자는 $ \omega $ 에 대해 선형이며, 모든 $ r \geq 1 $ 에서 일관성과 유계성을 보장한다. 이 결과들은 크란츠와 마-바시리아두의 이전 작업을 일반화하고 강화한다.
• 캐럴슨 측도의 순서 $ \alpha $ 와 하위 순서 보조정리를 사용한 방법은 이전 접근법에 비해 통합적이며 더 명확한 증명 전략을 제공하며, 특히 $ (p,q) $ 형식에 대해 유용하다.