Sine-squared function

From Calculus
(Redirected from Sin^2)

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

Definition

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

x(sinx)2

For brevity, we write (sinx)2 as sin2x.

Key data

Item Value
Default domain all real numbers, i.e., all of R
range [0,1], i.e., {y0y1}
absolute maximum value: 1, absolute minimum value: 0
period π, i.e., 180
local maximum value and points of attainment All local maximum values are equal to 1, and are attained at odd integer multiples of π/2.
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 π/4, with value 1/2 at each point.
derivative xsin(2x)=2sinxcosx, i.e., double-angle sine function.
second derivative x2cos(2x)
nth derivative 2n1 times an expression that is ±sin or ±cos of 2x, depending on the remainder of n mod 4
antiderivative xx2sin(2x)4+C
mean value over a period 1/2
expression as a sinusoidal function plus a constant function (1/2)cos(2x)/2
important symmetries even function (follows from composite of even function with odd function is even, the square function being even, and the sine function being odd)
more generally, miror symmetry about any vertical line of the form x=nπ/2, n an integer.
Also, half turn symmetry about all points of the form (nπ/2+π/4,1/2).
interval description based on increase/decrease and concave up/down For each integer n, the interval from nπ to (n+1)π is subdivided into four pieces:
(nπ,nπ+π/4): increasing and concave up
(nπ+π/4,nπ+π/2): increasing and concave down
(nπ+π/2,nπ+3π/4): decreasing and concave down,
(nπ+3π/4,(n+1)π): decreasing and concave up
power series and Taylor series The power series about 0 (which is hence also the Taylor series) is
k=1(2)2k1(1)k1x2k(2k)!=x2x43+2x645
It is a globally convergent power series.

Identities

We have the following important identities involving sin2:

  • sin2x+cos2x=1, relating it to the cosine-squared function.
  • cos(2x)=12sin2x, or equivalently, sin2x=(1cos(2x))/2.

Graph

Here is the graph on the interval [2π,2π], drawn to scale:

Here is a close-up view of the graph between π and π. The dashed horizontal line indicates the mean value of 1/2:

The red dotted points indicate the points of inflection and the black dotted points indicate local extreme values.

Here is a picture showing the function (blue) and the cosine-squared function (purple) with the dashed line being y=1/2. The picture illustrates that sin2x+cos2x=1:

Differentiation

First derivative

WHAT WE USE: chain rule for differentiation, differentiation rule for power functions, sine function#First derivative, double angle cosine formula

We have:

ddx(sin2x)=sin(2x)

We can do this two ways.

Using the chain rule for differentiation, we have:

ddx[(sinx)2]=2sinxddx(sinx)=2sinxcosx

By the double angle sine formula, this is the same as sin(2x).

Alternatively, using the double angle cosine formula, we rewrite:

sin2x=1cos(2x)2

Differentating, we get:

ddx(sin2x)=12ddx(cos(2x))=122(sin(2x))=sin(2x)

Second derivative

Differentiating the derivative again, we get:

d2dx2(sin2x)=ddx[sin(2x)]=dd(2x)[sin(2x)]d(2x)dx=2cos(2x)

Graph of function with derivative

Fill this in later

Points and intervals of interest

Critical points

Consider f(x)=sin2x. As computed earlier, we have:

f(x)=sin(2x)

This equals zero precisely at the points x where 2x=nπ,nZ, so x=nπ/2,nZ. In other words, the critical points occur at the integer multiples of π/2.

Intervals of increase and decrease

The function f is positive for 2x(2nπ,(2n+1)π), with nZ and negative for 2x((2n+1)π,(2n+2)π), with nZ. Dividing by 2, we get:

  • f is increasing on intervals of the form (nπ,nπ+π/2), nZ.
  • f is decreasing on intervals of the form (nπ+π/2,nπ+π), nZ.

Local extreme values

From the information on the intervals of increase and decrease, we conclude that:

  • f attains its local maximum values at points of the form nπ+π/2, nZ, and all the values are equal to 1.
  • f attains its local minimum values at points of the form nπ, nZ, and all the values are equal to 0.

Intervals of concave up and concave down

The second derivative f is the function x2cos(2x). This is positive for 2x(2nππ/2,2nπ+π/2) and negative for 2x(2nπ+π/2,2nπ+3π/2), where nZ. We thus get:

  • f is concave up on intervals of the form (nππ/4,nπ+π/4), with nZ.
  • f is concave down on intervals of the form (nπ+π/4,nπ+3π/4), with nZ.

Points of inflection

From the determination of intervals where f is concave up and concave down, we discover that the points of inflection are the points with x-coordinate an odd multiple of π/4. The function value at all these points is 1/2.

  • At points with x=nπ+π/4,nZ, the function is transitioning from concave up (on the left) to concave down (on the right).
  • At points with x=nπ+3π/4,nZ, the function is transitioning from concave down (on the left) to concave up (on the right).

Integration

First antiderivative

WHAT WE USE: double angle cosine formula, recursive version of integration by parts, integration of linear transform of function

Using the double angle cosine formula

sin2x=1cos(2x)2

We can now do the integration:

sin2xdx=1cos(2x)2dx=12dxcos(2x)2dx=x212cos(2x)dx

To integrate cos(2x), we use the method of integration of linear transform of function to get sin(2x)/2. Plugging that in, we get:

x212(sin(2x)2)+C=x2sin(2x)4+C

Using integration by parts

We rewrite sin2x=(sinx)(sinx) and use integration by parts in its recursive version:

