# Difference between revisions of "Sine function"

(→Definition) |
(→Taylor series equals power series) |
||

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

Line 78: | Line 78: | ||

|- | |- | ||

| other symmetries || periodicity: <math>\sin(2\pi + x) = \sin x</math><br>anti-periodicity: <math>\sin(\pi + x) = -\sin x</math><br>odd: <math>\sin(-x) = -\sin x</math><br>mirror symmetry about <math>\pi/2</math>: <math>\sin(\pi - x) = \sin x</math> | | other symmetries || periodicity: <math>\sin(2\pi + x) = \sin x</math><br>anti-periodicity: <math>\sin(\pi + x) = -\sin x</math><br>odd: <math>\sin(-x) = -\sin x</math><br>mirror symmetry about <math>\pi/2</math>: <math>\sin(\pi - x) = \sin x</math> | ||

+ | |} | ||

+ | |||

+ | ==Related functions== | ||

+ | |||

+ | ===Composition with other functions=== | ||

+ | |||

+ | Below are some [[composite of two functions|composite]] functions of the form <math>f \circ \sin</math> for suitable function <math>f</math>: | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Function <math>f</math> !! <math>f \circ \sin</math>, i.e., the function <math>x \mapsto f(\sin x)</math> !! <math>\sin \circ f</math> i.e. the function <math>x \mapsto \sin(f(x))</math> | ||

+ | |- | ||

+ | | [[reciprocal function]] || [[cosecant function]] <math>\csc</math> -- the domain of this excludes all multiples of <math>\pi</math> || [[sine of reciprocal function]] <math>x \mapsto \sin(1/x)</math> | ||

+ | |- | ||

+ | | [[square function]] || [[sine-squared function]] <math>\sin^2</math> || [[sine of square function]] <math>x \mapsto \sin(x^2)</math> | ||

+ | |- | ||

+ | | [[cube function]] || [[sine-cubed function]] <math>\sin^3</math> || [[sine of cube function]] <math>x \mapsto \sin(x^3)</math> | ||

+ | |- | ||

+ | | positive power function <math>x \mapsto x^n</math> for fixed <math>n</math> || [[positive power of sine function]] || [[sine of positive power function]] | ||

+ | |- | ||

+ | | [[absolute value function]] || [[absolute value of sine function]] <math>|\sin|</math> || uninteresting | ||

+ | |- | ||

+ | | [[positive part function]] || [[positive part of sine function]] <math>\sin^+</math> || uninteresting | ||

+ | |- | ||

+ | | [[square root function]] || [[square root of sine function]] -- note that this makes sense only on a restricted domain || [[sine of square root function]] | ||

+ | |- | ||

+ | | [[natural logarithm]] of absolute value || [[natural logarithm of absolute value of sine function]] <math>x \mapsto \ln|\sin x|</math> || [[sine of natural logarithm of absolute value]] <math>x \mapsto \sin(\ln|x|)</math> | ||

+ | |} | ||

+ | |||

+ | ===Product with other functions=== | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Function <math>f</math> !! [[pointwise product of functions]] <math>x \mapsto f(x)(\sin x)</math> | ||

+ | |- | ||

+ | | [[reciprocal function]] || [[sinc function]] <math>x \mapsto (\sin x)/x</math> (separately defined as 1 at 0) | ||

+ | |- | ||

+ | | [[identity function]] || [[product of identity function and sine function]] <math>x \mapsto x \sin x</math> | ||

+ | |- | ||

+ | | [[exponential function]] || [[product of exponential function and sine function]] <math>x \mapsto e^x\sin x</math> | ||

+ | |- | ||

+ | | [[cosine function]] || <math>x \mapsto \sin x \cos x</math> is same as <math>x \mapsto (1/2)\sin(2x)</math> | ||

|} | |} | ||

==Differentiation== | ==Differentiation== | ||

+ | |||

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

We deduce the formula <math>\sin' = \cos</math> from the limit: | We deduce the formula <math>\sin' = \cos</math> from the limit: | ||

Line 111: | Line 153: | ||

<math>\cos(x_0)</math> | <math>\cos(x_0)</math> | ||

+ | |||

+ | ===Second derivative=== | ||

+ | |||

+ | The derivative of <math>\cos</math> is <math>-\sin</math>, so we obtain: | ||

+ | |||

+ | <math>\! \sin'' = -\sin</math> | ||

+ | |||

+ | ===Higher derivatives=== | ||

+ | |||

