[논문 리뷰] A nonlinear time compactness result and applications to discretization of degenerate parabolic-elliptic PDEs

Boris Andreïanov, Clément Cancès외 1명|arXiv (Cornell University)|2015. 04. 15.

Advanced Mathematical Modeling in Engineering참고 문헌 53인용 수 37

한 줄 요약

이 논문은 보완된 컴팩트니스 기법에 기반한 새로운 이산 시간 컴팩트니스 결과를 제안하며, 열화된 포아송-타입 타입의 편미분방정식에 대한 완전 이산 스킴의 수렴 증명을 가능하게 한다. 이 결과는 시간에 따라 변하는 시간 간격과 다단계 시간 적분 기법을 사용하는 경우에도 두점 유량 유한체적 스킴과 BDF2 시간 이산화를 사용한 $L^r((0,T);L^2(\theta))$에서의 강한 수렴을 보장한다.

ABSTRACT

We propose a discrete functional analysis result suitable for proving compactness in the framework of fully discrete approximations of strongly degenerate parabolic problems. It is based on the original exploitation of a result related to compensated compactness rather than on a classical estimate on the space and time translates in the spirit of Simon (Ann. Mat. Pura Appl. 1987). Our approach allows to handle various numerical discretizations both in the space variables and in the time variable. In particular, we can cope quite easily with variable time steps and with multistep time differentiation methods like, e.g., the backward differentiation formula of order 2 (BDF2) scheme. We illustrate our approach by proving the convergence of a two-point flux Finite Volume in space and BDF2 in time approximation of the porous medium equation.

연구 동기 및 목표

• 강한 열화된 포아송-타입 타입의 편미분방정식에 대한 완전 이산 스킴을 위한 견고한 이산 시간 컴팩트니스 프레임워크를 개발하기 위해.
• 비선형성과 열화성의 설정에서 고전적인 시간 컴팩트니스 추정치(예: Alt-Luckhaus)의 한계를 극복하기 위해.
• 시간 간격이 변하는 경우와 BDF2와 같은 다단계 시간 이산화 기법을 사용하는 스킴의 수렴 분석을 가능하게 하기 위해.
• 각 문제마다 컴팩트니스 추론을 재구성하지 않고도 다양한 수치 스킴에 적용 가능한 일반적이고 즉시 사용 가능한 도구를 제공하기 위해.
• 다공성 매체 방정식에 대해 두점 유량 유한체적 스킴과 BDF2 시간 이산화를 사용한 수렴을 증명하기 위해.

제안 방법

• 고전적인 공간-시간 이동 추정치를 피하는 보완된 컴팩트니스에 기반한 이산 함수해석 결과를 제안한다.
• Dubinskii와 Kruzhkov의 영감을 받은 비선형 시간 컴팩트니스 원리를 이산 설정에 맞게 조정한다.
• 시간 도함수를 제어하기 위해 질량 행렬의 역행렬을 통해 구성된 이산 쌍대 테스트 함수 $\widehat{\boldsymbol{\varphi}}_{m}^{n}$ 를 사용한다.
• 시간, 확산, 기울기 기여를 나타내는 항들을 포함한 이산 약한 형식을 사용한다.
• 이산 $L^p$ 공간에서의 Fréchet-Kolmogorov 컴팩트니스 기준을 적용하여 강한 수렴을 유도한다.
• 스킴의 구조와 테스트 함수의 정칙성에서 유도된 이산 기울기와 시간 이동에 대한 균일한 유계성에 의존한다.

실험 결과

연구 질문

• RQ1 시간 이동에 대한 문제별 추정치를 피하는 일반적인 이산 시간 컴팩트니스 결과를 제시할 수 있는가?
• RQ2 보완된 컴팩트니스 기법을 시간 간격이 변하는 이산 스킴과 다단계 시간 적분기법에 어떻게 적응시킬 수 있는가?
• RQ3 두점 유량 유한체적 스킴과 BDF2 시간 이산화를 사용한 열화된 포아송-타입 타입의 편미분방정식에 대해 수렴을 증명할 수 있는가?
• RQ4 이산 해가 연속 해로의 강한 $L^r((0,T);L^2(\theta))$ 수렴을 보장하기 위한 조건은 무엇인가?
• RQ5 제안된 컴팩트니스 프레임워크는 다공성 매체 방정식과 같은 강한 열화성을 가진 문제에 적용 가능한가?

주요 결과

• 제안된 이산 시간 컴팩트니스 결과는 모든 $r \in [1,\infty)$ 에 대해 $L^r((0,T);L^2(\theta))$ 에서 이산 해의 강한 수렴을 가능하게 한다.
• 수렴 결과는 시간 간격이 변하는 스킴과 BDF2와 같은 다단계 시간 이산화 기법을 사용하는 경우에도 성립한다.
• 이산 해 수열 $\pi_{m}^{n}{\boldsymbol{u}}_{m}^{n}$ 은 다공성 매체 방정식의 유일한 약한 해 $u$ 로 강하게 수렴한다.
• 한계값 $u$ 는 연속 문제의 약한 형식을 만족하며, 이는 스킴의 일致성을 확인한다.
• 증명은 시간 도함수, 확산, 기울기 보정의 세 이산 항의 수렴에 기반하며, 후자는 한계에서 사라진다.
• 이 방법은 고전적인 $L^2$ 또는 $L^1$ 시간 이동 추정치에 의존하지 않으며, 열화된 문제에 더 유연한 대안을 제공한다.