# Difference between revisions of "Sine-cubed function"

(Created page with "{{particular function}} {{angular function radian convention}} ==Definition== This function, denoted <math>\sin^3</math>, is defined as the [[defining ingredient::composite of...") |
(→Computation of power series) |
||

(6 intermediate revisions by the same user not shown) | |||

Line 22: | Line 22: | ||

| [[period]] || <math>2\pi</math>, i.e., <math>360\,^\circ</math> | | [[period]] || <math>2\pi</math>, i.e., <math>360\,^\circ</math> | ||

|- | |- | ||

− | | [[local maximum value]]s and points of attainment || All local maximum values are equal to 1, and they are attained at all points of the form <math>2n\pi + \pi/2</math> | + | | [[local maximum value]]s and points of attainment || All local maximum values are equal to 1, and they are attained at all points of the form <math>2n\pi + \pi/2</math> where <math>n</math> varies over integers. |

|- | |- | ||

− | | [[local minimum value]]s and points of attainment || All local minimum values are equal to -1, and they are attained at all points of the form <math>2n\pi - \pi/2</math>. | + | | [[local minimum value]]s and points of attainment || All local minimum values are equal to -1, and they are attained at all points of the form <math>2n\pi - \pi/2</math> where <math>n</math> varies over integers. |

|- | |- | ||

− | | [[point of inflection|points of inflection]] (both coordinates) || All points of the form <math>(n\pi,0)</math>, as well as points of the form <math>(n\pi + \alpha, (-1)^n2\sqrt{2}/3\sqrt{3})</math> and <math>(n\pi + \pi - \alpha, (-1)^n2\sqrt{2}/3\sqrt{3})</math> where <math>\alpha = \arcsin(\sqrt{2/3})</math>. | + | | [[point of inflection|points of inflection]] (both coordinates) || All points of the form <math>(n\pi,0)</math>, as well as points of the form <math>(n\pi + \alpha, (-1)^n2\sqrt{2}/3\sqrt{3})</math> and <math>(n\pi + \pi - \alpha, (-1)^n2\sqrt{2}/3\sqrt{3})</math> where <math>\alpha = \arcsin(\sqrt{2/3})</math> where <math>n</math> varies over integers. |

|- | |- | ||

| [[derivative]] || <math>x \mapsto 3\sin^2x \cos x</math> | | [[derivative]] || <math>x \mapsto 3\sin^2x \cos x</math> | ||

Line 33: | Line 33: | ||

|- | |- | ||

| [[antiderivative]] || <math>\frac{\cos^3x}{3} - \cos x + C</math> | | [[antiderivative]] || <math>\frac{\cos^3x}{3} - \cos x + C</math> | ||

+ | |- | ||

+ | | important symmetries || [[odd function]] (follows from [[composite of odd functions is odd]], and the fact that the [[cube function]] and [[sine function]] are both odd)<br>[[half turn symmetry]] about all points of the form <math>(n\pi,0)</math><br>[[mirror symmetry]] about all lines <math>x = n\pi + \pi/2</math>. | ||

|} | |} | ||

+ | |||

+ | ==Identities== | ||

+ | |||

+ | We have the identity: | ||

+ | |||

+ | <math>\! \sin^3 x = \frac{3\sin x - \sin(3x)}{4}</math> | ||

+ | |||

+ | ==Graph== | ||

+ | |||

+ | Here is the basic graph, drawn on the interval <math>[-2\pi,2\pi]</math>: | ||

+ | |||

+ | [[File:Sinecubedbasic.png|600px]] | ||

+ | |||

+ | Here is a more close-up graph, drawn on the interval <math>[-\pi,\pi]</math>. The thick black dots correspond to local extreme values, and the thick red dots correspond to points of inflection. | ||

+ | |||

+ | [[File:Sinecubedcloseup.png|800px]] | ||

+ | |||

+ | ==Differentiation== | ||

+ | |||

+ | ===First derivative=== | ||

+ | |||

+ | To differentiate once, we use the [[chain rule for differentiation]]. Explicitly, we consider the function as the composite of the cube function and the sine function, so the cube function is the ''outer'' function and the sine function is the ''inner'' function. | ||

+ | |||

+ | We get: | ||

+ | |||

+ | <math>\frac{d}{dx}[(\sin x)^3] = 3(\sin x)^2 \cos x = 3\sin^2x \cos x</math> | ||

+ | |||

+ | <toggledisplay>Here's a more complete explanation: set <math>f</math> as the function <math>t \mapsto t^3</math> and <math>g</math> as the function <math>x \mapsto \sin x</math>. Then, we have: | ||

+ | |||

+ | <math>\frac{d}{dx}(f(g(x))) = f'(g(x))g'(x)</math> | ||

+ | |||

+ | We have <math>f'(t) = 3t^2</math>, and <math>g'(x) = \cos x</math>, and plugging these into the expression gives the result above.</toggledisplay> | ||

+ | |||

+ | ==Integration== | ||

+ | |||

+ | ===First antiderivative: standard method=== | ||

+ | |||

+ | We rewrite <math>\sin^3x = \sin^2x \sin x = (1 - \cos^2x)\sin x = (\cos^2x - 1)(-\sin x)</math> and then do [[integration by u-substitution]] where <math>u = \cos x</math>. Explicitly: | ||

+ | |||

+ | <math>\int \sin^3 x \, dx = \int \sin^2x \sin x \, dx = \int (1 - \cos^2x) \sin x \, dx = \int (\cos^2x - 1) (-\sin x) \, dx</math> | ||

+ | |||

+ | Now put <math>u = \cos x</math>. We have <math>du/dx = - \sin x</math>, so we can replace <math>(-\sin x) \, dx</math> by <math>du</math>, and we get: | ||

