On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

Each language version is independently generated for its own context, not a direct translation.

🌊 1. 배경: "예측 불가능한 물결" (나비에-스톡스 방정식)

우리가 물이나 공기의 흐름을 예측할 때 사용하는 공식이 나비에-스톡스 방정식입니다. 수학자들은 오랫동안 **"초기 조건 (시작 상태) 이 같다면, 그 이후의 흐름은 오직 하나뿐일까?"**라고 의심해 왔습니다.

비유: 마치 공을 똑같은 힘으로 똑같은 각도로 던졌을 때, 공이 떨어지는 궤적이 항상 똑같아야 한다는 생각입니다.
기존의 믿음: "흐름이 너무 거칠거나 (불규칙하거나) 복잡하면, 같은 시작점에서 두 가지 다른 흐름이 나올 수도 있지 않을까?"라는 의문이 있었습니다. 하지만 이를 증명하는 것은 매우 어려웠습니다.

🧱 2. 연구의 핵심: "convex integration (볼록적분)"이라는 새로운 도구

저자들은 이 문제를 해결하기 위해 **'볼록적분 (Convex Integration)'**이라는 아주 정교한 공학적 도구를 사용했습니다.

비유: imagine you are building a tower with blocks. 보통은 블록을 하나씩 쌓아 올립니다. 하지만 이 방법은 블록을 쌓으면서, **보이지 않는 미세한 진동 (떨림)**을 계속 추가하는 방식입니다.
작동 원리: 처음에는 아주 작은 진동 (오차) 을 넣다가, 그 진동을 더 빠르게, 더 작게, 더 정교하게 반복해서 쌓아 올립니다. 이 과정을 무한히 반복하면, 겉보기에는 평온해 보이지만, 속으로는 완전히 다른 두 가지 흐름이 공존할 수 있게 됩니다.

🌪️ 3. 주요 발견 1: "초기 상태가 같아도, 결과는 두 가지!" (비유일성)

이 논문은 **"매우 거칠고 불규칙한 상태 (부정규성 지수가 음수인 공간)"**에서 나비에-스톡스 방정식의 해가 유일하지 않다는 것을 증명했습니다.

일상적 비유:
- 상황: 두 명의 요리사가 똑같은 재료 (초기 데이터) 로 똑같은 요리를 시작합니다.
- 기존 생각: 두 요리사의 요리가 결국 똑같은 맛이 날 것이라고 믿었습니다.
- 이 논문의 결론: 하지만 만약 재료가 아주 미세하게 부서져 있고 (불규칙한 상태), 요리사가 아주 미세한 요령 (볼록적분) 을 사용한다면, 두 요리사는 완전히 다른 맛의 요리를 만들어낼 수 있다는 것입니다.
- 의미: 수학적으로 "초기 조건이 같으면 결과가 하나뿐이다"라는 믿음이, 특정 조건에서는 깨질 수 있음을 처음 보여준 것입니다.

🏗️ 4. 주요 발견 2: "정지해 있는 폭풍" (정적 특이 해)

저자들은 흐르지 않는 것처럼 보이는 **정지된 상태 (Stationary)**에서도 이런 '두 가지 다른 흐름'이 존재할 수 있음을 발견했습니다.

비유: 폭포가 멈춰 있는 것처럼 보이지만, 사실은 그 안에서 보이지 않는 거대한 소용돌이가 두 가지 다른 방식으로 회전하고 있는 상태입니다.
특이점 (Singular): 이 흐름은 에너지가 무한대이거나, 물리적으로 존재하기 힘든 '특이한' 상태입니다. 하지만 수학적으로는 완벽하게 성립하는 해입니다.
중요성: 이 '정지된 특이 해'를 만들어내는 방법을 발견함으로써, 시간의 흐름에 따른 '미해 (Mild solution)'의 비유일성을 증명할 수 있었습니다.

🧩 5. 왜 이것이 중요한가?

수학적 패러다임의 변화: 그동안 "거친 상태에서는 해가 유일하지 않을 수도 있다"는 것은 추측에 불과했습니다. 이 논문은 이를 구체적으로 증명하여 수학의 지평을 넓혔습니다.
예측의 한계: 우리가 날씨나 해류, 혈류 등을 수학적으로 완벽하게 예측하는 데는 근본적인 한계가 있을 수 있음을 시사합니다. 아주 미세한 불규칙성만 있어도, 미래는 두 가지 다른 길로 갈 수 있습니다.
새로운 방법론: '볼록적분'이라는 도구를 사용하여, 이전에는 상상조차 못 했던 복잡한 공간 (베소프 공간 등) 에서도 이런 현상이 일어난다는 것을 보였습니다.

📝 요약

이 논문은 **"매우 복잡하고 거친 상태의 유체 흐름을 다룰 때, 시작점이 똑같아도 결국 두 가지 완전히 다른 흐름이 나올 수 있다"**는 것을 수학적으로 증명했습니다.

