曲線短縮流の下で凸曲線が円に収束する様子。内側の曲線(薄い色)は外側の曲線を流したバージョンです。曲線間の時間ステップは均一ではありません。 数学において、曲線短縮流とは、 ユークリッド平面 上の滑らかな曲線を、 その点を曲線に垂直に、曲率 に比例した速度で移動させることによって修正するプロセスである。曲線短縮流は幾何学的流れの一例であり、 平均曲率流 の一次元の場合である。同じプロセスの他の名称には、ユークリッド短縮流 、幾何学的熱流 [ 1 ] 、弧長進化 などがある。
滑らかな単純閉曲線 の各点がこのように移動すると、曲線は単純で滑らかなままです。面積は一定の割合で減少し、周囲長は連続的な曲線変化において可能な限り速く減少します。曲線が非凸の場合、その絶対曲率 は単調に減少し、凸になります。凸になると、曲線が円形に収束するにつれて等周比が減少し、最終的に 特異点 に収束します。互いに素な2つの滑らかな単純閉曲線が変化すると、どちらか一方が一点に収束するまで、それらは互いに素なままです。
円は、曲線短縮流の下でも形状を維持する唯一の単純な閉曲線ですが、自己交差する曲線や無限の長さを持つ曲線の中には、形状を維持するものがあります。例えば、死神曲線、上方向に平行移動する無限曲線、そして大きさや形状を変えずに回転する螺旋などが挙げられます。
曲線短縮流の近似値は、曲線を多角形 として近似し、有限差分法 を用いて各多角形頂点の動きを計算することで数値的に算出できる。代替方法としては、多角形頂点の畳み込み を計算し、得られた曲線上で頂点を再サンプリングする方法や、曲線の内側と外側を白黒ピクセルで表したデジタル画像 にメディアンフィルタを繰り返し適用する方法などがある。
曲線短縮流は、もともと金属板の焼きなまし モデルとして研究されました。その後、画像解析に応用され、形状のマルチスケール表現に用いられるようになりました。また、反応拡散方程式系や セルオートマトン 挙動のモデル化にも利用できます。さらに、曲線短縮流は、リーマン多様体 上の閉じた測地線 を見つけるため、また高次元の流れの挙動モデルとしても使用できます。
定義 流れと は、空間内の点が時間とともに位置や性質を連続的に変化させる過程のことである。より具体的には、曲線短縮流のような一次元幾何学的流れでは、流れを受ける点は 曲線 に属し、変化するのは曲線の形状、すなわち各点の位置によって決定されるユークリッド平面への埋め込みである。 [ 2 ] 曲線短縮流では、曲線の各点は、曲線の法線ベクトルの方向に、 曲率 に比例する速度で移動する。曲線に沿った弧長をs 、曲線の進化における時間を t でパラメータ化した2パラメータ関数C ( s , t ) で表される進化する曲線の場合、曲線短縮流は放物型偏微分方程式で記述できる。
∂ C ∂ t = ∂ 2 C ∂ s 2 = κ n 、 {\displaystyle {\frac {\partial C}{\partial t}}={\frac {\partial ^{2}C}{\partial s^{2}}}=\kappa n,} 熱方程式 の一種で、κ は曲率、n は単位法線ベクトルである。
この方程式の構成要素である弧長、曲率、および時間は、ユークリッド平面の平行移動や回転の影響を受けないため、この方程式で定義される流れは平行移動や回転に対して不変(より正確には等変 )であることがわかります。平面が一定の拡大率で拡大縮小された場合、流れは本質的に変化しませんが、同じ係数で減速または加速されます。
滑らかでない曲線 流れが明確に定義されるためには、与えられた曲線は連続的な曲率を持つほど十分に滑らかでなければなりません。しかし、流れが始まると、曲線は解析的 になり、曲率が爆発する特異点に達するまでその状態が続きます。交差のない滑らかな曲線の場合、唯一起こりうる特異点は曲線が一点に縮退するときですが、埋め込み曲線 には他の種類の特異点が存在する可能性があります。[ 5 ] このような場合、注意深く行えば、曲線全体が一点に縮退するまで、これらの特異点を超えて流れを続けることができます。[ 6 ]
単純な閉曲線の場合、レベルセット法 に基づく流れの非滑らかな曲線への拡張を使用すると、可能性は 2 つしかありません。ルベーグ測度 がゼロの曲線(すべての多角形 と区分的に滑らかな曲線を含む) は、瞬時に滑らかな曲線に進化し、その後は他の滑らかな曲線と同様に進化します。しかし、測度がゼロでないオスグッド曲線は、代わりに面積がゼロでない滑らかな境界を持つ位相的環状 領域 に即座に進化します。位相幾何学者の正弦曲線は、 局所的に連結し ていないにもかかわらず、瞬時に滑らかになる例です。このような例は、曲線短縮の流れの逆進化が、有限時間内に良好な曲線を複雑な特異点に導く可能性があることを示しています。
非ユークリッド曲面 曲線短縮流、および曲線短縮流に関する多くの結果は、ユークリッド平面から任意の2次元リーマン多様 体に一般化できます。追加の特異点を避けるためには、多様体が無限遠で凸で あることが重要です。これは、測地線凸性 を使用して定義されるように、すべてのコンパクト集合が コンパクトな凸包を 持つことを意味します。曲線短縮流は曲線をその凸包から逸脱させることはできないため、この条件により、曲線の一部が多様体の境界に到達することが防止されます。
空間曲線 曲線短縮流は、3 次元ユークリッド空間 の曲線についても研究されています。この場合の法線ベクトルは (平面の場合と同様に) 接線ベクトルを弧長で微分し、単位ベクトルに正規化したものとして定義できます。これは 、フレネ・セレ フレーム の成分の 1 つです。これは、曲率がゼロの点では適切に定義されませんが、曲率と法線ベクトルの積はこれらの点でも適切に定義されるため、曲線短縮流を定義できます。空間内の曲線は、この流れに従って互いに、または自身と交差する可能性があり、流れは曲線に特異点をもたらす可能性があります。すべての特異点は、平面に漸近します。ただし、球面曲線と、正則凸平面曲線に直交投影できる曲線は、単純のままであることが知られています。空間曲線の曲線短縮流は、平面曲線の特異点を通過する流れを定義する方法として使用されています。
曲線を超えて 流れの定義を曲線よりも一般的な入力に拡張することは可能であり、例えば、可測バリフォールド やレベルセット法 を用いることができる。しかし、これらの拡張された定義では、曲線の一部が瞬時に消滅したり、面積がゼロでない集合に肥大化したりする可能性がある。[ 13 ]
曲線のネットワークの場合、曲線短縮の流れを特異点を超えて延長すると、曖昧さや肥大化が生じる可能性がある。 この問題のよく研究される変種は、内部的に互いに素な滑らかな曲線のネットワークで、3 つ以上の曲線が交わる接合部があります。接合部すべてに 2π/3 の角度で交わる曲線がちょうど 3 つある場合(最適な シュタイナー木 や 2 次元の石鹸 の泡 に見られる条件と同じ)、流れは短期的には明確に定義されます。しかし、最終的には 4 つ以上の曲線が接合部で交わる特異な状態に達する可能性があり、そのような特異点を超えて流れを継続する方法は 1 つ以上ある可能性があります。
行動
回避原理、半径、および伸張係数互いに分離した2つの滑らかな単純閉曲線が 同時に曲線短縮流を受ける場合、流れが進むにつれてそれらは分離したままになります。その理由は、2つの滑らかな曲線が交差するように動く場合、最初の交差の時点では、曲線は交差することなく互いに接線を結んでいるからです。しかし、そのような状況では、接点における2つの曲線の曲率は、それらを交差させるために押し合わせるのではなく、必然的にそれらを引き離します。同じ理由で、1つの単純閉曲線がそれ自身と交差するように進化することはありません。この現象は回避原理として知られています。
回避原理によれば、滑らかな閉曲線は必ず最終的に特異点、例えば無限曲率点に到達しなければならない。なぜなら、与えられた滑らかな曲線C が 円で囲まれている場合、両者が存在する限り、両者は分離したままとなるからである。しかし、囲んでいる円は曲率の流れによって縮小し、円形のまま崩壊するまでその状態が続く。そして回避原理によれば、C は 円の中に収まらなければならない。したがって、C が 特異点に到達しないとすれば、円が崩壊する時点で単一の点に閉じ込められることになるが、これは滑らかな曲線ではあり得ないことである。これは、C を囲む最小の円 の半径が、同じ流れを受ける円の半径の減少率と少なくとも同程度の速度で減少しなければならないことを観察することで定量化できる。
Huisken (1998) は、 単一曲線の回避原理を、弧長 (2 つの弧のうち短い方)と点のペア間のユークリッド距離 の比 (ストレッチ係数 と呼ばれることもある) で定量化している。彼は、ストレッチ係数は、円の直径の両端の場合を除いて、その局所最大値で厳密に減少することを示している。この場合、ストレッチ係数はπ で一定である。この単調性は回避原理を意味している。なぜなら、曲線が自分自身に接触すると、2 つの接触点でストレッチ係数が無限大になるからである。
長さ 曲線が曲線短縮流を受けると、その長さ Lは 次の式で与えられる割合で減少する。
d L d t = − ∫ κ 2 d s 、 {\displaystyle {\frac {dL}{dt}}=-\int \kappa ^{2}\,ds,} ここで、積分は曲線全体にわたって行われ、κ は曲率、s は曲線に沿った弧長です。被積分関数は常に非負であり、任意の滑らかな閉曲線に対して、被積分関数が厳密に正となる弧が存在するため、長さは単調に減少します。より一般的には、法線速度がf である曲線の任意の発展に対して、長さの変化率は次のようになります。
d L d t = − ∫ f κ d s 、 {\displaystyle {\frac {dL}{dt}}=-\int f\kappa \,ds,} これは、与えられた進化と曲線短縮フローとの間の 負の内積として解釈できます。したがって、曲線短縮フローは、長さの 勾配フロー、つまりフローの L 2 ノルム に対して曲線の長さを(局所的に)できるだけ速く減少させるフローとして記述できます。この特性が、曲線短縮フローにその名前を与えています。[ 18 ]
全絶対曲率 滑らかな曲線の全絶対曲率 は、曲線の弧長に沿った曲率の絶対値 の積分である。
K = ∫ | κ | d s 。 {\displaystyle K=\int |\kappa |\,ds.} また、連続する変曲点 のペアにおける法線ベクトル間の角度の合計としても表すことができます。凸曲線の場合は 2π であり、 非凸曲線の場合はそれよりも大きくなり、曲線の非凸性の尺度として機能します。
曲線短縮の流れによって新たな変曲点が生成されることはありません。[ 24 ] 総絶対曲率を合計として表した各角度は、連続する 2 つの変曲点が互いに同じ角度または位置に達して両方とも消滅する瞬間を除いて、単調に減少します。したがって、曲線が進化するにつれて総絶対曲率が増加することはありません。凸曲線の場合は 2π で一定であり、 非凸曲線の場合は単調に減少します。[ 25 ]
ゲージ・ハミルトン・グレイソン定理滑らかな単純閉曲線が曲線短縮流を受けると、自己交差することなく滑らかに埋め込まれた状態を維持します。最終的には凸 になり、一度凸になると凸のままになります。その後、曲線のすべての点が内側に移動し、曲線全体が一点に縮むにつれて曲線の形状は円に収束します。 この挙動は、すべての単純閉曲線が「丸い点」に縮むと要約されることがあります。[ 26 ]
この結果は、 Michael Gage 、Richard S. Hamilton 、および Matthew Graysonによるものです。Gage ( 1983、1984 ) は 、 一点に収縮する凸曲線が円に収束することを証明しました。より具体的には、Gage は、等周比 (曲線の長さの二乗と面積の比、円の場合は 4π、その他の凸曲線の場合はそれより大きい値) が単調かつ急速に減少することを示しました。Gageと Hamilton (1986) は、すべての滑らかな凸曲線は最終的に他の特異点を形成することなく一点に収縮することを証明し、Grayson (1987) は、すべての非凸曲線は最終的に凸になることを証明しました。[ 27 ] Andrews と Bryan (2011) は、 伸縮係数の単調性に基づいて、Grayson の結果のより簡単な証明を提供しています。
2本の同一直線上の光線と、その2本の光線の端点を結ぶ2本の曲線からなるすべてのネットワークの極限形状。中央のレンズは 魚嚢 の形状をしている。 同様の結果は、閉曲線から局所リプシッツ条件を満たす 非有界曲線に拡張できます。このような曲線の場合、曲線の両側が無限の面積を持つ場合、進化した曲線は、常に滑らかで特異点のないままです。しかし、非有界曲線の片側が有限の面積を持ち、曲線が有限の絶対曲率を持つ場合、その進化は、曲線の有限面積側の面積に比例する時間で特異点に達し、特異点の近くでは曲率が非有界になります。十分に良好な振る舞いをする関数のグラフである曲線の場合、各方向の光線に漸近すると、解は形状が収束して、同じ光線に漸近する一意の形状になります。 同一線上の互いに素な 2 つの光線と、それらの光線の端点を結ぶ 2 つの滑らかな曲線によって形成されるネットワークについては、ゲージ-ハミルトン-グレイソン定理の類似物が成り立ち、2 つの曲線の間の領域は凸状になり、その後、魚の 形に収束する。[ 30 ]
自己交差曲線の特異点 自己交差を持つ曲線は、一点に収縮する前に特異点に達することがあります。たとえば、レムニスケート ( 8の字や無限大記号 に似た、1つの交差を持つ滑らかな埋め込み曲線 )の2つの葉の面積が異なる場合、最終的には小さい方の葉が一点に収縮します。しかし、2つの葉の面積が等しい場合、曲線の進化全体を通して面積は等しく保たれ、曲線が特異点に収縮するにつれて等周比は発散します。
局所凸の自己交差曲線が、そのループの 1 つが縮小するにつれて特異点に近づくとき、それは自己相似的に縮小するか、縮小するにつれて漸近的に死神曲線 (後述) に近づきます。ループが特異点に崩壊するとき、失われる全絶対曲率の量は、少なくとも 2πまたは ちょうどπ です。
特定の曲線
自己相似的な進化を示す曲線 死神曲線と、曲線短縮フローによって生成されたその翻訳版 他のすべての単純閉曲線は円に収束するため、円は曲線短縮流の下で形状を維持する唯一の単純閉曲線です。しかし、単純でない(自己交差を含む)または閉じていない(無限に伸びる)曲線で形状を維持する例は他にもたくさんあります。特に、[ 36 ]
これは、 π と の間にある任意の周期に対して正の周期解 (自己相似的な発展を持つ曲線に対応) を持つ。π 2 {\displaystyle \pi {\sqrt {2}}} [ 無限螺旋 を含むその他の曲線は、回転や回転、収縮または膨張、並進の組み合わせを含むより複雑な運動で自己相似性を維持します。[ 36 ] 滑らかな曲線のネットワークで、2 π /3 の角度で接合部で 3 つずつ交わる場合、自己相似な縮小解には、2 つの等しい領域を囲む二重の泡、2 つの合同な円弧と、レンズの角に頂点を持つ 2 つの共線光線で囲まれた レンズ 形状 ( vesica piscis )、線分、2 つの光線、凸曲線で囲まれた「魚形」ネットワークが含まれます。他の自己相似な縮小ネットワークには、より多くの曲線が含まれます。別のネットワークのファミリーは相似的に成長し、自己相似性を維持します。これらは、3 つの接合部で 2 π /3の角度で交わる木のような曲線のネットワークで、共通の端点で交わる2 つ以上の光線の扇形に 漸近します 。これらの形状の 2 つの光線の場合、無限の滑らかな曲線になります。 3 つ以上の光線の場合、これらの形状の進化は、バリフォールドの場合のような曲線短縮フローの一般化された変種を使用して定義できます。4 つ以上の光線の特定のファンは、この種の複数の異なる解に漸近する可能性があるため、これらの解は、光線のファンから始まる曲線短縮フローの一意の定義を提供しません。[ 40 ]
古代の解決策 流れの問題に対する古代の解 は、特異点を持たずにすべての時間にわたって進化を遡及できる曲線です。拡大するのではなく縮小するか同じサイズを維持する自己相似解はすべて、この意味で古代の解です。これらは、順方向の曲線短縮の流れによって受ける自己相似 変換を逆転させることで遡及できます。したがって、たとえば、円、死神曲線、アブレッシュ・ランガー曲線はすべて古代の解です。
自己相似ではない例も存在する。具体的な例としては、Angenent (1992) の研究に基づくAngenent楕円 解が挙げられる。この曲線群は、接線角の関数として曲率を指定することでパラメータ化できる。
k ( θ 、 t ) = コス 2 θ − 布 2 t {\displaystyle k(\theta ,t)={\sqrt {\cos 2\theta -\operatorname {coth} 2t}}} そして、逆進化における極限形状は、反対方向から互いに近づく一対の死神曲線となる。デカルト座標系 では、それらは陰関数曲線 方程式で与えられる可能性がある
コッシュ y − e − t コス x = 0. {\displaystyle \cosh ye^{-t}\cos x=0.} 物理学の文献では、同じ形状はペーパークリップモデル として知られています。[ 37 ]
アンジェネント楕円解と収縮円解は、時間スライスが有界凸集合を囲む唯一の古代解である。グリムリーパー解、静止半空間解、静止ストリップ解は、時間スライスが非有界凸集合を囲む唯一の例である。さらに多くの(非埋め込み)局所 凸例と、さらに多くの(非凸)埋め込み例が存在する。
数値近似 曲線短縮流を効率的に計算するためには、連続曲線と曲線の連続的な変化の両方を離散的な近似に置き換える必要がある。
フロントトラッキング フロントトラッキング法は 、流体力学 において、異なる材料間の境界、気象前線 などの材料特性の急勾配、または単一材料内の衝撃波の動きをモデル化および追跡するために長年使用されてきました。これらの方法は、境界の運動方程式を導出し、それを使用して境界の動きを直接シミュレートすることを含み、基礎となる流体をシミュレートして境界を流体の創発特性として扱うことはありません。[ 47 ] 同じ方法は、流れを受ける曲線が境界や衝撃波でない場合でも、曲線短縮流をシミュレートするためにも使用できます。
曲線短縮のフロントトラッキング法では、進化する曲線は多角形として離散化されます。有限差分法 を使用して、多角形の各頂点における近似法線ベクトルと曲率の式を導出し、これらの値を使用して各時間ステップで各頂点をどのように移動させるかを決定します。[ 48 ] 曲線短縮フローは、曲線がそれ自身に垂直に動くことによって定義されますが、曲線短縮フローのいくつかのパラメータ化では、曲線を近似する頂点が非垂直に移動することを許可できます。事実上、これにより、曲線が進化するにつれて頂点が曲線に沿って移動することができます。慎重な再パラメータ化を選択すると、垂直移動によって頂点が密集してしまう状況で、頂点を曲線に沿ってより均等に再分配するのに役立ちます。[ 49 ] メリマン、ベンス、 オシャー(1992) は、これらの方法は高速かつ正確であるが、単純な閉曲線よりも複雑な入力に適用できる曲線短縮フローのバージョンに拡張するのははるかに複雑であり、特異点やトポロジーの変化に対処する必要があると述べている。
こうした方法のほとんどについて、Cao (2003) は「安定性の条件は簡単には決定できず、時間ステップはアドホックに選択する必要がある」と警告している。[ 50 ] Crandall & Lions (1996) による別の有限差分法では、各頂点の曲率の式にラプラス演算子 に基づく小さな項を追加することで修正している。この修正は楕円正則化 と呼ばれ、一般化フローの存在を証明するのに役立つだけでなく、その数値シミュレーションにも使用できる。[ 51 ] これを使用すると、Crandall と Lions の方法は収束することが証明でき、Cao が挙げている数値法の中で収束率の上限を備えている唯一の方法である。[ 52 ] 前進オイラー法 、後退オイラー法 、およびより正確なCrank–Nicolson 有限差分法の経験的比較については、 Balažovjech & Mikula (2009) を参照のこと。
リサンプリング畳み込み モフタリアンと マックワース(1992) は、曲線短縮流の近似値を計算する数値的手法を提案しており、この手法は曲線の離散的な近似値を維持し、2つのステップを交互に繰り返す。
正規化された弧長で測定した均一な間隔で新しいサンプル点を配置することにより、現在の曲線を再サンプリングします。 各点の位置を、標準偏差の小さいガウス関数で 畳み込みます 。これにより、各点の位置は、曲線上の近傍点の位置の加重平均 (ガウス重み付き)に置き換えられます。ガウス関数の標準偏差は、この処理後もサンプル点の間隔がほぼ均一になるように十分に小さく選択する必要があります。彼らが示すように、この方法は、サンプル点の数が増え、畳み込み半径の正規化された弧長が縮小する極限において、曲線短縮分布に収束します。[ 53 ]
Merriman、Bence 、 Osher(1992) は、2次元の正方形グリッド(実質的にはピクセル の配列)上で動作するスキームについて説明しています。進化させる曲線は、曲線の外側のピクセルに値0(黒)、曲線の内側のピクセルに値1(白)を割り当てることで表現され、曲線の内側の指示関数 を与えます。この表現は、2つのステップを交互に繰り返すことで更新されます。
ピクセル化された画像を熱カーネル で畳み込み、短い時間ステップにおける熱方程式 の下での画像の変化をシミュレートします。結果として得られるのは、画像のガウスぼかし 、あるいは同等に、時間ステップの平方根に比例する半径を持つ指示関数のワイエルシュトラス変換です。 数値が1/2未満のすべてのピクセルを0に設定し、数値が1/2より大きいすべてのピクセルを1に設定して、画像を新しい位置で元の値に閾値処理します。 この方式が正確であるためには、時間ステップは、曲率が低い点でも曲線が少なくとも 1 ピクセル移動するのに十分な大きさである必要があり、かつ、ぼかしの半径が最小曲率半径よりも小さくなるように十分小さくなければなりません。したがって、ピクセルのサイズはO (min κ /max κ 2 ) でなければならず、適切な中間時間ステップを選択できるほど十分に小さくなければなりません。
この方法は、各領域に同じ方法を同時に適用することで、接合部で交わり平面を 3 つ以上の領域に分割する曲線のネットワークの進化に一般化できます。 ぼかしと閾値処理の代わりに、この方法は、各ピクセルにガウス 重み を持つメディアンフィルタ を適用するものとして説明することもできます。熱カーネル以外のカーネルを使用したり、曲線の近くでは高解像度でありながら、結果に寄与しない曲線から遠いピクセルに時間とメモリを浪費しないようにグリッドを適応的に細分化することも可能です。[ 55 ] ピクセル化された画像の 2 つの値だけを使用する代わりに、ピクセル値が曲線までの符号付き距離を表す画像を使用するこの方法のバージョンでは、サブピクセル精度を達成し、より低い解像度で済みます。
アプリケーション
ウィリアム・W・ マリンズ ( 1956 ) による曲線短縮流に関する初期の言及は、熱処理によって結晶化した金属の粒界が移動するアニーリング という物理的プロセスのモデルとして、この流れを動機づけている。空気圧 の差によって一定の平均曲率 の表面になる石鹸膜 とは異なり、アニーリングにおける粒界は局所的な影響のみを受け、平均曲率の流れに従って移動する。この流れの一次元の場合、曲線短縮流は、粒界が実質的に二次元になり、その境界が一次元になるほど薄い金属板をアニーリングすることに対応する。[ 57 ]
形状解析 画像処理 とコンピュータビジョン において、Mokhtarian & Mackworth (1992) は、デジタル画像から得られた形状の輪郭に曲線短縮フローを適用することで、形状からノイズを除去し、異なる解像度レベルで形状を簡略化した記述を提供するスケール空間を実現することを提案している。Mokhtarian と Mackworth の手法は、曲線短縮フローを計算し、フローに沿って曲線の 変曲点 を追跡し、変曲点の位置を時間パラメータに対して曲線の周囲にプロットしたグラフを描画することを含む。曲線が凸になるにつれて(Gage–Hamilton–Grayson の定理に従って)、変曲点は通常ペアで曲線から除去され、点のペアの寿命は形状の特徴の顕著性に対応する。曲線短縮フローの数値近似を計算するために彼らが説明するリサンプリング畳み込み法のため、彼らはこの手法をリサンプリング曲率スケール空間 と呼んでいる。彼らは、このスケール空間が与えられた形状のユークリッド変換の下で不変であることを観察し、形状を一意に決定し、形状の小さな変化に対して頑健であると主張している。彼らは、形状のスケール空間の関連するいくつかの代替定義と実験的に比較し、再サンプリングされた曲率スケール空間は計算負荷が少なく、不均一なノイズに対してより頑健であり、小さなスケールの形状の違いによる影響が少ないことを発見した。
反応拡散アレン・カーン方程式 でモデル化された反応拡散系 では、高速反応、低速拡散、および互いに同じエネルギーレベルを持つ2つ以上の局所的エネルギー最小値の場合の極限挙動は、システムが異なる局所的最小値の領域に落ち着くことであり、これらの領域間の境界を区切る前線は曲線短縮流に従って進化します。
セルオートマトン ランダムな開始から1600ステップ経過したアニールセルオートマトン セルオートマトン では、無限のセルグリッド内の各セルは有限個の状態のいずれかを持ち、すべてのセルは隣接する少数のセルの構成のみに基づいて同時に状態を更新します。生命のようなセルオートマトン 規則とは、グリッドが無限の正方格子であり、セルの状態が正確に2つあり、各セルの隣接セルの集合がムーア近傍 の8つの隣接セルであり、更新規則がそれらの状態のより複雑な関数ではなく、2つの状態それぞれを持つ隣接セルの数のみに依存する規則です。ジェラール・ヴィクニアックによって導入され、ねじれ多数決規則または焼きなまし規則と呼ばれる特定の生命のような規則では、更新規則は、各セルの新しい値を、そのセルと8つの隣接セルによって与えられる9つのセルのうちの多数派に設定します。ただし、これらのセルが1つの状態を持つ4つと他の状態を持つ5つに分かれている場合は、セルの新しい値は多数派ではなく少数派になります。この規則の詳細なダイナミクスは複雑で、小さな安定構造の存在も含まれます。しかし、全体としては(すべての細胞がランダムな状態から開始した場合)、互いに同じ状態にある細胞の大きな領域が形成される傾向があり、これらの領域間の境界は曲線短縮の流れに従って進化します。[ 61 ]
閉じた測地線の構築 曲線短縮フローは、放物面 のように、ガウス曲率が 原点 からの距離の非増加関数である曲面の等周不等式 を証明するために使用できます。このような曲面では、任意の面積と、その面積に対する最小周長を持つ滑らかなコンパクト集合は、必ず原点を中心とする円になります。証明では、曲線短縮フローを2つの曲線、計量円と他の任意のコンパクト集合の境界に適用し、フローによって両方とも一点に縮小されるときの2つの曲線の周長の変化を比較します。[ 62 ] 曲線短縮フローは、 3つの測地線の定理、 つまり、位相的に球と等価なすべての滑らかなリーマン多様体には、単純な閉曲線 を形成する3つの測地線がある ことを証明するためにも使用できます。
参考文献 Abresch, U.; Langer, J. (1986)、「正規化された曲線短縮流と相似解」、Journal of Differential Geometry 、23 (2): 175–196 、doi : 10.4310/jdg/1214440025 、MR 0845704 。アイヒホルツァー、オズウィン。Aurenhammer, フランツ ;アルバーツ、デイビッド。 Gärtner, Bernd (1995)、「ポリゴンの新しいタイプのスケルトン」、Journal of Universal Computer Science 、1 (12): 752–761 、CiteSeerX 10.1.1.135.9800 、doi : 10.1007/978-3-642-80350-5_65、MR 1392429 。Altschuler, Steven J. (1991)、「空間曲線の曲線収縮流の特異点」、Journal of Differential Geometry 、34 (2): 491–514 、doi : 10.4310/jdg/1214447218 、MR 1131441 。Altschuler, Dylan J.; Altschuler, Steven J.; Angenent, Sigurd B. ; Wu, Lani F. (2013)、「曲線短縮のためのソリトンの動物園」R n \displaystyle \mathbb {R} ^{n}} 「, Nonlinearity , 26 (5): 1189– 1226, arXiv : 1207.4051 , Bibcode : 2013Nonli..26.1189A , doi : 10.1088/0951-7715/26/5/1189 , MR 3043378 , S2CID 1959710 。Altschuler, Steven J.; Grayson, Matthew A. (1992)、「空間曲線の短縮と特異点を通る流れ」、Journal of Differential Geometry 、35 (2): 283–298 、doi : 10.4310/jdg/1214448076 、MR 1158337 。Alvarez, Luis; Guichard, Frédéric; Lions, Pierre-Louis; Morel, Jean-Michel (1993)、「画像処理の公理と基本方程式」、Archive for Rational Mechanics and Analysis 、123 (3): 199–257 、Bibcode : 1993ArRMA.123..199A、doi : 10.1007/BF00375127、hdl : 10553/52823 、MR 1225209、S2CID 121702431 。アンドリュース、ベン。 Bryan, Paul (2011)、「距離比較による曲線短縮流れの曲率境界とグレイソンの定理の直接証明」、Journal für die Reine und Angewandte Mathematik 、2011 (653): 179–187 、arXiv : 0908.2682 、doi : 10.1515/CRELLE.2011.026、MR 2794630、S2CID 16124939 。Angenent, Sigurd (1991a)、「曲面上の曲線の放物型方程式 II. 交点、爆発、および一般化解」、Annals of Mathematics 、第2シリーズ、133 (1): 171–215 、doi : 10.2307/2944327、JSTOR 2944327、MR 1087347 。Angenent, Sigurd (1991b)、「曲線短縮流における特異点の形成について」、Journal of Differential Geometry 、33 (3): 601–633 、doi : 10.4310/jdg/1214446558 、MR 1100205 。Angenent, Sigurd B. (1992)、「縮小ドーナツ」(PDF) 、非線形拡散方程式とその平衡状態、3(Gregynog、1989) 、非線形微分方程式とその応用における進歩、第 7巻、ボストン、マサチューセッツ州:Birkhäuser、pp. 21–38 、MR 1167827 。Angenent, S. (1999)、「変曲点、エクスタティック点、曲線短縮」(PDF) 、3つ以上の自由度を持つハミルトン系(S'Agaró、1995) 、NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci.、vol. 533、Dordrecht: Kluwer Acad. Publ.、pp. 3–10 、MR 1720878 Angenent, Sigurd ; Sapiro, Guillermo ; Tannenbaum, Allen (1998)、「非凸曲線のアフィン熱方程式について」、Journal of the American Mathematical Society 、11 (3): 601–634 、doi : 10.1090/S0894-0347-98-00262-8 、hdl : 1853/32428 、MR 1491538 Angenent, Sigurd ; You, Qian (2021)、「有限全曲率を持つ曲線短縮に関する古代の解」、Transactions of the American Mathematical Society 、374 (2): 863–880 、arXiv : 1803.01399 、doi : 10.1090/tran/8186、MR 4196380、S2CID 59366007 Au, Thomas Kwok-Keung (2010)、「曲線短縮流におけるアブレッシュ・ランガー曲線の鞍点特性について」、Communications in Analysis and Geometry 、18 (1): 1– 21、arXiv : math/0102088 、doi : 10.4310/CAG.2010.v18.n1.a1、MR 2660456、S2CID 16046863 。Balažovjech, Martin; Mikula, Karol ( 2009)、「平面曲線の曲線短縮フローのための高次スキーム」(PDF) 、Algoritmy 2009 、pp. 165–175 。Barrett, John W.; Garcke, Harald; Nürnberg, Robert (2011)、「等分布する安定な完全陰解法有限要素スキームによる平面曲線発展の近似」(PDF) 、偏微分方程式の数値解法 、27 : 1–30 、doi : 10.1002/num.20637、MR 2743598、S2CID 23031256 。ベレッティーニ、ジョバンニ。 Novaga、Matteo (2011)、「非凸レンズ形状ドメインの曲率進化」、Journal für die Reine und Angewandte Mathematik 、2011 (656): 17–46 、arXiv : 0906.0166 、doi : 10.1515/CRELLE.2011.041、MR 2818854、S2CID 14158286 。Benjamini, Itai ; Cao, Jianguo (1996)、「可変曲率曲面に関する新しい等周比較定理」、Duke Mathematical Journal 、85 (2): 359–396 、doi : 10.1215/S0012-7094-96-08515-4、MR 1417620 。Brakke, Kenneth A. (1978), The motion of a surface by its mean curvature (PDF) , Mathematical Notes, vol. 20, Princeton University Press, Princeton, NJ, ISBN 0-691-08204-9 MR 0485012 。Bourni, Theodora; Langford, Mat; Tinaglia, Giuseppe (2020)、「曲線短縮流に対する凸型の古代解」、変分法と偏微分方程式 、59 (4): 133、arXiv : 1903.02022 、doi : 10.1007/s00526-020-01784-8 、MR 4127403 。Broadbridge, Philip; Vassiliou, Peter (2011)、「表面進化と曲線短縮における対称性と分離の役割」、SIGMA 、7 :論文052、19、arXiv :1106.0092 、Bibcode :2011SIGMA...7..052B、doi :10.3842/SIGMA.2011.052、MR 2804584、S2CID 8998552 。Brook, Alexander; Bruckstein, Alfred M. ; Kimmel, Ron (2005)、「類似性不変の公平性尺度について」、Kimmel, Ron ; Sochen, Nir A.; Weickert, Joachim (編)、Scale Space and PDE Methods in Computer Vision: 5th International Conference, Scale-Space 2005、Hofgeismar、ドイツ、2005年4月7日~9日、Proceedings 、Lecture Notes in Computer Science、vol. 3459、Springer-Verlag、pp. 456–467 、CiteSeerX 10.1.1.67.1807 、doi : 10.1007/11408031_39、ISBN 978-3-540-25547-5 。Bryant, Robert L. ; Griffiths, Phillip A. (1995)、「微分系の特性コホモロジー。II. 放物型方程式のクラスの保存則」、Duke Mathematical Journal 、78 (3): 531–676 、doi : 10.1215/S0012-7094-95-07824-7、MR 1334205 特に実施例1( 542~544ページおよび601~604ページ)を参照のこと。Cantarella, Jason H.; Demaine, Erik D. ; Iben, Hayley N.; O'Brien, James F. (2004)、「リンク展開へのエネルギー駆動型アプローチ」、第20回計算幾何学シンポジウム(SCG '04)議事録 、ニューヨーク州ニューヨーク、米国:ACM、pp. 134–143 、CiteSeerX 10.1.1.1001.9683 、doi :10.1145/997817.997840、ISBN 1-58113-885-7 S2CID 6694097 。Cao, Frédéric (2003), Geometric Curve Evolution and Image Processing , Lecture Notes in Mathematics, vol. 1805, Berlin: Springer-Verlag, doi : 10.1007/b10404 , ISBN 3-540-00402-5 MR 1976551 。ショパール、バスティアン;ドロズ、ミシェル(1998)「2.2.4 アニーリング規則」、物理システムのセルオートマトンモデリング 、コレクション Aléa-Saclay: 統計物理学のモノグラフとテキスト、ケンブリッジ大学出版局、ケンブリッジ、pp. 37–38 、doi : 10.1017/CBO9780511549755、ISBN 0-521-46168-5 MR 1669736 。Chou, Kai-Seng; Zhu, Xi-Ping (1998)、「完全平面曲線の短縮」、Journal of Differential Geometry 、50 (3): 471–504 、doi : 10.4310/jdg/1214424967 、MR 1690737 。Chou, Kai-Seng; Zhu, Xi-Ping (2001), The Curve Shortening Problem , Boca Raton, FL: Chapman & Hall/CRC, doi : 10.1201/9781420035704 , ISBN 1-58488-213-1 MR 1888641 。Crandall, Michael G.; Lions, Pierre-Louis (1996)、「非線形放物型方程式と平均曲率運動に対する収束差分スキーム」、Numerische Mathematik 、75 (1): 17–41 、doi : 10.1007/s002110050228、MR 1417861、S2CID 119792668 。Daskalopoulos, Panagiota ; Hamilton, Richard ; Sesum, Natasa (2010)、「曲線短縮流に対するコンパクトな古代解の分類」、Journal of Differential Geometry 、84 (3): 455–464 、arXiv : 0806.1757 、doi : 10.4310/jdg/1279114297、MR 2669361、S2CID 18747005 。Deckelnick, Klaus (2000)、「平均曲率流の粘性解を近似する差分スキームの誤差限界」、Interfaces and Free Boundaries 、2 (2): 117–142 、doi : 10.4171/IFB/15 、MR 1760409 。Deckelnick, K.; Dziuk, G. (1995)、「曲線短縮流の近似について」、変分法、応用および計算(ポンタムソン、1994年) 、Pitman Res. Notes Math. Ser.、第326巻、Longman Sci. Tech.、ハーロウ、 100–108 ページ、MR 1419337 。Devadoss, Satyan L. ; O'Rourke, Joseph (2011)、「5.5 曲線短縮」、離散幾何学と計算幾何学 、プリンストン、ニュージャージー州:プリンストン大学出版局、pp. 138–144 、ISBN 978-0-691-14553-2 MR 2790764 。Dziuk, Gerhard (1999)、「離散異方性曲線短縮流」、SIAM Journal on Numerical Analysis 、36 (6): 1808–1830 、doi : 10.1137/S0036142998337533、MR 1712165 。Elliott, Charles M.; Fritz, Hans (2017)、「DeTurckトリックに基づく曲線短縮流と平均曲率流の近似について」、IMA Journal of Numerical Analysis 、37 (2): 543–603 、arXiv : 1602.07143 、doi : 10.1093/imanum/drw020、MR 3649420 。Epstein, CL ; Weinstein, MI (1987)、「曲線短縮方程式に対する安定多様体定理」、Communications on Pure and Applied Mathematics 、40 (1): 119–139 、doi : 10.1002/cpa.3160400106、MR 0865360 。Esedoḡlu, Selim; Ruuth, Steven; Tsai, Richard (2010)、「符号付き距離関数を用いた拡散生成運動」(PDF) 、Journal of Computational Physics 、229 (4): 1017–1042 、Bibcode : 2010JCoPh.229.1017E、doi : 10.1016/j.jcp.2009.10.002、MR 2576237 。Gage, Michael E. (1983)、「曲線短縮への応用を伴う等周不等式」、Duke Mathematical Journal 、50 (4): 1225–1229 、doi : 10.1215/S0012-7094-83-05052-4、MR 0726325 。Gage, ME (1984)、「曲線短縮により凸曲線が円形になる」、Inventiones Mathematicae 、76 (2): 357–364 、Bibcode : 1984InMat..76..357G、doi : 10.1007/BF01388602、MR 0742856、S2CID 121981987 。Gage, M. ; Hamilton, RS (1986)、「凸平面曲線を収縮させる熱方程式」、Journal of Differential Geometry 、23 (1): 69–96 、doi : 10.4310/jdg/1214439902 、MR 0840401 。Grayson, Matthew A. (1987)、「熱方程式は埋め込まれた平面曲線を丸い点に縮小する」、Journal of Differential Geometry 、26 (2): 285–314 、doi : 10.4310/jdg/1214441371 、MR 0906392 。Grayson, Matthew A. (1989a)、「曲線短縮流の下の8の字の形状」、Inventiones Mathematicae 、96 (1): 177–180 、Bibcode : 1989InMat..96..177G、doi : 10.1007/BF01393973、MR 0981740、S2CID 120965191 。Grayson, Matthew A. (1989b)、「埋め込み曲線の短縮」(PDF) 、Annals of Mathematics 、第2シリーズ、129 (1): 71–111 、doi : 10.2307/1971486、JSTOR 1971486、MR 0979601 。 。Haußer, Frank; Voigt, Axel (2006)、「正則化された異方性曲線短縮流の数値スキーム」、Applied Mathematics Letters 、19 (8): 691–698 、doi : 10.1016/j.aml.2005.05.011 、MR 2232241 。Holden, Helge; Risebro, Nils Henrik (2015), Front Tracking for Hyperbolic Conservation Laws , Applied Mathematical Sciences, vol. 152 (2nd ed.), Springer, ISBN 978-3-662-47507-2 。Huisken, Gerhard (1990)、「平均曲率流の特異点の漸近挙動」、Journal of Differential Geometry 、31 (1): 285–299 、doi : 10.4310/jdg/1214444099 、hdl : 11858/00-001M-0000-0013-5CFE-3 、MR 1030675 。Huisken, Gerhard (1998)、「進化する曲線のための距離比較原理」、The Asian Journal of Mathematics 、2 (1): 127–133 、doi : 10.4310/ajm.1998.v2.n1.a2 、hdl : 11858/00-001M-0000-0013-5965-2 、MR 1656553 。Huisken, Gerhard ; Sinestrari, Carlo (2015)、「平均曲率流の凸型古代解」、Journal of Differential Geometry 、101 (2): 267–287 、arXiv : 1405.7509 、doi : 10.4310/jdg/1442364652、MR 3399098、S2CID 119129510 。Huptych, Marcel; Röck, Sascha (2021年1月28日)、「曲線短縮フロー法を用いた無人航空機の動的環境におけるリアルタイム経路計画」、International Journal of Advanced Robotic Systems 、18 (1)、doi : 10.1177/1729881420968687 、S2CID 232093372 。Ilmanen, Tom (1994)、「平均曲率による運動の楕円正則化と部分正則性」、Memoirs of the American Mathematical Society 、108 (520)、doi : 10.1090/memo/0520 、MR 1196160 。Ilmanen, Tom; Neves, André ; Schulze, Felix (2014),平面ネットワークフローの短時間存在について , arXiv : 1407.4756 , Bibcode : 2014arXiv1407.4756I 。石村直之(1995)「所定の開口角を持つ平面曲線の曲率変化」オーストラリア数学会報 、52 (2):287–296 、doi :10.1017/S0004972700014714 、MR 1348488 。Kichenassamy, S.; Kumar, A.; Olver, P. ; Tannenbaum, A. ; Yezzi, A. (1995)、「勾配フローと幾何学的アクティブ輪郭モデル」、IEEE International Conference on Computer Vision 論文集 、pp. 810–815 、CiteSeerX 10.1.1.331.6675 、doi : 10.1109/iccv.1995.466855、ISBN 0-8186-7042-8 S2CID 10355426 。Kimmel, Ron (2004), Numerical Geometry of Images: Theory, Algorithms, and Applications , Springer-Verlag, ISBN 978-0-387-21637-9 MR 2028182 。木村正人 (1994)、「曲率による流れの正確な数値スキーム」、応用数学レター 、7 (1): 69–73 、doi : 10.1016/0893-9659(94)90056-6 、MR 1349897 。Lam, Casey; Lauer, Joseph (2016),トポロジー家の正弦曲線のレベルセットフローは滑らかである , arXiv : 1601.02442 , Bibcode : 2016arXiv160102442L Lauer, Joseph (2013)、「曲線短縮フローと低正則性初期データに対する新しい長さ推定」、Geometric and Functional Analysis 、23 (6): 1934–1961 、arXiv : 1102.5110 、doi : 10.1007/s00039-013-0248-1、MR 3132906、S2CID 119339054 。Lukyanov, SL; Vitchev, ES; Zamolodchikov, AB (2004)、「境界相互作用の積分可能なモデル:ペーパークリップ」、Nuclear Physics B 、683 (3): 423–454 、arXiv : hep-th/0312168 、Bibcode : 2004NuPhB.683..423L、doi : 10.1016/j.nuclphysb.2004.02.010、S2CID 119124585 。Merriman, Barry; Bence, James; Osher, Stanley (1992年4月)、「平均曲率による拡散生成運動 (PDF)」 、CAMレポート92-18、カリフォルニア大学ロサンゼルス校数学科、2017年7月5日にオリジナル(PDF)からアーカイブ。 また、Taylor, Jean E. (1992)『 Computational Crystal Growers Workshop: Proceedings of the Geometry Center Workshop held in Minneapolis, Minnesota, February 22–28, 1992 』『Selected Lectures in Mathematics』、Providence, RI: American Mathematical Society、pp. 73–83 、 ISBNにも掲載されている。 0-8218-8072-1 MR 1224451 。Mikula, Karol; Ševčovič, Daniel (1999)、「平面曲線の非線形曲率駆動発展の解」、応用数値数学 、31 (2): 191–207 、doi : 10.1016/S0168-9274(98)00130-5、MR 1708959 。Mikula, Karol; Ševčovič, Daniel (2001)、「非線形曲率関数と異方性によって駆動される平面曲線の進化」、SIAM Journal on Applied Mathematics 、61 (5): 1473–1501 (電子版)、CiteSeerX 10.1.1.32.1138 、doi : 10.1137/S0036139999359288、MR 1824511 。ミナルチク、イジー。 Beneš、Michal (2020)、「曲線短縮流の長期挙動」R 3 \displaystyle \mathbb {R} ^{3}} SIAM Journal on Mathematical Analysis 、52 (2):1221–1231 、arXiv :2212.11907 、doi :10.1137/19M1248522、MR 4076813、S2CID 216464044 。Mokhtarian, F.; Mackworth, AK (1992)、「平面曲線に対するマルチスケール曲率ベースの形状表現の理論」(PDF) 、IEEE Transactions on Pattern Analysis and Machine Intelligence 、14 (8):789–805 、doi :10.1109/34.149591 。Mullins, WW (1956)、「理想化された粒界の二次元運動」、Journal of Applied Physics 、27 (8): 900–904 、Bibcode : 1956JAP....27..900M、doi : 10.1063/1.1722511 Ball , John M. ; Kinderlehrer, David ; Podio-Guidugli, Paulo; Slemrod, Marshall 編 (1999)『 固体における進化する相界面の連続体理論への基礎的貢献:14の重要な論文の再録集』 、Springer-Verlag、pp. 70–74 、 doi : 10.1007/978-3-642-59938-5_3 、 ISBNに再録。 978-3-642-59938-5 。Pickover, Clifford A. (1993)、「21世紀の溶岩ランプ」、The Visual Computer 、10 (3): 173–177 、doi : 10.1007/bf01900906、S2CID 29417478 。Rhines, Frederick N.; Craig, Kenneth R.; DeHoff, Robert T. (1974)、「アルミニウムにおける定常状態の結晶粒成長のメカニズム」、Metallurgical Transactions 、5 (2): 413–425 、Bibcode : 1974MT......5..413R、doi : 10.1007/bf02644109、S2CID 136991523 。Ritoré, Manuel; Sinestrari, Carlo (2010)、「2.2 曲線短縮フロー」、平均曲率フローと等周不等式 、Advanced Courses in Mathematics – CRM Barcelona、Birkhäuser、pp. 72–75 、doi : 10.1007/978-3-0346-0213-6_13、ISBN 978-3-0346-0213-6 。ルビンシュタイン、ジェイコブ;スターンバーグ、ピーター;ケラー、ジョセフ B. (1989)、「高速反応、低速拡散、曲線短縮」、SIAM Journal on Applied Mathematics 、49 (1): 116–133 、doi : 10.1137/0149007、MR 0978829 。Sapiro, Guillermo ; Tannenbaum, Allen (1993)、「アフィン不変スケール空間」、International Journal of Computer Vision 、11 (1): 25–44 、doi : 10.1007/bf01420591、S2CID 13163111 。Schnürer, Oliver C.; Azouani, Abderrahim; Georgi, Marc; Hell, Juliette; Jangle, Nihar; Koeller, Amos; Marxen, Tobias; Ritthaler, Sandra; Sáez, Mariel; Schulze, Felix; Smith, Brian (2011)、「曲線短縮流下における凸レンズ形状ネットワークの進化」、Transactions of the American Mathematical Society 、363 (5): 2265–2294 、arXiv : 0711.1108 、doi : 10.1090/S0002-9947-2010-04820-2、MR 2763716、S2CID 16595310 。Scriven, LE (1960)、「流体界面の動力学:ニュートン流体表面の運動方程式」、Chemical Engineering Science 、12 (2): 98–108 、Bibcode : 1960ChEnS..12...98S、doi : 10.1016/0009-2509(60)87003-0 。Smith, Stephen L.; Broucke, Mireille E. ; Francis, Bruce A. (2007)、「移動自律ロボットにおける曲線短縮とランデブー問題」、IEEE Transactions on Automatic Control 、52 (6): 1154–1159 、arXiv : cs/0605070 、doi : 10.1109/tac.2007.899024、S2CID 574140 。Vichniac, Gérard Y. (1986)、「無秩序と組織化のセルオートマタモデル」、Bienenstock, E.、Fogelman Soulié, F.、Weisbuch, G. (編)、『無秩序システムと生物学的組織化 』、NATO ASIシリーズ、第 20巻、Springer-Verlag、3–20 頁、doi : 10.1007/978-3-642-82657-3_1、ISBN 978-3-642-82659-7 。ホワイト、ブライアン (1989)「微分幾何学における最近のいくつかの発展」、The Mathematical Intelligencer 、11 (4):41–47 、doi :10.1007/BF03025885、MR 1016106、S2CID 122335761 。White, Brian (2002)、「平均曲率による曲線と曲面の進化」、国際数学者会議議事録、第1巻(北京、2002年) 、高等教育出版社、北京、pp. 525–538 、arXiv :math/0212407 、Bibcode :2002math.....12407W、MR 1989203 。You, Qian (2014)、「曲線短縮に関する古代の解決策のいくつか」 、博士論文、ウィスコンシン大学マディソン校、ProQuest 1641120538 。