We prove $L^p$ 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.
We construct a continuous function on the torus with almost everywhere divergence triangular sums of double Fourier series. An analogous theorem we also prove for eccentrical spherical sums.
Several problems on Fourier series and trigonometric approximation on a hexagon and a triangle are studied. The results include Abel and Cesàro summability of Fourier series, degree of approximation and best approximation by trigonometric functions, both direct and inverse theorems. One of the objective of this study is to demonstrate that Fourier series on spectral sets enjoy a rich structure that allow an extensive theory for Fourier expansions and approximation.
In 1987 Harris proved (Proc. Amer. Math. Soc., 101) - among others- that for each $1\le p<2$ there exists a two-dimensional function $f\in L^p$ such that its triangular Walsh-Fourier series diverges almost everywhere. In this paper we investigate the Fejér (or $(C,1)$) means of the triangle two variable Walsh-Fourier series of $L^1$ functions. Namely, we prove the a.e. convergence $σ_n^{\bigtriangleup}f = \frac{1}{n}\sum_{k=0}^{n-1}S_{k, n-k}f\to f$ ($n\to\infty$) for each integrable two-variable function $f$.
The main aim of this paper is to investigate the sequences of positive numbers, for which multiplication with Fourier coefficients of functions $f\in$ Lip1 class provides absolute convergence of Fourier series. In particular we found special conditions for the functions of orthonormal system, for which the above sequences are absolute convergence factors of Fourier series of functions of Lip1 class. It is established that the resulting conditions are best possible in certain sense.
New sufficient conditions for representation of a function via the absolutely convergent Fourier integral are obtained in the paper. In the main result, Theorem 1.1, this is controlled by the behavior near infinity of both the function and its derivative. This result is extended to any dimension $d\ge2.$
In the context of the Dunkl transform a complete orthogonal system arises in a very natural way. This paper studies the weighted norm convergence of the Fourier series expansion associated to this system. We establish conditions on the weights, in terms of the $A_p$ classes of Muckenhoupt, which ensure the convergence. Necessary conditions are also proved, which for a wide class of weights coincide with the sufficient conditions.
We prove that certain mean of the quadratical partial sums of the two-dimensional Walsh-Fourier series are uniformly bounded operators from the Hardy space $H_{p}$ to the space $L_{p}$ for $0<p<1.$
S. Banach \cite{Banach} proved that good differential properties of function do not guarantee the a.e. convergence of the Fourier series of this function with respect to general orthonormal systems (ONS). On the other hand it is very well known that a sufficient condition for the a.e. convergence of an orthonormal series is given by the Menshov-Rademacher Theorem. The paper deals with sequence of positive numbers $(d_n)$ such that multiplying the Fourier coefficients $(C_n(f))$ of functions with bounded variation by these numbers one obtains a.e. convergent series of the form $\sum_{n=1}^{\inf…
We prove a vector-valued version of Carleson's theorem: Let Y=[X,H]_t be a complex interpolation space between a UMD space X and a Hilbert space H. For p\in(1,\infty) and f\in L^p(T;Y), the partial sums of the Fourier series of f converge to f pointwise almost everywhere. Apparently, all known examples of UMD spaces are of this intermediate form Y=[X,H]_t. In particular, we answer affirmatively a question of Rubio de Francia on the pointwise convergence of Fourier series of Schatten class valued functions.
This article studies the rearrangement problem for Fourier series introduced by P.L. Ulyanov, who conjectured that every continuous function on the torus admits a rearrangement of its Fourier coefficients such that the rearranged partial sums of the Fourier series converge uniformly to the function. The main theorem here gives several new equivalences to this conjecture in terms of the convergence of the rearranged Fourier series in the strong (equivalently in this case, weak) operator topologies on $B(L_2(T))$. Additionally, a new framework for further investigation is introduced by consideri…
We prove theorems of interest about the recently given $Λ^{r}$-strong convergence. We extend the results of F. Móricz [On $Λ$-strong convergence of numerical sequences and Fourier series, Acta Math.~Hungar., 54 (1989), 319--327].
We study Fourier-Bessel series on a q-linear grid, defined as expansions in complete q-orthogonal systems constructed with the third Jackson q-Bessel function, and obtain sufficient conditions for uniform convergence. The convergence results are illustrated with specific examples of expansions in q-Fourier-Bessel series.
We consider row sequences of simultaneous rational approximations constructed in terms of Fourier expansions and prove a Montessus de Ballore type theorem.
Using nonstandard methods, we show that the time dependent Fourier series of any smooth function F, solving the wave equation, on a finite closed interval, with vanishing boundary conditions, converges uniformly to F.
We prove mean convergence of the Fourier series in Akhiezer-Chebyshev polynomials in $L^p$, $p>1$, using a weighted inequality for the Hilbert transform in an arc of the unit circle.
The discrete counterpart of the problem related to the convergence of the Fourier-Jacobi series is studied. To this end, given a sequence, we construct the analogue of the partial sum operator related to Jacobi polynomials and characterize its convergence in the $\ell^p(\mathbb{N})$-norm.
Recently we found necessary and sufficient conditions for the convergence at a preassigned point of the spherical partial sums of the Fourier integral in a class of piecewise smooth functions in Euclidean space. These yield elementary examples of divergent Fourier integrals in three dimensions and higher. Meanwhile, several years ago Gottlieb and Orsag observed that in two dimensions we may expect slower convergence at certain points, specifically for Fourier-Bessel series of radial functions. In this paper we investigate the rate of convergence of the spherical partial sums of the Fourier int…
New sufficient conditions for representation of a function of several variables as an absolutely convergent Fourier integral are obtained in the paper.
We construct functions in the disc algebra with pointwise universal Fourier series on sets which are G-delta and dense and at the same time with Fourier series whose set of divergence is of Hausdorff dimension zero. We also see that some classes of closed sets of measure zero do not accept uniformly universal Fourier series, although all such sets accept divergent Fourier series.
In the present paper, we give a brief review of $L^{1}$-convergence of trigonometric series. Previous known results in this direction are improved and generalized by establishing a new condition.
This article establishes a real-variable argument for Zygmund's theorem on almost everywhere convergence of strong arithmetic means of partial sums of Fourier series on $\mathbb{T}$, up to passing to a subsequence. Our approach extends to, among other cases, functions that are defined on $\mathbb{T}^d$, which allows us to establish an analogue of Zygmund's theorem in higher dimensions.
Let $\mathbb{R}=(-\infty,\infty)$, and let $Q\in C^1(\mathbb{R}): \mathbb{R}\rightarrow[0,\infty)$ be an even function. We consider the exponential weights $w(x)=e^{-Q(x)}$, $x\in \mathbb{R}$. In this paper we obtain a pointwise convergence theorem for the Fourier-type series with respect to the orthonormal polynomials $\left\{p_n(w^2;x)\right\}$.
We prove that certain means of the quadratical partial sums of the two-dimensional Vilenkin-Fourier series are uniformly bounded operators from the Hardy space $H_{p}$ to the space $L_{p}$ for $0<p\leq 1.$ We also prove that the sequence in the denominator cannot be improved.
In this paper we obtain new sufficient conditions for representation of a function as an absolutely convergent Fourier integral. Unlike those known earlier, these conditions are given in terms of belonging to weighted spaces. Adding weights allows one to extend the range of application of such results to Fourier multipliers with unbounded derivatives.
In 1971 Onnewer and Waterman establish sufficient condition which guarantees uniform convergence of Vilenkin-Fourier series of continuous function. In the paper we consider different classes of functions of generalized bounded oscilation and in the terms of these classes there are established sufficient conditions for uniform convergence of Cesáro means of negative order.
We consider the space $U(\mathbb T)$ of all continuous functions on the circle $\mathbb T$ with uniformly convergent Fourier series. We show that if $φ: \mathbb T\rightarrow\mathbb T$ is a continuous piecewise linear but not linear map, then $\|e^{inφ}\|_{U(\mathbb T)}\simeq\log n$.
We consider an aspect of the open problem: Does every square-integrable function on SU(2) have an almost everywhere convergent Fourier series? Let 0 < alpha < 1. We show that to each countable set E in SU(2) there corresponds an alpha-Holder continuous function on SU(2) whose Fourier series diverges on E. We also show that the Fourier series of each alpha-Holder continuous function on SU(2) converges almost everywhere.
We show that for every continuous function there exists an absolutely continuous homeomorphism of the circle such that the Fourier series of the composition converges uniformly. This resolves a problem set by N. N. Luzin.
In this paper we investigate the principle of the generalised localisation for spectral expansions of the polyharmonic operator, which coincides with the multiple Fourier integrals summed over the domains corresponding to the surface levels of the polyharmonic polynomials. It is proved that the partial sums of the multiple Fourier integrals of a function f\inL_2 (R^N ) converge to zero almost-everywhere on R^N\supp(f).
Various new sufficient conditions for representation of a function of several variables as an absolutely convergent Fourier integral are obtained in the paper. The results are given in terms of $L^p$ integrability of the function and its partial derivatives, each with the corresponding $p$. These $p$ are subject to certain relations known earlier only for some particular cases. Sharpness and applications of the obtained results are also discussed.
This paper is devoted to the study of pointwise convergence of Fourier series for group von Neumann algebras and quantum groups. It is well-known that a number of approximation properties of groups can be interpreted as summation methods and mean convergence of the associated noncommutative Fourier series. Based on this framework, this paper studies the refined counterpart of pointwise convergence of these Fourier series. As a key ingredient, we develop a noncommutative bootstrap method and establish a general criterion of maximal inequalities for approximate identities of noncommutative Fouri…
The following problem is studied in this paper: Which multipliers $\{λ_{k, n}\}$ ensure the convergence, as $n\to \infty$, of the linear means of the Fourier series of functions $f\in L_1[-π, π]$ $$ \sum_{k=-\infty}^\infty λ_{k, n}\hat{f}_k e^{ikx}, $$ where $\widehat{f}_k$ is the $k$-th Fourier coefficient, at a point at which the derivative of the function $\int_0^x f$ exists. A criterion for the convergence of the $(C, 1)$-means ($λ_{k, n}=(1-\frac {|k|}{n+1})_+$) is found, while in the general case $λ_{k, n}=ϕ(\frac {k}{n+1})$ a sufficient condition is derived for the convergence at all su…
We study a.e. convergence on $L^p$, and Lorentz spaces $L^{p,q}$, $p>\tfrac{2d}{d-1}$, for variants of Riesz means at the critical index $d(\tfrac 12-\tfrac 1p)-\tfrac12$. We derive more general results for (quasi-)radial Fourier multipliers and associated maximal functions, acting on $L^2$ spaces with power weights, and their interpolation spaces. We also include a characterization of boundedness of such multiplier transformations on weighted $L^2$ spaces, and a sharp endpoint bound for Stein's square-function associated with the Riesz means.
We consider the open problem: Does every square-integrable function f on a compact, connected Lie group G have an almost everywhere convergent Fourier series? We prove a general theorem from which it follows that if the integral modulus of continuity of f is O(t^a) for some a > 0 then the Fourier series of f converges almost everywhere on G. In particular, the Fourier series of any Holder continuous function of degree a > 0 on G converges almost everywhere. On the other hand, we show that to each countable subset E of G = SU(2) and each 0 < a < 1 there corresponds an Holder continuous function…
In this paper we derive a new strong convergence theorem of Riesz logarithmic means of the one-dimensional Vilenkin-Fourier (Walsh-Fourier) series. The corresponding inequality is pointed out and it is also proved that the inequality is in a sense sharp, at least for the case with Walsh-Fourier series.
We prove a version of Carleson's Theorem in the Walsh model for vector-valued functions: For $1<p< \infty$, and a UMD space $Y$, the Walsh-Fourier series of $f \in L ^{p}(0,1;Y)$ converges pointwise, provided that $Y$ is a complex interpolation space $Y=[X,H]_θ$ between another UMD space $X$ and a Hilbert space $H$, for some $θ\in(0,1)$. Apparently, all known examples of UMD spaces satisfy this condition.
A glimpse at $\sum{{\sin(kx)}\over{k}}$ gives a few lines exposition of Fourier series's quadratic mean convergence for square integrable functions and Dirichlet's convergence theorem of the Fourier serie of a piecewise differentiable function with integrable derivative.
It is a classical result that dyadic partial sums of the Fourier series of functions $f \in L^p(\mathbb{T})$ converge almost everywhere for $p \in (1, \infty)$. In 1968, E. A. Bredihina established an analogous result for functions belonging to the Stepanov space of almost periodic functions $S^2$ whose Fourier exponents satisfy a natural separation condition. Here, the maximal operator corresponding to dyadic partial summation of almost periodic Fourier series is bounded on the Stepanov spaces $S^{2^k}$, $k \in \mathbb{N}$ for functions satisfying the same condition; Bredihina's result follow…
We obtain sufficient conditions for convergence (almost everywhere) of multiple trigonometric Fourier series of functions $f$ in $L_2$ in terms of Weyl multipliers. We consider the case where rectangular partial sums of Fourier series $S_n(x;f)$ have indices $n=(n_1,\dots,n_N) \in \mathbb Z^N$, $N\ge 3$, in which $k$ $(1\leq k\leq N-2)$ components on the places $\{j_1,\dots,j_k\}=J_k \subset \{1,\dots,N\} = M$ are elements of (single) lacunary sequences (i.e., we consider the, so called, multiple Fourier series with $J_k$-lacunary sequence of partial sums). We prove that for any sample $J_k\su…
A trigonometric series strongly bounded at two points and with coefficients forming a log-quasidecreasing sequence is necessarily the Fourier series of a function belonging to all $L^{p}$ spaces, $1\leq p < \infty$. We obtain new results on strong convergence of Fourier series for functions of generalized bounded variation.
Let $f\in L_{2π}$ be a real-valued even function with its Fourier series $ \frac{a_{0}}{2}+\sum_{n=1}^{\infty}a_{n}\cos nx,$ and let $S_{n}(f,x), n\geq 1,$ be the $n$-th partial sum of the Fourier series. It is well-known that if the nonnegative sequence $\{a_{n}\}$ is decreasing and $\lim\limits_{n\to \infty}a_{n}=0$, then $$ \lim\limits_{n\to \infty}\Vert f-S_{n}(f)\Vert_{L}=0 {if and only if} \lim\limits_{n\to \infty}a_{n}\log n=0. $$ We weaken the monotone condition in this classical result to the so-called mean value bounded variation ($MVBV$) condition. The generalization of the above cl…
We study the Walsh-Fourier series of S_{n_j}f, along a lacunary subsequence of integers {n_j}. Under a suitable integrability condition, we show that the sequence converges to f a.e. Integral condition is only slightly larger than what the sharp integrability condition would be, by a result of Konyagin. The condition is: f is in L loglog L (logloglog L). The method of proof uses four ingredients, (1) analysis on the Walsh Phase Plane, (2) the new multi-frequency Calderon-Zygmund Decomposition of Nazarov-Oberlin-Thiele, (3) a classical inequality of Zygmund, giving an improvement in the Hausdor…
In this paper we investigate some convergence and divergence of some specific subsequences of partial sums with respect to Walsh system on the martingale Hardy spaces. By using these results we obtain relationship of the ratio of convergence of the partial sums of the Walsh series with the modulus of continuity of martingale. These conditions are in a sense necessary and sufficient.
We prove that the lacunary Carleson operator is bounded from $L \log L$ to $L^{1}$. This result is sharp. The proof is based on two newly introduced concepts: 1) the \emph{time-frequency regularization of a measurable set} and 2) the \emph{set-resolution of the time-frequency plane at $0-$frequency}. These two concepts will play the central role in providing a special tile decomposition adapted to the interaction between the \emph{structure} of the lacunary Carleson operator and the corresponding \emph{structure} of a fix measurable set. Another key insight of our paper is that it provides for…
In this PhD thesis we are dealing with convergence and summability of partial sums, Fejér and Marcinkiewicz means with respect to one- and two-dimensional Walsh-Fourier series on the martingale Hardy spaces. This thesis is focus to achieve the following main results: To find estimation of convergence and divergence of the subsequences of partial sums of the one-dimensional Walsh-Fourier series on the martingale Hardy spaces $H_p(G)$, when $0<p\leq1$. To find necessary and sufficient conditions in terms of modulus of continuity of martingale Hardy spaces, for which subsequences of partial sums …
We study an extension to Fourier transforms of the old problem on absolute convergence of the re-expansion in the sine (cosine) Fourier series of an absolutely convergent cosine (sine) Fourier series. The results are obtained by revealing certain relations between the Fourier transforms and their Hilbert transforms.
