No description available.

<p>The thesis consists of three independent parts.</p><p>Part I: Polynomial amoebas</p><p>We study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. This function is used in two di erent ways. First, we use it to construct a polyhedral complex, which we call a spine, approximating the amoeba. Second, the Monge-Ampere measure of the Ronkin function has interesting properties which we explore. This measure can be used to derive an upper bound on the area of an amoeba in two dimensions. We also obtain results on the number of complement components of an amoeba, and consider possible extensions of the theory to varieties of codimension higher than 1.</p><p>Part II: Differential equations in the complex plane</p><p>We consider polynomials in one complex variable arising as eigenfunctions of certain differential operators, and obtain results on the distribution of their zeros. We show that in the limit when the degree of the polynomial approaches innity, its zeros are distributed according to a certain probability measure. This measure has its support on the union of nitely many curve segments, and can be characterized by a simple condition on its Cauchy transform.</p><p>Part III: Radon transforms and tomography</p><p>This part is concerned with different weighted Radon transforms in two dimensions, in particular the problem of inverting such transforms. We obtain stability results of this inverse problem for rather general classes of weights, including weights of attenuation type with data acquisition limited to a 180 degrees range of angles. We also derive an inversion formula for the exponential Radon transform, with the same restriction on the angle.</p>

The thesis consists of three independent parts. Part I: Polynomial amoebas We study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. This function is used in two di erent ways. First, we use it to construct a polyhedral complex, which we call a spine, approximating the amoeba. Second, the Monge-Ampere measure of the Ronkin function has interesting properties which we explore. This measure can be used to derive an upper bound on the area of an amoeba in two dimensions. We also obtain results on the number of complement components of an amoeba, and consider possible extensions of the theory to varieties of codimension higher than 1. Part II: Differential equations in the complex plane We consider polynomials in one complex variable arising as eigenfunctions of certain differential operators, and obtain results on the distribution of their zeros. We show that in the limit when the degree of the polynomial approaches innity, its zeros are distributed according to a certain probability measure. This measure has its support on the union of nitely many curve segments, and can be characterized by a simple condition on its Cauchy transform. Part III: Radon transforms and tomography This part is concerned with different weighted Radon transforms in two dimensions, in particular the problem of inverting such transforms. We obtain stability results of this inverse problem for rather general classes of weights, including weights of attenuation type with data acquisition limited to a 180 degrees range of angles. We also derive an inversion formula for the exponential Radon transform, with the same restriction on the angle.

Neste trabalho, uma abordagem micromecânica com aproximação da geometria dada por funções de Bézier triangulares com continuidade geométrica G1 é inserida ao Método dos Elementos de Contorno, o qual é aplicado em problemas da elastostática tridimensional. Para consideração do efeito microestrutural, foi utilizado a teoria gradiente elástica simplificada de Aifantis, a qual é uma particularização da teoria geral de Mindlin. Nesta teoria, um argumento variacional é estabelecido para determinar todas as possíveis condições de contorno, clássica e não-clássica, para o problema de valor de contorno geral. A partir deste argumento, a solução fundamental da elasticidade gradiente é explicitada e com o auxílio da identidade integral recíproca é construído a representação integral de contorno. Para tornar o problema de valor de contorno bem-posto, em adição à representação integral de contorno para deslocamento, uma segunda representação integral para derivada normal do deslocamento foi utilizada. Expressões integrais para deslocamento e tensão em pontos internos são apresentadas. Todos os núcleos das equações integrais são explicitamente desenvolvidos. Para a discretização do MEC foram utilizados elementos triangulares curvos, aproximados tanto para a geometria quanto para os parâmetros físicos por funções de Proriol (com características espectrais) e por funções aqui chamadas de Polinomiais, onde esta última é construída a partir de uma base nodal equidistante e pela imposição da partição da unidade. Entretanto estas funções aproximadoras garantem apenas continuidade C0 entre os elementos triangulares, ou seja, a garantia da continuidade do plano tangente não necessariamente é satisfeita. Com o objetivo de anular o termo de integral de linha presente na formulação microestrutural, a hipótese de superfície suave se faz necessária e assim funções de Bézier com continuidade geométrica G1, a qual depende apenas da posição e das normais dos nós nos vértices da malha triangular é utilizada. Para auxiliar na obtenção das coordenadas e das normais nodais para geometrias complexas foi utilizado o software de computação gráfica BlenderTM 2.7, o qual foi acoplado ao programa do MEC elastostático gradiente. Na sequência foi verificada, por meio de exemplos, a suavidade na intersecção entre os elementos triangulares G1 e estes foram comparados com as aproximações de Proriol e Polinomial. Em seguida, as singularidades presentes nas soluções fundamentais foram tratadas através da expansão em série de Laurent aplicada à técnica de subtração de singularidade. Condições necessárias e suficientes para a convergência das expansões em série das soluções fundamentais, estimador do erro para estas expansões, assim como, a correlação matemática entre o tamanho da malha e o parâmetro micromecânico g foram estabelecidos. Expressões explicitas da série de Laurent dos núcleos das integrais singulares e hipersingulares do MEC clássico e não clássico foram apresentadas. A verificação do tratamento da singularidade aplicado a elementos triangulares curvos foi realizada, tanto na direção radial quanto na direção angular. E pôde ser observado que ocorre uma perda de eficiência no tratamento da singularidade na direção angular, devida a presença do efeito de camada limite para elementos curvos distorcidos. Entretanto, este efeito de quase singularidade pode ser amenizado por meio da abordagem micromecânica, uma vez que foi observado menor presença do efeito da camada limite à medida que o parâmetro g é diminuído. Por último, foi desenvolvido um programa na linguagem FORTRAN 11.0, o qual contempla as abordagens clássica e micromecânica com continuidade geométrica G1. Sua validação foi feita por meio de exemplos considerados Benchmarks. / In this work, a micromechanical approach with approximation of geometry solved by Bézier triangular functions that guaranty continuity G1 is inserted to the Boundary element Method (BEM). This formulation is applied in three-dimensional elastostatic problems. The simplified elastic gradient theory proposed by Aifantis, which is a particularization of the general theory of Mindlin is used to consider the microstructural effect. In this theory a variational argument is established to determine all possible boundary conditions, classical and non-classical, for the general boundary value problem. From this argument, the fundamental solution of the gradient elasticity is explicited and by the reciprocal integral identity the boundary integral representation is achieved. In addition to the boundary integral representation for dispacement, a second integral representation regarding its normal derivative is used to make the well-posed boundary value problem. Integral expressions for displacement and stress on internal points are also presented. All kernels in the integral equations are explicitly developed. Curved triangular elements are used for the discretization of the BEM. The approximation of both the geometry and physical parameters is performed by Proriol functions (with spectral characteristics) and by Polynomial functions. The last is built from an equidistant nodal basis enforcing the partition of unity. However these approximating functions ensure only C0 continuity between the triangular elements, that is, the tangent plane continuity assurance is not necessarily satisfied. In order to cancel line integral terms in the microstructural approach, the hypothesis of smooth surface is required and thus Bézier function with geometric continuity G1, which depends only on the position and the normal of the nodes at the vertices of the triangular mesh is used. In this study the computer graphics software called BlenderTM 2.7 is used to assist in obtaining coordinates and normal vectors at nodes when complex geometries are analyzed. BlenderTM 2.7 is coupled to the gradient elastic BEM program. The smoothness of the resulting mesh using G1 elements is compared to Proriol and Polynomial approximations by means of simple examples. The singularities present in the fundamental solutions are treated by employing the expansion in Laurent series and the singularity subtraction technique. Necessary and sufficient conditions for the convergence of expansions in series of fundamental solutions, error estimator for these expansions, as well as the mathematical correlation between the size of the mesh and the micromechanical parameter, g, are established. Explicit expressions of Laurent series of the classical and micromechanical kernels forthe singular and hipersingular BEM integrals are presented. Treatment of singularity, both in the radial direction and in the angular direction, applied to curved triangular elements is verified. It can be observed that there is a loss of efficiency in the treatment of singularity in the angular direction, due to the presence of the boundary layer effect for distorted curved boundary elements. However, this nearly singularity effect could be alleviated by micromechanics approach, since minor boundary layer effect was observed as the parameter g is decreased. Finally, using FORTRAN 11.0 language, a computational code is developed, which includes the classic and micromechanics approach with geometric continuity G1, and its results are validated by means of Benchmark examples.

Cette thèse se situe à l'interface de trois grands domaines : la combinatoire des mots, la théorie des automates et la théorie des nombres. Plus précisément, nous montrons comment des outils provenant de la combinatoire des mots et de la théorie des automates interviennent dans l'étude de problèmes arithmétiques concernant les séries formelles à coefficients dans un corps fini.Le point de départ de cette thèse est un célèbre théorème de Christol qui caractérise les séries de Laurent algébriques sur le corps F_q(T), l'entier q désignant une puissance d'un nombre premier p, en termes d'automates finis et dont l'énoncé est : « Une série de Laurent à coefficients dans le corps fini F_q est algébrique si et seulement si la suite de ses coefficients est engendrée par un p-automate fini ». Ce résultat, qui révèle dans un certain sens la simplicité de ces séries de Laurent, a donné naissance à des travaux importants parmi lesquels de nombreuses applications et généralisations.L'objet principal de cette thèse est, dans un premier temps, d'exploiter la simplicité de séries de Laurent algébriques à coefficients dans un corps fini afin d'obtenir des résultats diophantiens, puis d'essayer d'étendre cette étude à des fonctions transcendantes arithmétiquement intéressantes. Nous nous concentrons tout d'abord sur une classe de séries de Laurent algébriques particulières qui généralisent la fameuse cubique de Baum et Sweet. Le résultat principal obtenu pour ces dernières est une description explicite de leur développement en fraction continue, généralisant ainsi certains travaux de Mills et Robbins. Rappelons que le développement en fraction continue permet généralement d'obtenir des informations très précises sur l'approximation rationnelle ; les meilleures approximations étant obtenues directement à partir de la suite des quotients partiels. Malheureusement, il est souvent très difficile d'obtenir le développement en fraction continue d'une série de Laurent algébrique, que celle-ci soit donné par une équation algébrique ou par son développement en série de Laurent. La deuxième étude que nous présentons dans cette thèse fournit une information diophantienne à priori moins précise que la description du développement en fraction continue, mais qui a le mérite de concerner toutes les séries de Laurent algébriques (à coefficients dans un corps fini). L'idée principale est d'utiliser l'automaticité de la suite des coefficients de ces séries de Laurent afin d'obtenir une borne générale pour leur exposant d'irrationalité. Malgré la généralité de ce résultat, la borne obtenue n'est pas toujours satisfaisante. Dans certains cas, elle peut s'avérer plus mauvaise que celle provenant de l'inégalité de Mahler. Cependant, dans de nombreuses situations, il est possible d'utiliser notre approche pour fournir, au mieux, la valeur exacte de l'exposant d'irrationalité, sinon des encadrements très précis de ce dernier.Dans un dernier travail nous nous plaçons dans un cadre plus général que celui des séries de Laurent algébriques, à savoir celui des séries de Laurent dont la suite des coefficients a une « basse complexité ». Nous montrons que cet ensemble englobe quelques fonctions remarquables, comme les séries algébriques et l'inverse de l'analogue du nombre \pi dans le module de Carlitz. Il possède, par ailleurs, des propriétés de stabilité intéressantes : entre autres, il s'agit d'un espace vectoriel sur le corps des fractions rationnelles à coefficients dans un corps fini (ce qui, d'un point de vue arithmétique, fournit un critère d'indépendance linéaire), il est de plus laissé invariant par diverses opérations classiques comme le produit de Hadamard / This thesis looks at the interplay of three important domains: combinatorics on words, theory of finite-state automata and number theory. More precisely, we show how tools coming from combinatorics on words and theory of finite-state automata intervene in the study of arithmetical problems concerning the Laurent series with coefficients in a finite field.The starting point of this thesis is a famous theorem of Christol which characterizes algebraic Laurent series over the field F_q(T), q being a power of the prime number p, in terms of finite-state automata and whose statement is the following : “A Laurent series with coefficients in a finite field F_q is algebraic over F_q(T) if and only if the sequence of its coefficients is p-automatic”.This result, which reveals, somehow, the simplicity of these Laurent series, has given rise to important works including numerous applications and generalizations. The theory of finite-state automata and the combinatorics on words naturally occur in number theory and, sometimes, prove themselves to be indispensable in establishing certain important results in this domain.The main purpose of this thesis is, foremost, to exploit the simplicity of the algebraic Laurent series with coefficients in a finite field in order to obtain some Diophantine results, then to try to extend this study to some interesting transcendental functions. First, we focus on a particular set of algebraic Laurent series that generalize the famous cubic introduced by Baum and Sweet. The main result we obtain concerning these Laurent series gives the explicit description of its continued fraction expansion, generalizing therefore some articles of Mills and Robbins.Unfortunately, it is often very difficult to find the continued fraction representation of a Laurent series, whether it is given by an algebraic equation or by its Laurent series expansion. The second study that we present in this thesis provides a Diophantine information which, although a priori less complete than the continued fraction expansion, has the advantage to characterize any algebraic Laurent series. The main idea is to use some the automaticity of the sequence of coefficients of these Laurent series in order to obtain a general bound for their irrationality exponent. In the last part of this thesis we focus on a more general class of Laurent series, namely the one of Laurent series of “low” complexity. We prove that this set includes some interesting functions, as for example the algebraic series or the inverse of the analogue of the real number \pi. We also show that this set satisfy some nice closure properties : in particular, it is a vector space over the field over F_q(T).

Neste trabalho, uma abordagem micromecânica com aproximação da geometria dada por funções de Bézier triangulares com continuidade geométrica G1 é inserida ao Método dos Elementos de Contorno, o qual é aplicado em problemas da elastostática tridimensional. Para consideração do efeito microestrutural, foi utilizado a teoria gradiente elástica simplificada de Aifantis, a qual é uma particularização da teoria geral de Mindlin. Nesta teoria, um argumento variacional é estabelecido para determinar todas as possíveis condições de contorno, clássica e não-clássica, para o problema de valor de contorno geral. A partir deste argumento, a solução fundamental da elasticidade gradiente é explicitada e com o auxílio da identidade integral recíproca é construído a representação integral de contorno. Para tornar o problema de valor de contorno bem-posto, em adição à representação integral de contorno para deslocamento, uma segunda representação integral para derivada normal do deslocamento foi utilizada. Expressões integrais para deslocamento e tensão em pontos internos são apresentadas. Todos os núcleos das equações integrais são explicitamente desenvolvidos. Para a discretização do MEC foram utilizados elementos triangulares curvos, aproximados tanto para a geometria quanto para os parâmetros físicos por funções de Proriol (com características espectrais) e por funções aqui chamadas de Polinomiais, onde esta última é construída a partir de uma base nodal equidistante e pela imposição da partição da unidade. Entretanto estas funções aproximadoras garantem apenas continuidade C0 entre os elementos triangulares, ou seja, a garantia da continuidade do plano tangente não necessariamente é satisfeita. Com o objetivo de anular o termo de integral de linha presente na formulação microestrutural, a hipótese de superfície suave se faz necessária e assim funções de Bézier com continuidade geométrica G1, a qual depende apenas da posição e das normais dos nós nos vértices da malha triangular é utilizada. Para auxiliar na obtenção das coordenadas e das normais nodais para geometrias complexas foi utilizado o software de computação gráfica BlenderTM 2.7, o qual foi acoplado ao programa do MEC elastostático gradiente. Na sequência foi verificada, por meio de exemplos, a suavidade na intersecção entre os elementos triangulares G1 e estes foram comparados com as aproximações de Proriol e Polinomial. Em seguida, as singularidades presentes nas soluções fundamentais foram tratadas através da expansão em série de Laurent aplicada à técnica de subtração de singularidade. Condições necessárias e suficientes para a convergência das expansões em série das soluções fundamentais, estimador do erro para estas expansões, assim como, a correlação matemática entre o tamanho da malha e o parâmetro micromecânico g foram estabelecidos. Expressões explicitas da série de Laurent dos núcleos das integrais singulares e hipersingulares do MEC clássico e não clássico foram apresentadas. A verificação do tratamento da singularidade aplicado a elementos triangulares curvos foi realizada, tanto na direção radial quanto na direção angular. E pôde ser observado que ocorre uma perda de eficiência no tratamento da singularidade na direção angular, devida a presença do efeito de camada limite para elementos curvos distorcidos. Entretanto, este efeito de quase singularidade pode ser amenizado por meio da abordagem micromecânica, uma vez que foi observado menor presença do efeito da camada limite à medida que o parâmetro g é diminuído. Por último, foi desenvolvido um programa na linguagem FORTRAN 11.0, o qual contempla as abordagens clássica e micromecânica com continuidade geométrica G1. Sua validação foi feita por meio de exemplos considerados Benchmarks. / In this work, a micromechanical approach with approximation of geometry solved by Bézier triangular functions that guaranty continuity G1 is inserted to the Boundary element Method (BEM). This formulation is applied in three-dimensional elastostatic problems. The simplified elastic gradient theory proposed by Aifantis, which is a particularization of the general theory of Mindlin is used to consider the microstructural effect. In this theory a variational argument is established to determine all possible boundary conditions, classical and non-classical, for the general boundary value problem. From this argument, the fundamental solution of the gradient elasticity is explicited and by the reciprocal integral identity the boundary integral representation is achieved. In addition to the boundary integral representation for dispacement, a second integral representation regarding its normal derivative is used to make the well-posed boundary value problem. Integral expressions for displacement and stress on internal points are also presented. All kernels in the integral equations are explicitly developed. Curved triangular elements are used for the discretization of the BEM. The approximation of both the geometry and physical parameters is performed by Proriol functions (with spectral characteristics) and by Polynomial functions. The last is built from an equidistant nodal basis enforcing the partition of unity. However these approximating functions ensure only C0 continuity between the triangular elements, that is, the tangent plane continuity assurance is not necessarily satisfied. In order to cancel line integral terms in the microstructural approach, the hypothesis of smooth surface is required and thus Bézier function with geometric continuity G1, which depends only on the position and the normal of the nodes at the vertices of the triangular mesh is used. In this study the computer graphics software called BlenderTM 2.7 is used to assist in obtaining coordinates and normal vectors at nodes when complex geometries are analyzed. BlenderTM 2.7 is coupled to the gradient elastic BEM program. The smoothness of the resulting mesh using G1 elements is compared to Proriol and Polynomial approximations by means of simple examples. The singularities present in the fundamental solutions are treated by employing the expansion in Laurent series and the singularity subtraction technique. Necessary and sufficient conditions for the convergence of expansions in series of fundamental solutions, error estimator for these expansions, as well as the mathematical correlation between the size of the mesh and the micromechanical parameter, g, are established. Explicit expressions of Laurent series of the classical and micromechanical kernels forthe singular and hipersingular BEM integrals are presented. Treatment of singularity, both in the radial direction and in the angular direction, applied to curved triangular elements is verified. It can be observed that there is a loss of efficiency in the treatment of singularity in the angular direction, due to the presence of the boundary layer effect for distorted curved boundary elements. However, this nearly singularity effect could be alleviated by micromechanics approach, since minor boundary layer effect was observed as the parameter g is decreased. Finally, using FORTRAN 11.0 language, a computational code is developed, which includes the classic and micromechanics approach with geometric continuity G1, and its results are validated by means of Benchmark examples.

Die Arbeit basiert auf zwei Veröffentlichungen zur graduierten kommutativen Algebra: Thema des ersten Artikels ist die Übertragung eines klassischen Ergebnisses zur Höhe von Primidealen in Polynomringen auf allgemeine multigraduierte Ringe; einige Anwendungen für die multigraduierte Dimensionstheorie werden vorgestellt. Der zweite Artikel behandelt Hilbertreihen von Moduln über einem standard-graduierten Polynomring über einem Körper. Ausgehend von einem grundlegenden Ergebnis über gewisse formale Laurentreihen werden unter anderem die möglichen Hilbertreihen und h-Vektoren solcher Moduln charakterisiert.