We extend to the setting of Dirichlet series previous results of H. Bohr for Taylor series in one variable, themselves generalized by V. I. Paulsen, G. Popescu and D. Singh or extended to several variables by L. Aizenberg, R. P. Boas and D. Khavinson. We show in particular that, if $f\left(s\right)={\sum }_{n=1}^{\infty }aₙn^{-s}$ with ${\left|\right|f\left|\right|}_{\infty }:=su{p}_{\Re s>0}\left|f\left(s\right)\right|<\infty$, then ${\sum }_{n=1}^{\infty }\left|aₙ\right|n^{-2}{\le \left|\right|f\left|\right|}_{\infty }$ and even slightly better, and ${\sum }_{n=1}^{\infty }\left|aₙ\right|n^{-1/2}{\le C\left|\right|f\left|\right|}_{\infty }$, C being an absolute constant.

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

Let $\chi$ be a nonprincipal Dirichlet character modulo a prime number $p⩾3$ and let ${𝔞}_{\chi }:=\frac{1}{2}(1-\chi (-1))$. Define the mean value $${ℳ}_p(-s,\chi ):=\frac{2}{p-1}\sum \psi (modp)\psi (-1)=-1L(1,\psi )L(-s,\chi \overline{\psi })(\sigma :=\Re s>0).$$ We give an identity for ${ℳ}_p(-s,\chi )$ which, in particular, shows that $${ℳ}_p(-s,\chi )=L(1-s,\chi )+{𝔞}_{\chi }2p^{s}L(1,\chi )\zeta (-s)+o\left(1\right)(p\to \infty )$$ for fixed $0<\sigma <\frac{1}{2}$ and $|t:=\Im s|=o\left(p^{(1-2\sigma )/(3+2\sigma )}\right)$.

Let $F$ be a class of entire functions represented by Dirichlet series with complex frequencies $\sum a_k{\mathrm{e}}^{\langle {\lambda }^k,z\rangle }$ for which $\left(\right|{\lambda }^k{|/\mathrm{e})}^{|{\lambda }^k|}k!\left|a_k\right|$ is bounded. Then $F$ is proved to be a commutative Banach algebra with identity and it fails to become a division algebra. $F$ is also proved to be a total set. Conditions for the existence of inverse, topological zero divisor and continuous linear functional for any element belonging to $F$ have also been established.

We define thin equivalence relations ∼ on shift spaces ${}^{\infty }$ and derive Dirichlet forms on the quotient space $\Sigma {=}^{\infty }/\sim$ in terms of the nearest neighbour averaging operator. We identify the associated Laplace operator. The conditions are applied to some non-self-similar extensions of the Sierpiński gasket.

We establish the comparison principle in the class ${}_p\left(f\right)$. The result obtained is applied to the Dirichlet problem in ${}_p\left(f\right)$.

Let $a$ and $b\in \mathbb{N}$. Denote by $R_{a,b}$ the set of all integers $n>1$ whose canonical prime representation $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_r^{{\alpha }_r}$ has all exponents ${\alpha }_i$ $(1\le i\le r)$ being a multiple of $a$ or belonging to the arithmetic progression $at+b$, $t\in {\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$. All integers in $R_{a,b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

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.

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s≥ 3. Also let ₙ be the symmetrized polydisc in ℂⁿ, n ≥ 3. We characterize those real-valued continuous functions defined on the boundary of D or ₙ which can be extended to the inside to a pluriharmonic function. As an application a complete characterization of the compliant functions is obtained.

Let $(X,d,\mu )$ be a metric measure space satisfying the doubling condition and an $L^2$-Poincaré inequality. Consider the nonnegative operator $ℒ$ generalized by a Dirichlet form on $X$. We will show that a solution $u$ to $(-{\partial }_t^2+ℒ)u=0$ on $X\times {ℝ}_{+}$ satisfies an $\alpha$-Carleson condition if and only if $u$ can be represented as the Poisson integral of the operator $ℒ$ with the trace in the generalized Morrey space $L^{2,\alpha }\left(X\right)$, where $\alpha$ is a nonnegative function defined on a class of balls in $X$. This result extends the analogous characterization...

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

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

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

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

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

Let ${𝒫}_2$ denote a positive integer with at most $2$ prime factors, counted according to multiplicity. For integers $a$, $q$ such that $(a,q)=1$, let ${𝒫}_2(q,a)$ denote the least ${𝒫}_2$ in the arithmetic progression ${\{nq+a\}}_{n=1}^{\infty }$. It is proved that for sufficiently large $q$, we have $${𝒫}_2(q,a)\ll q^{1.825}.$$ This result constitutes an improvement upon that of J. Li, M. Zhang and Y. Cai (2023), who obtained ${𝒫}_2(q,a)\ll q^{1.8345}.$