Québec Université Laval, Bibliothèque 2014

Québec Université Laval, Bibliothèque 2014

Québec Université Laval, Bibliothèque 2016

Savoir si un ensemble est de capacité nulle ou connaître sa dimension capacitaire est une question importante. De nombreux articles (tels que [3], [5], [6]) ont élucidé la question dans le cas de certains ensembles de Cantor. Les K-sets sont des ensembles de R. En particulier, les ensembles de Cantor les plus réguliers, pour lesquels on connaît une condition simple de capacité nulle, sont des K-sets. Ce mémoire a pour but de montrer l'efficacité d'une méthode dans le cadre des ensembles de Cantor et ses limites dans le cadre des K-sets. Il est principalement inspiré de l'article [8].

Titre de l'écran-titre (visionné le 2 octobre 2023) / Dans cette thèse, le problème de Steklov est étudié. Tout d'abord, ce problème est étudié sur des variétés riemanniennes fermées soumises à des excisions tubulaires. Étant données $\varepsilon > 0$, une variété riemannienne fermée $M$ de dimension $m \geq 2$ et une sous-variété fermée $N \subset M$ de dimension $0 \leq n \leq m - 2$, une excision tubulaire consiste à enlever le voisinage tubulaire $N^{\varepsilon} := \{ p \in M : d_{g}(p, N) \leq \varepsilon \}$ de taille $\varepsilon$ autour de $N$ afin d'obtenir le domaine $\Omega_{\varepsilon} := M \setminus N^{\varepsilon}$. Le résultat principal de cette thèse concerne le comportement des valeurs propres de Steklov d'une variété riemannienne fermée $M$ soumise à un nombre fini $b \geq 1$ d'excisions tubulaires. Plus précisément, il est montré que les valeurs propres divergent lorsque la taille des voisinages tubulaires tend vers $0$. Cette construction donne un nouvel exemple de variétés ayant une grande première valeur propre et permet d'étudier des problèmes de type isopérimétrique, comme étudier la pertinence de certaines quantités géométriques présentes dans des bornes supérieures connues. On utilise la quasi-isométrie et la comparaison des valeurs propres de Steklov à des valeurs propres de problèmes mixtes -- le problème de Steklov-Neumann et le problème de Steklov-Dirichlet. La séparation de variables est ensuite utilisée pour calculer les valeurs propres de ces problèmes mixtes. Grâce à cette méthode, on obtient l'ordre et le taux de divergence des valeurs propres ordonnées d'indice supérieur à $b$. Finalement, les fonctions propres et les valeurs propres de Steklov pour des boules géodésiques des sphères et des espcaes hyperboliques sont calculées. Elles sont trouvées à l'aide de la méthode de séparation de variables. / In this thesis, the Steklov problem is studied. This problem is first studied on closed Riemannian manifolds subject to tubular excisions. Given $\varepsilon > 0$, a closed Riemannian manifold $M$ of dimension $m \geq 2$ and a closed submanifold $N \subset M$ of dimension $0 \leq n \leq m - 2$, a tubular excision consists of removing the tubular neighbourhood $N^{\varepsilon} := \{ p \in M : d_{g}(p, N) \leq \varepsilon \}$ of size $\varepsilon$ around $N$ to obtain the domain $\Omega_{\varepsilon} := M \setminus N^{\varepsilon}$. The principal result of this thesis concerns the behaviour of the Stekov eigenvalues of a closed Riemannian manifold $M$ subject to a finite number $b \geq 1$ of tubular excisions. More precisely, it is proven that the eigenvalues diverge to infinity when the size of the tubular neighbourhood tends to $0$. This construction gives a new example of manifolds with a large first eigenvalue and allows to study isoperimetric type problems, as well as study the importance of certain geometric quantities present in known upper bounds. We use quasi-isometry and the bracketing of Steklov eigenvalues which compares the Steklov eigenvalues with eigenvalues of mixed problems -- the Steklov-Neumann and the Steklov-Dirichlet problems. Then, the eigenvalues of those mixed problems are computed via the method of separation of variables. This method gives us the order and the rate of divergence of the ordered eigenvalues of index superior to "b". In a second part, the eigenfunctions and eigenvalues of geodesic balls in spheres and hyperbolic spaces are computed via the method of separation of variables.

En informatique, les images sont numériques et donc composées de pixels en 2D et de voxels en 3D. Dans une scène virtuelle 3D, il est impossible de manipuler directement les objets comme des ensembles de voxels en raison du trop gros volume de données. Les objets sont alors polyédrisés, c'est-à-dire remplacés par une collection de facettes. Pour ce faire, il est primordial de savoir décider si un sous-ensemble de voxels peut être transformé en une facette dans la représentation polyédrique. Ce problème est appelé reconnaissance de plans discrets. Pour le résoudre, nous mettons en place un nouvel algorithme spécialement adapté pour les ensembles de voxels denses dans une boite englobante. Notre méthode atteint une complexité quasi-linéaire dans ce cas et s'avère efficace en pratique. En parallèle, nous nous intéressons à un problème algorithmique annexe intervenant dans notre méthode de reconnaissance de plans discrets. Il s'agit de calculer les deux enveloppes convexes des points de Z2 contenus dans un domaine vertical borné et situés de part et d'autre d'une droite quelconque. Nous proposons une méthode de complexité optimale et adaptative pour calculer ces enveloppes convexes. Nous présentons le problème de manière détournée : déterminer le nombre rationnel à dénominateur borné qui approxime au mieux un nombre réel donné. Nous établissons le lien entre ce problème numérique et son interprétation géométrique dans le plan. Enfin, nous proposons indépendamment un nouvel algorithme pour calculer l'épaisseur d'un ensemble de points dans le réseau Zd. Notre méthode est optimale en 2D et gloutonne mais efficace en dimension supérieure

