[논문 리뷰] Fine properties of functions with bounded variation in Carnot-Carathéodory spaces

Sebastiano Don, Davide Vittone|arXiv (Cornell University)|2018. 08. 29.

Stochastic processes and financial applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 캐르노-카라테오도리(CC) 공간에서 유계 변동성(BV) 함수의 미세한 성질을 확립하며, 거의 everywhere 근처 X-미분 가능성과 그 분포 도함수의 구조를 규명한다. 성질 $\mathcal{R}$ 하에서 거의 모든 불연속성은 점프 유형임을 보이고, 도함수의 점프 부분에 대한 표현 공식을 유도하여 고전적 BV 이론을 부분 리만 기하학적 환경으로 확장한다.

ABSTRACT

We study properties of functions with bounded variation in Carnot-Ca\-ra\-théo\-do\-ry spaces. We prove their almost everywhere approximate differentiability and we examine their approximate discontinuity set and the decomposition of their distributional derivatives. Under an additional assumption on the space, called property $\mathcal R$, we show that almost all approximate discontinuities are of jump type and we study a representation formula for the jump part of the derivative.

연구 동기 및 목표

• 등규칙적 캐르노-카라테오도리(CC) 공간에서 BV 함수의 미세한 미분 가능성 및 분해 성질을 확립하기 위해.
• 부분 리만 기하학에서 BV 함수에 대한 근사적 X-점프의 개념을 정의하고 분석하기 위해.
• 성질 $\mathcal{R}$ 하에서 도함수의 특이 부분이 점프 유형 불연속성에만 집중되어 있음을 증명하기 위해.
• CC 공간에서 분포 도함수의 점프 부분에 대한 표현 공식을 도출하기 위해.
• 고전적 BV 결과—예를 들어 근사적 미분 가능성과 점프 집합의 구조—를 비유클리드적 환경인 CC 공간으로 확장하기 위해.

제안 방법

• 기존의 $\mathbb{R}^n$에서의 BV 함수에 대한 고전적 $L^1$-유형 추정치를 CC 공간으로 일반화하는 새로운 부등식(보조정리 3.12)을 사용하여 [5]에서 제기된 열린 문제를 해결한다.
• 근사적 $X$-미분 가능성의 개념을 도입하고, 도함수의 절대 연속 부분이 르베그 측도에 대해 밀도를 가지는 방식으로 근사적 $X$-기울기를 정의한다.
• 노름화된 탄성 접선 콘에서의 내재적 $C^1_X$-정규 초면과 확대 기법을 사용하여 $X$-점프 점과 관련된 삼중체 $(u^+, u^-, \nu_u)$를 정의한다.
• 레베그 점 근처에서 $u$의 점근적 행동을 분석하기 위해 확대 변환 $\delta_r$과 미분형사 $F_p$를 적용한다.
• 동차 차원 $Q$와 $\mathscr{H}^{Q-1}$-측도를 사용하여 근사 불연속 집합 $\mathcal{S}_u$의 크기와 구조를 특성화한다.
• 특성 함수의 근사와 측도의 약한 수렴을 이용하여 근사 기울기와 점프 삼중체의 보렐 가측성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 결과인 BV 함수에 대한 거의 everywhere 근처 근사적 미분 가능성은 캐르노-카라테오도리 공간의 함수로 확장될 수 있는가?
• RQ2 등규칙적 CC 공간에서 $BV_X$ 함수의 분포 도함수 $D_X u$의 구조는 어떠한가?
• RQ3 부분 리만 기하학적 환경에서 함수의 근사 불연속성이 점프 유형이 되는 조건은 무엇인가?
• RQ4 CC 공간에서 $D_X u$의 점프 부분에 대한 표현 공식을 도출할 수 있는가?
• RQ5 근사한 극한과 근사적 점프의 개념은 $X$-미분 가능성의 맥락에서 어떻게 일반화되는가?

주요 결과

• 논문은 모든 $u \in BV_X(\Omega; \mathbb{R}^k)$가 $\Omega$ 내에서 $\mathscr{L}^n$-거의 모든 곳에서 근사적 $X$-미분 가능하며, 근사적 $X$-기울기가 $D_X^a u$의 밀도와 일치함을 증명한다.
• 근사한 극한이 존재하지 않는 점의 집합 $\mathcal{S}_u$는 유한한 $\mathscr{H}^{Q-1}$-측도를 가진 집합들의 가산 합집합에 포함된다.
• 성질 $\mathcal{R}$ 하에서 $D_X u$의 특이 부분은 전적으로 점프 집합 $\mathcal{J}_u$에 집중되어 있으며, 즉 $D_X^s u = D_X^j u$임을 의미한다.
• 점프 부분 $D_X^j u$는 점프 삼중체 $(u^+, u^-, \nu_u)$를 포함하는 표현 공식을 가진다. 이때 $\mathcal{J}_u$는 $\mathscr{H}^{Q-1}$-직선적임이 입증된다.
• 근사 기울기 $D_X^{ap} u$와 점프 삼중체는 $\Omega \setminus \mathcal{S}_u$ 위에서 보렐 가측 함수이다.
• 논문은 근사한 극한과 점프 삼중체가 거의 모든 곳에서 유일하게 정의됨을 확립하여, 확대 및 추적 정의의 일관성을 보장한다.