Near , the right side is continuously differentiable in , with derivative bounded on, for example, . It therefore satisfies a local Lipschitz condition; it is also bounded on an appropriate bounded neighborhood. The existence and uniqueness result applies there. Separation of variables givesThe unique extension to the whole real axis is . It joins zero with zero derivative at . To see uniqueness of this extension, makes every solution nondecreasing. Before it reaches zero it cannot be positive, while a negative interval would have and could not continuously reach zero. Thus it must be zero for ; the positive part is fixed by the separated formula.
Articles by others on the same topic
There are currently no matching articles.