Section 2.22

Trigonometric Fourier Series

[178/61%]
Show
LaTeX
Problem 2.22.1

Expand the function into a Fourier series:

?
(1)

sin⁡2x\sin^{2} x

(2)

cos⁡3x\cos^{3} x

(3)

sin⁡4x\sin^{4} x;

(4)

sin⁡6xcos⁡4x\sin^{6} x \cos^{4} x;

(5)

sin⁡8x+cos⁡8x\sin^{8} x+\cos^{8} x

(6)

sin⁡5x\sin^{5} x.

Problem 2.22.2

What will the Fourier series be for the trigonometric polynomial

Tn(x)=a0+∑k=1n(akcos⁡kx+bksin⁡kx)? T_{n}(x) = a_{0}+\sum _{k = 1}^{n}\left(a_{k} \cos k x+b_{k} \sin k x\right)?
?
Problem 2.22.3

Find the partial sum S3(x;f)S_{3}(x ; f) of the Fourier series of the function

f(x)={0,−l<x⩽0x,0⩽x⩽l/2l/2,l/2⩽x⩽l f(x) = \begin{cases} 0, & -l < x \leqslant 0 \\ x, & 0 \leqslant x \leqslant l / 2 \\ l / 2, & l / 2 \leqslant x \leqslant l \end{cases}

periodically extended with period 2l2 l.

?
Problem 2.22.4

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)=x,−π⩽x⩽π,x0=πf(x) = x,-\pi \leqslant x \leqslant \pi , x_{0} = \pi.

?
Problem 2.22.5

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)={1,0⩽x⩽π,0,−π⩽x<0;x0=0f(x) = \begin{cases} 1, & 0 \leqslant x \leqslant \pi , \\ 0, & -\pi \leqslant x < 0 ; \end{cases} \quad x_{0} = 0.

?
Problem 2.22.6

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)={π/4,0⩽x⩽π,−π/4,−π⩽x<0;x0=0f(x) = \begin{cases} \pi / 4, & 0 \leqslant x \leqslant \pi , \\ -\pi / 4, & -\pi \leqslant x < 0 ; \end{cases} \quad x_{0} = 0.

?
Problem 2.22.7

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)={a,0⩽x⩽π,−a,−π⩽x<0;x0=0f(x) = \begin{cases} a, & 0 \leqslant x \leqslant \pi , \\ -a, & -\pi \leqslant x < 0 ; \end{cases} \quad x_{0} = 0.

?
Problem 2.22.8

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)=π+x,−π⩽x⩽π,x0=πf(x) = \pi +x,-\pi \leqslant x \leqslant \pi , x_{0} = \pi.

?
Problem 2.22.9

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)=∣x∣,−π⩽x⩽π,x0=πf(x) = \left|x\right|,-\pi \leqslant x \leqslant \pi , x_{0} = \pi.

