Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#26 Re : Entraide (supérieur) » Dérivée dans D' » 08-11-2017 13:15:29
Ah ok, merci beaucoup!
Pour le résultat que j'ai obtenu, il est correct? Si oui, en fait j'ai du mal à appliquer la formule des sauts directement car je ne repère pas les points où $f'$ a des sauts. Une méthode pour les voir? S'il vous plait surtout quand on travail avec une fonction périodique.
#27 Re : Entraide (supérieur) » Dérivée dans D' » 08-11-2017 12:11:00
Bonjour,
on a calculé $f'$ (la dérivée au sens des distributions de $f(x)=|\cos(x)|$) et on a obtenu
$$
<f',\varphi>=\sum_{k \in \mathbb{Z}} (\displaystyle\int_{a_{2k}}^{a_{2k+1}} \sin(x) \varphi(x) dx - \displaystyle\int_{a_{2k+1}}^{a_{2k+2}} \sin(x) \varphi(x) dx)
$$
Pour $f''$: on remarque que $f'$ a des sauts, donc on devrait obtenir des Dirac. Voici ce que j'obtiens:
$$
<f'',\varphi>= \sum_{k\in \mathbb{Z}} (-2 \sin(a_{2k+1}) \varphi(a_{2k+1})+ \sin(a_{2k}) \varphi(a_{2k})-\sin(a_{2k+1})\varphi(a_{2k+1})-\displaystyle\int_{a_{2k}}^{a_{2k+1}} \cos(x) \varphi(x) dx+ \displaystyle\int_{a_{2k+1}}^{a_{2k+2}} \cos(x) \varphi(x) dx
$$
Mais le théorème des sauts est donné pour un nombre fini de points, or qu'ici on fait la somme sur $\mathbb{Z}$! Il risque alors d'y avoir la non convergence. Non?
Merci par avance.
#28 Re : Entraide (supérieur) » convergence uniforme » 06-11-2017 23:16:00
C'est bon en plus j'avais lu un cours sur le net qui m'a complétement chamboulé. C'est ok pour ma question et vraiment désoléede l'avoir mal posé, ça m'a fait passé pour une idiote.
#29 Re : Entraide (supérieur) » convergence uniforme » 06-11-2017 22:59:15
non désolée Fred, j'aimal posé ma question, vraiment désolée.
Je voulais dire ceci: j'ai lu dans le cours que si on majore $|\psi_n|$ par une quantité indépendante de $x$ alors on a convergence uniforme. (ou bien si on la majore par une quantité qui tend vers 0) et là je vois qu'on peut majorer par le sup qui est un nombre indépendant de 0. Donc ma vaie question est qu'est ce qui cloche pour avoir besoin de l'hypothèse $\varphi(0)=0$ afin d'avoir la convergence uniforme de $(\psi_n)$ vers 0?
Et désolée encore une fois d'avoir mal posé la question ce qui a rendu la question débile
#30 Re : Entraide (supérieur) » Dérivée dans D' » 06-11-2017 21:50:08
Ah ok je n'avais pas vu qu'il y avait trois pages! C'est ok on a trouvé pareil! Juste une question, moi j'ai mis la somme sur $k \in \mathbb{Z}$. C'est correcte?
#31 Entraide (supérieur) » convergence uniforme » 06-11-2017 21:44:16
- bib
- Réponses : 4
Bonjour,
on considère la suite de fonction $(\psi_n)$ donnée par $\psi_n(x)= \dfrac{1}{1+(nx)^2} \varphi(x)$ où $\varphi \in \mathcal{D}(\mathbb{R})$ (on suppose que $Supp(\varphi) \subset K$ où$K$ est un compact). Je cherche à étudier la convergence uniforme de $(\psi_n)$.
En lisant le cours, il est dit qu'il faut majorer $||\psi_n||_{\infty}$ par une constante qui ne dépend pas de $x$.
Moi j'ai fait ceci:
$$||\psi_n||_{\infty}= \sup_{x \in K} |\psi_n(x)|= \sup_{x \in \mathbb{R}}|\dfrac{1}{1+n^2 x^2}|.\sup_{x \in \mathbb{R}} |\varphi(x)$$
puisque $\sup_{x \in \mathbb{R}}|\dfrac{1}{1+n^2 x^2}|=1$, alors $\sup_x|\psi_n(x)|= \sup_{x}|\varphi(x)|$.
Ma question est comment savoir si $\sup_{x}|\varphi(x)|$ dépend de $x$ ou pas?
Merci par avance pour votre aide.
#32 Re : Entraide (supérieur) » Dérivée dans D' » 06-11-2017 21:07:06
Ok, c'est reglé pour la periodicité.
Pour le calcul de $g'$, j'obtient ceci:
$$
<g',\varphi>=-<g',\varphi'>= -\sum_{k \in \mathbb{Z}} \displaystyle\int_{2 k \pi}^{2(k+1)\pi} (x-2k\pi) \varphi'(x) dx.
$$
en appliquant l'ipp, on a
$$
\displaystyle\int_{2k\pi}^{2(k+1)\pi} (x-2k\pi) \varphi'(x) dx= [(x-2k\pi)\varphi(x)]_{2k\pi}^{2(k+1)\pi}-\displaystyle\int_{2k\pi}^{2(k+1)\pi} \varphi(x) dx= 2 \pi \varphi(2(k+1)\pi)-\displaystyle\int_{2k\pi}^{2(k+1)\pi} \varphi(x) dx
$$
donc
$$
<g',\varphi>=-(2\pi) \varphi(2(k+1)\pi)+\displaystyle\int_{2k\pi}^{2(k+1)\pi} \varphi(x) dx
$$
mais il me semble que ce n'est pas le même résultat obtenu dans l'ancien fil. Comment savoir si mon résultat est bon? S'il vous plaît.
#33 Re : Entraide (supérieur) » Dérivée dans D' » 06-11-2017 20:23:58
Merci beaucoup Yassine j'ai toujours eu du mal avec les fonctions périodiques. Est-ce que c'est simple de voir ça avec un dessin?Si oui pouvez vous m'envoyer le dessin qui montre ça je vous prie
#34 Re : Entraide (supérieur) » Dérivée dans D' » 06-11-2017 19:30:10
une fonction $ \pi$ périodique veut dire que $g(x+ 2 \pi)= g(x)$ pour tout $x \in \mathbb{R}$, avec le fait que $g(x)=x$ pour tout $x \in [0,2\pi[$ comment combiner ces deux informations pour montrer que $(g)=x-2 k \pi$ sur $[2k\pi, 2(k+1)\pi[$? S'il vous plaît
#35 Re : Entraide (supérieur) » (log |x|)' » 06-11-2017 16:27:13
Bonjour,
j'ai une question un peu bête mais je la pose quand même.
$\log|x|$ est définie sur $\mathbb{R}^\star$, elle n'est pas définie au point $x=0$ alors comment elle peut être intégrable sur $\mathbb{R}$ tout entier? S'il vous plaît.
#36 Entraide (supérieur) » continuité sur D » 06-11-2017 16:14:01
- bib
- Réponses : 0
Bonjour,
soit $f \in C^\infty(\mathbb{R})$ et soit $T \in \mathcal{D}'(\mathbb{R})$. Jessaye de montrer que la forme linéaire donnée par
$$
\forall \varphi \in \mathcal{D}(\mathbb{R}): <f T,\varphi>= <T,f \varphi>
$$
est continue.
Voici ce que j'ai fait:
soit $K$ un compact et soit $\varphi \in \mathcal{D}_K(\Omega)$. On a
$$
|<fT,\varphi>|= |<T,f \varphi>| \leq C P_{K,m} (f \varphi)
$$
On a
$$
P_{K,m}(f \varphi)= \sup_{|\alpha|\leq m} |D^{\alpha} (f \varphi)
$$
et d'après Libniz, on a
$$
D^{\alpha} (f \varphi)= \sum_{\beta \leq \alpha} C_{\alpha}^{\beta} (D^{\alpha-\beta} f )(D^\beta \varphi)
$$
Ma question est: comment on fait pour majorer $|D^{\alpha} (f \varphi)|$ par $\sup|D^\beta \varphi|$? (c'est la présence de $\sum_{\beta \leq \alpha}$ dans la formule qui me perturbe complétement.
Merci par avance.
#37 Re : Entraide (supérieur) » Dérivée dans D' » 06-11-2017 14:57:56
Oui Yassine, j'ai trouvé ces exercices sur le phorum, mais le fil était farfellu donc je n'avais pas bien compris, je le refais. Merci beaucoup pour l'aide.
#38 Re : Entraide (supérieur) » Dérivée dans D' » 05-11-2017 23:27:54
J'ai une autre question s'il vous plaît. On considère la fonction $g$ définie de $\mathbb{R}$ dans $\mathbb{R}$, $2 \pi$ périodique telle que $g(x)=x$ pour tout $x \in [0,2 \pi[$. Je cherche à calculer $g'$ au sens des distributions. Alors on commence par remarquer que $g$ est de classe $C^1$ par morceaux, mais elle a des sauts aux points $2 k \pi$ et $2(k+1)\pi[$
Maintenant, $g$ est périodique sur $\mathbb{R}$ de periode $2 \pi$. Puisqu'elle est $L^1_{loc}$ elle définie la distribution
$$
<g,\varphi>= \sum_{k \in \mathbb{Z}} \displaystyle\int_{2 k \pi}^{2(k+1)\pi} g(x) \varphi(x) dx.
$$
Donc
$$
<g',\varphi>=-<g,\varphi'>= - \displaystyle\int_{2 k \pi}^{2(k+1)\pi} g(x) \varphi'(x) dx= - \displaystyle\int_{2 k \pi}^{2(k+1)\pi} x \varphi(x) dx
$$
on calcule $ \displaystyle\int_{2 k \pi}^{2(k+1)\pi} x \varphi(x) dx$ par ipp, et on a
$$
\displaystyle\int_{2 k \pi}^{2(k+1)\pi} x \varphi(x) dx= [x \varphi(x)]_{2k\pi}^{2(k+1)\pi} -\displaystyle\int_{2k \pi}^{2(k+1)\pi} \varphi(x) dx.
$$
Mais puisque $g$ est periodique alors $g(2 k \pi)= g(2(k+1)\pi)=0$ mais ça me fait bizarre d'écrire que ça implique que $[x \varphi(x)]_{2k\pi}^{2(k+1)\pi} \neq 0$ vu que $g$ est nulle en ces deux points. Je suis perturbée par ce point.
#39 Re : Entraide (supérieur) » (log |x|)' » 05-11-2017 21:49:59
Ahhh ok!! On coupe l'intégrale en 0! J'avais peur de couper en 0 car $\log|x|$ n'est pas définie en 0. Merci beaucoup!
#40 Re : Entraide (supérieur) » Dérivée dans D' » 05-11-2017 21:45:53
Moi j'ai pensé à ca: on note $a_k= \pi/2+k \pi$ où $k \in \mathbb{Z}$, et on a
$$
<f,\varphi> = \sum_{k=-\infty}^{+\infty} (\displaystyle\int_{a_{2k}}^{a_{2k+1}} - \cos(x) \varphi(x) dx +\displaystyle\int_{a_{2k+1}}^{a_{2k+2}} \cos(x) \varphi(x) dx)
$$
Donc
$$
<f',\varphi>= \sum_{k=-\infty}^{+\infty} (\displaystyle\int_{a_{2k}}^{a_{2k+1}} - \cos(x) \varphi'(x) dx +\displaystyle\int_{a_{2k+1}}^{a_{2k+2}} \cos(x) \varphi'(x) dx)
$$
et on fait une ipp sur chaque intégrale.
Vous avez une solution plus simple? S'il vous plaît.
#41 Re : Entraide (supérieur) » (log |x|)' » 05-11-2017 21:44:13
$\displaystyle\int_{-\epsilon}^{\epsilon} \log|x| dx= \displaystyle\int_{-\epsilon}^{2\epsilon - \epsilon} \log|x|$ donc la limite est nulle. Mais vous, vous avez intégrer entre $a$ et $a+\epsilon$ et là on ajoute pas $\epsilon$ mais $2 \epsilon$! C'est pareil? S'il vous plaît.
#42 Re : Entraide (supérieur) » (log |x|)' » 05-11-2017 20:57:05
Je n'arrive pas à voir le lien avec $\lim_{\epsilon \to 0} \displaystyle\int_{-\epsilon}^{\epsilon} \log|x| \varphi(x) dx$. Qui joue le rôle de $a$? et qui joue le rôle de $\epsilon$? S'il vous plaît.
#43 Re : Entraide (supérieur) » Dérivée dans D' » 05-11-2017 20:54:35
Oui, si on était sur l'intervalle $]- \pi/2, 3 \pi/2[$ alors c'est simple, on a $|\cos(x)|= \cos(x)$ sur $]- \pi/2, \pi/2[$ et $|\cos(x)|= - \cos(x)$ sur $]\pi/2,2 \pi/2[$ mais comment généraliser pour tout $x \in \R$? S'il vous plaît.
#44 Re : Entraide (supérieur) » Dérivée dans D' » 05-11-2017 20:21:03
Alors la question est de calculer la dérivée au sens des distributions de la fonction $f(x)= |\cos(x)|$ qui est définie sur $\mathbb{R}$. Donc en premier en remarque que $f \in L^1(\mathbb{R})$, donc elle définie une distribution $T_f$, et en second on remarque que $f$ est continue sur tout $\mathbb{R}$, il n'y a pas de sauts, donc $(T_f)'= T_{f'}$.
Si on était sur l'intérvalle $]-\dfrac{\pi}{2}, \dfrac{3 \pi}{2}[$, alors il est clair que la distribution définie par $f$ est
$$
\forall \varphi \in \mathcal{D}(]-\dfrac{\pi}{2}, \dfrac{3 \pi}{2}[):
<T_f,\varphi>= \displaystyle\int_{-\pi/2}^{\pi/2} \cos(x) \varphi(x) dx - \displaystyle\int_{\pi/2}^{3 \pi/2} \cos(x) \varphi(x) dx
$$
Ma question est: comment utiliser le fait que $f$ soit de période $\pi$ pour définir $T_f$ sout tout $\mathbb{R}$? S'il vous plaît. Aidez moi s'il vous plaît.
#45 Entraide (supérieur) » Dérivée dans D' » 05-11-2017 18:45:51
- bib
- Réponses : 48
Bonjour,
soit $f$ une fonction définie sur $\mathbb{R}$ par $f(x)=|\cos(x)|$. Je cherche à calculer la dérivée de $f$ au sens des distributions.
Alors voilà, puisque $f \in L^1(\mathbb{R})$, alors elle définie une distribution $T_f$ donnée par
$$
\forall \varphi \in \mathcal{D}(\mathbb{R}): <T_f,\varphi>= \displaystyle\int_{-\infty}^{+\infty} |\cos(x)| \varphi(x) dx.
$$
$|\cos(x)|$ n'est pas de classe $C^1$ elle n'est pas dérivables aux points $x$ où $\cos(x)=0$ donc elle n'est pas dérivable aux points $a_k=\dfrac{\pi}{2}+k\pi, k \in \mathbb{Z}$. Par contre elle est continue sur tout $\mathbb{R}$ donc elle n'admet pas de sauts. Ainsi, $(T_f)'=T_{f'}$, mais comment calculer $f'$? S'il vous plaît.
#46 Re : Entraide (supérieur) » (log |x|)' » 05-11-2017 13:57:56
Désolée ce n'est pas du tout évident pour moi, je suis complétement bloquée sur ce point. Pourquoi c'est évident s'il vous plaît? Ou bien comment appliquer la convergence dominée ici? Merci de m'aider sur point
#47 Entraide (supérieur) » produit de deux distrubtions » 04-11-2017 21:10:51
- bib
- Réponses : 2
Bonjour,
que dire du produit de deux distributions? S'il vous plaît. Et est-ce qu'il y a des exemple? Je suis perdue car je lis qu'on peut le définir, puis qu'on ne peut pas le définir.
Merci par avance pour votre aide.
#48 Re : Entraide (supérieur) » (log |x|)' » 04-11-2017 21:08:00
S'il vous plaît, la distribution que définie $\log|x|$ sur $\mathbb{R}$ est pour tout $\varphi \in \mathcal{D}(\mathbb{R})$:
$$
<\log|x|,\varphi>= \displaystyle\int_{-\infty}^{+\infty} \log|x| \varphi(x) dx
$$
On écrit
$$
\displaystyle\int_{-\infty}^{+\infty} \log|x| \varphi(x) dx= \lim_{\epsilon \to 0} (\displaystyle\int_{-\infty}^{-\epsilon} \log(-x) dx + \displaystyle\int_{-\epsilon}^{\epsilon} \log|x| dx + \displaystyle\int_{\epsilon}^{+\infty} \log|x| \varphi(x) dx
$$
Je n'arrive pas à comprendre pourquoi $\lim_{\epsilon \to 0} \displaystyle\int_{-\epsilon}^{\epsilon} \log|x| \varphi(x) dx=0$?
#49 Re : Entraide (supérieur) » dérivée d'un élément de D' » 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.
#50 Re : Entraide (supérieur) » dérivée d'un élément de D' » 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.







