Fonction monotone

Fonction monotone

Dans l'étude des fonctions numériques à valeurs dans ℝ, les fonctions monotones tiennent une grande place. Ce sont les fonctions dont le sens de variation ne change pas. Une fonction monotone sur un intervalle est une fonction qui reste croissante ou qui reste décroissante sur cet intervalle.

La représentation graphique d'une fonction monotone sur un intervalle est une courbe qui « monte » constamment ou « descend » constamment. Si cet aspect graphique est immédiatement parlant, ce n'est cependant pas sous cette forme que la propriété de monotonie se révèle la plus intéressante. Une fonction monotone est une fonction qui a toujours le même effet sur la relation d'ordre. Pour une fonction croissante, l'ordre qui existe entre deux réels se retrouve dans l'ordre de leurs images, pour une fonction décroissante, l'ordre des images est inversé par rapport à l'ordre des antécédents.

Pour une fonction dérivable sur un intervalle, l'étude de la monotonie est liée à l'étude du signe de la dérivée.

Sommaire

Définitions

Soient I un intervalle de ℝ et une f une fonction à valeurs réelles, dont le domaine de définition contient cet intervalle I.

Monotonie au sens large

On dit que f est :

  • croissante (ou : croissante au sens large) sur I si
pour tout couple (x,y) d'éléments de I tels que \scriptstyle x\le y, on a \scriptstyle f(x)\le f(y).
  • décroissante (ou : décroissante au sens large) sur I si
pour tout couple (x,y) d'éléments de I tels que \scriptstyle x\le y, on a \scriptstyle f(x)\ge f(y).
  • monotone (ou : monotone au sens large) sur I si elle est croissante sur I ou décroissante sur I.

Exemple : pour tout réel x, notons ici E(x) la partie entière de x ; c'est l'unique entier relatif k tel que \scriptstyle k\le x<k+1.

La fonction

f:\R\to\R, x\mapsto\mathrm E(x)

est croissante sur ℝ.

Mais elle n'est pas strictement croissante (cf. infra), car elle est constante sur chaque intervalle [i,i + 1[ d'extrémités entières.

Monotonie stricte

On dit que f est :

  • strictement croissante sur I si
pour tout couple (x,y) d'éléments de I tels que x < y, on a f(x) < f(y).
  • strictement décroissante sur I si
pour tout couple (x,y) d'éléments de I tels que x < y, on a f(x) > f(y).
  • strictement monotone sur I si elle est strictement croissante sur I ou strictement décroissante sur I

Exemples : soit n un entier strictement positif.

  • La fonction
f:\R^+\to\R,x\mapsto x^n

est strictement croissante sur ℝ+.

En effet, si a,b,a',b' sont des réels tels que \scriptstyle0\le a<b et \scriptstyle0\le a'<b', alors aa' < bb'. On en déduit par récurrence sur l'entier n que pour tout couple (x,y) de réels positifs ou nuls tels que x < y, on a xn < yn.
  • Lorsque n est impair, la fonction
f:\R\to\R,x\mapsto x^n

est strictement croissante sur ℝ.

