Fonction définie par une intégrale

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

Fonction définie par une intégrale

Messagepar Tunaki » Dimanche 09 Novembre 2008, 23:10

Bonsoir !

On considère la fonction $f(x)=\ds\int_0^{+\infty}\dfrac{\cos(xt)}{1+t^2}\,\text{d}t$.
On a montré que $f$ existe pour tout $x$ dans $\R$ et on a aussi montré que $\forall x>0, f''(x)=f(x)$.

La question suivant est de montrer que $\forall x\in\R, f(x)=\dfrac{\pi}{2}e^{-|x|}$.
C'est là que je ne comprends pas. Avec ce $f$, on aurait $f'$ non continue en 0.
Or, on a bien $\left|\dfrac{\cos(xt)}{1+t^2}\right|\le \dfrac{1}{1+t^2}$. À ce que je sache, $t\mapsto \dfrac{1}{1+t^2}$ est une fonction intégrable sur $\left[0,+\infty\right]$ et $g(x,t)=\dfrac{\cos(xt)}{1+t^2}$ est continue sur $\R\times\R^{+}$ donc d'après le théorème de dérivation sous le signe somme, on aurait $f$ de classe $C^{1}$ sur $\R$, ce qui n'est pas le cas !

Je dois faire une erreur monstrueuse à un endroit mais je ne vois pas où... Pouvez-vous m'expliquer ?
Tunaki
Giga-utilisateur
 
Messages: 660
Inscription: Mardi 12 Décembre 2006, 18:03
Statut actuel: Post-bac | Ecole d'ingénieur

Publicité

Re: Fonction définie par une intégrale

Messagepar Arthur Accroc » Lundi 10 Novembre 2008, 03:01

Tunaki a écrit:Bonsoir !

On considère la fonction $f(x)=\ds\int_0^{+\infty}\dfrac{\cos(xt)}{1+t^2}\,\text{d}t$.
On a montré que $f$ existe pour tout $x$ dans $\R$ et on a aussi montré que $\forall x>0, f''(x)=f(x)$.


Ça m'intéresserait de savoir pourquoi $f''(x)=f(x)$...

Tunaki a écrit:La question suivant est de montrer que $\forall x\in\R, f(x)=\dfrac{\pi}{2}e^{-|x|}$.
C'est là que je ne comprends pas. Avec ce $f$, on aurait $f'$ non continue en 0.
Or, on a bien $\left|\dfrac{\cos(xt)}{1+t^2}\right|\le \dfrac{1}{1+t^2}$. À ce que je sache, $t\mapsto \dfrac{1}{1+t^2}$ est une fonction intégrable sur $\left[0,+\infty\right]$ et $g(x,t)=\dfrac{\cos(xt)}{1+t^2}$ est continue sur $\R\times\R^{+}$ donc d'après le théorème de dérivation sous le signe somme, on aurait $f$ de classe $C^{1}$ sur $\R$, ce qui n'est pas le cas !

Je dois faire une erreur monstrueuse à un endroit mais je ne vois pas où... Pouvez-vous m'expliquer ?


