The homogeneous first-order differential equation suggests , so . Wherever the original equation is defined,Thus the implicit solution is . The printed initial values force .
There is no classical solution through the printed initial point. There , so the tangent on the right is undefined. The implicit relation nevertheless has two neighboring real branches on which approach that point continuously:Both tend to as , but their derivatives become unbounded with opposite signs. They solve the equation on the open interval , not at its endpoint. Other inverse-sine periods cannot approach the specified initial value. This is an endpoint obstruction in a homogeneous differential equation. Constant-ratio branches also solve the general equation where , but do not meet the initial data.
Put . Then . Along the branch through , the chain rule yields , hence . Choose the continuous branch through zero to obtainIndeed , and . The right-hand side has a bounded derivative with respect to , so the usual uniqueness theorem for ordinary differential equations rules out another solution through the same point.
Articles by others on the same topic
There are currently no matching articles.