[논문 리뷰] An elementary proof of existence and uniqueness for the Euler flow in localized Yudovich spaces

Gianluca Crippa, Giorgio Stefani|arXiv (Cornell University)|2021. 10. 29.

Navier-Stokes equation solutions인용 수 5

한 줄 요약

이 논문은 스모oth 이론과 리틀우드–파일스 분해를 피하면서 국소화된 유도비치 공간에서 2차원 올러 방정식의 전역 존재성과 유일성을 다루는 간단한 라그랑주 기반 증명을 제시한다. $L^1 \cap L^p_{\text{ul}}$ 및 $L^1 \cap Y^\Theta_{\text{ul}}$ 에서의 비틀림이 존재하는 약한 해를 확립하고, 함수 $\Theta$ 의 중간 정도의 성장 조건 하에서 명시적인 연속성 모듈러스와 유일성을 보인다. 이 접근법은 바이오티–사바르 법 이외의 구조적 핵함수를 가진 일반적인 연산자에도 적용 가능하다.

ABSTRACT

We revisit Yudovich's well-posedness result for the $2$-dimensional Euler equations for an inviscid incompressible fluid on either a sufficiently regular (not necessarily bounded) open set $Ω\subset\mathbb{R}^2$ or on the torus $Ω=\mathbb{T}^2$. We construct global-in-time weak solutions with vorticity in $L^1\cap L^p_{\mathrm{ul}}$ and in $L^1\cap Y^Θ_{\mathrm{ul}}$, where $L^p_{\mathrm{ul}}$ and $Y^Θ_{\mathrm{ul}}$ are suitable uniformly-localized versions of the Lebesgue space $L^p$ and of the Yudovich space $Y^Θ$ respectively, with no condition at infinity for the growth function $Θ$. We also provide an explicit modulus of continuity for the velocity depending on the growth function $Θ$. We prove uniqueness of weak solutions in $L^1\cap Y^Θ_{\mathrm{ul}}$ under the assumption that $Θ$ grows moderately at infinity. In contrast to Yudovich's energy method, we employ a Lagrangian strategy to show uniqueness. Our entire argument relies on elementary real-variable techniques, with no use of either Sobolev spaces, Calderón-Zygmund theory or Littlewood-Paley decomposition, and actually applies not only to the Biot-Savart law, but also to more general operators whose kernels obey some natural structural assumptions.

연구 동기 및 목표

• 국소화된 유도비치 공간에서 2차원 올러 방정식의 전역 존재성과 유일성에 대한 새로운, 간단한 증명을 제공한다.
• 소벨레프 공간, 칼데론–지그문트 이론, 리틀우드–파일스 분해와 같은 고급 도구에 의존하지 않도록 한다.
• 성장 함수 $\Theta$ 에 따라 명시적으로 의존하는 속도장의 연속성 모듈러스를 확립한다.
• 유니폼하게 국소화된 설정에서 유도비치의 유일성 결과를 무한대에서의 $\Theta$ 의 성장 조건 없이 확장한다.
• 이 방법이 바이오티–사바르 법 이외의 일반적인 연산자에도 적용 가능하다는 것을 보인다.

제안 방법

• 유일성 증명을 위해 유도비치의 에너지 방법 대신 라그랑주 전략을 사용한다.
• 리틀우드–파일스 분해나 칼데론–지그문트 이론과 같은 함수해석학적 도구를 피하여 간단한 실해석 기법만을 사용한다.
• 무한대에서 $\Theta$ 의 성장 제약 없이도 처리할 수 있도록 유니폼하게 국소화된 르베그 및 유도비치 공간인 $L^p_{\text{ul}}$ 과 $Y^\Theta_{\text{ul}}$ 을 정의한다.
• 일반적인 열린 집합 $\Omega \subset \mathbb{R}^2$ 또는 $\Omega = \mathbb{T}^2$ 에 대해 $L^1 \cap L^p_{\text{ul}}$ 과 $L^1 \cap Y^\Theta_{\text{ul}}$ 에서의 비틀림을 가지는 시간에 따라 전역적인 약한 해를 구성한다.
• 성장 함수 $\Theta$ 에 기반한 속도장의 명시적 연속성 모듈러스를 유도한다.
• 국소화된 설정에서 아불린–라온스 보조정리를 적용하여 강한 수렴성과 해의 시간 연속성을 보장한다.

실험 결과

연구 질문

• RQ1 고급 조화 분석 도구에 의존하지 않고 간단한 실해석 기법만으로 2차원 올러 방정식의 전역 존재성과 유일성을 증명할 수 있는가?
• RQ2 유도비치 공간에서 성장 함수 $\Theta$ 를 기반으로 한 속도장의 최적 연속성 모듈러스는 무엇인가?
• RQ3 무한대에서의 성장 조건 없이도 유도비치의 유일성 결과를 유니폼하게 국소화된 설정으로 확장할 수 있는가?
• RQ4 성장 함수 $\Theta$ 가 무한대에서 중간 정도로 성장할 경우, 라그랑주 접근법을 사용하여 $L^1 \cap Y^\Theta_{\text{ul}}$ 에서의 유일성을 어떻게 확보할 수 있는가?
• RQ5 이 틀 안에서 바이오티–사바르 법을 얼마나 일반화할 수 있으며, 어떤 핵함수의 구조적 가정이 동일한 결과를 보장하는가?

주요 결과

• 무한대 영역 또는 토러스에서 비틀림이 $L^1 \cap L^p_{\text{ul}}$ 과 $L^1 \cap Y^\Theta_{\text{ul}}$ 에 속하는 2차원 올러 방정식에 대해 시간에 따라 전역적인 약한 해가 존재한다.
• 성장 함수 $\Theta$ 에 명시적으로 의존하는 속도장의 명시적 연속성 모듈러스가 도출되었다.
• $\Theta$ 가 무한대에서 중간 정도로 성장한다는 가정 하에 $L^1 \cap Y^\Theta_{\text{ul}}$ 에서의 약한 해의 유일성이 확립되었다.
• 증명은 소벨레프 공간, 칼데론–지그문트 이론, 리틀우드–파일스 분해를 모두 피한 단순한 실해석 기법에 의존한다.
• 이 방법은 바이오티–사바르 법 이외의 일반적인 적분 연산자에도 확장 가능하며, 자연스러운 구조적 가정을 만족하는 핵함수에 대해 동일한 결과를 보인다.
• 아불린–라온스 보조정리가 국소화된 설정에서 재편성되어 강한 수렴성과 해의 시간 연속성을 보장한다.