[論文レビュー] On the regularization of the collision solutions of the one-center problem with weak forces

Castelli Roberto, Susanna Terracini|ArXiv.org|May 11, 2009

Spacecraft Dynamics and Control参考文献 8被引用数 4

ひとこと要約

本稿では、弱い対数特異性を伴う1中心問題における衝突解の正則化を、ポテンシャルの平滑化を用いて検討する。特異ポテンシャルを平滑化し、平滑化パラメータと角運動量が同時に0に近づく極限をとることで、衝突を透過経路に置き換えた拡張された流れが初期条件に関して連続であるが、微分可能ではないことを証明する。これにより、対数ポテンシャルに対する平滑化による弱い正則化が確立される。

ABSTRACT

We study the possible regularization of collision solutions for one centre problems with a weak singularity. In the case of logarithmic singularities, we consider the method of regularization via smoothing of the potential. With this technique, we prove that the extended flow, where collision solutions are replaced with a transmission trajectory, is continuous, though not differentiable, with respect to the initial data.

研究の動機と目的

• 弱い特異性を伴う1中心問題における衝突解が、ポテンシャルの平滑化によって正則化可能かどうかを調査すること。
• 衝突経路を透過経路に置き換えた場合、得られる拡張された流れが初期条件に関して連続のままであるかどうかを特定すること。
• 弱い特異ポテンシャルが存在する場合の最小作用経路の挙動を分析すること、特にこのような最小化子において衝突が生じるかどうかを検討すること。
• 元の系が原点で特異である場合でも、正則化された解の極限が初期条件に関して連続な流れに収束するための条件を確立すること。

提案手法

• 特異ポテンシャル $ V(x) $ を $ V_\varepsilon(x) = V(\sqrt{x^2 + \varepsilon^2}) $ で平滑化し、$ x=0 $ における特異性を除去する。
• 初期データ $ (q_0, p_0) $ を持つ正則化系 $ \ddot{u} = \nabla V_\varepsilon(|u|) $ を考察し、その解が全域で $ C^\infty $ であることを示す。
• 列 $ \varepsilon_k \to 0 $、$ \nu_k \to \bar{\nu} $ 沿いに $ (\varepsilon, \nu) \to (0, \bar{\nu}) $ の極限をとる。ここで $ \bar{\nu} \in S(V) $ は衝突初期データに対応する。
• 衝突経路を置き換える透過解 $ u_0(t) $ を、正則化された軌道 $ u_{\varepsilon_k, \nu_k}(t) $ の点ごとの極限として定義する。
• 変分的手法を用いて、作用関数 $ \mathcal{A}(u) = \int \left( \frac{1}{2}|\dot{u}|^2 + V(|u|) \right) dt $ を衝突経路と摂動付き経路で比較する。
• 衝突経路に直交する径方向変化 $ v^\delta(t) $ を行い、衝突を回避することで作用が減少することを示し、衝突解が最小化子でないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 対数特異性を伴う1中心問題における衝突解は、ポテンシャルの平滑化によって正則化可能か？
• RQ2 衝突データに近づく際、正則化された解の極限が初期条件に関して連続か？
• RQ3 弱い特異ポテンシャルが存在する場合、最小作用経路は必然的に衝突を避けるか？
• RQ4 正則化された解の漸近的挙動と衝突多様体の構造との関係は何か？
• RQ5 変分的手法は、弱い特異ポテンシャル下でも衝突解の不安定性を検出可能か？

主な発見

• 衝突解を透過経路に置き換えた拡張された流れは、初期条件に関して連続であるが、微分可能ではない。
• 任意の $ \bar{\nu} \in S(V) $ に対して、$ \varepsilon_k \to 0 $、$ \nu_k \to \bar{\nu} $ を満たす列 $ \varepsilon_k $、$ \nu_k $ が存在し、$ u_{\varepsilon_k, \nu_k} \to u_0 $ となる。これにより弱い正則化性が確立される。
• 極限軌道 $ u_0(t) $ は作用関数 $ \mathcal{A} $ の最小化子でない。これは、作用を減少させる変化を構成することで示される。
• 変化においてポテンシャル寄与 $ \Delta V $ が運動エネルギーのペナルティ $ \Delta \mathcal{K} $ を上回り、$ \delta $ が十分に小さいとき $ \Delta \mathcal{A} > 0 $ となる。これにより非最小化性が証明される。
• 衝突解の径方向成分は $ \ddot{r}(t) = -V'(r(t)) $ を満たし、$ \int_0^{T_1} -V'(r(t))/r(t) \, dt $ の発散は無限大のポテンシャル増加を示唆する。
• 極限 $ \lim_{\delta \to 0} \int_0^{T_1} \int_0^1 -\frac{V'(\sqrt{r^2 + \xi \delta^2})}{\sqrt{r^2 + \xi \delta^2}} \, d\xi \, dt = \infty $ が成り立ち、変化による作用の減少が確認される。