[논문 리뷰] $\mathcal{K}-$convergence as a new tool in numerical analysis

Eduard Feireisl, Mária Lukáčová–Medvid’ová외 1명|arXiv (Cornell University)|2019. 03. 30.

Navier-Stokes equation solutions참고 문헌 21인용 수 5

한 줄 요약

이 논문은 비정상적인 비선형 PDE, 특히 등온 상태의 유동계에 대한 수치적 방법의 수렴성을 분석하기 위해 새로운 프레임워크인 $χ$-수렴을 도입한다. 물리적 공간과 위상 공간에서의 수치해를 영양 측도로 표현한 후, Komlós 유형의 $χ$-수렴을 적용함으로써 저자들은 수치해의 산술 평균이 거의 어디에서나 수렴하여 소산성 측도-값 해로 수렴함을 증명한다. 이는 고전적 해가 존재하지 않을 경우에도 성립하며, Lax 등가정리의 비선형 해석에 해당한다.

ABSTRACT

We adapt the concept of $\mathcal{K}-$convergence of Young measures to the sequences of approximate solutions resulting from numerical schemes. We obtain new results on pointwise convergence of numerical solutions in the case when solutions of the limit continuous problem possess minimal regularity. We apply the abstract theory to a finite volume method for the isentropic Euler system describing the motion of a compressible inviscid fluid. The result can be seen as a nonlinear version of the fundamental Lax equivalence theorem.

연구 동기 및 목표

• 비정상적인 문제이자 무한히 많은 약한 해를 가질 수 있는 등온 상태의 유동계에 대한 수치적 방법의 수렴성을 다루기 위해.
• 고전적 해가 필요 없이 수치 근사의 수렴성을 분석하기 위한 새로운 이론적 프레임워크인 영양 측도의 $χ$-수렴 기반의 방법을 개발하기 위해.
• 해의 유일성이 보장되지 않을 경우에도 수렴이 보장되는 조건을 설정하기 위해.
• 수치해의 진동 행동을 기반으로 고전적 해의 부재를 탐지할 수 있는 기준을 제공하기 위해.
• 주어진 주기적 영역에서 등온 상태의 유동계에 대한 유한체적 방법의 수렴 분석을 통해 이론을 실증하기 위해.

제안 방법

• 수치해를 물리적 공간과 위상 공간에서의 영양 측도로 간주하여, 영양 측도에 대한 $χ$-수렴 개념을 수치해의 수열에 적용한다.
• 진동이 있는지 여부에 따라 약한-$χ$ 수렴과 강한-$χ$ 수렴을 정의하여 해의 성격을 구분한다.
• Komlós 정리를 적용하여 수치해의 산술 평균이 $L^1$에서 거의 어디에서나 극한 함수로 수렴함을 보인다.
• 안정성과 일致성을 확보하기 위해 점점 줄어드는 점성항을 포함한 등온 상태의 유동계에 대한 유한체적 스킴을 구성한다.
• 이산 에너지 균형과 일치성 추정을 사용하여 부분수열에 대해 스킴의 수렴성을 증명한다.
• 수치해의 산술 평균이 극한에서 Dirac 측도로 수렴하지 않으면서도, 그 극한이 양의 측도에서 $G \neq g(\varrho,\mathbf{m})$를 만족하는 경우, 고전적 해가 존재하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 최소한의 정규성 조건을 가진 비선형 PDE의 수치해에 대해 $χ$-수렴을 어떻게 확장할 수 있는가?
• RQ2 고전적 해가 존재하지 않을 경우에도 수치해의 산술 평균이 점별로 일반화된 해로 수렴하는가?
• RQ3 수치수열의 진동 행동은 극한에서 고전적 해의 부재를 짐작할 수 있는 지표가 될 수 있는가?
• RQ4 극한 해가 유일할 경우, $χ$-수렴을 어떻게 사용하여 수치적 방법의 조건 없는 수렴을 증명할 수 있는가?
• RQ5 영양 측도에 직접적인 참조 없이도 등온 상태의 유동계의 소산성 해를 특징지울 수 있는가?

주요 결과

• 수치해의 산술 평균은 거의 어디에서나 등온 상태의 유동계의 소산성 측도-값 해로 점별 수렴한다.
• 극한 소산성 해가 유일할 경우, 수렴은 조건 없이 성립한다.
• 수치해의 산술 평균이 Dirac 측도로 수렴하지 않으며, 양의 측도에서 $G \neq g(\varrho,\mathbf{m})$를 만족하는 극한으로 수렴한다면, 해당 초기 조건에 대해 고전적 해는 존재하지 않는다.
• 이 프레임워크는 비정상 문제에 대한 Lax 등가정리의 비선형 일반화를 제공한다.
• 수치해의 진동 결함 — $\mathfrak{D}_{\rm kin}$, $\mathfrak{D}_{\rm conv}$, $\mathfrak{D}_{\rm int}$를 통해 정량화한 것 — 은 고전적 해의 부재를 탐지하는 데 사용될 수 있다.
• 모멘텀 및 에너지 균형의 결함 항을 직접 분석함으로써, 영양 측도에 직접적인 참조 없이도 소산성 해의 개념을 정의할 수 있다.