Solutions - Lecture 5
Transcription
Solutions - Lecture 5
S05-S09.htm Page 1 of 26 Solutions - Lecture 5 (Revised 15 February, 2009 @ 14:15) Professor Stephen H Saperstone Department of Mathematical Sciences George Mason University Fairfax, VA 22030 email: sap@gmu.edu Copyright © 2009 by Stephen H Saperstone All rights reserved 5.1. (a) Differentiate Divide by implicitly with respect to We get to get and multiply out so that Finally solve for which is the original ODE. [Note that the ODE can be inverted by the method of Lecture 4 to get a linear ODE with as the independent variable and as the dependent variable, file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 2 of 26 namely (b) First we must calculate from the initial condition the solution to obtain which implies Substitute these values into Thus we have the particular solution we must have that Because for any value of . This is the implicit solution we seek. Use the GCalc-3 Implicit Function Plugin to plot Note that GCalc-3 uses -variables so that you must change all instances of to Finally, GCalc-3 requires that the implicit function be of the form . (This is similar to our notation .) Type x*y^2-1in the Function box of the Implicit Function Plugin of GCalc-3 and (left) click on Graph! The resulting image is a plot over the default window Because there any vertical line intersects the graph in two points, the plot below cannot be the graph of a function. The initial condition is represented by the point with coordinates a point on the upper curve. Consequently, the graph of the solution we seek must be given by the upper branch. (c) It also appears that the graph through has a vertical asymptote at x=0 ( in the notation of the exercise) and that the graph extends to the right beyond the default window We zoom out to see how far the solution extends to the right. Modify the Ranges under the "View" tab with the following parameters file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 3 of 26 to get the following plot. Without further mathematical analysis it appears that the solution is defined for all Thus we take the maximum interval of definition to be 5.2. (a) Note that is the independent variable and is the dependent variable. The ODE is separable, so write: Integrate to get Then Rearrange to get the implicit solution (b) implies Thus so the particular (implicit) solution is (c) Use the GCalc-3 Implicit Function Plugin to plot the solution from part (b). Note that the variables are already -variables. Finally, GCalc-3 requires that the implicit function be of the form . (This is similar to our notation of .) Type y^5/5- file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 4 of 26 2*y-x^3/3 in the Function box of the Implicit Function Plugin of GCalc-3 and (left) click on Graph! The resulting image is a plot over the default window Note that the initial condition is represented by the point with coordinates It appears that the solution through extends to about on the left and about on the right. (These values are substantiated by the image in part (d) next.) (d) We need to zoom in on the plot in part (c) to examine more closely solutions through and Zoom in on the region of interest by modifying the Ranges under the "View" tab. The following view parameters yield the plot below file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 5 of 26 It appears that the solution through has maximal interval of definition solution through has maximal interval of definition . 5.3. (a) The ODE is separable; rewrite as ; the Integrate the equation with respect to As we have Integrate where we have lumped all constants of integration into the implicit solution (b) implies Combine and transpose to get We get so the particular (implicit) solution is file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 6 of 26 (c) Use the GCalc-3 Implicit Function Plugin to plot the solution from part (b). Note that the -variables must be transformed to -variables. Finally, GCalc-3 requires that the implicit function be of the form . (This is similar to our notation .) Type x+sin(x)-y^2/2+(1-y)*exp(y)+1/2-pi in the Function box of the Implicit Function Plugin of GCalc-3 and (left) click on Graph! (Warning: Be sure to type in as a lower case pi.) The resulting image is a plot over the default window Note that the initial condition is represented by the point with coordinates It appears that the solution through extends to about on the left and indefinitely on the right. We zoom in on this image to see how the solution behaves as (alias increases. Modify the Ranges under the "View" tab with the following parameters file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 7 of 26 to get the following plot. It appears that the solution through extends to about on the left and indefinitely on the right. We zoom in on this image again to see how the solution behaves on a larger scale. Modify the Ranges under the "View" tab as listed below to get the following plot. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 8 of 26 It appears from this last plot that the interval of definition of this solution is bounded below by approximately There does not appear to be any limit on how large can be. We can conjecture that the maximal interval of definition is 5.4. (a) The ODE is separable; rewrite as Integrate to obtain (b) implies solution is We get so the particular (implicit) (c) (i) Use the GCalc-3 Implicit Function Plugin to plot the solution from part (b). Note that the -variables must be transformed to -variables. Finally, GCalc-3 requires that the implicit function be of the form . (This is similar to our notation .) Type cos(x)+x*sin(x)+x-x^6-1 in the Function box of the Implicit Function Plugin of GCalc-3 and (left) click on Graph! The resulting image is a plot over the default window file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm We zoom in on this image to see how the solution behaves as (alias the Ranges under the "View" tab with the following parameters Page 9 of 26 increases. Modify to get the following plot. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 10 of 26 (c) (ii). Note that the initial condition is represented by the point with coordinates It appears that the solution through extends to about on the left and to about on the right. The last figure suggests that the maximal interval of definition is approximately 5.5.. (a) The ODE is separable; rewrite as Integrate to get file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm (b) Page 11 of 26 implies Thus the implicit solution is given by (c) (i) Use the GCalc-3 Implicit Function Plugin to plot the solution from part (b). Note that the -variables must be transformed to -variables. Finally, GCalc-3 requires that the implicit function be of the form . (This is similar to our notation .) Type csc(y)-cot(y)-exp(x) in the Function box of the Implicit Function Plugin of GCalc-3 and (left) click on Graph! The resulting image is a plot over the default window (c) (i). file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm We zoom in on this image to see how the solution behaves as (alias the Ranges under the "View" tab with the following parameters Page 12 of 26 increases. Modify to get the following plot. (c) (ii). It appears from this last plot that the interval of definition of this solution is Take note of the equilibrium solution that seems to issue from the "S" shaped solution through Although is an acutal solution, the presence of the graph of above is actually an artifact of the numerical procedure underlying the implicit Function Plugin. In particular, the graph of was not produced by design; it was an acident of the plotting software. 5.6. (a) file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 13 of 26 (b) (c) file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 14 of 26 5.7. Parts (a), (b), & (c) are all plotted on the following figure. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 15 of 26 Exercise 5.7 5.8. Parts (a), (b), & (c) are all plotted on the following figure. Exercise 5.8 file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 16 of 26 5.10. Parts (a), (b), & (c) are all plotted on the following figure. 5.12. First we rewrite the ODE in the form where or more simply Now plot the slope field by hand.. Parts (a), (b), & (c) are all plotted on the following figure. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 17 of 26 Exercise 5.12 file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 18 of 26 Exercise 5.12: Software Solution 5.15. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 19 of 26 Exercise 5.15 5.16. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 20 of 26 Exercise 5.16 5.17. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 21 of 26 Exercise 5.17 5.18. file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 22 of 26 Exercise 5.18 5.19 file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 23 of 26 The figure below (from Rychlik's Slope Field applet) confirms the hand drawn integral curve above. Slope field for and integral curve through 5.20 (a) file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Page 24 of 26 Isoclines for (b) If for represents the solution through This means that then becomes asymptotic to (c) Sketch of proof. Let represent the solution through must have slope equal to zero at since Immediately the graph of enters the (blue) region file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm as Then the solution depicted in the figure below. 2/15/2009 S05-S09.htm Page 25 of 26 Throughout the slope of lies between and that is . Now the graph of cannot cross the bottom of this region: the isocline If the graph did cross this isocline, it's slope at any crossing point would have to be zero. This is impossible, so the graph of must remain above the graph of or equivalently, Thus for all By a similar argument the graph of cannot cross into the (green) region at any point This is because at the isocline between and is Thus the solution would have to cross into with slope But this is impossible as the slope of this isocline is strictly less that at all points We see this by first representing the isocline by , so that When we have so that Consequently there is no way for the graph of to cross this isocline at any time It is possible for the graph of to cross the isocline prior to In this event the graph of enters where the slopes of all solutions must lie between and This will force the graph of to remain below the upper border of the isocline or equivalently We conclude that the graph of must remain trapped in the union of the regions and THis means that file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009 S05-S09.htm Next we must show that the separation of the two isoclines tends to zero as Page 26 of 26 that is In fact This proves our conjecture stated in part (b). file://F:\OnLineODE\Solutions\Lec05\S05-S09.htm 2/15/2009