About a $2\pi$ periodical function

Real & Complex Analysis, Calculus & Multivariate Calculus, Functional Analysis,
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

About a $2\pi$ periodical function

#1

Post by Tsakanikas Nickos »

Let \( \displaystyle f \) be a \( \displaystyle C^1 , 2\pi \)-periodical function. If \[ \displaystyle \int_{0}^{2\pi}f(x)\mathrm{d}x = 0 \]show that

\[ \displaystyle \int_{0}^{2\pi} \left( f^{\prime}(x) \right)^{2} \mathrm{d}x \geq \int_{0}^{2\pi} \left( f(x) \right)^{2} \mathrm{d}x \]

and the equality holds if and only if \( \displaystyle f(x) = a\cos(x) +b\sin(x) \) for some constants \( \displaystyle a,b \in \mathbb{R} \).
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: About a $2\pi$ periodical function

#2

Post by Tolaso J Kos »

Good morning Nickos,

We are basing the whole fact on Fourier series. Since all Dirichlet's conditions are met ,then \( f \) can be expanded into a Fourier series. Therefore we can write it as:

$$f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}\left [ a_n \sin nx+b_n \cos nx \right ]$$

However, since the integral of \( f \) vanishes , so does \( a_0 \). Applying Pasheval's identity we get:

\( \bullet \;\;\; \displaystyle \int_{0}^{2\pi}f^2(x)\,{\rm d}x=\sum_{n=1}^{\infty}\left ( a_n^2+b_n^2 \right ) \) and

\( \bullet \;\;\; \displaystyle \int_{0}^{2\pi}\left ( f'(x) \right )^2\,{\rm d}x=\sum_{n=1}^{\infty}n^2\left ( a_n^2+b_n^2 \right ) \)

Finally , since all summands are positive we get the desired inequality and the exercise comes to and end.
Hidden Message
This inequality is known as Wirtinger's Inequality and more specifically as Poincare's Little Inequality. There are also many generalizations of this in \( \mathbb{R}^n \) and not only. The generalization in \( \mathbb{R}^n \) is known as Sobolev's inequality.
Imagination is much more important than knowledge.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 0 guests