If $1\>\alpha \>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}$.

We study deformations of the classical convolution. For every invertible transformation T:μ ↦ Tμ, we are able to define a new associative convolution of measures by $\mu {*}_T\nu =T^{-1}(T\mu *T\nu )$. We deal with the $V_a$-deformation of the classical convolution. We prove the analogue of the classical Lévy-Khintchine formula. We also show the central limit measure, which turns out to be the standard Gaussian measure. Moreover, we calculate the Poisson measure in the $V_a$-deformed classical convolution and give the orthogonal...

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

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

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 φ:ℝ ² → ℝ 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 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.

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.

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 ${\varphi }_1,\cdots ,{\varphi }_n$ be real homogeneous functions in $C^{\infty }({ℝ}^n-\left\{0\right\})$ of degree $k\ge 2$, let $\varphi \left(x\right)=({\varphi }_1\left(x\right),\cdots ,{\varphi }_n\left(x\right))$ and let $\mu$ be the Borel measure on ${ℝ}^{2n}$ given by $$\mu \left(E\right)={\int }_{{ℝ}^n}{\chi }_E(x,\varphi \left(x\right)){\left|x\right|}^{\gamma -n}\mathrm{d}x$$ where $\mathrm{d}x$ denotes the Lebesgue measure on ${ℝ}^n$ and $\gamma >0$. Let $T_{\mu }$ be the convolution operator $T_{\mu }f\left(x\right)=(\mu *f)\left(x\right)$ and let $$E_{\mu }=\{(1/p,1/q)\parallel T_{\mu }{\parallel }_{p,q}<\infty ,1\le p,q\le \infty \}.$$ Assume that, for $x\ne 0$, the following two conditions hold: $det\left({\mathrm{d}}^2\varphi \left(x\right)h\right)$ vanishes only at $h=0$ and $det\left(\mathrm{d}\varphi \right(x\left)\right)\ne 0$. In this paper we show that if $\gamma >n(k+1)/3$ then $E_{\mu }$ is the empty set and if $\gamma \le n(k+1)/3$ then $E_{\mu }$ is the closed segment with endpoints $D=\left(1-\frac{\gamma }{n(k+1)},1-\frac{2\gamma }{n(k+1)}\right)$ and $D^{\text{'}}=\left(\frac{2\gamma }{n(1+k)},\frac{\gamma }{n(1+k)}\right)$. Also, we give some examples.

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

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

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

The author investigates the boundedness of the higher order commutator of strongly singular convolution operator, $T_b^m$, on Herz spaces $K{̇}_q^{\alpha ,p}\left(ℝⁿ\right)$ and $K_q^{\alpha ,p}\left(ℝⁿ\right)$, and on a new class of Herz-type Hardy spaces $HK{̇}_{q,b,m}^{\alpha ,p,0}\left(ℝⁿ\right)$ and $H{K}_{q,b,m}^{\alpha ,p,0}\left(ℝⁿ\right)$, where 0 < p ≤ 1 < q < ∞, α = n(1-1/q) and b ∈ BMO(ℝⁿ).

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^1$ boundary and the spherical Hausdorff measure $S^{Q-1}$ restricted to $\partial E$, when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q-1}\left(\partial E\right)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

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

The paper is devoted to infinitely differentiable one-parameter convolution semigroups in the convolution algebra ${}_C^{\text{'}}(ℝⁿ;M_{m\times m})$ of matrix valued rapidly decreasing distributions on ℝⁿ. It is proved that $G{\in }_C^{\text{'}}(ℝⁿ;M_{m\times m})$ is the generating distribution of an i.d.c.s. if and only if the operator ${\partial }_t{\otimes }_{m\times m}-G\ast$ on ${ℝ}^{1+n}$ satisfies the Petrovskiĭ condition for forward evolution. Some consequences are discussed.

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

Extending previous work by Meise and Vogt, we characterize those convolution operators, defined on the space ${}_{\left(\omega \right)}\left(ℝ\right)$ of (ω)-quasianalytic functions of Beurling type of one variable, which admit a continuous linear right inverse. Also, we characterize those (ω)-ultradifferential operators which admit a continuous linear right inverse on ${}_{\left(\omega \right)}[a,b]$ for each compact interval [a,b] and we show that this property is in fact weaker than the existence of a continuous linear right inverse on ${}_{\left(\omega \right)}\left(ℝ\right)$.

We consider Akatsuka’s zeta Mahler measure as a generating function of the higher Mahler measure $m_k\left(P\right)$ of a polynomial $P,$ where $m_k\left(P\right)$ is the integral of $lo{g}^k\left|P\right|$ over the complex unit circle. Restricting ourselves to P(x) = x - r with |r| = 1 we show some new asymptotic results regarding $m_k\left(P\right)$, in particular $|m_k\left(P\right)|/k!\to 1/\pi$ as k → ∞.

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

An example of a non-zero non-atomic translation-invariant Borel measure ${\nu }_p$ on the Banach space ${\ell }_p\left(1\le p\le \infty \right)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition "${\nu }_p$-almost every element of ${\ell }_p$ has a property P" implies that “almost every” element of ${\ell }_p$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

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