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 ${\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 $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.

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 $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

It is proved that real functions on $ℝ$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $ℝ$ (i.e. those locally Lipschitz functions on $ℝ$ for which $f_{+}^{\text{'}}\left(x\right)={lim}_{t\to x+}{f}_{+}^{\text{'}}\left(t\right)$ and $f_{-}^{\text{'}}\left(x\right)={lim}_{t\to x-}{f}_{-}^{\text{'}}\left(t\right)$ for each $x$). Further, for each modulus $\omega$, we characterize the class $DS{C}_{\omega }$ of functions on $ℝ$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega$ (for some $C>0$) using a new...

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

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

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

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