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

#1 27-12-2018 13:24:02

ccapucine
Membre
Inscription : 19-05-2018
Messages : 180

fonction de $D(\mathbb{R})$

Bonjour
j'ai l'exercice suivant: soit $\varphi_0 \in \mathcal{D}(\mathbb{R})$ tel que $\displaystyle\int_{\mathbb{R}} \varphi_0(t) dt=1$. Montrer que pour tout $\varphi \in \mathcal{D}(\mathbb{R})$ il existe un couple $(c,\psi) \in \mathbb{R} \times \mathcal{D}(\mathbb{R})$ tel que $\varphi = \psi' + c \varphi_0$.
Je peine à avoir une idée pour commencer la solution.

Merci par avance pour l'aide.

Hors ligne

#2 27-12-2018 19:23:21

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : fonction de $D(\mathbb{R})$

Bonjour,

  Un raisonnement par analyse/synthèse s'impose. Commence par déterminer $c$ en intégrant $\varphi=\psi'+c\varphi_0$ sur $\mathbb R$.

F.

Hors ligne

#3 27-12-2018 20:23:38

ccapucine
Membre
Inscription : 19-05-2018
Messages : 180

Re : fonction de $D(\mathbb{R})$

En intégrant $\varphi=\psi'+c \varphi_0$ sur $\mathbb{R}$, on obtient: $\displaystyle\int_{\mathbb{R}} \varphi(x) dx = \displaystyle\int_{\mathbb{R}} \psi'(x) dx + c \displaystyle\int_{\mathbb{R}} \varphi_0(x) dx$. Comme $\displaystyle\int_{\mathbb{R}} \psi'(x) dx = [\psi(x)]_{-\infty}^{+\infty}=0$ et $\displaystyle\int_{\mathbb{R}} \varphi_0(x) dx=1$, alors $c= \displaystyle\int_{\mathbb{R}} \varphi(x) dx$.
Si c'est ok, comment on détermine $\psi$? S'il te plaît

Hors ligne

#4 27-12-2018 21:12:20

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : fonction de $D(\mathbb{R})$

Il me semble qu’aloes dans l’équation tu connais tout sauf $\psi’$. C’est alors facile de le retrouver...

Hors ligne

#5 28-12-2018 00:33:30

ccapucine
Membre
Inscription : 19-05-2018
Messages : 180

Re : fonction de $D(\mathbb{R})$

Oui c'est ce que j'ai fait. J'ai intégré entre $x_0$ et $x$ ce qui donne
$$
\psi(x)= \psi(x_0)+ \displaystyle\int_{x_0}^x \varphi(s) ds - c \displaystyle\int_{x_0}^x \varphi_0(s) ds
$$
mais qui est $x_0$ et $\psi(x_0)$?

Hors ligne

#6 28-12-2018 08:37:08

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 049

Re : fonction de $D(\mathbb{R})$

La valeur que tu veux par exemple moins l’infini. Tu dois ensuite faire la synthèse et vérifier que cela fonctionne.

Hors ligne

#7 31-12-2018 12:50:35

ccapucine
Membre
Inscription : 19-05-2018
Messages : 180

Re : fonction de $D(\mathbb{R})$

Bonjour
il y a une chose que je n'ai pas jamais comprise. Que veut dire exactement un raisonnement par analyse-synthèse? S'il te plaît.

Hors ligne

#8 31-12-2018 16:57:27

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 114

Re : fonction de $D(\mathbb{R})$

Bonjour,

Je m'immisce dans la discussion pour répondre.

Le raisonnement par analyse et synthèse est souvent employé pour démontrer une proposition du genre :

Pour tout $x$, il existe une unique $y$ tel que $P(x,y)$.

La partie analyse consiste à supposer qu'il existe $y$ tel que $P(x,y)$ et à exploiter cette dernière propriété pour montrer que nécessairement $y$ est de la forme $f(x)$ pour une certaine fonction $f$.

La partie synthèse consiste à vérifier que, pour tout $x$, on a $P(x,f(x))$

Un exemple classique :

Pour toute fonction $u:\mathbb R\to \mathbb R$, il existe un unique couple $(p,i)$ tel que $p$ est une fonction paire, $i$ une fonction impaire et $u=p+i$.

Analyse : si $p$ est une fonction paire et $i$ une fonction impaire telle que $u=p+i$, alors
$$\forall x\in \mathbb R \quad \left(u(x)=p(x)+i(x) \text{ et } u(-x)= p(-x)+i(-x)=p(x)-i(x)\right)\;,$$
d'où
$$\forall x\in \mathbb R\quad \left(p(x)=\frac12(u(x)+u(-x)) \text{ et } i(x)=\frac12(u(x)-u(-x))\right)\;.\qquad(*)$$
Synthèse : pour toute fonction $u$, les fonctions $p$ et $i$ définies par la formule $(*)$ sont bien respectivement paire et impaire, et vérifient $u=p+i$.

Hors ligne

#9 27-04-2019 20:07:58

Jawharovsk
Invité

Re : fonction de $D(\mathbb{R})$

Bonne idée

Pied de page des forums