780.20: 1094 Session 6
Handouts: diffeq_test.cpp, diffeq_routines.cpp,
excerpt from Chap. 9 of Landau/Paez' "Computational Physics".
In the chapter 9 handout is an introduction to algorithms for
integrating differential equations. In this session,
we'll go over the basic ideas by
example, using the routines in session06.zip, in preparation for
looking at "Anharmonic Oscillations" and "Differential Chaos in Phase
Your goals for this session:
- Take a look at using a C++ class to "encapsulate" the
GSL functions in the "eigen_tridiagonal" code.
- Run a code to integrate a simple first-order differential equation
using Euler's and 4th-order Runge-Kutta algorithms, then modify
it so you can analyze the errors.
- Extra: Add code for a 2nd-order Runge-Kutta algorithm.
- Extra: Adapt the code to treat the 2nd order F=ma problem in chapter 9
of the Landau/Paez text.
Please work in pairs (more or less).
The instructors will bounce around 1094 and answer questions.
Wrapping GSL Functions: eigen_tridiagonal_class
The code eigen_tridiagonal_class.cpp, together with GslHamiltonian.cpp
and GslHamiltonian.h, are a rewrite of eigen_tridiagonal.cpp from
Session 5. A C++ class called "Hamiltonian" hides all of the GSL
function calls from the main program. Minimal changes
were made to the code for clarity (so it is not optimal!).
- Look at the eigen_tridiagonal_class.cpp printout and compare
to the eigen_tridiagonal.cpp printout from Session 5. If this is
your first exposure to a C++ class (or if you forget what you used
to know), there will be confusing aspects. A
detailed guide to the implementation will be given
in the Session 7 notes. For now, identify what
has happened to each of the GSL function calls.
In what ways is the new version better?
- Verify that the code still works. Try adding a loop
over the matrix dimension N. Does it work?
- (Bonus) What additional functions might you define in the
Hamiltonian class? What other classes might you define?
Integrating a First-Order Differential Equation
The code diffeq_test.cpp
calls the differential-equation-solving routines in diffeq_routines.cpp
("euler" and "runge4") to integrate a series of coupled differential
equations (but we'll start with a single equation).
Functions for the right-hand-side of
a first order differential equation (dy/dt = rhs[y,t]) and the
exact y(t) [called "exact_answer"] for a specified initial condition are
also defined in this file.
There is also a header file diffeq_routines.h.
- Look through the Session 6 Background Notes for a quick overview
of differential equation solving.
- Download and unzip session06.zip.
- Use make_diffeq_test to compile and link diffeq_test. Run the
program to generate diffeq_test.dat and look at it in an editor.
The gnuplot plotfile diffeq_test.plt generates comparison plots
of the integrated
function from the output in diffeq_test.out.
Load this plotfile in gnuplot:
gnuplot> load "diffeq_test.plt"
and examine the result. What can you conclude at this point?
- Look at the printout for diffeq_test.cpp and diffeq_routines.cpp
and compare to the handout with the excerpt from Chapter 9 of Landau
and Paez to figure out what is going on. The codes follow the
notation in the excerpt,
so t is the independent variable and y is an array
of solutions (see section 9.5 in the handout). At present there is only
one equation (first-order), so only y is used.
The routines euler and runge4 are based on Eqs. (9.34) and (9.46),
What is the differential equation
- Modify the diffeq_test.plt file to plot the
relative error at each value of t.
(Modify the plot file and NOT the program; see the gnuplot
handout on plot files for an example of how to do this.)
As usual in studying errors, a log-log scale will be
useful. The first point at t=0 may get in the way. Use "set xrange
[?:?]" in gnuplot (where you fill in the ?'s) to avoid this problem.
What can you say qualitatively about the errors?
- Now generate and plot results for a second value of h (your plot
should have both values of h, so think about how to best do this).
You'll want it use something like 1/10 the value, so it's easy to
check the effect (e.g., if the difference goes like hn,
then you'll see 10n, which is easy to see on a log-log
When the local error (for each step h)
adds coherently, then the "accumulated"
or "global" error for a given algorithm at
tf scales like Nf*(local error) =
You can verify for Euler's
algorithm, for which the local error to be h2 (see notes
that the global error is, in fact, h.
What is the local error for
4th-order Runge-Kutta according to the graph?
- Next, check how the accumulated error at one value of t scales
with h for the two algorithms. Take t=1, for example. You'll need
to modify the code to output the results for y(t=1) for a range
of h's (think logarithmic!).
Some things to be careful of:
There should be different regions of
the error plot, as we've seen before. Interpret them.
- Print out enough digits. For small h's, 9 digits is not enough
- The most common problem is printing out y_rk4 and
exact_answer(t,params_ptr) at two different points.
(Note: it is not important that the t used is exactly the same
for every h, but it must be the same for the exact and rk4 result
for each h.) Look at your output
Given your results, how would
you choose a step size for 4th-order Runge-Kutta?
(Hint: How do you explain the behavior of the error for small h?)
Extra: 2nd Order Runge-Kutta Algorithm
This exercise is intended to verify that you understand the meaning of the
Runge-Kutta algorithms and how they are implemented in C++.
(Most likely for a future assignment.)
- Add a third diffeq routine to the code, which
implements the 2nd-order Runge-Kutta algorithms described in section 9.9
[and summarized in Eqs. (9.44) and (9.45)].
- Check the scaling of the error with h, i.e., is the error proportional
to a power of h?. What is the power?
- Try a different differential equation, such as dy/dt =
How do the errors compare to your first equation?
Extra: Integrating a 2nd-Order Differential Equation
Second-order differential equations are treated by writing them as two
coupled 1st-order equations, as described in Landau and Paez, Chapter 9.
We'll try this out for a simple example, which we'll generalize
later to look at chaotic behavior.
(Most likely pushed to Session 7.)
- Consider the differential equation for a simple, undriven
harmonic oscillator [e.g., a mass m on a spring with constant k:
d2x/dt2 + (k/m)x = 0].
What is the general solution in terms of the initial position and
- Rewrite the differential equation
as two coupled 1st-order equations [for x and v=dx/dt].
Use units in which the oscillator mass and spring
constant are equal to one.
Take the initial position to be 1.0 and the initial velocity to be
- Modify a copy of diffeq_test.cpp to use
the runge4 subroutine to calculate this oscillator for times t=0
You'll need to change N, modify rhs to consider both i==0 and i==1,
put the exact answer in exact_answer, and change the limits of t
- Plot the result and the exact result for comparison.
What do you conclude?
780.20: 1094 Session 6.
Last modified: 01:13 am, January 30, 2009.