[논문 리뷰] On the limit as $s o 0^+$ of fractional Orlicz-Sobolev spaces

Angela Alberico, Andrea Cianchi외 2명|arXiv (Cornell University)|2020. 02. 13.

Advanced Harmonic Analysis Research인용 수 4

한 줄 요약

이 논문은 점근적 분석을 통해 분수형 Orlicz–Sobolev 반노름의 $ s \to 0^+ $ 극한을, 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.

연구 동기 및 목표

• 분수형 Orlicz–Sobolev 공간으로의 고전적 Maz’ya–Shaposhnikova 정리의 일반화를 목적으로 하며, Gagliardo–Slobodeckij 반노름의 극한을 더 넓은 맥락으로 확장한다.
• 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| $ 인 영역에 집중한다.
• 주요 단계로는 변수 교체 $ \xi = \varrho + r, \eta = \varrho - r $ 이후 $ \xi = \varrho + r $ 에서의 적분에 대해 단조수렴정리를 적용하여 $ s \to 0^+ $로의 극한을 취한다.
• 특정 함수 $ u $를 구성하여 $ \Delta_2 $-조건의 필요성을 시험하며, 이 함수는 컴acts한 수준집합과 제어 가능한 성장률을 가지며, 로그 및 거듭제곱형 가중치를 포함한다.
• 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 $는 반노름의 점근적 분석에서 어떻게 자연스럽게 나타나는가?

주요 결과

• 모든 $ u \in \bigcup_{s \in (0,1)} V^{s,A}_d(\mathbb{R}^n) $ 에 대해, $ 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 $가 $ \Delta_2 $-조건을 만족할 때 성립한다.
• 극한 기능은 $ 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 $ 이더라도 극한이 무한으로 발산할 수 있으며, 이는 빠르게 증가하는 $ A $를 사용한 명시적 반례로 입증된다.
• 반례는 $ v(x) = \frac{x_1}{|x| \log^{1/\gamma}(\kappa + |x|)} $ 를 정의하고 $ \lambda \in (1,2) $ 로 스케일링하여, $ s \to 0^+ $ 일 때 반노름이 발산함을 보인다.
• 발산은 특히 $ A(t) = e^{t^\gamma} - 1 $ 인 경우에 스케일링에 따른 $ A $의 점근적 행동에서 기인하며, 이 경우 $ \Delta_2 $-조건을 위반하여 극한에서 적분이 발산한다.
• 결과는 고전적 Maz’ya–Shaposhnikova 정리를 일반화한다: $ A(t) = t^p $ 이면 $ \overline{A}(t) = t^p / p $ 이며, 극한은 $ n $ 과 $ p $ 에 따라 상수배를 제외하고 $ u $ 의 $ L^p $-노름을 회복한다.