eecs 16b when doing circuits or systems analysis, we sometimes model our system via a differential equation, and would often like to solve it to get the system trajectory. to this end, we would like to verify that a solution to our differential equation exists and is unique, so that our model is physically meaningful. there is a general approach to doing this, which is demonstrated in this problem.