[논문 리뷰] Solving large classes of nonlinear systems of PDEs

Roumen Anguelov, Elemér E Rosinger|ArXiv.org|2005. 05. 31.

Mathematical and Theoretical Analysis참고 문헌 16인용 수 4

한 줄 요약

이 논문은 함수해석학이나 일반화된 함수 공간에 의존하지 않고, 비선형 PDE 시스템의 큰 클래스, 특히 나비에-스토크스 방정식과 연속체역학의 구성관계를 해결하기 위한 순서 완비 기반의 새로운 방법을 제시한다. 해는 하우스도르프 연속 함수로 나타나며, 계수에 대한 최소한의 연속성 가정으로도 임의의 도메인과 비선형성에서 보편적인 정규성과 존재성을 보장한다.

ABSTRACT

It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff continuous functions. The usual Navier-Stokes equations, as well as their various modifications aiming at a realistic modelling are included as particular cases. The same holds for the critically important constitutive relations in various branches of Continuum Mechanics. The solution method does not involve functional analysis, nor various Sobolev or other spaces of distributions or generalized functions. The general and type independent existence and regularity results regarding solutions presented here are a first in the literature.

연구 동기 및 목표

• 소보레프 또는 분포 이론 프레임워크에 의존하지 않고 비선형 PDE 시스템에 대한 일반적인 존재성 및 정규성 이론을 수립하기 위해.
• 고전적 해를 초월하여 하우스도르프 연속 함수 공간 내에서 일반화된 해를 포함하는 해 개념을 확장하기 위해.
• 이 방법이 나비에-스토크스 방정식과 연속체역학의 구성관계와 같은 시스템에 보편적으로 적용됨을 보여주기 위해.
• 특히 C^m(Ω) 및 C^0(Ω)와 같은 함수 공간의 순서 완비를 통해 PDE를 체계적으로 해결할 수 있는 구조적 프레임워크를 제공하기 위해.
• 하우스도르프 연속 함수를 통한 연속 함수 공간의 디데킨드 순서 완비의 구조를 명확히 하기 위해.

제안 방법

• 이 방법은 오버구거엔버거와 로지에르가 개발한 순서 완비 기법을 활용하여 고전적 PDE 연산자를 일반화된 해 공간으로 확장한다.
• 고전적 PDE 연산자 T(x,D): C^m(Ω) → C^0(Ω)를 확장된 연산자 T: M^m_T(Ω) → M^0(Ω)로 포함시키는 가환 다이어그램을 구성함으로써 전사성을 보장한다.
• 해 공간 M^m_T(Ω)는 C^m_{nd}(Ω), 즉 닫힌, 곳곳에 흩어진 불연속성 집합을 가진 조각적 C^m 함수의 공간의 디데킨드 순서 완비로 정의된다.
• 해는 하우스도르프 연속 함수 공간 H(Ω) 내의 간격 값 함수로 표현되며, 이는 순서 완비이자 연속 함수를 일반화한 함수이다.
• 이 방법은 소보레프 공간이나 분포와 같은 기능해석학적 도구를 피하고, 대신 순서론적 구성과 간격 값 표현에 의존한다.
• 하우스도르프 연속 함수가 조밀한 부분집합에서의 값에 의해 유일하게 결정된다는 사실을 활용하여 해의 유일성과 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 소보레프 또는 분포 이론 프레임워크를 사용하지 않고도, 불연속 계수를 가진 비선형 PDE의 큰 클래스를 해결할 수 있는가?
• RQ2 순서 완비를 통해 구한 일반화된 해의 성격은 무엇이며, 고전적 해와의 관계는 어떠한가?
• RQ3 하우스도르프 연속 함수를 사용하여 C^m(Ω)의 디데킨드 순서 완비를 효과적으로 특성화할 수 있는가?
• RQ4 이 방법으로 구한 해는 PDE 유형에 관계없이 보편적인 정규성 성질을 갖는가?
• RQ5 고전적 연산자가 전사성이 없을 경우, 순서 완비 방법은 비선형 PDE의 존재성과 전사성을 어떻게 보장하는가?

주요 결과

• 이 방법은 F와 f가 공동 연속일 경우, F(x, U, D^pU) = f(x) 형태의 모든 비선형 PDE에 대해 고전적 해가 존재하지 않더라도 해의 존재를 보장한다.
• 해는 하우스도르프 연속 함수로 나타나며, 이는 연속 함수의 자연스러운 일반화이자 보편적인 정규성 성질을 지닌다.
• 하우스도르프 연속 함수 공간 H(Ω)는 디데킨드 순서 완비이자 순서 완비이므로, 순서론적 완비를 통한 해의 구성이 가능하다.
• 각 ε > 0에 대해 하우스도르프 연속 함수의 불연속성 집합은 닫혀 있고 곳곳에 흩어져 있으므로, 해는 가능할지라도 불연속성이 존재하더라도 잘 행동함을 보장한다.
• 이 방법은 소보레프 공간, 분포, 초함수와 같은 기능해석학적 도구를 피하며 순수하게 순서론적 해법 프레임워크를 제공한다.
• 이 접근법은 비선형성이나 계수의 불연속성 여부에 관계없이 나비에-스토크스 방정식과 연속체역학의 구성관계를 포함한 시스템에 보편적으로 적용된다.