En effet, elle est strictement croissante sur ℝ+ (cf. l'exemple précédent) et impaire.

Remarque 1 : pour qu'une fonction f soit croissante (resp. strictement croissante) sur I, il faut et il suffit que -f soit décroissante (resp. strictement décroissante) sur I.

Remarque 2 : pour qu'une fonction monotone f de I dans ℝ ne le soit pas strictement, il faut et il suffit qu'il existe un intervalle J inclus dans I, non vide et non réduit à un point, sur lequel f est constante.

Justification

En effet, supposons (par exemple) que f est croissante sur I.

  • Il est clair que s'il existe un intervalle J vérifiant les propriétés indiquées ci-dessus, alors f n'est pas strictement croissante.
  • Réciproquement, dire que f n'est pas strictement croissante signifie qu'il existe un couple (a,b) d'éléments de I tel que a < b et tel que f(a) < f(b) n'ait pas lieu, c'est-à-dire tel que \scriptstyle f(a)\ge f(b).
Comme f est croissante, on a par ailleurs \scriptstyle f(a)\le f(b), donc f(a) = f(b).
Alors, pour tout \scriptstyle x\in[a,b], par croissance de f, \scriptstyle f(a)\le f(x)\le f(b)=f(a), ou encore f(x) = f(a), ce qui prouve que f est constante sur [a,b].

Propriétés

Propriétés élémentaires

Opérations algébriques

Soient deux fonctions croissantes sur I. Alors :

  • leur somme est croissante
  • si elles sont à valeurs positives, leur produit est croissant
(propriété analogue pour les fonctions strictement croissantes).

Composition

Soient deux fonctions \scriptstyle f:I\to\R et \scriptstyle g:J\to\R, où I, J sont deux intervalles réels tels que \scriptstyle f(I)\subset J ; on peut définir la fonction composée \scriptstyle g\circ f:I\to\R.

Si f est monotone sur I et g monotone sur J, alors \scriptstyle g\circ f est monotone sur I. Plus précisément :

  • si f et g sont toutes deux croissantes ou toutes deux décroissantes, alors \scriptstyle g\circ f est croissante.
  • si l'une des deux fonctions f, g est croissante et l'autre décroissante, alors \scriptstyle g\circ f est décroissante
(propriété analogue pour les fonctions strictement monotones).

Injectivité

Une fonction strictement monotone sur un intervalle I est injective, c'est-à-dire que deux éléments de I distincts ont des images distinctes.

En effet, si x, y sont deux éléments de I distincts on a
si x < y alors f(x) < f(y),
si x > y alors f(x) > f(y),
donc dans les deux cas, f(x) et f(y) sont distincts.

Cette propriété, associée au théorème des valeurs intermédiaires, se révèle utile pour la recherche du nombre de racines d'une fonction.

Propriétés relatives à la continuité et aux limites

Théorème de la limite monotone pour une fonction

Article détaillé : Théorème de la limite monotone.

Soient ]a,b[ un intervalle ouvert (borné ou non) et une fonction croissante \scriptstyle f:]a,b[\to\R. Alors :

  • f admet en tout point x de ]a,b[ une limite à droite et une limite à gauche, finies, qu'on note respectivement f(x + ) et f(x − ) ; elles vérifient la double inégalité \scriptstyle f(x_-)\le f(x)\le f(x_+) ;
  • f admet une limite à gauche en b, finie ou égale à \scriptstyle+\infty ; cette limite est finie si et seulement si f est majorée.
  • f admet une limite à droite en a, finie ou égale à \scriptstyle-\infty ; cette limite est finie si et seulement si f est minorée.
(théorème analogue pour les fonctions décroissantes ; il se déduit immédiatement du précédent en remplaçant f par -f).

Une application classique de ce théorème concerne les fonctions de répartition des variables aléatoires réelles.

Points de discontinuité

L'ensemble D des points de discontinuité d'une fonction monotone est fini ou dénombrable (on dit qu'il est au plus dénombrable). En effet, en notant εx = f(x + ) − f(x − ), la famille (\varepsilon_x)_{x\in D\cap[c,d]} de réels strictement positifs est sommable donc au plus dénombrable pour tout [c,d] inclus dans l'intervalle de monotonie.

Monotonie et signe de la dérivée

Une utilisation classique et importante du calcul différentiel est la caractérisation, parmi les fonctions dérivables (d'une variable réelle, et à valeurs réelles), de celles qui sont monotones (au sens large ou au sens strict) sur un intervalle.

Théorème — Soit une fonction \scriptstyle f:I\to\R. Si f est dérivable sur l'intervalle I alors :

  • f est croissante sur I si et seulement si pour tout \scriptstyle x\in I,~f'(x)\ge0.
  • f est strictement croissante sur I si et seulement si pour tout \scriptstyle x\in I,~f'(x)\ge0, et de plus l'ensemble des points où la dérivée f' s'annule est d'intérieur vide (c'est-à-dire que chaque intervalle qu'il contient est vide ou réduit à un point).
(théorème analogue pour caractériser, parmi les fonctions dérivables, celles qui sont décroissantes, ou strictement décroissantes).
Démonstration
  • Supposons \scriptstyle f:I\to\R croissante sur I. Soit \scriptstyle x\in I ; il existe un réel strictement positif α tel que \scriptstyle J_\alpha\ne\varnothing, où \scriptstyle J_\alpha=[x-\alpha,x+\alpha]\cap I. Pour tout réel non nul h tel que \scriptstyle x+h\in J_\alpha, \scriptstyle\frac{f(x+h)-f(x)}h\ge0 par croissance de f.
(si h > 0, le numérateur est positif ou nul, et si h < 0, le numérateur est négatif ou nul).
On conclut que la dérivée f'(x) est positive ou nulle, car c'est la limite quand h\to0 du quotient précédent, à valeurs dans ℝ+.
  • Réciproquement, supposons que pour tout \scriptstyle x\in I,~f'(x)\ge0. Soit un couple (x,y) d'éléments de I tel que x < y : on va montrer que \scriptstyle f(x)\le f(y).

On peut appliquer à f le théorème des accroissements finis sur l'intervalle [x,y] : il existe c\in]x,y[ tel que f(y) − f(x) = (y − x)f'(c) ; comme \scriptstyle f'(c)\ge0 (par hypothèse) et y − x > 0, on en déduit \scriptstyle f(y)-f(x)\ge0, d'où la croissance de f sur I.

  • Supposons à présent f croissante sur I, et montrons par contraposée que cette croissance sur I est stricte si et seulement s'il n'existe aucun sous-intervalle non vide et non réduit à un point sur lequel f' est constamment nulle. D'après la remarque 2 supra, la croissance est non stricte si et seulement s'il existe un sous-intervalle, non vide et non réduit à un point, sur lequel f est constante, c'est-à-dire sur lequel f' est constamment nulle.

Remarque : il en résulte qu'une condition suffisante pour qu'une fonction dérivable \scriptstyle f:I\to\R soit strictement croissante sur I est que pour tout \scriptstyle x\in I,~f'(x)>0. Mais cette condition n'est nullement nécessaire, comme le montrent l'énoncé du théorème et les deux exemples suivants.

Exemple 1 : soit la fonction

f:\R\to\R,~x\mapsto x^3.

Elle est strictement croissante sur ℝ. En effet :

  • elle est dérivable, et pour tout réel x,
f'(x)=3x^2\ge0 ;
  • de plus, l'ensemble des points où sa dérivée s'annule est {0} ; il est d'intérieur vide.

Exemple 2 : soit la fonction

f:\R\to\R,~x\mapsto x+\cos x.

Elle est strictement croissante sur ℝ. En effet :

  • elle est dérivable, et pour tout réel x,
f'(x)=1-\sin x\ge0 ;
  • de plus, l'ensemble des points où sa dérivée s'annule est
\frac\pi2+2\pi\Z=\left\{x\in\R\mid\exists k\in\Z,x=\frac\pi2+2k\pi\right\} ;

il est d'intérieur vide (car dénombrable).

Article connexe

Opérateur monotone : extension de la notion de monotonie aux multifonctions


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction monotone de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Fonction Monotone — Dans l étude des fonctions numériques à valeurs dans , les fonctions monotones tiennent une grande place. Ce sont les fonctions dont le sens de variation ne change pas. Une fonction monotone sur un intervalle I est une fonction qui reste… …   Wikipédia en Français

  • monotone — [ mɔnɔtɔn ] adj. • 1732; bas lat. monotonus, gr. monotonos 1 ♦ Qui est toujours sur le même ton ou dont le ton est peu varié. ⇒ monocorde. « des gémissements sourds ou aigus qui ne faisaient qu une plainte monotone » (Camus). ♢ Qui est régulier… …   Encyclopédie Universelle

  • Fonction De Répartition — Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire réelle caractérise la lo …   Wikipédia en Français

  • Fonction de repartition — Fonction de répartition Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire… …   Wikipédia en Français

  • Fonction Croissante — Cet article court présente un sujet plus amplement développé ici : Relation d ordre et Fonction monotone. En mathématiques, une fonction croissante f d un ensemble ordonné (A,≤A) dans un ensemble ordonné (B,≤B) est une fonction qui… …   Wikipédia en Français

  • Fonction Décroissante — Cet article court présente un sujet plus amplement développé ici : Fonction monotone. En mathématiques, une fonction décroissante est une fonction monotone dont les valeurs « diminuent ». Portail des mathématiques Ce document… …   Wikipédia en Français

  • Fonction decroissante — Fonction décroissante Cet article court présente un sujet plus amplement développé ici : Fonction monotone. En mathématiques, une fonction décroissante est une fonction monotone dont les valeurs « diminuent ». Portail des… …   Wikipédia en Français

  • Fonction a variation bornee — Fonction à variation bornée En analyse, une fonction est dite à variation bornée quand elle vérifie une certaine condition de régularité. Cette condition a été introduite en 1881 par le mathématicien Camille Jordan pour étendre le Théorème de… …   Wikipédia en Français

  • Fonction À Variation Bornée — En analyse, une fonction est dite à variation bornée quand elle vérifie une certaine condition de régularité. Cette condition a été introduite en 1881 par le mathématicien Camille Jordan pour étendre le Théorème de Dirichlet sur la convergence… …   Wikipédia en Français

  • Fonction de répartition — Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire réelle caractérise la… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”