Le problème de Lehmer consiste à minorer la hauteur de Weil d'un nombre algébrique en fonction de son degré sur Q. Si la question originelle de Lehmer reste aujourd'hui sans réponse, la conjecture optimale correspondante a été démontrée à un epsilon près. Par ailleurs, ce problème admet plusieurs généralisations. D'une part, on peut formuler le même type de conjecture en remplaçant le corps des rationnels par une extension abélienne d'un corps de nombres. D'autre part, on peut généraliser ces énoncés en dimension supérieure. Il s'agit alors de minorer la hauteur normalisée d'un point ou d'une sous-variété d'un tore ; dans ce cas, on substitue au degré un invariant plus fin : l'indice d'obstruction. Il est ensuite naturel de chercher à combiner ces deux généralisations : c'est le problème de Lehmer relatif dans un tore.<br /><br />Dans cette thèse, nous considérons tout d'abord le problème de Lehmer relatif unidimensionnel. Nous donnons une minoration pour la hauteur d'un nombre algébrique en fonction de son degré sur une extension abélienne d'un corps de nombres. Il s'agit d'une amélioration d'un théorème d'Amoroso et Zannier, obtenue à l'aide d'une démonstration techniquement plus simple. De plus, nous explicitons la dépendance de la borne inférieure en le corps de base. Puis nous abordons le problème de Lehmer relatif en dimension supérieure et minorons la hauteur d'une hypersurface en fonction de son indice d'obstruction sur une extension abélienne de Q. Enfin, nous obtenons un résultat analogue pour un point, sous réserve que celui-ci satisfasse une hypothèse technique. Nous montrons ainsi les conjectures les plus fines à un epsilon près.

Cette thèse concerne le problème de trouver une notion naturelle de «courbure scalaire» en géométrie kählérienne généralisée. L'approche utilisée consiste à calculer l'application moment pour l'action du groupe des difféomorphismes hamiltoniens sur l'espace des structures kählériennes généralisées de type symplectique. En effet, il est bien connu que l'application moment pour la restriction de cette action aux structures kählériennes s'identifie à la courbure scalaire riemannienne. On se limite à une certaine classe de structure kählériennes généralisées sur les variétés toriques notée $DGK_{\omega}^{\mathbb{T}}(M)$ que l'on reconnaît comme étant classifiées par la donnée d'une matrice antisymétrique $C$ et d'une fonction réelle strictement convexe $\tau$ (ayant un comportement adéquat au voisinage de la frontière du polytope moment). Ce point de vue rend évident le fait que toute structure kählérienne torique peut être déformée en un élément non kählérien de $DGK_{\omega}^{\mathbb{T}}(M)$, et on note que cette déformation à lieu le long d'une des classes que R. Goto a démontré comme étant libre d'obstruction. On identifie des conditions suffisantes sur une paire $(\tau,C)$ pour qu'elle donne lieu à un élément de $DGK_{\omega}^{\mathbb{T}}(M)$ et on montre qu'en dimension 4, ces conditions sont également nécessaires. Suivant l'adage «l'application moment est la courbure» mentionné ci-haut, des formules pour des notions de «courbure scalaire hermitienne généralisée» et de «courbure scalaire riemannienne généralisée» (en dimension 4) sont obtenues en termes de la fonction $\tau$. Enfin, une expression de la courbure scalaire riemannienne généralisée en termes de la structure bihermitienne sous-jacente est dégagée en dimension 4. Lorsque comparée avec le résultat des physiciens Coimbra et al., notre formule suggère un choix canonique pour le dilaton de leur théorie. / This thesis is about the problem of finding a natural notion of "scalar curvature" in generalized Kähler geometry. The approach taken here is to compute the moment map for the action of the group of hamiltonian diffeomorphisms on the space of generalized Kähler structures of symplectic type. Indeed, it is well known that the moment map for the restriction of this action to the space of ordinary Kähler structures can be naturally identified with the riemannian scalar curvature. We concern ourselves only with a certain class of generalized Kähler structures on toric manifolds which we denote by $DGK_{\omega}^{\mathbb{T}}(M)$ and which we recognize as being classified by the data of an antisymetric matrix $C$ and a real-valued strictly convex functions $\tau$ (exhibiting appropriate behavior on a neighborhood of the boundary of the moment polytope). This viewpoint makes obvious the fact that any toric Kähler structure can be deformed to a non-Kähler element of $DGK_{\omega}^{\mathbb{T}}(M)$, and we note that this deformation happens along one of the classes which were shown by R. Goto to be unobstructed. We identify sufficient conditions on a pair $(\tau,C)$ for it to define an element of $DGK_{\omega}^{\mathbb{T}}(M)$ and we show that in dimension 4, these conditions are also necessary. Following the adage "the moment map is the curvature" mentioned above, formulas for notions of "generalized Hermitian scalar curvature" and "generalized Riemannian scalar curvature" (in dimension 4) are obtained in terms of the function $\tau$. Finally, an expression for the generalized Riemannian scalar curvature in terms of the underlying bi-Hermitian structure is found in dimension 4. When compared with the results of the physicists Coimbra et al., our formula suggests a canonical choice for the dilaton of their theory.

