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

For the convolution operators $A_a^{\alpha }$ with symbols ${a\left(\right|\xi \left|\right)\left|\xi \right|}^{-\alpha }expi\left|\xi \right|$, 0 ≤ Re α < n, $a\left(\right|\xi \left|\right)\in L_{\infty }$, we construct integral representations and give the exact description of the set of pairs (1/p,1/q) for which the operators are bounded from $L_p$ to $L_q$.

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $\nu \left(E\right)={\int }_{ℂⁿ}{\chi }_E(w,\phi \left(w\right))\eta \left(w\right)dw$, where $\phi \left(w\right)={\sum }_{j=1}^n{a}_j\left|w_j\right|²$, w = (w₁,...,wₙ) ∈ ℂⁿ, $a_j\in ℝ$, and η(w) = η₀(|w|²) with $\eta ₀\in C_c^{\infty }\left(ℝ\right)$. We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^p\left(ℍⁿ\right)-L^q\left(ℍⁿ\right)$ bounded. We also obtain $L^p$-improving properties of measures supported on the graph of the function $\phi \left(w\right)={\left|w\right|}^{2m}$.

A convolution operator, bounded on $L^q({ℝ}^n)$, is bounded on $L^p({ℝ}^n)$, with the same operator norm, if $p$ and $q$ are conjugate exponents. It is well known that this fact is false if we replace ${ℝ}^n$ with a general non-commutative locally compact group $G$. In this paper we give a simple construction of a convolution operator on a suitable compact group $G$, wich is bounded on $L^q(G)$ for every $q\in [2,\mathrm{\infty })$ and is unbounded on $L^p(G)$ if $p\in [1,2)$.

A convolution operator, bounded on $L^q({ℝ}^n)$, is bounded on $L^p({ℝ}^n)$, with the same operator norm, if $p$ and $q$ are conjugate exponents. It is well known that this fact is false if we replace ${ℝ}^n$ with a general non-commutative locally compact group $G$. In this paper we give a simple construction of a convolution operator on a suitable compact group $G$, wich is bounded on $L^q(G)$ for every $q\in [2,\mathrm{\infty })$ and is unbounded on $L^p(G)$ if $p\in [1,2)$.

Let WF⁎ be the wave front set with respect to $C^{\infty }$, quasi analyticity or analyticity, and let K be the kernel of a positive operator from $C{₀}^{\infty }$ to ’. We prove that if ξ ≠ 0 and (x,x,ξ,-ξ) ∉ WF⁎(K), then (x,y,ξ,-η) ∉ WF⁎(K) and (y,x,η,-ξ) ∉ WF⁎(K) for any y,η. We apply this property to positive elements with respect to the weighted convolution $u{\ast }_B\phi \left(x\right)=\int u(x-y)\phi \left(y\right)B(x,y)dy$, where $B\in C^{\infty }$ is appropriate, and prove that if $(u{\ast }_B\phi ,\phi )\ge 0$ for every $\phi \in C{₀}^{\infty }$ and (0,ξ) ∉ WF⁎(u), then (x,ξ) ∉ WF⁎(u) for any x.

