[논문 리뷰] Elliptic Partial Differential Equations with Complex Coefficients

Ariel Barton|ArXiv.org|2009. 11. 13.

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

한 줄 요약

이 논문은 R²의 리프시츠 도메인에서 복소계수, 좌표에 의존하는 계수를 가진 타원형 편미분방정식의 해가 존재하고 유계임을 증명한다. 실계수 연산자의 소수 편미분을 통해 복소계수로 확장함으로써, 딜리클레, 뉴먼, 정규성 문제의 해가 p가 1에 가까운 L^p에서 잘 정의되어 있으며, H¹, BMO, L^∞에서 제어된 노름을 갖는다. 이는 층 잠재력과 그린 함수 추정을 통해 고전 결과를 복소계수로 확장한 것이다.

ABSTRACT

In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundary data in L^q, or for Dirichlet boundary data whose tangential derivative is in L^q (regularity boundary data), for q small enough, we show that solutions exist and are controlled by the L^q-norm of the boundary data. We prove similar results for Neumann or regularity boundary data in the Hardy space H^1, and for bounded or BMO Dirichlet boundary data. Finally, we show some converses: if the solutions are controlled in some sense, then Dirichlet, Neumann, or regularity boundary data must exist.

연구 동기 및 목표

• 실계수에서 복소계수 행렬으로의 잘 정의성 결과 확장을 위해, 소수 편미분을 가진 실계수 행렬에 근접한 복소계수 행렬을 다룬다.
• 디리클레, 뉴먼, 정규성 문제에 대해 L^p, H¹, BMO, L^∞에서 해의 유계성을 확립한다.
• 계수 행렬이 실계수의 균일 타원형 행렬에 대한 소수 L^∞-편미분일 경우, 해가 경계 데이터의 L^p-노름에 의해 제어됨을 증명한다.
• 역으로, 해가 특정 노름에서 제어된다면, 경계 데이터가 해당 함수 공간에 속해야 한다는 것을 보인다.

제안 방법

• 리프시츠 도메인에서 div(A∇u)=0의 해를 분석하기 위해, 층 잠재력과 그들의 L^p 및 H¹ 공간에서의 유계성을 사용한다.
• 칼데론-지그문트 이론과 BMO 추정을 적용하여 기울기의 비탄성 최대 함수를 제어한다.
• 그린 함수 추정과 비탄성 최대 함수의 유계성을 활용하여, ∥ν·A∇G_X∥_{L¹}을 경계 근처에서 제어한다.
• 편미분 기반 추론을 사용한다: A₀가 실계수이고 잘 정의되어 있다면, A₀에 대해 L^∞에서 가까운 A는 p가 1에 가까운 L^p에서 잘 정의됨을 상속한다.
• 연속성의 방법과 보간을 사용하여 L²에서의 유계성을 L^p 및 H¹으로 확장한다.
• 전치 및 쌍대성 기법을 적용하여 뉴먼 문제와 정규성 문제의 해를 딜리클레 문제와 연결한다.

실험 결과

연구 질문

• RQ1 계수 행렬 A가 어떤 조건을 만족할 경우, 리프시츠 도메인에서 div(A∇u)=0의 딜리클레 문제의 해가 경계 데이터의 L^p-노름에 의해 제어되는가?
• RQ2 A가 실계수 행렬의 소수 복소편미분일 경우, 딜리클레 문제의 잘 정의성이 보장된다면, 뉴먼 문제와 정규성 문제의 잘 정의성은 유추할 수 있는가?
• RQ3 A의 허수부가 작을 경우, 딜리클레, 뉴먼, 정규성 문제에 대해 H¹, BMO, L^∞ 등의 함수 공간에서 잘 정의된 해가 존재하는가?
• RQ4 A가 복소수이지만 한 변수에만 의존할 경우, 리프시츠 도메인에서 층 잠재력은 어떻게 행동하는가?
• RQ5 역으로, 해가 특정 노름에서 제어된다면, 경계 데이터는 반드시 특정 함수 공간에 속해야 하는가?

주요 결과

• 허수부가 작은 복소계수 행렬 A에 대해, 딜리클레, 뉴먼, 정규성 문제는 p가 1에 가까운 L^p에서 잘 정의되며, 유계성은 λ, Λ 및 도메인의 리프시츠 상수에만 의존한다.
• A가 실계수 행렬에 대한 소수 L^∞-편미분일 경우, 뉴먼 및 정규성 문제의 해는 경계 데이터의 L^q-노름에 의해 제어되며, q가 충분히 작을 경우 존재한다.
• 경계 데이터가 H¹에 속할 경우, 해는 존재하며 N(∇u)∈L¹인 함수들 사이에서 유일하며, ∥N(∇u)∥_{L¹}≤C∥f∥_{H¹}를 만족한다.
• L^∞ 및 BMO 경계 데이터 문제는 잘 정의되며, 해는 경계 데이터의 L^∞-노름 또는 BMO-노름에 의해 제어된다.
• 역결과가 성립한다: 해가 L^p 또는 L¹에서 제어된다면, 경계 데이터는 각각 L^p 또는 H¹에 속해야 한다.
• 그린 함수는 X가 경계 근처에 있을 경우 ∥ν·A∇G_X∥_{L¹(∂V)}≤C로 일관되게 유계이며, 이는 최대 원리 추정을 보장한다.