Pure-swirl loss of boundedness under $L^1_tL^2_x$ forcing: exact mixed-norm ranges

기술적 요약: $L^1_t L^2_x$ 강제력 하에서의 순수 소용돌이 유계성 상실

문제 정의
본 논문은 3차원 원기둥 $D = B_2(0, 1) \times (0, 1)$ 내에서 강제된 비압축성 나비에-스토크스 방정식의 해의 정칙성(regularity) 및 유계성 특성을 다룬다. 구체적으로, 외부 힘 $f$가 특정 혼합 노름 공간, 특히 에너지 클래스 공간인 $L^1(0, T; L^2(D))$에 속할 때, 고전적 해가 유한한 시간 $T$에서 $L^\infty$ 유계성을 상실(폭발)할 수 있는지 여부를 조사한다. 이 구성은 비선형 증폭의 효과를 배제하고 외부 강제의 효과만을 분리하는 것을 목표로 하는데, 이는 사용된 안사츠(ansatz)에서 대류항이 압력에 의해 흡수되기 때문이다.

방법론
저자들은 속도장이 순수하게 방위각 방향인 $v(x, t) = W(r, t)e_\theta$ 형태를 갖는 "순수 소용돌이(pure-swirl)" 해를 구성한다. 이 구성에서는 비선형 대류항 $(v \cdot \nabla)v$의 방위각 성분이 존재하지 않으며, 그 반경 방향 성분은 압력 구배에 의해 정확히 상쇄된다. 결과적으로, 방위각 성분 $W(r, t)$는 방위각 성분의 힘 $F(r, t)$에 의해 구동되는 스칼라 포물선 방정식을 만족한다:
$$\partial_t W - \left(\partial_r^2 + \frac{1}{r}\partial_r - \frac{1}{r^2}\right)W = F.$$
이 구성은 **환형 상쇄(annular cancellation)**를 도입함으로써 Zhang [23]의 이전 프로파일을 개선한다. 저자들은 환형 영역 $(a, b)$ 상의 매끄러운 컴팩트 지지 함수 $A(\rho)$를 기반으로 프로파일 $\phi_0(\rho)$를 정의한다. 이 특정한 선택은 프로파일이 대칭축($r=0$) 근처에서 소멸하고, 지지 영역의 외곽에서는 $1/r$처럼 거동하도록 보장한다. 이러한 상쇄는 해가 비정수 거듭제곱 $r^\alpha$와 곱해질 때 대칭축에서의 매끄러움을 유지하는 데 결정적이다.

해는 $W(r, t) = r^\alpha \phi(r, t) + \beta r$로 정의되며, 여기서 $\phi(r, t)$는 시간 의존적 스케일 $R(t) = \sqrt{2(T-t)}$를 갖는 $\phi_0$의 자기 유사 재스케일링(self-similar rescaling)이다. 힘 $f$는 이 안사츠로부터 직접 유도된다.

주요 기여 및 결과

1. 정확한 혼합 노름 범위:
   본 논문은 힘 $f$와 속도 $v$에 대한 정확한 혼합 노름 조건을 확립한다.

   • 힘: 힘은 $\alpha > 3 - \frac{2}{p} - \frac{2}{q}$일 때 그리고 오직 그 때만 $L^q(0, T; L^p(D))$에 속한다.
   • 속도: 속도는 $\alpha > 1 - \frac{2}{m} - \frac{2}{\sigma}$일 때 그리고 오직 그 때만 $L^\sigma(0, T; L^m(D))$에 속한다.
   • 엔드포인트 달성: 파라미터를 $1/p + 1/q > 1$이 되도록 선택함으로써, 이 구성은 $L^1(0, T; L^2(D))$에 속하는 힘을 도출한다. 이는 이전 결과들을 유의미하게 개선한 것으로, 에너지 클래스 강제 임계치에 도달하였다.

2. 폭발율(Blow-up Rates):
   $t \uparrow T$일 때, 해는 다음과 같은 점근적 거동을 보인다:

   • 속도 상한: $\|v(t)\|_{L^\infty(D)} \asymp (T-t)^{-(1+\alpha)/2} \to \infty$.
   • 엔스트로피(Enstrophy): $\|\nabla v(t)\|_{L^2(D)}^2 \asymp (T-t)^{\alpha-1}$.
   • 힘 노름: $\|f(t)\|_{L^p(D)} \asymp (T-t)^{-(3-\alpha)/2 + 1/p}$.

3. 정칙성 및 유일성:

   • 해는 $[0, T)$에서 고전적이며, $t < T$에서 매끄럽다.
   • 해는 시간 $T$에서 유일한 레레이-홉프(Leray–Hopf) 해로 $L^2(D)$ 내에서 강하게 확장된다.
   • 구성된 해는 $[0, T]$ 상에서 에너지 등식을 만족한다.
   • 유계성 상실은 엄격히 $t=T$에서 발생하며, 힘은 오직 이 종단 시간(terminal time)에만 무한해진다.

4. 스토크스 시스템 적용 가능성:
   대류항이 압력에 의해 상쇄되기 때문에, 동일한 예시가 강제된 스토크스 시스템에도 적용된다. 이는 폭발 메커니즘이 비선형 상호작용이 아닌 전적으로 강제 항에 의해 구동됨을 입증한다.

의의 및 주장
본 논문은 저자들의 이전 가중치 구성 [2]의 $k=1$ 케이스를 "직접적이고 자기 완결적인 정교화(direct, self-contained sharpening)"를 제공한다고 주장한다. 주요 의의는 다음과 같다:

• 엔드포인트의 정교화: $k=1$ 케이스에 대한 혼합 노름 조건을 수정하여, 이전의 일반적인 계층 구조 논의에서 완전히 포착되지 않았던 $L^1_t L^2_x$ 강제 영역에 성공적으로 도달하였다.
• 강제 효과의 격리: 순수 소용돌이 안사츠를 사용함으로써, 유계성 상실 메커니즘을 외부 힘으로 격리하여, 에너지 등식을 만족하고 레레이-홉프 클래스에서 유일성을 갖는 해라 할지라도 에너지 클래스 강제($L^1_t L^2_x$) 하에서 $L^\infty$ 유계성이 실패할 수 있음을 증명하였다.
• 축에서의 매끄러움: 환형 상쇄의 도입은 비정수 지수 $\alpha$를 사용하면서도 대칭축에서의 매끄러움을 보존할 수 있게 하여, 이전 프로파일 구성의 기술적 난제를 해결하였다.

저자들은 이 결과가 매끄러운 데이터에 대한 무강제 나비에-스토크스 방정식의 전역 정칙성에 관한 밀레니엄 문제(Millennium Prize problem)를 다루지 않는다는 점을 명시적으로 밝히는데, 이는 폭발이 특이한 강제 항에 의해 구동되기 때문이다. 그러나 본 연구는 에너지 클래스 강제가 유계된 해를 보장한다는 직관에 대한 엄밀한 반례를 제공한다.