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.

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

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

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²().

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

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

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

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.

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

We investigate the construction of Carleson measures from families of multilinear integral operators applied to tuples of $L^{\infty }$ and BMO functions. We show that if the family $R_t$ of multilinear operators has cancellation in each variable, then for BMO functions b₁, ..., bₘ, the measure $|R_t(b₁,...,bₘ)\left(x\right)|²dxdt/t$ is Carleson. However, if the family of multilinear operators has cancellation in all variables combined, this result is still valid if $b_j$ are $L^{\infty }$ functions, but it may fail if $b_j$ are unbounded BMO functions, as...

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.

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

Suppose that $\mu$ is an absolutely continuous probability measure on ${}^R$n, for large $n$. Then $\mu$ has low-dimensional marginals that are approximately spherically-symmetric. More precisely, if $n\ge {(C/\epsilon )}^{Cd}$, then there exist $d$-dimensional marginals of $\mu$ that are $\epsilon$-far from being sphericallysymmetric, in an appropriate sense. Here $C>0$ is a universal constant.

We present a new theorem on the differential inequality $u^{\left(m\right)}\le w\left(u\right)$. Next, we apply this result to obtain existence theorems for the equation $x^{\left(m\right)}=f(t,x)$.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

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 ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

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

Let $S_i:{ℝ}^d\to {ℝ}^d$ for i = 1,..., N be contracting similarities, let $(p₁,...,p_N,p)$ be a probability vector and let ν be a probability measure on ${ℝ}^d$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on ${ℝ}^d$ such that $\mu ={\sum }_{i=1}^N{p}_i\mu \circ S_i^{-1}+p\nu$. We give satisfactory estimates for the lower and upper bounds of the $L^q$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

We define a class of measures having the following properties: (1) the measures are supported on self-similar fractal subsets of the unit cube $I^M={[0,1)}^M$, with 0 and 1 identified as necessary; (2) the measures are singular with respect to normalized Lebesgue measure m on $I^M$; (3) the measures have the convolution property that $\mu \ast L^p\subseteq L^{p+\epsilon }$ for some ε = ε(p) > 0 and all p ∈ (1,∞). We will show that if (1/p,1/q) lies in the triangle with vertices (0,0), (1,1) and (1/2,1/3), then $\mu \ast L^p\subseteq L^q$ for any measure μ in our...

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...

We obtain the boundedness of Calderón-Zygmund singular integral operators $T$ of non-convolution type on Hardy spaces $H^p\left(𝒳\right)$ for $1/(1+ϵ)<p\le 1$, where $𝒳$ is a space of homogeneous type in the sense of Coifman and Weiss (1971), and $ϵ$ is the regularity exponent of the kernel of the singular integral operator $T$. Our approach relies on the discrete Littlewood-Paley-Stein theory and discrete Calderón’s identity. The crucial feature of our proof is to avoid atomic decomposition and molecular theory in contrast...

A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^p$ to $L^q$ for some q > p. Positive measures which are $L^p$-improving are known to have positive Hausdorff dimension. We extend this result to complex $L^p$-improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^p$-functions.

Diamo condizioni sulle funzioni $f$, $g$ e sulla misura $\mu$ affinché il funzionale $$F(u)={\int }_{\mathrm{\Omega }}f(x,u,Du)𝑑x+{\int }_{\overline{\mathrm{\Omega }}}g(x,u)𝑑\mu$$ sia $L^1(\mathrm{\Omega })$-semicontinuo inferiormente su $W^{1,1}(\mathrm{\Omega })\cap C^0(\overline{\mathrm{\Omega }})$. Affrontiamo successivamente il problema del rilassamento.

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 $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

CONTENTSIntroduction.......................................................................................................................................................... 5Chapter I. Some preliminary lemmas............................................................................................................ 8Chapter II. Weighted $H^p$ spaces of analytic functions.......................................................................... 13 1. Behaviour at the boundary..........................................................................................................................

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$...

Motivated by recent developments on calculus in metric measure spaces $(X,\mathrm{d},\mathrm{m})$, we prove a general duality principle between Fuglede’s notion [15] of $p$-modulus for families of finite Borel measures in $(X,\mathrm{d})$ and probability measures with barycenter in $L^q(X,\mathrm{m})$, with $q$ dual exponent of $p\in (1,\infty )$. We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$. In the final part of the paper we provide a new proof, independent of optimal transportation, of the...

Let p,q be positive integers. The groups $U_p\left(ℂ\right)$ and $U_p\left(ℂ\right)\times U_q\left(ℂ\right)$ act on the Heisenberg group $H_{p,q}:=M_{p,q}\left(ℂ\right)\times ℝ$ canonically as groups of automorphisms, where $M_{p,q}\left(ℂ\right)$ is the vector space of all complex p × q matrices. The associated orbit spaces may be identified with ${\Pi }_q\times ℝ$ and ${\Xi }_q\times ℝ$ respectively, ${\Pi }_q$ being the cone of positive semidefinite matrices and ${\Xi }_q$ the Weyl chamber $x\in {ℝ}^q:x₁\ge \cdots \ge x_q\ge 0$. In this paper we compute the associated convolutions on ${\Pi }_q\times ℝ$ and ${\Xi }_q\times ℝ$ explicitly, depending on p. Moreover, we extend these convolutions by analytic continuation to series...