하나의 난제, 세 번의 몰입
이야기에서 내 추측까지
난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.
나비에-스토크스 방정식 — 물의 흐름에 매끄러운 답이 있는가?
"우리는 비행기 날개를 설계할 때 이 방정식을 매일 쓴다 — 그러나 그 해가 항상 매끄럽게 존재하는지조차 모른다." 1822년 식, 200년 미해결.
몇 가지 배경 개념을 연결해야 문제의 진짜 벽이 보이기 시작해요.
시작 난이도는 문제를 이해하고 작은 사례를 탐험하는 기준입니다. 완전한 증명의 난이도와는 다릅니다.
5분 첫 시도로 내려가기클레이 수학 연구소 — 100만 달러 (밀레니엄 7대 문제)
이 난제, 그림으로
나비에–스토크스 존재성과 매끄러움: 3D 유체의 매끄러운 초기조건은 영원히 매끄럽게 흐르는가, 아니면 유한 시간에 특이점을 만드는가? 밀레니엄 7대 문제 중 하나다. 특이점 vs 매끄러운 해
문제의 진술
나비에-스토크스 방정식: ∂u/∂t + (u·∇)u = -∇p + ν∇²u + f. 매끄러운 초기 조건이 주어지면 3차원에서 매끄러운 해가 영원히 존재하는가, 아니면 유한 시간에 발산(특이점)하는가?*
이 난제의 이야기
1822년 클로드-루이 나비에가 유체(액체·기체)의 운동을 묘사하는 미분방정식을 정립. 조지 가브리엘 스토크스가 1845년에 보강. 모든 비행기·자동차·날씨 예측이 이 식을 매일 쓴다. 그러나 — 200년이 지난 지금도, 이 식이 항상 잘 행동하는지 모른다.
문제의 핵심: 어떤 부드러운 출발 조건에서 시작해 — 시간이 지나면 무한대로 발산하는 특이점이 생기지 않는가? 2D는 답이 예(1933년 르레가 증명). 3D는 모른다. 컴퓨터 시뮬레이션은 잘 돌아가지만, 수학적 보장이 없다 — 난류가 수치 오차로 조용히 발산했을 가능성도 있다.
테렌스 타오는 2016년 변형된 NS 방정식이 유한 시간에 발산함을 증명 — 진짜 NS도 그럴 수 있다는 불길한 신호. 클레이 100만 달러가 걸려있다. 만약 발산이 증명되면 우리가 비행기를 설계하는 방식 자체가 근본적으로 의심받는다. 만약 항상 매끄럽다고 증명되면 수학과 물리학의 가장 깊은 연결 중 하나가 봉인된다.
직접 시도해보기
직접 발산을 시각적으로 봐보자. 욕조 마개를 빼면 소용돌이가 생긴다. 소용돌이의 가운데는 속도가 매우 빠르다. 무한히 작은 영역에 무한히 큰 속도가 있을 수 있는가? — 그게 NS의 특이점 질문이다.
MathVoyage 너머로
불러오는 중…