Calculus Quiz

Calculus Level 5

f ( x ) = k = 1 sin ( k x ) k 2 f(x)=\sum_{k=1}^{\infty}\frac{\sin(kx)}{k^2}

Find the value of x x , with 0 < x 2 π 0< x\leq 2\pi , where f ( x ) f(x) attains its maximal value. Write x = a π b x=\frac{a\pi}{b} , where a a and b b are coprime positive integers, and enter a + b a+b .

If you come to the conclusion that no such x x exists, enter 666.


The answer is 4.

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.

1 solution

By the Weierstrass M-test f ( x ) f(x) converges uniformly for any x x , and since f ( x ) f(x) is also the sum of differentiable functions f ( x ) f'(x) exists with f ( x ) = k = 1 cos ( k x ) k f'(x) = \displaystyle \sum_{k=1}^{\infty} \dfrac{\cos(kx)}{k} . By the Dirichlet test for convergence we can conclude that f ( x ) f'(x) converges for 0 < x < 2 π 0 \lt x \lt 2\pi .

Now cos ( y ) = e i y + e i y 2 \cos(y) = \dfrac{e^{iy} + e^{-iy}}{2} , so

f ( x ) = k = 1 cos ( k x ) k = k = 1 e i k x + e i k x 2 = ln ( 1 e i k x ) ln ( 1 e i k x ) 2 f'(x) = \displaystyle\sum_{k=1}^{\infty} \dfrac{\cos(kx)}{k} = \sum_{k=1}^{\infty} \dfrac{e^{ikx} + e^{-ikx}}{2} = \dfrac{-\ln(1 - e^{ikx}) - \ln(1 - e^{-ikx})}{2}

since in general k = 1 z k k = ln ( 1 z ) \displaystyle\sum_{k=1}^{\infty} \dfrac{z^{k}}{k} = -\ln(1 - z) .

(There are radius of convergence issues here to deal with, but for now I will just carry on .....)

So f ( x ) = 1 2 ln ( ( 1 e i k x ) ( 1 e i k x ) ) = 1 2 ln ( 2 2 cos ( x ) ) = ln ( 2 sin ( x 2 ) ) f'(x) = -\dfrac{1}{2}\ln((1 - e^{ikx})(1 - e^{-ikx})) = \dfrac{1}{2}\ln(2 - 2\cos(x)) = -\ln(2\sin(\frac{x}{2}))

after making use of the identity cos ( x ) = 1 2 sin 2 ( x 2 ) \cos(x) = 1 - 2\sin^{2}(\frac{x}{2}) . Now f ( x ) = 0 f'(x) = 0 when

2 sin ( x 2 ) = 1 sin ( x 2 ) = 1 2 x 2 = π 6 + n 2 π 2\sin(\frac{x}{2}) = 1 \Longrightarrow \sin(\frac{x}{2}) = \dfrac{1}{2} \Longrightarrow \dfrac{x}{2} = \dfrac{\pi}{6} + n*2\pi or 5 π 6 + n 2 π \dfrac{5\pi}{6} + n*2\pi

x = π 3 + n 4 π \Longrightarrow x = \dfrac{\pi}{3} + n*4\pi or x = 5 π 3 + n 4 π x = \dfrac{5\pi}{3} + n*4\pi .

So in the given interval the extrema occur at x = π 3 x = \dfrac{\pi}{3} and x = 5 π 3 x = \dfrac{5\pi}{3} . Plugging these values back into f ( x ) f(x) we see that the first two terms, (which dominate the sum as the denominators are the least in the series), with x = π 3 x = \dfrac{\pi}{3} are positive and with x = 5 π 3 x = \dfrac{5\pi}{3} are negative, so (informally) we can anticipate that the former critical point represents a maximum and the latter a minimum. Thus the maximal value of f ( x ) f(x) on the given interval occurs at x = π 3 x = \dfrac{\pi}{3} , giving us a + b = 1 + 3 = 4 a + b = 1 + 3 = \boxed{4} .

@Otto Bretscher Fun question. I really should expand on some of the details here but my solution is long enough already and I've lost my enthusiasm at this late hour. :)

