next up previous print clean
Next: The leapfrog method Up: FINITE DIFFERENCING IN (omega,x)-SPACE Previous: First derivatives, implicit method

Explicit heat-flow equation

The heat-flow equation (6) is a prototype for migration. Let us recopy the heatflow equation letting q denote the temperature.  
 \begin{displaymath}
{ \partial q \over \partial t } \eq
{ \sigma \over C }\ { \partial^{2\,} q \over \partial x^2 }\end{displaymath} (23)
Implementing (23) in a computer requires some difference approximations for the partial differentials. As before we use a subscript notation that allows (20) to be compacted into  
 \begin{displaymath}
{ \partial q \over \partial t } \ \ \ \approx \ \ \ { q_{{t+1}}\ -\ q_t 
\over \Delta t }\end{displaymath} (24)
where $t+\Delta t$ is denoted by t+1. The second-derivative formula may be obtained by doing the first derivative twice. This leads to $ q_{{t+2}} - 2\,q_{{t+1}} + q_t $.The formula is usually treated more symmetrically by shifting it to $ q_{{t+1}} - 2\,q_t + q_{{t-1}} $.These two versions are equivalent as $ \Delta t $ tends to zero, but the more symmetrical arrangement will be more accurate when $ \Delta t $ is not zero. Using superscripts to describe x-dependence gives a finite-difference approximation to the second space derivative:  
 \begin{displaymath}
{ \partial^2 q \over \partial x^2 } \ \ \ \approx \ \ \ { q^{{x+1}} 
\ -\ 2\, q^x \ +\ q^{ x-1 } \over \Delta x^2 }\end{displaymath} (25)
Inserting the last two equations into the heat-flow equation (and using = to denote $ \approx $) gives


  
Table 1: Differencing star and table for one-dimensional heat-flow equation.
\begin{tabular}
{c\vert\vert c\vert c\vert c\vert c\vert c\vert c\vert c\vert c\...
 ...\multicolumn{6}{c}{} & & \\ {\em t} & &\multicolumn{6}{c}{} & & \\ \end{tabular}

 
 \begin{displaymath}
{ q_{{t+1}}^x \ \ -\ \ q_t^x \over \Delta t } \eq
{ \sigma \...
 ..._t^{{x+1}}\ \ -\ 2\,q_t^x \ +\ q_t^{{x-1}} 
 \over \Delta x^2 }\end{displaymath} (26)
(Of course it is not justified to use = to denote $ \approx $,but the study of errors must be deferred until the concepts have been laid out. Errors are studied in IEI chapter 4. Letting $\alpha = \sigma \, \Delta t / ( C\, \Delta x^2 )$,equation (26) becomes  
 \begin{displaymath}
q_{{t+1}}^x\ -\ q_t^x \ -\ \alpha \, ( q_t^{{x+1}}\ -\ 2\,q_t^x
\ +\ q_t^{{x-1}} \, ) \eq 0\end{displaymath} (27)
Equation (27) can be explicitly solved for q for any x at the particular time t+1 given q at all x for the particular time t and hence the name explicit method.

Equation (27) can be interpreted geometrically as a computational star in the (x,t)-plane, as depicted in Table [*].1. By moving the star around in the data table you will note that it can be positioned so that only one number at a time (the 1) lies over an unknown element in the data table. This enables the computation of subsequent rows beginning from the top. By doing this you are solving the partial-differential equation by the finite-difference method. There are many possible arrangements of initial and side conditions, such as zero-value side conditions. Next is a computer program for the job and its result.


next up previous print clean
Next: The leapfrog method Up: FINITE DIFFERENCING IN (omega,x)-SPACE Previous: First derivatives, implicit method
Stanford Exploration Project
12/26/2000