O objetivo deste trabalho e determinar a solução de algumas equações de coeficientes intervalares. Este estudo utiliza uma Teoria das Aproximações Intervalares, a qual foi descrita por [ACI91]. Nesta teoria a igualdade para intervalos e substituída pela relação de aproximação . Esta substituição deve-se ao fato da igualdade utilizada na Teoria Clássica dos Intervalos para resolução de equações de coeficientes intervalares não apresentar uma solução satisfatória, visto que a solução encontrada não contem todas as soluções das equações reais que compõe a equação intervalar. Pela substituição da igualdade intervalar por uma relação de aproximação é possível determinar a solução de equações de coeficientes intervalares, de maneira que esta solução contenha todas as possíveis soluções das equações reais pertencentes a equação intervalar. Apresenta-se alguns conceitos básicos, bem como analisa-se algumas propriedades no espaço solução ( /(R), +, •, C, 1). São representadas graficamente diferentes tipos de funções neste espaço intervalar, com os objetivos de obtenção da imagem, caracterização da solução e identificação gráfica da região de solução (ótima e externa), para cada tipo de função. Como a representação de intervalos de /(R) esta determinada num semiplano de eixos X - X+, onde X - representa o extremo inferior de cada intervalo e X+ representa o extremo superior dos intervalos, apresenta-se o espaço intervalar estendido /(R). Neste espaço intervalar estão definidos os intervalos não-regulares, representados no outro semi-piano de eixos X - X+ Em /(R) serão apresentados alguns conceitos fundamentais, assim como operações aritméticas e algumas considerações referentes aos intervalos não-regulares. No espaço intervalar /(R) e possível resolver equações de coeficientes intervalares de maneira análoga a resolução de equações reais no espaço real, pois este espaço intervalar possui a estrutura semelhante a de um corpo. Com isto apresenta-se a solução de equações de coeficientes intervalares lineares, obtida diretamente, assim como determina-se a Formula de Bascara Intervalar para resolução da Equação Quadrática Intervalar. Para funções que possuem grau maior que 2 apresenta-se alguns métodos iterativos intervalares, tais como o Método de Newton Intervalar, o Método da Secante Intervalar e o Método híbrido Intervalar, que permitem a obtenção do intervalo solução para funções intervalares. Por fim apresenta-se alguns conceitos básicos no espaço intervalar matricial M„,„(/(R)), bem como apresenta-se alguns métodos diretos para resolução de sistemas de equações lineares intervalares. / The aim of this work is to determine the solution set of some Equations of Interval Coefficients. The study use a Theory of Interval Approximation. The begining of this theory was described by [ACI91]. In this theory the equality for intervals is replaced by an approximation relation. When we make use of that relation to solve interval equations, it's possible to obtain an optimal solution, i.e., to get an interval solution that contain all of real solutions of the real equations envolved in the interval equation. By using the equality of Classical Interval Theory for solving interval equations we can not get an optimal solution, that is, the interval solution in the most of equations not consider some real solutions of real equations that belong to the interval equation. We present some basic concepts and analyse some properties at the interval space (1(R), E, -a x , 1). Different kind of functions are showed in this space in order to obtain the range, the solution caracterization and the graphic identification of the optimal and external solution region, for each kind of function. The representation of intervals in /(R) is determined in a half plane of axes X - , X+, where X - represent the lower endpoint and X+ represent the upper endpoint of the intervals. The nonregular intervals are defined in /(R), which are determined in an other half plane. In this interval space are presenting some specific concepts, as well as arithmetical operations and some remarks about nonregular intervals. The interval space (1(R), +, •, C, Ex , 1) have a similar structure to a field, so it's possible to solve interval coefficients equations analogously as to solve real equations in the real space. We present the solution of linear interval equations and we determine an interval formula to solve square interval equation. We present some intervals iterated methods for functions that have degree greater than 2 that allow to get an interval solution of interval functions. Finally we show some basic concepts about the interval matrix space Af,„„(IR)) and present direct methods for the resolution of linear interval sistems.

