Computer-Assited Proofs in Dynamics
Visualitza/Obre
memoria.pdf (1,459Mb) (Accés restringit)
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/332728
Tipus de documentProjecte Final de Màster Oficial
Data2020-10
Condicions d'accésAccés restringit per decisió de l'autor
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Interval analysis is presented as a solution to obtain rigorous results using computers. We present a methodology of computer-assisted proofs which involves the use of interval computations. In this thesis we introduce the main concepts of interval analysis, as well as how some different calculations and methods are adapted to it. We present the CAPD::DynSys C++ library for rigorous computation. We present different proofs in the analysis of some types of Hill's equations, such as the existence of an instability pocket for a perturbation of the classical case of the Mathieu equation, analyze the behaviour of the pocket under other perturbation and enclose some interesting results from combinations of parameters for a particular case of the Mathieu equation. For all these calculations, we develop the appropriate C++ using the CAPD::DynSys libraries.
TitulacióMÀSTER UNIVERSITARI EN MATEMÀTICA AVANÇADA I ENGINYERIA MATEMÀTICA (Pla 2010)
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
memoria.pdf | 1,459Mb | Accés restringit |