Skip to main content
Erschienen in: BIT Numerical Mathematics 3/2018

13.04.2018

A Lyapunov and Sacker–Sell spectral stability theory for one-step methods

verfasst von: Andrew J. Steyer, Erik S. Van Vleck

Erschienen in: BIT Numerical Mathematics | Ausgabe 3/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Approximation theory for Lyapunov and Sacker–Sell spectra based upon QR techniques is used to analyze the stability of a one-step method solving a time-dependent (nonautonomous) linear ordinary differential equation (ODE) initial value problem in terms of the local error. Integral separation is used to characterize the conditioning of stability spectra calculations. The stability of the numerical solution by a one-step method of a nonautonomous linear ODE using real-valued, scalar, nonautonomous linear test equations is justified. This analysis is used to approximate exponential growth/decay rates on finite and infinite time intervals and establish global error bounds for one-step methods approximating uniformly, exponentially stable trajectories of nonautonomous and nonlinear ODEs. A time-dependent stiffness indicator and a one-step method that switches between explicit and implicit Runge–Kutta methods based upon time-dependent stiffness are developed based upon the theoretical results.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Adrianova, L.: Introduction to Linear Systems of Differential Equations, vol. 146. AMS, Providence (1995)MATH Adrianova, L.: Introduction to Linear Systems of Differential Equations, vol. 146. AMS, Providence (1995)MATH
2.
Zurück zum Zitat Arimoto, S., Nagumo, J., Yoshizawa, S.: An active pulse transmission line simulating nerve axon. Proc. Inst. Radio Eng. 50, 2060–2070 (1964) Arimoto, S., Nagumo, J., Yoshizawa, S.: An active pulse transmission line simulating nerve axon. Proc. Inst. Radio Eng. 50, 2060–2070 (1964)
3.
Zurück zum Zitat Aulbach, B., Wanner, T.: Invariant foliations for Carathéodory type differential equations in Banach spaces. In: Martynyuk, A. (ed.), Advances in Stability Theory at the End of the 20th Century, Stability Control Theory Methods Appl. 13. Taylor and Francis, New York (1999) Aulbach, B., Wanner, T.: Invariant foliations for Carathéodory type differential equations in Banach spaces. In: Martynyuk, A. (ed.), Advances in Stability Theory at the End of the 20th Century, Stability Control Theory Methods Appl. 13. Taylor and Francis, New York (1999)
4.
Zurück zum Zitat Badawy, M., Van Vleck, E.S.: Perturbation theory for the approximation of stability spectra by QR methods for sequences of linear operators on a Hilbert space. Linear Algebra Appl. 437(1), 37–59 (2012)MathSciNetCrossRef Badawy, M., Van Vleck, E.S.: Perturbation theory for the approximation of stability spectra by QR methods for sequences of linear operators on a Hilbert space. Linear Algebra Appl. 437(1), 37–59 (2012)MathSciNetCrossRef
6.
7.
Zurück zum Zitat Breda, D., Van Vleck, E.S.: Approximating Lyapunov exponents and Sacker–Sell spectrum for retarded functional differential equations. Numer. Math. 126(2), 225–257 (2014)MathSciNetCrossRef Breda, D., Van Vleck, E.S.: Approximating Lyapunov exponents and Sacker–Sell spectrum for retarded functional differential equations. Numer. Math. 126(2), 225–257 (2014)MathSciNetCrossRef
8.
Zurück zum Zitat Burrage, K., Butcher, J.C.: Stability criteria for implicit Runge–Kutta methods. SIAM J. Numer. Anal. 16(1), 46–57 (1979)MathSciNetCrossRef Burrage, K., Butcher, J.C.: Stability criteria for implicit Runge–Kutta methods. SIAM J. Numer. Anal. 16(1), 46–57 (1979)MathSciNetCrossRef
9.
Zurück zum Zitat Butcher, J.C.: A stability property of implicit Runge–Kutta methods. BIT Numer. Math. 27, 358–361 (1975)CrossRef Butcher, J.C.: A stability property of implicit Runge–Kutta methods. BIT Numer. Math. 27, 358–361 (1975)CrossRef
10.
Zurück zum Zitat Butcher, J.C.: The equivalence of algebraic stability and AN-stability. BIT Numer. Math. 27(2), 510–533 (1987)CrossRef Butcher, J.C.: The equivalence of algebraic stability and AN-stability. BIT Numer. Math. 27(2), 510–533 (1987)CrossRef
11.
Zurück zum Zitat Calvo, M., Jay, L., Söderlind, G.: Stiffness 1952–2012: sixty years in search of a definition. BIT Numer. Math. 55(2), 531–558 (2015)MathSciNetCrossRef Calvo, M., Jay, L., Söderlind, G.: Stiffness 1952–2012: sixty years in search of a definition. BIT Numer. Math. 55(2), 531–558 (2015)MathSciNetCrossRef
12.
Zurück zum Zitat Cameron, F., Palmroth, M., Piché, R.: Quasi stage order conditions for SDIRK methods. Appl. Numer. Math. 42(1–3), 61–75 (2002)MathSciNetCrossRef Cameron, F., Palmroth, M., Piché, R.: Quasi stage order conditions for SDIRK methods. Appl. Numer. Math. 42(1–3), 61–75 (2002)MathSciNetCrossRef
13.
Zurück zum Zitat Carpenter, M.H., Kennedy, C.A.: Additive Runge–Kutta schemes for convection–diffusion–reaction equations. Appl. Numer. Math. 44, 139–181 (2003)MathSciNetCrossRef Carpenter, M.H., Kennedy, C.A.: Additive Runge–Kutta schemes for convection–diffusion–reaction equations. Appl. Numer. Math. 44, 139–181 (2003)MathSciNetCrossRef
14.
Zurück zum Zitat Coppel, W.A.: Lecture Notes in Mathematics # 629: Dichotomies in Stability Theory, vol. 629. Springer, Berlin (1978)CrossRef Coppel, W.A.: Lecture Notes in Mathematics # 629: Dichotomies in Stability Theory, vol. 629. Springer, Berlin (1978)CrossRef
15.
Zurück zum Zitat Dahlquist, G.: Convergence and stability in the numerical integration of ordinary differential equations. Math. Scan. 4, 33–53 (1956)MathSciNetCrossRef Dahlquist, G.: Convergence and stability in the numerical integration of ordinary differential equations. Math. Scan. 4, 33–53 (1956)MathSciNetCrossRef
16.
Zurück zum Zitat Dahlquist, G.: Stability and error bounds in the numerical integration of ordinary differential equations. Trans. Royal Inst. Technol., Stockholm, Sweden, Nr. 130: 87 (1959) Dahlquist, G.: Stability and error bounds in the numerical integration of ordinary differential equations. Trans. Royal Inst. Technol., Stockholm, Sweden, Nr. 130: 87 (1959)
17.
18.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Unitary integrators and applications to continuous orthonormalization techniques. SIAM J. Numer. Anal. 310(1), 261–281 (1994)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: Unitary integrators and applications to continuous orthonormalization techniques. SIAM J. Numer. Anal. 310(1), 261–281 (1994)MathSciNetCrossRef
19.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Computation of a few Lyapunov exponents for continuous and discrete dynamical systems. Appl. Numer. Math. 17(3), 275–291 (1995)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: Computation of a few Lyapunov exponents for continuous and discrete dynamical systems. Appl. Numer. Math. 17(3), 275–291 (1995)MathSciNetCrossRef
20.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Computation of orthonormal factors for fundamental matrix solutions. Numer. Math. 83(4), 599–620 (1999)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: Computation of orthonormal factors for fundamental matrix solutions. Numer. Math. 83(4), 599–620 (1999)MathSciNetCrossRef
21.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Lyapunov and other spectra: a survey. Collected Lectures on the Preservation of Stability under Discretization, A Volume Published by SIAM, pp. 197–218 (2002) Dieci, L., Van Vleck, E.S.: Lyapunov and other spectra: a survey. Collected Lectures on the Preservation of Stability under Discretization, A Volume Published by SIAM, pp. 197–218 (2002)
22.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Lyapunov spectral intervals: theory and computation. SIAM J. Numer. Anal. 40(2), 516–542 (2003)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: Lyapunov spectral intervals: theory and computation. SIAM J. Numer. Anal. 40(2), 516–542 (2003)MathSciNetCrossRef
23.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: On the error in computing Lyapunov exponents by QR methods. Numer. Math. 101(4), 619–642 (2005)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: On the error in computing Lyapunov exponents by QR methods. Numer. Math. 101(4), 619–642 (2005)MathSciNetCrossRef
24.
Zurück zum Zitat Dieci, L., Van Vleck, E.S.: Lyapunov and Sacker–Sell spectral intervals. J. Dyn. Differ. Equ. 19(2), 265–293 (2007)MathSciNetCrossRef Dieci, L., Van Vleck, E.S.: Lyapunov and Sacker–Sell spectral intervals. J. Dyn. Differ. Equ. 19(2), 265–293 (2007)MathSciNetCrossRef
25.
Zurück zum Zitat Dieci, L., Russell, R., Van Vleck, E.S.: On the computation of Lyapunov exponents for continuous dynamical systems. SIAM J. Numer. Anal. 34(1), 402–423 (1997)MathSciNetCrossRef Dieci, L., Russell, R., Van Vleck, E.S.: On the computation of Lyapunov exponents for continuous dynamical systems. SIAM J. Numer. Anal. 34(1), 402–423 (1997)MathSciNetCrossRef
26.
Zurück zum Zitat Dieci, L., Elia, C., Van Vleck, E.S.: Detecting exponential dichotomy on the real line: SVD and QR algorithms. BIT Numer. Math. 248, 555–579 (2011)MathSciNetCrossRef Dieci, L., Elia, C., Van Vleck, E.S.: Detecting exponential dichotomy on the real line: SVD and QR algorithms. BIT Numer. Math. 248, 555–579 (2011)MathSciNetCrossRef
28.
Zurück zum Zitat Fitzhugh, R.: Impulses and physiological states in theoretical models of nerve membrane. Biophys. J. 1(6), 445–466 (1961)CrossRef Fitzhugh, R.: Impulses and physiological states in theoretical models of nerve membrane. Biophys. J. 1(6), 445–466 (1961)CrossRef
29.
Zurück zum Zitat Kloeden, P., Lorenz, J.: Stable attracting sets in dynamical systems and in their one-step discretizations. SIAM J. Numer. Anal. 23(5), 986–995 (1986)MathSciNetCrossRef Kloeden, P., Lorenz, J.: Stable attracting sets in dynamical systems and in their one-step discretizations. SIAM J. Numer. Anal. 23(5), 986–995 (1986)MathSciNetCrossRef
30.
Zurück zum Zitat Kreiss, H.-O.: Difference methods for stiff ordinary differential equations. SIAM J. Numer. Anal. 15(1), 21–58 (1978)MathSciNetCrossRef Kreiss, H.-O.: Difference methods for stiff ordinary differential equations. SIAM J. Numer. Anal. 15(1), 21–58 (1978)MathSciNetCrossRef
31.
Zurück zum Zitat Krupa, M., Sandstede, B., Szmolyan, P.: Fast and slow waves in the Fitzhugh–Nagumo equation. J. Differ. Equ. 133(1), 49–97 (1997)MathSciNetCrossRef Krupa, M., Sandstede, B., Szmolyan, P.: Fast and slow waves in the Fitzhugh–Nagumo equation. J. Differ. Equ. 133(1), 49–97 (1997)MathSciNetCrossRef
32.
Zurück zum Zitat Leonov, G.A., Kuznetsov, N.V.: Time-varying linearization and the Perron effects. Int. J. Bifur. Chaos Appl. Sci. Eng. 37(4), 1079–1107 (2007)MathSciNetCrossRef Leonov, G.A., Kuznetsov, N.V.: Time-varying linearization and the Perron effects. Int. J. Bifur. Chaos Appl. Sci. Eng. 37(4), 1079–1107 (2007)MathSciNetCrossRef
33.
Zurück zum Zitat Lyapunov, A.: Problém géneral de la stabilité du mouvement. Int. J. Control 53(3), 531–773 (1992)CrossRef Lyapunov, A.: Problém géneral de la stabilité du mouvement. Int. J. Control 53(3), 531–773 (1992)CrossRef
34.
Zurück zum Zitat Nørsett, S.P., Thomsen, P.G.: Embedded SDIRK-methods of basic order three. BIT Numer. Math. 24(4), 634–646 (1984)MathSciNetCrossRef Nørsett, S.P., Thomsen, P.G.: Embedded SDIRK-methods of basic order three. BIT Numer. Math. 24(4), 634–646 (1984)MathSciNetCrossRef
35.
Zurück zum Zitat Palmer, K.: The structurally stable systems on the half-line are those with exponential dichotomy. J. Differ. Equ. 33(1), 16–25 (1979)CrossRef Palmer, K.: The structurally stable systems on the half-line are those with exponential dichotomy. J. Differ. Equ. 33(1), 16–25 (1979)CrossRef
37.
38.
Zurück zum Zitat Pötzsche, C.: Dichotomy spectra of triangular equations. Discrete Contin. Dyn. Syst. Ser. A 36(1), 423–450 (2013)MathSciNetCrossRef Pötzsche, C.: Dichotomy spectra of triangular equations. Discrete Contin. Dyn. Syst. Ser. A 36(1), 423–450 (2013)MathSciNetCrossRef
39.
Zurück zum Zitat Sacker, R., Sell, G.: A spectral theory for linear differential systems. J. Differ. Equ. 27(3), 320–358 (1978)MathSciNetCrossRef Sacker, R., Sell, G.: A spectral theory for linear differential systems. J. Differ. Equ. 27(3), 320–358 (1978)MathSciNetCrossRef
41.
Zurück zum Zitat Van der Pol, B.: A theory of the amplitude of free and forced triode vibration. Radio Rev. 1, 701–710 (1920) Van der Pol, B.: A theory of the amplitude of free and forced triode vibration. Radio Rev. 1, 701–710 (1920)
42.
Zurück zum Zitat Van Vleck, E.S.: On the error in the product QR decomposition. SIAM J. Matrix Anal. Appl. 31(4), 1775–1791 (2010)MathSciNetCrossRef Van Vleck, E.S.: On the error in the product QR decomposition. SIAM J. Matrix Anal. Appl. 31(4), 1775–1791 (2010)MathSciNetCrossRef
43.
Zurück zum Zitat Zenisek, A.: Nonlinear Elliptic and Evolution Problems and their Finite Element Approximations. Academic Press, London (1990)MATH Zenisek, A.: Nonlinear Elliptic and Evolution Problems and their Finite Element Approximations. Academic Press, London (1990)MATH
Metadaten
Titel
A Lyapunov and Sacker–Sell spectral stability theory for one-step methods
verfasst von
Andrew J. Steyer
Erik S. Van Vleck
Publikationsdatum
13.04.2018
Verlag
Springer Netherlands
Erschienen in
BIT Numerical Mathematics / Ausgabe 3/2018
Print ISSN: 0006-3835
Elektronische ISSN: 1572-9125
DOI
https://doi.org/10.1007/s10543-018-0704-2

Weitere Artikel der Ausgabe 3/2018

BIT Numerical Mathematics 3/2018 Zur Ausgabe