X Maths B MP 2019 -- Corrigé Ce corrigé est proposé par Loïc Devilliers (professeur en CPGE) ; il a été relu par Hugues Zuber (professeur en CPGE) et Benjamin Monmege (enseignant-chercheur à l'université). Ce sujet propose une généralisation de l'étude qualitative des équations différentielles. En effet, la recherche moderne dans le domaine des équations différentielles introduit des notions généralisant la notion de dérivabilité vue et étudiée au lycée ou dans les études supérieures. Ainsi, il est possible de transformer la notion d'équation différentielle en une équation fonctionnelle où la dérivée ne figure plus. Ces outils arrivent parfois à montrer l'existence ou l'unicité des solutions là où le théorème de Cauchy-Lipschitz est impuissant. · Dans la première partie, on étudie une équation différentielle d'ordre 1 non linéaire (car une valeur absolue y est présente). On montre qu'elle n'a pas de solution de classe C 1 (cas de non existence) sur son domaine de définition. En revanche, elle admet deux solutions si on relâche la contrainte en 0 (cas de non unicité). Cette partie est plutôt facile, mais devait être rédigée avec rigueur. · La deuxième partie propose l'étude des sous-différentiels et des sur-différentiels d'une fonction. Ce sont des ensembles qui généralisent la notion de dérivée de cette fonction. On fait donc le lien entre ces nouvelles notions et la notion classique de dérivée. Lorsque les fonctions ne sont pas dérivables, le sujet propose de réécrire les sous-différentiels et sur-différentiels avec une définition utilisant les limites ainsi que les bornes supérieures et inférieures. Enfin, lorsque la fonction est concave, il existe une description encore plus simple des sur-différentiels. · L'équation différentielle du début du sujet peut être remplacée par une équation fonctionnelle. Pour cela, la dérivée est remplacée par les sous/sur-différentiels étudiés dans la partie précédente. Dans la troisième partie, cette équation fonctionnelle est scindée en deux inéquations fonctionnelles que l'on étudie. On établit une inégalité entre deux fonctions vérifiant chacune l'une des deux inéquations fonctionnelles. · Dans la dernière partie, un cas particulier de l'équation fonctionnelle est étudié. On se ramène ainsi à l'équation différentielle étudiée dans la première partie. On montre l'unicité de la solution en utilisant les résultats de la partie précédente. C'est un sujet long et technique ; la rédaction de certaines questions est longue et pénible si on veut la faire proprement. De plus, quelques questions demandent de prendre beaucoup d'initiatives. Une des difficultés majeures est qu'il faut savoir appréhender de nouvelles notions, comme les sur/sous-différentiels ou les sur/soussolutions, dans un temps court. Une excellente maîtrise des limites avec les quantificateurs, des bornes supérieures et du maniement des inégalités est indispensable pour bien traiter ce sujet. En revanche, ce problème propose une démarche très intéressante car utilisée en recherche mathématique : généraliser la notion de dérivabilité. Cette idée est l'un des fondements de la théorie des distributions et de l'optimisation convexe. Indications Partie I 1a Si u a un signe constant au voisinage de y simplifier la valeur absolue et dériver à nouveau l'équation. 1b Étudier le taux d'accroissement de u . 2 Résoudre u = u avec les conditions initiales. Partie II 4 Par double inclusion : pour la première inclusion, utiliser le fait que si une fonction f a un extremum en un point x0 intérieur à son domaine de définition, alors f (x0 ) = 0. Pour la seconde inclusion, poser = u. 5a Soit 1 tel que u - 1 ait un minimum local en x0 . Modifier 1 pour que sa valeur en x0 corresponde à ce qui est demandé. 5b Comparer les taux d'accroissement en x0 de 1 et 2 en séparant bien les cas x > x0 et x < x0 . Puis appliquer le théorème d'encadrement entre les taux d'accroissement de u, 1 et 2 en x0 . 6a Étudier u-x0 ,r en particulier ses limites aux extrémités de Ix0 (r) pour montrer que sa valeur maximum est atteinte sur Ix0 (r). 7a Écrire la définition de p D+ u(x0 ) avec une fonction puis utiliser le développement limité à l'ordre 1 de en x0 . 7b Comme (3) est supposée vraie, il existe au moins un 0 > 0 tel que la borne supérieure dans (3) existe bien. Quand varie, comparer ces bornes supérieures. Ne pas hésiter à introduire des notations supplémentaires. 7c Étudier la continuité à droite et à gauche de en tout point de R+ . 7d Entre r et 2r, minorer . 7e Utiliser l'inégalité démontrée en 7b et ce l'on sait sur pour construire une fonction tel que u - ait un maximum local en x0 . 9 Montrer que D+ u(x0 ) est convexe et appliquer la caractérisation séquentielle des fermés. 10c Utiliser le résultat de 10b ainsi que la décroissance des pentes montrée en 10a. Partie III 12 Appliquer le théorème de Heine à u et v et utiliser la continuité de en 0. 13 Comparer (x , y ) à (x0 , x0 ). 14b Supposer que |x | = 1, puis minorer/majorer |x -y | en utilisant ce qui précède pour trouver une contradiction. 14c Écrire que a un maximum en (x , y ) pour trouver une fonction dont la dérivée en x va satisfaire la définition de D+ u(x ). Partie IV 16d Montrer que 0 D- u1 (0). En déduire que u1 n'est pas sur-solution de (1). 16e Considérer une autre sur-solution et sous-solution et appliquer le résultat de la question 15. 18a Soit u une solution de (5), résoudre u sur des intervalles sur lesquels u a un signe constant. Puis considérer un point sur lequel u change de signe après avoir prouvé qu'un tel point existe. Partie I 1a Comme u est de classe C sur [ -1 ; 1 ], l'application x 7 |u (x)| = -u(x) l'est également. Soit y [ -1 ; 1 ] tel que u (y) 6= 0. Il y a deux cas : · Si u(y) > 0, alors, par continuité de u en y, il existe un voisinage J de y tel que pour tout x J I, u(x) > 0. Ainsi, pour tout x J I, u(x) + u (x) = 0. Par conséquent, u = -u sur J et comme u est C 1 sur J, on en déduit que u l'est également. Ainsi, u C 2 (J I), prouvant que u est de classe C 2 au voisinage de y. En dérivant la relation u = -u sur J I, on obtient u = -u . En particulier, 1 u (y) = -u (y) = -|u (y)| · De même, si u(y) < 0, alors, par continuité de u en y, il existe un voisinage J de y tel que pour tout x J I, u(x) < 0. Ainsi, u = u sur J et comme u est de classe C 1 , sur J, on en déduit que u l'est également. Par conséquent, u est de classe C 2 au voisinage de y et u = u . En particulier, u (y) = u (y) = -|u (y)|. La fonction x 7 |u (x)| est C 1 ([ -1 ; 1 ]). De plus, pour tout y [ -1 ; 1 ], si u (y) 6= 0, alors u est C 2 sur un voisinage de y et u (y) = -|u (y)|. 1b Soit y [ -1 ; 1 ]. Supposons u (y) = 0. En particulier, u(y) = -|u (y)| = 0. Calculons la valeur absolue du taux d'accroissement de u en y. Soit x [ -1 ; 1 ]r{y} : u (x) - u (y) |u (x)| u(x) u(x) - u(y) = = - = x-y x-y x-y x-y Or comme u est dérivable en y de dérivée u (y) = 0, on en déduit que lim xy u(x) - u(y) =0 x-y La valeur absolue étant continue, on en déduit que lim xy u (x) - u (y) u(x) - u(y) = lim =0 xy x-y x-y Ceci prouve que u est dérivable en y et que u (y) = 0. En conclusion Si u (y) = 0 alors la fonction u est dérivable en y et u (y) = 0. 2 Soit y [ -1 ; 1 ]. Alors · si u (y) 6= 0, alors en utilisant la question 1a, u (y) = -|u (y)| = u(y) ; · si u (y) = 0, alors d'après la question 1b, u (y) = 0 = -|u (y)| = u(y). Dans tous les cas, u (y) = u(y), d'où u = u. La fonction u = u étant continue, il vient que u est de classe C 2 sur [ -1 ; 1 ]. Finalement, La fonction u est de classe C 2 sur [ -1 ; 1 ] et vérifie u = u. Comme u = u, on peut affirmer qu'il existe (A, B) R2 tel que x [ -1 ; 1 ] u(x) = Ae x + Be -x En utilisant les conditions initiales et finales de u , il vient u(1) = Ae 1 + Be -1 = -1 Par différence, et u(-1) = Ae -1 + Be 1 = -1 u(1) - u(-1) = 2A sh (1) - 2B sh (1) = 0 Comme sh (1) 6= 0, il vient B = -A, ainsi u = 2A ch . En particulier, u(0) = 2A et u (0) = 0. En utilisant la relation u(0) + |u (0)| = 0, il en découle 2A + 0 = 0 puis A = 0. Dès lors, u est la fonction nulle. Ceci contredit la condition u(1) = -1. Pour conclure Il n'existe pas de fonction u C 1 ([ -1 ; 1 ]) vérifiant (2). 3 Montrons que u0 et u1 vérifient les propriétés demandées : · Les fonctions valeur absolue et exponentielle étant continues sur R, on en déduit, par composition, que u0 et u1 sont continues sur [ -1 ; 1 ]. · u0 (-1) = u0 (1) = -1 et u1 (-1) = u1 (1) = -1. · Pour tout x ] 0 ; 1 ], u0 (x) = -e -1+x et u1 (x) = -e 1-x . De même, pour tout x [ -1 ; 0 [, u0 (x) = -e -1-x et u1 (x) = -e 1+x . On en déduit par composition que u0 et u1 sont dérivables sur [ -1 ; 1 ] r {0} avec ( et u1 (x) = e 1-x si x ] 0 ; 1 ] u0 (x) = -e -1+x -1-x u0 (x) = e et u1 (x) = -e 1+x si x [ -1 ; 0 [ ( -1+x -e + e -1+x = 0 si x ] 0 ; 1 ] d'où, u0 (x) + |u0 (x)| = -e -1-x + e -1-x = 0 si x [ -1 ; 0 [ ( 1-x -e + e 1-x = 0 si x ] 0 ; 1 ] et, u1 (x) + |u1 (x)| = -e 1+x + e 1+x = 0 si x [ -1 ; 0 [ On peut en conclure que Les fonctions u0 et u1 sont des fonctions de C 0 ([ -1 ; 1 ]) vérifiant pour tout x [ -1 ; 1 ] r {0}, u(x) + |u (x)| = 0 ainsi que u(-1) = u(1) = -1. Partie II 4 Supposons u de classe C 1 au voisinage de x0 . Procédons par double inclusion. Soit p D+ u(x0 ) (respectivement p D- u(x0 )), alors il existe une fonction de classe C 1 au voisinage de x0 avec (x0 ) = p et telle que u - admet un maximum local (respectivement un minimum local) en x0 . Ainsi x0 est un extremum local de u - . De plus, u - est dérivable en x0 comme différence de fonctions dérivables en x0 . Notons, de plus, que x0 est un point intérieur à l'ensemble de définition de u-. Donc (u - ) (x0 ) = 0. Par conséquent p = (x0 ) = u (x0 ) {u (x0 )} Par suite, D+ u(x0 ) {u (x0 )} (respectivement D- u(x0 ) {u (x0 )}). Réciproquement, montrons que le réel u (x0 ) appartient à D+ u(x0 ) et à D- (x0 ). Posons = u. Dès lors, est de classe C 1 au voisinage de x0 , et u - étant la fonction nulle, x0 est bien un maximum local et un minimum local de u - . Ainsi, u (x0 ) = (x0 ) D+ u(x0 ) et u (x0 ) = (x0 ) D- u(x0 ) Ceci montre que {u (x0 )} D+ u(x0 ) et {u (x0 )} D- u(x0 ). Par double inclusion, il y a alors égalité entre ces trois ensembles. En conclusion, Si u est C 1 sur un voisinage de x0 , alors D+ u(x0 ) = D- u(x0 ) = {u (x0 )}. 
