Is it generalizable?

Calculus Level 5

Consider the following integral

0 π sin 20 ( x + sin ( 15 x ) ) d x = A B π \int_{0}^{\pi}\sin^{20}(x+\sin(15x))\,dx=\dfrac{A}{B}\pi

where A A and B B are relatively coprime integers. Find A + B A+B .


Extra work: Generalize the following integral 0 π ( sin ( x + sin ( D x ) ) ) 2 n d x n N \int_{0}^{\pi}\left(\sin(x+\sin(Dx))\right)^{2n}\,dx\ \ \forall n\in\mathbb N where D D is always an odd positive integer.

Source Problem


The answer is 308333.

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.

2 solutions

Mark Hennings
May 25, 2019

If we define J ( m , D ) = 0 2 π cos 2 m ( x + sin ( D x ) ) d x m , D N J(m,D) \; =\; \int_0^{2\pi} \cos 2m(x + \sin(Dx))\,dx \hspace{2cm} m,D \in \mathbb{N} then J ( m , D ) = R e [ 0 2 π e 2 m i ( x + sin ( D x ) ) d x ] = R e [ z = 1 z 2 m e m ( z D z D ) d z i z ] = 2 π R e [ R e s z = 0 z 2 m 1 e m ( z D z D ) ] \begin{aligned} J(m,D) & = \; \mathfrak{Re}\left[\int_0^{2\pi} e^{2mi(x + \sin (Dx))}\,dx\right] \; = \; \mathfrak{Re}\left[\int_{|z|=1} z^{2m} e^{m(z^D - z^{-D})}\,\frac{dz}{iz}\right] \\ & = \; 2\pi\mathfrak{Re}\left[\mathrm{Res}_{z=0} z^{2m-1} e^{m(z^D-z^{-D})}\right] \end{aligned} if m 0 m \neq 0 , then the Laurent series of e m ( z D z D ) e^{m(z^D-z^{-D})} will only contain terms of the form z D k z^{Dk} , where k Z k \in \mathbb{Z} . Thus z 2 m 1 e m ( z D z D ) z^{2m-1}e^{m(z^D-z^{-D})} will only have a term in z 1 z^{-1} if 2 m 2m is a multiple of D D . Thus we can certainly ensure that J ( m , D ) = { 2 π m = 0 0 1 m n J(m,D) \; = \; \left\{ \begin{array}{lll} 2\pi & \hspace{1cm} & m = 0 \\ 0 & & 1 \le m \le n \end{array}\right. provided that D D is odd and n < D n < D . Since sin 2 n θ 1 2 2 n 1 j = 1 n ( 1 ) j ( 2 n n + j ) cos 2 j θ + 1 2 2 n ( 2 n n ) \sin^{2n}\theta \; \equiv \; \frac{1}{2^{2n-1}}\sum_{j=1}^n (-1)^j \binom{2n}{n+j}\cos2j\theta + \frac{1}{2^{2n}}\binom{2n}{n} we deduce that 0 π sin 2 n ( x + sin ( D x ) ) d x = 1 2 0 2 π sin 2 n ( x + sin ( D x ) ) d x = 1 2 2 n j = 1 n ( 1 ) j ( 2 n n + j ) J ( j , D ) + 1 2 2 n + 1 ( 2 n n ) J ( 0 , D ) = π 2 2 n ( 2 n n ) \begin{aligned} \int_0^\pi \sin^{2n}(x + \sin(Dx))\,dx & = \; \tfrac12\int_0^{2\pi} \sin^{2n}(x + \sin(Dx))\,dx \\ & = \; \frac{1}{2^{2n}}\sum_{j=1}^n (-1)^j\binom{2n}{n+j}J(j,D) + \frac{1}{2^{2n+1}}\binom{2n}{n}J(0,D) \\ & = \; \frac{\pi}{2^{2n}}\binom{2n}{n} \end{aligned} provided that D D is odd and n < D n < D . In the case n = 10 n=10 , D = 15 D=15 we get an integral of 46189 262144 π \tfrac{46189}{262144}\pi making the answer 308333 \boxed{308333} .

The answer is not as straightforward when n D n \ge D , since there would be other residues to consider. For example 0 π sin 2 D ( x + sin ( D x ) ) d x = π 2 2 D ( 2 D D ) π 2 2 D 1 J 2 ( 2 D ) \int_0^\pi \sin^{2D}\big(x + \sin(Dx)\big)\,dx \; = \; \frac{\pi}{2^{2D}}\binom{2D}{D} - \frac{\pi}{2^{2D-1}}J_2(2D) for odd positive integers D D . In this case J ( D , D ) J(D,D) is nonzero. We are using J 2 J_2 , a Bessel function of the first kind, here.

@Mark Hennings Sir, how do you add a box around your final answer ??

Aaghaz Mahajan - 2 years ago

Log in to reply

In math mode, the command \boxed{…} does the trick.

Mark Hennings - 2 years ago

Log in to reply

Ok T h a n k s \boxed{Thanks}

Aaghaz Mahajan - 2 years ago
Rohan Shinde
Jun 12, 2019

Here is the generalized version you needed. There might be a mistake,please verify it once.

Wait, is that a paper you published????!!

Aaghaz Mahajan - 1 year, 12 months ago

Not a paper actually , it's just a problem I proposed few days back with the solution for a magazine.

Rohan Shinde - 1 year, 11 months ago

Log in to reply

Whoah!!!!!! That's amazing!!!

Aaghaz Mahajan - 1 year, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...