シュタルクポテンシャルを伴った非線形シュレディンガー方程式の 時間大域解について