[논문 리뷰] On the winding number for particle trajectories in a disk-like vortex patch of the Euler equations

Kyudong Choi, In-Jee Jeong|arXiv (Cornell University)|2020. 08. 12.

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

한 줄 요약

이 논문은 2차원 비압축성 옐러 방정식의 디스크 형태의 소용돌이 패치에서 대부분의 유체 입자에 대해, 초기 패치가 단위 디스크의 소규모 $L^1$-편미분일 경우 원점 주위의 둘레 수가 시간에 따라 선형적으로 증가하며, 그 비율은 약 $rac{1}{4 ilde{\pi}}$에 가까워진다. 이 결과는 원점 근처의 속도와 각속도를 로그-립시츠 추정과 시간 분해를 통해 제어함으로써 도출되며, 편미분 크기가 작아질수록 둘레 수의 비율이 원형 패치의 값으로 수렴함을 보여준다.

ABSTRACT

We consider vortex patch solutions of the incompressible Euler equations in the plane. It is shown that the winding number around the origin for most particles in the patch grows linearly in time when the initial patch is close to a disk enough.

연구 동기 및 목표

• 2차원 옐러 방정식의 디스크 형태 소용돌이 패치에서 유체 입자의 장기적 둘레 행동을 분석하기 위해.
• 초기 패치가 단위 디스크의 소규모 편미분일 경우, 둘레 수 비율이 원형 소용돌이 패치의 값과 얼마나 가까운지 정량화하기 위해.
• 형태 유지 외에 더욱 정교한 역학적 안정성 개념을 수립하여 입자 궤적과 각운동에 집중하기 위해.
• 편미분 크기 $\delta$에 따라 둘레 수 비율에서 $C\delta^{1/12}$ 이내로 벗어나지 않는 입자의 비율을 정량적으로 추정하기 위해.

제안 방법

• 입자 궤적을 따라 각속도 성분을 반지름으로 나눈 시간 적분으로 둘레 수 $N_x(T)$ 를 정의한다.
• 입자의 원점에서의 거리에 따라 시간 간격 $[0,T]$ 를 이진 링형 영역 $A_i^\epsilon$ 와 외부 영역으로 분해한다.
• 유도비치의 로그-립시츠 추정과 속도의 $L^\infty$ 유계성 추정을 사용하여 다양한 공간 영역에서의 각속도 $u_{\text{tan}}/|x|$ 를 제어한다.
• 입자가 원점에서 멀리 떨어져 있을 때와 가까이 있을 때 각각 별도로 둘레 적분의 기여도를 추정하며, 시간과 공간 측도의 감쇠를 고려한다.
• 원점에 도달하지 않고, 속도장이 원형 경우와 유사한 링형 영역에 머무르는 입자들로 구성된 큰 집합 $H_T \subset \Omega_0$ 를 구성함으로써 균일한 제어를 확보한다.
• 시간 간격을 점차 늘여가는 데에 따라 보렐-칸탈리 유형의 추론을 적용하여 결과를 무한 시간으로 확장하며, 장기 평균 둘레 수 비율에 대한 liminf 제어를 보인다.

실험 결과

연구 질문

• RQ1 초기 패치가 단위 디스크의 소규모 편미분일 경우, 디스크 형태의 소용돌이 패치에 속한 유체 입자의 둘레 수는 시간이 지남에 따라 어떻게 변화하는가?
• RQ2 이러한 패치에서 얼마나 많은 입자들이 원형 패치의 값인 $\frac{1}{4\pi}$ 근처의 둘레 수 비율을 유지하는가?
• RQ3 시간에 따라 둘레 수 비율을 균일하게 제어할 수 있으며, 그 제어는 초기 편미분 크기 $\delta = |D \triangle \Omega_0|$ 와 어떻게 의존하는가?
• RQ4 장기 평균 둘레 수 비율이 양의 측도를 가진 초기 입자 집합에서 $\frac{1}{4\pi}$ 로 수렴하는가? 만약 그렇다면, 수렴 속도는 어떠한가?
• RQ5 원점 근처에서 비오-사바르 법칙의 특이성(예: $u \sim \log(1/|x|)$)이 비록 속도가 유계이더라도 둘레 역학에 어떤 영향을 미치는가?

주요 결과

• 모든 $T > 0$ 에 대해, $|H_T| \geq |\Omega_0| - C\delta^{1/12}$ 를 만족하는 집합 $H_T \subset \Omega_0$ 가 존재하여, 모든 $x \in H_T$ 에 대해 $\left| \frac{N_x(T)}{T} - \frac{1}{4\pi} \right| \leq C\delta^{1/12}$ 이다. 여기서 $\delta = |D \triangle \Omega_0|$ 이다.
• 측도가 $|H| \geq |\Omega_0| - C\delta^{1/12}$ 인 집합 $H \subset \Omega_0$ 가 존재하여, 모든 $x \in H$ 에 대해 $\liminf_{t \to \infty} \left| \frac{N_x(t)}{t} - \frac{1}{4\pi} \right| \leq C\delta^{1/12}$ 이다.
• 대부분의 입자에 대해 둘레 수 비율은 $\delta \to 0$ 일 때 $\frac{1}{4\pi}$ 로 수렴하며, 오차는 $C\delta^{1/12}$ 로 유계이므로, 소규모 편미분 조건 하에서 각운동의 안정성을 보여준다.
• 분석 결과, 원점을 충격하는 입자 집합의 측도는 0임을 보여주어, 거의 모든 입자에 대해 둘레 수의 정의가 타당함을 정당화한다.
• 이 방법은 둘레 적분을 반지름 거리에 따른 시간 분해를 통해 제어하며, 속도의 유계성과 로그-립시츠 연속성에 기반한 균일한 추정을 사용한다.
• 결과는 고전적인 형태 안정성의 역학적 보완을 제공하며, 패치가 디스크에 가까워지는 것 외에도 입자 궤적의 거의 동일한 회전 행동을 보임을 보여준다.