[论文解读] Strong q-variation inequalities for analytic semigroups

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

Advanced Harmonic Analysis Research参考文献 17被引用 4

一句话总结

该论文为 $L^p$-空间上的解析半群与正收缩算子建立了强 $q$-变分不等式，证明了当 $2 < q < \infty$ 时，序列 $(T^n(x))_{n \geq 0}$ 属于 $L^p(\Omega; v^q)$ 且具有统一的范数界。关键结果将 Bourgain 的变分原理推广至解析算子，改进了最大遍历不等式，并通过 $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$ 变分不等式推广至 $L^p$-空间，其中 $1 < p < \infty$。
• 通过 $q$-变分范数统一并推广先前关于平方函数与最大不等式的结论。
• 利用 $V^q$-范数为强连续半群提供 $v^q$-变分的连续类比。
• 刻画满足 $T^n(x)$ 几乎处处收敛且满足统一 $L^p(v^q)$ 估计的解析算子类。

提出的方法

• 定义强 $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}$，其中上确界取遍递增的下标序列。
• 将先前工作 [20] 中的平方函数不等式作为关键技术工具，以控制算子轨道的 $v^q$-范数。
• 通过在递增的实数序列上使用相同的 $q$-变分结构，定义 $\|(a_t)\|_{V^q}$，从而建立连续类比。
• 应用次序化技术以关联离散与连续半群，特别是通过 $T_{\alpha,t} = e^{-t(-A)^\alpha}$。
• 利用谱理论与正规算子的函数演算验证解析性条件，尤其通过数值域与谱局部化。
• 利用插值与外推技术，将 $L^2$ 结果推广至 $L^p$，其中 $1 < p < \infty$。

实验结果

研究问题

• RQ1 在 $L^p(\Omega)$ 上的正收缩算子 $T$ 满足何种条件时，轨道 $(T^n(x))_{n \geq 0}$ 对 $2 < q < \infty$ 满足统一的 $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$-变分界算子的类？

主要发现

• 对任意 $x \in L^p(\Omega)$ 且 $1 < p < \infty$，若 $T$ 为解析且正收缩算子，则序列 $(T^n(x))_{n \geq 0}$ 属于 $L^p(\Omega; v^q)$，且满足 $\|(T^n(x))_{n \geq 0}\|_{L^p(v^q)} \leq C\|x\|_p$，其中 $2 < q < \infty$。
• 遍历平均 $M_n(T) = (n+1)^{-1} \sum_{k=0}^n T^k$ 满足 $\|(M_n(T)x)_{n \geq 0}\|_{L^p(v^q)} \leq C\|x\|_p$，对任意 $1 < p < \infty$ 与 $2 < q < \infty$ 成立，即使无解析性假设亦然。
• 对强连续半群 $(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}$ 满足 $\| \lambda \mapsto \|(T_{\alpha,t}(x))(\lambda)\|_{V^q} \|_p \lesssim \|x\|_p$，其中 $0 < \alpha < \infty$ 且 $2 < q < \infty$。
• 对 $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$。
• 对局部紧阿贝尔群 $G$ 上的 $L^p(G)$ 上的卷积算子，若满足 $|1 - \hat{\nu}(s)| \leq K(1 - |\hat{\nu}(s)|)$，则其满足 $L^p(v^q)$ 估计，且该条件保证了 $L^2$-实现的解析性。