[論文レビュー] On the limit as $s o 0^+$ of fractional Orlicz-Sobolev spaces

Angela Alberico, Andrea Cianchi+2 more|arXiv (Cornell University)|Feb 13, 2020

Advanced Harmonic Analysis Research被引用数 4

ひとこと要約

本稿は、Young関数 $ A $ を含む重み付き積分を用いた分数階Orlicz–Sobolev半ノルムの $ s \to 0^+ $ における極限を特定し、それが $ \overline{A}(|u|) $ の積分に比例することを証明している。この結果は、$ A $ が $ \Delta_2 $-条件を満たす場合に限り成り立つ。この条件は収束性を保証し、分数階Orlicz–Sobolev空間における極限挙動を特徴づける。

ABSTRACT

An extended version of the Maz'ya-Shaposhnikova theorem on the limit as $s o 0^+$ of the Gagliardo-Slobodeckij fractional seminorm is established in the Orlicz space setting. Our result holds in fractional Orlicz-Sobolev spaces associated with Young functions satisfying the $Δ_2$-condition, and, as shown by counterexamples, it may fail if this condition is dropped.

研究の動機と目的

• 分数階Orlicz–Sobolev空間の文脈に一般化されたGagliardo–Slobodeckij半ノルムの極限に関する古典的Maz’ya–Shaposhnikova定理を拡張すること。
• Young関数 $ A $ がどのような条件下で、$ s \to 0^+ $ における $ s $-依存半ノルムの極限が存在し、有限であるかを特定すること。
• 極限の正確な関数的形を同定し、それが $ \overline{A}(|u|) $ の積分に比例することを示すこと。ここで $ \overline{A}(t) = \int_0^t \frac{A(\tau)}{\tau} d\tau $ である。
• 反例を用いて、$ A $ が $ \Delta_2 $-条件を満たさない場合、極限が発散する可能性があること、したがってこの条件が極限の存在に必要不可欠であることを示すこと。

提案手法

• 極限挙動を特徴づけるために、共役Young関数 $ \overline{A}(t) = \int_0^t \frac{A(\tau)}{\tau} d\tau $ を用いる。
• 変数変換と極座標を用いて、$ \mathbb{R}^n \times \mathbb{R}^n $ 上の重積分を評価し、特に $ |x|, |y| > 1 $ かつ $ x_1 > \sigma|x|, y_1 < -\sigma|y| $ を満たす領域に注目する。
• 極限 $ s \to 0^+ $ に移行するためのキーポイントとして、変数変換 $ \xi = \varrho + r, \eta = \varrho - r $ の後、$ \xi = \varrho + r $ における積分で単調収束定理を適用する。
• コンパクトなレベル集合と制御された成長を示す特定の関数 $ u $ を構成し、$ \Delta_2 $-条件の必要性をテストする。この構成には対数的およびべき乗型の重みが用いられる。
• 凸性、被積分関数の正値性、および $ A $ のスケーリングにおける漸近的挙動に基づく比較推定を用いる。
• 反例として、$ A(t) = e^{t^\gamma} - 1 $（$ \gamma > 0 $）など、任意のべき乗よりも速く成長するYoung関数を用い、$ \Delta_2 $-条件を満たさない場合に極限が発散することを示す。

実験結果

リサーチクエスチョン

• RQ1 Young関数 $ A $ がどのような条件下で、$ s \to 0^+ $ における分数階Orlicz–Sobolev半ノルムの極限が存在し、有限の積分に等しくなるか。
• RQ2 極限の正確な関数的形は何か。また、元のYoung関数 $ A $ とどのように関係しているか。
• RQ3 $ \Delta_2 $-条件が極限が有限であるために必要であるか、あるいは一部のケースで成立しない場合に極限が有限でないことがあるか。
• RQ4 $ A $ が $ \Delta_2 $-条件を満たさない場合、$ \int_{\mathbb{R}^n} A(|u(x)|) dx < \infty $ であっても極限が無限大に発散する可能性はあるか。
• RQ5 共役関数 $ \overline{A}(t) = \int_0^t \frac{A(\tau)}{\tau} d\tau $ は、半ノルムの漸近的解析においてどのように自然に現れるか。

主な発見

• Young関数 $ A $ が $ \Delta_2 $-条件を満たす限り、すべての $ u \in \bigcup_{s \in (0,1)} V^{s,A}_d(\mathbb{R}^n) $ に対して、$ s \to 0^+ $ における極限 $$ \lim_{s \to 0^+} s \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} A\left( \frac{|u(x)-u(y)|}{|x-y|^s} \right) \frac{dx\,dy}{|x-y|^n} $$ が存在し、$ \frac{2\omega_n}{n} \int_{\mathbb{R}^n} \overline{A}(|u(x)|) dx $ に等しい。
• 極限関数は $ A(|u|) $ ではなく、共役関数 $ \overline{A}(|u|) $ である。$ \overline{A} $ はすべての $ t \geq 0 $ に対して $ A(t/2) \leq \overline{A}(t) \leq A(t) $ を満たすため、成長の挙動が同値であることが保証される。
• $ \Delta_2 $-条件が成立しない場合、$ \int_{\mathbb{R}^n} A(|u(x)|) dx < \infty $ であっても極限が無限大に発散する可能性がある。これは、成長が著しく速い $ A $ を用いた明示的反例によって示された。
• 反例では、$ v(x) = \frac{x_1}{|x| \log^{1/\gamma}(\kappa + |x|)} $ を用い、$ \lambda \in (1,2) $ でスケーリングした関数 $ u $ を定義することで、$ s \to 0^+ $ における半ノルムが発散することを示した。
• 発散は、特に $ A(t) = e^{t^\gamma} - 1 $ のように、$ \Delta_2 $-条件を満たさないスケーリングにおける $ A $ の漸近的挙動に起因する。これにより、極限で発散する積分が生じる。
• 本結果は、古典的Maz’ya–Shaposhnikova定理を一般化する。$ A(t) = t^p $ の場合、$ \overline{A}(t) = t^p / p $ となり、極限は $ n $ および $ p $ に依存する定数倍の $ u $ の $ L^p $-ノルムに一致する。