수학자들이 90년간 나비에스토크스 정칙성 문제에 도전하며 다양한 증명 전략을 체계적으로 분석했다

Context

나비에스토크스 존재성과 매끄러움 문제는 1930년대 이후 90년간 해결되지 않은 채 남아 있다. 전체 3D 문제의 증명은 완전히 열려있다. 수학자들은 에너지 추정, , 확률론적 기법, 볼록 적분, 전산학적 접근 등 다양한 전략을 시도했다.

Technical Solution

• Leray가 1934년 전역 약한 해의 존재성을 증명했다. 임의의 합리적인 초기 조건에서 무언가가 영원히 지속된다.
• Caffarelli, Kohn, Nirenberg가 1982년 가능성 있는 특이점 집합의 크기가 0임을 증명했다. 폭발이 일어나더라도 극히 드물다.
• Beale, Kato, Majda가 1984년 매끄러운 해의 붕괴 조건을 와도전도(w vorticity)의 폭발과 연결했다.
• Tao가 2016년 평균화된 나비에스토크스 방정식에 대한 폭발을 구성했다. 에너지 추정만으로는 부족하다.
• Albritton, Brué, Colombo가 2022년 외력이 있는 경우 Leray-Hopf 약 해가 유일하지 않음을 보였다.

Impact

1. 여러 증명 전략이 체계적으로 제거됨
2. 특수한 하위 케이스에서 실제 진전이 있음
3. 조건부 기준이 이해됨

Key Takeaway

90년간의 실패한 시도에서 얻은 집적된 그림은 단순한 미해결이라는 레이블보다 훨씬 풍부하다. 와도전도norm을 강력하게 제어하면 매끄러운 해의 붕괴를 방지할 수 있다.