On the Fourier coefficients of a discontinuous function

1941 ◽  
Vol 6 (4) ◽  
pp. 231-256 ◽  
Author(s):  
S. P. Bhatnagar

We suppose throughout that f(t) is periodic with period 2π, and Lebesgue-integrable in (− π, π).We writeand suppose that the Fourier series of φ(t) and ψ(t) are respectively cos nt and sin nt. Then the Fourier series and allied series of f(t) at the point t = x are respectively and , where A0 = ½a0, An = ancos nx + bnsin nx, Bn = bncos nx − ansin nx and an, bn are the Fourier coefficients of f(t).

1973 ◽  
Vol 16 (1) ◽  
pp. 93-103 ◽  
Author(s):  
Rafat N. Siddiqi

Letfbe anLintegrable real valued function of period 2π and let(1)be its Fourier series. It is known that iffis of bounded variation then allnanandnbn(n=1,2,3,…) lie in the interval [-V(F)/π, V(F)/π;] whereV(f) is the total variation off. M. Izumi and S. Izumi [3] have recently asserted the following theorem A about the density of the positive and negative Fourier sine coefficients of a function of bounded variation.


1967 ◽  
Vol 63 (3) ◽  
pp. 703-705 ◽  
Author(s):  
B. S. Yadav

Let f be a 2π-periodic function of the class L(−π,π). PutWe call, with Žuk(6), the quantity L(p)(h, f) the L-modulus of smoothness of order p of the function f. Žuk has recently obtained, in (5) and (6), generalizations of a number of classical results on the absolute convergence of Fourier series, as also on the order of Fourier coefficients by employing the concept of the L-modulus of smoothness which is obviously a more general concept than that of the modulus of continuity. It is the purpose of this note to prove a theorem on the almost everywhere convergence of Fourier series of f involving the concept of L(p)(h, f).


1960 ◽  
Vol 3 (2) ◽  
pp. 188-188
Author(s):  
Lee Lorch

Let f(x) be a bounded odd function, - π < x < π, |f(X)| ≤ 1, with non-negative Fourier coefficients bk, k = 1,2, ….Otto Szász [l] proved anew the existence of a bounded set of numbers {βn}, n = 1,2,…, such thatwhere βn is the smallest constant satisfying the above inequality and added that 2/π ≤ βn ≤ 4/π. He pointed out [1, p. 170] that β1 = 4/π and raised the question of the value of βn for n > 1.


Mathematics ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 389
Author(s):  
Jeong-Gyoo Kim

Fourier series is a well-established subject and widely applied in various fields. However, there is much less work on double Fourier coefficients in relation to spaces of general double sequences. We understand the space of double Fourier coefficients as an abstract space of sequences and examine relationships to spaces of general double sequences: p-power summable sequences for p = 1, 2, and the Hilbert space of double sequences. Using uniform convergence in the sense of a Cesàro mean, we verify the inclusion relationships between the four spaces of double sequences; they are nested as proper subsets. The completions of two spaces of them are found to be identical and equal to the largest one. We prove that the two-parameter Wiener space is isomorphic to the space of Cesàro means associated with double Fourier coefficients. Furthermore, we establish that the Hilbert space of double sequence is an abstract Wiener space. We think that the relationships of sequence spaces verified at an intermediate stage in this paper will provide a basis for the structures of those spaces and expect to be developed further as in the spaces of single-indexed sequences.


2003 ◽  
Vol 10 (3) ◽  
pp. 401-410
Author(s):  
M. S. Agranovich ◽  
B. A. Amosov

Abstract We consider a general elliptic formally self-adjoint problem in a bounded domain with homogeneous boundary conditions under the assumption that the boundary and coefficients are infinitely smooth. The operator in 𝐿2(Ω) corresponding to this problem has an orthonormal basis {𝑢𝑙} of eigenfunctions, which are infinitely smooth in . However, the system {𝑢𝑙} is not a basis in Sobolev spaces 𝐻𝑡 (Ω) of high order. We note and discuss the following possibility: for an arbitrarily large 𝑡, for each function 𝑢 ∈ 𝐻𝑡 (Ω) one can explicitly construct a function 𝑢0 ∈ 𝐻𝑡 (Ω) such that the Fourier series of the difference 𝑢 – 𝑢0 in the functions 𝑢𝑙 converges to this difference in 𝐻𝑡 (Ω). Moreover, the function 𝑢(𝑥) is viewed as a solution of the corresponding nonhomogeneous elliptic problem and is not assumed to be known a priori; only the right-hand sides of the elliptic equation and the boundary conditions for 𝑢 are assumed to be given. These data are also sufficient for the computation of the Fourier coefficients of 𝑢 – 𝑢0. The function 𝑢0 is obtained by applying some linear operator to these right-hand sides.


