[논문 리뷰] The Methods of Layer Potentials for General Elliptic Homogenization Problems in Lipschitz Domains

Qiang Xu, Peihao Zhao외 1명|arXiv (Cornell University)|2018. 01. 28.

Advanced Mathematical Modeling in Engineering참고 문헌 27인용 수 4

한 줄 요약

이 논문은 유계 리프시츠 도메인 내에서 급격히 진동하는 주기적 계수를 가진 비동차 타원계의 $L^2$ 딜리클레, 뉴먼, 정규성 경계값 문제의 잘 정의됨을 확립한다. 층 잠재력 방법과 척도 불변 추정을 사용하여, 계수에 대한 낮은 정규성 가정 하에 스케일 매개변수 $\varepsilon$에 독립적인 균일한 비접선 및 제곱 함수 추정을 증명한다. 이는 저차항의 영향과 비동차 설정에서의 척도 불변성 부족으로 인한 과제를 극복한다.

ABSTRACT

In terms of layer potential methods, this paper is devoted to study the $L^2$ boundary value problems for nonhomogeneous elliptic operators with rapidly oscillating coefficients in a periodic setting. Under a low regularity assumption on the coefficients, we establish the solvability for Dirichlet, regular and Neumann problems in a bounded Lipschitz domain, as well as, the uniform nontangential maximal function estimates and square function estimates. The main difficulty is reflected in two aspects: (i) we can not treat the lower order terms as a compact perturbation to the leading term due to the low regularity assumption; (ii) the nonhomogeneous systems do not possess a scaling-invariant property in general. Although this work may be regarded as a follow-up to C. Kenig and Z. Shen's in \cite{SZW24}, we make an effort to find a clear way of how to handle the nonhomogeneous operators by using the known results of the homogenous ones. Also, we mention that the periodicity condition plays a key role in the scaling-invariant estimates.

연구 동기 및 목표

• 리프시츠 도메인 내에서 급격히 진동하는 주기적 계수를 가진 비동차 타원계의 $L^2$ 경계값 문제의 해법을 다루는 것.
• 계수에 대한 낮은 정규성 가정으로 인해 저차항을 컴act한 변화로 간주하는 데서 발생하는 과제를 극복하는 것.
• 비동차 시스템에서 척도 불변성이 없음에도 불구하고 균일한 비접선 최대 함수 및 제곱 함수 추정을 확립하는 것.
• 층 잠재력 기법과 주기성의 활용을 통해 기존 동차 연산자에 대한 결과를 비동차 경우로 확장하는 것.
• 기존 동차 연산자에 대한 결과를 활용하여 비동차 연산자를 다루는 명확한 프레임워크를 제공하는 것.

제안 방법

• 단일 및 이중 층 잠재력 등을 포함한 층 잠재력 방법을 사용하여 경계값 문제의 해를 구성하는 것.
• 이분화된 링형 영역에서 약한 해에 대한 척도 불변 추정을 사용하여 스케일 매개변수 $\varepsilon$에 독립적인 균일한 추정을 도출하는 것.
• Rellich 유형 추정과 기본 해 간의 비교 결과를 적용하여 경계 행동을 제어하는 것.
• 주기성 조건 하에서 컴팩턴스와 프레드홀름 이론을 활용하여 $L^2(\partial\Omega)$에서 층 잠재력 연산자의 가역성을 확립하는 것.
• 실수 보간과 최대 함수 추정을 활용하여 $H^{1/2}$ 정규성과 $L^2$ 경계 추적 제어를 도출하는 것.
• 주기성을 활용하여 전체 연산자가 척도 불변성을 갖지 않더라도 핵심 추정에서 척도 불변성을 유지하는 것.

실험 결과

연구 질문

• RQ1 리프시츠 도메인 내에서 급격히 진동하는 계수를 가진 비동차 타원계에 대해 $L^2$ 딜리클레, 뉴먼, 정규성 문제의 잘 정의됨이 성립하는가?
• RQ2 비동차 시스템에서 척도 불변성이 없을 경우 균일한 비접선 및 제곱 함수 추정을 어떻게 확립할 수 있는가?
• RQ3 낮은 정규성 가정 하에서 저차항을 비콤팩트 변화로 간주할 수 있는 기법은 무엇인가?
• RQ4 층 잠재력 기법을 통해 동차 연산자에 대한 결과를 비동차 시스템으로 얼마나 넓히는가?
• RQ5 주기성이 전체 연산자가 척도 불변성을 갖지 않더라도 핵심 추정에서 척도 불변성을 유지하는 데 어떻게 기여하는가?

주요 결과

• 주어진 가정 하에 유계 리프시츠 도메인 내에서 $\mathcal{L}_\varepsilon$에 대해 $L^2$ 딜리클레 문제는 잘 정의되며, $\|(u_\varepsilon)^*\|_{L^2(\partial\Omega)} \leq C\|g\|_{L^2(\partial\Omega)}$를 만족한다.
• 뉴먼 문제도 잘 정의되며, $\|\nabla u_\varepsilon\|_{L^2(\partial\Omega)} \leq C\|g\|_{L^2(\partial\Omega)}$이고, $u_\varepsilon \in H^{1/2}(\Omega)$이다.
• 정규성 문제도 잘 정의되며, $\|\nabla u_\varepsilon\|_{L^2(\partial\Omega)} \leq C\|g\|_{H^1(\partial\Omega)}$ 이고 $\|(u_\varepsilon)^*\|_{L^2(\partial\Omega)} \leq C\|g\|_{L^2(\partial\Omega)}$를 만족한다.
• 공간 $B_r$ 내 약한 해에 대해 균일한 $W^{1,p}$ 및 $C^{0,\sigma}$ 추정이 확보되며, 상수는 $\mu$, $m$, $d$, $p$ 및 계수의 VMO 또는 하올더 노름에만 의존한다.
• 모든 $\lambda \geq \lambda_0$에 대해 척도 불변 추정이 성립하며, $\lambda_0$는 $V$, $B$, $c$의 $L^\infty$ 노름을 통해 정의되어 균일한 제어를 보장한다.
• $L^2(\partial\Omega)$에서 $(-1/2)I + \mathcal{K}_{\mathcal{L}^*_\varepsilon}^*$ 및 $(1/2)I + \mathcal{K}_{\mathcal{L}_\varepsilon}^*$의 가역성이 확립되어 층 잠재력에 의한 해의 구성이 가능하다.