遍历台球中的弹跳球模态

中文摘要 AI 辅助

我们证明，对于水平拉伸的 Bunimovich 台球，对几乎每一个拉伸参数，都存在一列在矩形部分集中的特征函数。得益于 Markarian--Oliffson Kamphorst--Pinto de Carvalho 的工作，我们知道对于一组开参数，此类台球是遍历的。该证明是与 ChatGPT 6 交互的结果：我们好奇它能否为 Bunimovich 或 Sinai 台球建立弹跳球模态的存在性。在我们建议改变翼部之前，这并未成功。这产生了关于拟模态存在性的一个基本完整的论证。随后我们建议使用 Hassell 的参数变化论证，这导致了关于特征函数的结果。该论证随后被作者大幅简化并澄清。

英文摘要

We show that for a horizontally stretched Bunimovich billiard, for almost every stretching parameter, there exists a sequence of eigenfunctions concentrating in the rectangular part. Thanks to the work of Markarian--Oliffson Kamphorst--Pinto de Carvalho, we know that for an open set of parameters such billiards are ergodic. The proof is a result of interaction with ChatGPT 6: we were curious if it could establish the existence of bouncing ball modes for Bunimovich or Sinai billiards. That was not successful until we suggested varying the wings. That produced an essentially complete argument for the existence of quasimodes. We then suggested using Hassell's parameter-variation argument which led to the result about eigenfunctions. The argument was then significantly simplified and clarified by the authors.

发表机构

• University of California, Berkeley（加州大学伯克利分校）

机构由 AI 辅助整理，请以论文原文为准。