[논문 리뷰] Constructive analysis of the Navier-Stokes equation

Joerg Kampen|arXiv (Cornell University)|2010. 04. 26.

Stochastic processes and financial applications참고 문헌 6인용 수 3

한 줄 요약

이 논문은 레일리 투영 형태의 비압축성 나비에-스토크스 방정식에 대해 시간 이산화된 수치적 스킴을 제안하며, 피드백 메커니즘을 통한 속도 및 그 기울기의 동적 제어를 통해 전역 수렴성을 확보한다. 매끄러운 초기 자료에서 공간 무한대에서 다항식 감쇠를 보이는 경우, 유계 전역 고전적 해로 수렴함을 증명하며, 초기 경계값 문제 및 컴act 리만 다양체로의 확장을 포함한다.

ABSTRACT

A global time-discretized scheme for the Navier-Stokes equation system in its Leray projection form is defined. It is shown that the scheme converges to a bounded global classical solution for smooth data which have polynomial decay at infinity. Furthermore, the algorithm proposed is extended to the situation of initial-boundary value problems. Algorithms constructed in a different context (cf. [4, 10, 5, 9]) may be used within the proposed scheme in order to compute the solution of Leray's form of the Navier-Stokes system. The main idea for global existence is to define a control function dynamically and show explicitly that the scheme which solves a controlled Navier-Stokes type equation can control the modulus of velocity and the first derivatives of velocity to be bounded. The method described here can be extended to Navier-Stokes equations on compact manifolds which is done in a subsequent paper.

연구 동기 및 목표

• 비압축성 나비에-스토크스 방정식의 레일리 투영 형태에 대해 구조적이고 전역 수렴하는 시간 이산화 스킴을 개발한다.
• 공간 무한대에서 다항식 감쇠를 보이는 매끄러운 초기 자료에 대해 고전적 해의 전역 존재성을 확립한다.
• 이 스킴을 초기 경계값 문제 및 컴act 리만 다성분으로 확장한다.
• 속도 및 그 첫 번째 도함수의 성장을 동적으로 정의된 제어 함수를 통해 제어한다.
• 기존 알고리즘을 활용하여 레일리 형태 나비에-스토크스 시스템을 해결할 수 있는 계산적으로 실행 가능한 프레임워크를 제공한다.

제안 방법

• 레일리 투영 형태의 나비에-스토크스 시스템에 대해 시간 이산화 스킴을 구성하며, 압력 항은 파oisson 커널을 포함하는 특이 적분 연산자로 다룬다.
• 이 방법은 속도 및 그 첫 번째 도함수의 유계성을 보장하기 위해 동적으로 정의된 제어 함수를 사용한다.
• 경계 조건에 피드백 항이 포함된 로빈형 경계 조건과 계수 함수 αi를 사용하여 초기 경계값 문제로 스킴을 확장한다.
• 해는 선형화된 방정식의 기본 해 Γkl을 통해 표현되며, 보정 항 δvρ,k,l,i는 커널 KΓ와 강제 항을 포함하는 적분 방정식을 통해 표현된다.
• 경계 보정 항은 정규 도함수와 피드백 계수를 조합한 커널 KΓ를 갖는 프레드홀름 유형 적분 방정식을 통해 해결된다.
• 경계 보정 함수 φi 및 φik는 리바 타입 급수 전개를 사용하여 표현되어 반복 계산을 통해 해를 구할 수 있다.

실험 결과

연구 질문

• RQ1 비압축성 나비에-스토크스 방정식의 고전적 해로의 전역 수렴을 보장하는 시간 이산화 스킴을 구성할 수 있는가?
• RQ2 압력 항에 비선형 제곱적 적분 항이 존재하는 상황에서 외부 힘이 없는 조건에서 속도 및 그 도함수의 성장을 어떻게 제어할 수 있는가?
• RQ3 비트리비얼 경계 조건을 가진 초기 경계값 문제로 스킴을 확장할 수 있는가?
• RQ4 이 방법을 컴act 리만 다성분에서의 나비에-스토크스 방정식에 적응시킬 수 있는가?
• RQ5 레일리 투영 형태는 구조적 분석 및 수치적 구현을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 제안된 시간 이산화 스킴은 공간 무한대에서 다항식 감쇠를 보이는 매끄러운 초기 자료에 대해 유계 전역 고전적 해로 수렴한다.
• 제어 함수는 시간에 걸쳐 속도 및 그 첫 번째 도함수의 균일한 유계성을 보장하기 위해 동적으로 정의된다.
• 기본 해와 적분 방정식을 통한 해 표현은 관련 분야의 기존 솔버를 활용한 구조적 계산을 가능하게 한다.
• 피드백 메커니즘을 포함한 로빈형 경계 조건을 통합하여 초기 경계값 문제로의 확장이 가능하다.
• 해당 스킴은 이후 논문에서 보여지듯이 컴act 다성분에서의 나비에-스토크스 방정식으로 공식적으로 확장 가능하다.
• 경계 보정 항은 적분 방정식 해의 수렴하는 리바 타입 급수 전개를 통해 계산된다.