Este trabalho contém um estudo para isolar os zeros reais de polinômios cujos coeficientes podem ser perturbados, isto é, os coeficientes possuem variações que constituem intervalos. Assim chamamos a tais polinômios de Polinômios Intervalares do mesmo modo que chamamos de polinômios complexos àqueles que possuem coeficientes complexos. Isolar os zeros, delimitar regiões que os contenham, dizer se um polinômio estável ou determinar qual a perturbação aceitável nos seus coeficientes, de modo a preservar certas características são problemas que aparecem em diversos setores da Computação Científica e em especial, na Teoria de Controle. Neste trabalho, a família dos polinômios intervalares é inicialmente analisada dentro das possibilidades algébricas que as operações intervalares, conforme definidas por Moore, permitem. Dentro deste contexto, são definidas as operações elementares entre polinômios intervalares assim como são estudadas as suas novas propriedades. Em função das limitações inerentes à abordagem anterior, a família [p] dos polinômios intervalares, é também, caracterizada por um novo enfoque, através de 4 polinômios reais específicos da família, - os polinômios limítrofes - a partir dos quais podemos obter informações relevantes a respeito da enumeração e localização dos seus zeros reais ou eventualmente sobre os zeros complexos. Obtivemos, com o uso dos polinômios limítrofes, um resultado mais eficiente para determinar se um polinômio intervalar possui apenas zeros reais, de modo que, neste caso, eles possam ser isolados num algoritmo algébrico de complexidade menor, do que uma outra alternativa baseada no cálculo de autovalores. Além disso. localizar os zeros de polinômios intervalares é uma fase importante para o cálculo aproximado ou mesmo exato da região que contém efetivamente os zeros do polinômio intervalar. Em geral, os métodos de cálculo aproximado dos zeros precisam de uma região inicial que contenha apenas um zero a ser pesquisado. Esta é uma fase crítica de todo o processo, feito pela abordagem algébrica ou pela abordagem de aproximações numéricas. / The aim of this work is to isolate through algebraic process the real polynomial roots that have coefficients which can be perturbed. These perturbations (variations) on the coefficients can be enclosed in intervals. Then we call these polynomials. interval polynomials, in the same way that we call complex polynomial those ones formed with coefficients that are complex numbers. One of the main points in the solution of polynomial problems is to limit the regions that have all roots, all the negative ones, the stability, and so on. These questions present good solutions when the polynomials are real or complex, on the other hand, when the coefficients are perturbed or we need to decide what kind of variation can be done, in order to preserve the main features of the polynomial, then we are workin g with problems that appear in Scientific Computation and, specially, in Control Theory. Besides this, we need to isolate the roots of interval polynomial before calculating them. In general, the methods for approximating zeros need an initial region that has just one root. In the case where the accuracy is necessary or if we already know of the result instability, the algebraic processes are recommended.

