[논문 리뷰] Quantitative estimates for regular Lagrangian flows with $BV$ vector fields

Quoc‐Hung Nguyen|arXiv (Cornell University)|2018. 01. 01.

Geometric Analysis and Curvature Flows참고 문헌 37인용 수 7

한 줄 요약

이 논문은 성분이 BV 함수와 특이 커널의 컨볼루션인, $L^1_{\text{loc}}(\mathbb{R}_+; L^1_{\text{loc}}(\mathbb{R}^d) + L^\infty(\mathbb{R}^d))$에 속하는 벡터장에 대해 정규화된 라그랑주 흐름에 대한 정량적 추정을 수립한다. 이는 발산 조건을 만족할 때를 전제로 한다. 이 조건 하에서 흐름의 잘 정의됨을 증명하고, 두 차원에서 특정한 BV 벡터장에 대해 정규화된 라그랑주 흐름의 비유일성을 보여주는 반례를 구성한다.

ABSTRACT

This paper is devoted to the study of flows associated to non-smooth vector fields. We prove the well-posedness of regular Lagrangian flows associated to vector fields $\mathbf{B}=(\mathbf{B}^1,...,\mathbf{B}^d)\in L^1(\mathbb{R}_+;L^1(\mathbb{R}^d)+L^\infty(\mathbb{R}^d))$ satisfying $ \mathbf{B}^i=\sum_{j=1}^{m}\mathbf{K}_j^i*b_j,$ $b_j\in L^1(\mathbb{R}_+,BV(\mathbb{R}^d))$ and $\operatorname{div}(\mathbf{B})\in L^1(\mathbb{R}_+;L^\infty(\mathbb{R}^d))$ for $d,m\geq 2$, where $(\mathbf{K}_j^i)_{i,j}$ are singular kernels in $\mathbb{R}^d$. Moreover, we also show that there exist an autonomous vector-field $\mathbf{B}\in L^1(\mathbb{R}^2)+L^\infty(\mathbb{R}^2)$ and singular kernels $(\mathbf{K}_j^i)_{i,j}$, singular Radon measures $μ_{ijk}$ in $\mathbb{R}^2$ satisfying $\partial_{x_k} \mathbf{B}^i=\sum_{j=1}^{m}\mathbf{K}_j^i\starμ_{ijk}$ in distributional sense for some $m\geq 2$ and for $k,i=1,2$ such that regular Lagrangian flows associated to vector field $\mathbf{B}$ are not unique.

연구 동기 및 목표

• 비연속적인 벡터장에 의해 유도되는 정규화된 라그랑주 흐름에 대한 정량적 추정을 수립한다. 이 벡터장은 $L^1_{\text{loc}}(\mathbb{R}_+; L^1_{\text{loc}}(\mathbb{R}^d) + L^\infty(\mathbb{R}^d))$에 속하며, 성분이 BV 함수의 특이 적분 형태를 가진다.
• 벡터장의 구조적 가정과 그 발산에 대한 조건 하에서 정규화된 라그랑주 흐름의 잘 정의됨을 증명한다.
• 두 차원에서 $L^1(\mathbb{R}^2) + L^\infty(\mathbb{R}^2)$에 속하는 벡터장에 대해, 도함수가 특이 라돈 측도의 적분으로 표현되는 경우 정규화된 라그랑주 흐름의 비유일성을 보여주는 반례를 구성한다.

제안 방법

