Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Schatzman_realite

Schatzman_realite

Ratings: (0)|Views: 13 |Likes:
Published by mmaths

More info:

Published by: mmaths on Sep 22, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/22/2010

pdf

text

original

 
MAT EMATIQUESPURES&APPLIQU  EEE
 EEALI EEETFICTIONDESMATH  EEMATIQUESAPPLIQ EEE
MichelleSCHATZMA
UniversiteeLyonschatz@iris.univ-lyon1.f
1-Unsujettresrisque
P    
arlerdematheematiquespuresetdematheematiquesappliqueeeestd'autantplusdicilequeladeenitiondesmatheematique
engeneral 
estloind'^eetreclaire,etaalimenteed'abondantereeexionseepistemologiques.LereecentlivredeR.Hersch16contientune remarquablerevuedelaphilosophiedesmathematiques,etj'aibeaucoup desympathiepoursaconclusionfaisantdesmatheematiquesunobjesocialculturelhistorique,ouuneformedeviepage248. Commejenedisposepasdecertitudes,jevaismelivreraunepetitprovocationetbrandirleb^aatondeGuignolenhommageaamacited'adoption:lesmatheematiques,laphysique,lachimieetlessciencesde l'ingeenieursontunepartiedel'analysenumeerique.Cecilaissedec^ootee,heelas, lesprobabiliteesetstatistiques.Comptonssurunlecteurmalinpourmretournerlapique,presquesuurement. Entermesplussereins,ilyatantd'interpeenetrationsintellectuellesqueles classicationstraditionnellessontsansobjetPoureetayerl'assertion,ilsutdelireetd'eecoutercequefontlesgensquisplacentsouslabannieeredel'analysenumeeriqueetdel'analyseappliqueeeau sensdela26eemesectionduCNUpourconstaterqueleuractiviteeneselaisspasenfermerdansuncadresimpleIlyalesdeelitshabituelsconsistantafricoteraveclesmeecaniciensdesuides etdessolides,ouaatraquerduc^ooteedeseequationsdeMaxwell,toutceci faisantpartiedumondeclassiquedessciencesdel'ingeenieur. Maisaaparttoutcela,onpeutreleveruncertainnombred'invasionsin- habituelles:utilisationducalculformel,quecesoitpourgenererdescheemasnumeriques,oupourtrouverdesdeeveloppementsasymptotiquesetm^eemeparfoisfabricationdemeethodesdecalculformel;desentrelacbresaudeetourd'uneEDPnonlineeaire;desformulesdeCampbell-Hausdor 
 
