Let X be a closed subspace of $L^p\left(\mu \right)$, where μ is an arbitrary measure and 1 < p < ∞. Let U be an invertible operator on X such that $su{p}_{n\in \mathbb{Z}}\left|\right|Uⁿ\left|\right|<\infty$. Motivated by applications in ergodic theory, we obtain (optimal) conditions for the convergence of series like ${\sum }_{n\ge 1}\left(Uⁿf\right)/n^{1-\alpha }$, 0 ≤ α < 1, in terms of $\left|\right|f+\cdots +U^{n-1}f{\left|\right|}_p$, generalizing results for unitary (or normal) operators in L²(μ). The proofs make use of the spectral integration initiated by Berkson and Gillespie and, more particularly, of results from a paper by Berkson-Bourgain-Gillespie. ...

For 1 ≤ q < ∞, let ${}_q\left(\right)$ denote the Banach algebra consisting of the bounded complex-valued functions on the unit circle having uniformly bounded q-variation on the dyadic arcs. We describe a broad class ℐ of UMD spaces such that whenever X ∈ ℐ, the sequence space ℓ²(ℤ,X) admits the classes ${}_q\left(\right)$ as Fourier multipliers, for an appropriate range of values of q > 1 (the range of q depending on X). This multiplier result expands the vector-valued Marcinkiewicz Multiplier Theorem in the direction...

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^p\left(\nu \right)$, $T₁,...,T_k$, $n̅=(n₁,...,n_k)\in {\mathbb{N}}^k$ and $\alpha ̅=(\alpha ₁,...,{\alpha }_k)$ with $0<{\alpha }_j\le 1$, we define the ergodic Cesàro-α̅ averages ${}_{n̅,\alpha ̅}f=1/\left({\prod }_{j=1}^k{A}_{n_j}^{{\alpha }_j}\right){\sum }_{i_k=0}^{n_k}\cdots {\sum }_{i₁=0}^{n₁}{\prod }_{j=1}^k{A}_{n_j-i_j}^{{\alpha }_j-1}{T}_k^{i_k}\cdots T{₁}^{i₁}f$. For these averages we prove the almost everywhere convergence on X and the convergence in the $L^p\left(\nu \right)$ norm, when $n₁,...,n_k\to \infty$ independently, for all $f\in L^p\left(d\nu \right)$ with p > 1/α⁎ where $\alpha ⁎=mi{n}_{1\le j\le k}{\alpha }_j$. In the limit case p = 1/α⁎, we prove that the averages ${}_{n̅,\alpha ̅}f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $\Lambda (1/\alpha ⁎,{\phi }_{m-1})$ with $\phi ₘ\left(t\right)=t{(1+log⁺t)}^m$. To obtain the result in the limit case we need...

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

