We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty )$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow–Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages.

In this paper, we mainly investigate the well-posedness of the four-order degenerate differential equation ($P_4$): $(Mu)''''(t) + \alpha (Lu)'''(t) + (Lu)''(t)$ $=\beta Au(t) + \gamma Bu'(t) + Gu'_t + Fu_t + f(t),\,( t\in [0,\,2\pi ])$ in periodic Lebesgue–Bochner spaces $L^p(\mathbb {T}; X)$ and periodic Besov spaces $B_{p,q}^s\;(\mathbb {T}; X)$, where $A$, $B$, $L$ and $M$ are closed linear operators on a Banach space $X$ such that $D(A)\cap D(B)\subset D(M)\cap D(L)$ and $\alpha,\,\beta,\,\gamma \in \mathbb {C}$, $G$ and $F$ are bounded linear operators from $L^p([-2\pi,\,0];X)$ (respectively $B_{p,q}^s([-2\pi,\,0];X)$) into $X$, $u_t(\cdot ) = u(t+\cdot )$ and $u'_t(\cdot ) = u'(t+\cdot )$ are defined on $[-2\pi,\,0]$ for $t\in [0,\, 2\pi ]$. We completely characterize the well-posedness of ($P_4$) in the above two function spaces by using known operator-valued Fourier multiplier theorems.

We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.

Let $\mathcal {F}$ denote the set of functions $f \colon [-1/2,1/2] \to \mathbb {R}_{\geq 0}$ such that $\int f = 1$. We determine the value of $\inf _{f \in \mathcal {F}} \| f \ast f \|_2^2$ up to a $4 \cdot 10^{-6}$ error, thereby making progress on a problem asked by Ben Green. Furthermore, we prove that a unique minimizer exists. As a corollary, we obtain improvements on the maximum size of $B_h[g]$ sets for $(g,h) \in \{ (2,2),(3,2),(4,2),(1,3),(1,4)\}$.

We prove Lp norm convergence for (appropriate truncations of) the Fourier series arising from the Dirichlet Laplacian eigenfunctions on three types of triangular domains in $\mathbb{R}^2$: (i) the 45-90-45 triangle, (ii) the equilateral triangle and (iii) the hemiequilateral triangle (i.e. half an equilateral triangle cut along its height). The limitations of our argument to these three types are discussed in light of Lamé’s Theorem and the image method.

We consider direct and inverse Jacobi transforms with measures

$$\begin{align*}d\mu(t)=2^{2\rho}(\operatorname{sinh} t)^{2\alpha+1}(\operatorname{cosh} t)^{2\beta+1}\,dt\end{align*}$$

$$\begin{align*}d\sigma(\lambda)=(2\pi)^{-1}\Bigl|\frac{2^{\rho-i\lambda}\Gamma(\alpha+1)\Gamma(i\lambda)} {\Gamma((\rho+i\lambda)/2)\Gamma((\rho+i\lambda)/2-\beta)}\Bigr|^{-2}\,d\lambda,\end{align*}$$

$$\begin{align*}\inf\Lambda((-1)^{m-1}f), \quad m\in \mathbb{N}, \end{align*}$$

$\Lambda (f)=\sup \,\{\lambda>0\colon f(\lambda )>0\}$

$m\ge 2$

$\int _{0}^{\infty }\lambda ^{2k}f(\lambda )\,d\sigma (\lambda )=0$

$k=0,\dots ,m-2$

We prove that admissible functions for this problem are positive-definite with respect to the inverse Jacobi transform. The solution of Logan’s problem was known only when $\alpha =\beta =-1/2$ . We find a unique (up to multiplication by a positive constant) extremizer $f_m$ . The corresponding Logan problem for the Fourier transform on the hyperboloid $\mathbb {H}^{d}$ is also solved. Using the properties of the extremizer $f_m$ allows us to give an upper estimate of the length of a minimal interval containing not less than n zeros of positive definite functions. Finally, we show that the Jacobi functions form the Chebyshev systems.

We present a unified theory for the almost periodicity of functions with values in an arbitrary Banach space, measures and distributions via almost periodic elements for the action of a locally compact abelian group on a uniform topological space. We discuss the relation between Bohr- and Bochner-type almost periodicity, and similar conditions, and how the equivalence among such conditions relates to properties of the group action and the uniformity. We complete the paper by demonstrating how various examples considered earlier all fit in our framework.

Let $M=(\begin {smallmatrix}\rho ^{-1} & 0 \\0 & \rho ^{-1} \\\end {smallmatrix})$ be an expanding real matrix with $0<\rho <1$, and let ${\mathcal D}_n=\{(\begin {smallmatrix} 0\\ 0 \end {smallmatrix}),(\begin {smallmatrix} \sigma _n\\ 0 \end {smallmatrix}),(\begin {smallmatrix} 0\\ \gamma _n \end {smallmatrix})\}$ be digit sets with $\sigma _n,\gamma _n\in \{-1,1\}$ for each $n\ge 1$. Then the infinite convolution

$$ \begin{align*}\mu_{M,\{{\mathcal D}_n\}}=\delta_{M^{-1}{\mathcal D}_1}\ast\delta_{M^{-2}{\mathcal D}_2}\ast\cdots\end{align*} $$

is called a Moran–Sierpinski measure. We give a necessary and sufficient condition for $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ to admit an infinite orthogonal set of exponential functions. Furthermore, we give the exact cardinality of orthogonal exponential functions in $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ when $L^2(\,\mu _{M,\{{\mathcal D}_n\}})$ does not admit any infinite orthogonal set of exponential functions based on whether $\rho $ is a trinomial number or not.