?
Problem 2.22.10

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)={0,−π⩽x<0,x,0⩽x⩽π;x0=−πf(x) = \begin{cases} 0, & -\pi \leqslant x < 0, \\ x, & 0 \leqslant x \leqslant \pi ; \end{cases} \quad x_{0} = -\pi.

?
Problem 2.22.11

Expand the function f(x)f(x) into a Fourier series, indicate the intervals on which the sum of the Fourier series equals the function f(x)f(x), and find the sum of the series at the given point x0x_{0}. f(x)={−2x,−π<x⩽0,3x,0<x⩽π;x0=πf(x) = \begin{cases} -2 x, & -\pi < x \leqslant 0, \\ 3 x, & 0 < x \leqslant \pi ; \end{cases} \quad x_{0} = \pi.

?
Problem 2.22.12

Expand the function f(x)=sign⁡x,−π<x<πf(x) = \operatorname {sign} x,-\pi < x < \pi, into a Fourier series and, using the resulting expansion, find the sum of the Leibniz series

∑n=0∞(−1)n2n+1 \sum _{n = 0}^{\infty } \frac{(-1)^{n}}{2 n+1}
?
Problem 2.22.13

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)={A,0<x<l,A/2,x=l,0,l<x<2l,f(x) = \begin{cases} A, & 0 < x < l, \\ A / 2, & x = l, \\ 0, & l < x < 2 l, \end{cases} \quad on the interval (0,2l)(0,2 l).

?
Problem 2.22.14

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=∣x∣f(x) = \left|x\right| on the segment [−1;1][-1 ; 1].

?
Problem 2.22.15

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)={ax,−π<x<0,bx,0⩽x<π,f(x) = \begin{cases} a x, & -\pi < x < 0, \\ b x, & 0 \leqslant x < \pi , \end{cases} \quad on the interval (−π,π)(-\pi , \pi ).

?
Problem 2.22.16

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)={a,−π/2<x<π/2,b,π/2⩽x<3π/2,f(x) = \begin{cases} a, & -\pi / 2 < x < \pi / 2, \\ b, & \pi / 2 \leqslant x < 3 \pi / 2, \end{cases} on the interval (−π/2,3π/2)(-\pi / 2,3 \pi / 2).

?
Problem 2.22.17

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=x+sign⁡xf(x) = x+\operatorname {sign} x on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.18

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=π2−x2f(x) = \pi^{2}-x^{2} on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.19

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=x3f(x) = x^{3} on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.20

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=eax,a≠0f(x) = e^{a x}, a \neq 0, on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.21

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=e2∣x∣f(x) = e^{2\left|x\right|} on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.22

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=sin⁡ax,a∈Zf(x) = \sin a x, a \in Z on the interval (−π;π)(-\pi ; \pi ).

?
Problem 2.22.23

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=cos⁡ax,a∉Zf(x) = \cos a x, a \notin Z on the segment [−π;π][-\pi ; \pi ]. Using the resulting expansion, prove that

ctg⁡x=1x+∑n=1∞2xx2−πn2 \operatorname {ctg} x = \frac{1}{x}+\sum _{n = 1}^{\infty } \frac{2 x}{x^{2}-\pi n^{2}}
?
Problem 2.22.24

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=xsin⁡xf(x) = x \sin x on the segment [−π;π][-\pi ; \pi ].

?
Problem 2.22.25

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)=xcos⁡xf(x) = x \cos x on the segment [−π/2;π/2][-\pi / 2 ; \pi / 2].

?
Problem 2.22.26

Expand the function f(x)f(x) into a Fourier series on the given interval, the length of the interval being the period. f(x)={0,−π⩽x<0,sin⁡x,0⩽x⩽π,f(x) = \begin{cases} 0, & -\pi \leqslant x < 0, \\ \sin x, & 0 \leqslant x \leqslant \pi , \end{cases} on the segment [−π,π][-\pi , \pi ].

?
Problem 2.22.27

Expand into a Fourier series the periodic function ff with period 2, if f(x)=x,x∈(1;3)f(x) = x, x \in (1 ; 3). Draw the graph of the sum of the series.

?
Problem 2.22.28

Expand into a Fourier series the function f(x)=x2,−1⩽x⩽1f(x) = x^{2},-1 \leqslant x \leqslant 1, periodically extended with period 2. Draw the graph of the sum of the series.

?
Problem 2.22.29

Expand the function into a Fourier series

f(x)={x,0⩽x⩽11,1<x<23−x,2⩽x<3 f(x) = \begin{cases} x, & 0 \leqslant x \leqslant 1 \\ 1, & 1 < x < 2 \\ 3-x, & 2 \leqslant x < 3 \end{cases}

periodically extended to the entire real line with period 3. Draw the graph of the sum of the series.

?
Problem 2.22.30

Expand into a Fourier series the function f(x)=π−2x,0<x⩽πf(x) = \pi -2 x, 0 < x \leqslant \pi, extending it to the segment [−π;0][-\pi ; 0]:

?
(1)

evenly;

(2)

oddly.

In both cases, draw the graph of the sum of the series.

Problem 2.22.31

Expand into a Fourier series the function f(x)f(x), given on the segment [0;π][0 ; \pi ] and extended to the segment [−π;0][-\pi ; 0] evenly. Draw the graph of the sum of the series:

?
(1)

f(x)={x,0⩽x⩽π/2π/2,π/2<x⩽πf(x) = \begin{cases} x, & 0 \leqslant x \leqslant \pi / 2 \\ \pi / 2, & \pi / 2 < x \leqslant \pi \end{cases}

(2)

f(x)=2π(π2−x),0⩽x⩽πf(x) = \frac{2}{\pi }\left(\frac{\pi }{2}-x\right), 0 \leqslant x \leqslant \pi.

Problem 2.22.32

Expand the periodic function into a Fourier series. f(x)=sign⁡(cos⁡x)f(x) = \operatorname {sign}(\cos x).

?
Problem 2.22.33

Expand the periodic function into a Fourier series. f(x)=arcsin⁡(cos⁡x)f(x) = \arcsin (\cos x).

?
Problem 2.22.34

Expand the periodic function into a Fourier series. f(x)=arcsin⁡(sin⁡x)f(x) = \arcsin (\sin x).

?
Problem 2.22.35

Expand the periodic function into a Fourier series. f(x)=x−[x]f(x) = x-[x].

?
Problem 2.22.36

Expand the periodic function into a Fourier series. f(x)=(x)f(x) = (x) is the distance from xx to the nearest integer.

?
Problem 2.22.37

Expand the periodic function into a Fourier series. f(x)=∣cos⁡x∣f(x) = \left|\cos x\right|.

?
Problem 2.22.38

Expand the periodic function into a Fourier series. f(x)=∣sin⁡x∣f(x) = \left|\sin x\right|.

?
Problem 2.22.39

Expand the periodic function into a Fourier series. f(x)=∣cos⁡(x/2)∣f(x) = \left|\cos (x / 2)\right|.

?
Problem 2.22.40

Expand the function f(x)=x,0⩽x⩽πf(x) = x, 0 \leqslant x \leqslant \pi, into a Fourier series in cosines.

?
Problem 2.22.41

Expand the function f(x)=cos⁡2x,0⩽x⩽πf(x) = \cos 2 x, 0 \leqslant x \leqslant \pi, into a Fourier series in sines.

?
Problem 2.22.42

Expand into a Fourier series on (0;π)(0 ; \pi ) in cosines the function

f(x)={π/2−x,0<x<π/20,π/2⩽x<π f(x) = \begin{cases} \pi / 2-x, & 0 < x < \pi / 2 \\ 0, & \pi / 2 \leqslant x < \pi \end{cases}
?
Problem 2.22.43

Expand into a Fourier series on the interval (0;π)(0 ; \pi ) in sines the function

f(x)={sin⁡x,0⩽x⩽π/20,π/2<x<π f(x) = \begin{cases} \sin x, & 0 \leqslant x \leqslant \pi / 2 \\ 0, & \pi / 2 < x < \pi \end{cases}
?
Problem 2.22.44

Expand the function

f(x)={x,0⩽x⩽12−x,1<x⩽2 f(x) = \begin{cases} x, & 0 \leqslant x \leqslant 1 \\ 2-x, & 1 < x \leqslant 2 \end{cases}

into a Fourier series in cosines on the segment [0;2][0 ; 2].

?
Problem 2.22.45

Expand the function f(x)=x2f(x) = x^{2} into a Fourier series:

?
(1)

on the segment [−π;π][-\pi ; \pi ] in cosines;

(2)

on the interval (0;π)(0 ; \pi ) in sines;

(3)

on the interval (0;2π)(0 ; 2 \pi ) in sines and cosines.

Using these expansions, find the sums of the series

S1=∑n=1∞1n2,S2=∑n=1∞(−1)n+1n2,S3=∑n=1∞1(2n−1)2 S_{1} = \sum _{n = 1}^{\infty } \frac{1}{n^{2}}, \quad S_{2} = \sum _{n = 1}^{\infty } \frac{(-1)^{n+1}}{n^{2}}, \quad S_{3} = \sum _{n = 1}^{\infty } \frac{1}{(2 n-1)^{2}}
Problem 2.22.46

Expand into a Fourier series the function f(x)=x−x2/2,0⩽x⩽1f(x) = x-x^{2} / 2,0 \leqslant x \leqslant 1:

?
(1)

in cosines;

(2)

in sines.

Problem 2.22.47

Expand into a Fourier series in sines the function

f(x)=xsin⁡x,0⩽x⩽π. f(x) = x \sin x, \quad 0 \leqslant x \leqslant \pi .
?
Problem 2.22.48

Prove that 3x2−6πx+2π212=∑n=1∞cos⁡nxn2,0⩽x⩽π\frac{3 x^{2}-6 \pi x+2 \pi^{2}}{12} = \sum_{n = 1}^{\infty } \frac{\cos n x}{n^{2}}, 0 \leqslant x \leqslant \pi.

Hint. Use the results of problems 40 and 45.

?
Problem 2.22.49

Expand into a Fourier series in cosines the function f(x)=exf(x) = e^{x} on the interval (0;ln⁡2)(0 ; \ln 2).

?
Problem 2.22.50

Expand into a Fourier series in sines the function

f(x)={1,0<x<π/20,π/2<x<π f(x) = \begin{cases} 1, & 0 < x < \pi / 2 \\ 0, & \pi / 2 < x < \pi \end{cases}
?
Problem 2.22.51

Expand into a Fourier series in sines the function

f(x)={x,0⩽x<12−x,1⩽x<2 f(x) = \begin{cases} x, & 0 \leqslant x < 1 \\ 2-x, & 1 \leqslant x < 2 \end{cases}
?
Problem 2.22.52

Expand the function f(x)=eax,0<x<πf(x) = e^{a x}, 0 < x < \pi:

?
(1)

into a Fourier series in cosines;

(2)

into a Fourier series in sines.

Problem 2.22.53

Expand the function f(x)=sin⁡ax,0⩽x⩽πf(x) = \sin a x, 0 \leqslant x \leqslant \pi, into a Fourier series in cosines.

?
Problem 2.22.54

Expand into a Fourier series in cosines the function

f(x)={1,0⩽x⩽a0,a<x⩽π f(x) = \begin{cases} 1, & 0 \leqslant x \leqslant a \\ 0, & a < x \leqslant \pi \end{cases}
?
Problem 2.22.55

Expand into a Fourier series in cosines the function

f(x)={1−x/2a,0⩽x⩽2a0,2a<x⩽π f(x) = \begin{cases} 1-x / 2 a, & 0 \leqslant x \leqslant 2 a \\ 0, & 2 a < x \leqslant \pi \end{cases}
?
Problem 2.22.56

Prove that

∑n=1∞cos⁡(2n−1)x(2n−1)4=196π(π−2x)(π2+2πx−2x2),0⩽x⩽π \sum _{n = 1}^{\infty } \frac{\cos (2 n-1) x}{(2 n-1)^{4}} = \frac{1}{96} \pi (\pi -2 x)\left(\pi ^{2}+2 \pi x-2 x^{2}\right), \quad 0 \leqslant x \leqslant \pi
?
Problem 2.22.57

Find the Fourier series in complex form of the function

f(x)={1,0⩽x⩽π−1,π<x⩽2π f(x) = \begin{cases} 1, & 0 \leqslant x \leqslant \pi \\ -1, & \pi < x \leqslant 2 \pi \end{cases}
?
Problem 2.22.58

Expand into a Fourier series in complex form the periodic function, with period 2π2 \pi, f(x)=ex,−π<x<π,f(π)=ch⁡πf(x) = e^{x},-\pi < x < \pi , f(\pi ) = \operatorname {ch} \pi.

?
Problem 2.22.59

Expand into a Fourier series in complex form the periodic function with period 3

f(x)={1,0<x<1,0,1<x<3,f(0)=f(1)=12 f(x) = \begin{cases} 1, & 0 < x < 1, \\ 0, & 1 < x < 3, \end{cases} \quad f(0) = f(1) = \frac{1}{2}
?
Problem 2.22.60

Expand the function into a Fourier series using the complex form of the Fourier series:

?
(1)

f(x)=1−a21−2acos⁡x+a2,∣a∣<1f(x) = \frac{1-a^{2}}{1-2 a \cos x+a^{2}},\left|a\right| < 1;

(2)

f(x)=1−acos⁡x1−2acos⁡x+a2,∣a∣<1f(x) = \frac{1-a \cos x}{1-2 a \cos x+a^{2}},\left|a\right| < 1.

Problem 2.22.61

Expand into a Fourier series the unbounded periodic function:

?
(1)

f(x)=ln⁡∣sin⁡(x/2)∣f(x) = \ln \left|\sin (x / 2)\right|

(2)

f(x)=ln⁡∣tg⁡(x/2)∣f(x) = \ln \left|\operatorname {tg}(x / 2)\right|.

Problem 2.22.62

Using the expansion of the function f(x)=xf(x) = x into a Fourier series (see problem 4), prove that:

?
(1)

xsin⁡x=1−12cos⁡x−2∑n=2∞(−1)ncos⁡nxn2−1,−π⩽x⩽πx \sin x = 1-\frac{1}{2} \cos x-2 \sum_{n = 2}^{\infty } \frac{(-1)^{n} \cos n x}{n^{2}-1},-\pi \leqslant x \leqslant \pi;

(2)

xcos⁡x=−12sin⁡x+2∑n=2∞(−1)nnsin⁡nxn2−1,−π<x<πx \cos x = -\frac{1}{2} \sin x+2 \sum_{n = 2}^{\infty } \frac{(-1)^{n} n \sin n x}{n^{2}-1},-\pi < x < \pi.

Problem 2.22.63

Using the expansion of the function ln⁡∣−2cos⁡(x/2)∣\ln \left|-2 \cos (x / 2)\right| into a Fourier series (see example 6), prove that:

?
(1)

sin⁡xln⁡(2cos⁡x2)=14sin⁡x+∑n=2∞(−1)nn2−1sin⁡nx,−π<x<π\sin x \ln \left(2 \cos \frac{x}{2}\right) = \frac{1}{4} \sin x+\sum_{n = 2}^{\infty } \frac{(-1)^{n}}{n^{2}-1} \sin n x,-\pi < x < \pi;

(2)

cos⁡xln⁡(2cos⁡x2)=12−14cos⁡x+∑n=2∞(−1)nnn2−1cos⁡nx,−π<x<π\cos x \ln \left(2 \cos \frac{x}{2}\right) = \frac{1}{2}-\frac{1}{4} \cos x+\sum_{n = 2}^{\infty } \frac{(-1)^{n} n}{n^{2}-1} \cos n x,-\pi < x < \pi.

Problem 2.22.64

Prove that if a function ff, absolutely integrable on the segment [−π;π][-\pi ; \pi ], satisfies the condition:

?
(1)

f(x+π)=f(x)f(x+\pi ) = f(x), then a2n−1=b2n−1=0,n∈Na_{2 n-1} = b_{2 n-1} = 0, n \in N;

(2)

f(x+π)=−f(x)f(x+\pi ) = -f(x), then a0=0,a2n=b2n=0,n∈Na_{0} = 0, a_{2 n} = b_{2 n} = 0, n \in N.

Problem 2.22.65

Prove that if a function ff, absolutely integrable on the segment [0;π][0 ; \pi ], satisfies the condition f(π−x)=f(x)f(\pi -x) = f(x), then its Fourier coefficients have the following properties:

?
(1)

when ff is expanded into a Fourier series in cosines, a2n−1=0,n∈Na_{2 n-1} = 0, n \in N;

(2)

when ff is expanded into a Fourier series in sines, b2n=0,n∈Nb_{2 n} = 0, n \in N.

Problem 2.22.66

How should a function, absolutely integrable on the segment [0;π/2][0 ; \pi / 2], be extended to the segment [−π;π][-\pi ; \pi ] so that its Fourier series has the form

∑n=1∞ancos⁡(2n−1)x? \sum _{n = 1}^{\infty } a_{n} \cos (2 n-1) x?
?
Problem 2.22.67

How should a function, absolutely integrable on the segment [0;π/2][0 ; \pi / 2], be extended to the segment [−π;π][-\pi ; \pi ] so that its Fourier series has the form

∑n=1∞bnsin⁡(2n−1)x? \sum _{n = 1}^{\infty } b_{n} \sin (2 n-1) x?
?
Problem 2.22.68

Expand the function f(x)=x(π/2−x)f(x) = x(\pi / 2-x) into a Fourier series on the segment [0;π/2][0 ; \pi / 2]:

?
(1)

with respect to the system {cos⁡(2n−1)x},n∈N\left\{ \cos (2 n-1) x\right\} , n \in N;

(2)

with respect to the system {sin⁡(2n−1)x},n∈N\left\{ \sin (2 n-1) x\right\} , n \in N.

Problem 2.22.69

Prove that a piecewise smooth function on the segment [0;l][0 ; l] can be expanded into a series of the form

∑n=1∞b2n−1sin⁡(2n−1)πxl \sum _{n = 1}^{\infty } b_{2 n-1} \sin \frac{(2 n-1) \pi x}{l}
?
Problem 2.22.70

Prove that a piecewise smooth function on the segment [0;l][0 ; l] can be expanded into a series of the form

∑n=1∞a2ncos⁡2nπxl \sum _{n = 1}^{\infty } a_{2 n} \cos \frac{2 n \pi x}{l}
?
Problem 2.22.71

Prove the equality for 0<x<π0 < x < \pi:

?
(1)

∑n=1∞sin⁡(2n−1)x(2n−1)3=πx8(π−x)\sum_{n = 1}^{\infty } \frac{\sin (2 n-1) x}{(2 n-1)^{3}} = \frac{\pi x}{8}(\pi -x);

(2)

∑n=2∞(−1)ncos⁡(2n−1)x(2n−3)(2n−1)(2n+1)=π8cos⁡2x−13cos⁡x\sum_{n = 2}^{\infty }(-1)^{n} \frac{\cos (2 n-1) x}{(2 n-3)(2 n-1)(2 n+1)} = \frac{\pi }{8} \cos^{2} x-\frac{1}{3} \cos x.

Problem 2.22.72

What features do the Fourier coefficients of a function of period 2π2 \pi have if its graph:

?
(1)

has a center of symmetry at the points (0;0)(0 ; 0) and (±π/2;0)(\pm \pi / 2 ; 0);

(2)

has a center of symmetry at the origin and axes of symmetry x=±π/2x = \pm \pi / 2?

Problem 2.22.73

How are the Fourier coefficients an,bna_{n}, b_{n} and αn\alpha_{n}, βn\beta_{n} of the functions ff and gg related, if f(−x)=g(x)f(-x) = g(x)?

?
Problem 2.22.74

How are the Fourier coefficients an,bna_{n}, b_{n} and αn\alpha_{n}, βn\beta_{n} of the functions ff and gg related, if f(−x)=−g(x)f(-x) = -g(x)?

?
Problem 2.22.75

Prove that the Fourier series of a finite linear combination of 2π2 \pi-periodic functions, absolutely integrable over the period, equals the same linear combination of the Fourier series of the given functions.

?
Problem 2.22.76

Let ff be a 2π2 \pi-periodic function, absolutely integrable over the period. Prove that if an∗,bn∗a_{n}^{*}, b_{n}^{*} are the Fourier coefficients of the function f∗(x)=f(x+h)f^{*}(x) = f(x+h), and an,bna_{n}, b_{n} are the Fourier coefficients of the function ff, then

a0∗=a0,an∗=ancos⁡nh+bnsin⁡nhbn∗=bncos⁡nh−ansin⁡nh \begin{aligned} & a_{0}^{*} = a_{0}, \quad a_{n}^{*} = a_{n} \cos n h+b_{n} \sin n h \\ & b_{n}^{*} = b_{n} \cos n h-a_{n} \sin n h \end{aligned}
?
Problem 2.22.77

Prove that f(x+α)∼∑n=−∞∞(cneinα)einx,α∈Rf(x+\alpha ) \sim \sum_{n = -\infty }^{\infty }\left(c_{n} e^{i n \alpha }\right) e^{i n x}, \quad \alpha \in R.

?
Problem 2.22.78

Prove that if k∈Zk \in Z, then f(x)eikx∼∑n=−∞∞cn−keinxf(x) e^{i k x} \sim \sum_{n = -\infty }^{\infty } c_{n-k} e^{i n x}.

?
Problem 2.22.79

Prove that fˉ∼∑n=−∞∞cˉ−neinx\bar{f} \sim \sum_{n = -\infty }^{\infty } \bar{c}_{-n} e^{i n x}.

?
Problem 2.22.80

Let the functions ff and gg be 2π2 \pi-periodic, with ∣f∣2|f|^{2} and ∣g∣2|g|^{2} integrable (in the improper sense) on the segment [−π;π][-\pi ; \pi ],

f∼∑n=−∞∞cneinx,g∼∑n=−∞∞dneinx f \sim \sum _{n = -\infty }^{\infty } c_{n} e^{i n x}, \quad g \sim \sum _{n = -\infty }^{\infty } d_{n} e^{i n x}

Prove that then the product fgf g is a 2π2 \pi-periodic function, absolutely integrable over the period, and if

fg∼∑n=−∞∞kneinx, then kn=∑m=−∞∞cmdn−m. f g \sim \sum _{n = -\infty }^{\infty } k_{n} e^{i n x}, \quad \text{ then } \quad k_{n} = \sum _{m = -\infty }^{\infty } c_{m} d_{n-m}.
?
Problem 2.22.81

Prove that

12−1π∑n=1∞sin⁡2nπxn={x−[x] for noninteger x1/2 for integer x. \frac{1}{2}-\frac{1}{\pi } \sum _{n = 1}^{\infty } \frac{\sin 2 n \pi x}{n} = \begin{cases} x-[x] & \text{ for noninteger } x \\ 1 / 2 & \text{ for integer } x. \end{cases}
?
Problem 2.22.82

Prove that for any x∈R,x≠πm,m∈Zx \in R, x \neq \pi m, m \in Z, the equality holds

1sin⁡x=1x∑n=1∞(−1)n(1x−πn+1x+πn) \frac{1}{\sin x} = \frac{1}{x} \sum _{n = 1}^{\infty }(-1)^{n}\left(\frac{1}{x-\pi n}+\frac{1}{x+\pi n}\right)
?
Problem 2.22.83

Prove that if the function ff is continuously differentiable on the segment [x;x+π][x ; x+\pi ], then

f(x+π)−f(x)=−4π∑n=0∞∫xx+πf(t)cos⁡((2n+1)(t−x))dt f(x+\pi )-f(x) = -\frac{4}{\pi } \sum _{n = 0}^{\infty } \int _{x}^{x+\pi } f(t) \cos ((2 n+1)(t-x)) d t

(Steklov).

?
Problem 2.22.84

Let an,bna_{n}, b_{n} be the Fourier coefficients of the function equal to exe^{x} on the interval (−π;π)(-\pi ; \pi ). Find the sum of the series

∑n=0∞(a2n+1cos⁡(2n+1)x+b2n+1sin⁡(2n+1)x) \sum _{n = 0}^{\infty }\left(a_{2 n+1} \cos (2 n+1) x+b_{2 n+1} \sin (2 n+1) x\right)

for x∈(−π;π)x \in (-\pi ; \pi ).

?
Problem 2.22.85

Prove that the Fourier coefficients an,bna_{n}, b_{n} of a function absolutely integrable on the segment [−π;π][-\pi ; \pi ] tend to zero as n→∞n \rightarrow \infty (Riemann).

?
Problem 2.22.86

Prove that the Dirichlet kernel DnD_{n} is an even, continuous, 2π2 \pi-periodic function, Dn(0)=n+1/2D_{n}(0) = n+1 / 2,

1π∫−ππDn(t)dt=1 \frac{1}{\pi } \int _{-\pi }^{\pi } D_{n}(t) d t = 1

and, for t≠2πk,k∈Zt \neq 2 \pi k, k \in Z, the equality holds

Dn(t)=sin⁡(n+1/2)t2sin⁡(t/2) D_{n}(t) = \frac{\sin (n+1 / 2) t}{2 \sin (t / 2)}
?
Problem 2.22.87

Prove that if ff is a 2π2 \pi-periodic function, absolutely integrable over the period, and Sn(x)S_{n}(x) is its Fourier sum of order nn, then:

?
(1)

Sn(x)=1π∫0πDn(t)[f(x+t)+f(x−t)]dtS_{n}(x) = \frac{1}{\pi } \int_{0}^{\pi } D_{n}(t)[f(x+t)+f(x-t)] d t;

(2)

for any δ∈(0;π)\delta \in (0 ; \pi ) and any x∈Rx \in R the asymptotic equality holds

Sn(x)=1π∫0δDn(t)[f(x+t)+f(x−t)]dt+o(1),n→∞ S_{n}(x) = \frac{1}{\pi } \int _{0}^{\delta } D_{n}(t)[f(x+t)+f(x-t)] d t+o(1), \quad n \rightarrow \infty
Problem 2.22.88

Prove that if ff is a 2π2 \pi-periodic function, absolutely integrable over the period, then the existence and value of the limit of the sequence of its Fourier sums Sn(x)S_{n}(x) at every point x0∈Rx_{0} \in R depends only on the existence and value of the limit, as n→∞n \rightarrow \infty, of the integral

1π∫0δDn(t)[f(x0+t)+f(x0−t)]dt \frac{1}{\pi } \int _{0}^{\delta } D_{n}(t)\left[f\left(x_{0}+t\right)+f\left(x_{0}-t\right)\right] d t

where δ\delta is an arbitrarily small positive number (this statement is called the localization principle for Fourier series).

?
Problem 2.22.89

Let ff be a 2π2 \pi-periodic function, absolutely integrable over the period. Prove that if x0x_{0} is a point of continuity or a discontinuity of the first kind and, for some δ>0\delta > 0, the integral converges

∫0δ∣fx0∗(t)∣tdt \int _{0}^{\delta } \frac{\left|f_{x_{0}}^{*}(t)\right|}{t} d t

where

fx∗(t)=f(x+t)+f(x−t)−f(x+0)−f(x−0), f_{x}^{*}(t) = f(x+t)+f(x-t)-f(x+0)-f(x-0),

then the Fourier series of the function ff at the point x0x_{0} converges to the value

f(x0+0)+f(x0−0)2 \frac{f\left(x_{0}+0\right)+f\left(x_{0}-0\right)}{2}

(Dini's test).

?
Problem 2.22.90

Prove that if ff is a 2π2 \pi-periodic function, absolutely integrable over the period, and at the point x∈Rx \in R the limiting values f(x+0),f(x−0)f(x+0), f(x-0) and the one-sided derivatives exist f+′(x),f−′(x)f_{+}^{\prime }(x), f_{-}^{\prime }(x), then the Fourier series of the function ff converges at this point to the value f(x+0)+f(x−0)2\frac{f(x+0)+f(x-0)}{2}.

?
Problem 2.22.91

A function ff, defined in some neighborhood UU of the point xx, is said to satisfy the Hölder condition of order α>0\alpha > 0 at this point if the one-sided limits f(x+0),f(x−−0)f(x+0), f(x- -0) exist, and there is a constant c>0c > 0 such that for all h>0h > 0 for which x+h∈Ux+h \in U and x−h∈Ux-h \in U, the inequalities hold

∣f(x+h)−f(x+0)∣<chα,∣f(x−h)−f(x−0)∣<chα. \left|f(x+h)-f(x+0)\right| < c h^{\alpha }, \quad \left|f(x-h)-f(x-0)\right| < c h^{\alpha }.

Prove that if a 2π2 \pi-periodic function ff, absolutely integrable over the period, satisfies the Hölder condition of order α>0\alpha > 0 at the point xx, then its Fourier series converges at this point and its sum equals

f(x+0)+f(x−0)2 \frac{f(x+0)+f(x-0)}{2}
?
Problem 2.22.92

Prove that if a 2π2 \pi-periodic function, absolutely integrable over the period, has a bounded derivative in a neighborhood of a given point, then its Fourier series converges at this point to the value of the function.

?
Problem 2.22.93

Prove that the Fejér kernel Φn\Phi_{n} is an even, continuous, 2π2 \pi-periodic function,

Φn(0)=n+12,1π∫−ππΦn(t)dt=1 \Phi _{n}(0) = \frac{n+1}{2}, \quad \frac{1}{\pi } \int _{-\pi }^{\pi } \Phi _{n}(t) d t = 1

and, for t≠2πk,k∈Zt \neq 2 \pi k, k \in Z, the equality holds

Φn(t)=sin⁡2((n+1)t/2)2(n+1)sin⁡2(t/2). \Phi _{n}(t) = \frac{\sin ^{2}((n+1) t / 2)}{2(n+1) \sin ^{2}(t / 2)}.
?
Problem 2.22.94

Prove that the Fejér kernel Φn\Phi_{n} satisfies, for any δ>0\delta > 0, the condition

lim⁡n→∞max⁡δ⩽∣t∣⩽πΦn(t)=0 \lim _{n \rightarrow \infty } \max _{\delta \leqslant \left|t\right| \leqslant \pi } \Phi _{n}(t) = 0
?
Problem 2.22.95

Prove: if a function is continuous on the segment [−π;π][-\pi ; \pi ] and takes equal values at its endpoints, then the sequence of its Fejér sums converges uniformly on this segment to the function in question.

?
Problem 2.22.96

Prove that if ff is a 2π2 \pi-periodic function, absolutely integrable over the period, having left- and right-hand limits f(x±0)f(x \pm 0) at the point xx, then (see notation (18))

lim⁡n→∞σn(x)=f(x+0)+f(x−0)2 \lim _{n \rightarrow \infty } \sigma _{n}(x) = \frac{f(x+0)+f(x-0)}{2}
?
Problem 2.22.97

Prove that if a 2π2 \pi-periodic function ff, absolutely integrable over the period, is continuous at the point xx and the Fourier series of ff converges at this point, then its sum equals f(x)f(x).

?
Problem 2.22.98

Prove that if the function ff is continuous on the segment [−π;π][-\pi ; \pi ] and f(−π)=f(π)f(-\pi ) = f(\pi ), then for any σ>0\sigma > 0 there exists a trigonometric polynomial

T(x)=A0+∑k=1n(Akcos⁡kx+Bksin⁡kx) T(x) = A_{0}+\sum _{k = 1}^{n}\left(A_{k} \cos k x+B_{k} \sin k x\right)

such that for all x∈[−π;π]x \in [-\pi ; \pi ] the inequality ∣f(x)−T(x)∣<σ\mid f(x)-T(x) \mid < \sigma holds (Weierstrass).

?
Problem 2.22.99

Prove that for the function s(x;r)s(x ; r) (see (21)) the formula holds

s(x;r)=12π∫−ππf(t)1−r21−2rcos⁡(t−x)+r2dt s(x ; r) = \frac{1}{2 \pi } \int _{-\pi }^{\pi } f(t) \frac{1-r^{2}}{1-2 r \cos (t-x)+r^{2}} d t

(Poisson).

?
Problem 2.22.100

Prove that if a 2π2 \pi-periodic function ff, absolutely integrable over the period, has left- and right-hand limits f(x±0)f(x \pm 0) at the point xx, then

lim⁡r→1−0s(x;r)=lim⁡r→1−012π∫−ππf(t)1−r21−2rcos⁡(t−x)+r2dt==f(x+0)+f(x−0)2 \begin{aligned} & \lim _{r \rightarrow 1-0} s(x ; r) = \lim _{r \rightarrow 1-0} \frac{1}{2 \pi } \int _{-\pi }^{\pi } f(t) \frac{1-r^{2}}{1-2 r \cos (t-x)+r^{2}} d t = \\ & = \frac{f(x+0)+f(x-0)}{2} \end{aligned}

i.e., the Fourier series of the function ff is summable by the Poisson-Abel method to the value f(x+0)+f(x−0)2\frac{f(x+0)+f(x-0)}{2}.

?
Problem 2.22.101

Prove that if ff is a 2π2 \pi-periodic, continuous function, then s(x;r)s(x ; r) tends uniformly, on the entire real line, to the function ff as r→1−0r \rightarrow 1-0.

?
Problem 2.22.102

Prove that:

?
(1)

sign⁡x=4π∑n=1∞sin⁡(2n−1)x2n−1,−π<x<π\operatorname {sign} x = \frac{4}{\pi } \sum_{n = 1}^{\infty } \frac{\sin (2 n-1) x}{2 n-1}, \quad -\pi < x < \pi;

(2)

the partial sums Sn(x)S_{n}(x) of the Fourier series of the function sign⁡x\operatorname {sign} x attain a maximum at xn=π/(2n)x_{n} = \pi /(2 n), and

lim⁡n→∞Sn(xn)=2π∫0πsin⁡xxdx>1 \lim _{n \rightarrow \infty } S_{n}\left(x_{n}\right) = \frac{2}{\pi } \int _{0}^{\pi } \frac{\sin x}{x} d x > 1
Problem 2.22.103

Prove that for any function ff of the form

f(x)=g(x)+csign⁡(x−x0),−π⩽x⩽π, f(x) = g(x)+c \operatorname {sign}\left(x-x_{0}\right), \quad -\pi \leqslant x \leqslant \pi ,

where the constant c≠0,∣x0∣<π,gc \neq 0,\left|x_{0}\right| < \pi , g is a continuously differentiable function on the segment [−π:π][-\pi : \pi ], at the point x=x0x = x_{0} the Gibbs phenomenon occurs: if Sn(x)S_{n}(x) is the Fourier sum of order nn of the function ff, then either

lim⁡n→∞x→x0−0Sn(x)<f(x0−0)⩽f(x0+0)<lim‾⁡n→∞x→x0+0Sn(x) \lim _{\substack {n \rightarrow \infty \\ x \rightarrow x_{0}-0}} S_{n}(x) < f\left(x_{0}-0\right) \leqslant f\left(x_{0}+0\right) < \varlimsup _{\substack {n \rightarrow \infty \\ x \rightarrow x_{0}+0}} S_{n}(x)

or

lim‾⁡n→∞x→x0−0Sn(x)>f(x0−0)⩾f(x0+0)>lim‾⁡n→∞x→x0+0Sn(x). \varlimsup _{\substack {n \rightarrow \infty \\ x \rightarrow x_{0}-0}} S_{n}(x) > f\left(x_{0}-0\right) \geqslant f\left(x_{0}+0\right) > \varliminf _{\substack {n \rightarrow \infty \\ x \rightarrow x_{0}+0}} S_{n}(x).
?
Problem 2.22.104

The function Dˉn(x)=sin⁡x+sin⁡2x+…+sin⁡nx\bar{D}_{n}(x) = \sin x+\sin 2 x+\ldots +\sin nx is called the conjugate Dirichlet kernel. Prove that:

?
(1)

Dˉn(x)=cos⁡(x/2)−cos⁡(n+x/2)x2sin⁡(x/2),x≠2πk,k∈Z\bar{D}_{n}(x) = \frac{\cos (x / 2)-\cos (n+x / 2) x}{2 \sin (x / 2)}, \quad x \neq 2 \pi k, k \in Z;

(2)

∣Dn(x)∣<π2∣x∣,∣Dˉn(x)∣⩽π∣x∣,0<∣x∣⩽π\left|D_{n}(x)\right| < \frac{\pi }{2\left|x\right|}, \quad \left|\bar{D}_{n}(x)\right| \leqslant \frac{\pi }{\left|x\right|}, \quad 0 < \left|x\right| \leqslant \pi.

Problem 2.22.105

The numbers Ln=1π∫−ππ∣Dn(t)∣dtL_{n} = \frac{1}{\pi } \int_{-\pi }^{\pi }\left|D_{n}(t)\right| d t are called the Lebesgue constants. Prove that:

?
(1)

Ln=2πJn+O(1),n→∞L_{n} = \frac{2}{\pi } J_{n}+O(1), \quad n \rightarrow \infty, where Jn=∫0π∣sin⁡tt∣dtJ_{n} = \int_{0}^{\pi }\left|\frac{\sin t}{t}\right| d t;

(2)

Ln∼4π2ln⁡n,n→∞L_{n} \sim \frac{4}{\pi^{2}} \ln n, \quad n \rightarrow \infty.

Problem 2.22.106

The series conjugate to the trigonometric series (1) is called the series

∑n=1∞(−bncos⁡nx+ansin⁡nx) \sum _{n = 1}^{\infty }\left(-b_{n} \cos n x+a_{n} \sin n x\right)

Let series (1) be the Fourier series of the function ff. Prove that in this case the partial sums Sˉn(x;f)\bar{S}_{n}(x ; f) of the conjugate series can be written in the form

Sˉn(x;f)=−1π∫−ππf(t)Dˉn(t−x)dt \bar{S}_{n}(x ; f) = -\frac{1}{\pi } \int _{-\pi }^{\pi } f(t) \bar{D}_{n}(t-x) d t

where Dˉn(x)\bar{D}_{n}(x) is defined in problem 104.

?
Problem 2.22.107

Prove that if ff is a function Riemann-integrable on the segment [−π;π][-\pi ; \pi ], and hence there exists a constant M>0M > 0 such that for all x∈[−π;π]x \in [-\pi ; \pi ] the inequality ∣f(x)∣⩽M\left|f(x)\right| \leqslant M holds, then

∣Sn(x;f)∣⩽cMln⁡n,∣Sˉn(x;f)∣⩽cM⩽n, \left|S_{n}(x ; f)\right| \leqslant c M \ln n, \quad \left|\bar{S}_{n}(x ; f)\right| \leqslant c M \leqslant n,

∣x∣⩽π\left|x\right| \leqslant \pi, where cc is some absolute constant.

?
Problem 2.22.108

Let ff be a 2π2 \pi-periodic function, absolutely integrable over the period, and

ω(δ;f)=sup⁡0⩽∣h∣⩽δ∫−ππ∣f(x+h)−f(x)∣dx \omega (\delta ; f) = \sup _{0 \leqslant \left|h\right| \leqslant \delta } \int _{-\pi }^{\pi }\left|f(x+h)-f(x)\right| d x

(the function ω(δ;f)\omega (\delta ; f) is called the integral modulus of continuity of the function ff). Prove that for the complex Fourier coefficients cnc_{n} of the function ff the inequalities hold

∣cn∣⩽14πω(πn;f),n=±1,±2,… \left|c_{n}\right| \leqslant \frac{1}{4 \pi } \omega \left(\frac{\pi }{n} ; f\right), \quad n = \pm 1, \pm 2, \ldots
?
Problem 2.22.109

Under the assumptions of the preceding problem, prove that for the Fourier coefficients ana_{n} and bnb_{n} of the function ff, taking only real values, the inequalities hold

∣an∣⩽12πω(πn;f),∣bn∣⩽12π⋅ω(πn;f),n∈N. \left|a_{n}\right| \leqslant \frac{1}{2 \pi } \omega \left(\frac{\pi }{n} ; f\right), \quad \left|b_{n}\right| \leqslant \frac{1}{2 \pi } \cdot \omega \left(\frac{\pi }{n} ; f\right), \quad n \in N.
?
Problem 2.22.110

Prove that if a trigonometric series converges uniformly, then it is the Fourier series of its sum.

?
Problem 2.22.111

Are the following trigonometric series Fourier series:

?
(1)

∑n=1∞sin⁡nxn2\sum_{n = 1}^{\infty } \frac{\sin n x}{n^{2}};

(2)

∑n=1∞cos⁡nxn3\sum_{n = 1}^{\infty } \frac{\cos n x}{n^{3}}

(3)

∑n=1∞sin⁡nxnα,α>1\sum_{n = 1}^{\infty } \frac{\sin n x}{n^{\alpha }}, \quad \alpha > 1;

(4)

∑n=1∞sin⁡nx\sum_{n = 1}^{\infty } \sin n x

Problem 2.22.112

Expand the function into a Fourier series

f(x)=∫0xln⁡∣ctg⁡t2∣dt,−π⩽x⩽π f(x) = \int _{0}^{x} \ln \sqrt{\left|\operatorname {ctg} \frac{t}{2}\right|} d t, \quad -\pi \leqslant x \leqslant \pi
?
Problem 2.22.113

Prove that if a trigonometric series has a subsequence of partial sums that converges uniformly on the segment [−π;π][-\pi ; \pi ] to some function, then this series is the Fourier series of that function.

?
Problem 2.22.114

Prove that if a continuous, piecewise smooth function ff on the segment [−π;π][-\pi ; \pi ] takes equal values at its endpoints, then its Fourier series converges to it absolutely and uniformly on the segment [−π;π][-\pi ; \pi ].

?
Problem 2.22.115

Without computing the Fourier coefficients on (−π;π)(-\pi ; \pi ) of the function f(x)=πx−x∣x∣f(x) = \pi x-x\left|x\right|, determine whether this series converges uniformly. Plot the graphs of the sums of the series, its once-differentiated series, and its twice-differentiated series.

?
Problem 2.22.116

Starting from the expansion

x=2∑n=1∞(−1)n+1sin⁡nxn,−π<x<π x = 2 \sum _{n = 1}^{\infty }(-1)^{n+1} \frac{\sin n x}{n}, \quad -\pi < x < \pi

obtain, by term-by-term integration, the Fourier series expansion of the function:

?
(1)

x2x^{2};

(2)

x3x^{3};

(3)

x4x^{4}.

Problem 2.22.117

Prove that the trigonometric series

∑n=2∞cos⁡nxln⁡n \sum _{n = 2}^{\infty } \frac{\cos n x}{\ln n}

is, while the series

∑n=2∞sin⁡nxln⁡n \sum _{n = 2}^{\infty } \frac{\sin n x}{\ln n}

is not a Fourier series.

?
Problem 2.22.118

Prove that if two continuous functions of period 2π2 \pi have the same Fourier coefficients, then these functions are identically equal.

?
Problem 2.22.119

Prove that if the function ff is continuous on the segment [−π;π][-\pi ; \pi ] and its Fourier series converges uniformly on this segment, then at every point of the segment [−π;π][-\pi ; \pi ] the sum of the series equals the function ff at that point.

?
Problem 2.22.120

Prove that if the function ff is absolutely integrable on the segment [−π;π][-\pi ; \pi ],

a0+∑n=1∞(ancos⁡nx+bnsin⁡nx) a_{0}+\sum _{n = 1}^{\infty }\left(a_{n} \cos n x+b_{n} \sin n x\right)

is its Fourier series, then for any points x′∈[−π;π]x^{\prime } \in [-\pi ; \pi ] and x′′∈[−π;π]x^{\prime \prime } \in [-\pi ; \pi ] the equality holds

∫x′x′′f(x)dx=∫x′x′′a0dx+∑n=1∞∫x′x′′(ancos⁡nx+bnsin⁡nx)dx. \int _{x^{\prime }}^{x^{\prime \prime }} f(x) d x = \int _{x^{\prime }}^{x^{\prime \prime }} a_{0} d x+\sum _{n = 1}^{\infty } \int _{x^{\prime }}^{x^{\prime \prime }}\left(a_{n} \cos n x+b_{n} \sin n x\right) d x.
?
Problem 2.22.121

Having integrated the expansion term by term

∑n=1∞sin⁡nxn=π−x2,0<x<2π \sum _{n = 1}^{\infty } \frac{\sin n x}{n} = \frac{\pi -x}{2}, \quad 0 < x < 2 \pi

obtain the formula

∑n=1∞cos⁡nxn2=14x2−π2x+π26 \sum _{n = 1}^{\infty } \frac{\cos n x}{n^{2}} = \frac{1}{4} x^{2}-\frac{\pi }{2} x+\frac{\pi ^{2}}{6}
?
Problem 2.22.122

Prove that if the function ff has, on the segment [−π;π][-\pi ; \pi ], continuous derivatives up to order k−1k-1 inclusive and a piecewise continuous derivative of order k⩾1k \geqslant 1, with f(j)(−π)=f(j)(π)f^{(j)}(-\pi ) = f^{(j)}(\pi ), j=0,1,2,…,k−1j = 0,1,2, \ldots , k-1, then:

?
(1)

the Fourier coefficients of the function ff satisfy the inequalities

∣an∣⩽εnnk,∣bn∣⩽εnnk,n∈N \left|a_{n}\right| \leqslant \frac{\varepsilon _{n}}{n^{k}}, \quad \left|b_{n}\right| \leqslant \frac{\varepsilon _{n}}{n^{k}}, \quad n \in N

where the series ∑n=1∞εn2\sum_{n = 1}^{\infty } \varepsilon_{n}^{2} converges;

(2)

the Fourier series of the function ff converges uniformly and absolutely on the segment [−π;π][-\pi ; \pi ] to the function ff, and

∣f(x)−Sn(x;f)∣⩽δnnk−1/2,−π⩽x⩽π \left|f(x)-S_{n}(x ; f)\right| \leqslant \frac{\delta _{n}}{n^{k-1 / 2}}, \quad -\pi \leqslant x \leqslant \pi

where lim⁡n→∞δn=0\lim_{n \rightarrow \infty } \delta_{n} = 0.

Problem 2.22.123

Using the results of problem 122, estimate the Fourier coefficients of the function f(x)f(x) given on the segment [−π;π][-\pi ; \pi ], if:

?
(1)

f(x)=x10f(x) = x^{10};

(2)

f(x)=x5f(x) = x^{5};

(3)

f(x)=(x2−π2)10f(x) = \left(x^{2}-\pi^{2}\right)^{10};

(4)

f(x)=(x2−π2)sin⁡2xf(x) = \left(x^{2}-\pi^{2}\right) \sin^{2} x;

(5)

f(x)=(x2−π2)4sin⁡22xf(x) = \left(x^{2}-\pi^{2}\right)^{4} \sin^{2} 2 x;

(6)

f(x)=(x2−π2)2(cos⁡5x−cos⁡3x)2f(x) = \left(x^{2}-\pi^{2}\right)^{2}(\cos 5 x-\cos 3 x)^{2}.

Problem 2.22.124

Prove that if the function ff has, on the segment [−π;π][-\pi ; \pi ], continuous derivatives up to order k−1k-1 inclusive and a Riemann-integrable derivative of order k⩾1k \geqslant 1, with

f(j)(−π)=f(j)(π),j=0,1,…,k−1∣f(k)(x)∣⩽ck,−π⩽x⩽π \begin{gathered} f^{(j)}(-\pi ) = f^{(j)}(\pi ), \quad j = 0,1, \ldots , k-1 \\ \left|f^{(k)}(x)\right| \leqslant c_{k}, \quad -\pi \leqslant x \leqslant \pi \end{gathered}

then

∣f(x)−Sn(x;f)∣⩽Ackln⁡nnk,−π⩽x⩽π \left|f(x)-S_{n}(x ; f)\right| \leqslant A c_{k} \frac{\ln n}{n^{k}}, \quad -\pi \leqslant x \leqslant \pi

where AA is an absolute constant.

?
Problem 2.22.125

Prove that if the function f=u+ivf = u+i v has, on the segment [−π;π][-\pi ; \pi ], continuous derivatives up to order k−1k-1 inclusive and f(j)(−π)=f(j)(π),j=0,1,…,k−1f^{(j)}(-\pi ) = f^{(j)}(\pi ), j = 0,1, \ldots , k-1, a piecewise continuous derivative of order k⩽1k \leqslant 1, and

f∼∑n=−∞∞cneinx,f(k)∼∑n=−∞∞cn(k)einx f \sim \sum _{n = -\infty }^{\infty } c_{n} e^{i n x}, \quad f^{(k)} \sim \sum _{n = -\infty }^{\infty } c_{n}^{(k)} e^{i n x}

then

cn=cn(k)/(in)k c_{n} = c_{n}^{(k)} /(i n)^{k}
?
Problem 2.22.126

Prove that for the complex Fourier coefficients cnc_{n} of a 2π2 \pi-periodic function ff, absolutely integrable over the period, the formulas hold

cn=14π∫−ππ[f(x)−f(x+πn)]e−inxdx c_{n} = \frac{1}{4 \pi } \int _{-\pi }^{\pi }\left[f(x)-f\left(x+\frac{\pi }{n}\right)\right] e^{-i n x} d x
?
Problem 2.22.127

Let the function ff be absolutely integrable on the segment [−π;π][-\pi ; \pi ] and satisfy the Hölder condition of order α,0<α⩽1\alpha , 0 < \alpha \leqslant 1, on the segment [a;b]⊂[−π;π][a ; b] \subset [-\pi ; \pi ], i.e.,

∣f(x′′)−f(x′)∣⩽c∣x′′−x′∣α,x′,x′′∈[a;b]. \left|f\left(x^{\prime \prime }\right)-f\left(x^{\prime }\right)\right| \leqslant c\left|x^{\prime \prime }-x^{\prime }\right|^{\alpha }, \quad x^{\prime }, x^{\prime \prime } \in [a ; b].

Prove that on any segment [c;d],a<c<d<b[c ; d], a < c < d < b, the Fourier series of the function ff converges to it uniformly.

?
Problem 2.22.128

Prove that if a 2π2 \pi-periodic function, absolutely integrable over the period, has a bounded derivative on the segment [a;b][a ; b], then on any segment [α;β],a<α<β<b[\alpha ; \beta ], a < \alpha < \beta < b, its Fourier series converges to it uniformly.

?
Problem 2.22.129

Let the function ff be absolutely integrable on the segment [−π;π][-\pi ; \pi ] and continuous on the segment [a;b]⊂[−π;π][a ; b] \subset [-\pi ; \pi ]. Prove that if the integral

∫0δ∣fx∗(t)∣tdt \int _{0}^{\delta } \frac{\left|f_{x}^{*}(t)\right|}{t} d t

where

fx∗(t)=f(x+t)+f(x−t)−f(x+0)−f(x−0), f_{x}^{*}(t) = f(x+t)+f(x-t)-f(x+0)-f(x-0),

converges uniformly with respect to x∈[a;b]x \in [a ; b] for some δ>0\delta > 0, then the Fourier series of the function converges to it uniformly on [a;b][a ; b]. For the definition of uniform convergence of the integral, see, e.g., [2, p. 122].

?
Problem 2.22.130

Prove that if the sequence {an}\left\{ a_{n}\right\} tends monotonically to zero, then the series

a0+∑n=1∞ancos⁡nx a_{0}+\sum _{n = 1}^{\infty } a_{n} \cos n x
?
(1)

converges on the entire real line, except possibly at points of the form x=2πm,m∈Zx = 2 \pi m, m \in Z;

(2)

for any δ>0\delta > 0 it converges uniformly on the segment [δ;2π−δ][\delta ; 2 \pi -\delta ].

Problem 2.22.131

Prove that if the sequence {bn}\left\{ b_{n}\right\} tends monotonically to zero, then the series ∑n=1∞bnsin⁡nx\sum_{n = 1}^{\infty } b_{n} \sin n x:

?
(1)

converges on the entire real line;

(2)

for any δ>0\delta > 0 it converges uniformly on the segment [δ;2π−δ][\delta ; 2 \pi -\delta ].

Problem 2.22.132

Prove that if the sequence {bn}\left\{ b_{n}\right\} decreases, then for the uniform convergence, on the segment [0;2π][0 ; 2 \pi ], of the series ∑n=1∞bnsin⁡nx\sum_{n = 1}^{\infty } b_{n} \sin n x, it is necessary and sufficient that lim⁡n→∞nbn=0\lim_{n \rightarrow \infty } n b_{n} = 0.

?
Problem 2.22.133

Give an example of a trigonometric series that converges uniformly on the segment [−π;π][-\pi ; \pi ], but does not converge absolutely at all points of this segment.

?
Problem 2.22.134

Prove that the sequence {∑k=1nsin⁡kxk}\left\{ \sum_{k = 1}^{n} \frac{\sin k x}{k}\right\} is bounded on the entire real line.

?
Problem 2.22.135

Prove that if the sequence {bn}\left\{ b_{n}\right\} decreases and the sequence {nbn}\left\{ n b_{n}\right\} is bounded, then the partial sums of the series ∑n=1∞bnsin⁡nx\sum_{n = 1}^{\infty } b_{n} \sin n x are uniformly bounded, i.e., there exists a constant c>0c > 0 such that for all x∈[−π;π]x \in [-\pi ; \pi ] and all n∈Nn \in N the inequality holds

∣∑k=1∞bksin⁡kx∣⩽c \left|\sum _{k = 1}^{\infty } b_{k} \sin k x\right| \leqslant c
?
Problem 2.22.136

Let ff be a continuous function with period 2π2 \pi. Express the Fourier coefficients An,BnA_{n}, B_{n} of the convolution

F(x)=1π∫−ππf(t)f(x+t)dt F(x) = \frac{1}{\pi } \int _{-\pi }^{\pi } f(t) f(x+t) d t

in terms of the Fourier coefficients an,bna_{n}, b_{n} of the function ff.

?
Problem 2.22.137

Find the expression for the Fourier coefficients An,BnA_{n}, B_{n} of the Steklov function

fh(x)=12h⋅∫x+hx−hf(t)dt,h>0 f_{h}(x) = \frac{1}{2 h} \cdot \int _{x+h}^{x-h} f(t) d t, \quad h > 0

in terms of the Fourier coefficients an,bna_{n}, b_{n} of a 2π2 \pi-periodic function ff, absolutely integrable over the period.

?
Problem 2.22.138

Using Parseval's equality for the function

f(x)={1,∣x∣<α0,α<∣x∣<π f(x) = \begin{cases} 1, & \left|x\right| < \alpha \\ 0, & \alpha < \left|x\right| < \pi \end{cases}

find the sums of the series

S1=∑n=1∞sin⁡2nαn2 and S2=∑n=1∞cos⁡2nαn2. S_{1} = \sum _{n = 1}^{\infty } \frac{\sin ^{2} n \alpha }{n^{2}} \quad \text{ and } \quad S_{2} = \sum _{n = 1}^{\infty } \frac{\cos ^{2} n \alpha }{n^{2}}.
?
Problem 2.22.139

Let the square of the function ff be integrable on the segment [−π;π][-\pi ; \pi ]. Prove that

∫−ππ(f(x)−Sn+1(x;f))2dx⩽∫−ππ(f(x)−Sn(x;f))2dx,n∈N \int _{-\pi }^{\pi }\left(f(x)-S_{n+1}(x ; f)\right)^{2} d x \leqslant \int _{-\pi }^{\pi }\left(f(x)-S_{n}(x ; f)\right)^{2} d x, \quad n \in N
?
Problem 2.22.140

Prove that if all the Fourier coefficients of a function ff, whose square is integrable on the segment [−π;π][-\pi ; \pi ], are equal to zero, then ∫−ππ∣f(x)∣dx=0\int_{-\pi }^{\pi }\left|f(x)\right| d x = 0. In particular, if in this case the function ff is continuous, then f(x)=0f(x) = 0 on the segment [−π;π][-\pi ; \pi ].

?
Problem 2.22.141

Prove that if a0=α0,an=αn,bn=βn,n∈Na_{0} = \alpha_{0}, a_{n} = \alpha_{n}, b_{n} = \beta_{n}, n \in N, then

∫−ππ∣f(x)−g(x)∣dx=0 \int _{-\pi }^{\pi }\left|f(x)-g(x)\right| d x = 0

In particular, if in this case the functions ff and gg are continuous, then f(x)=g(x)f(x) = g(x) on the segment [−π;π][-\pi ; \pi ].

?
Problem 2.22.142

Prove that 1π∫−ππf(x)g(x)dx=2a0α0+∑n=1∞(anαn+bnβn)\frac{1}{\pi } \int_{-\pi }^{\pi } f(x) g(x) d x = 2 a_{0} \alpha_{0}+\sum_{n = 1}^{\infty }\left(a_{n} \alpha_{n}+b_{n} \beta_{n}\right).

?
Problem 2.22.143

Let the functions ff and gg have integrable squares on the segment [−π;π][-\pi ; \pi ]. Prove that the Fourier series of the product fgf g of the functions ff and gg can be obtained by term-by-term multiplication of the Fourier series of these functions.

?
Problem 2.22.144

Let the function ff be continuous on the segment [0;π][0 ; \pi ], have a derivative whose square is integrable on this segment, and f(0)=f(π)=0f(0) = f(\pi ) = 0. Prove that then

∫0π(f(x))2dx⩽∫0π(f′(x))2dx \int _{0}^{\pi }(f(x))^{2} d x \leqslant \int _{0}^{\pi }\left(f^{\prime }(x)\right)^{2} d x
?
Problem 2.22.145

Let the function ff be continuous on the segment [−π;π][-\pi ; \pi ], have a derivative whose square is integrable on this segment, f(−π)=f(π)f(-\pi ) = f(\pi ), and ∫−ππf(x)dx=0\int_{-\pi }^{\pi } f(x) d x = 0. Prove that then

∫−ππ(f(x))2dx⩽∫0π(f′(x))2dx \int _{-\pi }^{\pi }(f(x))^{2} d x \leqslant \int _{0}^{\pi }\left(f^{\prime }(x)\right)^{2} d x
?
Problem 2.22.146

Find the sum of the series. ∑n=1∞cos⁡nxn!\sum_{n = 1}^{\infty } \frac{\cos n x}{n!}.

?
Problem 2.22.147

Find the sum of the series. ∑n=1∞sin⁡nxn!\sum_{n = 1}^{\infty } \frac{\sin n x}{n!}.

?
Problem 2.22.148

Find the sum of the series. ∑n=1∞(−1)n+1cos⁡(2n−1)x(2n−1)!\sum_{n = 1}^{\infty }(-1)^{n+1} \frac{\cos (2 n-1) x}{(2 n-1)!}.

?
Problem 2.22.149

Find the sum of the series. ∑n=1∞(−1)n+1sin⁡(2n−1)x(2n−1)!\sum_{n = 1}^{\infty }(-1)^{n+1} \frac{\sin (2 n-1) x}{(2 n-1)!}.

?
Problem 2.22.150

Find the sum of the series. ∑n=0∞(−1)ncos⁡2nx(2n)!\sum_{n = 0}^{\infty }(-1)^n \frac{\cos 2 n x}{(2 n)!}.

?
Problem 2.22.151

Find the sum of the series. ∑n=1∞(−1)nsin⁡2nx(2n)!\sum_{n = 1}^{\infty }(-1)^{n} \frac{\sin 2 n x}{(2 n) !}.

?
Problem 2.22.152

Find the sum of the series. 1+∑n=1∞(−1)n−1cos⁡nxn(n+1)1+\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\cos n x}{n(n+1)}.

?
Problem 2.22.153

Find the sum of the series. ∑n=1∞(−1)n−1sin⁡nxn(n+1)\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\sin n x}{n(n+1)}.

?
Problem 2.22.154

Find the sum of the series. ∑n=2∞(−1)ncos⁡nxn2−1\sum_{n = 2}^{\infty }(-1)^{n} \frac{\cos n x}{n^{2}-1}.

?
Problem 2.22.155

Find the sum of the series. ∑n=2∞(−1)nsin⁡nxn2−1\sum_{n = 2}^{\infty }(-1)^{n} \frac{\sin n x}{n^{2}-1}.

?
Problem 2.22.156

Find the sum of the series. ∑n=2∞(−1)nnn2−1cos⁡nx\sum_{n = 2}^{\infty }(-1)^{n} \frac{n}{n^{2}-1} \cos n x.

?
Problem 2.22.157

Find the sum of the series. ∑n=2∞(−1)nnn2−1sin⁡nx\sum_{n = 2}^{\infty }(-1)^{n} \frac{n}{n^{2}-1} \sin n x.

?
Problem 2.22.158

Find the sum of the series. ∑n=0∞(−1)ncos⁡nx(n+1)(n+2)\sum_{n = 0}^{\infty }(-1)^{n} \frac{\cos n x}{(n+1)(n+2)}.

?
Problem 2.22.159

Find the sum of the series. ∑n=1∞(−1)n−1sin⁡nx(n+1)(n+2)\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\sin n x}{(n+1)(n+2)}.

?
Problem 2.22.160

Find the sum of the series. ∑n=1∞sin⁡nxn(n2+a2)\sum_{n = 1}^{\infty } \frac{\sin n x}{n\left(n^{2}+a^{2}\right)}.

?
Problem 2.22.161

Find the sum of the series. ∑n=1∞(−1)nsin⁡nxn(n2+a2)\sum_{n = 1}^{\infty }(-1)^n \frac{\sin n x}{n\left(n^2+a^2\right)}.

?
Problem 2.22.162

Find the sum of the series. ∑n=1∞(−1)n−1cos⁡(2n−1)xn\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\cos (2 n-1) x}{n}.

?
Problem 2.22.163

Find the sum of the series. cos⁡2x1⋅2+cos⁡3x2⋅3+cos⁡4x3⋅4+…\frac{\cos 2 x}{1 \cdot 2}+\frac{\cos 3 x}{2 \cdot 3}+\frac{\cos 4 x}{3 \cdot 4}+\ldots

?
Problem 2.22.164

Find the sum of the series. cos⁡2x1⋅2⋅3+cos⁡3x2⋅3⋅4+cos⁡4x3⋅4⋅5+…\frac{\cos 2 x}{1 \cdot 2 \cdot 3}+\frac{\cos 3 x}{2 \cdot 3 \cdot 4}+\frac{\cos 4 x}{3 \cdot 4 \cdot 5}+\ldots

?
Problem 2.22.165

Find the sum of the series. cos⁡2x1⋅3+cos⁡4x3⋅5+cos⁡6x5⋅7+…\frac{\cos 2 x}{1 \cdot 3}+\frac{\cos 4 x}{3 \cdot 5}+\frac{\cos 6 x}{5 \cdot 7}+\ldots

?
Problem 2.22.166

Find the sum of the series. ∑n=1∞sin⁡(2n−1)x(2n−1)3\sum_{n = 1}^{\infty } \frac{\sin (2 n-1) x}{(2 n-1)^{3}}.

?
Problem 2.22.167

Find the sum of the series. cos⁡3x1⋅3⋅5−cos⁡5x3⋅5⋅7+cos⁡7x5⋅7⋅9+…\frac{\cos 3 x}{1 \cdot 3 \cdot 5}-\frac{\cos 5 x}{3 \cdot 5 \cdot 7}+\frac{\cos 7 x}{5 \cdot 7 \cdot 9}+\ldots

?
Problem 2.22.168

Find the sum of the series. ∑n=1∞(−1)n−1cos⁡(2n−1)x2n−1\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\cos (2 n-1) x}{2 n-1}.

?
Problem 2.22.169

Find the sum of the series. ∑n=1∞(−1)n−1sin⁡(2n−1)x2n−1\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\sin (2 n-1) x}{2 n-1}.

?
Problem 2.22.170

Find the sum of the series. ∑n=1∞(−1)n−1cos⁡(2n−1)x(2n−1)2n\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{\cos (2 n-1) x}{(2 n-1) 2 n}.

?
Problem 2.22.171

Find the sum of the series. cos⁡x+12cos⁡3x3+1⋅32⋅4cos⁡5x5+1⋅3⋅52⋅4⋅6cos⁡7x7+…\cos x+\frac{1}{2} \frac{\cos 3 x}{3}+\frac{1 \cdot 3}{2 \cdot 4} \frac{\cos 5 x}{5}+\frac{1 \cdot 3 \cdot 5}{2 \cdot 4 \cdot 6} \frac{\cos 7 x}{7}+\ldots

?
Problem 2.22.172

Find the sum of the series. sin⁡x+12sin⁡3x3+1⋅32⋅4sin⁡5x5+…\sin x+\frac{1}{2} \frac{\sin 3 x}{3}+\frac{1 \cdot 3}{2 \cdot 4} \frac{\sin 5 x}{5}+\ldots

?
Problem 2.22.173

Find the sum of the series. cos⁡x1⋅2+12cos⁡3x3⋅4+1⋅32⋅4cos⁡5x5⋅6+1⋅3⋅52⋅4⋅6cos⁡7x7⋅8+…\frac{\cos x}{1 \cdot 2}+\frac{1}{2} \frac{\cos 3 x}{3 \cdot 4}+\frac{1 \cdot 3}{2 \cdot 4} \frac{\cos 5 x}{5 \cdot 6}+\frac{1 \cdot 3 \cdot 5}{2 \cdot 4 \cdot 6} \frac{\cos 7 x}{7 \cdot 8}+\ldots

?
Problem 2.22.174

Find the sum of the series. sin⁡x1⋅2+12sin⁡3x3⋅4+1⋅32⋅4cos⁡5x5⋅6+…\frac{\sin x}{1 \cdot 2}+\frac{1}{2} \frac{\sin 3 x}{3 \cdot 4}+\frac{1 \cdot 3}{2 \cdot 4} \frac{\cos 5 x}{5 \cdot 6}+\ldots

?
Problem 2.22.175

Find the sum of the series. ∑n=1∞anncos⁡nx,∣a∣<1\sum_{n = 1}^{\infty } \frac{a^{n}}{n} \cos n x,\left|a\right| < 1.

?
Problem 2.22.176

Find the sum of the series. ∑n=1∞sin⁡nαsin⁡nxn\sum_{n = 1}^{\infty } \frac{\sin n \alpha \sin n x}{n}.

?
Problem 2.22.177

Find the sum of the series. ∑n=1∞sin⁡2nαsin⁡nxn,0<α<π2\sum_{n = 1}^{\infty } \frac{\sin^{2} n \alpha \sin n x}{n}, 0 < \alpha < \frac{\pi }{2}.

?
Problem 2.22.178

Find the sum of the series. ∑n=1∞(−1)n−1rnsin⁡nxn,∣r∣⩽1\sum_{n = 1}^{\infty }(-1)^{n-1} \frac{r^{n} \sin n x}{n},\left|r\right| \leqslant 1.

?