Submitted by Mayara Nascimento (mayara.nascimento@ufba.br) on 2016-06-07T13:30:10Z No. of bitstreams: 1 DISSERTACAO_Adriana.pdf: 940143 bytes, checksum: 33381df6da406939adf67cc35984401b (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-13T16:55:40Z (GMT) No. of bitstreams: 1 DISSERTACAO_Adriana.pdf: 940143 bytes, checksum: 33381df6da406939adf67cc35984401b (MD5) / Made available in DSpace on 2016-06-13T16:55:40Z (GMT). No. of bitstreams: 1 DISSERTACAO_Adriana.pdf: 940143 bytes, checksum: 33381df6da406939adf67cc35984401b (MD5) / Este trabalho tem como objetivo estudar o tempo de retorno para r-vizinhança para transformações de intercâmbio de intervalos f : I ! I; I R. Apresentamos alguns resultados sobre indução de Rauzy-Veech, condição de Keane e algoritmo de Zorich. Para quase toda transformação de intercâmbio de intervalos, mostramos o resultado de Kim e Marmi que garante que o logaritmo do tempo de recorrência normalizado por 􀀀log r vai para 1. Um resultado análogo vale para o tempo de entrada.

O objetivo deste trabalho e determinar a solução de algumas equações de coeficientes intervalares. Este estudo utiliza uma Teoria das Aproximações Intervalares, a qual foi descrita por [ACI91]. Nesta teoria a igualdade para intervalos e substituída pela relação de aproximação . Esta substituição deve-se ao fato da igualdade utilizada na Teoria Clássica dos Intervalos para resolução de equações de coeficientes intervalares não apresentar uma solução satisfatória, visto que a solução encontrada não contem todas as soluções das equações reais que compõe a equação intervalar. Pela substituição da igualdade intervalar por uma relação de aproximação é possível determinar a solução de equações de coeficientes intervalares, de maneira que esta solução contenha todas as possíveis soluções das equações reais pertencentes a equação intervalar. Apresenta-se alguns conceitos básicos, bem como analisa-se algumas propriedades no espaço solução ( /(R), +, •, C, 1). São representadas graficamente diferentes tipos de funções neste espaço intervalar, com os objetivos de obtenção da imagem, caracterização da solução e identificação gráfica da região de solução (ótima e externa), para cada tipo de função. Como a representação de intervalos de /(R) esta determinada num semiplano de eixos X - X+, onde X - representa o extremo inferior de cada intervalo e X+ representa o extremo superior dos intervalos, apresenta-se o espaço intervalar estendido /(R). Neste espaço intervalar estão definidos os intervalos não-regulares, representados no outro semi-piano de eixos X - X+ Em /(R) serão apresentados alguns conceitos fundamentais, assim como operações aritméticas e algumas considerações referentes aos intervalos não-regulares. No espaço intervalar /(R) e possível resolver equações de coeficientes intervalares de maneira análoga a resolução de equações reais no espaço real, pois este espaço intervalar possui a estrutura semelhante a de um corpo. Com isto apresenta-se a solução de equações de coeficientes intervalares lineares, obtida diretamente, assim como determina-se a Formula de Bascara Intervalar para resolução da Equação Quadrática Intervalar. Para funções que possuem grau maior que 2 apresenta-se alguns métodos iterativos intervalares, tais como o Método de Newton Intervalar, o Método da Secante Intervalar e o Método híbrido Intervalar, que permitem a obtenção do intervalo solução para funções intervalares. Por fim apresenta-se alguns conceitos básicos no espaço intervalar matricial M„,„(/(R)), bem como apresenta-se alguns métodos diretos para resolução de sistemas de equações lineares intervalares. / The aim of this work is to determine the solution set of some Equations of Interval Coefficients. The study use a Theory of Interval Approximation. The begining of this theory was described by [ACI91]. In this theory the equality for intervals is replaced by an approximation relation. When we make use of that relation to solve interval equations, it's possible to obtain an optimal solution, i.e., to get an interval solution that contain all of real solutions of the real equations envolved in the interval equation. By using the equality of Classical Interval Theory for solving interval equations we can not get an optimal solution, that is, the interval solution in the most of equations not consider some real solutions of real equations that belong to the interval equation. We present some basic concepts and analyse some properties at the interval space (1(R), E, -a x , 1). Different kind of functions are showed in this space in order to obtain the range, the solution caracterization and the graphic identification of the optimal and external solution region, for each kind of function. The representation of intervals in /(R) is determined in a half plane of axes X - , X+, where X - represent the lower endpoint and X+ represent the upper endpoint of the intervals. The nonregular intervals are defined in /(R), which are determined in an other half plane. In this interval space are presenting some specific concepts, as well as arithmetical operations and some remarks about nonregular intervals. The interval space (1(R), +, •, C, Ex , 1) have a similar structure to a field, so it's possible to solve interval coefficients equations analogously as to solve real equations in the real space. We present the solution of linear interval equations and we determine an interval formula to solve square interval equation. We present some intervals iterated methods for functions that have degree greater than 2 that allow to get an interval solution of interval functions. Finally we show some basic concepts about the interval matrix space Af,„„(IR)) and present direct methods for the resolution of linear interval sistems.

