Cette thèse s'inscrit dans un partenariat entre l'INRA et l'INRIA et dans le champs de l'extraction de connaissances à partir de bases de données spatiales. La problématique porte sur la caractérisation et la simulation de paysages agricoles. Plus précisément, nous nous concentrons sur des lignes qui structurent le paysage agricole, telles que les routes, les fossés d'irrigation et les haies. Notre objectif est de modéliser les haies en raison de leur rôle dans de nombreux processus écologiques et environnementaux. Nous étudions les moyens de caractériser les structures de haies sur deux paysages agricoles contrastés, l'un situé dans le sud-Est de la France (majoritairement composé de vergers) et le second en Bretagne (Ouest de la France, de type bocage). Nous déterminons également si, et dans quelles circonstances, la répartition spatiale des haies est structurée par la position des éléments linéaires plus pérennes du paysage tels que les routes et les fossés et l'échelle de ces structures. La démarche d'extraction de connaissances à partir de base de données (ECBD) mise en place comporte différentes étapes de prétraitement et de fouille de données, alliant des méthodes mathématiques et informatiques. La première partie du travail de thèse se concentre sur la création d'un indice spatial statistique, fondé sur une notion géométrique de voisinage et permettant la caractérisation des structures de haies. Celui-Ci a permis de décrire les structures de haies dans le paysage et les résultats montrent qu'elles dépendent des éléments plus pérennes à courte distance et que le voisinage des haies est uniforme au-Delà de 150 mètres. En outre différentes structures de voisinage ont été mises en évidence selon les principales orientations de haies dans le sud-Est de la France, mais pas en Bretagne. La seconde partie du travail de thèse a exploré l'intérêt du couplage de méthodes de linéarisation avec des méthodes de Markov. Les méthodes de linéarisation ont été introduites avec l'utilisation d'une variante des courbes de Hilbert : les chemins de Hilbert adaptatifs. Les données spatiales linéaires ainsi construites ont ensuite été traitées avec les méthodes de Markov. Ces dernières ont l'avantage de pouvoir servir à la fois pour l'apprentissage sur les données réelles et pour la génération de données, dans le cadre, par exemple, de la simulation d'un paysage. Les résultats montrent que ces méthodes couplées permettant un apprentissage et une génération automatique qui capte des caractéristiques des différents paysages. Les premières simulations sont encourageantes malgré le besoin d'un post-Traitement. Finalement, ce travail de thèse a permis la création d'une méthode d'exploration de données spatiales basée sur différents outils et prenant en charge toutes les étapes de l'ECBD classique, depuis la sélection des données jusqu'à la visualisation des résultats. De plus, la construction de cette méthode est telle qu'elle peut servir à son tour à la génération de données, volet nécessaire pour la simulation de paysage / This thesis is part of a partnership between INRA and INRIA in the field of knowledge extraction from spatial databases. The study focuses on the characterization and simulation of agricultural landscapes. More specifically, we focus on linears that structure the agricultural landscape, such as roads, irrigation ditches and hedgerows. Our goal is to model the spatial distribution of hedgerows because of their role in many ecological and environmental processes. We more specifically study how to characterize the spatial structure of hedgerows in two contrasting agricultural landscapes, one located in south-Eastern France (mainly composed of orchards) and the second in Brittany (western France, \emph{bocage}-Type). We determine if the spatial distribution of hedgerows is structured by the position of the more perennial linear landscape features, such as roads and ditches, or not. In such a case, we also detect the circumstances under which this spatial distribution is structured and the scale of these structures. The implementation of the process of Knowledge Discovery in Databases (KDD) is comprised of different preprocessing steps and data mining algorithms which combine mathematical and computational methods. The first part of the thesis focuses on the creation of a statistical spatial index, based on a geometric neighborhood concept and allowing the characterization of structures of hedgerows. Spatial index allows to describe the structures of hedgerows in the landscape. The results show that hedgerows depend on more permanent linear elements at short distances, and that their neighborhood is uniform beyond 150 meters. In addition different neighborhood structures have been identified depending on the orientation of hedgerows in the South-East of France but not in Brittany. The second part of the thesis explores the potential of coupling linearization methods with Markov methods. The linearization methods are based on the use of alternative Hilbert curves: Hilbert adaptive paths. The linearized spatial data thus constructed were then treated with Markov methods. These methods have the advantage of being able to serve both for the machine learning and for the generation of new data, for example in the context of the simulation of a landscape. The results show that the combination of these methods for learning and automatic generation of hedgerows captures some characteristics of the different study landscapes. The first simulations are encouraging despite the need for post-Processing. Finally, this work has enabled the creation of a spatial data mining method based on different tools that support all stages of a classic KDD, from the selection of data to the visualization of results. Furthermore, this method was constructed in such a way that it can also be used for data generation, a component necessary for the simulation of landscapes

