Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Extreme Values of Automorphic L-Functions

Ω-theorems for some automorphic L-functions and, in particular, for the Rankin?Selberg L-function L(s, f × f) are considered. For example, as t tends to infinity, $$ \log \left| {L\left( {\frac{1}{2}+it,f\times f} \right)} \right|={\varOmega_{+}}\left( {{{{\left( {\frac{{\log t}}{{\log\;\log t}}} \right)}}^{1/2 }}} \right) $$ and $$ \log \left| {L\left( {{\sigma_0}+it,f\times f} \right)} \right|={\varOmega_{+}}\left( {{{{\left( {\frac{{\log t}}{{\log\;\log t}}} \right)}}^{{1-{\sigma_0}}}}} \right) $$ For a fixed σ ₀ ∈ $ \left( {\frac{1}{2},1} \right) $ . Bibliography: 15 titles.     

On the divergence of Lagrange interpolation processes on a set of second category

В статье даны полные д оказательства следу ющих утверждений. Пустьω — непрерывная неубывающая полуадд итивная функций на [0, ∞),ω(0)=0 и пусть M?[0, 1] — матрица узл ов интерполирования. Если $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n > 0$$ то существует точкаx ₀∈[0,1] и функцияf ∈ С[0,1] таки е, чтоω(f, δ)=О(ω(δ)), для которой $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x_0 ) - f(x_0 )| > 0$$ Если же $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n = \infty$$ , то существуют множес твоE второй категори и и функцияf ∈ С[0,1],ω(f, δ)=o(ω(δ)) та кие, что для всехx∈E $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x)| = \infty$$ . Исправлена погрешно сть, допущенная автор ом в [5], и отмеченная в работе П. Вертеши [9].     

On sets of uniqueness for harmonic functions in the unit circle

The resutls of this paper show that the structure of sets mentioned in the title is not trivial. For example, it is shown that there exist countalbe sets of uniqueness for logarithmic potential, i.e., closed countable subsets E of the unit circle $\mathbb{T}$ such that $$f \in C(\mathbb{T}),f|_E = 0,U^f |_E = 0 \Rightarrow f \equiv 0.$$ Here $U^f (z) = \tfrac{1}{\pi }\int\limits_0^{2\pi } {f(e^{i\theta } )\log \tfrac{1}{{\left| {z - e^{i\theta } } \right|}}d\theta } $ . On the other hand, it is shown that every countable porous closed subset of $\mathbb{T}$ is a nonuniqueness set. Bibliography: 9 titles.     

Bounding S(t) and S_1(t) on the Riemann hypothesis

Let $\pi S(t)$ denote the argument of the Riemann zeta-function, $\zeta (s)$ , at the point $s=\frac{1}{2}+it$ . Assuming the Riemann hypothesis, we present two proofs of the bound $$\begin{aligned} |S(t)| \le \left(\frac{1}{4} + o(1) \right)\frac{\log t}{\log \log t} \end{aligned}$$ for large $t$ . This improves a result of Goldston and Gonek by a factor of 2. The first method consists of bounding the auxiliary function $S_1(t) = \int _0^{t} S(u) \> \text{ d}u$ using extremal functions constructed by Carneiro, Littmann and Vaaler. We then relate the size of $S(t)$ to the size of the functions $S_1(t\pm h)-S_1(t)$ when $h\asymp 1/\log \log t$ . The alternative approach bounds $S(t)$ directly, relying on the solution of the Beurling–Selberg extremal problem for the odd function $f(x) = \arctan \left(\frac{1}{x}\right) - \frac{x}{1 + x^2}$ . This draws upon recent work by Carneiro and Littmann.     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

On the Density of the Winding Number of Planar Brownian Motion

We obtain a formula for the density \(f(\theta , t)\) of the winding number of a planar Brownian motion \(Z_t\) around the origin. From this formula, we deduce an expansion for \(f(\log (\sqrt{t})\,\theta ,\,t)\) in inverse powers of \(\log \sqrt{t}\) and \((1+\theta ^2)^{1/2}\) which in particular yields the corrections of any order to Spitzer’s asymptotic law (in Spitzer, Trans. Am. Math. Soc. 87:187–197, 1958). We also obtain an expansion for \(f(\theta ,t)\) in inverse powers of \(\log \sqrt{t}\) , which yields precise asymptotics as \(t \rightarrow \infty \) for a local limit theorem for the windings.     

A metrical lower bound on the star discrepancy of digital sequences

