[论文解读] On some parabolic systems arising from a nuclear reactor model with nonlinear boundary conditions

Kosuke Kita, Mitsuharu Ôtani+1 more|arXiv (Cornell University)|May 11, 2018

Nonlinear Partial Differential Equations参考文献 10被引用 3

一句话总结

本文研究了一个非线性反应-扩散系统，用于建模具有非线性边界条件的核反应堆中中子与温度的动力学。通过不动点论证和能量估计，建立了正定常解的存在性与有序唯一性，并证明了一个临界阈值性质：初始数据超过某一临界水平时，解在有限时间内爆破；低于该水平时，解全局存在，且当爆破发生时，$ u_1 $ 与 $ u_2 $ 同时爆破。

ABSTRACT

In this paper, we are concerned with a reaction diffusion system arising from a nuclear reactor model in bounded domains with nonlinear boundary conditions. We show the existence of a stationary solution and its ordered uniqueness. It is also shown that every positive stationary solution possesses threshold property to determine blow-up or globally existence for solutions of nonstationary problem.

研究动机与目标

• 为具有非线性边界条件的抛物型反应-扩散系统建模核反应堆动力学，建立正定常解的存在性与有序唯一性。
• 研究决定非定常问题解是否在有限时间内爆破或全局存在的阈值性质。
• 通过引入一种新颖的分析方法，克服由于非线性边界条件导致的 $ L^∞ $-范数估计困难。
• 证明当爆破发生时，$ u_1 $（中子密度）与 $ u_2 $（温度）在 $ L^∞ $-范数下同时爆破。

提出的方法

• 应用基于 Krasnosel’skii 结果的抽象不动点定理，证明正定常解的存在性。
• 提出一种新方法，通过利用非线性边界条件下边界的强可积性，估计解的 $ L^∞ $-范数。
• 利用谱理论与第一特征函数 $ \varphi_1 $，推导能量型量的微分不等式。
• 采用反证法与 Gronwall 型估计，分析 $ u_1 $ 与 $ u_2 $ 的 $ L^∞ $-范数的爆破行为。
• 对系统方程使用测试函数并应用分部积分法，推导先验估计。
• 通过反证法证明 $ u_1 $ 与 $ u_2 $ 同时爆破，即若其中一个爆破而另一个有界，则通过 Gronwall 不等式导出矛盾。

实验结果

研究问题

• RQ1 对于具有非线性边界条件的非线性抛物型系统，是否存在正定常解？
• RQ2 正定常解是否具有唯一有序性，即在给定排序类中是否存在唯一解？
• RQ3 非定常问题中，区分全局存在与有限时间爆破的阈值条件是什么？
• RQ4 当爆破发生时，$ u_1 $ 与 $ u_2 $ 的 $ L^\infty $-范数是否同时爆破？
• RQ5 当标准线性理论因非线性边界条件而失效时，如何获得 $ L^\infty $-范数估计？

主要发现

• 在适当参数假设下，通过不动点论证，证明了具有非线性边界条件的系统存在正定常解。
• 正定常解具有唯一有序性，即不存在两个不同的正解，使得其中一个在每一点上都严格大于另一个。
• 非定常问题的解要么全局存在，要么在有限时间内爆破，具体取决于初始数据是否超过由定常解决定的阈值。
• 若发生爆破，则通过反证法结合 Gronwall 不等式，证明 $ u_1 $ 与 $ u_2 $ 在 $ L^\infty $-范数下同时爆破。
• $ u_1 $ 与 $ u_2 $ 的 $ L^\infty $-范数不能独立爆破；若其中一个有界，则另一个不可能爆破，这与爆破假设矛盾。
• 提出一种新颖的边界 $ L^p $-可积性方法，使得即使在非线性边界条件下，也能实现 $ L^\infty $-范数估计，从而克服经典线性理论的局限性。