Polynômes de Tchebychev
Bonjour
Les (fonctions) polynômes de Tchebychev du second ordre $(U_n(x))_n$ sont définies par récurrence sur $[-1,1]$ par $U_0(x)=1,\ U_1(x)=2x$ et $U_1U_n=U_{n+1}+U_{n-1}$. On peut montrer que $U_n(\cos(t))=\dfrac{\sin((n+1)t)}{\sin(t)}$, et que $U_n(1)=n+1$ est un maximum.
Je voudrais savoir si, pour un $x\in\,]0,1[$ fixé et tout $n\ge 1$, l'inégalité suivante est vraie (je donne des expressions éventuellement utiles des quantités en jeu) $$\frac{U_n(x)}{U_n(1)}=\frac{\sin((n+1)t)}{(n+1)\sin(t)}\le \frac{U_1(x)}{U_1(1)}=\frac{\sin(2t)}{2\sin(t)}=x$$ et si oui une aide pour le montrer.
Merci.
Les (fonctions) polynômes de Tchebychev du second ordre $(U_n(x))_n$ sont définies par récurrence sur $[-1,1]$ par $U_0(x)=1,\ U_1(x)=2x$ et $U_1U_n=U_{n+1}+U_{n-1}$. On peut montrer que $U_n(\cos(t))=\dfrac{\sin((n+1)t)}{\sin(t)}$, et que $U_n(1)=n+1$ est un maximum.
Je voudrais savoir si, pour un $x\in\,]0,1[$ fixé et tout $n\ge 1$, l'inégalité suivante est vraie (je donne des expressions éventuellement utiles des quantités en jeu) $$\frac{U_n(x)}{U_n(1)}=\frac{\sin((n+1)t)}{(n+1)\sin(t)}\le \frac{U_1(x)}{U_1(1)}=\frac{\sin(2t)}{2\sin(t)}=x$$ et si oui une aide pour le montrer.
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Edit : j'ai fait une erreur, voir plus loin.
Au passage rien à voir mais à quoi sert le 'd' dans ton code latex devant frac ?
Merci
P.S. le d dans "dfrac" signifie "displaystyle". Compare par exemple $\frac{\sin x}{x}$ avec $\dfrac{\sin x}{x}$.
On montre par récurrence que pour $n\in \N$, $n\geq 2$, $\theta \in ]0,\frac{\pi }{2}]$, on a : $\sin n\theta <n\sin \theta $. Il en résulte, pour $x\in ]-1,1[$ : $U_{n}(x)<n+1=U_{n}(1)$.
Si j'ai bien compris, on veut prouver que pour $x\in [0,1]$, on a : $U_{n}(x)\leq (n+1)\frac{x}{2}$. Ceci est déjà clairement faux pour les $n$ multiples de 4. Et je pense pour quelques autres aussi.
Bonne soirée.
RC
Il faut que je réfléchisse car vous avez des avis divergents... Est-ce si clair ce que tu dis RC ?
1) dans la définition de $U_n(\cos(t))$ il n'y a pas $n+1$ au dénominateur
2) à la fin de l'inégalité ce n'est pas $\frac x2$ mais $x$.
Comme l'a dit JLT il faut montrer $ \dfrac{\sin (n+1)t}{(n+1)t}\le \dfrac{\sin 2t}{2t}$ pour $t\in [0,\frac{\pi}2]$.
C'est faux si $n=4p$ en prenant $t=\dfrac{\pi}2$.
En revanche c'est vrai pour les autres valeurs de $n$.
C'est immédiat si $n$ est impair car $\sin (n+1)t\le\dfrac{n+1}2\sin 2t$ par l'inégalité rappelée par RC.
Si $n=4p+2$ on peut le démontrer en étudiant la fonction $f_n(t)=\dfrac{\sin 2t}2 -\dfrac{\sin (n+1)t}{n+1}$ sur $ [0,\frac{\pi}2]$.
$f'_n(t)=\cos 2t - \cos (n+1)t$ s'annule pour $t_k=\dfrac{2k\pi}{n-1}\le\pi/2$ ou pour $t_k=\dfrac{2k\pi}{n+3}\le\pi/2$.
Dans le premier cas $f_n(t_k)=(\dfrac12+\dfrac1{n-1})\sin \dfrac{4k\pi}{n-1}\ge0$ et dans le second cas $f_n(t_k)=(\dfrac12-\dfrac1{n+3})\sin \dfrac{4k\pi}{n+3}\ge0$. Comme de plus $f_n(0)=0$ et $f_n(\dfrac{\pi}2)=-\dfrac{\sin (n+1)\pi/2}{(n+1)}>0$ quand $n=4p+2$ on a bien $f_n(t)\ge0$ sur $ [0,\frac{\pi}2]$.
désolé pour la réponse tardive, je n'avais pas vu les nouveaux mails.
$x$ était fixé dans $]0,1[$, donc $t=\pi/2$ n'est pas autorisé, le résultat est faux quand même dans ce cas là ?