Section 6.4

Some Problems on Fourier Series

[10/100%]
Show
LaTeX
Problem 6.29

Let f(ϑ)f(\vartheta ) (ϑ\vartheta real) be a real-valued periodic function, f(ϑ+2π)=f(ϑ)f(\vartheta + 2\pi ) = f(\vartheta ). Each of the following equations (or pairs of equations respectively) characterizes a special symmetry property of the graph of the curve y=f(x)y = f(x):

?
(1)

f(−ϑ)=f(ϑ)f(-\vartheta ) = f(\vartheta );

(2)

f(−ϑ)=−f(ϑ)f(-\vartheta ) = -f(\vartheta );

(3)

f(ϑ+π)=−f(ϑ)f(\vartheta + \pi ) = -f(\vartheta );

(4)

f(−ϑ)=f(ϑ)f(-\vartheta ) = f(\vartheta ), f(ϑ+π)=−f(ϑ)f(\vartheta +\pi ) = -f(\vartheta );

(5)

f(−ϑ)=−f(ϑ)f(-\vartheta ) = -f(\vartheta ), f(ϑ+π)=−f(ϑ)f(\vartheta +\pi ) = -f(\vartheta );

(6)

f(ϑ+π)=f(ϑ)f(\vartheta +\pi ) = f(\vartheta ).

Show that the existence of such a symmetry property is equivalent to the vanishing of certain (infinitely many) Fourier coefficients.

Problem 6.30

What is the Fourier series of a trigonometric polynomial f(ϑ)f(\vartheta ) of order nn?

?
Problem 6.31

Let nn and ν\nu be positive integers, 0≦ν≦n0 \leqq \nu \leqq n. Then

12π∫−ππ(2cos⁡ϑ2)ncos⁡(n2−ν)ϑ dϑ=(nν). \frac{1}{2\pi } \int _{-\pi }^{\pi } \left(2 \cos \frac{\vartheta }{2}\right)^n \cos \left(\frac{n}{2} - \nu \right)\vartheta \, d\vartheta = \binom {n}{\nu }.
?
Problem 6.32

Let the series of numbers

a0,a1,b1,a2,b2,…,an,bn,… a_0, a_1, b_1, a_2, b_2, \ldots , a_n, b_n, \ldots

be such that the ``trigonometric series''

a0+2a1cos⁡ϑ+2b1sin⁡ϑ+2a2cos⁡2ϑ+2b2sin⁡2ϑ+⋯+2ancos⁡nϑ+2bnsin⁡nϑ+⋯ a_0 + 2a_1 \cos \vartheta + 2b_1 \sin \vartheta + 2a_2 \cos 2\vartheta + 2b_2 \sin 2\vartheta + \cdots + 2a_n \cos n\vartheta + 2b_n \sin n\vartheta + \cdots

is uniformly convergent for all values of ϑ\vartheta and therefore represents a periodic continuous function f(ϑ)f(\vartheta ) of period 2π2\pi. What is the Fourier series of f(ϑ)f(\vartheta )?

?
Problem 6.33

Show that

12−1π∑n=1∞sin⁡2πnxn={x−[x],if x is not an integer,12,if x is an integer. \frac{1}{2} - \frac{1}{\pi } \sum _{n=1}^{\infty } \frac{\sin 2\pi n x}{n} = \begin{cases} x - [x], & \text{if } x \text{ is not an integer}, \\ \dfrac {1}{2}, & \text{if } x \text{ is an integer}. \end{cases}
?
Problem 6.34

Show that

∣sin⁡ϑ∣=2π−4π∑n=1∞cos⁡2nϑ4n2−1=8π∑n=1∞sin⁡2nϑ4n2−1. \left|\sin \vartheta \right| = \frac{2}{\pi } - \frac{4}{\pi } \sum _{n=1}^{\infty } \frac{\cos 2n\vartheta }{4n^2 - 1} = \frac{8}{\pi } \sum _{n=1}^{\infty } \frac{\sin ^2 n\vartheta }{4n^2 - 1}.
?
Problem 6.35

The constants

ρm=2π∫0π/2∣sin⁡mϑ∣sin⁡ϑ dϑ,m=1,2,3,… \rho _m = \frac{2}{\pi } \int _0^{\pi /2} \frac{\left|\sin m\vartheta \right|}{\sin \vartheta } \, d\vartheta , \qquad m = 1, 2, 3, \ldots

(which are closely related to the so-called Lebesgue constants of the Fourier series) increase steadily with mm. They may be represented in the following form:

ρm=16π2∑n=1∞11+13+15+⋯+12nm−14n2−1. \rho _m = \frac{16}{\pi ^2} \sum _{n=1}^{\infty } \frac{\dfrac {1}{1} + \dfrac {1}{3} + \dfrac {1}{5} + \cdots + \dfrac {1}{2nm-1}}{4n^2 - 1}.
?
Remark.
?

Substitute for ∣sin⁡mϑ∣\left|\sin m\vartheta \right| the series of problem 34 and apply problem 17.

Problem 6.36

Let f(ϑ)f(\vartheta ) (ϑ\vartheta real) be a real-valued periodic function of period π\pi, and in addition an ``even function'', i.e.f(−ϑ)=f(ϑ)f(-\vartheta ) = f(\vartheta ). If f(ϑ)f(\vartheta ) is concave in the interval 0≦ϑ≦π0 \leqq \vartheta \leqq \pi (see p.65 of Volume I), then its Fourier series has the form

c0−c1cos⁡2ϑ−c2cos⁡4ϑ−⋯−cncos⁡2nϑ−⋯ , c_0 - c_1 \cos 2\vartheta - c_2 \cos 4\vartheta - \cdots - c_n \cos 2n\vartheta - \cdots ,

where all the coefficients c1,c2,…,cn,…c_1, c_2, \ldots , c_n, \ldots are non-negative.

?
Problem 6.37

Let the function f(ϑ)f(\vartheta ) of problem 36 satisfy in addition the condition f(0)=0f(0) = 0. Further let ϑ−pf(ϑ)\vartheta^{-p} f(\vartheta ) be bounded, p>0p > 0. Then the sequence

ρm=∫0π/2f(mϑ)sin⁡ϑ dϑ,m=1,2,3,…, \rho _m = \int _0^{\pi /2} \frac{f(m\vartheta )}{\sin \vartheta } \, d\vartheta , \qquad m = 1, 2, 3, \ldots ,

increases monotonically with mm.

?
Remark.
?

A generalization of problem 35.

Problem 6.38

Let MnM_n denote the maximum of

Γ(n,ϑ)=∣sin⁡ϑ∣1+∣sin⁡2ϑ∣2+∣sin⁡3ϑ∣3+⋯+∣sin⁡nϑ∣n \Gamma (n, \vartheta ) = \frac{\left|\sin \vartheta \right|}{1} + \frac{\left|\sin 2\vartheta \right|}{2} + \frac{\left|\sin 3\vartheta \right|}{3} + \cdots + \frac{\left|\sin n\vartheta \right|}{n}

for all values of ϑ\vartheta. Then we have the inequalities

2π∑ν=1n1ν<Mn<2π∑ν=1n1ν+2π. \frac{2}{\pi } \sum _{\nu =1}^{n} \frac{1}{\nu } < M_n < \frac{2}{\pi } \sum _{\nu =1}^{n} \frac{1}{\nu } + \frac{2}{\pi }.
?
Remark.
?

Use problems 34 and 28.