Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#76 Entraide (supérieur) » orde de vp 1/x » 06-12-2018 13:17:27
- mati
- Réponses : 1
Bonjour
la valeur principale de Cauchy $vp 1/x$ est définie par
$$
\forall \varphi \in \mathcal{D}(\mathbb{R}):
\langle vp \dfrac{1}{x}, \varphi \rangle = \lim_{\epsilon \to 0} \displaystyle\int_{|x|>\epsilon} \dfrac{\varphi(x)}{x} dx.
$$
Comment montrer que cette distrubtion n'est pas d'ordre 0? Je peine à trouver un bon contre exemple.
Cordialement
#77 Re : Entraide (supérieur) » Partition de l'unité » 04-12-2018 20:11:24
Pourquoi on ne peut pas s'en sortir sans $\psi_0$?
On peut dire que par Urysohn il existe $\psi_j \in \mathcal{D}(\Omega_j)$ tel que $0 \leq \psi_j \leq 1$ et $\psi_j=1$ au voisinage $K'_j$ de $K_j$ (on peut prendre ce voisinage ouvert). On remarque que $V= \bigcup_{j=1}^n K'_j$ est un voisinage ouvert de $K$ et on a alors $\sum_{j=1}^n \psi_j > 0$ sur $V$. Il suffit alors de poser $\varphi_j= \dfrac{\psi_j}{\sum_j \psi_j}$ qui satisfait que c'est une fonction test sur $\Omega_j$ et sa somme vaut 1 sur $V$ un voisinage de $K$. Donc pourquoi chercher à construire la fonction $\psi_0$ ?
Cordialement.
#78 Re : Entraide (supérieur) » Partition de l'unité » 04-12-2018 15:35:09
personne ne peut m'aider à comprendre cette preuve? svp
#79 Re : Entraide (supérieur) » Partition de l'unité » 03-12-2018 22:13:20
Je m’intéresse à la démonstration de ce théorème. Ça commence par ceci.
Soit $(\Omega_j)_j$ une famille d'ouverts de $\mathbb{R}^n$ et soit $K$ un compact de $\mathbb{R}^n$ tel que $K \subset \bigcup_{j=1}^n \Omega_j$. Alors d'après un théorème du cours, il existe des compacts $(K_j)$ tels que $K_j \subset \Omega_j$ pour tout $j=1,\ldots,n$ et $K \subset \bigcup_{j=1}^n K_j$.
En appliquant le lemme d'Urysohn sur $K_j$, il existe $\psi_j \in\mathcal{D}(\Omega_j)$ telle que : $0 \leq \psi_j \leq 1$ et $\psi_j=1$ sur un voisinage $K'_j$ de $K_j$ (on choisit ce voisinage ouvert).
Jusque là c'est bon, après je ne comprends pas le reste de la démonstration.
D'un autre côté, on a $V= \bigcup_{j=1}^n K'_j$ un voisinage ouvert de $K$ et on remarque que $\sum_{j=1}^n > 0$ sur $V$.
Puis il existe $\theta \in \mathcal{D}(V)$ tel que $\theta=1$ sur un voisinage $W$ de $K$.
Remarque que $1-\theta(x)= \psi_0(x)= 1$ si $x \in \complement V$ et $0$ si $x \in W$. et que $1-\theta$ n'est pas une fonction test.
On pose maintenant $\varphi= \dfrac{\psi_j}{\sum_{i=0}^n \psi_i} \in \mathcal{D}(\Omega_j),\ j=1,\ldots,n$.
On remarque que $\sum_{i=0}^n \psi_i > 0$ car pour $x \in V$ on a $\sum_{j=0}^n \psi_j = \sum_{j=1}^n \psi_j + \psi_0 > 0$ et si $x \in \complement V$ alors $\psi_0=1$ et donc $\sum_{j=1}^n \varphi_j = \dfrac{\sum_{j=1}^n \psi_j}{\sum_{i=0}^n \psi_i}$ est bien défini.
On remarque que pour $x \in W$ on a $\psi_0 =0 \implies \sum_{j=1}^n \varphi_j =1$ en sachant que $W$ est un voisinage de $K$.
Je ne comprends pas pourquoi on a introduit la fonction $1-\theta=\psi_0$ pourquoi on l'a écrit sous la forme $1-\theta$ et je n'arrive pas à comprendre la suite logique de ce raisonnement.
Merci par avance de m'aider à démêler tout ça.
Cordialement.
#80 Re : Entraide (supérieur) » Partition de l'unité » 03-12-2018 19:49:19
Vous pouvez me donner un exemple? S'il vous plaît.
#81 Re : Entraide (supérieur) » Support » 03-12-2018 17:42:28
Oui il y avait une coquille dans mon cours.
#82 Entraide (supérieur) » Partition de l'unité » 03-12-2018 17:41:15
- mati
- Réponses : 5
Bonjour
le théorème de la partition de l'unité dit ceci:
soit un compact $K$ de $\mathbb{R}^n$ et soit $(\Omega_j)_{j=1,...,n}$ une famille d'ouverts de $\mathbb{R}^n$ tels que $K \subset \cup_{j=1}^n \Omega_j= \Omega$. Alors il existe $\varphi_j \in \mathcal{D}(\Omega_j)$ avec $j=1,...,n$ tels que:
1. $\forall j=1,...,n: 0 \leq \varphi_j \leq 1$
2. $\sum_{j=1}^n \varphi_j=1$ au voisinage de $K$.
Ma question est: en pratique à quoi sert ce théorème de la partition d'unité?
Cordialement
#83 Re : Entraide (supérieur) » Support » 02-12-2018 23:18:35
Bonsoir
si $\psi \in \mathcal{D}(\mathbb{R})$ alors il existe $a>0$ telle que $Supp(\psi) \subset [-a,a]$.
Si on pose $\psi_0(x)= \dfrac{\psi(x)}{\displaystyle\int_{\mathbb{R}} \psi(x) dx}$. Pourquoi est-ce qu'on a $Supp(\psi_0) \subset [-1,1]$?
#84 Re : Entraide (supérieur) » Convergence dans D » 02-12-2018 22:59:14
ceci n'est valable que pour les fonctions bornées? Et si la fonction n'est pas bornée? est ce que les deux $\sup$ sont égaux?
#85 Re : Entraide (supérieur) » Convergence dans D » 02-12-2018 11:19:38
Bonjour Fred
je ne comprend pas comment le fait que la norme soit infinie fait que $\sup_{x \in K}|D^\alpha \varphi(nx)|$ ne dépend pas de $n$. Qu'est ce qui empêche le $\sup \varphi(nx)$ de dépendre de $n$?
#86 Entraide (supérieur) » Convergence dans D » 01-12-2018 13:31:25
- mati
- Réponses : 5
Bonjour
j’essaye d’étudier la convergence dans $D(\mathbb{R})$ de la suite de fonctions tests $\eta_n = 1/n \phi (nx)$ où $\phi \in D(\mathbb{R})$.
On trouve que $\eta_n$ converge simplement vers $\eta=0$.
J’essaye maintenant d’étudier la convergence uniforme de $\eta_n$ et ses dérivées. On a
$$\lim_{n \to + \infty} \sup_{x \in K} | D^{\alpha} \eta_n(x) - D^{\alpha} \eta(x)|
= \lim_{n \to +\infty} n^{\alpha -1} \sup_{x\in K}|D^\alpha \phi(nx)|.$$
La question est comment on sait si $\displaystyle\sup_{x\in K} |D^\alpha \phi(nx)|$ dépend de $n$ ou pas ? Et si oui comment il dépend de n ? Pour pouvoir calculer la limite.
Bien cordialement
#87 Entraide (supérieur) » Support » 30-11-2018 20:12:53
- mati
- Réponses : 4
Bonjour
on a la suite $\varphi_j(x)= \dfrac{1}{\epsilon_j} \psi_0(x/j)$ avec $\epsilon_j > 0$ et $\lim_{j \to +\infty} \epsilon_j=0$ et $Supp(\psi_0) \subset [-a,a]$ avec $a>0$.
Je lis que $Supp(\varphi_j) \subset [-\epsilon_j a, \epsilon_j a]$. Je ne comprends pas commnt le $\epsilon_j$ est pris en compte dans le support de $\varphi_j$ étant donné qu'il n'est pas dépendant de $x$, donc en principe $Supp(\varphi_j) \subset [-aj,aj]$. Non?
Cordialement
#88 Re : Entraide (supérieur) » logiciel pour vérifier un calcul » 29-11-2018 11:29:19
Merci D_john
#89 Re : Entraide (supérieur) » logiciel pour vérifier un calcul » 29-11-2018 10:54:20
$\Delta u = \dfrac{\partial^2 u}{\partial x^2}+ \dfrac{\partial^2 u}{\partial y^2}$
On a $\dfrac{\partial u}{\partial x}= -2\pi \sin(t) \sin(2 \pi x) \cos(2 \pi y)$ et $\dfrac{\partial^2 u}{\partial x^2}= -4 \pi^2 \sin(t) \cos(2 \pi x) \cos(2 \pi y)$ on a aussi $\dfrac{\partial^2 u}{\partial y^2}= -4\pi^2 \sin(t) \cos(2 \pi x) \cos(2\pi y)$ donc
$$
\Delta u= -8 \pi^2 \sin(t) \cos(2 \pi x) \cos(2 \pi y).
$$
Non? Où est l'erreur? Stp
#90 Entraide (supérieur) » logiciel pour vérifier un calcul » 29-11-2018 09:06:53
- mati
- Réponses : 4
Bonjour
j'ai le problème suivant:
$$
\dfrac{\partial u}{\partial t} - \Delta u + w q_w u =f(x,y,t), \ (x,y)\in[0,1]^2, t \in [0,T],
$$
$$
u(x,y,0)=0
$$
avec des conditions au bord periodiques, où $q_w= 1$ si $||(x/\epsilon, y.\epsilon)|| \leq 1/\sqrt{w}$ et 0 sinon.
Je prend la solution exacte $u(x,y,t)= \sin(t) \cos(2\pi x) \cos(2 \pi y)$ je l'injecte dans l'équation pour trouver le second membre f qui y correspond.
A la main je trouve que $f= (\cos(t)+8\pi^2*\sin(t)+w \sin(t)) \cos(2\pi x) \cos(2 \pi y)$ si $||(x/\epsilon, y.\epsilon)|| \leq 1/\sqrt{w}$ et $(\cos(t)+8\pi^2*\sin(t)) \cos(2\pi x) \cos(2 \pi y)$ sinon.
Est-ce que quelqu'un a un logiciel pour calculer le second membre f et vérifier si c'est bon? Car on me dit que c'est faux et je ne vois pas pourquoi.
Cordialement
#91 Re : Entraide (supérieur) » cherche une solution pour un problème » 25-11-2018 15:13:53
Bonjor Black Jack,
j'ai reformulé ma question. Pouvez-vous m'aider?
Cordialement
#92 Entraide (supérieur) » cherche une solution pour un problème » 25-11-2018 08:00:25
- mati
- Réponses : 2
Bonjour
j'ai le problème suivant
$$
\dfrac{\partial u}{\partial t} - \Delta u + w q_w(x) u =f(x,y,t), \ (x,y) \in (0,1)^2, t \in [0,T];
$$
où $T>$ et fixé.
avec la condition initial $u(x,y,0)=0$ et les conditions au bord périodiques.
Je cherche une fonction $u$ solution du problème, pour l'injecter dans le problème et en déduire la fonction $f$ qui y correspond. (l'inverse de ce qu'on fait d'habitude).
Il me semble déjà que la solution de ce problème doit être positive. Quelle fonction $u$ serait un bon candidat?
Merci par avance.
#93 Re : Entraide (supérieur) » construction d'une fonction test » 18-11-2018 19:21:02
Cette fonction n'existe pas par le lemme d'Urysohn?
#94 Entraide (supérieur) » construction d'une fonction test » 17-11-2018 19:47:22
- mati
- Réponses : 3
Bonjour
j'ai trouvé l'exo suivant: montrer que pour tout $\epsilon > 0$ il est possible de construire une fonction $\varphi_{\epsilon} \in \mathcal{D}(\mathbb{R})$ telle que
$$
\varphi_{\epsilon}(x)
=
\begin{cases}
1 &: |x| < \dfrac{1}{2-\epsilon}\\
0 &: |x| \geq \dfrac{2}{2-\epsilon}
\end{cases}
$$
Comment on montre qu'il est possible de construire la fonction $\varphi_{\epsilon}$?
Bien cordialement
#95 Entraide (supérieur) » Formule des sauts » 13-11-2018 09:30:53
- mati
- Réponses : 0
Bonjour
je cherche un exemple qui montre que lorsque le nombre de sauts est infini, la fprmule des sauts pour calculer une dérivée au sens des distributions ne marche pas.
Cordialement
#96 Re : Entraide (supérieur) » Fonctions tests » 08-11-2018 22:23:39
Comment on montre que cette condition est suffisante? stp qu'est ce qu'il faut dire?
#97 Entraide (supérieur) » Question sur l'histoire des distributions » 07-11-2018 19:34:06
- mati
- Réponses : 0
Bonjour
je m’intéresse à l'histoire de la théorie des distributions. Je lis que Laurent Schwartz a fondé cette théorie dans l'article "Généralisation de la notion de fonction, de dérivation, de transformation de Fourier et applications mathématiques et physiques". Il donne une interprétation unifiée des nombreuses fonctions généralisées introduites auparavant comme le pic de Dirac ou la "marche d'escalier" de Heaviside. L'idée fondamentale est de considérer les fonctionnelles linéaires définies sur l'espace des fonctions infiniment dérivables à support compact. L'analyse fonctionnelle et la notion de dualité permettent de décrire ces objets de façon rigoureuse et systématique. L'exigence de différentiabilité amène Schwartz à étudier de nouveaux types d'espaces vectoriels topologiques qui permettront des progrès notables dans divers domaines de l'analyse comme la théorie des edp ou les fonctions de plusieurs variables complexes.
Je ne comprend pas les trois passages suivants, je souhaiterai les comprendre et avoir si possible des exemples pour les illustrer.
1. que signifie "il donne une interprétation unifiée des nombreuses fonctions généralisées introduites auparavant"?
2. Que veut dire le passage sur la dérivabilité?
3. et enfin, quels sont ces progrès notables en edp et les fonctions de plusieurs variables complexes?
Cordialement
#98 Re : Entraide (supérieur) » Fonctions tests » 06-11-2018 19:09:48
Merci aviateur. Je recapitule la solution:
On cherche les conditions sur $\varphi$ pour qu'il existe $\Phi \in \mathcal{D}$ telle que $\forall x \in ]-\infty,M[: \Phi''(x)=\varphi(x)$.
Si on pose $\Phi'(x)= \displaystyle\int_{-\infty}^x \varphi(s) ds$ on remarque qu'on a bien $\Phi''(x)= \varphi(x)$. Pour que $\Phi'$ soit à support dans $]-M,M[$ il faut que $\lim_{x \to +\infty} \Phi'(x)= \displaystyle\int_{-\infty}^{+\infty} \varphi(s) ds= \displaystyle\int_{-M}^{M} \varphi(s) ds =0$.
Une première condition est donc $\displaystyle\int_{-M}^M \varphi(s) ds =0$.
On a par IPP $\Phi(x)= \displaystyle\int_{-\infty}^x \Phi'(s) ds = [s \Phi'(s)]_{-\infty}^x - \displaystyle\int_{-\infty}^{x} s \varphi(s) ds$.
Pour que $\Phi$ soit à support compact, il faut que $\lim_{x \to +\infty} \Phi(x)=0=-\displaystyle\int_{-M}^M s \varphi(s) ds$.
Une deuxième condition est donc $\displaystyle\int_{-M}^M s \varphi(s) ds=0$.
Conclusion: la condition nécessaire et suffisante pour l'existence d'un tel $\Phi$ est:
$\displaystyle\int_{-M}^M \varphi(s) ds =0$ et $\displaystyle\int_{-M}^M s \varphi(s) ds=0$.
Est-ce que c'est parfaitement rédigé? Ou il y a des détails à ajouter?
#99 Re : Entraide (supérieur) » Fonctions tests » 06-11-2018 12:12:02
Je n'arrive pas à comprendre comment tu fais l'intégration par parties ici. Peux-tu donner plus de détails? S'il te plaît.
#100 Re : Entraide (supérieur) » Fonctions tests » 05-11-2018 19:49:53
Bonjour aviateur
1- pourquoi $\Phi'(x)= \displaystyle\int_{-M}^M \varphi(u) du$? à droite c'est un nombre et à gauche une fonction de $x$.
2- Pourquoi on a $\Phi''(x)= -\displaystyle\int_{-M}^M u \varphi(u) du$? Qu'est ce que vous appliquez?
Cordialement







