Th.--Sci. math.--Grenoble 1, 1984. N°: 69.

Neste trabalho, estudamos a cohomologia de de Rham e métodos para os seus cálculos. Finalizamos com aplicações da cohomologia de de Rham em teoremas da topologia / In this work we study the de Rham cohomology and methods for its calculations. We close it with applications of the Rham cohomology in theorems from topology

Neste trabalho, estudamos a cohomologia de de Rham e métodos para os seus cálculos. Finalizamos com aplicações da cohomologia de de Rham em teoremas da topologia / In this work we study the de Rham cohomology and methods for its calculations. We close it with applications of the Rham cohomology in theorems from topology

Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.

Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.

We study the Neumann problem for the de Rham complex in a bounded domain of Rn with singularities on the boundary. The singularities may be general enough, varying from Lipschitz domains to domains with cuspidal edges on the boundary. Following Lopatinskii we reduce the Neumann problem to a singular integral equation of the boundary. The Fredholm solvability of this equation is then equivalent to the Fredholm property of the Neumann problem in suitable function spaces. The boundary integral equation is explicitly written and may be treated in diverse methods. This way we obtain, in particular, asymptotic expansions of harmonic forms near singularities of the boundary.

No description available.

No description available.

Dans cette thèse, nous généralisons les inégalités universelles de Yang etde Levitin et Parnovski, concernant les valeurs propres du laplacien de Dirichlet sur undomaine euclidien borné, au cas du laplacien de Hodge-de Rham sur une sous-variétéeuclidienne fermée. Cela permet une extension de l’inégalité de Reilly et de l’inégalitéd’Asada, concernant respectivement la première valeur propre du laplacien et celle dulaplacien de Hodge-de Rham, à toutes les valeurs propres de ces deux opérateurs. Ensuite,nous obtenons une nouvelle inégalité algébrique qui relie les valeurs propres d’un opérateurauto-adjoint sur un espace d’Hilbert à deux familles d’opérateurs symétriques et antisymétriqueset à leurs commutateurs. Cette inégalité permet d’unifier et d’améliorer denombreux résultats connus concernant le laplacien, le laplacien de Hodge-de Rham, lecarré de l’opérateur de Dirac et plus généralement le laplacien agissant sur les sections d’unfibré vectoriel riemannien au-dessus d’une sous-variété euclidienne, le laplacien de Kohn,les puissances du laplacien... Dans une dernière partie, nous montrons une majoration dela première valeur propre du problème de Steklov sur un domaine Ω d’une sous-variétéeuclidienne ou sphérique, en fonction des r-courbures moyennes de son bord ∂Ω. / In this thesis, we generalize the Yang and the Levitin and Parnovski universalinequalities, concerning the eigenvalues of the Dirichlet Laplacian on a Euclideanbounded domain, to the case of the Hodge-de Rham Laplacian on a Euclidean closed submanifold.This gives an extension of Reilly’s inequality and Asada’s inequality, concerningthe first eigenvalues of the Laplacian and the Hodge-de Rham Laplacian respectively, toall eigenvalues of these operators. We also obtain a new abstract inequality relating theeigenvalues of a self-adjoint operator on a Hilbert space to two families of symmetric andskew-symmetric operators and their commutators. This inequality is proved useful both forunifying and for improving numerous known results concerning the Laplacian, the Hodgede Rham Laplacian, the square of the Dirac operator and more generally the Laplacianacting on sections of a Riemannian vector bundle on a Euclidean submanifold, the KohnLaplacian, a power of the Laplacian...In the last part, we obtain an upper bound for thefirst eigenvalue of Steklov problem on a domain Ω of a Euclidean or a spherical submanifoldin terms of the r-th mean curvatures of ∂Ω

Wir fixeren einen Körper k, der bezüglich eines nicht-archimedischen Absolutbetrags vollständig ist. In Kapitel 1 konstruieren wir eine Algebra U bestehend aus überkonvergenten Funktionen. Sie ist eine Unteralgebra der Tate-Algebra, wobei mittels einer sogenannten Filterfunktion, eine zusätzliche Wachstumsbedingung an die Koeffizienten der Potenzreihen in U gestellt wird. In diesem Kontext beweisen wir das folgende Resultat: U ist ein Noetherscher, Jacobsonscher, faktorieller Integritätsbereich, der bezüglich der Norm vollständig ist, und jedes Ideal in U ist abgeschlossen in der induzierten Topologie. In Kapitel 2 definieren wir die Kategorie der NMK-Algebren als die Kategorie der Quotienten der U. Indem wir in der größeren Kategorie der Frèchet-Räume arbeiten, beweisen wir die Noethernormalisierung und untersuchen die Morphismen zwishen NMK-Algebren. Schließlich zeigen wir, dass die Kategorie der NMK-Algebren abgeschlossen ist unter vervollständigten Tersorprodukten. In Kapitel 3 untersuchen wir geometrische Aspekte der Algebren U nämlich Eigenschaften der maximalen Ideale und die Regularität von U. Abschließend zeigen wir, dass für jedes U der assoziierte algebraische v exact in positiven Graden ist. / We fix a complete field k with respect to a non-Archimedean absolute value. In Chapter 1, we build the overconvergent function algebra U to be the subalgebra of the Tate algebra by putting a growth condition on the coefficients of the power series using a decreasing function which we call a filter function (satisfying certain conditions). With this setting we prove the following result: U is a Noetherian, Jacobson, unique factorization domain and it is complete with respect to the norm on it, moreover every ideal of U is closed with respect to the induced topology. In Chapter 2, we define a category of NMK-algebras as the category of all quotients of U. Working in the larger category of Frèchet spaces, we establish Noether normalization and investigate the morphisms between NMK-algebras. Finally, we show that the category of NMK-algebras is closed under completed tensor products. We investigate certain geometric aspects of the algebra U in Chapter 3, such as the properties of maximal ideals and regularity of U. Further, we show that for each U the associated algebraic de Rham complex is exact in positive degrees.