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 ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

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 $L_G\left(s\right)$ to be the $L$-function attached to a particular automorphic form $G$ on $GL\left(6\right)$. We establish an upper bound for the mean square estimate on the critical line of Rankin-Selberg $L$-function $L_{G\times G}\left(s\right)$. As an application of this result, we give an asymptotic formula for the discrete sum of coefficients of $L_{G\times G}\left(s\right)$.

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

Motivated by the fundamental theorem of calculus, and based on the works of W. Feller as well as M. Kac and M. G. Kreĭn, given an atomless Borel probability measure $\eta$ supported on a compact subset of $ℝ$ U. Freiberg and M. Zähle introduced a measure-geometric approach to define a first order differential operator ${\nabla }_{\eta }$ and a second order differential operator ${\Delta }_{\eta }$, with respect to $\eta$. We generalize this approach to measures of the form $\eta :=\nu +\delta$, where $\nu$ is non-atomic and $\delta$ is finitely supported. We determine...

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

We investigate the effect of admitting signed measures as a datum at the scalar Chern-Simons equation $$-\Delta u+{\mathrm{e}}^u({\mathrm{e}}^u-1)=\mu \text{in}\Omega$$ with the Dirichlet boundary condition. Approximating $\mu$ by a sequence ${\left({\mu }_n\right)}_{n\in \mathbb{N}}$ of $L^1$ functions or finite signed measures such that this equation has a solution $u_n$ for each $n\in \mathbb{N}$, we are interested in establishing the convergence of the sequence ${\left(u_n\right)}_{n\in \mathbb{N}}$ to a function $u^{\#}$ and describing the form of the measure which appears on the right-hand side of the scalar Chern-Simons equation solved by $u^{\#}$.

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