[논문 리뷰] Borel summability of Navier-Stokes equation in $\mathbb{R}^3$ and small time existence

Ovidiu Costin, S. Tanveer|ArXiv.org|2006. 12. 02.

Navier-Stokes equation solutions참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^3$에서 나비에-스토크스 방정식의 보렐 합성 가능성을 푸리에-보렐 변환 기법을 사용하여 확립한다. 이는 작고 시간 $t < \alpha^{-1}$에 대해 고전적 해가 존재하며, $t$에 대해 해석적이며 지브레-1 점근 전개를 가짐을 보여준다. 이 방법은 편미분방정식을 보렐 쌍대 변수 $p$에서의 적분방정식으로 변환하며, 존재성 문제는 $p \to \infty$에서 $U(x,p)$의 성장률을 제한하는 것으로 귀결된다. 이로 인해 $\mathrm{Re}(1/t) > \alpha$일 때 $\|\hat{v}(\cdot;t)\|_{\mu+2,\beta} < \infty$가 성립한다. 주요 기여는 해석적 초기 자료를 가진 비선형 편미분방정식에 대해 보렐 합성 기반의 새로운 존재성 프레임워크를 제공하는 것이다.

ABSTRACT

We consider the Navier-Stokes initial value problem, $$v_t - abla v = -\mathcal{P} [ v \cdot abla v ight ] + f, v(x, 0) = v_0 (x), x \in \mathbb{R}^3 $$ where $\mathcal{P}$ is the Hodge-Projection to divergence free vector fields in the assumption that $ | f |_{μ, β} &lt; \infty $ and $| v_0 |_{μ+2, β} &lt; \infty$ for $β\ge 0, μ&gt; 3$, where $$ | {\hat f} (k) | = \sup_{k \in \mathbb{R}^3} e^{β|k|} (1+|k|)^μ| {\hat f} (k) |$$ and ${\hat{f}} (k) = \mathcal{F} [f (\cdot)] (k) $ is the Fourier transform in $x$. By Borel summation methods we show that there exists a classical solution in the form $$ v(x, t) = v_0 + \int_0^\infty e^{-p/t} U(x, p) dp $$ $t\in\CC$, $ \Re \frac{1}{t} &gt; α$, and we estimate $α$ in terms of $| {\hat v}_0 |_{μ+2, β}$ and $ | {\hat f} |_{μ, β}$. We show that $| {\hat v} (\cdot; t) |_{μ+2, β} &lt; \infty $. Existence and $t$-analyticity results are analogous to Sobolev spaces ones. An important feature of the present approach is that continuation of $v$ beyond $t=α^{-1}$ becomes a growth rate question of $U(\cdot, p)$ as $ p o \infty$, $U$ being is a known function. For now, our estimate is likely suboptimal. A second result is that we show Borel summability of $v$ for $v_0$ and $f$ analytic. In particular, we obtain Gevrey-1 asymptotics results: $ v \sim v_0 + \sum_{m=1}^\infty v_m t^m $, where $ |v_m | \le m! A_0 B_0^m$, with $A_0$ and $B_0$ are given in terms of to $v_0$ and $f$ and for small $t$, with $m(t)=\lfloor B_0^{-1}t^{-1} floor$, $$ | v(x, t) - v_0 (x) - \sum_{m=1}^{m(t)} v_m (x) t^m | \le A_0 m(t)^{1/2} e^{-m(t)} $$

연구 동기 및 목표

• 시간-보렐 변환을 사용하여 $\mathbb{R}^3$에서의 나비에-스토크스 방정식에 대한 보렐 합성 가능성 프레임워크를 개발한다.
• 보렐 쌍대 변수 $p$에서의 적분방정식으로 편미분방정식을 변환하여 소규모 시간 존재성을 확립한다.
• 해석적 초기 자료 및 외력에 대해 해가 오른쪽 반평면에서 $t$에 대해 해석적이며 지브레-1 점근 전개를 가짐을 보여준다.
• 존재 문제를 보렐 변환된 해 $U(x,p)$의 큰 $p$에서의 성장률을 추정하는 것으로 귀결한다.
• $\mu > 3$, $\beta \geq 0$일 때 $\|\hat{v}_0\|_{\mu+2,\beta}$ 및 $\|\hat{f}\|_{\mu,\beta}$의 함수로 $t$에서의 해석성 반경에 대한 정량적 경계를 제공한다.

제안 방법

