Maple Duhamel | Convolution | Integral

Classroom Tips and Techniques: A First Look at Convolution

Robert J. Lopez Emeritus Professor of Mathematics and Maple Fellow Maplesoft This document summarizes a presentation of the concept of convolution in the Laplace transform portion of an introductory course in differential equations. The document mode in which this summary is written hides most of the input devices used for creating the learning objects found here. The output can be removed (Edit/Remove Output/From Worksheet) and restored calculation-by-calculation, but the (math) cursor needs to be positioned by hand at the end of each input command. Piecewise functions have been predefined, and graphs have been pre-computed in the auto-execute region below. This device hides all the extraneous information not pertinent to the flow of the presentation. Of course, all this information can be exposed by expanding the various document blocks containing the hidden materials. The conceptual content of the presentation centers on the definition of the convolution integral. An animation is used to provide an intuitive understanding of what the convolution integral does, and two computational devices are presented for evaluating the convolution. For elementary functions such as e K t and sin t , the convolution integral is easily evaluated in Maple. After all, it's just a definite integral. For piecewise-defined functions, the convolution integral contains entangled conditional statements that easily become too complex for even Maple to unravel unaided. In this case, we show how to interpret the integration process in the framework of integration. Alternatively, we show that use of the convolution theorem for Laplace transforms leads to an immediate evaluation of the convolution for functions amenable to Maple's laplace and invlaplace commands. Maple has been initialized We begin by defining two piecewise functions and displaying their graphs.


2 0 0 1 2 3 The following table contains a definition of the convolution integral.f t 0 t eK g t t!0 t!1 t!2 (1) 0 sin t 0 t!0 t!π otherwise (2) 0 P 1 0. The Convolution Integral t f*g t = 0 f t Kx g x dx P1 P2 2 .6 0.8 0. followed by graphical tools for interpreting this definition.4 0.

then decreases back to zero. The area under this integrand. The product of f t K x with g x . a reflection across the y-axis of the graph of f x .8 0. This is the integrand of the convolution integral.4 0. This particular animation shows that the amount of green starts out as zero.2 t = 0. For more insight into this particular convolution. Consequently. We begin with the direct approach shown below. On the right is an animation.6 0. is given by the thick blue curve.1 1 0. is the value of the convolution integral for each fixed value of t. and (in red).2 0.) This animation shows (in red). this approach to the convolution integral gives the intuitive result that the convolution of f t and g t will be a unimodal function with a single maximum.6 0. K 2 K 1 0 1 x 2 0 0 1 2 x 3 The figure on the left shows (in blue) the graph of f x . f t K x for a progression of t-values. (Click on the figure to expose the animation tool-bar at the top of the Maple window. itself shown in black. shaded in green. Thus. the graph of f Kx .8 0.4 0. increases. and f t K x is its reflection across the y-axis. we need to determine the exact value of the convolution integral. Evaluating the Convolution Integral t t 0 f t Kx g x dx 0 t eK C x t Kx ! 0 t Kx ! 1 t Kx ! 2 0 sin x 0 x !0 x !π otherwise dx 0 0 Maple is unable to evaluate the convolution integral because the implied inequalities defining the domain of integr 3 . f x K t is a translation (to the right) of the graph of f x .

the convolution integral defines the following piecewise function. we note that the integrand is nonzero exactly when the inequalities t Kx R0 t Kx !1 x R0 x!π are satisfied.inequalities. a graphical representation of the feasible set is shaded in green in the following figure P3 5 4 3 t 2 1 0 0 1 2 x For fixed t. In the xt-plane. 3 4 5 4 .

t e 0 t K t Kx sin x dx t %1 1 K 1 1 t e K cos t C sin t 2 2 2 1 K 1 K 1 1 1 1 e cos t K1 K e sin t K1 K cos t C sin t 2 2 2 2 1 2 e t K1 e FG := t K1 π K t Kx sin x dx t %π e t K1 K t Kx sin x dx t % 1 Cπ t R 1 Cπ cos t K1 Ke t K1 sin t K1 Ce π e K t 0 0 A graph of the convolution so computed is shown below.5 0. plot FG.3 0.2Pi 0.4 0. t = 0 . it can be a tedious task to obtain a convolution by directly evaluating its defining 5 4 5 6 ..2 0.1 0 0 1 2 3 t Graph of the convolution f t * g t As we have just seen.6 0.

The Convolution Theorem F s G s =L f t *g t The convolution theorem states that the Laplace transform of a convolution is the product of the transforms of the theorem is written as f t *g t =L K1 F s G s we can obtain the convolution of f t and g t by inverting the product of the transforms of the factors f t and g author in his differential equations courses at the Rose-Hulman Institute of Technology. t. 6 . s . Many convolutions met in the introductory differential equations courses can be evaluated more easily via the following device. t : simplify convert fg. non-profit use only. t.definite integral. Contact the author for permission if you wish to use this application in for-profit activities. s. s laplace g t . fg := invlaplace laplace f t . which show simplify FG K fg 0 Legal Notice: The copyright for this application is owned by the author(s). It always surprised him th settled for the graphical approach captured in the animation given earlier. This application is intended for non-commercial. piecewise 1 K 1 1 e tK cos t C sin t 2 2 2 1 K 1 K 1 1 e 1 cos t K1 K e 1 sin t K1 K cos t C sin t 2 2 2 2 1 πKt 1 K 1 K e C e 1 cos t K1 K e 1 sin t K1 2 2 2 0 t%1 t%π t%π C π C1 That the two calculations of the convolution are equivalent is established by the following calculation. Neither Maplesoft nor the author are responsible for any errors contained within and are not liable for any damages resulting from the use of this material.

Sign up to vote on this title
UsefulNot useful