3 Trigonometric Fourier Series


 Sheryl Millicent Montgomery
 2 years ago
 Views:
Transcription
1 3 Trigonometric Fourier Series Ordinary language is totally unsuited for epressing what physics really asserts, since the words of everyday life are not sufficiently abstract. Only mathematics and mathematical logic can say as little as the physicist means to say. Bertrand Russell (8797) 3. Introduction to Fourier Series We will now turn to the study of trigonometric series. You have seen that functions have series representations as epansions in powers of, or a, in the form of Maclaurin and Taylor series. Recall that the Taylor series epansion is given by f () = c n ( a) n, n= where the epansion coefficients are determined as c n = f (n) (a). n! From the study of the heat equation and wave equation, we have found that there are infinite series epansions over other functions, such as sine functions. We now turn to such epansions and in the net chapter we will find out that epansions over special sets of functions are not uncommon in physics. But, first we turn to Fourier trigonometric series. We will begin with the study of the Fourier trigonometric series epansion f () = a + a n cos nπ + b n sin nπ. We will find epressions useful for determining the Fourier coefficients {a n, b n } given a function f () defined on [, ]. We will also see if the resulting infinite series reproduces f (). However, we first begin with some basic ideas involving simple sums of sinusoidal functions. There is a natural appearance of such sums over sinusoidal functions in music. A pure note can be represented as y(t) = A sin(π f t),
2 7 partial differential equations y(t) 3 y(t) (a) y(t) = sin(4π f t) 3 (b) y(t) = sin(π f t) Figure 3.: Plots of y(t) = A sin(π f t) on [, 5] for f = Hz and f = 5 Hz. t t where A is the amplitude, f is the frequency in hertz (Hz), and t is time in seconds. The amplitude is related to the volume of the sound. The larger the amplitude, the louder the sound. In Figure 3. we show plots of two such tones with f = Hz in the top plot and f = 5 Hz in the bottom one. In these plots you should notice the difference due to the amplitudes and the frequencies. You can easily reproduce these plots and others in your favorite plotting utility. As an aside, you should be cautious when plotting functions, or sampling data. The plots you get might not be what you epect, even for a simple sine function. In Figure 3. we show four plots of the function y(t) = sin(4πt). In the top left you see a proper rendering of this function. However, if you use a different number of points to plot this function, the results may be surprising. In this eample we show what happens if you use N =,, points instead of the points used in the first plot. Such disparities are not only possible when plotting functions, but are also present when collecting data. Typically, when you sample a set of data, you only gather a finite amount of information at a fied rate. This could happen when getting data on ocean wave heights, digitizing music and other audio to put on your computer, or any other process when you attempt to analyze a continuous signal. Figure 3.: Problems can occur while plotting. Here we plot the function y(t) = sin 4πt using N =,,, points. y(t)= sin(4 π t) for N= points 4 y(t)= sin(4 π t) for N= points 4 y(t) y(t) Time y(t)= sin(4 π t) for N= points Time y(t)= sin(4 π t) for N= points 4 y(t) y(t) Time Time Net, we consider what happens when we add several pure tones. After all, most of the sounds that we hear are in fact a combination of pure tones with different amplitudes and frequencies. In Figure 3.3 we see what happens when we add several sinusoids. Note that as one adds more and more tones with different characteristics, the resulting signal gets more complicated. However, we still have a function of time. In this chapter we will ask,
3 trigonometric fourier series 73 y(t) Given a function f (t), can we find a set of sinusoidal functions whose sum converges to f (t)? ooking at the superpositions in Figure 3.3, we see that the sums yield functions that appear to be periodic. This is not to be unepected. We recall that a periodic function is one in which the function values repeat over the domain of the function. The length of the smallest part of the domain which repeats is called the period. We can define this more precisely: A function is said to be periodic with period T if f (t + T) = f (t) for all t and the smallest such positive number T is called the period. For eample, we consider the functions used in Figure 3.3. We began with y(t) = sin(4πt). Recall from your first studies of trigonometric functions that one can determine the period by dividing the coefficient of t into π to get the period. In this case we have T = π 4π =. ooking at the top plot in Figure 3. we can verify this result. (You can count the full number of cycles in the graph and divide this into the total time to get a more accurate value of the period.) In general, if y(t) = A sin(π f t), the period is found as T = π π f = f. Of course, this result makes sense, as the unit of frequency, the hertz, is also defined as s, or cycles per second. Returning to Figure 3.3, the functions y(t) = sin(4πt), y(t) = sin(πt), and y(t) =.5 sin(6πt) have periods of.5s,.s, and.5s, respectively. Each superposition in Figure 3.3 retains a period that is the least common multiple of the periods of the signals added. For both plots, this is.s = (.5)s = 5(.)s = 8(.5)s. Our goal will be to start with a function and then determine the amplitudes of the simple sinusoids needed to sum to that function. We will see that this might involve an infinite number of such terms. Thus, we will be studying an infinite series of sinusoidal functions. Secondly, we will find that using just sine functions will not be enough either. This is because we can add sinusoidal functions that do not necessarily peak at the same time. We will consider two signals that originate at different times. This is similar to when your music teacher would make sections of the class sing a song like Row, Row, Row your Boat starting at slightly different times. We can easily add shifted sine functions. In Figure 3.4 we show the functions y(t) = sin(4πt) and y(t) = sin(4πt + 7π/8) and their sum. Note that this shifted sine function can be written as y(t) = sin(4π(t + 7/3)). Thus, this corresponds to a time shift of 7/3. So, we should account for shifted sine functions in the general sum. Of course, we would then need to determine the unknown time shift as well as the amplitudes of the sinusoidal functions that make up the signal, f (t). 3 (a) Sum of signals with frequencies y(t) t f = Hz and f = 5 Hz. 3 (b) Sum of signals with frequencies t f = Hz, f = 5 Hz, and f = 8 Hz. Figure 3.3: Superposition of several sinusoids. y(t) 3 y(t) (a) Plot of each function. 3 (b) Plot of the sum of the functions. Figure 3.4: Plot of the functions y(t) = sin(4πt) and y(t) = sin(4πt + 7π/8) and their sum. t t
4 74 partial differential equations We should note that the form in the lower plot of Figure 3.4 looks like a simple sinusoidal function for a reason. et Then, y (t) = sin(4πt), y (t) = sin(4πt + 7π/8). y + y = sin(4πt + 7π/8) + sin(4πt) = [sin(4πt + 7π/8) + sin(4πt)] = 4 cos 7π ( 6 sin 4πt + 7π ). 6 Recall the identities (A.7)(A.8) sin( + y) = sin cos y + sin y cos, cos( + y) = cos cos y sin sin y. While this is one approach that some researchers use to analyze signals, there is a more common approach. This results from another reworking of the shifted function. Consider the general shifted function y(t) = A sin(π f t + φ). (3.) Note that π f t + φ is called the phase of the sine function and φ is called the phase shift. We can use the trigonometric identity (A.7) for the sine of the sum of two angles to obtain y(t) = A sin(π f t + φ) = A sin(φ) cos(π f t) + A cos(φ) sin(π f t). (3.) Defining a = A sin(φ) and b = A cos(φ), we can rewrite this as y(t) = a cos(π f t) + b sin(π f t). Thus, we see that the signal in Equation (3.) is a sum of sine and cosine functions with the same frequency and different amplitudes. If we can find a and b, then we can easily determine A and φ: A = a + b, tan φ = b a. We are now in a position to state our goal. Goal  Fourier Analysis Given a signal f (t), we would like to determine its frequency content by finding out what combinations of sines and cosines of varying frequencies and amplitudes will sum to the given function. This is called Fourier Analysis. 3. Fourier Trigonometric Series As we have seen in the last section, we are interested in finding representations of functions in terms of sines and cosines. Given a function f () we seek a representation in the form f () a + [a n cos n + b n sin n]. (3.3) Notice that we have opted to drop the references to the timefrequency form of the phase. This will lead to a simpler discussion for now and one can always make the transformation n = π f n t when applying these ideas to applications. The series representation in Equation (3.3) is called a Fourier trigonometric series. We will simply refer to this as a Fourier series for now. The set
5 trigonometric fourier series 75 of constants a, a n, b n, n =,,... are called the Fourier coefficients. The constant term is chosen in this form to make later computations simpler, though some other authors choose to write the constant term as a. Our goal is to find the Fourier series representation given f (). Having found the Fourier series representation, we will be interested in determining when the Fourier series converges and to what function it converges. From our discussion in the last section, we see that The Fourier series is periodic. The periods of cos n and sin n are π n. Thus, the largest period, T = π, comes from the n = terms and the Fourier series has period π. This means that the series should be able to represent functions that are periodic of period π. While this appears restrictive, we could also consider functions that are defined over one period. In Figure 3.5 we show a function defined on [, π]. In the same figure, we show its periodic etension. These are just copies of the original function shifted by the period and glued together. The etension can now be represented by a Fourier series and restricting the Fourier series to [, π] will give a representation of the original function. Therefore, we will first consider Fourier series representations of functions defined on this interval. Note that we could just as easily considered functions defined on [ π, π] or any interval of length π. We will consider more general intervals later in the chapter. Fourier Coefficients Theorem 3.. The Fourier series representation of f () defined on [, π], when it eists, is given by (3.3) with Fourier coefficients.5.5 y(t) (a) Plot of function f (t)..5.5 y(t) t (b) Periodic etension of f (t). t Figure 3.5: Plot of the function f (t) defined on [, π] and its periodic etension. a n = π b n = π π π f () cos n d, n =,,,..., f () sin n d, n =,,.... (3.4) These epressions for the Fourier coefficients are obtained by considering special integrations of the Fourier series. We will now derive the a n integrals in (3.4). We begin with the computation of a. Integrating the Fourier series term by term in Equation (3.3), we have π f () d = π a π d + [a n cos n + b n sin n] d. (3.5) We will assume that we can integrate the infinite sum term by term. Then Evaluating the integral of an infinite series by integrating term by term depends we will need to compute on the convergence properties of the series. π π π a d = a cos n d = sin n d = (π) = πa, [ ] sin n π =, n [ ] cos n π =. (3.6) n
6 76 partial differential equations Note that a is the average of f () over the interval [, π]. Recall from the first semester of calculus, that the average of a function defined on [a, b] is given by fave = b f () d. a For f () defined on [, π], we have fave = π f () d = a π. From these results we see that only one term in the integrated sum does not vanish leaving π f () d = πa. This confirms the value for a. Net, we will find the epression for a n. We multiply the Fourier series (3.3) by cos m for some positive integer m. This is like multiplying by cos, cos 5, etc. We are multiplying by all possible cos m functions for different integers m all at the same time. We will see that this will allow us to solve for the a n s. We find the integrated sum of the series times cos m is given by π f () cos m d = + π a π cos m d [a n cos n + b n sin n] cos m d. (3.7) Integrating term by term, the right side becomes + [ π a n π π f () cos m d = a cos m d π ] cos n cos m d + b n sin n cos m d. (3.8) We have already established that π cos m d =, which implies that the first term vanishes. Net we need to compute integrals of products of sines and cosines. This requires that we make use of some of the trigonometric identities listed in Chapter. For quick reference, we list these here. Useful Trigonometric Identities sin( ± y) = sin cos y ± sin y cos (3.9) cos( ± y) = cos cos y sin sin y (3.) sin = ( cos ) (3.) cos = ( + cos ) (3.) sin sin y = (cos( y) cos( + y)) (3.3) cos cos y = (cos( + y) + cos( y)) (3.4) sin cos y = (sin( + y) + sin( y)) (3.5) We first want to evaluate π cos n cos m d. We do this by using the
7 trigonometric fourier series 77 product identity (3.4). We have π π cos n cos m d = [cos(m + n) + cos(m n)] d = [ ] sin(m + n) sin(m n) π + m + n m n =. (3.6) There is one caveat when doing such integrals. What if one of the denominators m ± n vanishes? For this problem m + n =, since both m and n are positive integers. However, it is possible for m = n. This means that the vanishing of the integral can only happen when m = n. So, what can we do about the m = n case? One way is to start from scratch with our integration. (Another way is to compute the limit as n approaches m in our result and use Hopital s Rule. Try it!) For n = m we have to compute π cos m d. This can also be handled using a trigonometric identity. Using the half angle formula, (3.), with θ = m, we find π π ( + cos m) d cos m d = = [ + sin m m ] π = (π) = π. (3.7) To summarize, we have shown that π cos n cos m d = {, m = n π, m = n. (3.8) This holds true for m, n =,,.... [Why did we include m, n =?] When we have such a set of functions, they are said to be an orthogonal set over the integration interval. A set of (real) functions {φ n ()} is said to be orthogonal on [a, b] if b a φ n()φ m () d = when n = m. Furthermore, if we also have that b a φ n() d =, these functions are called orthonormal. The set of functions {cos n} n= are orthogonal on [, π]. Actually, they are orthogonal on any interval of length π. We can make them orthonormal by dividing each function by π as indicated by Equation (3.7). This is sometimes referred to normalization of the set of functions. The notion of orthogonality is actually a generalization of the orthogonality of vectors in finite dimensional vector spaces. The integral b a f () f () d is the generalization of the dot product, and is called the scalar product of f () and g(), which are thought of as vectors in an infinite dimensional vector space spanned by a set of orthogonal functions. We will return to these ideas in the net chapter. Returning to the integrals in equation (3.8), we still have to evaluate π sin n cos m d. We can use the trigonometric identity involving products of sines and cosines, (3.5). Setting A = n and B = m, we find Definition of an orthogonal set of functions and orthonormal functions.
8 78 partial differential equations that π π sin n cos m d = [sin(n + m) + sin(n m)] d = [ ] cos(n + m) cos(n m) π + n + m n m = ( + ) + ( + ) =. (3.9) So, π sin n cos m d =. (3.) For these integrals we also should be careful about setting n = m. In this special case, we have the integrals π sin m cos m d = π sin m d = [ cos m m ] π =. Finally, we can finish evaluating the epression in Equation (3.8). We have determined that all but one integral vanishes. In that case, n = m. This leaves us with π f () cos m d = a m π. Solving for a m gives a m = π π f () cos m d. Since this is true for all m =,,..., we have proven this part of the theorem. The only part left is finding the b n s This will be left as an eercise for the reader. We now consider eamples of finding Fourier coefficients for given functions. In all of these cases we define f () on [, π]. Eample 3.. f () = 3 cos, [, π]. We first compute the integrals for the Fourier coefficients. a = π a n = π a = π b n = π π π π π 3 cos d =. 3 cos cos n d =, n =. 3 cos d = 3, 3 cos sin n d =, n. (3.) The integrals for a, a n, n =, and b n are the result of orthogonality. For a, the integral can be computed as follows: a = π π 3 cos d
9 trigonometric fourier series 79 = 3 π [ + cos 4] d π = 3 π + sin 4 4 }{{} This term vanishes! π = 3. (3.) Therefore, we have that the only nonvanishing coefficient is a = 3. So there is one term and f () = 3 cos. Well, we should have known the answer to the last eample before doing all of those integrals. If we have a function epressed simply in terms of sums of simple sines and cosines, then it should be easy to write down the Fourier coefficients without much work. This is seen by writing out the Fourier series, f () a + [a n cos n + b n sin n]. = a + a cos + b sin + +a cos + b sin (3.3) For the last problem, f () = 3 cos. Comparing this to the epanded Fourier series, one can immediately read off the Fourier coefficients without doing any integration. In the net eample we emphasize this point. Eample 3.. f () = sin, [, π]. We could determine the Fourier coefficients by integrating as in the last eample. However, it is easier to use trigonometric identities. We know that sin = ( cos ) = cos. There are no sine terms, so b n =, n =,,.... There is a constant term, implying a / = /. So, a =. There is a cos term, corresponding to n =, so a =. That leaves a n = for n =,. So, a =, a =, and all other Fourier coefficients vanish. {, < < π, Eample 3.3. f () =., π < < π, This eample will take a little more work. We cannot bypass evaluating any integrals this time. As seen in Figure 3.6, this function is discontinuous. So, we will break up any integration into two integrals, one over [, π] and the other over [π, π]. a = π = π π π f () d d + π π π ( ) d = π (π) + ( π + π) =. (3.4) π π π Figure 3.6: Plot of discontinuous function in Eample 3.3. a n = π π f () cos n d
10 8 partial differential equations = π = π [ π π cos n d π ) π [ ( sin n n ] cos n d ] ( sin n n ) π =. (3.5) π π b n = f () sin n d π = [ π π ] sin n d sin n d π π [ ( = ) π ( ) ] π cos n + cos n π n n π = [ n π cos nπ + n + n n ] cos nπ Often we see epressions involving cos nπ = ( ) n and ± cos nπ = ± ( ) n. This is an eample showing how to reinde series containing cos nπ. = ( cos nπ). (3.6) nπ We have found the Fourier coefficients for this function. Before inserting them into the Fourier series (3.3), we note that cos nπ = ( ) n. Therefore, {, n even cos nπ = (3.7), n odd. So, half of the b n s are zero. While we could write the Fourier series representation as f () 4 π sin n, n n odd we could let n = k in order to capture the odd numbers only. The answer can be written as f () = 4 sin(k ), π k k= Having determined the Fourier representation of a given function, we would like to know if the infinite series can be summed; i.e., does the series converge? Does it converge to f ()? We will discuss this question later in the chapter after we generalize the Fourier series to intervals other than for [, π]. 3.3 Fourier Series Over Other Intervals In many applications we are interested in determining Fourier series representations of functions defined on intervals other than [, π]. In this section we will determine the form of the series epansion and the Fourier coefficients in these cases. The most general type of interval is given as [a, b]. However, this often is too general. More common intervals are of the form [ π, π], [, ], or
11 trigonometric fourier series 8 [ /, /]. The simplest generalization is to the interval [, ]. Such intervals arise often in applications. For eample, for the problem of a one dimensional string of length we set up the aes with the left end at = and the right end at =. Similarly for the temperature distribution along a one dimensional rod of length we set the interval to [, π]. Such problems naturally lead to the study of Fourier series on intervals of length. We will see later that symmetric intervals, [ a, a], are also useful. Given an interval [, ], we could apply a transformation to an interval of length π by simply rescaling the interval. Then we could apply this transformation to the Fourier series representation to obtain an equivalent one useful for functions defined on [, ]. We define [, π] and t [, ]. A linear transformation relating these intervals is simply = πt as shown in Figure 3.7. So, t = maps to = and t = maps to = π. Furthermore, this transformation maps f () to a new function g(t) = f ((t)), which is defined on [, ]. We will determine the Fourier series representation of this function using the representation for f () from the last section. Recall the form of the Fourier representation for f () in Equation (3.3): t π Figure 3.7: A sketch of the transformation between intervals [, π] and t [, ]. f () a + [a n cos n + b n sin n]. (3.8) Inserting the transformation relating and t, we have g(t) a [ + a n cos nπt + b n sin nπt ]. (3.9) This gives the form of the series epansion for g(t) with t [, ]. But, we still need to determine the Fourier coefficients. Recall, that a n = π π f () cos n d. We need to make a substitution in the integral of = πt. We also will need to transform the differential, d = π dt. Thus, the resulting form for the Fourier coefficients is Similarly, we find that a n = b n = g(t) cos nπt g(t) sin nπt dt. (3.3) dt. (3.3) We note first that when = π we get back the series representation that we first studied. Also, the period of cos nπt is /n, which means that the representation for g(t) has a period of corresponding to n =. At the end of this section we present the derivation of the Fourier series representation for a general interval for the interested reader. In Table 3. we summarize some commonly used Fourier series representations. Integration of even and odd functions over symmetric intervals, [ a, a].
12 8 partial differential equations Even Functions. a y() Figure 3.8: Area under an even function on a symmetric interval, [ a, a]. Odd Functions. a At this point we need to remind the reader about the integration of even and odd functions on symmetric intervals. We first recall that f () is an even function if f ( ) = f () for all. One can recognize even functions as they are symmetric with respect to the yais as shown in Figure 3.8. If one integrates an even function over a symmetric interval, then one has that a a a f () d = f () d. (3.3) One can prove this by splitting off the integration over negative values of, using the substitution = y, and employing the evenness of f (). Thus, a a f () d = = = = a f () d + a a a a a f ( y) dy + f (y) dy + a f () d f () d f () d f () d. (3.33) This can be visually verified by looking at Figure 3.8. A similar computation could be done for odd functions. f () is an odd function if f ( ) = f () for all. The graphs of such functions are symmetric with respect to the origin as shown in Figure 3.9. If one integrates an odd function over a symmetric interval, then one has that a y() a a a f () d =. (3.34) Eample 3.4. et f () = on [ π, π] We compute the coefficients, beginning as usual with a. We have, using the fact that is an even function, Figure 3.9: Area under an odd function on a symmetric interval, [ a, a]. a = π = π π π π d d = π (3.35) We continue with the computation of the general Fourier coefficients for f () = on [ π, π]. We have a n = π π π cos n d = π π cos n d. (3.36) Here we have made use of the fact that cos n is an even function. In order to compute the resulting integral, we need to use integration by parts, b a u dv = uv b b v du, a by letting u = and dv = cos n d. Thus, du = d and v = dv = n sin n. a
13 trigonometric fourier series 83 Fourier Series on [, ] f () a [ + a n cos nπ + b n sin nπ ]. (3.37) Table 3.: Special Fourier Series Representations on Different Intervals a n = b n = Fourier Series on [, ] f () cos nπ f () sin nπ f () a [ + a n cos nπ d. n =,,,..., d. n =,,.... (3.38) + b n sin nπ ]. (3.39) a n = b n = f () cos nπ f () sin nπ d. n =,,,..., d. n =,,.... (3.4) Fourier Series on [ π, π] f () a + [a n cos n + b n sin n]. (3.4) a n = π b n = π π π π π f () cos n d. n =,,,..., f () sin n d. n =,,.... (3.4)
14 84 partial differential equations Continuing with the computation, we have π a n = cos n d. π = [ π n sin n π n = [ ] π nπ n cos n π ] sin n d = πn ( ( )n ). (3.43) Here we have used the fact that cos nπ = ( ) n for any integer n. This leads to a factor ( ( ) n ). This factor can be simplified as { ( ) n, n odd =, n even. (3.44) So, a n = for n even and a n = 4 πn for n odd. Computing the b n s is simpler. We note that we have to integrate sin n from = π to π. The integrand is an odd function and this is a symmetric interval. So, the result is that b n = for all n. Putting this all together, the Fourier series representation of f () = on [ π, π] is given as f () π 4 π cos n n. (3.45) n odd While this is correct, we can rewrite the sum over only odd n by reindeing. We let n = k for k =,, 3,.... Then we only get the odd integers. The series can then be written as f () π 4 π cos(k ) (k ) k=. (3.46) Throughout our discussion we have referred to such results as Fourier representations. We have not looked at the convergence of these series. Here is an eample of an infinite series of functions. What does this series sum to? We show in Figure 3. the first few partial sums. They appear to be converging to f () = fairly quickly. Even though f () was defined on [ π, π] we can still evaluate the Fourier series at values of outside this interval. In Figure 3., we see that the representation agrees with f () on the interval [ π, π]. Outside this interval we have a periodic etension of f () with period π. Another eample is the Fourier series representation of f () = on [ π, π] as left for Problem 7. This is determined to be f () ( ) n+ sin n. (3.47) n As seen in Figure 3. we again obtain the periodic etension of the function. In this case we needed many more terms. Also, the vertical parts of the
15 trigonometric fourier series 85 N = N = Figure 3.: Plot of the first partial sums of the Fourier series representation for f () = N = N = Figure 3.: Plot of the first terms of the Fourier series representation for f () = on the interval [ π, 4π] N = Figure 3.: Plot of the first terms and terms of the Fourier series representation for f () = on the interval [ π, 4π]. N =
16 86 partial differential equations first plot are noneistent. In the second plot we only plot the points and not the typical connected points that most software packages plot as the default style. Eample 3.5. It is interesting to note that one can use Fourier series to obtain sums of some infinite series. For eample, in the last eample we found that ( ) n+ sin n. n Now, what if we chose = π? Then, we have π = ( ) n+ sin nπ [ n = ] This gives a well known epression for π: π = 4 [ ] Fourier Series on [a, b] This section can be skipped on first reading. It is here for completeness and the end result, Theorem 3. provides the result of the section. A Fourier series representation is also possible for a general interval, t [a, b]. As before, we just need to transform this interval to [, π]. et = π t a. Inserting this into the Fourier series (3.3) representation for f () we obtain g(t) a [ ] + nπ(t a) nπ(t a) a n cos + b n sin. (3.48) Well, this epansion is ugly. It is not like the last eample, where the transformation was straightforward. If one were to apply the theory to applications, it might seem to make sense to just shift the data so that a = and be done with any complicated epressions. However, some students enjoy the challenge of developing such generalized epressions. So, let s see what is involved. First, we apply the addition identities for trigonometric functions and rearrange the terms. g(t) a + = a + ( + b n sin nπt = a + + sin nπt [ nπ(t a) a n cos + b n sin ] nπ(t a) ( [a n cos nπt nπa nπt nπa cos + sin sin )] [ cos nπt nπa cos nπt nπa cos sin ( a n cos nπa b n sin nπa ( a n sin nπa + b n cos nπa ) ) )]. (3.49)
17 trigonometric fourier series 87 Defining A = a and A n a n cos nπa b n sin nπa B n a n sin nπa + b n cos nπa, (3.5) we arrive at the more desirable form for the Fourier series representation of a function defined on the interval [a, b]. g(t) A [ + A n cos nπt + B n sin nπt ]. (3.5) We net need to find epressions for the Fourier coefficients. We insert the known epressions for a n and b n and rearrange. First, we note that under the transformation = π t a we have and π a n = π = π b n = π = b a b a b f () cos n d a g(t) cos f () cos n d g(t) sin nπ(t a) nπ(t a) dt, (3.5) dt. (3.53) Then, inserting these integrals in A n, combining integrals and making use of the addition formula for the cosine of the sum of two angles, we obtain A n a n cos nπa b n sin nπa b [ nπ(t a) = g(t) cos = a b A similar computation gives a cos nπa nπ(t a) sin sin nπa ] dt g(t) cos nπt dt. (3.54) B n = b Summarizing, we have shown that: a g(t) sin nπt dt. (3.55) Theorem 3.. The Fourier series representation of f () defined on [a, b] when it eists, is given by with Fourier coefficients f () a [ + a n cos nπ + b n sin nπ ]. (3.56) a n = b n = b a b a f () cos nπ d. n =,,,..., f () sin nπ d. n =,,.... (3.57)
18 88 partial differential equations 3.4 Sine and Cosine Series In the last two eamples ( f () = and f () = on [ π, π]) we have seen Fourier series representations that contain only sine or cosine terms. As we know, the sine functions are odd functions and thus sum to odd functions. Similarly, cosine functions sum to even functions. Such occurrences happen often in practice. Fourier representations involving just sines are called sine series and those involving just cosines (and the constant term) are called cosine series. Another interesting result, based upon these eamples, is that the original functions, and agree on the interval [, π]. Note from Figures that their Fourier series representations do as well. Thus, more than one series can be used to represent functions defined on finite intervals. All they need to do is to agree with the function over that particular interval. Sometimes one of these series is more useful because it has additional properties needed in the given application. We have made the following observations from the previous eamples:. There are several trigonometric series representations for a function defined on a finite interval.. Odd functions on a symmetric interval are represented by sine series and even functions on a symmetric interval are represented by cosine series. These two observations are related and are the subject of this section. We begin by defining a function f () on interval [, ]. We have seen that the Fourier series representation of this function appears to converge to a periodic etension of the function. In Figure 3.3 we show a function defined on [, ]. To the right is its periodic etension to the whole real ais. This representation has a period of =. The bottom left plot is obtained by first reflecting f about the y ais to make it an even function and then graphing the periodic etension of this new function. Its period will be =. Finally, in the last plot we flip the function about each ais and graph the periodic etension of the new odd function. It will also have a period of =. In general, we obtain three different periodic representations. In order to distinguish these we will refer to them simply as the periodic, even and odd etensions. Now, starting with f () defined on [, ], we would like to determine the Fourier series representations leading to these etensions. [For easy reference, the results are summarized in Table 3.] We have already seen from Table 3. that the periodic etension of f (), defined on [, ], is obtained through the Fourier series representation f () a [ + a n cos nπ + b n sin nπ ], (3.58)
19 trigonometric fourier series 89 f() f() on [,].5 3 Even Periodic Etension of f().5.5 f() Periodic Etension of f() Odd Periodic Etension of f() Figure 3.3: This is a sketch of a function and its various etensions. The original function f () is defined on [, ] and graphed in the upper left corner. To its right is the periodic etension, obtained by adding replicas. The two lower plots are obtained by first making the original function even or odd and then creating the periodic etensions of the new function. f() f() where a n = b n = f () cos nπ f () sin nπ d. n =,,,..., d. n =,,.... (3.59) Given f () defined on [, ], the even periodic etension is obtained by simply computing the Fourier series representation for the even function { f (), < <, f e () (3.6) f ( ) < <. Since f e () is an even function on a symmetric interval [, ], we epect that the resulting Fourier series will not contain sine terms. Therefore, the series epansion will be given by [Use the general case in (3.56) with a = and b =.]: f e () a + a n cos nπ. (3.67) with Fourier coefficients a n = f e () cos nπ d. n =,,,.... (3.68) However, we can simplify this by noting that the integrand is even and the interval of integration can be replaced by [, ]. On this interval f e () = f (). So, we have the Cosine Series Representation of f () for [, ] is given as f () a + a n cos nπ. (3.69) where a n = f () cos nπ d. n =,,,.... (3.7) Even periodic etension. Fourier Cosine Series.
20 9 partial differential equations Table 3.: Fourier Cosine and Sine Series Representations on [, ] Fourier Series on [, ] f () a + [ a n cos nπ + b n sin nπ ]. (3.6) a n = b n = Fourier Cosine Series on [, ] where a n = f () cos nπ f () sin nπ f () a / + Fourier Sine Series on [, ] f () cos nπ f () d. n =,,,..., d. n =,,.... (3.6) a n cos nπ. (3.63) d. n =,,,.... (3.64) b n sin nπ. (3.65) where b n = f () sin nπ d. n =,,.... (3.66)
21 trigonometric fourier series 9 Similarly, given f () defined on [, ], the odd periodic etension is Odd periodic etension. obtained by simply computing the Fourier series representation for the odd function f o () { f (), < <, f ( ) < <. (3.7) The resulting series epansion leads to defining the Sine Series Representation of f () for [, ] as where b n = f () b n sin nπ. (3.7) f () sin nπ d. n =,,.... (3.73) Eample 3.6. In Figure 3.3 we actually provided plots of the various etensions of the function f () = for [, ]. et s determine the representations of the periodic, even and odd etensions of this function. For a change, we will use a CAS (Computer Algebra System) package to do the integrals. In this case we can use Maple. A general code for doing this for the periodic etension is shown in Table 3.3. Eample 3.7. Periodic Etension  Trigonometric Fourier Series Using the code in Table 3.3, we have that a = 3, a n =, and b n π n = nπ. Thus, the resulting series is given as f () [ ] 3 + n cos nπ sin nπ. π nπ In Figure 3.4 we see the sum of the first 5 terms of this series. Generally, we see that the series seems to be converging to the periodic etension of f. There appear to be some problems with the convergence around integer values of. We will later see that this is because of the discontinuities in the periodic etension and the resulting overshoot is referred to as the Gibbs phenomenon which is discussed in the last section of this chapter. Fourier Sine Series Representation. Figure 3.4: The periodic etension of f () = on [, ]
22 9 partial differential equations Table 3.3: Maple code for computing Fourier coefficients and plotting partial sums of the Fourier series. > restart: > :=: > f:=^: > assume(n,integer): > a:=/*int(f,=..); a := /3 > an:=/*int(f*cos(*n*pi*/),=..); an := n~ Pi > bn:=/*int(f*sin(*n*pi*/),=..); bn := n~ Pi > F:=a/+sum((/(k*Pi)^)*cos(*k*Pi*/) /(k*pi)*sin(*k*pi*/),k=..5): > plot(f,=..3,title= Periodic Etension, titlefont=[times,roman,4],font=[times,roman,4]); Eample 3.8. Even Periodic Etension  Cosine Series In this case we compute a = 3 and a n = 4( )n. Therefore, we have n π f () ( ) π n n cos nπ. In Figure 3.5 we see the sum of the first 5 terms of this series. In this case the convergence seems to be much better than in the periodic etension case. We also see that it is converging to the even etension. Figure 3.5: The even periodic etension of f () = on [, ]
23 trigonometric fourier series 93 Eample 3.9. Odd Periodic Etension  Sine Series Finally, we look at the sine series for this function. We find that Therefore, b n = n 3 π 3 (n π ( ) n ( ) n + ). f () π 3 n 3 (n π ( ) n ( ) n + ) sin nπ. Once again we see discontinuities in the etension as seen in Figure 3.6. However, we have verified that our sine series appears to be converging to the odd etension as we first sketched in Figure 3.3. Figure 3.6: The odd periodic etension of f () = on [, ] Solution of the Heat Equation We started this chapter seeking solutions of initialboundary value problems involving the heat equation and the wave equation. In particular, we found the general solution for the problem of heat flow in a one dimensional rod of length with fied zero temperature ends. The problem was given by PDE u t = ku, < t,, IC u(, ) = f (), < <, (3.74) BC u(, t) =, t >, u(, t) =, t >. We found the solution using separation of variables. This resulted in a sum over various product solutions: u(, t) = b n e kλnt sin nπ, where ( nπ λ n = ).
24 94 partial differential equations This equation satisfies the boundary conditions. However, we had only gotten to state initial condition using this solution. Namely, f () = u(, ) = b n sin nπ. We were left with having to determine the constants b n. Once we know them, we have the solution. Now we can get the Fourier coefficients when we are given the initial condition, f (). They are given by b n = f () sin nπ d, n =,,.... We consider a couple of eamples with different initial conditions. Eample 3.. Consider the solution of the heat equation with f () = sin and = π. In this case the solution takes the form u(, t) = b n e kλnt sin n. However, the initial condition takes the form of the first term in the epansion; i.e., the n = term. So, we need not carry out the integral because we can immediately write b = and b n =, n =, 3,.... Therefore, the solution consists of just one term, u(, t) = e kt sin. In Figure 3.7 we see that how this solution behaves for k = and t [, ]. Figure 3.7: The evolution of the initial condition f () = sin for = π and k =. Eample 3.. Consider solutions of the heat equation with f () = ( ) and =.
25 trigonometric fourier series 95 where This eample requires a bit more work. The solution takes the form u(, t) = b n e n π kt sin nπ, b n = f () sin nπ d. This integral is easily computed using integration by parts b n = = ( ) sin nπ d [ ( ) = { n π = = = ( )] cos nπ + ( ) cos nπ d nπ nπ } [( ) sin nπ] + sin nπ d 4 n 3 π 3 [cos nπ] 4 (cos nπ ) π3 { n 3, n even 8, n 3 π 3 n odd. (3.75) So, we have that the solution can be written as u(, t) = 8 π 3 l= (l ) 3 e (l ) π kt sin(l )π. In Figure 3.8 we see that how this solution behaves for k = and t [, ]. Twenty terms were used. We see that this solution diffuses much faster than in the last eample. Most of the terms damp out quickly as the solution asymptotically approaches the first term. Figure 3.8: The evolution of the initial condition f () = ( ) for = and k =.
26 96 partial differential equations 3.6 Finite ength Strings We now return to the physical eample of wave propagation in a string. We found that the general solution can be represented as a sum over product solutions. We will restrict our discussion to the special case that the initial velocity is zero and the original profile is given by u(, ) = f (). The solution is then satisfying u(, t) = A n sin nπ cos nπct f () = (3.76) A n sin nπ. (3.77) We have seen that the Fourier sine series coefficients are given by A n = f () sin nπ d. (3.78) We can rewrite this solution in a more compact form. First, we define the wave numbers, k n = nπ, n =,,..., and the angular frequencies, ω n = ck n = nπc. Then, the product solutions take the form sin k n cos ω n t. Using trigonometric identities, these products can be written as sin k n cos ω n t = [sin(k n + ω n t) + sin(k n ω n t)]. Inserting this epression in the solution, we have u(, t) = A n [sin(k n + ω n t) + sin(k n ω n t)]. (3.79) Since ω n = ck n, we can put this into a more suggestive form: ] u(, t) = [ A n sin k n ( + ct) + A n sin k n ( ct). (3.8) The solution of the wave equation can be written as the sum of right and left traveling waves. We see that each sum is simply the sine series for f () but evaluated at either + ct or ct. Thus, the solution takes the form u(, t) = [ f ( + ct) + f ( ct)]. (3.8) If t =, then we have u(, ) = [ f () + f ()] = f (). So, the solution satisfies the initial condition. At t =, the sum has a term f ( c).
27 trigonometric fourier series 97 Recall from your mathematics classes that this is simply a shifted version of f (). Namely, it is shifted to the right. For general times, the function is shifted by ct to the right. For larger values of t, this shift is further to the right. The function (wave) shifts to the right with velocity c. Similarly, f ( + ct) is a wave traveling to the left with velocity c. Thus, the waves on the string consist of waves traveling to the right and to the left. However, the story does not stop here. We have a problem when needing to shift f () across the boundaries. The original problem only defines f () on [, ]. If we are not careful, we would think that the function leaves the interval leaving nothing left inside. However, we have to recall that our sine series representation for f () has a period of. So, before we apply this shifting, we need to account for its periodicity. In fact, being a sine series, we really have the odd periodic etension of f () being shifted. The details of such analysis would take us too far from our current goal. However, we can illustrate this with a few figures. We begin by plucking a string of length. This can be represented by the function { a a f () = a a (3.8) where the string is pulled up one unit at = a. This is shown in Figure 3.9. Net, we create an odd function by etending the function to a period of. This is shown in Figure 3.. Finally, we construct the periodic etension of this to the entire line. In Figure 3. we show in the lower part of the figure copies of the periodic etension, one moving to the right and the other moving to the left. (Actually, the copies are f ( ± ct).) The top plot is the sum of these solutions. The physical string lies in the interval [,]. Of course, this is better seen when the solution is animated. The time evolution for this plucked string is shown for several times in Figure 3.. This results in a wave that appears to reflect from the ends as time increases. The relation between the angular frequency and the wave number, ω = ck, is called a dispersion relation. In this case ω depends on k linearly. If one knows the dispersion relation, then one can find the wave speed as c = ω k. In this case, all of the harmonics travel at the same speed. In cases where they do not, we have nonlinear dispersion, which we will discuss later. f () a Figure 3.9: The initial profile for a string of length one plucked at = a. f ()  a a Figure 3.: Odd etension about the right end of a plucked string. Figure 3.: Summing the odd periodic etensions. The lower plot shows copies of the periodic etension, one moving to the right and the other moving to the left. The upper plot is the sum. 3.7 The Gibbs Phenomenon We have seen the Gibbs phenomenon when there is a jump discontinuity in the periodic etension of a function, whether the function originally had a discontinuity or developed one due to a mismatch in the values of the endpoints. This can be seen in Figures 3., 3.4 and 3.6. The Fourier series has a difficult time converging at the point of discontinuity and these graphs of the Fourier series show a distinct overshoot which does not go
28 98 partial differential equations Figure 3.: This Figure shows the plucked string at si successive times. t = t =. 3 The Gibbs phenomenon was named after Josiah Willard Gibbs (83993) even though it was discovered earlier by the Englishman Henry Wilbraham (85883). Wilbraham published a soon forgotten paper about the effect in 848. In 889 Albert Abraham Michelson (8593), an American physicist,observed an overshoot in his mechanical graphing machine. Shortly afterwards J. Willard Gibbs published papers describing this phenomenon, which was later to be called the Gibbs phenomena. Gibbs was a mathematical physicist and chemist and is considered the father of physical chemistry. t =. t =.4 away. This is called the Gibbs phenomenon 3 and the amount of overshoot can be computed. In one of our first eamples, Eample 3.3, we found the Fourier series representation of the piecewise defined function f () = { t =.3 t =.5, < < π,, π < < π, to be f () 4 π k= sin(k ). k Figure 3.3: The Fourier series representation of a step function on [ π, π] for N = In Figure 3.3 we display the sum of the first ten terms. Note the wiggles, overshoots and under shoots. These are seen more when we plot the representation for [ 3π, 3π], as shown in Figure 3.4. We note that the overshoots and undershoots occur at discontinuities in the periodic etension of f (). These occur whenever f () has a disconti
29 trigonometric fourier series 99 Figure 3.4: The Fourier series representation of a step function on [ π, π] for N = plotted on [ 3π, 3π] displaying the periodicity nuity or if the values of f () at the endpoints of the domain do not agree. Figure 3.5: The Fourier series representation of a step function on [ π, π] for N = One might epect that we only need to add more terms. In Figure 3.5 we show the sum for twenty terms. Note the sum appears to converge better for points far from the discontinuities. But, the overshoots and undershoots are still present. In Figures 3.6 and 3.7 show magnified plots of the overshoot at = for N = and N = 5, respectively. We see that the overshoot persists. The peak is at about the same height, but its location seems to be getting closer to the origin. We will show how one can estimate the size of the overshoot. We can study the Gibbs phenomenon by looking at the partial sums of general Fourier trigonometric series for functions f () defined on the interval [, ]. Writing out the partial sums, inserting the Fourier coefficients and rearranging, we have S N () = a + N [ a n cos nπ + b n sin nπ ] Figure 3.6: The Fourier series representation of a step function on [ π, π] for N = Figure 3.7: The Fourier series representation of a step function on [ π, π] for N = 5.
30 partial differential equations = f (y) dy + ( + = { + = N We have defined N f (y) sin nπy ( cos nπy { N + cos nπ cos D N (y ) f (y) dy [( ) dy. nπ(y ) f (y) cos nπy sin nπ ] + sin nπy } ) dy cos nπ nπ ) } sin f (y) dy f (y) dy D N () = N + cos nπ, which is called the Nth Dirichlet kernel. We now prove emma 3.. The Nth Dirichlet kernel is given by sin((n+ ) π ) D N () = sin π, sin π =, N +, π sin =. Proof. et θ = π and multiply D N() by sin θ to obtain: sin θ D N() = sin θ [ ] + cos θ + + cos Nθ = sin θ + cos θ sin θ + cos θ sin θ + + cos Nθ sin θ = sin θ ( + sin 3θ sin θ ) ( + sin 5θ ) 3θ sin + [ ( + sin N + ) ( θ sin N ) ] θ ( = sin N + ) θ. (3.83) Thus, If sin θ =, then sin θ ( D N() = sin N + ) θ. ( ) D N () = sin N + sin θ θ, θ = π.
31 trigonometric fourier series If sin θ =, then one needs to apply Hospital s Rule as θ mπ: ( ) ) N + θ θ sin lim θ mπ sin θ (N + (N = ) cos + lim θ mπ cos θ = (N + ) cos (mπn + mπ) cos mπ = (N + )(cos mπn cos mπ sin mπn sin mπ) cos mπ = N +. (3.84) We further note that D N () is periodic with period and is an even function. So far, we have found that the Nth partial sum is given by S N () = Making the substitution ξ = y, we have S N () = = D N (y ) f (y) dy. (3.85) D N (ξ) f (ξ + ) dξ D N (ξ) f (ξ + ) dξ. (3.86) In the second integral we have made use of the fact that f () and D N () are periodic with period and shifted the interval back to [, ]. We now write the integral as the sum of two integrals over positive and negative values of ξ and use the fact that D N () is an even function. Then, S N () = = D N (ξ) f (ξ + ) dξ + D N (ξ) f (ξ + ) dξ [ f ( ξ) + f (ξ + )] D N (ξ) dξ. (3.87) We can use this result to study the Gibbs phenomenon whenever it occurs. In particular, we will only concentrate on the earlier eample. For this case, we have for S N () = π π [ f ( ξ) + f (ξ + )] D N (ξ) dξ (3.88) D N () = + N cos n. Also, one can show that, ξ <, f ( ξ) + f (ξ + ) =, ξ < π,, π ξ < π.
32 partial differential equations Thus, we have S N () = π = π D N (ξ) dξ π D N (z) dz + π π π D N (ξ) dξ D N (π z) dz. (3.89) Here we made the substitution z = π ξ in the second integral. The Dirichlet kernel for = π is given by D N () = sin(n + ) sin. For N large, we have N + N, and for small, we have sin. So, under these assumptions, Therefore, D N () sin N. S N () π sin Nξ ξ dξ for large N, and small. If we want to determine the locations of the minima and maima, where the undershoot and overshoot occur, then we apply the first derivative test for etrema to S N (). Thus, d d S N() = sin N =. π The etrema occur for N = mπ, m = ±, ±,.... One can show that there is a maimum at = π/n and a minimum for = π/n. The value for the overshoot can be computed as S N (π/n) = π = π π/n π = π Si(π) sin t t sin Nξ dξ ξ dt = (3.9) Note that this value is independent of N and is given in terms of the sine integral, sin t Si() dt. t Problems. Write y(t) = 3 cos t 4 sin t in the form y(t) = A cos(π f t + φ).
f x a 0 n 1 a 0 a 1 cos x a 2 cos 2x a 3 cos 3x b 1 sin x b 2 sin 2x b 3 sin 3x a n cos nx b n sin nx n 1 f x dx y
Fourier Series When the French mathematician Joseph Fourier (768 83) was tring to solve a problem in heat conduction, he needed to epress a function f as an infinite series of sine and cosine functions:
More information1 Review of complex numbers
1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely
More informationMTH 3005  Calculus I Week 8: Limits at Infinity and Curve Sketching
MTH 35  Calculus I Week 8: Limits at Infinity and Curve Sketching Adam Gilbert Northeastern University January 2, 24 Objectives. After reviewing these notes the successful student will be prepared to
More informationG. GRAPHING FUNCTIONS
G. GRAPHING FUNCTIONS To get a quick insight int o how the graph of a function looks, it is very helpful to know how certain simple operations on the graph are related to the way the function epression
More informationPOLYNOMIAL FUNCTIONS
POLYNOMIAL FUNCTIONS Polynomial Division.. 314 The Rational Zero Test.....317 Descarte s Rule of Signs... 319 The Remainder Theorem.....31 Finding all Zeros of a Polynomial Function.......33 Writing a
More informationn th roots of complex numbers
n th roots of complex numbers Nathan Pflueger 1 October 014 This note describes how to solve equations of the form z n = c, where c is a complex number. These problems serve to illustrate the use of polar
More informationSome Notes on Taylor Polynomials and Taylor Series
Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited
More informationTaylor Polynomials and Taylor Series Math 126
Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will
More informationChapter 4. Polynomial and Rational Functions. 4.1 Polynomial Functions and Their Graphs
Chapter 4. Polynomial and Rational Functions 4.1 Polynomial Functions and Their Graphs A polynomial function of degree n is a function of the form P = a n n + a n 1 n 1 + + a 2 2 + a 1 + a 0 Where a s
More informationRepresentation of functions as power series
Representation of functions as power series Dr. Philippe B. Laval Kennesaw State University November 9, 008 Abstract This document is a summary of the theory and techniques used to represent functions
More informationTaylor Series and Asymptotic Expansions
Taylor Series and Asymptotic Epansions The importance of power series as a convenient representation, as an approimation tool, as a tool for solving differential equations and so on, is pretty obvious.
More information4.1 Radian and Degree Measure
Date: 4.1 Radian and Degree Measure Syllabus Objective: 3.1 The student will solve problems using the unit circle. Trigonometry means the measure of triangles. Terminal side Initial side Standard Position
More informationLab M1: The Simple Pendulum
Lab M1: The Simple Pendulum Introduction. The simple pendulum is a favorite introductory exercise because Galileo's experiments on pendulums in the early 1600s are usually regarded as the beginning of
More informationContents. 6 Graph Sketching 87. 6.1 Increasing Functions and Decreasing Functions... 87. 6.2 Intervals Monotonically Increasing or Decreasing...
Contents 6 Graph Sketching 87 6.1 Increasing Functions and Decreasing Functions.......................... 87 6.2 Intervals Monotonically Increasing or Decreasing....................... 88 6.3 Etrema Maima
More informationSection 64 Product Sum and Sum Product Identities
480 6 TRIGONOMETRIC IDENTITIES AND CONDITIONAL EQUATIONS Section 64 Product Sum and Sum Product Identities Product Sum Identities Sum Product Identities Our work with identities is concluded by developing
More informationUnified Lecture # 4 Vectors
Fall 2005 Unified Lecture # 4 Vectors These notes were written by J. Peraire as a review of vectors for Dynamics 16.07. They have been adapted for Unified Engineering by R. Radovitzky. References [1] Feynmann,
More information3.5 Summary of Curve Sketching
3.5 Summary of Curve Sketching Follow these steps to sketch the curve. 1. Domain of f() 2. and y intercepts (a) intercepts occur when f() = 0 (b) yintercept occurs when = 0 3. Symmetry: Is it even or
More informationAbout the Gamma Function
About the Gamma Function Notes for Honors Calculus II, Originally Prepared in Spring 995 Basic Facts about the Gamma Function The Gamma function is defined by the improper integral Γ) = The integral is
More informationSecond Order Linear Nonhomogeneous Differential Equations; Method of Undetermined Coefficients. y + p(t) y + q(t) y = g(t), g(t) 0.
Second Order Linear Nonhomogeneous Differential Equations; Method of Undetermined Coefficients We will now turn our attention to nonhomogeneous second order linear equations, equations with the standard
More informationSIGNAL PROCESSING & SIMULATION NEWSLETTER
1 of 10 1/25/2008 3:38 AM SIGNAL PROCESSING & SIMULATION NEWSLETTER Note: This is not a particularly interesting topic for anyone other than those who ar e involved in simulation. So if you have difficulty
More informationCore Maths C2. Revision Notes
Core Maths C Revision Notes November 0 Core Maths C Algebra... Polnomials: +,,,.... Factorising... Long division... Remainder theorem... Factor theorem... 4 Choosing a suitable factor... 5 Cubic equations...
More information4.4 Concavity and Curve Sketching
Concavity and Curve Sketching Section Notes Page We can use the second derivative to tell us if a graph is concave up or concave down To see if something is concave down or concave up we need to look at
More information6.8 Taylor and Maclaurin s Series
6.8. TAYLOR AND MACLAURIN S SERIES 357 6.8 Taylor and Maclaurin s Series 6.8.1 Introduction The previous section showed us how to find the series representation of some functions by using the series representation
More informationObjectives. By the time the student is finished with this section of the workbook, he/she should be able
QUADRATIC FUNCTIONS Completing the Square..95 The Quadratic Formula....99 The Discriminant... 0 Equations in Quadratic Form.. 04 The Standard Form of a Parabola...06 Working with the Standard Form of a
More informationAPPLICATIONS OF DIFFERENTIATION
4 APPLICATIONS OF DIFFERENTIATION APPLICATIONS OF DIFFERENTIATION So far, we have been concerned with some particular aspects of curve sketching: Domain, range, and symmetry (Chapter 1) Limits, continuity,
More informationAn Introduction to Partial Differential Equations
An Introduction to Partial Differential Equations Andrew J. Bernoff LECTURE 2 Cooling of a Hot Bar: The Diffusion Equation 2.1. Outline of Lecture An Introduction to Heat Flow Derivation of the Diffusion
More informationPDE and BoundaryValue Problems Winter Term 2014/2015
PDE and BoundaryValue Problems Winter Term 2014/2015 Lecture 15 Saarland University 12. Januar 2015 c Daria Apushkinskaya (UdS) PDE and BVP lecture 15 12. Januar 2015 1 / 42 Purpose of Lesson To show
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More information106 Chapter 5 Curve Sketching. If f(x) has a local extremum at x = a and. THEOREM 5.1.1 Fermat s Theorem f is differentiable at a, then f (a) = 0.
5 Curve Sketching Whether we are interested in a function as a purely mathematical object or in connection with some application to the real world, it is often useful to know what the graph of the function
More informationStanford Math Circle: Sunday, May 9, 2010 SquareTriangular Numbers, Pell s Equation, and Continued Fractions
Stanford Math Circle: Sunday, May 9, 00 SquareTriangular Numbers, Pell s Equation, and Continued Fractions Recall that triangular numbers are numbers of the form T m = numbers that can be arranged in
More informationLearning Objectives for Math 165
Learning Objectives for Math 165 Chapter 2 Limits Section 2.1: Average Rate of Change. State the definition of average rate of change Describe what the rate of change does and does not tell us in a given
More informationMath 2250 Exam #1 Practice Problem Solutions. g(x) = x., h(x) =
Math 50 Eam # Practice Problem Solutions. Find the vertical asymptotes (if any) of the functions g() = + 4, h() = 4. Answer: The only number not in the domain of g is = 0, so the only place where g could
More informationIntegrating algebraic fractions
Integrating algebraic fractions Sometimes the integral of an algebraic fraction can be found by first epressing the algebraic fraction as the sum of its partial fractions. In this unit we will illustrate
More informationy cos 3 x dx y cos 2 x cos x dx y 1 sin 2 x cos x dx
Trigonometric Integrals In this section we use trigonometric identities to integrate certain combinations of trigonometric functions. We start with powers of sine and cosine. EXAMPLE Evaluate cos 3 x dx.
More informationCorrelation and Convolution Class Notes for CMSC 426, Fall 2005 David Jacobs
Correlation and Convolution Class otes for CMSC 46, Fall 5 David Jacobs Introduction Correlation and Convolution are basic operations that we will perform to extract information from images. They are in
More informationPRINCIPLES OF PROBLEM SOLVING
PRINCIPLES OF PROBLEM SOLVING There are no hard and fast rules that will ensure success in solving problems. However, it is possible to outline some general steps in the problemsolving process and to
More informationTrigonometry Lesson Objectives
Trigonometry Lesson Unit 1: RIGHT TRIANGLE TRIGONOMETRY Lengths of Sides Evaluate trigonometric expressions. Express trigonometric functions as ratios in terms of the sides of a right triangle. Use the
More informationComplex Numbers Basic Concepts of Complex Numbers Complex Solutions of Equations Operations on Complex Numbers
Complex Numbers Basic Concepts of Complex Numbers Complex Solutions of Equations Operations on Complex Numbers Identify the number as real, complex, or pure imaginary. 2i The complex numbers are an extension
More informationD.3. Angles and Degree Measure. Review of Trigonometric Functions
APPENDIX D Precalculus Review D7 SECTION D. Review of Trigonometric Functions Angles and Degree Measure Radian Measure The Trigonometric Functions Evaluating Trigonometric Functions Solving Trigonometric
More informationTrigonometric functions and sound
Trigonometric functions and sound The sounds we hear are caused by vibrations that send pressure waves through the air. Our ears respond to these pressure waves and signal the brain about their amplitude
More informationFourier Analysis and its applications
Fourier Analysis and its applications Fourier analysis originated from the study of heat conduction: Jean Baptiste Joseph Fourier (17681830) Fourier analysis enables a function (signal) to be decomposed
More informationMathematics 31 Precalculus and Limits
Mathematics 31 Precalculus and Limits Overview After completing this section, students will be epected to have acquired reliability and fluency in the algebraic skills of factoring, operations with radicals
More informationSolutions to Homework 10
Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x
More informationSine and Cosine Series; Odd and Even Functions
Sine and Cosine Series; Odd and Even Functions A sine series on the interval [, ] is a trigonometric series of the form k = 1 b k sin πkx. All of the terms in a series of this type have values vanishing
More informationLimit processes are the basis of calculus. For example, the derivative. f f (x + h) f (x)
SEC. 4.1 TAYLOR SERIES AND CALCULATION OF FUNCTIONS 187 Taylor Series 4.1 Taylor Series and Calculation of Functions Limit processes are the basis of calculus. For example, the derivative f f (x + h) f
More informationRoots and Coefficients of a Quadratic Equation Summary
Roots and Coefficients of a Quadratic Equation Summary For a quadratic equation with roots α and β: Sum of roots = α + β = and Product of roots = αβ = Symmetrical functions of α and β include: x = and
More informationINVERSE TRIGONOMETRIC FUNCTIONS
Mathematics, in general, is fundamentally the science of selfevident things. FELIX KLEIN. Introduction In Chapter, we have studied that the inverse of a function f, denoted by f, eists if f is oneone
More informationSection 10.7 Parametric Equations
299 Section 10.7 Parametric Equations Objective 1: Defining and Graphing Parametric Equations. Recall when we defined the x (rcos(θ), rsin(θ)) and ycoordinates on a circle of radius r as a function of
More informationExamination paper for Solutions to Matematikk 4M and 4N
Department of Mathematical Sciences Examination paper for Solutions to Matematikk 4M and 4N Academic contact during examination: Trygve K. Karper Phone: 99 63 9 5 Examination date:. mai 04 Examination
More informationSolutions of Linear Equations in One Variable
2. Solutions of Linear Equations in One Variable 2. OBJECTIVES. Identify a linear equation 2. Combine like terms to solve an equation We begin this chapter by considering one of the most important tools
More informationSection 63 DoubleAngle and HalfAngle Identities
63 DoubleAngle and HalfAngle Identities 47 Section 63 DoubleAngle and HalfAngle Identities DoubleAngle Identities HalfAngle Identities This section develops another important set of identities
More information7.7 Solving Rational Equations
Section 7.7 Solving Rational Equations 7 7.7 Solving Rational Equations When simplifying comple fractions in the previous section, we saw that multiplying both numerator and denominator by the appropriate
More informationReview of Fundamental Mathematics
Review of Fundamental Mathematics As explained in the Preface and in Chapter 1 of your textbook, managerial economics applies microeconomic theory to business decision making. The decisionmaking tools
More informationAlgebra. Exponents. Absolute Value. Simplify each of the following as much as possible. 2x y x + y y. xxx 3. x x x xx x. 1. Evaluate 5 and 123
Algebra Eponents Simplify each of the following as much as possible. 1 4 9 4 y + y y. 1 5. 1 5 4. y + y 4 5 6 5. + 1 4 9 10 1 7 9 0 Absolute Value Evaluate 5 and 1. Eliminate the absolute value bars from
More information1 Error in Euler s Method
1 Error in Euler s Method Experience with Euler s 1 method raises some interesting questions about numerical approximations for the solutions of differential equations. 1. What determines the amount of
More information4.6 GRAPHS OF OTHER TRIGONOMETRIC FUNCTIONS. Copyright Cengage Learning. All rights reserved.
4.6 GRAPHS OF OTHER TRIGONOMETRIC FUNCTIONS Copyright Cengage Learning. All rights reserved. What You Should Learn Sketch the graphs of tangent functions. Sketch the graphs of cotangent functions. Sketch
More informationLecture L3  Vectors, Matrices and Coordinate Transformations
S. Widnall 16.07 Dynamics Fall 2009 Lecture notes based on J. Peraire Version 2.0 Lecture L3  Vectors, Matrices and Coordinate Transformations By using vectors and defining appropriate operations between
More informationChapter 17. Orthogonal Matrices and Symmetries of Space
Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length
More informationAnalog and Digital Signals, Time and Frequency Representation of Signals
1 Analog and Digital Signals, Time and Frequency Representation of Signals Required reading: Garcia 3.1, 3.2 CSE 3213, Fall 2010 Instructor: N. Vlajic 2 Data vs. Signal Analog vs. Digital Analog Signals
More informationCHAPTER 3 Numbers and Numeral Systems
CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,
More informationRational functions are defined for all values of x except those for which the denominator hx ( ) is equal to zero. 1 Function 5 Function
Section 4.6 Rational Functions and Their Graphs Definition Rational Function A rational function is a function of the form that h 0. f g h where g and h are polynomial functions such Objective : Finding
More informationParabolic Equations. Chapter 5. Contents. 5.1.2 WellPosed InitialBoundary Value Problem. 5.1.3 Time Irreversibility of the Heat Equation
7 5.1 Definitions Properties Chapter 5 Parabolic Equations Note that we require the solution u(, t bounded in R n for all t. In particular we assume that the boundedness of the smooth function u at infinity
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationLinear Algebra Notes for Marsden and Tromba Vector Calculus
Linear Algebra Notes for Marsden and Tromba Vector Calculus ndimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of
More informationStudent Performance Q&A:
Student Performance Q&A: 2008 AP Calculus AB and Calculus BC FreeResponse Questions The following comments on the 2008 freeresponse questions for AP Calculus AB and Calculus BC were written by the Chief
More informationSouth Carolina College and CareerReady (SCCCR) PreCalculus
South Carolina College and CareerReady (SCCCR) PreCalculus Key Concepts Arithmetic with Polynomials and Rational Expressions PC.AAPR.2 PC.AAPR.3 PC.AAPR.4 PC.AAPR.5 PC.AAPR.6 PC.AAPR.7 Standards Know
More informationChapter 11  Curve Sketching. Lecture 17. MATH10070  Introduction to Calculus. maths.ucd.ie/modules/math10070. Kevin Hutchinson.
Lecture 17 MATH10070  Introduction to Calculus maths.ucd.ie/modules/math10070 Kevin Hutchinson 28th October 2010 Z Chain Rule (I): If y = f (u) and u = g(x) dy dx = dy du du dx Z Chain rule (II): d dx
More informationCore Maths C1. Revision Notes
Core Maths C Revision Notes November 0 Core Maths C Algebra... Indices... Rules of indices... Surds... 4 Simplifying surds... 4 Rationalising the denominator... 4 Quadratic functions... 4 Completing the
More informationSecond Order Linear Partial Differential Equations. Part I
Second Order Linear Partial Differential Equations Part I Second linear partial differential equations; Separation of Variables;  point boundary value problems; Eigenvalues and Eigenfunctions Introduction
More informationPythagorean Triples. Chapter 2. a 2 + b 2 = c 2
Chapter Pythagorean Triples The Pythagorean Theorem, that beloved formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the
More informationTHE SINE PRODUCT FORMULA AND THE GAMMA FUNCTION
THE SINE PRODUCT FORMULA AND THE GAMMA FUNCTION ERICA CHAN DECEMBER 2, 2006 Abstract. The function sin is very important in mathematics and has many applications. In addition to its series epansion, it
More informationAnalyzing the Graph of a Function
SECTION A Summar of Curve Sketching 09 0 00 Section 0 0 00 0 Different viewing windows for the graph of f 5 7 0 Figure 5 A Summar of Curve Sketching Analze and sketch the graph of a function Analzing the
More informationThe Method of Partial Fractions Math 121 Calculus II Spring 2015
Rational functions. as The Method of Partial Fractions Math 11 Calculus II Spring 015 Recall that a rational function is a quotient of two polynomials such f(x) g(x) = 3x5 + x 3 + 16x x 60. The method
More informationGeorgia Department of Education Kathy Cox, State Superintendent of Schools 7/19/2005 All Rights Reserved 1
Accelerated Mathematics 3 This is a course in precalculus and statistics, designed to prepare students to take AB or BC Advanced Placement Calculus. It includes rational, circular trigonometric, and inverse
More informationANALYTICAL METHODS FOR ENGINEERS
UNIT 1: Unit code: QCF Level: 4 Credit value: 15 ANALYTICAL METHODS FOR ENGINEERS A/601/1401 OUTCOME  TRIGONOMETRIC METHODS TUTORIAL 1 SINUSOIDAL FUNCTION Be able to analyse and model engineering situations
More informationStudent Performance Q&A:
Student Performance Q&A: AP Calculus AB and Calculus BC FreeResponse Questions The following comments on the freeresponse questions for AP Calculus AB and Calculus BC were written by the Chief Reader,
More information1.10 Using Figure 1.6, verify that equation (1.10) satisfies the initial velocity condition. t + ") # x (t) = A! n. t + ") # v(0) = A!
1.1 Using Figure 1.6, verify that equation (1.1) satisfies the initial velocity condition. Solution: Following the lead given in Example 1.1., write down the general expression of the velocity by differentiating
More informationCalculus C/Multivariate Calculus Advanced Placement G/T Essential Curriculum
Calculus C/Multivariate Calculus Advanced Placement G/T Essential Curriculum UNIT I: The Hyperbolic Functions basic calculus concepts, including techniques for curve sketching, exponential and logarithmic
More information1.7 Graphs of Functions
64 Relations and Functions 1.7 Graphs of Functions In Section 1.4 we defined a function as a special type of relation; one in which each xcoordinate was matched with only one ycoordinate. We spent most
More informationA Summary of Curve Sketching. Analyzing the Graph of a Function
0_00.qd //0 :5 PM Page 09 SECTION. A Summar of Curve Sketching 09 0 00 Section. 0 0 00 0 Different viewing windows for the graph of f 5 7 0 Figure. 5 A Summar of Curve Sketching Analze and sketch the graph
More informationPolynomial and Rational Functions
Polynomial and Rational Functions Quadratic Functions Overview of Objectives, students should be able to: 1. Recognize the characteristics of parabolas. 2. Find the intercepts a. x intercepts by solving
More informationScientific Programming
1 The wave equation Scientific Programming Wave Equation The wave equation describes how waves propagate: light waves, sound waves, oscillating strings, wave in a pond,... Suppose that the function h(x,t)
More informationLIMITS AND CONTINUITY
LIMITS AND CONTINUITY 1 The concept of it Eample 11 Let f() = 2 4 Eamine the behavior of f() as approaches 2 2 Solution Let us compute some values of f() for close to 2, as in the tables below We see from
More informationEquations and Inequalities
Rational Equations Overview of Objectives, students should be able to: 1. Solve rational equations with variables in the denominators.. Recognize identities, conditional equations, and inconsistent equations.
More informationSolutions to Linear Algebra Practice Problems
Solutions to Linear Algebra Practice Problems. Find all solutions to the following systems of linear equations. (a) x x + x 5 x x x + x + x 5 (b) x + x + x x + x + x x + x + 8x Answer: (a) We create the
More informationImplicit Differentiation
Revision Notes 2 Calculus 1270 Fall 2007 INSTRUCTOR: Peter Roper OFFICE: LCB 313 [EMAIL: roper@math.utah.edu] Standard Disclaimer These notes are not a complete review of the course thus far, and some
More informationDefinition of Vertical Asymptote The line x = a is called a vertical asymptote of f (x) if at least one of the following is true: f (x) =
Vertical Asymptotes Definition of Vertical Asymptote The line x = a is called a vertical asymptote of f (x) if at least one of the following is true: lim f (x) = x a lim f (x) = lim x a lim f (x) = x a
More informationNEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS
NEW YORK STATE TEACHER CERTIFICATION EXAMINATIONS TEST DESIGN AND FRAMEWORK September 2014 Authorized for Distribution by the New York State Education Department This test design and framework document
More informationLies My Calculator and Computer Told Me
Lies My Calculator and Computer Told Me 2 LIES MY CALCULATOR AND COMPUTER TOLD ME Lies My Calculator and Computer Told Me See Section.4 for a discussion of graphing calculators and computers with graphing
More informationHOMEWORK 4 SOLUTIONS. All questions are from Vector Calculus, by Marsden and Tromba
HOMEWORK SOLUTIONS All questions are from Vector Calculus, by Marsden and Tromba Question :..6 Let w = f(x, y) be a function of two variables, and let x = u + v, y = u v. Show that Solution. By the chain
More information2 Complex Functions and the CauchyRiemann Equations
2 Complex Functions and the CauchyRiemann Equations 2.1 Complex functions In onevariable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More informationCore Maths C3. Revision Notes
Core Maths C Revision Notes October 0 Core Maths C Algebraic fractions... Cancelling common factors... Multipling and dividing fractions... Adding and subtracting fractions... Equations... 4 Functions...
More informationAN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion
More informationCHAPTER 8: ACUTE TRIANGLE TRIGONOMETRY
CHAPTER 8: ACUTE TRIANGLE TRIGONOMETRY Specific Expectations Addressed in the Chapter Explore the development of the sine law within acute triangles (e.g., use dynamic geometry software to determine that
More informationChapter 24 Physical Pendulum
Chapter 4 Physical Pendulum 4.1 Introduction... 1 4.1.1 Simple Pendulum: Torque Approach... 1 4. Physical Pendulum... 4.3 Worked Examples... 4 Example 4.1 Oscillating Rod... 4 Example 4.3 Torsional Oscillator...
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationIntroduction to Diophantine Equations
Introduction to Diophantine Equations Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles September, 2006 Abstract In this article we will only touch on a few tiny parts of the field
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationMATH SOLUTIONS TO PRACTICE FINAL EXAM. (x 2)(x + 2) (x 2)(x 3) = x + 2. x 2 x 2 5x + 6 = = 4.
MATH 55 SOLUTIONS TO PRACTICE FINAL EXAM x 2 4.Compute x 2 x 2 5x + 6. When x 2, So x 2 4 x 2 5x + 6 = (x 2)(x + 2) (x 2)(x 3) = x + 2 x 3. x 2 4 x 2 x 2 5x + 6 = 2 + 2 2 3 = 4. x 2 9 2. Compute x + sin
More informationMechanics 1: Conservation of Energy and Momentum
Mechanics : Conservation of Energy and Momentum If a certain quantity associated with a system does not change in time. We say that it is conserved, and the system possesses a conservation law. Conservation
More information