We introduce function spaces $B^{p,\lambda }$ with Morrey-Campanato norms, which unify $B^{p,\lambda }$, $CM{O}^{p,\lambda }$ and Morrey-Campanato spaces, and prove the boundedness of the fractional integral operator $I_{\alpha }$ on these spaces.

Let $A_{\alpha }f\left(x\right)={\left|B\right(0,\left|x\right|\left)\right|}^{-\alpha /n}{\int }_{B(0,|x\left|\right)}f\left(t\right)dt$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{\alpha }$ is bounded from $L^p$ to $L^{p_{\alpha }}$ with $p_{\alpha }=np/(\alpha p-np+n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{\alpha ,Y}$, which is strictly larger than X, and a ’target’ space $T_Y$, which is strictly smaller than Y, under the assumption that $A_{\alpha }$ is bounded from X into Y and the Hardy-Littlewood...

We consider a double analytic family of fractional integrals $S_z^{\gamma ,\alpha }$ along the curve ${t\mapsto \left|t\right|}^{\alpha }$, introduced for α = 2 by L. Grafakos in 1993 and defined by $\left(S_z^{\gamma ,\alpha }f\right)(x₁,x₂):=1/\Gamma (z+1/2){\int \int |u-1|}^z\psi (u-1){f(x₁-t,x₂-u|t|}^{\alpha }{\left)du\right|t|}^{\gamma }dt/t$, where ψ is a bump function on ℝ supported near the origin, $f{\in }_c^{\infty }\left(ℝ²\right)$, z,γ ∈ ℂ, Re γ ≥ 0, α ∈ ℝ, α ≥ 2. We determine the set of all (1/p,1/q,Re z) such that $S_z^{\gamma ,\alpha }$ maps $L^p\left(ℝ²\right)$ to $L^q\left(ℝ²\right)$ boundedly. Our proof is based on product-type kernel arguments. More precisely, we prove that the kernel $K_{-1+i\theta }^{i\varrho ,\alpha }$ is a product kernel on ℝ², adapted to the curve ${t\mapsto \left|t\right|}^{\alpha }$; as a consequence, we show...

Given a compact manifold $N^n\subset {ℝ}^{\nu }$ and real numbers $s\ge 1$ and $1\le p\&lt;\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is strongly dense in the fractional Sobolev space $W^{s,p}(Q^m;N^n)$ when $N^n$ is $\lfloor sp\rfloor$ simply connected. For $sp$ integer, we prove weak sequential density of $C^{\infty }({\overline{Q}}^m;N^n)$ when $N^n$ is $sp-1$ simply connected. The proofs are based on the existence of a retraction of ${ℝ}^{\nu }$ onto $N^n$ except for a small subset of $N^n$ and on a pointwise estimate of fractional derivatives of composition of maps in $W^{s,p}\cap W^{1,sp}$.

A classification of weakly compact multiplication operators on $L\left(L_p\right),$1<p<$,isgiven.ThisanswersaquestionraisedbySaksmanandTylliin1992.Theclassificationinvolvestheconceptof$p$-strictlysingularoperators,andwealsoinvestigatethestructureofgeneral$p$-strictlysingularoperatorson$Lp$.Themainresultisthatifanoperator$T$on$Lp$,$1<p<2$,is$p$-strictlysingularand$T|X$isanisomorphismforsomesubspace$X$of$Lp$,then$X$embedsinto$Lr$forall$r<2$,but$X$neednotbeisomorphictoaHilbertspace.$It is also shown that if $T$ is convolution by a biased coin on $L_p$ of the Cantor group, $1\le p<2$, and $T_{|X}$ is an isomorphism for some reflexive subspace $X$ of $L_p$, then $X$ is isomorphic to a Hilbert space. The case $p=1$ answers a question asked by Rosenthal in 1976.

Let $u$ be a holomorphic function and $\varphi$ a holomorphic self-map of the open unit disk $𝔻$ in the complex plane. We provide new characterizations for the boundedness of the weighted composition operators $u{C}_{\varphi }$ from Zygmund type spaces to Bloch type spaces in $𝔻$ in terms of $u$, $\varphi$, their derivatives, and ${\varphi }^n$, the $n$-th power of $\varphi$. Moreover, we obtain some similar estimates for the essential norms of the operators $u{C}_{\varphi }$, from which sufficient and necessary conditions of compactness of $u{C}_{\varphi }$ follows immediately. ...

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 n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

We give a new proof using the classic Calderón-Zygmund decomposition that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space $L^{p(\cdot )}$ whenever the exponent function $p(\cdot )$ satisfies log-Hölder continuity conditions. We include the case where $p(\cdot )$ assumes the value infinity. The same proof also shows that the fractional maximal operator $M_a$, , maps $L^{p(\cdot )}$ into $L^{q(\cdot )}$, where $1/p(\cdot )-1/q(\cdot )=a/n$.

Let Φ be a concave function on (0,∞) of strictly critical lower type index $p_{\Phi }\in (0,1]$ and $\omega \in A_{\infty }^{loc}\left(ℝⁿ\right)$ (the class of local weights introduced by V. S. Rychkov). We introduce the weighted local Orlicz-Hardy space $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ via the local grand maximal function. Let $\rho \left(t\right)\equiv t^{-1}/{\Phi }^{-1}\left(t^{-1}\right)$ for all t ∈ (0,∞). We also introduce the BMO-type space $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$ and establish the duality between $h_{\omega }^{\Phi }\left(ℝⁿ\right)$ and $bm{o}_{\rho ,\omega }\left(ℝⁿ\right)$. Characterizations of $h_{\omega }^{\Phi }\left(ℝⁿ\right)$, including the atomic characterization, the local vertical and the local nontangential maximal function characterizations, are...

In this paper, we obtain new sufficient conditions for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ to be univalent in the open unit disc $𝒰$, where the functions $f_1,f_2,...,f_n$ belong to the classes $S^{*}(a,b)$ and $𝒦(a,b)$. The order of convexity for the operators $F_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ and $G_{{\alpha }_1,{\alpha }_2,...,{\alpha }_n,\beta }\left(z\right)$ is also determined. Furthermore, and for $\beta =1$, we obtain sufficient conditions for the operators $F_n\left(z\right)$ and $G_n\left(z\right)$ to be in the class $𝒦(a,b)$. Several corollaries and consequences of the main results are also considered.

Let $u$ be a weight on $(0,\infty )$. Assume that $u$ is continuous on $(0,\infty )$. Let the operator $S_u$ be given at measurable non-negative function $\varphi$ on $(0,\infty )$ by $$S_u\varphi \left(t\right)=\underset{0<\tau \le t}{sup}u\left(\tau \right)\varphi \left(\tau \right).$$ We characterize weights $v,w$ on $(0,\infty )$ for which there exists a positive constant $C$ such that the inequality $${\left({\int }_0^{\infty }{\left[S_u\varphi \left(t\right)\right]}^{q}w\left(t\right)dt\right)}^{\frac{1}{q}}\lesssim {\left({\int }_0^{\infty }{\left[\varphi \left(t\right)\right]}^{p}v\left(t\right)dt\right)}^{\frac{1}{p}}$$ holds for every $0<p,q<\infty$. Such inequalities have been used in the study of optimal Sobolev embeddings and boundedness of certain operators on classical Lorenz spaces.

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

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...

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...

We prove the $L^p$ boundedness of the Marcinkiewicz integral operators ${\mu }_{\Omega }$ on ${ℝ}^{n₁}\times \cdots \times {ℝ}^{n_k}$ under the condition that $\Omega \in L{\left(logL\right)}^{k/2}{(}^{n₁-1}\times \cdots {\times }^{n_k-1})$. The exponent k/2 is the best possible. This answers an open question posed by Y. Ding.

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)$.

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

