Fourier Sin and Cos Series and Least Squares Convergence
|
|
- Pamela Dixon
- 5 years ago
- Views:
Transcription
1 Fourier and east Squares Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University May 7, 28
2 Outline
3 et s look at the original Fourier sin series and Fourier Cosine Series. These are ( ( 2 iπ iπ FS(x = f (x, sin x sin x and FC(x = < f, > + ( ( 2 iπ iπ f (x, cos x cos x. To understand the convergence of the Fourier Sine Series on [, ] we extend f from [, ] to [, 2] as an odd function and then use the convergence analysis we have already completed on the interval [, 2] to infer convergence of the Fourier Sine Series on [, ]. Then to understand the convergence of the Fourier Cosine Series on [, ] we extend f from [, ] to [, 2] as an even function and then use the convergence analysis we have already completed on the interval [, 2] to infer convergence of the Fourier Cosine Series on [, ].
4 et f be defined only on the interval [, ]. Extend f to be an odd function f o on [, 2] as follows: f o (x = { f (x, x, f (2 x, < x 2. Then extend f o periodically as usual to ˆf o. The Fourier coefficient for the sin terms are then 2 f o (t sin t dt = f (t sin t dt + 2 ( f (2 t s Consider the second integration. Making the change of variable y = 2 t, we find 2 ( f (2 t sin t dt = ( iπ ( f (y sin (2 y ( dy
5 But iπ (2 y = 2iπ iπ y and since sin function is 2π periodic, we have ( iπ ( f (y sin (2 y dy = ( f (y sin ( y ( dy = f (y sin (y dy. This is the same as the first integral. Hence, we have shown 2 f o (t sin t dt = 2 f (t sin t dt. The terms corresponding to the cos parts will all then be zero. The argument is straightforward. For i >, 2 f o (t cos t dt = + 2 ( iπ ( f (2 t cos t ( iπ f (t cos t dt. dt
6 Consider the second integration. Making the change of variable y = 2 t, we find 2 ( f (2 t cos t dt = ( iπ ( f (y cos (2 y ( dy. Again, iπ (2 y = 2iπ iπ y and since cos term 2π periodic and cos is an even function, we have 2 ( f (2 t cos t dt = f (y cos y dy f (y cos y dy which is the negative of the first integral. So all of these coefficients are zero. The case i = is 2 f o (tdt = because f is odd on this interval.
7 Thus, all the cos based terms in the Fourier series vanish. The Fourier series on the interval [, 2] of the odd extension f o becomes the standard Fourier sine series on the interval [, ] of the function f. We know this converges to f (x at each point x where f is differentiable and converges to the average 2 (f (x + + f (x at each point x where f satisfies lim y x ± f (y exists. Note because the sin functions are always at the endpoints and, this series must converge to at those points. et s look at the Fourier cos series. et f be defined only on the interval [, ]. Extend f to be an even function f e on [, 2] as follows: f e (x = { f (x, x, f (2 x, < x 2. Then extend f e periodically as usual to ˆf e.
8 The Fourier coefficient for the sin terms are now 2 f e (t sin t dt = f (t sin t dt + 2 f (2 t sin t dt. Consider the second integration. Making the change of variable y = 2 t, we find 2 f (2 t sin t dt = = ( iπ f (y sin ( iπ f (y sin ( y (2 y ( dy dy. However, sin is an odd function and thus the second integral is the negative of the first and these coefficients vanish.
9 Next, consider the first Fourier cos coefficient. This is 2 2 f e (tdt = 2 = 2 f (tdt + f (tdt + 2 f (2 tdt f (y( dy = f (tdt. Now let s look at the other cos based coefficients. We have 2 f e (t cos t dt = f (t cos t dt + 2 f (2 t cos t dt.
10 Consider the second integration. Making the change of variable y = 2 t, we find 2 f (2 t cos t dt = = ( iπ f (y cos (2 y ( dy ( iπ f (y cos (2 y dy Again, iπ (2 y = 2iπ iπ y and since cos term 2π periodic and cos is an even function, we have 2 ( f (2 t cos t dt = f (y cos y dy This is the same as the first integral.
11 Thus, the Fourier series on the interval [, 2] of the even extension f e becomes the standard Fourier cosine series on the interval [, ] of the function f < f, ˆv i > ˆv i = < f (x, > + ( ( 2 iπ iπ f (x, cos x cos x. i= We know this series converges to f (x at each point x where f is differentiable and converges to the average 2 (f (x + + f (x at each point x where f satisfies lim y x ± f (y exists.
12 In addition to the pointwise convergence and uniform convergence of sequences and series of functions, we can add the idea of least squares convergence which is the same as convergence with respect to 2 on C([a, b]. Definition et {u n } be a sequence of integrable functions defined on the interval [a, b] We say S n converges in least squares to the integrable function u on [a, b] if given a positive ɛ, there is a positive integer N so that b n > N = a u n(t u(t 2 dt < ɛ. This is the same as saying given a positive ɛ, there is a positive integer N so that n > N = u n u 2 < ɛ. We denote this by u n 2 u.
13 We can also define the least squares convergence of a series of functions as follows: Definition et {u n } be a sequence of integrable functions defined on the interval [a, b] and let {S n } be the associated sequence of partial sums. We say S n converges in least squares to the integrable function S on [a, b] if given a positive ɛ, there is a positive integer N (depending on ɛ only so that b n > N = a S n (t S(t 2 dt < ɛ. This is the same as saying given a positive ɛ, there is a positive integer N so that n > N = S n S 2 < ɛ. We denote this by S n 2 S.
14 et s do some estimates. Assume we have a function f extended periodically on the interval [, 2] to ˆf as usual with Fourier series S(x = < f, > ( ( ( 2 iπ iπ + f (x, sin x sin x + 2 ( iπ f (x, cos and using b = < f, >, b n = 2 ( a n = 2 iπ f (x, sin x as usual, we can write ( S(x = b + a i sin x x ( iπ f (x, cos x and ( iπ + b i cos x. ( iπ cos x Now if we assume f exists in [, 2], the Fourier series of f converges to f at each point and ( ( ( iπ iπ f (x = b + a i sin x + b i cos x.
15 et S n be the n th partial sum of the series above. Then assuming 2 f 2 (xdx is finite, we have ( < f b a i sin x ( f b a j sin x j= ( iπ + b i cos x, ( jπ + b j cos x > ( ( iπ As usual, we let u i (x = sin x iπ and v i (x = cos x with v (x =. Then, we can rewrite this as < f b v (x f b v (x (a i u i (x + b i v i, (a j u j (x + b j v j (x > j=
16 Thus, we find, after a lot of manipulation f b v (x (a i u i (x + b i v i (x 2 = < f, f > 2b < f, v > +b 2 < v, v > 2 a i < f, u i > 2 b i < f, v i > + ai 2 < u i, u i > + bi 2 < v i, v i > i= because all the cross terms vanish. Hence, since < f, v i >= b i and < f, u i >= a i we have f b v (x (a i u i (x + b i v i 2 = < f, f > b 2 ai 2 b 2 i
17 We conclude that b 2 + (ai 2 + bi 2 f 2 This tells us that the series of positive terms, b 2 + (a2 i + b 2 i converges. et s look at the derivative of this series next. et s assume f is differentiable on [, 2] and we extend f periodically as well. We can calculate the Fourier series of f like usual. Now this series converges to f, if we assume f exists on [, 2]. Then we know the Fourier series of f converges pointwise to f (x at each point x. However, we can calculate the derivative Fourier series directly.
18 et the Fourier series of f (x be T (x. Then T (x = 2 < f, > ( ( ( iπ iπ + f (x, sin x sin x + ( iπ f (x, cos x The first coefficient is 2 < f, > = (f (2 f ( 2 Now let s consider the other Fourier coefficients carefully. We can rewrite each coefficient using integration by parts to find, ( iπ f (x, cos x = 2 = (f (x cos ( iπ x 2 ( iπ f (x, cos + iπ 2 dx x ( iπ f (x sin x dx
19 ( iπ f (x, sin x = 2 = (f (x sin ( iπ x 2 ( iπ f (x, sin iπ 2 dx x ( iπ f (x cos x A little thought shows we can rewrite this as ( ( iπ f (x, cos x = ( 2iπ f (2 cos = ( f (2 f ( + iπ a i ( ( iπ f (x, sin x = ( 2iπ f (2 sin f ( cos f ( sin dx ( iπ ( π + iπ a i iπ b i
20 Now if we assume f (2 = f (, these reduce to 2 < f, > = (f (2 f ( = ( 2 iπ f (x, cos x = ( f (2 f ( + iπ a i = iπ a i ( iπ f (x, sin x = iπ b i Hence, if f is periodic, we find ( T (x = πi b i sin x + πi ( iπ a i cos x. This is the same result we would have found if we differentiated the Fourier series for f term by term. So we conclude that the Fourier series of f can be found be differentiating the Fourier series for f term by term and we know it converges to f (x at points where f exists.
21 We can apply the derivation we did above for f to the series expansion for f we have just found. Assuming f is integrable, we find ˆb 2 + (âi 2 + ˆb i 2 f 2 where here ˆb =, â i = πi b i and ˆb i = πi a i. Hence, we have π 2 2 i 2 (ai 2 + bi 2 f 2 We are almost at the point where we can see circumstances where the Fourier series expansion of f converges uniformly to f on the interval [, 2]. We assume f is continuous and periodic on [, 2] and that f exists. Further assume f is integrable. Hence, we know the Fourier series of f exists and converges to f (x.
22 From our earlier arguments, if f has Fourier series ( ( ( iπ iπ f (x = b + a i sin x + b i cos x. then we know for all n π 2 2 i 2 (ai 2 + bi 2 f 2 et s look at the partial sums of absolute values. b + a i sin x + b i cos x = b + = b + ( iπ a i sin x + ( iπ i a i i sin x + b i cos x ( iπ i b i i cos x.
23 et T n denote the n th partial sum here. Then, the difference of the n th and m th partial sum for m > n gives m ( iπ m ( T m (x T n (x = i a i i sin x iπ + i b i i cos x. i=n+ i=n+ Now apply our analogue of the Cauchy - Schwartz inequality for series. m ( T m (x T n (x i a i ( iπ m ( sin i x + i b i ( x iπ cos i i=n+ i=n+ m m ( i 2 a i 2 iπ 2 sin x + i=n+ m i=n+ m i=n+ i 2 b i 2 i 2 a i 2 i 2 i=n+ m i 2 i=n+ m i=n+ ( iπ 2 cos x i 2 + m i=n+ i 2 b i 2 m i=n+ i 2
24 Now each of the front pieces satisfy i 2 a 2 i 2 π 2 f 2, i 2 bi 2 2 π 2 f 2 Hence, T m(x T n (x m i=n+ 2 f π ( iπ (a i sin m i=n+ x i 2. + m i=n+ ( x iπ (b i cos Since the series (/i 2 converges, this says the sequence of partial this says (T n satisfies the UCC for series and so the sequence of partial sums converges to a function T which by uniqueness of limits must be f.
25 et s summarize this result. Theorem Given f on [, 2], assume f is continuous with f ( = f (2 and f exists. Further f is integrable on [, 2]. Then the Fourier series of f converges uniformly to f on [, 2].
26 Homework 3 (( 3. Show the sequence of functions w N (x = sin N + π 2 t are mutually orthogonal with length /2 on [, 2]. 3.2 Find the odd periodic extension ˆf o and even periodic externsion ˆf e for f (t = t + 2 t 3 on [, 6]. Draw several cycles. 3.3 the function f is defined on [, ] = [, 3]. { 2, x 2 f (x =, 2 < x 3 Find its periodic extension to [, 6], odd periodic extension to [, 6] and its even periodic extension to [, 6]. Find the first four terms of the Fourier sin series on [, 3]. Find the first four terms of the Fourier cos series on [, 3].
Fourier Sin and Cos Series and Least Squares Convergence
Fourier Sin and Cos Series and east Squares Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University December 4, 208 Outline Sin and Cos
More informationConvergence of Fourier Series
MATH 454: Analysis Two James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April, 8 MATH 454: Analysis Two Outline The Cos Family MATH 454: Analysis
More informationMore Series Convergence
More Series Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University December 4, 218 Outline Convergence Analysis for Fourier Series Revisited
More informationMore Least Squares Convergence and ODEs
More east Squares Convergence and ODEs James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April 12, 219 Outline Fourier Sine and Cosine Series
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3
More informationDifferentiating Series of Functions
Differentiating Series of Functions James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 30, 017 Outline 1 Differentiating Series Differentiating
More informationDerivatives and the Product Rule
Derivatives and the Product Rule James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline 1 Differentiability 2 Simple Derivatives
More informationUniform Convergence Examples
Uniform Convergence Examples James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 13, 2017 Outline 1 Example Let (x n ) be the sequence
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 Geometric Series
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle
More informationCable Convergence. James K. Peterson. May 7, Department of Biological Sciences and Department of Mathematical Sciences Clemson University
Cable Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University May 7, 2018 Outline 1 Fourier Series Convergence Redux 2 Fourier Series
More informationUniform Convergence Examples
Uniform Convergence Examples James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 13, 2017 Outline More Uniform Convergence Examples Example
More informationThe First Derivative and Second Derivative Test
The First Derivative and Second Derivative Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April 9, 2018 Outline 1 Extremal Values 2
More informationThe First Derivative and Second Derivative Test
The First Derivative and Second Derivative Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 8, 2017 Outline Extremal Values The
More informationConvergence of Sequences
James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 2 Homework Definition Let (a n ) n k be a sequence of real numbers.
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2017 Outline Geometric Series The
More informationIntegration and Differentiation Limit Interchange Theorems
Integration and Differentiation Limit Interchange Theorems James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University March 11, 2018 Outline 1 A More
More informationMATH 124B: HOMEWORK 2
MATH 24B: HOMEWORK 2 Suggested due date: August 5th, 26 () Consider the geometric series ( ) n x 2n. (a) Does it converge pointwise in the interval < x
More informationDirchlet s Function and Limit and Continuity Arguments
Dirchlet s Function and Limit and Continuity Arguments James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 23, 2018 Outline 1 Dirichlet
More informationConvergence of Sequences
Convergence of Sequences James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline Convergence of Sequences Definition Let
More informationUniform Convergence and Series of Functions
Uniform Convergence and Series of Functions James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 7, 017 Outline Uniform Convergence Tests
More informationExamples of the Fourier Theorem (Sect. 10.3). The Fourier Theorem: Continuous case.
s of the Fourier Theorem (Sect. 1.3. The Fourier Theorem: Continuous case. : Using the Fourier Theorem. The Fourier Theorem: Piecewise continuous case. : Using the Fourier Theorem. The Fourier Theorem:
More informationFourier series
11.1-11.2. Fourier series Yurii Lyubarskii, NTNU September 5, 2016 Periodic functions Function f defined on the whole real axis has period p if Properties f (t) = f (t + p) for all t R If f and g have
More informationDerivatives in 2D. Outline. James K. Peterson. November 9, Derivatives in 2D! Chain Rule
Derivatives in 2D James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 9, 2016 Outline Derivatives in 2D! Chain Rule Let s go back to
More informationHölder s and Minkowski s Inequality
Hölder s and Minkowski s Inequality James K. Peterson Deartment of Biological Sciences and Deartment of Mathematical Sciences Clemson University Setember 10, 2018 Outline 1 Conjugate Exonents 2 Hölder
More informationHölder s and Minkowski s Inequality
Hölder s and Minkowski s Inequality James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 1, 218 Outline Conjugate Exponents Hölder s
More informationLinear Systems of ODE: Nullclines, Eigenvector lines and trajectories
Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 6, 203 Outline
More information5.4 Continuity: Preliminary Notions
5.4. CONTINUITY: PRELIMINARY NOTIONS 181 5.4 Continuity: Preliminary Notions 5.4.1 Definitions The American Heritage Dictionary of the English Language defines continuity as an uninterrupted succession,
More informationLinear Systems of ODE: Nullclines, Eigenvector lines and trajectories
Linear Systems of ODE: Nullclines, Eigenvector lines and trajectories James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 6, 2013 Outline
More informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline 1 Domains of Continuous Functions 2 The
More informationWaves on 2 and 3 dimensional domains
Chapter 14 Waves on 2 and 3 dimensional domains We now turn to the studying the initial boundary value problem for the wave equation in two and three dimensions. In this chapter we focus on the situation
More informationFourier Series Code. James K. Peterson. April 9, Department of Biological Sciences and Department of Mathematical Sciences Clemson University
Fourier Series Code James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April 9, 2018 Outline 1 We will need to approximate Fourier series expansions
More informationDerivatives and the Product Rule
Derivatives an the Prouct Rule James K. Peterson Department of Biological Sciences an Department of Mathematical Sciences Clemson University January 28, 2014 Outline Differentiability Simple Derivatives
More information1 A complete Fourier series solution
Math 128 Notes 13 In this last set of notes I will try to tie up some loose ends. 1 A complete Fourier series solution First here is an example of the full solution of a pde by Fourier series. Consider
More informationDefining Exponential Functions and Exponential Derivatives and Integrals
Defining Exponential Functions and Exponential Derivatives and Integrals James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 19, 2014
More informationPeriodic functions: simple harmonic oscillator
Periodic functions: simple harmonic oscillator Recall the simple harmonic oscillator (e.g. mass-spring system) d 2 y dt 2 + ω2 0y = 0 Solution can be written in various ways: y(t) = Ae iω 0t y(t) = A cos
More informationVariation of Parameters
Variation of Parameters James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University April 13, 218 Outline Variation of Parameters Example One We eventually
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 12, 2017 Outline Mathematical Induction Simple POMI Examples
More informationGeneral Power Series
General Power Series James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University March 29, 2018 Outline Power Series Consequences With all these preliminaries
More informationThe Method of Laplace Transforms.
The Method of Laplace Transforms. James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University May 25, 217 Outline 1 The Laplace Transform 2 Inverting
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More informationMathematical Induction Again
Mathematical Induction Again James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 2, 207 Outline Mathematical Induction 2 Simple POMI Examples
More informationAntiderivatives! Outline. James K. Peterson. January 28, Antiderivatives. Simple Fractional Power Antiderivatives
Antiderivatives! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline Antiderivatives Simple Fractional Power Antiderivatives
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES In section 11.9, we were able to find power series representations for a certain restricted class of functions. INFINITE SEQUENCES AND SERIES
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationMath 115 ( ) Yum-Tong Siu 1. Derivation of the Poisson Kernel by Fourier Series and Convolution
Math 5 (006-007 Yum-Tong Siu. Derivation of the Poisson Kernel by Fourier Series and Convolution We are going to give a second derivation of the Poisson kernel by using Fourier series and convolution.
More informationGeneral Inner Product and The Fourier Series
A Linear Algebra Approach Department of Mathematics University of Puget Sound 4-20-14 / Spring Semester Outline 1 2 Inner Product The inner product is an algebraic operation that takes two vectors and
More informationConstrained Optimization in Two Variables
in Two Variables James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 17, 216 Outline 1 2 What Does the Lagrange Multiplier Mean? Let
More informationPredator - Prey Model Trajectories and the nonlinear conservation law
Predator - Prey Model Trajectories and the nonlinear conservation law James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 28, 2013 Outline
More informationMathematics for Chemists 2 Lecture 14: Fourier analysis. Fourier series, Fourier transform, DFT/FFT
Mathematics for Chemists 2 Lecture 14: Fourier analysis Fourier series, Fourier transform, DFT/FFT Johannes Kepler University Summer semester 2012 Lecturer: David Sevilla Fourier analysis 1/25 Remembering
More informationLecture 16: Bessel s Inequality, Parseval s Theorem, Energy convergence
Introductory lecture notes on Partial Differential Equations - c Anthony Peirce. ot to be copied, used, or revised without explicit written permission from the copyright owner. ecture 6: Bessel s Inequality,
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationAntiderivatives! James K. Peterson. January 28, Department of Biological Sciences and Department of Mathematical Sciences Clemson University
! James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University January 28, 2014 Outline 1 2 Simple Fractional Power Abstract This lecture is going to talk
More informationMath 172 Problem Set 8 Solutions
Math 72 Problem Set 8 Solutions Problem. (i We have (Fχ [ a,a] (ξ = χ [ a,a] e ixξ dx = a a e ixξ dx = iξ (e iax e iax = 2 sin aξ. ξ (ii We have (Fχ [, e ax (ξ = e ax e ixξ dx = e x(a+iξ dx = a + iξ where
More informationIntroduction to the FFT
Introduction to the FFT 1 Introduction Assume that we have a signal fx where x denotes time. We would like to represent fx as a linear combination of functions e πiax or, equivalently, sinπax and cosπax
More informationIntegration and Differentiation Limit Interchange Theorems
Integration and Differentiation Limit Interchange Theorems James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University March 11, 2018 Outline A More General
More informationDirchlet s Function and Limit and Continuity Arguments
Dirchlet s Function and Limit and Continuity Arguments James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 2, 2018 Outline Dirichlet
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More information23 Elements of analytic ODE theory. Bessel s functions
23 Elements of analytic ODE theory. Bessel s functions Recall I am changing the variables) that we need to solve the so-called Bessel s equation 23. Elements of analytic ODE theory Let x 2 u + xu + x 2
More informationSome Fun with Divergent Series
Some Fun with Divergent Series 1. Preliminary Results We begin by examining the (divergent) infinite series S 1 = 1 + 2 + 3 + 4 + 5 + 6 + = k=1 k S 2 = 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + 6 2 + = k=1 k 2 (i)
More informationUpper and Lower Bounds
James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University August 30, 2017 Outline 1 2 s 3 Basic Results 4 Homework Let S be a set of real numbers. We
More informationChapter 10: Partial Differential Equations
1.1: Introduction Chapter 1: Partial Differential Equations Definition: A differential equations whose dependent variable varies with respect to more than one independent variable is called a partial differential
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More informationConstrained Optimization in Two Variables
Constrained Optimization in Two Variables James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 17, 216 Outline Constrained Optimization
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More informationStrauss PDEs 2e: Section Exercise 4 Page 1 of 6
Strauss PDEs 2e: Section 5.3 - Exercise 4 Page of 6 Exercise 4 Consider the problem u t = ku xx for < x < l, with the boundary conditions u(, t) = U, u x (l, t) =, and the initial condition u(x, ) =, where
More informationConsequences of Continuity
Consequences of Continuity James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University October 4, 2017 Outline Domains of Continuous Functions The Intermediate
More informationMath 4263 Homework Set 1
Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationMath 121A: Homework 6 solutions
Math A: Homework 6 solutions. (a) The coefficients of the Fourier sine series are given by b n = π f (x) sin nx dx = x(π x) sin nx dx π = (π x) cos nx dx nπ nπ [x(π x) cos nx]π = n ( )(sin nx) dx + π n
More informationCS711008Z Algorithm Design and Analysis
CS711008Z Algorithm Design and Analysis Lecture 5 FFT and Divide and Conquer Dongbo Bu Institute of Computing Technology Chinese Academy of Sciences, Beijing, China 1 / 56 Outline DFT: evaluate a polynomial
More informationMath 489AB A Very Brief Intro to Fourier Series Fall 2008
Math 489AB A Very Brief Intro to Fourier Series Fall 8 Contents Fourier Series. The coefficients........................................ Convergence......................................... 4.3 Convergence
More information`an cos nπx. n 1. L `b
4 Fourier Series A periodic function on a range p,q may be decomposed into a sum of sinusoidal (sine or cosine) functions. This can be written as follows gpxq 1 2 a ` ř8 `b (4.1) The aim of this chapter
More informationPhysics 250 Green s functions for ordinary differential equations
Physics 25 Green s functions for ordinary differential equations Peter Young November 25, 27 Homogeneous Equations We have already discussed second order linear homogeneous differential equations, which
More informationBernoulli Polynomials
Chapter 4 Bernoulli Polynomials 4. Bernoulli Numbers The generating function for the Bernoulli numbers is x e x = n= B n n! xn. (4.) That is, we are to expand the left-hand side of this equation in powers
More informationMath Computer Lab 4 : Fourier Series
Math 227 - Computer Lab 4 : Fourier Series Dylan Zwick Fall 212 This lab should be a pretty quick lab. It s goal is to introduce you to one of the coolest ideas in mathematics, the Fourier series, and
More informationG: Uniform Convergence of Fourier Series
G: Uniform Convergence of Fourier Series From previous work on the prototypical problem (and other problems) u t = Du xx 0 < x < l, t > 0 u(0, t) = 0 = u(l, t) t > 0 u(x, 0) = f(x) 0 < x < l () we developed
More informationThe Existence of the Riemann Integral
The Existence of the Riemann Integral James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 18, 2018 Outline The Darboux Integral Upper
More informationClass Meeting # 2: The Diffusion (aka Heat) Equation
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 2: The Diffusion (aka Heat) Equation The heat equation for a function u(, x (.0.). Introduction
More informationPH.D. PRELIMINARY EXAMINATION MATHEMATICS
UNIVERSITY OF CALIFORNIA, BERKELEY SPRING SEMESTER 207 Dept. of Civil and Environmental Engineering Structural Engineering, Mechanics and Materials NAME PH.D. PRELIMINARY EXAMINATION MATHEMATICS Problem
More informationPredator - Prey Model Trajectories are periodic
Predator - Prey Model Trajectories are periodic James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 4, 2013 Outline 1 Showing The PP
More informationPart 3.3 Differentiation Taylor Polynomials
Part 3.3 Differentiation 3..3.1 Taylor Polynomials Definition 3.3.1 Taylor 1715 and Maclaurin 1742) If a is a fixed number, and f is a function whose first n derivatives exist at a then the Taylor polynomial
More informationCalculus II Practice Test Problems for Chapter 7 Page 1 of 6
Calculus II Practice Test Problems for Chapter 7 Page of 6 This is a set of practice test problems for Chapter 7. This is in no way an inclusive set of problems there can be other types of problems on
More informationIn this section we extend the idea of Fourier analysis to multivariate functions: that is, functions of more than one independent variable.
7in x 1in Felder c9_online.tex V - January 24, 215 2: P.M. Page 9 9.8 Multivariate Fourier Series 9.8 Multivariate Fourier Series 9 In this section we extend the idea of Fourier analysis to multivariate
More informationSection 7.5 Inner Product Spaces
Section 7.5 Inner Product Spaces With the dot product defined in Chapter 6, we were able to study the following properties of vectors in R n. ) Length or norm of a vector u. ( u = p u u ) 2) Distance of
More information22. Periodic Functions and Fourier Series
November 29, 2010 22-1 22. Periodic Functions and Fourier Series 1 Periodic Functions A real-valued function f(x) of a real variable is called periodic of period T > 0 if f(x + T ) = f(x) for all x R.
More informationCHAPTER 4 FOURIER SERIES S A B A R I N A I S M A I L
CHAPTER 4 FOURIER SERIES 1 S A B A R I N A I S M A I L Outline Introduction of the Fourier series. The properties of the Fourier series. Symmetry consideration Application of the Fourier series to circuit
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationMath 104: Homework 7 solutions
Math 04: Homework 7 solutions. (a) The derivative of f () = is f () = 2 which is unbounded as 0. Since f () is continuous on [0, ], it is uniformly continous on this interval by Theorem 9.2. Hence for
More informationFunction Composition and Chain Rules
Function Composition and s James K. Peterson Department of Biological Sciences and Department of Matematical Sciences Clemson University Marc 8, 2017 Outline 1 Function Composition and Continuity 2 Function
More informationJim Lambers ENERGY 281 Spring Quarter Lecture 5 Notes
Jim ambers ENERGY 28 Spring Quarter 27-8 ecture 5 Notes These notes are based on Rosalind Archer s PE28 lecture notes, with some revisions by Jim ambers. Fourier Series Recall that in ecture 2, when we
More informationThe Limit Inferior and Limit Superior of a Sequence
The Limit Inferior and Limit Superior of a Sequence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 13, 2018 Outline The Limit Inferior
More informationTaylor Polynomials. James K. Peterson. Department of Biological Sciences and Department of Mathematical Sciences Clemson University
James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 24, 2013 Outline 1 First Order Approximation s Second Order Approximations 2 Approximation
More informationMatrices and Vectors
Matrices and Vectors James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 11, 2013 Outline 1 Matrices and Vectors 2 Vector Details 3 Matrix
More information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More informationUniversity of Leeds, School of Mathematics MATH 3181 Inner product and metric spaces, Solutions 1
University of Leeds, School of Mathematics MATH 38 Inner product and metric spaces, Solutions. (i) No. If x = (, ), then x,x =, but x is not the zero vector. So the positive definiteness property fails
More informationTAYLOR AND MACLAURIN SERIES
TAYLOR AND MACLAURIN SERIES. Introduction Last time, we were able to represent a certain restricted class of functions as power series. This leads us to the question: can we represent more general functions
More informationComplex Numbers. Outline. James K. Peterson. September 19, Complex Numbers. Complex Number Calculations. Complex Functions
Complex Numbers James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 19, 2013 Outline Complex Numbers Complex Number Calculations Complex
More information