[논문 리뷰] Boundary Estimates in Elliptic Homogenization

Zhongwei Shen|arXiv (Cornell University)|2015. 05. 04.

Advanced Mathematical Modeling in Engineering인용 수 11

한 줄 요약

이 논문은 빠르게 진동하는 주기적 계수를 가진 선형 탄성 타입 타원형 시스템에 대해 $H^1$ 및 $L^q$ 공간에서 수렴 속도 추정을 이용하여 날카로운 경계 추정을 확립한다. 계수에 대한 부드러움 조건 없이 리프시츠 도메인에서 $q = \frac{2d}{d-1}$ 에서 $L^q(\Omega)$ 에서 균일한 $O(\varepsilon)$ 오차 추정을 달성하며, 이는 추가로 허더링 연속성 조건 하에서 리플리히트 유형 추정과 $C^{1,\alpha}$ 도메인에서 리프시츠 정규성으로 이어진다.

ABSTRACT

For a family of systems of linear elasticity with rapidly oscillating periodic coefficients, we establish sharp boundary estimates with either Dirichlet or Neumann conditions, uniform down to the microscopic scale, without smoothness assumptions on the coefficients. Under additional smoothness conditions, these estimates, combined with the corresponding local estimates, lead to the full Rellich type estimates in Lipschitz domains and Lipschitz estimates in $C^{1, α}$ domains. The $C^α$, $W^{1,p}$, and $L^p$ estimates in $C^1$ domains for systems with VMO coefficients are also studied. The approach is based on certain estimates on convergence rates. As a bi-product, we obtain sharp $O(\varepsilon)$ error estimates in $L^q(Ω)$ for $q=\frac{2d}{d-1}$ and a Lipschitz domain $Ω$, with no smoothness assumption on the coefficients.

연구 동기 및 목표

• 빠르게 진동하는 주기적 계수를 가진 선형 탄성 타원형 시스템에 대해 미세 구조 스케일 $\varepsilon$ 에까지 유효한 균일한 경계 추정을 확립하는 것.
• 리프시츠 도메인에서 계수 행렬의 부드러움 조건 없이 $q = \frac{2d}{d-1}$ 에서 $L^q(\Omega)$ 에서 날카로운 $O(\varepsilon)$ 수렴 속도를 도출하는 것.
• 계수의 허더링 연속성 조건 하에서 리프시츠 도메인에서 전체 리플리히트 유형 추정과 $C^{1,\alpha}$ 도메인에서 리프시츠 정규성으로 이러한 추정을 확장하는 것.
• VMO 계수를 가진 시스템에 대해 $C^\alpha$, $W^{1,p}$, 및 $L^p$ 추정을 $C^1$ 도메인으로 확장하는 것.

제안 방법

• 이전 연구에서 사용된 컴팩트니스 방법을 피하기 위해, 균질화된 시스템의 해에 대한 $H^1$ 및 $L^q$ 수렴 속도 추정을 유도하는 데 기반한 접근 방식이다.
• 핵심 추정은 블로업 방법과 이중 원판에서의 감쇠 추정을 통해 도출되며, $L^q$ 수렴에 대해 수정된 존슨-니레버그 유형 부등식을 사용한다.
• 특히, 계수 $A(y)$ 에 대한 부드러움 조건 없이도 성립하는 날카로운 추정을 제공하는 새로운 $L^q$ 수렴 속도 추정($q = \frac{2d}{d-1}$)을 도입한다.
• 핵심 단계는 $D_r$ 에서 $H^1(D_r; \mathbb{R}^d)$ 에 속하는 함수 $w$ 를 구성하여 $u_\varepsilon$ 를 $\varepsilon/r$ 의 오차 범위 내에서 근사시키는 것이다.
• 스케일 불변 감쇠 추정: $J(\theta r) \leq \frac{1}{2}J(r) + C(\varepsilon/r)^{1/2}\Psi(2r)$ 를 사용하며, 여기서 $J(r)$ 는 진동도를 측정하고 $\Psi(r)$ 는 자료 노름을 통제한다.
• 국소 정규성 추정과 전역 경계 추정을 조합하여 $C^{1,\alpha}$ 도메인에서 전체 $C^{1,\alpha}$ 리프시츠 경계를 확보한다.

실험 결과

연구 질문

• RQ1 빠르게 진동하는 계수를 가진 타원형 시스템에 대해 계수에 대한 부드러움 조건 없이 $\varepsilon$-스케일까지 균일하게 날카로운 경계 추정을 확립할 수 있는가?
• RQ2 계수에 대한 부드러움 조건 없이 $q = \frac{2d}{d-1}$ 에서 $L^q(\Omega)$ 에서 해의 최적 수렴 속도는 무엇이며, 이를 달성할 수 있는가?
• RQ3 리프시츠 도메인에서의 경계 추정은 전체 리플리히트 유형 추정과 $C^{1,\alpha}$ 정규성과 어떻게 관련이 있는가?
• RQ4 $C^1$ 도메인에서 VMO 계수를 가진 시스템에 대해 $C^\alpha$, $W^{1,p}$, 및 $L^p$ 추정을 확장할 수 있는가?

주요 결과

• 논문은 계수 행렬 $A(y)$ 에 대한 부드러움 조건 없이 리프시츠 도메인에서 $q = \frac{2d}{d-1}$ 에서 $L^q(\Omega)$ 에서 날카로운 $O(\varepsilon)$ 수렴을 확립한다.
• 리프시츠 도메인에서 딜리클레 및 뉴먼 문제에 대해, 스케일 불변 경계 추정을 증명한다: $\left(\frac{1}{r}\int_{\Omega_r}|\nabla u_\varepsilon|^2\right)^{1/2} \leq C\left(\|F\|_{L^p} + \|f\|_{H^1(\partial\Omega)}\right)$, $p = \frac{2d}{d+1}$.
• 계수의 허더링 연속성 조건 하에서, $B(0,1/2)$ 에서 $\nabla u_\varepsilon$ 에 대한 균일한 $L^\infty$ 경계를 확보하며, $\|\nabla u_\varepsilon\|_{L^\infty(B(0,1/2))} \leq C_p\left(\|u_\varepsilon\|_{L^2(B(0,1))} + \|F\|_{L^p(B(0,1))}\right)$, $p > d$.
• 모든 $C^{1,\alpha}$ 도메인에서, 딜리클레 데이터에 대해 $\|\nabla u_\varepsilon\|_{L^\infty(D_{1/2})} \leq C\left(\|u_\varepsilon\|_{L^2(D_1)} + \|F\|_{L^p(D_1)} + \|f\|_{C^{1,\sigma}(\Delta_1)}\right)$ 를 증명하고, 뉴먼 데이터에 대해서도 유사한 추정을 확보한다.
• 이 방법은 부드러움 조건 없이 모든 $\varepsilon > 0$ 과 리프시츠 도메인 $\Omega$ 에 대해 $q = \frac{2d}{d-1}$ 에서 $L^q(\Omega)$ 에서 날카로운 $O(\varepsilon)$ 오차 추정이라는 새로운 부산물도 제공한다.