[論文レビュー] Criteria for singularities of smooth maps from the plane into the plane and its applications

Kentaro Saji|arXiv (Cornell University)|May 15, 2009

Navier-Stokes equation solutions参考文献 6被引用数 3

ひとこと要約

この論文は、平面から平面への滑らかな写像の写像芽のテイラー係数を用いて、唇型、くちばし型、トビウオ型特異点を座標変換なしに明示的に特定する基準を提示する。主な貢献は、正規化を回避する認識手法を提供することで、明示的にパラメータ化された写像への直接適用を可能にし、保存則における特異点および幾何的解法への応用を含む。

ABSTRACT

We shall give useful criteria of lips, beaks and swallowtail singularities of smooth map from the plane into the plane. As an application of criteria, we will discuss the singularities of Cauchy problem of single conservation law.

研究の動機と目的

• R²からR²への滑らかな写像芽の唇型、くちばし型、トビウオ型特異点を同定する基準を、座標変換の正規化に依存しない形で開発すること。
• 写像芽のテイラー・ジェット情報から直接特異点を同定する実用的な手法を提供すること。
• 単一保存則の幾何的解法に生じる特異点を解析するために、これらの基準を適用すること。
• 特異点理論の適用範囲を、特にコーシー問題や双曲型保存則の文脈における数学的物理の問題へ拡張すること。

提案手法

• 特異点集合S(f)上でのみ消える判別関数λ = det(∂f/∂u₁, ∂f/∂u₂)に基づく基準を導出する。
• 正則数1の特異点に対応する零空間ベクトル場ηを用い、方向微分ηλおよびηηλを計算する。
• 特異点におけるλのヘッセ行列にモース理論を適用：正の行列式は唇型、負はくちばし型に対応。
• 写像の3次ジェットとλのヘッセ行列に関する条件を組み合わせて、トビウオ型特異点を区別する。
• ジェットの横断性と残渣集合の議論を用いて、滑らかな写像の空間における基準の一般性を保証する。
• 座標変換なしに特異点を検出可能な、テイラー係数（4次まで）に対する明示的な代数的条件を構築する。

実験結果

リサーチクエスチョン

• RQ1 R²からR²への滑らかな写像芽のテイラー・ジェットが、どの条件を満たすとA同値に唇型特異点とみなされるか。
• RQ2 座標系を正規化せずに、正則数1の特異点がくちばし型特異点に対応する条件は何か。
• RQ3 写像の高次微分を用いて、ジェット理論的内在的条件としてトビウオ型特異点をどのように特徴づけられるか。
• RQ4 これらの基準を幾何的解法に直接適用し、保存則における特異点の出現を検出できるか。
• RQ5 単一保存則の幾何的解法において最初に現れる特異点の一般的な型は何か。

主な発見

• 唇型特異点は、特異点が正則数1であり、dλ(p) = 0、かつdet(Hess λ)(p) > 0であることと同値である。
• くちばし型特異点は、正則数1、dλ(p) = 0、det(Hess λ)(p) < 0、およびηηλ(p) ≠ 0であることで特徴づけられる。
• トビウオ型特異点は、正則数1、dλ(p) = 0、det(Hess λ)(p) < 0に加え、f₁′′, f₂′′, およびφの導関数を含む3次ジェットに関する追加条件によって同定される。
• 基準は4次までのテイラー係数のみで記述されており、座標変換なしに直接適用可能である。
• 単一保存則の幾何的解法において、最初に現れる特異点は一般に唇型である。
• トムのジェット横断定理を用いてC∞位相において基準が一般的であることが示され、微小な摂動に対しても安定であることが保証される。