Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R

Mostrar todas las versiones(3)

En esta tesis desarrollamos herramientas algebraicas y métodos algorítmicos simbólicos para problemas que involucran funciones pfaffianas de orden 1 en una variable, es decir, funciones del tipo f(x) = F(x, φ(x)), con F ∈ Z[X, Y ], donde φ es una función fija que es solución de una ecuación diferenc...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Barbagallo, María Laura
Otros Autores:	Jeronimo, Gabriela
Formato:	Tesis doctoral publishedVersion
Lenguaje:	Español
Publicado:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2019
Materias:	FUNCIONES PFAFFIANAS SECUENCIAS DE STURM PROBLEMA DE DECISION COMPLEJIDAD STURM SEQUENCES PFAFFIAN FUNCTIONS DECISION PROBLEM COMPLEXITY
Acceso en línea:	https://hdl.handle.net/20.500.12110/tesis_n6879_Barbagallo
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	tesis:tesis_n6879_Barbagallo
record_format	dspace
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language	Español
orig_language_str_mv	spa
topic	FUNCIONES PFAFFIANAS SECUENCIAS DE STURM PROBLEMA DE DECISION COMPLEJIDAD STURM SEQUENCES PFAFFIAN FUNCTIONS DECISION PROBLEM COMPLEXITY
spellingShingle	FUNCIONES PFAFFIANAS SECUENCIAS DE STURM PROBLEMA DE DECISION COMPLEJIDAD STURM SEQUENCES PFAFFIAN FUNCTIONS DECISION PROBLEM COMPLEXITY Barbagallo, María Laura Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
topic_facet	FUNCIONES PFAFFIANAS SECUENCIAS DE STURM PROBLEMA DE DECISION COMPLEJIDAD STURM SEQUENCES PFAFFIAN FUNCTIONS DECISION PROBLEM COMPLEXITY
description	En esta tesis desarrollamos herramientas algebraicas y métodos algorítmicos simbólicos para problemas que involucran funciones pfaffianas de orden 1 en una variable, es decir, funciones del tipo f(x) = F(x, φ(x)), con F ∈ Z[X, Y ], donde φ es una función fija que es solución de una ecuación diferencial de la forma φ'(x) = Φ(x, φ(x)), con Φ ∈ Z[X, Y]. En una primera instancia, presentamos un nuevo procedimiento simbólico para contar la cantidad exacta de ceros de estas funciones en intervalos. Este procedimiento está basado en la construcción de secuencias de Sturm para este tipo de funciones y requiere, como es usual en la bibliografía, de un oráculo para la determinación del signo de estas funciones en números reales algebraicos. Abordamos también el problema de decisión para fórmulas que involucran funciones del mismo tipo construidas a partir de una función φ fija. En este contexto, introducimos una noción de secuencia de Sturm generalizada y presentamos un nuevo procedimiento simbólico basado en la construcción de estas secuencias que resuelve el problema de decisión con complejidad calculable, asumiendo nuevamente la existencia de un oráculo para la determinación de signos. Para la clase particular de los E-polinomios, es decir, funciones con φ(x) = e h(x) , h ∈ Z[X], desarrollamos algoritmos que resuelven los problemas anteriores sin necesidad de recurrir a oráculos y estimamos explícitamente sus complejidades. A continuación, aplicamos el algoritmo de decisión diseñado para resolver un problema de decisión similar en el caso de E-polinomios multivariados. Además, en el contexto de una variable, damos una cota superior explícita para el valor absoluto de los ceros reales de un E-polinomio. Finalmente, introducimos la noción de codificación de Thom para ceros de E-polinomios y describimos un algoritmo para su construcción.
author2	Jeronimo, Gabriela
author_facet	Jeronimo, Gabriela Barbagallo, María Laura
format	Tesis doctoral Tesis doctoral publishedVersion
author	Barbagallo, María Laura
author_sort	Barbagallo, María Laura
title	Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
title_short	Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
title_full	Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
title_fullStr	Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
title_full_unstemmed	Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R
title_sort	métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre r
publisher	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate	2019
url	https://hdl.handle.net/20.500.12110/tesis_n6879_Barbagallo
work_keys_str_mv	AT barbagallomarialaura metodossimbolicosparasistemasdeecuacioneseinecuacionespfaffianassobrer AT barbagallomarialaura symbolicmethodsforsystemsofpfaffianequationsandinequalitiesoverr
_version_	1782022375565426688
spelling	tesis:tesis_n6879_Barbagallo2023-10-02T20:22:54Z Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R Symbolic methods for systems of Pfaffian equations and inequalities over R Barbagallo, María Laura Jeronimo, Gabriela Sabia, Juan FUNCIONES PFAFFIANAS SECUENCIAS DE STURM PROBLEMA DE DECISION COMPLEJIDAD STURM SEQUENCES PFAFFIAN FUNCTIONS DECISION PROBLEM COMPLEXITY En esta tesis desarrollamos herramientas algebraicas y métodos algorítmicos simbólicos para problemas que involucran funciones pfaffianas de orden 1 en una variable, es decir, funciones del tipo f(x) = F(x, φ(x)), con F ∈ Z[X, Y ], donde φ es una función fija que es solución de una ecuación diferencial de la forma φ'(x) = Φ(x, φ(x)), con Φ ∈ Z[X, Y]. En una primera instancia, presentamos un nuevo procedimiento simbólico para contar la cantidad exacta de ceros de estas funciones en intervalos. Este procedimiento está basado en la construcción de secuencias de Sturm para este tipo de funciones y requiere, como es usual en la bibliografía, de un oráculo para la determinación del signo de estas funciones en números reales algebraicos. Abordamos también el problema de decisión para fórmulas que involucran funciones del mismo tipo construidas a partir de una función φ fija. En este contexto, introducimos una noción de secuencia de Sturm generalizada y presentamos un nuevo procedimiento simbólico basado en la construcción de estas secuencias que resuelve el problema de decisión con complejidad calculable, asumiendo nuevamente la existencia de un oráculo para la determinación de signos. Para la clase particular de los E-polinomios, es decir, funciones con φ(x) = e h(x) , h ∈ Z[X], desarrollamos algoritmos que resuelven los problemas anteriores sin necesidad de recurrir a oráculos y estimamos explícitamente sus complejidades. A continuación, aplicamos el algoritmo de decisión diseñado para resolver un problema de decisión similar en el caso de E-polinomios multivariados. Además, en el contexto de una variable, damos una cota superior explícita para el valor absoluto de los ceros reales de un E-polinomio. Finalmente, introducimos la noción de codificación de Thom para ceros de E-polinomios y describimos un algoritmo para su construcción. In this thesis we develop algebraic tools and algorithmic symbolic methods to deal with problems involving univariate Pfaffian functions of order 1, that is, functions of the type f(x) = F(x, φ(x)), with F ∈ Z[X, Y ], where φ is a fixed univariate function satisfying a differential equation φ'(x) = Φ(x, φ(x)), for Φ ∈ Z[X, Y ]. First, we present a new symbolic procedure to count the exact number of zeros of a function of this type in a real interval. This procedure is based on the construction of Sturm sequences for functions of this class and relies, as it is usual in the literature, on an oracle for determining the signs of these functions in real algebraic numbers. We also address the decision problem for formulas involving functions of the same kind constructed from a fixed function φ. In this setting, we introduce the concept of a generalized Sturm sequence and we present a new symbolic procedure, based on an explicit construction of these sequences, that solves the decision problem with a computable complexity also assuming the existence of an oracle for sign determination. For the particular class of E-polynomials, namely, functions with φ(x) = e h(x) , h ∈ Z[x], we design oracle-free effective algorithms that solve the previous problems and we compute explicit estimates for their complexities. We apply the decision algorithm developed to solve a similar decision problem for E-polynomials in the multivariate setting. In addition, in the univariate context, we give an explicit upper bound for the absolute value of the real zeros of an E-polynomial. Finally, we introduce a notion of Thom encoding for zeros of an E-polynomial and describe an algorithm for their computation. Fil: Barbagallo, María Laura. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2019-11-27 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n6879_Barbagallo

Métodos simbólicos para sistemas de ecuaciones e inecuaciones pfaffianas sobre R

Ejemplares similares