[論文レビュー] Discrete Energy Asymptotics on a Riemannian circle

Johann S. Brauchart, Douglas P. Hardin+1 more|arXiv (Cornell University)|Dec 23, 2009

Mathematical Approximation and Integration参考文献 24被引用数 6

ひとこと要約

本稿では、リーマンの円周（p≥2のRp内のrectifiableな単純閉曲線）上に等間隔に配置されたN個の点に対する離散測地的エネルギーの完全な漸近展開を、Euler-Maclaurin和公式およびゼータ関数の解析接続を用いて導出する。主な結果は、一般の核関数（Rieszおよび対数的ポテンシャルを含む）に対して、すべての複素数sについて有効な、Nの逆数の累乗による正確な展開が得られることである。

ABSTRACT

We derive the complete asymptotic expansion in terms of powers of $N$ for the geodesic $f$-energy of $N$ equally spaced points on a rectifiable simple closed curve $Γ$ in ${\mathbb R}^p$, $p\geq2$, as $N o \infty$. For $f$ decreasing and convex, such a point configuration minimizes the $f$-energy $\sum_{j eq k}f(d(\mathbf{x}_j, \mathbf{x}_k))$, where $d$ is the geodesic distance (with respect to $Γ$) between points on $Γ$. Completely monotonic functions, analytic kernel functions, Laurent series, and weighted kernel functions $f$ are studied. % Of particular interest are the geodesic Riesz potential $1/d^s$ ($s eq 0$) and the geodesic logarithmic potential $\log(1/d)$. By analytic continuation we deduce the expansion for all complex values of $s$.

研究の動機と目的

• N→∞のとき、リーマンの円周上に等間隔に配置されたN個の点の測地的fエネルギーに対する完全な漸近展開を確立すること。
• 既知のエネルギー最小化結果を、完全単調関数、解析的関数、およびローレン級数核を含む一般の関数クラスfへと拡張すること。
• すべての複素数sについて、解析接続を用いて測地的Rieszエネルギー（1/d^s）および対数的エネルギー（log(1/d)）の漸近展開を導出すること。
• 閉曲線上の離散的エネルギー問題に対する厳密な漸近的枠組みを、高度な和公式および特殊関数技法を用いて提供すること。

提案手法

• 曲線上の等間隔な点における離散的エネルギー和にEuler-Maclaurin和公式を適用する。
• 一般化された調和和∑_{k=1}^{⌊N/2⌋} k^{-s}を表すために、HurwitzおよびRiemannゼータ関数を用いる。
• 解析接続を用いて、漸近展開をすべての複素数s（s=0（対数的ポテンシャル）を含む）に拡張する。
• ベルヌーイ多項式および周期的ゼータ関数を用いて、漸近級数の剰余項を表現する。
• 整数sに対しては、Hurwitzゼータ関数およびベルヌーイ多項式の恒等式を用いてエネルギーの正確な公式を導出する。
• 対数的エネルギーの場合を扱うために、ガンマ関数の対数に関する一般化されたStirling型展開を適用する。

実験結果

リサーチクエスチョン

• RQ1 N→∞のとき、リーマンの円周上に等間隔に配置されたN個の点の測地的fエネルギーに対する完全な漸近展開は何か？
• RQ2 複素数sに対して、Rieszエネルギー（1/d^s）および対数的エネルギー（log(1/d)）の漸近的挙動はどのように振る舞うか？
• RQ3 解析接続を用いて、実数sを超えてすべての複素数sへと漸近展開を拡張できるか？
• RQ4 一般のfに対して、漸近展開の正確な誤差項は何か？また、fの滑らかさにどのように依存するか？
• RQ5 エネルギー最小化点（等間隔配置対比反対点配置）は、fの凸性および単調性にどのように依存するか？

主な発見

• リーマンの円周上に等間隔に配置されたN個の点の測地的fエネルギーは、すべての複素数sについて、解析接続を用いてNの逆数の累乗による完全な漸近展開を有する。
• Rieszポテンシャルf_s(x) = x^{-s}に対して、エネルギー展開はM_s(Γ;N) = (2/|Γ|^s) N^{1+s} ∑_{k=1}^{⌊N/2⌋} k^{-s} - (1−κ)/( |Γ|/2 )^s N で与えられ、κは偶奇に応じて0または1である。
• 対数的エネルギー（s=0）は、M_log(Γ;N) = N(N−κ) log(N/|Γ|) − 2N log Γ(⌊N/2⌋+1) − (1−κ)N log(N/2) の漸近形を示し、剰余項はO(N^{-2q})である。
• 整数s=−p<0に対しては、ベルヌーイ多項式を用いてエネルギーが正確に表現される：M_{-p}(Γ;N) = 2|Γ|^p (B_{p+1}((N+κ)/2) − B_{p+1}) / (p+1) N^{1−p} + (1−κ)(|Γ|/2)^p N。
• 漸近展開の剰余項は、Re(s)+2q+1>0 であるsに対してO(N^{-1−Re(s)−2q})、s=−2qに対してはO(N^{-2q})である。
• 対数的エネルギーの展開は、s=0におけるHurwitzゼータ関数の微分を用いて導出され、恒等式 log Γ(x+α)/√(2π) = ∂/∂s ζ(s,x+α)|_{s=0} を用いる。