Abstract
Structural pounding and oscillations have been extensively investigated by using ordinary differential equations (ODEs). In many applications, force functions are defined by piecewise continuously differentiable functions and the ODEs are nonsmooth. Implicit Runge–Kutta (IRK) methods for solving the nonsmooth ODEs are numerically stable, but involve systems of nonsmooth equations that cannot be solved exactly in practice. In this paper, we propose a verified inexact IRK method for nonsmooth ODEs which gives a global error bound for the inexact solution. We use the slanting Newton method to solve the systems of nonsmooth equations, and interval method to compute the set of matrices of slopes for the enclosure of solution of the systems. Numerical experiments show that the algorithm is efficient for verification of solution of systems of nonsmooth equations in the inexact IRK method. We report numerical results of nonsmooth ODEs arising from simulation of the collapse of the Tacoma Narrows suspension bridge, steel to steel impact experiment, and pounding between two adjacent structures in 27 ground motion records for 12 different earthquakes.
Similar content being viewed by others
References
Jankowski, R.: Non-linear viscoelastic modelling of earthquake-induced structural pounding. Earthquake Eng. Struct. Dyn. 34, 595–611 (2005)
Lazer, A.C., McKenna, P.J.: Large-amplitude periodic oscillations in suspension bridges: some new connections with nonlinear analysis. SIAM Rev. 32, 537–578 (1990)
Jay, L.: Inexact simplified Newton iterations for implicit Runge–Kutta methods. SIAM J. Numer. Anal. 38, 1369–1388 (2000)
Chen, X., Nashed, Z., Qi, L.: Smoothing methods and semismooth methods for nondifferentiable operator equations. SIAM J. Numer. Anal. 38, 1200–1216 (2000)
Chen, X., Mahmoud, S.: Implicit Runge–Kutta methods for Lipschitz continuous ordinary differential equations. SIAM J. Numer. Anal. (2008, in press)
Chen, X.: A verification method for solutions of nonsmooth equations. Computing 58, 281–294 (1997)
Rump, S.M.: Expansion and estimation of the range of nonlinear functions. Math. Comput. 65, 1503–1512 (1996)
Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
Kearfott, R.B.: Rigorous Global Search: Continuou Problems. Kluwer Academic Publishers, Boston (1996)
Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)
Krawczyk, R., Neumaier, A.: Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal. 22, 604–616 (1985)
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I. Springer-Verlag, Berlin (1993)
Zill, D.G.: Differential Equations with Modeling Applications. 7th Edn., Brooks/Cole Thompson Learning, California (2001)
Moore, R.E.: A test for existence of solutions to nonlinear systems. SIAM J. Numer. Anal. 14, 611–615 (1985)
Krawczyk, R.: Interval extension and interval iterations. Computing 24, 119–129 (1980)
Alefeld, G.E., Chen, X., Potra, F.A.: Numerical validation of solutions of complementarity problems: the nonlinear case. Numer. Math. 92, 1–16 (2002)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley, New York, 1983.
Burrage, K.: Efficiently implementable algebraically stable Runge–Kutta methods. SIAM J. Numer. Anal. 19, 245–258 (1982)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is partly supported by a Grant-in-Aid from Japan Society for the Promotion of Science and a scholarship from Egyptian Government.
Rights and permissions
About this article
Cite this article
Mahmoud, S., Chen, X. A verified inexact implicit Runge–Kutta method for nonsmooth ODEs. Numer Algor 47, 275–290 (2008). https://doi.org/10.1007/s11075-008-9180-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-008-9180-0