AH - FONCTIONS AFFINES PAR INTERVALLES

Documents pareils
Image d un intervalle par une fonction continue

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Théorème du point fixe - Théorème de l inversion locale

Fonctions de plusieurs variables

Continuité en un point

Intégration et probabilités TD1 Espaces mesurés Corrigé

Calcul différentiel sur R n Première partie

I. Polynômes de Tchebychev

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Résolution d équations non linéaires

Université Paris-Dauphine DUMI2E 1ère année, Applications

Limites finies en un point

Amphi 3: Espaces complets - Applications linéaires continues

Continuité d une fonction de plusieurs variables

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Continuité et dérivabilité d une fonction

Chapitre 2 Le problème de l unicité des solutions

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

3 Approximation de solutions d équations

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Problème 1 : applications du plan affine

Intégration et probabilités TD1 Espaces mesurés

Calcul différentiel. Chapitre Différentiabilité

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Programmation linéaire

Calcul fonctionnel holomorphe dans les algèbres de Banach

Capes Première épreuve

I. Ensemble de définition d'une fonction

Planche n o 22. Fonctions de plusieurs variables. Corrigé

CCP PSI Mathématiques 1 : un corrigé

Chapitre 7 : Intégration sur un intervalle quelconque

Cours d Analyse. Fonctions de plusieurs variables

Exercices Corrigés Premières notions sur les espaces vectoriels

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Corrigé du baccalauréat S Asie 21 juin 2010

Une forme générale de la conjecture abc

F1C1/ Analyse. El Hadji Malick DIA

Logique. Plan du chapitre

Commun à tous les candidats

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

Chp. 4. Minimisation d une fonction d une variable

Équations non linéaires

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

Cours de mathématiques

Calcul Différentiel. I Fonctions différentiables 3

4. Martingales à temps discret

Chapitre 6. Fonction réelle d une variable réelle

Correction du baccalauréat S Liban juin 2007

EXERCICE 4 (7 points ) (Commun à tous les candidats)

La persistance des nombres

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

Baccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé

Dérivées d ordres supérieurs. Application à l étude d extrema.

Simulation de variables aléatoires

DOCM Solutions officielles = n 2 10.

Cours d Analyse 3 Fonctions de plusieurs variables

Un K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E

CHAPITRE IV. L axiome du choix

Optimisation des fonctions de plusieurs variables

Chapitre 2. Matrices

Rappels et compléments, première partie : Nombres complexes et applications à la géométrie


Mesure et Intégration (Notes de cours de L3)

Feuille d exercices 2 : Espaces probabilisés

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2

Résolution de systèmes linéaires par des méthodes directes

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Moments des variables aléatoires réelles

a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b

C algèbre d un certain groupe de Lie nilpotent.

Développements limités, équivalents et calculs de limites

Théorie et codage de l information

Raisonnement par récurrence Suites numériques

Examen optimisation Centrale Marseille (2008) et SupGalilee (2008)

Construction de l'intégrale de Lebesgue

Développements limités. Notion de développement limité

Cours Fonctions de deux variables

Texte Agrégation limitée par diffusion interne

Sur certaines séries entières particulières

Séminaire TEST. 1 Présentation du sujet. October 18th, 2013

Chapitre 2. Eléments pour comprendre un énoncé

108y= 1 où x et y sont des entiers

Théorèmes du Point Fixe et Applications aux Equations Diérentielles

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

Intégrale de Lebesgue

Approximations variationelles des EDP Notes du Cours de M2

Différentiabilité ; Fonctions de plusieurs variables réelles

Le produit semi-direct

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.

La fonction exponentielle

Comparaison de fonctions Développements limités. Chapitre 10

Construction d un cercle tangent à deux cercles donnés.

Théorie de la Mesure et Intégration

1 Première section: La construction générale

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

Transcription:

