New decay estimates and Liouville type theorems for the 3D axisymmetric stationary Navier-Stokes equations

우주 전체를 채우고 있는, 결코 멈추지 않고 영원히 흐르는 거대하고 보이지 않는 유체의 바다를 상상해 보십시오. 이것은 액체나 기체가 어떻게 움직이는지를 설명하는 수학적 규칙서인 나비에-스토크스 방정식의 세계입니다. 우리는 이 규칙들을 사용하여 날씨 패턴을 예측하거나 비행기를 설계하지만, 심연에는 거대하고 완고한 미스터리가 숨어 있습니다: 바로 "리우빌 문제(Liouville problem)"입니다. 이 문제는 단순하지만 무시무시한 질문을 던집니다. 만약 당신이 매끄럽게 흐르며 유한한 양의 에너지를 사용하는 유체를 가지고 있다면, 그 유체는 반드시 완전히 멈춰 있어야 할까요? 아니면 우리가 아직 파악하지 못한 어떤 거칠고 복잡한 행동을 하고 있는 것일까요? 수십 년 동안 수학자들은 가능한 유일한 답이 "정지"라는 것을 증명하기 위해 노력해 왔지만, 이 퍼즐의 3차원 버전은 여전히 미해결 상태로 남아 있습니다. 이는 마치 강물이 아무리 멀리 흘러가더라도 결국 물웅덩이로 마르게 될 것이라는 점을 증명하려는 것과 같지만, 강물은 계속해서 새로운 방식으로 뒤틀리고 회전하며 길을 찾아내는 것과 같습니다.

이 논문에서 저자 웬동 왕(Wendong Wang)과 궈슈 양(Guoxu Yang)은 이 거대한 퍼즐의 특정 단면, 즉 유체가 토네이도나 소용돌이처럼 완벽하게 대칭을 이루며 회전하는 기둥 모양으로 흐를 때 어떤 일이 발생하는지를 다룹니다. 그들이 이 미스터리 전체를 해결한 것은 아니지만, 이를 들여다보는 데 사용되는 도구를 더 날카롭게 다듬었습니다. 유체의 속도와 회전이 중심에서 멀어짐에 따라 얼마나 빨리 사라지는지를 측정하는 새로운 방법을 개발함으로써, 그들은 만약 유체가 충분히 빠르게 사라진다면, 그 유체는 정말로 완전히 멈춰 있어야 한다는 것을 보여줍니다. 그들은 유체의 "회전(spin)"이 특정 비율(약 $r^{-5/3}$에 아주 작은 로그 수정치가 더해진 값)로 감소한다면, 유체는 전혀 움직이지 못한다는 것을 증명했습니다. 이는 우주의 가장 복잡한 유체 흐름이 사실은 지루하고 텅 빈 공간일 뿐이라는 것을 증명하는 과정의 한 걸음입니다.

사라지는 소용돌이의 이야기

이 연구에서의 유체를 중심에서 위아래로 무한히 뻗어 있는 거대하고 보이지 않는 토네이도라고 생각해 보십시오. 저자들은 이 토네이도의 "속도"($u$)와 "회전" 또는 "와도(vorticity, $\omega$)"가 중심에서 점점 더 멀어질 때 어떻게 변하는지에 관심을 가집니다. 현실 세계에서 우리는 근원으로부터 멀어질수록 현상이 약해질 것이라고 기대합니다. 하지만 이 방정식들의 수학적 세계에서, 유체는 이론적으로 에너지 보존 법칙을 깨뜨리면서도 영원히 상당한 강도로 소용돌이치며 유지될 수도 있습니다.

이 논문의 주요 임무는 초정밀 자 역할을 하는 것입니다. 이전의 수학자들에게도 유체가 얼마나 빨리 사라지는지를 측정할 수 있는 자가 있었지만, 가장 완고한 사례들을 잡아내기에는 충분히 날카롭지 못했습니다. 왕과 양은 "회전 패킹(rotational packing)"이라는 기발한 트릭을 이용한 새로운, 더 날카로운 자를 발명했습니다. 회전하는 피자를 측정한다고 상상해 보십시오. 만약 아주 작은 조각 하나만 뜬다면, 중심부의 열기를 놓칠 수 있습니다. 하지만 피자가 회전하고 있다는 사실을 깨닫는다면, 원을 따라 여러 개의 작은 조각을 가져와 그 측정값들을 함께 쌓아 올릴 수 있습니다. 저자들은 이 아이디어를 사용하여 서로 다른 각도에서의 측정값들을 결합했고, 이를 통해 이전보다 훨씬 더 명확하게 유체의 거동을 관찰할 수 있었습니다.