+ | The sequence of derivatives is periodic with period 4: | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! <math>k</math> !! 0 !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 | ||

+ | |- | ||

+ | | <math>\sin^{(k)}</math> || <math>\sin</math> || <math>\cos</math> || <math>-\sin</math> || <math>-\cos</math> || <math>\sin</math> || <math>\cos</math> || <math>-\sin</math> || <math>-\cos</math> | ||

+ | |} | ||

+ | |||

+ | In particular, we obtain that for any nonnegative integer <math>k</math>: | ||

+ | |||

+ | * <math>\! \sin^{(4k)} = \sin</math> | ||

+ | * <math>\! \sin^{(4k + 1)} = \cos</math> | ||

+ | * <math>\! \sin^{(4k + 2)} = -\sin</math> | ||

+ | * <math>\! \sin^{(4k + 3)} = -\cos</math> | ||

+ | |||

+ | Equivalently, we also have: | ||

+ | |||

+ | <math>\! \sin^{(k)}(x) = \sin(x + k\pi/2)</math> | ||

+ | |||

+ | In other words, differentiating the function <math>k</math> times is equivalent to shifting the graph <math>k\pi/2</math> to the left. | ||

+ | |||

+ | ==Integration== | ||

+ | |||

+ | ===First antiderivative=== | ||

+ | |||

+ | We have: | ||

+ | |||

+ | <math>\int \sin x \, dx = -\cos x + C</math> | ||

+ | |||

+ | ===Definite integrals=== | ||

+ | |||

+ | The mean value of <math>\sin</math> over a period is 0. Thus: | ||

+ | |||

+ | <math>\int_a^{a + 2\pi} \sin x \, dx = 0</math> | ||

+ | |||

+ | Since <math>\sin</math> is odd, the mean value over any interval symmetric about the origin is zero: | ||

+ | |||

+ | <math>\int_{-a}^a \sin x \, dx = 0</math> | ||

+ | |||

+ | Also, the integral of <math>\sin</math> on <math>[0,\pi/2]</math> and on <math>[\pi/2,\pi]</math> is 1 each, giving a mean value of <math>2/\pi</math> on these intervals: | ||

+ | |||

+ | <math>\int_0^{\pi/2} \sin x \, dx = \int_{\pi/2}^\pi \sin x \, dx = 1</math> | ||

+ | |||

+ | ===Integration of transformed versions of function=== | ||

+ | |||

+ | We have, for <math>m \ne 0</math>, the following, using [[integration of linear transform of function]]: | ||

+ | |||

+ | <math>\int \sin(mx + \varphi) \, dx = \frac{-1}{m}\cos(mx + \varphi) + C</math> | ||

+ | |||

+ | Further, the mean value of <math>\sin(mx + \varphi)</math> over a period is 0. | ||

+ | |||

+ | ===Higher antiderivatives=== | ||

+ | |||

+ | The general expression for the second antiderivative is: | ||

+ | |||

+ | <math>\int \int \sin x \, dx \, dx = -\sin x + C_1x + C_0</math> | ||

+ | |||

+ | In general, the <math>k^{th}</math> antiderivative is <math>\pm \cos</math> or <math>\pm \sin</math>, depending on the value of <math>k</math> mod 4. The general expression is the particular antiderivative plus an arbitrary polynomial of degree at most <math>k - 1</math>. | ||

+ | |||

+ | ===Integration of product with polynomials=== | ||

+ | |||

+ | Using [[integration by parts]], we know that knowledge of the first <math>k</math> antiderivatives of <math>f</math> is sufficient to determine <math>\int x^{k-1} f(x) \, dx</math> via repeated application of integration by parts. Since the sine function can be antidifferentiated any number of times, this allows us to antidifferentiate any polynomial times the sine function. | ||

+ | |||

+ | For instance, the function <math>x \mapsto x \sin x</math>, i.e., the [[product of identity function and sine function]], can be integrated via knowledge of how to integrate the sine function twice: | ||

+ | |||

+ | <math>\int x \sin x \, dx = x \int \sin x \, dx - \int \int \sin x \, dx \, dx = -x\cos x + \sin x + C</math> | ||

+ | |||

+ | ==Differential equations== | ||

+ | |||

+ | The sine function and its transforms arises as the solution to many differential equations, including [[polynomial differential equation]]s. Some of these are listed below. | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Equation !! Other forms !! General solution | ||

+ | |- | ||

