[논문 리뷰] Vanishing moment method and moment solutions for second order fully nonlinear partial differential equations

Xiaobing Feng, Michael Neilan|ArXiv.org|2007. 08. 13.

Fractional Differential Equations Solutions참고 문헌 37인용 수 21

한 줄 요약

이 논문은 두 번째 순서의 완전 비선형 PDE의 순간 해를 계산하기 위한 구조적 접근으로 퇔어지는 순간 방법을 제안한다. 이 방법은 고차수의 쌍선형 PDE를 통해 이를 근사함으로써, 표준 수치적 방법을 사용한 수렴성을 보장한다. 또한, 순간 해가 존재할 경우 점도 해와 일치함을 보여주며, 비변분 점도 해의 실용적이고 이론적으로 타당한 대안을 제공한다.

ABSTRACT

This paper concerns with numerical approximations of solutions of second order fully nonlinear partial differential equations (PDEs). A new notion of weak solutions, called moment solutions, is introduced for second order fully nonlinear PDEs. Unlike viscosity solutions, moment solutions are defined by a constructive method, called vanishing moment method, hence, they can be readily computed by existing numerical methods such as finite difference, finite element, spectral Galerkin, and discontinuous Galerkin methods with "guaranteed" convergence. The main idea of the proposed vanishing moment method is to approximate a second order fully nonlinear PDE by a higher order, in particular, a fourth order quasilinear PDE. We show by various numerical experiments the viability of the proposed vanishing moment method. All our numerical experiments show the convergence of the vanishing moment method, and they also show that moment solutions coincide with viscosity solutions whenever the latter exist.

연구 동기 및 목표

• 기존의 변분 구조를 갖지 않아 전통적 방법으로는 계산하기 어려운 두 번째 순서의 완전 비선형 PDE를 수치적으로 근사하는 데 오랫동안 해결되지 않은 과제를 해결하기 위해.
• 비구성적이고 이산적 동치성이 없는 점도 해의 비구성적 대안으로서, 정규화된 근사 과정을 통해 순간 해를 정의함으로써 구조적 대안을 개발하기 위해.
• 유한 요소, 유한 차분, 불연속 갈레르킨 방법과 같은 표준 방법을 사용할 수 있는 체계적인 수치적 프레임워크를 제공하기 위해.
• 2차원 및 3차원에서의 광범위한 수치 실험을 통해 퇸어지는 순간 방법의 수렴성과 정확성을 입증하기 위해.
• 순간 해와 점도 해 사이의 관계를 설정하여, 점도 해가 존재할 경우 이들이 일치함을 보여주기 위해.

제안 방법

• 털어지는 순간 방법은 두 번째 순서의 완전 비선형 PDE를 제4차 쌍선형 PDE로 근사함으로써, 극한에서 사라지는 작은 정규화 매개변수 ε를 도입한다.
• 순간 해는 ε → 0일 때 정규화된 제4차 PDE의 해의 극한으로 정의되며, 이는 비구성적인 점도 해 개념과는 다릅니다.
• 이 방법은 몽주-암페르 방정식, 푸시의 극값 방정식, 무한 라플라스 방정식, 그리고 포물형 완전 비선형 PDE 등 다양한 PDE 클래스에 적용된다.
• 정규화된 문제에 대해 혼합 유한 요소 방법(예: 일반화된 헤르만-미요시 요소), 유한 차분, 스펙트럼, 불연속 갈레르킨 방법을 사용하여 이산화한다.
• 털어지는 순간 방법의 수렴성은 다양한 테스트 문제에 대해 분석되고 수치적으로 검증되었으며, 고전적 해가 없는 3차원 문제를 포함한다.
• 이 방법은 점도 해가 존재할 경우 계산된 순간 해가 이를 일관되게 따름을 보장하며, 이는 수치 실험으로 확인되었다.

실험 결과

연구 질문

• RQ1 두 번째 순서의 완전 비선형 PDE에 대해, 점도 해의 한계를 극복하고 수치적으로 다룰 수 있는 구조적 약한 해의 정의를 내릴 수 있는가?
• RQ2 털어지는 순간 방법이 표준 이산화 기법을 사용하여 완전 비선형 PDE에 대해 수렴성과 안정성을 보장하는 수치적 근사 방법이 되는가?
• RQ3 점도 해가 존재할 경우, 순간 해가 점도 해와 어느 정도 일치하는가?
• RQ4 3차원 완전 비선형 PDE에 대해, 특히 고전적 해가 없을 경우 털어지는 순간 방법이 효과적으로 적용될 수 있는가?
• RQ5 비볼록 영역이나 특이 행동이 있는 문제, 예를 들어 3차원에서 f ≡ 1, g ≡ 0 인 몽주-암페르 방정식에 대해 이 방법이 강건한가?

주요 결과

• 털어지는 순간 방법은 표준 수치적 방법(예: 유한 요소, 유한 차분, 불연속 갈레르킨 방법)을 사용하여 두 번째 순서의 완전 비선형 PDE의 순간 해를 수렴 보장과 함께 성공적으로 계산한다.
• 테스트 10에서, ε = 10⁻³일 때, f와 g가 지수 함수로 주어진 3차원 몽주-암페르 방정식의 정확한 볼록 해를 정확히 포착한다.
• 테스트 11에서, f ≡ 1, g ≡ 0 인 3차원 몽주-암페르 문제의 유일한 볼록 점도 해로 수렴하며, 고전적 해가 존재하지 않음에도 불구하고 성공한다.
• 수치 결과는 점도 해가 존재할 경우 순간 해가 점도 해와 일치함을 보여주며, 이는 기존 이론과의 일致성을 검증한다.
• 이 방법은 3차원에서 강건성과 수렴성을 보이며, 3차원 공간에서 완전 비선형 PDE에 대해 알려진 바 없는 첫 번째 수치 결과를 제공한다.
• 일반화된 헤르만-미요시 혼합 유한 요소 방법은 제4차 정규화된 문제를 효과적으로 이산화하여 순간 해의 정확한 계산을 가능하게 한다.