[논문 리뷰] Higher-order pathwise theory of fluctuations in stochastic homogenization

Mitia Duerinckx, Félix Otto|arXiv (Cornell University)|2019. 03. 06.

Advanced Mathematical Modeling in Engineering참고 문헌 50인용 수 30

한 줄 요약

이 논문은 랜덤 계수를 가진 선형 타원형 미분방정식에서의 확률적 동질화의 변동성에 대해 고차수의 경로 기반 이론을 개발한다. 두 스케일 전개 및 동질화 오차 프레임워크를 $\frac{d}{2}$ 차수까지 확장함으로써, 거시적 변동성이 정규분포임을 입증하고, 해의 변동성과 고차수 보정자 사이의 경로 기반 유사도를 규명함으로써, 미시적 진동과 거시적 난수성의 깊이 있는 대칭적 대수적 구조를 드러낸다.

ABSTRACT

We consider linear elliptic equations in divergence form with stationary random coefficients of integrable correlations. We characterize the fluctuations of a macroscopic observable of a solution to relative order $\\frac{d}{2}$, where $d$ is the spatial dimension; the fluctuations turn out to be Gaussian. As for previous work on the leading order, this higher-order characterization relies on a pathwise proximity of the macroscopic fluctuations of a general solution to those of the (higher-order) correctors, via a (higher-order) two-scale expansion injected into the homogenization commutator, thus confirming the scope of this notion. This higher-order generalization sheds a clearer light on the algebraic structure of the higher-order versions of correctors, flux correctors, two-scale expansions, and homogenization commutators. It reveals that in the same way as this algebra provides a higher-order theory for microscopic spatial oscillations, it also provides a higher-order theory for macroscopic random fluctuations, although both phenomena are not directly related. We focus on the model framework of an underlying Gaussian ensemble, which allows for an efficient use of (second-order) Malliavin calculus for stochastic estimates. On the technical side, we introduce annealed Calder\\'on-Zygmund estimates for the elliptic operator with random coefficients, which conveniently upgrade the known quenched large-scale estimates.

연구 동기 및 목표

• 주어진 차수의 변동성을 초과하는 거시적 관측량의 변동성을 특성화하기 위해.
• 해의 변동성과 보정자 기반 전개 사이의 경로 기반 유사도를 $\frac{d}{2}$ 차수까지 확장하기 위해.
• 거시적 난수적 변동성과 관련된 고차수 보정자, 유량 보정자, 동질화 오차의 대수적 구조를 명확히 하기 위해.
• 가우시안 집합 프레임워크 내에서 말리아빈 미분법을 활용해 고차수 변동성이 정규분포임을 입증하기 위해.
• 임의의 타원형 연산자에 대한 쿠엔치 대규모 추정을 향상시키기 위해 안내된 캘리브리드-지그문드 추정을 개발하기 위해.

제안 방법

• 해의 변동성을 $ O(\varepsilon^{\frac{d}{2}}) $ 수준까지 캡처하기 위해 형식 $ (1 + \varepsilon \varphi_i + \varepsilon^2 \varphi^{2}_{ij} \nabla_{ij}^2) \bar{u}^2_\varepsilon $ 의 고차수 두 스케일 전개를 활용한다.
• 진짜 해와 그 두 스케일 전개 간의 오차를 측정하기 위해 고차수 동질화 오차를 도입한다.
• 기저가 되는 계수 집합의 가우시안 성격을 활용해, 두 번째 단계 말리아빈 미분법을 확률적 추정에 적용한다.
• 임의의 타원형 연산자에 대해 안내된 캘리브리드-지그문드 추정을 수립하여 기존의 쿠엔치 추정을 향상시킨다.
• 정규 근사의 증명을 위해 스텐의 방법과 푸앵카레 유형 부등식을 활용한다.
• 오르누슈타인-울렌벡 생성자와 말리아빈 미분 사이의 교환 관계를 활용해 정규 근사에서 분산 항을 제어한다.

실험 결과

연구 질문

• RQ1 확률적 동질화에서 거시적 변동성은 주어진 차수의 $ O(\varepsilon) $ 항을 초월해 어떻게 행동하는가?
• RQ2 해의 변동성은 어느 정도까지 고차수 보정자의 변동성으로 경로 기반으로 근사될 수 있는가?
• RQ3 고차수 보정자와 거시적 난수적 변동성의 구조를 연결하는 대수적 구조는 무엇인가?
• RQ4 고차수 변동성이 정규분포로 수렴함을 입증할 수 있으며, 그 조건은 무엇인가?
• RQ5 해의 임의의 타원형 미분방정식의 확률적 행동을 제어하기 위해 안내된 추정을 어떻게 개발할 수 있는가?

주요 결과

• 관측량 $ \int g \cdot \nabla u_\varepsilon $ 의 거시적 변동성은 $ \frac{d}{2} $ 차수까지 특성화되었으며, 주요 보정항은 정규분포임이 입증되었다.
• 해의 변동성과 고차수 보정자 전개의 변동성 사이의 경로 기반 유사도가 확립되어, 고차수에서 동질화 오차의 관련성이 확인되었다.
• 고차수 보정자 프레임워크는 미시적 진동과 거시적 변동성 둘 다를 지배하는 통합된 대수적 구조를 드러내었으며, 이는 개념적으로 독립된 두 요소임에도 불구하고 그러한 연결성을 가진다.
• 쿠엔치 대규모 추정을 향상시키는 안내된 캘리브리드-지그문드 추정이 유도되었으며, 이는 확률적 제어에 핵심적이다.
• 말리아빈 미분법을 통해 변동성의 정규 근사가 증명되었으며, 1-워샤르슈타인 거리 및 2-워샤르슈타인 거리의 상한이 내적 $ \langle DZ, DX \rangle_\mathfrak{H} $ 의 분산에 따라 기술되었다.
• 변동성의 공분산 구조 수렴이 엄밀히 증명되어 고차수 수준에서 정규 극한의 존재성이 확인되었다.