AH - FONCTIONS AFFINES PAR INTERVALLES Définition On appelle fonction affine par intervalles une fonction f définie et continue sur R pour laquelle il existe une subdivision a 1 < a 2 < < a n telle que f soit linéaire affine sur chaque intervalle de R créé par les points de la subdivision. Si f est affine par intervalles, une subdivision de R sera dite adaptée à f, si f est linéaire affine sur chaque intervalle défini par la subdivision. Si le seul intervalle obtenu est R, la fonction f est affine sur R, et donc dérivable sur R. Sinon, f est linéaire affine sur les intervalles ], a 1 ], [a n, + [ et, pour i compris entre 1 et n, sur [a i, a i+1 ]. Une telle fonction est donc dérivable sauf éventuellement aux points a 1,...,a n. Les points où f n est pas dérivable seront appelés les pointes de la fonction f. On remarquera que si l on a une subdivision adaptée à f, on en obtiendra une autre en ajoutant d autres points à la subdivision initiale. Proposition 1 L ensemble A des fonctions affines par intervalles est un espace-vectoriel sur R et un treillis pour la relation d ordre usuelle. On montre que A est un sous-espace vectoriel de l espace C (R) des fonctions continues sur R. Soit λ et µ deux nombres réels. Si f et g sont affines par intervalles. Soit A f et A g des subdivisions adaptées à f et g respectivement. Alors A f A g est une subdivision adaptée à la fois à f et à g, et sur chaque intervalle de la subdivision, f et g sont affines, donc λf + µg également. Soit un intervalle I sur lequel f et g sont toutes deux affines, il y a trois possibilités 1) Pour tout x de I, on a f(x) g(x) alors 2) Pour tout x de I, on a f(x) g(x) alors sup(f(x),g(x)) = f(x). sup(f(x),g(x)) = g(x).

