朱佳佳，陳 蕾，王同科

（天津師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，天津300387）

Mellin變換是一類重要的積分變換，在數(shù)學(xué)[1-2]、物理[3]和工程中的一些領(lǐng)域，如數(shù)論、概率論、計算機(jī)科學(xué)、量子力學(xué)、圖像識別等方面有著廣泛的應(yīng)用.對于定義在（0，+∞）上的函數(shù)f（x），其Mellin變換定義為[1-2]

其中s=σ+it（σ、t∈R）為復(fù)數(shù).

Mellin變換并不是對所有的s都成立，使得M（s）成立的s的范圍稱為基本條帶[2].對于一些常見函數(shù)，文獻(xiàn)[4]給出了Mellin變換表.對于更復(fù)雜的函數(shù)，需要通過數(shù)值積分方法[5-6]計算其在一些點的離散Mellin變換.當(dāng)f（x）在[0，+∞）上非充分光滑時，積分（1）為奇異積分，其計算比較困難.文獻(xiàn)[7-8]利用函數(shù)在奇點處的Puiseux級數(shù)展開式設(shè)計了計算積分的有效方法.本文假定f（x）在x=0和x=+∞存在Puiseux級數(shù)展開式，在此基礎(chǔ)上研究Mellin變換的高精度Gauss-Legendre求積方法.

1 函數(shù)的Puiseux級數(shù)展開式及其在數(shù)值積分中的應(yīng)用

對于非充分光滑或在某些點奇異的函數(shù)，其Taylor級數(shù)不存在，但是Puiseux級數(shù)[8]可能存在.Puiseux級數(shù)是冪級數(shù)的一種推廣，其展開式中可以包含負(fù)指數(shù)冪、分?jǐn)?shù)指數(shù)冪和對數(shù)因子，它們被廣泛用于描述微分方程的解在奇點的性態(tài).函數(shù)在某個點的Puiseux級數(shù)可以通過符號計算得到.

設(shè)f（x）是定義在區(qū)間（a，b]上的函數(shù)，在端點x=a處分?jǐn)?shù)階代數(shù)和對數(shù)奇異，x=a處的Puiseux級數(shù)展開式為

除端點x=a外，f（x）在其他點充分光滑.以步長h=（b-a）/n將[a，b]分割為n個子區(qū)間，對于積分I=其復(fù)合Gauss-Legendre求積公式為

其中：p為節(jié)點個數(shù)；σλ＞0為權(quán)重；節(jié)點 θλ∈（0，1），λ=1，2，…，p.這些權(quán)重和節(jié)點可由一些高效算法[9]求出.

引理[8]設(shè)f（x）在端點x=a處代數(shù)和對數(shù)奇異，Puiseux級數(shù)展開式（2）成立，則計算積分的改進(jìn)Gauss-Legendre求積公式為

誤差主項為

2 Mellin變換的Gauss-Legendre求積算法

2.1 Mellin變換成立的條件

假設(shè)定義在區(qū)間（0，+∞）上的函數(shù)f（x）能夠在零點和無窮遠(yuǎn)點進(jìn)行Puiseux級數(shù)展開，下面分別在區(qū)間（0，1）和（1，+∞）上對Mellin變換成立的條件進(jìn)行討論.

根據(jù)Mellin變換的定義（1），M（s）可化為如下形式

對式（6）中第2個積分做變量替換t=1/x，并記g（t）=f（1/t），則有

式（7）右端2個積分具有相同的形式，為方便，記

則式（7）變?yōu)?/p>

由此可知，Mellin變換成立的充分必要條件為MEL[f，s]和MEL[g，-s]均可積.接下來對這2個積分是否存在進(jìn)行討論，為方便，只考慮s為實數(shù)的情形.

定理1設(shè)f（x）=xα（ln x）μ，其中：α為實數(shù)，μ為非負(fù)整數(shù)，則積分MEL[f，s]存在的充分必要條件為s＞-α

證明對MEL[f，s]進(jìn)行分部積分，得

顯然，當(dāng)且僅當(dāng)α+s＞0時，上式才有意義.所以積分MEL[f，s]存在的充分必要條件為s＞-α.

定理2設(shè)f（x）在x=0和x=+∞存在Puiseux級數(shù)展開式，即有

其中：αi、βi均為實數(shù)，滿足 α0＜ α1＜ α2＜ …，β0＜ β1＜β2＜ …，μi，j、νi，j為非負(fù)整數(shù)，則 Mellin 變換存在的充分必要條件為-α0＜s＜β0.

注：（-α0，β0）即為 Mellin 變換存在的基本條帶.

證明由漸近分析知

由定理1可知，MEL[f，s]存在的充分必要條件為s＞-αi，MEL[g，-s]存在的充分必要條件為-s＞ -βi.由 αi、βi滿足的條件知，當(dāng)且僅當(dāng)-α0＜ s＜ β0時，MEL[f，s]和MEL[g，-s]均存在，即 Mellin 變換 M（s）存在的充分必要條件為-α0＜ s＜ β0.