sin2xdx=(sinx)(cosx)(cosx)(cosx)dx=sinxcosx+cos2xdx

We now rewrite cos2x=1sin2x and obtain:

sin2xdx=sinxcosx+(1sin2x)dx

Setting I to be a choice of antiderivative so that the above holds without any freely floating constants, we get:

I=sinxcosx+xI

Rearranging, we get:

2I=xsinxcosx

This gives:

I=xsinxcosx2

So the general antiderivative is:

xsinxcosx2+C

Using the double angle sine formula

sin(2x)=2sinxcosx

, we can verify that this matches with the preceding answer.

For a given continuous function on a connected set, antiderivatives obtained by different methods must differ by a constant. In some cases, the antiderivatives may be exactly equal, but this is not necessary in general.
See zero derivative implies locally constant

Graph of function with antiderivative

In the picture below, we depict sin2 (blue) and the function xx2sin(2x)4 (purple). This is the unique antiderivative that takes the value 0 at 0. The other antiderivatives can be obtained by vertically shifting the purple graph:

The black dots correspond to local extreme values for sin2, and the red dots correspond to points of inflection for the antiderivative. Each black dot is in the same vertical line as a red dot, as we should expect, because points of inflection for the antiderivative correspond to local extreme values for the original function. Further:

  • The antiderivative is increasing everywhere because sin2 is everywhere nonnegative, and is zero only at isolated points.
  • The antiderivative is concave up on those intervals where sin2 is increasing, i.e., intervals of the form (nπ,nπ+π/2) as n varies over the integers.
  • The antiderivative is concave down on those intervals where sin2 is decreasing, i.e., intervals of the form (nπ+π/2,nπ+π) as n varies over the integers.

Definite integrals

The x/2 part in the antiderivative signifies that the linear part of the antiderivative of sin2 has slope 1/2, and this is related to the fact that sin2 has a mean value of 1/2 on any interval of length equal to the period. It is in fact clear that the function is a sinusoidal function about x=1/2.

Thus, we have:

aa+nπsin2xdx=nπ2

where n is an integer.

The mean value of sin2 over an interval of length equal to a multiple of the period is 1/2. Thus, for very large intervals, the mean value of sin2 is very close to 1/2, even though it need not be exactly 1/2. Specifically:

limx1xaa+xsin2tdt=12

Transformed versions

Based on the integration of sin2, we can also integrate the square of any sinusoidal function using the integration of linear transform of function:

sin2(mx+φ)dx=x2sin(2(mx+φ))4m+C

We thus see that the mean value of this function is also 1/2 over any interval of length a multiple of the period π/m. Also, over a sufficiently long interval, the mean value is close to 1/2:

limx1xaa+xsin2(mt+φ)dt=12

Higher antiderivatives

It is possible to antidifferentiate sin2 more than once. The nth antiderivative is the sum of a polynomial of degree n and a trigonometric function with a period of π.

Power series and Taylor series

Computation of power series

We can use the identity:

sin2x=1cos(2x)2

along with the power series for the cosine function, to find the power series for sin2.

The power series for the cosine function converges to the function everywhere, and is:

cosx=1x22!+x44!x66!+=k=0(1)kx2k(2k)!

The power series for cos(2x) is:

cos(2x)=1(2x)22!+(2x)44!(2x)66!+=k=0(1)k22kx2k(2k)!

The power series for 1cos(2x) is:

1cos(2x)=(2x)22!(2x)44!+(2x)66!=k=1(1)k122kx2k(2k)!

Dividing by 2, we get the power series for sin2x:

sin2x=21x22!23x44!+25x66!=k=1(1)k122k1x2k(2k)!

Here's another formulation with the first few terms written more explicitly:

sin2x=x2x43+2x645

Taylor polynomials as approximations

Note that since sin2 is an even function, all its Taylor polynomials are also even polynomials. In the figure below, we consider the graphs of sin2 and its second, fourth, and sixth Taylor approximations.

  • Second Taylor polynomial P2(x), which equals the third Taylor polynomial, P3(x), is x2.
  • Fourth Taylor polynomial P4(x), which equals the fifth Taylor polynomial, P5(x), is x2x43.
  • Sixth Taylor polynomial, P6(x), which equals the seventh Taylor polynomial P7(x), is x2x43+2x645.

Limit computations

Order of zero

We get the following limit from the power series:

limx0sin2xx2=1

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

This limit can be computed in many ways:

Name of method for computing the limit Details
Simple manipulation, using limx0(sinx)/x=1 limx0sin2xx2=limx0(sinxx)2=(limx0sinxx)2=12=1
Using the L'Hopital rule limx0sin2xx2=*limx0sin(2x)2x=*limx02cos(2x)2=1
Using the power series We have sin2x=x2x43+, so we get
sin2xx2=1x23+. Taking the limit as x0 gives 1.

Higher order limits

We have the limit:

limx0x2sin2xx4=13

This limit can be computed in many ways:

Name of method for computing the limit Details
Using limx0xsinxx3=1/6 and limx0sinxx=1 We have limx0x2sin2xx4=limx0xsinxx3x+sinxx=limx0xsinxx3limx0x+sinxx.
The first limit is 1/6 and the second limit is 2 from the given data. We thus get (1/6)2=1/3.
Using the L'Hopital rule limx0x2sin2xx4=*limx02xsin(2x)4x3=*limx022cos(2x)12x2=*limx04sin(2x)24x=*limx08cos(2x)24=1/3.
Using the power series We have sin2x=x2x43+O(x6), so x2sin2xx4=13O(x2), so the limit as x0 is 1/3.