Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

notation e^x de la fonction exponentielle

Posté par fan18fan (invité) 22-11-05 à 21:42

Bonjour,

je prépare une leçon sur la fonction exponentielle, et je suis confrontée à un petit soucis:

Partout je vois: "par convention" ou "notation":
exp(x)=e^x
Je sais que cette égalité est vraie sur les rationnels mais pourquoi peut-on prolonger cette égalité à R tout entier comme je le vois écrit partout?
Il me faudrait une explication correcte...

Quelqu'un sait où je peux trouver cela, ou auriez-vous une explication?
Merci d'avance

Posté par
kaiser Moderateur
re : notation e^x de la fonction exponentielle 22-11-05 à 21:48

Bonsoir fan18fan

Je pense que l'on raisone par densité des rationnels dans et donc que tout réel est limite d'une suite de rationnels. Ensuite, on utilise le fait que exp est continue sur , mais bon, je peux me tromper.

Kaiser

Posté par Frip44 (invité)re : notation e^x de la fonction exponentielle 22-11-05 à 21:49

Bonsoir fan18fan...

En fait c'est simple, exp(1)=2.7....=e (nombre de Neper).
Or, exp(x)=(exp(1))x
Donc, exp(x)=(exp(1))x=ex ! Et ce pour tout x de IR !

++
(^_^(Fripounet)^_^)

Posté par Frip44 (invité)re : notation e^x de la fonction exponentielle 22-11-05 à 21:50

Je me sens out

Posté par
otto
re : notation e^x de la fonction exponentielle 23-11-05 à 00:58

Fripp, comment définis tu e^x pour x non rationnel?

Posté par
piepalm
re : notation e^x de la fonction exponentielle 23-11-05 à 16:49

