[论文解读] 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

一句话总结

该论文在 $ s \to 0^+ $ 时建立了分数阶 Orlicz-Sobolev 半范数的极限，以涉及 Young 函数 $ A $ 的加权积分形式表示，证明该极限等于 $ \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.

研究动机与目标

• 将经典的 Maz’ya–Shaposhnikova 定理（关于 Gagliardo–Slobodeckij 半范数极限）推广到更广泛的分数阶 Orlicz–Sobolev 空间框架。
• 确定 Young 函数 $ A $ 满足何种条件时，$ s $-依赖半范数在 $ s \to 0^+ $ 时的极限存在且有限。
• 明确识别出极限泛函的精确形式，表明其与 $ \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 $ 的积分中，经变量替换 $ \xi = \varrho + r, \eta = \varrho - r $ 后。
• 该方法构造了一个具有紧致水平集和受控增长的特定函数 $ u $，以检验 $ \Delta_2 $-条件的必要性，构造中使用了对数和幂次权重。
• 证明基于 $ A $ 的凸性、被积函数的正性以及 $ A $ 在缩放下的渐近行为，采用比较估计。
• 通过构造增长快于任意幂次的 Young 函数（如 $ A(t) = e^{t^\gamma} - 1 $，其中 $ \gamma > 0 $）来构造反例，以表明 $ \Delta_2 $-条件的失效及极限的发散。

实验结果

研究问题

• RQ1 Young 函数 $ A $ 满足何种条件时，分数阶 Orlicz-Sobolev 半范数在 $ s \to 0^+ $ 时的极限存在且为有限积分？
• RQ2 极限的精确泛函形式是什么？它与原始 Young 函数 $ A $ 有何关系？
• RQ3 $ A $ 的 $ \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 $ 如何在半范数的渐近分析中自然出现？

主要发现

• 当 $ A $ 满足 $ \Delta_2 $-条件时，对所有 $ u \in \bigcup_{s \in (0,1)} V^{s,A}_d(\mathbb{R}^n) $，有 $$ \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|) $，其满足对所有 $ t \geq 0 $ 有 $ A(t/2) \leq \overline{A}(t) \leq A(t) $，从而保证了增长行为的等价性。
• 若 $ \Delta_2 $-条件不成立，即使 $ \int_{\mathbb{R}^n} A(|u(x)|) dx < \infty $，极限仍可能发散至无穷大，通过构造显式反例得以证明。
• 反例使用函数 $ u $，其定义为 $ v(x) = \frac{x_1}{|x| \log^{1/\gamma}(\kappa + |x|)} $，并经 $ \lambda \in (1,2) $ 缩放，以表明当 $ s \to 0^+ $ 时半范数发散。
• 发散源于 $ A $ 在缩放下的渐近行为，特别是当 $ A(t) = e^{t^\gamma} - 1 $ 时，该函数违反 $ \Delta_2 $-条件，导致极限中积分发散。
• 该结果推广了经典的 Maz’ya–Shaposhnikova 定理：当 $ A(t) = t^p $ 时，有 $ \overline{A}(t) = t^p / p $，极限恢复了 $ u $ 的 $ L^p $-范数（至多相差依赖于 $ n $ 和 $ p $ 的常数）。