[논문 리뷰] Invariant measure of scalar first-order conservation laws with stochastic forcing

Arnaud Debussche, Julien Vovelle|arXiv (Cornell University)|2013. 10. 14.

Navier-Stokes equation solutions참고 문헌 16인용 수 6

한 줄 요약

이 논문은 스트로크 포싱이 가해진 스칼라 1차 보존법에 대해, 임의의 공간 차원에서 비퇴화성 조건과 최대 세차 다항성 성장 조건 하에 불변 측도의 존재성과 유일성을 확립한다. 운동량 형식과 확률적 평균화 보조정리를 사용하여, $L^1$ 해 이론을 확장하여, 이차 이하의 유속에 대해 에르고딕성을 증명하며, 결정론적 및 점성 설정에서의 결과를 일반화한다.

ABSTRACT

Under an hypothesis of non-degeneracy of the flux, we study the long-time behaviour of periodic scalar first-order conservation laws with stochastic forcing in any space dimension. For sub-cubic fluxes, we show the existence of an invariant measure. Moreover for sub-quadratic fluxes we show uniqueness and ergodicity of the invariant measure. Also, since this invariant measure is supported by Lp for some p small, we are led to generalize to the stochastic case the theory of L1 solutions developed by Chen and Perthame in 2003.

연구 동기 및 목표

• 주기적인 스칼라 1차 보존법이 스트로크 포싱을 받을 때의 장기 통계적 행동을 규명하는 것.
• 일차원 스트로크 버거 방정식에서의 불변 측도 이론을 고차원으로 일반화하는 것.
• 초기 자료에 대한 최소한의 정규성 조건을 가진 스트로크 보존법에 대해 엄밀한 $L^1$ 해 이론을 개발하는 것.
• 유속에 대한 비퇴화성과 다항 성장 조건 하에 불변 측도의 존재성과 유일성을 증명하는 것.
• 운동량 형식 프레임워크를 스트로크 PDE에 확장하여 충격 소멸을 추적하고, 콤���트니스 추론을 가능하게 하는 것.

제안 방법

• 저자들은 스트로크 보존법의 운동량 형식을 활용하여, 초구형 PDE를 충격 소멸을 추적하는 운동량 측도를 가진 운동량 방정식으로 변환한다.
• 해를 결정론적 부분 $u^0$, 확률적 변동 $u^lat$, 그리고 포텐셜 항 $P$로 분해함으로써, 각각의 사전 추정을 별도로 수행한다.
• Bouchut과 Desvillettes(1999)에서 유도된 확률적 평균화 보조정리를 응용하여 운동량 측도와 확률적 항에 대한 균일한 유계를 도출함으로써, 법적 콤팩트니스를 확보한다.
• 대각선 추론을 적용하여 운동량 측도의 약한 수렴하는 부분수열을 추출함으로써, 한계 불변 측도의 존재를 도출한다.
• 유일성과 에르고딕성 확보를 위해, $L^1$ 구에 도달하는 시간을 분석하고, 작은 노이즈 조건 하에서 해의 크기가 작아짐을 보이며, $L^1$ 수축성을 활용한다.
• 초기 자료를 절단 함수 $T_n(u_0)$로 근사함으로써 $L^1$ 초기 자료로의 이론 확장을 이루며, 해와 운동량 측도가 $L^1$에서 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 공간 차원에서 스트로크 포싱이 가해진 스칼라 1차 보존법에 대해 불변 측도가 존재하는가?
• RQ2 유속 함수에 어떤 조건이 성립할 경우 불변 측도가 유일하고 에르고딕적인가?
• RQ3 저통합성 조건을 가진 불변 측도를 지원하기 위해 스트로크 보존법에 대한 $L^1$ 해 이론을 일반화할 수 있는가?
• RQ4 운동량 형식은 스트로크 설정에서 충격 소멸과 장기적 행동 분석을 어떻게 지원하는가?
• RQ5 유속의 비퇴화성은 불변 측도의 존재성과 유일성 보장에 어떤 역할을 하는가?

주요 결과

• 비퇴화성과 최대 세차 성장 조건을 만족하는 유속을 가진 스칼라 1차 보존법에 대해, 임의의 공간 차원에서 불변 측도가 존재한다.
• 이차 이하의 유속에 대해서는 불변 측도가 유일하고 시스템은 에르고딕하다. 즉, 장기적 통계적 행동은 초기 조건과 무관하다.
• 불변 측도는 작은 $p$에 대해 $L^p(\bbT^N)$ 위에 지지되어 있으며, 이는 낮은 통합성 조건을 처리하기 위해 $L^1$ 해 이론의 일반화가 필요함을 시사한다.
• 해 매핑은 $L^1$에서 수축성을 만족하며, $\|u^1(t) - u^2(t)\|_{L^1} \leq \|u_0^1 - u_0^2\|_{L^1}$ 거의 확실하게 성립하여 안정성을 보장한다.
• 해는 $L^1(\bbT^N)$에서 거의 확실하게 연속적인 궤적을 가지며, 불변 측도는 시간 평균 법의 약한 극한으로 나타난다.
• Debussche와 Vovelle(2010)에서 제시된 조건과 동일한 조건 하에서 다중성 노이즈로의 결과 확장을 이루었으며, 불변 측도의 존재성과 유일성가 유지된다.