Este trabalho contém um estudo para isolar os zeros reais de polinômios cujos coeficientes podem ser perturbados, isto é, os coeficientes possuem variações que constituem intervalos. Assim chamamos a tais polinômios de Polinômios Intervalares do mesmo modo que chamamos de polinômios complexos àqueles que possuem coeficientes complexos. Isolar os zeros, delimitar regiões que os contenham, dizer se um polinômio estável ou determinar qual a perturbação aceitável nos seus coeficientes, de modo a preservar certas características são problemas que aparecem em diversos setores da Computação Científica e em especial, na Teoria de Controle. Neste trabalho, a família dos polinômios intervalares é inicialmente analisada dentro das possibilidades algébricas que as operações intervalares, conforme definidas por Moore, permitem. Dentro deste contexto, são definidas as operações elementares entre polinômios intervalares assim como são estudadas as suas novas propriedades. Em função das limitações inerentes à abordagem anterior, a família [p] dos polinômios intervalares, é também, caracterizada por um novo enfoque, através de 4 polinômios reais específicos da família, - os polinômios limítrofes - a partir dos quais podemos obter informações relevantes a respeito da enumeração e localização dos seus zeros reais ou eventualmente sobre os zeros complexos. Obtivemos, com o uso dos polinômios limítrofes, um resultado mais eficiente para determinar se um polinômio intervalar possui apenas zeros reais, de modo que, neste caso, eles possam ser isolados num algoritmo algébrico de complexidade menor, do que uma outra alternativa baseada no cálculo de autovalores. Além disso. localizar os zeros de polinômios intervalares é uma fase importante para o cálculo aproximado ou mesmo exato da região que contém efetivamente os zeros do polinômio intervalar. Em geral, os métodos de cálculo aproximado dos zeros precisam de uma região inicial que contenha apenas um zero a ser pesquisado. Esta é uma fase crítica de todo o processo, feito pela abordagem algébrica ou pela abordagem de aproximações numéricas. / The aim of this work is to isolate through algebraic process the real polynomial roots that have coefficients which can be perturbed. These perturbations (variations) on the coefficients can be enclosed in intervals. Then we call these polynomials. interval polynomials, in the same way that we call complex polynomial those ones formed with coefficients that are complex numbers. One of the main points in the solution of polynomial problems is to limit the regions that have all roots, all the negative ones, the stability, and so on. These questions present good solutions when the polynomials are real or complex, on the other hand, when the coefficients are perturbed or we need to decide what kind of variation can be done, in order to preserve the main features of the polynomial, then we are workin g with problems that appear in Scientific Computation and, specially, in Control Theory. Besides this, we need to isolate the roots of interval polynomial before calculating them. In general, the methods for approximating zeros need an initial region that has just one root. In the case where the accuracy is necessary or if we already know of the result instability, the algebraic processes are recommended.

O objetivo deste trabalho e determinar a solução de algumas equações de coeficientes intervalares. Este estudo utiliza uma Teoria das Aproximações Intervalares, a qual foi descrita por [ACI91]. Nesta teoria a igualdade para intervalos e substituída pela relação de aproximação . Esta substituição deve-se ao fato da igualdade utilizada na Teoria Clássica dos Intervalos para resolução de equações de coeficientes intervalares não apresentar uma solução satisfatória, visto que a solução encontrada não contem todas as soluções das equações reais que compõe a equação intervalar. Pela substituição da igualdade intervalar por uma relação de aproximação é possível determinar a solução de equações de coeficientes intervalares, de maneira que esta solução contenha todas as possíveis soluções das equações reais pertencentes a equação intervalar. Apresenta-se alguns conceitos básicos, bem como analisa-se algumas propriedades no espaço solução ( /(R), +, •, C, 1). São representadas graficamente diferentes tipos de funções neste espaço intervalar, com os objetivos de obtenção da imagem, caracterização da solução e identificação gráfica da região de solução (ótima e externa), para cada tipo de função. Como a representação de intervalos de /(R) esta determinada num semiplano de eixos X - X+, onde X - representa o extremo inferior de cada intervalo e X+ representa o extremo superior dos intervalos, apresenta-se o espaço intervalar estendido /(R). Neste espaço intervalar estão definidos os intervalos não-regulares, representados no outro semi-piano de eixos X - X+ Em /(R) serão apresentados alguns conceitos fundamentais, assim como operações aritméticas e algumas considerações referentes aos intervalos não-regulares. No espaço intervalar /(R) e possível resolver equações de coeficientes intervalares de maneira análoga a resolução de equações reais no espaço real, pois este espaço intervalar possui a estrutura semelhante a de um corpo. Com isto apresenta-se a solução de equações de coeficientes intervalares lineares, obtida diretamente, assim como determina-se a Formula de Bascara Intervalar para resolução da Equação Quadrática Intervalar. Para funções que possuem grau maior que 2 apresenta-se alguns métodos iterativos intervalares, tais como o Método de Newton Intervalar, o Método da Secante Intervalar e o Método híbrido Intervalar, que permitem a obtenção do intervalo solução para funções intervalares. Por fim apresenta-se alguns conceitos básicos no espaço intervalar matricial M„,„(/(R)), bem como apresenta-se alguns métodos diretos para resolução de sistemas de equações lineares intervalares. / The aim of this work is to determine the solution set of some Equations of Interval Coefficients. The study use a Theory of Interval Approximation. The begining of this theory was described by [ACI91]. In this theory the equality for intervals is replaced by an approximation relation. When we make use of that relation to solve interval equations, it's possible to obtain an optimal solution, i.e., to get an interval solution that contain all of real solutions of the real equations envolved in the interval equation. By using the equality of Classical Interval Theory for solving interval equations we can not get an optimal solution, that is, the interval solution in the most of equations not consider some real solutions of real equations that belong to the interval equation. We present some basic concepts and analyse some properties at the interval space (1(R), E, -a x , 1). Different kind of functions are showed in this space in order to obtain the range, the solution caracterization and the graphic identification of the optimal and external solution region, for each kind of function. The representation of intervals in /(R) is determined in a half plane of axes X - , X+, where X - represent the lower endpoint and X+ represent the upper endpoint of the intervals. The nonregular intervals are defined in /(R), which are determined in an other half plane. In this interval space are presenting some specific concepts, as well as arithmetical operations and some remarks about nonregular intervals. The interval space (1(R), +, •, C, Ex , 1) have a similar structure to a field, so it's possible to solve interval coefficients equations analogously as to solve real equations in the real space. We present the solution of linear interval equations and we determine an interval formula to solve square interval equation. We present some intervals iterated methods for functions that have degree greater than 2 that allow to get an interval solution of interval functions. Finally we show some basic concepts about the interval matrix space Af,„„(IR)) and present direct methods for the resolution of linear interval sistems.

