Ole Fredrik Brevig, Andrés Chirre, Joaquim Ortega-Cerdà, Kristian Seip
{"title":"帕利-维纳空间中的点评估","authors":"Ole Fredrik Brevig, Andrés Chirre, Joaquim Ortega-Cerdà, Kristian Seip","doi":"10.1007/s11854-024-0338-z","DOIUrl":null,"url":null,"abstract":"<p>We study the norm of point evaluation at the origin in the Paley–Wiener space <i>PW</i><sup><i>p</i></sup> for 0 < <i>p</i> < ∞, i.e., we search for the smallest positive constant <i>C</i>, called <span>\\({\\mathscr{C}}_{p}\\)</span>, such that the inequality <span>\\(\\vert f(0)\\vert ^{p}\\leq C \\Vert f\\Vert _{p}^{p}\\)</span> holds for every <i>f</i> in <i>PW</i><sup><i>p</i></sup>. We present evidence and prove several results supporting the following monotonicity conjecture: The function <span>\\(p \\mapsto {\\mathscr{C}}_{p}/p\\)</span> is strictly decreasing on the half-line (0, ∞). Our main result implies that <span>\\({\\mathscr{C}}_{p} < p/2\\)</span> for 2 < <i>p</i> < ∞, and we verify numerically that <span>\\({\\mathscr{C}}_{p} > p/2\\)</span> for 1 ≤ <i>p</i> < 2. We also estimate the asymptotic behavior of <span>\\({\\mathscr{C}}_{p}\\)</span> as <i>p</i> → ∞ and as <i>p</i> → 0<sup>+</sup>. Our approach is based on expressing <span>\\({\\mathscr{C}}_{p}\\)</span> as the solution of an extremal problem. Extremal functions exist for all 0 < <i>p</i> < ∞; they are real entire functions with only real zeros, and the extremal functions are known to be unique for 1 ≤ <i>p</i> < ∞. Following work of Hörmander and Bernhardsson, we rely on certain orthogonality relations associated with the zeros of extremal functions, along with certain integral formulas representing respectively extremal functions and general functions at the origin. We also use precise numerical estimates for the largest eigenvalue of the Landau–Pollak–Slepian operator of time-frequency concentration. A number of qualitative and quantitative results on the distribution of the zeros of extremal functions are established. In the range 1 < <i>p</i> < ∞, the orthogonality relations associated with the zeros of the extremal function are linked to a de Branges space. We state a number of conjectures and further open problems pertaining to <span>\\({\\mathscr{C}}_{p}\\)</span> and the extremal functions.</p>","PeriodicalId":502135,"journal":{"name":"Journal d'Analyse Mathématique","volume":"32 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Point evaluation in Paley–Wiener spaces\",\"authors\":\"Ole Fredrik Brevig, Andrés Chirre, Joaquim Ortega-Cerdà, Kristian Seip\",\"doi\":\"10.1007/s11854-024-0338-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We study the norm of point evaluation at the origin in the Paley–Wiener space <i>PW</i><sup><i>p</i></sup> for 0 < <i>p</i> < ∞, i.e., we search for the smallest positive constant <i>C</i>, called <span>\\\\({\\\\mathscr{C}}_{p}\\\\)</span>, such that the inequality <span>\\\\(\\\\vert f(0)\\\\vert ^{p}\\\\leq C \\\\Vert f\\\\Vert _{p}^{p}\\\\)</span> holds for every <i>f</i> in <i>PW</i><sup><i>p</i></sup>. We present evidence and prove several results supporting the following monotonicity conjecture: The function <span>\\\\(p \\\\mapsto {\\\\mathscr{C}}_{p}/p\\\\)</span> is strictly decreasing on the half-line (0, ∞). Our main result implies that <span>\\\\({\\\\mathscr{C}}_{p} < p/2\\\\)</span> for 2 < <i>p</i> < ∞, and we verify numerically that <span>\\\\({\\\\mathscr{C}}_{p} > p/2\\\\)</span> for 1 ≤ <i>p</i> < 2. We also estimate the asymptotic behavior of <span>\\\\({\\\\mathscr{C}}_{p}\\\\)</span> as <i>p</i> → ∞ and as <i>p</i> → 0<sup>+</sup>. Our approach is based on expressing <span>\\\\({\\\\mathscr{C}}_{p}\\\\)</span> as the solution of an extremal problem. Extremal functions exist for all 0 < <i>p</i> < ∞; they are real entire functions with only real zeros, and the extremal functions are known to be unique for 1 ≤ <i>p</i> < ∞. Following work of Hörmander and Bernhardsson, we rely on certain orthogonality relations associated with the zeros of extremal functions, along with certain integral formulas representing respectively extremal functions and general functions at the origin. We also use precise numerical estimates for the largest eigenvalue of the Landau–Pollak–Slepian operator of time-frequency concentration. A number of qualitative and quantitative results on the distribution of the zeros of extremal functions are established. In the range 1 < <i>p</i> < ∞, the orthogonality relations associated with the zeros of the extremal function are linked to a de Branges space. We state a number of conjectures and further open problems pertaining to <span>\\\\({\\\\mathscr{C}}_{p}\\\\)</span> and the extremal functions.</p>\",\"PeriodicalId\":502135,\"journal\":{\"name\":\"Journal d'Analyse Mathématique\",\"volume\":\"32 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal d'Analyse Mathématique\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11854-024-0338-z\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal d'Analyse Mathématique","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11854-024-0338-z","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
我们研究了帕利-维纳空间 PWp 中 0 < p < ∞ 条件下原点处点评估的规范,即我们寻找最小的正常数 C,称为 \({\mathscr{C}}_{p}\),使得对于 PWp 中的每个 f,不等式 \vert f(0)\vert ^{p}\leq C \Vert f\Vert _{p}^{p}\ 成立。我们提出证据并证明了支持以下单调性猜想的几个结果:函数 \(p \mapsto {\mathscr{C}}_{p}/p\) 在半直线(0,∞)上是严格递减的。我们的主要结果意味着,在 2 < p < ∞时,\({mathscr{C}}_{p} < p/2\) 是严格递减的,我们用数值验证了在 1 ≤ p < 2时,\({mathscr{C}}_{p} > p/2\)是严格递减的。 我们还估计了 p → ∞和 p → 0+ 时\({mathscr{C}}_{p}\)的渐近行为。我们的方法是将\({mathscr{C}}_{p}\) 表达为极值问题的解。极值函数存在于所有 0 < p < ∞;它们是只有实零点的实全函数,已知极值函数在 1 ≤ p < ∞ 时是唯一的。根据赫曼德和伯恩哈德森的研究,我们依赖与极值函数零点相关的某些正交关系,以及分别代表极值函数和原点处一般函数的某些积分公式。我们还使用了对时频集中的 Landau-Pollak-Slepian 算子最大特征值的精确数值估计。我们建立了一系列关于极值函数零点分布的定性和定量结果。在 1 < p < ∞ 范围内,与极值函数零点相关的正交关系与 de Branges 空间相关联。我们提出了一些猜想以及与 \({\mathscr{C}}_{p}\) 和极值函数有关的进一步开放问题。
We study the norm of point evaluation at the origin in the Paley–Wiener space PWp for 0 < p < ∞, i.e., we search for the smallest positive constant C, called \({\mathscr{C}}_{p}\), such that the inequality \(\vert f(0)\vert ^{p}\leq C \Vert f\Vert _{p}^{p}\) holds for every f in PWp. We present evidence and prove several results supporting the following monotonicity conjecture: The function \(p \mapsto {\mathscr{C}}_{p}/p\) is strictly decreasing on the half-line (0, ∞). Our main result implies that \({\mathscr{C}}_{p} < p/2\) for 2 < p < ∞, and we verify numerically that \({\mathscr{C}}_{p} > p/2\) for 1 ≤ p < 2. We also estimate the asymptotic behavior of \({\mathscr{C}}_{p}\) as p → ∞ and as p → 0+. Our approach is based on expressing \({\mathscr{C}}_{p}\) as the solution of an extremal problem. Extremal functions exist for all 0 < p < ∞; they are real entire functions with only real zeros, and the extremal functions are known to be unique for 1 ≤ p < ∞. Following work of Hörmander and Bernhardsson, we rely on certain orthogonality relations associated with the zeros of extremal functions, along with certain integral formulas representing respectively extremal functions and general functions at the origin. We also use precise numerical estimates for the largest eigenvalue of the Landau–Pollak–Slepian operator of time-frequency concentration. A number of qualitative and quantitative results on the distribution of the zeros of extremal functions are established. In the range 1 < p < ∞, the orthogonality relations associated with the zeros of the extremal function are linked to a de Branges space. We state a number of conjectures and further open problems pertaining to \({\mathscr{C}}_{p}\) and the extremal functions.