擬譜法(Pseudo-spectral methods)[1]也稱為離散變數表示(discrete variable representation、DVR)法,是在應用數學及計算科學中求解偏微分方程用的數值分析方法。擬譜法和譜方法有密切關係,但在譜方法中基底函數中使用了擬譜的基底函數,也就是可以在分割網格上表示的函數。此作法簡化一些運算子的計算,在使用快速演算法(例如快速傅里葉變換)時可以加速計算速度。
考慮以下的初值問題
![{\displaystyle i{\frac {\partial }{\partial t}}\psi (x,t)={\Bigl [}-{\frac {\partial ^{2}}{\partial x^{2}}}+V(x){\Bigr ]}\psi (x,t),\qquad \qquad \psi (t_{0})=\psi _{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ff60cb5481245d7af047117c1fdc06276d7ca0)
有週期性條件
。這個例子是勢能為
之粒子的薛定諤方程,不過其結構可適用到其他應用。在許多實務上的偏微分方程中,其中有一項是和導數(例如是動能相關的量)有關,另一項則是和另一個函數(此處為勢能)的乘積。
在譜方法中,其解
會展開為一組適合基底函數的組合,例如平面波。
![{\displaystyle \psi (x,t)={\frac {1}{\sqrt {2\pi }}}\sum _{n}c_{n}(t)e^{2\pi inx}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7d71a8e9db521c66e203c185775ffb2c65e72d9)
將解代入,並且計算係數的方程,可以得到係數的常微分方程
![{\displaystyle i{\frac {d}{dt}}c_{n}(t)=(2\pi n)^{2}c_{n}+\sum _{k}V_{n-k}c_{k},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/801898111798055cb1689d143b9019329c978423)
而其元素
可以透過顯式的傅立葉轉換求得
![{\displaystyle V_{n-k}=\int _{0}^{1}V(x)\ e^{2\pi i(k-n)x}dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/352d5f577b9cfa071cad4c27edca28ac2db06551)
若將
基底函數的展開到一定項次後截斷,並且找
的解,就可以得到偏微分方程的解。一般而言會用數值方法進行,例如龍格-庫塔法。為了數值解,常微分方程的右側需重覆計算在許多不同時間間隔下的值。此時,譜方法有個和勢能項
有關的主要問題。
在譜方法下,和勢能函數
的相乘會轉換為向量和矩陣的乘法,其複雜度是
,而且在求解係數的微分方程時,需要另外去計算矩陣元素
,這也需要時間。
在擬譜法中,會用不同的方式來計算。給定係數
,會用反離散傅立葉轉換來計算函數
在離散格點
下的值。在格點上,計算函數的乘積
,再用傅立葉轉換轉換回來,可以得到一組新的係數
,來代替矩陣乘積運算
。
可以證明二個方法有類似的精準度,而且擬譜法可以使用快速傅立葉轉換,其時間複雜度為
,理論上比矩陣乘法要快很多。而且,可以直接計算函數
,不用再經過額外的積分運算。
若用比較抽象的方式來描述,擬譜法是處理在偏微分方程中二個函數
和
的乘積。為了簡化表示式,省略掉函數中時間的自變數。在概念上,擬譜法包括三個步驟:
- 將
以及
擴展為由有限多個基底函數形成的組合(此為譜方法)。
- 針對一組給定的基底函數,找到一組分割方式可以將基底函數的純量積轉換為在格點上的加權和。
- 在每一個格點將
和
相乘,來計算函數的乘積。
函數
和
可以用一組有限基底的函數來擴展
:
![{\displaystyle f(x)=\sum _{n=0}^{N}c_{n}\phi _{n}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fac9e692502864888981b880f59c5beaeea366ef)
![{\displaystyle {\tilde {f}}(x)=\sum _{n=0}^{N}{\tilde {c}}_{n}\phi _{n}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/830b6a91df21615e7eaa13151604625b6a6fa8dc)
為了簡化起見,令基底是正交且正規化的,
,利用內積
配合適當的邊界
,其係數為
![{\displaystyle c_{n}=\langle f,\phi _{n}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/23ee44939fde3348ac40f0ee5b59b59ddd1c65c5)
![{\displaystyle {\tilde {c}}_{n}=\langle {\tilde {f}},\phi _{n}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4863544d972331ae6089b6e71739aaf35d7073c)
配合一些計算可得
![{\displaystyle {\tilde {c}}_{n}=\sum _{m=0}^{N}V_{n-m}c_{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52798bf4a34e8e5f04b3eda031cf5ba467600365)
而
。這是譜方法的基礎。為了區分
的基底以及正交的基底,有時會將上述擴展稱為有限基底表示(Finite Basis Representation、FBR)。
針對給定基底
以及
個基底函數,可以設法找到分割方式,也就是
個點以及加權,使得
![{\displaystyle \langle \phi _{n},\phi _{m}\rangle =\sum _{i=0}^{N}w_{i}\phi _{n}(x_{i}){\overline {\phi _{m}(x_{i})}}\qquad \qquad n,m=0,\ldots ,N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/665f3319c9307c9b33505e77e2c87d0e5767863a)
特別的例子包括多項式的高斯求積以及平面波的離散傅里葉變換,特別需注意的是格點及加權
都是基底及數量
的函數。
利用分割方式,可以透過格點上的值,以另一種方式來表示函數
的數值。此表示法有時稱為離散變數表示法(Discrete Variable Representation、DVR),完全等效於基底的展開。
![{\displaystyle f(x_{i})=\sum _{n=0}^{N}c_{n}\phi _{n}(x_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28134d28f8e674c37ed3ffab443a6320b6eedcea)
![{\displaystyle c_{n}=\langle f,\phi _{n}\rangle =\sum _{n=0}^{N}w_{i}f(x_{i}){\overline {\phi _{n}(x_{i})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ac15e285774e3d34591eff88fd2c7aa638ecf28)
和函數
的相乘會在格點上進行
![{\displaystyle {\tilde {f}}(x_{i})=V(x_{i})f(x_{i}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c27aee4649eae6d2e24a6710a57c1239393e2646)
一般來說這裡會有一些近似,可以計算其中一個係數
:
![{\displaystyle {\tilde {c}}_{n}=\langle {\tilde {f}},\phi _{n}\rangle =\sum _{i}w_{i}{\tilde {f}}(x_{i}){\overline {\phi _{n}(x_{i})}}=\sum _{i}w_{i}V(x_{i})f(x_{i}){\overline {\phi _{n}(x_{i})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31dd71708895ed7ee24b3b6024c050b5760375a2)
利用譜方法,對應的係數會是
。擬譜法則會用以下皂的近似來處理
![{\displaystyle \langle Vf,\phi _{n}\rangle \approx \sum _{i}w_{i}V(x_{i})f(x_{i}){\overline {\phi _{n}(x_{i})}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5070d4750c34ae3081195e7eba0858b84083e666)
若乘積可以用
給定的有限基底函數組合來表現,則上式在給定分割方式上會完全正確。
若問題中有週期性的邊界條件,其週期為
,基底函數可以用平面波來產生,
![{\displaystyle \phi _{n}(x)={\frac {1}{\sqrt {L}}}e^{-\imath k_{n}x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d50224a6dce5385452bd6b5b0e79c83bc01aa793)
其中
,而
是取整函數。
在
處截斷的分割為離散傅立葉轉換,格點會平均分佈
,間隔為
,各點的加權會是相同旳定值
。
在討論誤差時,需注意到平面波的乘積也是平面波,
,
。因此,定量來說,若函數
可以用
基底函數足夠準確的呈現,只要用
個基底函數,即可用擬譜法得到足夠準確的結果。
平面波的擴展一般效果較差,需要許多的基底函數才能收斂。不過。基底展開和格點表示的轉換可以用快速傅立葉轉換進行,其時間複雜度較低,為
。因此,平面波是擬譜法中常用的一種基底函數。
另一種常見的展開方式是多項式,此處會使用高斯求積(Gaussian quadrature),其中提到可以找到加權係數
及格點
使得
![{\displaystyle \int _{a}^{b}w(x)p(x)dx=\sum _{i=0}^{N}w_{i}p(x_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/113e60ab0faa5d23df6b4127e1fb31e778546519)
對任意的
次或是更低次的多項式
都成立。一般而言,加權函數
及範圍
都是根據特定問題所選定的,因此會選擇幾種分割方式中的一種。若要用在擬譜法,需選擇基底函數為
,其中
為
階多項式,有以下特性
![{\displaystyle \int _{a}^{b}w(x)P_{n}(x)P_{m}(x)dx=\delta _{mn}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3b7e32618ee0e6b3ba1e2e0289ae953ab492099)
在上述條件下,the
會是正交基底,其內積為
。此基底以及分割點可以用在擬譜法中。
有關其誤差,若
可以用
個基底函數很好的呈現,而
可以用
階多項式很好的呈現,則其積可以用前
個基底函數很好的呈現。且擬譜法用該數量的基底函數,會有足夠準確的結果。
在一些標準問題中,會出現這些多項式。例如量子簡諧振動子可以擴展為埃爾米特多項式,而在轉動問題中,會用雅可比多項式來定義相關的勒壤得多項式。
- Orszag, Steven A. Numerical Methods for the Simulation of Turbulence. Physics of Fluids. 1969, 12 (12): II–250. doi:10.1063/1.1692445.
- Gottlieb, David; Orszag, Steven A. Numerical analysis of spectral methods : theory and applications 5. print. Philadelphia, Pa.: Society for Industrial and Applied Mathematics. 1989. ISBN 978-0898710236.
- Hesthaven, Jan S.; Gottlieb, Sigal; Gottlieb, David. Spectral methods for time-dependent problems 1. publ. Cambridge [u.a.]: Cambridge Univ. Press. 2007. ISBN 9780521792110.
- Trefethen, Lloyd N. Spectral methods in MATLAB 3rd. repr. Philadelphia, Pa: SIAM. 2000. ISBN 978-0-89871-465-4.
- Fornberg, Bengt. A Practical Guide to Pseudospectral Methods. Cambridge: Cambridge University Press. 1996. ISBN 9780511626357.
- Boyd, John P. Chebyshev and Fourier spectral methods 2nd ed., rev. Mineola, N.Y.: Dover Publications. 2001 [2019-07-17]. ISBN 978-0486411835. (原始內容存檔於2019-06-24).
- Funaro, Daniele. Polynomial approximation of differential equations. Berlin: Springer-Verlag. 1992 [2019-07-17]. ISBN 978-3-540-46783-0. (原始內容存檔於2011-07-22).
- de Frutos, Javier; Novo, Julia. A Spectral Element Method for the Navier--Stokes Equations with Improved Accuracy. SIAM Journal on Numerical Analysis. January 2000, 38 (3): 799–819. doi:10.1137/S0036142999351984.
- Claudio, Canuto; M. Yousuff, Hussaini; Alfio, Quarteroni; Thomas A., Zang. Spectral methods fundamentals in single domains. Berlin: Springer-Verlag. 2006. ISBN 978-3-540-30726-6.
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP. Section 20.7. Spectral Methods. Numerical Recipes: The Art of Scientific Computing 3rd. New York: Cambridge University Press. 2007 [2019-07-17]. ISBN 978-0-521-88068-8. (原始內容存檔於2011-08-11).