這一次，所有的常數C都只依賴於統一的初值上限，固定外部域 Ω_ext的幾何特性，系統引數和宏觀邊界條件。
那個幽靈一樣的樣本細節形狀依賴被他成功趕了出去。
引理 0.1，暫時透過。
第三十五年三月，江臨把這一堆塗改得面目全非的草稿，謄寫成正式的電子稿。
整整二十三頁的 LaTeX 程式碼。
編譯，生成 PDF。
螢幕上出現了清爽嚴謹的數學公式。
標題：【引理0.1：有限時間弱解存在性與條件唯一性】
狀態：【完成。】
日期：【第三十五年三月七日。】
江臨看著這份文件，心跳有點快。他在【Narrow_Theorem_Draft】資料夾的README裡，鄭重地敲下幾行字：
這是一座長城的第一塊磚。
後面還有很多。
一塊一塊來。
三月下旬，短暫的休整後，江臨開始了引理 0.2 的攻堅。
【引理0.2】
引理0.1 構造的弱解，在附加條件下可提升為區域性強解。
從弱解到強解，聽起來只是一步之遙，在數學上卻是跨越鴻溝。
弱解只要求函式有H1的一階導數，它允許一定程度的物理上的粗糙。
但要在狹窄的電流片裡討論真實的層裂現象，就必須要有更精細的控制，至少需要H2甚至更高階的範數。
必須要保證函式不僅連續，而且二階導數在平方可積的意義下存在。
需要處理邊界的正則性。
需要保證那些高度非線性的對流項和洛倫茲力項，在求高階導數時，不會像滾雪球一樣把估計常數帶爆。
這一次，推進的速度慢得令人髮指。
寫了五頁，卡住。
他在算分部積分時，漏掉了一個邊界上的法嚮導數項。
補上這個項，前面的不等式又要重新放縮。
再寫三頁，又卡住。
。大更煩麻的次一這
。了快太得用理定嵌是
。嵌veloboS的裡間空維二個一了用手順，數範大窮無的項線非個一制控了為，中程過明證在他
?C→2H
。題問沒上輯邏
。的續連是實確式函2H維二
。數常了略忽他但
。賴依的何幾域區對數常和則正界邊了略忽
。值定的巧乖其極個一是K數常嵌個這，裡域定固的1.0理引個那前之在
。近附層活的薄越來越個那到回要又地免避可不計估的他，度厚界臨的裂層捉捕了為，在現但
。炸控失樣一馬野的韁像會就K數常嵌個那，扯拉始開比寬長，薄變始開域區旦一
。改
。式函重權計設新重
。寫再
。數導的向方個兩寬和長制控別分來間空veloboS的異向各用試嘗
。逝流點點一間時
。期無遙遙然依卻論結，頁七十了到積堆經己紙稿草的2.0理引，底月五年五十三第到
。展進有沒全完是不並
。頁半者或行一進推前往能都他，天一每
。來出暴題問小的新有都也，天一每但
。調微行進著跟要就構結個整的面前，小個這掉修
。置裝械機的重沉越來越腫臃越來越架一了變經己，裡眼臨江在，程過明證個整
。量重的計設出超擔承始開都栓螺學數顆一每的面前，深越導推，走後往越
。聲呀吱的險危出發會都系明證個整，草吹風點一微稍
。態常的明證格嚴學數代現是就概大這
。活累活髒的補修抹塗覆反樣一匠瓦泥像種這是都全後背，理定的麗亮鮮上書科教在寫些那
。了慢更展進，月六進
。頁西十二第了到進推強勉 2.0 理引
。滿不的深深了變待期的初最從，度態的稿草份這對他但
。惡厭是至甚
。立能實確看上輯邏從，驟步些有
。上接能強勉論結，式等不值的來出湊過，巧技學數的妙種各過
。對不它，是但
。西東的來出長生然自裡像影理從像不它
。了生太
。架手腳的來起建搭生生裡沼泥在而，河渡行強了為他是像就
。去過水文論篇這把他讓能許也，用能許也架手腳
。明證種這任信不臨江但
。的樣這是該應不，明證學數的實堅正真個一
。構結理的後背見看地楚楚清清，號符的學數過人讓，晶水的好磨打塊一像該應它
。制控數常的繚花眼人令和巧技的複繁見看隻是不
。的擊一堪不是就裡界世實現在理定個這那，了節裡這在理和學數果如
。了下停臨江，週一整整的月六年五十三第
。碼令指證驗的髮頭掉人令些那跑去不也，了文論讀不，了寫不
。持維存生的礎基最做只他，天每
。承軸的號二機風檢巡面外去服護防上穿，豆土吃，床起
。卡料資的點測觀換去外里公兩到走
。屋石到回後然
。頁西十二第的 2.0 理引著盯，前桌的痕劃是滿張那在坐
。等在他
。話說口開式公的板死些那等
。裡哪在底到魂靈的住卡正真它，他訴告稿草等
。舞飛裡柱在塵灰，上面桌在打地斜斜，午下天六第
。了白明然突，數常嵌異向各的來出圈筆紅用個那著看臨江
。界優最到找有沒數常嵌個某是不也，細夠不放式等不個某是不本，的他住卡
。像影理是
。圖拼塊一了缺子腦的己自他是
。定決麼什由該應底到界下的度厚片薄級二道知不還他
。的定決理原一第是這，生發會定一裂層道知他
。點異奇的正真有沒界世理為因，去下薄地限無能可不，後裂分聯級過經在片薄級二道知也
。住卡行強程過聯級個這把，來出站會度尺觀微個某有然必，道知還他
？麼什是像影的度尺個那但
。楚清不他
？度尺徵本的散擴磁是
？點衡平的流對與散耗量能是
？饋反反的件條界邊是
？頸瓶學力的道通出流是
？制限撲拓何幾的到識意沒還他，次層深更種某是還
。在存線底個有道知地糊模是只他
。的理定進寫能不是，字個兩這糊模但
。推靠能只，鋼走上崖懸在睛眼著蒙是能只就導推學數，引指為作像影理的觀首晰清有沒
。己自過不騙也，查檢式形了過騙時暫算就，論結的來出推
。天一後最的月六年五十三第
。事的表劃計何任過列未從來年十幾件一了做臨江
。足遠的走就走說次一了來，架行攜上背
。論結的設預何任有沒，單清務任有沒，標目研科有沒
。涸乾樣一土廢片這和會就維思的他，裡程方分微偏的散發和碼式程XeTaL的冷冰些那在困，裡屋石座這在困被續繼果如，得覺是只他