• Kakeya 유형의 최대 특이 적분 연산자의 정교한 분석을 통해 재규합 틀에서의 흐름의 정규성과 커mutator를 제어한다.
• 두 흐름 간의 로그 거리 측도인 시간에 의존하는 함수 $\Phi_\delta(t)$를 도입하여 하디-리틀우드 최대 함수를 통해 정량적 추정을 유도한다.
• 벡터장의 특이 부분 $DsB$의 구조에 적합한 특수한 정규화 커널 $\rho$를 사용하여, $\text{trace}(M(x))|DsB|(x) = 0$일 때 결함 측도 $\sigma$가 사라지도록 보장한다.
• 특이 커널과 라돈 측도의 새로운 구성 기법을 도입하여, 도함수가 측도의 특이 적분 연산자인 벡터장을 실현하고 반례를 만들 수 있도록 한다.
• 모든 $p > 1$에 대해 최대 함수의 $L^p$ 유계성과 흐름의 야코비안 행렬식의 구조를 이용하여 흐름 차이의 성장률을 제어한다.
• 이중 분할과 레이어 케이크 분할을 통해 두 흐름이 다를 확률 집합의 측도를 추정한다.

실험 결과

연구 질문

• RQ1 BV 유형 성분과 $L^1$ 발산을 가진 벡터장 $B$에 대해, 정규화된 라그랑주 흐름이 비유일적으로 잘 정의되기 위한 구조적 가정은 무엇인가?
• RQ2 최대 함수와 특이 적분 연산자를 사용하여 $BV$ 설정에서 두 흐름의 차이에 대한 정량적 추정을 유도할 수 있는가?
• RQ3 $L^1(\mathbb{R}^2) + L^\infty(\mathbb{R}^2)$에 속하고 $BV$ 유형의 구조를 가진 벡터장을 구성할 수 있는가? 이 경우에 해당하는 정규화된 라그랑주 흐름은 비유일적인가?
• RQ4 특이 부분 $DsB$의 구조는 커mutator 수렴과 결함 측도 $\sigma$의 소멸에 어떤 역할을 하는가?
• RQ5 Kakeya 유형의 최대 특이 적분 연산자는 $BV$ 설정에서 흐름의 정규성을 어떻게 제어하는가?

주요 결과

• 차원 $d, m \geq 2$에서, $B_i = \sum_{j=1}^m K_j^i * b_j$, $b_j \in L^1(\mathbb{R}_+; BV(\mathbb{R}^d))$, $\text{div}(B) \in L^1(\mathbb{R}_+; L^\infty(\mathbb{R}^d))$를 만족하는 벡터장 $B = (B_1, \dots, B_d)$에 대해 정규화된 라그랑주 흐름의 잘 정의됨이 입증된다.
• 논문은 자율적 벡터장 $B \in L^1(\mathbb{R}^2) + L^\infty(\mathbb{R}^2)$를 구성하여, 분포적 의미에서 $\partial_{x_k} B_i = \sum_{j=1}^m K_j^i * \mu_{ijk}$를 만족하고, 이에 대응하는 정규화된 라그랑주 흐름이 비유일적임을 보인다.
• 반례는 원 위에서 동차인 $L^\infty \cap BV$ 함수 $\tilde{\Omega}_j$를 구성함에 의해 기반한다. 이 함수들은 $R_j^2((\chi_{|x|} - \chi_{|x|/2})\nu)(x) = \tilde{\Omega}_j(x)/|x|^2$를 만족하며, $S^1$에서 평균이 0이고, 차수 $-2$의 동차 함수이다.
• 비유일성의 증명은 도함수의 특이 부분 $DsB$가 0이 아니지만, 특이 커널의 방향에 따른 추적(trace)가 0이 되기 때문에 결함 측도 $\sigma$가 사라지도록 허용한다는 사실에 기반한다. 이는 비연속성에도 불구하고 가능하다.
• 시간에 의존하는 함수 $\Phi_\delta(t)$를 통해 정량적 추정이 도출되며, 이에 따라 $L^d(\{x \in B_R : |X_1(t,x) - X_2(t,x)| > \delta^{1/2}\}) \lesssim |\log \delta|^{-1}$가 성립한다. 이는 $\delta \to 0$일 때 유일성을 암시한다.
• 이 방법은 흐름 방향에 따라 국소적인 가정 하에서 두 차원의 $L^1(BV)$ 벡터장으로 확장 가능하며, 이는 De Lellis-Crippa 접근법이 도함수의 특이 부분을 제어하지 못함을 보여준다.