非線性演化方程的精確解與可積性及其符號(hào)計(jì)算研究.pdf

1、非線性演化方程是描述物理現(xiàn)象的一類(lèi)重要數(shù)學(xué)模型,也是非線性物理特別是孤立子理論最前沿的研究課題之一.非線性演化方程精確解和可積性的研究有助于弄清物質(zhì)在非線性作用下的運(yùn)動(dòng)規(guī)律,對(duì)相應(yīng)物理現(xiàn)象的科學(xué)解釋和工程應(yīng)用將起到重要作用.在非線性演化方程的研究中,尋找方程的行波解、構(gòu)造多孤子解、Painlevé可積性質(zhì)的檢驗(yàn)等經(jīng)常遇到復(fù)雜的符號(hào)計(jì)算和推理,有的是人力難以完成的,因此妨礙了這些問(wèn)題的深入剖析.近年來(lái),符號(hào)計(jì)算的蓬勃發(fā)展,極大地推動(dòng)了非線

2、性演化方程的研究.非線性演化方程的研究成果不斷涌現(xiàn),尤其是新的求解方法層出不窮.該文以非線性演化方程為研究對(duì)象,借助于符號(hào)計(jì)算這一有效研究工具,研究了多種直接代數(shù)方法在非線性演化方程精確求解中的應(yīng)用、Painlevé分析及其應(yīng)用,探討了幾種直接代數(shù)方法與Painlevé可積性質(zhì)之間的內(nèi)在聯(lián)系.主要工作如下:第一部分研究非線性演化方程的精確求解.分別從三個(gè)方面進(jìn)行研究:研究了構(gòu)造非線性演化方程孤立波解的基礎(chǔ)性方法——混合指數(shù)方法,改進(jìn)了混

3、合指數(shù)方法的關(guān)鍵步驟——行波約化后常微分方程及遞推關(guān)系式的求解.將傳統(tǒng)實(shí)指數(shù)方法推廣到復(fù)指數(shù)情形,從而可以獲得正則孤波解、奇異孤波解及周期解在內(nèi)的諸多形式的行波解.在Riccati方法、形變映射方法、"統(tǒng)一代數(shù)"方法的基礎(chǔ)上,給出了構(gòu)造非線性演化方程多種行波解的廣義形變映射法.采用分步確定擬解的原則,對(duì)齊次平衡法求非線性演化方程多孤子解的關(guān)鍵步驟作了進(jìn)一步改進(jìn).第二部分研究非線性演化方程的Painlevé可積性的檢驗(yàn)和Painlevé分

4、析的若干應(yīng)用.主要從兩個(gè)方面進(jìn)行研究:由于非線性系統(tǒng)的Painlevé性質(zhì)與可積性之間有著十分密切的聯(lián)系,因此判定一個(gè)非線性系統(tǒng)是否具有Painlevé性質(zhì)就具有非常重要的意義.該文分析了非線性演化方程Painlevé性質(zhì)的幾種檢驗(yàn)方法,并利用Kruskal方法得到了廣義Hirota-Satsuma耦合方程組具有Painlevé可積性質(zhì)的必要條件.研究了基于Painlevé性質(zhì)的若干截?cái)嗾归_(kāi)方法在非線性演化方程可積性質(zhì)及精確解研究中的若

5、干應(yīng)用.討論了標(biāo)準(zhǔn)截?cái)嗾归_(kāi)方法在構(gòu)造不可積系統(tǒng)精確解、可積系統(tǒng)的自Backlund變換、多重孤波解和多孤子解中的應(yīng)用.第三部分研究符號(hào)計(jì)算在廣義形變映射法和Painlevé可積性證明中的應(yīng)用.主要包括:廣義形變映射法將行波解的求解問(wèn)題轉(zhuǎn)化為非線性代數(shù)方程組的計(jì)算問(wèn)題,推演過(guò)程往往涉及到非常繁瑣的計(jì)算.該文在計(jì)算機(jī)符號(hào)系統(tǒng)Maple上開(kāi)發(fā)了一個(gè)基于吳文俊消元法的行波解自動(dòng)求解軟件包NETS.該軟件包可以自動(dòng)輸出非線性演化方程及方程組的多類(lèi)

6、行波解.NETS軟件包對(duì)方程或方程組的維數(shù)沒(méi)有限制.基于WTC-Kruskal算法,該文在計(jì)算機(jī)符號(hào)系統(tǒng)Maple上開(kāi)發(fā)了wkptest軟件包.該軟件包可快速完成非線性偏微分方程及方程組Painlevé性質(zhì)的自動(dòng)檢驗(yàn).同時(shí),當(dāng)給定方程不能通過(guò)Painlevé檢驗(yàn)時(shí),軟件包將返回參數(shù)滿足的約束條件.此外,軟件包還能輸出方程的Painlevé截?cái)嗾归_(kāi)式.wkptest軟件包適用范圍較為廣泛,對(duì)方程或方程組的維數(shù)沒(méi)有限制,不僅適用于常系數(shù)方程