UNIVERSITÉ PARIS VI. Géométrie analytique et analyse semi-classique
|
|
- Ghislaine Lambert
- il y a 8 ans
- Total affichages :
Transcription
1 UNIVERSITÉ PARIS VI Mémoire en vue d obtenir l habilitation à diriger des recherches en Mathématiques Géométrie analytique et analyse semi-classique Mauricio D. Garay Soutenance le Mercredi 10 Décembre Jury composé de : Louis Boutet de Monvel Victor Goryunov Maxim Kontsevich Duco van Straten Claire Voisin San Vũ Ngoc Jean Zinn-Justin Rapporteurs : Victor Goryunov Claude Sabbah San Vũ Ngoc 1
2 2
3 3 Avant-propos. Cette habilitation regroupe les travaux que j ai menés au cours des années 2001 à 2006, entre Paris, Mayence, Trieste et Bures-sur-Yvette. Ces travaux visaient à établir des bases de l analyse semi-classique complexe, en relation avec la théorie des déformations. Je remercie tous les amis et collègues qui m ont fait part de leur soutien et parfois de leur enthousiasme. Ils se reconnaîtront sans qu il me soit nécessaire de tous les nommer ici, la liste en serait trop longue. Je remercie particulièrement Duco van Straten sans lequel ce travail n aurait jamais abouti. Enfin, je veux remercier chaleureusement les membres du jury d avoir accepté de participer à cette habilitation. Bures-sur-Yvette, le 5 Décembre Mauricio Garay.
4
5 Introduction L objet de ce travail est de développer l analyse semi-classique dans le cadre complexe analytique et formel, et d étudier les relations entre ces deux domaines, à l instar des relations entre géométrie formelle et géométrie analytique. Cette analyse sera ensuite appliquée à l étude du développement perturbatif pour le spectre, lorsque l on perturbe des systèmes quantiques en dimension 1, puis en dimension quelconque, dans le cadre des systèmes intégrables. En particulier, nous entendons donner un statut mathématique à ces développements perturbatifs en les interprétant comme des spectres sur des bases formelles ou analytiques. Comme dans le cas réel, cette étude est intimement liée à la géométrie des variétés lagrangiennes, une grande partie de ce travail leur sera donc consacrée. Une première approche de l analyse semi-classique dans un contexte analytique avait déjà été effectuée par Sjöstrand et ses collaborateurs, qui avaient mis en évidence l importance des développements Gevrey. Mais celle-ci, peut-être trop attachée à certaines traditions de l analyse, n avait pas permis d inclure en son sein les calculs perturbatifs de façon simple. Pour cette raison, j ai été contraint d introduire une autre approche, sans chercher, faute de temps, à établir le lien avec celle qui préexistait. Les auteurs de ces travaux voudront bien m en excuser. L approche classique de la théorie spectrale consiste à regarder le spectre formel, introduit dans les travaux fondateurs de la mécanique quantique, comme dénué d existence réelle. Seule l approche des espaces de Hilbert, dans les rares cas où elle permet de retrouver les mêmes résultats, lui confère un véritable statut mathématique. Notre vision de la théorie spectrale est différente : il existe des théories réelles et complexes, analytiques, formelles avec ou sans paramètres semi-classique, et des théorèmes de comparaison entre ces différentes catégories. Il ne sera pas question ici de comparer la théorie analytique avec la théorie spectrale des espaces de Hilbert. Pour pousser notre comparaison avec la géométrie, une telle étude correspondrait à des théorèmes 5
6 6 INTRODUCTION de comparaison entre la géométrie différentielle et la géométrie analytique. En revanche, il sera question de comparer la théorie analytique et la théorie formelle. Il faut cependant noter que dans le cadre analytique, il existe une troisième approche semi-classique que l on pourrait qualifier d approche purement topologique : celle de la méthode BKW complexe. On gagnerait certainement beaucoup a reformuler cette analyse BKW dans notre contexte. Mais c est un point que je n ai pas encore abordé de façon systématique, et qui ne sera pas du tout abordé dans ce texte. Comme pour la géométrie classique, l hypothèse d analyticité des données fournit à la théorie une richesse additionnelle qui s exprime par la relation profonde entre l étude topologique et l étude analytique. Nous montrerons comment l espace de déformation verselle d un système intégrable quantique est en correspondance avec celui de son symbole principal en géométrie symplectique. Nous serons ainsi amenés à étudier l espace de déformation verselle d une variété lagrangienne singulière. Nous verrons que cet espace est de nature topologique, et intimement lié au faisceau des cycles évanescents sur cette variété. Compte tenu des relations différentielles qui interviennent dans la définition d une variété lagrangienne, les calculs directs sont complexes. La nature topologique de l espace de déformation verselle lagrangienne fournit une alternative pratique à ces calculs. Du point de vue de l étude de l espace de déformation verselle lagrangienne, notre travail reste tout à fait incomplet. Mais paradoxalement, les conditions que l on pourrait considérer comme très restrictives le fait d être une intersection complète, de posséder des stratifications analytique complexes sont assez générales pour pouvoir traiter les exemples qui proviennent de la physique théorique et de l étude des systèmes intégrables de dimension finie. Quant à la question de la résurgence des séries perturbatives du spectre, due à Pham à Voros et à Zinn-Justin, elle reste ouverte, mais on peut espérer que ce travail rende son étude plus abordable.
7 CHAPITRE 1 Séries perturbatives en mécanique quantique 1. Rappels sur les développements asymptotiques On appelle secteur d ouverture θ R >0, un ouvert de C de la forme S θ,r = {x C/ Arg x < θ, x < r}. Un développement asymptotique associé à une fonction holomorphe est une série formelle n>0 a nx n telle qu il existe une fonction f : S θ,r C holomorphe dans un secteur telle que lim x 0 f (n) (x) = n!a n. La transformée de Borel abstraite d une série formelle d une variable est donnée par B : C[[x]] C[[x]], i 0 a i x i i 1 a i x i 1 (i 1)!. On dit que f est de classe Gevrey 2 si sa transformée de Borel est une fonction analytique. Comme il ne sera question que de classe Gevrey 2 dans la suite, nous dirons que f est Borel-analytique si elle est de classe Gevrey 2. Théorème 1.1 (voir [24]). Toute série formelle Borel-analytique est un développement asymptotique associé à une fonction holomorphe sur un demi-plan. Donc, pour montrer qu une fonction est un développement asymptotique d une fonction holomorphe sur le bord de son domaine de convergence, il nous suffit de montrer que le développement est Borelanalytique. 2. L algèbre Q L algèbre de Heisenberg universelle (en dimension 1) Q est l algèbre des séries formelles sur C engendrée par trois éléments a, a, vérifiant une seule relation de commutation non-triviale [a, a ] =. Dans les notations traditionnelles de la mécanique quantique, on a p = a + a 2, q = a a 2i 7
8 8 1. SÉRIES PERTURBATIVES EN MÉCANIQUE QUANTIQUE qui satisfont la relation de commutation [p, q] = i. Avec Sjöstrand et Pham, nous allons définir une sous algèbre analytique de Q [30, 36]. Le symbole total s : Q C[[, x, y]] d un élément f Q est obtenu en écrivant f sous la forme f = i,j 0 α ij (a ) i a j puis en remplaçant les opérateurs a, a par des variables x, y C. Avec ces notations, nous conviendrons d appeler transformée de Borel dans l algèbre Q est l application B : Q C[[, x, y]], f ijk a ijk x i y j k k!. Comme cela a été observé par Pham, il découle des résultats de Boutet de Monvel-Krée que le sous-espace vectoriel Q Q formé par les éléments ayant une transformée de Borel en holomorphe en l origine est une sous algèbre [3, 30, 36]. Nous notons C Q les éléments qui ne dépendent que de (les constantes) et C {z} les séries analytiques à coefficients dans C : a jk z j k C {z} j,k 0 j,k 0 a jk z j k k! C{, z} où C{ } désigne l algèbre des fonctions holomorphes dans un voisinage de l origine. On peut remplacer dans cette construction le corps C par un anneau de séries formelles C[[λ]], λ = (λ 1,..., λ k ) : on définit de même une transformée de Borel en en considérant le symbole total de l opérateur et on note Q{λ} l algèbre des opérateurs dont la transformée de Borel est un germe de fonction analytique. On a 1 Q{λ} Q ˆ C{λ}, H{λ} H ˆ C{λ} C {λ, z}. Par la suite, lorsque l espace des paramètres est de dimension k = 1, il nous arrivera de noter t ou z la variable au lieu de λ. 3. Le module de Hilbert H A l aide de l algèbre de Heisenberg analytique Q, nous allons construire un spectre associé au éléments de Q et plus généralement de Q{λ}. Notons H = Q/Qa le quotient de l algèbre Q par l idéal à gauche engendré par a. Comme C -module, l espace H s identifie à l espace C {z} 1 Le symbole ˆ désigne le produit tensoriel topologique pour les structures habituelles d espaces DF.
9 3. LE MODULE DE HILBERT H 9 des germes de fonctions C -analytiques en une variable. En effet, modulo l idéal Qa tout opérateur peut s écrire sous la forme n α n(a ) n, l isomorphisme est donné par H C {z}, α n (a ) n α n z n. n Notons π : Q H la projection canonique. La multiplication à gauche dans Q par un élément H Q induit un diagramme commutatif Q H Q π H ρ(h) H et, par conséquent, donne lieu à une représentation de l algèbre Q. On démontre sans difficulté que l application ρ : Q Hom C (H, H) est injective. Par conséquent, nous pouvons identifier l algèbre Q avec une sous-algèbre d opérateurs agissant sur H. Via l isomorphisme de C -module H C {z}, la représentation ρ est définie par ρ(a) : C {z} C {z}, ψ z ψ et ρ(a ) : C {z} C {z}, ψ zψ. En restreignant ρ aux polynômes en, z et en posant = 1, on retrouve la correspondance habituelle de Bargmann qui fait correspondre à a et à a les opérateurs de multiplication par z et de dérivation par rapport à z. Plus généralement, la donnée d un automorphisme ϕ de l algèbre Q donne lieu à une nouvelle représentation ρ ϕ définie par le diagramme commutatif Q ρ ϕ ϕ Q ρ Hom C (H, H). Le spectre analytique de H est obtenu en choisissant une représentation pour que H soit diagonalisable et en prenant les éléments de la diagonales. Bien évidemment, très peu d élément de Q sont diagonalisables et on vérifie sans difficultés que la diagonalisation d une matrice correspond à une version quantique de la mise sous forme normale de Birkhoff. En remplaçant Q par ˆQ, on obtient une notion de spectre formel de H qui correspond à celle considérée par les fondateurs de la mécanique quantique [2]. Signalons que l on peut définir un produit intérieur C -linéaire sur Q à valeur dans C, analogue du produit hermitien de la représentation de Bargmann [12]. π
10 10 1. SÉRIES PERTURBATIVES EN MÉCANIQUE QUANTIQUE 4. Le spectre relatif On peut étendre la notion de spectre au cas à paramètres, sans difficultés. La représentation ρ s étend en une représentation de l algèbre Q{λ} vers Hom C {λ}(h{λ}, H{λ}). Les considérations précédentes s adaptent mutatis mutandi à ce cas. Ainsi, le spectre de H sur l anneau C {λ} coïncide avec ce que l on appelle classiquement la notion de développement perturbatif d une valeur propre de H(λ, a, a ) à λ = 0. Nous avons donc deux notions de spectre analytique et formel ainsi qu une application naturelle induite par le plongement Q ˆQ. Sp(H) Ŝp(H) Théorème 1.2 ([12, 8]). Pour tout élément H Q{t} tel que la partie quadratique de H 0 := H(t = 0, ) Q soit non-dégénérée, l application naturelle est un isomorphisme. Sp(H) Ŝp(H) Autrement dit, dans une telle situation, les développements perturbatifs du spectre sont Borel analytique, i.e., ils deviennent analytiques après un transformée de Borel en la variable. Exemple 1.1 ([20]). Pour H(t, q, p) = 1/2(p 2 + q 2 ) + 1/4tq 4, on obtient E(t, h) = (n+1/2) + 3(n2 +n+1/2) 8 t 2 17n3 +51/2n 2 +59/2+21/2 64 t Le fait que H soit quasi-homogène dans les variables q, p, t de poids respectifs 1, 1, 2 se traduit par le fait que E/ est une série de la variable t. Le théorème affirme que cette série est Borel analytique en. Le Théorème 1.2 est une conséquence d un théorème de forme normale que nous allons à présent expliciter. 5. Le lemme de Morse quantique Notation. Pour ψ = n 0 a nz n C {λ, z} et H Q{λ}, nous noterons ψ H la série n 0 a nh n dont on vérifie sans difficulté que c est un élément de Q{λ} (à défaut de le vérifier sans difficulté, on pourra utiliser les résultats de [3] ou encore consulter [8]). Théorème 1.3 ([12]). Pour tout élément H Q{t} tel que la partie quadratique de H 0 := H(t = 0, ) Q soit non-dégénérée, il existe
11 5. LE LEMME DE MORSE QUANTIQUE 11 un automorphisme ϕ Aut(Q{t}) et une application ψ C {t, z} telles que ϕ(h) = ψ H 0. Le spectre de H est donc égal à l image du spectre de H 0 par ψ d où l isomorphisme entre spectre formel et spectre analytique, puisque ψ C {t, z}. Par exemple pour H 0 = 1/2(p 2 + q 2 ) on a Sp(H) = {ψ((n + 1/2) ), n 0}. La fonction ψ contient donc, à priori, davantage d information que le spectre. Dans le cas particulier, H = p 2 + q 2 + λq 4, ce théorème a été démontré par Simon [35] puis redécouvert par Pham [30]. Pour terminer, remarquons que le théorème ci-dessus admet le corollaire suivant. Théorème 1.4. Pour tout opérateur H 0 Q dont la partie quadratique est non-dégénérée il existe un automorphisme ϕ Aut(Q) et une application ψ C {z} telles que ϕ(h 0 ) = ψ (a a). Un cas particulier de ce résultat a été obtenu par Helffer-Sjöstrand (voir [21], Appendices).
12
13 CHAPITRE 2 L approximation semi-classique La démonstration du lemme de Morse quantique demande de faire attention à un certain nombre de subtilités dues au fait que Q est un anneau non-commutatif. Pour simplifier notre exposition, nous allons considérer la version semi-classique des résultats et expliquer les démonstrations dans ce cas simplifié. Les résultats de ce chapitre à partir de la section 2 ainsi que du chapitre suivant restent valables pour les hypersurfaces à singularités isolées mais, en vue des applications que nous en ferons, nous ne considérons que le cas des courbes. 1. Principes de la limite semi-classique L algèbre Q est une déformation plate de l algèbre des germes de fonctions holomorphes à l origine C{x, y}, i.e., on a une suite exacte 0 Q Q σ C{x, y} 0 où x, y désigne les projection de a, a. L application σ s appelle le symbole principal. La structure non-commutative de Q induit sur C{x, y} un crochet de Poisson {, } c est à dire une bidérivation, antisymmétrique définie par : σ( 1 [f, g]) = {σ(f), σ(g)}. Ce crochet de Poisson est associé à la deux-forme symplectique dx dy (ou encore au bivecteur x y ), i.e. : {F, G}dx dy = df dg, F, G C{x, y} Tout automorphisme ˆϕ de l algèbre Q induit un germe de symplectomorphisme analytique ϕ dans C 2, i.e., un germe à l origine de biholomorphisme analytique qui préserve la 2-forme symplectique dx dy : ϕ(x) = σ( ˆϕ(a)), ϕ(y) = σ( ˆϕ(a )). Ainsi, tout problème de déformation sur Q donne lieu à un problème de déformation en géométrie symplectique sur C{x, y} que l on appellera le problème semi-classique associé. 2. Le lemme de Morse isochore Tout germe d application holomorphe de la forme f : (C 2, 0) (C, 0), (x, y) x 2 + y 2 + top, 13
14 14 2. L APPROXIMATION SEMI-CLASSIQUE où top désigne des termes d ordre plus élevés dans la série de Taylor, se ramène à sa partie quadratique par un changement de variable biholomorphe. En revanche, il est en général impossible de faire en sorte que ce changement de variable préserve la forme symplectique dx dy. Pour le voir, on pourra considérer à titre d exemple le germe d application (x, y) x 2 + y 2 + (x 2 + y 2 ) 2. Dans un petit voisinage de l origine, cette fonction et sa partie quadratique définissent pour dx dy des intégrales de périodes qui sont différentes, ou bien dit de façon encore plus terre à terre : les volumes des corps convexes {(x, y) R 2 : x 2 + y 2 ε} et {(x, y) R 2 : x 2 + y 2 + (x 2 + y 2 ) 2 ε} sont différents. Ces intégrales de périodes sont les uniques invariants analytiques comme le montre le théorème suivant dû à Vey. Théorème 2.1 ([39]). Pour tout germe d application holomorphe f : (C 2, 0) (C, 0) ayant un point critique à l origine dont la partie quadratique est non-dégénérée, il existe des applications biholomorphes ϕ : (C 2, 0) (C 2, 0), ψ : (C, 0) (C, 0) telles que ϕ préserve la forme symplectique dx dy et f ϕ(x, y) = ψ(xy). Dans l énoncé de ce théorème on aurait pu remplacer la forme quadratique xy par n importe quelle autre forme quadratique nondégénérée. Ce théorème a connu de nombreuses avatars dus entre autres à Arnold, Françoise, Givental, Kostov, Varchenko. Comparons ce résultat avec la limite semi-classique du Théorème 1.3 : Théorème 2.2 ([12]). Pour tout élément H C{t, x, y} tel que la partie quadratique de H 0 := H(t = 0, ) C{t, x, y} soit nondégénérée, il existe un automorphisme ϕ Aut(C{t, x, y}) qui préserve la structure de Poisson associée au bivecteur x y et une application ψ C{t, z} telles que H ϕ = ψ H 0. Ce théorème implique celui de Vey. En effet, définissons la famille de germes f t = (1 t)f + td 2 f dépendant du paramètre t [0, 1] où d 2 f désigne la différentielle quadratique de f à l origine. Pour tout t 0 [0, 1], le germe de f t en t = t 0, x = 0 est une déformation triviale de f t0. Par conséquent f t0 +ε est conjugué à f t0 par l action d un germe de symplectomorphisme de (C 2, 0) et d une application biholomorphe de (C, 0) pour tout ε suffisamment petit. Comme cette propriété est vraie pour tout t 0 [0, 1], on en déduit que f 0 et f 1 sont conjugués ; ce qui montre bien que le Théorème 2.1 s obtient comme un corollaire du Théorème 2.2.
15 3. DÉFORMATIONS VERSELLES ISOCHORES Déformations verselles isochores La démonstration que nous allons donner au chapitre suivant du lemme de Morse isochore est en fait suffisamment générale pour être adaptée à de nombreux exemples, parmi lesquels une conjecture de versalité due à Colin de Verdière [6]. Le déploiement d une déformation F : (C k C 2, 0) (C, 0) d un germe de fonction holomorphe f : (C 2, 0) (C, 0), que nous noterons F, est l application (C k C 2, 0) (C k C, 0), (λ, x, y) (λ, F (λ, x, y)). La déformation F est appelé RL-verselle si, pour toute autre déformation G de f, il existe un diagramme commutatif d applications holomorphes pour les déploiements de F et de G : (1) (C j C 2, 0) ϕ (C k C 2, 0) G (C j C, 0) ψ F (C k C, 0) Nous dirons que G est induite de F par le changement de base ψ. Pour être tout à fait précis, nous devrions dire que G est isomorphe à la déformation induite par le changement de base ψ. Nous dirons que la déformation F est isochore verselle si on peut choisir l application ϕ pour qu elle préserve la deux-forme dx dy modulo une deux-forme holomorphe constante sur les fibres de la projection C j C 2 C j ou, ce qui revient au même, qu elle préserve la structure de Poisson associée au bivecteur x y. On dira alors que la déformation G est isochore induite de F par ψ. Une déformation isochore verselle dépendant d un nombre minimal de paramètres est appelée isochore miniverselle. A un germe d application holomorphe f : (C 2, 0) (C, 0), nous associons le complexe C (f) : 0 C{x, y}/(f) C{x, y}/(f) 0 dont la différentielle est {f, }. Ici (f) désigne l idéal de C{x, y} engendré par f. Nous notons H (f) la cohomologie de ce complexe. Les résultats suivants ont été conjecturés par Colin de Verdière dans [6]. Théorème 2.3 ([9]). Une déformation F : (C k C 2, 0) (C, 0) d un germe d application holomorphe f : (C 2, 0) (C, 0) est isochore verselle pourvu que les restrictions à λ = 0 des classes des λi F engendrent l espace vectoriel H 1 (f). Théorème 2.4 ([9, 12]). Soit F : (C k C 2, 0) (C, 0) une déformation isochore miniverselle d un germe f : (C 2, 0) (C, 0). Pour toute déformation G : (C j C 2, 0) (C, 0) de f l application
16 16 2. L APPROXIMATION SEMI-CLASSIQUE de changement de base ψ : (C j C, 0) (C k C, 0) qui permet d induire G de F est unique. Ce théorème montre que les déformations miniverselles isochores sont universelles : une fois fixée une déformation miniverselle d un germe, tout autre déformation donne lieu à un invariant analytique ψ par lequel la déformation est induite de la déformation miniverselle. Cet invariant analytique est une variante semi-classique de la notion de spectre d un opérateur, car dans le cas d une singularité de Morse, la fonction ψ donne le terme dominant en des développements perturbatifs du spectre. Avant de passer à la démonstration de ces résultats, nous allons faire quelques rappels sur la théorie de Gauss-Manin afin d expliquer la nature topologique de l espace vectoriel H 1 (f).
17 CHAPITRE 3 La théorie de Gauss-Manin locale 1. Théorie topologique Étant donné un germe de fonction holomorphe f : (C 2, 0) (C, 0) à singularité isolée 1, on a une notion classique de représentant standard f : X S de ce germe, également appelé représentant de Milnor. Ces représentants sont obtenus de la façon suivante. Notons B R C 2 la boule fermée de rayon R centrée en l origine et ḂR son intérieur. On considère tout d abord un représentant holomorphe g : Ḃ r T du germe. On choisit ε 0 suffisamment petit pour que les sphères S ε de rayon ε centrées à l origine soient transverses à la fibre de g au-dessus de l origine pour tout ε ε 0. Par transversalité, on peut choisir un voisinage fermé S T de l origine tel que les fibres de g au dessus de S soient transverses à la sphère S ε0. L application f obtenue par restriction de f à X = g 1 (S) B ε0 est appelée un représentant standard du germe. On a alors le théorème : Théorème 3.1 ([25]). La restriction de l application f au-dessus du complémentaire de l origine est une fibration différentiable localement triviale. Cette fibration ne dépend du choix du représentant standard que par un isomorphisme C de fibrés. Cette fibration est appelée fibration de Milnor du germe f. Par la suite, nous désignerons abusivement le représentant standard et le germe par la même lettre. La fibre de la fibration de Milnor est une surface de Riemann ouverte, elle a donc le type d homotopie d un bouquet de cercles. Le théorème suivant précise le nombre de ces cercles. Théorème 3.2 ([27, 25]). La fibre de Milnor d un germe d application holomorphe f : (C 2, 0) (C, 0) à le type d homotopie d un bouquet de µ(f)-cercle avec µ(f) = dim O C 2,0/( x f, y f) L algèbre O C 2,0/( x f, y f) s appelle l algèbre de Milnor et l idéal ( x f, y f) O C 2,0 s appelle l idéal Jacobien de f. Lorsque le contexte le permet, nous désignerons simplement par µ le nombre de Milnor de la fonction considérée. 1 On dit que f est à singularité isolée si le germe de courbe V (f) est à singularité isolée ou de façon équivalente si l origine est un point critique isolé de f. 17
18 18 3. LA THÉORIE DE GAUSS-MANIN LOCALE Exemple 3.1. Prenons f(x, y) = x 2 + y 2, l algèbre de Milnor est engendré par la classe de 1 ; la fibre de Milnor a le type d homotopie d un cercle. 2. Théorie analytique 1 : le complexe de de Rham relatif Nous conservons les notations de la section précédente. A un représentant standard f : X S du germe f, on associe son complexe de de Rham relatif Ω X/S, les termes du complexe sont les Ωk X/S = Ωk X /df Ωk 1 X et la différentielle est induite par la différentielle du complexe de de Rham Ω X [18]. Les images directes R k f Ω X/S, k Z 0 de ce complexe de faisceau sont définies par les préfaisceaux U H k (f 1 (U), Ω X/S), k 0. Comme X est contenu dans un ouvert de Stein, l espace d hypercohomologie se calcule comme la cohomologie du complexe des sections globales restreintes à U : H k (f 1 (U), Ω X/S) H k (Ω X/S(f 1 (U))) H k (Ω X/S(X)) f 1 (U). Lorsque U, ne contient pas l origine, cet espace d hypercohomologie s identifie aux sections analytiques de la fibration de Milnor au-dessus de U, en effet, la restriction d une deux-forme différentielle du type df à une fibre {f = constante} est identiquement nulle. Si l ouvert U contient l origine alors on ne peut rien affirmer de façon évidente. Cependant, la philosophie générale de la théorie des singularités suggère une relation entre l espace de cohomologie H k (Ω X/S(f 1 (s))) H k (f 1 (s), C) C µ au dessus d une valeur régulière s S \ {0} et l espace de cohomologie H k (Ω X/S,0) concentré quant à lui au point singulier de la fibre singulière. C est le contenu du théorème suivant du à Brieskorn et à Deligne. Théorème 3.3 ([4]). L espace de cohomologie H f := H 1 (Ω X/S,0 ) associé à un germe d application holomorphe à singularité isolée f : (C 2, 0) (C, 0) est un C{f}-module libre de rang µ, où µ est le nombre de Milnor de f. De plus, on a un isomorphisme canonique (R 1 f Ω X/S ) 0 H f. Ce théorème reste vrai pour les germes d hypersurfaces à singularités isolés, dans ce cas la liberté du module conjecturée par Brieskorn a été démontrée par Sébastiani [33]. Ce résultat a été généralisé par Greuel au cas des intersections complètes à singularités isolées [17].
19 4. RELATION AVEC LES DéFORMATIONS ISOCHORES 19 Exemple 3.2. Reprenons l exemple du germe de fonction f(x, y) = x 2 + y 2. La classe de la différentielle α = fydx est un cocycle du complexe de de Rham relatif de f, en effet, on a d(fydx) = df ydx + fdy dx et 2fdy dx = df (ydx xdy) df Ω 1 X (X). Le nombre de Milnor de f étant égal à un, la 1-forme ydx n étant pas un cocycle, la différentielle α n est donc pas divisible par f ; par conséquent sa classe engendre le C{f}-module H f. 3. Théorie analytique 2 : le réseau de Brieskorn Soit f : X S un représentant standard d un germe f : (C 2, 0) (C, 0) à singularité isolée. Il existe une autre façon d obtenir des sections du fibré cohomologique de Milnor H 1 (f 1 (s), C) S \ {0} s S\{0} qui consiste à prendre le résidu de Gelfand-Leray d une deux forme sur l espace ambiant. Nous ne considérons que le cas des différentielles à pôle simple le long du graphe de la fonction. L étude plus générale, n est pas plus difficile et conduit à la construction de Pham, du D-module de Gauss-Manin et de sa version micro-locale [28, 29]. A l évidence pour toute fonction g : X S, la 2-forme ω = ω + df dg induit la même section du fibré cohomologique que ω. On définit ainsi le réseau de Brieskorn de la fonction f par H f = Ω 2 X,0/df do C 2,0. Théorème 3.4 ([4]). Pour tout germe à singularité isolé f : (C 2, 0) (C, 0), le réseau de Brieskorn est un module libre de rang µ(f) et le conoyau de l application H f H f, α α df est un espace vectoriel de dimension 2µ. L application 4. Relation avec les déformations isochores C{x, y} Ω 2 C 2,0, f fdx dy induit un isomorphisme entre l espace vectoriel H f /fh f et le premier espace de cohomologie H 1 (f) de f défini au chapitre 2, autrement dit on a une suite exacte 0 H f (C[t]) µ f H f H 1 (f) C µ 0. De telle sorte que les éléments de H 1 (f) se relèvent en des sections du fibré cohomologique de Milnor.
20 20 3. LA THÉORIE DE GAUSS-MANIN LOCALE Exemple 3.3. Considérons un représentant standard f : X S du germe f(x, y) = x 2 +y 2. La classe de 1 se relève en la forme ω = dx dy qui définit sur une section du fibré cohomologique de Milnor : à chaque valeur régulière s de f on associe la classe de cohomologie [ ] [ ] dx dy dx = H 1 (f 1 (s), C) df y La forme dx dy Ω 2 (X) induit une classe non nulle de H f et non divisible par f, par conséquent cette classe engendre le réseau de Brieskorn, i.e., H f = C{f}[dx dy]. Donc d une part la classe de 1 engendre l espace vectoriel H 1 (f), condition suffisante (et nécessaire) de versalité isochore d après le Théorème 2.3, et d autre part la classe de la forme différentielle (dx dy)/df engendre le groupe H 1 (f 1 (s), C) pour tout s S \ {0}. Ces deux assertions se vérifient d ailleurs immédiatement, la première par un calcul direct et la seconde du fait que l intégrale de (dx dy)/df = dx/y prise sur le cercle {(x, y) R 2 : x 2 + y 2 = 1} est non nulle, et que la fibre de Milnor se rétracte par déformation sur ce cercle.
21 CHAPITRE 4 Principes de correspondance Nous allons illustrer la technique de démonstration du théorème de rigidité en donnant une nouvelle démonstration du théorème de Vey (Théorème 2.1). 1. La méthode de Moser-Poincaré-Thom Pour démontrer, un théorème du type du Lemme de Morse, on se propose d employer la méthode du chemin. Cette méthode consiste à relier nos deux objets par un chemin (pour nous l opérateur et sa partie quadratique) puis à démontrer que la déformation est triviale. C est ce que nous avons fait dans la seconde formulation du lemme de Morse isochore. Ensuite, nous remplaçons la condition exacte par une condition infinitésimale : nous voulons résoudre l équation ψ t f t ϕ t = f; nous dérivons cette équation par rapport à t et multiplions le résultat à droite par ϕ 1 t et à gauche par ψt 1. Nous obtenons une équation du type a t (f t ) + L vt f t = g avec g donné et v t, a t pour inconnue. Si cette équation est résoluble, il suffit d intégrer v t et a t pour obtenir les familles d applications ψ t, ϕ t que nous cherchions. Dans le cas où l on ne fait pas d hypothèse sur la nature de ϕ t et f est un germe de fonction différentiable, c est la démonstration donnée par Thom du lemme de Morse [1]. 2. Spécificité du cas isochore Les applications ϕ t que nous cherchons préservent la deux forme dx dy, ce qui implique que le champ de vecteur non-autonome v t est un champ Hamiltonien. En effet, en dérivant la condition ϕ t dx dy = dx dy par rapport au paramètre t, on obtient L vt dx dy = 0, ce qui donne par la formule de Cartan L X = i X d + di X que i vt dx dy est fermée ; puis par le lemme de de Rham que i vt dx dy = dh t pour un certain germe de fonction holomorphe H t, en coordonnées locales : v t = H t y x H t x y. 21
22 22 4. PRINCIPES DE CORRESPONDANCE Par conséquent, la dérivation associée à v t est {, H t }. On peut donc récrire l équation infinitésimale comme (2) a t (f t ) + {f t, H t } = g. Pour comprendre cette équation commençons par faire t = 0 puis multiplions les deux membres par la 2-forme symplectique dx dy, on obtient a 0 (f)ω + df dh 0 = α 0. En désignant par [ ] la classe d un élément dans le réseau de Brieskorn de f, cette équation se récrit sous la forme a 0 (f)[ω] = [α 0 ]. Comme le réseau de Brieskorn est un module libre il suffit de résoudre l équation a 0 (f)[ω] = [α 0 ]( mod f) ou bien de façon encore équivalent de résoudre l équation a 0 (0)[1] = [g] dans H 1 (f). On peut donc résoudre l équation infinitésimale à t = 0, pourvu que la classe de 1 engendre l espace vectoriel H 1 (f) ; ce qui est vérifié comme nous l avons vu précédemment (cf. Exemple 3.2). Par conséquent, nous obtenons que le Théorème de Vey est conséquence d une variante à paramètres du théorème de finitude pour le réseau de Brieskorn (Théorème 3.4) [9]. Cette généralisation est ele-même un cas particulier du théorème de cohérence des images directes du complexe de de Rham pour les intersections complètes à singularité isolées [17]. Nous donnerons au chapitre 7, des théorèmes de finitude suffisamment généraux pour être appliqués à tous les cas que nous allons rencontrer. Remarquons qu il est inutile de savoir que le module est libre pour conclure à la convergence. Si le module est de type fini alors le lemme de Nakayama nous dis que pour qu un système d élément engendre le module il suffit que leurs restrictions à t = 0 engendre le module. Enfin, du fait que le réseau de Brieskorn (avec paramètres) est libre, on déduit l unicité de la fonction a t dans l équation Cas du théorème des déformations verselles isochores Commençons par rappeler une idée de Martinet qui relie déformations verselles et la stabilité par déformations. Je dis que le théorème suivant est équivalent au théorème de déformations verselles isochores (Théorème 2.3). Théorème 4.1. Soit F : (C k C 2, 0) (C, 0) une déformation d un germe d application holomorphe f : (C 2, 0) (C, 0) et G une déformation de F. Si les restrictions à λ = 0 des classes des λi F engendrent le module H 1 (f) alors G est isochore induite de F.
3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détailFEUILLETAGES PAR VARIÉTÉS COMPLEXES ET PROBLÈMES D UNIFORMISATION LAURENT MEERSSEMAN
FEUILLETAGES PAR VARIÉTÉS COMPLEXES ET PROBLÈMES D UNIFORMISATION LAURENT MEERSSEMAN Abstract. Ce texte est une introduction aux feuilletages par variétés complexes et aux problèmes d uniformisation de
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailExercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
Plus en détailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailLa Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1
La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailCalcul différentiel. Chapitre 1. 1.1 Différentiabilité
Chapitre 1 Calcul différentiel L idée du calcul différentiel est d approcher au voisinage d un point une fonction f par une fonction plus simple (ou d approcher localement le graphe de f par un espace
Plus en détailVARIÉTÉS CR POLARISÉES ET G-POLARISÉES, PARTIE I LAURENT MEERSSEMAN. À la mémoire de Marco Brunella
VARIÉTÉS CR POLARISÉES ET G-POLARISÉES, PARTIE I LAURENT MEERSSEMAN À la mémoire de Marco Brunella Abstract. Polarized and G-polarized CR manifolds are smooth manifolds endowed with a double structure:
Plus en détailwww.h-k.fr/publications/objectif-agregation
«Sur C, tout est connexe!» www.h-k.fr/publications/objectif-agregation L idée de cette note est de montrer que, contrairement à ce qui se passe sur R, «sur C, tout est connexe». Cet abus de langage se
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailExo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
Plus en détail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailApproximations variationelles des EDP Notes du Cours de M2
Approximations variationelles des EDP Notes du Cours de M2 Albert Cohen Dans ce cours, on s intéresse à l approximation numérique d équations aux dérivées partielles linéaires qui admettent une formulation
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailPremière partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015
Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailFonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples
45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et
Plus en détailMesures gaussiennes et espaces de Fock
Mesures gaussiennes et espaces de Fock Thierry Lévy Peyresq - Juin 2003 Introduction Les mesures gaussiennes et les espaces de Fock sont deux objets qui apparaissent naturellement et peut-être, à première
Plus en détailAlgorithmes pour la planification de mouvements en robotique non-holonome
Algorithmes pour la planification de mouvements en robotique non-holonome Frédéric Jean Unité de Mathématiques Appliquées ENSTA Le 02 février 2006 Outline 1 2 3 Modélisation Géométrique d un Robot Robot
Plus en détailMaster de Recherche première année. Programme de cours 2008-2011
Master de Recherche première année Mention : Mathématiques et Applications Spécialité : Mathématiques fondamentales et appliquées Responsable : Xue Ping WANG Programme de cours 2008-2011 Module M1 : Analyse
Plus en détailProposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.
DÉVELOPPEMENT 32 A 5 EST LE SEUL GROUPE SIMPLE D ORDRE 60 Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. Démonstration. On considère un groupe G d ordre 60 = 2 2 3 5 et
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Plus en détailRAPHAËL ROUQUIER. 1. Introduction
CATÉGORIES DÉRIVÉES ET GÉOMÉTRIE ALGÉBRIQUE Trois exposés à la semaine «Géométrie algébrique complexe» au CIRM, Luminy, décembre 2003 1. Introduction On étudie dans un premier temps les propriétés internes
Plus en détailIntégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailCours Fonctions de deux variables
Cours Fonctions de deux variables par Pierre Veuillez 1 Support théorique 1.1 Représentation Plan et espace : Grâce à un repère cartésien ( ) O, i, j du plan, les couples (x, y) de R 2 peuvent être représenté
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailFONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Plus en détail8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2
Chapitre 8 Fonctions de plusieurs variables 8.1 Généralités sur les fonctions de plusieurs variables réelles Définition. Une fonction réelle de n variables réelles est une application d une partie de R
Plus en détailExemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions
Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions HQ = He 1 He 2 He 3 He 4 HQ e 5 comme anneaux (avec centre Re 1 Re 2 Re 3 Re 4
Plus en détailpar Méthodes topologiques en dynamique des surfaces École d été, Grenoble, Juin 2006
POINTS FIXES DES HOMÉOMORPHISMES DE SURFACES par Frédéric Le Roux Méthodes topologiques en dynamique des surfaces École d été, Grenoble, Juin 2006 La fibration de Hopf. Dessin de Benoît Kloeckner, http
Plus en détailAOT 13. et Application au Contrôle Géométrique
AOT 13 Géométrie Différentielle et Application au Contrôle Géométrique Frédéric Jean Notes de cours Édition 2011/2012 ii Table des matières 1 Variétés différentiables 1 1.1 Variétés différentiables............................
Plus en détailGroupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Plus en détailAnalyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe
Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe des n n groupes quantiques compacts qui ont la théorie
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailL isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues
Préambule.................................... xv Bibliographie... xxi I L isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues Introduction...................................
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailFonctions de plusieurs variables
Maths MP Exercices Fonctions de plusieurs variables Les indications ne sont ici que pour être consultées après le T (pour les exercices non traités). Avant et pendant le T, tenez bon et n allez pas les
Plus en détailCorrection de l examen de la première session
de l examen de la première session Julian Tugaut, Franck Licini, Didier Vincent Si vous trouvez des erreurs de Français ou de mathématiques ou bien si vous avez des questions et/ou des suggestions, envoyez-moi
Plus en détailaux différences est appelé équation aux différences d ordre n en forme normale.
MODÉLISATION ET SIMULATION EQUATIONS AUX DIFFÉRENCES (I/II) 1. Rappels théoriques : résolution d équations aux différences 1.1. Équations aux différences. Définition. Soit x k = x(k) X l état scalaire
Plus en détailChapitre 7. Statistique des échantillons gaussiens. 7.1 Projection de vecteurs gaussiens
Chapitre 7 Statistique des échantillons gaussiens Le théorème central limite met en évidence le rôle majeur tenu par la loi gaussienne en modélisation stochastique. De ce fait, les modèles statistiques
Plus en détailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détailNotes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières
Plus en détailFonctions holomorphes
Université Joseph Fourier, Grenoble Maths en Ligne Fonctions holomorphes Christine Laurent-Thiébaut Ceci est le second volet de l étude des fonctions d une variable complexe, faisant suite au chapitre
Plus en détailProgrammation linéaire et Optimisation. Didier Smets
Programmation linéaire et Optimisation Didier Smets Chapitre 1 Un problème d optimisation linéaire en dimension 2 On considère le cas d un fabricant d automobiles qui propose deux modèles à la vente, des
Plus en détailDifférentiabilité ; Fonctions de plusieurs variables réelles
Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2
Plus en détailTIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES
Bulletin de la SOCIÉTÉ MATHÉMATIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES Bernard Host & Alejandro Maass Tome 135 Fascicule 3 2007 SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publié avec le concours du
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailFormes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions
Formes quadratiques Imen BHOURI 1 Ce cours s adresse aux étudiants de niveau deuxième année de Licence et à ceux qui préparent le capes. Il combine d une façon indissociable l étude des concepts bilinéaires
Plus en détailDérivées d ordres supérieurs. Application à l étude d extrema.
Chapitre 5 Dérivées d ordres supérieurs. Application à l étude d extrema. On s intéresse dans ce chapitre aux dérivées d ordre ou plus d une fonction de plusieurs variables. Comme pour une fonction d une
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailDualité dans les espaces de Lebesgue et mesures de Radon finies
Chapitre 6 Dualité dans les espaces de Lebesgue et mesures de Radon finies Nous allons maintenant revenir sur les espaces L p du Chapitre 4, à la lumière de certains résultats du Chapitre 5. Sauf mention
Plus en détailChapitre VI Fonctions de plusieurs variables
Chapitre VI Fonctions de plusieurs variables 6. 1 Fonctions différentiables de R 2 dans R. 6. 1. 1 Définition de la différentiabilité Nous introduisons la différentiabilité sous l angle des développements
Plus en détailProgramme de la classe de première année MPSI
Objectifs Programme de la classe de première année MPSI I - Introduction à l analyse L objectif de cette partie est d amener les étudiants vers des problèmes effectifs d analyse élémentaire, d introduire
Plus en détailPoints de Weierstrass d une surface de Riemann compacte
16 Le journal de maths des élèves, Volume 1 (1994), No. 2 Points de Weierstrass d une surface de Riemann compacte Sandrine Leroy Introduction Nous allons nous intéresser ici à des points très remarquables
Plus en détailThéorie de la mesure. S. Nicolay
Théorie de la mesure S. Nicolay Année académique 2011 2012 ii Table des matières Introduction v 1 Mesures 1 1.1 Sigma-algèbres................................. 1 1.2 Mesures.....................................
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailLe modèle de Black et Scholes
Le modèle de Black et Scholes Alexandre Popier février 21 1 Introduction : exemple très simple de modèle financier On considère un marché avec une seule action cotée, sur une période donnée T. Dans un
Plus en détailCalcul Différentiel. I Fonctions différentiables 3
Université de la Méditerranée Faculté des Sciences de Luminy Licence de Mathématiques, Semestre 5, année 2008-2009 Calcul Différentiel Support du cours de Glenn Merlet 1, version du 6 octobre 2008. Remarques
Plus en détailCours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques
Université de Provence Topologie 2 Cours3. Applications continues et homéomorphismes 1 Rappel sur les images réciproques Soit une application f d un ensemble X vers un ensemble Y et soit une partie P de
Plus en détailChapitre VI - Méthodes de factorisation
Université Pierre et Marie Curie Cours de cryptographie MM067-2012/13 Alain Kraus Chapitre VI - Méthodes de factorisation Le problème de la factorisation des grands entiers est a priori très difficile.
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailThéorie de la Mesure et Intégration
Université Pierre & Marie Curie (Paris 6) Licence de Mathématiques L3 UE LM364 Intégration 1 & UE LM365 Intégration 2 Année 2010 11 Théorie de la Mesure et Intégration Responsable des cours : Amaury LAMBERT
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailTable des matières. Introduction Générale 5
Table des matières Introduction Générale 5 1 Généralités et rappels 16 1.1 Rappels... 16 1.1.1 Introduction... 16 1.1.2 Notion de stabilité...... 17 1.1.3 Stabilité globale et stabilité locale... 17 1.1.4
Plus en détail= 1 si n = m& où n et m sont souvent des indices entiers, par exemple, n, m = 0, 1, 2, 3, 4... En fait,! n m
1 épartement de Physique, Université Laval, Québec Pierre Amiot, 1. La fonction delta et certaines de ses utilisations. Clientèle Ce texte est destiné aux physiciens, ingénieurs et autres scientifiques.
Plus en détailProgrammes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailCorrigé Problème. Partie I. I-A : Le sens direct et le cas n= 2
33 Corrigé Corrigé Problème Théorème de Motzkin-Taussky Partie I I-A : Le sens direct et le cas n= 2 1-a Stabilité des sous-espaces propres Soit λ une valeur propre de v et E λ (v) le sous-espace propre
Plus en détailFonctions de deux variables. Mai 2011
Fonctions de deux variables Dédou Mai 2011 D une à deux variables Les fonctions modèlisent de l information dépendant d un paramètre. On a aussi besoin de modéliser de l information dépendant de plusieurs
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailOM 1 Outils mathématiques : fonction de plusieurs variables
Outils mathématiques : fonction de plusieurs variables PCSI 2013 2014 Certaines partie de ce chapitre ne seront utiles qu à partir de l année prochaine, mais une grande partie nous servira dès cette année.
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détailÉquations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
Plus en détailOn ne peut pas entendre la forme d un tambour
On ne peut pas entendre la forme d un tambour Pierre Bérard Institut Fourier Laboratoire de Mathématiques Unité Mixte de Recherche 5582 CNRS UJF Université Joseph Fourier, Grenoble 1 Introduction 1.1 Position
Plus en détailCours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Plus en détailNotes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Fausto Errico Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2012 Table des matières
Plus en détailINTRODUCTION À L ANALYSE FACTORIELLE DES CORRESPONDANCES
INTRODUCTION À L ANALYSE FACTORIELLE DES CORRESPONDANCES Dominique LAFFLY Maître de Conférences, Université de Pau Laboratoire Société Environnement Territoire UMR 5603 du CNRS et Université de Pau Domaine
Plus en détailCNAM UE MVA 210 Ph. Durand Algèbre et analyse tensorielle Cours 4: Calcul dierentiel 2
CNAM UE MVA 210 Ph. Duran Algèbre et analyse tensorielle Cours 4: Calcul ierentiel 2 Jeui 26 octobre 2006 1 Formes iérentielles e egrés 1 Dès l'introuction es bases u calcul iérentiel, nous avons mis en
Plus en détailUn K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E
Exo7 Espaces vectoriels Vidéo partie 1. Espace vectoriel (début Vidéo partie 2. Espace vectoriel (fin Vidéo partie 3. Sous-espace vectoriel (début Vidéo partie 4. Sous-espace vectoriel (milieu Vidéo partie
Plus en détailSujet proposé par Yves M. LEROY. Cet examen se compose d un exercice et de deux problèmes. Ces trois parties sont indépendantes.
Promotion X 004 COURS D ANALYSE DES STRUCTURES MÉCANIQUES PAR LA MÉTHODE DES ELEMENTS FINIS (MEC 568) contrôle non classant (7 mars 007, heures) Documents autorisés : polycopié ; documents et notes de
Plus en détailCHAPITRE 10. Jacobien, changement de coordonnées.
CHAPITRE 10 Jacobien, changement de coordonnées ans ce chapitre, nous allons premièrement rappeler la définition du déterminant d une matrice Nous nous limiterons au cas des matrices d ordre 2 2et3 3,
Plus en détailCours d Analyse 3 Fonctions de plusieurs variables
Université Claude Bernard, Lyon I Licence Sciences, Technologies & Santé 43, boulevard 11 novembre 1918 Spécialité Mathématiques 69622 Villeurbanne cedex, France L. Pujo-Menjouet pujo@math.univ-lyon1.fr
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailn N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v 1 1 2 t
3.La méthode de Dirichlet 99 11 Le théorème de Dirichlet 3.La méthode de Dirichlet Lorsque Dirichlet, au début des années 180, découvre les travaux de Fourier, il cherche à les justifier par des méthodes
Plus en détailEspérance conditionnelle
Espérance conditionnelle Samy Tindel Nancy-Université Master 1 - Nancy Samy T. (IECN) M1 - Espérance conditionnelle Nancy-Université 1 / 58 Plan 1 Définition 2 Exemples 3 Propriétés de l espérance conditionnelle
Plus en détail1 Complément sur la projection du nuage des individus
TP 0 : Analyse en composantes principales (II) Le but de ce TP est d approfondir nos connaissances concernant l analyse en composantes principales (ACP). Pour cela, on reprend les notations du précédent
Plus en détailIV- Equations, inéquations dans R, Systèmes d équations
IV- Equations, inéquations dans R, Systèmes d équations 1- Equation à une inconnue Une équation est une égalité contenant un nombre inconnu noté en général x et qui est appelé l inconnue. Résoudre l équation
Plus en détailTechniques de Lyapunov en contrôle quantique pour le couplage dipolaire et polarisabilité
Techniques de Lyapunov en contrôle quantique pour le couplage dipolaire et polarisabilité Andreea Grigoriu avec Jean-Michel Coron, Cătălin Lefter and Gabriel Turinici CEREMADE-Université Paris Dauphine
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailCours de mathématiques
DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................
Plus en détail