Made available in DSpace on 2016-04-27T17:27:11Z (GMT). No. of bitstreams: 1 Cassia Sampaio Sanctos.pdf: 875084 bytes, checksum: 3baa23ce43e41c748fa70bf983f30e20 (MD5) Previous issue date: 2015-05-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese / O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa

L'Analyse des Données Fonctionnelles est un domaine important et dynamique en statistique. Elle offre des outils efficaces et propose de nouveaux développements méthodologiques et théoriques en présence de données de type fonctionnel (fonctions, courbes, surfaces, ...). Le travail exposé dans cette thèse apporte une nouvelle contribution aux thèmes de l'apprentissage statistique et des quantiles conditionnels lorsque les données sont assimilables à des fonctions. Une attention particulière a été réservée à l'utilisation de la technique Support Vector Machines (SVM). Cette technique fait intervenir la notion d'Espace de Hilbert à Noyau Reproduisant. Dans ce cadre, l'objectif principal est d'étendre cette technique non-paramétrique d'estimation aux modèles conditionnels où les données sont fonctionnelles. Nous avons étudié les aspects théoriques et le comportement pratique de la technique présentée et adaptée sur les modèles de régression suivants. Le premier modèle est le modèle fonctionnel de quantiles de régression quand la variable réponse est réelle, les variables explicatives sont à valeurs dans un espace fonctionnel de dimension infinie et les observations sont i.i.d.. Le deuxième modèle est le modèle additif fonctionnel de quantiles de régression où la variable d'intérêt réelle dépend d'un vecteur de variables explicatives fonctionnelles. Le dernier modèle est le modèle fonctionnel de quantiles de régression quand les observations sont dépendantes. Nous avons obtenu des résultats sur la consistance et les vitesses de convergence des estimateurs dans ces modèles. Des simulations ont été effectuées afin d'évaluer la performance des procédures d'inférence. Des applications sur des jeux de données réelles ont été considérées. Le bon comportement de l'estimateur SVM est ainsi mis en évidence. / Functional Data Analysis is an important and dynamic area of statistics. It offers effective new tools and proposes new methodological and theoretical developments in the presence of functional type data (functions, curves, surfaces, ...). The work outlined in this dissertation provides a new contribution to the themes of statistical learning and quantile regression when data can be considered as functions. Special attention is devoted to use the Support Vector Machines (SVM) technique, which involves the notion of a Reproducing Kernel Hilbert Space. In this context, the main goal is to extend this nonparametric estimation technique to conditional models that take into account functional data. We investigated the theoretical aspects and practical attitude of the proposed and adapted technique to the following regression models.The first model is the conditional quantile functional model when the covariate takes its values in a bounded subspace of the functional space of infinite dimension, the response variable takes its values in a compact of the real line, and the observations are i.i.d.. The second model is the functional additive quantile regression model where the response variable depends on a vector of functional covariates. The last model is the conditional quantile functional model in the dependent functional data case. We obtained the weak consistency and a convergence rate of these estimators. Simulation studies are performed to evaluate the performance of the inference procedures. Applications to chemometrics, environmental and climatic data analysis are considered. The good behavior of the SVM estimator is thus highlighted.

Όπως φαίνεται και από τον τίτλο της, ο σκοπός της Διπλωματικής αυτής Εργασίας είναι διπλός. Αφ’ ενός διαπραγματεύεται ένα κλασικό μαθηματικό πρόβλημα, το πρόβλημα Riemann-Hilbert (RH), που παρουσιάζεται και επιλύεται σε μια σειρά περιπτώσεων. Αφ’ ετέρου παρουσιάζεται η εφαρμογή του προβλήματος αυτού στη μελέτη προβλημάτων αρχικών ή αρχικών-συνοριακών τιμών για γραμμικές και μη γραμμικές μερικές διαφορικές εξισώσεις. Η εργασία διαρθρώνεται σε τεσσερα (4) κεφάλαια. Ακριβέστερα, η δομή των κεφαλαίων είναι η ακόλουθη. Το πρώτο κεφάλαιο αποτελεί την εισαγωγή της εργασίας και περιέχει, εκτός από μια εποπτική παρουσίαση του προβλήματος, μια σύντομη ιστορική αναδρομή καθώς και παράθεση των εφαρμογών του προβλήματος. Το δεύτερο κεφάλαιο τιτλοφορείται ‘Ολοκληρώματα τύπου Cauchy’ και είναι αφιερωμένο στην παρουσίαση του αναγκαίου υποβάθρου, με σκοπό να είναι η ακόλουθη παρουσίαση αυτάρκης. Τα θέματα που διαπραγματεύεται είναι: Oλοκληρώματα τύπου Cauchy, συναρτήσεις τύπου Hölder, ολοκληρώματα κύριας τιμής του Cauchy, θεώρημα των Plemelj-Sokhotski, ολοκληρωτικός τελεστής του Cauchy, ολοκληρώματα τύπου Cauchy στην πραγματική ευθεία. Το τρίτο κεφάλαιο, ‘Το πρόβλημα Riemann-Hilbert’, παρουσιάζει το πρόβλημα καθώς και την επίλυσή του σε μια σειρά περιπτώσεων. Στην πιο απλή διατύπωσή του, το πρόβλημα ζητά τον προσδιορισμό μιας τμηματικά ολόμορφης μιγαδικής συνάρτησης μιας μιγαδικής μεταβλητής η οποία παρουσιάζει δοσμένο άλμα κατά μήκος δοσμένης καμπύλης του μιγαδικού επιπέδου. Εστιαζόμαστε αποκλειστικά σε βαθμωτά προβλήματα. Επίσης, εργαζόμαστε με συνοριακές καμπύλες που έχουν την ιδιότητα να χωρίζουν το μιγαδικό επίπεδο σε δύο τμήματα: κλειστές καμπύλες, καθώς και την πραγματική ευθεία. Ειδικότερα, αναλύονται τα ακόλουθα προβλήματα: (i) Πρόβλημα Riemann-Hilbert (RH) για κλειστές καμπύλες: (1) Aθροιστικό (additive) πρόβλημα RH. (2) Πρόβλημα παραγοντοποίησης (factorization) RH. (3) Γενικό μη ομογενές πρόβλημα RH. (ii) Πρόβλημα RH επί της πραγματικής ευθείας: (1) Aθροιστικό (additive) πρόβλημα RH. (2) Πρόβλημα παραγοντοποίησης (factorization) RH. (3) Γενικό μη ομογενές πρόβλημα RH. Το τέταρτο κεφάλαιο τιτλοφορείται ‘Προβλήματα Αρχικών-Συνοριακών Τιμών για Γραμμικές και μη Γραμμικές Μερικές Διαφορικές Εξισώσεις’. Εδώ διαπραγματευόμαστε μερικές διαφορικές εξισώσεις (ΜΔΕ), τόσο γραμμικές όσο και μη γραμμικές, που έχουν την ιδιότητα να διαθέτουν ζεύγος Lax (Lax pair formulation): Aυτό σημαίνει ότι κάθε μία από αυτές τις ΜΔΕ μπορεί να γραφεί σαν η συνθήκη συμβατότητας (ολοκληρωσιμότητας) ενός ζεύγους γραμμικών ΜΔΕ, που περιέχει και μια ελεύθερη μιγαδική παράμετρο (φασματική παράμετρος). Τέτοιες ΜΔΕ χαρακτηρίζονται και σαν ολοκληρώσιμες (integrable) με τη μέθοδο της αντίστροφης σκέδασης (inverse scattering method). Η τελευταία αποτελεί μια μέθοδο επίλυσης του προβλήματος αρχικών τιμών, ή Cauchy, για εξελικτικές ΜΔΕ αυτού του είδους. Η νεότερη μέθοδος του ενοποιημένου φασματικού μετασχηματισμού (unified transform method), ή της ταυτόχρονης φασματικής ανάλυσης (simultaneous spectral analysis) του ζεύγους Lax, γενικεύει την προηγούμενη μέθοδο με τρόπο που να μπορεί να εφαρμοστεί και σε προβλήματα αρχικών-συνοριακών τιμών τέτοιων ΜΔΕ (και όχι μόνο). Στο κεφάλαιο αυτό της εργασίας μελετιούνται τα ακόλουθα προβλήματα. (i). Το πρόβλημα αρχικών τιμών (ΠΑΤ) για τη (γραμμική) ΜΔΕ της διάχυσης (ή θερμότητας) (heat (or diffusion) equation). Εδώ παρουσιάζεται η μέθοδος της αντίστροφης σκέδασης στην απλούστερή της μορφή. (ii). Ένα αρκετά γενικό φασματικό πρόβλημα, που μπορεί να αποτελέσει το χωρικό μέρος του ζευγαριού Lax για μια πλειάδα μη γραμμικών ΜΔΕ. Στη συνέχεια, η προσοχή μας εστιάζεται στο λεγόμενο φασματικό πρόβλημα των Zakharov-Shabat. Σαν εφαρμογή, μελετάται το ΠΑΤ για τη μη γραμμική Εξίσωση Schrodinger (Nonlinear Schrodinger, NLS). (iii). Το πρόβλημα αρχικών-συνοριακών τιμών (ΠΑΣΤ) για την εξίσωση της διάχυσης ορισμένη στην ημιευθεία της χωρικής μεταβλητής. Εδώ περιγράφεται η μέθοδος του ενοποιημένου φασματικού μετασχηματισμού στην απλούστερή της μορφή, εφαρμοζόμενη δηλαδή σε ένα γραμμικό πρόβλημα. H εργασία καταλήγει με την παράθεση της βιβλιογραφίας, σύμφωνα με τις αναφορές που προκύπτουν από το κείμενο. / As it is shown in its title, the purpose of this M.Sc.thesis is twofold. First, we discuss a classical mathematical problem, called the Riemann-Hilbert problem. This problem is presented and solved in a series of cases. Afterwards, we present the applications of this problem to the study of initial value problems and initial-boundary value problems for linear and nonlinear partial differential equations. The thesis is organized in four (4) chapters. More accurately, the structure of the four chapters is as follows. The first chapter constitutes of the Introduction to the thesis. It contains the presentation of the problem, a short historical retrospection of the problem, as well as a list of applications of the problem. The second chapter, entitled “Cauchy Type Integrals”, is dedicated to the presentation of the necessary background, so as to make the following presentation self-contained. The topics negotiated are: Cauchy type integrals, Hölder type functions, Cauchy principal value integrals, the Plemelj-Sokhotski theorem, the Cauchy integral operator, Cauchy type integrals on the real line. The third chapter, “The Riemann-Hilbert Problem”, presents the problem, as well s its solution, in a series of cases. The problem’s simplest formulation seeks for a sectionally holomorphic, complex valued function of a single complex variable, which undergoes a given (predetermined) jump along a given curve of the complex plane. We focus our attention exclusively on scalar Riemann-Hilbert problems. We work exclusively with discontinuity curves that have the property to divide the complex plane into two sections, and, in particular, with closed curves, as well as with the real line. In particular, we analyse the following problems: (i). The Riemann-Hilbert (RH) problem for closed curves: (1). Additive RH problem. (2). Factorization RH problem. (3). General non-homogeneous RH problem. (ii). RH problem on the real line. (1). Additive RH problem. (2). Factorization RH problem. (3). General non-homogeneous RH problem. The fourth chapter is entitled “Initial-Boundary Value Problems for Linear and Nonlinear Partial Differential Equations”. Here we negotiate with patial differential equations (PDE), linear as well as nolinear, which have the distinguishing property of possessing a so-called Lax pair formulation. By this we mean that, any of these PDEs is equivalent to the compatibility (integrability) condition of a proper pair of linear differential equations, the so-called Lax pair, that also contains a free complex parameter, termed to the spectral parameter. Such PDEs are also characterized as integrable by the inverse scattering method. The last method, also called the inverse spectral method, is a method for solving the initial value problem, or Cauchy problem, for evolutionary PDEs of this kind. The new method of simultaneous spectral analysis of the Lax pair, also called the unified transform method, generalizes the previous one in a manner that renders it applicable also to initial-boundary value problems for such PDEs. In this, fourth, chapter we study the following problems: (i). The initial value problem for the (linear) heat (or diffusion) equation. Here is presented the inverse scattering method in its simplest form. (ii). An adequately general spectral problem, which may constitute the spatial part of the Lax pair for many integrable nonlinear PDEs. We afterwards focus our attention to a specific case of this problem, the so-called Zakharov-Shabat spectral problem. As an application, we study the initial value problem for the so-called Nonlinear Schrodinger (NLS) equation. (iii). The initial-boundary value problem for the heat (or diffusion) equation posed on a semi-infinite interval of the spatial variable. Here we present the unified transform method in its simplest form, i.e., applied on a linear problem. The thesis terminates with the presentation of the bibliography, in accordance with the references that appear in the text.

