[논문 리뷰] Slicing and fine properties for functions with bounded $\mathcal A$-variation

Adolfo Arroyo-Rabasa|arXiv (Cornell University)|2020. 09. 28.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 계수가 일정한 동차 선형 미분 연산자 $\mathcal{A}$를 갖는 함수에 대해 유계 $\mathcal{A}$-변동성을 가지는 1차원 절단 이론을 수립한다. 이는 모든 $u \in \mathrm{BV}^\mathcal{A}$가 1차원 $\mathrm{BV}$ 섹션으로 분해될 수 있는 연산자 $\mathcal{A}$를 특성화하며, 이로 인해 $\mathcal{A}u$의 절대 연속, 칸토어, 점프 성분을 이러한 섹션의 고전적 도함수로부터 복원할 수 있다. 주요 기여는 고전적 $\mathrm{BV}$ 및 $\mathrm{BD}$ 결과를 광범위한 $\mathrm{BV}^\mathcal{A}$ 공간으로 확장하는 통합된 구조 및 정밀 성질 정리이다.

ABSTRACT

We study the slicing and fine properties of functions in $\mathrm{BV}^{\mathcal A}$, the space of functions with bounded $\mathcal A$-variation. Here, $\mathcal A$ is a homogeneous linear differential operator with constant coefficients (of arbitrary order). Our main result is the characterization of all $\mathcal A$ satisfying the following one-dimensional structure theorem: every $u \in \mathrm{BV}^{\mathcal A}$ can be sliced into one-dimensional $\mathrm{BV}$-sections. Moreover, decomposing $\mathcal A u$ into an absolutely continuous part $\mathcal A^a u$, a Cantor part $\mathcal A^c u$ and a jump part $\mathcal A^j u$, each of these measures can be recovered from the corresponding classical $D^a,D^c$ and $D^j$ $BV$-derivatives of its one-dimensional sections. By means of this result, we are able to analyze the set of Lebesgue points as well as the set of jump points where these functions have approximate one-sided limits. Thus, proving a structure and fine properties theorem in $\mathrm{BV}^{\mathcal A}$. Our results extend most of the classical fine properties of $\mathrm{BV}$ (and all of those known for $\mathrm{BD}$). In particular, we establish a slicing theory and fine properties for $\mathscr {BV}^k, \mathrm{BD}^k$ and a whole class of $\mathrm{BV}^{\mathcal A}$-spaces that is not covered by the existing theory.

연구 동기 및 목표

• 고차 및 비기울기 연산자로의 $\mathrm{BV}$ 및 $\mathrm{BD}$ 고전 결과를 확장하여 $\mathrm{BV}^\mathcal{A}$ 함수에 대한 일반적인 절단 이론을 개발한다.
• 모든 $u \in \mathrm{BV}^\mathcal{A}$가 1차원 $\mathrm{BV}$ 섹션으로 분해될 수 있는 연산자 $\mathcal{A}$의 클래스를 특성화한다.
• 절단 이론 외부에서 co-area 공식이나 유한한 표면적 집합에 의존하지 않고, $\mathscr{BV}^k$, $\mathrm{BD}^k$, 기타 $\mathrm{BV}^\mathcal{A}$ 공간의 분석을 통합한다.
• $\mathcal{A}$에 대한 대수적 조건, 예를 들어 혼합 성질 $\mathfrak{m}_k$와 같은 조건이 절단 및 정밀 성질 정리의 타당성을 보장함을 규명한다.

제안 방법

