Multiple fourier series and integrals

One gives a brief survey of the investigations on the theory of multiple Fourier series and integrals, reviewed in Referativnyi Zhurnal Matematika in the period 1953–1980. Principal attention is given to the following questions: localization principles, uniform convergence and summability, convergence and summability at a point, in the L_p metric, and almost everywhere, absolute convergence, uniqueness theorems, conjugate Fourier series and integrals, equiconvergence and equisummability of Fourier series and integrals, properties of the kernel and of the Lebesgue constant of summation methods of Fourier series, Fourier coefficients and Fourier transforms.Translated from Itogi Nauki i Tekhniki, Seriya Matematicheskii Analiz, Vol. 19, pp. 3–54, 1982.     

Fundamental groups of spaces of generalized perfect splines

Efficient versions of the Cauchy criterion for the convergence in L _p of greedy approximants of trigonometric Fourier series are discussed.     

Singular operators and Fourier multipliers in weighted Lebesgue spaces with variable index

Mikhlin’s ideas and results related to the theory of spaces L _ρ ^p(·) with nonstandard growth are developed. These spaces are called Lebesgue spaces with variable index; they are used in mechanics, the theory of differential equations, and variational problems. The boundedness of Fourier multipliers and singular operators on the spaces L _ρ ^p(·) are considered. All theorems are derived from an extrapolation theorem due to Rubio de Francia. The considerations essentially use theorems on the boundedness of operators and maximal Hardy-Littlewood functions on Lebesgue spaces with constant index.     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

The surprising almost everywhere convergence of Fourier-Neumann series

For most orthogonal systems and their corresponding Fourier series, the study of the almost everywhere convergence for functions in L^p requires very complicated research, harder than in the case of the mean convergence. For instance, for trigonometric series, the almost everywhere convergence for functions in L² is the celebrated Carleson theorem, proved in 1966 (and extended to L^p by Hunt in 1967).In this paper, we take the system

     

Sufficient conditions for the Lebesgue integrability of Fourier transforms

We give sufficient conditions for the Lebesgue integrability of the Fourier transform of a function f ∈ L ^p (?) for some 1 < p ≤ 2. These sufficient conditions are in terms of the L ^p integral modulus of continuity of f; in particular, they apply for functions in the integral Lipschitz class Lip(α, p) and for functions of bounded s-variation for some 0 < s < p. Our theorems are nonperiodic versions of the classical theorems of Bernstein, Szász, Zygmund and Salem, and recent theorems of Gogoladze and Meskhia on the absolute convergence of Fourier series.     

Nikol’skii’s inequality for different metrics and properties of the sequence of norms of the Fourier sums of a function in the Lorentz space

Let (X, Y) be a pair of normed spaces such that X ? Y ? L ₁[0, 1] ⁿ and {e _k } _k be an expanding sequence of finite sets in ? ⁿ with respect to a scalar or vector parameter k, k ∈ ? or k ∈ ? ⁿ . The properties of the sequence of norms $\{ \left\| {S_{e_k } (f)} \right\|x\} _k $ of the Fourier sums of a fixed function f ∈ Y are studied. As the spaces X and Y, the Lebesgue spaces L _p [0, 1], the Lorentz spaces L _p,q [0, 1], L _p,q [0, 1] ⁿ , and the anisotropic Lorentz spaces L _p,q*[0, 1] ⁿ are considered. In the one-dimensional case, the sequence {e _k } _k consists of segments, and in the multidimensional case, it is a sequence of hyperbolic crosses or parallelepipeds in ? ⁿ . For trigonometric polynomials with the spectrum given by step hyperbolic crosses and parallelepipeds, various types of inequalities for different metrics in the Lorentz spaces L _p,q [0, 1] ⁿ and L _p,q*[0, 1] ⁿ are obtained.     

Mixed problem for the wave equation with integrable potential in the case of two-point boundary conditions of distinct orders

We study a mixed problem for the wave equation with integrable potential and with two-point boundary conditions of distinct orders for the case in which the corresponding spectral problem may have multiple spectrum. Based on the resolvent approach in the Fourier method and the Krylov convergence acceleration trick for Fourier series, we obtain a classical solution u(x, t) of this problem under minimal constraints on the initial condition u(x, 0) = ?(x). We use the Carleson–Hunt theorem to prove the convergence almost everywhere of the formal solution series in the limit case of ?(x) ∈ L _p[0, 1], p > 1, and show that the formal solution is a generalized solution of the problem.     

Classes Lip(<Emphasis Type="Italic">α, p</Emphasis>) for double trigonometric series with monotone coefficients

The paper is devoted to the study of a connection between behavior of coefficients of double trigonometric series and the smoothness of their sums in the spaces L _p in the case when coefficients monotone decrease in each direction.     

The Dyadic Cesàro Operator on R+

