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

#126 Entraide (supérieur) » espace H1 » 02-03-2019 14:27:18

ccapucine
Réponses : 5

Bonjour
On a l’inégalité suivante:
$$\exists c \geq 0, \forall \phi \in D(R), Sup_{x \in R} |\phi(x)| \leq c ||\phi||_H1.$$

Si $u \in H^1$, alors par densité il existe une suite $(\phi_j)$ de $\mathcal{D}(\mathbb{R})$ telle que $\phi_j$ converge vers $u$ dans $H^1$. Est ce que l’inégalité que j’ai enoncé plus haut peut s’appliquer à $u-\phi_j$? Si oui, comment le justifier?

Bien cordialement

#127 Re : Entraide (supérieur) » itération pour résoudre problème non linéaire » 26-02-2019 18:50:24

la méthode du point fixe ou bien la méthode de Newton. Mais je ne trouve pas d'exemple à suivre: je cherche un exemple à prendre comme modèle.

#128 Re : Entraide (supérieur) » itération pour résoudre problème non linéaire » 26-02-2019 18:09:16

Bonjour
c'est un exercice d'analyse nuérique. Je cherche à résoudre ce problème non linéaire par une simple méthode itérative et je ne trouve pas d'exemple à suivre.

#129 Entraide (supérieur) » itération pour résoudre problème non linéaire » 26-02-2019 14:48:56

ccapucine
Réponses : 5

Bonjour
j'ai le problème suivant
$$
\dfrac{\partial u}{\partial t} -\Delta u + F(u)= f(x,t), \ x \in (0,1)^2, t \in [0,T], \ u(x,0)= 0
$$
avec conditions au bord périodique. La fonction F est non linéaire.
Je souhaite programmer la résolution de ce problème avec FreeFem++, avant ça il faut faire un algorithme. Quel est l'algorithme de résolution de ce système avec de simples itérations?

Bien cordialement

#130 Entraide (supérieur) » Exemples de fonctions » 25-02-2019 18:52:45

ccapucine
Réponses : 1

Bonjour
je cherche deux ou trois exemples de fonctions non linéaires $F$ telle que: $F(0)=0$, $J+2$ différentiable, sa dérivée $F'$ est strictement positive sur $\mathbb{R}$ et $F^{(j)}$ (sa $j-$ ème dérivée) est bornée pour tout $j=1,2,...,J$. Le dernier point (la bornitude des j-ème dérivées) me pose problème pour trouver des exemples.

Merci par avance.

#131 Re : Entraide (supérieur) » $L^2(\Omega)$ » 24-02-2019 19:46:35

Merci aviateur. Je ne comprends pas pourquoi cet exemple montre que $H^0_0= H^0$.

#133 Re : Entraide (supérieur) » $L^2(\Omega)$ » 24-02-2019 17:44:47

$\Omega$ est un ouvert de $\mathbb{R}$. Pourquoi $H^0(\Omega)$ est idéntique à $H^0_0(\Omega)$ qui est l'adhérence de $\mathcal{D}(\Omega)$ dans $H^0(\Omega)$?

Cordialement

#134 Entraide (supérieur) » $L^2(\Omega)$ » 24-02-2019 17:03:38

ccapucine
Réponses : 5

Bonjour
est-ce que $L^2(\Omega)$ est identique à $H^0(\Omega)$ ou bien elle est identique à $H^0_0(\Omega)$ qui est l'adhérence de $\mathcal{D}(\Omega)$ dans $H^0(\Omega)$?

Bien cordialement

#135 Re : Entraide (supérieur) » Sobolev » 24-02-2019 17:01:51

Bonjour,

1- Je pense que c'est plus logique que la question soit: montrer que $v$ appartient à $H^1([-1,1])$. Car le 2 n'apparaît pas dans la définition de $v$. Non?
2- Ensuite, on trouve que
$$
\displaystyle\int_{-\infty}^{+\infty} |v|^2 dx = \displaystyle\int_{-\infty}^{-1} dx + \displaystyle\int_{-1}^0 x dx + \displaystyle\int_0^1 x dx + \displaystyle\int_1^{+\infty} dx.
$$
On sait que $\displaystyle\int_{-\infty}^{-1} dx =+\infty$ et $\displaystyle\int_1^{+\infty} dx =+\infty$, ce qui implique que $\displaystyle\int_{-\infty}^{+\infty} |v|^2 dx$ n'est pas finie, et donc $v$ n'est pas dans $L^2(\mathbb{R})$ et par conséquent pas dans $H^1(\mathbb{R})$. C'est ok?

Bien cordialement

#136 Entraide (supérieur) » Sobolev » 24-02-2019 15:31:27

ccapucine
Réponses : 4

Bonjour,
soit $u: \mathbb{R} \to \mathbb{R}$ une fonction définie par:
$$
\begin{cases}
0 &: x \leq -1\\
1+x &:-1 \leq x \leq 0\\
1-x &:0 \leq x \leq 1,\\
0 &: 1 \leq x
\end{cases}
$$
J'ai montré que $u \in H^1(\mathbb{R})$.
Comment montrer que $v =1-u$ appartient à $H^1([-2,2])$ mais il n'appartient pas à $H^1(\mathbb{R})$?

