常微分方程數(shù)值計(jì)算的新方法—偏差分方法的理論與分析

孟波

(聯(lián)科應(yīng)用研究所,山東 濟(jì)南 250031)

常微分方程數(shù)值計(jì)算的新方法—偏差分方法的理論與分析

孟波

(聯(lián)科應(yīng)用研究所,山東 濟(jì)南 250031)

提出了一種新的常微分方程數(shù)值計(jì)算的方法,構(gòu)建了一些新的計(jì)算公式.提出的新方法計(jì)算公式繁多,是一種值得研究的常微分方程數(shù)值計(jì)算方法.

偏差分方法;一階偏差分;二階偏差分;加權(quán)平均偏差分方法

1 引言與基本知識(shí)介紹

傳統(tǒng)的常微分方程數(shù)值計(jì)算方法是建立在插值點(diǎn)的基礎(chǔ)上[1-5].本文基于偏差分的概念提出了一種構(gòu)建常微分方程數(shù)值方法的新思路,給出了一些具體的計(jì)算公式.本文的基本概念是偏差分,所以先介紹偏差分概念.本文只需要一階和二階偏差分.

由于連續(xù)函數(shù)的高階偏微分與順序無(wú)關(guān),所以本文認(rèn)為高階偏差分也與順序無(wú)關(guān).當(dāng)i/=j時(shí)二階偏差分包括四種類型,即

2 偏差分方法的基本思想和相關(guān)公式推導(dǎo)

本文建立的偏差分方法由于是建立在偏差分概念基礎(chǔ)之上的,所以稱為偏差分方法,該方法的基本思想是用偏差分代替導(dǎo)數(shù)做近似計(jì)算.其基本思路如下:

設(shè)存在常微分方程初值問(wèn)題

以上八個(gè)公式可分成三類,第一類是顯式公式,包括(A2)式和(A4)式;第二類是隱式公式,包括(A1)式,(A3)式,(A6)式和(A8)式,其中(A1)式和(A3)式右邊隱式項(xiàng)出現(xiàn)了一次,而且是出現(xiàn)偏差分中,稱為單隱式公式,而(A 6)式和(A 8)式右邊隱式項(xiàng)出現(xiàn)了兩次,稱為雙隱式公式;第三類的最高項(xiàng)出現(xiàn)在右端偏差分表達(dá)式中,這是一類特殊的顯式公式,稱之為反向顯式公式,包括(A5)式和(A7)式.

按照本文的思路可以構(gòu)建更高階偏差分方法中的公式,不過(guò)當(dāng)階數(shù)越高,偏差分方法的公式也會(huì)變得越復(fù)雜.限于篇幅本文以下給出二階偏差分方法中的公式形式.

(2.9)式和(2.10)式是二階偏差分方法的一般形式,可以根據(jù)不同的一階偏差分和二階偏差分構(gòu)造具體的二階偏差分方法中的公式.顯然二階偏差分方法中的公式也是有很多的.

3 常微分方程組的偏差分方法

4 加權(quán)平均偏差分方法

在傳統(tǒng)的常微分方程的計(jì)算方法中,梯形方法是顯式和隱式Euler方法的平均.但是平均方法還可以采用加權(quán)的方式構(gòu)造,也可以采用多個(gè)公式求加權(quán)平均.以下給出加權(quán)平均方法的構(gòu)造方法,不考慮(A 5)式和(A 7)式兩個(gè)反向顯示公式.先考慮零階加權(quán)平均偏差分方法,設(shè)存在權(quán)重s,0＜s＜1.對(duì)(2.2)式兩邊乘以s,對(duì)(2.3)式兩邊乘以1-s.然后相加得到

按照這種思路構(gòu)建的加權(quán)平均偏差分方法中(B7)式是顯式平均公式.當(dāng)s=0.5時(shí)可稱為平均偏差分方法.以上的平均公式都是兩個(gè)公式的加權(quán)平均,稱為雙加權(quán)平均公式.實(shí)際還可以把k個(gè)偏差分公式加權(quán)平均構(gòu)建k加權(quán)平均公式.例如把三個(gè)公式加權(quán)平均得到三加權(quán)平均公式,把四個(gè)公式加權(quán)平均得到四加權(quán)平均公式,這樣的公式形式繁多,限于篇幅本文在此不一一列舉.當(dāng)k≥3時(shí),加權(quán)平均公式均為隱式公式.

5 偏差分方法穩(wěn)定性分析

以下考慮一階偏差分方法的穩(wěn)定性.設(shè)存在實(shí)驗(yàn)方程y′=λy,λ＜0.

