Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

기술 요약: 거대 초기 데이터로부터의 2차원 비압축성 오일러 방정식의 자기 유사 해

문제 정의
본 논문은 $\mathbb{R}^2 \times (0, \infty)$ 상의 2차원 비압축성 오일러 방정식에 대한 전방 시간(forward-in-time) 자기 유사 해의 구성을 다룬다:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
연구는 초기 데이터 $u_0$가 $C^1$, 발산이 없고(divergence-free), $(-a)$-동차(homogeneous)인 경우에 집중하며, 여기서 스케일링 파라미터 $a$는 $1/3 < a < 1$을 만족한다. 구체적으로, 초기 속도는 $u_0(x) = |x|^{-a}u_0(x/|x|)$의 형태를 갖는다.

핵심 과제는 초기 데이터에 대한 크기 제한이나 와도(vorticity)의 부호 제한 없이, 다음과 같은 자기 유사 구조를 보존하는 전역 약해(global weak solution) $u(t,x)$의 존재성을 확립하는 것이다:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
이 문제는 존재성 이론, 특이점 형성, 그리고 약해의 잠재적 비유일성(non-uniqueness)의 교차점에 위치한다. 2차원 및 3차원 나비에-스토크스 방정식(Navier-Stokes equations)을 위한 자기 유사 해는 거대 데이터에 대해서도 구성된 바 있으나, 오일러(Euler)의 경우(영 점성)는 와도를 제어할 소산(dissipation)의 부재와 스케일링의 임계적 성질로 인해 구별되는 어려움을 나타낸다.

방법론
구성은 하이포디시페이티브(hypodissipative) 프로파일의 소산 소멸 극한(vanishing-dissipation limit)을 통해 진행된다. 저자들은 분수 차수 소산 항 $\epsilon \Lambda^{1+a}$ (여기서 $\Lambda = (-\Delta)^{1/2}$)를 도입하고 정규화된 방정식을 고려한다:
$$\epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a}(a U_\epsilon + y \cdot \nabla U_\epsilon) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0$$
전략은 세 가지 주요 단계로 구성된다:

1. 하이포디시페이티브 프로파일의 존재성: 고정된 $\epsilon > 0$에 대하여, 매끄러운 프로파일 $U_\epsilon$의 존재성이 확립된다. 저자들은 (Hou와 Song의 연구를 바탕으로) 발산이 없는 원거리 컷오프(far-field cutoff)와 갈레르킨 스킴(Galerkin scheme)을 사용하여 존재성에 대한 독립적인 증명을 제공한다. 결정적으로, 그들은 가중 에너지 공간을 피하고 Oseen 커널 추정치로부터 직접 프로파일과 그 도함수의 점별 감쇄 추정치를 유도한다.
2. 균등 임계 와도 추정: 본 논문의 핵심은 $\epsilon \to 0$일 때 균등한 와도 $\Omega_\epsilon = \text{curl } U_\epsilon$에 대한 추정치를 확립하는 것이다. 저자들은 임계 지수 $p_c = 2/(1+a)$를 정의한다. 절단 함수(truncation function) $(|\Omega_\epsilon| - k)_+$의 도함수를 사용하여 와도 방정식을 테스트함으로써, 와도의 분포 함수에 대한 미분 부등식을 유도한다. 이를 통해 임계 로렌츠 공간(Lorentz space) $L^{p_c, \infty}(\mathbb{R}^2)$에서의 균등한 유계성을 얻는다:
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   이 추정치는 "의사-속도(pseudo-velocity)" 장 $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$의 발산이 $-p_c$와 같다는 점에 기초하며, 이는 와도 절단의 스케일 불변 제어를 가능하게 한다.
3. 컴팩트성 및 극한 통과: $U_\epsilon$와 $\nabla U_\epsilon$에 대한 균등한 로렌츠 유계성을 사용하여, 저자들은 부분 수열을 추출하여 극한 프로파일 $(U, P)$로 수렴시킨다. 속도의 강한 국소 수렴(strong local convergence)과 와도의 약-* 수렴(weak-* convergence)을 통해 비선형 항에서 극한을 통과시킬 수 있다. $1/3 < a < 1/2$ 범위에서 곱 $U \Omega$는 국소 적분 가능함이 보여지며, 이는 와도 방정식이 분포 의미에서 성립함을 보장한다.

주요 결과
주요 정리(정리 1.2)는 $1/3 < a < 1$인 임의의 $C^1$ 발산-제로 $(-a)$-동차 초기 데이터에 대하여, 다음의 성질을 갖는 자기 유사 약해 $u(t,x)$가 존재함을 확립한다:

• 정칙성(Regularity): 속도 $u$는 $L^2_{\text{loc}}(\mathbb{R}^2)$ 값을 갖는 시간에 대해 연속이며, 그 기울기 $\nabla u$는 $L^\infty_t L^{p_c, \infty}_x$에 속한다.
• 초기 흔적(Initial Trace): 솔루션은 $t \to 0$일 때 $L^2_{\text{loc}}$에서 초기 데이터를 향해 강하게 수렴한다. 와도 $\omega(t)$는 $L^{p_c, \infty}$에서 $\omega_0$로 약-* 수렴한다.
• 일반성: 이 구성은 초기 데이터에 대한 크기 조건이나 와도의 부호 조건을 요구하지 않는다. 각 프로파일(angular profile) $u_0$는 방사형 와류(radial vortex)에 근접할 필요가 없으며 방사형 우세 조건(radial dominance condition)을 만족할 필요도 없다. 이는 이전의 나선형(spiral) 구성들과 구별되는 점이다.
• 엔드포인트 동작: 이 결과는 엔드포인트 $a=1$에 대해 아임계(subcritical)적이다. $a=1$에서는 와도 절단 항식에서의 유리한 계수가 사라지며, 이 논증은 농축 측도(concentration measures)를 배제하지 못한다.

의의 및 주장
본 논문은 유체 역학의 비유일성 및 특이점 형성이라는 더 넓은 맥락 내에서 기여를 위치시킨다.

• 비유일성 지지: 저자들은 임의의 거대한 자기 유사 프로파일의 존재가 불안정성 및 분기(bifurcation) 시나리오에 대한 향후 조사를 위한 필수적인 "기저 상태(base state)"를 제공한다고 주장한다(Jia, Šverák 등의 연구 참조). 이 논문 자체가 비유일성을 증명하는 것은 아니지만, 그러한 분석에 필요한 거대 솔루션의 클래스를 제공한다.
• 나선형 솔루션의 확장: 고주파 대칭성이나 방사형 와류의 섭동에 의존했던 기존의 대수적 나선형 솔루션 구성과 달리, 본 연구는 대칭성 가정 없이 일반적인 $C^1$ 각 프로파일을 다룬다.
• 임계 제어: 이 결과는 글로벌 약해의 존재성이 유계 와도($L^\infty$)나 유한한 총 와도를 요구하는 대신, 임계 로렌츠 공간 $L^{p_c, \infty}$에서의 제어를 통해 달성될 수 있음을 강조한다. 이는 2차원 이상 유동(ideal flow)의 거친 데이터 클래스에 대한 알려진 존재성 이론을 확장한다.

논문은 $a \geq 1/2$인 경우, $U\Omega \in L^1_{\text{loc}}$인 경우에만 와도 방정식이 분포 의미에서 성립함을 언급하며, 이는 해당 범위의 추정치에 의해 보장되지 않으나 속도 공식화(velocity formulation)는 여전히 유효함을 밝히며 끝을 맺는다. 이 구성은 직접적인 구성 방법과 구별되는 "소산 소멸 극한"으로 명시적으로 설명된다.