ソボレフ空間
Using the continuity of the exponential map on [[Sobolev space]] due to [[Neil Trudinger]], this non-linear equation can always be solved.