+ | | <math>\frac{dx}{dt} = \sqrt{a^2 - x^2}, \qquad a > 0</math> || || <math>x = a \sin (t + \varphi)</math> for <math>-\pi/2 \le t + \varphi \le \pi/2</math> | ||

+ | |- | ||

+ | | <math>\frac{dx}{dt} = a \sqrt{x(b- x)}, \qquad a,b > 0</math> || <math>\left(\frac{dx}{dt}\right)^2 = a^2x(b- x), \qquad a,b > 0</math> || See [[Verhulst process]] | ||

+ | |- | ||

+ | | <math>\frac{d^2x}{dt^2} = -x</math> || || <math>x = a \sin(t + \varphi)</math> or <math>x = A \sin t + B \cos t</math> | ||

+ | |} | ||

+ | |||

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

+ | |||

+ | ===Computation of Taylor series=== | ||

+ | |||

+ | As noted above, we have that: | ||

+ | |||

+ | <math>\sin^{(k)}x = \sin(x + k\pi/2)</math> | ||

+ | |||

+ | In particular, this means that: | ||

+ | |||

+ | <math>\sin^{(k)}0 = \sin(k\pi/2)</math> | ||

+ | |||

+ | Thus, the sequence of derivatives at zero (starting from <math>k = 0</math>) is <math>0,1,0,-1,0,1,0,-1,\dots</math>. | ||

+ | |||

+ | The Taylor series is thus: | ||

+ | |||

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

+ | |||

+ | ===Taylor series equals power series=== | ||

+ | |||

+ | The sine function is a [[globally analytic function]]: the Taylor series for the sine function does in fact converge to the function everywhere. This can be proved in a number of ways. One method is to use that [[uniformly bounded derivatives implies analytic]]. Alternatively, we could note that <math>\sin</math> satisfies a certain differential equation <math>y'' = -y</math>, forcing it to be given by a power series. | ||

+ | |||

+ | Thus we have that: | ||

+ | |||

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

+ | |||

+ | ==Limit computations== | ||

+ | |||

+ | ===Order of zero=== | ||

+ | |||

+ | We have the following limit: | ||

+ | |||

+ | <math>\lim_{x \to 0} \frac{\sin x}{x} = 1</math> | ||

+ | |||

+ | Thus, the order of zero at 0 is 1 and the residue is 1. | ||

+ | |||

+ | ===Higher order limits=== | ||

+ | |||

+ | We have the limit: | ||

+ | |||

+ | <math>\lim_{x \to 0} \frac{x - \sin x}{x^3} = \frac{1}{6}</math> | ||

+ | |||

+ | The limit can be computed in either of two ways: | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Name of method for computing the limit !! Details | ||

+ | |- | ||

