In this paper we continue the study of the Fourier transform on ${\mathbf{R}}^n$, $n\ge 2$, analyzing the “almost-orthogonality” of the different directions of the space with respect to the Fourier transform. We prove two theorems: the first is related to an angular Littlewood-Paley square function, and we obtain estimates in terms of powers of $log\left(N\right)$, where $N$ is the number of equal angles considered in ${\mathbf{R}}^2$. The second is an extension of the Hardy-Littlewood maximal function when one consider cylinders of ${\mathbf{R}}^n$, $n\ge 2$,...

Let $E$ be a self-similar set with similarities ratio $r_j(0\le j\le m-1)$ and Hausdorff dimension $s$, let $\overrightarrow{p}(p_0,p_1)...p_{m-1}$ be a probability vector. The Besicovitch-type subset of $E$ is defined as $$E\left(\overrightarrow{p}\right)=\left\{x\in E:\underset{n\to \infty }{lim}\frac{1}{n}\sum _{k=1}^n{\chi }_j\left(x_k\right)=p_j,0\le j\le m-1\right\},$$ where ${\chi }_j$ is the indicator function of the set $\left\{j\right\}$. Let $\alpha ={dim}_H\left(E\left(\overrightarrow{p}\right)\right)={dim}_P\left(E\left(\overrightarrow{p}\right)\right)=\frac{{\sum }_{j=0}^{m-1}{p}_{j}log{p}_j}{{\sum }_{j=0}^{m-1}{p}_{i}log{r}_j}$ and $g$ be a gauge function, then we prove in this paper:(i) If $\overrightarrow{p}=(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then $${\mathscr{H}}^s\left(E\left(\overrightarrow{p}\right)\right)={\mathscr{H}}^s\left(E\right),{𝒫}^s\left(E\left(\overrightarrow{p}\right)\right)={𝒫}^s\left(E\right),$$ moreover both of ${\mathscr{H}}^s\left(E\right)$ and ${𝒫}^s\left(E\right)$ are finite positive;(ii) If $\overrightarrow{p}$ is a positive probability vector other than $(r_0^s,r_1^s,\cdots ,r_{m-1}^s)$, then the gauge functions can be partitioned as follows ...

The $L^p$ boundedness(1 < p < ∞) of Littlewood-Paley’s g-function, Lusin’s S function, Littlewood-Paley’s $g{*}_{\lambda }$-functions, and the Marcinkiewicz function is well known. In a sense, one can regard the Marcinkiewicz function as a variant of Littlewood-Paley’s g-function. In this note, we treat counterparts ${\mu }_S^{\varrho }$ and ${\mu }_{\lambda }^{*,\varrho }$ to S and $g{*}_{\lambda }$. The definition of ${\mu }_S^{\varrho }\left(f\right)$ is as follows: ${\mu }_S^{\varrho }\left(f\right)\left(x\right)=({ʃ}_{|y-x|<t}|1/t^{\varrho }{ʃ}_{\left|z\right|\le t}\Omega \left(z\right)/{\left(\right|z|}^{n-\varrho }{\left)f(y-z)dz\right|}^2\left(dydt\right)/\left(t^{n+1}\right){)}^{1/2}$, where Ω(x) is a homogeneous function of degree 0 and Lipschitz continuous of order β (0 < β ≤ 1) on the unit sphere $S^{n-1}$, and...

We consider the $q$-ary digital expansion of the first $N$ terms of an exponential sequence $a^n$. Using a result due to Kiss and Tichy [8], we prove that the average number of occurrences of an arbitrary digital block in the last $clogN$ digits is asymptotically equal to the expected value. Under stronger assumptions we get a similar result for the first ${(logN)}^{\frac{3}{2}-ϵ}$ digits, where $ϵ$ is a positive constant. In both methods, we use estimations of exponential sums and the concept of discrepancy of real sequences...

For $x\in ℂ$, $\left|x\right|\&lt;1$, $s\in \mathbb{N}$, let ${\mathrm{Li}}_s\left(x\right)$ be the $s$-th polylogarithm of $x$. We prove that for any non-zero algebraic number $\alpha$ such that $\left|\alpha \right|\&lt;1$, the $\mathbb{Q}\left(\alpha \right)$-vector space spanned by $1,{\mathrm{Li}}_1\left(\alpha \right),{\mathrm{Li}}_2\left(\alpha \right),\cdots$ has infinite dimension. This result extends a previous one by Rivoal for rational $\alpha$. The main tool is a method introduced by Fischler and Rivoal, which shows the coefficients of the polylogarithms in the relevant series to be the unique solution of a suitable Padé approximation problem.

In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda =b_{2}log{\alpha }_2-b_{1}log{\alpha }_1-b_{3}log{\alpha }_3\ne 0$ with $b_1,b_2,b_3$ positive integers and ${\alpha }_1,{\alpha }_2,{\alpha }_3$ positive multiplicatively independent rational numbers greater than $1$. Let ${\alpha }_{j1}={\alpha }_{j1}/{\alpha }_{j2}$ with ${\alpha }_{j1},{\alpha }_{j2}$ coprime positive integers $(j=1,2,3)$. Let ${\alpha }_j\ge \text{max}\{{\alpha }_{j1},e\}$ and assume that gcd$(b_1,b_2,b_3)=1.$ Let $$b^{\text{'}}=\left(\frac{b_2}{log{\alpha }_1}+\frac{b_1}{log{\alpha }_2}\right)\left(\frac{b_2}{log{\alpha }_3}+\frac{b_3}{log{\alpha }_2}\right)$$ and assume that $B\ge \text{max}\{10,log{b}^{\text{'}}\}.$ We prove that either $\{b_1,b_2,b_3\}$ is $\left(c_4,B\right)$-linearly dependent over $\mathbb{Z}$ (with respect to $\left(a_1,a_2,a_3\right)$)...

We consider the following problem: find on ${ℂ}^2$ a plurisubharmonic function with a given order function. In particular, we prove that any positive ambiguous function on $ℂ{\mathbb{P}}^1$ which is constant outside a polar set is the order function of a plurisubharmonic function.

In this paper, we give a new upper-bound for the discrepancy $$D\left(N\right):=\underset{0\le \gamma \le 0}{sup}|\sum _{\genfrac{}{}{0pt}{}{p\le /N}{\left\{p^{\alpha }\right\}\le \gamma }}1-\pi \left(N\right)\gamma |$$ for the sequence $\left(p^{\alpha }\right)$, when $5/3\le \alpha \&gt;3$ and $\alpha \ne 2$.

Given a large prime number $p$ and a rational function $r\left(X\right)$ defined over ${𝔽}_p=\mathbb{Z}/p\mathbb{Z}$, we investigate the size of the set $\left\{x\in {𝔽}_p:\tilde{r}\left(x\right)\&gt;\tilde{r}(x+1)\right.$, where $\tilde{r}\left(x\right)$ and $\tilde{r}(x+1)$ denote the least positive representatives of $r\left(x\right)$ and $r(x+1)$ in $\mathbb{Z}$ modulo $p\mathbb{Z}$.