Chapter 2 – Laplace Transforms Chapter 2 – Laplace Transforms Goals To describe what Laplace transforms are To show one how to solve ODEs using Laplace transforms To show the necessity of using inverse Laplace transforms To show the method of partial fraction expansion for finding the inverse Laplace transform To explain what a transfer function is To explain the Final Value Theorem as a method of finding a system’s steady-state response The rôle of Laplace transforms in the age of Matlab/Simulink Control systems are used to control the behavior of mechanical, fluid, electrical, and other types of physical systems. These systems exhibit specific behavior over time that follows the dictates of physical laws, such as Newton’s Second Law, Kirchhoff’s Laws, flow continuity, etc. The application of such physical laws to the system at hand results usually in a linear ordinary differential equation as an expression of the behavior of the system over time. The solution to the ODE is the time history of the variable of interest. For a very common example found in motion control systems, a mass-damperspring system is subjected to an actuator force to drive it into a new location. Such a system is shown in Figure 2.1. x F(t) c m k Figure 2.1 – mck-system If one analyzes this system using Newton’s Second Law, one arrives at the system’s equation of motion, which is a linear ODE in x and its derivatives. ̈ ̇ The solution to this equation is x(t), the time history of the motion of the system under the influence of the applied force. This is a typical example found often in a motion control system, and this is an important sub-branch of controls. In automated manufacturing systems and in aircraft control systems, for example, the aim of a control system is to move a mass from one position to another. The topic of the next chapter is to cover mechanical systems such as this as well as systems in in other domains (electrical, fluid, flow). The analysis of all these systems using physical laws results in corresponding ODEs. Thus the solution of these ODEs is pertinent to getting the time behavior of these systems. Prior to the advent of such simulation systems as Matlab/Simulink, the main solution procedure for getting these time histories from the ODE was Laplace transforms. Much of the mathematical drudgery of this approach can be avoided nowadays, with the use of Matlab/Simulink. So the necessity of an in2-1 Chapter 2 – Laplace Transforms depth coverage of Laplace transforms has been obviated. Still, anyone involved in the science of control theory needs to know the basics of Laplace transforms, because their use explains much about the behavior of an ODE-modeled system. Thus this chapter aims to introduce you to Laplace transforms but not overburden you with details that you will not need in this day and age of powerful, inexpensive simulation tools. The Laplace transform and its use One writes the Laplace transform of a function as shown. { } The actual mathematical definition of the Laplace transform is { } ∫ But as you shall see, for all common functions F(s) has already been worked out, so there is hardly ever any need to resort to this definition. Thus one uses tables of Laplace transforms to solve ODEs. A table of Laplace transforms is given in Table 2.1. The unit impulse, step, and ramp functions are common input functions for control systems, as we shall see. f(t) F(s) 1 (t) (unit impulse function) 1 u(t) (unit step function) t∙u(t) (unit ramp function) sin(t) ∙ u(t) cos(t) ∙ u(t) Table 2.1 – Laplace transforms Thus we see that functions are transformed from the t-domain into the s-domain by the Laplace transform. This offers advantages and a means to solve differential equations. Also useful is to see how operations such as integration and differentiation transform into the s-domain. Table 2.2 gives Laplace transform theorems for important operations. 2-2 Chapter 2 – Laplace Transforms t-domain a∙f(t) (linearity) s-domain a∙F(s) f1(t) + f2(t) (linearity) F1(s) + F2(s) ̇ ∫ (Final Value Theorem) Table 2.2 – Laplace transforms of operations The Laplace transform is linear. The implication of this is seen in the first two table entries. How differentiation translates to the s-domain is seen in the next three table entries. There is a pattern there. This is given in the entry for the nth derivative. Notice in all these entries that the initial conditions of the system play an important rôle. Notice also that the pattern of powers of s decrease in the sequence of the sum, while the order of the derivative of the initial conditions increases in the sequence. This is very easy to mix up. It is often the case that the initial conditions of a system are all 0—that is, the system is at rest until t = 0. This greatly simplifies the solution, when this is the case. In this case we can say that differentiation is the t-domain is equivalent to multiplication by s in the sdomain. Thus differentiation becomes an algebraic operation in the s-domain. This summarizes the strength of the Laplace transform. Also note what happens when the degree of differentiation is -1. This corresponds with integration in the time domain. Solving ODEs via the Laplace transform As we shall see in the next chapter, one often encounters 1st- and 2nd-order systems when modeling physical components. The mck-system shown above is an example of a second order system. A 1storder system has the form ̇ Note how the ODE is arranged. x and its derivatives are on the left-hand side of the ODE. All non-x terms are on the right. As given, there is a generic forcing function on the right. To find the time history of x, one must know what F(t) actually is. A common loading function in practice is the step function. This function represents a sudden, constant load applied to the previously unloaded system. One uses 2-3 Chapter 2 – Laplace Transforms the linearity of the Laplace transform and the unit step function to model a load of any size. Thus if the applied load is as shown in Figure 2.2 F(t) F0 t Figure 2.2 – Step load its mathematical representation is So the equation of motion of the system becomes ̇ Let’s see how one would go about solving such an ODE using Laplace transforms. First take the less complicated case of the system at rest (0 initial conditions) when the load is applied. One uses the linearity properties of the sum and multiplication by a constant. In the s-domain this equation becomes We solve this equation for X(s). This is not what we want for a result. We are seeking x(t), the solution of the ODE, the system’s time history of motion. But solving for X(s) is a step in the right direction. So To get x(t), one looks in the Laplace transform table for an entry in the right hand column that corresponds to the right side of the equation above. There is none. The problem is that the solution for X(s) above is a combination of entries. To separate the components above, one uses a process called partial fraction expansion. The procedure is as is illustrated below. This separation of components in the denominator introduces the unknown constants A and B. To find them, one first multiplies the equation by s. 2-4 Chapter 2 – Laplace Transforms Then one lets s→0, which eliminates the second term on the right-hand side from the equation. Thus Now multiply the equation by s+a. Now let s→-a. This eliminates the first term on the right-hand side of the equation. Thus So, ⁄ One finds the two entries, and ⁄ in the table. Multiplication by the constants ⁄ and ⁄ can be dealt with with the linearity property. Thus { } [ ] This case occurs so frequently, it is called the step response of the system. Also very common is subjecting a second order system to a step input. This would appear ̈ ̇ Again, consider a system that starts from rest, so transform of the equation ̇ and are both 0. Taking the Laplace X(s) seems to be made of two components because of the two factors in the denominator—s and s2+a∙s+b. Actually the inverse transform back into the t-domain depends upon the nature of s2+a∙s+b, specifically whether its roots are real or complex. From the quadratic equation √ Case 1 – Real, distinct roots 2-5 Chapter 2 – Laplace Transforms In this case, √ and √ Thus so and one proceeds just as illustrated with the first-order system above. This is an overdamped secondorder system and can be regarded as simply a 2x(1st-order system). Case 2 – Real, non-distinct roots If a2 = 4b, the system has 2 repeated real roots. In this case, the previously illustrated partial fraction expansion must be modified as follows. s = -a/2. So To deal with the double root, one uses the following partial fraction expansion. One finds A as previously done with the first-order system. Then the procedure differs to find B and C. Multiply the equation by and let s→-a/2. To get B, differentiate the F0/s equation above with respect to s. Now B is isolated. One lets s→-a/2 again to leave B alone. So the trick to dealing with repeated roots is to multiply the equation for X(s) by the repeated-root factor, then differentiate. The case of repeated roots is known as the critically damped second order. 2-6 Chapter 2 – Laplace Transforms Case 3 – Complex roots If the roots of the quadratic factor are complex, the partial-fraction-expansion procedure is as follows. To find the unknown coefficients A, B and C, one multiplies through by the denominator . Thus Recall that a and b are known parameters. So matching coefficients on either side of this equation, , , , This gives then ⁄ ⁄ ⁄ * ⁄ + (Eq. 2.1) The fraction in brackets can be reworked to give ⁄ ⁄ ⁄ ⁄ ( ⁄ ) ( ⁄ ( ⁄ ) √ ) ( ⁄ ) √ ⁄ ( (Eq. 2.2) ) If we compare the two terms of this equation with the last two entries of Table 2.1 and use the next-tothe-last entry in Table 2.2, we see that the former term represents a decaying cosine and the latter represents a decaying sine. The results of Eq. 2.2 need then to be combined with Eq. 2.1 to get an expression, which can be inverted back into the t-domain. The decaying sine and cosine can be combined using trigonometric identities to yield [ ] 2-7 (Eq. 2.3) Chapter 2 – Laplace Transforms That is, the response consists of a decaying ( ) sine with a phase shift. Note that in the examples in this section, the denominators of the fractions that give X(s) all have 1 for the coefficient of the highest order derivative. Often it is the case that this coefficient is not 1. For example, for the mck-system discussed at the first of this chapter, with a step force input and zero initial conditions The coefficient of s2 is m. To make the above analysis apply, one can simply multiply the numerator and denominator of the above fraction by 1/m. Thus ⁄ ⁄ ⁄ Now the results of the analysis of the second-order system above can be directly applied to this mcksystem, with care being taken to use F0/m for F0 in the analysis and c/m for a and k/m for b. This type of manipulation of fractions is very common in controls, so you should review the algebra of fractions and be very adept at their manipulation, as illustrated in the foregoing analysis. The case of complex roots is called an underdamped second order. Transfer function Control systems make use of what is called the transfer function of a system. As you have seen in Chapter 1, an important graphical tool in controls is the block diagram. Each block, with the exception of a summing block, takes one input, operates on it, and produces an output. Thus the block transfers the input to the output. So the contents of a block are called the transfer function of that component. As an example, with the mck-system, the applied, external force produces a displacement. So the cause—the input—is the force and the effect—the displacement—is the output. The transfer function is simply the quotient of effect/cause, output/input. The transfer function is usually given the symbol G. Thus we might write ⁄ ⁄ ⁄ All of these variants are useful for one purpose or another. Final Value Theorem As you have seen from the underdamped second order analysis, finding the inverse Laplace transform to solve an ODE can be a tedious process. Often one is not interested in the time history of a system’s motion but simply in its final value, where the system winds up after the dynamics have damped out. 2-8 Chapter 2 – Laplace Transforms There is a useful theorem for Laplace transforms that is given as the last entry of Table 2.2. This theorem, the Final Value Theorem, allows a user to answer the question of where a system winds up without calculating the inverse Laplace transform of a system. Take the mck-system above as an example. Subject it to a unit step input, so F(s) = 1/s. Then Using the FVT from Table 2.2 ( ) Problems 2.1 A first-order system has the ODE ̇ The ODE is written in the variable Δh, so the “motion” of the system is the time history . Since the right-hand side of this equation is 0, F(t) = 0, i.e. there is no “force” being applied to the system. Work out the system response to an initial non-zero . Plot the time history using Matlab. About how long does it take the system to get to equilibrium? (We will encounter this system later. It represents a tank-level system, and h is the level of a liquid in the tank. There is a reason that the system is written in the deviation of the tank level, Δh, rather than in the tank level itself, h, as we shall see in the following Chapter.) 2.2 Repeat Problem 2.1, but start with 0 initial conditions. Apply a “force” of 4·u(t) to the system. Plot the system response. About how long does it take the system to get to equilibrium? 2.3 Use Laplace transforms to calculate the unit step response of the system whose ODE is ̈ ̇ The initial conditions for the system are all 0. Plot the response using Matlab. 2.4 Use Laplace transforms to calculate the unit step response of the system whose ODE is ̈ ̇ The initial conditions for the system are all 0. Plot the response using Matlab. 2.5 Use Laplace transforms to calculate the unit step response of the system whose ODE is ̈ ̇ The initial conditions for the system are all 0. Plot the response using Matlab. 2-9 Chapter 2 – Laplace Transforms 2.6 Use Laplace transforms to calculate the unit step response of the system whose ODE is ̈ The initial conditions for the system are all 0. Plot the response using Matlab. 2-10