• Aucun résultat trouvé

Soit a ∈ R, on dénit des fonctions f a et g a de R dans R par :

N/A
N/A
Protected

Academic year: 2022

Partager "Soit a ∈ R, on dénit des fonctions f a et g a de R dans R par :"

Copied!
4
0
0

Texte intégral

(1)

MPSI B 29 juin 2019

Énoncé

Les deux parties de ce problème sont indépendantes. Dans tout le problème, on désigne par I le segment [0, 1] et par E l'espace vectoriel réel C 0 (I, R ) des applications continues de I dans R.

Préliminaire

Soit a ∈ R, on dénit des fonctions f a et g a de R dans R par :

∀x ∈ R : f a (x) = min(x, a), g a (x) = max(x, a) Montrer que f a et g a sont lipschitziennes sur R et préciser le rapport.

On pourra remarquer que min(u, v) = 1 2 (u + v − |u − v|) pour tous réels u et v .

Partie I

Soient m 0 et M 0 deux éléments de [−1, +1] , on pose pour tout n ∈ N : m n+1 = 1

2 Z 1

−1

min(x, M n ) dx, M n+1 = 1 2

Z 1

−1

max(x, m n ) dx,

( x n = 1 + m n

y n = 1 − M n

1. a. Justier l'existence des suites (m n ) n∈N et (M n ) n∈N . b. Montrer que m n et M n sont dans [−1, 1] pour tout n ∈ N.

2. a. Montrer que, pour tout n ∈ N, m n+1 = − 1

4 (M n − 1) 2 , M n+1 = 1

4 (m n + 1) 2 b. Montrer que m n+1 ∈ [−1, 0] et M n+1 ∈ [0, 1] pour tout n ∈ N.

3. a. Montrer que, pour tout n ∈ N,

y n+1 − x n+1 = 1

4 (y n − x n )(y n + x n )

b. Montrer que si (x n ) n∈ N et (y n ) n∈ N convergent, leurs limites sont égales à l = 2 √

2 − 2 c. Montrer que, pour tout n ∈ N,

|x n+1 − l| ≤ 2 √ 2 − 1

4 |y n − l|, |y n+1 − l| ≤ 2 √ 2 − 1

4 |x n − l|

4. Montrer que les suites (m n ) n∈N et (M n ) n∈N convergent et préciser leurs limites.

Partie II

Dans cette partie, g est une application dénie dans I , à valeurs dans I , continue et vériant g(0) = 0 et g(1) = 1 .

1. Soit f un élément de E .

a. Justier l'existence de l'application u g (f ) :

( [0, 1] → R a 7→ R 1

0 min(x, g(a))f (x)dx b. Montrer que u g (f ) appartient à E .

2. Dans cette question seulement, f (x) = tan 2 x . Calculer u g (f)(a) pour a ∈ [0, 1] . 3. Soit f un élément de E .

a. Justier l'existence de l'application v g (f) :

( [0, 1] → R a 7→ R 1

0 min(a, g(x))f (x)dx b. Montrer que v g (f ) appartient à E .

4. Montrer que u g et v g sont des endomorphismes de E . 5. a. Montrer que u g est injectif.

b. Montrer que si g est dérivable, u g n'est pas surjectif.

6. a. En considérant l'application g dénie par : g(x) =

( 0 si x ∈ [0, 1 2 ] 2x − 1 si x ∈ [ 1 2 , 1]

montrer que v g n'est en général pas injectif.

b. Montrer que si g est de classe C 1 et strictement croissante alors v g est injectif.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

1

Rémy Nicolai Ainteg6

(2)

MPSI B 29 juin 2019

Corrigé Préliminaire

Utiliser la remarque proposée par l'énoncé conduit à des expressions de f a (x) et f a (x) commodes pour des réels quelconques x et y :

f a (x) = min(x, a) = 1

2 (x + a − |x − a|) f a (y) = min(x, a) = 1

2 (y + a − |y − a|) f a (x) − f a (y) = 1

2 (x − y − |x − a| + |y − a|)

Utilisons ensuite l'inégalité ||u| − |v|| ≤ |u − v| avec u = y − a et v = x − a . Elle traduit le caractère lipschitzien de rapport 1 de la fonction valeur absolue. On en déduit :

|f a (x) − f a (y)| ≤ 1

2 (|x − y| + | − |x − a| + |y − a|||) ≤ 1

2 (|x − y| + |x − y||) ≤ |x − y|

Donc f a est lipschitzienne de rapport 1. Pour g a , on peut remarquer que entre deux nombres, l'un est le plus petit et l'autre le plus grand donc la somme des deux est aussi la somme du plus petit et du plus grand

f a (x) + g a (x) = a + x On en déduit (en achevant le raisonnement comme plus haut) :

g a (x) − g a (y) = 1

2 (−(x − y) + |x − a| − |y − a|||)

|g a (x) − g a (y)| ≤ |x − y|

Partie 1

1. a. Les fonctions sont lipschitziennes donc continues donc intégrables. Les nombres m n+1 et M n+1 sont bien dénis.

b. Montrons par récurrence que m n et M n sont dans [0, 1] pour tous les entiers n . C'est vrai par dénition pour m O et M 0 . Si m n et M n x sont dans [0, 1] alors min(x, M n ) et max(x, m n ) sont dans [0, 1] . En intégrant les inégalités on obtient bien que M n+1 et m n+1 sont dans [−1, 1] .

2. a. On transforme m n+1 en coupant l'intégrale en deux.

m n+1 = 1 2

Z 1

−1

min(x, M n ) dx

= 1 2

Z M

n

−1

min(x, M n ) dx + Z 1

M

n

min(x, M n ) dx

!

= 1 2

Z M

n

−1

xdx + Z 1

M

n

M n dx

!

= 1 2

M n 2 − 1

2 + (1 − M n )M n

= − 1

4 (M n − 1) 2 Par un calcul analogue, on obtient M n+1 = 1 4 (m n + 1) 2 .

b. Évident à partir de la question précédente.

3. a. Comme m n = x n − 1 et M n = 1 − y n , traduisons avec x n et y n les égalités de la question 2.a.

x n+1 − 1 = − 1 4 y n 2 1 − y n+1 = 1

4 x 2 n

 

 

⇒ y n+1 − x n+1 = 1

4 (y n − x n )(y n + x n )

b. Supposons que (x n ) n∈N converge vers x et (y n ) n∈N vers y . Avec des opérations sur les suites convergentes, on obtient

y − x = 1

4 (y − x)(y + x) ⇔ (y − x)(4 − y − x) = 0

Comme x n et y n sont dans [0, 1] , par passage à la limite, x et y sont aussi dans [0, 1] donc 4 − y − x 6= 0 donc x = y .

Notons l cette limite commune, en remplaçant dans x n+1 − 1 = − 1

4 y n 2 On obtient l 2 + 4l − 4 dont les racines sont −2 + 2 √

2 et −2 − 2 √

2 . Comme on sait que l ∈ [0, 1] on a forcément

l = −2 + 2 √ 2

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

2

Rémy Nicolai Ainteg6

(3)

MPSI B 29 juin 2019

c. Faisons le diérence des deux relations x n+1 − 1 = − 1

4 y n 2 l − 1 = − 1

4 l 2

 

 

⇒ x n+1 − l = − 1

4 (y n + l)(y n − l)

⇒ |x n+1 − l| = |y n + l|

4 |y n − l| ≤ 2 √ 2 − 1

4 |y n − l|

car y n ≤ 1 . Le raisonnement est le même pour y n . 4. Notons q = 2

√ 2−1

4 , en combinant les relations de la question précédentes, on obtient :

|x n+2 − l| = q 2 |x n − l|

On en déduit, par comparaison avec des suites géométriques convergentes, la conver- gence des suites extraites d'indices pairs ou impairs vers l . Ceci prouve la convergence des suites complètes vers l . Des relations x n = 1 + m n , y n = 1 − M n on déduit alors :

(m n ) n∈ N → l − 1 (M n ) n∈ N → 1 − l

Partie II

1. a. La fonction u f (g) est bien dénie car la fonction à intégrer x → min(x, g(a))f (x) est continue comme produit de deux fonctions continues. (partie préliminaire) b. Pourquoi la fonction u g (f)

a → Z 1

0

min(x, g(a))f (x)dx est-elle continue ? Deux méthodes sont possibles.

Méthode 1 : expression avec des primitives.

Introduisons

F 1 : la primitive de x → xf (x) nulle en 0 F : la primitive de x → xf(x) nulle en 1 On peut alors alors écrire :

u g (f )(a) = Z g(a)

0

xf(x) dx + Z 1

g(a)

g(a)f (x) dx = F 1 (g(a)) − g(a)F (g(a)) Les fonctions F 1 et F sont dérivables, la fonction g est continue, donc u g (f ) est continue.

Méthode 2 : lipschitzité

|u g (f )(a) − u g (f )(b)| ≤ Z 1

0

|min(x, g(a)) − min(x, g(b))| |f (x)|dx

≤ Z 1

0

|g(a) − g(b)| |f (x)|dx ≤ Z 1

0

|f (x)|dx

|g(a) − g(b)|

Ce qui prouve que u g (f) est continue car g est continue.

2. Dans cette question f (x) = tan 2 x . On peut calculer les fonctions F 1 et F de la première méthode de la question précédente. Une primitive de tan 2 x étant tan x−x , F s'obtient directement et F 1 par une intégration par parties

F 1 (u) = u tan 2 u − u 2

2 + ln | cos u|, F (u) = tan u − u + 1 − tan 1 On en déduit

u g (f )(a) = (tan 1 − 1)g(a) + ln |cos(g(a))| + g(a) 2 2 3. a. La fonction u f (g) est bien dénie car la fonction à intégrer

x → min(a, g(x))f(x)

est continue comme produit de deux fonctions continues. D'après un résultat de cours, la borne inférieure (dont la valeur en chaque point est la plus petite des valeurs) de deux fonctions continues est continue.

b. En procédant comme pour la deuxième méthode de 1.b. on obtient

|v g (f)(b) − v g (f )(a)| ≤ Z 1

0

|f (x)|dx

|a − b|

Ce qui prouve que v g (f ) est continue. Elle est même lipschitzienne de rapport R 1

0 |f (x)|dx .

4. La linéarité résulte de la linéarité de l'intégrale. On a déjà montré que les fonctions images étaient continues donc dans E .

5. a. Lorsque f ∈ ker u g , alors pour tous les a ∈ [0, 1] : F 1 (g(a)) − g(a)F (g(a)) = 0

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

3

Rémy Nicolai Ainteg6

(4)

MPSI B 29 juin 2019

Mais comme g est une application continue de I = [0, 1] dans I telle que g(0) = 0 et g(1) = 1 , g est surjective. On peut donc écrire

∀t ∈ I : F 1 (t) − tF (t) = 0

On peut alors dériver (on ne pouvait pas le faire avant car g n'était pas supposée dérivable). On obtient, pour tous les t de I , d'abord F (t) = 0 puis f (t) = 0 . b. Comme u g (f ) = F 1 ◦ g − gF ◦ g , si g est dérivable alors u g (f ) est dérivable.

Or il existe des fonctions continues qui ne sont pas dérivables donc u g n'est pas surjective.

6. a. En utilisant la relation de Chasles pour préciser v g (f ) pour la fonction g donnée par l'énoncé, on obtient :

v g (f )(x) = Z 1

1 2

min(a, 2x − 1)f (x) dx

Donc si f est nulle sur [ 1 2 , 1] alors v g (f ) est la fonction nulle sans que f soit forcément nulle. Elle fait ce qu'elle veut sur [0, 1 2 ] .

b. Si g est C 1 avec g 0 > 0 alors g est bijective de I dans I . Introduisons la bijection réciproque g −1 .

v g (f )(a) = Z 1

0

min(a, g(x))f (x) dx

=

Z g

−1

(a) 0

g(x)f (x) dx + Z

g −1 (a) 1 af(x) dx

= H(g −1 (a)) − aF(g −1 (a)) où F est la primitive de gf nulle en 0 et F la primitive de f nulle en 1 . Comme g −1 (a) décrit [0, 1] et a = g(g −1 (a)) , on peut en déduire :

∀x ∈ [0, 1] : H (x) − g(x)F (x) = 0

En dérivant, on obtient alors g 0 (x)F(x) = 0 d'où F (x) = 0 puis en dérivant encore f (x) = 0 . Le noyau de v g se réduit donc à la fonction nulle, v g est injective.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l'Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

4

Rémy Nicolai Ainteg6

Références

Documents relatifs

Ce document est en grande partie traduit de Tom Short, « R Reference Card », 12 juillet 2005 (domaine public), disponible et mis à jour sur www.Rpad.org.. La « R Reference Card

[r]

Les ensembles E et F sont des R-espaces vectoriels à cause des propriétés usuelles de linéarité de la continuité et de la dérivabilité.. Pour montrer que f est dans E , on

On discutera suivant les valeurs de a en utilisant les mêmes notations que dans la question 3.. Cette création est mise à disposition selon

Donner un exemple de fonction g de classe C 2 , sans racine en commun avec sa dérivée sur un intervalle borné et qui admet un nombre inni de zéros.. Écrire un algorithme qui sépare

D'après un résultat de cours, la borne inférieure (dont la valeur en chaque point est la plus petite des valeurs) de deux fonctions continues est continue.. En procédant comme pour

Dans cette partie f est une fonction polynomiale de degré n. Soit x un réel quelconque. Dans cette question, on veut retrouver de manière indépendante le résultat de 2.c.1. a.

[r]