Let $ℐ$ be a coherent subsheaf of a locally free sheaf $𝒪\left(E_0\right)$ and suppose that $ℱ=𝒪\left(E_0\right)/ℐ$ has pure codimension. Starting with a residue current $R$ obtained from a locally free resolution of $ℱ$ we construct a vector-valued Coleff-Herrera current $\mu$ with support on the variety associated to $ℱ$ such that $\phi$ is in $ℐ$ if and only if $\mu \phi =0$. Such a current $\mu$ can also be derived algebraically from a fundamental theorem of Roos about the bidualizing functor, and the relation between these two approaches is discussed....

Let 1 ≤ p < ∞, $={\left(Xₙ\right)}_{n\in \mathbb{N}}$ be a sequence of Banach spaces and $l_p\left(\right)$ the coresponding vector valued sequence space. Let $={\left(Xₙ\right)}_{n\in \mathbb{N}}$, $={\left(Yₙ\right)}_{n\in \mathbb{N}}$ be two sequences of Banach spaces, $={\left(Vₙ\right)}_{n\in \mathbb{N}}$, Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{}:l_p\left(\right)\to l_q\left(\right)$ by $M_{}\left({\left(xₙ\right)}_{n\in \mathbb{N}}\right):={\left(Vₙ\left(xₙ\right)\right)}_{n\in \mathbb{N}}$. We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

This paper is devoted to investigating the properties of multilinear $A_{P⃗}$ conditions and $A_{(P⃗,q)}$ conditions, which are suitable for the study of multilinear operators on Lebesgue spaces. Some monotonicity properties of $A_{P⃗}$ and $A_{(P⃗,q)}$ classes with respect to P⃗ and q are given, although these classes are not in general monotone with respect to the natural partial order. Equivalent characterizations of multilinear $A_{(P⃗,q)}$ classes in terms of the linear $A_p$ classes are established. These results essentially improve...