마치 같은 점토로 두 개의 완전히 다른 조각상을 만드는 것처럼, 수학자들은 이제 "유체의 흐름은 항상 예측 가능한 하나의 길만 있는 것이 아니라, 숨겨진 무한한 가능성 (비유일성) 을 가지고 있다"는 사실을 알게 되었습니다. 이는 유체 역학과 수학의 새로운 장을 여는 중요한 발견입니다.

Each language version is independently generated for its own context, not a direct translation.

1. 연구 배경 및 문제 제기 (Problem)

나비에 - 스토크스 방정식 (NSE) 의 해의 존재성과 유일성은 유체 역학 및 편미분방정식 이론에서 가장 중요한 미해결 문제 중 하나입니다. 특히, 초기 데이터가 주어졌을 때 해가 **무조건적으로 유일 (Unconditionally Unique)**한지 여부는 오랫동안 연구되어 왔습니다.

기존 결과:
- Fujita-Kato, Kato 등은 임계 (critical) 공간 (예: $\dot{H}^{d/2-1}, L^d$ ) 에서 국소적 잘 정의됨 (local well-posedness) 을 증명했습니다.
- Fabes, Jones, Rivi`ere 등은 아임계 (subcritical) 공간 $L^p$ ( $d < p < \infty$ ) 에서 무조건적 유일성이 성립함을 보였습니다.
- 최근 Buckmaster 와 Vicol (2019) 은 초임계 (supercritical) 공간 $H^\beta$ 에서 볼록 적분 (convex integration) 기법을 통해 무조건적 유일성이 실패함을 증명했습니다.
연구의 공백 (Gap):
- **음의 정칙성 지수 (Negative Regularity Index)**를 가진 베소프 공간 (Besov spaces, 예: $B^{-\theta}_{q,r}$ , $\theta > 0$ ) 에서는 무조건적 유일성이 성립하는지, 혹은 실패하는지에 대한 명확한 결과가 부족했습니다.
- 특히, 아임계 (subcritical) 영역에 속하면서도 정칙성이 음수인 공간에서의 비단일성 (non-uniqueness) 은 이전에 증명된 바가 없었습니다.
- 또한, 분수 차수 라플라시안을 가진 **분수 나비에 - 스토크스 방정식 (Fractional NSE)**에 대한 이러한 현상의 보편성도 확인되지 않았습니다.

이 논문은 음의 정칙성 지수를 가진 모든 베소프 공간에서 나비에 - 스토크스 방정식의 미드 해 (mild solution) 의 무조건적 유일성이 실패함을 증명하고, 이를 위해 **비자명한 정상 특이 해 (non-trivial stationary singular solutions)**를 구성하는 것을 목표로 합니다.

2. 방법론 (Methodology)

이 연구의 핵심 방법론은 볼록 적분 (Convex Integration) 기법을 사용하여 **정상 특이 해 (Stationary Singular Solutions)**를 구성하는 것입니다.

정상 특이 해의 정의:
- 에너지가 무한대이거나 $L^2$ 적분 가능하지 않은 해를 의미합니다.
- 텐서 곱 $u \otimes u$ 가 $L^1$ 에 속하지 않을 수 있으므로, 이를 분포 공간 (distributions) 에서 **파라프롭덕트 (paraproduct)**로 정의합니다.
- 해 $u$ 가 $L^2$ 가 아니더라도, 파라프롭덕트 구조 하에서 나비에 - 스토크스 방정식을 만족하는 '특이 해'를 정의합니다.
볼록 적분 반복 절차 (Iterative Procedure):
- 레이놀즈 응력 (Reynolds Stress) 시스템: 나비에 - 스토크스 - 레이놀즈 시스템 (4.1) 을 고려합니다.
  $\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = \text{div} R$
- Mikado Flow (미카도 흐름): Daneri 와 Székelyhidi 가 도입한 기하학적 보조정리와 Mikado 흐름 ( $W_k$ ) 을 기본 블록으로 사용합니다. 이는 특정 주파수 대역에 국소화된 유동 구조를 제공합니다.
- 오차 보정 (Correctors):
  - 주요 부분 (Principal part, $w^{(p)}$ ): Mikado 흐름을 진동 파라미터 ( $\gamma, \sigma_k$ ) 와 진폭 함수 ( $a_k$ ) 를 통해 구성합니다.
  - 국소화 보정 (Localization corrector, $w^{(l)}$ ): 주파수 스펙트럼을 특정 쉘 (dyadic shell) 로 제한하기 위해 사용됩니다.
  - 발산 없는 보정 (Divergence-free corrector, $w^{(d)}$ ): 전체 섭동 $w$ 가 발산이 0 이 되도록 조정합니다.
- 반복 구성: 초기 해 $(u_0, R_0)$ 에서 시작하여, 각 단계에서 레이놀즈 응력 $R_n$ 의 노름을 줄이면서 새로운 해 $(u_{n+1}, R_{n+1})$ 을 구성합니다. 이 과정에서 섭동 $w_n$ 의 주파수 대역이 이전 해와 겹치지 않도록 (Fourier support separation) 설계하여 수렴성을 보장합니다.
분수 라플라시안 적용:
- 표준 NSE ( $\alpha=1$ ) 뿐만 아니라, 임의의 $\alpha > 0$ 에 대한 분수 NSE ( $NSE_\alpha$ ) 에 대해 동일한 기법을 적용하여 결과를 일반화합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1. 무조건적 유일성의 실패 (Failure of Unconditional Uniqueness)

정리 1.1: $d \ge 2$ $d \geq 2$ 이고 $\theta > 0$ $θ > 0$ 인 모든 베소프 공간 $B^{-\theta}_{q,r}$ $B_{q, r}^{- θ}$ 에서 나비에 - 스토크스 방정식의 무조건적 유일성이 실패합니다.
- 임의의 $\epsilon > 0$ 에 대해, 노름이 $\epsilon$ 보다 작은 초기 데이터 $u_{in}$ 이 존재하며, 이 초기 데이터로부터 두 개의 서로 다른 미드 해 $u, v$ 가 존재합니다 ( $u(t) \neq v(t)$ for $t > 0$ ).
- 이는 아임계 (subcritical) 공간에서도 비단일성이 발생함을 의미하며, 기존에 알려진 결과 중 가장 낮은 정칙성 지수 영역까지 확장된 첫 번째 결과입니다.

3.2. 분수 나비에 - 스토크스 방정식 (Fractional NSE)

정리 1.2: $\alpha > 1/2$ $α > 1/2$ 인 분수 NSE 에 대해서도 동일한 비단일성 결과가 성립합니다.
- 특히 $\alpha > (d+2)/4$ 인 경우, $L^p$ ($1 \le p < 2$) 공간에서도 비단일성이 발생합니다.
- 이는 $\alpha$ 가 커질수록 (점성이 강해질수록) 도 불구하고, 충분히 낮은 정칙성 공간에서는 해의 비단일성이 여전히 존재함을 보여줍니다.

3.3. 비자명한 정상 특이 해의 존재 (Existence of Non-trivial Stationary Singular Solutions)

정리 1.5: 임의의 $\alpha > 0$ $α > 0$ 에 대해, 비자명한 정상 특이 해가 무한히 많이 존재합니다.
- 이 해들은 모든 $L^p$ ($1 \le p < 2 $) 공간과 모든 음의 정칙성 베소프 공간$ B^{-\theta}_{q,r}$에 속합니다.
- $\alpha < (d+1)/4$ 인 경우, $L^2$ 공간 내에서도 비단일성이 성립합니다 (Corollary 1.6).

3.4. 임계 공간에서의 유일성 (Uniqueness in Endpoint Critical Spaces)

정리 1.7: 특정 임계 공간 (endpoint critical spaces) 에서는 비자명한 정상 해가 존재하지 않습니다.
- 예를 들어, $B^{-1}_{\infty, 1}$ 공간과 $L^2$ 의 교집합에서는 해가 유일하게 0 이어야 합니다.
- 이는 비단일성이 발생하는 공간과 발생하지 않는 공간의 경계를 명확히 구분합니다.

4. 의의 및 중요성 (Significance)

해의 유일성 경계 재정의:
- 기존에 "아임계 공간에서는 해가 유일하다"는 통념을 깨뜨렸습니다. 정칙성 지수가 음수인 경우, 공간이 아임계라 하더라도 해의 비단일성이 발생할 수 있음을 증명했습니다.
- 이는 나비에 - 스토크스 방정식의 해의 안정성과 물리적 의미에 대한 이해를 근본적으로 바꿀 수 있는 결과입니다.
볼록 적분 기법의 확장:
- 볼록 적분 기법이 초임계 공간뿐만 아니라, 음의 정칙성을 가진 아임계 공간에서도 적용 가능함을 보였습니다.
- 분수 라플라시안 ( $\alpha$ ) 에 대한 일반적인 적용을 통해, 다양한 점성 모델에서도 비단일성 현상이 보편적임을 시사합니다.
정상 특이 해의 역할:
- 시간 의존적인 미드 해의 비단일성을 정상 (stationary) 특이 해의 존재로 귀결시켰습니다. 이는 비단일성 문제를 공간적 구조 (정상 해) 로 환원하여 분석하는 강력한 전략을 제시합니다.
- Lemarié-Rieusset 등의 기존 연구 (2D, $H^{-1}$ 등) 를 고차원 및 더 넓은 공간으로 확장했습니다.
수학적 엄밀성:
- 파라프롭덕트 (paraproduct) 이론을 정교하게 활용하여, $L^1$ 에 속하지 않는 텐서 곱을 엄밀하게 정의하고 처리함으로써, 수학적 엄밀성을 유지하면서 비선형 항을 다룰 수 있음을 보였습니다.

요약

이 논문은 나비에 - 스토크스 방정식의 해가 초기 데이터가 매우 작고 정칙성이 낮은 (음수) 공간에 있더라도, 그 해가 유일하지 않을 수 있음을 증명했습니다. 볼록 적분 기법을 통해 비자명한 정상 특이 해를 구성함으로써, 아임계 공간에서의 무조건적 유일성 실패를 입증했으며, 이는 유체 역학 및 편미분방정식 이론에서 해의 존재성과 유일성에 대한 이해를 한 단계 도약시킨 획기적인 연구입니다.