|
클레이수학연구소가 제시한 7개의 난제 중에서도 비압축성 나비어-스톡스 방정식의 정칙성과 특이점 형성에 대한 문제는 상대적으로 널리 알려져 있는 것 같습니다. 나비어-스톡스 방정식은 대기의 흐름을 기술하는 근본적인 방정식이며, 이 방정식의 특이점 형성 여부는 순수 수학적으로도 매우 도전적일 뿐 아니라 기상 현상의 예측 가능성과도 관련되어 중요한 문제입니다. 최근에 이르러 컴퓨터 연산 능력의 비약적인 상승과 함께 편미분 방정식 이론의 발전으로 나비어-스톡스 방정식의 특이점 형성의 증명에 이르는 로드맵이 여러 연구자에 의하여 제시되고 있고, 이러한 내용은 퀀타 매거진에 의해서도 몇 차례 소개된 바 있습니다 . 이 글에서는 미분방정식에서 특이점의 의미와 함께, 어떻게 컴퓨터를 이용한 계산이 특이점 형성의 증명, 특히 이 나비어-스톡스 방정식에 관한 7대 난제의 해결에 기여할 수 있는 지에 관하여 이야기해보려고 합니다.
|