We consider one-parameter (C₀)-semigroups of operators in the space ${}^{\text{'}}(ℝⁿ;{ℂ}^m)$ with infinitesimal generator of the form ${(G*)|}_{{}^{\text{'}}(ℝⁿ;{ℂ}^m)}$ where G is an $M_{m\times m}$-valued rapidly decreasing distribution on ℝⁿ. It is proved that the Petrovskiĭ condition for forward evolution ensures not only the existence and uniqueness of the above semigroup but also its nice behaviour after restriction to whichever of the function spaces $(ℝⁿ;{ℂ}^m)$, ${}_{L^p}(ℝⁿ;{ℂ}^m)$, p ∈ [1,∞], ${(}_a)(ℝⁿ;{ℂ}^m)$, a ∈ ]0,∞[, or the spaces ${}_{L^q}^{\text{'}}(ℝⁿ;{ℂ}^m)$, q ∈ ]1,∞], of bounded distributions.

If $1\&gt;\alpha \&gt;1/2$, then there exists a probability measure $\mu$ such that the Hausdorff dimension of the support of $\mu$ is $\alpha$ and $\mu *\mu$ is a Lipschitz function of class $\alpha -\frac{1}{2}$.

Let $f_s$ and $f_t$ be tent maps on the unit interval. In this paper we give a new proof of the fact that if the critical points of $f_s$ and $f_t$ are periodic and the inverse limit spaces $(I,f_s)$ and $(I,f_t)$ are homeomorphic, then s = t. This theorem was first proved by Kailhofer. The new proof in this paper simplifies the proof of Kailhofer. Using the techniques of the paper we are also able to identify certain isotopies between homeomorphisms on the inverse limit space.

For 1 ≤ p,q ≤ ∞, we prove that the convolution operator generated by the Cantor-Lebesgue measure on the circle is a contraction whenever it is bounded from $L^p\left(\right)$ to $L^q\left(\right)$. We also give a condition on p which is necessary if this operator maps $L^p\left(\right)$ into L²().

Results of Emmanuele and Drewnowski are used to study the containment of c₀ in the space $K_{w*}(X*,Y)$, as well as the complementation of the space $K_{w*}(X*,Y)$ of w*-w compact operators in the space $L_{w*}(X*,Y)$ of w*-w operators from X* to Y.

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 ${\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...

We provide a deep investigation of the notions of - and ${}^{\infty }$-hypoellipticity for partial differential operators with constant Colombeau coefficients. This involves generalized polynomials and fundamental solutions in the dual of a Colombeau algebra. Sufficient conditions and necessary conditions for - and ${}^{\infty }$-hypoellipticity are given

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

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 show that if Ω is an open subset of ℝ², then the surjectivity of a partial differential operator P(D) on the space of ultradistributions ${}_{\left(\omega \right)}^{\text{'}}\left(\Omega \right)$ of Beurling type is equivalent to the surjectivity of P(D) on $C^{\infty }\left(\Omega \right)$.

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

Let φ:ℝ ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let μ be the Borel measure on ℝ ³ defined by $\mu \left(E\right)={\int }_D{\chi }_E(x,\phi \left(x\right))dx$ with D = x ∈ ℝ ²:|x| ≤ 1 and let $T_{\mu }$ be the convolution operator with the measure μ. Let $\phi =\phi {₁}^{e₁}\cdots \phi {ₙ}^{eₙ}$ be the decomposition of φ into irreducible factors. We show that if $e_i\ne m/2$ for each ${\phi }_i$ of degree 1, then the type set $E_{\mu }:=(1/p,1/q)\in [0,1]\times [0,1]:\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty$ can be explicitly described as a closed polygonal region.

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.

We study the space of p-compact operators, ${}_p$, using the theory of tensor norms and operator ideals. We prove that ${}_p$ is associated to $/d_p$, the left injective associate of the Chevet-Saphar tensor norm $d_p$ (which is equal to $g_{p^{\text{'}}}^{\text{'}}$). This allows us to relate the theory of p-summing operators to that of p-compact operators. Using the results known for the former class and appropriate hypotheses on E and F we prove that ${}_p(E;F)$ is equal to ${}_q(E;F)$ for a wide range of values of p and q, and show that our results...

Motivated by some recent results by Li and Stević, in this paper we prove that a two-parameter family of Cesàro averaging operators ${}^{b,c}$ is bounded on the Dirichlet spaces ${}_{p,a}$. We also give a short and direct proof of boundedness of ${}^{b,c}$ on the Hardy space $H^p$ for 1 < p < ∞.

Let $A$ be the class of analytic functions in the unit disc $U$ of the complex plane $ℂ$ with the normalization $f\left(0\right)=f^{{}^{\text{'}}}\left(0\right)-1=0$. We introduce a subclass $S_M^{*}(\alpha ,b)$ of $A$, which unifies the classes of bounded starlike and convex functions of complex order. Making use of Salagean operator, a more general class $S_M^{*}(n,\alpha ,b)$ ($n\ge 0$) related to $S_M^{*}(\alpha ,b)$ is also considered under the same conditions. Among other things, we find convolution conditions for a function $f\in A$ to belong to the class $S_M^{*}(\alpha ,b)$. Several properties of the class $S_M^{*}(n,\alpha ,b)$ are investigated. ...

In analogy to the classical isomorphism between ((ℝⁿ), ${}^{\text{'}}\left({ℝ}^m\right))$ and ${}^{\text{'}}\left({ℝ}^{m+n}\right)$ (resp. $\left(\left(ℝⁿ\right){,}^{\text{'}}\left({ℝ}^m\right)\right)$ and ${}^{\text{'}}\left({ℝ}^{m+n}\right)$), we show that a large class of moderate linear mappings acting between the space ${}_C\left(ℝⁿ\right)$ of compactly supported generalized functions and (ℝⁿ) of generalized functions (resp. the space ${}_{}\left(ℝⁿ\right)$ of Colombeau rapidly decreasing generalized functions and the space ${}_{\tau }\left(ℝⁿ\right)$ of temperate ones) admits generalized integral representations, with kernels belonging to specific regular subspaces of $\left({ℝ}^{m+n}\right)$ (resp. ${}_{\tau }\left({ℝ}^{m+n}\right)$). The main novelty is to use...

We consider the Kantorovich and the Durrmeyer type modifications of the generalized Favard operators and we prove inverse approximation theorems for functions $f$ such that $w_{2m}f\in L^p(R)$, where $1\le p\le \mathrm{\infty }$ and $w_{2m}(x)={(1+x^{2m})}^{-1}$, $m\in N_0$.

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

Let $\mathrm{\Delta }$ be thick affine building of type ${\tilde{G}}_2$ the Laplace operators of $\mathrm{\Delta }$; associated with a pair $(y_1,y_2)$; is the Poisson transform of a suitable finitely additive measure on the maximal boundary $\mathrm{\Omega }$ of $\mathrm{\Delta }$; by using only the combinatorial structure of $\mathrm{\Delta }$.