王天軍,賈麗蕊
(河南科技大學(xué)數(shù)學(xué)與統(tǒng)計學(xué)院,河南洛陽471003)
對線性熱傳導(dǎo)方程通常用分離變量法求得精確解[1-3];文獻(xiàn)[4]用差分及區(qū)域分解法數(shù)值求解一維熱傳導(dǎo)方程;文獻(xiàn)[5]用半離散差分格式數(shù)值求解一維熱傳導(dǎo)方程。而這些問題都是Dirichlet邊界條件。實際上在科學(xué)和工程中經(jīng)常會遇到Neumann邊界條件,比如問題(1)的求解。要求得問題(1)的正確解往往是困難的。因此通常需要求它的數(shù)值解。文獻(xiàn)[6-7]分別給出了矩形區(qū)域上橢圓型方程Neumann邊值問題的Legendre譜方法數(shù)值求解和誤差分析。文獻(xiàn)[8]用Fourier變換方法求解波動方程。但遺憾的是問題(1)的數(shù)值求解目前尚未見到有關(guān)結(jié)果。本文將用Lagrange插值多項式作為基函數(shù)展開數(shù)值解,逼近有界桿上的非線性熱傳導(dǎo)Neumann邊值問題的正確解。利用Lagrange插值多項式的一些性質(zhì),可以很容易地求出算法格式中的微分矩陣,為實際計算帶來極大的便利,從而達(dá)到節(jié)省工作量的目的。
令LN(x),1≤x≤1,表示N階Legendre多項式,令x0=1,xN=1,xm(1≤m≤N1)是L'N(x)=0的根。以xm為節(jié)點的lagrange插值多項式為:
設(shè)pN(x)=umφm(x),x∈[1,1]。對pN(x)關(guān)于x求一階導(dǎo)數(shù),并令x=xk,k=0,1,2,…,N得:
這里D=(Dkm)是(N+1)(N+1)矩陣[910],且有
進(jìn)一步,再對pN(x)求二階導(dǎo)數(shù),得N
為利用Legendre-Gauss-Lobatto節(jié)點為插值節(jié)點求得(1)的數(shù)值解,作變換:x=y1,問題(1)化為:
接下來用多項式:wN(x,t)=um(t)φm(x),x∈[1,1],逼近(6)的解。將其代入式(6)可得
等價地表示為:
記:
式(8)寫為矩陣形式為:
在任意時刻t,由式(9)得到X(t),Y(t),其中,M21(t)=(4a2/l2)A+B(t),矩陣A=(akm),B(t)= (bkm(t))都是(N1)×(N1)矩陣,其元素分別為:
用格式(9)求解式(6)。在時間方向用步長為τ的Crank-Nicolson格式離散有:
這里I是(N-1)×(N-1)單位矩陣。在式(1)中取a=1,b(x,t)≡1,問題(1)的第一個方程即為著名的Fisher方程:
由文獻(xiàn)[11],它的一個正確解為:
在式(6)中取l=2及:
本文利用Legendre-Gauss-Lobatto點為插值節(jié)點的Lagrange插值多項式為基函數(shù),構(gòu)造多項式逼近有界桿上的非線性熱傳導(dǎo)方程Neumann邊值問題的正確解。利用Lagrange插值多項式的性質(zhì),將偏微分方程轉(zhuǎn)化為求解所構(gòu)造多項式的系數(shù)向量的常微分方程,這樣處理簡化了非線性項的計算,在實際計算中節(jié)省大量工作;特別,解函數(shù)的二階導(dǎo)數(shù)所對應(yīng)的微分矩陣恰好是一階導(dǎo)數(shù)所對應(yīng)的微分矩陣的乘積,使得算法格式簡便,充分體現(xiàn)了所提算法的優(yōu)勢。這里所用方法也可用于有界區(qū)域上的其他非線性問題。
[1] 姜禮尚,陳亞浙,劉西垣,等.數(shù)學(xué)物理方程講義[M].北京:高等教育出版社,2003.
[2] 谷超豪,李大潛,陳恕行,等.數(shù)學(xué)物理方程[M].北京:高等教育出版社,2002.
[3] Guenther R B,Lee JW.Partial Differential Equations of Mathematical Physics and Integral Equations[M].Mineola:Dover Publications,2005.
[4] 王婷.熱傳導(dǎo)方程的一類有限差分區(qū)域分解顯-隱算法[J].山東大學(xué)學(xué)報:理學(xué)版,2006,41(5):20-25.
[6] Auteri F,Parolini N,Quartapelle L.Essential Imposition of Neumann Condition in Galerkin-Legendre Elliptic Solvers[J].Comp Phys,2003,185(2):427-444.
[7] Wang Tianjun,Wang Zhongqing.Error Analysis of Legendre Spectral Method with Essential Imposition of Neumann Boundary[J].Appl Nume Math,2009,59(10):2444-2451.
[8] 王天軍.一維線性非齊次波動方程解的一個注記[J].河南科技大學(xué)學(xué)報:自然科學(xué)版,2010,31(2):86-89.
[9] Alipanah A,Razzaghi M,Dehghan M.The Pseudospectral Legendre Method for a Class of Singular Boundary Value Problems Arising in Physiology[J].Journal of Vibration and Control,2010,16(1):3-10.
[10] Shen Jie,Tang Tao.Spectral and High-Order Methods with Applications[M].Beijing:Science Press,2006.
[11] 李向正,張衛(wèi)國,源三領(lǐng).LS解法和Fisher方程行波系統(tǒng)的定性分析[J].物理學(xué)報,2010,59(2):744-749.