2.2 Gauss-Legendre求積算法

這里仍假定f（x）在x=0和x=+∞存在Puiseux級數(shù)展開式（11）.首先，由式（11）可知

對MEL[f，s]，將區(qū)間[0，1]剖分為n等份，步長為h=1/n.由式（3）可得

其誤差主項為

其次，由于 MEL[g，-s]與 MEL[f，s]具有相同的形式，與上述過程類似，可得到

進(jìn)一步可得到

其誤差主項為

綜上，由式（9）可得 Mellin變換（1）的 Gauss-Legendre計算公式為

誤差主項為

3 Mellin變換計算實例

本節(jié)給出一些計算實例以說明算法的有效性和高精度.對于本文給出的算法，使用Mathematica軟件[10]編寫程序并計算.式（14）、（15）和（18）中的計算參數(shù)分別取為

例1計算的Mellin變換的數(shù)值解.

直接對f1（x）在x=0和x=+∞處進(jìn)行Puiseux展開，得

由此得 Mellin變換成立的條件是 s∈（1/3，1/2）.使用改進(jìn)的Gauss-Legendre求積方法計算該Mellin變換在一些點的數(shù)值解，再利用Mathematica軟件中的NIntegrate命令計算其更高精度的近似解作為其真實值，計算結(jié)果見表1.

表1 f1的Mellin變換在一些s處的計算值與誤差Tab.1 Calculated values and errors of Mellin transform of f1at s

例2計算的Mellin變換的數(shù)值解（Kn（z）為第二類修正Bessel函數(shù)）.

查表[4]可知f（x）=exK0（x）的Mellin變換為M（s，f）=π-1/22-sГ（1/2+s）Г2（s），其中Г（z）為Gamma函數(shù)，于是

由此可得f2（x）的Mellin變換在不同s值下的真實解，進(jìn)而得到實際誤差.

直接計算得f2（x）在x=0和x=+∞處的Puiseux級數(shù)展開式為

故Mellin變換成立的條件為s∈0，1/（）4.使用改進(jìn)的Gauss-Legendre求積方法計算該變換，結(jié)果見表2.

表2 f2的Mellin變換在一些s處的計算值與誤差Tab.2 Calculated values and errors of Mellin transform of f2at s

以上2個算例函數(shù)在零點及無窮遠(yuǎn)點均為分?jǐn)?shù)階可導(dǎo)或?qū)?shù)奇異，本文算法的誤差介于10-12和10-16之間，且輸出誤差與真實誤差比較符合，算法的正確性和準(zhǔn)確性得以保證.對于在零點和無窮遠(yuǎn)點代數(shù)和對數(shù)奇異的函數(shù)，本文方法為其Mellin變換的數(shù)值求解提供了一種新的途徑.

參考文獻(xiàn)：

[1] 沈克精.梅林（Mellin）變換及其應(yīng)用[J].安徽大學(xué)學(xué)報：自然科學(xué)版，1992，3：15-22.SHEN K J.Mellin transform and it′s application[J].Journal of Anhui University：Natural Science Edition，1992（3）：15-22（in Chinese）.

[2]PHILIPPE F，XAVIER G，PHILIPPE D.Mellin transforms and asymptotics：Harmonic sums[J].Theoretical Computer Science，1995，144（1/2）：3-58.

[3] 鄭師海，楊國楨，林清景，等.實現(xiàn)Mellin變換的一種新方法[J].物理學(xué)報，1986，35（4）：529-534.ZHENG S H，YANG G Z，LIN Q J，et al.A new method for performing optical Mellin transform[J].Acta Physica Sinica，1986，35（4）：529-534（in Chinese）.

[4]FRITZ O.Tables of Mellin Transforms[M].New York：Springer-Verlag，1974.

[5] DAVIS P J，RABINOWITZ P.Methods of Numerical Integration[M].2nd Edtion.Orlando：Academic Press，1984.

[6]RAFAEL G C，F(xiàn)RANCISCO M D.Quadrature formulas for the Laplace and Mellin transforms[J].BIT Numerical Mathematics，2009，49（3）：477-486.

[7]WANG T K，LI N，GAO G H.The asymptotic expansion and extrapolation of trapezoidal rule for integrals with fractional order singularities[J].InternationalJournalofComputerMathematics，2015，92（3）：579-590.

[8] WANG T K，LIU Z F，ZHANG Z Y.The modified composite Gauss type rules for singular integrals using Puiseux expansions[J].Mathematics of Computation，2017，86（303）：345-373.

[9] KNUT P.On the computation of the Gauss-Legendre quadrature formula with a given precision[J].Journal of Computational and Applied Mathematics，1999，112（1/2）：253-267.

[10]王同科，張東麗，王彩華.Mathematica與數(shù)值分析實驗[M].北京：清華大學(xué)出版社，2011.WANG T K，ZHANG D L，WANG C H.Mathematica and Numerical Analysis Experiment[M].Beijing：Tsinghua University Press，2011（in Chinese）.