Concours National Commun - Session 2010 Corrig de lpreuve de mathmatiques I Filire MP

tude de lquation de la chaleur

Corrig par M.TARQI1

I. R SULTATS

PRLIMINAIRES

1.1 Posons et considrons la fonction suivante :

   Soit 
 
, on a donc, en appliquant le thorme des accroissements nis  : 
avec     . Do :

      

avec     .


    
     
    

 avec     , en appliquant le thorme des accroissements nis la fonction  

  . On en dduit que  
 

  !"#$ $" 

car est continue.      On peut galement considrer 

 
. Par un raisonnement analogue celui qui prcde, on a :

avec   %   .

       %  

avec   %  . Donc

'

&   %     %   
  %  %       !"#$ $" 
 

On en dduit donc lgalit des deux drives partielles secondes. Puisque

est de classe ( sur louvert ) , alors, daprs ce qui prcde, on peut crire, pour tout * ) ,



   

donc +, est une matrice symtrique, et comme elle est relle, alors +, est diagonalisable dans une base orthonorme de - .
1

M.Tarqi-Centre Ibn Abdoune des classes prparatoires-Khouribga. Maroc. E-mail : medtarqi@yahoo.fr

./012324564. 789: ; <=>9 3

1.2 1.2.1
est de classe ( sur louvert ) et admet un maximum en , donc daprs la condi-

tion ncessaire des extremums ?

, donc .   Par ailleurs, puisque ) est un ouvert, alors il existe @ A  tel que B @ C ) , donc pour tout D D  @,  * ) et daprs la formule de Taylor-Young, on a :

o 1.2.2

 .

 F    EG  HI I   HI I

 E       E J,  

1.2.2.1 Soit

 K  IK I, alors D D L @, alors  
E  J, K  H L 
M   K IK IN IK I

ainsi pour voisin de 0, on a :

  J, K  H  L 

OP   1.2.2.2 Lingalit prcdente scrit aussi pour tout *  @ @ Q :  J, K  R L     o S#$ R , donc quand tend vers 0, on obtient J, K L , donc J, est ngative.
1.2.3 Comme J, est ngative, alors


T T T 
+,  D  J,  L  et +, T DT J, T L     
o T T dsigne la base canonique de - et D le produit scalaire canonique. En particulier


 
L     

II. C ONSTRUCTION

D UNE SOLUTION DU PROBLME

  W W  E   *  U et donc W 2.1 Si * U  , alors V  V    ; si * U U, alors   W W W E  EU * U  et donc V V  EU  EU  et enn si * U XU , alors W E  EU *  U et par consquent W V  U   W Y   La fonction V est ( sur  U   U et  W    W   W   S#$Z V S#$Z
et

 W    ? W  W   S#$[ V S#$[ ?  U, ainsi W De mme on montre que  V est (  sur - V est continue en ./012324564. 789: ; <=>9 1

2.2 2.3

2.4

2.5

2.6

E E W b W b W  ab c   ] W        a c a c On a \] V ? ? ? \. U ^`_ V U ^$ _ V U ^$ _ W W  pour tout c * d . Puisque est impaire, _ ] V W  Puisque est ( sur -, alors daprs le thorme de Dirichlet ( thorme de convergence W normale), la srie e D\] V D converge, donc la srie e \] est absolument convergente. ]f ]f    On a Dg] D L D\] D, donc la srie e g] est normalement convergente sur - h  i . ]f    j ] ab cT`]k S Par ailleurs, les application \ sont continues sur - h  i , donc  l g]  est continue sur - h  i . la fonction j e ]m Soit c * dn , la fonction g] est produit de fonctions de classe ( l sur - , donc elle est de  classe ( l sur - et o * - ,  g]   g] c ab cT`]kS  c ab cT`]k S  \]  \]      ! ! T`]k ,     On a pour tout * - h i et pour tout * d , Dc g] D L \]c et comme ! !  c T`]k , `]k , c * d c p c c T $ $ , alors il existe L  et par tel que pour tout , on a ]# ! !  l consquent pour tout c p c $, Dc g] D L D\] D, donc la srie q c g] converge normale]f  i  ment sur r h . !  g]  c !s tuacT`]k S c On a , donc le mme raisonnement se fait pour montrer  g ! ]   que la srie e c est normalement convergente sur - h i . ]f  ]m

   l g]  . Montrons que  possde en tout 2.7 Soit A  et * i . Posons  e  l c \] tuacT`] Sk point de - une drive et que o * -,  e
 est bien dnie sur -.   t `]kS  K] v j g] est de classe ( sur - pour tout c p  et K] c \] uacT . Daprs la question

]m

E w

, la srie e K] converge normalement sur -.

Conclusion : De ces points, on en dduit par un thorme de cours que  est de classe ( sur - et que

]f

Autrement dit, la fonction

