[논문 리뷰] Distribution of Energy and Convergence to Equilibria in Extended Dissipative Systems

Thierry Gallay, Siniša Slijepčević|arXiv (Cornell University)|2012. 12. 07.

Stability and Controllability of Differential Equations참고 문헌 16인용 수 5

한 줄 요약

이 논문은 국소적 에너지 소산 법칙 $\partial_t e = \mathrm{div}_x f - d$ 를 따르는 확장된 소산 시스템에서 시간 적분된 에너지 유량에 대한 일반적인 상한을 설정한다. 여기서 $|f|^2 \leq b(e)d$이다. $N \leq 2$ 인 경우, 상대적으로 컴act인 궤도가 평균적으로 평형 상태 집합으로 수렴함을 증명하며, 이는 $\mathbb{R} \times \mathbb{T}$ 에서의 라우드-니비에르-스톡스 방정식에 적용되어 시간을 평균화할 경우 큰 부분도메인에서 비틀림이 균일하게 0으로 수렴함을 보여준다.

ABSTRACT

We are interested in understanding the dynamics of dissipative partial differential equations on unbounded spatial domains. We consider systems for which the energy density $e \ge 0$ satisfies an evolution law of the form $\partial_t e = div_x f - d$, where $-f$ is the energy flux and $d \ge 0$ the energy dissipation rate. We also suppose that $|f|^2 \le b(e)d$ for some nonnegative function $b$. Under these assumptions we establish simple and universal bounds on the time-integrated energy flux, which in turn allow us to estimate the amount of energy that is dissipated in a given domain over a long interval of time. In low space dimensions $N \le 2$, we deduce that any relatively compact trajectory converges on average to the set of equilibria, in a sense that we quantify precisely. As an application, we consider the incompressible Navier-Stokes equation in the infinite cylinder $\R imes \T$, and for solutions that are merely bounded we prove that the vorticity converges uniformly to zero on large subdomains, if we disregard a small subset of the time interval.

연구 동기 및 목표

• 비유계 영역에서 총 에너지가 보존되지 않는 소산 PDE의 장기 역학을 이해하기 위해.
• 전역 리아푸노프 함수가 존재하지 않는 상황에서도 해가 평형 상태로 수렴할 조건을 규명하기 위해.
• 이전의 반응-확산 및 감쇠 파동 방정식 결과를 국소적 에너지 소산을 갖는 광범위한 계열의 시스템으로 일반화하기 위해.
• 콤���트 공간 영역에서 시간 평균 행동을 기반으로 평형 상태로의 수렴을 정량화하기 위해.
• 비압축성 라우드-니비에르-스톡스 방정식을 $\mathbb{R} \times \mathbb{T}$ 에 적용하여 시간 평균화 시에 큰 부분도메인에서 균일하게 비틀림 감쇠가 일어남을 증명하기 위해.

제안 방법

• 에너지 균형을 $\partial_t e = \mathrm{div}_x f - d$ 를 통해 수식화하며, 여기서 $e \geq 0$, $f$ 는 에너지 유량, $d \geq 0$ 은 소산률이다.
• 일반화된 고전적 형태인 $|f|^2 \leq C e d$ 를 넘어서, 비음수 함수 $b$ 를 사용해 $|f|^2 \leq b(e)d$ 라는 구조적 조건을 도입한다.
• 공간 영역에서 시간 적분된 에너지 유량에 대한 일반적이고 모델에 종속되지 않는 상한을 도출한다.
• 이 상한을 이용해 장기간 동안의 에너지 소산과 콤팩트 공간 영역에서의 소산을 추정한다.
• 특히 에너지 유량의 반경 방향 프로파일에 대해 상미분방정식 비교 기법을 사용해 해의 渐近 행동을 분석한다.
• 핵심 상미분방정식 $h' = 2h^2 - \frac{N-1}{r}h + \frac{N-1}{r^2}$ 의 유일성 및 임계 행동을 규명하며, 수정형 베셀 함수와 연결한다.

실험 결과

연구 질문

• RQ1 비유계 영역에서의 소산 시스템이 총 에너지가 보존되지 않더라도 평형 상태로 수렴하는 조건은 무엇인가?
• RQ2 전역 에너지 감쇠에 의존하지 않고도 확장된 소산 시스템에서 시간 적분된 에너지 유량을 어떻게 상한으로 제한할 수 있는가?
• RQ3 공간 차원 $N$ 이 이러한 시스템의 장기 역학에 미치는 영향은 무엇이며, 특히 $N \leq 2$ 와 $N > 2$ 를 구분하는 데서 어떤 역할을 하는가?
• RQ4 비압축성 라우드-니비에르-스톡스 방정식에 대해 이 추상적 프레임워크를 적용하여 비틀림이 0으로 수렴함을 도출할 수 있는가?
• RQ5 반경 대칭에서 에너지 유량 프로파일의 정확한 渐近 행동은 무엇이며, 이는 전역 해 성질을 어떻게 결정하는가?

주요 결과

• $N \leq 2$ 인 경우, 상대적으로 컴팩트한 궤도는 콤팩트 공간 집합에서 균일하게 평균적으로 평형 상태 집합으로 수렴하며, 이 수렴은 수렴 속도가 균일하게 보장된다.
• $|f|^2 \leq b(e)d$ 조건 하에서 시간 적분된 에너지 유량은 특정 시스템에 관계없이 항상 일반적인 상한을 갖는다.
• $N=2$ 인 경우, 반경 방향 에너지 유량 프로파일 $h_N(r)$ 는 $r \to 0^+$ 일 때 $h_2(r) \sim r \log(1/r)$ 를 만족하며, 명시적인 로그 보정 항이 존재한다.
• 상미분방정식 $h' = 2h^2 - \frac{N-1}{r}h + \frac{N-1}{r^2}$ 의 유일한 양수 해는 $h_N(r) = \frac{K_{N/2}(r)}{K_{N/2 - 1}(r)}$ 로 주어지며, 이는 유량과 수정형 베셀 함수를 연결한다.
• $h_N$ 보다 위 또는 아래에서 시작하는 상미분방정식의 해는 유한한 $r$ 에서 폭발하거나 부호를 바꾸며, 양수 전역 해의 유일성을 증명한다.
• 비압축성 라우드-니비에르-스톡스 방정식의 경우 $\mathbb{R} \times \mathbb{T}$ 에서 유계 해는 시간 평균화 시에 큰 부분도메인에서 $\|\omega(t)\|_{L^\infty} \to 0$ 으로 수렴하며, 점별 수렴이 실패하더라도 여전히 균일하게 성립한다.