Distributions et EDP Espaces vectoriels topologiques Cours Master /2010

Dimension: px
Commencer à balayer dès la page:

Download "Distributions et EDP Espaces vectoriels topologiques Cours Master - 2009/2010"

Transcription

1 Distributions et EDP Espaces vectoriels topologiques Cours Master /2010 Dr HITTA Amara Univ. 8 Mai 1945 Guelma Janvier 2010

2 Université 8 Mai Guelma COURS - Master Distributions, E.d.p. & Espaces de Sobolev Dr HITTA Amara Maître de Conférences Habilité Site Perso : hitta2@hotmail.fr

3 Table des Matières 1 Espaces vectoriels topologiques Notations et Rappels Régularisation de fonctions Partition de l unité Semi-normes Topologie déterminée par une famille de semi-normes Espaces vectoriels localement convees Ensembles convees, équilibrés et absorbants Jauges ou fonctionnelles de Minkowski Applications et formes linéaires Dualité dans les E.V.T Topologie limite inductive Topologie des espaces de fonctions tests Distributions Définitions et propriétés Dérivées partielles au sens des distributions Multiplication des distributions Transformations de distributions Translation d une distribution Symétrie d une distribution Changement d échelle et distributions homogènes

4 3.5 Topologies sur l espace D (Ω) Topologies sur l espace E (Ω) Limites de distributions Convolutions de distributions Produit tensoriel de distributions Convolution de deu distributions Motivation et définition Propriétés de la convolution Solutions fondamentales de certaines équations au dérivées partielles 60 5 Transformations de Fourier, Espaces S et S 67 6 Espaces de Sobolev L intégration par partie et dérivations faibles Espace de Sobolev H 1 (Ω)

5 Chapitre 1 Espaces vectoriels topologiques 1.1 Notations et Rappels Étant donné un entier n 1, les éléments de N n sont appelés multi-indices. Pour α = (α 1, α 2,, α n ) N n le nombre α = α α n est appelé longueur du multi-indice α. Pour k compris entre 1 et n, on note l opérateur de dérivation par rapport à la k-ième variable par k = / k et α = α 1 1 α n n = α α 1 1 α 2 2 α n Soit k un entier supérieur à 1. On dit que f : Ω K est de classe C k si toutes les dérivées partielles de f eistent et sont continues jusqu à l ordre k. L ordre dans lequel sont effectuées les dérivations est indifférent d après la théorème de Schwarz. On note C k (Ω) l ensemble des fonctions de classe C k sur Ω. n. On dit que f : Ω K est de classe C si elle est de classe C k sur Ω pour chaque entier k 1. On pose C (Ω) l ensemble des fonctions de classe C sur Ω, noté d après Laurent Schwatrz, par E(Ω) = C (Ω) On a C (Ω) C k (Ω) C 1 (Ω) C(Ω). Nous rappelons que : E(Ω) = C (Ω) = C k (Ω). k 0

6 On désignera par L p (Ω) l espace des fonctions de puissance p intégrable à valeurs dans K. Muni da la norme [ ] 1 f p = f() p p d, Ω l espace L p (Ω) est un espace de Banach. Si p 1, on désigne par L p loc (Ω) l espace de fonctions f L p loc (K), pour tout compact K de Ω. 1.2 Régularisation de fonctions Définition Soit f une fonction réelle définie sur un ouvert Ω R n. On appelle support de f l ensemble supp(f) = { Ω : f() 0}. Le support de f est alors le plus petit fermé de R n à l etérieure duquel la fonction f est nul. On note par C k c(ω) l ensemble des fonctions de C k (Ω) qui sont à support compact dans Ω. L objectif est de construire des fonctions permettant, en particulier, de séparer deu fermés disjoints. Ces fonctions seront utilisées dans les techniques de convolution et de régularisation de fonctions et de distributions. Une fonction test (ou fonction d essai) sur Ω est, par défintion, une fonction de classe C définie sur Ω à support compact dans Ω. L espace vectoriel de ces fonctions tests sur Ω, dans la notation de L. Schwartz, est D(Ω) = C c (Ω). Cet espace, equipé d une topologie appropriée que l on précisera, jouera un rôle important dans la définition des distributions sur Ω. La fonction suivante ( ) 1 ep si 1 ρ() = si > 1. est C à support la boule fermée de centre 0 et de rayon 1 dans R n, notée B 1 (0). En divisant ρ par l intégrale de ρ sur R n, on obtient une autre fonction C de support B 1 (0),

7 notée α, telle que R n α()d = 1. Pour tout ε > 0, on définit α ε () = 1 ε n α ( ε ). On voit clairement que : 1 α ε C α c (R n ). 2 Le support de α ε est B ε (0), boule fermée de centre 0 et de rayon ε. 3 R n α ε ()d = 1. A l aide de la famille (α ε ) ε>0, on peut régulariser les L p -fonctions discontinues c est-à-dire qu on peut montrer qu elles peuvent être approchées par des fonctions tests. C est la vocation principale du théorème qui suivra. Définition Une fonction f définie sur Ω est dite localement intégrable sur Ω si f est intégrable (au sens de Lebesgue) sur chaque compact K Ω. Ainsi, f est localement intégrable sur Ω si, pour tout compact K Ω, le produit f.χ K est intégrable sur Ω, où χ K est la fonction caractéristique de K, qui est égale à 1 sur K et 0 à l etérieure de K. Définition Soit f L 1 loc (Rn ) une fonction localement intégrable sur R n. La fonction f ε () = f( y)α ε (y)dy = R n f()α ε ( y)dy R n est dite la convolution de f par α ε, notée par f α ε ou α ε f. Théorème Soit f une fonction localement intégrable sur R n, alors 1 La convolution f ε est une fonction C dans R n. 2 3 Si f est à support compact K, le support de f ε est contenu dans un ε-voisinage de K définie par K ε = K + B ε (0) = B ε (). K Si f est continue, alors la suite (f ε ) ε>0 converge uniformément vers f sur tout compact de R n. 4 Si f L p (R n ), 1 p < +, alors la suite (f ε ) ε>0 converge vers f dans L p (R n ).

8 Preuve : 1 Comme l intégrale définissant f ε () est prise sur des compacts de R n donc on peut dériver sous le signe intégrale. 2 Si R n et d(, K) > ε alors / K ε = K + B ε (0). Donc, pour tout y K, y / B ε (0) = suppα ε donc α ε ( y) = 0. Il s en suit que l intégrale définissant f ε () vaut 0pour tout / suppf ε, ce qui assure que le support de f ε () est contenu dans K ε. 3 4 Supposons que f est une fonction continue et fions K un compact quelconque de R n. Comme f est uniformément continue sur K, pour tout η > 0, il eiste δ > 0 tel que f( y) f() < η pour tout K et y < δ (y est dans un voisinage de 0 dans R). En choisissant ε < δ il vient que f ε () f() f( y) f() α ε (y)dy < η, R n pour tout K, ce qui montre que f ε converge uniformément vers f sur K lorsque ε tend vers 0. Supposons que f L p (R n ), 1 p < +. D après le théorème de densité, f peut être approchées dans L p (R n ) par des fonctions continues à supports compacts. D autre part, en utilisant l inégalité de Minkowski dans sa forme intégrale on montre que si f L p (R n ) alors f ε L p (R n ) telle que f ε p f p. Soit η > 0 et g C c (R n ) telle que f g p < η 3. Il s ensuit que f ε g ε p f g p < η 3. Écrivons f ε f p f ε g ε p + g ε g p + g f p. Comme g est continue à support compact, alors d après 3, la suite (g ε ) ε>0 converge uniformément vers g sur R n, donc g ε g dans L p (R n ). En choisissant ε assez petit, on en déduit que g ε g < η 3. Finalement, on obtient f ε f < η. Ce théorème justifie la définition suivante : Définition La famille (α ε ) ε>0 est dite famille régularisante des fonctions définies sur R n. Si ε = i 1, la suite de fonctions α i () = i n α(i), i = 1, 2, est dite suite régularisante de fonctions. Corollaire Soit Ω un ouvert de R n. L espace C c (Ω) est un dense dans L p (Ω), 1 p < +.

