[论文解读] Optimal stretching for lattice points and eigenvalues

Richard S. Laugesen, Shiya Liu|arXiv (Cornell University)|Sep 5, 2016

Nonlinear Partial Differential Equations参考文献 19被引用 5

一句话总结

本文研究了第一象限中凸区域在最优拉伸下的格点计数问题，证明了渐近意义上最优拉伸因子趋近于1——这意味着对于 p ∈ (1, ∞)，平衡的圆形形状（如 p-圆）是最优的。该结果推广了先前在特征值最小化与格点计数方面的工作，通过凸分析和 van der Corput 的指数和估计，将谱几何与数论联系起来。

ABSTRACT

We aim to maximize the number of first-quadrant lattice points in a convex domain with respect to reciprocal stretching in the coordinate directions. The optimal domain is shown to be asymptotically balanced, meaning that the stretch factor approaches 1 as the "radius" approaches infinity. In particular, the result implies that among all p-ellipses (or Lamé curves), the p-circle encloses the most first-quadrant lattice points as the radius approaches infinity. The case p=2 corresponds to minimization of high eigenvalues of the Dirichlet Laplacian on rectangles, and so our work generalizes a result of Antunes and Freitas. Similarly, we generalize a Neumann eigenvalue maximization result of van den Berg, Bucur and Gittins. The case p=1 remains open: which right triangles in the first quadrant with two sides along the axes will enclose the most lattice points, as the area tends to infinity?

研究动机与目标

• 确定使第一象限格点数量最大化的凸区域的最优拉伸因子。
• 将 Antunes 和 Freitas 在矩形中关于 Dirichlet 特征值最小化的结果推广至任意凹曲线。
• 将谱优化结果扩展至 1 < p < ∞ 的 p-椭圆与 Lamé 曲线。
• 研究当区域尺寸增大时最优拉伸因子的渐近行为。
• 探讨谱几何中格点计数与特征值优化之间的联系。

提出的方法

• 为控制凸区域的拉伸因子 s(r)，推导了格点计数函数的非精确上界。
• 利用具有单调二阶导数的光滑函数的 van der Corput 指数和定理，应用 Krätzel 型格点估计。
• 提出一个新颖的引理，将 s 偏离 1 的微小偏差与 s + s⁻¹ 的界联系起来，从而控制拉伸因子的收敛性。
• 通过允许曲率在端点处退化，分析 p-椭圆（Lamé 曲线），将结果推广至 1 < p < ∞。
• 通过计数函数对偶性，建立格点最大化与特征值优化之间的渐近等价性。
• 将 van den Berg、Bucur 与 Gittins 在 Neumann 特征值最大化中的技术 adapted 至闭第一象限。

实验结果

研究问题

• RQ1 对于在 x 方向拉伸 s 倍、y 方向拉伸 s⁻¹ 倍的凸区域，当 r → ∞ 时，使第一象限格点数最大的拉伸因子 s(r) 是什么？
• RQ2 对于第一象限中的一般凹曲线，当区域半径 r 增大时，最优拉伸因子 s(r) 是否收敛于 1？
• RQ3 对于 1 < p < ∞，p-椭圆中最大化格点数的最优形状的渐近行为如何？
• RQ4 在拉伸区域内最大化格点数与优化拉普拉斯算子的高阶特征值之间存在何种关系？
• RQ5 当 n → ∞ 时，使 Neumann 特征值最大的最优矩形是否渐近平衡（即 s → 1）？

主要发现

• 使第一象限格点数最大的凸区域的最优拉伸因子 s(r) 在 r → ∞ 时收敛于 1，证明了渐近平衡性。
• 对于 1 < p < ∞ 的 p-椭圆，p-圆（s = 1）在 r → ∞ 时渐近最大化第一象限的格点数。
• 使 Neumann 特征值最大的最优拉伸因子在 n → ∞ 时也收敛于 1，且满足 S*(n) ⊂ [1 - O(n⁻¹/¹²), 1 + O(n⁻¹/¹²)]。
• 最大 Neumann 特征值满足渐近公式 max_s μ_n(s) = (4/π)n - (4/π)^{3/2}n^{1/2} + O(n^{1/3})。
• 该结果推广了 Antunes 和 Freitas 的特征值最小化结果，以及 van den Berg、Bucur 与 Gittins 的 Neumann 特征值最大化结果，适用于更广泛的曲线类。
• p = 1 的情况（直角三角形）仍为开放问题，数值证据表明其可能不收敛于 45–45–90 三角形。