Consider (1) -yn1+ q1y1 = (λr11 + µr12)y1 on [0, 1] y’1(0) = cot α1 and = y’1(1) = a1λ + b1 y1(0) y1(1) c1λ+d1 (2) - yn2 + q2y2 = (λr21 + µr22)y2 on [0, 1] y’2(0) = cot α2 and = y’2(1) = a2µ + b2 y2(0) y2(1) c2µ + d2 subject to certain definiteness conditions; where qi and rij are continuous real valued functions on [0, 1], the angle αi is in [0, π) and ai, bi, ci, di are real numbers with δi = aidi − bici > 0 and ci = 0 for I, j = 1,2. Under the Uniform Left Definite condition we have proved an asymptotic theorem and an oscillation theorem. Analysis of (1) and (2) subject to the Uniform Ellipticity condition focus on the location of eigenvalues, perturbation theory and the local analysis of eigenvalues. We also gave a bound for the number of nonreal eigenvalues. We also have studied the system T1(x1) = (λA11 + µA12)(x1) and T2(x2) = (λA21 + µA22)(x2) where Aij (j =1, 2) and Ti are linear operators acting on finite dimensional Hilbert spaces Hi (i = 1, 2). For a pair of commutative operators Γ = (Γ0, Γ1) constructed from Aij and Ti on the Hilbert space tensor product H1 ⊗ H2, we can associate a natural Koszul complex namely Dºr-(λ,μ) D1 r-(λ,μ) 0 H H ø H H 0 We have constructed a basis for the Koszul quotient space N(D1Г−(λ,µ))/R(D0Г−( λ,µ)) in terms of the root basis of (Г0, Г1). (For equations pl refer the PDF file)

En anatomie computationnelle, on suppose que les formes d'organes sont issues des déformations d'un template commun. Les données peuvent être des images ou des surfaces d'organes, les déformations peuvent être des difféomorphismes. Pour estimer le template, on utilise souvent un algorithme appelé «max-max» qui minimise parmi tous les candidats, la somme des carrées des distances après recalage entre les données et le template candidat. Le recalage est l'étape de l'algorithme qui trouve la meilleure déformation pour passer d'une forme à une autre. Le but de cette thèse est d'étudier cet algorithme max-max d'un point de vue mathématique. En particulier, on prouve que cet algorithme est inconsistant à cause du bruit. Cela signifie que même avec un nombre infini de données et avec un algorithme de minimisation parfait, on estime le template original avec une erreur non nulle. Pour prouver l'inconsistance, on formalise l'estimation du template. On suppose que les déformations sont des éléments aléatoires d'un groupe qui agit sur l'espace des observations. L'algorithme étudié est interprété comme le calcul de la moyenne de Fréchet dans l'espace des observations quotienté par le groupe des déformations. Dans cette thèse, on prouve que l'inconsistance est dû à la contraction de la distance quotient par rapport à la distance dans l'espace des observations. De plus, on obtient un équivalent de biais de consistance en fonction du niveau de bruit. Ainsi, l'inconsistance est inévitable quand le niveau de bruit est suffisamment grand. / In computational anatomy, organ shapes are assumed to be deformation of a common template. The data can be organ images but also organ surfaces, and the deformations are often assumed to be diffeomorphisms. In order to estimate the template, one often uses the max-max algorithm which minimizes, among all the prospective templates, the sum of the squared distance after registration between the data and a prospective template. Registration is here the step of the algorithm which finds the best deformation between two shapes. The goal of this thesis is to study this template estimation method from a mathematically point of view. We prove in particular that this algorithm is inconsistent due to the noise. This means that even with an infinite number of data, and with a perfect minimization algorithm, one estimates the original template with an error. In order to prove inconsistency, we formalize the template estimation: deformations are assumed to be random elements of a group which acts on the space of observations. Besides, the studied algorithm is interpreted as the computation of the Fréchet mean in the space of observations quotiented by the group of deformations. In this thesis, we prove that the inconsistency comes from the contraction of the distance in the quotient space with respect to the distance in the space of observations. Besides, we obtained a Taylor expansion of the consistency bias with respect to the noise level. As a consequence, the inconsistency is unavoidable when the noise level is high.

No description available.

Dans ce mémoire, on s'intéresse à l'action du groupe des transformations affines et des homothéties sur l'axe du temps des systèmes différentiels quadratiques à foyer faible d'ordre trois, dans le plan. Ces systèmes sont importants dans le cadre du seizième problème d'Hilbert. Le diagramme de bifurcation a été produit à l'aide de la forme normale de Li dans des travaux de Andronova [2] et Artès et Llibre [4], sans utiliser le plan projectif comme espace des paramètres ni de méthodes globales. Dans [7], Llibre et Schlomiuk ont utilisé le plan projectif comme espace des paramètres et des notions à caractère géométrique global (invariants affines et topologiques). Ce diagramme contient 18 portraits de phase et certains de ces portraits sont répétés dans des parties distinctes du diagramme. Ceci nous mène à poser la question suivante : existe-t-il des systèmes distincts, correspondant à des valeurs distinctes de paramètres, se trouvant sur la même orbite par rapport à l'action du groupe? Dans ce mémoire, on prouve un résultat original : l'action du groupe n'est pas triviale sur la forme de Li (théorème 3.1), ni sur la forme normale de Bautin (théorème 4.1). En utilisant le deuxième résultat, on construit l'espace topologique quotient des systèmes quadratiques à foyer faible d'ordre trois par rapport à l'action de ce groupe. / We are interessed here in the action of the group of affine transformations and time homotheties on quadratic differential systems which have a weak focus of third order. These systems are important for Hilbert sixteenth problem. The bifurcation diagram was produced using Li's normal form in the articles of Andronova [2], and Artès and Llibre [4], without using the projective plane as parameter space, and without using global methods. In [7], Llibre and Schlomiuk used the projective plane as parameter space and global geometric methods (affine and topological invariants). This diagram contains 18 phase portraits and some of these portraits are repeated in distinct parts of the diagram. This led us to ask the following question : do there exist distinct differential systems, corresponding to distinct values of the parameter, which are on the same orbit of the group action? In this master's thesis, we prove an original result : the action of the group is not trivial on Li's normal form (theorem 3.1), neither is it trivial on Bautin's normal form (theorem 4.1). Using the second result, we construct the quotient topological space of these systems with a weak focus of third order, with respect to the group action.