J'ai calculé $1-u=v$, et cette fonction est définie par:
$$
v(x)
=
\begin{cases}
1 &: x \leq -1\\
-x &-1 \leq x \leq 0\\
x &: 0 \leq x \leq 1\\
1 &: 1 \leq x.
\end{cases}
$$
Comment voir si $v \in H^1([-2,2])$ or que le domaine de définition de $v$ n'est pas délimiter par $2$ et $-2$? Et pourquoi $v \notin H^1(\mathbb{R})$?

Cordialement

#137 Re : Entraide (supérieur) » pb de Cauchy » 20-02-2019 08:31:26

Bonjour
$f(x,y)=|y|^{\alpha}$ où $0 < \alpha < 1$ est définie sur $\mathbb{R}$ et pas sur $[0,+\infty[$ puisqu'il y a la valeur absolue. Non?

#138 Re : Entraide (supérieur) » pb de Cauchy » 19-02-2019 22:44:39

Je ne comprends pas pourquoi ma question n'a aucun sens. La question est: étudier l'existence et l'unicité du problème de Cauchy
$$
y'= |y|^{\alpha}, y(x_0)= y_0,
$$
avec $0 < \alpha < 1$.
Pour le calcul de la solution, comme il s'agit d'une edo non linéaire à variables séparée, on écrit la forme explicite qui est donnée ici par
$$
\dfrac{1}{|y|^{\alpha}}= 1
$$
et donc
$$
\displaystyle\int_{y_0}^y \dfrac{1}{|s|^{\alpha}} ds= \displaystyle\int_{x_0}^x ds.
$$
J'avais en effet fait une erreur d'intégration mais il faut bien intégrer!

Bien cordialement

#139 Re : Entraide (supérieur) » pb de Cauchy » 19-02-2019 16:46:38

Bonjour
tout d'abord j'ai oublié de préciser que $0 < \alpha < 1$. Je viens de l'aouter à mon premier post.
Sur quoi on intègre alors?

Bien cordialement

#140 Entraide (supérieur) » Théorème d'edo » 19-02-2019 08:27:25

ccapucine
Réponses : 0

Bonjour
on a le théorème suivant sur l'existence et l'unicité de la solution d'un problème de Cauchy:
Soit $f(x,y)$ une fonction qui vérifie $|f(x,y_1)-f(x,y_2)| \leq h |y_1 - y_2|$ pour tout $(x,y_1)$ et $(x,y_2)$ d'un ouvert $\Omega$ de $\R^2$. On suppose que $h$ est continue en tout point $u$ de $]0,\alpha]$ et strictement positif et $\lim_{\epsilon \to 0^+} \displaystyle\int_{\epsilon}^{\alpha} \dfrac{du}{h(u)}=+\infty$ avec $\alpha > 0$. Dans ce cas pour tout point $(x_0,y_0)$ de $\Omega$, le problème $y'=f(x,y)$ admet au moins une solution.

Je cherche un  exemple qui montre comment appliquer ce théorème.

Bien cordialement

#141 Entraide (supérieur) » pb de Cauchy » 19-02-2019 08:16:44

ccapucine
Réponses : 8

Bonjour
on a le problème de Cauchy suivant: $y'= |y|^{\alpha}, y(x_0)=y_0$, où $0 < \alpha < 1$. Comment étudier l'existence et l'unicité de ce problème?
Tout d'abord on pose $f(x,y)=|y|^{\alpha}$ qui est définie sur $[0,+\infty[$. On pense à voir tout d'abord si $f$ est Lipschitsz par rapport à $y$. Pour ça j'ai pensé à voir si $\dfrac{\partial d}{\partial y}$ est bornée car si elle n'est pas bornée, cela implique qu'elle n'est pas localement lipschitzienne par rapport à $y$.
Dans le calcul de $\dfrac{\partial f}{\partial y}$ ça vaut $\alpha y^{\alpha-1}$ si $y>0$ et $\alpha (-y)^{\alpha-1}$ si $y < 0$. Donc $\dfrac{\partial f}{\partial y}$ n'est pas bornée au voisinage de 0 elle n'est donc pas localement Lipschistz.
Reste à voit si $f$ est décroissante pour pouvoir appliquer le résultat de Peano.Mais on voit que $f$ est croissante car $\dfrac{\partial f}{\partial y} > 0$. Ce qui veut dire qu'il faut calculer à la main les solutions:
$y=0$ est une solution. Pour calculer les autres solutions positives il suffit d'écrire la formule explicite
$$
\displaystyle\int_0^{+\infty} \dfrac{1}{s^{\alpha}} ds = \displaystyle\int_{-\infty}^{+\infty} ds.
$$
Ce calcul ne me donne rien de bon car on intègre sur $\mathbb{R}$ tout entier. Que faire?

Cordialement

#142 Entraide (supérieur) » Calcul de la solution d'une edp » 11-01-2019 13:56:03

ccapucine
Réponses : 0

Bonjour
j'ai le problème suivant: sur $[0,1]^2 \times [0,1]$
$$
\begin{cases}
\dfrac{\partial u}{\partial t} - \Delta u + w q(\dfrac{x}{\epsilon},\dfrac{y}{\epsilon})u = f(x,t),\\
u(x,t=0)= 0
\end{cases}
$$
où $f(x,t)= t^2 \exp(-t) \sin(2\pi x) \sin(2 \pi y)$, la fonction $q$ est donnée par
$$
q(x,y)
=
\begin{cases}
1 &\mbox{si } (x/\epsilon, y/\epsilon) \in B +\mathbb{Z}^2\\
0 &\mbox{ sinon }
\end{cases}
$$
avec conditions au bord périodiques.

Est-ce qu'il y a un logiciel qui permet de calculer la solution de cet edp directement? Merci par avance pour toute aide.

Bien cordialement

#144 Re : Entraide (supérieur) » Définition d'une fonction » 10-01-2019 10:50:01

Merci D_john. On peut donc écrire $f$ comme ceci:
$$
f(\dfrac{x}{\epsilon},\dfrac{y}{\epsilon})
=
\begin{cases}
1 &\mbox{si } (\dfrac{x}{\epsilon}-n)^2 +(\dfrac{y}{\epsilon}-m)^2 \leq \dfrac{1}{\pi \omega}\\
0 & \mbox{ sinon }
\end{cases}
$$
c'est correct?

Cordialement

#145 Re : Entraide (supérieur) » FreeFem++ » 10-01-2019 10:37:21

Bonjour
ma question est comment programmer en freefem++ la fnonction suivante

$$
\begin{cases}
1& \mbox{si} (\dfrac{x}{\epsilon},\dfrac{y}{\epsilon}) \in B + \mathbb{Z}^2\\
0& \mbox{sinon}
\end{cases}
$$



où $B$ est une boule de mesure $1/w$.

Cordialement

#146 Re : Entraide (supérieur) » edo » 09-01-2019 21:57:25

Bonjour Roro,
non dans le lien je n'avais pas la condition initiale $y(x_0)=y_0$.
Si $y_0=0$ alors la seule solution est $y=0$ à condition que $a$ et $b$ soient continues? Mais la continuité est une condition suffisante pour l'existence et l'unicité dans le cas linéaire mais ici l'edo est non linéaire. Donc pourquoi la continuité de $a$ et $b$ suffit ici?

Bien cordialement

#147 Re : Entraide (supérieur) » Définition d'une fonction » 09-01-2019 21:39:54

Bonjour
j'ai encore une question sur cette fonction.
Si on définit la fonction $f$ par
$$
f(\dfrac{x}{\epsilon},\dfrac{y}{\epsilon})
=
\begin{cases}
1 &:\mbox{si} (\dfrac{x}{\epsilon},\dfrac{y}{\epsilon}) \in B + \mathbb{Z}^2\\
0 &: \mbox{sinon}
\end{cases}
$$
où $B$ est une boule de meure $\dfrac{1}{w}$.
Cette fonction est bien périodique? Comment traduire la condition $(\dfrac{x}{\epsilon},\dfrac{y}{\epsilon}) \in B + \mathbb{Z}^2$?

Bien cordialement

#148 Entraide (supérieur) » edo » 09-01-2019 17:45:57

ccapucine
Réponses : 3

Bonjour
on considère le problème suivant
$$
\begin{cases}
y'+a(x)y=b(x)y^k,\\
y(x_0)=y_0
\end{cases}
$$
où $k$ est une constante différente de $1$ et $0$.

Pour résoudre ce problème on commence par diviser sur $y^k$ et pour ça il faut être sûre que $y \neq 0$ et que $y$ ne s'annule pas en certain point. Une idée est de diviser au voisinage d'un point sur lequel $y$ n'est pas nulle.
Est-ce que ce voisinage doit être le voisinage de $x_0$? Dans ce cas si $y_0=0$ qu'est ce qu'on doit dire?

Cordialement

#149 Re : Entraide (supérieur) » Définition d'une fonction » 09-01-2019 13:09:28

Oui j'ai lu le message de Roro mais je ne l'ai malheureusement pas bien compris, ni votre dernier message d'ailleurs.
Si on a une boule $B$ de $\mathbb{R}^2$: mesure d'une boule = aire de la boule = $\pi R^2$ uniquement si $B$ est centrée à l'origine? C'est ça? Sinon si elle n'est pas centrée à l'origine alors on a qui? S'il vous plaît.

#150 Re : Entraide (supérieur) » Définition d'une fonction » 09-01-2019 11:57:55

D_john je ne comprends pas. $B$ est une boule de $\mathbb{R}^2$ donc c'est ok?

Pied de page des forums