Math 5410 Exam 2 Solutions 1) Notice that et cos 2t = Re[e(1+2i)t ]. Therefore, we can find a real-valued solution yd by finding a complex-valued solution zd of z 00 + 2z 0 + 4z = e(1+2i)t and then letting yd = Re[zd ]. We can look for a solution of the form zd (t) = Ce(1+2i)t for some constant C. Plugging zd into the equation and canceling the complex exponential from both sides, we obtain that (3 + 8i)C = 1, or C= Therefore, zd (t) = 3−8i (1+2i)t e , 73 yd (t) = 1 3 − 8i = 3 + 8i 73 so that taking the real part, we get 3 t 8 e cos 2t + et sin 2t. 73 73 The characteristic equation for this operator is r 2 + 2r + 4 = 0. This √ equation has roots −1 ± i 3. Therefore the general solution of the undriven equation is √ √ C1 e−t cos 3t + C2 e−t sin 3t where C1 and C2 are arbitrary constants. Since the general solution for the driven equation is the sum of yd and the general solution of the undriven equation, we see that there is no choice of C1 and C2 for which a solution of the driven equation is periodic. Regardless of the choice of C1 and C2 , the presence of the negative exponential (and the boundedness of the trig functions) makes the contribution of the solution to the undriven equation negligible for large t, so for large t, all solutions look like yd , which is not periodic because its oscillations increase without bound. Another way to see that there can be no periodic solution is to note that if y is periodic, then so are y 0 and y 00 . Therefore, so is the left-hand side of our equation, but the right hand-side is not, so there can be no periodic solutions. 1 2a) The set S = {y ∈ C 2 (R ) : L[y] = f } where L is the operator given by L[y] = y 00 + a(t)y 0 + b(t)y, cannot be empty because given any t0 , y0 and y00 in R , the IVP L[y] = f , y(t0 ) = y0 , y 0(t0 ) = y00 has a unique solution (the hypotheses of the Existence and Uniqueness Theorem hold), which must be in S. In fact, the set S has infinitely many elements. S is not a vector space. Let y1 and y2 be in S. Because L is linear, L[y1 + y2 ] = L[y1 ] + L[y2 ] = f + f = 2f. For y1 +y2 to be in S, we must have L[y1 +y2 ] = f . Because f is nonconstant, it is not identically zero, so f 6= 2f . Therefore L[y1 + y2 ] = 2f 6= f and y1 + y2 6∈ S, and S is not a vector space. 2b) Let y(t) be the unique solution to the IVP y 0 + p(t)y = f , y(0) = 1. This problem has a solution by the existence and uniqueness theorem for linear first-order equations. The theorem applies because fn → f uniformly on [0, ∞), so f is continuous. The initial condition was chosen because if yn is going to converge to y uniformly, it will also converge pointwise at each point, in particular at t = 0. We are given that yn (0) = 1 for all n, so y(0) has to be 1. Now let zn = yn − y. Then: zn0 = yn0 − y 0 = −p(t)(yn − y) + fn − f Also, zn (0) = 0 for all n. In other words, zn solves the IVP zn0 + p(t)zn = fn − f , zn = 0. Then by Theorem 2.3.1 (BIBO), with p0 = 1 and M = 1/n, we get that 1 |zn (t)| = |yn (t) − y(t)| ≤ n for all t ≥ 0, which implies that yn → y uniformly. 3a) The only equilibrium solution is y ≡ 0. Any equilibrium must satisfy ey − 1 = 0 since the first term in the right-hand side of the equation will be 0 for any constant function y. The only solution of ey − 1 = 0 is y ≡ 0. 3c) The only equilibrium point is (0, 0), so this is the base point for the linearization. Then, setting F (y, y 0) = (y 0)2 sin y + ey − 1, we have: 2 ∂F = (y 0)2 cos y + ey , ∂y ∂F = 2y 0 sin y. ∂y 0 Therefore, ∂F (0, 0) ∂y = 1, and ∂F (0, 0) ∂y 0 = 0, and the linearized equation is y 00 = y. 3d) The characteristic equation of the linearized equation with constant coefficients found in 3c is r 2 − 1 = 0. This equation has two real roots ±1. Therefore, the general solution is C1 et + C2 e−t where C1 and C2 are arbitrary constants. 3