The Mathematica Journal
Departments
Download This Issue
Home
Feature Articles
Graphics Gallery
Tricks of the Trade
In and Out
Columns
The Mathematica Programmer
New Products
New Publications
Classifieds
Calendar
News Bulletins
Editor's Pick
Mailbox
Letters
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues

Convergence Acceleration

It is very common in mathematical physics and engineering to expand functions or solve differential equations by expansion into a Fourier basis or into a system of orthogonal polynomials. However, because these basis functions are well-behaved, convergence near singular points is slow--a famous example being the Gibbs' phenomena for Fourier series. If the form of the singularity is known, then one can explicitly take this into account using series rearrangement to dramatically improve the convergence of series solutions.

To take a specific example, consider the following identity,

[Graphics:../Images/index_gr_136.gif]

where [Graphics:../Images/index_gr_137.gif] are Legendre polynomials. A plot comparing the left-hand side with a partial sum of the right-hand side reveals that the sum is slowly convergent.

[Graphics:../Images/index_gr_138.gif]

[Graphics:../Images/index_gr_139.gif]

Using a recurrence relation,

[Graphics:../Images/index_gr_140.gif]

the generic term, [Graphics:../Images/index_gr_141.gif], of the expression [Graphics:../Images/index_gr_142.gif] becomes

[Graphics:../Images/index_gr_143.gif]
[Graphics:../Images/index_gr_144.gif]

Re-indexing the summation, using pattern matching, and eliminating [Graphics:../Images/index_gr_145.gif], we obtain

[Graphics:../Images/index_gr_146.gif]
[Graphics:../Images/index_gr_147.gif]

which means that

[Graphics:../Images/index_gr_148.gif]

We can use this expression to accelerate the convergence of Legendre expansions that have a singularity at [Graphics:../Images/index_gr_149.gif].

Incidentally, the above method for manipulating summations by focusing on the generic term can also be used to generate recurrence relations for differential equations. Consider the Legendre differential equation,

[Graphics:../Images/index_gr_150.gif]

After using Function to substitute the generic term [Graphics:../Images/index_gr_151.gif] (using Function) of the series solution, [Graphics:../Images/index_gr_152.gif] into the differential equation,

[Graphics:../Images/index_gr_153.gif]
[Graphics:../Images/index_gr_154.gif]

we can generate the recurrence relation using pattern matching as follows.

[Graphics:../Images/index_gr_155.gif]
[Graphics:../Images/index_gr_156.gif]
[Graphics:../Images/index_gr_157.gif]
[Graphics:../Images/index_gr_158.gif]

Returning to our original problem, we multiply the numerator and denominator of the right-hand side of equation (1) by [Graphics:../Images/index_gr_159.gif] (to remove the [Graphics:../Images/index_gr_160.gif] singularity).

[Graphics:../Images/index_gr_161.gif]

Then, from equation (0), we compute

[Graphics:../Images/index_gr_162.gif]
[Graphics:../Images/index_gr_163.gif]

to obtain

[Graphics:../Images/index_gr_164.gif]

Here are the comparative plots.

[Graphics:../Images/index_gr_165.gif]

[Graphics:../Images/index_gr_166.gif]

The convergence acceleration is quite dramatic. We have used only four terms in the accelerated sum, compared to 40 in the original expression! One reason for the acceleration is obvious: the coefficients of the [Graphics:../Images/index_gr_167.gif] in the accelerated sum are asymptotically like [Graphics:../Images/index_gr_168.gif]. The technique outlined here is easily generalized to other eigenfunction expansions.


Converted by Mathematica      September 30, 1999 [Prev Page][Next Page]