Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » dérivée d'un élément de D'
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- Fred
- 06-12-2017 23:21:05
Pour que $S$ soit une primitive de $T$, on doit nécessairement avoir $\langle S,\phi'\rangle=-\langle T,\phi\rangle$. Si toute fonction test était la dérivée d'une fonction test, ie si pour toute fonction test $\psi$ je pouvais trouver $\phi$ telle que $\psi=\phi'$ , alors je poserai $\langle S,\psi\rangle=-\langle T,\phi\rangle$ et j'aurais fini...
- bib
- 06-12-2017 22:47:11
Oui, mais pourquoi ça serait parfait si toute fonction teste était la dérivée d'une autre fonction teste? En quoi cela aurait pu nous aider à conclure directement l'existence de $S$?
- Fred
- 06-12-2017 22:30:05
Je ne comprends toujours pas. Dans cet exercice, on ne veut pas démontrer que la dérivée d'une distribution existe toujours. On veut démontrer que toute distribution admet une primitive!!!!
- bib
- 06-12-2017 22:20:33
Il s'agit de l'exercice 5 de la feuille http://www.bibmath.net/ressources/index … &type=fexo
où la question est justement de prouver que la dérivée d'une distribution existe toujours. Il y a une phrase dans la solution que je n'ai pas bien compris, c'est que si toute fonction teste était la dérivée d'une fonction teste, ça serait parfait pour conclure.
- Fred
- 06-12-2017 21:29:27
Je ne comprends pas. La dérivée d'une distribution existe toujours, et la formule $\langle T',\psi\rangle=-\langle T,\psi'\rangle$ est justement sa définition
- bib
- 06-12-2017 20:44:34
Bonjour,
j'essaye de montrer que sur tout intervalle $I$ de $\mathbb{R}$,toute distribution sur $I$ admet une primitive.
En lisant la preuve du feuillet d'exo sur bibmaths, on lis ceci: si $T \in \mathcal{D}'(I)$ et $S$ une éventuelle primitive de $S$, on a
$$
\forall \varphi \in \mathcal{D}(I): <T,\varphi>= <S',\varphi>= - <S,\varphi>.
$$
Si toute fonction teste était la dérivée d'une fonction teste, alors ce serait parfait. Je veux comprendre pourquoi ça serait parfait?
Moi je comprend que ça serait parfait car, si toute fonction teste était la primitive d'une fonction teste, cela voudrait dire que pour tout $\varphi \in \mathcal{D}(I)$, il existe $\psi \in \mathcal{D}(I)$ telle que $\varphi= \psi'$. Donc on écrit
$$
<T,\varphi>= <T,\psi'>= - <T',\psi>.
$$
Le problème est: est ce qu'on a le droit d'écrire l'égalité $<T,\psi'>= - <T',\psi>$ sans savoir si $T'$ existe? S'il vous plaît.
- bib
- 03-11-2017 20:59:07
Oui avec ça on voit que $v(a)=0$ et par conséquent $v(b)=0$, mais comment on a l'idée de poser $v(t)=\displaystyle\int_a^t u(x) dx? D'où vient cette égalité? S'il vous plaît.
- Fred
- 03-11-2017 20:46:14
Si tu poses directement $v(t)=\int_a^t u(x)dx$, je crois que c'est clair!
- bib
- 03-11-2017 20:22:45
OK! J'ai compris le truc. Donc on résout l'équation $v'=u$. $u$ est continue et le coefficient de $v'$ est la fonction continue $1$ donc $v$ existe. Reste à prouver que ce $v$ est bien une fonction teste. Pour ça on intègre les deux membres de l'équation, et en utilisant l'hypothèse on obtient que $v(b)-v(a)=0$ donc $v(b)=v(a)$. Mais comment est ce que $v(a)=v(b)$ implique que $v \in \mathcal{D}(I)$? S'il vous plaît.
- Fred
- 03-11-2017 19:49:18
En intégrant la relation $v'=u$ entre $a$ et $x$ bien sûr (après tout, $v'=u$ est une équation différentielle d'inconnue $v$, très simple bien entendu).
- bib
- 03-11-2017 19:10:30
D'accord. Alors on doit montrer l'équivalence suivante:
$$
(\exists v \in \mathcal{D}(]a,b[): v'=u) <=> (\displaystyle\int_a^b u(x) dx =0).
$$
On commence par montré l'implication dans le sens $=>$. On suppose qu'il existe $v \in \mathcal{D}(I)$ telle que $v'=u$. En intégrant les deux membres, on a $\displaystyle\int_a^b v'(x) dx = \displaystyle\int_a^b u(x) dx$ qui implique que $v(b)-v(a)= \displaystyle\int_a^b u(x) dx$. Comme $v \in \mathcal{D}(]a,b[)$, on a $v(a)=v(b)=0$ ainsi, $\displaystyle\int_a^b u(x) dx =0$.
On montre maintenant l'implication inverse $<=$: on suppose que $\displaystyle\int_a^b u(x) dx=0$ et on montre qu'il existe $v \in \mathcal{D}(I)$ telle que $v'=u$. Ce qui me pose difficulté c'est comment on procède pour montrer qu'un tel $v$ existe? S'il vous plaît.
- Fred
- 03-11-2017 17:11:51
Et si plutôt tu essayais de démontrer ce lemme? Ce n'est pas si dur, et cela ressemble beaucoup à d'autres résultats pour lesquels tu t'es fait aidé ici...
- bib
- 03-11-2017 12:24:49
Merci c'est bien celle que j'avais. S'il vous plaît, comment prouver le lemme utilisé dans la preuve? Le lemme dit ceci: soit $u \in \mathcal{D}(I)$. Il existe $v \in \mathcal{D}(I)$ tel que $v'=u$ si et seulement si $\displaystyle\int_{\mathbb{R}} u=0$. Dans ces cas, $v$ est unique.
Merci par avance pour votre aide.
- Fred
- 03-11-2017 11:09:13
Bonjour
Il y en a une dans un exercice de de cette feuille. Je ne pense pas qu'on puisse faire vraiment plus simple.
F
- bib
- 03-11-2017 11:00:21
Bonjour,
soit $T$ une distribution. Comment on montre que $T'=0$ ssi $T$ est une constante? S'il vous plaît.
J'ai trouvé une preuve mais trop longue, il y en a une simple et rapide?