Prefer a chat interface with context about you and your work?
Existence result for a one-dimensional eikonal equation