• 벡터 $w \in \mathbb{R}^M$에 대해 $\operatorname{rank}_{\mathcal{A}}(w)$의 개념을 도입하여, 고차 및 비기울기 연산자로의 고전적 랭크-일성 성질을 일반화한다.
• 스패닝 가족이 존재하는 것과 $\bigcap_{\dim \pi = n-1} \operatorname{span}\{\operatorname{Im} \mathbb{A}^k(\xi) : \xi \in \pi\} = \{0\}$인 혼합 성질이 동치임을 증명한다.
• 방향 $\xi$에 따라 $\mathcal{A}u$를 1차원 섹션으로 분해하기 위해 분해 기법을 적용하여, $\mathcal{A}^a u$, $\mathcal{A}^c u$, $\mathcal{A}^j u$를 섹션의 고전적 도함수 $D^a$, $D^c$, $D^j$로부터 복원한다.
• 복소 타원형 연산자에 대한 기호 계산법과 경계 이론을 활용하여 $\mathcal{A}$-기울기 측도의 구조와 그 직선성에 대해 분석한다.
• $u \in \mathrm{BV}^\mathcal{A}$의 르베그 점과 점프 점의 집합이 그 1차원 섹션의 행동에 의해 특성화됨을 증명한다.
• 절단 이론이 성립하는 것은 정확히 $\mathcal{A}$가 혼합 성질 $\mathfrak{m}_k$를 만족할 때이며, 이는 $\mathcal{A}$를 통한 방향 도함수에 대한 충분한 통제를 보장한다.

실험 결과

연구 질문

• RQ1 계수가 일정한 동차 선형 미분 연산자 $\mathcal{A}$ 중에서, 모든 함수 $u \in \mathrm{BV}^\mathcal{A}$가 $\mathbb{R}^n$의 거의 모든 직선에 따라 1차원 $\mathrm{BV}$ 섹션으로 분해될 수 있는 경우는 언제인가?
• RQ2 $\mathcal{A}u$의 절대 연속, 칸토어, 점프 성분이 $u$의 1차원 섹션의 고전적 도함수로부터 복원될 수 있는가?
• RQ3 $\mathrm{BV}$ 및 $\mathrm{BD}$에서의 랭크-일성 성질을 일반화하여 $\mathrm{BV}^\mathcal{A}$ 함수의 절단 이론이 성립하기 위한 $\mathcal{A}$에 대한 대수적 조건은 무엇인가?
• RQ4 $u \in \mathrm{BV}^\mathcal{A}$의 정밀 성질—예를 들어 근사 연속성 및 점프 점에서의 한쪽 극한 존재성—은 그 1차원 섹션의 행동과 어떻게 관련되는가?
• RQ5 라플라스 연산자나 $\bar{\partial}$, div-curl, 등과 같은 고전적 $\mathrm{BV}$-유형 연산자 중에서 혼합 성질 $\mathfrak{m}_k$를 위반함으로써 절단 및 정밀 성질을 만족하지 못하는 것은 무엇인가?

주요 결과

• 1차원 구조 정리는 $\mathcal{A}$가 혼합 성질 $\mathfrak{m}_k$를 만족할 때에만 성립하며, 이는 모든 코디멘션 1인 평면 $\pi$에 대해 $\mathbb{A}^k(\xi)$의 이미지들의 교차가 자명함을 보장한다.
• $\mathcal{A}u$의 절대 연속, 칸토어, 점프 성분은 모두 $u$의 1차원 섹션의 고전적 도함수 $D^a$, $D^c$, $D^j$로부터 완전히 복원 가능하다.
• $u \in \mathrm{BV}^\mathcal{A}$의 르베그 점 집합은 거의 모든 직선에 따라 거의 어디서나 1차원 섹션의 르베그 점을 갖는 점들과 일치한다.
• $u \in \mathrm{BV}^\mathcal{A}$의 점프 집합은 직선이며, $\mathcal{H}^{n-1}$-거의 모든 점프 점에서 함수가 한쪽 극한을 갖는다. 이는 고전적 $\mathrm{BV}$ 정밀 성질을 일반화한다.
• 라플라스 연산자, $\bar{\partial}$, div-curl, 등과 같은 연산자들은 혼합 성질 $\mathfrak{m}_k$를 만족하지 못하므로 본 논문에서 제시된 절단 및 정밀 성질을 갖지 못한다.
• 이 이론은 기존 프레임워크로는 다루지 못하는 $\mathscr{BV}^k$, $\mathrm{BD}^k$, 기타 $\mathrm{BV}^\mathcal{A}$ 공간으로까지 확장되며, 기울기 이외의 분석 기반을 통합된 토대 위에 제공한다.