In this paper we study uniform distribution properties of digital sequences over a finite field of prime order. In 1998 it was shown by Larcher that for almost all $s$ -dimensional digital sequences $\mathcal{S }$ the star discrepancy $D_N^*$ satisfies an upper bound of the form $D_N^*(\mathcal{S })=O((\log N)^s (\log \log N)^{2+\varepsilon })$ for any $\varepsilon >0$ . Generally speaking it is much more difficult to obtain good lower bounds for specific sequences than upper bounds. Here we show that Larchers result is best possible up to some $\log \log N$ term. More detailed, we prove that for almost all $s$ -dimensional digital sequences $\mathcal{S }$ the star discrepancy satisfies $D_N^*(\mathcal{S }) \ge c(q,s) (\log N)^s \log \log N$ for infinitely many $N \in \mathbb{N }$ , where $c(q,s)>0$ only depends on $q$ and $s$ but not on $N$ .     

Divide and Conquer Roadmap for Algebraic Sets

Let \(\mathrm{R}\) be a real closed field and \(\hbox {D}\subset \mathrm{R}\) an ordered domain. We describe an algorithm that given as input a polynomial \(P \in \hbox {D}[ X_{1} , \ldots ,X_{{ k}} ]\) and a finite set, \(\mathcal {A}= \{ p_{1} , \ldots ,p_{m} \}\) , of points contained in \(V= {\mathrm{{Zer}}} ( P, \mathrm{R}^{{ k}})\) described by real univariate representations, computes a roadmap of \(V\) containing \(\mathcal {A}\) . The complexity of the algorithm, measured by the number of arithmetic operations in \(\hbox {D}\) , is bounded by \(\big ( \sum _{i=1}^{m} D^{O ( \log ^{2} ( k ) )}_{i} +1 \big ) ( k^{\log ( k )} d )^{O ( k\log ^{2} ( k ))}\) , where \(d= \deg ( P )\) and \(D_{i}\) is the degree of the real univariate representation describing the point \(p_{i}\) . The best previous algorithm for this problem had complexity card \(( \mathcal {A} )^{O ( 1 )} d^{O ( k^{3/2} )}\) (Basu et al., ArXiv, 2012), where it is assumed that the degrees of the polynomials appearing in the representations of the points in \(\mathcal {A}\) are bounded by \(d^{O ( k )}\) . As an application of our result we prove that for any real algebraic subset \(V\) of \(\mathbb {R}^{k}\) defined by a polynomial of degree \(d\) , any connected component \(C\) of \(V\) contained in the unit ball, and any two points of \(C\) , there exists a semi-algebraic path connecting them in \(C\) , of length at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) , consisting of at most \(( k ^{\log (k )} d )^{O ( k\log ( k ) )}\) curve segments of degrees bounded by \(( k ^{\log ( k )} d )^{O ( k \log ( k) )}\) . While it was known previously, by a result of D’Acunto and Kurdyka (Bull Lond Math Soc 38(6):951–965, 2006), that there always exists a path of length \(( O ( d ) )^{k-1}\) connecting two such points, there was no upper bound on the complexity of such a path.     

Best Uniform Rational Approximations of Functions by Orthoprojections

Let C[-1,1] be the Banach space of continuous complex functions $f$ on the interval [-1,1] equipped with the standard maximum norm $\left\| f \right\|$ ; let $\omega \left( \cdot \right) = \omega \left( { \cdot ,f} \right)$ be the modulus of continuity of $f$ ; and let $R_n = R_n \left( f \right)$ be the best uniform approximation of $f$ by rational functions (r.f.) whose degrees do not exceed $n = 1, 2, \ldots $ . The space C[-1,1] is also regarded as a pre-Hilbert space with respect to the inner product given by $\left( {f,g} \right) = \left( {1/\pi } \right)\int_{ - 1}^1 {f\left( x \right)g\left( x \right)} \left( {1 - x^2 } \right)^{ - 1/2} dx$ . Let $z_n = \{ z_1 , z_2 , \ldots z_n \} $ be a set of points located outside the interval [-1,1]. By $F\left( { \cdot ,f,z_n } \right)$ we denote an orthoprojection operator acting from the pre-Hilbert space C[-1,1] onto its ( ${n + 1}$ )-dimensional subspace consisting of rational functions whose poles (with multiplicity taken into account) can only be points of the set $z_n $ . In this paper, we show that if $f$ is not a rational function of degree $ \leqslant n$ , then we can find a set of points $z_n = z_n \left( f \right)$ such that $\left\| {f\left( \cdot \right) - F\left( { \cdot ,f,z_n } \right)} \right\| \leqslant 12R_n ln\frac{3}{{\omega ^{ - 1} \left( {R_n /3} \right)}}.$      

Strong approximation of Riesz means at critical index on Hp(T) (0<p≤1)

