[논문 리뷰] Remarks on the solution map for Yudovich solutions of the Euler equations

Huy Q. Nguyen|arXiv (Cornell University)|2021. 09. 11.

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

한 줄 요약

이 논문은 흐름 맵 추정과 측도 보존 성질을 사용하여, $L^p$에서 모든 $p \in [1, \infty)$ 및 $L^\infty$에서 약한-* 연속성에 대해, 2차원 비압축성 옐러 방정식의 ยู도비치 해에 대한 해 매핑의 강한 연속성을 순수 라그랑주적 방법으로 증명한다. 주요 기여는 라그랑주적 에너지 추정과 시험 함수를 회피하는 새로운 내재적 라그랑주적 접근법으로, 이는 $L^\infty$에서 유계 집합을 초월한 연속성 결과를 확장한다. 결과는 $C^2$ 경계를 가진 유계 평면 영역 및 컴팩트한 초기 코어티시티를 가진 $\mathbb{R}^2$에서 성립한다.

ABSTRACT

Consider Yudovich solutions to the incompressible Euler equations with bounded initial vorticity in bounded planar domains or in $\mathbb{R}^2$. We present a purely Lagrangian proof that the solution map is strongly continuous in $L^p$ for all $p\in [1, \infty)$ and is weakly-$*$ continuous in $L^\infty$.

연구 동기 및 목표

• 모든 $p \in [1, \infty)$에 대해 $L^p(\Omega)$에서 ยู도비치 해의 해 매핑의 강한 연속성을 순수 라그랑주적 프레임워크를 사용하여 확립하기.
• 초기 자료가 $L^\infty(\Omega)$에 속할 때, $L^\infty(\Omega)$에서 해 매핑의 약한-* 연속성을 증명하고, $L^\infty$에서의 유계 집합을 초월하여 확장하기.
• 라그랑주적 에너지 추정과 시험 함수를 회피하는 해 매핑의 연속성 성질에 대한 새로운 내재적 증명을 제공하기.
• 컴팩트한 초기 코어티시티를 가진 $L^\infty_c(\mathbb{R}^2)$에 대해 연속성 결과를 전체 공간 $\mathbb{R}^2$로 확장하기.

제안 방법

• 시험 함수를 피하기 위해 $\omega(x,t) = \omega_0(X_{t,0}(x))$를 통해 흐름 맵 $X_t$를 이용해 해를 정의하기.
• 흐름 맵 $X_t$의 측도 보존성과 하올더 연속성 성질을 활용하여 $L^p$ 추정을 도출하기.
• 모이피케이션 방법과 연속 함수에 의한 근사화를 통해 연속성을 $C(\Omega)$에서 $L^p(\Omega)$로 확장하기.
• 아르체라-아스콜리 정리와 대각 선택을 사용하여 컴팩트 집합에서 흐름 맵의 수렴하는 부분수열을 추출하기.
• 약한-* 수렴성과 조밀성 추론을 사용하여 $C_c$ 시험 함수에서 일반적인 $L^1$ 함수로 넘어가기.
• 비에트-사바르 법칙과 커널 추정을 적용하여, $K \notin L^1(\mathbb{R}^2)$일 경우에도 속도장의 수렴성을 확보하기.

실험 결과

연구 질문

• RQ1 제약 조건 없이 $L^\infty$에서의 유계성을 가정하지 않고, $L^p(\Omega)$에서 모든 $p \in [1, \infty)$에 대해 ยู도비치 해의 해 매핑이 강하게 연속적인가?
• RQ2 순수 라그랑주적 접근법을 통해 $L^\infty(\Omega)$에서 해 매핑의 약한-* 연속성을 확립할 수 있는가?
• RQ3 흐름이 국소 하올더 연속성 뿐이라도, 초기 자료가 $L^\infty_c(\mathbb{R}^2)$일 경우, $L^\infty(\Omega \times (-T,T))$에서 해 매핑이 여전히 연속적인가?
• RQ4 라그랑주적 에너지 추정이나 시험 함수의 형태에 의존하지 않고 해 매핑의 수렴성을 증명할 수 있는가?
• RQ5 비에트-사바르 커널의 상대적 리프시츠 모듈러스가 속도장과 흐름 맵의 정(regularity)을 제어하는 데 어떤 역할을 하는가?

주요 결과

• 해 매핑 $S_t: \omega_0 \mapsto \omega(t)$는 $L^p(\Omega)$에서 모든 $p \in [1, \infty)$에 대해 강하게 연속적이며, $L^\infty$에서의 유계성을 가정하지 않더라도 성립한다.
• 해 매핑은 $L^\infty(\Omega)$에서 약한-* 연속적이며, 이 결과는 컴팩트한 초기 코어티시티를 가진 경우 $\mathbb{R}^2$로도 확장된다.
• 이 증명은 라그랑주적 공식화와 흐름 맵 성질에만 의존하며, 라그랑주적 에너지 추정과 시험 함수를 회피한다.
• 초기 자료가 $L^\infty_c(\mathbb{R}^2)$일 경우, 해 매핑은 $L^\infty(\mathbb{R}^2 \times (-T,T))$에서 약한-* 연속적이며, 각 $t \in \mathbb{R}$에 대해 $L^\infty(\mathbb{R}^2)$에서 약한-* 연속적이다.
• 속도장은 여전히 로그-리프시츠를 유지하며, 흐름 맵은 지수 성질 $\exp(-C|t|\|\omega_0\|_{L^\infty})$의 하올더 연속성을 가지며, 이는 흐름의 정(regularity)을 보장한다.
• 약한-* 수렴성 $\omega_n^0 \to \omega_0$ in $L^\infty$는 모든 $t \in \mathbb{R}$에 대해 $\omega_n(t) \to \omega(t)$ in $L^\infty(\Omega)$로의 약한-* 수렴성을 암시하며, 부분수열의 극한이 유일하므로 전체 수열이 수렴한다.