[논문 리뷰] Layer potentials and boundary value problems for elliptic equations with complex $L^{\infty}$ coefficients satisfying the small Carleson measure norm condition

Steve Hofmann, Svitlana Mayboroda외 1명|arXiv (Cornell University)|2013. 11. 01.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 상반평면에서 복소수 $L^∞$ 계수를 가진 발산형 타원형 미분방정식에 대해, 계수 행렬의 수직 방향 변화에 대한 작은 Carleson 노름 조건 하에서 층 잠재함수의 유계성과 가역성을 확립한다. 이는 $t$-독립형 연산자에 대한 섭동을 통해 거칠고 비연속적인 계수로의 고전 결과 확장에 기여한다. $L^p$, BMO, 하올더 공간에서 딜리클레, 뉴먼, 규칙성 문제의 잘 정의됨을 증명한다.

ABSTRACT

We consider divergence form elliptic equations $Lu:= abla\cdot(A abla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n imes(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in $L^p$, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for $L$, with data in $L^p(\mathbb{R}^n)$, $BMO(\mathbb{R}^n)$, and $C^α(\mathbb{R}^n)$, and solvability of the Neumann and Regularity problems, with data in the spaces $L^p(\mathbb{R}^n)/H^p(\mathbb{R}^n)$ and $L^p_1(\mathbb{R}^n)/H^{1,p}(\mathbb{R}^n)$ respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the $t$-independent operator $L_0:= - abla\cdot(A(\cdot,0) abla)$.

연구 동기 및 목표

• 수직 방향에서 작은 Carleson 측도 조건을 만족하는 복소수, 유계, 가측성 계수를 가진 타원형 연산자에 대한 층 잠재함수 이론을 종합적으로 구축하는 것.
• 해당 연산자에 대해 $L^p$, BMO, 하올더 공간에서 딜리클레, 뉴먼, 규칙성 문제의 잘 정의됨을 확립하는 것.
• 층 잠재함수의 가역성에 기반한 섭동 이론을 통해 $t$-독립형 연산자에서 변수 계수 연산자로의 해법 결과를 확장하는 것.
• 특히 비연속, 복소수 계수 행렬을 가진 타원형 미분방정식에 대한 경계값 문제에 관한 이전 결과들을 통합하고 일반화하는 것.

제안 방법

• 저자들은 차이 $A(x,t) - A(x,0)$에 대해 작은 Carleson 측도 조건을 도입하며, Carleson 상자 $R_Q = Q \times (0, \ell(Q))$와 준노름 $\varepsilon_0$로 정량화한다.
• 세 가지 주요 추정치를 도출한다: $\nabla L^{-1} \nabla$에 대한 제곱 함수 추정, $\nabla L^{-1} \frac{1}{t}$와 $\nabla L^{-1} \nabla$에 대한 텐트 공간 추정. 이는 Kato 유형의 제곱 함수 추정에 기반한다.
• 이론은 $t$-독립형 연산자 $L_0 = -\nabla \cdot (A(x,0)\nabla)$에 대한 층 잠재함수의 가역성에 기반하며, 기본 사례로 기능한다.
• 해결 및 경계 행동 제어를 위해 비탄성 최대 함수 $N_*^\beta u$와 수정된 비탄성 최대 함수 $\widetilde{\mathcal{N}}^\beta u$를 사용한다.
• 유일성 및 해법의 증명은 그린 함수와 텐트 공간, 하드리-소볼레프 공간 내의 보간 부등식을 포함한 적분 추정치에 기반한다.
• 분석은 조화 해석학, 잠재이론, 특히 Carleson 측도와 층 잠재함수 연산자 맥락에서 $L^p$-유계성의 단순 적분 연산자 이론을 포함한 다양한 기법을 융합한다.

실험 결과

연구 질문

• RQ1 복소수 $L^\infty$ 계수를 가진 타원형 미분방정식에 대해, 계수 행렬 $A(x,t)$에 어떤 조건이 성립할 경우 층 잠재함수가 $L^p$, 하드리, BMO, 하올더 공간에서 유계가 되는가?
• RQ2 계수 행렬의 차이 $A(x,t) - A(x,0)$에 대한 작은 Carleson 노름 조건이 딜리클레, 뉴먼, 규칙성 문제의 해법에 어떤 영향을 미치는가?
• RQ3 $t$-독립형 연산자 $L_0 = -\nabla \cdot (A(x,0)\nabla)$에 대한 층 잠재함수의 가역성이 변수 계수 연산자 $L$의 해법 보장에 어떤 역할을 하는가?
• RQ4 동일한 Carleson 조건 하에서 경계값 문제의 잘 정의됨이 $L^p$에서 $BMO$ 및 $C^\alpha$ 공간으로 확장될 수 있는가?
• RQ5 텐트 공간 및 제곱 함수 기법을 통해 거친 계수를 가진 층 잠재함수 이론이 다양한 함수 공간 간에 얼마나 통합적으로 일반화될 수 있는가?

주요 결과

• 작은 Carleson 노름 조건 $\varepsilon_0$ 하에서 이중 및 단일 층 잠재함수는 $L^p$, 하드리, BMO, 하올더 공간에서 유계이며, 이는 $\varepsilon_0$에 의존한다.
• 해당 층 잠재함수가 $t$-독립형 연산자 $L_0$에 대해 가역일 경우, $L^p(\mathbb{R}^n)$, $BMO(\mathbb{R}^n)$, $C^\alpha(\mathbb{R}^n)$에 속하는 데이터에 대해 딜리클레 문제는 잘 정의된다.
• 뉴먼 문제와 규칙성 문제의 해법은 각각 $L^p/H^p$ 및 $L^p_1/H^{1,p}$ 공간에서 동일한 가역성 및 소형 조건 하에 잘 정의된다.
• 영인자 조건 하에서 비탄성 최대 함수 제어와 함께, 규칙성 문제 $(R)_{H^p}$의 해의 유일성이 확립되며, 이는 영인자 조건 하에서 $u \equiv 0$임을 의미한다.
• $p < 1$인 경우, 해의 유일성 증명은 보간과 $q = \frac{p(n+1)}{n} > 1$인 $L^q$-유계 추정치에 기반하며, $\rho$ 및 $\epsilon$의 감쇠 성질이 $\rho \to \infty$ 및 $\epsilon \to 0$일 때 $u \equiv 0$을 유도한다.
• 뉴먼 문제 $(N)_{H^p}$는 $\frac{1}{2}I + \widetilde{\mathcal{K}}$와 $\mathcal{S}_{t=0}$이 $H^p$에서 전단사일 경우 유일하게 해가 존재하며, 이는 $u_0 \equiv 0$을 의미하고 따라서 상수항을 제외한 $u \equiv 0$을 유도한다.