• 시간 도함수를 보렐 변환하여 시간 변수를 쌍대 변수 $p$에서의 적분방정식으로 변환하며, $t^{-1}$는 $p$로 대체된다.
• 푸리에 변환을 사용하여 주파수 영역에서 방정식을 표현하며, $\|\hat{v}_0\|_{\mu+2,\beta}$ 및 $\|\hat{f}\|_{\mu,\beta}$가 감쇠와 해석성을 제어한다.
• 보렐 변환된 해를 $v(x,t) = v_0(x) + \int_0^\infty e^{-p/t} U(x,p) dp$로 표현하며, $U(x,p)$는 $p$에서의 비선형 적분방정식을 만족한다.
• 어떤 $\alpha > 0$에 대해 지수적으로 가중된 $L^1$ 공간 $L^1(dp\,e^{-\alpha p})$에서 $U(x,p)$의 존재성을 증명하여 보렐 적분의 수렴을 보장한다.
• 가중 $L^1$ 추정과 $Q_n(z)$ 함수를 포함한 컨볼루션 경계를 사용하여 주파수 영역에서 비선형 항 $v \cdot \nabla v$를 제어한다.
• 레마 6.7–6.10을 통해 감쇠 추정을 확립하며, $e^{-\beta(|k'| + |k-k'|)}$ 및 $|k'|$, $|k-k'|$의 거듭제곱을 포함하는 적분을 제어하여 주파수 영역에서의 비선형 상호작용을 제어한다.

실험 결과

연구 질문

• RQ1 일반적인 해석적 초기 자료 및 외력이 있는 3차원 나비에-스토크스 방정식에 대해 보렐 합성 가능성 기법을 사용하여 소규모 시간 존재성을 증명할 수 있는가?
• RQ2 보렐 변환 공식은 존재 문제를 변환된 해 $U(x,p)$의 큰 $p$에서의 점근 분석으로 귀결하는가?
• RQ3 해석적 초기 자료 및 외력에 대해 나비에-스토크스 방정식의 해에 대한 최적의 해석성 반경은 무엇이며, 이는 가중 푸리에 노름에서의 초기 자료 및 외력에 어떻게 의존하는가?
• RQ4 나비에-스토크스 방정식의 형식적 멱급수 해가 $v_0$와 $f$가 해석적일 때 지브레-1 점근 전개임을 보일 수 있는가?
• RQ5 노름 $\|\hat{v}(\cdot;t)\|_{\mu+2,\beta}$는 시간에 따라 어떻게 행동하며, $t < \alpha^{-1}$에서 균일하게 유계일 수 있는가?

주요 결과

• 해석적 초기 자료 및 외력에 대해 $t \in \mathbb{C}$에서 $\mathrm{Re}(1/t) > \alpha$를 만족할 경우 고전적 해가 존재하며, $\alpha$는 $\|\hat{v}_0\|_{\mu+2,\beta}$ 및 $\|\hat{f}\|_{\mu,\beta}$의 함수로 추정된다. 여기서 $\mu > 3$, $\beta \geq 0$이다.
• 해석적 초기 자료 및 외력에 대해 $\mathrm{Re}(1/t) > \alpha$일 때 $\|\hat{v}(\cdot;t)\|_{\mu+2,\beta} < \infty$를 만족하며, 이는 주파수 영역에서의 균일한 제어를 보장한다.
• 해석적 $v_0$와 $f$에 대해 (즉, $\beta > 0$일 경우), 해는 지브레-1 점근 전개를 가진다: $v \sim v_0 + \sum_{m=1}^\infty v_m t^m$, 여기서 $|v_m| \leq m! A_0 B_0^m$이며, 상수 $A_0, B_0$는 $v_0$와 $f$에 따라 달라진다.
• 나머지 추정은 $\left|v(x,t) - v_0(x) - \sum_{m=1}^{m(t)} v_m(x) t^m\right| \leq A_0 \, m(t)^{1/2} \, e^{-m(t)}$이며, 여기서 $m(t) = \lfloor B_0^{-1} t^{-1} \rfloor$이다. 이는 오차의 지수적 소멸성을 보여준다.
• $t = \alpha^{-1}$를 초과하는 해의 연속성 문제는 $p \to \infty$에서 $U(x,p)$의 성장 분석으로 귀결되며, 이는 큰 $p$에서의 점근 문제로 간주된다.
• 이 방법은 소볼레프 공간 결과와 유사한 프레임워크를 제공하지만, 가중 푸리에 노름 공간에서 이루어지며, 보렐 변환은 비선형 편미분방정식의 정규화 도구로 작용한다.