arxiv: v2 [math.dg] 4 Feb 2011
|
|
- Virginie Laurent
- il y a 6 ans
- Total affichages :
Transcription
1 arxv: v2 [math.dg] 4 Feb 20 Lmtes projectves fortes d algébroïdes de Le Patrck CABAU Laboratore de Mathématques Unversté de Savoe, Campus scentfque Le Bourget du Lac France Résumé : On défnt la noton de lmte projectve forte d algébroïdes de Le pus on étude les structures de fbrés vectorels fréchétques assocés et la compatblté entre les dvers morphsmes. On s ntéresse ensute à la lmte projectve de sem-gerbes. Abstract : We defne the noton of strong projectve lmt of Banach Le algebrods. We study the assocated structures of Fréchet bundles and the compatblty wth the dfferent morphsms. We then use ths framework to defne the projectve lmt of (sem)sprays. Mots clé : algébroïde de Le, lmte projectve, fbré vectorel banachque, fbré vectorel fréchétque, calcul dfférentel, tenseur de Njenhus, dstrbuton nvolutve, systèmes d EDP, sem-gerbe. Keywords : Le algebrod, projectve lmt, Banach vector bundle, Fréchet vector bundle, dfferental calculus, Njenhus tensor, nvolutve dstrbuton, PDE systems, sem-spray. Classfcaton AMS : 46A3, 46T05, 46T20, 58A20, 58A30, 58B0, 58B25, 26E5. Introducton La noton d algébroïde de Le a été ntrodute par J. Pradnes dans [Pra] en lason avec les groupoïdes de Le. Cette noton qu généralse à la fos la structure d algèbre de Le et le fbré tangent à une varété apparaît comme un cadre adapté pour des problèmes qu ntervennent notamment en mécanque où une théore des systèmes lagrangens et hamltonens peut être développée sur de telles structures (cf. [Wen2], [CLMM]) L auteur remerce Fernand Pelleter pour les dverses remarques et dscussons.
2 en géométre symplectque en vue de la symplectsaton de varétés de Posson et d applcatons à la quantsaton ([Kar], [Wen]) en théore du contrôle optmal où exste une verson du prncpe du maxmum de Pontryagn (cf. [Mart]). Peut être développée sur de tels espaces la théore d opérateurs dfférentels tels que la dfférentelle extéreure et la dérvée de Le, cette dernère pouvant être étendue au crochet de Schouten-Njenhus. Par alleurs, on peut naturellement munr le fbré cotangent à une varété de Posson d une structure d algébroïde de Le (cf. [Marl] pour le développement de telles notons sur des varétés de dmensons fnes). L étude des lmtes projectves de systèmes de dvers types d espaces a donné leu à de nombreux travaux : lmtes projectves de fbrés tangents d une varété dfférentable de dmenson fne (cf. [Gal3]) et plus généralement lmtes projectves de fbrés vectorels (cf. [AghSur2]), un exemple classque étant fourn par la géométre du fbré des jets d ordre nfn telle qu elle est développée par exemple dans [Sau] lmtes projectves de groupes de Le banachques étudé dans [Gal] en lason avec les groupes ILB ([Omo], [Schm]) unversal lamnated surfaces étudées par Nag et Sullvan dans [NagSul] et utlsées en Physque Mathématque. Rappelons que la noton de lmte projectve a été ntrodute par Wel dans [Wel] pour dscuter de la structure des groupes localement compacts. De nombreux problèmes apparassent sur des varétés modelées sur des espaces de Fréchet F: résoluton dans un cadre général d équatons dfférentelles (cf. [Ham]) et structure pathologque du groupe Gl(F) (qu n admet pas de structure rasonnable de groupe de Le). Ces problèmes ont une soluton sur certanes lmtes projectves d espaces : d une part, exstence de courbes ntégrales de champs de vecteurs, de courbes autoparallèles relatvement à des connexons lnéares (cf. [AghSur2]), secton globale horzontale pour des connexons sur certans espaces ([AghSur]); d autre part, exstence d un groupe de Le généralsé H 0 (F) comme groupe structural pour le fbré tangent (cf. [Gal2]). On s ntéresse c au cadre des lmtes projectves d algébroïdes de Le banachques que l on peut munr de structures fréchétques. 2
3 On rappelle dans la parte 2 les notons de varétés et de fbrés modelés sur des espaces vectorels adaptés, convenent vector spaces selon la termnologe de Kregel et Mchor ([KrMc]). La noton de lmte projectve forte de fbrés vectorels banachques ntrodute dans [AghSur2] et généralsant des résultats obtenus sur le fbré tangent par [Gal3] est rappelée dans la parte 3. La noton d algébroïde de Le banachque est présentée ans que les notons de dérvée de Le, de dfférentelle extéreure et de morphsme dans la parte 4 (cf. [Ana]). On établt dans la parte 5 la structure fréchétque de la lmte projectve de ce type d algébroïdes (théorème 2). On donne ensute des exemples de telles structures dans la parte 6 (oscllateur harmonque en dmenson fne ans de dvers types de dstrbutons). La dernère parte de ce traval est dévolue à l étude des lmtes projectves de sem-gerbes (eng. semsprays) et de courbes admssbles. 2 Varétés de dmenson nfne modelées sur des espaces adaptés Le calcul dfférentel classque fonctonne ben sur des varétés de dmenson fne ou banachque (cf. [Lan]). Les lmtes projectves de tels espaces et de fbrés assocés requerrent le calcul en dmenson nfne développé notamment dans [KrMc]. On rappelle essentellement dans cette parte les résultats énoncés dans [KrMc2], Applcatonsde classe C sur des espaces vectorelsadaptés S l on souhate munr un espace vectorel localement convexe séparé E d une structure dfférentable, la noton premère est celle de courbe c : R E de classe C. La courbe c est dte dfférentable s pour tout t R, la lmte du taux s [c(t+s) c(t)] exste. c est dt de classe C s toutes les dérvées térées exstent. L espace C = C (R,E) des courbes c : R E de classe C ne dépend pas de la topologe localement convexe de E mas unquement de sa bornologe assocée (système de ses ensembles bornés). L espace E est appelé espace vectorel adapté (convenent vector space selon la termnologe de [KrMc]) s l vérfe la condton de c complétude : Une courbe c : R E est de classe C s et seulement s λ c : R R est C pour tout λ E où E est le dual consttué de toutes les applcatons 3
4 lnéares contnues sur E. La topologe fnale relatve à l ensemble C est appelée c topologe de E et est notée c E. Un ouvert pour cette topologe est appelé ouvert c. Pour des espaces de Fréchet, cette topologe coïncde avec la topologe d espace vectorel localement convexe donnée. Pour d autres espaces (e.g. l espace D des fonctons tests à support compact sur R) elle est strctement plus fne. Consdérons mantenant deux espaces vectorels E et F localement convexes et sot U E un ouvert c. Une applcaton f : E U F, où E et F sont deux espaces vectorels adaptés et où U est un c ouvert de E, est dte de classe C s f c C (R,F) pour toute c C (R,U). De plus, cf. [KrMc2], 2.3 (5), l espace C (U,F) peut être auss mun d une structure d espace vectorel adapté. 2.2 Varétés dfférentables 2.2. Structure de varété dfférentable sur un ensemble Une carte (U,ϕ) sur un ensemble M est une bjecton ϕ : U ϕ(u) E d une parte U de M sur un c ouvert d un espace vectorel adapté E. Une famlle (U α,ϕ α ) α A de cartes est appelée un atlas s tous les changements de cartes ϕ αβ = ϕ α (ϕ β ) : ϕ β (U α U β ) ϕ α (U α U β ) sont de classe C. Deux atlas sont dts équvalents s leur réunon est encore un atlas. L ensemble M mun d une classe d équvalence d atlas est appelé varété dfférentable de classe C. Un sous-ensemble W de la varété M est ouvert s et seulement s pour tout α A le sous ensemble ϕ α (U α W) de E est c ouvert. La topologe ans défne est alors la topologe fnale relatvement à l espace des courbes de classe C Sous-varétés Un sous-ensemble N d une varété M est appelée sous-varété s pour tout x N l exste une carte (U,ϕ) de M telle que ϕ(u N) = ϕ(u) F où F est un sous-espace vectorel fermé de l espace vectorel adapté E. 4
5 2.2.3 Applcatons de classe C entre varétés Une applcaton f : M N entre deux varétés dfférentables est dte de classe C s pour tout x M et pour toute carte (V,ψ) de N telle que f (x) V l exste une carte (U,ϕ) de M telle que x U, f (U) V et telle que ψ f ϕ est de classe C. Cec est équvalent au fat que f c est C pour chaque courbe c : R M de classe C. On note F l anneau des fonctons de classe C de M dans R Fbrés vectorels Sot p : F M une applcaton C entre varétés dfférentables F et M. Une carte de fbré vectorel sur (F,p,M) est un couple (U,Φ) où U est un ouvert de M et où Φ est un dfféomorphsme respectant la fbre,.e. pour lequel le dagramme c-dessous est commutatf F U = p (U) p ց Φ U V ւ pr U où V est un espace vectorel adapté fxe appelé fbre strandard. Deux cartes (U,Φ ) et (U 2,Φ 2 ) sont dtes compatbles s Φ (Φ 2 ) (x,v) peut être écrt sous la forme (x,φ,2 (x)(v)) où Φ,2 : U U 2 GL(V). La foncton Φ,2 est alors unque et C dans L(V) où L(V) est l espace des applcatons lnéares bornées (donc C ). Un atlas de fbré vectorel (U α,φ α ) α A pour p : F M est un ensemble de cartes (U α,φ α ) deux à deux compatbles où (U α ) α A est un recouvrement ouvert de la varété M. Deux atlas sont équvalents s leur réunon est encore un atlas. Un fbré vectorel, de classe C, p : F M est la donnée de varétés F (espace total), M (base) et d une applcaton p : F M (projecton) de classe C munes d une classe d équvalence d atlas. Une secton s de p : F M est une applcaton C u : M F tellle que p u = lmid M. L espace F des sectons de F peut être mun d une structure d espace vectorel adapté. 5
6 2.2.5 Vecteurs tangents Un vecteur tangent (cnématque) en un pont x d une varété M est une classe d équvalence pour la relaton suvante c c 2 s et seulement s { c (0) = c 2 (0) = x U (ϕ c ) (0) = (ϕ c 2 ) (0) où (U,ϕ) est une carte de M centrée en x. Il exste une autre noton de vecteur tangent qu est la noton de vecteur tangent opératonnel ([KrMc], 28.) qu ne coïncde pas nécessarement sur des varétés adaptées à la noton de vecteur tangent cnématque Fbré tangent L ensemble de tous les vecteurs tangents en les dvers ponts de la varété M peut être mun d une structure de fbré vectorel; l est alors appelé fbré tangent (cnématque) à M et noté TM. S (U α,ϕ α ) α A est un atlas de la varété M alors les changements de cartes dans TM font ntervenr les dfférentelles dϕ αβ Champs de vecteurs Un champ de vecteurs cnématque est une secton C du fbré tangent cnématquetm.onnotex(m)l espacedeschampsdevecteurscnématques qu peut lu auss être mun d une structure d espace vectorel adapté. Pour des varétés régulères au sens de [KrMc], 4, le crochet de Le de deux éléments X et Y de X(M) peut être défn, en supposant que M est un ouvert c d un espace vectorel adapté E, par [X,Y] = dy (X) dx(y) où X et Y sont alors vus comme applcaton M E de classe C Applcaton tangente S M et N sont deux varétés dfférentables, à toute applcaton f : M N de classe C, on peut assocer à tout pont x M une applcaton lnéare T x f : T x M T f(x) M qu assoce au vecteur tangent à une courbe c passant par x le vecteur tangent à la courbe f c passant par f (x). L applcaton obtenue Tf : TM TN est alors C et est appelée applcaton tangente de f. 6
7 2.2.9 Champs de vecteurs relés Soent M et N deux varétés dfférentables et f : M N une applcaton C. On dt que deux champs de vecteurs cnématques sont f relés s Tf X = Y f X,X 2,Y,Y 2 désgnent mantenant 4 champs de vecteurs. Sot f : M N une applcaton de classe C. S X et Y (resp. X 2 et Y 2 ) sont f relés alors [X,X 2 ] et [Y,Y 2 ] sont auss f relés. S f : M N est un dfféomorphsme local alors pour tout champ de vecteurs Y X(N) l exste un champ de vecteurs f Y X(M) défn par (f Y)(x) = (T x f) (Y (f (x))). L applcaton lnéare f : X(N) X(M) est alors un homomorphsme d algèbres de Le Courbe ntégrale d un champ de vecteurs cnématque Une courbe c : I M de classe C est dte courbe ntégrale du champ de vecteurs X s pour tout t I, on a : c (t) = X (c(t)). Pour un champ de vecteurs donné les courbes ntégrales peuvent ne pas exster ([KrMc], 32.2, exemple ) localement et même s elles exstent, elles peuvent de pas être unques pour une condton ntale donnée ([KrMc], 32.2, exemple 2). Cec est dû au fat que les résultats classques relatfs à l exstence et à l uncté de solutons d équatons dfférentelles sont fondés sur des théorèmes résultant du théorème du pont fxe sur des espaces de Banach Flot d un champ de vecteurs Un flot local pour un champ de vecteurs X X(M) est une applcaton, de classe C, ϕ X : M R U M défne sur un ouvert c U de M {0} tel que :. U ({x} R) est un ntervalle ouvert connexe 2. Sϕ X (x,s)exstealorsϕ X (x,t+s)exstesetseulementsϕ X ( ϕ X (x,s),t ) exste et on a ϕ X (x,t+s) = ϕ X ( ϕ X (x,s),t ) 3. ϕ X (x,0) = x pour tout x M d 4. dt ϕx (x,t) = X ( ϕ X (x,t) ) S un champ de vecteurs cnématque X admet un flot local ϕ X alors pour toute courbe ntégrale c de X, on a c(t) = ϕ X (c(0),t) et l exste ans un unque flot maxmal. 7
8 2.2.2 Fbré cotangent Une formeenunpontxd unevarété M est uneformelnéare bornéesur l espace vectorel adapté T x M (donc appartenant à T x M ). L ensemble de toutes ces formesenles dverspontsdem peutêtre mund unestructure de fbré vectorel appelé fbré cotangent (cnématque) et noté T M. Un atlas (U α,ϕ α ) ( α A de classe C de M donne nassance aux fonctons de transton x d ϕ β (ϕ α ) ). ϕ α(x) Formes dfférentelles Sur une varété M une forme dfférentelle (cnématque) n est autre qu une secton C du fbré cotangent cnématque T M. L ensemble de ces formes dfférentelles peut être mun d une structure d espace vectorel adapté. Surunevarété C régulère M,laclassedeformesdfférentelles ([KrMc], 33.22) stablepardérvée delel X,dérvaton extéreure d,produtntéreur X et mage récproque f est Ω k (M) = L k alt (TM,M R) La dérvée de Le L : X(M) Ω k (M) Ω k (M) est une applcaton C défne par (L X ω)(x,...,x k ) = X (ω(x,...,x k )) k ω(x,...,[x,x ],...,X k ) La dfférentelle extéreure d : Ω k (M) Ω k+ (M) est C et est défne par (dω)(x)(x 0,...,X k ) = k =0 + 0 <j k = )) ( ) X (ω (X 0,..., X,...,X k ( ) +j ω ([X,X j ],X 0,..., X,..., X ) j,...,x k 8
9 3 Lmte projectve forte de fbrés vectorels banachques 3. Lmtes projectves d espaces topologques ( ( ) Un système projectf d espaces topologques est une sute X,δ j où pour tout N, X est un espace topologque pour tous, j N, tels que j, δ j : X j X est une applcaton contnue pour tout N, δ = Id X pour tous enters naturels j k, δ j δk j = δk. Un élément (x ) N du produt NX est appelé un fl [thread] s pour tous j, δ j (x j) = x. Le sous-espace X de NX consttué de tels éléments, mun de la topologe projectve,.e. de la topologe la mons fne rendant contnues toutes les applcatons δ = p /X (où p : k NX k X désgne la projecton sur X ) est appelée lmte projectve de la sute ((X,δ j ) j ) N (cf. [Scha], p.52). On note X = lmx et T la topologe projectve. S x X et s x = δ (x), une base de vosnages de T est alors donnée par toutes les ntersectons (δ l ) (U l ) où U l est un vosnage de x l relatvement à la topologe de l L l espace( X l et où L est un ensemble fn. ( ) ) ( ( ) Soent X,δ j et Y,γ j j N j ) N j ) N deux systèmes projectfs de lmtes projectves respectves X et Y. Une sute (f ) N d applcatons contnues f : X Y vérfant, pour tous,j N, j, la condton de cohérence γ j f j = f δ j est appelée sute projectve d applcatons. La lmte projectve de cette sute est l applcaton f : X Y (x ) N (f (x )) N 9
10 L applcaton f est alors contnue et est un homéomorphsme s tous les f sont eux-mêmes des homéomorphsmes (cf. [AbbMan]). 3.2 Lmte projectve forte de varétés banachques ( ( ) ) La sute M,δ j est appelée système projectf fort de varétés banachques s j N M est une varété dfférentable modelée sur l espace de Banach M ( ( ) ) M,δ j est un système projectf d espaces banachques j N pour tout x = (x ) M = lm M, l exste un système projectf de cartes locales (U,ϕ ) N tel que x U où la relaton de cohérence ϕ δ j = δj ϕ j est vérfée U = lmu est ouvert dans M. La lmte projectve M = lmm a alors une structure de varété fréchétque modelée sur l espace de Fréchet M = lmm où la structure dfférentable est défne va les cartes (U,ϕ) où ϕ = lmϕ : U (ϕ (U )). ϕ est ben un homéomorphsme (lmte projectve d homéomorphsmes) et les applcatons de changements de cartes ( ψ ϕ ) ( ( ϕ(u) = lm ψ (ϕ ) ) ) ϕ (U ) entre ouverts d espaces de Fréchet sont de classe C au sens de Kregel et Mchor (cf. [KrMc]). Exemple Espace des jets d ordre nfn des sectons d un fbré vectorel de rang fn au-dessus d une varété réelle de dmenson fne (cf [Sau], [AbbMan]). Exemple 2 Lmte projectve de groupes de Banach-Le (cf. [Gal], [Omo], [AbbMan]). Un groupe G est appelé lmte projectve de groupes de Banach-Le modelé sur la lmte projectve G = lmg s ( ). G = lmg où G,δ j est un système projectf de groupes de Banach- Le où G est modelé sur G 0
11 2. Pour tout N l exste une carte (U,ϕ ) centrée en le neutre e G telle que : (a) δ j (U j) U pour j (b) δ j ϕ j = ϕ j δ j (c) lm ϕ (U ) est ouvert dans G et lm U est ouvert dans G relatvement à la topologe de lmte projectve. A ttre d exemple smple, l espace des sutes réelles R N mun de la topologe produt est un groupe de Le abélen, lmte projectve des groupes de Le abélens R j, j N. Des exemples plus conséquents correspondent aux groupes de Le compacts eu égard au fat que tout groupe de Le compact est la lmte projectve d une famlle de groupes de Le compacts (cf. [Wel] ) On peut notamment défnr sur de tels groupes de Fréchet-Le G l exponentelle exp G comme lmte projectve de la sute exp G. Cette applcaton est alors contnue. 3.3 Lmte projectve forte de fbrés vectorels ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques où j N chaque varété M est modelée sur l espace de Banach M. On consdère pour tout enter ( le fbré vectorel banachque (E,π,M ) de ( ) ) fbre type E où, de plus, E,λ j consttue un système projectf d espace de( Banach. ( ) Le système E,f j est appelé système projectf fort de fbrés vec- ) ) s pour tout (x ) l exste un système torels banachques sur ) j ( ( N M,δ j j N j projectf de trvalsatons (U,τ ) de (E,π,M ), où τ : (π ) (U ) U E sont des dfféomorphsmes locaux, tel que x U (ouvert de M ) et où U = lm U est ouvert dans M avec pour tous,j N tels que j on at la condton de cohérence ( ) δ j λj τ j = τ f j On a alors la proposton suvante qu généralse le résultat de [Gal3] relatf à la lmte projectve de fbrés tangents à des varétés banachques et dont on trouvera la démonstraton dans [AghSur2].
12 Proposton 3 Sot (E,π,M ) N un système projectf fort de fbrés vectorels( banachques. ) Alors lm E,lm π,lm M est un fbré vectorel fréchétque. Notons que le groupe lnéare Gl(E) ne pouvant être mun d une structure de groupede Le ne peut pas jouer le rôle de groupestructural. Il est c remplacé par le groupe de Le généralsé, H 0 (E) = lmh 0 (E) lmte projectve des groupes de Le banachques H 0 (E) = (h,...,h ) Gl(E j ) : λ j k h j = h k λ j k, pour k j j= On obtent alors la dfférentablté des fonctons de transton T. 4 Algébroïdes de Le banachques 4. Défnton. Exemples Sot π : E M un fbré vectorel banachque dont la fbre type est un espace de Banach E. Un morphsme de fbrés vectorels ρ : E TM est appelé ancre. Ce morphsme ndut une applcaton ρ: E TM=X(M) défne pour tout x de M et toute secton s de E par : ( ρ(s) ) (x) = ρ(s(x)). On suppose qu l exste un crochet [.,.] E sur l espace E qu le munsse d une structure d algèbre de Le. Défnton 4 Le quadruplet (E, π, M, ρ) est appelé algébroïde de Le banachque s :. ρ :(E,[.,.] E ) (X(M),[.,.]) est un homomorphsme d algèbres de Le 2. [s,fs 2 ] E = f [s,s 2 ] E + ( ρ(s ) ) (f) s 2 pour tous f F et s,s 2 E Exemple 5 E = TM et ρ = N est un tenseur de Njenhus,.e. vérfant la proprété [NX,NY] = N ([NX,Y]+[X,NY] N ([N,Y])) (TM,π,M,N) est un algébroïde de Le pour le crochet [.,.] N défn par [X,Y] N = [NX,Y]+[X,NY] N ([X,Y]) Le cas trval correspond au cas où N = lmid TM 2
13 Exemple 6 E est une dstrbuton,.e. un sous-fbré vectorel de TM dont la fbre E x au dessus d un pont x de la base M est un sous-espace vectorel banachque fermé de codmenson fne, qu est de plus nvolutve. L ancre est alors l njecton canonque ρ : E TM. Exemple 7 E est le fbré cotangent à une varété banachque et ρ = P est un tenseur de Posson. Le crochet sur les sectons de T M est défn (cf. [MagMor]) par {α,β} P = L Pβ (α) L Pα (β)+d β,pα Le fat que (T M,P,M,{.,.} P ) at une structure d algébroïde de Le résulte de la proprété {α,f.β} P = f.{α,β} P +L Pα (f).β On peut trouver une généralsaton aux structures de Jacob, structures ntrodutes par Lchnerowcz ([Lc]), dans [Pon]. Exemple 8 Sot une acton à drote ψ : M G M d un groupe de Le G sur une varété banachque M. On note G l algèbre de Le de G. Il exste alors un morphsme naturel du fbré banachque trval M G dans M défn par Ψ(x,X) = T (x,e) ψ(0,x) Pour tous X et Y dans G, on a : Ψ({X,Y}) = [Ψ(X),Ψ(Y)] où {, } désgne le crochet de Le sur G (cf. [KrMc], 36.2). (M G,Ψ,M,{, }) a alors une structure d algèbroïde de Le. 4.2 Opérateurs de dérvaton Peuvent être défnes, sur un algébroïde de Le banachque les notons de dérvée delel ρ s relatvement àunesecton sdee (cette notongénéralsant la noton de dérvée de Le L X le long d un champ de vecteurs, secton du fbré tangent TM) et de dfférentelle extéreure d ρ (cf. [Ana]). 3
14 Pour toute secton s du fbré vectorel E, l exste un unque endomorphsme gradué de degré 0 de l algèbre graduée ΛE, appelé dérvée de Le relatvement à s et noté L ρ s vérfant les proprétés :. pour toute foncton f Λ 0 E = F L ρ s(f) = L ρ s (f) = ρ s (df) où L X désgne la dérvée de Le classque par rapport au champ de vecteurs X 2. pour tout q forme ω Λ q E (où q > 0) (L ρ s ω)(s,...,s q ) = L σ s (ω(s,...,s q )) q ω(s,...,s,[s,s ] E,s +,...,s q ) = D autre part, on défnt auss pour toute foncton f Λ 0 E = F l élément de Λ E, noté d ρ f, par d ρ f = t ρ df () où t ρ : T M E est la transposée de l ancre. Il exste un unque endomorphsme gradué de degré de l algèbre graduée ΛE appelé dérvaton extéreure, noté d ρ, vérfant les proprétés :. pour toute foncton f Λ 0 E = F, d ρ f est l élément de Λ E défn à la relaton (). 2. pour tout élément ω de Λ q E (q > 0), d ρ ω est l unque élément de Λ q+ E tel que pour tous s 0,...,s q E, (d ρ ω)(s 0,...,s q ) = + q ( ) L ρ s (ω(s 0,...,ŝ,...,s q )) =0 q 0 <j q ( ) +j ( ω ( [s,s j ] E,s 0,...,ŝ,...,ŝ j,...,s q )) On a alors la proprété d ρ d ρ = 0 4
15 4.3 Morphsmes d algébroïdes Défnton 9 Un morphsme de fbrés vectorels ψ : E E au dessus de f : M M est un morphsme des algébroïdes de Le banachques (E,π,M,ρ) et (E,π,M,ρ ) s l applcaton ψ :Λ q E Λ q E défne par ( ψ α ) x (s,...,s q ) = α f(x) (ψ s,...,ψ s q ) commute avec les dfférentelles : 4.4 Courbes admssbles d ρ ψ = ψ d ρ Dans le cadre de la Mécanque, un élément a de E peut être vu comme un vecteur vtesse généralsé, la vtesse naturelle v étant obtenue par applcaton de l ancre ρ à a,.e. v = ρ(a).. Une courbe γ : [0, ] E est dte admssble (cf. [CLMM]) s m(t) = ρ(γ(t)) où t m(t) = π(γ(t)) est la courbe sur la base M. Un morphsme d algébroïdes de Le applque alors les courbes admssbles sur les courbes admssbles. 4.5 Sem-gerbes Sot (E,π,M,ρ) un algébroïde de Le banachque et sot Tπ : TE TM l applcaton tangente de π. On notera τ E : TE E le fbré tangent de E. La noton de sem-gerbe que l on donne c est une généralsaton de celle utlsée lorsque E = TM. Défnton 0 Une secton S : E TE es appelée une sem-gerbe s. τ E S = Id E 2. Tπ S = ρ Nous avons alors le len suvant entre courbes admssbles et sem-gerbes (cf. [Ana]) Proposton Un champ de vecteurs sur E est une sem-gerbe s et seulement s ses courbes ntégrables sont des courbes admssbles. 5
16 5 Lmte projectve forte d algébroïdes de Le banachques j N Un système projectf fort d algébroïdes de Le banachques est la donnée d une sute (E,π,M,ρ ) N où ( ( ) ) E,f j est un système projectf fort de fbrés vectorels bana- ( chques (π : E M ) au-dessus du système projectf fort de varétés ( ) ) M,δ j j N Pour tous,j N tels que j, on a ρ f j = Tδ j ρ j f j : E j E est un morphsme d algébroïdes de Le (E j,π j,m j,ρ j ) et (E,π,M,ρ ) Théorème 2 Sot (E,π,M,ρ ) N un système projectf fort d algébroïdes de Le( banachques. ) Alors lm E,lm π,lm M,lm ρ a une structure d algébroïde de Le fréchétque. Preuve. Remarquons tout d abord que la lmte projectve lmm est mune ( d une structure ) dfférentable comme défne en lme,lm π,lm M est un fbré vectorel fréchetque de groupe structural H 0 ((E) (cf. Proposton 3). ) La lmte projectve des fbrés (vetorels) tangents lm TM,lm p,lm M est mune d une structure de fbré vectorel fréchetque; on obtent alors le résultat de [Gal3], Theorem 2.. Etudons mantenant les proprétés des sectons des fbrés vectorels lm TM, lme et la lmte projectve des ancres ρ. ( (g Pour (g ) N tels que g j = g δ j = δ) j ) on peut défnr la lmte projectve g = lm g qu est encore de classe C. ( Remarquons tout d abord ( que ) s X = Tδ j (X j), nous avons X (g ) = Tδ j (X j) )(g ) = X j g δ j = X j (g j ). On défnt alors X = lmx lm X(M ) et on obtent Xg = lmx g où X g F. S les sutes ( X ) N et ( X 2 ) N où X,X2 X(M ) sont telles que X = ( ) ( ) Xj (resp. X 2 = Tδ j Xj 2 ), elles donnenet nassance à des éléments Tδ j X,X 2 lm X(M ). 6
17 Pusque X et Xj sont δj relés (ans que X2 et Xj 2), leurs crochets δj le sont auss,.e. [ ( X ] [ ] ),X2 = Tδj Xj,X2 j et l on obtent le crochet de X et X 2 j comme lmte projectve de ces crochets. Sot s = lms où s E. Pusque les espaces lm M et lme sont des varétés dfférentables, la secton s : (x 0,x,...) (s 0 (x 0 ),s (x ),...) est de classe C (cf. defnton 2.2.3). Prouvons mantenant que l on peut dédure la condton de compatblté f j [ s j,s 2 ] j = [ s E j,s 2 ] δ j E de la structure de morphsme de f j (commutatvté avec les dfférentelles applquée aux (( formes) Nous avons f) j (de )( ) ( ) α ) s j,s2 j = (d E α ) f j s j,fj s2 j où ( ) (d E α ) f j s j,f j s2 j ( )) ( [ ] = L ρ (α (f j s j) f j s2 j L ρ (α (f j s2 j) f j s j )) α f j s j,f j s2 j E ( ( )) ( ( )) [ = L ρ s α s 2 Lρ s 2 α s α s,s 2 ] E = X ( ( )) ( ( )) [ α s 2 X 2 α s α s,s 2 ] D un autre côté, nous avons (( α )) (s (d Ej f) j j,s 2 ) j ((( α ) (s = L ρj s f j ) 2 j ) ) ((( α ) (s j L ρj s 2 f j ) j ) ) (( α ) [s j f) j j,s 2 ] j ( )) ( [ ] = Xj (α f j s2 j Xj (α 2 f j s )) α f j s j,fj s2 E = X ( ( )) ( ( )) [ ] α s 2 X 2 α s α f j s j,fj s2 Pusquef j estunmorphsme,onobtentα [ [ ] s,s 2 = α ]E f j s j,fj s2 E et la condton de compatblté. Ans le crochet [ s,s 2] des lmtes projectves de sectons s = lm lme s et s 2 = lms 2 peut-être défn comme lmte projectve des sectons [ s ],s2 E de E. 7 E E E j
18 L ensemble lme mun de ce crochet a alors une structure d algèbre de Le. Eu égard aux condtons ρ f j = Tδj ρ j la lmte projectve ρ = lm ρ est un morphsme de fbrés. L applcaton ρ = lmρ est alors un morphsme d algèbres de Le entre ( ) ( ) lm E,[.,.] lm E et lm TM,[.,.]. Pour tous N, chaque secton s et s 2 of E et chaque foncton de classe C g : M R, on a [ s,g s 2 [ ] = g E s,s 2 ] + ( ( )) ρ E s (g ) s 2 Afn d obtenr la relaton : [s,gs 2 ] E = g[s,s 2 ] E +(ρ(s ))(g) s 2 nous devons ( prouver ]) que : ) f j g j [s [ j,s2 j = g s,s 2 ] δ j [( )) ] 2) f j ρ j (s j (g j ) s 2 j = [( ( )) ρ s (g ) s 2 ] δ j En ce qu concerne le premer pont, pour chaque fl (x ) N,.e. x j = δ j (x j), nous avons f j (g [ ) (( ) ) j s j,s 2 j (x ]E j ) = f j j g δ j [ s j,s 2 j (x ]E j ) j Pusque f j est une applcaton lnéare de πj (x j ) vers π (x ), cette expresson est égale à g (x ) f j ( [ ] ) s j,s2 j (x j ). Grâce à la condton de E ] j compatblté f j [s j,s2 j = [ s ] E,s2 δ j E nous avons établ le premer j pont. Pour ce qu est du second pont, nous utlsons tout d abord la commutatvté avec les dfférentelles d E and d Ej. [( f) j (de ] (( (g )] g ) (s j )(x j ) = [d Ej δ) j ) (s j )(x j ) et ans ( ) (d E g ) f j s j (x j ) = [ d Ej (g j ) ] (s j )(x j ) En utlsant la défnton d E,.e. d E g = t ρ dg on obtent [ )] dg ρ (f j (s j(x j )) = dg j (ρ j (s j (x j ))) 8
19 et donc ( )] [ρ f j s j (g )(x ) = [ρ j s j ](g j )(x j ) Grâce à la condton de compatblté, nous obtenons [ ] (( ) ) f j (ρ j s j ) (g ) = [ρ j (s j )] δ j g Le second pont en découle faclement. Q.E.D. 6 Exemples 6. Algébroïdes de Njenhus Le ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques. j N Pour tout N, consdérons un tenseur de Njenhus N : TM TM (cf. exemple 5). Dans ce cas, consdérons f j = Tδ j morphsme de TM j dans TM. S nous avons la condton de compatblté N Tδ j = Tδj N j ( ) lm TM,lm π,lm M,lm N est un algébroïde de Le fréchetque Le pusque nous avons en partculer ( (. δ) j dtm = d TMj δ) j A ttre d exemple, on peut consdrer le case de l oscllateur harmonque de dmenson nfne qu est un système hamltonen ( L ntegrable au sens de ( ) ) [Lu]. On consdère la lmte projectve R 2,δ j où δ j est la projecton canonque de R 2j sur R 2. Le tenseur de Njenhus N qu correspond à l opérateur de récurson peut être écrt comme sut : N = k= j N ( x 2 k +yk) ( 2 dx k +dy k ) x k y k où ((x,y ),...,(x,y )) sont les coordonnées sur R 2. Il est alors facle d établr la condton de compatblté. 9
20 6.2 Dstrbutons 6.2. Lmte projectve de dstrbutons nvolutves Une dstrbuton sur une varété banachque B est une applcaton C D : B TB telle que pour tout x B,D x est un sous espace vectorel T x B. Cette dstrbuton est nvolutve s pour tous champs de vecteurs X et Y tangents à D, le crochet [X,Y] est encore tangent à D. On peut remarquer que la dstrbuton mage de l ancre d un algébroïde de Le est une dstrbuton nvolutve. ( ( ) ) Sot M,δ j un système projectf fort de varétés banachques. j N Consdérons pour tout N, une dstrbuton nvolutve dfférentable E au dessus de la varété M. (E,π,M,J ) N, où J : E TM est l njecton naturelle et où f j est la restrcton de Tδ j à E, est un système projectf fort d algébroïdes de Le. La lmte projectve lme peut être vue comme une dstrbuton nvolutve sur le fbré fréchétque lm TM Dffété Consdérons mantenant le cas d une dstrbuton de dmenson sur l ensemble des jets nfns de sectons d un fbré vectorel p : F N. Sot X un champ de vecteurs sur F projetable sur N de projecton ˆX ; le flot ϕ X t de X est au dessus du flot ϕ ˆX t de ˆX et par prolongement à J (F) on obtent un groupe local à un paramètre φ t = pr (ϕ X t ) de transformatons sur J (F) (cf. [And], [Olv]). Le prolongement pr (X) du champ de vecteurs X est le champ de vecteurs sur J (p) assocé à ce flot. Qu plus est ce flot préserve la dstrbuton de Cartan (déal de contact) C. On peut remarquer que C est une dstrbuton nvolutve sur la lmte projectve lmtj (p) qu apparaît comme lmte de dstrbutons non nvolutves J (p) (cf. [Sau]). Rappelons qu une varété dfférentable fréchétque mune d une dstrbuton nvolutve correspond à la noton de dffété (eng. dffety : dfferental varety) comme ntrodut par Vnogradov dans ([Vn]). On peut trouver des applcatons d une telle stuaton en mécanque non holonome et en théore du contrôle non lnéare (cf. par exemple [FLMR]). 20
21 6.2.3 Système d EDP S l on consdère un système d EDP E,.e. une sous varété du fbré des jets J k (π), on obtent, par prolongement d ordre nfn, une sous varété : E J (π) de J (π). On a alors une dstrbuton nvolutve sur E par restrcton de la dstrbuton de Cartan à E va l mage récproque par (cf. [KsVan], [Dr]) Lmte projectve de dstrbutons nvolutves assocées un système d EDP d ordre Consdérons mantenant le cas d un système d EDP d ordre à 2 varables. Sot le fbré trval π : E M où M = R 2 et E = M R 2 = R R 2. On munt le fbré J (π) des jets d ordre de sectons lsses de E au dessus de M du système de coordonnées (x,y,u,u x,u y ), les varables ndépendantes sont x et y et la varable dépendante est u. On consdère alors le système d EDP du premer ordre R { ux = ϕ(x,y,u) u y = ψ(x,y,u) Une condton nécessare pour que ce système sot ntégrable est que les condtons d ntégrablté suvantes sot vérfées sur la sous-varété R : D x ψ D y ϕ R = 0 Dans le cadre d un système de ce type, on établt que ces condtons sont auss suffsantes (cf. [Se],.4). Ces condtons d ntégrablté s écrvent alors ψ x +ϕ ψ u ϕ y ψ ϕ u = 0 (CI) Ces condtons d ntégrablté peuvent être nterprétées de manère plus géométrque en ntrodusant les deux champs de vecteurs sur E X = x +ϕ u et Y = y +ψ u Ces deux champs engendrent une dstrbuton régulère D 0 de dmenson 2. La condton d ntégrablté (CI) est alors équvalente à [X,Y] = 0,.e. à l nvolutvté de la dstrbuton. 2
22 Le processus de prolongement (cf. [Olv], 5..) permet de prolonger chacun des champs de vecteurs X (resp. Y) sur J (π), J 2 (π) ans que J (π) en utlsant les opérateurs de dérvaton totale (cf. [Olv], 2.3.) en les champs pr () X, pr (2) X,...,pr X (resp. pr () Y, pr (2) Y,...,pr Y) Eu égard à la formule générale [Olv], (2.47) [ ] pr (n) [X,Y] = pr (n) X,pr (n) Y on en dédut que la dstrbuton D engendrée par les premers prolongements pr () X et pr () Y est encore nvolutve, de même que les dverses dstrbutons D n engendrée par les prolongements d ordre n que sont pr (n) X et pr (n) Y. La lmte projectve est alors une dffété. 7 Lmte projectve forte de sem-gerbes Sot (E,π,M,ρ ) N un système projectf fort d algébroïdes de Le. Consdérons une sute (γ ) N où γ : [0,] E est une courbe admssble telle que pour tous,j N tels que j f j γ j = γ Par conséquent γ = lm γ exste. Pour tous,j N tels que j et pour tous t [0,], en fasant appel aux égaltés ( ) (t) (π γ ) (t) = δ j (π j γ j ) = Tδ j ( (πj γ j ) (t) ) on obtent : (π γ ) (t) ρ (γ (t)) = Tδ j ( (πj γ j ) (t) ρ j (γ j (t)) ) Et ans pour tout t [0,], nous avons : (π γ) (t) = ρ(γ(t)) Une telle courbe sera appelée courbe admssble dans E = lm E. Consdérons mantenant (S ) N où S : E TE est une sem-gerbe tel que Tf j S j = S f j 22
23 On peut alors défnr S : (u 0,u,...) (S 0 (u 0 ),S (u ),...) qu est une secton C de lmte. Il est facle de vor que l on a τ E S = Id E. Pour tous,j N tels que j et tout u = f j (u j) on a : ( ) (Tπ s ρ )(u ) = Tπ s f j ρ f j (u j ) ( ) = Tπ Tf j s j ρ f j (u j ) ( ( ) ) = T π f j s j ρ f j (u j ) ( ) = T (u j ) Fnalement, on peut écrre ( δ j π j ) s j ρ f j (Tπ s ρ )(u ) = Tδ j (Tπ j s j ρ j )(u j ) Et ans nous obtenons S sera appelée sem-gerbe. Tπ s = ρ Onpeutdéfnrdemanèreévdentelanotondegerbe surlalmteprojectve lm E comme lmte projectve de gerbes.. On termne ce traval par une proposton qu fat apparaître le len entre sem-gerbes et courbes admssbles. On généralse alors un rsulatat de [Ana] (pour le cas des gerbes, dans le cas partculer E = TM, vor [RezMal]). Proposton 3 Un champ de vecteurs S = lms on E = lme est une sem-gerbe s et seulement s toutes ses courbes ntégrales sont des courbes admssbles. Preuve. La preuve n est ren d autre qu une adaptaton de la démonstraton du Théorème 2.3 que l on peut trouver dans l artcle [Ana]. Consdérons pour ce fare une sem-gerbe S = lm S et supposons que c : [0,] E est une courbe ntégrale de S. Alors pour tout N, c : [0,] E est une courbe ntégrale de S (.e. t [0,],c (t) = S (c (t))) où f j c j = c. Il s ensut que pour tout N et pour tout t [0,] on a : Tπ c (t) = (Tπ S )(c (t)) 23
24 Pusque π c (t) = ρ (c(t)), c est une courbe admssble, l en est de même pour c = lmc. La récproque est lassée au lecteur. Q.E.D. Pour un système projectf de gerbes l est facle de prouver, en utlsant la relaton h λ fj = f j hλ j et les proprétés des applcatons tangentes, que pour tous,j N tels que j et pour tous u = f j (u j) on a : Tf j (s j h λ j λth λ j s j ) (u j ) = (s h λ λth λ s ) (u ) On peut alors écrre S h λ = λth λ S et S est alors une gerbe sur E. Références [AbbMan] M.C. Abbat, A. Manà, On Dfferental Structure for Projectve Lmts of Manfolds, J. Geom. Phys., 29, n -2 (999), [Ana] M. Anastase, Banach Le algebrods, arxv : v [math.dg] [AghSur] M. Aghas, A. Sur, Ordnary dfferental equatons, Balkan Journal of Geometry and Its Applcatons 2 n 2 (2007) 8 [AghSur2] M. Aghas, A. Sur, Splttng theorems for the double tangent bundles of Fréchet manfolds, Balkan Journal of Geometry and Its Applcatons, 5 n 2 (200) 3 [And] I. Anderson, Introducton to varatonnal bcomplex Contemp. Math. 32 (992) 5 [CLMM] J. Cortés, M. de León, J.C. Marrero, E. Martínez, Non holonomc Lagrangan systems on Le algebrods, arxv :math-ph/052003v3 [Dr] R. Drd, Utlsaton de la méthode d équvalence de Cartan dans la constructon d un solveur d équatons dfférentelles Thèse, (Unversté de Llle) 2007 [FLMR] M. Fless, J. Lévne, P. Martn, P. Rouchon, Deux applcatons à la géométre locale des dffétés, Annales de l I.H.P. secton A,t ome 66, 3 (997) [Gal] [Gal2] G.N. Galans, Projectve Lmts of Banach-Le groups, Perodca Mathematca Hungarca, 32 (996), 79 9 G.N. Galans, Projectve Lmts of Banach Vector Bundles, Portugalae Mathematca, 55, fasc., (998) 24 24
25 [Gal3] [Ham] [Kar] G.N. Galans, Dfferental and Geometrc Structure for the Tangent Bundle of a Projectve Lmt Manfold, Rend. Sem. Unv. Padova, Vol. 2 (2004) R.S. Hamlton, The Inverse Functon Theorem of Nash and Moser, Bulletn of the Amercan Mathematcal Socety, Volume 7, Number, July 982, M. Karasev, Analogues of the objects of Le groups for non lnear Posson brackets, Math. USSR Izvest. 28 (987), [KsVan] A.V. Kselev and J.W. Van De Leur, Involutve Dstrbutons of Operator-valued Evolutonnary Vector Felds math.ph/ [KrMc] A. Kregel, P.W. Mchor, The convenent Settng of Global Analyss, Mathematcal Surveys and Monographs, volume 53, AMS, 997 [KrMc2] A. Kregel, P.W. Mchor, Regular nfnte dmensonal Le groups, J. Le Theory, 7, (997) 6 99 [Lan] [Lc] S. Lang, Dfferental and Remannan Manfolds, Graduate Texts n Mathematcs, 60, Sprnger, New York, 995 A. Lchnerowcz, Les varétés de Possonet leurs algèbres de Le assocées, J. Dfferental Geometry, 2 (977), [Lu] C.S.Lu Infnte-dmensonal Hamltonan-Jacob theory and L- ntegrablty math-ph/ [MagMor] F. Magr, C. Moros, A geometrcal characterzaton of ntegrable hamntonan systems through the theory of Posson-Njenhus manfolds, Quaderno S 9, Unverstà degl stud d Mlano, 984 [Marl] [Mart] C.-M. Marle, Dfferental calculus on a Le algebrod and Posson manfolds, math.dg/ E. Martínez, Reducton n optmal control theory, Rep. Math. Phys. 53 (2004), [NagSul] S. Nag, D. Sullvan, Techmüller theory and the unversal perod mappng va quantum calculus and the H /2 space on the crcle, Osaka J. Math. 32 (995), 34 [Olv] [Omo] P.J. Olver, Applcatons of Le groups to Dfferental Equatons (Sprnger New York, Graduate Texts n Mathematcs) H. Omor, Infnte-dmensonal Le groups, Translatons of Mathematcal Monographs 58, Amercan Mathematcal Socety
26 [Pon] D.I. Ponte, Grupos y groupodes de Le y Estructuras de Jacob, Tess, Unversdad de la Laguna, 2003 [Pop] L. Popescu, Posson structures on Le Algebrods (2008) [Pra] J. Pradnes, Théore de Le pour les groupoïdes dfférentables; relatons entre proprétés locales et globales, C.R. Acad. Sc. Pars 263 (966), [RezMal] G. Rezae and R. Malekzadeh, Sprays on Fréchet Modelled Manfolds, Internatonal Mathematcal Forum 5 (200) 59 [Sau] [Scha] [Schm] [Se] [Vn] [Wel] D.J. Saunders, The geometry of jet bundles, Cambrdge Unv. Press 989 H.H. Schaeffer, Topologcal Vector Spaces, Graduate Texts n Mathematcs, 3, Sprnger, New York, 999 R. Schmd, Infnte Dmensonal Le Groups and Applcaton to Mathemathcal Physcs, Journal of Geometry and Symmetry n Physcs, (2004), 67 W.M. Seler, Involuton : the formal theory of dfferental equatons and ts applcatons n computer algebra and numercal analyss, 200 A.M. Vnogradov, Local symmetres and conservaton laws, Acta Appl. Math. Vol 2 (984) 2 78 A. Wel, L ntégraton dans les groupes topologques et ses applcatons, Hermann, Pars 940 [Wen] A. Wensten, Symplectc groupods and Posson manfolds, Bull. Amer. Math. Soc. 6 (987), 0 03 [Wen2] A. Wensten, Lagrangan mechancs and groupods, Felds Inst. Commun. 7 (996),
Remboursement d un emprunt par annuités constantes
Sére STG Journées de formaton Janver 2006 Remboursement d un emprunt par annutés constantes Le prncpe Utlsaton du tableur Un emprunteur s adresse à un prêteur pour obtenr une somme d argent (la dette)
Plus en détailMesure avec une règle
Mesure avec une règle par Matheu ROUAUD Professeur de Scences Physques en prépa, Dplômé en Physque Théorque. Lycée Alan-Fourner 8000 Bourges ecrre@ncerttudes.fr RÉSUMÉ La mesure d'une grandeur par un système
Plus en détailChapitre IV : Inductance propre, inductance mutuelle. Energie électromagnétique
Spécale PSI - Cours "Electromagnétsme" 1 Inducton électromagnétque Chaptre IV : Inductance propre, nductance mutuelle. Energe électromagnétque Objectfs: Coecents d nductance propre L et mutuelle M Blan
Plus en détailLes jeunes économistes
Chaptre1 : les ntérêts smples 1. défnton et calcul pratque : Défnton : Dans le cas de l ntérêt smple, le captal reste nvarable pendant toute la durée du prêt. L emprunteur dot verser, à la fn de chaque
Plus en détailQ x2 = 1 2. est dans l ensemble plus grand des rationnels Q. Continuons ainsi, l équation x 2 = 1 2
Exo7 Nombres complexes Vdéo parte. Les nombres complexes, défntons et opératons Vdéo parte. Racnes carrées, équaton du second degré Vdéo parte 3. Argument et trgonométre Vdéo parte 4. Nombres complexes
Plus en détailAssurance maladie et aléa de moralité ex-ante : L incidence de l hétérogénéité de la perte sanitaire
Assurance malade et aléa de moralté ex-ante : L ncdence de l hétérogénété de la perte santare Davd Alary 1 et Franck Ben 2 Cet artcle examne l ncdence de l hétérogénété de la perte santare sur les contrats
Plus en détailÉLÉMENTS DE THÉORIE DE L INFORMATION POUR LES COMMUNICATIONS.
ÉLÉMETS DE THÉORIE DE L IFORMATIO POUR LES COMMUICATIOS. L a théore de l nformaton est une dscplne qu s appue non seulement sur les (télé-) communcatons, mas auss sur l nformatque, la statstque, la physque
Plus en détailExercices d Électrocinétique
ercces d Électrocnétque Intensté et densté de courant -1.1 Vtesse des porteurs de charges : On dssout une masse m = 20g de chlorure de sodum NaCl dans un bac électrolytque de longueur l = 20cm et de secton
Plus en détailMontage émetteur commun
tour au menu ontage émetteur commun Polarsaton d un transstor. ôle de la polarsaton La polarsaton a pour rôle de placer le pont de fonctonnement du transstor dans une zone où ses caractérstques sont lnéares.
Plus en détailCorrigé du problème de Mathématiques générales 2010. - Partie I - 0 0 0. 0.
Corrgé du problème de Mathématques générales 2010 - Parte I - 1(a. Sot X S A. La matrce A est un polynôme en X donc commute avec X. 1(b. On a : 0 = m A (A = m A (X n ; le polynôme m A (x n est annulateur
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étailGénéralités sur les fonctions 1ES
Généraltés sur les fonctons ES GENERALITES SUR LES FNCTINS I. RAPPELS a. Vocabulare Défnton Une foncton est un procédé qu permet d assocer à un nombre x appartenant à un ensemble D un nombre y n note :
Plus en détailCalculer le coût amorti d une obligation sur chaque exercice et présenter les écritures dans les comptes individuels de la société Plumeria.
1 CAS nédt d applcaton sur les normes IAS/IFRS Coût amort sur oblgatons à taux varable ou révsable La socété Plumera présente ses comptes annuels dans le référentel IFRS. Elle détent dans son portefeulle
Plus en détailCHAPITRE 14 : RAISONNEMENT DES SYSTÈMES DE COMMANDE
HAITRE 4 : RAISONNEMENT DES SYSTÈMES DE OMMANDE RAISONNEMENT DES SYSTÈMES DE OMMANDE... 2 INTRODUTION... 22 RAELS... 22 alcul de la valeur ntale de la répone à un échelon... 22 alcul du gan tatque... 22
Plus en détailContrats prévoyance des TNS : Clarifier les règles pour sécuriser les prestations
Contrats prévoyance des TNS : Clarfer les règles pour sécurser les prestatons Résumé de notre proposton : A - Amélorer l nformaton des souscrpteurs B Prévor plus de souplesse dans l apprécaton des revenus
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étailPage 5 TABLE DES MATIÈRES
Page 5 TABLE DES MATIÈRES CHAPITRE I LES POURCENTAGES 1. LES OBJECTIFS 12 2. LES DÉFINITIONS 14 1. La varaton absolue d'une grandeur 2. La varaton moyenne d'une grandeur (par unté de temps) 3. Le coeffcent
Plus en détail1 Introduction. 2 Définitions des sources de tension et de courant : Cours. Date : A2 Analyser le système Conversion statique de l énergie. 2 h.
A2 Analyser le système Converson statque de l énerge Date : Nom : Cours 2 h 1 Introducton Un ConVertsseur Statque d énerge (CVS) est un montage utlsant des nterrupteurs à semconducteurs permettant par
Plus en détailTD 1. Statistiques à une variable.
Danel Abécasss. Année unverstare 2010/2011 Prépa-L1 TD de bostatstques. Exercce 1. On consdère la sére suvante : TD 1. Statstques à une varable. 1. Calculer la moyenne et l écart type. 2. Calculer la médane
Plus en détailBTS GPN 2EME ANNEE-MATHEMATIQUES-MATHS FINANCIERES MATHEMATIQUES FINANCIERES
MATHEMATIQUES FINANCIERES I. Concepts généraux. Le référentel précse : Cette parte du module M4 «Acquérr des outls mathématques de base nécessares à l'analyse de données économques» est en relaton avec
Plus en détailFiche n 7 : Vérification du débit et de la vitesse par la méthode de traçage
Fche n 7 : Vérfcaton du débt et de la vtesse par la méthode de traçage 1. PRINCIPE La méthode de traçage permet de calculer le débt d un écoulement ndépendamment des mesurages de hauteur et de vtesse.
Plus en détailCHAPITRE DEUX : FORMALISME GEOMETRIQUE
CHPITRE DEUX FORMLISME GEOMETRIQUE. CHPITRE DEUX : FORMLISME GEOMETRIQUE verson.3, -8 I. GEOMETRIE DNS L ESPCE-TEMPS ) Prncpe de relatvté Le prncpe de relatvté peut s exprmer ans : toutes les los physques
Plus en détailLE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régime») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF
1 LE RÉGIME DE RETRAITE DU PERSONNEL CANADIEN DE LA CANADA-VIE (le «régme») INFORMATION IMPORTANTE CONCERNANT LE RECOURS COLLECTIF AVIS AUX RETRAITÉS ET AUX PARTICIPANTS AVEC DROITS ACQUIS DIFFÉRÉS Expédteurs
Plus en détailSTATISTIQUE AVEC EXCEL
STATISTIQUE AVEC EXCEL Excel offre d nnombrables possbltés de recuellr des données statstques, de les classer, de les analyser et de les représenter graphquement. Ce sont prncpalement les tros éléments
Plus en détailDynamique du point matériel
Chaptre III Dynaqe d pont atérel I Généraltés La cnéatqe a por objet l étde des oveents des corps en foncton d teps, sans tenr copte des cases q les provoqent La dynaqe est la scence q étde (o déterne)
Plus en détailCalcul de tableaux d amortissement
Calcul de tableaux d amortssement 1 Tableau d amortssement Un emprunt est caractérsé par : une somme empruntée notée ; un taux annuel, en %, noté ; une pérodcté qu correspond à la fréquence de remboursement,
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étailDirigeant de SAS : Laisser le choix du statut social
Drgeant de SAS : Lasser le chox du statut socal Résumé de notre proposton : Ouvrr le chox du statut socal du drgeant de SAS avec 2 solutons possbles : apprécer la stuaton socale des drgeants de SAS comme
Plus en détailGEA I Mathématiques nancières Poly. de révision. Lionel Darondeau
GEA I Mathématques nancères Poly de révson Lonel Darondeau Intérêts smples et composés Voc la lste des exercces à révser, corrgés en cours : Exercce 2 Exercce 3 Exercce 5 Exercce 6 Exercce 7 Exercce 8
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étailEditions ENI. Project 2010. Collection Référence Bureautique. Extrait
Edtons ENI Project 2010 Collecton Référence Bureautque Extrat Défnton des tâches Défnton des tâches Project 2010 Sasr les tâches d'un projet Les tâches représentent le traval à accomplr pour attendre l'objectf
Plus en détailAmphi 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étailGrandeur physique, chiffres significatifs
Grandeur physque, chffres sgnfcatfs I) Donner le résultat d une mesure en correspondance avec l nstrument utlsé : S avec un nstrument, ren n est ndqué sur l ncerttude absolue X d une mesure X, on consdère
Plus en détailÉconométrie. Annexes : exercices et corrigés. 5 e édition. William Greene New York University
Économétre 5 e édton Annexes : exercces et corrgés Wllam Greene New York Unversty Édton françase drgée par Dder Schlacther, IEP Pars, unversté Pars II Traducton : Stéphane Monjon, unversté Pars I Panthéon-Sorbonne
Plus en détailhal-00409942, version 1-14 Aug 2009
Manuscrt auteur, publé dans "MOSIM' 008, Pars : France (008)" 7 e Conférence Francophone de MOdélsaton et SIMulaton - MOSIM 08 - du mars au avrl 008 - Pars - France «Modélsaton, Optmsaton et Smulaton des
Plus en détailGroupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples
Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples Franck LESIEUR Mathématiques et Applications, Physique Mathématique d Orléans UMR 6628 - BP 6759 45067 ORLEANS CEDEX 2 - FRANCE e-mail
Plus en détailCommun à 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étailPlan. Gestion des stocks. Les opérations de gestions des stocks. Les opérations de gestions des stocks
Plan Geston des stocks Abdellah El Fallah Ensa de Tétouan 2011 Les opératons de gestons des stocks Les coûts assocés à la geston des stocks Le rôle des stocks Modèle de la quantté économque Geston calendare
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é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étailSciences Industrielles Précision des systèmes asservis Papanicola Robert Lycée Jacques Amyot
Scence Indutrelle Précon de ytème erv Pncol Robert Lycée Jcque Amyot I - PRECISION DES SYSTEMES ASSERVIS A. Poton du roblème 1. Préentton On vu que le rôle d un ytème erv et de fre uvre à l orte (t) une
Plus en détailLa théorie classique de l information. 1 ère partie : le point de vue de Kolmogorov.
La théore classque de l nformaton. ère parte : le pont de vue de Kolmogorov. La sute de caractères comme outl de descrpton des systèmes. La scence peut être vue comme l art de compresser les données quelles
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étailMEMOIRE. Présenté au département des sciences de la matière Faculté des sciences
REPUBLIQUE LERIEN DEMOCRTIQUE ET POPULIRE Mnstère de l ensegnement supéreur et de la recherche scentfque Unversté El-Hadj Lakhdar-BTN- MEMOIRE Présenté au département des scences de la matère Faculté des
Plus en détailLes méthodes numériques de la dynamique moléculaire
Les méthodes numérques de la dynamque moléculare Chrstophe Chpot Equpe de chme et & bochme théorques, Unté Mxte de Recherche CNRS/UHP 7565, Insttut Nancéen de Chme Moléculare, Unversté Henr Poncaré, B.P.
Plus en détailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailMÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES
MÉTHODES DE SONDAGES UTILISÉES DANS LES PROGRAMMES D ÉVALUATIONS DES ÉLÈVES Émle Garca, Maron Le Cam et Therry Rocher MENESR-DEPP, bureau de l évaluaton des élèves Cet artcle porte sur les méthodes de
Plus en détailCorrections adiabatiques et nonadiabatiques dans les systèmes diatomiques par calculs ab-initio
Correctons adabatques et nonadabatques dans les systèmes datomques par calculs ab-nto Compte rendu du traval réalsé dans le cadre d un stage de quatre mos au sen du Groupe de Spectroscope Moléculare et
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é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é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étail3 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étailIDEI Report # 18. Transport. December 2010. Elasticités de la demande de transport ferroviaire: définitions et mesures
IDEI Report # 18 Transport December 2010 Elastctés de la demande de transport ferrovare: défntons et mesures Elastctés de la demande de transport ferrovare : Défntons et mesures Marc Ivald Toulouse School
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é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étailStéganographie Adaptative par Oracle (ASO)
Stéganographe Adaptatve par Oracle ASO Sarra Kouder, Marc Chaumont, Wllam Puech To cte ths verson: Sarra Kouder, Marc Chaumont, Wllam Puech. Stéganographe Adaptatve par Oracle ASO. CORESA 12: COmpresson
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étailThéorèmes du Point Fixe et Applications aux Equations Diérentielles
Université de Nice-Sophia Antipolis Mémoire de Master 1 de Mathématiques Année 2006-2007 Théorèmes du Point Fixe et Applications aux Equations Diérentielles Auteurs : Clémence MINAZZO - Kelsey RIDER Responsable
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étailDES EFFETS PERVERS DU MORCELLEMENT DES STOCKS
DES EFFETS PERVERS DU MORCELLEMENT DES STOCKS Le cabnet Enetek nous démontre les mpacts négatfs de la multplcaton des stocks qu au leu d amélorer le taux de servce en se rapprochant du clent, le dégradent
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é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étailREPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE. MEMOIRE Présentée à
REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE MEMOIRE Présentée à L Unversté de Batna Faculté des Scences Département de Physque
Plus en détailMODÈLE D ISING À UNE ET DEUX DIMENSIONS.
Chapter MODÈLE DISIG À UE ET DEUX DIMESIOS.. ITRODUCTIO. ous commençons, dans ce chaptre, létude dun problème de mécanque statstque de la matère condensée où leffet des nteractons est mportant. Le modèle
Plus en détailMécanique des Milieux Continus
Mécanque des Mleux Contnus Golay Frédérc SEATECH MMC Golay MMC - - Ce cours de mécanque des mleux contnus est à la base de l ensegnement de mécanque à SEATECH. Les notons abordées c, transport de champs,
Plus en détailSemestre : 4 Module : Méthodes Quantitatives III Elément : Mathématiques Financières Enseignant : Mme BENOMAR
Semestre : 4 Module : Méthodes Quattatves III Elémet : Mathématques Facères Esegat : Mme BENOMAR Elémets du cours Itérêts smples, précompte, escompte et compte courat Itérêts composés Autés Amortssemets
Plus en détailExercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.
14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,
Plus en détailInterface OneNote 2013
Interface OneNote 2013 Interface OneNote 2013 Offce 2013 - Fonctons avancées Lancer OneNote 2013 À partr de l'nterface Wndows 8, utlsez une des méthodes suvantes : - Clquez sur la vgnette OneNote 2013
Plus en détailCalcul intégral élémentaire en plusieurs variables
Calcul intégral élémentaire en plusieurs variables PC*2 2 septembre 2009 Avant-propos À part le théorème de Fubini qui sera démontré dans le cours sur les intégrales à paramètres et qui ne semble pas explicitement
Plus en détailLE PRINCIPE DU RAISONNEMENT PAR RÉCURRENCE
LE PRINCIPE DU RAISONNEMENT PAR RÉCURRENCE. Exemple troductf (Les élèves qu coasset déà be le prcpe peuvet sauter ce paragraphe) Cosdéros la sute (u ), défe pour tout, par : u u u 0 0 Cette sute est défe
Plus en détailINTERNET. Initiation à
Intaton à INTERNET Surfez sur Internet Envoyez des messages Téléchargez Dscutez avec Skype Découvrez Facebook Regardez des vdéos Protégez votre ordnateur Myram GRIS Table des matères Internet Introducton
Plus en détailThermodynamique statistique Master Chimie Université d Aix-Marseille. Bogdan Kuchta
hermodynamque statstque Master Chme Unversté d Ax-Marselle Bogdan Kuchta Plan: Rappel: thermodynamque phénoménologque (dscuter l entrope, l évoluton de gaz parfat,) Premer prncpe Deuxème prncpe (transformaton
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é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é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étailLe Prêt Efficience Fioul
Le Prêt Effcence Foul EMPRUNTEUR M. Mme CO-EMPRUNTEUR M. Mlle Mme Mlle (CONJOINT, PACSÉ, CONCUBIN ) Départ. de nass. Nature de la pèce d dentté : Natonalté : CNI Passeport Ttre de séjour N : Salaré Stuaton
Plus en détailIntegral T 3 Compact. raccordé aux installations Integral 5. Notice d utilisation
Integral T 3 Compact raccordé aux nstallatons Integral 5 Notce d utlsaton Remarques mportantes Remarques mportantes A quelle nstallaton pouvez-vous connecter votre téléphone Ce téléphone est conçu unquement
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é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étailBUREAU D'APPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES
BUREAU DAPPLICATION DES METHODES STATISTIQUES ET INFORMATIQUES BAMSI REPRINT 04/2003 Introducton à l analyse des données Samuel AMBAPOUR BAMSSI I BAMSI B.P. 13734 Brazzavlle BAMSI REPRINT 04/2003 Introducton
Plus en détailPaquets. Paquets nationaux 1. Paquets internationaux 11
Paquets Paquets natonaux 1 Paquets nternatonaux 11 Paquets natonaux Servces & optons 1 Créaton 3 1. Dmensons, pods & épasseurs 3 2. Présentaton des paquets 4 2.1. Face avant du paquet 4 2.2. Comment obtenr
Plus en détailGENESIS - Generalized System for Imputation Simulations (Système généralisé pour simuler l imputation)
GENESS - Generalzed System for mputaton Smulatons (Système généralsé pour smuler l mputaton) GENESS est un système qu permet d exécuter des smulatons en présence d mputaton. L utlsateur fournt un ensemble
Plus en détailDocuments de travail. «La taxe Tobin : une synthèse des travaux basés sur la théorie des jeux et l économétrie» Auteurs
Documents de traval «La taxe Tobn : une synthèse des travaux basés sur la théore des jeux et l économétre» Auteurs Francs Bsmans, Olver Damette Document de Traval n 2012-09 Jullet 2012 Faculté des scences
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é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étailImpôt sur la fortune et investissement dans les PME Professeur Didier MAILLARD
Conservatore atonal des Arts et Méters Chare de BAQUE Document de recherche n 9 Impôt sur la fortune et nvestssement dans les PME Professeur Dder MAILLARD Avertssement ovembre 2007 La chare de Banque du
Plus en détailAnalyse et Commande des Systèmes Non Linéaires
Analyse et Commande des Systèmes Non Linéaires J. Lévine Centre Automatique et Systèmes école des Mines de Paris 35 rue Saint Honoré 77305 Fontainebleau Cedex E-mail : Jean.Levine@ensmp.fr Mars 2004 2
Plus en détailC 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étailLICENCE DE SCIENCES PHYSIQUES UV 3LSPH50. Année 2004-2005 MODÉLISATION. Recherche des paramètres d'une représentation analytique J.P.
LICENCE DE SCIENCES PHYSIQUES UV 3LSPH50 Année 004-005 MODÉLISATION Recherche des paramètres d'une représentaton analytque JP DUBÈS 3 MODÉLISATION Recherche des paramètres d'une représentaton analytque
Plus en détailTHESE. Khalid LEKOUCH
N d ordre : /2012 THESE Présentée à la FACULTE DES SCIENCES D AGADIR En vue de l obtenton du GRADE DE DOCTEUR EN PHYSIQUE (Spécalté : Energétque, Thermque et Métrologe) Par Khald LEKOUCH MODELISATION ET
Plus en détailII - Notions de probabilité. 19/10/2007 PHYS-F-301 G. Wilquet 1
II - Notos de probablté 9/0/007 PHYS-F-30 G. Wlquet Ue varable aléatore est ue varable dot la valeur e peut être prédte avec certtude mas dot la probablté d occurrece d ue valeur (varable dscrète) ou d
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailUne forme générale de la conjecture abc
Une forme générale de la conjecture abc Nicolas Billerey avec l aide de Manuel Pégourié-Gonnard 6 août 2009 Dans [Lan99a], M Langevin montre que la conjecture abc est équivalente à la conjecture suivante
Plus en détailTerminal numérique TM 13 raccordé aux installations Integral 33
Termnal numérque TM 13 raccordé aux nstallatons Integral 33 Notce d utlsaton Vous garderez une longueur d avance. Famlarsez--vous avec votre téléphone Remarques mportantes Chaptres à lre en prorté -- Vue
Plus en détailProjet de fin d études
Unversté Franços Rabelas Tours Ecole Polytechnque Unverstare de Tours Département Informatque Projet de fn d études Ordonnancement Juste à Temps avec geston des stocks Chopn Antone Mrault Arnaud 3ème année
Plus en détailClemenceau. Régime sinusoïdal forcé. Impédances Lois fondamentales - Puissance. Lycée. PCSI 1 - Physique. Lycée Clemenceau. PCSI 1 (O.
ycé Clnca PCS - Physq ycé Clnca PCS (O.Granr) ég snsoïdal forcé pédancs os fondantals - Pssanc ycé Clnca PCS - Physq ntérêt ds corants snsoïdax : Expl d tnsons snsoïdals : tnson d sctr (50 H 0 V) s lgns
Plus en détailUniversité de Caen. Relativité générale. C. LONGUEMARE Applications version 2.0. 4 mars 2014
Université de Caen LMNO Relativité générale C. LONGUEMARE Applications version.0 4 mars 014 Plan 1. Rappels de dynamique classique La force de Coulomb Le principe de moindre action : lagrangien, hamiltonien
Plus en détailPrise en compte des politiques de transport dans le choix des fournisseurs
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attrbué par la bblothèque THÈSE Pour obtenr le grade de DOCTEUR DE L I.N.P.G. Spécalté : Géne Industrel Préparée au Laboratore d Automatque de Grenoble Dans
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é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étail