A function of two variables may be expanded in a double Fourier series, as a function of one variable is expanded in an ordinary Fourier series. Purpose that the function f ( x, y ) possesses a double Lebesgue integral over the square (– π < π ; – π < y < π ). Then the general term of the double Fourier series of this function is given by cos = є mn { a mn cos mx cos ny + b mn sin mx sin ny + c mn cos mx sin ny + d mn sin mx cos ny } There є 00 = ¼, є m0 = ½ ( m > 0), є 0n = ½ ( n > 0), є ms = 1 ( m > 0, n >0). the coefficients are given by the formulæ a mn = 1/ π 2 ∫ π -π ∫ π -π f ( x, y ) cos mx cos ny dx dy , obtained by term-by-term integration, as in an ordinary Fourier series. Ti sum of a finite number of terms of the series may also be found as in the ordinary theory. Thus ∫ ms = Σ m μ = 0 Σ n v = 0 A μ v = 1/π 2 ∫ π -π ∫ π -π f (s, t) sin( m +½) ( s - x ) sin ( n + ½) ( t - y )/2 sin ½ ( s - x ) 2 sin ½ ( t - y ) if f ( s , t ) is defined outside the original square by double periodicity, we have sub S ms = 1/π 2 ∫ π 0 ∫ π 0 f ( x + s , y + t ) + f ( x + s , y - t ) + f ( x - s , y + t ) + f ( x - s , y - t ) sin ( m + ½) s / 2 sin ½ s sin ( n + ½) t / 2 sin ½ t ds dt .


2015 ◽  
Vol 58 (4) ◽  
pp. 858-868 ◽  
Author(s):  
Kenneth S. Williams

AbstractLet denote the Dedekind eta function. We use a recent productto- sum formula in conjunction with conditions for the non-representability of integers by certain ternary quadratic forms to give explicitly ten eta quotientssuch that the Fourier coefficients c(n) vanish for all positive integers n in each of infinitely many non-overlapping arithmetic progressions. For example, we show that if we have c(n) = 0 for all n in each of the arithmetic progressions


2021 ◽  
Vol 19 (1) ◽  
pp. 1047-1055
Author(s):  
Zhihua Zhang

Abstract Fourier approximation plays a key role in qualitative theory of deterministic and random differential equations. In this paper, we will develop a new approximation tool. For an m m -order differentiable function f f on [ 0 , 1 0,1 ], we will construct an m m -degree algebraic polynomial P m {P}_{m} depending on values of f f and its derivatives at ends of [ 0 , 1 0,1 ] such that the Fourier coefficients of R m = f − P m {R}_{m}=f-{P}_{m} decay fast. Since the partial sum of Fourier series R m {R}_{m} is a trigonometric polynomial, we can reconstruct the function f f well by the combination of a polynomial and a trigonometric polynomial. Moreover, we will extend these results to the case of random processes.


Author(s):  
W. K. Hayman

Suppose thatbelongs to L2( − π, π). If most of the coefficients vanish then f (x) cannot be too small in a certain interval without being small generally. More precisely Ingham ((2), Theorem 1) has proved the followingTHEOREM A. Suppose that f (x) is given by (1·1) and that an = 0, except for a sequence n = nν, where nν+1 − nν ≥ C. Then given ∈ > 0 there exists a constant A (∈), such that we have for any real x1


2006 ◽  
Vol 13 (3) ◽  
pp. 581-584
Author(s):  
Rajendra G. Vyas

Abstract Let 𝑓 be a 2π-periodic function in 𝐿1[–π, π] and be its lacunary Fourier series with small gaps. We have estimated Fourier coefficients of 𝑓 if it is of φ∧ 𝐵𝑉 locally. We have also obtained a precise interconnection between the lacunarity in such series and the localness of the hypothesis to be satisfied by the generic function which allows us to the interpolate the results concerning lacunary series and non-lacunary series.


Sign in / Sign up

Export Citation Format

Share Document