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

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

Let $Q={\left(Q_k\right)}_{k\ge 0},Q_0=1,Q_{k+1}=q_k{Q}_k,q_k\ge 2$, be a Cantor scale, ${𝐙}_Q$ the compact projective limit group of the groups $𝐙/Q_k𝐙$, identified to ${\prod }_{0\le j\le k-1}𝐙/q_j𝐙$, and let $\mu$ be its normalized Haar measure. To an element $x=\{a_0,a_1,a_2,\cdots \},0\le a_k\le q_{k+1}-1$, of ${𝐙}_Q$ we associate the sequence of integral valued random variables $x_k={\sum }_{0\le j\le k}{a}_j{Q}_j$. The main result of this article is that, given a complex $𝐐$-multiplicative function $g$ of modulus $1$, we have $$\underset{x_k\to x}{lim}(\frac{1}{x_k}\sum _{n\le x_k-1}g\left(n\right)-\prod _{0\le j\le k}\frac{1}{q_j}\sum _{0\le a\le q_j}g\left(a{Q}_j\right))=0\mu \text{-a.e}.$$

Let $f\left(x\right)$ be a power series ${\sum }_{n\ge 1}\zeta \left(n\right)x^{e\left(n\right)}$, where $\left(e\right(n\left)\right)$ is a strictly increasing linear recurrence sequence of non-negative integers, and $\left(\zeta \right(n\left)\right)$ a sequence of roots of unity in ${\overline{\mathbb{Q}}}_p$ satisfying an appropriate technical condition. Then we are mainly interested in characterizing the algebraic independence over ${\mathbb{Q}}_p$ of the elements $f\left({\alpha }_1\right),...,$ $f\left({\alpha }_t\right)$ from ${ℂ}_p$ in terms of the distinct ${\alpha }_1,...,{\alpha }_t\in {\mathbb{Q}}_p$ satisfying $0\<|{\alpha }_{\tau }{|}_p\<1$ for $\tau =1,...,t$. A striking application of our basic result says that, in the case $e\left(n\right)=n$, the set $\left\{f\left(\alpha \right)\right|\alpha \in {\mathbb{Q}}_p,0\<|\alpha {|}_p\<1\}$ is algebraically independent over ${\mathbb{Q}}_p$ if...

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 $T:ℝ/\mathbb{Z}\to ℝ/\mathbb{Z}$ be a von Neumann-Kakutani $q$- adic adding machine transformation and let $\varphi \in C^1\left(\right[0,1\left]\right)$. Put $${\varphi }_n\left(x\right):=\varphi \left(x\right)+\varphi \left(Tx\right)+...+\varphi (T^{n-1}x),x\in ℝ/\mathbb{Z},n\in \mathbb{N}.$$ We study three questions: 1. When will $\left({\varphi }_n\right(x){)}_{n\ge 1}$ be bounded? 2. What can be said about limit points of $\left({\varphi }_n\right(x){)}_{n\ge 1}?$ 3. When will the skew product $(x,y)\mapsto (Tx,y+\varphi (x\left)\right)$ be ergodic on $ℝ/\mathbb{Z}\times ℝ?$

We show that for a unitary operator U on $L^2(X,\mu )$, where X is a compact manifold of class $C^r$, $r\in \mathbb{N}\cup \infty ,\omega$, and μ is a finite Borel measure on X, there exists a $C^r$ function that realizes the maximal spectral type of U.

It is proved that if ${\phi }_n$ is a complete orthonormal system of bounded functions and ɛ>0, then there exists a measurable set E ⊂ [0,1] with measure |E|>1-ɛ, a measurable function μ(x), 0 < μ(x) ≤ 1, μ(x) ≡ 1 on E, and a series of the form ${\sum }_{k=1}^{\infty }{c}_k{\phi }_k\left(x\right)$, where $c_k\in l_q$ for all q>2, with the following properties: 1. For any p ∈ [1,2) and $f\in L_{\mu }^p[0,1]=f:{ʃ}_0^1{\left|f\left(x\right)\right|}^p\mu \left(x\right)dx<\infty$ there are numbers ${\varepsilon }_k$, k=1,2,…, ${\varepsilon }_k$ = 1 or 0, such that $li{m}_{n\to \infty }{ʃ}_0^1{|{\sum }_{k=1}^n{\varepsilon }_k{c}_k{\phi }_k\left(x\right)-f\left(x\right)|}^p\mu \left(x\right)dx=0.$ 2. For every p ∈ [1,2) and $f\in L_{\mu }^p[0,1]$ there are a function $g\in L^1[0,1]$ with g(x) = f(x) on E and numbers ${\delta }_k$, k=1,2,…, ${\delta }_k=1$ or 0,...