arxiv: v1 [math.na] 21 Nov 2012

Transcription

1 The Fourier Transforms of the Chebyshev and Legendre Polynomials arxiv: v1 [math.na] 1 Nov 1 A S Fokas School of Engineering and Applied Sciences, Harvard University, Cambridge, MA 138, USA Permanent address: Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge CB3 WA S A Smitheman School of Biosciences, University of Nottingham, Sutton Bonington Campus, Loughborough, Leicestershire LE1 5RD, UK September 1 Abstract Analytic expressions for the Fourier transforms of the Chebyshev and Legendre polynomials are derived, and the latter is used to find a new representation for the half-order Bessel functions. The numerical implementation of the so-called unified method in the interior of a convex polygon provides an example of the applicability of these analytic expressions. 1 Introduction The importance of Chebyshev and Legendre polynomials in numerical analysis is well known. The finite Fourier transform plays a crucial role in mathematics and applications. In spite of these facts it appears that the finite Fourier transform of Chebyshev and Legendre polynomials has not been constructed. Here, we present explicit formulae for these transforms. The finite Fourier transform of the Legendre polynomials can be expressed in terms of the half-order Bessel functions, thus a direct application of our results is the construction of an explicit representation for the half-order Bessel functions. Our results are motivated from the recent work of B Fornberg and collaborators [1], [6] on the numerical implementation of the unified method of []-[4] to linear elliptic partial differential equations PDEs formulated in the interior of a convex polygon. In this case, the unified method yields a simple algebraic equation, the so-called global relation, which couples the finite Fourier transforms of the given boundary data with the finite Fourier transforms of the unknown boundary values. For the determination of these boundary values one has to choose a appropriate basis functions and b suitable collocation 1

2 points in the Fourier space. Several such choices have appeared in the literature [1], [5]-[1]; it appears that the best choice is a the unknown boundary values are expanded in terms of Legendre functions and b the collocation points are chosen on on rays introduced in [5], [1]. We note that Chebyshev and Legendre functions give rise to equivalent finite bases of L, and hence either choice will result in the same numerical method; however, in general the conditioning of the resulting linear systems will differ as conditioning is not invariant under matrix column operations. As an example of the applicability of these analytic formulae we apply this approach to the simplest possible polygon, namely to a square, and we use the explicit construction of the finite Fourier transform of the Legendre functions instead of the usual representation in terms of the Bessel functions. Fourier transforms of the Chebyshev and Legendre polynomials Theorem 1 Let ˆT m denote the finite Fourier transform of the Chebyshev polynomial T m x, i.e. 1 ˆT m = e x T m xdx, C, m=,1,,...,.1 1 where T m x denotes the Chebyshev polynomial Then, T m x=cosmcos 1 x, 1<x<1, m=,1,,...., m=1, ˆT m = 1 m+1 1 m, m=,,3, Furthermore, [ ] m+1 ˆT m = αn m e e + 1n+m n=1 n n, C {}, m=,1,,...,.4 where the coefficients αn m are defined as follows: α m 1 = 1 m, α m = 1 m+1 m,.5 α m n = 1m+n 1 n m m n+ n+k 3 n+k 3 m j, n=3,4,...,m+1..6

3 Proof Making in.1 the change of variables x = cos w, we find π ˆT m = e cosw sinwcosmwdw, C, m=,1,...,.7 from which the results for = follow. Using the identity sinwe cosw = 1 d dw and employing integration by parts in.7 we find e cosw,.8 ˆT m = 1 [ ] e 1 m e + mk m, C {}, m=,1,...,.9 where K m z= π e zcosw sinmwdw, z C {}, m=,1,....1 We now derive an analytic expression for K m z. It is clear that K z=, and on replacing by z in.8 we find K 1 z= 1 z ezcosw π w= The function K m z satisfies the relation = 1 z ez e z, z C {}..11 K m+1 z= m z K mz+k z+ z ez + 1 e z, For the derivation of this equation we will use the identity Thus, z C {}, m=1,,....1 sinm+1w=sinw+sinwcosmw..13 π K m+1 z= e zcosw sinm+1wdw = K z+ π sinwe zcosw cosmwdw..14 Using integration by parts we find that the above integral can be rewritten in the following form: π sinwe zcosw cosmwdw = 1 π z ezcosw cosmw m z π = 1 z ez + 1 e z m z K mz. e zcosw sinmwdw.15 3

