[논문 리뷰] Uniqueness and Lagrangianity for solutions with lack of integrability of the continuity equation

Laura Caravenna, Gianluca Crippa|arXiv (Cornell University)|2016. 08. 15.

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

한 줄 요약

이 논문은 해가 국소 적분 가능성이 없을 때, 소볼레프 벡터장에 대한 연속성 방정식의 분포해에 대해 유일성과 라그랑주성(즉, 라그랑주 흐름에 의해 운반됨)을 확립한다. 기존의 디페르나-라이언스 프레임워크를 넘어서며, 새로운 방향성 리프시츠 확장 보조정리와 흐름 沿한 분해를 도입하여 시험 함수를 구성함으로써, 벡터장의 연속성 조건 하에 $L^1_{\text{loc}}$ 해가 고유한 정규 라그랑주 흐름에 의해 유일하게 운반됨을 증명한다.

ABSTRACT

We deal with the uniqueness of distributional solutions to the continuity equation with a Sobolev vector field and with the property of being a Lagrangian solution, that means transported by a flow of the associated ordinary differential equation. We work in a framework with lack of local integrability of the solution, in which the classical DiPerna-Lions theory of uniqueness and Lagrangianity of distributional solutions does not apply due to the insufficient integrability of the commutator. We introduce a general principle to prove that a solution is Lagrangian: we rely on a disintegration along the unique flow and on a new directional Lipschitz extension lemma, used to construct a large class of test functions in the Lagrangian distributional formulation of the continuity equation.

연구 동기 및 목표

• 해가 공식적인 커mutator 제어에 필요한 충분한 적분 가능성을 갖추지 못하는 디페르나-라이언스 이론의 격차를 메운다.
• 소볼레프 벡터장에 대해 연속성 방정식의 $L^1_{\text{loc}}$ 해에 대해 분포해의 유일성을 확립한다.
• 그러한 해가 라그랑주성임을 증명한다. 즉, 해당 벡터장의 고유한 정규 라그랑주 흐름에 의해 운반됨을 의미한다.
• 분포해 형태에서 흐름의 리프시츠 정규성 부족을 극복하기 위해, 충분히 풍부한 시험 함수의 집합을 구성한다.
• 흐름에 沿한 분해와 방향성 확장을 사용하여, 낮은 적분 가능성 영역에서 라그랑주성을 증명하는 일반 원리를 제공한다.

제안 방법

• 벡터장에 관련된 고유한 정규 라그랑주 흐름에 따라 해를 분해한다.
• 흐름선에 따라 $L$-리프시츠이자 유클리드 리프시츠인 시험 함수를 구성하기 위해 새로운 방향성 리프시츠 확장 보조정리를 도입한다.
• 흐름 거리 $d_0$로 수렴하는 중간 거리 $d_\lambda$의 가중치 가중 거리 가중치를 정의한다.
• McShane 확장 정리를 적용하여, 컴팩트한 흐름 튜브에서 전체 공간으로의 시험 함수 확장을 $d_\lambda$ 거리 기반으로 수행한다.
• $\lambda \downarrow 0$ 일 때 $\mathrm{Lip}(\psi; d_\lambda) \to \mathrm{Lip}(\psi; d_0)$ 수렴을 활용하여, $d_0$에 대한 리프시츠 상수를 제어한다.
• 최종적으로 확장된 시험 함수를 분포해 형태에 적용하여 라그랑주 성질을 검증한다.

실험 결과

연구 질문

• RQ1 해가 국소 적분 가능성이 없을 경우, 소볼레프 벡터장에 대한 연속성 방정식의 분포해에 대해 유일성과 라그랑주성을 확립할 수 있는가?
• RQ2 흐름이 리프시츠가 아닐 경우, 라그랑주 형식에서 충분히 풍부한 시험 함수의 집합을 구성하는 것이 가능한가?
• RQ3 흐름선에 따라 정규성을 제어하면서 유클리드 정규성도 유지하는 방향성 리프시츠 확장 보조정리를 개발할 수 있는가?
• RQ4 어떤 조건이 낮은 적분 가능성 영역에서 커mutator를 제어할 수 있도록 보장하는가?
• RQ5 흐름에 따라 분해하는 방법을 통해 $L^1_{\text{loc}}$ 해가 고유한 흐름에 의해 유일하게 운반됨을 어떻게 증명할 수 있는가?

주요 결과

• 주어진 가정 하에 연속성 방정식의 초기값 문제는 $L^1_{\text{loc}}([0,T] \times \mathbb{R}^n)$ 내에서 고유한 해를 갖는다.
• 고유한 해는 라그랑주성이며, 이는 고유한 정규 라그랑주 흐름에 의해 운반됨을 의미한다.
• 해는 또한 재정규화 가능하며, 이는 재정규화 성질을 $L^1_{\text{loc}}$ 영역으로 확장함을 의미한다.
• 방향성 리프시츠 확장 보조정리는 시험 함수를 흐름 튜브에서 전체 공간으로 확장하면서도 흐름선 및 유클리드 정규성을 유지함을 보장한다.
• $\lambda \downarrow 0$ 일 때 $\mathrm{Lip}(\psi; d_\lambda) \to \mathrm{Lip}(\psi; d_0)$ 수렴은 흐름에 따라 리프시츠 상수를 제어하는 데 필수적이다.
• 해는 $\boldsymbol{b}(t,\cdot)$ 가 $\mathcal{L}^1$-거의 모든 $t$ 에 대해 연속적이며, 컴팩트 집합에서 시간에 대해 균일한 연속성 모듈러스를 갖는 조건 하에 성립한다.