This paper is a continuation of [3]. Suppose f∈H^p(T), 0σ _r ^σ f,σ=1/p?1. When p=1, it is just the partial Fourier sums S_kf. In this paper we establish the sharp estimations on the degree of approximation: $$\left\{ { - \frac{1}{{logR}}\int\limits_1^R {\left\| {\sigma _r^\delta f - f} \right\|_{H^p (T)}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqq C{\mathbf{ }}{}_p\omega \left( {f,{\mathbf{ }}( - \frac{1}{{logR}})^{1/p} } \right)_{H^p (T)} ,0< p< 1,$$ and \(\frac{1}{{\log L}}\sum\limits_{k - 1}^L {\frac{{\left\| {S_k f - f} \right\|_H 1_{(T)} }}{k} \leqq Cp\omega (f; - \frac{1}{{\log L}})_H 1_{(T)} } \) Where $$\omega (f,{\mathbf{ }}h)_{H^p (T)} \begin{array}{*{20}c} { = Sup} \\ {0 \leqq \left| u \right| \leqq h} \\ \end{array} \left\| {f( \cdot + u) - f( \cdot )} \right\|_{H^p (T).} $$ .     

Logarithmic inequalities for Fourier multipliers

In the paper we study LlogL estimates for Fourier multipliers resulting from modulation of the jumps of Lévy processes. We exhibit a class of functions $m:\mathbb R ^d \rightarrow \mathbb C $ , for which the corresponding multipliers $T_m$ satisfy the following estimate: for $K>1$ , any locally integrable function $f$ on $\mathbb R ^d$ and any Borel subset $A$ of $\mathbb R ^d$ , $$\begin{aligned} \int _{A}|T_m f(x)|\,\text{ d}x\le K\int _{\mathbb{R }d}\Psi (|f(x)|)\,\text{ d}x+\frac{|A|}{2(K-1)}, \end{aligned}$$ where $\Psi (t)=(t+1)\log (t+1)-t$ . We also present related lower bounds which arise from considering appropriate examples for the Beurling-Ahlfors operator.     

Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains

We examine the fourth order problem $\Delta ^2 u = \lambda f(u) $ in $ \Omega $ with $ \Delta u = u =0 $ on $ {\partial \Omega }$ , where $ \lambda > 0$ is a parameter, $ \Omega $ is a bounded domain in $\mathbb{R }^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$ , $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$ . We show the extremal solution is smooth, provided $$\begin{aligned} N < 2 + 4 \sqrt{2} + 4 \sqrt{ 2 - \sqrt{2}} \approx 10.718 \text{ when} f(u)=e^u, \end{aligned}$$ and $$\begin{aligned} N < \frac{4p}{p-1} + \frac{4(p+1)}{p-1} \left( \sqrt{ \frac{2p}{p+1}} + \sqrt{ \frac{2p}{p+1} - \sqrt{ \frac{2p}{p+1}}} - \frac{1}{2} \right) \end{aligned}$$ when $ f(u)=(u+1)^p$ . New results are also obtained in the case where $ f(u)=(1-u)^{-p}$ . These are substantial improvements to various results on critical dimensions obtained recently by various authors. To do that, we derive a new stability inequality satisfied by minimal solutions of the above equation, which is more amenable to estimates as it allows a method of proof reminiscent of the second order case.     

The Duffin–Schaeffer conjecture with extra divergence II

In 2012 the authors set out a programme to prove the Duffin–Schaeffer conjecture for measures arbitrarily close to Lebesgue measure. In this paper we take a new step in this direction. Given a non-negative function $\psi : \mathbb N \rightarrow \mathbb R $ , let $W(\psi )$ denote the set of real numbers $x$ such that $|nx -a| < \psi (n) $ for infinitely many reduced rationals $a/n \ (n>0) $ . Our main result is that $W(\psi )$ is of full Lebesgue measure if there exists a $c > 0 $ such that $$\begin{aligned} \sum _{n\ge 16} \, \frac{\varphi (n) \psi (n)}{n \exp (c(\log \log n)(\log \log \log n))} \, = \, \infty \, . \end{aligned}$$      

Some properties of a hypergeometric function which appear in an approximation problem

In this paper we consider properties and power expressions of the functions $f:(-1,1)\rightarrow \mathbb{R }$ and $f_L:(-1,1)\rightarrow \mathbb{R }$ , defined by $$\begin{aligned} f(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma }{\sqrt{1-t^2}}\,\mathrm{d}t \quad \text{ and}\quad f_L(x;\gamma )=\frac{1}{\pi }\int \limits _{-1}^1 \frac{(1+xt)^\gamma \log (1+x t)}{\sqrt{1-t^2}}\,\mathrm{d}t, \end{aligned}$$ respectively, where $\gamma $ is a real parameter, as well as some properties of a two parametric real-valued function $D(\,\cdot \,;\alpha ,\beta ) :(-1,1) \rightarrow \mathbb{R }$ , defined by $$\begin{aligned} D(x;\alpha ,\beta )= f(x;\beta )f(x;-\alpha -1)- f(x;-\alpha )f(x;\beta -1),\quad \alpha ,\beta \in \mathbb{R }. \end{aligned}$$ The inequality of Turán type $$\begin{aligned} D(x;\alpha ,\beta )>0,\quad -1<x<1, \end{aligned}$$ for $\alpha +\beta >0$ is proved, as well as an opposite inequality if $\alpha +\beta <0$ . Finally, for the partial derivatives of $D(x;\alpha ,\beta )$ with respect to $\alpha $ or $\beta $ , respectively $A(x;\alpha ,\beta )$ and $B(x;\alpha ,\beta )$ , for which $A(x;\alpha ,\beta )=B(x;-\beta ,-\alpha )$ , some results are obtained. We mention also that some results of this paper have been successfully applied in various problems in the theory of polynomial approximation and some “truncated” quadrature formulas of Gaussian type with an exponential weight on the real semiaxis, especially in a computation of Mhaskar–Rahmanov–Saff numbers.     

Some consequences of the Lindelöf conjecture

Suppose that the Lindelöf conjecture is valid in the following quantitative form: $$|\zeta (\frac{1}{2} + it)| \leqslant c_0 |t|^{\varepsilon (|t|)} $$ , where ε(t) is a monotone decreasing function, $\varepsilon (2t) \geqslant \tfrac{1}{2}\varepsilon (t),\varepsilon (t) \geqslant \tfrac{1}{{\sqrt {log t} }}$ . Then it is proved that for |t|≥T₀ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant v\} $ contains at most 20v log |t| zeros of ζ(s) if $\tfrac{1}{2} \geqslant v \geqslant \sqrt {\varepsilon (t)} $ . There exists an absolute constant A such that for |t|≥T₁ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant A\varepsilon ^{\tfrac{1}{3}} (t)\} $ contains at least one zero of ζ(s). Bibliography: 2 titles.     

Boundaries of Disk-Like Self-affine Tiles

Let $T:= T(A, \mathcal{D })$ T : = T ( A , D ) be a disk-like self-affine tile generated by an integral expanding matrix $A$ A and a consecutive collinear digit set $\mathcal{D }$ D , and let $f(x)=x^{2}+px+q$ f ( x ) = x 2 + px + q be the characteristic polynomial of $A$ A . In the paper, we identify the boundary $\partial T$ ? T with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,\mathcal{D })$ ( A , D ) to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega $ ω , we find the generalized Hausdorff dimension $\dim _H^{\omega } (\partial T)=2\log \rho (M)/\log |q|$ dim H ω ( ? T ) = 2 log ρ ( M ) / log | q | where $\rho (M)$ ρ ( M ) is the spectral radius of certain contact matrix $M$ M . Especially, when $A$ A is a similarity, we obtain the standard Hausdorff dimension $\dim _H (\partial T)=2\log \rho /\log |q|$ dim H ( ? T ) = 2 log ρ / log | q | where $\rho $ ρ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$ x 3 ? ( | p | ? 1 ) x 2 ? ( | q | ? | p | ) x ? | q | , which is simpler than the known result.     

