What is the relationship between cos(cosx) and Bessel functions?

  • Context: Graduate 
  • Thread starter Thread starter Emmanuel_Euler
  • Start date Start date
  • Tags Tags
    Integral
Click For Summary
SUMMARY

The discussion centers on the relationship between the integral of cos(cos(x)) and Bessel functions. Participants analyze the definite integral from -2π to 2π of the function cos(2cos(x)), proving it can be expressed in terms of Bessel functions. The conversation highlights the use of contour integration and differentiation under the integral sign to derive the integral of cos²(cos(ax)). The final result connects the integral to Bessel functions, establishing a clear mathematical relationship.

PREREQUISITES
  • Understanding of definite integrals and their properties
  • Familiarity with Bessel functions and their definitions
  • Knowledge of contour integration techniques
  • Experience with differentiation under the integral sign
NEXT STEPS
  • Study the properties of Bessel functions and their applications in integrals
  • Learn about contour integration methods in complex analysis
  • Explore differentiation under the integral sign with practical examples
  • Investigate the relationship between trigonometric functions and Bessel functions
USEFUL FOR

Mathematicians, physicists, and students studying advanced calculus or mathematical analysis, particularly those interested in integrals involving trigonometric functions and their connections to special functions like Bessel functions.

Emmanuel_Euler
Messages
142
Reaction score
11
Hi everyone, my friend challenged me to solve this definite integral...integral from -2pi to 2pi ((sin(2sinx)+cos(2cosx))dx, i proved by using definite integral properties that this integral equals to integral from -2pi to 2pi cos(2cosx)dx, can you give me any ideas how to solve this?? I know that i can use the contour integration but how??
 
Physics news on Phys.org
Note that cosine oscillates between -1 and 1, but you are taking cosine of 2cos, so you are taking cosine of a function which oscillates between -2 and +2. Since cosine is even, cos(x) is the same as cos(-x) so this new function has a period of pi, rather than 2pi. Analytically how to integrate cosine of cosine, I am not sure. You could do it numerically, for sure.
 
  • Like
Likes   Reactions: Emmanuel_Euler
Since it still has the shape of a cosine wave, just shifted up and scaled down, you should be able to rewrite it as something like A*cos(2*x) + B, where A and B are constants to be determined (by the max and min), then integrate that over 1 period, then do for how many periods in your range.
 
$$I = -4 \pi + 8 \int_{0}^{\pi}cos^2(cos(x))\, dx$$
and with Diff Under the Integral Sign we can get the ODE
$$\frac{\partial }{\partial a}\left ( \int_{0}^{\pi}cos^2(cos(ax))\, dx \right )=\frac{1-\pi\, sin^2(cos(a\pi))}{a}\, -\, \frac{1}{a} \int_{0}^{\pi}cos^2(cos(ax))\, dx$$
then you can solve for
$$\int_{0}^{\pi}cos^2(cos(ax))\, dx$$
and set a=1
 
  • Like
Likes   Reactions: Emmanuel_Euler
Ammmmm, I understand what you did, but please if you have the final answer give it to me...and thanks
 
Emmanuel_Euler said:
Ammmmm, I understand what you did, but please if you have the final answer give it to me...and thanks
wolfram alpha is your friend
 
  • Like
Likes   Reactions: Emmanuel_Euler and scottdave
DrClaude said:
You made an error somewhere, since the answer is not the same as http://www.wolframalpha.com/input/?i=integral+-2pi+to+2pi+cos(2+cos(x))

No the answer is right, 8 integral from(0>pi) (cos(cosx))^2-4pi=wolframalpha answer.
Ammmm the answer of the previous integral is given in terms of bessel function...interesting!
So there's a relationship between them...
 
I am not sure exactly where the cos²(cos(ax)) came from either. Cos(2u) is equal to cos²(u) - sin²(u) or 2cos²(u) - 1
 
  • #10
Emmanuel_Euler said:
No the answer is right, 8 integral from(0>pi) (cos(cosx))^2-4pi=wolframalpha answer.
Ammmm the answer of the previous integral is given in terms of bessel function...interesting!
So there's a relationship between them...
\cos(\cos(x)) is the real part of e^{ikr} which is the definition of the Bessel function...
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K