[논문 리뷰] Strong Time-Periodic Solutions to the 3D Primitive Equations subject to Arbitrary Large Forces

Giovanni P. Galdi, Matthias Hieber외 1명|arXiv (Cornell University)|2015. 09. 09.

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

한 줄 요약

이 논문은 크기가 크지 않은 조건 없이도 3차원 원시 방정식에 대해 임의의 큰 시간 주기적 외력에 대해 강한 시간 주기적 해의 존재성을 확립한다. 갈레르킨 근사와 브라우어 고정점 정리로 약한 시간 주기적 해를 구성한 후, 약-강 유일성 원리를 증명함으로써, 이 약한 해가 강한 정규성을 갖는다는 것을 보여주어, 외력의 크기에 관계없이 강한 해를 도출한다. 이는 외력이 시간에 따라 일정할 경우 정상 상태 해로도 해석될 수 있다.

ABSTRACT

We show that the three-dimensional primitive equations admit a strong time-periodic solution of period $T>0$, provided the forcing term $f\in L^2(0,\mathcal T; L^2(Ω))$ is a time-periodic function of the same period. No restriction on the magnitude of $f$ is assumed. As a corollary, if, in particular, $f$ is time-independent, the corresponding solution is steady-state.

연구 동기 및 목표

• 임의의 큰 주기적 외력에 대해 3차원 원시 방정식에 대한 강한 시간 주기적 해의 존재성을 확립하는 것.
• 이전 결과에서 외력에 대해 작은 조건이 필요로 했던 제한을 극복하는 것.
• 원시 방정식에 대한 고전적 레일리 유형의 정상 상태 해 존재 결과를 나비에-스토크스 경우와 유사하게 확장하는 것.
• 약한 해와 유일성 원리를 기반으로 한 새로운 접근을 통해, 외력의 크기가 크더라도 시간 주기적 해가 존재함을 보이는 것.

제안 방법

• 갈레르킨 방법과 브라우어 고정점 정리를 조합하여 약한 시간 주기적 해를 구성하는 것.
• 약한 해의 시간 주기성을 이용해 시간 $ t_0 $ 에서의 초기 자료를 식별하며, 이 자료는 $ H^1( abla) $ 에 속한다.
• 초기값 문제에 대한 전역 강한 잘 정비된 문제 결과(보조정리 4.1)를 적용하여 초기 자료 $ v(t_0) $ 에서 유일한 강한 해를 생성하는 것.
• 에너지 추정과 프리드리히스의 방법을 이용한 시간 미세화를 통해 약한 해 $ v $ 와 강한 해 $ u $ 를 비교함으로써 약-강 유일성을 증명하는 것.
• 부분 적분과 푸앵카레/양 부등식을 적용하여 차이 $ \rho = v - u $ 를 유계화하고, 그로 인해 그론발 유형의 추정을 도출하는 것.
• 결국 $ v \to u $ 거의 확실히 공간-시간 영역에서 성립하므로, $ v $ 는 강한 정규성을 갖게 되고, 따라서 강한 해임을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 임의의 큰 주기적 외력에 대해 3차원 원시 방정식에 강한 시간 주기적 해가 존재할 수 있는가?
• RQ2 외력에 대해 작은 조건이 없을 경우 강한 시간 주기적 해의 존재가 방해받는가?
• RQ3 약-강 유일성 원리가 시간 주기적 약한 해에 적용되어 정규성을 향상시킬 수 있는가?
• RQ4 원시 방정식에 대해 정상 상태 해 존재 결과를 나비에-스토크스의 레일리 결과와 유사하게 임의의 외력 크기로 확장할 수 있는가?

주요 결과

• 모든 시간 주기적 외력 $ f \neq 0 $ 가 $ L^2(0, \tau; L^2\left(\nabla\right)) $ 에 속할 경우, 3차원 원시 방정식은 외력의 크기에 관계없이 강한 시간 주기적 해를 갖는다.
• 해는 약한 시간 주기적 해를 구성한 후, 약-강 유일성을 통해 강한 해로 증명된다.
• 이전의 Tachim Medjo 및 Hsia-Shiue의 연구들과 달리, 외력에 대해 작은 조건이 필요로 하지 않는다.
• 외력 $ f $ 가 시간에 따라 일정할 경우, 시간 주기적 해는 정상 상태 해로 축소되며, 이는 임의의 큰 외력에 대해서도 존재함을 증명한다.
• 증명은 시간 미세화, 에너지 추정, 그론발의 보조정리를 활용하여 약한 해가 강한 해와 일치함을 보인다.
• 이 결과는 고전적인 나비에-스토크스 프레임워크를 원시 방정식으로 확장하여, 임의의 외력 크기에 대해 존재성을 확보한 중요한 발전이다.