Abstract
To study the heat or diffusion equation, the Crank-Nicolson method is often used. This method is unconditionally stable and has the order of convergence O(k 2 + h 2), where k and h are mesh constants. Using this method in conventional floating-point arithmetic, we get solutions including not only the method error, but also representation and rounding errors. Therefore, we propose an interval version of the Crank-Nicolson method from which we would like to obtain solutions including the discretization error. Applying such a method in interval floating-point arithmetic allows one to obtain solutions including all possible numerical errors. Unfortunately, for the proposed interval version of Crank-Nicolson method, we are not able to prove that the exact solution belongs to the interval solutions obtained. Thus, the presented method should be modified in the nearest future to fulfil this necessary condition. A numerical example is presented. Although in this example the exact solution belongs to the interval solutions obtained, but the so-called wrapping effect significantly increases the widths of these intervals.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gajda, K., Marciniak, A., Szyszka, B.: Three- and four-stage implicit interval methods of Runge-Kutta Type. Computational Methods in Science and Technology 6, 41–59 (2000)
Jankowska, M., Marciniak, A.: Implicit interval multistep methods for solving the initial value problem. Computational Methods in Science and Technology 8(1), 17–30 (2002)
Jankowska, M., Marciniak, A.: On explicit interval methods of Adams-Bashforth type. Computational Methods in Science and Technology 8(2), 46–47 (2002)
Jankowska, M., Marciniak, A.: On two families of implicit interval methods of Adams-Moulton type. Computational Methods in Science and Technology 12(2), 109–114 (2006)
Marciniak, A., Szyszka, B.: One- and two-stage implicit interval methods of Runge-Kutta type. Computational Methods in Science and Technology 5, 53–65 (1999)
Marciniak, A.: Implicit interval methods for solving the initial value problem. Numerical Algorithms 37, 241–251 (2004)
Marciniak, A.: Multistep interval methods of Nyström and Milne-Simpson types. Computational Methods in Science and Technology 13(1), 23–40 (2007)
Marciniak, A.: On multistep interval methods for solving the initial value problem. Journal of Computational and Applied Mathematics 199(2), 229–238 (2007)
Marciniak, A.: Selected Interval Methods for Solving the Initial Value Problem. Publishing House of Poznan University of Technology (2009)
Marciniak, A.: An interval difference method for solving the Poisson equation – the first approach. Pro Dialog 24, 49–61 (2008)
Nakao, M.T.: Solving nonlinear parabolic problems with result verification. Part I: one-space dimensional case. Journal of Computational and Applied Mathematics 38, 323–324 (1991)
Nagatou, K., Yamamoto, N., Nakao, M.T.: An approach to the numerical verification of solutions for nonlinear elliptic problem with local uniqueness. Numerical Functional Analysis and Optimization 20, 543–565 (1999)
Plum, M.: Safe numerical error bounds for solutions of nonlinear elliptic boundary value problems. In: Alefeld, G., Rohn, J., Rump, S. (eds.) Symbolic Algebraic Methods and Verification Methods, pp. 195–205. Springer, Heidelberg (2001)
Plum, M.: Computer-assisted enclosure methods for elliptic differential equations. Linear Algebra and its Applications 324, 147–187 (2001)
Nagatou, K., Hashimoto, K., Nakao, M.T.: Numerical verification of stationary solutions for Navier-Stokes problems. Journal of Computational and Applied Mathematics 199, 445–451 (2007)
Smith, G.D.: Numerical Solution of Partial Differential Equations: Finite Difference Methods. Oxford University Press (1995)
Lapidus, L., Pinder, G.F.: Numerical Solution of Partial Differential Equations in Science and Engineering. J. Wiley & Sons (1982)
Morton, K.W., Mayers, D.F.: Numerical Solution of Partial Differential Equations: An Introduction. Cambridge University Press (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marciniak, A. (2012). An Interval Version of the Crank-Nicolson Method – The First Approach. In: Jónasson, K. (eds) Applied Parallel and Scientific Computing. PARA 2010. Lecture Notes in Computer Science, vol 7134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28145-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-28145-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28144-0
Online ISBN: 978-3-642-28145-7
eBook Packages: Computer ScienceComputer Science (R0)