[论文解读] Behavior as $t ightarrow \infty$ of Solutions of a problem in Mathematical Physics

S. D. Troitskaya|arXiv (Cornell University)|Mar 31, 2016

Algebraic and Geometric Analysis参考文献 23被引用 11

一句话总结

本文构造了在具有角点的三角形区域中理想旋转流体小振荡的二维Poincaré–Sobolev方程的显式解。通过关联算子A的谱分析，证明了存在L²-范数衰减快于任意负幂次t的解，且能量在t → ∞时集中于顶点附近，展示了由于A的纯连续谱导致的非几乎周期性、衰减行为。

ABSTRACT

A class of solutions, decaying as $t ightarrow \infty$, of a two-dimensional model problem on the oscillations of an ideal rotating fluid in some domains with angular points is constructed explicitly. The existence of solutions whose $L_2$-norms decrease more rapidly than any negative power of $t$, is established.

研究动机与目标

• 分析在具有角点的有界区域中旋转理想流体建模的Poincaré–Sobolev方程解的长时间行为。
• 研究与方程相关的算子A的谱结构，特别是在谱为纯连续的区域中。
• 构造L²-范数衰减快于任意负幂次t的显式解，表明非几乎周期性动力学。
• 证明此类解的能量在t → ∞时集中于区域顶点的任意小邻域内。
• 将该方法扩展至一类具有角边界曲线的区域，其中类似的谱和衰减性质依然成立。

提出的方法

• 将初值边值问题表述为Sobolev空间W⁷₁₂(D)上自伴有界算子A的抽象柯西问题。
• 通过涉及拉普拉斯算子和二阶y-导数的变分问题定义A，确保其关于H¹内积自伴。
• 利用三角形区域的几何性质，构造谱方程Aφ = λφ在λ ∈ (0, (1+α²)−¹)下的微分解。
• 通过连续谱上的傅里叶型积分构造时间依赖解，形式为p(x,y;t) = ∫ cos(√λ t) σₐ(λ) u(x,y;λ) dλ。
• 应用分部积分和L²-估计，证明解的时间导数衰减为O(1/t)，从而表明L²-范数衰减快于任意负幂次t。
• 通过估计顶点O和B附近收缩邻域内的L²-范数，分析能量集中现象，表明能量在t → ∞时向这些区域累积。

实验结果

研究问题

• RQ1 能否在具有纯连续谱的三角形区域中为Poincaré–Sobolev方程构造显式解？
• RQ2 在这些区域中，是否存在L²-范数衰减快于任意负幂次t的解？
• RQ3 流体的能量如何随时间演化，且在t → ∞时其分布如何？
• RQ4 构造谱方程微分解的方法能否推广至具有角点的更一般区域？
• RQ5 区域的几何结构在决定流体振荡长时间行为中起什么作用？

主要发现

• 在三角形区域中，Poincaré–Sobolev方程的解表现出L²-范数衰减快于任意负幂次t，表明非几乎周期性行为。
• 算子A的谱在区间(0, (1+α²)−¹)上为纯连续谱，所构造的解与该连续谱相关。
• 当t → ∞时，解的能量集中于顶点O和B的任意小邻域内，其位置取决于谱表示中初始数据的支集。
• 解的时间导数的L²-范数衰减为O(1/t)，这意味着解的能量衰减快于任意负幂次t。
• 构造谱方程微分解的方法可推广至具有角边界曲线的曲边区域，前提是特征射线能反射进入角内。
• 对于支集在(0, (1+α²)−¹)内的初始数据，能量集中于顶点O附近；对于支集在((1+α²)−¹, 1)内的初始数据，能量集中于顶点B附近。