[논문 리뷰] Nikol'skii-type inequalities for rearrangement invariant spaces

E. Ostrovsky, L. Sirota|ArXiv.org|2008. 04. 15.

Advanced Harmonic Analysis Research참고 문헌 19인용 수 18

한 줄 요약

이 논문은 재배열 불변(r.i.) 공간, 특히 모멘트 재배열 불변(m.r.i.) 공간과 로렌츠 유형 공간에 대해 날카로운 니콜스키 유형 부등식을 수립한다. 강한 및 약한 니콜스키 쌍을 특성화하기 위해 $ W_n(X,Y,K_1,K_2) $라는 니콜스키 함수를 도입하며, 분포 함수 추정과 기본 함수 분석을 통해 정확한 경계를 도출한다. 많은 고전적 r.i. 공간—오르리치, 로렌츠, 마르친키에비치 공간 등—이 정확한 조건 하에 강한 또는 약한 니콜스키 쌍임을 증명한다.

ABSTRACT

In this paper we generalize the classical Nikol'skii inequality on the many popular classes pairs of rearrangement invariant (r.i.) spaces and construct some examples in order to show the exactness of our estimations.

연구 동기 및 목표

• 재배열 불변(r.i.) 공간 간의 강한 및 약한 니콜스키 쌍을 특성화하기 위해.
• 기존의 $ L^p $ 공간을 초월하여 오르리치, 로렌츠, 마르친키에비치 공간과 같은 더 넓은 r.i. 클래스로 고전적 니콜스키 부등식을 일반화하기 위해.
• 특히 기본 함수와 천천히 변화하는 함수에 관해 니콜스키 함수 $ W_n(X,Y,K_1,K_2) $에 대한 날카로운 추정을 수립하기 위해.
• 명시적 반례와 하한 구성 방법을 통해 이러한 추정의 정확성을 입증하기 위해.

제안 방법

• 재배열 불변(r.i.) 공간의 기본 함수 $ \phi $를 사용하여, 비영인 다항식 $ t_n \in A(n) $ 에 대해 비율 $ \frac{\|t_n\|_X / \phi(X,K_1/\sigma)}{\|t_n\|_Y / \phi(Y,K_2/\sigma)} $ 의 상한으로서 니콜스키 함수 $ W_n(X,Y,K_1,K_2) $ 를 정의한다.
• 함수의 $ p \in (a,b) $ 에서의 $ L^p $-노름을 이용해 모멘트 재배열 불변(m.r.i.) 공간을 정의함으로써, 보간 및 임베딩 성질 분석이 가능하도록 한다.
• 페저 핵 $ D_n(x) $ 의 분포 함수 추정을 사용하여, $ m\{x: D_n(x) > \lambda\} \asymp n^{-1} G(\lambda) $ 라고 보여주며, 여기서 $ G(\lambda) \asymp \delta^{-1/2} $ 이다 (작은 $ \lambda $ 에서).
• 로렌츠 공간 부등식의 날카로움을 특성화하기 위해 조건 $ \phi \in Q $ 를 도입하며, 이는 $ \int_0^{1/4} \phi(\epsilon G(\lambda)) \, d\lambda \leq \phi(C\epsilon) $ 로 정의된다.
• 기본 함수 $ \phi \in Q $ 를 만족할 경우, $ \|D_n\|_{\Lambda(\phi)} \asymp \phi(C/n) $ 의 성질을 이용하여 $ \underline{\lim}_{n\to\infty} W_n(X,Y,K_1,K_2) > 0 $ 의 날카로운 하한을 증명한다.
• 정규 r.i. 공간—예를 들어 $ G(\psi) $, 지그문트, 로렌츠 공간—은 $ \|D_n\|_X \asymp \phi(X,C/n) $ 를 만족하며, 이는 정확한 渐近 분석이 가능하게 한다.

실험 결과

연구 질문

• RQ1 r.i. 공간 $ X $ 와 $ Y $ 가 어떤 조건을 만족할 경우, 니콜스키 함수 $ W_n(X,Y,K_1,K_2) $ 가 $ n $ 에 대해 균일 유계인가?
• RQ2 r.i. 공간 쌍이 강한 또는 약한 니콜스키 쌍이 되는 조건는 무엇이며, 이를 초래하는 부등식의 날카로움은 무엇으로 특성화되는가?
• RQ3 기본 함수 $ \phi(X,\delta) $ 와 페저 핵 $ D_n(x) $ 의 분포적 행동이 로렌츠 및 m.r.i. 공간에서 니콜스키 유형 부등식의 날카로움을 어떻게 결정하는가?
• RQ4 조건 $ \phi \in Q $ 는 $ W_n $ 의 하한의 양성 보장에 어떤 역할을 하는가? 그리고 이는 날카로움과 어떻게 관련되는가?
• RQ5 로렌츠 공간에 대해 역 니콜스키 부등식을 정확히 특성화할 수 있는가? 이는 r.i. 공간의 정규성에 대해 어떤 함의를 갖는가?

주요 결과

• 쌍 $ (X,Y) $ 가 강한 니콜스키 쌍이 되는 것은 $ \sup_n W_n(X,Y) < \infty $ 와 동치이며, 이는 오르리치, 로렌츠, 마르친키에비치 공간과 같은 많은 고전적 r.i. 공간에 대해 성립한다.
• $ \phi \in Q $ 를 만족할 경우, $ \underline{\lim}_{n\to\infty} W_n(\Lambda(\phi_1), \Lambda(\phi_2), K_1, K_2) = K_3 > 0 $ 를 증명함으로써, 로렌츠 공간에서의 추정의 날카로움을 입증한다.
• $ \phi \in Q $ 를 만족할 경우, 추정 $ \|D_n\|_{\Lambda(\phi)} \asymp \phi(C/n) $ 가 성립하며, 이는 니콜스키 함수의 날카로운 하한을 도출하는 데 사용된다.
• $ \phi \in Q $ 는 정규 r.i. 공간 $ X $ 에 대해 $ \underline{\lim}_{n\to\infty} W_n(\Lambda(\phi), X, K_1, K_2) > 0 $ 의 하한이 성립하기 위해 필수적이고 충분한 조건이다.
• 정규 r.i. 공간(예: $ G(\psi) $, 지그문트, 로렌츠)은 $ \|D_n\|_X \asymp \phi(X,C/n) $ 를 만족하며, 이는 니콜스키 함수가 渐近적으로 0이 되지 않음을 보장한다.
• 논문은 정리 4의 추정이 날카로움을 증명하기 위해 표현식 $ Z = \sigma^{1/s - 1/r} \left[ \frac{r}{r - q} \right]^{\gamma/r} \left[ \frac{s}{p - s} \right]^{-\beta/s} $ 의 최소화를 통해 유도된 경계의 최적성을 보여준다.