[논문 리뷰] Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

Simon Bortz, Steve Hofmann외 3명|arXiv (Cornell University)|2020. 03. 05.

Nonlinear Partial Differential Equations참고 문헌 57인용 수 4

한 줄 요약

이 논문은 발산형 두 번째 차수 타원형 미분연산자의 임계적 변형에 관련된 층 잠재함수에 대해 $L^2$ 제곱 함수 유계성 결과를 도출한다. 이는 벡터값 $Tb$ 정리와 추상적 층 잠재함수 이론을 활용한 것으로, 핵심 결과는 해에 대한 균일한 슬라이스 유계성으로, 일반화된 자기장 슈뢰딩거 연산자와 같은 연산자로의 확장이 가능하다. 이 경우 자기장 잠재함수는 작은 $L^n$ 노름을 가지며, 전기 잠재함수는 $L^{n/2}$ 노름을 가진다.

ABSTRACT

This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A abla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-( abla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper.

연구 동기 및 목표

• 두 번째 차수 타원형 미분연산자에 대해 임계적 낮은 차수 항으로 인한 변형에 대해 $L^2$ 딜리클레, 뉴먼, 규칙성 문제를 다룰 수 있는 프레임워크를 개발하는 것.
• 복소수, $t$-독립 계수를 가진 발산형 연산자에 대해 추상적 층 잠재함수 연산자에서의 제곱 함수 추정치를 확립하는 것.
• 해 $\mathcal{L}u = 0$ 에 대해 $\mathbb{R}^{n+1}_+$ 내에서 균일한 슬라이스 유계성 결과를 도출하는 것. 여기서 $\mathcal{L}$ 은 $L^n$ 및 $L^{n/2}$ 공간 내 임계적 변형을 포함한다.
• 층 잠재함수 방법의 적용 가능성을 일반화된 자기장 슈뢰딩거 연산자 $-(\nabla - i\mathbf{a})A(\nabla - i\mathbf{a}) + V$ 에까지 확장하는 것. 이 경우 $\|\mathbf{a}\|_{L^n}$ 과 $\|V\|_{L^{n/2}}$ 가 작다.
• 두 번째 논문에서 약한 배경 가정 하에 경계값 문제의 유일성과 해의 존재성을 다룰 수 있도록 이론적 기초를 마련하는 것.

제안 방법

• 벡터값 $Tb$ 정리를 활용하여 $L^2$ 에서 단일 층 잠재함수의 제곱 함수를 제어한다.
• 그린 공식과 점프 관계식을 통한 추상적 층 잠재함수 이론을 적용하여 경계 데이터와 해를 연결한다.
• 카치오피올리 유형 부등식을 활용하여 공간 슬라이스 상에서 해의 기울기와 고차 미분계수를 제어한다.
• 문제의 기하학적 특성에 맞는 테스트 함수를 도입하여, 벡터값 설정에서 $Tb$ 조건을 검증한다.
• 제곱 함수 유계성 결과를 활용하여 공간 슬라이스 $\mathbb{R}^n \times \{t\}$ 상에서 해의 추적에 대한 균일한 제어를 확보한다.
• Sobolev 포함 및 $Y^{1,2}$ 공간 내에서의 감쇠 추정을 적용하여, 적절한 감쇠 조건 하에서 해의 추적이 무한대에서 0으로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 복소수, 임계적 차수의 낮은 차수 항으로 변형된 두 번째 차수 타원형 미분연산자에 관련된 층 잠재함수에 대해 제곱 함수 추정치를 확립할 수 있는가?
• RQ2 계수 $B_1 \in L^n$, $B_2 \in L^n$, $V \in L^{n/2}$ 에 대해, 관련된 층 잠재함수 연산자가 $L^2$ 에서 유계이고 가역임을 보장하는 조건은 무엇인가?
• RQ3 제곱 함수 추정치는 어떻게 해 $\mathcal{L}u = 0$ 에 대해 $\mathbb{R}^{n+1}_+$ 내에서 균일한 슬라이스 유계성을 도출하는 데 사용될 수 있는가?
• RQ4 결과들이 일반화된 자기장 슈뢰딩거 연산자 $-(\nabla - i\mathbf{a})A(\nabla - i\mathbf{a}) + V$ 에 대해 얼마나 넓게 확장될 수 있는가? 이 경우 $\|\mathbf{a}\|_{L^n}$ 과 $\|V\|_{L^{n/2}}$ 가 작다.
• RQ5 해 $u$ 가 공간 슬라이스 $\mathbb{R}^n \times \{t\}$ 에서의 추적이 무한대에서 0으로 수렴하기 위한 필요 및 충분 조건은 무엇인가?

주요 결과

• 이 논문은 $B_1, B_2 \in L^n$ 과 $V \in L^{n/2}$ 이 노름이 충분히 작을 조건 하에서, 벡터값 $Tb$ 정리를 활용하여 단일 층 잠재함수에 대해 $L^2$ 제곱 함수 유계성 결과를 확립한다.
• 해 $u$ 에 대해 균일한 슬라이스 유계성 결과를 도출하였으며, $\|\operatorname{Tr}_t u\|_{L^p(\mathbb{R}^n)} \to 0$ 가 $t \to \infty$ 일 때 성립한다. 이는 $\||t \nabla u\|| < \infty$ 라는 조건 하에서 성립한다.
• 모든 $\tau > 0$ 에 대해 $\|\operatorname{Tr}_\tau u\|_{L^2(\mathbb{R}^n)} \lesssim \int_\tau^\infty \int_{\mathbb{R}^n} t |\nabla u|^2 \, dx dt$ 라는 추정이 균일하게 성립하며, 이는 슬라이스 상에서 $L^2$-sup 제어를 제공한다.
• 일반화된 자기장 슈뢰딩거 연산자 $-(\nabla - i\mathbf{a})A(\nabla - i\mathbf{a}) + V$ 에 대해 이 결과는 $\|\mathbf{a}\|_{L^n}$ 과 $\|V\|_{L^{n/2}}$ 가 작을 경우 새로운 결과이다.
• 해가 $\||t \nabla u\|| < \infty$ 이고 $t \to \infty$ 일 때 분포의 의미에서 $u(t) \to 0$ 이면, $u$ 는 좋은 $\mathcal{D}$ 해이며, 모든 $\tau > 0$ 에 대해 $u_\tau \in Y^{1,2}(\mathbb{R}^{n+1}_+)$ 를 만족한다.
• 해가 $\||t \nabla \partial_t u\|| < \infty$ 이고 $t \to \infty$ 일 때 $\nabla u(t) \to 0$ 이면, 해는 좋은 $\mathcal{N}/\mathcal{R}$ 해이거나, $\mathcal{L}1 = 0$ 인지 여부에 따라 그 상수 이동과 같다.