[논문 리뷰] Homogenization of Elliptic Systems with Neumann Boundary Conditions

Carlos E. Kenig, Fanghua Lin외 1명|arXiv (Cornell University)|2010. 10. 29.

Advanced Mathematical Modeling in Engineering참고 문헌 20인용 수 10

한 줄 요약

이 논문은 계수가 빠르게 진동하고 주기적인 경우, $C^{1,\alpha}$ 영역에서 제2형 타원계의 뉴먼 경계 조건을 갖는 해에 대해 $\varepsilon$-독립적인 정규성 추정을 수립한다. 단층 잠재력 기법과 호모제네이션 이론을 통해 대칭성과 계수 행렬의 미세한 연속성 조건 하에서 균일한 $W^{1,p}$, 리프시츠, 그리고 비접선 최대 함수 추정을 증명한다.

ABSTRACT

The main purpose of this work is to study uniform regularity estimates for a family of elliptic operators $\{\mathcal{L}_\varepsilon, \varepsilon>0\}$, arising in the theory of homogenization, with rapidly oscillating periodic coefficients. We establish sharp $W^{1,p}$ estimates, Lipschitz estimates, and nontangential maximal function estimates, which are uniform in the parameter $\varepsilon$, on solutions with Neumann boundary conditions in $C^{1,α}$ domains.

연구 동기 및 목표

• 빠르게 진동하는 주기적 계수를 갖는 뉴먼 경계값 문제에 대해 균일한 $W^{1,p}$ 추정을 수립하기.
• 자료에 대해 대칭성과 허더 연속성 조건을 만족할 경우 해에 대한 균일한 리프시츠 추정을 유도하기.
• $L^p$ 공간에서 평균이 0인 자료를 갖는 해에 대해 비접선 최대 함수 추정을 균일하게 증명하기.
• 진동하는 계수 시스템에 대한 단층 잠재력 연산자가 스케일 매개변수 $\varepsilon$에 관계없이 역연산 가능하며, 그 노름이 $\varepsilon$에 독립적임을 보여주기.
• 고전적 적분방정식 방법을 비균질 환경으로 확장하여 단층 잠재력 표현에서 조밀함의 $L^p$ 유계성을 균일하게 증명하기.

제안 방법

• 분석은 단층 및 이중 단층 잠재력 연산자 $\mathcal{L}_\varepsilon$ 와 연관된 단층 잠재력 기법에 기반한다.
• $L^p_0(\partial\Omega)$에서 연산자 $\frac{1}{2}I + \mathcal{K}_{A,\varepsilon}$ 와 $-\frac{1}{2}I + \mathcal{K}^*_{A^*,\varepsilon}$ 의 역연산 가능성을 균일한 $L^p$ 뉴먼 문제 및 정규성 문제의 해법에 의거해 확립한다.
• 이 증명은 $C^{1,\alpha}$ 영역에서 $L^p$ 뉴먼 문제 및 정규성 문제가 균일한 추정을 갖는다는 사실을 이용하며, 기존의 $L^2$ 결과를 일반화한다.
• 저자들은 계수 행렬의 대칭 조건 $A^*=A$ 를 활용하여 단층 잠재력 연산자의 자기수반성을 확보하고 경계를 넘는 점프 관계를 제어한다.
• 핵심 추정은 타원성, 주기성, 그리고 $A$ 에 대한 허더 연속성 조건 하에서 기본 해 $\Gamma_{A,\varepsilon}$ 와 그 정규성 성질을 이용하여 도출된다.
• 단층 잠재력 연산자의 역행렬에 대한 균일한 유계성은 해의 기울기 및 비접선 최대 함수에 대한 균일한 추정으로 이행된다.

실험 결과

연구 질문

• RQ1 빠르게 진동하는 주기적 계수를 갖는 뉴먼 문제에 대해 $C^{1,\alpha}$ 영역에서 균일한 $W^{1,p}$ 추정을 확립할 수 있는가?
• RQ2 허더 연속인 자료에 대해 해의 기울기가 $L^\infty$ 에서 균일하게 유계일 조건은 무엇인가?
• RQ3 기울기의 비접선 최대 함수가 $L^p$ 경계 자료를 갖는 해에 대해 균일한 $L^p$ 유계성을 만족하는가?
• RQ4 진동하는 계수 시스템에 대한 단층 잠재력 연산자가 모든 스케일 $\varepsilon>0$ 에서 $L^p$ 공간에서 균일하게 역연산 가능한가?
• RQ5 고전적 적분방정식 방법은 주기적 계수를 갖는 타원계에 대해 $\varepsilon$ 에 대해 균일한 추정을 갖도록 확장할 수 있는가?

주요 결과

• 균일한 $W^{1,p}$ 추정 $\|\nabla u_\varepsilon\|_{L^p(\Omega)} \leq C\big(\|f\|_{L^p(\Omega)} + \|F\|_{L^q(\Omega)} + \|g\|_{B^{-1/p,p}(\partial\Omega)}\big)$ 이 $\varepsilon$ 에 대해 균일하게 성립하며, $p > \frac{d}{d-1}$ 일 때 $q = \frac{pd}{p+d}$ 이다.
• 자료 $g \in C^\eta(\partial\Omega)$ 이고 $F \in L^q(\Omega)$ 이며 $q > d$ 이면, 균일한 리프시츠 추정 $\|\nabla u_\varepsilon\|_{L^\infty(\Omega)} \leq C\big(\|g\|_{C^\eta(\partial\Omega)} + \|F\|_{L^q(\Omega)}\big)$ 이 $\varepsilon$ 에 대해 균일하게 성립한다.
• 비접선 최대 함수 추정 $\|( abla u_\varepsilon)^*\|_{L^p(\partial\Omega)} + \|\nabla u_\varepsilon\|_{L^q(\Omega)} \leq C\|g\|_{L^p(\partial\Omega)}$ 이 $q = \frac{pd}{d-1}$ 인 경우 $\varepsilon$ 에 대해 균일하게 성립한다.
• 단층 잠재력 연산자 $\frac{1}{2}I + \mathcal{K}_{A,\varepsilon}$ 와 $-\frac{1}{2}I + \mathcal{K}^*_{A^*,\varepsilon}$ 는 각각 $L^p_0(\partial\Omega)$ 와 $L^p(\partial\Omega)$ 에서 역연산 가능하며, 그 연산자 노름은 $\varepsilon$ 에 대해 균일하게 유계이다.
• $\mathcal{L}_\varepsilon u_\varepsilon = 0$ 에 대한 $L^p$ 딜리클레, 뉴먼, 정규성 문제의 해는 단층 잠재력 표현을 통해 표현 가능하며, 그 밀도 함수는 $\varepsilon$ 에 대해 균일하게 $L^p$-유계이다.