[論文レビュー] Slicing and fine properties for functions with bounded $\mathcal A$-variation

Adolfo Arroyo-Rabasa|arXiv (Cornell University)|Sep 28, 2020

Advanced Harmonic Analysis Research参考文献 23被引用数 4

ひとこと要約

本稿は、定数係数の斉次線形微分作用素 $\mathcal{A}$ に対して、有界 $\mathcal{A}$-変動をもつ関数の1次元スライシング理論を確立する。$\mathcal{A}$ が特定の性質を満たす場合、任意の $u \in \mathrm{BV}^\mathcal{A}$ が1次元 $\mathrm{BV}$ 切片に分解可能であり、その切片の古典的微分から $\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.

研究の動機と目的

• 関数 $u \in \mathrm{BV}^\mathcal{A}$ に対する一般化されたスライシング理論を構築し、$\mathrm{BV}$ および $\mathrm{BD}$ の古典的結果を高階および非勾配作用素へ拡張すること。
• 任意の $u \in \mathrm{BV}^\mathcal{A}$ が1次元 $\mathrm{BV}$ 切片に分解可能であるような作用素 $\mathcal{A}$ のクラスを特徴付けること。
• $\mathrm{BV}^\mathcal{A}$ フレームワーク内での細部性質（近似的連続性、ジャンプ点における片側極限の存在、ジャンプ集合の可微分性）を確立すること。
• 共面積公式や有限境界集合に依存しない形で、$\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)$ の概念を導入し、高階および非勾配作用素への古典的ランク1性質の一般化を行う。
• Spanning family of $\mathcal{A}$-rank-one vectors の存在が、$\bigcap_{\dim \pi = n-1} \operatorname{span}\{\operatorname{Im} \mathbb{A}^k(\xi) : \xi \in \pi\} = \{0\}$ という混合性質と同値であることを確立する。
• 作用素 $\mathcal{A}$ 沿いの方向 $\xi$ に沿った1次元切片への $\mathcal{A}u$ の分解に、分解技術（disintegration）を適用し、$\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}$ のLebesgue点およびジャンプ点の集合が、その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 スライシング理論が成立するための $\mathcal{A}$ に課される代数的条件（例：$\mathrm{BV}$ および $\mathrm{BD}$ におけるランク1性質の一般化）は何か？
• RQ4 $u \in \mathrm{BV}^\mathcal{A}$ の細部性質（近似的連続性、片側極限の存在など）は、その1次元切片の挙動とどのように関係するか？
• RQ5 ラプラシアンや $\bar{\partial}$、div-curl、コンフォーマル勾配などの古典的 $\mathrm{BV}$-型作用素は、なぜ混合性質 $\mathfrak{m}_k$ を満たさないため、本稿で確立されたスライシングおよび細部性質を満たさないのか？

主な発見

• 1次元構造定理が成立するのは、作用素 $\mathcal{A}$ が混合性質 $\mathfrak{m}_k$ を満たす場合に限る。この性質は、codimension 1 のすべての超平面 $\pi$ に対して $\mathbb{A}^k(\xi)$ の像の共通部分が自明であることを保証する。
• $\mathcal{A}u$ の絶対連続部、カントール部、ジャンプ部は、すべて $u$ の1次元切片の古典的微分 $D^a$、$D^c$、$D^j$ から完全に回復可能である。
• $u \in \mathrm{BV}^\mathcal{A}$ のLebesgue点の集合は、ほとんど至る直線に沿って1次元切片がLebesgue点を持つような点の集合と一致する。
• $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}$ 空間へも拡張可能であり、勾配を超えた細密解析の統一的基盤を提供する。