+ | | Using the [[L'Hopital rule]] || <math>\lim_{x \to 0} \frac{x - \sin x}{x^3} \stackrel{*}{=} \lim_{x \to 0} \frac{1 -\cos x}{3x^2} \stackrel{*}{=} \lim_{x \to 0} \frac{\sin x}{6x} \stackrel{*}{=} \lim_{x \to 0} \frac{\cos x}{6} = 1/6</math>. | ||

+ | |- | ||

+ | | Using the power series || We have <math>\sin x = x - x^3/3! + O(x^5)</math>, so <math>\frac{x - \sin x}{x^3} = \frac{1}{3!} - O(x^2)</math>, so the limit as <math>x \to 0</math> is <math>1/3! = 1/6</math>. | ||

+ | |} |

## Latest revision as of 14:46, 8 July 2012

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

### Unit circle definition

The **sine function**, denoted , is defined as follows.

Consider the unit circle centered at the origin, described as the following subset of the coordinate:

For a real number , we define as follows:

- Start at the point , which lies on the unit circle centered at the origin.
- Move a distance of along the unit circle in the counter-clockwise direction (i.e., the motion begins in the first quadrant, with both coordinates positive).
- At the end, the -coordinate of the point thus obtained is defined as .

### Triangle ratio definition (works for acute angles)

For an acute angle , i.e., for in the open interval , can be defined as follows:

- Construct any right triangle with one of the acute angles equal to .
- is the ratio of the leg opposite to the angle to the hypotenuse.

## Key data

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

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

range | the closed interval |

period | , i.e., . |

mean value over a period | 0 |

local maximum values and points of attainment | local maximum value attained at all points of the form , with value 1 at each point. |

local minimum values and points of attainment | local minimum value attained at all points of the form , with value -1 at each point. |

points of inflection (both coordinates) | all points of the form with . |

important symmetries | odd function. More generally, half turn symmetry about all points of the form where . Also, mirror symmetry about all lines of the form . |

first derivative | , i.e., the cosine function |

second derivative | , i.e., the negative of the sine function. |

sequence of derivatives | starting from first: . The sequence of higher derivatives is periodic with a period of 4. |

first antiderivative | , i.e., the negative of the cosine function. |

## Identities

Type of identity | Identity in algebraic form |
---|---|

complementary angle | , equivalently, |

square relationship with cosine | . |

angle sum sine formula | |

angle difference sine formula | |

product to sum conversion | |

sum to product conversion | |

double angle sine formula | |

double angle cosine formula | , so . |

other symmetries | periodicity: anti-periodicity: odd: mirror symmetry about : |

## Related functions

### Composition with other functions

Below are some composite functions of the form for suitable function :

Function | , i.e., the function | i.e. the function |
---|---|---|

reciprocal function | cosecant function -- the domain of this excludes all multiples of | sine of reciprocal function |

square function | sine-squared function | sine of square function |

cube function | sine-cubed function | sine of cube function |

positive power function for fixed | positive power of sine function | sine of positive power function |

absolute value function | absolute value of sine function | uninteresting |

positive part function | positive part of sine function | uninteresting |

square root function | square root of sine function -- note that this makes sense only on a restricted domain | sine of square root function |

natural logarithm of absolute value | natural logarithm of absolute value of sine function | sine of natural logarithm of absolute value |

### Product with other functions

Function | pointwise product of functions |
---|---|

reciprocal function | sinc function (separately defined as 1 at 0) |

identity function | product of identity function and sine function |

exponential function | product of exponential function and sine function |

cosine function | is same as |

## Differentiation

### First derivative

We deduce the formula from the limit:

Here's the full proof:

By the fact that limit is linear, the above limit can be rewritten as:

We now need to compute the two limits individually. Note first that both limits are independent of .

The first limit is:

We've thus expressed the limit as a product of limits where one of the factors goes to zero and the other goes to one, so the limit is zero.

The second limit is 1, as can be seen directly.

We thus get that the answer is:

This simplifies to

### Second derivative

The derivative of is , so we obtain:

### Higher derivatives

The sequence of derivatives is periodic with period 4:

0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | |
---|---|---|---|---|---|---|---|---|

In particular, we obtain that for any nonnegative integer :

Equivalently, we also have:

In other words, differentiating the function times is equivalent to shifting the graph to the left.

## Integration

### First antiderivative

We have:

### Definite integrals

The mean value of over a period is 0. Thus:

Since is odd, the mean value over any interval symmetric about the origin is zero:

Also, the integral of on and on is 1 each, giving a mean value of on these intervals:

### Integration of transformed versions of function

We have, for , the following, using integration of linear transform of function:

Further, the mean value of over a period is 0.

### Higher antiderivatives

The general expression for the second antiderivative is:

In general, the antiderivative is or , depending on the value of mod 4. The general expression is the particular antiderivative plus an arbitrary polynomial of degree at most .

### Integration of product with polynomials

Using integration by parts, we know that knowledge of the first antiderivatives of is sufficient to determine via repeated application of integration by parts. Since the sine function can be antidifferentiated any number of times, this allows us to antidifferentiate any polynomial times the sine function.

For instance, the function , i.e., the product of identity function and sine function, can be integrated via knowledge of how to integrate the sine function twice:

## Differential equations

The sine function and its transforms arises as the solution to many differential equations, including polynomial differential equations. Some of these are listed below.

Equation | Other forms | General solution |
---|---|---|

for | ||

See Verhulst process | ||

or |

## Power series and Taylor series

### Computation of Taylor series

As noted above, we have that:

In particular, this means that:

Thus, the sequence of derivatives at zero (starting from ) is .

The Taylor series is thus:

### Taylor series equals power series

The sine function is a globally analytic function: the Taylor series for the sine function does in fact converge to the function everywhere. This can be proved in a number of ways. One method is to use that uniformly bounded derivatives implies analytic. Alternatively, we could note that satisfies a certain differential equation , forcing it to be given by a power series.

Thus we have that:

## Limit computations

### Order of zero

We have the following limit:

Thus, the order of zero at 0 is 1 and the residue is 1.

### Higher order limits

We have the limit:

The limit can be computed in either of two ways:

Name of method for computing the limit | Details |
---|---|

Using the L'Hopital rule | . |

Using the power series | We have , so , so the limit as is . |