[논문 리뷰] A Directional Lipschitz Extension Lemma, with Applications to Uniqueness and Lagrangianity for the Continuity Equation

Laura Caravenna, Gianluca Crippa|arXiv (Cornell University)|2018. 12. 17.

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

한 줄 요약

이 논문은 연속 벡터장의 적분 곡선 沿해 유클리드 거리와 지오데식 거리 양쪽에 대해 리프시츠 연속성을 동시에 유지하는 새로운 방향성 리프시츠 확장 보조정리를 소개한다. 이 보조정리를 적용함으로써 저자들은 최소한의 적분 가능성 조건 하에서 연속성 방정식의 약한 해에 대해 유일성과 라그랑주적 구조를 확립한다—특히 $W^{1,p}$에 속하고 $p > n$이며 거의 어디서나 정방향-역방향 적분 곡선이 자명한 경우, 해가 국소적으로 적분 가능할 뿐만 아니라 고도의 적분 가능성 조건이 필요로 하지 않는 다이페르나-라온스 이론의 제약을 제거한다.

ABSTRACT

We prove a Lipschitz extension lemma in which the extension procedure simultaneously preserves the Lipschitz continuity for two non-equivalent distances. The two distances under consideration are the Euclidean distance and, roughly speaking, the geodesic distance along integral curves of a (possibly multi-valued) flow of a continuous vector field. The Lipschitz constant for the geodesic distance of the extension can be estimated in terms of the Lipschitz constant for the geodesic distance of the original function. This Lipschitz extension lemma allows us to remove the high integrability assumption on the solution needed for the uniqueness within the DiPerna-Lions theory of continuity equations in the case of vector fields in the Sobolev space $W^{1,p}$, where $p$ is larger than the space dimension, under the assumption that the so-called "forward-backward integral curves" associated to the vector field are trivial for almost every starting point. More precisely, for such vector fields we prove uniqueness and Lagrangianity for weak solutions of the continuity equation that are just locally integrable.

연구 동기 및 목표

• 다이페르나-라온스 이론에서 해의 고도의 적분 가능성 조건을 제거함으로써 유일성과 라그랑주적 구조를 확립하는 것.
• 벡터장이 $W^{1,p}$에 속하고 $p > n$이며 거의 어디서나 정방향-역방향 적분 곡선이 자명한 경우, 연속성 방정식의 약한 해에 대해 유일성과 라그랑주성을 확립하는 것.
• 동일한 조건 하에서 표준 적분 곡선의 거의 어디서나 유일성을 증명함으로써, 절대 연속 초깃값을 가진 양의 측도 해에 대한 유일성을 유도하는 것.
• 적분 곡선을 따라 지오데식 거리 연속성 제어를 가능하게 하는 새로운 분석적 도구—방향성 리프시츠 확장—을 제공하는 것.

제안 방법

• 연속 벡터장의 적분 곡선을 따라 유클리드 거리와 지오데식 거리 양쪽에 대해 리프시츠 연속성을 유지하는 방향성 리프시츠 확장 보조정리를 개발한다.
• 이 보조정리를 사용하여 약한 해가 적분 곡선을 따라 행동하는 방식을 제어하며, 특히 연속성 방정식의 맥락에서 이를 활용한다.
• 정규 라그랑주 흐름 이론과 최대 함수 추정을 적용하여 확장 절차에서 핵심적인 적분 가능성 조건을 검증한다.
• 확장의 지오데식 리프시츠 상수가 원래 함수의 지오데식 리프시츠 상수에 의해 유계임을 증명한다.
• 흐름 沿해 변수변환과 최대 함수 추정을 사용하여 증명에서 $|Db|^{\tilde{p}}$의 $L^p$-노름을 제어한다.
• 초과중합 원리와 흐름의 거의 비압축성 특성을 활용하여 측도 해와 연속성 방정식을 연결한다.

실험 결과

연구 질문

• RQ1 벡터장이 $W^{1,p}$에 속하고 $p > n$이며 해가 $L^\infty([0,T]; L^q)$로 적분 가능하지 않아도, 연속성 방정식의 약한 해에 대해 유일성과 라그랑주적 구조를 확립할 수 있는가?
• RQ2 다이페르나-라온스 이론에서 고도의 적분 가능성 조건을 제거할 수 있는 벡터장의 조건은 무엇인가?
• RQ3 $W^{1,p}$에 속하고 $p > n$이며 정방향-역방향 적분 곡선이 거의 어디서나 자명한 경우, 적분 곡선의 거의 어디서나 유일성을 증명할 수 있는가?
• RQ4 적분 곡선을 따라 유클리드 거리와 지오데식 거리 양쪽을 동시에 제어할 수 있는 방향성 리프시츠 확장 보조정리를 구성할 수 있는가?
• RQ5 정방향-역방향 적분 곡선이 자명한 것은 유일성과 라그랑주성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 벡터장이 $L^1([0,T]; W^{1,p}_{\text{loc}}(\mathbb{R}^n; \mathbb{R}^n))$에 속하고 $p > n$이며 거의 어디서나 정방향-역방향 적분 곡선이 자명한 경우, 약한 해는 국소적으로 적분 가능하더라도 유일하고 라그랑주적이다.
• 방향성 리프시츠 확장 보조정리는 적분 곡선을 따라 지오데식 거리 연속성을 제어할 수 있게 하여, 다이페르나-라온스 이론에서 $L^\infty([0,T]; L^q)$ 적분 가능성 조건을 제거할 수 있다.
• 표준 적분 곡선의 거의 어디서나 유일성이 증명되었으며, 이는 절대 연속 초깃값을 가진 양의 측도 해에 대한 유일성을 유도한다.
• 증명은 최대 함수 추정과 정규 라그랑주 흐름을 따라 하는 변수변환에 기반하며, 관련된 커mutator 항들이 극한에서 0이 됨을 보여준다.
• 표준 가정 (1.4b)와 (1.4c), 압축성 조건 (1.6) 하에서도, 발산이 유계임을 가정하지 않아도 결과가 성립한다.
• 결론 5.4는 동일한 조건 하에서 연속성 방정식의 초기값 문제에 대해 $L^1_{\text{loc}}$ 해와 일치하는 유일한 양의 측도 해가 존재함을 보여준다.