Comment justifier qu'une fonction est de classe $\mathcal{C}^2$ sur un ouvert de $\mathbb{R}^n$ ?

En reconnaissant une fonction polynomiale, admise de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$

Montrer rapidement qu'une fonction polynomiale des variables $x_1,\dots,x_n$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$ .

Que ferais-tu face à un exercice de ce type ?

Montrer que $f(x,y) = x^2 + 3xy - y^3 + 5$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^2$ .

L'objectif

Montrer rapidement qu'une fonction polynomiale des variables $x_1,\dots,x_n$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$ .

Le principe

Le B.O. admet que toute fonction polynomiale de $n$ variables est de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$ .

La méthode

1
Je reconnais que $f$ est une combinaison linéaire finie de monômes $x_1^{\alpha_1}\cdots x_n^{\alpha_n}$ : c'est une fonction polynomiale en $(x_1,\dots,x_n)$ .
2
J'invoque le résultat admis du cours : toute fonction polynomiale de $n$ variables est de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$ .
3
Je conclus : $f$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$ (et en particulier sur tout ouvert $\Omega\subset \mathbb{R}^n$ ).

Pour comprendre, fais des exercices !

Exercice d'exemple

Montrer que $f(x,y) = x^2 + 3xy - y^3 + 5$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^2$ .

Étape 1 —

Je reconnais que

f

est une combinaison linéaire finie de monômes

x_1^{\alpha_1}\cdots x_n^{\alpha_n}

: c'est une fonction polynomiale en

(x_1,\dots,x_n)

.

$f$ est une somme de monômes $x^2$ , $3xy$ , $-y^3$ et de la constante $5$ : c'est une fonction polynomiale de deux variables.

Étape 2 —

J'invoque le résultat admis du cours : toute fonction polynomiale de

n

variables est de classe

\mathcal{C}^2

sur

\mathbb{R}^n

.

Le cours admet que toute fonction polynomiale de $n$ variables est $\mathcal{C}^2$ sur $\mathbb{R}^n$ .

Étape 3 —

Je conclus :

f

est de classe

\mathcal{C}^2

sur

\mathbb{R}^n

(et en particulier sur tout ouvert

\Omega\subset \mathbb{R}^n

).

Donc $f$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^2$ .

$f$ est de classe $\mathcal{C}^2$ sur $\mathbb{R}^2$ .

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.

Comment classer un point critique (minimum local, maximum local, point selle) à l'aide du spectre de la hessienne ?

Comment démontrer qu'une fonction admet un extremum global sur un ouvert convexe via le signe du spectre de

\nabla^2 f

?

Comment justifier l'existence d'un extremum global d'une fonction continue sur un fermé borné ?

Comment justifier qu'une fonction est de classe C2\mathcal{C}^2C2 sur un ouvert de Rn\mathbb{R}^nRn ?

En reconnaissant une fonction polynomiale, admise de classe C2\mathcal{C}^2C2 sur Rn\mathbb{R}^nRn

Pour comprendre, fais des exercices !

Comment justifier qu'une fonction est de classe $\mathcal{C}^2$ sur un ouvert de $\mathbb{R}^n$ ?

En reconnaissant une fonction polynomiale, admise de classe $\mathcal{C}^2$ sur $\mathbb{R}^n$