Gowers, dans son article sur les matrices quasi-aléatoires, étudie la question, posée par Babai et Sos, de l'existence d'une constante $c>0$ telle que tout groupe fini possède un sous-ensemble sans produit de taille supérieure ou égale a $c|G|$. En prouvant que, pour tout nombre premier $p$ assez grand, le groupe $PSL_2(\mathbb{F}_p)$ (d'ordre noté $n$) ne posséde aucun sous-ensemble sans produit de taille $c n^{8/9}$, il y répond par la négative. Nous allons considérer le probléme dans le cas des groupes compacts finis, et plus particuliérement des groupes profinis $SL_k(\mathbb{Z}_p)$ et $Sp_{2k}(\mathbb{Z}_p)$. La premiére partie de cette thése est dédiée à l'obtention de bornes inférieures et supérieures exponentielles pour la mesure suprémale des ensembles sans produit. La preuve nécessite d'établir préalablement une borne inférieure sur la dimension des représentations non-triviales des groupes finis $SL_k(\mathbb{Z}/(p^n\mathbb{Z}))$ et $Sp_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Notre théoréme prolonge le travail de Landazuri et Seitz, qui considérent le degré minimal des représentations pour les groupes de Chevalley sur les corps finis, tout en offrant une preuve plus simple que la leur. La seconde partie de la thése à trait à la théorie algébrique des nombres. Un polynome monogéne $f$ est un polynome unitaire irréductible à coefficients entiers qui endengre un corps de nombres monogéne. Pour un nombre premier $q$ donné, nous allons montrer, en utilisant le théoréme de densité de Tchebotariov, que la densité des nombres premiers $p$ tels que $t^q -p$ soit monogéne est supérieure ou égale à $(q-1)/q$. Nous allons également démontrer que, quand $q=3$, la densité des nombres premiers $p$ tels que $\mathbb{Q}(\sqrt[3]{p})$ soit non monogéne est supérieure ou égale à $1/9$. / Gowers in his paper on quasirandom groups studies a question of Babai and Sos asking whether there exists a constant $c > 0$ such that every finite group $G$ has a product-free subset of size at least $c|G|$. Answering the question negatively, he proves that for sufficiently large prime $p$, the group $\mathrm{PSL}_2(\mathbb{F}_p)$ has no product-free subset of size $\geq cn^{8/9}$, where $n$ is the order of $\mathrm{PSL}_2(\mathbb{F}_p)$. We will consider the problem for compact groups and in particular for the profinite groups $\SL_k(\mathh{Z}_p)$ and $\Sp_{2k}(\mathbb{Z}_p)$. In Part I of this thesis, we obtain lower and upper exponential bounds for the supremal measure of the product-free sets. The proof involves establishing a lower bound for the dimension of non-trivial representations of the finite groups $\SL_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\Sp_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Indeed, our theorem extends and simplifies previous work of Landazuri and Seitz, where they consider the minimal degree of representations for Chevalley groups over a finite field. In Part II of this thesis, we move to algebraic number theory. A monogenic polynomial $f$ is a monic irreducible polynomial with integer coefficients which produces a monogenic number field. For a given prime $q$, using the Chebotarev density theorem, we will show the density of primes $p$, such that $t^q-p$ is monogenic, is greater than or equal to $(q-1)/q$. We will also prove that, when $q=3$, the density of primes $p$, which $\mathbb{Q}(\sqrt[3]{p})$ is non-monogenic, is at least $1/9$.

La construction d'un quotient, en topologie, est relativement simple; si $G$ est un groupe topologique agissant sur un espace topologique $X$, on peut considérer l'application naturelle de $X$ dans $X/G$, l'espace d'orbites muni de la topologie quotient. En géométrie algébrique, malheureusement, il n'est généralement pas possible de munir l'espace d'orbites d'une structure de variété. Dans le cas de l'action d'un groupe linéairement réductif $G$ sur une variété projective $X$, la théorie géométrique des invariants nous permet toutefois de construire un morphisme de variété d'un ouvert $U$ de $X$ vers une variété projective $X//U$, se rapprochant autant que possible d'une application quotient, au sens topologique du terme. Considérons par exemple $X\subseteq P^{n}$, une $k$-variété projective sur laquelle agit un groupe linéairement réductif $G$ et supposons que cette action soit induite par une action linéaire de $G$ sur $A^{n+1}$. Soit $\widehat{X}\subseteq A^{n+1}$, le cône affine au dessus de $\X$. Par un théorème de la théorie classique des invariants, il existe alors des invariants homogènes $f_{1},...,f_{r}\in C[\widehat{X}]^{G}$ tels que $$C[\widehat{X}]^{G}= C[f_{1},...,f_{r}].$$ On appellera le nilcone, que l'on notera $N$, la sous-variété de $\X$ définie par le locus des invariants $f_{1},...,f_{r}$. Soit $Proj(C[\widehat{X}]^{G})$, le spectre projectif de l'anneau des invariants. L'application rationnelle $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induite par l'inclusion de $C[\widehat{X}]^{G}$ dans $C[\widehat{X}]$ est alors surjective, constante sur les orbites et sépare les orbites autant qu'il est possible de le faire; plus précisément, chaque fibre contient exactement une orbite fermée. Pour obtenir une application régulière satisfaisant les mêmes propriétés, il est nécessaire de jeter les points du nilcone. On obtient alors l'application quotient $$\pi:X\backslash N\rightarrow Proj(C[f_{1},...,f_{r}]).$$ Le critère de Hilbert-Mumford, dû à Hilbert et repris par Mumford près d'un demi-siècle plus tard, permet de décrire $N$ sans connaître les $f_{1},...,f_{r}$. Ce critère est d'autant plus utile que les générateurs de l'anneau des invariants ne sont connus que dans certains cas particuliers. Malgré les applications concrètes de ce théorème en géométrie algébrique classique, les démonstrations que l'on en trouve dans la littérature sont généralement données dans le cadre peu accessible des schémas. L'objectif de ce mémoire sera, entre autres, de donner une démonstration de ce critère en utilisant autant que possible les outils de la géométrie algébrique classique et de l'algèbre commutative. La version que nous démontrerons est un peu plus générale que la version originale de Hilbert \cite{hilbert} et se retrouve, par exemple, dans \cite{kempf}. Notre preuve est valide sur $C$ mais pourrait être généralisée à un corps $k$ de caractéristique nulle, pas nécessairement algébriquement clos. Dans la seconde partie de ce mémoire, nous étudierons la relation entre la construction précédente et celle obtenue en incluant les covariants en plus des invariants. Nous démontrerons dans ce cas un critère analogue au critère de Hilbert-Mumford (Théorème 6.3.2). C'est un théorème de Brion pour lequel nous donnerons une version un peu plus générale. Cette version, de même qu'une preuve simplifiée d'un théorème de Grosshans (Théorème 6.1.7), sont les éléments de ce mémoire que l'on ne retrouve pas dans la littérature. / The topological notion of a quotient is fairly simple. Given a topological group $G$ acting on a topological space $X$, one gets the natural application from $X$ to the quotient space $X/G$. In algebraic geometry, unfortunately, it is generally not possible to give the orbit space the structure of an algebraic variety. In the special case of a linearly reductive group acting on a projective variety $X$, the geometric invariant theory allows us to get a morphism of variety from an open $U$ of $X$ to a projective variety $X//G$, which is as close as possible to a quotient map, from a topological point of view. As an example, let $ X\subseteq P^{n}$ be a $k$-projective variety on which acts a linearly reductive group $G$. Suppose further that this action is induced by a linear action of $G$ on $A^{n+1}$ and let $\widehat{X}\subseteq A^{n +1}$ be the affine cone over $X$. By an important theorem of the classical invariants theory, there exist homogeneous invariants $f_{1},..., f_{r}\in C[\widehat{X}]^{G}$ such as $$\C[\widehat{X}]^{G}=\C[f_{1},...,f_{r}].$$ The locus in $X$ of $f_{1},...,f_{r}$ is called the nullcone, noted $N$. Let $Proj(C[\widehat{X}]^{G})$ be the projective spectrum of the invariants ring. The rational map $$\pi:X\dashrightarrow Proj(C[f_{1},...,f_{r}])$$ induced by the inclusion of $C[\widehat{X}]^{G}$ in $C[\widehat{X}] $ is then surjective, constant on the orbits and separates orbits as much as possible, that is, the fibres contains exactly one closed orbit. A regular map is obtained by removing the nullcone; we then get a regular map $$\pi:X \backslash N\rightarrow Proj(C[f_{1},...,f_{r}])$$ which still satisfy the preceding properties. The Hilbert-Mumford criterion, due to Hilbert and revisited by Mumford nearly half-century later, can be used to describe $N$ without knowing the generators of the invariants ring. Since those are rarely known, this criterion had proved to be quite useful. Despite the important applications of this criterion in classical algebraic geometry, the demonstrations found in the literature are usually given trough the difficult theory of schemes. The aim of this master thesis is therefore, among others, to provide a demonstration of this criterion using classical algebraic geometry and of commutative algebra. The version that we demonstrate is somewhat wider than the original version of Hilbert \cite{hilbert}; a schematic proof of this general version is given in \cite{kempf}. Finally, the proof given here is valid for $C$ but could be generalised to a field $k$ of characteristic zero, not necessarily algebraically closed. In the second part of this thesis, we study the relationship between the preceding constructions and those obtained by including covariants in addition to the invariants. We give a Hilbert-Mumford criterion for covariants (Theorem 6.3.2) which is a theorem from Brion for which we prove a slightly more general version. This theorem, together with a simplified proof of a theorem of Grosshans (Theorem 6.1.7), are the elements of this thesis that can't be found in the literature.

La relativité générale est une théorie physique de la gravitation élaborée il y a un siècle, dans laquelle l'univers est modélisé par une variété Lorentzienne (N,gamma) de dimension 4 appelée espace-temps et vérifiant les équations d'Einstein. Lorsque l'on sépare la dimension temporelle des trois dimensions spatiales, les équations de contrainte découlent naturellement de la décomposition 3+1 des équations d'Einstein. Elles constituent une condition nécessaire et suffisante pour pouvoir considérer l'espace-temps N comme l'évolution temporelle d'une hypersurface Riemannienne (m,g) plongée dans N avec une seconde forme fondamentale K. Le triplet (m,g,K) constitue alors une donnée initiale solution des équations de contrainte dont on note C l'ensemble. Dans cette thèse, nous utilisons la méthode de Robert Bartnik pour établir la structure de sous-variété de Hilbert de C pour des données initiales faiblement asymptotiquement hyperboliques, dont la régularité peut être reliée à la conjecture de courbure L^{2} bornée. Les difficultés inhérentes au cas faiblement AH ont nécessité l'introduction de deux opérateurs différentiels d'ordre deux et l'obtention d'estimées de type Poincaré et Korn pour ces opérateurs. Une fois la structure de Hilbert obtenue, nous définissons une fonctionnelle masse lisse sur la sous-variété C et compatible avec nos conditions de faible régularité. L'invariance géométrique de la masse est étudiée et montrée, modulo une conjecture en faible régularité relative au changement de cartes au voisinage de l'infini. Enfin, nous faisons le lien entre les points critiques de la masse et les métriques statiques. / General relativity is a gravitational theory born a century ago, in which the universe is a 4-dimensional Lorentzian manifold (N,gamma) called spacetime and satisfying Einstein's field equations. When we separate the time dimension from the three spatial ones, constraint equations naturally follow on from the 3+1 décomposition of Einstein's equations. Constraint equations constitute a necessary condition,as well as sufficient, to consider the spacetime N as the time evolution of a Riemannian hypersurface (m,g) embeded into N with the second fundamental form K. (m,g,K) is then an element of C, the set of initial data solutions to the constraint equations. In this work, we use Robert Bartnik's method to provide a Hilbert submanifold structure on C for weakly asymptotically hyperbolic initial data, whose regularity can be related to the bounded L^{2} curvature conjecture. Difficulties arising from the weakly AH case led us to introduce two second order differential operators and we obtain Poincaré and Korn-type estimates for them. Once the Hilbert structure is properly described, we define a mass functional smooth on the submanifold C and compatible with our weak regularity assumptions. The geometrical invariance of the mass is studied and proven, only up to a weak regularity conjecture about coordinate changes near infinity. Finally, we make a correspondance between critical points of the mass and static metrics.

Les îles tropicales sont soumises à un ennuagement hétérogène et changeant rapidement. Par ailleurs, elles ont une ressource solaire importante mais significativement variable d’un jour à l’autre. Dans le sud-ouest de l’océan indien (SWIO), La Réunion fait partie de ces îles tropicales ayant un potentiel solaire colossal mais fortement intermittent. Dans cette étude, nous proposons une nouvelle approche de prévision déterministe des cartes journalières rayonnement solaire (SSR), basée sur quatre modèles de régression linéaire : une régression linéaire multiple (MLR), une régression en composantes principales (PCR), une régression des moindres carrés (PLSR) et une régression pas à pas (stepwise--SR). Ces quatre régressions sont appliquées sur les données satellites SARAH-E (CM SAF) à 5km de résolution entre 2007 et 2016, en vue d’en effectuer la prévision. Pour obtenir de meilleures performances, nous proposons d'inclure les paramètres multi-fractale (H,C_1 et α) comme nouveaux paramètres prédictifs. Ceux-ci sont obtenus à partir de l'analyse de l'intermittence du SSR basée sur la méthode d’analyse d’ordre spectral arbitraire de Hilbert. Cette analyse qui est une extension de la transformation d’Hilbert Huang (HHT) est utilisée afin d’estimer l’exposant d’échelle ξ(q). On effectue la combinaison d’une décomposition en mode empirique et de l’analyse spectrale de Hilbert (EMD + HSA). Dans une première étape, l’analyse multi-fractale est appliquée sur une mesure du SSR d'une seconde échelle à partir d'un pyranomètre SPN1 à Moufia en 2016. La moyenne infra journalière, journalière et saisonnière de la structure multi-fractale a été dérivée, et la loi d’échelle d’exposants ξ(q) a été analysée. Dans une seconde partie, l’analyse de l’intermittence est effectuée sur les mesures du SSR, d'une période d’une minute, à partir le réseau de SPN1 contenant 11 stations en 2014. Les modèles spatiaux pour toutes les stations avec les paramètres multi-fractales H,C_1 et α sont mis en évidence. La variabilité de la largeur du spectre de singularité est considérée pour étudier l'intermittence spatiale et la multi-fractalité dans l'échelle quotidienne et l'échelle saisonnière. Sur la base de ces analyses d'intermittence faites sur les mesures de plusieurs stations, les paramètres multi-fractaux universels (H,C_1 et α) pourraient être choisis comme de nouveaux prédicteurs afin d’indiquer les propriétés multi-fractales du SSR. / Due to the heterogeneous and rapidly-changing cloudiness, tropical islands, such as Reunion Island in the South-west Indian Ocean (SWIO), have significant solar resource that is highly variable from day-to-day. In this study, we propose a new approach for deterministic prediction of daily surface solar radiation (SSR) maps based on four linear regression models: multiple linear regression (MLR), principal component regression (PCR), partial least squares regression (PLSR), and stepwise regression (SR), that we have applied on the SARAH-E@5km satellite data (CM SAF) for the period during 2007-2016. To improve the accuracy of prediction, the multifractal parameters (H,C_1 and α) are proposed to include as new predictors in the predictive model. These parameters are obtained from the analysis of SSR intermittency based on arbitrary order Hilbert spectral analysis. This analysis is the extension of Hilbert Huang Transform (HHT) and it is used to estimate the generalized scaling exponent ξ(q). It is the combination of the Empirical Mode Decomposition and Hilbert spectral analysis (EMD+HSA). In a first step, the multifractal analysis is applied onto one-second SSR measurements form a SPN1 pyranometer in Moufia in 2016. The mean sub-daily, daily and seasonal daily multifractal patterns are derived, and the scaling exponent ξ(q) is analyzed. In a second step, the intermittency study is conducted on one-minute SSR measurements from a SPN1 network with 11 stations in 2014. The spatial patterns for all the stations with the multifractal parameters H,C_1 and α are shown. The variability of singularity spectrum width is considered to study the spatial intermittency at the daily and seasonal scale. Based on this intermittency analysis from measurements at several stations, the universal multifractal parameters (H,C_1 and α) could be taken as new predictors for indicating the multifractal properties of SSR.

CAPES / Este trabalho traz um relato a respeito da Hipótese de Riemann, com o objetivo de tornar os conceitos referentes a esse problema acessíveis ao professor da educação básica, que pretenda abordá-los em sala de aula quando tratar de conteúdos a ele relacionados. A pesquisa foi inteira bibliográfica, apoiada em sua grande parte em textos de História da Matemática, tornando este trabalho divulgador dos problemas que ocupam parte das pesquisas matemáticas deste século, em especial da Hipótese de Riemann. / This study presents a report about the Riemann Hypothesis, leaving the underlying concepts behind this problem more accessible to a high school teacher. The literature review was based mainly on History of Mathematics texts. This research aims to study significant topics of mathematical research throughout this century, particularly to popularize the Riemann Hypothesis.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, under the view of commutative algebra, we will study reductions of an ideal, the concept was introduced by Northcott and Rees. First of all, we will give preliminary no- tions about dimension theory, Hilbert’s polynomial, Hilbert-Samuel’s polynomial, regularity of modules and superficial elements. Next we will discuss the main theme of this dissertation, where we will talk about integral closure of ideal, reduction and the Rees algebra, moreover, we will establish connections between these concepts. Finally, we will discuss some applica- tions in Hilbert-Samuel's polynomial and multiplicity theory, in which some recent results will be presented. / Neste trabalho, sob a luz da álgebra comutativa, estudaremos reduções de um ideal, tal conceito foi introduzido por Northcott e Rees. Em um primeiro momento, daremos noções preliminares sobre teoria de dimensão, polinômio de Hilbert, polinômio de Hilbert-Samuel, regularidade de módulos e elementos superficiais. Na sequência discutiremos o tema principal da dissertação, no qual falaremos de fecho integral de um ideal, redução e a álgebra de Rees, além disso, estabeleceremos conexões entre esses conceitos. Por fim, discutiremos algumas aplicações na teoria de multiplicidade e polinômio de Hilbert-Samuel, no qual será apresentado alguns resultados recentes. / São Cristóvão, SE