[논문 리뷰] Pointwise two-scale expansion for parabolic equations with random coefficients

Yu Gu, Jean-Christophe Mourrat|arXiv (Cornell University)|2014. 10. 08.

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

한 줄 요약

이 논문은 차원 $ d \geq 3 $ 에서 랜덤 계수를 가진 선형 포아송 방정식에 대해 점별 이중 스케일 전개를 수립한다. 이는 비균질 해 $ u_\varepsilon $ 와 그 균질화 극한 $ u_{\mathrm{hom}} $ 사이의 차이가 거의 확실히 $ \varepsilon \nabla u_{\mathrm{hom}} \cdot \tilde{\phi}(x/\varepsilon, \omega) + o(\varepsilon) $ 임을 증명한다. 여기서 $ \tilde{\phi} $ 는 정적 보정자이다. 이 결과는 이전의 기대와는 달리 계수 분포의 대칭성 가정 없이도 성립하며, 정량적 에르고딕성과 마팅게일 방법에 의존한다.

ABSTRACT

We investigate the first-order correction in the homogenization of linear parabolic equations with random coefficients. In dimension $3$ and higher and for coefficients having a finite range of dependence, we prove a pointwise version of the two-scale expansion. A similar expansion is derived for elliptic equations in divergence form. The result is surprising, since it was not expected to be true without further symmetry assumptions on the law of the coefficients.

연구 동기 및 목표

• 랜덤 계수를 가진 선형 포아송 방정식의 스토케스틱 균질화에서의 일阶 보정을 분석하는 것.
• $ u_\varepsilon(t,x,\omega) - u_{\mathrm{hom}}(t,x) $ 에 대한 점별 이중 스케일 전개를 수립하는 것. 이는 표준적인 $ L^2 $ 또는 $ H^1 $ 수렴을 넘어서는 것이다.
• 계수 법칙에 대한 대칭성 가정 없이도 이러한 점별 전개가 성립하는지 여부라는 열린 문제를 해결하는 것.
• 오차 항이 $ L^1(\Omega) $ 에서 $ o(\varepsilon) $ 임을 증명하는 것. 이는 $ z \mapsto -z $ 에 대한 불변성 없이도 성립한다.

제안 방법

• 해를 $ u_\varepsilon = u_{\mathrm{hom}} + \varepsilon \nabla u_{\mathrm{hom}} \cdot \tilde{\phi}(x/\varepsilon, \omega) + \text{오차} $ 로 분해하는 점별 이중 스케일 전개 프레임워크의 사용.
• 마팅게일 방법을 통한 정량적 에르고딕성 추정을 활용하여 보정자의 분산 감쇠를 통제하는 것.
• 계수의 유한 범위 의존성(포아송 점 과정의 함수로 모델링됨)을 활용하여 보정자 및 그 기울기의 모멘트 bound를 유도하는 것.
• 스펙트럼 갭 부등식과 주기적 설정에서의 지수 혼합성을 활용하여, 이 방법을 주기적 계수로 확장하는 것.
• 녹그리너 함수와 보정자 상호작용의 감쇠를 제어하기 위해 컨볼루션 추정(보조정리 A.1)을 사용하는 것.
• 해의 마팅게일 표현과 오차 항에 대한 중심극한정리 유형의 추론을 통해 전개를 유도하는 것.

실험 결과

연구 질문

• RQ1 차원 $ d \geq 3 $ 에서 계수의 랜덤성에 의해 영향을 받는 포아송 방정식에 대해, 계수 법칙에 대한 대칭성 가정 없이도 점별 이중 스케일 전개를 수립할 수 있는가?
• RQ2 고정된 $ (t,x) $ 에서 균질화 과정의 오차가 $ L^1(\Omega) $ 에서 진짜로 $ o(\varepsilon) $ 인가, $ O(\varepsilon) $ 가 아닌가?
• RQ3 계수 분포에 대칭성이 없을 경우 점별 보정이 성립하지 않으며, 이는 이전의 의심과 일치하는가?
• RQ4 랜덤 계수에 사용된 방법을 주기적 균질화 설정으로 확장하여 유사한 점별 전개를 도출할 수 있는가?
• RQ5 기대값 $ \mathbb{E}[u_\varepsilon(t,x,\omega)] $ 이 $ u_{\mathrm{hom}}(t,x) $ 로 수렴하는 정확한 수렴 속도는 무엇이며, 이는 $ o(\varepsilon) $ 를 달성하는가?

주요 결과

• 차원 $ d \geq 3 $ 에서 점별 이중 스케일 전개가 성립한다: $ u_\varepsilon(t,x,\omega) - u_{\mathrm{hom}}(t,x) = \varepsilon \nabla u_{\mathrm{hom}}(t,x) \cdot \tilde{\phi}(x/\varepsilon, \omega) + o(\varepsilon) $ 이며, 이는 $ L^1(\Omega) $ 에서 성립하며, $ o(\varepsilon)/\varepsilon \to 0 $ 이다.
• 이 결과는 이전의 예상과는 달리 계수 법칙의 $ z \mapsto -z $ 에 대한 대칭성 가정 없이도 성립한다.
• 강한 혼합성이나 대칭성이 없더라도, 마팅게일 방법과 분산 감쇠 추정을 통해 오차 항이 정량적으로 통제된다.
• 전개는 타원형 경우로 확장되며, 다발형 형태의 타원형 방정식 해에 대해 비슷한 점별 전개가 도출된다.
• 주기적 설정에서는 동일한 점별 전개가 성립하며, 오차 항이 $ o(\varepsilon) $ 이고, 에르고딕성 추정 대신 스펙트럼 갭 부등식을 사용한다.
• 증명은 보정 오차의 $ L^1 $-노름을 통제하기 위해 중심극한정리와 마팅게일 기법을 새로운 방식으로 적용하는 데 의존한다. 이는 계수 법칙이 대칭성이 없을 경우에도 성립한다.