[논문 리뷰] Variational Inequalities For The Differences Of Averages Over Lacunary Sequences

Sakin Demir|arXiv (Cornell University)|2022. 03. 04.

Approximation Theory and Sequence Spaces인용 수 4

한 줄 요약

이 논문은 빈약한 수열에서의 평균 차이의 $\ell^s$-노름으로 정의된 변동 연산자 $\mathcal{V}_s f(x)$에 대해 강한 및 약한 유형의 가중치 부등식을 수립한다. 컨볼루션 형식의 특이 적분 연산자와 가중치 노름 이론을 활용하여, $w$가 $A_p$ 또는 $A_1$ 조건을 만족할 경우 $1 < p < ∞$ 에서 $\mathcal{V}_s$ 가 $L^p(w)$ 에서 유계임을 증명하며, 이는 $2 \leq s < \infty$ 인 일반적인 빈약한 수열으로 기존 결과를 확장한다. 주요 기여는 이중적 구조 분해와 커널 $D_r$ 조건 분석을 통해 변동 $L^p$ 및 BMO 추정을 임의의 빈약한 수열으로 확장하는 데 있다.

ABSTRACT

Let $f$ be a locally integrable function defined on $\mathbb{R}$, and let $(n_k)$ be a lacunary sequence. Define the operator $A_{n_k}$ by $$A_{n_k}f(x)=\frac{1}{n_k}\int_0^{n_k}f(x-t)\, dt.$$ We prove various types of new inequalities for the variation operator $$\mathcal{V}_sf(x)=\left(\sum_{k=1}^\infty|A_{n_k}f(x)-A_{n_{k-1}}f(x)|^s ight)^{1/s}$$ when $2\leq s&lt;\infty$.

연구 동기 및 목표

• 기존의 이중적 수열에서의 변동 $L^p$ 및 BMO 추정을 이중적 수열에서 일반적인 빈약한 수열으로 확장한다.
• 빈약한 수열에서의 평균의 $\ell^s$-변동에 대해 강한 및 약한 유형의 가중치 노름 부등식을 수립한다.
• $\mathcal{V}_s f$ 가 $A_p$ 가중치에 대해 $H^1$, $L^p$, BMO 공간에서 유계임을 증명한다.
• 이중적 설정(예: $2^n$)의 결과를 $n_{k+1}/n_k \geq \beta > 1$ 조건을 만족하는 임의의 빈약한 수열으로 일반화한다.

제안 방법

• 주어진 빈약한 수열 $(n_k)$ 에서 $\beta \leq m_{j+1}/m_j \leq \beta^2$ 를 만족하는 이중적 유사 수열 $(m_j)$ 를 구성하여 변동의 구조를 유지한다.
• 항등식 $A_{n_k}f(x) - A_{n_{k-1}}f(x) = \sum_{j \in J(k)} (A_{m_j}f(x) - A_{m_{j-1}}f(x))$ 를 사용하여 $n_k$ 에서의 변동을 $m_j$ 에서의 변동으로 지배함으로써, 제어 가능한 이중적 설정으로 환원한다.
• 변동 연산자를 $\|K * f\|_{\ell^s(\mathbb{Z}^+)}$ 로 표현하며, 여기서 $K(x) = \{\phi_k(x) - \phi_{k-1}(x)\}$ 이고, 이를 $\ell^s$-값을 가진 컨볼루션 연산자로 간주한다.
• Rubio de Francia 등 [5] 의 가중치 노름 이론을 $\ell^s$-값을 가진 특이 적분 연산자에 적용하며, 커널이 $D_r$ 조건을 만족할 경우를 고려한다.
• 커널 $K$ 가 $1 \leq r < \infty$ 에 대해 $D_r$ 조건을 만족함을 증명하여, $\ell^s$-값을 가진 연산자에 대한 가중치 부등식 적용이 가능함을 보장한다.
• $\|K * f(x)\|_{\ell^s} = \mathcal{V}_s f(x)$ 이라는 사실을 이용하여 연산자 이론에서의 가중치 추정을 변동 연산자로 이행한다.

실험 결과

연구 질문

• RQ1 기존의 이중적 수열에서의 강한 및 약한 유형의 가중치 $L^p$ 부등식을 일반적인 빈약한 수열으로 확장할 수 있는가?
• RQ2 어떤 조건을 만족할 경우 $w$ 가 $\mathcal{V}_s$ 가 $1 < p < \infty$ 에서 $L^p(w)$ 에서 유계임을 보장하는가?
• RQ3 $2 \leq s < \infty$ 일 때, $A_1$ 가중치에 대해 변동 연산자 $\mathcal{V}_s f$ 가 약한 유형 $(1,1)$ 추정을 만족하는가?
• RQ4 빈약한 수열에서의 평균의 $\ell^s$-변동은 $H^1$, BMO, $L^p$ 와 같은 고전적 함수 공간과 어떻게 관련이 있는가?
• RQ5 커널 $D_r$ 조건과 가중치 연산자 이론을 통해 $\mathcal{V}_s$ 가 $H^1$ 과 BMO 에서 유계임을 증명할 수 있는가?

주요 결과

• $\mathcal{V}_s f$ 는 모든 $f \in H^1(\mathbb{R})$ 와 $2 \leq s < \infty$ 에 대해 $\|\mathcal{V}_s f\|_{L^1(\mathbb{R})} \leq C \|f\|_{H^1(\mathbb{R})}$ 를 만족하며, 이는 빈약한 수열로의 $H^1$-유계성 확장을 제공한다.
• $1 < p < \infty$ 에 대해 $w \in A_{p/r'}$ 이고 $r' \leq p < \infty$ 이거나, $w \in A_p^{r'}$ 이고 $1 < p \leq r'$ 일 경우 $\|\mathcal{V}_s f\|_{L^p(w)} \leq C_{p,\rho}(w) \|f\|_{L^p(w)}$ 가 성립하며, 여기서 $r'$ 은 $r$ 의 허들러 쌍이다.
• $w(x)^{r'} \in A_1$ 일 경우 약한 유형 $(1,1)$ 부등식 $w(\{x : \mathcal{V}_s f(x) > \lambda\}) \leq C_\rho(w) \lambda^{-1} \int |f(x)| w(x) dx$ 가 성립하며, 이는 일반적인 빈약한 수열로의 약한 유형 추정 확장을 제공한다.
• $\mathcal{V}_s f$ 는 $BMO(\mathbb{R})$ 에서 유계이며, 컴팩트 지지가 있는 $f$ 에 대해 $\|\mathcal{V}_s f\|_{BMO} \leq C_2 \|f\|_{L^\infty}$ 를 만족한다. 이는 알려진 BMO 추정을 빈약한 평균으로 확장한다.
• $\mathcal{V}_s f$ 와 관련된 커널 $K(x) = \{\phi_k(x) - \phi_{k-1}(x)\}$ 는 $1 \leq r < \infty$ 에 대해 $D_r$ 조건을 만족하며, 이는 가중치 노름 이론 적용이 가능함을 보장한다.
• $Tf = \{(\phi_k - \phi_{k-1}) * f\}_{k \in \mathbb{Z}^+}$ 는 컨볼루션 형식의 $\ell^s$-값을 가진 특이 적분 연산자이며, 그 $\ell^s$-노름은 $\mathcal{V}_s f(x)$ 와 일치한다. 이는 결과들을 위한 함수 해석학적 프레임워크를 제공한다.