# Thread:

1. ## Help w/ Trig Integrals

$\int(\sin{x})^3(\cos{x})^3dx$
am i going to use trigonometric or int by parts?
help

2. Hello, ^_^Engineer_Adam^_^!

I have to ask . . .
Are those really $x^3$ ?

We can integrate: $\sin^3\!x\cos^3\!x$ . . . but not $\sin(x^3)\cos(x^3)$

3. oopss
its $(\sin{x})^3 (\cos{x})^3$

4. $\int sin^3(x) cos^3(x) dx$

Let $y = sin(x)$, then $dy = cos(x) dx$

$\int sin^3(x) cos^3(x) dx = \int sin^3(x) cos^2(x) cos(x) dx$

$= \int sin^3(x) (1 - sin^2(x)) cos(x) dx = \int y^3 (1 - y^2) dy$

$= \int (y^3 - y^5)$

I'm sure you can take it from here.

-Dan

5. im sure that either sin(x) or cos(x) is integrable
but the integrator has a different answer
maybe use integration by parts?

6. Originally Posted by Soroban

We can integrate: $\sin^3\!x\cos^3\!x$ . . . but not $\sin(x^3)\cos(x^3)$

Can someone tell me once and for all how can you tell if you can't integrate something, or something is not integrable analytically using elementary functions or whatever...wait, did i ask this question before?

I know we can't integrate $e^{x^2}$ and according to Soroban, we can't integrate $\sin \left( x^3 \right) \cos \left( x^3 \right)$, but how do we know that for sure? What's the proof that we can't integrate those functions by hand?

7. This totally my own opinion: Your confusion is understandable and it comes from the very sad conflating of the words integral and antiderivative. They are not the same. An integral is a number, quite often gotten by way of an antiderivative using the fundamental theorem of integral calculus. An antiderivative is just what is says it is.

Of the antiderivative of $\sin(x^3)$ does exits but we would the series representation for $\sin(x)$ to get it. Therefore, it is proper to say that no elementary representation of the antiderivative of $\sin(x^3)$ exist in the Calculus II sense of the term.

8. Originally Posted by topsquark
$\int sin^3(x) cos^3(x) dx$

Let $y = sin(x)$, then $dy = cos(x) dx$

$\int sin^3(x) cos^3(x) dx = \int sin^3(x) cos^2(x) cos(x) dx$

$= \int sin^3(x) (1 - sin^2(x)) cos(x) dx = \int y^3 (1 - y^2) dy$

Now,

$= \int (y^3 - y^5)$

I'm sure you can take it from here.

-Dan
To continue
$= \frac{1}{4}y^4 - \frac{1}{6}y^6 + C$

$= \frac{1}{4}sin^4(x) - \frac{1}{6}sin^6(x) + C$

Now, my TI-92 comes up with:
$-\frac{sin^2(x) cos^4(x)}{6} - \frac{cos^4(x)}{12}$

and the Integrator comes up with
$\frac{1}{192} ( cos(6x) - 9 cos(2x))$

All of these solutions are correct, despite how it might look. The point is that we are doing indefinite integration, so any solution that differs from another by only a constant are all correct. If you spend the time (or just plug it through on your calculator) you will find that all three solutions differ from each other by some constant. (Neither the TI-92 nor the Integrator remind you to add the arbitrary constant on the end.)

-Dan

9. ## thanks topsquark

ohh ok

10. You can use the fact

$\int\sin^mx\cos^nx~dx={\color{blue}\frac{\sin^{m+1 }(x)\cos^{n-1}(x)}{m+n}+\frac{n-1}{m+n}\int\sin^mx\cos^{n-2}(x)~dx},~m\ne-n$

11. Originally Posted by Jhevon
Can someone tell me once and for all how can you tell if you can't integrate something, or something is not integrable analytically using elementary functions or whatever...wait, did i ask this question before?

I know we can't integrate $e^{x^2}$ and according to Soroban, we can't integrate $\sin \left( x^3 \right) \cos \left( x^3 \right)$, but how do we know that for sure? What's the proof that we can't integrate those functions by hand?
I believe sin(x^3) is done using what is known as a Lommel integral. Don't know much about it though. Just as sin(x^2) is a Fresnel.

I couldn't find reference to Lommel in wiki. Perhaps, that would be a good MathHelpWiki for someone to take on?.

One should be able to use topics from advanced calc to prove sin(x^3) in not integrable by elementary means. Maybe Dirichlet test or something.

It is continuous and differentiable.

I may have to delve into it some more.

12. As far as I know,

$<br /> \int {\sin x^3 ~dx} = - \frac{1}<br /> {2}i\left( {\frac{{x\Gamma\left( {\displaystyle\frac{1}<br /> {3},ix^3 } \right)}}<br /> {{3\sqrt[3]{{ix^3 }}}} - \frac{{x\Gamma\left( {\displaystyle\frac{1}<br /> {3}, - ix^3 } \right)}}<br /> {{3\sqrt[3]{{ - ix^3 }}}}} \right) + k$

13. Yeah. I ran it through Maple and it gave me a horrendous result with LommelSi. It may be equivalent to your result, though. Just a different animal.

14. Originally Posted by DivideBy0
As far as I know,

$<br /> \int {\sin x^3 ~dx} = - \frac{1}<br /> {2}i\left( {\frac{{x\Gamma\left( {\displaystyle\frac{1}<br /> {3},ix^3 } \right)}}<br /> {{3\sqrt[3]{{ix^3 }}}} - \frac{{x\Gamma\left( {\displaystyle\frac{1}<br /> {3}, - ix^3 } \right)}}<br /> {{3\sqrt[3]{{ - ix^3 }}}}} \right) + k$
I know the forum where you got that

15. I can find,
$\int_0^{\infty} \sin x^3 \cos x^3 dx$

And,
$\int_0^{\infty} \sin x^3 dx$
And,
$\int_0^{\infty} \cos x^3 dx$

Eventhough these functions are not elementary.
(I sometimes love Complex Analysis).
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 36, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9444706439971924, "perplexity_flag": "middle"}