用相關(guān)的一階偏差分公式解實(shí)驗(yàn)方程可以求出相應(yīng)的穩(wěn)定區(qū)域.由于實(shí)驗(yàn)方程不含x,所以一階偏差分公式只有4個(gè).(A 1)和(A 3)式合為一個(gè),(A 2)和(A 4)合為一個(gè),(A 5)和(A 7)合為一個(gè),(A6)和(A8)合為一個(gè).設(shè)hλ=h*.

把實(shí)驗(yàn)方程代入(A1)式或(A3)式得到:

6 數(shù)據(jù)計(jì)算

以下通過(guò)實(shí)際計(jì)算來(lái)觀察偏差分方法的精度,為了方便起見(jiàn),僅討論一階偏差分方法.傳統(tǒng)方法的計(jì)算過(guò)程可參閱參考文獻(xiàn)[6].

例2使用顯式和隱式Euler方法,梯形方法,4階Runge-Kutta方法以及一階偏差分方法和加權(quán)平均法求解下列常微分方程初值問(wèn)題:y′=x+y,y(0)=1,h=0.1,0≤x≤0.5.

本例有精確解y=-1-x+2ex.下面把以上方法的計(jì)算結(jié)果列表給出(見(jiàn)表1).

表1 例2方法的計(jì)算結(jié)果

使用一階偏差分方法求解,相應(yīng)的各公式計(jì)算格式如下:

本例中,(A 1)式和(A 3)式,(A 2)式和(A 4)式,(A 5)式和(A 7)式,(A 6)式和(A 8)式形式相同.對(duì)于(B0)式,取s=0.508.八個(gè)一階偏差分公式和(B0)式的計(jì)算結(jié)果如表2所示.

表2 八個(gè)一階偏差分公式和(B 0)式的計(jì)算結(jié)果

從本例看出,一階偏差分方法中四個(gè)隱式公式(A1),(A3),(A 6),(A8)精確度跟梯形方法相當(dāng),兩個(gè)顯式公式(A2)和(A4)的精度也明顯好過(guò)顯式和隱式Euler方法,而(A5)和(A7)兩個(gè)反向顯式公式發(fā)散.顯然由于反向顯式公式的最高階出現(xiàn)在右端函數(shù)中,而右端函數(shù)的前面需要乘以很小的h,這樣可能出現(xiàn)最高階前分母很小,從而造成發(fā)散.而加權(quán)平均方法只要選擇了適當(dāng)?shù)臋?quán)值,計(jì)算精度會(huì)好于梯形方法,甚至?xí)糜跇?biāo)準(zhǔn)4階Runge-Kutta方法.

7 結(jié)束語(yǔ)

偏差分方法是在偏差分概念的基礎(chǔ)上結(jié)合Taylor公式推導(dǎo)出的一種新方法,該方法與傳統(tǒng)的線性多步法不同,因?yàn)榫€性多步法考慮的是步長(zhǎng)上的點(diǎn),而偏差分方法考慮的是偏差分.偏差分方法具有以下特點(diǎn):一是形式簡(jiǎn)單;二是精度高,一階顯式和隱式偏差分方法均具有較高的精度;三是該方法中的公式形式多,可酌情使用.所以,偏差分方法是一種值得研究的新方法.

[1]郭大鈞.大學(xué)數(shù)學(xué)手冊(cè)[M].濟(jì)南:山東大學(xué)出版社,1985.

[2]鄧建中,劉之行.計(jì)算方法[M].2版.西安:西安交通大學(xué)出版社,2002.

[3]余德浩,湯華中.微分方程數(shù)值方法[M].北京:科學(xué)出版社,2006.

[4]李立康,於崇華,朱政華.微分方程數(shù)值方法[M].上海:復(fù)旦大學(xué)出版社,1999.

[5]王立秋,魏煥彩,周學(xué)圣.工程數(shù)值分析[M].濟(jì)南:山東大學(xué)出版社,2002.

[6]王立秋,魏煥彩,周學(xué)圣.工程數(shù)值分析習(xí)題解[M].濟(jì)南:山東大學(xué)出版社,2002.

Theory of partial difference method─ A new numerical method for ordinary differential equation

Meng Bo

(Lianke Application Institute, Ji′nan 250031, China)

This paper sets up a new numerical method for ordinary differential equation and gives some formulas of this method. This new method which has many specific formulars is worth thoroughly studying.

partial difference method, first-order partial difference, second-order partial difference,weighted average partial difference method

O241.81

A

1008-5513(2012)02-0186-10

2011-03-30.

聯(lián)科應(yīng)用研究所項(xiàng)目(201101).

孟波(1964-),高級(jí)工程師,研究方向:應(yīng)用數(shù)學(xué)各分支.

2010 MSC:65L05