Shooting method

Summary

In numerical analysis, the shooting method is a method for solving a boundary value problem by reducing it to an initial value problem. It involves finding solutions to the initial value problem for different initial conditions until one finds the solution that also satisfies the boundary conditions of the boundary value problem. In layman's terms, one "shoots" out trajectories in different directions from one boundary until one finds the trajectory that "hits" the other boundary condition.

Mathematical description edit

Suppose one wants to solve the boundary-value problem

 
Let   solve the initial-value problem
 
If  , then   is also a solution of the boundary-value problem.

The shooting method is the process of solving the initial value problem for many different values of   until one finds the solution   that satisfies the desired boundary conditions. Typically, one does so numerically. The solution(s) correspond to root(s) of

 
To systematically vary the shooting parameter   and find the root, one can employ standard root-finding algorithms like the bisection method or Newton's method.

Roots of   and solutions to the boundary value problem are equivalent. If   is a root of  , then   is a solution of the boundary value problem. Conversely, if the boundary value problem has a solution  , it is also the unique solution   of the initial value problem where  , so   is a root of  .

Etymology and intuition edit

The term "shooting method" has its origin in artillery. An analogy for the shooting method is to

  • place a cannon at the position  , then
  • vary the angle   of the cannon, then
  • fire the cannon until it hits the boundary value  .

Between each shot, the direction of the cannon is adjusted based on the previous shot, so every shot hits closer than the previous one. The trajectory that "hits" the desired boundary value is the solution to the boundary value problem — hence the name "shooting method".

Linear shooting method edit

The boundary value problem is linear if f has the form

 
In this case, the solution to the boundary value problem is usually given by:
 
where   is the solution to the initial value problem:
 
and   is the solution to the initial value problem:
 
See the proof for the precise condition under which this result holds.[1]

Examples edit

Standard boundary value problem edit

 
Figure 1. Trajectories w(t;s) for s = w'(0) equal to −7, −8, −10, −36, and −40. The point (1,1) is marked with a circle.
 
Figure 2. The function F(s) = w(1;s) − 1.

A boundary value problem is given as follows by Stoer and Bulirsch[2] (Section 7.3.1).

 

The initial value problem

 
was solved for s = −1, −2, −3, ..., −100, and F(s) = w(1;s) − 1 plotted in the Figure 2. Inspecting the plot of F, we see that there are roots near −8 and −36. Some trajectories of w(t;s) are shown in the Figure 1.

Stoer and Bulirsch[2] state that there are two solutions, which can be found by algebraic methods.

These correspond to the initial conditions w′(0) = −8 and w′(0) = −35.9 (approximately).

Eigenvalue problem edit

 
When searching for the ground state of the harmonic oscillator with energy  , the shooting method produces wavefunctions that diverge to infinity. Here, the correct wavefunction should have zero roots and go to zero at infinity, so it lies somewhere between the orange and green lines. The energy is therefore between   and   (with numerical accuracy).

The shooting method can also be used to solve eigenvalue problems. Consider the time-independent Schrödinger equation for the quantum harmonic oscillator

 
In quantum mechanics, one seeks normalizable wavefunctions   and their corresponding energies subject to the boundary conditions
 
The problem can be solved analytically to find the energies   for  , but also serves as an excellent illustration of the shooting method. To apply it, first note some general properties of the Schrödinger equation:
  • If   is an eigenfunction, so is   for any nonzero constant  .
  • The  -th excited state   has   roots where  .
  • For even  , the  -th excited state   is symmetric and nonzero at the origin.
  • For odd  , the  -th excited state   is antisymmetric and thus zero at the origin.

To find the  -th excited state   and its energy  , the shooting method is then to:

  1. Guess some energy  .
  2. Integrate the Schrödinger equation. For example, use the central finite difference
     
    • If   is even, set   to some arbitrary number (say   — the wavefunction can be normalized after integration anyway) and use the symmetric property to find all remaining  .
    • If   is odd, set   and   to some arbitrary number (say   — the wavefunction can be normalized after integration anyway) and find all remaining  .
  3. Count the roots of   and refine the guess for the energy  .
    • If there are   or less roots, the guessed energy is too low, so increase it and repeat the process.
    • If there are more than   roots, the guessed energy is too high, so decrease it and repeat the process.

The energy-guessing can be done with the bisection method, and the process can be terminated when the energy difference is sufficiently small. Then one can take any energy in the interval to be the correct energy.

See also edit

Notes edit

  1. ^ Mathews, John H.; Fink, Kurtis K. (2004). "9.8 Boundary Value Problems". Numerical methods using MATLAB (PDF) (4th ed.). Upper Saddle River, N.J.: Pearson. ISBN 0-13-065248-2. Archived from the original (PDF) on 9 December 2006.
  2. ^ a b Stoer, J. and Bulirsch, R. Introduction to Numerical Analysis. New York: Springer-Verlag, 1980.

References edit

  • Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Section 18.1. The Shooting Method". Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8.

External links edit

  • Brief Description of ODEPACK (at Netlib; contains LSODE)
  • Shooting method of solving boundary value problems – Notes, PPT, Maple, Mathcad, Matlab, Mathematica at Holistic Numerical Methods Institute [1]