第76章 临界（4 / 8）
昏黄的光线透过石屋窄小的窗户打在满是公式的纸上。
江临盯著那些符號，脑子里突然闪过一个念头。
为什么非要跟著活动层跑？
既然活动层在动，那就找个不动的东西把它罩住。
他不需要在活动层上做估计，他可以改用一个固定的外部域Ω_ext。
把电流片所有可能演化的活动区域，全部包进这个足够大、边界足够光滑的固定外部域里。
然后，把活动层內的所有函数，利用延拓算子，平滑地延拓到整个固定外部域上。
在这个固定光滑域里，去追踪统一常数。
这不是他原创的招数。
记忆里，当年读brezis的泛函分析习题集时，里面有过类似的边界延拓技巧。
但是，把它移植到这套高度非线性的简化mhd问题上，去压制移动电流片的边界常数，他没有在自己读过的任何文献里见过。
“试试看。”
他抽出新纸，重新开始写。
第十一页时，逻辑链条闭合。
所有的不等式在延拓算子的保护下，服服帖帖地退回了界限之內。
再审。
这一次，所有的常数c都只依赖於统一的初值上限，固定外部域 Ω_ext的几何特性，系统参数和宏观边界条件。
那个幽灵一样的样本细节形状依赖被他成功赶了出去。
引理 0.1，暂时通过。
第三十五年三月，江临把这一堆涂改得面目全非的草稿，誊写成正式的电子稿。
整整二十三页的 latex 代码。
编译，生成 pdf。
屏幕上出现了清爽严谨的数学公式。
標题：【引理0.1：有限时间弱解存在性与条件唯一性】
状態：【完成。】
日期：【第三十五年三月七日。】
江临看著这份文档，心跳有点快。他在【narrow_theorem_draft】文件夹的readme里，郑重地敲下几行字：
这是一座长城的第一块砖。
后面还有很多。
一块一块来。 ↑返回顶部↑
江临盯著那些符號，脑子里突然闪过一个念头。
为什么非要跟著活动层跑？
既然活动层在动，那就找个不动的东西把它罩住。
他不需要在活动层上做估计，他可以改用一个固定的外部域Ω_ext。
把电流片所有可能演化的活动区域，全部包进这个足够大、边界足够光滑的固定外部域里。
然后，把活动层內的所有函数，利用延拓算子，平滑地延拓到整个固定外部域上。
在这个固定光滑域里，去追踪统一常数。
这不是他原创的招数。
记忆里，当年读brezis的泛函分析习题集时，里面有过类似的边界延拓技巧。
但是，把它移植到这套高度非线性的简化mhd问题上，去压制移动电流片的边界常数，他没有在自己读过的任何文献里见过。
“试试看。”
他抽出新纸，重新开始写。
第十一页时，逻辑链条闭合。
所有的不等式在延拓算子的保护下，服服帖帖地退回了界限之內。
再审。
这一次，所有的常数c都只依赖於统一的初值上限，固定外部域 Ω_ext的几何特性，系统参数和宏观边界条件。
那个幽灵一样的样本细节形状依赖被他成功赶了出去。
引理 0.1，暂时通过。
第三十五年三月，江临把这一堆涂改得面目全非的草稿，誊写成正式的电子稿。
整整二十三页的 latex 代码。
编译，生成 pdf。
屏幕上出现了清爽严谨的数学公式。
標题：【引理0.1：有限时间弱解存在性与条件唯一性】
状態：【完成。】
日期：【第三十五年三月七日。】
江临看著这份文档，心跳有点快。他在【narrow_theorem_draft】文件夹的readme里，郑重地敲下几行字：
这是一座长城的第一块砖。
后面还有很多。
一块一块来。 ↑返回顶部↑