+ | |||

+ | <math>\int (u^2 - 1) \, du</math> | ||

+ | |||

+ | By polynomial integration, we get: | ||

+ | |||

+ | <math>\frac{u^3}{3} - u + C</math> | ||

+ | |||

+ | Plugging back <math>u = \cos x</math>, we get: | ||

+ | |||

+ | <math>\! \frac{\cos^3x}{3} - \cos x + C</math>. | ||

+ | |||

+ | Here, <math>C</math> is an arbitrary real constant. | ||

+ | |||

+ | ===First antiderivative: using triple angle formula=== | ||

+ | |||

+ | An alternate method for integrating the function <math>\sin^3 x</math> is to use the identity: | ||

+ | |||

+ | <math>\! \sin^3x = \frac{3\sin x - \sin(3x)}{4}</math> | ||

+ | |||

+ | We thus get: | ||

+ | |||

+ | <math>\! \int \sin^3x \, dx = \int \frac{3\sin x - \sin(3x)}{4} \, dx = \frac{-3}{4} \cos x + \frac{1}{12} \cos(3x) + C</math> | ||

+ | |||

+ | This answer looks superficially different from the other answer. However, using the identity <math>\cos(3x) = 4\cos^3x - 3\cos x</math>, we can verify that the antiderivatives are exactly the same. | ||

+ | |||

+ | ===Repeated antidifferentiation=== | ||

+ | |||

+ | The antiderivative of <math>\sin^3</math> involves [[cos^3]] and [[cos]], both of which can be antidifferentiated, and this now involves [[sin^3]] and [[sin]]. We can thus antidifferentiate (i.e., integrate) the function any number of times, with the antiderivative expression alternating between a cubic function of sine and a cubic function of cosine. | ||

+ | |||

+ | ==Power series and Taylor series== | ||

+ | |||

+ | ===Computation of power series=== | ||

+ | |||

+ | We can use the identity: | ||

+ | |||

+ | <math>\! \sin^3x = \frac{3\sin x - \sin(3x)}{4}</math> | ||

+ | |||

+ | We have the power series: | ||

+ | |||

+ | <math>\! \sin x = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots = \sum_{k=0}^\infty \frac{(-1)^kx^{2k+1}}{(2k+1)!}</math> | ||

+ | |||

+ | We thus get the power series: | ||

+ | |||

+ | <math>\! \sin(3x) = (3x) - \frac{(3x)^3}{3!} + \frac{(3x)^5}{5!} - \dots = \sum_{k=0}^\infty \frac{(-1)^k3^{2k+1}x^{2k+1}}{(2k+1)!}</math> | ||

+ | |||

+ | Plugging into the formula, we get: | ||

+ | |||

+ | <math>\! \sin^3x = \sum_{k=0}^\infty \frac{(-1)^k(3 - 3^{2k+1})}{4 \cdot (2k+1)!}</math> | ||

+ | |||

+ | The first few terms are as follows: | ||

+ | |||

+ | <math>\! \sin^3x = x^3 - \frac{x^5}{2} + \dots</math> |

## Latest revision as of 21:26, 3 September 2011

This article is about a particular function from a subset of the real numbers to the real numbers. Information about the function, including its domain, range, and key data relating to graphing, differentiation, and integration, is presented in the article.

View a complete list of particular functions on this wiki

For functions involving angles (trigonometric functions, inverse trigonometric functions, etc.) we follow the convention that all angles are measured in radians. Thus, for instance, the angle of is measured as .

## Contents

## Definition

This function, denoted , is defined as the composite of the cube function and the sine function. Explicitly, it is the map:

For brevity, we write or .

## Key data

Item | Value |
---|---|

Default domain | all real numbers, i.e., all of |

range | the closed interval , i.e., absolute maximum value: 1, absolute minimum value: -1 |

period | , i.e., |

local maximum values and points of attainment | All local maximum values are equal to 1, and they are attained at all points of the form where varies over integers. |

local minimum values and points of attainment | All local minimum values are equal to -1, and they are attained at all points of the form where varies over integers. |

points of inflection (both coordinates) | All points of the form , as well as points of the form and where where varies over integers. |

derivative | |

second derivative | |

antiderivative | |

important symmetries | odd function (follows from composite of odd functions is odd, and the fact that the cube function and sine function are both odd) half turn symmetry about all points of the form mirror symmetry about all lines . |

## Identities

We have the identity:

## Graph

Here is the basic graph, drawn on the interval :

Here is a more close-up graph, drawn on the interval . The thick black dots correspond to local extreme values, and the thick red dots correspond to points of inflection.

## Differentiation

### First derivative

To differentiate once, we use the chain rule for differentiation. Explicitly, we consider the function as the composite of the cube function and the sine function, so the cube function is the *outer* function and the sine function is the *inner* function.

We get:

[SHOW MORE]

## Integration

### First antiderivative: standard method

We rewrite and then do integration by u-substitution where . Explicitly:

Now put . We have , so we can replace by , and we get:

By polynomial integration, we get:

Plugging back , we get:

.

Here, is an arbitrary real constant.

### First antiderivative: using triple angle formula

An alternate method for integrating the function is to use the identity:

We thus get:

This answer looks superficially different from the other answer. However, using the identity , we can verify that the antiderivatives are exactly the same.

### Repeated antidifferentiation

The antiderivative of involves cos^3 and cos, both of which can be antidifferentiated, and this now involves sin^3 and sin. We can thus antidifferentiate (i.e., integrate) the function any number of times, with the antiderivative expression alternating between a cubic function of sine and a cubic function of cosine.

## Power series and Taylor series

### Computation of power series

We can use the identity:

We have the power series:

We thus get the power series:

Plugging into the formula, we get:

The first few terms are as follows: