Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#51 Re : Entraide (supérieur) » Majoration » 28-07-2020 19:54:58
Merci beaucoup Yoshi
alors mon problème est sur le lien suivant:
Je cherche à démontrer le théorème 1.1, et j'ai essayé d'écrire une démonstration à partir de la page 5, mais je ne suis pas sûre de la relation surlignée en jaune qui donne la dépendance par rapport aux dérivées de la donnée initiale $u_0$. J'y réfléchis depuis des semaine mais rien. J'espère avoir votre aide et je vous remercie d'avance.
Je veux juste savoir si l'inégalité en jaune (p6) est correcte sinon comment l'écrire.
Merci d'avance
#52 Re : Entraide (supérieur) » Majoration » 28-07-2020 17:55:34
Je n'ai pas di me contexte car il est long (un pdf de 8 pages). je ne trouve pas le moyen de l'ajouter ici.
Est-ce qu'il y a possibilité d'ajouter un pdf ici? S'il vous plaît
#53 Re : Entraide (supérieur) » Majoration » 28-07-2020 16:13:19
Est-ce qu'il y a une condition qui rendrait cette inégalité possible pour tout $d$? S'il vous plaît.
Aussi pourquoi vous dites que cela n'est pas possible pour $d > 1$?
Merci d'avance pour votre aide.
#54 Entraide (supérieur) » Majoration » 28-07-2020 13:50:45
- ccapucine
- Réponses : 9
Bonjour
soit $u(t,x)$ une fonction assez régulière continue et bornée sur $[0,\tau] \times \mathbb{R}^d$ et on pose $u(x,0)=u_0(x)$, où $u_0(x)$ est continue et bornée.
Ma question est: est-ce qu'il est possible de majorer $\sum_{i,j=1}^d\displaystyle\int_0^1 \dfrac{\partial^2 u(t,x)}{\partial x_i \partial x_j} (1-t^2) dt$ par $\sup_{|\alpha| \leq 2} |D^{\alpha} u_0(x)|$, où $D^{\alpha} u = \dfrac{\partial^{|\alpha| }u}{\partial_ {x_1}^{\alpha_1} .... \partial_{x_d}^{\alpha_d}}$
?
Cordialement
#55 Entraide (supérieur) » Question » 16-07-2020 12:24:46
- ccapucine
- Réponses : 0
Bonjour
soit $f(t,s,z)$ une fonction bornée sur $\mathbb{R}_+ \times K$ pour tout compact $K$ de $\mathbb{R}^2$.
On construit la fonction $F$ suivante par troncature:
$$
\begin{cases}
f(t,s,k) &\mbox{si} z>k,\\
f(t,s,z) &\mbox{si} |z| \leq k,\\
f(t,s,-k) &\mbox{si} z < -k
\end{cases}
$$
où $k$ est une constante.
Je lis que les troncatures renvoient les couples $(s,z)$ dans un compact.
Comment sont définies ces troncatures utilisées pour définir $F$? Et comment on voit que ces troncatures renvoient les couples $s,z)$ dans un compact?
Cordialement
#56 Entraide (supérieur) » Fonction complexe » 21-06-2020 00:15:55
- ccapucine
- Réponses : 1
Bonjour
j'ai la fonction suivante
$$
q(x/\epsilon, y/ \epsilon)
=
\begin{cases}
1 &\mbox{ si } (x/\epsilon, y/ \epsilon) \in B_{\delta}+ \mathbb{Z}^2\\
0 &\mbox{ sinon},
\end{cases}
$$ où $B_{\delta}= \{(x,y) \in \mathbb{R}^2\mid \sqrt{x^2+y^2} \leq \delta\}$ et où $\delta= \sqrt{\frac{1}{\pi w}}$ et la mesure de $B_{\delta}$ est égale à $\pi \delta^2=\dfrac{1}{w}$, , et $\epsilon$ et $w$ sont fixés.
Je lis qu'une définition équivalente à cette fonction est
$$
q(t, s)
=
\begin{cases}
w &\mbox{ si } t^2+ s^2< \delta^2\\
0 &\mbox{ sinon},
\end{cases}
$$ Je n'arrive pas à comprendre cette deuxième définition ni comment de 1 on passe à $w$ ?
Merci d'avance.
#57 Entraide (supérieur) » Exemple d'une fonction » 12-06-2020 16:34:49
- ccapucine
- Réponses : 1
Bonjour,
je cherche deux fonctions $f$ et $h$ définies pour tout $x \in [0,1]$ et pour tout $t \in [0,1]$ telle qu'on puisse écrire l'égalité $$
x f(t)= (t+1)^{-3/2} h\Big(\dfrac{x}{\sqrt{1+t}}\Big),
$$ avec $h \in L^2\big(\mathbb{R}; \exp(|x|^2/4)\big) \cap L^{\infty}(\mathbb{R})\ $ et $\ \int h(y) \, dy =0$.
Merci d'avance.
#58 Entraide (supérieur) » Formulation variationnelle » 02-05-2020 18:50:44
- ccapucine
- Réponses : 1
Bonjour
on considère sur $[0,\infty] \times [0,1]$l'équation
$$
u_t + uu_x -\nu u_{xx}= f(t,x)
$$
avec les conditions au bord $u(t,0)= g_0(t), u(t,1)=g_1(t), t>0$ et la condition initiale $u(0,x)=u^0(x)$. On suppose que $g_i$ et $u^0$ sont continues.
L'équation peut être écrite sous la forme
$$
u_t+ \dfrac{1}{2} (u^2)_x-\nu u_{xx}= f(t,x)
$$
Je lis que pour trouver la formulation variationnelle, on a besoin d'une fonction régulière qui satisfait les conditions au bord
$$
G(t,x)= (1-x)g_0(t)+ xg_1(t)
$$
Je n'arrive pas à deviner ce que veut dire l'écriture $w \in H_0(0,1)$ en sachant que $w$ est une fonction de $(t,x)$ où est passé $t$?
Merci d'avance.
et essayer de trouver $w$ telle que $u=w+G$ satisfait l'équation différentielle
$$
w_t +G_t +\dfrac{1}{2} ((w+G)^2)_x -\nu w_{xx}=f(t,x)
$$
Maintenant on cherche $w \in H_0(0,1)$ telle que $w(0,x)=u^0 - G(0,x)$ telle que pour tout $v \in H_0(0,1)$ on a
$$
\displaystyle\int_0^1 v(w_t +\dfrac{1}{2}(w+G)^2_x)+ \nu v_x w_x = \displaystyle\int_0^1 v(f(t,x)+ \dot{g_0}-\dot{g_1}) dx
$$
Je n'arrive pas à deviner qui est cet espace $H_0(0,1)$ qui contient une fonction $w(t,x)$ à deux variables t et $x$?
Cordialement
#59 Entraide (supérieur) » Hamiltonien d'une edp » 17-04-2020 14:11:51
- ccapucine
- Réponses : 0
Bonjour,
comment on définit le hamiltonien d'une edp ?
Par exemple quel est le hamiltonien de l'edp
$\partial_t u - v(t,x) \cdot \nabla u= \Delta u+ F(t,x,u)\quad$ ?
Cordialement.
#60 Entraide (supérieur) » Passage à la limite » 16-04-2020 20:38:39
- ccapucine
- Réponses : 0
Bonjour
Considérons l'équation
\begin{equation}
\partial_t u (t , x) + v (t, x) \cdot \nabla u ( t, x) = \kappa
\Delta u (t , x) + F ( t, x, u (t , x) ) \qquad \mbox{dans} \ \
\mathbb{R}_+ \times \mathbb{R}^d...…(0.1)
\end{equation}
pour la fonction inconnue $ u (t, x) $ qui doit satisfaire
à la condition initiale
\begin{equation}
u (0 , x) = u_0 ( x) \qquad \mbox{dans} \ \ \mathbb{R}^d ….(2)
\end{equation}
Dans (0.1) $ v (t, x) $ et $ F ( t, x, u ) $ sont des fonctions donn\'ees et $ \kappa $ est une constante strictement positive.
Nous désignons par $u^{[\kappa]}(t,x)$ la solution de l'équation (0.1) avec la condition initiale (0.2).
Rappelons que l'équation de transport
\begin{equation}
\partial_t u (t , x) + v (t, x) \cdot \nabla u ( t, x) =
F ( t, x, u (t , x) ) \qquad \mbox{dans} \ \
\mathbb{R}_+ \times \mathbb{R}^d ,.....(0.3)
\end{equation}
qui correspond à l'équation (0.1) avec $ \kappa = 0 $, peut être r\'esolue, sous des conditions assez générales, par la méthode des caract\'eristiques.
Nous désignons par $ u^{[0]} (t,x) $ la solution de l'\'equation (0.3) avec la condition initiale (0.2).
Alors j'ai définit une famille de solutions $u^{[\kappa,n]}$ de (0.1) qui converge vers $u^{[\kappa]}(t,x)$ quand $n \to +\infty$ et une famille de solutions $u^{[0,n]}(t,x)$ de (0.3) qui converge vers $u^{[0]}(t,x)$.
J'ai montré aussi que $u^{[\kappa]}(t,x)$ converge vers $u^{[0]}(t,x)$ quand $\kappa \to 0$.
Ma question est comment montrer que $\nabla u^{[\kappa]}(t,x)$ converge vers $u^{[0]}(t,x)$ quand $\kappa \to 0$ et que $\Delta u^{[\kappa]}(t,x)$ converge vers $\Delta u^{[0]}(t,x)$ quand $\kappa \to 0$? Afin de conclure que la solution de (0.1) converge vers la solution de (0.3) quand $\kappa \to 0$? S'il vous plaît
Je vous remercie d'avance pour votre aide.
Bien cordialement
#61 Entraide (supérieur) » Formule de Taylor » 14-04-2020 10:07:50
- ccapucine
- Réponses : 0
Bonjour
soient $x, y \in \mathbb{R}^d, \ \delta_n= \dfrac{1}{2^n}, \ t^{[n]}_h= h \delta_n,$ et $v$ est un vecteur.
On a par Taylor
$$
u(t^{[n]}_{h - 1} , x - \delta_n v ( t^{[n]}_h ,x ) + y )
= u(t^{[n]}_{h-1},x-\delta_n v(t^{[n]}_h,x))+
\nabla_x u(t^{[n]}_{h-1},x-\delta_n v(t^{[n]}_h,x))\cdot y+$$
+$$\dfrac{1}{2!} \displaystyle\int_0^1 H_{u}
(x-\delta_n v(t^{[n]}_h,x)+ty) y \cdot y (1-t)^2 \ \mathrm{d}t,
$$
où $H_{u}$ est la matrice hessienne de $u$.
\bigskip
\textbf{Ma question est: quelle est la formule explicite de $H_{u}(x-\delta_n v(t^{[n]}_h,x)+ty) y \cdot y$?}
Cordialement
#62 Entraide (supérieur) » Suite de Picard » 05-04-2020 12:40:16
- ccapucine
- Réponses : 1
Bonjour
On cherche à montrer que la solution $y_m$ du problème $
\frac{d}{dt} y_m (t) = f ( t , y_m (t) ) pour t > 0 , y_m(0) = \eta_m ,
$converge vers la solution $ y_0 (t) $ du problème de Cauchy $
\frac{d}{dt} y_0 (t) = f ( t, y_0 (t) ) pour t > 0 , y_0 (0) = \eta_0 , $sous la condition que $\eta_m \to \eta_0 pour m \to \infty . $
Naturellement on suppose la régularité de $ f (t , y) $. En posant
$L = \sup_{ t, y } | \partial_y f ( t , y ) | , $on a $| f ( t , y_m (t) ) - f ( t , y_0 (t) ) | \leq L | y_m(t) - y_0 (t) | . $Ici $ L $ ne dépend pas de $ m $. D'autre part, si on pose
Ma question est: avec toutes ces relaions, comment montrer que $ y_m(t) \to y_0 (t) $ pour $ m \to \infty $?
Bien cordialement
#63 Re : Entraide (supérieur) » Edo » 05-04-2020 11:38:46
J'ai utilise le critère lipschitzien en effet mais la difficulté est d'estimer en fonction de $\kappa$.
Merci d'avoir essayé de m'aider.
#64 Re : Entraide (supérieur) » Edo » 05-04-2020 10:37:09
Voici mon problème
on considère le problème
$$
\partial_t u^{[\kappa,n]}(t,x)+ v(t,x) \cdot \nabla u^{[\kappa,n]} (t,x)= \kappa \Delta u^{[\kappa,n]}(t,x)+ F(t,u^{[\kappa,n]}(t,x)).
$$
et on a le problème
$$
\partial_t u^{[0,n]}(t,x)+ v(t,x) \cdot \nabla u^{[0,n]}(t,x)= F(t,x,u^{0,n]}(t,x)).
$$
$v$ est un vecteur régulier et $F$ a toute la régularité qu'on veut.
On pose $\delta_n= \dfrac{1}{2^n}, \ n=1,2,...$ et on introduit la discrétisation en temps $t$
$$
0=t_0^{[n]} < t_1^{[n]}<...<t^{[n]}_{k-1}<t^{[n]}_k<..., \ t^{[n]}_k= k\delta_n.
$$
On cherche à montrer l'estimation
$$
\delta_n |F(t^{[n]}_{h-1},x,u^{[\kappa,n]}(t^{[n]}_{h-1},x))- F(t^{[n]}_{h-1},x,u^{[0,n]}(t^{[n]}_{h-1},x))|
\leq C(\kappa) \delta_n \sup_{x' \in \mathbb{R}^d} |u^{[\kappa,n]}(t^{[n]}_{h-1},x')- u^{[0,n]}(t^{[n]}_{h-1},x')|
$$
où $C(\kappa)$ est une constante qui dépend de $\kappa$.
Pour ca j'ai comme indication d'utiliser le parallélisme en edo. Vous avez une idée sur la façon de faire?
Bien cordialement
#65 Re : Entraide (supérieur) » Edo » 05-04-2020 09:44:25
Bonjour
et en théorie c’est comment? Vous pouvez me donner un tout petit exemple de cette méthode appliquée à une edo? S’il vous plaît
Bien cordialement
#66 Re : Entraide (supérieur) » Edo » 04-04-2020 22:06:22
Bonjour roro
C’est quoi le parallélisme dans les méthodes numériques? En quoi ça consiste svp.
#67 Entraide (supérieur) » Edo » 04-04-2020 21:47:18
- ccapucine
- Réponses : 7
Bonjour
que signifie le parallélisme avec une équation différentielle ordinaire?
Merci d’avance.
#68 Re : Entraide (supérieur) » Majoration » 02-04-2020 16:56:24
Je pense que prendre $\delta_n|y|$ au lieu de $|y|$ fait aussi l'affaire car $\delta_n^{3/2} \leq \delta_n$ en sachant que $\delta_n=\dfrac{1}{2^n}$. J'ai raison?
#69 Re : Entraide (supérieur) » Majoration » 02-04-2020 14:00:48
Oui j'ai compris. En effet, j'ai écris n'importe quoi. Pardon.
En fait je cheche un $Y \in \mathbb{R}^d$ en fonction de $y$ telle que l'intégrale
$$
I = \dfrac{1}{(4 \pi \delta_n \kappa)^{d/2}} \displaystyle\int_{\mathbb{R}^d} \exp(-\dfrac{|y|^2}{4 \delta_n \kappa}) |Y| \mathrm{d}y
$$
soit égale ou majorée par une constante indépendante de $n$ multiplié par $\delta_n$ et pas par $\sqrt{\delta_n}$.
Quel $Y$ pourrait faire ça? S'il vous plaît.
Merci beaucoup d'avance.
#70 Re : Entraide (supérieur) » Majoration » 02-04-2020 13:37:26
Ma question est: pour tout $y \in \mathbb{R}^d$, quel $z= y^{\alpha}$ avec $\alpha >1$ nous donne $|z-y|\leq |z|$? S'il vous plaît.
Je vous remercie d'avance pour toute votre aide.
#71 Re : Entraide (supérieur) » Majoration » 02-04-2020 12:36:18
Pardon je voulais dire $|y|^2$ biensur. Je m'excuse car j'écrivais avec mon téléphone et j'avais du mal à bien voir.
Mais je pense que j'ai fait une erreur, on n'a pas l'inégalité $|y^2-y| \leq |y|^2$ pour tout $y \in \mathbb{R}^d$.
#72 Re : Entraide (supérieur) » Majoration » 02-04-2020 11:20:31
J'ai une question très bête mais je veux être sure car peut être ça me sortira de cette difficulté.
1- On a bien pour tout $y \in \mathbb{R}^d: |y^2-y| \leq |y|^2$. C'est bien ça?
2- On a
$$
I= \dfrac{1}{(4 \pi \delta_n \kappa)^{d/2}} \displaystyle\int_{\mathbb{R}^d} \exp\left(\dfrac{-|y|^2}{4 \delta_n \kappa}\right) |y|^2 \mathrm{d}y= C \kappa \delta
$$
C'est ok? S'il vous plaît.
#73 Re : Entraide (supérieur) » Majoration » 02-04-2020 10:57:52
Oui je m'en doutais bien mais je cherchais quand même un moyen. Et vous confirmez aussi que $\dfrac{\sqrt{\delta_n}}{\delta_n}= \dfrac{1}{\sqrt{\delta_n}}$ et ce dernier converge vers l'infini quand $n$ tend vers l'infini.
Vous êtes bien d'accord?
#74 Re : Entraide (supérieur) » Majoration » 02-04-2020 10:28:52
Bonjour
en fait non je me suis trompée dans les calculs. La Jacobienne est $(\kappa \delta_n)^{d/2}$ et pas $(\kappa \delta_n)^d$ comme je l'ai fait.
Ce qui nous donne que $I= C \sqrt{\kappa} \sqrt{\delta_n}$ où $C$ est une constante indépendante de $\kappa$ et de $n$.
S'il vous plaît est-ce qu'il y a un moyen de majorer par une constante indépendante de $n$ multipliée par $\delta_n$?
#75 Re : Entraide (supérieur) » Majoration » 01-04-2020 17:31:43
Merci Fred! S'il vous plaît dites moi si ceci est bon:
$$
I= \dfrac{1}{(4 \pi \delta_n \kappa)^{d/2}} \displaystyle\int_{\mathbb{R}^d} \exp(-\dfrac{|y|^2}{4 \delta_n \kappa}) |y| \mathrm{d}y.
$$
En faisant le changement de variable $u= y/\sqrt{\delta_n \kappa}$, on obtient
$$
I= \dfrac{1}{(4 \pi \delta_n \kappa)^{d/2}} \displaystyle\int_{\mathbb{R}^d} \exp(-\dfrac{1}{4 \delta_n \kappa} (\delta_n \kappa) |u|^2) \sqrt{\delta_n \kappa} |u| (\delta_n \kappa)^d du
$$
$$
= \dfrac{1}{(4 \pi)^{d/2}} (\delta_n \kappa)^{\frac{d+1}{2}} \displaystyle\int_{\mathbb{R}^d} \exp(-\dfrac{|u|^2}{4}) |u| \mathrm{d}u
$$
$$
= C \kappa^{\frac{d+1}{2}} (\delta_n)^{\frac{d+1}{2}} \leq C_{\kappa} \delta_n,
$$
où $C_{\kappa}= \dfrac{1}{(4 \pi)^{d/2}} \kappa^{\frac{d+1}{2}} \displaystyle\int_{\mathbb{R}^d} \exp(-\dfrac{|u|^2}{4}) |u| \mathrm{d}u$.
Bien cordialement