Brian Charlesworth - 5 years, 2 months ago

Log in to reply

Thank you for another clear and detailed solution, Brian! (+1) This is exactly what I had in mind; the key observation is f ( x ) = ln ( 2 sin ( x 2 ) ) f'(x)=-\ln(2\sin(\frac{x}{2})) for 0 < x < 2 π 0<x<2\pi .

The function we study here is known as a Clausen function , more precisely, it is

S 2 ( x ) = C l 2 ( x ) = k = 1 sin ( k x ) k 2 = 0 x ln ( 2 sin ( t / 2 ) ) d t S_2(x)=Cl_2(x)=\sum_{k=1}^{\infty}\frac{\sin(kx)}{k^2}=-\int_{0}^{x}\ln(2\sin(t/2))dt

for 0 x 2 π 0\leq x\leq 2\pi . (The last expression is Clausen's Integral .)

The maximum of S 2 ( x ) S_2(x) is attained at x = π 3 x=\frac{\pi}{3} , where the integrand changes from negative to positive.

Otto Bretscher - 5 years, 2 months ago

I thought this would be more simple, here was my solution: if x = .000000001...~6.28 then there is no possible x, x has to be over 13 to be existent in this equation, but after seeing Brian's work it came clear to me I have a bit more reaserch to do because I'm 13 and technically on my own learning this stuff :/

Garrett O’Brien - 5 years, 2 months ago

Log in to reply

I'm impressed that you are teaching yourself this kind of material at the age of 13. You are way ahead of where I was at when I was your age. :)

Brian Charlesworth - 5 years, 2 months ago

Log in to reply

my inspiration is jacob barnett, hes a 16 year old autistic child genius with a iq higher than einstein, i am autistic as well and i want to use my brain to be the best that i can at math, logic, and computer science as soon as i can. i have alot of reaserch to do though ;)

Garrett O’Brien - 5 years, 2 months ago

Log in to reply

@Garrett O’Brien I admire your desire to make the best use of your mind. I hadn't heard of Jacob Barnett before so I watched a TEDxTeen talk by him. He's a terrific role model for you. :)

Brian Charlesworth - 5 years, 2 months ago

how to prove k = 1 z k k = ln ( 1 z ) \displaystyle\sum_{k=1}^{\infty} \dfrac{z^{k}}{k} = -\ln(1 - z) . ?

Kushal Bose - 4 years, 2 months ago

Log in to reply

This is the Maclaurin series for the natural log function, extended to complex numbers for z < 1 |z| \lt 1 .

For a more direct proof, start with 1 1 t = 1 + t + t 2 + t 3 + . . . \dfrac{1}{1 - t} = 1 + t + t^{2} + t^{3} + ... .

Then ln ( 1 z ) = 0 z 1 1 t d t = 0 z ( 1 + t + t 2 + t 3 + . . . ) d t -\ln(1 - z) = \displaystyle\int_{0}^{z} \dfrac{1}{1 - t} dt = \int_{0}^{z} (1 + t + t^{2} + t^{3} + ... ) dt

ln ( 1 z ) = z + z 2 2 + z 3 3 + z 4 4 + . . . = k = 1 z k k \Longrightarrow -\ln(1 - z) = z + \dfrac{z^{2}}{2} + \dfrac{z^{3}}{3} + \dfrac{z^{4}}{4} + ... = \displaystyle \sum_{k=1}^{\infty} \dfrac{z^{k}}{k} .

Brian Charlesworth - 4 years, 2 months ago

Log in to reply

So it is valid for complex number also ?

Kushal Bose - 4 years, 2 months ago

Log in to reply

@Kushal Bose Yes, with the domain of convergence being a disc on the complex plane of radius 1 1 . A relevant discussion is given in section 1.5 of this paper .

Brian Charlesworth - 4 years, 2 months ago

Good solution, but you made a straight forward problem look complicated.

Tyler Roche - 5 years, 2 months ago

Log in to reply

Brian is skillfully outlining a proof of the fact that Clausen's integral represents the Clausen function S 2 ( x ) S_2(x) , which is not straightforward.

Otto Bretscher - 5 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...