Este trabalho contém um estudo para isolar os zeros reais de polinômios cujos coeficientes podem ser perturbados, isto é, os coeficientes possuem variações que constituem intervalos. Assim chamamos a tais polinômios de Polinômios Intervalares do mesmo modo que chamamos de polinômios complexos àqueles que possuem coeficientes complexos. Isolar os zeros, delimitar regiões que os contenham, dizer se um polinômio estável ou determinar qual a perturbação aceitável nos seus coeficientes, de modo a preservar certas características são problemas que aparecem em diversos setores da Computação Científica e em especial, na Teoria de Controle. Neste trabalho, a família dos polinômios intervalares é inicialmente analisada dentro das possibilidades algébricas que as operações intervalares, conforme definidas por Moore, permitem. Dentro deste contexto, são definidas as operações elementares entre polinômios intervalares assim como são estudadas as suas novas propriedades. Em função das limitações inerentes à abordagem anterior, a família [p] dos polinômios intervalares, é também, caracterizada por um novo enfoque, através de 4 polinômios reais específicos da família, - os polinômios limítrofes - a partir dos quais podemos obter informações relevantes a respeito da enumeração e localização dos seus zeros reais ou eventualmente sobre os zeros complexos. Obtivemos, com o uso dos polinômios limítrofes, um resultado mais eficiente para determinar se um polinômio intervalar possui apenas zeros reais, de modo que, neste caso, eles possam ser isolados num algoritmo algébrico de complexidade menor, do que uma outra alternativa baseada no cálculo de autovalores. Além disso. localizar os zeros de polinômios intervalares é uma fase importante para o cálculo aproximado ou mesmo exato da região que contém efetivamente os zeros do polinômio intervalar. Em geral, os métodos de cálculo aproximado dos zeros precisam de uma região inicial que contenha apenas um zero a ser pesquisado. Esta é uma fase crítica de todo o processo, feito pela abordagem algébrica ou pela abordagem de aproximações numéricas. / The aim of this work is to isolate through algebraic process the real polynomial roots that have coefficients which can be perturbed. These perturbations (variations) on the coefficients can be enclosed in intervals. Then we call these polynomials. interval polynomials, in the same way that we call complex polynomial those ones formed with coefficients that are complex numbers. One of the main points in the solution of polynomial problems is to limit the regions that have all roots, all the negative ones, the stability, and so on. These questions present good solutions when the polynomials are real or complex, on the other hand, when the coefficients are perturbed or we need to decide what kind of variation can be done, in order to preserve the main features of the polynomial, then we are workin g with problems that appear in Scientific Computation and, specially, in Control Theory. Besides this, we need to isolate the roots of interval polynomial before calculating them. In general, the methods for approximating zeros need an initial region that has just one root. In the case where the accuracy is necessary or if we already know of the result instability, the algebraic processes are recommended.

