Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2005/calculus-linear-algebra-discrete-mathematics-logic-and-proof-and-models-of-computation/3/b/solution

The logarithm requires , and is given. Set , so and the chain rule yields . Dividing the ordinary differential equation by therefore gives
Since , we obtain , including the case . Thus the general positive solution is . The initial condition gives :
For the separate decay requirement, precisely when : if , the result is , and if , it grows. Consequently the full family with the stated limit is
This latter family does not also satisfy ; the solution selected by that initial condition grows. The identically zero function is excluded by the original logarithm.

New to topics? Read the docs here!