We prove that for the spectral radius of a weighted composition operator $a{T}_{\alpha }$, acting in the space $L^p(X,,\mu )$, the following variational principle holds: $lnr\left(a{T}_{\alpha }\right)=ma{x}_{\nu \in M{¹}_{\alpha ,e}}{\int }_{X}ln\left|a\right|d\nu$, where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M{¹}_{\alpha ,e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and ${}_{\infty }$-measurable function, where ${}_{\infty }={\bigcap }_{n=0}^{\infty }{\alpha }^{-n}\left(\right)$. This considerably extends the range of validity of the above formula, which was previously known...

We first give a necessary and sufficient condition for $x^{-\gamma }\varphi \left(x\right)\in L^p$, 1 < p < ∞, 1/p - 1 < γ < 1/p, where ϕ(x) is the sum of either ${\sum }_{k=1}^{\infty }{a}_{k}coskx$ or ${\sum }_{k=1}^{\infty }{b}_{k}sinkx$, under the condition that λₙ (where λₙ is aₙ or bₙ respectively) belongs to the class of so called Mean Value Bounded Variation Sequences (MVBVS). Then we discuss the relations among the Fourier coefficients λₙ and the sum function ϕ(x) under the condition that λₙ ∈ MVBVS, and deduce a sharp estimate for the weighted modulus of continuity of ϕ(x)...

Let (X,,μ,τ) be an ergodic dynamical system and φ be a measurable map from X to a locally compact second countable group G with left Haar measure $m_G$. We consider the map ${\tau }_{\phi }$ defined on X × G by ${\tau }_{\phi }:(x,g)\mapsto (\tau x,\phi \left(x\right)g)$ and the cocycle ${\left(\phi ₙ\right)}_{n\in \mathbb{Z}}$ generated by φ. Using a characterization of the ergodic invariant measures for ${\tau }_{\phi }$, we give the form of the ergodic decomposition of $\mu \left(dx\right)\otimes m_G\left(dg\right)$ or more generally of the ${\tau }_{\phi }$-invariant measures ${\mu }_{\chi }\left(dx\right)\otimes \chi \left(g\right)m_G\left(dg\right)$, where ${\mu }_{\chi }\left(dx\right)$ is χ∘φ-conformal for an exponential χ on G.

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...

We show that for any irrational number α and a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $li{m}_{l\to \infty }\left|\right||m_l\alpha \left|\right||=0$, there exists a continuous measure μ on the circle such that $li{m}_{l\to \infty }{\int }_{}\left|\right||m_l\theta \left|\right||d\mu \left(\theta \right)=0$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any α ∈ ℝ - ℚ, there exists a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $\left|\right||m_l\alpha \left|\right||\to 0$ and such that $m_l\theta \left[1\right]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

Let $G$ be a compact group, let $n\in N\setminus \{0,1\}$ be a fixed element and let $\sigma$ be a continuous automorphism on $G$ such that ${\sigma }^n=I$. Using the non-abelian Fourier transform, we determine the non-zero continuous solutions $f:G\to C$ of the functional equation $$f\left(xy\right)+\sum _{k=1}^{n-1}f\left({\sigma }^k\left(y\right)x\right)=nf\left(x\right)f\left(y\right),x,y\in G,$$ in terms of unitary characters of $G$.

In ergodic theory, certain sequences of averages $A_{k}f$ may not converge almost everywhere for all f ∈ L¹(X), but a sufficiently rapidly growing subsequence $A_{m_k}f$ of these averages will be well behaved for all f. The order of growth of this subsequence that is sufficient is often hyperexponential, but not necessarily so. For example, if the averages are $A_{k}f\left(x\right)=1/\left(2^k\right){\sum }_{j=4^k+1}^{4^k+2^k}f\left(T^{j}x\right)$, then the subsequence $A_{k²}f$ will not be pointwise good even on $L^{\infty }$, but the subsequence $A_{2^k}f$ will be pointwise good on L¹. Understanding when the hyperexponential...

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Let $\mu \in {\left({ℝ}^d\right)}^{\text{'}}$ be an analytic functional and let $T_{\mu }$ be the corresponding convolution operator on Sato’s space $\left({ℝ}^d\right)$ of hyperfunctions. We show that $T_{\mu }$ is surjective iff $T_{\mu }$ admits an elementary solution in $\left({ℝ}^d\right)$ iff the Fourier transform μ̂ satisfies Kawai’s slowly decreasing condition (S). We also show that there are $0\ne \mu \in {\left({ℝ}^d\right)}^{\text{'}}$ such that $T_{\mu }$ is not surjective on $\left({ℝ}^d\right)$.

We investigate the behaviour of Fourier coefficients with respect to the system of ultraspherical polynomials. This leads us to the study of the “boundary” Lorentz space ${ℒ}_{\lambda }$ corresponding to the left endpoint of the mean convergence interval. The ultraspherical coefficients $c{ₙ}^{\left(\lambda \right)}\left(f\right)$ of ${ℒ}_{\lambda }$-functions turn out to behave like the Fourier coefficients of functions in the real Hardy space ReH¹. Namely, we prove that for any $f\in {ℒ}_{\lambda }$ the series ${\sum }_{n=1}^{\infty }c{ₙ}^{\left(\lambda \right)}\left(f\right)cosn\theta$ is the Fourier series of some function φ ∈ ReH¹ with ${\left|\right|\phi \left|\right|}_{ReH¹}{\le c\left|\right|f\left|\right|}_{{ℒ}_{\lambda }}$. ...

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

Associated to an Hadamard matrix $H\in M_N\left(ℂ\right)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G\subset S{⁺}_N$. We study a certain family of discrete measures ${\mu }^r\in [0,N]$, coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ${\int }_0^N{(x/N)}^{p}d{\mu }^r\left(x\right)={\int }_0^N{(x/N)}^{r}d{\nu }^p\left(x\right)$, where ${\mu }^r,{\nu }^r$ are the truncations of the spectral measures μ,ν associated to $H,H^t$. We also prove, using these truncations ${\mu }^r,{\nu }^r$, that for any deformed Fourier matrix $H=F_M{\otimes }_Q{F}_N$ we have μ = ν.

We strengthen the Carleson-Hunt theorem by proving $L^p$ estimates for the $r$-variation of the partial sum operators for Fourier series and integrals, for $r>\mathrm{𝚖𝚊𝚡}\{p^{\text{'}},2\}$. Four appendices are concerned with transference, a variation norm Menshov-Paley-Zygmund theorem, and applications to nonlinear Fourier transforms and ergodic theory.

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

It is well-known that a probability measure $\mu$ on the circle $𝕋$ satisfies $\parallel {\mu }^n{*f-\int f\mathrm{d}m\parallel }_p\to 0$ for every $f\in L_p$, every (some) $p\in [1,\infty )$, if and only if $|\widehat{\mu }\left(n\right)|lt;1$ for every non-zero $n\in \mathbb{Z}$ ($\mu$ is strictly aperiodic). In this paper we study the a.e. convergence of ${\mu }^n*f$ for every $f\in L_p$ whenever $pgt;1$. We prove a necessary and sufficient condition, in terms of the Fourier–Stieltjes coefficients of $\mu$, for the strong sweeping out property (existence of a Borel set $B$ with $lim\; sup{\mu }^n*1_B=1$ a.e. and $lim\; inf{\mu }^n*1_B=0$ a.e.). The results are extended to general compact Abelian groups...

In this paper we study the regularity properties of the one-dimensional one-sided Hardy-Littlewood maximal operators ${ℳ}^{+}$ and ${ℳ}^{-}$. More precisely, we prove that ${ℳ}^{+}$ and ${ℳ}^{-}$ map $W^{1,p}\left(ℝ\right)\to W^{1,p}\left(ℝ\right)$ with $1<p<\infty$, boundedly and continuously. In addition, we show that the discrete versions $M^{+}$ and $M^{-}$ map $\mathrm{BV}\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ boundedly and map $l^1\left(\mathbb{Z}\right)\to \mathrm{BV}\left(\mathbb{Z}\right)$ continuously. Specially, we obtain the sharp variation inequalities of $M^{+}$ and $M^{-}$, that is, $$\mathrm{Var}\left(M^{+}\left(f\right)\right)\le \mathrm{Var}\left(f\right)\text{and}\mathrm{Var}\left(M^{-}\left(f\right)\right)\le \mathrm{Var}\left(f\right)$$ if $f\in \mathrm{BV}\left(\mathbb{Z}\right)$, where $\mathrm{Var}\left(f\right)$ is the total variation of $f$ on $\mathbb{Z}$ and $\mathrm{BV}\left(\mathbb{Z}\right)$ is the set of all functions $f:\mathbb{Z}\to ℝ$ satisfying $\mathrm{Var}\left(f\right)<\infty$.

We study the following nonlinear method of approximation by trigonometric polynomials. For a periodic function f we take as an approximant a trigonometric polynomial of the form $Gₘ\left(f\right):={\sum }_{k\in \Lambda }f̂\left(k\right)e^{i(k,x)}$, where $\Lambda \subset {\mathbb{Z}}^d$ is a set of cardinality m containing the indices of the m largest (in absolute value) Fourier coefficients f̂(k) of the function f. Note that Gₘ(f) gives the best m-term approximant in the L₂-norm, and therefore, for each f ∈ L₂, ||f-Gₘ(f)||₂ → 0 as m → ∞. It is known from previous results that in...

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....

We consider operators acting in the space C(X) (X is a compact topological space) of the form $Au\left(x\right)=\left({\sum }_{k=1}^N{e}^{{\phi }_k}{T}_{{\alpha }_k}\right)u\left(x\right)={\sum }_{k=1}^N{e}^{{\phi }_k\left(x\right)}u\left({\alpha }_k\left(x\right)\right)$, u ∈ C(X), where ${\phi }_k\in C\left(X\right)$ and ${\alpha }_k:X\to X$ are given continuous mappings (1 ≤ k ≤ N). A new formula on the logarithm of the spectral radius r(A) is obtained. The logarithm of r(A) is defined as a nonlinear functional λ depending on the vector of functions $\phi ={\left({\phi }_k\right)}_{k=1}^N$. We prove that $ln\left(r\left(A\right)\right)=\lambda \left(\phi \right)=ma{x}_{\nu \in Mes}{\sum }_{k=1}^N{\int }_X{\phi }_{k}d{\nu }_k-\lambda *\left(\nu \right)$, where Mes is the set of all probability vectors of measures $\nu ={\left({\nu }_k\right)}_{k=1}^N$ on X × 1,..., N and λ* is some convex lower-semicontinuous functional on...

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

Let $X$ be a Banach space, $ℬ\left(X\right)$ the algebra of bounded linear operators on $X$ and $(J,\parallel ·{\parallel }_J)$ an admissible Banach ideal of $ℬ\left(X\right)$. For $T\in ℬ\left(X\right)$, let $L_{J,T}$ and $R_{J,T}\in ℬ\left(J\right)$ denote the left and right multiplication defined by $L_{J,T}\left(A\right)=TA$ and $R_{J,T}\left(A\right)=AT$, respectively. In this paper, we study the transmission of some concepts related to recurrent operators between $T\in ℬ\left(X\right)$, and their elementary operators $L_{J,T}$ and $R_{J,T}$. In particular, we give necessary and sufficient conditions for $L_{J,T}$ and $R_{J,T}$ to be sequentially recurrent. Furthermore, we prove that $L_{J,T}$ is recurrent...

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

Let $\mathscr{H}$ be a complex Hilbert space, $A$ a positive operator with closed range in $ℬ\left(\mathscr{H}\right)$ and ${ℬ}_A\left(\mathscr{H}\right)$ the sub-algebra of $ℬ\left(\mathscr{H}\right)$ of all $A$-self-adjoint operators. Assume $\phi :{ℬ}_A\left(\mathscr{H}\right)$ onto itself is a linear continuous map. This paper shows that if $\phi$ preserves $A$-unitary operators such that $\phi \left(I\right)=P$ then $\psi$ defined by $\psi \left(T\right)=P\phi \left(PT\right)$ is a homomorphism or an anti-homomorphism and $\psi \left(T^{♯}\right)=\psi {\left(T\right)}^{♯}$ for all $T\in {ℬ}_A\left(\mathscr{H}\right)$, where $P=A^{+}A$ and $A^{+}$ is the Moore-Penrose inverse of $A$. A similar result is also true if $\phi$ preserves $A$-quasi-unitary operators in both directions such that there...