We study approximations for the Lévy area of Brownian motion which are based on the Fourier series expansion and a polynomial expansion of the associated Brownian bridge. Comparing the asymptotic convergence rates of the Lévy area approximations, we see that the approximation resulting from the polynomial expansion of the Brownian bridge is more accurate than the Kloeden–Platen–Wright approximation, whilst still only using independent normal random vectors. We then link the asymptotic convergence rates of these approximations to the limiting fluctuations for the corresponding series expansions of the Brownian bridge. Moreover, and of interest in its own right, the analysis we use to identify the fluctuation processes for the Karhunen–Loève and Fourier series expansions of the Brownian bridge is extended to give a stand-alone derivation of the values of the Riemann zeta function at even positive integers.

In this paper, we study divergence properties of the Fourier series on Cantor-type fractal measure, also called the mock Fourier series. We give a sufficient condition under which the mock Fourier series for doubling spectral measure is divergent on a set of strictly positive measure. In particular, there exists an example of the quarter Cantor measure whose mock Fourier sums are not almost everywhere convergent.

We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislyakov and the Kahane–Salem–Zygmund inequality. As a by-product, we show various multiplier theorems for spaces of trigonometric polynomials on the n-dimensional torus $\mathbb {T}^n$ or Boolean cubes $\{-1,1\}^N$ . Our more abstract approach based on local Banach space theory has the advantage that it allows to consider more general compact abelian groups instead of only the multidimensional torus. As an application, we show that various recent $\ell _1$ -multiplier theorems for trigonometric polynomials in several variables or ordinary Dirichlet series may be proved without the Kahane–Salem–Zygmund inequality.

We investigate norms of spectral projectors on thin spherical shells for the Laplacian on tori. This is closely related to the boundedness of resolvents of the Laplacian and the boundedness of $L^{p}$ norms of eigenfunctions of the Laplacian. We formulate a conjecture and partially prove it.

We prove that, given $2< p<\infty$, the Fourier coefficients of functions in $L_2(\mathbb {T}, |t|^{1-2/p}\,{\rm d}t)$ belong to $\ell _p$, and that, given $1< p<2$, the Fourier series of sequences in $\ell _p$ belong to $L_2(\mathbb {T}, \vert {t}\vert ^{2/p-1}\,{\rm d}t)$. Then, we apply these results to the study of conditional Schauder bases and conditional almost greedy bases in Banach spaces. Specifically, we prove that, for every $1< p<\infty$ and every $0\le \alpha <1$, there is a Schauder basis of $\ell _p$ whose conditionality constants grow as $(m^{\alpha })_{m=1}^{\infty }$, and there is an almost greedy basis of $\ell _p$ whose conditionality constants grow as $((\log m)^{\alpha })_{m=2}^{\infty }$.

In this paper, we consider an equivalence relation on the space $AP(\mathbb {R},X)$ of almost periodic functions with values in a prefixed Banach space X. In this context, it is known that the normality or Bochner-type property, which characterizes these functions, is based on the relative compactness of the family of translates. Now, we prove that every equivalence class is sequentially compact and the family of translates of a function belonging to this subspace is dense in its own class, i.e., the condition of almost periodicity of a function $f\in AP(\mathbb {R},X)$ yields that every sequence of translates of f has a subsequence that converges to a function equivalent to f. This extends previous work by the same authors on the case of numerical almost periodic functions.

We develop a new analytical solution of a three-dimensional atmospheric pollutant dispersion. The main idea is to subdivide vertically the planetary boundary layer into sub-layers, where the wind speed and eddy diffusivity assume average values for each sub-layer. Basically, the model is assessed and validated using data obtained from the Copenhagen diffusion and Prairie Grass experiments. Our findings show that there is a good agreement between the predicted and observed crosswind-integrated concentrations. Moreover, the calculated statistical indices are within the range of acceptable model performance.

We prove a new generalization of Davenport's Fourier expansion of the infinite series involving the fractional part function over arithmetic functions. A new Mellin transform related to the Riemann zeta function is also established.

For functions in $C^k(\mathbb {R})$ which commute with a translation, we prove a theorem on approximation by entire functions which commute with the same translation, with a requirement that the values of the entire function and its derivatives on a specified countable set belong to specified dense sets. Using this theorem, we show that if A and B are countable dense subsets of the unit circle $T\subseteq \mathbb {C}$ with $1\notin A$ , $1\notin B$ , then there is an analytic function $h\colon \mathbb {C}\setminus \{0\}\to \mathbb {C}$ that restricts to an order isomorphism of the arc $T\setminus \{1\}$ onto itself and satisfies $h(A)=B$ and $h'(z)\not =0$ when $z\in T$ . This answers a question of P. M. Gauthier.

The classical half-line Robin problem for the heat equation may be solved via a spatial Fourier transform method. In this work, we study the problem in which the static Robin condition $$bq(0,t) + {q_x}(0,t) = 0$$ is replaced with a dynamic Robin condition; $$b = b(t)$$ is allowed to vary in time. Applications include convective heating by a corrosive liquid. We present a solution representation and justify its validity, via an extension of the Fokas transform method. We show how to reduce the problem to a variable coefficient fractional linear ordinary differential equation for the Dirichlet boundary value. We implement the fractional Frobenius method to solve this equation and justify that the error in the approximate solution of the original problem converges appropriately. We also demonstrate an argument for existence and unicity of solutions to the original dynamic Robin problem for the heat equation. Finally, we extend these results to linear evolution equations of arbitrary spatial order on the half-line, with arbitrary linear dynamic boundary conditions.

Using some formulas of S. Ramanujan, we compute in closed form the Fourier transform of functions related to Riemann zeta function $\zeta (s)=\sum \nolimits _{n=1}^{\infty } {1}/{n^{s}}$ and other Dirichlet series.