[논문 리뷰] Convergence Rates and Hölder Estimates in Almost-Periodic Homogenization of Elliptic Systems

Zhongwei Shen|arXiv (Cornell University)|2014. 04. 23.

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

한 줄 요약

이 논문은 빠르게 진동하는 거의주기적 계수를 가진 두 번째 순서 타원계의 균질화에서 수렴 속도와 허더 조건을 확립한다. 근사 보정자에 대한 정량적 프레임워크를 도입하고 계수 주파수의 스펙트럼 성질을 활용하여, $\alpha$가 허더 연속성이고 $\tau$가 주파수에 대한 딜로랑트 조건을 제어할 때, $\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$인 경우 $L^2$에서 최적의 $O(\varepsilon^\gamma)$ 수렴 속도를 증명한다.

ABSTRACT

For a family of second-order elliptic systems in divergence form with rapidly oscillating almost-periodic coefficients, we obtain estimates for approximate correctors in terms of a function that quantifies the almost periodicity of the coefficients. The results are used to investigate the problem of convergence rates. We also establish uniform Hölder estimates for the Dirichlet problem in a bounded $C^{1, α}$ domain.

연구 동기 및 목표

• 빠르게 진동하는 거의주기적 계수를 가진 타원계의 해에 대한 정량적 수렴 속도를 확립하기.
• 유계 $C^{1,\alpha}$ 영역에서 해에 대한 균일한 허더 추정을 도출하기.
• 계수의 거의주기적 구조에 따라 근사 보정자의 정규성과 감쇠성을 분석하기.
• 수렴 속도를 계수 주파수 스펙트럼의 딜로랑트 성질과 연결하기.
• 전통적인 보정자 이론가 실패하는 주기적 경우에서의 정량적 균질화 결과를 거의주기적 설정으로 확장하기.

제안 방법

• 모든 $\beta$-성분에서 $P_j^\beta(y) = y_j$인 $\mathbb{R}^d$에서 $-\text{div}(A(y)\nabla u) + T^{-2}u = \text{div}(A(y)\nabla P_j^\beta)$를 만족하는 근사 보정자 $\chi_T$를 도입한다.
• 계수 $A(y)$의 거의주기성을 측정하는 함수 $\Theta_\sigma(T)$를 통해 $\chi_T$에 대한 $L^\infty$ 및 허더 추정을 확립하여 $T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$를 도출한다.
• 계수 행렬 $A(y)$를 삼각 다항식으로 근사하고, 보정자를 구성하기 위해 릿지 기법을 적용한다.
• 불일치 이론과 에르되시–투란–코크스마 부등식을 적용하여 주파수 벡터의 균일 분포를 추정하고, 스펙트럼 함수 $\theta_\lambda(R)$에 대한 추정을 이끌어낸다.
• 지배적 조건인 $|n \cdot \lambda| \geq c_0 |n|^{-\tau}$를 활용하여 지수 합의 감쇠를 제어하고 정량적 추정을 도출한다.
• $\chi_T$에 대한 추정과 $u_\varepsilon$의 약한 수렴성을 결합하여 에너지 추정과 보간을 통해 $L^2$ 수렴 속도를 유도한다.

실험 결과

연구 질문

• RQ1 타원계의 해에 대한 거의주기적 계수를 가진 경우 $L^2$ 노름에서 최적의 수렴 속도는 무엇인가?
• RQ2 계수 행렬 $A(y)$의 정규성과 스펙트럼 구조는 수렴 속도에 어떻게 영향을 미치는가?
• RQ3 혼합성 또는 주기성이 없기 때문에 정확한 보정자가 존재하지 않는 상황에서 근사 보정자를 구성하고 추정할 수 있는가?
• RQ4 주파수 스펙트럼에 대한 딜로랑트 조건이 정량적 균질화 결과에 얼마나 영향을 미치는가?
• RQ5 거의주기적 계수 하에서 $C^{1,\alpha}$ 영역에서 딜로랑트 문제의 해에 대해 어떤 균일한 허더 추정을 확립할 수 있는가?

주요 결과

• 모든 $T \geq 1$ 및 $\sigma \in (0,1)$에 대해 근사 보정자는 $T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$를 만족하며, 여기서 $\Theta_\sigma(T)$는 $A(y)$의 거의주기성을 측정한다.
• 모든 $x,y \in \mathbb{R}^d$에 대해 보정자는 허더 추정 $|\chi_T(x) - \chi_T(y)| \leq C_\sigma T^{1-\sigma} |x-y|^\sigma$를 만족한다.
• 모든 $0 < r \leq T$에 대해 국소화된 $L^2$ 반노름은 $\sup_{x \in \mathbb{R}^d} \left(-\!\!\!\!\int_{B(x,r)} |\nabla \chi_T|^2 \right)^{1/2} \leq C_\sigma (T/r)^\sigma$를 만족한다.
• 딜로랑트 주파수 조건 $|n \cdot \lambda| \geq c_0 |n|^{-\tau}$ 하에서 스펙트럼 함수는 $\theta_\lambda(R) \leq C R^{-1/(\widetilde{m}(\tau+1))} (\log R)^{1 - 1/\widetilde{m}}$를 만족한다.
• 만약 $A(y)$가 순서 $\alpha$의 허더 연속성을 가진다면, $L^2$ 수렴 속도는 $\|u_\varepsilon - u_0\|_{L^2(\Omega)} \leq C_\gamma \varepsilon^\gamma \|u_0\|_{W^{2,p}(\Omega)}$를 만족하며, 이는 모든 $\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$에 대해 성립한다.
• 매우 매끄러운 준주기적 계수로, 딜로랑트 조건을 만족하는 경우, 주기적 경우에서 알려진 결과와 일치하는 날카운 $O(\varepsilon)$ 수렴 속도를 회복한다.