[論文レビュー] 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-円）が最適であることを示唆している。この結果は、先行研究の固有値最小化および格子点数の数え上げを一般化し、凸解析およびヴァン・デル・コーポットの指数和推定を介して、スペクトル幾何学と数論を結びつける。

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?

研究の動機と目的

• 第一象限における格子点数を最大化するための凸領域の最適な引き伸ばし係数を特定すること。
• アンツェスとフライタスの長方形におけるディリクレ固有値最小化に関する結果を、任意の凹曲線へ一般化すること。
• 1 < p < ∞ に対して、p-楕円およびラメ曲線へスペクトル最適化結果を拡張すること。
• 領域サイズが増加する際の最適引き伸ばし係数の漸近的挙動を調査すること。
• スペクトル幾何学における格子点数の数え上げと固有値最適化の間の関係を探索すること。

提案手法

• 凸領域のための引き伸ばし係数 s(r) を制御するため、格子点数関数に対する非鋭い上限を構築する。
• 曲率が単調な二階微分を持つ滑らかな関数に対して、ヴァン・デル・コーポットの指数和定理を用いたクレーツェル型の格子点推定を適用する。
• s が 1 からわずかにずれた場合に s + s⁻¹ に及ぼす影響を制御できるように、新規の補題を導入する。
• p-楕円（ラメ曲線）を、端点で曲率が退化するように許容することで、1 < p < ∞ へ結果を拡張する。
• 格子点数最大化と固有値最適化の間の漸近的同値性を、数え上げ関数の双対性を通じて確立する。
• ネウマン固有値最大化のためのヴァン・デン・ベルク、ブチウル、ジッティンズの技術を閉じた第1象限へ適応する。

実験結果

リサーチクエスチョン

• RQ1 x 軸方向に s、y 軸方向に s⁻¹ で引き伸ばされた凸領域に対して、r → ∞ のとき、第一象限の格子点数を最大化する引き伸ばし係数 s(r) は何か？
• RQ2 一般の凹曲線が第一象限にある場合、領域半径 r が増加するにつれて、最適な引き伸ばし係数 s(r) は 1 に収束するか？
• RQ3 1 < p < ∞ の場合、p-楕円における格子点数を最大化する最適形状の漸近的挙動はいかなるものか？
• RQ4 引き伸ばされた領域における格子点数の最大化と、ラプラシアンの高次固有値の最適化の間にはどのような関係があるか？
• RQ5 n → ∞ のとき、ネウマン固有値を最大化する最適な長方形は、漸近的にバランスの取れた形状（つまり s → 1）に収束するか？

主な発見

• 第一象限における格子点数を最大化するための凸領域の最適引き伸ばし係数 s(r) は、r → ∞ のとき 1 に収束し、漸近的平衡が成立することを証明した。
• 1 < p < ∞ の p-楕円に対して、p-円（s = 1）は、r → ∞ のとき、第一象限における格子点数を漸近的に最大にする。
• ネウマン固有値を最大化するための最適引き伸ばし係数についても、n → ∞ のとき 1 に収束し、S*(n) ⊂ [1 - O(n⁻¹/¹²), 1 + O(n⁻¹/¹²)] が成り立つ。
• 最大ネウマン固有値は、漸近的公式 max_s μ_n(s) = (4/π)n - (4/π)^{3/2}n^{1/2} + O(n^{1/3}) を満たす。
• アンツェスとフライタスの固有値最小化結果およびヴァン・デン・ベルク、ブチウル、ジッティンズのネウマン固有値最大化結果を、より広い曲線のクラスへ一般化した。
• p = 1（直角二等辺三角形）の場合は未解決であり、数値的証拠は 45–45–90 三角形への収束がない可能性を示唆している。