Fourier-Haar coefficients (Q1063825)

A Banach lattice E is called p-concave, \(1\leq p<\infty\) if for any n and any sequence \(x_ k\in E\) we have \((\sum^{n}_{k=1}\| x_ k\|^ p_ E)^{1/p}\leq M\| (\sum^{n}_{k=1}| x_ k|^ p)^{1/p}\|_ E.\) A Banach space E of measurable functions on [0,1] is called symmetric if: 1) \(| x(f)| \leq | y(f)|\) and \(y\in E\) imply \(\| x\|_ E\leq \| y\|_ E;\) 2) x(t), y(t) equimeasurable and \(y\in E\) imply \(\| x\|_ E=\| y\|_ E\). In a symmetric space we have the bounded operator \(\sigma_{\tau}x(t)=x(t/\tau)\), if \(0\leq t\leq \min (\tau,1)\), \(=0\), if \(\tau <t\leq t\). Let \(\{\chi^ k_ n\}\) be the Haar system, \(\Omega =\{(n,k):k=1,...,2^ n;n=0,1,...\}\) and \(c_{n,k}=c_{n,k}(x)\) the Fourier coefficients of a summable function x with respect to the Haar system. I. Suppose E is a separable symmetric space satisfying \[ 0<\lim_{\tau \to 0}\frac{\ln \| \sigma_{\tau}\|_ E}{\ln \tau}=\alpha_ E\leq \beta_ E=\lim_{\tau \to \infty}\frac{\ln \| \sigma_{\tau}\|_ E}{\ln \tau}<1. \] The estimate \[ (\sum^{\infty}_{n=0}\| \sum^{2^ n}_{k=1}c_{n,k}\chi^ k_ n\|^ 2_ E)^{1/2}\leq M\| \sum_{(n,k)\in \Omega}c_{n,k}\chi^ k_ n\|_ E \] with a constant M not depending on \(\{c_{n,k}\}\) holds if and only if E is 2-concave. Consider the operator \(T_ bx(t)=\sum_{(n,k)\in \Omega}\frac{c_{n,k}(x)}{\sqrt{b_ n}}\kappa_{c_{n,k}}(t)\) where \(b_ n>0\), \(\sum^{\infty}_{n=0}b_ n=1\), \(mc_{n,k}=2^{-n}b_ n\) and the sets \(\{c_{n,k}\}\) are disjoint. II. Suppose E is a symmetric space and \(1/2<\alpha_ E\leq \beta_ E\leq 1\). The operator \(T_ b\) is bounded in E and \(\| T_ b\|_{E\to E}\) depends only on E. III. Suppose \(1<p\leq 2\) and \(\epsilon >0\). There exists a constant \(M(p,\epsilon)>0\) such that \[ \frac{1}{M(p,\epsilon)}(\sum_{(n,k)\in \Omega,n\geq 1}| c_{n,k}|^ p2^{-n}n^{-1+p/2- \epsilon})^{1/p}\leq \| \sum_{(n,k)\in \Omega}c_{n,k}\chi^ k_ n\|_{L_ p}\leq (\sum_{(n,k)\in \Omega}| c_{n,k}|^ p2^{-n})^{1/p}. \] Let G denote the closure of the set of bounded measurable functions on [0,1] with respect to the norms \(\| x\|_ G=\inf \{\lambda >0:\quad \int^{1}_{0}(e^{(x(t)/\lambda)^ 2}- 1)dt\leq 1\}.\) IV. Suppose E is a symmetric space. For the norms \(\| \sum_{(n,k)\in \Omega}c_{n,k}\chi^ k_ n\|_ E\) and \((\sum_{(n,k)\in \Omega}c^ 2_{n,k}2^{-n})^{1/2}\) to be equivalent on the set of sequences \(\{c_{n,k}\}\) satisfying the condition \(| c_{n,k}| \leq A| c_{n-1,m}|\) \((1\leq k\leq 2^ n\), \(1\leq m\leq 2^{n-1})\) for some \(A>0\) it is necessary and sufficient that \(E\supset G\).