[论文解读] Nonlinear dynamics on branched structures and networks

Riccardo Adami, Enrico Serra+1 more|arXiv (Cornell University)|May 1, 2017

Advanced Mathematical Physics Problems参考文献 35被引用 19

一句话总结

本文研究了在度量图上聚焦非线性薛定谔方程具有预设 L²-范数的基态的存在性，表明拓扑结构在其中起决定性作用：在次临界情形下，某些拓扑结构即使在质量任意的情况下也会阻止基态的存在；在临界情形（六次非线性），拓扑结构使得存在一个质量区间，使得基态存在——这与实直线上的情况不同。结果揭示了与图结构紧密相关的丰富现象，其存在性取决于拓扑与度量性质的共同作用，尤其是在临界质量阈值附近。

ABSTRACT

Nonlinear dynamics on graphs has rapidly become a topical issue with many physical applications, ranging from nonlinear optics to Bose-Einstein condensation. Whenever in a physical experiment a ramified structure is involved, it can prove useful to approximate such a structure by a metric graph, or network. For the Schroedinger equation it turns out that the sixth power in the nonlinear term of the energy is critical in the sense that below that power the constrained energy is lower bounded irrespectively of the value of the mass (subcritical case). On the other hand, if the nonlinearity power equals six, then the lower boundedness depends on the value of the mass: below a critical mass, the constrained energy is lower bounded, beyond it, it is not. For powers larger than six the constrained energy functional is never lower bounded, so that it is meaningless to speak about ground states (supercritical case). These results are the same as in the case of the nonlinear Schrodinger equation on the real line. In fact, as regards the existence of ground states, the results for systems on graphs differ, in general, from the ones for systems on the line even in the subcritical case: in the latter case, whenever the constrained energy is lower bounded there always exist ground states (the solitons, whose shape is explicitly known), whereas for graphs the existence of a ground state is not guaranteed. For the critical case, our results show a phenomenology much richer than the analogous on the line.

研究动机与目标

• 确定在非紧致量子图上，聚焦非线性薛定谔方程的基态存在的条件。
• 分析度量图的拓扑结构如何影响具有预设 L²-范数的约束极小化子（即基态）的存在性。
• 将经典实直线结果推广至分叉结构，揭示临界与超临界情形下的新现象。
• 根据拓扑与度量性质，将图分类为四种类别，每类具有不同的基态存在行为。
• 开发分析工具——如改进的 Gagliardo-Nirenberg 不等式与图手术技术——以证明特定情形下的存在性或非存在性。

提出的方法

• 通过变分法对能量泛函施加 L²-范数约束，识别基态为极小化子。
• 引入一个拓扑假设（假设 (H)），以证明在某些图上，次临界区域中基态对所有质量均不存在。
• 应用重排理论（面向非专家）比较不同图构型下的能量水平。
• 使用含质量依赖常数的改进 Gagliardo-Nirenberg 不等式，以控制极小化序列并证明有界性。
• 采用图手术技术构造测试函数，其能量低于实直线上的孤立子，从而在仅靠拓扑不足以保证存在性时，确保基态的存在性。
• 在临界情形（幂次六）中，将图分类为四类互不相交的类别，每类基于拓扑与度量结构具有不同的存在性准则。

实验结果

研究问题

• RQ1 在何种度量图的拓扑条件下，即使在次临界非线性幂次区域，基态也不存在？
• RQ2 在度量图上，临界非线性幂次（六次）与实直线相比，在哪些质量范围内存在基态？
• RQ3 在临界情形下，图的拓扑结构本身是否足以保证基态的存在，还是度量性质也起决定性作用？
• RQ4 当拓扑障碍不存在时，需要哪些分析技术来证明基态的存在性？
• RQ5 图的大尺度结构（如无限晶格或条带）如何影响基态的存在性与行为？

主要发现

• 在次临界情形（非线性幂次 < 6）中，即使能量有下界，基态在图上也未必存在，这与实直线情形不同。
• 识别出一个特定的拓扑假设（假设 (H)），该假设在次临界区域中对所有质量均足以阻止基态的存在。
• 在临界情形（幂次六）中，可能存在一个质量区间使得基态存在，这种行为在实直线上未被观察到。
• 对于临界情形，图被分为四种类别，每类具有基于拓扑与度量结构的不同存在性准则。
• 证明并应用了一个含质量依赖参数的改进 Gagliardo-Nirenberg 不等式，以证明极小化序列的有界性，这是存在性证明中的关键步骤。
• 当仅靠拓扑不足以保证存在性时，仍可通过在图上构造一个能量低于实直线上对应孤立子的测试函数，来证明基态的存在性。