테런스 타오, 에너지 항등식을 보존하는 3차원 평균 나비에-스토크스 변형식의 유한시간 폭주 구성
- 테런스 타오는 3차원에서 에너지 항등식을 보존하는 평균화 나비에-스토크스 방정식의 강한 해가 유한시간 폭주함을 보이는 논문을 arXiv에 올리고 JAMS에 투고함
- 원래 비선형항과 거의 같은 함수공간 상계와 $L^2$ 에너지 항등식을 만족하도록 비선형항을 수정했지만, 그 수정 방정식에서는 유한시간 폭주 해를 구성함
- 이 결과는 에너지 항등식과 비선형항의 추상적 함수공간 추정만으로는 실제 3차원 나비에-스토크스 방정식의 전역 정칙성을 증명할 수 없다는 초임계 장벽을 정식화함
- 앞선 폭주 결과는 에너지 항등식이 없는 변형식 또는 5차원 이상 에너지 보존 다이애딕 모형에 있었고, 타오는 이를 에너지 항등식을 지키는 3차원 나비에-스토크스형 방정식의 첫 사례로 설명함
- 타오는 증명 방법이 실제 3차원 나비에-스토크스에서도 매우 작은 초기 데이터 집합에 대해 폭주를 보일 경로를 암시한다고 썼지만, 실제 방정식의 폭주를 증명한 것은 아님
Hacker News opinions
제목에 [2014]를 붙여야 함. 처음엔 테런스 타오가 앤트로픽보다 먼저 뭔가를 풀었다는 새 글인 줄 알았음.
이 글이 지금 도는 건 앤트로픽이 나비에-스토크스 밀레니엄 문제를 풀었다는 트위터 소문 때문인 듯함. 내가 본 원문은 그냥 누군가 미래를 예측한 글뿐이고, 정보가 있는 주장은 전혀 아니었음.
그런 문제가 정말 풀리면 실제로 뭐가 달라지는지 궁금함.
좌표 없는 표현이나 미분형식 표기는 모델을 적을 때 기하와 대칭을 드러내기에 좋음. 하지만 해의 성질을 연구할 땐 해가 대칭을 깨기도 하고, 나비에-스토크스 추측을 깨려면 나쁜 특수해 하나면 충분해서 덜 쓰이는 편임.
나비에-스토크스에서 나오는 동역학이 아인슈타인 방정식 해 공간의 아주 작은 부분에서 나온다는 말은 흥미롭지만, 그 연결을 좀 더 설명해줬으면 함.
나비에-스토크스 방정식 자체가 무엇인지 알고 싶으면 Quanta Magazine의 유체 이론 소개 글을 보는 게 좋음.