>>962
三体問題の局所解(衝突するまで)の存在の証明に興味があります