O objetivo central desta dissertação é apresentar as folheações infinitesimalmente polares, fornecendo uma demonstração para o teorema que as caracteriza. Seguimos a abordagem original encontrada em Lytchak e Thorbergsson [25], de 2010. Diretamente da definição e do teorema principal obtem-se dois exemplos: folheações polares e folheações riemannianas singulares de codimensão 1 ou 2. Dedicamos especial atenção a um terceiro exemplo: folheações sem pontos horizontalmente conjugados. A demonstração deste resultado utiliza resultados obtidos anteriormente pelos mesmos autores em 2007, Lytchak e Thorbergsson [24]. Abordamos também, brevemente, as implicações do teorema caracterizador (que é um resultado local) sobre o quociente global de uma folheação infinitesimalmente polar. Variedades com folheações infinitesimalmente polares podem ser encaradas como um objeto que apresenta aspectos clássicos do teorema do toro maximal para grupos de Lie compactos, em um contexto mais amplo. / The present work aims at introducing infinitesimally polar foliations -- as defined by Lytchak and Thorbergsson [25] -- providing a proof for the classification theorem. Polar foliations and low codimension singular Riemannian foliations are two immediate examples. A third example is given by foliations without horizontally conjugate points. The proof of this assertion relies on previous results established by the same authors in Lytchak and Thorbergsson [24]. The classification theorem for infinitesimally polar foliations is a local result; we also derive from it some global consequences on the quotient space of such foliations. Infinitesimally polar foliations may be regarded as a generalised setting where one can find characteristic features from the maximal torus theorem for compact Lie groups.

O objetivo central desta dissertação é apresentar as folheações infinitesimalmente polares, fornecendo uma demonstração para o teorema que as caracteriza. Seguimos a abordagem original encontrada em Lytchak e Thorbergsson [25], de 2010. Diretamente da definição e do teorema principal obtem-se dois exemplos: folheações polares e folheações riemannianas singulares de codimensão 1 ou 2. Dedicamos especial atenção a um terceiro exemplo: folheações sem pontos horizontalmente conjugados. A demonstração deste resultado utiliza resultados obtidos anteriormente pelos mesmos autores em 2007, Lytchak e Thorbergsson [24]. Abordamos também, brevemente, as implicações do teorema caracterizador (que é um resultado local) sobre o quociente global de uma folheação infinitesimalmente polar. Variedades com folheações infinitesimalmente polares podem ser encaradas como um objeto que apresenta aspectos clássicos do teorema do toro maximal para grupos de Lie compactos, em um contexto mais amplo. / The present work aims at introducing infinitesimally polar foliations -- as defined by Lytchak and Thorbergsson [25] -- providing a proof for the classification theorem. Polar foliations and low codimension singular Riemannian foliations are two immediate examples. A third example is given by foliations without horizontally conjugate points. The proof of this assertion relies on previous results established by the same authors in Lytchak and Thorbergsson [24]. The classification theorem for infinitesimally polar foliations is a local result; we also derive from it some global consequences on the quotient space of such foliations. Infinitesimally polar foliations may be regarded as a generalised setting where one can find characteristic features from the maximal torus theorem for compact Lie groups.

The notion of a fuzzy metric space due to George and Veeramani has many advantages in analysis since many notions and results from classical metric space theory can be extended and generalized to the setting of fuzzy metric spaces, for instance: the notion of completeness, completion of spaces as well as extension of maps. The layout of the dissertation is as follows: Chapter 1 provide the necessary background in the context of metric spaces, while chapter 2 presents some concepts and results from classical metric spaces in the setting of fuzzy metric spaces. In chapter 3 we continue with the study of fuzzy metric spaces, among others we show that: the product of two complete fuzzy metric spaces is also a complete fuzzy metric space. Our main contribution is in chapter 4. We introduce the concept of a standard fuzzy pseudo metric space and present some results on fuzzy metric identification. Furthermore, we discuss some properties of t-nonexpansive maps. / Mathematical Sciences / M. Sc. (Mathematics)

The notion of a fuzzy metric space due to George and Veeramani has many advantages in analysis since many notions and results from classical metric space theory can be extended and generalized to the setting of fuzzy metric spaces, for instance: the notion of completeness, completion of spaces as well as extension of maps. The layout of the dissertation is as follows: Chapter 1 provide the necessary background in the context of metric spaces, while chapter 2 presents some concepts and results from classical metric spaces in the setting of fuzzy metric spaces. In chapter 3 we continue with the study of fuzzy metric spaces, among others we show that: the product of two complete fuzzy metric spaces is also a complete fuzzy metric space. Our main contribution is in chapter 4. We introduce the concept of a standard fuzzy pseudo metric space and present some results on fuzzy metric identification. Furthermore, we discuss some properties of t-nonexpansive maps. / Mathematical Sciences / M. Sc. (Mathematics)