[논문 리뷰] Geometric Rigidity Estimates for Incompatible Fields in Dimension $\ge$ 3

Gianluca Lauteri, Stephan Luckhaus|arXiv (Cornell University)|2017. 03. 09.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 $ n \geq 3 $ 차원에서 비호환 행렬장에 대한 기하학적 강성 추정을 수립하며, $ p > 1^* = \frac{n}{n-1} $ 에서 스케일 불변 $ L^p $ 추정을 증명하고 임계 지수에서 약한 $ L^{1^*} $ 추정을 제시한다. 평균 선형 호모토피 연산자 $ T $ 를 도입하여 비호환 장을 분해함으로써, $ \operatorname{Curl} $ 가 유한한 $ SO(n) $-값을 갖는 장에 대해 $ BV $ 추정을 가능하게 하며, 이는 이러한 장이 $ \operatorname{Curl} $ 가 유한할 경우 $ BV $ 에 속한다는 것을 의미한다.

ABSTRACT

We prove geometric rigidity inequalities for incompatible fields in dimension higher than 2. We are able to obtain strong scaling-invariant $L^p$ estimates in the supercritical regime, while for critical exponent $1^* = \frac{n}{n-1}$ we have a scaling invariant inequality only for the weak-$L^1$ norm. Although not optimal, such an estimate in $L^{1 ,\infty}$ is enough in order to infer a useful lemma which gives $BV$ bounds for $SO(n)$-valued fields with bounded Curl.

연구 동기 및 목표

• 고전적 기울기 기반 추정이 실패하는 $ n \geq 3 $ 차원에서 비호환 장으로의 기하학적 강성 추정 확장을 목표로 한다.
• 비호환 장에 대해 $ p > 1^* = \frac{n}{n-1} $ 인 초임계 영역에서 스케일 불변 $ L^p $ 추정을 수립한다.
• 임계 지수 $ 1^* $ 에서 약한 $ L^{1^*} $ 추정을 유도하여, $ SO(n) $-값을 갖는 장에 대해 $ BV $ 추정을 이끌어내는 데에 충분한지를 확인한다.
• $ \operatorname{Curl}(A) \in \mathcal{M}^n(\Omega) $ 이고 $ A \in SO(n) $ 거의 everywhere 이면 $ A \in BV(\Omega, SO(n)) $ 임을 증명하며, 약간의 정규성 조건을 가정한다.

제안 방법

• 평균 선형 호모토피 연산자 $ T $ 를 사용하여 비호환 장 $ A $ 를 호환 부분과 나머지로 분해한다. 이는 약한 특이 적분 연산자이다.
• 항등식 $ \omega = T\,\mathrm{d}\omega + \mathrm{d}T\,\omega $ 를 이용하여 장을 그의 $ \operatorname{Curl} $ 과 $ \mathrm{Calder\acute{o}n\text{-}Zygmund} $ 연산자에 의해 제어되는 나머지로 표현한다.
• 핵 $ \frac{1}{|x-y|^{n-1}} $ 에 기반한 점별 $ L^p $ 추정을 $ T $ 에 적용하여 $ p > 1^* $ 에서 나머지를 $ L^p $ 에서 제어한다.
• Conti, Dolzmann, 및 Müller 의 약한 기하학적 강성 추정을 활용하여 임계 지수에서 약한 $ L^{1^*} $ 에서 스케일 불변 부등식을 도출한다.
• 측도 $ \varrho $ 의 정사각형에서 $ A $ 의 조각별 상수 근사 $ A_\varrho $ 를 구성한다. 각 정사각형에서 $ \operatorname{dist}(A, SO(n)) $ 를 최소화하는 회전 $ R_i^{(\varrho)} $ 를 사용한다.
• $ \varrho^{\frac{n-2}{2}} \|\operatorname{dist}(A, SO(n))\|_{L^2} + |\operatorname{Curl}(A)|(\Omega) $ 에 의해 총 변동도 $ |DA_\varrho| $ 와 $ L^1 $ 오차 $ \|A - A_\varrho\|_{L^1} $ 를 제어한다.

실험 결과

연구 질문

• RQ1 기하학적 강성 추정은 $ n \geq 3 $ 차원에서 비호환 장으로 확장될 수 있는가? 특히 초임계 영역 $ p > 1^* $ 에서는 가능한가?
• RQ2 임계 지수 $ 1^* $ 에서 스케일 불변 추정이 가능할까? 만약 가능하면 어떤 함수 공간에서 가능한가?
• RQ3 약한 $ L^{1^*} $ 추정을 사용하여 $ \operatorname{Curl} $ 가 유한한 $ SO(n) $-값을 갖는 장에 대해 유한한 변동도(BV) 정규성을 이끌어낼 수 있는가?
• RQ4 이러한 장의 조각별 상수 근사의 $ L^1 $ 오차와 총 변동도의 최적 스케일링은 $ \varrho $ 에 대해 어떻게 표현되는가?
• RQ5 $ SO(n) $ 에 거의 어디서나 속하는 장의 $ \operatorname{Curl} $ 이 그의 $ BV $-반정규를 제어하는가?

주요 결과

• $ p > 1^* = \frac{n}{n-1} $ 에서, 이 논문은 $ n \geq 3 $ 차원에서 비호환 장에 대해 스케일 불변 $ L^p $ 기하학적 강성 추정을 수립하며, 상수는 $ n $ 에만 의존한다.
• 임계 지수 $ 1^* $ 에서는 약한 $ L^{1^*} $ 공간에서 스케일 불변 추정을 확보하였으며, 이는 $ SO(n) $-값을 갖는 장에 대해 $ BV $ 추정을 이끌어내기에 충분하다.
• 약한 $ L^{1^*} $ 추정은 $ A \in SO(n) $ 거의 어디서나 이고 $ \operatorname{Curl}(A) \in \mathcal{M}^n(\Omega) $ 이면 $ A \in BV(\Omega, SO(n)) $ 임을 의미하며, $ |DA|(\Omega) \leq C_n |\operatorname{Curl}(A)|(\Omega) $ 를 만족한다.
• 조각별 상수 근사 $ A_\varrho $ 는 $ \frac{1}{\varrho}\|A - A_\varrho\|_{L^1} + |DA_\varrho|(\Omega) \leq C_n \left( \varrho^{\frac{n-2}{2}} \|\operatorname{dist}(A, SO(n))\|_{L^2} + |\operatorname{Curl}(A)|(\Omega) \right) $ 를 만족한다.
• $ \varrho \to 0 $ 일 때 $ A_\varrho \to A $ 가 강한 $ L^1 $ 수렴을 이루며, 총 변동도 $ |DA_\varrho| $ 는 $ \varrho $ 에 대해 일관되게 유계이므로, $ A \in SO(n) $ 거의 어디서나 이고 $ \operatorname{Curl}(A) $ 가 유한하면 $ A \in BV(\Omega, SO(n)) $ 임을 의미한다.