Can Trigonometric Functions Nested Within Other Functions Be Integrated?

Click For Summary

Discussion Overview

The discussion centers on the integration of trigonometric functions nested within other functions, specifically focusing on the integral of \(\sin(\cos x)\). Participants explore whether such integrals can be expressed in terms of elementary functions, as well as methods for numerical approximation.

Discussion Character

  • Debate/contested
  • Mathematical reasoning
  • Technical explanation

Main Points Raised

  • Some participants assert that \(\int \sin(\cos x) dx\) cannot be integrated in terms of elementary functions.
  • Others question the reasoning behind the inability to integrate \(\sin(\cos x)\), comparing it to the integration of \(\sin(\arcsin(y))\) which can be simplified.
  • A participant suggests that numerical approximation of the area under the curve using Riemann sums is possible, while exact integration remains elusive.
  • One participant proposes a formula for integrating nested trigonometric functions, which is challenged by others as incorrect.
  • There are discussions about the Taylor series expansions of sine and cosine, with some participants attempting to manipulate these series to address the integration problem.
  • Concerns are raised about the validity of using certain mathematical notations and the clarity of the arguments presented.

Areas of Agreement / Disagreement

Participants generally disagree on the ability to integrate \(\sin(\cos x)\) in terms of elementary functions, with some asserting it is impossible while others explore alternative approaches. The discussion remains unresolved regarding the proposed integration methods and their validity.

Contextual Notes

Limitations include the dependence on definitions of "elementary functions" and the unresolved nature of the proposed integration techniques. The discussion also highlights potential misunderstandings regarding Taylor series and their application to the problem.

Orion1
Messages
961
Reaction score
3

Is it possible to integrate a trigonometry function within a function, or is this a formula that cannot be integrated in terms of elementary functions?

[tex]\int \sin(\cos x) dx[/tex]
[/Color]
 
Last edited:
Physics news on Phys.org
It cannot be integrated in terms of elementary functions.
 
just to clear up

If sin(x)=y and arcsin(y)=x , why can sin(arcsiny) not be integrated with elementary function? It is equivalent to integrating sin(x) which is -cosx + C, correct? So why is sin(cosx) any different, does this not apply to inverse trig functions?
 
Plastic Photon said:
If sin(x)=y and arcsin(y)=x , why can sin(arcsiny) not be integrated with elementary function? It is equivalent to integrating sin(x) which is -cosx + C, correct? So why is sin(cosx) any different, does this not apply to inverse trig functions?

Actually sin(arcsin(y)) = y in the interval from -pi/2 to pi/2, and so in that interval it would be equivalent to integrating y which would be y2/2 + C. sin(cos(x)) is a very different stroy however, and as has already been stated in this thread cannot be integrated in terms of elementary functions.
 
integral of sin(cos(x)) well i have a fancy calculator that says...

Error. Sorry, Wcalc is unable to complete your requested computation. Please verify your data.

I take that as a no-no.
 

Is it possible to solve the area under the curve using the Riemann sum?
[tex]\int_a^b f(x) dx = \lim_{n \rightarrow \infty} \sum_{k=1}^n f(x_k) \Delta x_k[/tex]

[tex]\int_a^b \sin(\cos x) dx = \lim_{n \rightarrow \infty} \sum_{k=1}^n \sin(\cos x_k) \Delta x_k[/tex]
[/Color]
 
Last edited:
If by solve you mean 'numerically approximate' then obviously the answer is yes. The function is continuous and Riemann integrable. If you mean is it possible to find the exact answer in some explicit form (where explicit is to be determined by your own opinion) between any two limits then the answer is 'no, not for all a and b under most definitions of explicit.'
 


Here is the theorem that I developed for any trig function within a function:

[tex]\int u[v(x)] dx = u [ \int v(x) dx ] + C[/tex]

[tex]\int \sin (\cos x) dx = \sin [ \int \cos x \; dx ] = \sin (\sin x) + C[/tex]

[tex]\int_a^b u[v(x)] dx = u [ \int v(x) dx ]_b - u [ \int v(x) dx ]_a[/tex]

[tex]\int_a^b \sin (\cos x) dx = \sin (\sin b) - \sin (\sin a)[/tex]
[/Color]
 
It doesn't bother you the least that what you've written is totally wrong?
 
