2024-03-28T10:44:40Zhttps://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/52972021-06-23T18:10:10Zcom_10324_30605com_10324_894col_10324_41
Mozo Fernández, Jorge
Llorente Mediavilla, Alberto
Universidad de Valladolid. Facultad de Ciencias
2014-07-17T08:14:01Z
2014-07-17T08:14:01Z
2014
http://uvadoc.uva.es/handle/10324/5297
b1677142
10.35376/10324/5297
El objetivo de esta tesis es dar un algoritmo para decidir si un sistema explicitable de ecuaciones diferenciales kJiferenciales de orden superior sobre las funciones racionales complejas, dado simbólicamente,admite
!Soluciones liouvillianas no nulas, calculando una (de laforma dada por un teorema de Singer) en caso
!afirmativo. mediante métodos numérico-simbólicos del tipo Introducido por van der Hoeven.donde el uso de álculo numérico no compromete la corrección simbólica. Para ello se Introduce untipo de grupos algebraicos lineales, los grupos euriméricos, y se calcula el cierre eurimérico del grupo de Galois diferencial,mediante una modificación del algoritmo de Derksen y van der Hoeven, dado por los generadores de Ramis.
Departamento de Algebra, Análisis Matemático, Geometría y Topología
application/pdf
spa
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 International
Ecuaciones diferenciales lineales
Galois, teoría de
Números complejos
Algoritmos
Métodos numérico-simbólicos para calcular soluciones liouvillianas de ecuaciones diferenciales lineales
info:eu-repo/semantics/doctoralThesis