[論文レビュー] On some universal Morse-Sard type Theorem
本稿は、ホルダーおよびソボレフ型写像に対する普遍的なモース＝サールド型定理を確立し、$ v \in C^{k,\alpha} $ または $ W^{k}_p $ で $ p = \max(1, n/k) $ の場合、$ m $-臨界集合の下でのほとんどすべての点の逆像の $ \mathcal{H}^\mu $-測度が消えることを証明する。ここで $ \mu = n - m - (k + \alpha)(q - m) $ である。この結果は、古典的およびデュボーツキー＝フェデラーの定理を統一し、$ N $-性質とエントロピー推定を用いて低正則性の設定へと拡張する。
The classical Morse--Sard theorem claims that for a mapping $v:\mathbb R^n o\mathbb R^{m+1}$ of class $C^k$ the measure of critical values $v(Z_{v,m})$ is zero under condition $k\ge n-m$. Here the critical set, or $m$-critical set is defined as $Z_{v,m} = \{ x \in \mathbb R^n : \, { m rank}\, abla v(x)\le m \}$. Further Dubovitski\uı in 1957 and independently Federer and Dubovitski\uı in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the $C^k$ category. Here we formulate and prove a extit{bridge theorem} that includes all the above results as particular cases: namely, if a function $v:\mathbb R^n o\mathbb R^d$ belongs to the Holder class $C^{k,α}$, $0\leα\le1$, then for every $q>m$ the identity $$\mathcal H^μ(Z_{v,m}\cap v^{-1}(y))=0$$ holds for $\mathcal H^q$-almost all $y\in\mathbb R^d$, where $μ=n-m-(k+α)(q-m)$. The result is new even for the classical $C^k$-case (when $α=0$); a similar result is established for the Sobolev classes of mappings $W^k_p(\mathbb R^n,\mathbb R^d)$ with minimal integrability assumptions $p=\max(1,n/k)$, i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some $N$-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015).
研究の動機と目的
- 滑らかでない写像に適用可能な統一的かつ一般化された枠組みを提供することにより、古典的モース＝サールド、デュボーツキー、フェデラーの定理を統合すること。
- 最小限の可積分性仮定のもとで、ホルダーおよびソボレフ型写像の臨界集合の逆像に対する鋭い測度推定を確立すること。
- ソボレフ型写像における非微分可能性点の集合が、一般化されたモース＝サールド定理の文脈で測度論的に無視できるかどうかを示すこと。
- 分数階ソボレフ空間およびベッセル・ポテンシャル空間へ理論を拡張すること。
提案手法
- パrameter $ \mu = n - m - (k + \alpha)(q - m) $ を用いて、古典的 $ C^k $、ホルダー $ C^{k,\alpha} $、ソボレフ $ W^k_p $ の設定の間を補間するブリッジ定理を構築すること。
- ソボレフ写像の $ N $-性質を用いて、非微分可能性点の集合が $ \mathcal{H}^{\tau_*} $-測度でゼロであることを示すこと。ここで $ \tau_* = n - k + 1 $ である。
- 代数幾何学的手法に依拠して、多項式の近臨界値に関するヨムディンのエントロピー推定を適用すること。
- 多項式による近似と最大関数技法を用いて、$ n $-次元区間 $ Q $ に対して $ Z'_{v} \cap Q $ の測度に関する一様推定を確立すること。
- $ W^k_1 $-写像に対する $ L^1 $-ベースの推定を、拡張定理と $ \nabla v_Q $ に対する最大関数の境界を用いて証明すること。
- 2013年および2015年のJ.バーグンおよびJ.クリスティセンとの共同研究における技術を、極限的可積分性ケースを扱うために適応・精錬すること。
実験結果
リサーチクエスチョン
- RQ1正則性が最小限の $ C^{k,\alpha} $ または $ p = \max(1, n/k) $ の $ W^k_p $ であるような写像に対し、モース＝サールド定理を拡張できるか。
- RQ2$ \mathcal{H}^q $-ほとんど至るところの $ y \in \mathbb{R}^d $ に対して、$ Z_{v,m} \cap v^{-1}(y) $ の鋭いハウスドルフ次元は何か。
- RQ3臨界値解析の文脈で、ソボレフ写像における非微分可能性点の集合を測度論的に制御する方法は何か。
- RQ4古典的モース＝サールド、デュボーツキー、フェデラーの定理を特別な場合として含む統一的枠組みは存在するか。
- RQ5代数幾何学からのエントロピー推定を用いて、低正則性設定における臨界集合の測度の鋭い境界を導出できるか。
主な発見
- 任意の $ v \in C^{k,\alpha}({\mathbb{R}}^n, {\mathbb{R}}^d) $ に対して、$ \mathcal{H}^\mu $-測度が $ \mathcal{H}^q $-ほとんど至るところの $ y \in {\mathbb{R}}^d $ に対してゼロである。ここで $ \mu = n - m - (k + \alpha)(q - m) $ である。
- 古典的 $ C^k $-ケース（$ \alpha = 0 $）に対しても、本結果は新規であり、モース＝サールドおよびデュボーツキー＝フェデラーの定理を特別な場合として含む統一的枠組みを提供する。
- $ k \geq n $ かつ $ W^k_1({\mathbb{R}}^n, {\mathbb{R}}^d) $ の場合、非微分可能性点の集合 $ A_v $ に対して $ \mathcal{H}^{n-k+1}(A_v) = 0 $ が成り立ち、測度論的解析において無視できる。
- 極限ケース $ p = 1 $ において、$ k > n $ のとき、$ \sigma = \|\nabla^k v\|_{L_1(Q)} $ とすると、推定 $ \Phi(Z'_{v} \cap Q) \leq C \sigma^{q-m} r^{q + \mu + (k-1-n)(q-m)} $ が成り立つ。
- $ k = n $ のとき、$ q + \mu \geq 1 $ の条件の下で、推定 $ \Phi(Z'_{v} \cap Q) \leq C (\sigma^q r^\mu + \sigma^{q-m} r^{\mu + m}) $ が成り立つ。
- 多項式のヨムディンのエントロピー推定の使用により、近臨界値の測度に対する鋭い制御が可能となり、低正則性領域における証明にとって不可欠である。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。