[<] Gradient [>] Espace tangent
Soient une fonction de classe et définie par
Déterminer .
On prolonge par continuité en et l’on suppose de surcroît de classe sur .
Justifier que est différentiable en et y préciser sa différentielle.
Montrer que est de classe sur .
Solution
Par le théorème des accroissements finis, il existe tel que .
Quand alors puis .
Par Taylor-Young:
avec .
Donc est différentiable en et .
est de classe sur par opérations.
et de même
donc est de classe sur .
Soit de classe sur . On pose
À l’aide d’une intégrale, proposer une expression de où ne figure plus la discussion selon que est égal ou non à .
En déduire que est de classe sur .
Solution
Puisque la fonction est de classe sur , on peut écrire
Par le changement de variable , on obtient
Ainsi,
Cette relation vaut pour et aussi pour .
Soit fixé.
L’application admet une dérivée partielle
Cette dérivée partielle est continue en et continue par morceaux en .
Pour assez grand pour que en soit élément, on a
La fonction est continue donc bornée par un certain sur le segment . On a alors
La fonction est évidemment intégrable sur et donc, par domination sur tout segment, on peut affirmer que l’application est de classe et
Ainsi, admet une dérivée partielle
De plus, la fonction est continue sur et par une domination sur , on obtient la continuité sur de l’application .
De même, on montre que la deuxième dérivée partielle de existe et est continue.
Soit, pour ,
On note l’ensemble des tels que la série de terme général converge. On pose
Déterminer .
Montrer que est de classe .
Solution
Cas: .
donc la série est absolument convergente.
Cas: . Si la série converge alors donc
par croissance comparée.
Mais alors
ce qui est incohérent avec l’affirmation qui précède.
Ainsi, la série diverge.
Cas: .
Si alors et diverge.
Si alors par une transformation d’Abel, on obtient la convergence de la série .
Cas: . On remarque
Ainsi, converge si, et seulement si, .
Finalement,
L’intérieur de est alors
Soient et .
est de classe sur et la série de fonctions converge simplement sur .
La série de fonctions converge normalement sur via
Enfin, la série de fonctions converge normalement sur via
On peut alors appliquer les théorèmes usuels qui affirment que
admet deux dérivées partielles continues sur . C’est donc une fonction de classe sur . Enfin, cela valant pour tout , on obtient une fonction de classe sur l’intérieur de .
Soit une fonction de classe . On définit
Démontrer que est dérivable sur et préciser sa dérivée.
Solution
On peut écrire
avec
Fixons et considérons définie sur .
La fonction est continue en et continue par morceaux en .
Soit . La fonction étant continue sur le compact , elle y est bornée par un certain .
On a alors
La fonction est intégrable sur et donc, par intégration sur un segment, on obtient que la fonction est de classe et
Ainsi admet une dérivée partielle et, une domination analogue à la précédente permet d’établir que cette fonction est continue en le couple .
D’autre part, est évidemment dérivable et
Ainsi admet une dérivée partielle et celle-ci est clairement continue.
Finalement, est de classe sur .
Notons enfin que les dérivées partielles de sont continues en et donc la fonction est de classe .
Puisque, est de classe .
Par dérivation de fonctions composées
Enfin
[<] Gradient [>] Espace tangent
Édité le 29-08-2023
Bootstrap 3 - LaTeXML - Powered by MathJax