AH 2 3) L équation f(x) = g(x) a une solution α dans I qui n est pas une des extrémités de l intervalle. Alors la solution est unique, et l on a, pour tout x de I, ou bien { f(x) si x α sup(f(x),g(x)) = g(x) si x α ou bien { g(x) si x α sup(f(x),g(x)) = f(x) si x α Donc sup(f,g) est affine par intervalles sur I. Il en résulte qu elle est affine par intervalle sur R. (On rajoute au plus un point dans chaque intervalle de la subdivision initiale). Si f est une fonction définie sur R, on notera ˇf, la fonction définie par ˇf(x) = f( x). Si a appartient à R, soit χ a la fonction définie par χ a (x) = x a. Cette fonction appartient à A et admet une pointe en a uniquement. Proposition 2 Soit a 1,...,a n des nombres réels deux à deux distincts. La famille (Id,1,χ a1,...,χ an ) est une famille libre de A. On peut supposer les a i ordonnés en croissant. Il est clair que si l on pose pour tout x réel, f = γ Id+δ + β i χ ai, avec b 1,...,b n non nuls, on obtient un élément de A, qui présente des pointes en a 1,...a n exactement. Donc si f est nul, on a nécessairement β 1 = = β n = 0. On en déduit f = γ Id+δ d où l on déduit que γ et δ sont nuls. La famille est bien une famille libre.

AH 3 Théorème Soit f dans A. Il existe une suite finie strictement croissante a 1,...,a n de points de R et des réels γ,δ,,β 1,...,β n tels que les β i soient non nuls, et tels que, f = γ Id +δ + β i χ xi. Cette décomposition est unique, et les a i sont les points de R où f admet des pointes. Le coefficient c est nul si et seulement si la fonction f ˇf est constante pour x assez grand. Le coefficient d est nul si et seulement si la fonction f + ˇf est linéaire pour x assez grand. Unicité Si f admet une décomposition comme celle donnée dans le théorème, les a i sont les pointes de f. L unicité résulte alors du fait que la famille (Id,1,χ a1,...,χ an ) est une famille libre de A. Existence Nous allons la démontrer par récurrence sur le nombre de pointes de f. Si f ne présente aucune pointe, c est une application affine et donc f = γ Id+δ. Si f présente une seule pointe en a, on a { υx + ν si x a f(x) = υ x + ν si x a avec de plus On vérifie facilement que υa + ν = υ a + ν. Le théorème est donc vrai dans ce cas. f = 1 2 ((υ + υ )Id +(ν + ν ) + (υ υ)χ a ). Supposons le vrai pour une fonction présentant n 1 pointes, et soit f présentant n pointes a 1,...,a n. On a alors { υx + ν si an 1 x a f(x) = n υ x + ν si x a n avec υ distinct de υ. Soit alors la fonction h = 1 2 ((υ + υ )Id +(ν + ν ) + (υ υ)χ an ). D après ce qui précède, les fonctions f et h coïncident sur [a n 1, + [ et h ne présente pas de pointe en dehors de cet intervalle. Il en résulte que f h présente n 1 pointes en a 1,...,a n 1. En appliquant l hypothèse de récurrence à f h, il existe γ, δ, β 1,...,β n 1 tels que n 1 f h = γ Id +δ + β i χ xi,

AH 4 avec les nombres β i non nuls. Si l on pose alors alors, b n est non nul, et ce qui donne la décomposition à l ordre n. γ = γ + 1 2 (υ + υ ), δ = δ + 1 2 (ν + ν ), b n = 1 2 (υ υ ), f = γ Id +δ + β i χ xi, Etudions maintenant les conditions pour que γ ou d soient nuls. Pour x supérieur à a n et à a 1, on a Donc f(x) = γx + δ + β i (x a i ) et f( x) = γx + δ + f(x) f( x) = 2γx + 2 β i (x + a i ). ( β i a i ) et f(x) + f( x) = 2δ + 2 β i x. On obtient bien que γ est nul si et seulement si f ˇf est constant pour x assez grand, et que δ est nul si et seulement si f + ˇf est linéaire pour x assez grand. Remarque : la démonstration de l existence de la décomposition donne une méthode pratique pour décomposer une fonction affine par intervalles. Exemples 1) La fonction f définie par 0 si x 0 f(x) = x si 0 x 1 1 si x 1, se décompose sous la forme f(x) = 1 (1 + x x 1 ). 2 2) Autre exemple de décomposition : inf(1, x ) = 1 2 x 1 x + 1 1 = 1 + x ( x 1 x + 1 ). 2 Corollaire L ensemble de fonctions formé de Id, 1, et des fonctions χ a lorsque a parcourt R, est une base de A.

AH 5 Nous allons donner une autre démonstration du théorème. Remarquons tout d abord que si deux éléments de A ont les mêmes pointes a 1,...,a n, ont des coefficients directeurs égaux sur chacun des intervalles de la subdivision, et prennent la même valeur en un point x 0 de R, alors ils sont égaux. On se donne une fonction f de A de coefficients directeurs et l on cherche γ, δ, β i tels que f s écrive p 0 sur ], a 1 ], p i sur [a i, a i+1 ], p n sur [a n, + [, f = γ Id +δ + β i χ xi. On obtient un système de n + 2 équations à n + 2 inconnues. p 0 = γ β i j p j = γ + β i p n = γ + β i f(x 0 ) = γx 0 + δ + β i (1 j n 1) i=j+1 β i x 0 a i. Ecrivons le déterminant de ce système : 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1...... 1 0 1 1 1 1 1 0 1 1 1 1 x 0 1 x 0 a 1 x 0 a 2 x 0 a n 1 x 0 a n En développant par rapport à la deuxième colonne on obtient 1 1 1 1 1 1 1 1 1 1 ( 1) n 1 1 1 1 1...... 1 1 1 1 1 1 1 1 1 1.

AH 6 Si on enlève la deuxième colonne à la première, puis la troisième à la deuxième, etc..., on trouve 2 0 0 0 1 0 2 0 0 1 ( 1) n 0 0 2 0 1 = ( 1) n 2 n 0...... 0 0 0 2 1 0 0 0 0 1 Le système possède donc une solution et une seule. Sous-espaces de A Soit I = ]a, b[ un intervalle borné non vide. On appelle A I l ensemble des éléments de A dont les pointes sont dans I. On définit ainsi un sous-espace de A I. Si A = {a 1,...,a n } est un ensemble de points de I, l ensemble A I (A) désigne le sous-espace-vectoriel de A I dont les pointes appartiennent à A. Nous poserons alors a 0 = a et a n+1 = b, et nous noterons Φ A l application de A I dans R n+2 qui à f associe (f(a 0 ),...,f(a n )). L ensemble R n+2 est muni de la norme sup. Proposition 3 L application qui à f associe est une norme sur A I. f = sup f(x) x I On sait que l on obtient ainsi une semi-norme. Si de plus f est nul, alors f est nulle sur I, donc n a pas de pointes dans I, ni à l extérieur de I. Il en résulte que f est la fonction nulle. Proposition 4 Le sous-espace A I (A) est de dimension n + 2 et admet pour base (e 1,...,e n+1 ), où, pour 1 i n, on a e i = χ ai et e n+1 = Id, e n+2 = 1. C est une conséquence immédiate du théorème de décomposition.

AH 7 Proposition 5 L application Φ A est une application linéaire isométrique et bijective de A I (A) sur R n+2. De manière évidente, on a toujours Φ A (f) = sup f(a i ) f. 0 i n Si f est dans A I (A), elle est monotone sur chaque intervalle [a i, a i+1 ], donc Il en résulte que sup f(x) = max( f(a i ), f(a i+1 ) ). x [ a i, a i+1 ] f = sup sup f(x) = sup max( f(a i ), f(a i+1 ) ) = Φ A (f). 0 i n x [ a i, a i+1 ] 0 i n On en déduit que Φ A est une isométrie. Elle est donc injective, et puisque les deux espaces ont même dimension, elle est bijective. Corollaire coïncident. Sur A I (A), les topologies de la convergence simple et de la convergence uniforme L ensemble V ǫ = {f A I ; Φ A (f) < ε} constitue un voisinage de zéro pour la topologie de la convergence simple, mais ce n est autre que la boule de centre 0 et de rayon ε pour la norme infinie. Lemme Soit a, b, c trois nombres réels tels que a < b < c. Soit f ayant une pointe en b et pas d autre pointe dans ]a, c[. Il existe alors un voisinage de f pour la topologie de la convergence simple, tel que tout g de ce voisinage présente une pointe dans ]a, c[. On a avec λ distinct de λ. f(x) = { λ(x b) + f(b) sur [a, b] λ (x b) + f(b) sur [b, c],

AH 8 Soit ε tel que 0 < ε < 1 4 λ λ inf(b a,c b), et soit V = {g A I ; (g f)(a) < ε, (g f)(b) < ε, (g f)(c) < ε}. On obtient ainsi un voisinage de f pour la topologie de la convergence simple. Supposons qu il existe g dans V n ayant pas de pointe dans ]a, c[. On a donc, pour tout x de ]a, c[ Alors λ λ λ υ + λ υ = et en majorant à l aide de l inégalité triangulaire g(x) = υ(x b) + g(b). (λ υ)(a b) b a + ( λ υ)(b c) c b, λ λ 1 ( (υ λ)(a b) + g(b) f(b) + g(b) f(b) ) b a + 1 c b ( (υ λ )(c b) + g(b) f(b) + g(b) f(b) ) f(a) g(a) + f(b) g(b) + ( b a 1 2ε b a + 1 ). c b f(c) g(c) + f(b) g(b) c b Mais d après le choix de ε, on en déduit que d où une contradiction. λ λ < λ λ, Proposition 6 simple. Le sous-espace A I (A) est fermé dans A I pour la topologie de la convergence Soit f une fonction de A I n appartenant pas à A I (A), il existe donc une pointe b de f qui n appartienne pas à A. Donc il existe un intervalle ]a, c[ contenant b et dont l intersection avec A est vide. Alors d après le lemme, il existe un voisinage V de f pour la convergence simple tel que tout élément de V possède une pointe dans ]a, c[. Il en résulte que g n est pas dans A I (A). Donc le complémentaire de A I (A) dans A I est ouvert, ce qui donne le résultat.