[논문 리뷰] Entropy-dissipative discretization of nonlinear diffusion equations and discrete Beckner inequalities

Claire Chainais-Hillairet, Ansgar Jüngel외 1명|arXiv (Cornell University)|2013. 03. 15.

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

한 줄 요약

이 논문은 비선형 확산 방정식(다공성 매체 및 빠른 확산 유형)에 대해 엔트로피 소산 유한체적 스킴을 제안하며, 이로 인해 이산 제로차 및 일차 엔트로피의 대수적 또는 지수적 감쇠가 입증된다. 주요 기여는 연속 PDE의 엔트로피 소산 구조를 이어받는 이산 스킴을 보장하는 새로운 일반화된 Beckner 부등식을 개발한 것이다. 이는 체계적 부분적 적분과 이산 그론발라 유사 추정을 통해 명시적인 감쇠 속도를 도출한다.

ABSTRACT

The time decay of fully discrete finite-volume approximations of porous-medium and fast-diffusion equations with Neumann or periodic boundary conditions is proved in the entropy sense. The algebraic or exponential decay rates are computed explicitly. In particular, the numerical scheme dissipates all zeroth-order entropies which are dissipated by the continuous equation. The proofs are based on novel continuous and discrete generalized Beckner inequalities. Furthermore, the exponential decay of some first-order entropies is proved in the continuous and discrete case using systematic integration by parts. Numerical experiments in one and two space dimensions illustrate the theoretical results and indicate that some restrictions on the parameters seem to be only technical.

연구 동기 및 목표

• 비선형 확산 방정식의 엔트로피 소산 구조를 유지하는 완전 이산 유한체적 스킴을 개발하기.
• 이 스킴에서 이산 제로차 및 일차 엔트로피의 명시적 대수적 또는 지수적 감쇠 속도를 확립하기.
• 엔트로피 소산과 엔트로피 감쇠를 연결하기 위해 연속 및 이산 설정에서 일반화된 Beckner 부등식을 유도하고 증명하기.
• 엔트로피 소산 방법을 완전 이산 스킴으로 확장하여 수치 스킴이 연속 PDE의 장기적 행동을 그대로 이어받도록 하기.
• 일차원 및 이차원에서의 수치 실험을 통해 이론적 감쇠 속도를 검증하기.

제안 방법

• Neumann 또는 주기적 경계 조건을 갖는 다공성 매체 및 빠른 확산 방정식에 대해 유한체적 이산화를 구축한다.
• 이산 일반화된 Beckner 부등식을 사용하여 연속 방정식이 소산하는 모든 제로차 엔트로피가 이산 스킴에서도 소산됨을 증명한다.
• 체계적 부분적 적분을 적용하여 연속 및 이산 케이스에서 일차 엔트로피의 지수적 감쇠를 증명한다.
• 핵심적으로, 볼록 함수의 역수의 적분을 통해 정의된 함수의 역수를 포함하는 주요 추정을 포함하는 새로운 이산 비선형 그론발라 보조정리를 도출한다.
• 엔트로피, 엔트로피 소산, 일반화된 Beckner 부등식 간의 상호작용을 통해 이론적 감쇠 속도를 유도한다.
• 일차원 및 이차원에서의 수치 실험을 수행하여 이론적 감쇠 속도를 검증하고 매개변수 의존성 평가를 수행한다.

실험 결과

연구 질문

• RQ1 완전 이산 유한체적 스킴을 구성할 수 있는가? 이 스킴은 연속 다공성 매체 및 빠른 확산 방정식의 엔트로피 소산 구조를 유지하는가?
• RQ2 이러한 스킴에서 이산 제로차 및 일차 엔트로피의 명시적 대수적 또는 지수적 감쇠 속도는 무엇인가?
• RQ3 연속 및 이산 설정에서 일반화된 Beckner 부등식을 도출할 수 있는가? 이를 통해 엔트로피와 엔트로피 소산을 연결할 수 있는가?
• RQ4 이론적 감쇠 속도가 일차원 및 이차원에서의 수치 시뮬레이션과 얼마나 일치하는가?
• RQ5 이론 분석에서의 매개변수 제약 조건은 순수하게 기술적인 것인가, 아니면 근본적인 제한을 반영하는가?

주요 결과

• 유한체적 스킴은 연속 PDE가 소산하는 모든 제로차 엔트로피를 소산하여 이산 엔트로피 감쇠를 보장한다.
• β의 값과 차원 d에 따라, 이산 엔트로피 함수형의 명시적 대수적 또는 지수적 감쇠 속도가 도출된다.
• 일반화된 Beckner 부등식은 연속 및 이산 케이스 모두에서 증명되었으며, 감쇠 속도를 확립하는 핵심 분석 도구로 기능한다.
• 부분적 적분과 새로운 Beckner 부등식을 사용하여 연속 및 이산 설정에서 일차 엔트로피의 지수적 감쇠가 엄밀히 증명된다.
• 수치 실험은 이론적 감쇠 속도를 확인하며, 일부 매개변수 제약 조건은 기술적인 것일 수 있음을 시사한다.
• 볼록 함수 f를 포함하는 이산 그론발라 보조정리는 정밀한 감쇠 추정을 가능하게 하며, 엔트로피 수열의 감쇠에 대한 명시적 상한을 이끌어낸다.