第五十四章：蘇步青下線
第五十四章：蘇步青下線(第1/3頁)
圖書館中，韓川對照著華老先生的推導公式一點點的往下計算，嘗試用自己的理解去補全對方的‘簡單’‘易得’。
如果是平常，被卡住這麼久他可能早就煩躁了起來。
但解析數論的親和buff實在是太強大了，不愧是尊貴的百分比數值，硬是將他按在椅子上，一點點的深入。
圖書館的人漸漸多了起來，書架側傳來的腳步聲，不遠處偶爾傳來的低聲討論，像一層白噪音包裹著他。
這些白噪音，不僅冇讓他走神，反而讓他的註意力更加集中了。
雖然不清楚這是什麼原理，但韓川也冇想那麼多，註意力集中是好事，趁著現在抓緊把難題攻克。
盯著稿紙上的數據和計算公式，他忽然想起蘇步青前些天和他說過的話。
“在討論構造形式的時候，有時候可以把靜態的'存在性'轉化為動態的'構造性'。”
靜態存在，動態構造.....想著，韓川的眼睛陡然明亮了起來。
局部誤差求和是存在性的！
它告訴你總誤差有一個上界，但不告訴你這個上界在每一點長什麼樣。
而控製列框架是構造性的，它要求你明確地寫出那個上界函數。
但如果把它們結合起來呢？
韓川好像明白了什麼！
想著，他抓起筆，在稿紙上飛快地寫下一行：
【引理（局部-全局橋接）：設{ik}k，k=1，為[0，1]的有限分割，s(α)ii k為限製三角和。若存在局部控製列{φ
k (α)}滿足[is(α)ii ki≤φk(α)∀α∈i k，∀k ]】
【且φ k在 i k的端點處連續匹配，則存在全局控製列Φ(α)=∑ k=1kφ k(α)⋅x i k(α)】
【使得is(α)i≤Φ(α)在[0，1]上幾乎處處成立。】
寫完，韓川想了一下，又迅速補上了一句。
【關鍵：端點匹配條件等價於控製列的“弱連續性“，在banach空間框架下由sobolev嵌入定理保證。】
“成了。“
盯著這行字，韓川的心砰砰直跳。
假傳萬卷書，真傳一句話！
尤其是在學術領域，有時候真大佬的一句提點，就往往能幫助小撲街走出困勁。
這一次，他就是那個小撲街！
第一次，他用自己的方法補全了華羅庚證明過程中那些‘跳過’的空位！
或許對於華老來說這隻不過是最容易證明的部分，但對於現在的他來說卻不亞於一道天塹。
.....
靠在椅背上，韓川長長地吐出一口氣，臉上帶著笑容心裡滿是充實。
享受了一會這種感覺後，他看向了放在書桌上的《初等微分幾
（本章未完，請點擊下一頁繼續閱讀）