Difference between revisions of "Sine-squared function"
(→First antiderivative: using integration by parts) |
(→First antiderivative: using integration by parts) |
||
Line 68: | Line 68: | ||
Setting <math>I</math> to be a choice of antiderivative so that the above holds without any freely floating constants, we get: | Setting <math>I</math> to be a choice of antiderivative so that the above holds without any freely floating constants, we get: | ||
− | <math>I = -\sin x \cos x + x - I</math> | + | <math>\! I = -\sin x \cos x + x - I</math> |
Rearranging, we get: | Rearranging, we get: | ||
− | <math>2I = x - \sin x \cos x</math> | + | <math>\! 2I = x - \sin x \cos x</math> |
This gives: | This gives: |
Revision as of 05:53, 27 August 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
Contents
Definition
This function, denoted , is defined as the composite of the square function and the sine function. Explicitly, it is the map:
For brevity, we write as
.
Key data
Item | Value |
---|---|
Default domain | all real numbers, i.e., all of ![]() |
range | ![]() ![]() absolute maximum value: 1, absolute minimum value: 0 |
period | ![]() ![]() |
local maximum value and points of attainment | All local maximum values are equal to 1, and are attained at odd integer multiples of ![]() |
local minimum value and points of attainment | All local minimum values are equal to 0, and are attained at integer multiples of ![]() |
points of inflection (both coordinates) | odd multiples of ![]() |
derivative | ![]() |
second derivative | ![]() |
![]() |
![]() ![]() ![]() ![]() ![]() ![]() |
antiderivative | ![]() |
mean value over a period | 1/2 |
expression as a sinusoidal function plus a constant function | ![]() |
important symmetries | even function more generally, miror symmetry about any vertical line of the form ![]() ![]() Also, half turn symmetry about all points of the form ![]() |
interval description based on increase/decrease and concave up/down | For each integer ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
power series and Taylor series | The power series about 0 (which is hence also the Taylor series) is ![]() It is a globally convergent power series. |
Integration
First antiderivative: using double angle formula
We use the identity:
We can now do the integration:
First antiderivative: using integration by parts
We rewrite and use integration by parts in its recursive version:
We now rewrite and obtain:
Setting to be a choice of antiderivative so that the above holds without any freely floating constants, we get:
Rearranging, we get:
This gives:
So the general antiderivative is:
Using the double angle sine formula , we can verify that this matches with the preceding answer.
Definite integrals
The part in the antiderivative signifies that the linear part of the antiderivative of
has slope
, and this is related to the fact that
has a mean value of
on any interval of length equal to the period. It is in fact clear that the function is a sinusoidal function about
.
Thus, we have:
where is an integer.
Higher antiderivatives
It is possible to antidifferentiate more than once. The
antiderivative is the sum of a polynomial of degree
and a trigonometric function with a period of
.