possde en tout point de - h  i une drive partielle par rapport et que

  l K]  e ]m


 l c ] tuacT`]k S e \  ]m    t `]k S Par ailleurs, les applications j c \] uacT sont continues sur - h  i , et   `]k S t comme la srie e c \] uacT converge normalement sur tout - h i , pour ]f
A , alors  est continue sur - h i .  ./012324564. 789: ; <=>9 x

 l g]  . Montrons que  possde en tout point de  i  une drive 2.8 Posons  e      l c  \] ab cT`] Sk et que o *  i ,   e ]m

]m  i    est bien dnie sur  .    b    `]k S  K] v j g] est de classe ( sur  i pour tout c p  et K] c \] a cT .   i  La srie q K] converge normalement sur pour tout A . ]f    Donc  est de classe ( sur  i et que     l K] e ]m

Autrement dit, la fonction

possde en tout point de - h  i une drive partielle par  rapport et que

2.9 Il suftde montrer que les drives partielles dordre 2 existent et quelles sont  continues E y E z    sur - h  i . Daprs les questions et
est de classe ( sur - h  i , et on peut utiliser le mme raisonnement pour montrer que les drives partielles


  l c ] ab cT`]k S e \   ]m  b   `]k S Dautre part, les applications j c \] a cT sont continues sur - h  i , b   `]kS et comme la srie e c  \] a cT converge normalement sur tout - h i , pour ]f
 A , alors  est continue sur - h i .  

,  ,    

 

  et  existent et quelles sont continues sur - h  i , et que    
  l c ab cT`]k S e    ]m    pour tout de - h  i .   Ainsi o * - h  i ,


  
  l c ab cT`]k S   l c ab cT`]k S e  e       ]m ]m  l g]  vrie la condition (i) de (1). Dautre 2.10 Daprs ce qui prcde,
v j e ]m  *  

U  part, pour tout  r,   ; donc la deuxime condition est aussi   l \] ab c  W . vrie, enn, pour tout de  U ,
 e V ]m En conclusion, la restriction de
{ est solution du problme .
III. U NICIT 3.1 Un rsultat utile
DE LA SOLUTION

  |   | \     3.1.1 Par dnition | \ et comme |  | \ L  pour tout * \ , S#}[   \  alors | \ p  ./012324564. 789: ; <=>9 ~

    3.1.2 Il existe un intervalle ouvert  $  $  C \ tel que o *  | p | $ alors    | | $ p  et [  $ # et comme | est drivable en $ alors  | | $ L Z  $ #

   | $ | $ | $ 
La formule de Taylor-Young lordre 2 scrit sous la forme :

 $   $  H  $  | | E|  Comme dans la question [1.2] de la premire partie, | $ L .

3.2 3.2.1
est une fonction continue sur { , qui est un compact de - ; donc
est borne et  atteint ses bornes ; en particulier il existe $ $ * { tel que

$ $ a   S" 

3.2.2 Si $ $ * { , qui est ouvert et puisque ncessaire des extremums,

est ( sur { , alors daprs la condition

3.3

 $ $  $ $        La fonction j $ est deux fois drivable sur  U et admet un maximum 

 E  en $, donc $ $ L  ( la question X  de cette partie ).    U $ 3.2.3 La fonction | v j F est deux fois drivable sur  et admet un    maximum en $, donc | $ $ $ L .      De mme , la fonction j $ est deux fois drivable sur  F et admet un  maximum en $ F, donc  $ $  $ F p      


    3.2.4 Si $ $ * { , alors $ $   $ $ $ $ L , mais ceci est ab     surde.

     Si $ $ * , alors $ $   $ $ L , et ceci aussi est absurde.    
 
 Donc la condition  A  implique que $ $ *   
3.3.1 Puisque pour tout c * dn , C , alors la suite ] ]f dlments de est borne, et daprs le thorme de Weirstrass, on peut extraire une sous-suite ] " ]f  qui converge dans vers un lment n n.  a  Dautre part, on a pour tout c * dn , { C {Z, donc  a L  S" S"

Z ] ] s ] ]f et par consquent L  , donc  est croissante, il est de mme de la sous-suite c]f.  On a aussi est continue sur et ] # ] " , donc ] " ]f tend vers . l ./012324564. 789: ; <=>9

      3.3.2 Soit *  U h  r , alors il existe c * dn tel que * { ] " et donc 

et par consquent

  "   " ] ] L  a S"

  "   " n n ] ] L ]# ; et comme est continue l sur {, alors,   n n r L S#  Donc lingalit prcdente est vraie pour tout * {. 
3.4

 3.4.1 Il est clair que ] * ( { ( { et que o * {, E  ]    ]          c A          3.4.2 Daprs la question X X de cette partie, pour chaque c * dn , il existe ] ] * {] tel
que

] ] ]

a ]   S"

 3.4.3 ] ] ]f est une suite dlments dune partie borne, donc admet une sous-suite   convergente ] " ] " ]f vers n n * , lgalit prcdente scrit enore sous la forme  "   "   ] " a   r ] ] c  S" c n n a   S"

et quand c tend vers linni on obtient lgalit :

  3.5 Daprs ce prcde et par application du rsultat de la question X et  , il existe n n n de tels que : deux couples n   et    n n a     S"


Donc la fonction

n n a    b   S"  S"  

3.6 Daprs la deuxime partie,

est solution du problme , donc la fonction
 
vrie lquation

est identiquement nulle sur {

  sur {, et par la question X , la fonction est nulle sur {, donc


. Do lunicit de la solution du problme .

       

./012324564. 789: ; <=>9