Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 05-07-2019 09:47:49

delveraria
Membre
Inscription : 05-07-2019
Messages : 8

Oral ENS - Inégalité et fonctions de N dans R

Bonjour,
Je pédale un peu dans la semoule sur cet exercice :
Soit [tex]f:\mathbb N\rightarrow\mathbb R[/tex]. On définit :

[tex]P(f):\mathbb N\longrightarrow\mathbb R[/tex]
           [tex]k\longmapsto\frac{1}{2}\left(f(k+1)+f(k)\right) [/tex]
et
[tex]D(f):\mathbb N\longrightarrow\mathbb R[/tex]
           [tex]k\longmapsto\left(f(k+1)-f(k)\right)[/tex]

Soit [tex]n\in\mathbb N[/tex]. Montrer que : [tex]\forall k\in\mathbb N[/tex],

[tex]P^{n}(f^{2})(k)-\left(P^{n}(f)(k)\right)^{2}≤\frac{n}{4}P^{n-1}(D(f)^{2})(k)[/tex]

Avec, pour [tex]i\in\mathbb N, P^{i}(f)= P(P^{i-1}(f))[/tex] et [tex] f^{i}=f\times f\times···\times f [/tex] ([tex]i[/tex] fois)
Conventions : [tex]P^{0}(f)=f[/tex] et [tex]f^0=Id[/tex]


J'ai réussi à exprimer [tex]P^{n}(f)[/tex] :
[tex]\forall k \in\mathbb N, P^{n}(f)(k)=\frac{1}{2^{n}}\sum_{i=0}^{n}\left(\begin{array}{c}
n\\
i
\end{array}\right)f(k+i)[/tex]

J'obtiens finalement :
[tex]\forall k\in\mathbb N,[/tex]
[tex]P^{n}(f^{2})(k)-\left(P^{n}(f)(k)\right)^{2}=\frac{1}{2^{n}}\left[\sum_{i=0}^{n}\left(\begin{array}{c}
n\\
i
\end{array}\right)f^{2}(k+i)\left(1-\frac{1}{2^{n}}\left(\begin{array}{c}
n\\
i
\end{array}\right)\right)-2\sum_{1≤i<j≤n}\left(\begin{array}{c}
n\\
i
\end{array}\right)\left(\begin{array}{c}
n\\
j
\end{array}\right)f(k+i)f(k+j)\right][/tex]

Mais pour ce qui est de majorer je ne vois pas comment faire, peut-être y a-t-il une astuce en passant par des intégrales ?

Si vous avez des idées je suis preneur.

Merci.

Dernière modification par delveraria (07-07-2019 10:26:53)

Hors ligne

#2 05-07-2019 14:43:37

D_john
Invité

Re : Oral ENS - Inégalité et fonctions de N dans R

Salut,

Console-toi, je suis largué dès la 1ère ligne... f étant de N dans R, comment définis-tu f2 ?

#3 07-07-2019 10:20:38

delveraria
Membre
Inscription : 05-07-2019
Messages : 8

Re : Oral ENS - Inégalité et fonctions de N dans R

Bonjour,
Je suis confus, c'est une erreur de ma part. [tex]f^{2}[/tex] est défini comme [tex]f*f[/tex] tout simplement, c'est [tex]P^{n}(f)[/tex] qui est défini comme [tex]P(P^{n-1}(f))[/tex].
Je rectifie mon post, merci.

Dernière modification par delveraria (07-07-2019 10:20:48)

Hors ligne

#4 08-07-2019 10:56:53

D_john
Invité

Re : Oral ENS - Inégalité et fonctions de N dans R

Bonjour,

Cette inégalité écrite au pas k, peut se noter simplement :

[tex] P_{n}f^{2} - P_{n} ^{2}f \le \frac{n}{4}.P_{n-1}D^{2}f [/tex]
avec les puissances en exposant et les compositions en indice.

As-tu essayé une démo. par récurrence ?
Attention [tex] n \in\mathbb{N}^{*} \qquad n = 1 \Rightarrow 0 \le 0 [/tex]

Il faut probablement utiliser les relations entre les opérateurs P et D pour linéariser l'inégalité et ensuite lui appliquer P une nouvelle fois pour passer à l'ordre n+1.

... mais ce n'est qu'une idée !

#5 09-07-2019 07:06:05

D_john
Invité

Re : Oral ENS - Inégalité et fonctions de N dans R

Salut,

Heu... fausse piste, désolé !
Finalement, c'est beaucoup plus simple en remarquant que le premier membre est toujours négatif ou nul (fonction convexe) et le second membre est toujours positif ou nul (carré).

#6 10-07-2019 16:42:40

D_john
Invité

Re : Oral ENS - Inégalité et fonctions de N dans R

Erreur... et encore une fausse piste ! C'était bien trop simple.
Fonction convexe y =x^2
L'image montre clairement que le premier membre de l'inégalité P(f2) - [P(f)]2 est positif aussi et le restera pour tout n.

#7 12-07-2019 19:05:28

delveraria
Membre
Inscription : 05-07-2019
Messages : 8

Re : Oral ENS - Inégalité et fonctions de N dans R

Bonjour,
j'avais effectivement pensé à une récurrence (en utilisant les formules explicites), mais la souffrance est au rendez-vous.

Hors ligne

#8 14-07-2019 17:51:26

J Star
Invité

Re : Oral ENS - Inégalité et fonctions de N dans R

Bonjour, quelques idées pour démarrer la mise en œuvre de la récurrence, mais en limitant l'usage des formules explicites :

L'application [tex]P[/tex] est (sur l'espace vectoriel84 des fonctions de [tex]\mathbb{N}[/tex] vers [tex]\mathbb{R}[/tex]) une forme linéaire, positive (au sens où si [tex]g[/tex] est à valeurs positives, alors [tex]P(g)[/tex] est aussi à valeurs positives), donc est croissante (au sens où [tex]f \leq g \implies P(f) \leq P(g)[/tex] pour l'ordre usuel entre fonctions réelles).

On peut donc composer par [tex]P[/tex] de l'hypothèse de récurrence (formule au rang n). La suite consiste à essayer de contrôler le "terme correcteur" [tex]P(g^2) - P(g)^2[/tex] avec [tex]g = P^n(f)[/tex].

Pied de page des forums