Orientador: Geraldo Nunes Silva / Banca: Weldon A. Lodwick / Banca: Yurilev Chalco Cano / Banca: Ulcilea Alves Severino Leal / Banca: Valeriano Antunes de Oliveira / Resumo: Esta Tese trabalha com alguns conceitos fundamentais da analise intervalar e suas aplicações. Em primeiro lugar, a Tese aborda a álgebra de funções de valor intervalar gH diferenciáveis. Especificamente, damos condições para a gH- diferenciabilidade da soma e gH-diferença de duas funções de valor intervalar gH-diferenciáveis; também para o pro duto e composição de uma função real diferenciável e uma função de valor intervalar gH diferenciável. Em segundo lugar, a Tese e dedicada a obtenção de condições necessárias e suficientes para problemas de otimização com funções objetivas de valor intervalar. Essas funções objetivas são obtidas a partir de funções contínuas usando aritmética intervalar restrita. Damos um conceito de derivada para esta classe de funções de valor intervalar e, em seguida, introduzimos o conceito de ponto estacionário. Encontramos as condições necessárias com base na definição dos pontos estacionários e provamos que essas condições também são suficientes nas noções de convexidade generalizada. Obtemos também condições necessárias e suficientes para o problema de otimização intervalar com restrições. E, finalmente, lidamos com o espaço quociente de intervalos I em relação a família de intervalos simétricos e dado um conceito de diferenciabilidade para funções de classes de equivalência, fazemos uma comparação com outros conceitos de diferenciabilidade. Alguns exemplos e contraexemplos ilustram os resultados obtidos / Abstract: This Thesis works with some fundamentals concepts of interval analysis and it applica tions. First of all, the thesis deals with the algebra of gH-diferentiable interval-valued functions. Specifically, we give conditions for the gH-diferentiability of the sum and gH-diference of two gH-diferentiable interval-valued functions; also for the product and composition of a diferentiable real function and a gH-diferentiable interval-valued func tion. Second, the thesis is devoted to obtaining necessary and sucient conditions for optimization problems with interval-valued objective functions. These objective func tions are obtained from continuous functions by using constrained interval arithmetic. We give a concept of derivative for this class of interval-valued functions and then we introduce the concept of stationary point. We find necessary conditions based on the stationary points definition and we prove that these conditions are also sucient under generalized convexity notions. We obtain the necessary and sucient conditions for con strained interval-valued optimization problem. And finally, we deal with the quotient space of intervals I with respect to the family of symmetric intervals and given a concept of di↵erentiability for equivalence classes-valued functions, we make a comparison with other concepts of diferentiability. Some examples and counterexamples illustrates the obtained results. / Doutor

In this work, we prove that the set of link-homotopy classes of generalized string links over a closed, connected and orientable surface M of genus g ≥ 1 form a group, denoted by Bn(M) and we find a presentation for it. Moreover, we prove that its normal subgroup PBnn(M), namely, the homotopy string links over M, is bi-orderable. These results extend results proved by Juan GonzalezMeneses in [GM], [GM2] and Ekaterina Yurasovskaya in [Y], respectively. Also, we obtain an exact sequence for link-homotopy braid groups, which is an extension of [Go, Theorem 1]. / Sem resumo

In this work, we prove that the set of link-homotopy classes of generalized string links over a closed, connected and orientable surface M of genus g ≥ 1 form a group, denoted by Bn(M) and we find a presentation for it. Moreover, we prove that its normal subgroup PBnn(M), namely, the homotopy string links over M, is bi-orderable. These results extend results proved by Juan GonzalezMeneses in [GM], [GM2] and Ekaterina Yurasovskaya in [Y], respectively. Also, we obtain an exact sequence for link-homotopy braid groups, which is an extension of [Go, Theorem 1]. / Sem resumo