[论文解读] Ten Lectures on the Moment Problem

Konrad Schmüdgen|arXiv (Cornell University)|Aug 28, 2020

Probabilistic and Robust Engineering Design被引用 7

一句话总结

本文提供了一个全面的、以讲座形式的多维矩问题导论，强调其与实代数几何、泛函分析及多项式优化的联系。通过矩泛函建立表示测度存在的判别准则，利用Carleman和Krein条件刻画确定性，并运用凸几何与多项式环中的正性分析矩锥与核心簇的结构。

ABSTRACT

These are ten lectures on the moment problem delivered by the author at the Vietnam Institute of Advanced Studies in Mathematics, Hanoi, March 2019. The first 3 lectures are about the one-dimensional full and truncated moment problem. The next 4 lectures deal with the multidimensional full moment problem with particular emphasis on the interactions with real algebraic geometry and polynomial optimization. The final 3 lectures are devoted to the truncated multidimensional moment problem and some recent developments in this area..

研究动机与目标

• 为研究人员和研究生提供关于多维矩问题的结构化、易懂的导论。
• 通过多项式正性和半代数集，探索矩问题与实代数几何之间的相互作用。
• 利用泛函分析与解析条件，刻画表示测度的存在性与唯一性（确定性）。
• 在截断矩问题与完整矩问题的背景下，分析矩锥与核心簇的几何结构。
• 将矩方法应用于多项式优化，通过正性条件推导可行性与最优性的判别准则。

提出的方法

• 将矩问题表述为多项式代数上线性泛函的积分表示。
• 以Hamburger和Stieltjes矩问题作为一维基础情形，扩展至多维情形。
• 应用正性理论：通过非负线性泛函与局部化泛函刻画矩泛函。
• 运用严格Positivstellensatz与半环条件，求解紧致半代数集上的矩问题。
• 将矩锥视为Dirac测度的矩向量生成的凸锥，研究其对偶与暴露面。
• 利用Hankel矩阵与多项式正性，刻画矩锥的内部与边界点。

实验结果

研究问题

• RQ1 在何种条件下，给定的矩序列允许存在表示的正Borel测度？
• RQ2 何时表示测度唯一（确定）而非唯一（不确定）？
• RQ3 如何利用矩锥与核心簇的几何结构刻画截断矩问题的解？
• RQ4 多项式上的正性条件（如在半环中）在半代数集上求解矩问题中起何作用？
• RQ5 Carleman与Krein条件如何在单变量与多变量矩问题中决定确定性？

主要发现

• Carleman条件确保Hamburger矩问题的确定性：若 ∑k=1∞ s2k−1−1/2 = ∞，则问题确定。
• Krein条件提供不确定性的判据：若 ∫R log s(x) / (1 + x²) dx = −∞，则矩问题不确定。
• 矩锥 S 是由向量 sA(x) = (a1(x), ..., am(x)) 对 x 属于底空间 X 生成的凸锥。
• 泛函 L 是矩锥 L 的内点，当且仅当 N1(L) = {0}，即不存在非零正函数在 L 下为零。
• 核心簇 V(L) 等于所有在 L 下为零的非负函数的零点集，且 W(L) = X 当且仅当 L 是内点。
• 矩锥的暴露面具有形式 Fp = {L′ ∈ L : L′(p) = 0}，其中 p ∈ E+，且 L 位于此类面的相对内部当且仅当 W(L) = V(L)。