The dyadic Cesàro operator C is introduced for functions in the space L ¹ := L ¹(R ₊) by means of the Walsh-Fourier transform defined by

A NOTE ON A PAPER BY NG PENG-NUNG AND LEE PENG-YEE

Abstract

In the paper “Convergence in normed Köthe spaces” (J. Singapore National Academy of Science, 4, 146–148 (1975) M.R. 52 # 11568) Ng Peng-Nung and Lee Peng-Yee obtained a convergence result in the general setting of Banach funcation spaces providing conditions in order that pointwise and weak convergence imply norm convergence. They claim this result to be a generalization of a corresponding well known result in the Lebesgue space L₁ (X, u). To substantiate their claim it is necessary to show that the class of Banach function spaces for which their theorem holds is larger than the class of L₁-spaces. This, we shall show, is unfortunately not the case.     

On the divergence of trigonometric Fourier series in classes <Emphasis Type="Italic">ϕ</Emphasis>(<Emphasis Type="Italic">L</Emphasis>) close to <Emphasis Type="Italic">L</Emphasis>

We show the unimprovability of a theorem on sufficient convergence conditions for the trigonometric Fourier series of a function in classes ?(L) in the case when the class ?(L) is “close” to L.     

Convergence of multi-dimensional integral operators and applications

In this paper we investigate a general multi-dimensional integral operator \(V_{T}\). Under the condition that the kernel function of \(V_{T}\) is in a suitable Herz space, we get several convergence theorems about norm and almost everywhere convergence and convergence at Lebesgue points. The multi-dimensional convergence is investigated over cones and cone-like sets. As special cases we consider three multi-dimensional integral operators, the \(\theta \)-summation of Fourier transforms and Fourier series and the discrete wavelet transforms. The convergence results are formulated for functions from the Wiener amalgam spaces and variable Lebesgue spaces, too.     

On the convergence of the formal Fourier solution of the wave equation with a summable potential

The convergence of the formal Fourier solution to a mixed problem for the wave equation with a summable potential is analyzed under weaker assumptions imposed on the initial position u(x, 0) = φ(x) than those required for a classical solution up to the case φ(x) ∈ L_p[0,1] for p > 1. It is shown that the formal solution series always converges and represents a weak solution of the mixed problem.     

Behavior of the formal Fourier solution of the wave equation with a summable potential

The convergence of the formal Fourier solution to a mixed problem for the wave equation with a summable potential is analyzed under weaker assumptions imposed on the initial position u(x, 0) = φ(x) than those required for a classical solution up to the case φ(x)∈ L_p[0,1] for p > 1. It is shown that the formal solution series always converges and represents a weak solution of the mixed problem.     

Convergence of biorthogonal series in the system of contractions and translations of functions in the spaces L p [0, 1]

We obtain conditions for the convergence in the spaces L ^p [0, 1], 1 ≤ p < ∞, of biorthogonal series of the form $$ f = \sum\limits_{n = 0}^\infty {(f,\psi _n )\phi _n } $$ in the system {? _n } _n≥0 of contractions and translations of a function ?. The proposed conditions are stated with regard to the fact that the functions belong to the space $ \mathfrak{L}^p $ of absolutely bundleconvergent Fourier-Haar series with norm $$ \left\| f \right\|_p^ * = \left| {f,\chi _0 } \right| + \sum\limits_{k = 0}^\infty {2^{k({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} - {1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p})} } \left( {\sum\limits_{n = 2^k }^{2^{k + 1} - 1} {\left| {f,\chi _n } \right|^p } } \right)^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where (f,χ _n ), n = 0, 1, ..., are the Fourier coefficients of a function f ? L ^p [0, 1] in the Haar system {χ _n } _n≥0. In particular, we present conditions for the system {? _n } _n≥0 of contractions and translations of a function ? to be a basis for the spaces L ^p [0, 1] and $ \mathfrak{L}^p $ .     

On the convergence of greedy approximants of trigonometric Fourier series

Efficient versions of the Cauchy criterion for the convergence in L _p of greedy approximants of trigonometric Fourier series are discussed.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

Systems of dilated functions: Completeness,minimality, basisness

The completeness, minimality, and basis property in L ²[0, π] and L ^p[0, π], p ≠ 2, are considered for systems of dilated functions u _n (x) = S(nx), n ∈ N, where S is the trigonometric polynomial S(x) = Σ _k=0 ^m a _k sin(kx), a ₀ a _m ≠ 0. A series of results are presented and several unanswered questions are mentioned.     

On convergence of ultraspherical lacunary series

Summary Kolmogoroff's classical result on the convergence of lacunary Fourier trigonometric series corresponding to a function of L² class has been extended to the convergence of the Fourier Ultraspherical series possessing lacunae similar to those supposed in Kolmogoroff's theorem for the trigonometric series.