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).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quarantecinq plus quatre
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

Fred
16-10-2017 16:49:42

Tu confonds les hypothèses et la conclusion du théorème ! Si  $ f' $  admet une limite alors  $ f $ est dérivable c'est-à-dire son taux d'accroissement admet une limite.

bib
16-10-2017 16:40:21

Bonjour,
je ne comprend pas alors ce que dit le théorème du prolongement de la dérivée, dans le théorème qui est dans le lien, ce n'est pas la limite de la dérivée qui est calculée. C'est quoi l'énoncé exacte? S'il vous plaît.

Fred
10-10-2017 05:39:14

Oui c'est ce théorème.
Mais non ce n'est pas cette limite qu'il faut calculer.

bib
09-10-2017 22:59:42

D'après le lien suivant
http://www.bibmath.net/dico/index.php?a … rivee.html

c'est $\lim_{t \to 0} \dfrac{\varphi^{(n)}(t)}{t}$ qu'on devrait calculer. Non?

Fred
09-10-2017 22:35:22

Parce que tu as un théorème (le théorème de prolongement d'une dérivée) qui te dit que si, pour tout $n$, $\varphi^{(n)}(t)$ admet une limite $\ell_n$ quand $t$ tend vers 0, (pour $\varphi$ par ailleurs $\mathcal C^\infty$ sur $\mathbb R^*$), alors $\varphi$ est $\mathcal C^\infty$ et vérifie $\varphi^{(n)}(0)=\ell_n$ pour tout $n$.

bib
09-10-2017 21:39:23

Ok, je pense que j'ai compris. Je repends.
On montre parrécurrence que $\varphi^{(n)}(t)= P_n(1/t) e^{-1/t}$ avec $P_n$ un polynôme d'ordre $n$.
Pour $n=1$ on a $\varphi^{(1)}(t)= \dfrac{1}{t^2} e^{-1/t}$ qui est vérifiée.
On suppose que la relation est vraie pour $n$ et on montre qu'elle reste vraie pour $n+1$ ce qui conciste à montrer que $\varphi^{(n+1)}$ s'écrit sous la forme d'un polynôme multiplié par $e^{-1/t}$. On a:
$$
\varphi^{(n+1)}(t)= (P'_n(1/t) - 1/t P_n(1/t)) e^{-1/t}= Q_{n+1} (1/t) e^{-1/t}
$$
Maintenant qu'on a trouvé la relation générale de $\varphi^{(n)}$, on passe à la limite quand $t$ tend vers 0.
Si c'est bon ce que j'ai écris, j'ai une question s'il vous plaît.
Je ne comprend pas pourquoi pour dire que $\varphi$ est indéfiniment dérivable en $t=0$, il suffit de trouver que $\lim_{t \to 0} \varphi^{(n)}(t)=\varphi'(0)$?

Roro
09-10-2017 21:05:39

Bonsoir,

Ce que veut dire Fred c'est qu'il est suffisant de savoir que les dérivées successives de $\varphi$ sont des produits d'un polynôme et d'une exponentielle. Tu t'en serviras effectivement pour le point 2 en utilisant les croissances comparées (typiquement
$\lim_{y\to + \infty} P(y)\mathrm e^{-y} = 0$ dès que $P$ est un polynôme).

Pour ta question 1, si tu supposes $\varphi^{(n)}(t) = P_n(1/t)\mathrm e^{-1/t}$, comment s'écrit $\varphi^{(n+1)}(t)$ ?
Tu verras que c'est encore de la forme $Q(1/t)\mathrm e^{-1/t}$, tu pourras donc poser $P_{n+1}=Q$.

Roro.

bib
09-10-2017 20:04:30

Je suis un peu perdue.
1.Donc on suppose que $\varphi^{(n)}$ est vrai est on montre que $\varphi^{(n+1)}= P_{n+1}(t) \exp(-1/t)$. Ma question est s'il vous plaît comment le démontrer? Qui est $P_n$ et qui est $P_{n+1}$ et comment conclure? Donnez moi les grandes lignes s'il vous plaît.

2. Après ça pour conclure que $\varphi$ est indéfiniment dérivable en $0$ on calcule $\lim_{t \to 0} \varphi^{(n)}(t)$? et on doit la trouver $0$? Comment on fait ce calcul sans connaître $P_n$ de manière explicite? S'il vous plaît

Fred
09-10-2017 19:54:55

Bonsoir

  Je te conseille de démontrer par récurrence que  $ \varphi^{(n)}(t)=P_n(1/t)\exp(-1/t) $ avec  $ P_n $ un polynôme. C'est suffisant pour ce que tu veux faire et ça te simplifiera les calculs.

Fred

bib
09-10-2017 19:37:06

Bonjour,
on considère la fonction $\varphi: \mathbb{R} \to \mathbb{R}$ définie par
$$
\varphi(t)
=
\begin{cases}
e^{-1/t}, &t >0\\
0:&t \leq 0
\end{cases}
$$
Je cherche à montrer que $\varphi$ est infiniment dérivable au point $t=0$. Tout d'abord, j'ai montré que $\varphi$ est continue en $t=0$. Puis, on a
$$
\lim_{t \to 0^+} \dfrac{\varphi(t)-\varphi(0)}{t}= \lim_{t \to 0} \dfrac{e^{-1/t}}{t}=0= \lim_{t \to 0^-} \dfrac{\varphi(t)}{t}
$$
on conclut que $\varphi$ est dérivable en $t=0$ et que $\varphi'(0)=.0$.
Maintenant pour montrer qu'elle est infiniment dérivable au point $t=0$, je calcule quelques dérivées, et je conclus que
$$
\varphi^{(n)}(t)= (\dfrac{\alpha_1}{t^{n+1}}+ \dfrac{\alpha_2}{t^{n+2}}+ ...+ \dfrac{\alpha_n}{t^{2n}})e^{-1/t}
$$

Mon problème est de montrer par récurrence que cette relation est vraie. Pour $n=$ elle est vraie, on suppose qu'elle est vraie pour $n$ et on la montre pour $n+1$. On doit trouver que
$$
\varphi^{(n+1)}(t)= (\dfrac{a_1}{t^{n+2}}+ \dfrac{a_2}{t^{n+3}}+ ...+ \dfrac{a_n}{t^{2(n+1)}})e^{-1/t}
$$
pour ça, je dérive $\varphi^n(t)$ et là je suis complétement noyée dans les calculs et je n'arrive pas à obtenir ce qu'on cherche. Donnez moi s'il vous plaît une méthode simple pour montrer cette relation par réccurence.

Pied de page des forums