9 Corollaire Soit K un compact de Ω. Il eiste une fonction ϕ C c (Ω) telle que 0 ϕ 1 et ϕ = 1 dans K. Preuve : Sans perdre de généralité, on peut supposer que Ω est borné. Soit d la distance entre K et la frontière F r(ω) et posons K d/3 le d/3-voisinage de K défini comme précédemment. Il est facile de voir que la fonction ϕ = χ d/3 α d/3 vérifie ce qui est demandé dans l énoncé du corollaire. Corollaire Soient K 1 et K 2 deu compacts disjoints de l ouvert Ω R n. Il eoste, alors, une fonction ϕ D(Ω) telle que ϕ() = et ϕ() 1 pour tout Ω. { 1 si K1 1 si K 2 Preuve : Soient U 1 et U 2 deu ouverts disjoints de Ω contenant respectivement K 1 et K 2. D après le corollaire précédent, il eiste ϕ 1 et ϕ 2 D(Ω), telles que et 0 ϕ i () 1, ϕ 2 (), Ω. ϕ i 1 dans K i, ϕ i D(U i ), i {1, 2}, i {1, 2}. La fonction cherchée sera définie par ϕ() = ϕ 1 () Avec la même argumentation, on montre que, si K est sous-ensemble compact de R n et si V est un voisinage arbitraire de K, il eiste une fonction ϕ C c (Ω) telle que 0 ϕ 1, ϕ vaut 1 sur un voisinage de K et supp(ϕ) V. Théorème Soient R et r R tels que 0 < r < R. Notons par B R et B R r deu boules concentriques de rayons respectifs R et R r. Il eiste une fonction ϕ C c (Ω) telle que : 2 supp(ϕ) B R, 2 ϕ() = 1 sur B R r, 3 pour tout p N n : p ϕ() C(p, n).r p, R n. Preuve : Posons χ la fonction caractéristique de la boule concentrique de rayon R (2r/3) et définissons la fonction ϕ par ( ) 1 y ϕ() = χ α d () = α d ( y)dy = α dy d n d B R (2r/3) B R (2r/3)

10 avec d = r 3. Il est clair que supp(ϕ) B R et ϕ = 1 sur B R r. Pour tout 1 i n, on a ainsi i ϕ() d 1 d n i ϕ() = d 1 d n R n i α ( y d Une preuve analogue nous donne 3. B R (2r/3) ) dy = d 1 ( ) α y dy, i d R n i α(t)dt C(i, n).r Partition de l unité L objectif est la construction de fonctions indéfiniment différentiables et à support compact permettant d obtenir des propriétés globales de fonctions où de distributions en étudiant leurs propriétés locales. Proposition Soit K un compact de R n et soit (U i ) n i=1 un recouvrement ouvert de K. Il eiste une famille de compacts (K i ) n i=1 tel que K i U i pour tout i = 1,, n et K = n i=1 K i. Preuve : Pour chaque K soit r > 1 tel que B(, r ) U i. U i K B(, r ). Il eiste un nombre fini 1,, n K tel que K Posons K K i = K B( j, r j ). B( j,r j ) U i n j=1 Alors, on a B( j, r j ). Il est clair que K i est un sous-ensemble compact dek et K i U i. D autre part, soit K, il eiste i tel que B( i, r i ). Par ailleurs, il eiste j 0 tel que i U j0 et alors B( i0, r i0 ) U j0. Donc K j0 n K i. i=1 Corollaire [Partition de l unité] Soient K un compact de R n et (Ω i ) 1 i n un recouvrement fini de K. Il eiste des fonctions ϕ i C c (Ω) telles que : 1 0 ϕ i 1, 2 k i=1 ϕ i = 1 sur un voisinage de K.

11 Preuve : On peut trouver des compacts (K i ) 1 i n tel que K i Ω i et K n Ki, où Ki désigne l intérieur de K i. Pour tout i, posons ψ i C c (Ω i ) telle que 0 ψ i 1 et ψ i = 1 sur K. Définissons la suite que nous cherchons de la façon suivante ϕ = ψ 1, ϕ i = ψ i (1 ψ 1 ) (1 ψ i 1 ), i = 2,, n. Il est facilement vérifiable que la suite de fonctions (ϕ i ) 1 i n vérifie les propriétés demandées. Les espaces vectoriels considérés, dans la suite, ont pour corps de base K = R ou C. i=1 1.4 Semi-normes Définition Soit E un K-espace vectoriels. On dit qu une application p : E R est une semi-norme si, pour chaque, y E et λ K, on a : 1 p( + y) p() + p(y) 2 p(λ) = λ p(). Proposition Soit E un K-espace vectoriel. Si p est une semi-norme sur E alors : 1 p(0) = 0 2 p() 0 3 p() p(y) p( y). Preuve : On a p(0) = p(0) = 0p() = 0, ce qui prouve 1. Montrons 3, pour, y E, la sous-additivité de p révèle que p() = p( y + y) p( y) + p(y), donc p() p(y) p( y). Cependant, par homogéniété de p on déduit que p( y) = p[ (y )] = p(y ) p(y) p(). Ce qui prouve que p( y) p() p(y). Eemple Toute norme sur E est une semi norme. Soit Ω un ouvert non vide de R n. On note par K Ω l ensemble des parties compactes de Ω. Eemple Considérons l espace C(Ω) des fonctions continues sur Ω. Pour chaque compact K K Ω, l application p K : C(Ω) R définie, pour chaque f C(Ω), par p K (f) = sup f(). K est une semi-norme.

12 Eemple Soit k N. Pour chaque K K Ω, l application p K définie pour chaque f C k (Ω) par : C k (Ω) R p K (f) = sup α f(). K, α k est une semi-norme. Eemple Pour chaque k N et chaque K K Ω, l application p K R définie pour chaque f C (Ω) par : C (Ω) p k,k (f) = sup α f(). K, α k est une semi-norme. Définition On dit qu une famille (p i ) i I de semi-normes sur un espace vectoriel E est séparante si, pour chaque E non nul, il eiste i I tel que p i () > 1. Eemple Les familles de semi-normes définies précédemment sur les espaces C(Ω), C k (Ω) et C (Ω) sont séparantes. 1.5 Topologie déterminée par une famille de seminormes Les types de convergence rencontrés en analyse ne rentrent pas tous dans le cadre des espaces normés, on peut citer par eemple la convergence simple sur un ensemblee infini, la topologie de la convergence uniforme sur les parties compactes d un ouvert... Soit E un espace vectoriel et (p i ) i I une famille séparante de semi-normes sur E. Etant donnés un élément 0 E, un sous-ensemble fini non vide I n de I et un réel r > 0, on note V n ( 0, r) = {y E : ma p i ( 0 y) < r}. i I n Définition On dit qu un sous-ensemble O de E est ouvert s il est vide ou bien si, pour chaque 0 O, il eiste un sous-ensemble fini non vide I n de I et un réel r > 0 tels que V n ( 0, r) O.

13 Les ensembles de la forme V n ( 0, r) sont des ouverts et jouent un rôle analogue à celui des boules ouvertes dans les espaces métriques. Les sous-ensembles de E de la forme : V n ( 0, r) = { E : ma i I n p i ( 0 ) r} sont des fermés et jouent un rôle analogue à celui des boules fermées dans les espaces métriques. Définition On appelle topologie sur E déterminée par la famille (p i ) i I celle dont les ouverts sont définis précédemment. Proposition La topologie determinée par une famille séparante de semi-normes (p i ) i I est séparée. Preuve : Soient, y E tels que y. Puisque (p i ) i I est séparante, il eiste i 0 I ( ( tel que r = p i0 ( y) > 0. Alors V {i0 }, r 2) et V{i0 } y, r 2) sont deu ouverts disjoints contenant séparément et y. Définition Un espace vectoriel E muni d une topologie T est un espace vectoriel topologique (E.v.t) si : (Tvs 1) (, y) + y est une application continue de E E dans E. (Tvs 2) (λ, ) λ de K E dans E sont continues. Il est évident que dans les deu aiomes on considère la topologie produit dans des espaces vectoriels produits. La structure d espace vectoriel de E est dite compatible avec la topologie T si les aiomes (Tvs 1) et (Tvs 2) sont vérifiés. Eemple L espace normé (E,. ) est un espace vectoriel topologique. En effet, par définition ( + y) (a + b) a + b. On a ( + y) (a + b) ε dès que a 1 2 ε et y b 1 2 ε. Ce qui prouve que (, y) + y est une application continue de E E dans E. D autre part, on a ξ λa = (ξ λ)( a) + (ξ λ)a + λ( a);

14 Si λ 0 et a 0 : ξ λa < ε, dès que ( ) ( ) ε ξ λ < min 3, ε ε et a < min 3 a 3, ε 3 λ Si λ = 0 et a 0 : ξ λa < ε, dès que ( ) ε ξ < min 3, ε 3 a et a < ε 2 Si λ 0 et a = 0 : ξ λa < ε, dès que ( ) ε ε ε ξ λ < et < min 3 2, 2 λ Si λ = 0 et a = 0 : ξ λa < ε, dès que ξ < ε et < ε. Théorème Un espace vectoriel E muni de la topologie engendrée par une famille séparante de semi-normes est un espace vectoriel topologique. Preuve : Etablissons la continuité de l addition en un point (a, b). Fions un indice i 0 I et un réel ε > 0. Pour (, y) E E nous avons p i0 [( + y) (a + b)] p i0 ( a) + p i0 (y b). Il s en suit que p i0 (( +y) (a+b)) ε dès que p i0 (ϕ( a)) ε/2 et p i0 (ϕ(y b)) ε/2 d où la continuité de l addition au point (a, b). Pour la multiplication eterne (λ, ) λ, établissons sa continuité en un point (α, a). Fions un indice i 0 I et un réel ε > 0. Pour (λ, ) K E, nous avons p i0 [(λy) (µa)] λ α p i0 () + α p i0 ( a). Fions un réel r > 0 tel que α r ε/2. Nous observons que pour vérifiant p i0 ( a) r nous avons p i0 () p i0 (a) + r et donc λ α p i0 () λ α (p i0 (a) + r). Fions alors un réel η tel que η(p i0 (a) + r) ε/2. Pour (λ, ) K E vérifiant λ α η et p i0 ( a) r nous avons p i0 (λ αa) ε, d où la continuité de la multiplication au point (α, a). On en déduit ainsi que : 1 2 Les translations et les homothéties, de rapports 0, sont des homéomorphismes. L ensemble V(a) des voisinages d un point a E est l image par la translation τ a de l ensembles des voisinage V(0) de 0. La topologie d un espace vectoriel est connue dès que l on connait les voisinages de 0 : V(a) = τ a (V(0)).

15 Chapitre 2 Espaces vectoriels localement convees On va montrer qu un espace vectoriel muni d une famille séparante de semi-normes est un espace vectoriel topologique localement convee. Inversement, on montrera que tout espace vectoriel topologique localement convee est un espace vectoriel sur lequel on définit une famille séparante de semi-normes. 2.1 Ensembles convees, équilibrés et absorbants Définition Soit A un sous-ensemble de E. 1 A est convee si, pour chaque, y A et chaque λ [0, 1], on a λ + (1 λ)y A. 2 A est équilibré si, pour chaque A et chaque λ K : λ 1, on a λ A A est absorbant si, pour chaque E et chaque λ K on a λa. A absorbe B E, s il eiste λ R + tel que B λa. A est absolument convee s il est convee et équilibré. Lemme Si p est une semi-norme sur un espace vectoriel E, alors l ensemble B 1 = { E : p() 1} est convee, équilibré et absorbant. Preuve : Soient, y V et λ [0, 1]. Posons z = λ + (1 λ)y E, alors p(z) = p(λ + (1 λ)y) = λp() + (1 λ)p(y) λ + (1 λ) = 1.

16 Donc z B 1 et B 1 est convee. Supposons que µ K et µ 1, comme B 1 alors p(µ) = µ p() p() 1 et µ B 1. Donc B 1 est équilibré. Pour montrer que B 1 est absorbant, prenons E et p() = k alors p(k 1 ) = 1 1 donc k 1 B 1. Plus précisément, soit λ R +, on définie B λ = { E : p() λ} On vérifie facilement que l on a B λ = λb Jauges ou fonctionnelles de Minkowski Les jauges jouent un rôle important dans l étude du lien entre les espaces vectoriels topologiques et les espaces localement convees. Lorsque A est une partie absorbante d un espace vectoriel E, alors pour chaque E, l ensemble {λ > 0 : λa} est non vide, on peut alors considérer J A () = inf{λ > 0 : λa}. On a définit ainsi une fonction réelle J A : E R appelée jauge ou fonctionnelle de Minkowski de A. Si A est convee et absorbante alors, pour tout, y E et chaque réel λ R +, on a J A ( + y) J A () + J A (y) et J A (λ) = λj A (). Si de plus A est équilibré, alors J A est une semi-norme : Si A E est convee, absorbant et équilibré alors J A est une semi-norme sur E. Preuve : Comme A est une partie absorbante de E alors J A est bien définie sur E et J A : E R +. Soient E, y E, λ > 0 et β > 0 tels que λa et y βa. On a [ λ + y λa + βa = (λ + β) λ + β A + β ] λ + β A (λ + β)a car A est convee. D où l additivité J A ( + y) J A () + J A (y). Finalement, puisque A est equilibré, il vient que J A (λ) = λ J A ().

17 On vérifie facilement que { E : J A () < 1} A { E : J A () 1} Nous allons montré le théorème suivant qui donne une caractérisation des espaces localement convees ceci justifie en même temps le nom donnés à ces espaces. Théorème Soit E un espace vectoriel topologique, alors on a les conditions suivantes sont équivalentes : E est localement convee; Il eiste un système fondamental de voisinages convees de l origine; Il eiste un système fondamental de voisinages convees, équilibrés et absorbants de l origine. Preuve : 1 = 2 : Si la topologie de E est définie par une famille de semi-normes (p i ) i I, alors les ensembles V n (ε) = { E : p i () ε, i I n } où 0 < ε < 1, forment un système fondamentale de voisinages convees de l origine. 3 = 1 : A chaque voisinage convee, equilibré et absorbant V on peut lui associé une jauge J V qui est une semi-norme. La famille des jauges, ainsi, obtenue définie la topologie de E. 2 = 3 : Il suffit de montrer que si V est un voisinage convee de l origine alors l ensemble U = λ =1 est un voisinage convee, absorbant et équilibré de l origine. Comme (µ, ) µ est continue à l origne (0, 0), il eiste ε > 0 et un voisinage V de l origne dans E tel que λv µ V pour tout µ ε et pour tout V. Ceci est équivalent à l eistence d un voisinage W de 0 tel que µw V pour tout µ 1. En particulier : µw V pour tout µ = 1. Ainsi, W λv où λ = 1, ce qui implique que U est un voisinage de 0 dans E. Il est clair que U est convee comme intersection de convees. De plus U est absorbant. Montrons, enfin, que U est équilibré. Si U, le segment [0, ] est contenu dans U c est-à-dire que λ U pourtout 0 λ 1. D autre

18 part, si U, de la définition de U il vient que λ U pour tout λ = 1. Si µ 0 et µ 1 on obtient µ = µ. µ µ U ce qui montre que U est équilibré. Eemple Soit Ω un ouvert de R n et 1 p < +. Notons L p loc (Ω) l espace des fonctions mesurables p-localement intégrable sur Ω c est-à-dire : pour tout compact K de Ω on a f() p < +. On définie une semi-norme par K [ p K (f) = K f() p ] 1/p < + La famille de semi-normes (p K ) K KΩ détermine une topologie faisant de L p loc (Ω) un espace vectoriel localement convee. Définition On dit qu une suite ( n ) n de E converge vers un éléments E si, pour chaque voisinage V de 0, il eiste un entier m 0 tel que, pour chaque entier m > m 0, on a m V. Comme la topologie étant séparée, une suite convergente possède une seule limite. En terme de semi-normes on a la définition équivalente : Une suite ( n ) n de E converge vers un éléments E si, et seulement si, pour chaque indice i I et chaque ε > 0 il eiste un entier m 0 tel que pour chaque entier m m 0 on a p i ( m ) ε. On peut introduire dans les espaces vectoriels topologiques la notion de suite de Cauchy : Définition On dit qu une suite ( n ) n de E est une suite de Cauchy si, et seulement si, pour chaque voisinage V de 0, il eiste un entier m 0 tel que, pour chaque entier m, m > m 0, on a m m V. Ce qui se traduit en terme de semi-normes par : Une suite ( n ) n de E est une suite de Cauchy si, et seulement si, pour chaque indice i I et chaque ε > 0, il eiste un entier m 0 tel que pour chaque entier m, m m 0 on a p i ( m m ) ε.

19 On conserve les notations, précédemment évoquées. Les topologies suivantes ne peuvent être déterminées par des normes. Eemple Dans l espace C(Ω), la topologie déterminée par la famille de seminormes (p K ) K KΩ p K (f) = sup f() K est appelée la topologie de la convergence uniforme sur les parties compactes de Ω. Une suite (f n ) n de C(Ω) converge vers f si, et seulement, si pour chaque K K Ω, la suite (f n ) n converge uniformément vers f sur K. Toute suite de Cauchy de C(Ω) est convergente. Cette topologie ne peut être déterminée par une norme. Eemple Dans l espace C k (Ω), k 1, la topologie déterminée par la famille de semi-normes (p K ) K KΩ p K (f) = sup K, α k α f() est appelée la topologie de la convergence uniforme sur les parties compactes de Ω pour f et toutes ses dérivées jusqu à l ordre k. Une suite (f n ) n de C k (Ω) converge vers f si, et seulement, si pour chaque K K Ω, la suite ( α f n ) n converge uniformément vers α f sur K. Toute suite de Cauchy de C k (Ω) est convergente. On va étudier rapidement les notions topologiques vues en Licence dans le cadre des espaces vectoriels dont la topologie est déterminée par une famille séparante de seminormes. Dans ce qui suit E et F sont deu espaces vectoriels munis respectivement par des topologies déterminées par les familles de semi-normes (p i ) i I et (q l ) l L. Rappelons que V est un voisinage de a E si, et seulement si, il eiste un sous-ensemble fini non vide I n de I et un réel r > 0 tel que V n (a, r) V. Étant donné a E et A une partie non vide de E. On a a A si, et seulement si, pour chaque sous-ensemble fini non vide I n de I et pour chaque réel r > 0 on a n N, r > 0, V n (a, r) A Théorème L adhérence d une partie convee est convee. L adhérence d un sous-espace vectoriel est un sous-espace vectoriel. Preuve : Notons par f l application de E E R dans E qui, à chaque (, y, λ) associe f(, y, λ) = λ+(1 λ)y. Cette application f est continue. Nous observons qu une partie

20 A de E est convee si, et seulement si, f(a A [0, 1]) A. Pour chaque partie convee C de E nous avons ( ) f C C [0, 1] = f ( C C [0, 1] ) f(c C [0, 1]) C ce qui montre la conveité de C. On utilise une méthode analogue pour démontrer que l adhérence d un sous-espace vectoriel est un sous-espace vectoriel. Lemme Soit E un espace localement convee et F un fermé de E. Supposons que V est un voisinage ouvert convee et équilibré de 0 dans F et soit E et / F. Alors, il eiste un voisinage W ouvert convee et équilibré de 0 dans E tel que / W et W F = V. Preuve : Comme F est un fermé de E, il eiste un voisinage V 0 ouvert convee et équilibré de 0 dans E tel que ( + V 0 ) F = et V 0 F V Posons W l enveloppe convee équilibré de V V 0. Il est facile de montrer que W est ouvert. D autre part, on a clairement V W F. Si w W F, il s écrit w = αv + βv 0 avec v V et v 0 V 0 et α + β 1. On doit supposer β 0, sinon il y aurait rien à démontrer. La relation précédente implique que v 0 V 0 F V, donc w V. Finallement, supposons par contradiction que W. Alors, = y + z avec y F et z V 0. Ainsi, y = z ( + V 0 ) F ce qui est impossible. 2.3 Applications et formes linéaires Définition Une application f de E dans F est continue au point a E si, et seulement si, pour chaque l L et chaque réel ε > 0, il eiste un sous-ensemble fini non vide I n I et un réel r > 0 tels que ma p i ( a) < r = q l (f() f(a)) < ε i I n Si f est une application linéaire cette définition se reformule ainsi :

21 Théorème Soit f une application linéaire de E dans F. Les affirmations suivantes sont équivalentes : 1 f est continue; 2 f est continue en 0; 3 l L, il eiste I n I, fini, et c R + tel que, pour chaque E on a : q l (f()) c ma p i (). i I n Lorsque E = F et f une forme linéaire sur E, on a Théorème Soit f une forme linéaire de E. équivalentes : 1 f est continue; Les affirmations suivantes sont 2 f est continue en 0; 3 Il eiste I n I, fini, et c R + tel que, pour chaque E on a : f() c ma p i (). i I n Ce résultat s écrit ainsi : η > 0, c > 0 et n N tel que f ( ( )) η V n ] η, η[. c L ensemble des formes linéaires continues sur E est un espace vectoriel noté E appelé la dual topologique de E. Rappelons que si H est un sous-espace vectoriel d un espace vectoriel, les affirmations suivantes sont équivalentes : 1. H est le noyau d une forme linéaire non nulle définie sur l espace vectoriel. 2. H est un élément maimal, pour l inclusion, parmi les sous-espaces vectoriels propres de l espace vectoriel.

22 Corollaire Si H est un hyperplan de E alors H est fermé ou dense dans E. Théorème Un hyperplan de E est fermé si, et seulement si, il est le noyau d une forme linéaire continue. Preuve : Soient H un hyperplan fermé de E et f une forme linéaire non nulle dont H est le noyau. Nous pouvons trouver un a E tel que f(a) = 1, l ensemble a + H est alors un fermé de E qui ne contient pas 0. Par définition, on peut trouver n N et r > 0 tel que V f,n (r) (a + H) =. Nous allons montrer que pour chaque V f,n (r) on a f() < 1. Supposons la contraire : il eiste 0 V f,n (r) tel que f() > 1. Quite à multiplier 0 par un réel de module égal à 1 nous pouvons supposer que f( 0 ) est un réel 1. Si f( 0 ) = 1 alors 0 a H ( 0 + a H) ce qui est contradictoire avec V f,n (r) (a + H) =. Si f() > 1 il eiste un réel λ ]0, 1[ tel que f(λ 0 ) = 1. Nous remarquons que λ 0 V f,n (r) et nous sommes ramenés au cas précédent. Puisque, pour chaque E, ma p i () r i I n entraîne f() 1 et pour chaque E nous avons f() (1/r) ma p i (). i I n Définition On dit qu une métrique d sur un espace vectoriel E est invariant par translation si, pour chaque, y, a E, on a d(, y) = d( + a, y + a). Deu métriques d et d, invariantes par translation sur le même espace vectoriel E, qui déterminent la même topologie sont uniformément équivalentes (c est-à-dire que I E : (E, d) (E, d ) et I E : (E, d ) (E, d) sont uniformément continues). Lorsque d et d sont deu métriques invariantes par translation topologiquement équivalentes sur E alors (E, d) est complet si, et seulement si, (E, d ) est complet. Définition On dit que la topologie T d un espace vectoriel topologique E est métrisable s il eiste une métrique sur E, invariante par translation, qui détermine la topologie T. Théorème La topologie sur un espace vectoriel déterminée par une suite séparante de semi-normes est métrisable. Preuve : Soit (p k ) k une suite séparante de semi-normes sur un espace vectoriel E. Pour, y E définissons + d(, y) = 2 k p k ( y) 1 + p k ( y). k=1 Il est facile de vérifier que d est une distance invariante par translation sur E qui détermine la même topologie que la suite (p k ) k.

23 Eemple Lorsque (p k ) 1 k m est une suite finie séparante de semi-normes sur E alors ( m ) 1 r ma p k et p r k, 1 r < 1 k k=1 sont des normes équivalentes qui déterminent la même topologie que la suite (p k ) 1 k<m Un espace vectoriel muni d une topologie déterminée par une famille séparante de semi-normes est dit espace de Fréchet lorsqu il eiste une distance invariante complète qui détermine T. Eemple Les espaces C(Ω), C k (Ω) et C (Ω) sont des espaces de Fréchet. 2.4 Dualité dans les E.V.T. Soit E un espace vectoriel sur K = R ou C, le dual algébrique, noté E, est l espace vectoriel des formes linéaires : E K. On note () =<, > le crochet de dualité représentant la valeur de sur E. Pour chaque E posons p () = <, >. L application p : E K est une semi-norme sur sur E et la famille (p ) E détermine une lopologie localement convee sur E, notée σ(e, E ). Dans le même d idées, nous pouvons définir une topologie localement convee sur E, notéeσ(e, E). Lorsque E est un K-espace vectoriel topologique, Le dual topologique E de E est le sousespace de E formé des formes linéaires continues (ou fonctionnelles) sur E. La topologie σ(e, E ) définie sur E par la famille de semi-normes (p ) E est dite topologie faible sur E elle est plus fine que la topologie de E et de celle induite par σ(e, E ). Eemple Soit E un espace vectoriel normé, E son dual topologique et f E. On peut recenser les ouverts qui doivent appartenir à la topologie σ(e, E ) de la manière suivante : si f E et U ouvert de R, il faut que f 1 (U) soit un ouvert de σ(e, E ). Mais comme les intervalles sont une base de voisinages de R, on voir que ceci revient à dire que pour tout intervalle I et tout f E, f 1 (U) est dans σ(e, E ). La topologie σ(e, E ) est la moins fine contenant tous les ensembles f 1 (I) pour tout f E et tout intervalle I de R. On définit, de même, la topologie faible σ(e, E) sur le dual topologique E de E. Il vient qu une suite ( j) converge faiblement vers 0 dans E si, et seulement si, pour tout E,

24 la suite j() converge vers 0 dans K. Ainsi, la topologie faible σ(e, E) coincide avec la topologie de la convergence simple sur E. Dans E on peut définir une autre importante topologie localement convee à savoir la topologie forte sur E. Pour cela, on doit caractériser les parties bornées de E. Définition Soit E un espace vectoriel topologique. On dit que A E est borné si, pour chaque V V 0, il eiste un réel λ > 0 tel que λa V. Lorsque E est un espace vectoriel localement convee, chaque voisinage de 0 contient un voisinage équilibré de 0. Ce qui justifie : Définition Si E est un espace vectoriel localement convee A E est borné si, pour chaque V V 0, il eiste un réel ε > 0 tel que λa V pour tout λ 0. Les deu définitions sont équivalente dans le cas général, puisque tout espqce vectoriel topologique admet une base de voisinages équilibrés de 0. En d autres termes : B est bornée s il est absorbée par chaque voisinage de 0 ce qui est équivalent à : pour chaque i I on a sup p i () < +. B Eemple Toute partie finie et, plus généralement, toute partie compacte de E est bornée. Eemple Toute partie relativement compact A d un espace localement convee E est bornée. En effet, soit V V 0 dans E, il eiste W V 0 tel que W + W V et µw W pour tout µ 1. Comme A est relativement compact, on peut trouver un ensemble fini ( j ) 1 j p d éléments de A tel que les ouverts ( j + W ) 1 j p forment un recouvrement de A. Comme ( j ) 1 j p est borné dans E, on peut trouver 0 < λ < 1 tel que λ{ j } W. On a alors Donc A est borné. p λa λ( j + W ) W + W V. j=1 Définition Soit B une partie d un espace vectoriel topologique E. polaire B de B est le sous-ensemble de E définie par L ensemble B = { E : <, > 1, B}. Théorème Si A est une partie bornée d un espace vectoriel topologique E alors son ensemble polaire A E est un sous-ensemble convee, équilibré et absorbant de E.

25 Preuve : Si, y A et α, β 0 tels que α + β = 1, on a <, α + βy > α <, > + β < y, y > 1. Donc A est convee. Si A et λ K tel que λ 1, on a <, λ > = λ. <, > 1. Ainsi, λ A et A est équilibré. Finallement, soit z E et considérons le voisinage de 0 suivant V = { E : <, z > 1}. Comme A est un sous-ensemble borné de E, il eiste λ > 0 tel que λa V, donc <, λz > = < λ, z > 1, A, ce qui montre que A est un sous-ensemble absorbant dans E. Les résultats de ce théorème, nous conduit à définir, pour toute partie A borné d un espace vectoriel topologique E la semi-norme suivante sur E par p A ( ) = inf{λ 0 : λa }. Si l on note B(E) la famille des parties bornées de E, la famille (p A ) A B(E) définie une topologie localement convee et séparée sur E, dite topologie forte de E. On peut montré que la suite ( j) converge fortement vers 0 dans E si, et seulement si, la suite ( j()) converge uniformément vers 0 sur chaque partie bornée de E. Ainsi, la topologie forte sur E est dite topologie de la convergence uniforme sur les parties bornées de E. On note par E b le dual topologique E muni de la topologie forte ainsi définie. Eemple Si E est un espace normé, son dual topologique E muni de la norme est un espace de Banach. E = sup <, > E Topologie limite inductive Nous aborderons, dans la suite, la notion de topologie limite inductive d un point de vue qui nous permettra de définir l espace des fonctions tests et la notion duale des distributions. Soit (E i ) i N une suite croissante d espaces localement convees tels que l application identité E i E i+1 soit continue pour chaque i. Posons E = E i. i=1

26 Définissons sur E la topologie localement convee la moins fine rendant les identités E i E i+1 continues pour i = 1, 2,,. Elle est dite topologie limite inductive de E définie par les sous-espaces E i. L espace E muni de cette topologie est dit limite inductive des espaces (E i ) i N. Pour que un convee V soit un voisinage de 0 dans la topologie limite inductive, il faut et il suffit que chaque intersection V E i pour tout i = 1, 2,. Ainsi, nous obtenons un système fondamentale de voisinages de l origine dans E en prenant toutes les enveloppes convees de la forme ( ) V = Γ V i où chaque V i appartient au système fondamentale de voisinages convees de chaque E i, i = 1, 2,. Proposition Soit E la limite inductive de (E i ) i N et soit F un espace localement convee. Une application linéaire u : E F est continue si, et seulement si, la restriction u i = u Fi de u est continue de E i dans F pour tout i N. i=1 Preuve : Si u est continue, alors chaque restriction u i est continue puisque, par définition, l identité E i E est continue. Inversement, supposons que chaque u i de E i F est continue. Fions U un voisinage convee de 0 dans F (, il eiste un voisinage convee de ) 0, noté V i, dans E i tel que u i (V i ) U. Alors, V = Γ V i est un voisinage de 0 dans i=1 E, et on a u(v ) U; donc u est continue de E dans F. Théorème Si E est la réunion d une suite croissante (E i ) i N d espaces localement convees tels que : Pour tout i, l identité E i E i+1 est continue; La topologie induite par E i+1 sur E i coincide avec la topologie de E i, pour tout i; E i est un sous-espace fermé de E i+1, pour tout i. Alors : 1. La topologie limite inductive de E induit sur chaque E i sa topologie originale. 2. Un sous-ensemble A est borné dans la topologie inductive de E si, et seulement, il eiste un indice j tel que A est contenu et borné dans E j. Preuve : 1. Dans le but de montrer que la topologie induite par E sur E i coincide avec la topologie originale de E i, il suffit de montrer que : étant donné V i un voisinage

27 convee équilibré de 0 dans E i, il eiste un voisinage V de 0 dans E tel que V i = V E i, i. En appliquant le lemme, Il est facile de voir qu il eiste une suite (V i+k ), k = 0, 1, 2,, de voisinages convee équilibré de 0 dans E i+k tel que En posant V = que V i = V E i. k=0 V i+k 1 = V i+k E i+k 1, k = 1, 2,. V i+k, il est aisé de voir que V est un voisinage de 0 dans E et 2. Soit A un borné de E. Supposons, par contradiction, qu il n eiste pas d indice i tel que A E i. Alors, on peut trouver une suite croissante d indices (i n ) et une suite ( n ) d éléments de E tel que n A E in et n / E in 1. D après le lemme, il eiste une suite (V n ) de voisinages ouvert convee et équilibré de 0 dans E in tel que n / nv n et V n E in 1 = V n 1. Posons V = V n. Alors V est un voisinage de 0 dans E tel que i V E in = V n et n / nv n. Mais, ceci contredit la supposition que A est borné dans E. Eemple (L espace C c (Ω)). Soit (K i ) une suite croissante de compacts d un Ω un ouvert R n telle que Ω = i K i. Posons E = C c (Ω) l espace des fonctions continues à support compact définies sur Ω. Posons E i = C c (Ω, K i ) le sous-espace de C c (Ω) formé des fonctions continues dont le support est inclu dans K i. On a C c (Ω) = i C c (Ω, K i ). Définissons sur C c (Ω, K i ) la topologie de la convergence uniforme sur K i ; elle est localement convee puisqu elle est définie par la norme p Ki (f) = sup K i f(). L espace C c (Ω, K i ) muni de cette norme est un espace de Banach et l application C c (Ω, K i ) C c (Ω, K i+1 ) est continue. L espace C c (Ω, K i ) est un sous-espace fermé de C c (Ω, K i+1 ). Les hypothèses de theorème précédent sont vérifiées, on définit sur C c (Ω) la topologie limite inductive des espaces C c (Ω, K i ). Comme conséquence : une suite (ϕ j ) converge vers 0 dans C c (Ω) si, et seulement si, on a : 1 Il eiste un compact K de Ω tel que supp(f j ) K pour chaque j; 2 La suite (f j ) converge uniformément vers 0 sur K.

28 Eemple (L espace L p c (Ω), 1 p ). Soit K un compact de Ω ouvert de R n. Désignons par L p (K), 1 p < +, l espace des fonctions L p -intégrables à support contenu dans K muni de sa norme naturelle. Les espaces L p (K) sont des espaces de Banach. Si K 1 K 2, l application L p (K 1 ) L p (K 2 ) est continue et la topologie induite par L p (K 2 ) sur L p (K 1 ) coincide avec la topologie de L p (K 1 ). Si (K i ) est une suite croissante de compacts de Ω telle que Ω = K i. Alors L p c(ω) = L p (K i ) est muni de la i i topologie limite inductive. 2.6 Topologie des espaces de fonctions tests Soit Ω un ouvert fié de R n. Pour chaque partie compacte K Ω on note D K (Ω) = {ϕ E(Ω) : Ω \ K, ϕ() = 0}. L espace D K (Ω) est le sous-espace vectoriel de E(Ω) dont les éléments sont les fonctions dont le support, contenu dans K, est une partie compacte de Ω. C est un sous-espace fermé de E(Ω), donc D K (Ω) est un espace de Fréchet. On note D(Ω) = C c (Ω) = D K (Ω) K K Ω le sous-espace vectoriel de E(Ω) dont les éléments sont les fonctions dont le support est une partie compacte de Ω. Le sous-espace D(Ω) n est pas fermé dans E(Ω). On note T K la topologie induite par E(Ω) sur D K (Ω). C est la topologie déterminée sur D K (Ω) par la famille de semi-normes sur D(Ω) : p m (ϕ) = sup α ϕ() < +. α m, Ω On va construire une topologie sur D(Ω) en distinguant une famille de parties qui sera, en fait, une base de voisinages de 0. Pour cela, on note V = {V D(Ω); absolument convee et équilibré, K K Ω, V D K (Ω) T K }. Pour chaque V V, sa jauge J V est une semi-norme sur D(Ω) Corollaire La famille de semi-normes (J V ) V V est séparante. Preuve : Soit ϕ D(Ω) telle que ϕ 0. Evidemment r = sup ϕ() > 0. Notons Ω V = {f D : q 0 (f) < r}. Il est clair que V V et que J V (ϕ) 1. On note par T la topologie sur D(Ω) déterminée par la famille (J V ) V V.

29 Corollaire Pour chaque V V on a V = {ϕ D(Ω) : J V (ϕ) < 1} et la famille V est un système de voisinage de 0 pour la topologie T. Autrement dit, pour tout voisinage U de 0 pour T il eiste V V tel que V U. Preuve : Il est clair que V est convee et que {ϕ D(Ω) : J V (ϕ) < 1}. Réciroquement, soit ϕ V. Il eiste une partie compacte de Ω telle que ϕ appartient à l ouvert V D K (Ω) de D K (Ω). L application λ R λϕ étant continue au point λ = 1 il eiste alors un réel r > 1 tel que pour tout réel λ véerifiant 1 r λ 1 + r on a λϕ V D K (Ω).Il découle (1 + r)ϕ V donc J V (ϕ) < 1. La suite est clair. Théorème Pour chaque partie compact K de Ω, la topologie T K et la topologie induite par T sur D K (Ω) sont égau. Preuve : Fions une partie compacte K de Ω. Soit U un voisinage de 0 dans D K (Ω) muni de la topologie induite par T. D après le corollaire précédent nous pouvons trouver V V tel que V D K (Ω) U. Puisque V D K (Ω) est un voisinage de 0 pour T K il s ensuit que U est aussi voisinage de 0 pour cette même topologie. La topologie induite par T sur D K (Ω) est donc moins fine que la topologie T K. Réciproquement, soit W un voisinage de 0 pour T K. Puisque la suite (p m ) m détermine la topologie T K sur D K (Ω), il eiste alors un m 0 et un réel r > 0 tel que {ϕ D K (Ω) : p m (ϕ) < r} W. Il est clair que V = {ϕ D(Ω) : p m (ϕ) < r} V, il s ensuit que W est un voisinage de 0 pour la topologie induite par T sur D K (Ω). Théorème Une suite (ϕ m ) m de D(Ω) tend vers 0 quand m tend vers + si, et seulement si, il eiste un compact K Ω tel que, pour chaque m, on a ϕ m D K (Ω) et (ϕ m ) m tend vers 0 pour la topologie T K. Preuve : Puisque la topologie T K est induite par T sur D K (Ω) il est clair qu une suite (ϕ m ) m de D(Ω) telle que ϕ m D K (Ω) pour chaque entier m et qui tend vers 0 dans D K (Ω) tend aussi vers 0 dans D(Ω). Réciproquement, considérons une suite (ϕ m ) m de D(Ω) tendant vers 0 et supposons que pour chaque compact K Ω il eiste un entier m tel que la restriction ϕ m Ω\K 0. Fions (K l ) l une suite ehaustive de compacts de Ω. Nous pouvons alors construire une suite strictement coissante d entiers (m l ) l et une suite ( l ) l de Ω qui vérifient, pour chaque entier l, l Ω \ K i et ϕ ml ( i ) 0. Notons alors V = {ϕ D(Ω) : l, ϕ( l ) < (1/2) ϕ mi ( i ) }. Il est clair que V est absolument convee. Pour chaque compact K Ω il n y a qu un nombre fini de l qui appartiennent à K, il s ensuit que V D K (Ω) T K et donc V est un voisinage de 0 pour T. La suite (ϕ m ) m convergeant vers 0 il eiste un entier m l tel que ϕ ml V ce qui est contradictoire.

30 Théorème Une suite (ϕ m ) m de D K (Ω) est Cauchy si, et seulement si, il eiste un compact K Ω tel que, pour chaque entier m, ϕ m D K (Ω) et (ϕ m ) m est de Cauchy pour la topologie T K. La preuve est identique à celle du théorème précédent. Théorème Toute suite de Cauchy de D(Ω) est convergente. Théorème Soit u une application linéaire de D(Ω) dans un espace vectoriel E muni de la topologie déterminée par une famille séparante de semi-normes. Les affirmations suivantes sont équivalentes : 1 u est continue, 2 pour toute suite (ϕ m ) m 0 dans D(Ω), la suite (u(ϕ m )) m tend vers 0 dans E, 3 pour tout compact K Ω, la restriction de u à D K (Ω) est continue. Preuve : Les affirmations 1 = 2 et 2 = 3 sont évidentes. Montrons que 3 = 1. Pour cela nous allons établir la continuité de u en 0. Soit W un voisinage absolument convee de 0 dans E. Il est clair que V = u 1 (W ) est une partie absolument convee de D(Ω). Puisque V D K (Ω) = (u DK (Ω)) 1 (W ) nous avons V D K (Ω) T K. Il s ensuit que V est un voisinage de 0 dans D(Ω). Remarque: Soit u une forme linéaire sur D(Ω). u est continue si, et seulement si, pour chaque compact K Ω, il eiste un réel C et un entier m 0 tels que, pour chaque ϕ D K (Ω), on a u(ϕ) C sup α ϕ(). Ω, α m La constante C et l entier m dépendent du compact K.

31 Chapitre 3 Distributions 3.1 Définitions et propriétés Définition Les formes linéaires continues sur D(Ω) sont appelées distributions sur l ouvert Ω. L espace vectoriel de toutes les distributions sur Ω sera noté D (Ω). L espace D (Ω) est le dual topologique de l espace fonctionnel C c (Ω). Ainsi, on a le résultat suivant : Proposition Une forme linéaire T est une distribution sur Ω si, et seulement si, pour chaque compact K Ω, il eiste une constante C > 0 et un entier m 0 tels que < T, ϕ > C. sup α ϕ(), ϕ D K (Ω). ( ) Ω, α m Preuve : Soit T D (Ω). Pour chaque compact K Ω, T est une forme linéaire sur D K (Ω). Il eiste, alors, V V 0 de la forme V = V m,ε K = {ϕ D K (Ω) : p m,k(ϕ) ε} où p m,k (ϕ) = sup α ϕ() tel que < T, ϕ > 1 pour tout ϕ V. D autre part, K, α m si ϕ D K (Ω) est tel que ϕ 0, on a ε.ϕ p m,k (ϕ) V.

32 Il s ensuit que < T, ϕ > < (1/ε).p m,k (ϕ), ϕ D K (Ω) \ {0}. En posant C = ε 1 on obtient ( ) lorsque ϕ 0. Notons, enfin, qu on a l égalité dans ( ) lorsque ϕ = 0. Inversement, si ( ) est satisfaite, alors pour chaque compact K Ω, T est une forme linéaire continue sur D K (Ω). D après la proposition 2.5.1, on en déduit que T est une distribution sur Ω. L inégalité ( ) n est le seul critère à démontrer pour vérifier qu une forme linéaire sur D(Ω) est une distribution. Une autre caractérisation s impose en terme de suites convergentes dans D(Ω) : Théorème On a T D (Ω) si, et seulement si, pour toute suite (ϕ i ) convergente vers 0 dans D(Ω), la suite numérique < T, ϕ i > converge vers 0 dans K = R ou C. Preuve : Supposons que T D (Ω) et (ϕ i ) une suite convergente vers 0 dans D(Ω). Il eiste un compact K Ω tel que ϕ i D K (Ω), i et ϕ i 0 dans D K (Ω). Comme T est continue dans D(Ω), d après ( ), on a (< T, ϕ i > 0 lorsque i +. Inversement, Supposons que ceci est vérifié. Il suffit de vérifier que T est continue sur chaque espace D K (Ω). Supposons, par contradiction, qu il eiste K i0 telle que T n est pas continue sur D Ki0 (Ω). On peut trouver, alors, une suite (ϕ i ) de fonctions de D Ki0 (Ω) convergente vers 0 dans D Ki0 (Ω) telle que < T, ϕ i > ne converge pas. Comme l inclusion D Ki0 (Ω) D K (Ω) est continue, la suite (ϕ i ) doit converger vers 0 dans D K (Ω), ainsi (< T, ϕ k >) devrait converger vers 0 ; Contradiction. Eemple Soit f L 1 loc (Ω). Définissons une forme linéaire T f par T f (ϕ) = f()ϕ()d, ϕ C c (Ω). Ω : C c (Ω) C Comme f L 1 loc (Ω) alors C = f() d < +. Ω facilement que T f (ϕ) f() ϕ() d sup ϕ(). Ω K Ω Posons supp(ϕ) = K; on vérifie f() d C(K). sup ϕ(). K Ainsi, T f : C c (Ω) C est une distribution, dite régulière, d ordre α = 0. L application j : L 1 loc (Ω) D (Ω) définie par j(f) = T f est injective : L 1 loc (Ω) D (Ω).

33 Dans l eemple suivant nous montrerons que j n est pas surjective. Eemple Soit a Ω. On considère la forme linéaire sur D(Ω) définie par < δ a, ϕ >= ϕ(a), ϕ D(Ω). On vérifie, alors que < δ a, ϕ > ϕ L (Ω), ϕ D(Ω) donc δ a est une distribution d ordre 0 dans Ω. Cette distribution est dite masse de Dirac au point a. Mais, δ a ne s écrit pas en fonction d une fonction de L 1 loc (Ω). En effet, supposons qu il eiste f L 1 loc (Ω) telle que δ a = T f c-à-d. < δ a, ϕ >= f()ϕ()d = ϕ(a), ϕ D(Ω). Posons Ω = Ω\{a}. Alors < δ a, ϕ >= Ω Ω f()ϕ() = 0, ϕ D( Ω). Donc f = 0 presque partout dans Ω et donc presque partout dans Ω. Ainsi, ϕ(a) = 0 pour tout ϕ D(Ω) ce qui contredit la fait que < δ a, ϕ > 0. La masse de Dirac au point a est un eemple de distributions, dites singulières, qui ne proviennent pas d une fonction appartenant à L 1 loc (Ω). Eemple Posons Ω = R et définissons < δ, ϕ >= δ, dϕ = dϕ (0), ϕ D(R). d d Il est clair que δ est une forme linéaire continue sur D(R). Lorsque Ω = R n, on peut généraliser cet eemple en posant < k δ, ϕ >= ( 1) k < δ, k ϕ >= ( 1) k k ϕ(0) pour tout ϕ D(R n ), 1 k n. Nous montrerons que k δ n est autre que la dérivée partielle d ordre k de la masse de Dirac au sens des distributions. Eemple La fonction 1/ n est pas localement intégrable sur R, Donc elle ne peut définir une distribution régulière sur R. Par contre, elle l est sur R donc elle définit une distribution que l on pourra prolonger à R. Par définition, posons vp ( 1 ) ϕ() +, ϕ = lim ε 0 ε d = 0 ϕ() ϕ( ) d, ϕ D(R).

34 Cette dernière limite est dite valeur principale de Cauchy de l intégrale On a alors ϕ() d = ε ε ϕ() d + = ϕ( ε) log ε + ε ε ϕ() d ϕ () log d ϕ(ε) log ε + ε + ϕ() d. ϕ () log d. Mais, on peut écrire ϕ() = ϕ(0) + ψ() tel que ψ(0) = ϕ (0). En remplaçant, on trouve ε ϕ() d = 2εψ(ε) log ε ε ϕ () log d + ε ϕ () log d. Passons à la limite lim ε 0 ε ϕ() d = + ϕ () log d. La dernière intégrale étant convergente; elle définie une forme linéaire sur D(R). D où vp ( 1 ), ϕ = lim ε 0 ε ϕ() d = + ϕ () log d. D autre part, puisque ϕ D(R) il eiste, alors, un réel A tel que suppϕ [ A, A]. Si ε < A alors ( ) 1 ϕ() A vp, ϕ = lim ε 0 ε d = ϕ() ϕ( ) A ϕ() ϕ(0) d = 2 d 0 0 A D après la formule des accroissements finis, on a ϕ() ϕ(0) d 0 A. ϕ. Donc ( ) ( ) 1 1 vp, ϕ 2A ϕ. Ainsi, vp une distribution d ordre inférieur où égal à 1. Il nous reste à montrer qu elle n est pas d ordre 0. Pour cela, on utilise une partition de l unité, corollaire page 10 : Pour tout n 2 il eiste [ ϕ n D(R) telle que 0 ϕ n 1, supp(ϕ n ) ]0, 1[ 1 et ϕ n = 1 sur l intervalle n, n 1 ]. n Soit ψ n la fonction impaire qui coincide avec ϕ n sur R +. Si K = [ 1, 1], alors ψ n D K (R), ψ n = 1 et ( ) 1 1 ϕ n () vp, ψ n = 2 d 2 log (n 1). 0

35 Il n eiste pas de constante C K telle que ( ϕ D K (R) 1 vp Ce qui montre que l ordre de la distribution vp ), ϕ C K ϕ. ( 1 ) est différent de 0. Dans l eemple précédent, ( nous ) avons fait appel à l imparité de la fonction 1/ pour 1 définir la distribution vp comme limite, lorsque ε 0, de la distribution associée à la fonction χ () {: >1}. Pour une fonction non impaire une telle procédure ne fonctionne pas et ce qui nous amène à introduire un terme correctif (divergent) pour pallier à ce défaut en utilisant la méthode des parties finies. Eemple [Partie finie de H()/] Soit ϕ D(R) telle que supp ϕ [ A, A]. On + ϕ() A ε d = ϕ() ϕ(0) d + ϕ(0) log A ϕ(0) log ε. ε Alors, lorsque ε 0 +, on obtient lim ε 0 + ( + ε ) ϕ() d + ϕ(0) log ε = A 0 ϕ() ϕ(0) d + ϕ(0) log A. D après le théorème des accroissements finis, cette epression est majorée en valeur absolue par 2 ϕ (1). ma{a, log A}. Donc Pf ( H() ), ϕ = lim ε ε ϕ() d + ϕ(0) log ε est une distribution d ordre inférieure égal à 1. Faisant appel une deuième fois à la partition de l unité page 10 et en utilisant les mêmes notations que dans l eemple précédent pour montrer que cette distribution est d ordre eactment 1. Eemple Soit 0 Ω alors u(ϕ) = α ϕ( 0 ), avec α N n, est une distribution d orde α. En effet, supposons que u est d ordre β < α et choisissons ψ D (Ω) telle que ψ(0) = 1 et posons ( ) ϕ ε () = ( 0 ) α 0 ψ, ε avec ε > 0. Un calcul simple montre que u(ϕ ε ) = α! alors que sup β ϕ ε K.ε α β 0 si ε 0 et β < α. Ω

Intégration et probabilités TD1 Espaces mesurés Corrigé

Inté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étail

Image d un intervalle par une fonction continue

Image 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étail

Limites finies en un point

Limites finies en un point 8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,

Plus en détail

La mesure de Lebesgue sur la droite réelle

La mesure de Lebesgue sur la droite réelle Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et

Plus en détail

Planche n o 22. Fonctions de plusieurs variables. Corrigé

Planche n o 22. Fonctions de plusieurs variables. Corrigé Planche n o Fonctions de plusieurs variables Corrigé n o : f est définie sur R \ {, } Pour, f, = Quand tend vers, le couple, tend vers le couple, et f, tend vers Donc, si f a une limite réelle en, cette

Plus en détail

Intégration et probabilités TD1 Espaces mesurés

Intégration et probabilités TD1 Espaces mesurés Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?

Plus en détail

Calcul fonctionnel holomorphe dans les algèbres de Banach

Calcul 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étail

Continuité en un point

Continuité 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étail

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Dualité 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étail

Problème 1 : applications du plan affine

Problème 1 : applications du plan affine Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I

Plus en détail

Fonctions de plusieurs variables

Fonctions 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étail

Développement décimal d un réel

Développement décimal d un réel 4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce

Plus en détail

Approximations variationelles des EDP Notes du Cours de M2

Approximations 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étail

Théorème du point fixe - Théorème de l inversion locale

Thé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étail

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications

Université 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étail

Continuité et dérivabilité d une fonction

Continuité 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étail

Suites numériques 3. 1 Convergence et limite d une suite

Suites 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étail

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Chapitre 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étail

Le produit semi-direct

Le 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étail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****

Plus en détail

www.h-k.fr/publications/objectif-agregation

www.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étail

Théorie de la mesure. S. Nicolay

Thé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étail

3 Approximation de solutions d équations

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étail

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Fonctions 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étail

Cours d Analyse. Fonctions de plusieurs variables

Cours 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étail

Théorie de la Mesure et Intégration

Thé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étail

Continuité d une fonction de plusieurs variables

Continuité 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étail

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v 1 1 2 t

n 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étail

De 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

De 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étail

Optimisation 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 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étail

Notes de cours M2 Équations aux dérivées partielles elliptiques. Hervé Le Dret

Notes de cours M2 Équations aux dérivées partielles elliptiques. Hervé Le Dret Notes de cours M2 Équations aux dérivées partielles elliptiques Hervé Le Dret 4 mars 2010 2 Table des matières 1 Rappels en tous genres 7 1.1 Les théorèmes de convergence de Lebesgue............ 7 1.2

Plus en détail

I. Polynômes de Tchebychev

I. 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étail

Problèmes de Mathématiques Filtres et ultrafiltres

Problèmes de Mathématiques Filtres et ultrafiltres Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 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étail

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs Eo7 Limites de fonctions Théorie Eercice Montrer que toute fonction périodique et non constante n admet pas de ite en + Montrer que toute fonction croissante et majorée admet une ite finie en + Indication

Plus en détail

Amphi 3: Espaces complets - Applications linéaires continues

Amphi 3: Espaces complets - Applications linéaires continues Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite

Plus en détail

Calcul différentiel. Chapitre 1. 1.1 Différentiabilité

Calcul 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étail

Mesure et Intégration (Notes de cours de L3)

Mesure et Intégration (Notes de cours de L3) Mesure et Intégration (Notes de cours de L3) Ahmed Zeriahi Version préliminaire-octobre 2011 Avertissement : Ceci est une version préliminaire des notes du cours que l auteur a dispensé en troisème année

Plus en détail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur

Plus en détail

Un 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

Un 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étail

MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours

MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours MSUR T INTÉGRATION N UN DIMNSION Notes de cours André Giroux Département de Mathématiques et Statistique Université de Montréal Mai 2004 Table des matières 1 INTRODUCTION 2 1.1 xercices.............................

Plus en détail

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Exercices - 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étail

Cours de mathématiques

Cours 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

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Premiè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étail

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Groupe 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étail

I - 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 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étail

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Fonctions 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étail

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

FONCTIONS 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étail

1 Définition et premières propriétés des congruences

1 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étail

Moments des variables aléatoires réelles

Moments des variables aléatoires réelles Chapter 6 Moments des variables aléatoires réelles Sommaire 6.1 Espérance des variables aléatoires réelles................................ 46 6.1.1 Définition et calcul........................................

Plus en détail

Comparaison de fonctions Développements limités. Chapitre 10

Comparaison de fonctions Développements limités. Chapitre 10 PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?

Plus en détail

Construction d un cercle tangent à deux cercles donnés.

Construction d un cercle tangent à deux cercles donnés. Préparation au CAPES Strasbourg, octobre 2008 Construction d un cercle tangent à deux cercles donnés. Le problème posé : On se donne deux cercles C et C de centres O et O distincts et de rayons R et R

Plus en détail

3. Conditionnement P (B)

3. 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étail

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.

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. 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étail

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Exo7. 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étail

Sur certaines séries entières particulières

Sur 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étail

Construction de l'intégrale de Lebesgue

Construction de l'intégrale de Lebesgue Université d'artois Faculté des ciences Jean Perrin Mesure et Intégration (Licence 3 Mathématiques-Informatique) Daniel Li Construction de l'intégrale de Lebesgue 10 février 2011 La construction de l'intégrale

Plus en détail

Mesures gaussiennes et espaces de Fock

Mesures 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étail

Intégrale de Lebesgue

Intégrale de Lebesgue Intégrale de Lebesgue L3 Mathématiques Jean-Christophe Breton Université de Rennes 1 Septembre Décembre 2014 version du 2/12/14 Table des matières 1 Tribus (σ-algèbres) et mesures 1 1.1 Rappels ensemblistes..............................

Plus en détail

Chapitre 6. Fonction réelle d une variable réelle

Chapitre 6. Fonction réelle d une variable réelle Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours. Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I

Plus en détail

Dérivation : cours. Dérivation dans R

Dérivation : cours. Dérivation dans R TS Dérivation dans R Dans tout le capitre, f désigne une fonction définie sur un intervalle I de R (non vide et non réduit à un élément) et à valeurs dans R. Petits rappels de première Téorème-définition

Plus en détail

Capes 2002 - Première épreuve

Capes 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étail

DOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10.

DOCM 2013 http://docm.math.ca/ Solutions officielles. 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. A1 Trouvez l entier positif n qui satisfait l équation suivante: Solution 1 2 10 + 1 2 9 + 1 2 8 = n 2 10. En additionnant les termes du côté gauche de l équation en les mettant sur le même dénominateur

Plus en détail

Théorie de la Mesure et Intégration

Théorie de la Mesure et Intégration Ecole Nationale de la Statistique et de l Administration Economique Théorie de la Mesure et Intégration Xavier MARY 2 Table des matières I Théorie de la mesure 11 1 Algèbres et tribus de parties d un ensemble

Plus en détail

Résolution d équations non linéaires

Ré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étail

La 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 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étail

CHAPITRE IV. L axiome du choix

CHAPITRE IV. L axiome du choix CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans

Plus en détail

Cours 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 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étail

Probabilités sur un univers fini

Probabilités sur un univers fini [http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur

Plus en détail

Développements limités, équivalents et calculs de limites

Développements limités, équivalents et calculs de limites Développements ités, équivalents et calculs de ites Eercice. Déterminer le développement ité en 0 à l ordre n des fonctions suivantes :. f() e (+) 3 n. g() sin() +ln(+) n 3 3. h() e sh() n 4. i() sin(

Plus en détail

Mesures et Intégration

Mesures et Intégration Mesures et Intégration Marc Troyanov - EPFL - Octobre 2005 30 avril 2008 Ce document contient les notes du cours de Mesure et Intégration enseigné à l EPFL par Marc Troyanov, version 2005-2006. Table des

Plus en détail

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Cours3. 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étail

Cours d Analyse 3 Fonctions de plusieurs variables

Cours 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étail

Texte Agrégation limitée par diffusion interne

Texte Agrégation limitée par diffusion interne Page n 1. Texte Agrégation limitée par diffusion interne 1 Le phénomène observé Un fût de déchets radioactifs est enterré secrètement dans le Cantal. Au bout de quelques années, il devient poreux et laisse

Plus en détail

Chapitre 2. Matrices

Chapitre 2. Matrices Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce

Plus en détail

NOTATIONS PRÉLIMINAIRES

NOTATIONS 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étail

Exercices Corrigés Premières notions sur les espaces vectoriels

Exercices Corrigés Premières notions sur les espaces vectoriels Exercices Corrigés Premières notions sur les espaces vectoriels Exercice 1 On considére le sous-espace vectoriel F de R formé des solutions du système suivant : x1 x 2 x 3 + 2x = 0 E 1 x 1 + 2x 2 + x 3

Plus en détail

Calcul différentiel sur R n Première partie

Calcul 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étail

La fonction exponentielle

La 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étail

Les indices à surplus constant

Les indices à surplus constant Les indices à surplus constant Une tentative de généralisation des indices à utilité constante On cherche ici en s inspirant des indices à utilité constante à définir un indice de prix de référence adapté

Plus en détail

Produits d espaces mesurés

Produits d espaces mesurés Chapitre 7 Produits d espaces mesurés 7.1 Motivation Au chapitre 2, on a introduit la mesure de Lebesgue sur la tribu des boréliens de R (notée B(R)), ce qui nous a permis d exprimer la notion de longueur

Plus en détail

TIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES

TIQUE 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étail

Introduction à l étude des Corps Finis

Introduction à 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étail

Équations non linéaires

É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étail

Cours Fonctions de deux variables

Cours 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étail

Fonctions holomorphes

Fonctions 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étail

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/

Souad 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

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Exercices - 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étail

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse page 8 AGREGATIN de MATHEMATIQUES: 1991 1/5 externeanalyse concours externe de recrutement de professeurs agreg6s composition d analyse NTATINS ET DGFINITINS Dans tout le problème, R+ désigne l intervalle

Plus en détail

Commun à tous les candidats

Commun à tous les candidats EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle

Plus en détail

C algèbre d un certain groupe de Lie nilpotent.

C algèbre d un certain groupe de Lie nilpotent. Université Paul Verlaine - METZ LMAM 6 décembre 2011 1 2 3 4 Les transformations de Fourier. Le C algèbre de G/ Z. Le C algèbre du sous-groupe G 5 / vect{u,v }. Conclusion. G un groupe de Lie, Ĝ l ensemble

Plus en détail

Fibonacci et les paquerettes

Fibonacci et les paquerettes Fibonacci et les paquerettes JOLY Romain & RIVOAL Tanguy Introduction Quand on entend dire que l on peut trouver le nombre d or et la suite de Fibonacci dans les fleurs et les pommes de pin, on est au

Plus en détail

8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2

8.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étail

M2 IAD UE MODE Notes de cours (3)

M2 IAD UE MODE Notes de cours (3) M2 IAD UE MODE Notes de cours (3) Jean-Yves Jaffray Patrice Perny 16 mars 2006 ATTITUDE PAR RAPPORT AU RISQUE 1 Attitude par rapport au risque Nousn avons pas encore fait d hypothèse sur la structure de

Plus en détail

FONCTION EXPONENTIELLE ( ) 2 = 0.

FONCTION EXPONENTIELLE ( ) 2 = 0. FONCTION EXPONENTIELLE I. Définition Théorème : Il eiste une unique fonction f dérivable sur R telle que f ' = f et f (0) =. Démonstration de l'unicité (eigible BAC) : L'eistence est admise - Démontrons

Plus en détail

Exemple 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 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étail

Chapitre 2. Eléments pour comprendre un énoncé

Chapitre 2. Eléments pour comprendre un énoncé Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données

Plus en détail

Premiers exercices d Algèbre. Anne-Marie Simon

Premiers exercices d Algèbre. Anne-Marie Simon Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,

Plus en détail