[論文レビュー] Limit shapes and the complex burgers equation

Richard Kenyon, Andreĭ Okounkov|ArXiv.org|Jul 1, 2005

Geometric Analysis and Curvature Flows参考文献 10被引用数 12

ひとこと要約

本稿は、平面グラフ上のランダムなドミニオ・モデルにおける極限形状と複素非粘性バーガース方程式との間の関係を確立し、表面張力最小化のオイラー＝ラグランジュ方程式がこの複素偏微分方程式に帰着されることを示している。解は任意の正則関数を用いて構成され、境界条件の稠密な集合に対してはこの関数が代数的になるため、代数幾何学的手法を用いて極限形状における特異点（面や端）を解析できる。

ABSTRACT

In this paper we study surfaces in R^3 that arise as limit shapes in a class of random surface models arising from dimer models. The limit shapes are minimizers of a surface tension functional, that is, they minimize, for fixed boundary conditions, the integral of a quantity (the surface tension) depending only on the slope of the surface. The surface tension as a function of the slope has singularities and is not strictly convex, which leads to formation of facets and edges in the limit shapes. We find a change of variables that reduces the Euler-Lagrange equation for the variational problem to the complex inviscid Burgers equation (complex Hopf equation). The equation can thus be solved in terms of an arbitrary holomorphic function, which is somewhat similar in spirit to Weierstrass parametrization of minimal surfaces. We further show that for a natural dense set of boundary conditions, the holomorphic function in question is, in fact, algebraic. The tools of algebraic geometry can thus be brought in to study the the minimizers and, especially, the formation of their singularities. This is illustrated by several explicitly computed examples.

研究の動機と目的

• 平面二部グラフ上のドミニオ被覆から生じる確率的表面モデルにおける極限形状を特徴付けること。
• これらの極限形状を支配する変分原理を、与えられた境界条件下での表面張力最小化として同定すること。
• 複素解析を用いて、この変分問題のオイラー＝ラグランジュ方程式を導出し、解くこと。
• 一般の境界条件のクラスに対して、解が代数的になることを示し、代数幾何学的手法を用いることを可能にすること。
• 表面張力の極限形状における特異点（面や端）の形成を、関連するスペクトル曲線の幾何学的性質を用いて解析すること。

提案手法

• 変数変換を用いて、表面張力最小化問題を複素非粘性バーガース方程式に還元する。
• スペクトル曲線のロンキン関数のレジャンドル変換を用いて、表面張力σを定義する。
• 複素バーガース方程式を用いて、任意の正則関数から極限形状を構成する。これはワイエルシュトラスのパラメトライゼーションに類似している。
• 代数幾何学を用いて、境界条件の稠密な集合に対して、バーガース方程式を解く正則関数が代数的になることを示す。
• ウルフ構成とロンキン関数のミンコフスキー和を用いて、所望の面積を持つ特異点を有する明示的解を生成する。
• genus 0 の曲線の有理関数パラメトライゼーションを用いて明示的解を構成し、弱収束を用いて非代数的最小化子を得る。

実験結果

リサーチクエスチョン

• RQ1 平面グラフ上のランダム・ドミニオ・モデルの極限形状を、変分的観点からどのように特徴付けることができるか？
• RQ2 複素バーガース方程式は、表面張力最小化のオイラー＝ラグランジュ方程式を記述する上で果たす役割は何か？
• RQ3 複素バーガース方程式を解く正則関数が代数的になる条件は何か？
• RQ4 極限形状における特異点（面や端）はどのようにして生じるのか。幾何学的にどのように符号化されるか？
• RQ5 代数的曲線を用いて明示的解を構成することは可能か。また、ミンコフスキー和はこの構成において果たす役割は何か？

主な発見

• 極限形状は、所定の境界値を持つリプシッツ関数の集合上で、表面張力汎関数 ∫σ(∇h) dx dy を最小化する唯一の解である。
• この最小化問題のオイラー＝ラグランジュ方程式は、複素非粘性バーガース方程式に帰着され、任意の正則関数を用いて解ける。
• 境界条件の稠密な集合に対して、バーガース方程式を解く正則関数は代数的であり、代数幾何学的手法を用いることが可能になる。
• 面が形成される「凍結境界」は、スペクトル曲線に接する直線の包絡線であり、解の判別式特異点と一致する。
• 2つの同一の面積を持つハルナック曲線のロンキン関数のミンコフスキー和を用いて、明示的解を構成した。
• 高次の極限において、genus 0 の曲線の有理関数パラメトライゼーションは非代数的最小化子を導き、式 (28) の三角不等式は対数ポテンシャルを用いて漸近的形状を記述する。