4 We now show that for m=,1,..., K m z = m z ez + 1 m e z + 1 z n=1 z n 1 n e z + 1 m e z m n n+ n+ m j,.16 from which.4 follows using.9. Clearly, this relation is valid for m= and m=1. Furthermore, the function K m z in.16 satisfies the relation.1 if, and only if, 1 z m n=1 z n 1 n e z + 1 m+1 e z m n+1 n+ n+ = m z ez + 1 m e z m n z 1 n e z + 1 m e z m n n+ n=1 z + 1 m n 1 n e z + 1 e z n+ m n 1 z z n=1 n+ n+ m+1 j m j j..17 To prove.17, we compare coefficients of each power of z on each side of this equation. The coefficient of z on the left-hand side of.17 is given by e z + 1 m+1 e z m = e z + 1 m e z km+1 k [mm+1 13 mm+1m+1 ],.18 the coefficient of z on the right-hand side of.17 is given by [ ] e z + 1 m e z m + m k k = e z + 1 m e z [m + m 13 ] m m 3,.19 and the expressions in.18,.19 are equivalent. The coefficient of z m+1 on the left-hand side of.17 is given by m 1 m e z + 1 m+1 e z m m+1 j= m 1 m e z + 1 m+1 e z m!,. 4

5 the coefficient of z m+1 on the right-hand side of.17 is given by m e z + 1 m e z m j = m m e z + 1 m+1 e z!,.1 and the expressions in.,.1 are equivalent. The coefficient of z m on the left-hand side of.17 is given by 1 e z + 1 m+1 e z = 1 e z + e z = m m! 1 e z + e z, [ m+k m+1 j+m m+k m j= m+1 j m+1 j the coefficient of z m on the right-hand side of.17 is given by ]. m e z + 1 m e z = e z + e z [ m = m e z + e z!, m+k 3 m j+ m+k 3 j= m j m j ].3 and the expressions in.,.3 are equivalent. Finally, we consider z n+1, n=, 3,..., m. Omitting the common factor of n 1 n e z + 1 e z for convenience, the difference of the coefficients of the two sides of equation.17 is given by m n+1 [ m Furthermore, n+k n+k n+k m n+ = n+k m j [ n+ m j m n 1 n+ + n+ n+ mn n+ m k+1 n+ n+ m+1 j ] n+k m+1 j ] j..4 m j,.5 5

6 and m n 1 = = n+ m n+1 n+k 3 k 3 k=3 m n+1 n+ n+ j n+k 3 j k m k+1 n+k n+n+k m j..6 Hence the above difference is given by n+ m n+1 = n = n where a k = [ mn n+ m k+1 k 1 n+n+k n+ 1 n+ m n+1 m n [ m n+k 3m k+1 n+k [ n+k k ] n+k kn+k n+ n+kn+ +1 m j m j ] = ] ] m j ] n+k m n 1 n 1! a k,.7 m!n+k!n+k, k= 1,,..., m n..8 m n k!! Hence a m n+1 k = a k. If m n is odd, then m n+1 n+ =,.9 and hence a m n+1 =. Thus the coefficients of z n+1 of the two sides of.17 are equal for n=, 3,..., m. This establishes the validity of.17, which completes the proof of.4. 6

