[논문 리뷰] Strong q-variation inequalities for analytic semigroups

Le Merdy Christian, Xu Quanhua|arXiv (Cornell University)|2011. 03. 15.

Advanced Harmonic Analysis Research참고 문헌 17인용 수 4

한 줄 요약

이 논문은 $L^p$-공간에서 양의 수축과 해석적 반군에 대해 강한 $q$-변동부등식을 수립한다. $2 < q < \infty$일 때, 수열 $(T^n(x))_{n \geq 0}$이 일관된 노름 유계성과 함께 $L^p(\Omega; v^q)$에 속함을 증명한다. 주요 결과는 해석적 연산자로의 Bourgain의 변동원리 확장이며, 최대ergodic 부등식을 개선하고 $V^q$-노름을 통해 연속 반군으로 일반화한다.

ABSTRACT

Let T : Lp --&gt; Lp be a positive contraction, with p strictly between 1 and infinity. Assume that T is analytic, that is, there exists a constant K such that orm{T^n-T^{n-1}} &lt; K/n for any positive integer n. Let q strictly betweeen 2 and infinity and let v^q be the space of all complex sequences with a finite strong q-variation. We show that for any x in Lp, the sequence ([T^n(x)](λ))_{n\geq 0} belongs to v^q for almost every λ, with an estimate orm{(T^n(x))_{n\geq 0}}_{Lp(v^q)}\leq C orm{x}_p. If we remove the analyticity assumption, we obtain a similar estimate for the ergodic averages of T instead of the powers of T. We also obtain similar results for strongly continuous semigroups of positive contractions on Lp-spaces.

연구 동기 및 목표

• 양의 수축이 작용하는 $L^p$-공간에서 생성된 이산 및 연속 반군에 대해 강한 $q$-변동 경계를 수립하는 것.
• 해석성 조건 하에서 Bourgain의 $L^2$ 변동부등식을 $1 < p < \infty$인 $L^p$-공간으로 확장하는 것.
• 변동노름을 통해 이전의 제곱함수 및 최대부등식 결과를 통합하고 일반화하는 것.
• 강한 연속 반군에 대해 $v^q$-변동의 연속적 동반자로 $V^q$-노름을 사용하는 것.
• $T^n(x)$가 거의 어디서나 수렴하고 일관된 $L^p(v^q)$ 추정을 만족하는 해석적 연산자의 범주를 특성화하는 것.

제안 방법

• $\|(a_n)\|_{v^q} = \sup \left( |a_0|^q + \sum_{k \geq 1} |a_{n_k} - a_{n_{k-1}}|^q \right)^{1/q}$ 를 증가하는 색인 수열에 대해 정의하는 강한 $q$-변동노름.
• 이전 연구 [20]에서의 제곱함수 부등식을 $v^q$-노름을 통한 연산자 궤적 제어의 핵심 기술 도구로 사용.
• 실수 증가 수열을 사용하여 $t > 0$에 대해 $\|(a_t)\|_{V^q}$를 정의함으로써 연속적 동반자 수립.
• 특히 $T_{\alpha,t} = e^{-t(-A)^\alpha}$를 통해 이산 및 연속 반군을 연결하는 지배 기법 적용.
• 특성 이론과 정규 연산자에 대한 함수해석학을 사용해 해석성 조건을 검증하며, 특히 수치범위와 스펙트럼 국소화를 중심으로 한다.
• $L^2$ 결과를 $1 < p < \infty$인 $L^p$로 확장하기 위해 보간 및 외삽 기법 활용.

실험 결과

연구 질문

• RQ1 양의 수축 $T$가 $L^p(\Omega)$에서 작용할 때, $2 < q < \infty$에 대해 궤적 $(T^n(x))_{n \geq 0}$이 일관된 $L^p(v^q)$ 유계성을 만족하는 조건은 무엇인가?
• RQ2 해석성 조건 하에서 Bourgain의 $L^2$ 변동부등식을 $1 < p < \infty$인 $L^p$-공간으로 확장할 수 있는가?
• RQ3 $\|T^n - T^{n-1}\| \leq K/n$ 조건이 궤적 수열의 $v^q$-유계성과 어떻게 관련되는가?
• RQ4 강한 연속 반군에 대해 $v^q$-변동의 연속적 동반자는 무엇이며, 이를 통해 $L^p$-유계를 유도할 수 있는가?
• RQ5 스펙트럼 또는 수치범위 조건을 통해 강한 $q$-변동경계를 만족하는 연산자의 범주를 특성화할 수 있는가?

주요 결과

• $1 < p < \infty$이면 임의의 $x \in L^p(\Omega)$에 대해, $2 < q < \infty$일 때 수열 $(T^n(x))_{n \geq 0}$은 $L^p(\Omega; v^q)$에 속하며, $T$가 해석적이고 양의 수축이면 $\|(T^n(x))_{n \geq 0}\|_{L^p(v^q)} \leq C\|x\|_p$를 만족한다.
• 에르고딕 평균 $M_n(T) = (n+1)^{-1} \sum_{k=0}^n T^k$는 $1 < p < \infty$ 및 $2 < q < \infty$에 대해, 해석성 가정 없이도 $\|(M_n(T)x)_{n \geq 0}\|_{L^p(v^q)} \leq C\|x\|_p$를 만족한다.
• 강한 연속 반군 $(T_t)_{t \geq 0}$에 대해, 해석성과 양의성 조건 하에서 연속 $V^q$-노름이 $\| \lambda \mapsto \|(T_t(x))(\lambda)\|_{V^q} \|_p \lesssim \|x\|_p$를 만족한다.
• 지배된 반군 $T_{\alpha,t} = e^{-t(-A)^\alpha}$는 $0 < \alpha < \infty$ 및 $2 < q < \infty$일 때 $\| \lambda \mapsto \|(T_{\alpha,t}(x))(\lambda)\|_{V^q} \|_p \lesssim \|x\|_p$를 만족한다.
• 일반 연산자에 대해 $L^2(\Omega)$에서 해석성은 조건 $\sup_{n \geq 1} n\|T^n - T^{n-1}\| < \infty$ 와 동치이며, 이러한 연산자는 $\|(T^n(x))_{n \geq 0}\|_{L^2(v^q)} \lesssim \|x\|_2$를 만족한다.
• 지역적으로 컴acts한 아벨군 $G$에 대해 $L^p(G)$에서의 컨볼루션 연산자는 $|1 - \hat{\nu}(s)| \leq K(1 - |\hat{\nu}(s)|)$ 조건을 만족하면 $L^p(v^q)$ 유계성을 만족하며, 이는 $L^2$-실현의 해석성 보장한다.