Je pense que le problème est inverse: c'est la notation a^x avec x réel qui est une convention d'écriture a^x=exp(x*lna) qui coïncide avec la fonction puissance pour x rationnel (d'où son prolongement par continuité)

Posté par Frip44 (invité)re : notation e^x de la fonction exponentielle 23-11-05 à 16:51

Toujours par e^x otto non ?? e^x est définie sur IR, donc sur l'ensemble des rationnels et des non rationnels non ?

++
(-_-(Frip'

Posté par
otto
re : notation e^x de la fonction exponentielle 23-11-05 à 16:56

Le fait que la puissance et l'exponentielle coincident est "un hasard".
On défini la fonction exp de plusieurs manières.
La plus simple est de définir exp comme solution de exp'=exp et exp(0)=1
A partir de la, on peut définir le log comme sa réciproque.
On peut montrer également que exp(x+y)=exp(x)exp(y), et de manière récurrente, que si on pose e=exp(1),  alors exp(n)=e^n et exp(p/q)=e^(p/q) pour p et q entiers, q non nul.

A partir de là, on peut "prolonger" la notation, et écrire e^x=exp(x) pour x quelconque.
Ensuite on peut définir a^x pour a non nul non égal à 1, par a^x=exp(xlog(a)).

Posté par fan18fan (invité)re : notation e^x de la fonction exponentielle 23-11-05 à 20:58

je vous remercie tous,
j'ai finalement trouvé hier soir.
Je vous fais part de la solution si cela vous intéresse:

attention aux erreurs (ex. Frip44).
On a l'égalité que Frip44 a donné mais uniquement sur Q!!!
ensuite on pose x la limite d'une suite (rn) de rationnels.
Par continuité de la fonction exp, on a exp(rn)->exp(x) qd n->oo
Et comme exp(rn)=e^(rn) (car égalité sur Q),
on a dc e^(rn)->exp(x) qd n->oo,
ie la limite de la suite (e^(rn)) est indépendante du choix de la suite (rn)puisque cette limite est exp(x).
On a donc e^x=exp(x) pour tout réel x.

Merci pour votre aide!!!

Maintenant, autre problème concernant toujours la fonction exponentielle:

Comment démontrer l'existence de la fonction exp si on la définit non pas comme réciproque de ln mais comme solution de l'equation y'=y et y(0)=1???

Posté par
otto
re : notation e^x de la fonction exponentielle 23-11-05 à 21:07

L'existence est donnée par le théorème de Cauchy-Lipschitz par exemple.(trivialement d'ailleurs car y'=F(y,x) avec f qui est clairement isométrique si je ne dis pas de bétise, donc lipschitzienne, ce qui fait notre affaire)
On peut trouver aussi des solutions numériques qui approchent la solution, ce qui peut nous donner l'existence (on procède souvent ainsi en analyse fonctionnelle par exemple). Je pense avoir lu une fois une solution de CQFD sur le sujet, qui devait provenir d'un sujet de CAPES justement, si mes souvenirs sont bons.
Une 3e possibilité serait de résoudre cette équation dans l'ensemble des fonctions holomorphes, notamment si une fonction complexe vérifie f(x)=f'(x) on a clairement que f est développable en série entière et on a finalement l'existence de la solution, sous forme de série entière. On a juste à prendre sa restriction à R.

J'espère que ca te conviendra.
A+

Posté par
kaiser Moderateur
re : notation e^x de la fonction exponentielle 23-11-05 à 21:07

Bonsoir fan18fan

Si tu connais le théorème de Cauchy-Lipschitz, c'est immédiat.
En effet, le problème de Cauchy {y'=y, y(0)=1} admet une unique solution qu'on décide d'appeler l'exponentielle.

Voilà

Kaiser

Posté par
otto
re : notation e^x de la fonction exponentielle 24-11-05 à 22:37

Je pense même qu'un résultat du à Picard nous donne l'existence d'une solution des équations de la forme
y'=f(x,y) où f est continue.
Mais je n'arrive pas à remettre la main sur ce résultat.
(Le cas f lispchiztienne étant plus fort et donnant même l'unicité)

Posté par
Ksilver
re : notation e^x de la fonction exponentielle 25-11-05 à 19:45

On a donc e^x=exp(x) pour tout réel x.


non.



on a exp(q)=e^q pour tous rationel, sa sa se demontre.


en revanche on DEFINIT a^x quand x est irationel par exp(x*ln(a)) donc dire qu'on montre que e^x=exp(x) pour x reel na aucun sens, exp(x) est la definition de e^x quand x n'est pas rational...


la demonstration que tu fais ici na aucun sens mathematique, puisque a^x avec x reel n'est pas definit.

il faut voir l'exponentielle comme un prolongement continu de la fonction puissance dans R.


Posté par Hobbes314 (invité)re : notation e^x de la fonction exponentielle 25-11-05 à 22:10

Il existe une méthode pour montrer l'existence de la fonction exp comme solution de f'=f avec f(0)=1, c'est la méthode d'Euler, qui conduit à utiliser les suites u_n(x)=(1+\frac{x}{n})^n et v_n(x)=(1-\frac{x}{n})^{-n}. Ces suites sont défnines pour tout x de R, elles sont adjacentes donc convergentes, et leur limite commune vérifie les propriétés demandées. On l'appellera exp(x)...  

Posté par
otto
re : notation e^x de la fonction exponentielle 25-11-05 à 22:12

Oui c'est d'ailleurs la 2e méthode dont je parlais, et que cqfd67 avait donné il y'a quelque mois.
C'est un peu trop lourd pour une équation aussi simple selon moi, mais ca a le mérite de marcher et de faire un sujet de capes.

Posté par Hobbes314 (invité)re : notation e^x de la fonction exponentielle 25-11-05 à 22:18

Le détail de la solution est effectivement assez lourd, mais a l'avantage de n'utiliser que des outils élémentaires : la démo pourrait être faite en Term S (bon, en s'accrochant quand même un peu à sa chaise...)  

Posté par
otto
re : notation e^x de la fonction exponentielle 25-11-05 à 22:22

Non je ne pense pas parce que ca fait appel à la limite d'une suite de fonctions, et au passage à la dérivée.
Les élèves risqueraient de ne rien comprendre, et à juste titre.

Posté par Hobbes314 (invité)re : notation e^x de la fonction exponentielle 25-11-05 à 22:33

On n'a pas besoin de parler de suite de fonction, il suffit de travailler avec x fixé pour montrer la convergence de la suite. Et pour la dérivée, on étudie la limite de \frac{exp(x+h)-exp(x)}{h}. C'est faisable sans aucun résultat post-bac. La démo complète se trouve dans l'accompagnement des programmes de Term S de 2002, édité par le CNDP.

Maintenant, je ne pense pas que je me lancerai dedans, ça rique de piquer un peu pour les élèves.

Posté par
Ksilver
re : notation e^x de la fonction exponentielle 25-11-05 à 22:51

"la démo pourrait être faite en Term S (bon, en s'accrochant quand même un peu à sa chaise...)  " la demo est en general fait en terminal S d'ailleurs


(enfin moi je l'avait faite et je suis pas le seul)


c marant tous le monde ce demande ce qu'il se passe se jour la ^^




sinon je suis persuader avoir aussi démontré l'unicité en terminal avec un procede du type: sois g et f 2 solution de y'=y avec f(0)=g(0)=1, donc f-g est aussi solution de f-g(0)=0 et apres on en deduit que f-g=0 je sais plus par qu'elle astuce... j'essairai de retrouver sa mais sa va etre dur...

Posté par Hobbes314 (invité)re : notation e^x de la fonction exponentielle 25-11-05 à 22:55

L'unicité ne pose pas de problème : on prend f=exp qui vient d'être définie, et g une autre solution. On considère la fonction g/f (on a bien sur montré que exp ne s'annule jamais...), et en dérivant on montre que g/f est une fonction constante. On termine avec g(0)=f(0)=1.

Posté par
otto
re : notation e^x de la fonction exponentielle 25-11-05 à 22:57

L'unicité est facile à montrer dans ce cas là.
Quand au fait d'étudier la convergence à x fixé de la suite, ca revient quand même à étudier une convergence de suite de fonctions.
C'est un résultat qui n'est pas du programme de terminale, mais je ne pense pas que les profs n'aient pas le droit d'en parler.

Posté par Hobbes314 (invité)re : notation e^x de la fonction exponentielle 25-11-05 à 23:00

Juste otto... On évitera juste de lâcher le mote "suite de fonction" sous peine de déclencher une émeute!

Posté par
Ksilver
re : notation e^x de la fonction exponentielle 25-11-05 à 23:06

une suite de fonction sa n'est pas la meme chose qu'un suite dependant d'un variable...

une suite avec une varaible x dedans sa na rien de choquant pour un eleve de terminal, faut juste eviter de notre Un(x) ^^

nan cette demonstration est tres souvent faite en terminal, meme si elle n'est pas explicitement au programe.

Posté par
otto
re : notation e^x de la fonction exponentielle 25-11-05 à 23:08

une suite de fonction sa n'est pas la meme chose qu'un suite dependant d'un variable...
Tient donc, et quelle est la différence?

Posté par
Ksilver
re : notation e^x de la fonction exponentielle 26-11-05 à 11:18

a peu pres la meme qu'entre

x->x² et x²

Posté par
otto
re : notation e^x de la fonction exponentielle 26-11-05 à 14:40

Absolument pas, il n'y a aucune différence.

Posté par
otto
re : notation e^x de la fonction exponentielle 26-11-05 à 14:42

Dans le même ordre d'idée:
Quelle différence entre une famille de fonctions d'une variable réelle indexée par un intervalle I, réel non vide et une fonction de RxI ?
Y'en a pas non plus.
En fait ca revient exactement à la même chose.

Posté par
Ksilver
re : notation e^x de la fonction exponentielle 26-11-05 à 14:58

une suite qui depend d'un parametre reel y a pas bessoin de definir ce que c'est a un eleve de terminal sa n'est pas hors programe et sa apparait meme regulierement dans des exercices (le paramtre en question pouvant etre Uo par exemple)

une suite de fonction c'est un objet nouveaux et sa sort donc du programe de TS, meme si au final c'est la meme chose.

au passage ton exemple ma parait discutable, sur celui la je suis d'accord puisqu'on definit une famille d'objet indexé par un ensemble I comme une application de I vers l'ensemble contenant les objets en question. alors que x² est un reel la ou x->x² est une fonction (qu'on definit donc de facon completement differente). (de meme pour les suites, on a d'un coté une suite de reel et de l'autre une suite de fonction, bien que la difference ne soit que theorique et que concretement il s'agisse de la meme chose.)

mais je pense qu'au final on est d'accord, c'est la meme chose (aucune difference concrete) , mais l'un est un objet connu par un eleve de TS et l'autre non.

Posté par
otto
re : notation e^x de la fonction exponentielle 26-11-05 à 15:05

Non mais je ne crois pas, parce que dans le cas de l'étude de la dérivabilité de la limite de x->(1+x/n)^n, on étudie la limite d'une suite de fonctions. C'est un concept qui ne s'étudie qu'après un bac+2 en général, et qui fait appelle à beaucoup de choses, notamment à la topologie que l'on met sur l'ensemble des fonctions.
Ici, il se trouve que l'on étudie une des convergences naturelles les plus "sales" qui existent, et qui ne conserve que très peu de propriétés, comme la dérivabilité.

Pour un élève de terminale, la question de l'existence ne doit probablement même pas se poser.
Si c'est quand même le cas, il ne va rien comprendre à ce qu'on lui propose, et si c'est quand même le cas, comment lui expliquer ce qu'est la limite d'une suite de fonctions, et pourquoi vérifier que la limite d'une suite de fonctions dérivables est une fonction dérivable (ca parrait toujours être le cas).

Bref autant de réponses que l'on apporte à des questions qui ne se posaient probablement pas dans la tête des élèves, qui souvent, ont assez de mal comme ça avec le programme...

ps: il n'y a pas de différence concrète parce qu'il n'y a pas de différence DU TOUT.

Bonne journée.
A+

Posté par
H_aldnoer
re : notation e^x de la fonction exponentielle 26-11-05 à 15:46

" Maintenant, je ne pense pas que je me lancerai dedans, ça rique de piquer un peu pour les élèves. "

Je n'ai jamais entendut parler de cette methode la aussi si quelqu'un pouvait me donner un lien ... merci d'avance !
-----

Personnelement, voici ce que nous avions fait nous :
   \red\bullet Existe-t-il une fonction (ou des fonctions) dérivable sur \rm \mathbb{R} et non nulle telle que l'on ait la relation suivante : \rm f(x+y)=f(x)\times f(y) ?

Supposons l'existence et posons :
   \rm h(x)=f(x+y)-f(x)\times f(y)
\rm x,y\in\mathbb{R}, g dérivable sur \rm \mathbb{R}.

On dérive et on obtient :
   \rm h^'(x)=f^'(x+y)-f^'(x)\times f(y).

Par définition de \rm f, \rm h est nulle donc:
   \rm h^'(x)=0

On en déduit que :
   \rm f^'(x+y)=f^'(x)\times f(y)
pour tous réels \rm x, y

En particulier pour \rm x=0, on a :
   \rm f^'(y)=f^'(0)\times f(y)
pour tous réels \rm y

La fonction étant non nulle :
   \rm \exist x_0 | f(x_0)\neq0
D'ou : \rm f(x_0)=f(x_0)\times f(0)\Rightarrow f(0)=1

Si une telle fonction existe, étant dérivable et non nulle sur \mathbb{R} vérifie :
   \rm \{f(x+y)=f(x)\times f(y)\\f^'(y)=f^'(0)\times f(y)\\f(0)=1

Il ne reste plus qu'a résoudre cette équation on trouvant toutes les fonctions (ici il y aura unicité qu'il faudra aussi démontré ...) telle que :
   \rm \{f(x+y)=f(x)\times f(y)\\f^'(y)=f(y)\\f(0)=1.

C'est autrement plus simple pour un niveau Ts non ?

Posté par
otto
re : notation e^x de la fonction exponentielle 26-11-05 à 15:49

C'est drôle, je viens de tomber de manière purement fortuite sur ce topic, sur un autre forum:

http://www.prepas.org/forum/viewtopic.php?t=3433

(ne voyez pas là dedans une pub pour un autre forum)

Répondre à ce sujet

Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster :

Connexion / Inscription Poster un nouveau sujet
Une question ?
Besoin d'aide ?
(Gratuit)
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.


Mentions légales - Retrouvez cette page sur l'île des mathématiques
© digiSchool 2016

Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1193 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !