第7章 俄羅斯聯邦新西伯利亞州諾克思柏科市
我又開始在針尖上數天使了，但這次林雲同我一起數。
在建立數學模型的過程中，我發現林雲的數學能力不如我，但她的知識麵很廣，對多門科學都有相當深的造詣，這是她的專業所要求的。她在計算機方麵的能力很強，數學模型都是經她的手變成程序的。她的程序具有可視化結果輸出，如果模型在數學上成功，則屏幕上會出現一個三維的球狀閃電，其內部的精細結構纖毫畢現，它消失時的能量釋放過程也用慢鏡頭表現的很清楚，換一個畫麵還可以在一個三維坐標係中觀察其運動軌跡。同我以前的程序輸出的那些幹巴巴的數據表和曲線相比，這遠不止是直觀和美觀的問題：以前的數據出來時，要經過費時煩瑣的非係才能知道模型是否成功，但現在這些事情都由計算機自動完成。這個軟件使我們對球狀閃電的理論研究發生了質的變化。
球狀閃電的數學模型可以做出無數個，這就像命題作文，你隻要建立一個符合物理定律並在數學上自治的係統，使得被電磁力約束的能量形成一個穩定的球狀，並滿足迄今為止已知的球狀閃電的特性即可。但作到這點並不容易，有一位天文學家說過一句很有意思的話：恒星這東西，如果不是其確實存在，本來可以很容易證明它不可能存在的。這話對球狀閃電也很適用，構想一種機製，將以光速行進的電磁波被禁錮在那樣一個小球中，是一件讓人發瘋的事。
但如果有足夠的耐心和鑽牛角尖的狂熱，這種書寫模型還是能夠建立起來的，至於它們能否經得起實驗的驗證則是另外一碼事了，事實上我幾乎已經肯定它們在實驗上是不會成功的。我們已完成的幾個數學模型都隻在數學上表現出球狀閃電的部分特性，有一些特性可能在一個模型中無法表現而在另一個模型中輕而易舉地出現，但沒有一種能表現全部已知特性。