새로운 붕괴 추정치
이 새로운 방법을 사용하여, 그들은 유체의 속도와 회전이 이전의 누구보다 훨씬 더 빠르게 사라져야 함을 증명했습니다. 구체적으로, 그들은 "회전" 성분($\omega_r$ 및 $\omega_z$)이 (여기서 $r$은 중심으로부터의 거리) 작은 로그 인수를 곱했을 때 대략 $r^{-9/8}$의 비율로 떨어져야 함을 보여주었습니다. 마찬가지로, 속도의 변화($\nabla u$)는 $r^{-5/4}$의 비율로 떨어져야 합니다. 이 숫자들은 암호처럼 보일 수 있지만, 유체가 얼마나 느리게 사라질 수 있는지에 대한 "속도 제한"이라고 생각하면 됩니다. 만약 유체가 이 제한보다 느리게 사라진다면, 수학적 체계가 무너집니다. 이러한 더 엄격한 제한치를 증명함으로써, 그들은 수학자들이 우려했던 많은 "이상한" 해답들의 문을 닫아버렸습니다.

"정지"의 증명
진정한 마법은 그들이 이 새로운 제한치들을 사용하여 큰 질문에 답할 때 일어납니다: 유체는 움직이고 있는가, 아니면 아닌가? 그들은 "정지"에 대한 새로운 규칙을 세웠습니다. 그들은 만약 유체의 속도가 $r^{-2/3}$(마찬가지로 로그 수정치 포함)보다 빠르게 사라지거나, 유체의 회전이 $r^{-5/3}$보다 빠르게 사라진다면, 그 유체는 반드시 완전히 멈춰 있어야 함을 증명했습니다. 즉, 멀리 나갈수록 유체가 충분히 조용해진다면, 그것은 애초에 움직이고 있었던 적이 없다는 뜻입니다.

이는 유체가 정지된 것으로 간주되기 위해 이전보다 더 빨리 사라져야 한다고 요구했던 기존의 규칙들에 비해 상당한 진전입니다. 저자들은 유체가 이전에 생각했던 것만큼 빠르게 사라질 필요는 없으며, 약간 더 느린 붕괴만으로도 유체가 실제로 '0'임을 증명하기에 충분하다는 것을 보여주었습니다. 그들은 최종 증명을 위해 유체가 완벽하게 대칭이라고 가정하지 않고도 이 결과를 도출해 냈기에, 그들의 결과는 매우 견고합니다.

그들이 하지 않은 것
이 논문이 하지 못한 일을 명시하는 것이 중요합니다. 이 논문은 모든 가능한 3차원 유체에 대해 리우빌 문제를 해결하는 것이 아닙니다. 오직 이러한 특정 비율로 사라지는 유체들에 대해서만 해결합니다. 만약 유체가 매우 느리게(즉, $r^{-2/3}$보다 느리게) 사라진다면, 그것이 반드시 정지 상태여야 하는지에 대한 질문은 여전히 열려 있습니다. 저자들은 컴퓨터로 유체를 시뮬레이션한 것이 아니라, 순수한 수학적 논리를 사용하여 유체가 특정 방식으로 행동한다면 반드시 0이 될 수밖에 없음을 증명했습니다. 그들은 새로운 종류의 유체를 찾아낸 것이 아니라, 우리가 걱정했던 그 "거친" 유체들이 이러한 특정 붕괴 규칙을 따른다면 존재할 수 없음을 증명한 것입니다.

결국, 왕과 양은 미스터리 주변의 그물을 더 촘촘하게 만들었습니다. 그들이 아직 그 포착하기 어려운 "움직이는 유체"를 잡은 것은 아니지만, 만약 유체가 천천히 사라짐으로써 숨으려 한다면 그것은 통하지 않을 것임을 보여주었습니다. 만약 유체가 조금이라도 사라진다면, 그것은 아마도 실제로 존재하지 않았던 흐름의 유령일 가능성이 높습니다.