Functional Symmetry and Integrals: Plot @X 3 X, 8X, 3, 3, Filling Axisd
Functional Symmetry and Integrals: Plot @X 3 X, 8X, 3, 3, Filling Axisd
INTEGRALS
Overview
We have already seen that understanding the basics of symmetry of functions can help us in computing and understanding
various coefficients we obtain as part of Fourier analysis.In this note, we will show how symmetry arguments can be used to
simplify our work.
Odd and even functions also have characteristic graphs. Fig. 1 shows a plot of the odd function f (x) = x3 - x from -3 to 3:
Out[116]=
Notice also the shading between the curve and the graph. This indicates nicely that the area above the x axis is matched by the
area below the x axis, so that the total integral of this function is zero between the limits [-3, 3]. This illustrates one of the key
concepts of odd functions : the integral of an odd function is zero if it is evaluated by limits that are symmetric across the
origin. We can verify this statement by explicitly calculating the integral:
Out[117]= 0
2 symmetry.nb
We can even show this symbolically; if we integrate this function between any limits that are a, we find:
Out[118]= 0
f (x) = f (-x). Fig. 2 shows a plot of the function f HxL = x4 - x2 +3which is an even function since each power of x is even.
Let' s consider now the properties of even functions. An even function has the basic property that
Out[121]=
We can see that that the graph is symmetric with respect to the y axis, and that the area of the curve in the left half plane is equal
to the area of the curve in the right half plane. In fact, even functions have the property that :
(1)
-a 0
We can verify this property for this function by calculating these two integrals and taking their ratio :
2 a3 2 a5
6a 3
+ 5
2 J3 a N
Out[123]=
a3 a5
3
+ 5
In[124]:= Simplify@%D
Out[124]= 1
The final step showing that the ratio of the two integrals is one, proving their equality.
Out[127]=
And similarly :
Out[128]=
Not only do the graphs of sin and cos reveal their symmetry, but we can also rely on the Taylor series expansions of these
functions to determine their symmetry properties :
x3 x5 x7
Sin x = x - + - + ...
3! 5! 7!
(2)
x2 x4 x6
Cos x = 1 - + - + ...
2! 4! 6!
Clearly, sin is an odd function since its series expansion involves only odd powers of x, and cos is an even function since its
series expansion involves only even powers of x.
Thus, we can use combine this information with our understanding of symmetry properties of integrals to show :
The integral of an odd function times an even function over the interval [-a, a] is zero :
The input line above consists of a set of three products of an even function times an odd function; the output line shows each
integral has a value of zero when evaluated on the interval [-a, a].
The integral of an even function times an even function, or the integral of the product of odd functions, satisfies the relationship :
(3)
-a 0
Examples :
Out[131]= 4
Out[132]= 2
Out[133]= 2
Out[134]=