[论文解读] Greedy energy points with external fields

A. López‐García|arXiv (Cornell University)|Jan 27, 2009

Mathematical Approximation and Integration参考文献 8被引用 3

一句话总结

本文在局部紧致度量空间中引入了带外部场的贪心能量点序列，采用一种平衡Riesz核相互作用与外部场势能的最小化算法。主要贡献是在适当条件下证明了此类序列渐近等分布于平衡测度，将Choquet理论推广至$\mathbb{R}^p$中带外部场的加权能量问题。

ABSTRACT

In this paper we introduce several extremal sequences of points on locally compact metric spaces and study their asymptotic properties. These sequences are defined through a greedy algorithm by minimizing a certain energy functional whose expression involves an external field. Some results are also obtained in the context of Euclidian spaces $\mathbb{R}^{p}$, $p\geq 2$. As a particular example, given a closed set $A\subset\mathbb{R}^{p}$, a lower semicontinuous function $f:\mathbb{R}^p o(-\infty,+\infty]$ and an integer $m\geq 2$, we investigate (under suitable conditions on $A$ and $f$) sequences $\{a_{i}\}_{1}^{\infty}\subset A$ that are constructed inductively by selecting the first $m$ points $a_{1},...,a_{m}$ so that the functional \[ \sum_{1\leq i

研究动机与目标

• 在局部紧致度量空间中定义并分析一种结合外部场的贪心能量序列，使用包含外部场的最小化算法。
• 将Choquet关于最小能量构型的理论扩展至Riesz核背景下带外部场的情形。
• 在外部场与定义域满足适当条件时，建立$\mathbb{R}^p$中贪心能量点向平衡测度的渐近等分布性质。
• 证明配置的加权能量收敛至下确界能量，并将极限测度刻画为平衡测度。
• 将关于Leja点与最小能量构型的结果推广至欧氏空间中带外部场与Riesz核的情形。

提出的方法

• 定义加权能量泛函$ E_f(\nu) = E(\nu) + 2(N-1)\textstyle\sum_{i=1}^N f(x_i) $，其中$ E(\nu) $为核$ k(x,y) = |x-y|^{-s} $（$ s \neq p $）下的Riesz能量，$ f $为下半连续的外部场。
• 通过归纳方式构造贪心序列：在每一步中，选择$ m $个新点，使包含与先前点相互作用及外部场的能源泛函最小化。
• 使用势论工具，包括Riesz势$ U_s^\nu(x) = \textstyle\int |x-y|^{-s} d\nu(y) $，以及加权能量$ I_f(\nu) = W(\nu) + 2\textstyle\int f d\nu $。
• 应用Choquet的最小能量理论与Gauss变分问题，建立使$ I_f(\nu) $最小化的平衡测度$ \nu $的存在性与唯一性。
• 证明贪心序列满足$ U_s^\nu(x) + f(x) = \text{常数} $几乎处处在$ \nu $的支集上，从而蕴含等分布性。
• 利用经验测度的弱*收敛性，表明贪心点的极限分布即为平衡测度$ \nu $。

实验结果

研究问题

• RQ1 在何种条件下，带外部场的贪心能量序列会按照平衡测度实现等分布？
• RQ2 外部场的引入如何改变$\mathbb{R}^p$中最小能量构型的渐近行为？
• RQ3 Choquet关于最小能量的理论能否推广至局部紧致度量空间中带外部场的情形？
• RQ4 在存在外部场时，势$ U_s^\nu(x) + f(x) $与平衡测度$ \nu $的支集之间存在何种关系？
• RQ5 贪心算法如何确保每个新点均位于使$ U_s^\nu(x) + f(x) $最小化的集合中？

主要发现

• 贪心能量序列$ \big\{ a_n \big\}_{n=1}^\infty $渐近等分布于平衡测度$ \nu $，即经验测度$ \frac{1}{N}\textstyle\sum_{i=1}^N \delta_{a_i} $弱*收敛于$ \nu $。
• 极限测度$ \nu $具有如下性质：对$ \nu $支集上几乎处处的$ x $，有$ U_s^\nu(x) + f(x) = M $，其中$ M $为$ U_s^\nu(x) + f(x) $的下确界。
• 当$ s \neq p $时，加权能量$ I_f(\nu) $有限，且唯一由平衡测度$ \nu $实现最小化，该测度为贪心序列经验测度的弱*极限。
• N点贪心构型的能量满足$ \frac{1}{N} E_f(\nu_N) \to I_f(\nu) $当$ N \to \infty $，且单位粒子能量收敛至下确界能量。
• 当$ p=2, s=0 $时，结果可推广至带外部场的对数能量情形，此时平衡测度仍满足$ U_s^\nu(x) + f(x) = \text{常数} $几乎处处在支集上。
• 平衡测度$ \nu $的支集包含于使$ U_s^\nu(x) + f(x) $达到最小值的集合中，且$ \nu $是满足此条件的唯一测度。