7 Theorem Let ˆP m denote the finite Fourier transform of the Legendre polynomial P m x, i.e. 1 ˆP m = e x P m xdx, C, m=,1,,...,.3 1 where P m x denotes the Legendre polynomial Then, d m P m x= 1 m m! dx mx 1 m, 1<x<1, m=,1,, {, m=, ˆP m =, m=1,,....3 Furthermore, [ ] m+1 ˆP m = βn m e e + 1m+n n=1 n n, C {}, m=,1,,...,.33 where the coefficients βn m are defined as follows: β m 1 = 1 if m even,.34a m+n 3 βn m = m+n n 1 m+n βn m = 1 n 1 m+n 3 + R m n+3 n, m+n 3 m, { 3,5,...,m+1 if m even, n=,4,...,m+1 if m odd,.34b {,4,...,m if m even, R m n +1, m+n 1m, n= 1,3,...,m if m odd,.34c where t s! R s,t r= r k+1, s t, s, s t, and = k=s s t!t! t 1, s> t,, s< t..35 Proof We first consider.3 for m=: Using the identity 1 ˆP = P xdx= m+1p m x= d dx P m+1x P x, 1<x<1, m=1,,...,.37 as well as the equations P m 1=1 and P m 1= 1 m for m =,1,... we find the second line of.3: 1 ˆP m = P m xdx= 1 1 m+1 [P m+1x P x] 1 1 =..38 7

8 For m=, 1, P m =T m and thus ˆP m = ˆT m ; hence.4 establishes the validity of.33. Furthermore, using.37 and integrating by parts we find ˆP m+1 = i m+1 ˆP m + ˆP, C {}, m=1,, For convenience, we consider the following equivalent forms of.33 for m even and odd respectively: ˆP m = 1 m m 1 1 j m j+1 ψ m j 1 m j + χ R m j 1 j+1,m j 1 m + ψ+ 1 m m χr 1,m,.4 and ˆP m = i where 1+ 1 i 1 m 3 R 1, m χ im+ ψ 1 j m j+1 ψ m j 1 m j + χ R m j 1 j+1,m j 1 m,.41 ψ= i e e and χ=ψ e + e..4 8

9 For odd m,.39 is equivalent to the following expression: 1 m+1 +ψ+ = 1 + ψ+ 1 j m j R j+1,m jm+1 m j+3 m+1 1 m+1 m 3 R 1,m m+1χ m j m j+ 1 m j ψ+ χ m j 1 j m j R j+1,m j m j m j m j 1 ψ+ χ m j 1 m j 1 1 m+1 R 1,m χ 1 1+ R 1, m χ 1 m+1m+ψ 1 m 3 Furthermore, m 3 = m+1 1 j m j 1 R j+1,m j 1m χ+m j+1 m j 1 1 j m j 1 j 1 j= m j ψ. m j m j m j 1 ψ m j 1 m j + χ R m j j+1,m j m j+1 ψ m j+ 1 + χ R m j j,m j

10 It is straightforward to show that R j+1,m j m+1=m j+1r j+1,m j 1 m, R j,m j 1 = j+ 1R j+1,m j 1 m..45 Hence for odd m,.39 is equivalent to the following equation: 1 m+1 + = m+1 1 m+1 m j m+1 m jm j+1r j+1,m j 1m m j m j+3 ψ+ m j+ 1 m+1r 1, mχ 1 j j= m j j+ 1R j+1,m j 1m m j+1 ψ+ m j+ 1 R,m mχ 1 1+ R 1, m χ 1 m+1m+ψ + m+1 1 m+1 m 3 1 j m j R j+1,m j 1m m j 1 χ+m j+1 m j χ m j χ m j ψ. m j.46 1

11 Hence, 1 m+1 m 3 j= + 1 j m j R j+1,m j 1m m j+1 1 m j m j+3 j+ 1 m j+ 1 m j+ 1 m+1 ψ m j m j m+1 χ m j 1 m j + m j+1 j+ 1 m j R,m m[m+1ψ+χ m+1m χ+ψ] 1 1 m+ 8 m+4m+1ψ+ 1 m+1χ 1 m 8 m+m 3ψ+ 1 1 χ m+1 + m+1r 1, m+ 3 1 m+1 R,m m m m m+1m+ψ =. Equation.47 follows from the identities 1+ 1 m j m j+3 j+ 1 m j+ 1 m j+ 1 m j m j+1 j+ 1 m j m+1 m j m+1 R 1, m m j m j 1 χ.47 =,.48 =,.49 11

12 m+1 1 and the coefficients of m+1 R 1, mχ, 1 ψr,m m, 1 χr,m m, 1 1 ψ and χ on the left hand side 8 of.47 vanishing: m+1 m+1=, m+1 m+1=, m+1m 3=, m+m+1m+4 mm 3 4m+1=, m+1m+ m m+1=. The validity of.39 for even m can be demonstrated similarly, completing the proof of equation An explicit representation for the half-order Bessel functions Lemma 3 Let J m+ 1 denote the half-order Bessel function, i.e. J m+ 1 = 1 π π + 1m+1 π cos m+ 1 τ sinτ dτ exp sinhτ m+ 1 τ dτ, C, m=,1,, Then J m+ 1 =, m=,1,,..., 3. and J m+ 1 admits the following explicit representation: J m+ 1= 1 m+1 π βn m n=1 [ e e + 1 n+m i n m n 1 i n m n 1 C {}, m=,1,,..., 3.3 ], where the coefficients β m n are defined by equations.34. Proof Recall that the finite Fourier transforms of the Legendre polynomials ˆP m can be expressed in the form ˆP m = 1 π i m J m This equation, together with the results of Theorem, immediately gives equation

13 y S 4 S 1 S 3 x S Figure 1: The square with sides of length. 4 The modified Helmholtz equation in the interior of a square Let ux, y satisfy the modified Helmholtz equation u x + u 4u=, 4.1 y in the interior of a convex polygon. Associated with each side {S j } n 1 of this n-gon, define the following functions {[ û j = e z z u y ] [ u dx+ u x ] } u dy, S j j = 1,,...,n, C {}, 4. and {[ ũ j = e z z u y ] [ u dx+ u x + 1 ] } u dy, S j j = 1,,...,n, C {}. 4.3 Then, the functions{û j } n 1 and{ũ j} n 1 satisfy the global relations [1] n û j =, n ũ j =, C {}. 4.4 For brevity of presentation, we consider the simplest possible polygon, namely the square with corners at Figure 1 1,1, 1,1, 1, 1, 1,1. For the sides S 1, S, S 3, S 4, we have respectively z= 1+iy, z=x i, z=1+iy, z=x+i

14 Hence, taking into account the orientations of the sides, we find the following expressions: û 1 =e + [ 1 1 e + y 1 u 1 x ] u 1 dy, 4.6a +1 û =e + [ 1 +1 e x 1 u y ] u dx, 4.6b 1 û 3 =e + [ 1 +1 e + y 1 u 3 x ] u 3 dy, 4.6c 1 û 4 =e + [ 1 1 e x 1 u 4 y ] u 4 dx. 4.6d +1 Let ˆD j and ˆN j denote the parts of û j corresponding to the Dirichlet and Neumann boundary values. Then, û 1 = e + 1 ˆN e + 1 ˆD 1, 4.7a û = e + 1 ˆN e + 1 ˆD, 4.7b û 3 =e + 1 ˆN e + 1 ˆD 3, 4.7c û 4 =e + 1 ˆN e + 1 ˆD d For simplicity, we consider the symmetric Dirichlet boundary value problem: Then, Thus, u 1 = u 1,y= cosh1cosh 3y+cosh 3coshy, 1<y<1; 4.8a u 3 = u1,y = cosh1cosh 3y+cosh 3coshy, 1<y<1; 4.8b u = ux, 1= cosh1cosh 3x+cosh 3coshx, 1<x<1; 4.8c u 4 = ux,1 = cosh1cosh 3x+cosh 3coshx, 1<x<1. 4.8d ux,y=u x,y, ux,y=ux, y, ux,y=uy,x. 4.9 u 3 x = u 1 x, u 4 y = u y, u y = u 1 x. 4.1 x,y y,x Hence, the first of the global relations 4.4 becomes cos 1 ˆN 1 +cos 1 ˆN 1 = 1 sin 1 ˆD sin 1 ˆD 1, C {}. 4.11a 14

15 The simplest way to obtain the second of the global relations 4.4 is to take the Schwartz conjugate of equation 4.11a i.e. to take the complex conjugate of 4.11a and then to replace with. This yields the equation cos = 1 1 ˆN 1 +cos 1 sin 1 ˆD 1 + ˆN 1 1 sin 1 ˆD 1, C {}. 4.11b Using N basis functions to approximate u 1 x, equations 4.11 yield equations for N unknowns. Regarding the numerical solution of the global relations 4.11, Fourier basis functions [5], [7] [1], as well as Chebyshev and Legendre polynomials [1], [6], [9], have been used to approximate u 1 x. In most of the earlier papers the collocation points C {} were chosen to lie on the rays in the complex -plane which are parallel to the edges of the polygon and its reflection in the imaginary axis. Recently B Fornberg and collaborators introduced the use of the so-called Halton nodes, [1], [6]. It appears that the most efficient numerical method involves a approximating the data u 1 x in terms of Legendre polynomials following Fornberg and b using the collocation points employed in our earlier work [1] where ideas of A G Sifalakis and collaborators [9] for the Laplace equation were extended to the modified Helmholtz equation. Furthermore, in order to ensure that the collocation matrix remains well conditioned as the number N of basis functions increases, it is important following Fornberg to i divide each row, as well as each column, of the collocation matrix by its l 1 -norm [1] and ii to over-determine the linear system by choosing the number of collocation points to be about the same as the number of unknowns. Numerical experiments suggest that Legendre polynomials yield spectral accuracy rather than the algebraic accuracy found with a Fourier basis. Furthermore, as a result of choosing the collocation points to be on the above rays, the semi-block circulant structure of the collocation matrix for regular polygons, demonstrated for the Laplace equation in [8], is preserved in modified Helmholtz equation as well. Plots of the relative error E defined in [1], as well as of the matrix condition number as a function of N, for N/, N, 3N/ and N collocation points, are presented in Figure. The rectangular collocation matrix was inverted by using the backslash command in Matlab. It is clear that over-determining the linear system by a factor of is sufficient to achieve very good matrix conditioning. 5 Acknowledgements ASF is grateful to EPSRC, UK and to Onassis foundation, USA for partial support. SAS wishes to thank Prof B Fornberg for many useful discussions. 15

16 relative error, E # coll pts = N/ # coll pts = N # coll pts = 3N/ # coll pts = N condition number of collocation matrix # coll pts = N/ # coll pts = N # coll pts = 3N/ # coll pts = N no of basis functions, N no of basis functions, N Figure : Numerical solution of the global relations 4.11 for the symmetric Dirichlet boundary value problem 4.8. References [1] Davis, C.-I.: Numerical tests of the Fokas method for Helmholtz-type partial differential equations: Dirichlet to Neumann Maps, Masters Thesis, University of Colorado at Boulder 8 [] Fokas, A.S.: A unified transform method for solving linear and certain nonlinear PDEs. Proc. R. Soc. A 453, [3] Fokas, A.S.: On the integrability of linear and nonlinear partial differential equations. J. Math. Phys. 41, [4] Fokas, A.S.: Two-dimensional linear PDEs in a convex polygon. Proc. R. Soc. Lond. Ser. A 457, [5] Fokas, A.S., Flyer, N., Smitheman S.A., Spence E.A.: A semi-analytical numerical method for solving evolution and elliptic partial differential equations. J. Comput. Appl. Math. 7, [6] Fornberg, B., Flyer, N.: A numerical implementation of Fokas boundary integral approach: Laplace s equation on a polygonal domain. Proc. R. Soc. A 467, [7] Fulton, S.R., Fokas, A.S., Xenophontos, C.A.: An analytical method for linear elliptic PDEs and its numerical implementation. J. Comput. Appl. Math. 167, [8] Saridakis, Y.G., Sifalakis, A.G., Papadopoulou, E.P.: Efficient numerical solution of the generalized Dirichlet-Neumann map for linear elliptic PDEs in regular polygon domains. J. Comput. Appl. Math. 36, [9] Sifalakis, A.G., Fokas, A.S., Fulton, S.R., Saridakis, Y.G.: The generalized Dirichlet-Neumann map for linear elliptic PDEs and its numerical implementation. J. Comput. Appl. Math. 19,

17 [1] Sifalakis, A.G., Fulton, S.R., Papadopoulou, E.P., Saridakis, Y.G.: Direct and iterative solution of the generalized Dirichlet-Neumann map for elliptic PDEs on square domains. J. Comput. Appl. Math. 7, [11] Sifalakis, A.G., Papadopoulou, E.P., Saridakis, Y.G.: Numerical study of iterative methods for the solution of the Dirichlet-Neumann map for linear elliptic PDEs on regular polygon domains. Int. J. Appl. Math. Comput. Sci. 4, [1] Smitheman, S.A., Spence, E.A., Fokas, A.S.: A spectral collocation method for the Laplace and modified Helmholtz equations in a convex polygon. IMA J. Numer. Anal. 3,