리서치 도구
나비에-스토크스와 오일러 방정식의 유한 시간 붕괴 증명
openai/NavierStokesAndEuler
GitHub오픈AI가 유체역학의 핵심 방정식인 나비에-스토크스와 오일러 방정식의 해가 특정 조건 하에서 유한 시간 내에 붕괴할 수 있음을 수학적으로 증명했습니다.
세 줄 요약
- 나비에-스토크스 방정식은 $\mathbb{R}^3$와 주기적 토러스 모두에서 전역적인 매끄러운 해가 존재하지 않음을 보였고, 오일러 방정식 역시 유한 시간 내 특이점 발생을 입증했습니다.
- 이는 물리학의 근간인 유체역학 난제(밀레니엄 문제)에 대한 깊은 이해를 제공하며, 수학적 이론 발전에 중요한 학문적 진전을 의미합니다.
- 이번 증명은 형식 검증 시스템인 Lean 4를 활용하여 높은 수준의 수학적 엄밀성을 확보했으며, 특정 초기 조건과 힘(forcing)이 주어졌을 때의 해동 과정에 초점을 맞췄습니다.
본 저장소는 오픈AI가 발표한 나비에-스토크스 및 오일러 방정식의 '유한 시간 붕괴(Finite time blowup)' 결과를 Lean 4로 형식화한 내용을 담고 있습니다. 이 연구에서는 모든 양의 점성 계수에 대해 두 가지 주요 결과를 증명했습니다.
이 결과들은 전역적인 매끄러운 해가 존재하지 않음을 보여줍니다. 구체적으로, 전체 공간 $\mathbb{R}^3$와 주기적 토러스 $\mathbb{R}^3/\mathbb{Z}^3$ 모두에서, 글로벌한 매끄러운 해가 존재하지 않는 초기 데이터 및 힘(forcing)이 존재하는 것으로 증명되었습니다.
또한, 강제력이 없는 비압축성 오일러 방정식에 대해서도 특정한 구성이 이루어졌습니다. $\mathbb{R}^3$ 상의 부드럽고 컴팩트하게 지지되는 발산-자유 초기 속도를 가진 해가 유한 시간 내에 특이점(singularity)을 발생시키며, 이로 인해 속도의 $C^1$ 노름이 해당 시간에 가까워질수록 무한대로 커지는 것이 입증되었습니다.