Continuity of solutions to n-harmonic equations

In this paper, we study the nonhomogeneous n-harmonic equation $$-{\rm div}\,(|{\nabla} u|^{n-2}{\nabla} u)=f$$ in domains ${\Omega\subset {\mathbb {R}^n}}$ (n?≥?2), where ${f\in W^{-1,\frac{n}{n-1}}(\Omega)}$ . We derive a sharp condition to guarantee the continuity of solutions u. In particular, we show that when n?≥ 3, the condition that, for some ${\epsilon >0 ,}$ f belongs to $${\mathfrak{L}}({\rm log}\,{\mathfrak{L}})^{n-1}({\rm log}\,{\rm log}\,{\mathfrak{L}})^{n-2}\cdots({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2}({\rm log}\cdots{\rm log}\,{\mathfrak{L}})^{n-2+\epsilon}(\Omega)$$ is sufficient for continuity of u, but not for ${\epsilon=0}$ .     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

Inequalities for the harmonic numbers

We present various inequalities for the harmonic numbers defined by ${H_n=1+1/2 +\ldots +1/n\,(n\in{\bf N})}$ . One of our results states that we have for all integers n ???2: $$\alpha \, \frac{\log(\log{n}+\gamma)}{n^2} \leq H_n^{1/n} -H_{n+1}^{1/(n+1)} < \beta \, \frac{\log(\log{n}+\gamma)}{n^2}$$ with the best possible constant factors $$\alpha= \frac{6 \sqrt{6}-2 \sqrt[3]{396}}{3 \log(\log{2}+\gamma)}=0.0140\ldots \quad\mbox{and} \quad\beta=1.$$ Here, ?? denotes Euler??s constant.