∫ 0 2 π f ( t ) d t = ∫ 0 2 π f ( t ) sin ( t ) d t = ∫ 0 2 π f ( t ) cos ( t ) d t = 2 π
If f : R → R is a continuous function satisfying the equation (G) above, find the minimal value of 2 π 1 ∫ 0 2 π ( f ( t ) ) 2 d t .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Yes, that works! I assume that most of our young comrades at Brilliant are not comfortable with Fourier series; the usage of complex coefficients makes it even more technical. We should probably see (at least) two alternative solutions, one with real Fourier series and one that does not (explicitly) use Fourier analysis at all. I hope that some other solutions will come in; otherwise I will write something.
Log in to reply
We an take ( f ( x ) − a sin ( x ) − b cos ( x ) ) 2 ≥ 0 . Then we can proceed further as Abhishek Sinha did in the inspiration problem.
Log in to reply
I would make it ( f ( t ) − a sin ( t ) − b cos ( t ) − c ) 2 ≥ 0 . Yes, that is equivalent to the real Fourier series solution... I will post that one.
Log in to reply
@Otto Bretscher – Thanks! I could've posted it but due to absence of PC I couldn't.
For the sake of variety, let's discuss a solution using real Fourier Series. It is also possible to solve this problem without (explicitly) using Fourier series at all, as @Aditya Kumar suggests, but using Fourier analysis makes it conceptually clearer.
If f ( t ) satisfies condition (G), then its Fourier polynomial f 1 ( t ) is 1 + 2 cos ( t ) + 2 sin ( t ) ; see the coefficients a 0 , a 1 , b 1 here . Note that 2 π 1 ∫ 0 2 π ( f 1 ( t ) ) 2 d t = 1 + 2 + 2 = 5 . Now, by Pythagoras, 2 π 1 ∫ 0 2 π ( f ( t ) ) 2 d t = 2 π 1 ∫ 0 2 π ( f 1 ( t ) ) 2 d t + 2 π 1 ∫ 0 2 π ( f ( t ) − f 1 ( t ) ) 2 d t ≥ 5
We have ( f ( t ) − 2 sin ( t ) − 2 cos ( t ) − 1 ) 2 ≥ 0 , ∀ t ∈ R Expanding the above, integrating the result in the range 0 to 2 π , and using the given constraints, we directly arrive at the lower-bound.
Problem Loading...
Note Loading...
Set Loading...
Since we are only interested in the integral of f over [ 0 , 2 π ] , we may as well assume (by repeating the values of f for x between 0 and 2 π ) that f is periodic of period 2 π , putting us squarely in M. Fourier's territory. This may mean that f is no longer continuous at 0 (and 2 π ), but no matter. If we define the Fourier coefficients c n = 2 π 1 ∫ 0 2 π f ( x ) e − i n x d x n ∈ Z then Parseval's Identity tells us that 2 π 1 ∫ 0 2 π ∣ f ( x ) ∣ 2 d x = n ∈ Z ∑ ∣ c n ∣ 2 The conditions on the function f tell us that c 0 = 1 , c 1 = 1 − i and c − 1 = 1 + i (indeed, since f is real-valued, c − n = c n ⋆ for all integers n ). It is clear that 2 π 1 ∫ 0 2 π ∣ f ( x ) ∣ 2 d x ≥ ∣ c − 1 ∣ 2 + ∣ c 0 ∣ 2 + ∣ c 1 ∣ 2 = 5 with this minimum value achieved when f ( x ) = 1 + ( 1 − i ) e i x + ( 1 + i ) e − i x = 1 + 2 cos x + 2 sin x .