Bin oui. Les hypothèses que tu cites permettent juste de prouver que $f$ est continue sur $\R$, ce qui est vrai. Par contre, la dérivée ne converge pas uniformément sur $\R$, mais seulement sur des intervalles de la forme $[a,+\infty[$ si je ne m'abuse. Donc on ne sait rien de la dérivée en $0$.

Et il se trouve que, $f$ étant paire, et vérifiant $f''=f$ sur $]0,+\infty[$, on obtient $f(x)=f(0)e^{-x}$ sur $[0,+\infty[$, et $f(x)=f(-x)$ sur $]-\infty,0[$. Tout ce qui est dit, quoi...
\bye

Arthur Accroc
Arthur Accroc
Kilo-utilisateur
 
Messages: 131
Inscription: Lundi 17 Octobre 2005, 19:33

Re: Fonction définie par une intégrale

Messagepar guiguiche » Lundi 10 Novembre 2008, 08:29

Ca ne serait pas plutôt : $f''(x)=x^2f(x)$ ?
Arthur Accroc a écrit:Et il se trouve que, $f$ étant paire, et vérifiant $f''=f$ sur $]0,+\infty[$, on obtient $f(x)=f(0)e^{-x}$ sur $[0,+\infty[$, et $f(x)=f(-x)$ sur $]-\infty,0[$. Tout ce qui est dit, quoi...

Je n'ai pas compris le $f''=f\;\Rightarrow\;\forall x\geqslant0,\;f(x)=f(0)e^{-x}$
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
guiguiche
Modérateur
 
Messages: 8073
Inscription: Vendredi 06 Janvier 2006, 15:32
Localisation: Le Mans
Statut actuel: Actif et salarié | Enseignant

Re: Fonction définie par une intégrale

Messagepar Arthur Accroc » Lundi 10 Novembre 2008, 09:46

guiguiche a écrit:Ca ne serait pas plutôt : $f''(x)=x^2f(x)$ ?

Bin justement, ça m'intéresse de connaître la démonstration, mais je ne pense pas que ce soit $f''(x)=x^2f(x)$, on dérive l'intégrande par rapport à $x$, pas par rapport à $t$ !
guiguiche a écrit:
Arthur Accroc a écrit:Et il se trouve que, $f$ étant paire, et vérifiant $f''=f$ sur $]0,+\infty[$, on obtient $f(x)=f(0)e^{-x}$ sur $[0,+\infty[$, et $f(x)=f(-x)$ sur $]-\infty,0[$. Tout ce qui est dit, quoi...

Je n'ai pas compris le $f''=f\;\Rightarrow\;\forall x\geqslant0,\;f(x)=f(0)e^{-x}$

Tu ne l'as pas compris parce que c'est une ânerie : les solutions de l'équation $f''=f$ sont bien entendu les combinaisons de $x\mapsto e^x$ et $x\mapsto e^{-x}$, i.e. les fonctions de la forme $f(x)=Ae^x+Be^{-x}$.

L'existence d'une limite finie en $+\infty$ (la fonction se majore facilement pas $\frac{\pi}{2}$) montre que $B=0$, la valeur en $0$ montre que $A=\frac{\pi}{2}$. On termine en complétant par parité.

Désolé pour la bêtise.
\bye

Arthur Accroc
Arthur Accroc
Kilo-utilisateur
 
Messages: 131
Inscription: Lundi 17 Octobre 2005, 19:33

Re: Fonction définie par une intégrale

Messagepar rebouxo » Lundi 10 Novembre 2008, 10:06

$f'' = f$ en calculant $f''(x) - f(x)$. Il faut intégrer $\int_0^{+\infty} -cos(xt) dt$ qui doit valoir $0$.

Non ?

Olivier
rebouxo
Modérateur
 
Messages: 6979
Inscription: Mercredi 15 Février 2006, 13:18
Localisation: le havre
Statut actuel: Actif et salarié | Enseignant

Re: Fonction définie par une intégrale

Messagepar P.Fradin » Lundi 10 Novembre 2008, 17:30

Bonjour,

Le calcul de $f''$ n'est pas aussi simple que cela. Pour $x>0$, on peut pose $u=tx$ ce qui conduit à:

$$f(x)=x\displaystyle\int_0^{+\infty} \frac{\cos(u)}{x^2+u^2}\,du$$



le théorème de dérivation s'applique alors sans problème (et même autant de fois que l'on veut), on obtient alors:

$$f''(x)=2x\displaystyle\int_0^{+\infty} \frac{\cos(u)}{(x^2+u^2)^2}\,du-8x\displaystyle\int_0^{+\infty} \frac{u^2\cos(u)}{(x^2+u^2)^3}\,du$$



deux intégrations bien placées dans la deuxième intégrale donnent $f''=f$.

PS: calculs à vérifier
P.Fradin
 

Re: Fonction définie par une intégrale

Messagepar Arthur Accroc » Lundi 10 Novembre 2008, 17:51

rebouxo a écrit:$f'' = f$ en calculant $f''(x) - f(x)$. Il faut intégrer $\int_0^{+\infty} -cos(xt) dt$ qui doit valoir $0$.

Non ?
Olivier


Non ! :-) Intégrale grossièrement divergente !
\bye

Arthur Accroc
Arthur Accroc
Kilo-utilisateur
 
Messages: 131
Inscription: Lundi 17 Octobre 2005, 19:33

Re: Fonction définie par une intégrale

Messagepar Tunaki » Lundi 10 Novembre 2008, 19:12

En fait pour montrer que $f''=f$, on est passé par tout plein de fonctions intermédiaires.
On a posé :
$\forall x\in\R, h(x)=\ds\int_0^{+\infty}\dfrac{t\sin(xt)}{(1+t^2)^2}\,\text{d}t$
$\forall x\in\R,k(x)=\ds\int_0^{+\infty}\dfrac{\cos(xt)}{(1+t^2)^2}\,\text{d}t$

Avec cela, on a montré que :
$\forall x\in\R,\quad xf(x)=2h(x)$
$\forall x\ge 0,\quad h'(x)=f(x)-k(x)$
$\forall x\ge 0, \quad k'(x)=-h(x)$

À partir ce des 3 équations, on en a déduit que $\forall x\in\R, f''(x)=f(x)$

Par contre, la dérivée ne converge pas uniformément sur $\R$, mais seulement sur des intervalles de la forme $[a,+\infty[$ si je ne m'abuse. Donc on ne sait rien de la dérivée en $0$.


Dans mon cours, le théorème de dérivation sous le signe somme, dis clairement qu'avec ce que j'ai vérifié (continuité sur les deux variables + convergence dominée), on a $f$ de classe $C^1$. Ou alors, il y a une subtilité que j'ai raté ???
Tunaki
Giga-utilisateur
 
Messages: 660
Inscription: Mardi 12 Décembre 2006, 18:03
Statut actuel: Post-bac | Ecole d'ingénieur

Re: Fonction définie par une intégrale

Messagepar rebouxo » Lundi 10 Novembre 2008, 19:45

Arthur Accroc a écrit:
rebouxo a écrit:$f'' = f$ en calculant $f''(x) - f(x)$. Il faut intégrer $\int_0^{+\infty} -cos(xt) dt$ qui doit valoir $0$.

Non ?
Olivier


Non ! :-) Intégrale grossièrement divergente !

AH oui, j'avais regardé vraiment vite fait.

Olivier
rebouxo
Modérateur
 
Messages: 6979
Inscription: Mercredi 15 Février 2006, 13:18
Localisation: le havre
Statut actuel: Actif et salarié | Enseignant

Re: Fonction définie par une intégrale

Messagepar Arthur Accroc » Mardi 11 Novembre 2008, 01:12

Tunaki a écrit:À partir ce des 3 équations, on en a déduit que $\forall x\in\R, f''(x)=f(x)$


Oui, il faut tout cela pour que les intégrales définissant les dérivées successives convergent bien.

Tunaki a écrit:Dans mon cours, le théorème de dérivation sous le signe somme, dis clairement qu'avec ce que j'ai vérifié (continuité sur les deux variables + convergence dominée), on a $f$ de classe $C^1$. Ou alors, il y a une subtilité que j'ai raté ???


Ce ne seraient pas par hasard les hypothèses que doit vérifier la fonction $\dfrac{\partial g}{\partial x}$ ?
\bye

Arthur Accroc
Arthur Accroc
Kilo-utilisateur
 
Messages: 131
Inscription: Lundi 17 Octobre 2005, 19:33

Re: Fonction définie par une intégrale

Messagepar Tunaki » Mardi 11 Novembre 2008, 11:53

Ce ne seraient pas par hasard les hypothèses que doit vérifier la fonction $\dfrac{\partial g}{\partial x}$ ?


Oups :mrgreen: :oops: Oui, en effet...

Merci de votre aide !! :D
Tunaki
Giga-utilisateur
 
Messages: 660
Inscription: Mardi 12 Décembre 2006, 18:03
Statut actuel: Post-bac | Ecole d'ingénieur


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Google Adsense [Bot] et 9 invités