[논문 리뷰] Interacting helical vortex filaments in the 3-dimensional Ginzburg-Landau equation

Juan Dávila, Manuel del Pino외 2명|arXiv (Cornell University)|2019. 01. 09.

Nonlinear Dynamics and Pattern Formation참고 문헌 36인용 수 5

한 줄 요약

이 논문은 3차원 복소 기니스버그-랜다우 방정식에 대해 나선 대칭을 가진 전체 해를 구성하며, 각 $ n \geq 2 $에 대해 $ \varepsilon $에 의존하는 $ n $개의 비틀림 필라멘트를 포함하는 해의 가족이 존재함을 보여준다. 핵심 결과는 $ \varepsilon \to 0 $일 때 이러한 해의 존재성으로, 이는 무한대에서 1로 균일 수렴하는 동안 비자명한 시간 의존성을 보이므로 기니스버그-랜다우 버전의 지브스 추측과 모순된다.

ABSTRACT

For each given $n\geq 2$, we construct a family of entire solutions $u_\varepsilon (z,t)$, $\varepsilon>0$, with helical symmetry to the 3-dimensional complex-valued Ginzburg-Landau equation \begin{equation*} onumber Δu+(1-|u|^2)u=0, \quad (z,t) \in \mathbb{R}^2 imes \mathbb{R} \simeq \mathbb{R}^3. \end{equation*} These solutions are $2π/\varepsilon$-periodic in $t$ and have $n$ helix-vortex curves, with asymptotic behavior as $\varepsilon o 0$ $$ u_\varepsilon (z,t) \approx \prod_{j=1}^n W\left( z- \varepsilon^{-1} f_j(\varepsilon t) ight), $$ where $W(z) =w(r) e^{iθ} $, $z= re^{iθ},$ is the standard degree $+1$ vortex solution of the planar Ginzburg-Landau equation $ ΔW+(1-|W|^2)W=0 ext{ in } \mathbb{R}^2 $ and $$ f_j(t) = \frac { \sqrt{n-1} e^{it}e^{2 i (j-1)π/ n }}{ \sqrt{|\log\varepsilon|}}, \quad j=1,\ldots, n. $$ Existence of these solutions was previously conjectured, being ${\bf f}(t) = (f_1(t),\ldots, f_n(t))$ a rotating equilibrium point for the renormalized energy of vortex filaments there derived, $$ \mathcal W_\varepsilon ( {\bf f} ) :=π\int_0^{2π} \Big ( \, \frac{|\log \varepsilon|} 2 \sum_{k=1}^n|f'_k(t)|^2-\sum_{j eq k}\log |f_j(t)-f_k(t)| \, \Big ) \mathrm{d} t, $$ corresponding to that of a planar logarithmic $n$-body problem. These solutions satisfy $$ \lim_{|z| o +\infty } |u_\varepsilon (z,t)| = 1 \quad \hbox{uniformly in $t$} $$ and have nontrivial dependence on $t$, thus negatively answering the Ginzburg-Landau analogue of the Gibbons conjecture for the Allen-Cahn equation, a question originally formulated by H. Brezis.

연구 동기 및 목표

• 모든 $ n \geq 2 $에 대해 3차원 복소 기니스버그-랜다우 방정식에 대해 나선 대칭을 가진 전체 해를 구성하는 것.
• $ n $개의 비틀림 필라멘트 해가 시간에 대해 $ 2\pi/\varepsilon $-주기적이며, 점 渐近적으로 $ n $개의 차수 1 비틀림 해의 곱과 유사함을 확인하는 것.
• 비틀림 필라멘트 해가 시간에 따라 비자명한 진동을 보임에도 불구하고, $ |u_\varepsilon(z,t)| \to 1 $이 $ |z| \to \infty $일 때 균일하게 성립함을 확인하는 것.
• 시간 의존성 해를 제시함으로써 앨런-카인 방정식에 대한 기니스버그-랜다우 버전의 지브스 추측을 반증하는 것.

제안 방법

• $ \varepsilon \to 0 $ 근처에서 비틀림 필라멘트의 구조를 모델링하기 위해 스케일링된 기니스버그-랜다우 방정식 $ \varepsilon^2 \Delta u + (1 - |u|^2)u = 0 $을 사용하는 것.
• 각 $ j $에 대해 $ f_j(t) $가 회전하는 위치를 기술하는 $ n $개의 표준 차수 1 비틀림 해 $ W(z - \varepsilon^{-1} f_j(\varepsilon t)) $의 곱으로 근사 해를 구성하는 것.
• 비틀림 필라멘트 상호작용을 평면상 로그형 $ n $체 문제로 모델링하는 재규격화된 에너지 함수 $ \mathcal{W}_\varepsilon(\mathbf{f}) $를 유도하는 것.
• 선형화된 문제의 해를 구하고 오차 항을 제어하기 위해 가중치가 붙은 호일더 공간에서의 장벽 방법과 샤우더 추정을 적용하는 것.
• 각도 변수 $ s $에 대한 푸리에 분해를 통해 짝수 및 홀수 모드를 분리하여 $ L^\infty $ 및 $ C^{1,\alpha} $ 노름을 제어하는 것.
• 특히 $ \sin(ks) $ 대칭을 가진 홀수 모드에 대해 고려된 고리 영역에서 대칭 장벽 함수를 사용하여 선형화된 방정식의 해를 유계화하는 것.

실험 결과

연구 질문

• RQ1 3차원 기니스버그-랜다우 방정식에 대해 $ n \geq 2 $일 때 나선형 비틀림 필라멘트를 가진 전체 해를 구성할 수 있는가?
• RQ2 이러한 해들은 $ |z| \to \infty $일 때 $ |u_\varepsilon(z,t)| \to 1 $이 균일하게 성립함에도 불구하고 비자명한 시간 의존성을 보이는가?
• RQ3 재규격화된 에너지 함수 $ \mathcal{W}_\varepsilon(\mathbf{f}) $는 평면상 로그형 $ n $체 구성에서 독립적으로 돌아가는 $ n $개의 비틀림 필라멘트의 역학과 일치하는가?
• RQ4 이러한 시간 의존성 해의 존재는 앨런-카인 방정식에 대한 기니스버그-랜다우 버전의 지브스 추측을 반박하는가?

주요 결과

• $ n \geq 2 $일 때마다, $ t $에 대해 주기 $ 2\pi/\varepsilon $인 $ n $개의 나선형 비틀림 필라멘트를 가진 전체 해 $ u_\varepsilon(z,t) $의 일차원 가족이 존재한다.
• 해의 점 渐近적 프로파일은 $ u_\varepsilon(z,t) \approx \prod_{j=1}^n W(z - \varepsilon^{-1} f_j(\varepsilon t)) $이며, 여기서 $ f_j(t) = \frac{\sqrt{n-1} e^{it} e^{2i(j-1)\pi/n}}{\sqrt{|\log \varepsilon|}} $이다.
• 비틀림 필라멘트는 $ z $-평면상에서 각도 간격 $ 2\pi/n $로 배열된 $ n $점성 별형 구조를 이루며, 반경 방향 거리의 척도는 $ \sim 1/\sqrt{|\log \varepsilon|} $이다.
• 해는 $ \lim_{|z| \to \infty} |u_\varepsilon(z,t)| = 1 $를 시간에 관계없이 균일하게 만족함을 확인하여, 무한대에서 순서 매개변수의 균일한 감쇠를 확인한다.
• 시간에 따라 변화하는 해의 성격은 균일한 공간 수렴에도 불구하고, 기니스버그-랜다우 버전의 지브스 추측에 대한 반례를 제공한다.
• 이러한 해의 존재는 3D 기니스버그-랜다우 이론에서 비틀림 필라멘트의 재규격화된 에너지에 대한 균형 상태의 도전적 추측 [16]을 확인한다.