Semigeodesics and the minimal time function
We study the Hamilton-Jacobi equation of the minimal time function in a domain which contains the target set. We generalize the results of Clarke and Nour [J. Convex Anal., 2004], where the target set is taken to be a single point. As an application, we give necessary and sufficient conditions for the existence of solutions to eikonal equations.