Hello:(adsbygoogle = window.adsbygoogle || []).push({});

I am trying to determine the global error for the verlet integration algorithm: [itex]r_{i+1}=2r_{i}-r_{i-1}+\ddot{r}_{i}h^{2}[/itex]

It is easy to show that this approximation is locally 4th order, by way of a Talyor expansion. I have look around extensively for a proof of the global error but have been unsuccessful in finding a reasonable derivation anywhere (the articles I have found seem to make too many unjustified assumption and/or glaze over the dropping of terms; similar to the wikipedia page on verlet integration).(1) Has anyone else ran across a good derivation of the verlet integrators global error?My attempts at finding the global error for this expression has proved to be quite difficult.

The numerical testing I have done has shown 2nd order global error, but I can't prove it.(2) I know I have to show that [itex]d_{k} \leq M n^2 [/itex] for all [itex]k \leq n[/itex], where M is some constant, but how can I show this for an arbitrary M? In real analysis, you show an equation like this is true by showing that for any [itex]\epsilon[/itex] you can find a [itex]n[/itex] such that the expression holds, but I can't seem to frame my problem in those terms.I have been trying several different approaches, and my latest attempt is below.

My first step was to set up a difference equation for [itex]r_{i}[/itex] and [itex]r(h*i)[/itex] where [itex]r(h*i)[/itex] is the exact solution and [itex]r_{i}[/itex] is the approximate solution. After subtracting the two expression I get the difference formula:

[itex]d_{i+1}=2d_{i}-d_{i-1}-h^{2}(\ddot{r}_{i}-\ddot{r}(h*i)) - O(h^{4})[/itex]

using the mean value theorem:

[itex]d_{i+1}=2d_{i}-d_{i-1}-h^{2}(\ddot{\xi}_{i}d_{i}) - O(h^{4})[/itex] for [itex]\xi\in[r_{i},r(h*i)][/itex]

[itex]\Leftrightarrow d_{i+1}-(2-h^{2}(\ddot{\xi}_{i}))d_{i}+d_{i-1}=-O(h^{4})[/itex]

[itex]r[/itex] is differentiable on the interval [itex][0,h*n][/itex]. Which implies [itex]\ddot{\xi}_{i}[/itex] has a maximum. Letting [itex]\epsilon=h^{2}\ddot{\xi}_{i}[/itex] gives:

[itex]d_{i+1}-(2-\epsilon)d_{i}+d_{i-1}=-O(h^{4})[/itex]

condensing further:

[itex]d_{i+1}-xd_{i}+d_{i-1}=-O(h^{4})[/itex] where [itex]x=2-\epsilon[/itex].

This expression can be written out in matrix form (shown below is just a 12X12 example) where A=

Taking the inverse of A yields:

The rows of A have a closed form solution:

[itex]a(i)=\frac{(x-\sqrt{x^{2}-4})^{i}-(x-\sqrt{x^{2}-4})^{i}}{2^{i}\sqrt{x^{2}-4}}[/itex]

[itex]\Rightarrow d_{n}=\sum_{i=1}^{n}a(i)[/itex]

This two can be expressed in a better way:

[itex]d_{n}=\frac{(\frac{x-\sqrt{x^{2}-4}}{2})^{n}(\sqrt{x^{2}-4}+x-2)+(\frac{x+\sqrt{x^{2}-4}}{2})^{n}(\sqrt{x^{2}-4}-x+2)-2\sqrt{x^{2}-4}}{x-2}[/itex]

I am trying to show that [itex] d(n) \leq M n^2 [/itex], but I have been having trouble show that this true.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Analysis of Verlet integration method

Loading...

Similar Threads - Analysis Verlet integration | Date |
---|---|

I Integrate a function over a closed circle-like contour around an arbitrary point on a torus | Today at 12:51 PM |

I A question about Vector Analysis problems | Oct 4, 2017 |

I Must functions really have interval domains for derivatives? | Jul 26, 2017 |

I Fredholm integral equation with separable kernel | Jul 9, 2017 |

A Inverse Laplace transform of a piecewise defined function | Feb 17, 2017 |

**Physics Forums - The Fusion of Science and Community**