La problématique centrale de cette thèse est l'élaboration d'un opérateur de Laplace--Beltrami discret sur les surfaces digitales. Ces surfaces proviennent de la théorie de la géométrie discrète, c’est-à-dire la géométrie qui s'intéresse à des sous-ensembles des entiers relatifs. Nous nous plaçons ici dans un cadre théorique où les surfaces digitales sont le résultat d'une approximation, ou processus de discrétisation, d'une surface continue sous-jacente. Cette méthode permet à la fois de prouver des théorèmes de convergence des quantités discrètes vers les quantités continues, mais aussi, par des analyses numériques, de confirmer expérimentalement ces résultats. Pour la discrétisation de l’opérateur, nous faisons face à deux problèmes : d'un côté, notre surface n'est qu'une approximation de la surface continue sous-jacente, et de l'autre côté, l'estimation triviale de quantités géométriques sur la surface digitale ne nous apporte pas en général une bonne estimation de cette quantité. Nous possédons déjà des réponses au second problème : ces dernières années, de nombreux articles se sont attachés à développer des méthodes pour approximer certaines quantités géométriques sur les surfaces digitales (comme par exemple les normales ou bien la courbure), méthodes que nous décrirons dans cette thèse. Ces nouvelles techniques d'approximation nous permettent d'injecter des informations de mesure sur les éléments de notre surface. Nous utilisons donc l'estimation de normales pour répondre au premier problème, qui nous permet en fait d'approximer de façon précise le plan tangent en un point de la surface et, via une méthode d'intégration, palier à des problèmes topologiques liées à la surface discrète. Nous présentons un résultat théorique de convergence du nouvel opérateur discrétisé, puis nous illustrons ensuite ses propriétés à l’aide d’une analyse numérique de l’opérateur. Nous effectuons une comparaison détaillée du nouvel opérateur par rapport à ceux de la littérature adaptés sur les surfaces digitales, ce qui nous permet, au moins pour la convergence, de montrer que seul notre opérateur possède cette propriété. Nous illustrons également l’opérateur via quelques unes de ces applications comme sa décomposition spectrale ou bien encore le flot de courbure moyenne / The central issue of this thesis is the development of a discrete Laplace--Beltrami operator on digital surfaces. These surfaces come from the theory of discrete geometry, i.e. geometry that focuses on subsets of relative integers. We place ourselves here in a theoretical framework where digital surfaces are the result of an approximation, or discretization process, of an underlying smooth surface. This method makes it possible both to prove theorems of convergence of discrete quantities towards continuous quantities, but also, through numerical analyses, to experimentally confirm these results. For the discretization of the operator, we face two problems: on the one hand, our surface is only an approximation of the underlying continuous surface, and on the other hand, the trivial estimation of geometric quantities on the digital surface does not generally give us a good estimate of this quantity. We already have answers to the second problem: in recent years, many articles have focused on developing methods to approximate certain geometric quantities on digital surfaces (such as normals or curvature), methods that we will describe in this thesis. These new approximation techniques allow us to inject measurement information into the elements of our surface. We therefore use the estimation of normals to answer the first problem, which in fact allows us to accurately approximate the tangent plane at a point on the surface and, through an integration method, to overcome topological problems related to the discrete surface. We present a theoretical convergence result of the discretized new operator, then we illustrate its properties using a numerical analysis of it. We carry out a detailed comparison of the new operator with those in the literature adapted on digital surfaces, which allows, at least for convergence, to show that only our operator has this property. We also illustrate the operator via some of these applications such as its spectral decomposition or the mean curvature flow

Dans cette thèse des actions conformes de cohomogénéité un sur l'univers d'Einstein tridimensionel sont classifiées. Notre stratégie est d'établir dans un premier temps quel peut être le groupe de transformations conformes impliqué, à conjugaison près. Nous décrivons aussi la topologie et la nature causale des orbites d'une telle action. / In this thesis, the conformal actions of cohomogeneity one on the three-dimensional Einstein universe are classified. Our strategy in this study is to determine the representation of the acting group in the group of conformal transformations of Einstein universe up to conjugacy. Also, we describe the topology and the causal character of the orbits induced by cohomogeneity one actions in Einstein universe.