Last edited:
  • #10
Orion1 said:
Here is the theorem that I developed for any trig function within a function:

[tex]\int u[v(x)] dx = u [ \int v(x) dx ] + C[/tex]

It might be better if you don't call this a theorem. Try a few examples where u and v are polynomials and you should see how very, very wrong this is.
 
  • #11

I retract my term 'theorem', perhaps I should have used the term pseudo-developmental philosophy...

Please post a graph of what F(x) appears like versus f(x)?
[tex]f(x) = \sin(\cos x)[/tex]
[tex]\int \sin(\cos x) dx = F(x) + C[/tex]

I would post my graphs for f(x) = Sin (Cos x) and F(x) = Sin (Sin x), however these functions have been refuted here.

The graph for F(x) can be drawn or graphed manually, can it not?
[/Color]
 
Last edited:
  • #12
In blue, f(x); in green, a possible F(x) with c taken 0.

http://img132.imageshack.us/img132/1402/intle6.jpg"
 
Last edited by a moderator:
  • #13
Orion1 said:
I retract my term 'theorem', perhaps I should have used the term pseudo-developmental philosophy...

Please post a graph of what F(x) appears like versus f(x)?
[tex]f(x) = \sin(\cos x)[/tex]
[tex]\int \sin(\cos x) dx = F(x) + C[/tex]

I would post my graphs for f(x) = Sin (Cos x) and F(x) = Sin (Sin x), however these functions have been refuted here.

The graph for F(x) can be drawn or graphed manually, can it not?
[/Color]
What do you mean by "refuted"? Did you read Matt Grimes post? Perhaps if you did not understand it you should make an effort to. What is means is that your function is fine, and an integral exists. But as others have said the integral cannot be expressed in terms of elementary functions.

Consider this for small x; Sin(x) = x. Now look at the first terms of Taylor series expansion of cos(x):
Cos(x) ~ x + (x^2)/2 + ...

You can see that your function will differ from Sin(x) only in when Cos(x) is large. These functions can easily be plotted and it indeed tracks sin(x) very nicely except that the maximum values.

Now again Where do you see that anyone has "refuted" these functions?
 
  • #15
Cos(x) ~ x + (x^2)/2 + ...

If by Cos(x) ~ x you mean Cos(x) ~ 1, then sure.


Orion, this is wrong:

[tex]\sin (\cos x) = \left(\sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} \right) \left( \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n} \right)^{2n + 1}[/tex]

The second summation should be inside of the first, not simply multiplying the first.
 
  • #16
[tex]\sin x = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} x^{2n + 1}[/tex]

[tex]\cos x = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n}[/tex]

[tex]\sin (\cos x) = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} \left( \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n} \right)^{2n + 1}[/tex]

[tex]\int \sin ( \cos x) dx = \int \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} \left( \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n} \right)^{2n + 1} dx[/tex]

[Color = Blue]
Would it require a full page of proof in order to prove this equation?
[/Color]

Reference:
http://en.wikipedia.org/wiki/Taylor_series
 
Last edited:
  • #17
To prove what? You've just replaced the trig functions with their Taylor's series. What is there to prove? Of course, you still haven't done the integral which was the whole point. Now, if you had moved the integral inside the sums, that would have been something to prove- but you wouldn't need a whole sum- just note that power series converge uniformly inside their radius of convergence and that the power series for sine and cosine have infinite radius of convergence.
 
  • #18
Stop using the same letter for all summation indices.
 
Last edited:
  • #19
integration

hi, I am new here, can i ask how 2 integrate "tan x"
 
  • #20
Welcome to PF

xerobeatz said:
hi, I am new here, can i ask how 2 integrate "tan x"
[tex]\int {\tan x\,dx} = \int {\frac{{\sin x}}<br /> {{\cos x}}\,dx} = - \int {\frac{{d\left( {\cos x} \right)}}<br /> {{\cos x}}} = - \log \left| {\cos x} \right| + C = \log \left| {\sec x} \right| + C[/tex]

Generally, such questions belong in this subforum :)
 
Last edited:
  • #21
thx a lot.haha..i took me a while, i juz nid to check...
 
  • #22
Orion1 said:
I retract my term 'theorem', perhaps I should have used the term pseudo-developmental philosophy...

Perhaps "something I just made up" would have been a better term!
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K