リーマン多様体でなめらかな関数fとして、なめらかな曲線cについての微分方程式
|c’|*∇f_c=c’ (∇はグラディエント)
の解cが初期値c(0)に対して一意に決まるって言えますか？
(これは十分近い二点について、最短曲線ならば測地線のパラメータ変換に限ることを示す途中に出てきたものです)