4
MICHELLESCHATZMAN 
cacheeesdansdesscheemasd'inteegrationtemporelle;dumouvementparcour- buremoyennepourcomprendredestransitionsdephase;delacombustion meelangeeadestheoremesd'indice;desmodeelesdesupraconductiviteem^aatinees  decohomologie;desgrandesdeeviationsavecdel'eevolutiondegalaxies;de l'ergodiciteepourdeecriredesuidesdansdesmilieuxporeuxstochastiquesJen'aiciteeiciquedeschosesquejeconnaisdeprees;silegreerajoutaittouslesmeefaitsdemescongeeneressecachantsouslem^emfauxnez,jeconna^traisd'avancelereequisitoire:votrecompteestbonmesgaillards:vouscachezsousl'eetendarddel'AnalyseNumeeriquedes activiteesdecontrebandeintellectuelle,etvousnepouvezpasvousemp^eecher d'importerdansvospuresmatheematiquesappliqueeesdestasdechosesqui n'ensontabsolumentpas.Jesuisdoncincapabledefournirunedeenitiondecequiestpuretappliqueenmatheematiques;pluspreecisement,s'ilyavaitunetelledeenition,un contre-exemplepermettraitrapidementdelareefuter,parcequ'ils'instaurenpermanencedespratiquesscientiquesquideefontfrontieeresetdenitions, sit^ootqu'ellesonteeteemisesenplace. 
2.Deemonstration,imaginationetexpeerimentatio
Ilestcourantdedirequelesmatheematiquessecaracteerisentparl'importance donneeeaal'activitededeemonstration.Unetelled'assertionmasquelefaitqucertaindesplusceelebres,d'EuleraaWitten,enpassantparPoincare,nesont pasparticulierementreeputespourleuramourdesdemonstrations UnefameuseremarquedeHilbertestrapporteeedanslelivredeConstancReid22,page175
Itseemsthattherewasamathematicianwhohabecomeanovelist.Whydidhedothat?"peopleinGoottingenmarvelled. Howcanamanwhowasamathematicianwritenovels?"Butthaticompletelysimple,"Hilbertsaid.Hedidnothaveenoughimaginationfor mathematics,buthehadenoughfornovels.
Celanousditbienqu'auxyeuxdesplusgrands,m^eemes'ilsn'ontpadeedaignedefairedesdeemonstrations,laprioriteec'estl'ideee:sansideee, pointdequestionnidedeemonstrationveritablementnouvelle;eevidemment, raressontceuxquiselancentdansunevisionquasimentpropheetiquedu fonctionnementdesobjetsmatheematiques.Maisquin'ajamaiseenonceureesultatdansunenote,oudonneunecommunicationdecongrees,alorsquelpreuveeetait,disons,quelquepeuincompletePourunreesultattreesabstrait,oncomprendquelavalidationessentiellesoiunedeemonstration.Maissinosreesultatsontaavoiraveclemondeconcretfaut-ilfairedesdeemonstrations
GAZETTEDESMATH  EEMATICIEN
 
 EEALI EEETFICTIONDESMATH  EEMATIQUESAPPLIQ EEE
4Enparticulier,quiabesoindeladeemonstrationdelaconvergenced'une meethodenumeerique?Onprogrammecettemethode,onl'expeerimente,eton voitbiensielleconvergeounon,n'est-cepasNonseulement,ondisposedel'expeerimentationnumerique,maislematheematiciensnesontpastotalementdeepourvusdebonsens;orledeemonstrationsdeconvergencedemeethodesnumeeriquespeuvent^etresuivanlescas|2.1reebarbatives; |2.2peuinformatives; |2.3inconnuesparcequevraisemblablementd'uneredoutabldicultee. Voiciquelquesexemplescorrespondantaachacundescaspreecedents
2.1.Lesrebarbatives 
Serendrecomptequebiendesdeemonstrationsdepassagedudiscretau continusontdouloureusesdemandeseulementdeconsulterquelquesgrands etimportantsouvragesd'analysenumeerique. Unbonexempledepreuvesparticulierementpeeniblessetrouvedanslmondedeselementsnis.Dequois'agit-il? Onsouhaiteresoudreparexempleunprobleemeauxlimiteselliptique; l'inconnueestunefonctionouunchampdevecteursqu'onvaremplaceparuneapproximationpolynomialeparmorceauxappartenantaaunespacdedimensionni
;onconstruitunenotionraisonnabledesolution approcheee,enintegrantparpartiesetenprenantcommefonctionsde testunebasedel'espac
.Onremplaceainsiuneeequationauxdeeriveepartiellesparunsysteemed'eequationslineeaires,enespeerantquetoutvabien sepasserPratiquement,toutelavaleurd'unemeethodenumeeriqueviendradelcombinaisonmagique:facileaaprogrammeretpreecise.Cesontdesconditionassezcontradictoires;eneet,pouravoirdesmethodespluspreecises,on choisitdesapproximationspolynomialespluscompliqueees,etdoncplus dicileaaprogrammer;deplus,siontraitedessysteemes,toutdevient treeslourdetlent. Remarquonsiciquel'accroissementrapidedesperformancesducalcul scientiquereesulteaalafoisdel'ameeliorationdescapaciteesdesordinateurset duprogreesdesmeethodesetdesalgorithmesPourtouteunecategoriedeprobleemes,ondoitemployerdesmeethodes d'eelementsnisparticulieerementsubtils,appeleeselementsnismixtes,dont   jeparleraiplusendeetaildansleparagraphe6.Cesmeethodesconsistent 
 
76AVRIL199

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->