Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1 Re : Entraide (supérieur) » formulation » 12-03-2013 22:24:42
oui il y'a le produit de deux intégrales , mais pour le premier terme ce n'est pas deux fois u c'est v j'ai corrigé.
#2 Re : Entraide (supérieur) » formulation » 12-03-2013 22:14:58
oui c'est bien la formulation.
#3 Entraide (supérieur) » formulation » 11-03-2013 22:26:46
- zarga
- Réponses : 4
Salut
Soit [tex]\Omega[/tex] un ouvert borné et connexe et régulier, et soit [tex]f \in L^2(\Omega).[/tex] On considère la formule
[tex]\int_{\Omega} A \nabla u . \nabla v dx + \Big(\int_{\Omega} u dx\Big)\Big(\int_{\Omega} v dx\Big) = \int_{\Omega} f v dx,\ \forall v \in H^1(\Omega).[/tex]
avec il existe [tex]\alpha > 0[/tex] t.q [tex]A(x) \xi,\ \xi \geq \alpha |\xi|^2,\ \forall \xi \in \mathbb{R}^n[/tex] et il existe [tex]\beta > 0[/tex] t.q [tex]|A(x) \xi| \leq \beta |\xi|,\ \forall \xi \in \mathbb{R}^n.[/tex]
Comment on trouve le problème aux limites associé à cette formulation ?
Et merci.
#4 Entraide (supérieur) » convergence faible » 08-03-2013 00:40:42
- zarga
- Réponses : 5
salut
j'ai du mal à trouver une la limite faible étoile de la matrice [tex]A^{\epsilon}[/tex] définie par [tex]A^{\epsilon}(x) = \alpha[/tex] si [tex]k \epsilon \leq x \leq (k+\dfrac{1}{2})[/tex] et [tex]A^{\epsilon}(x) = \beta[/tex] si [tex](k + \dfrac{1}{2}) \epsilon \leq x \leq (k+1)\epsilon[/tex] avec [tex]\epsilon = \dfrac{1}{n}[/tex]. merci de m'aider.
#5 Re : Entraide (supérieur) » norme » 07-03-2013 23:35:20
Ce n'est pas un piège, mais... si on prend une fonction test [tex] v \in H^2(\Omega)[/tex], multiplie l'équation par [tex]v[/tex] et on intègre sur [tex]\mathbb{R}^n[/tex] , ca donne [tex] \displaystyle\int_{\mathbb{R}^n} (\Delta^2 + \lambda) u dx = \displaystyle\int_{\mathbb{R}^n} f(x) v(x) dx.[/tex]
comment on fait l'intégration par parties de [tex] \displaystyle\int_{\mathbb{R}^n} (\Delta^2 + \lambda) u dx [/tex]? je ne suis pas à l'aise avec [tex]\Delta^2.[/tex] Merci bien!
#6 Entraide (supérieur) » norme » 07-03-2013 19:51:29
- zarga
- Réponses : 2
Bonsoir
j'ai la question suivante: on admet que
[tex]\sum_{i,j=1,...,n} \displaystyle\int_{\mathbb{R}^n} \dfrac{\partial^2 u}{\partial w_i^2} \dfrac{\overline{\partial^2 v}}{\partial w_j^2} dx + \lambda \displaystyle\int_{\mathbb{R}^n} u \overline{v} dx.[/tex]
est un produit scalaire sur [tex]H^2(\mathbb{R}^n)[/tex] pour [tex]\lambda > 0. [/tex]
la norme définie à partir de ce produit scalaire est équivalente à la norme classique de [tex]H^2(\mathbb{R}^n).[/tex]
La question est: prouver que pour tout [tex] \lambda > 0[/tex] et pour tout [tex] f \in H^{-2} (\mathbb{R}^n)[/tex] il existe une solution unique [tex] u \in H^2(\mathbb{R}^n)[/tex] solution de l'équation [tex] (\Delta^2 + \lambda)u = f [/tex] comment on fait pour écrire la formulation variationnelle associée? merci bien
#7 Re : Entraide (supérieur) » Lax-Milgram » 01-03-2013 11:47:46
si [tex]u[/tex] et [tex]v[/tex] sont des solutions de l'équation au sens des distributions et on note [tex]w = u-v.[/tex] alors [tex]- \Delta w + w = 0[/tex] au sens de [tex]\mathcal{D'} [/tex] comment montrer que ca implique que [tex] w = 0?[/tex]merci bien
#8 Re : Entraide (supérieur) » Lax-Milgram » 28-02-2013 23:30:10
comment tu as écris les crochets de dualités? on ne sait pas si u est linéaire continue pour qu'elle puisse définir une distribution.
#9 Re : Entraide (supérieur) » Lax-Milgram » 28-02-2013 22:29:23
oui c'est ce que k'avais fais mais on m'a dis que c'est faux parceque ja manipule les distributions comme des fonctions. Je n'y comprend plus rien
#10 Re : Entraide (supérieur) » Lax-Milgram » 28-02-2013 21:50:05
j'ai tout de meme un problème avec la question 1 finalement. j'ai réussi à montrer l'existence et l'unicité d'une solution faible au problème, mais comment on montre l'existence ety l'unicité d'une solution forte? merci
#11 Re : Entraide (supérieur) » Lax-Milgram » 26-02-2013 12:45:04
toujours dans le meme exercice. On note [tex]a(u,v) = \displaystyle\int_{\Omega} \nabla u . \nabla v dx + \displaystyle\int_{\Omega} u . v dx[/tex]
j'essaie de prouver la continuité de [tex]a.[/tex]
[tex]|a(u,v)| \leq \displaystyle\int_{\Omega} |\nabla u| |\nabla v| dx + \displaystyle\int_{\Omega} |u.v| dx \leq ||\nabla u||_{L^2} ||\nabla v||_{L^2} + ||u||_{L^2}||v||_{L^2} \leq ||u||_{H^1} . ||v||_{H^1} + ||u||_{H^1}. ||v||_{H^1} =[/tex]
[tex] = 2 ||u||_{H^1} . ||v||_{H^1}[/tex]
donc [tex]a[/tex] est continue.
Pour montrer que [tex]a[/tex] est coercive, [tex] a(v,v) = ||\nabla v||^2_{L^2} + ||v||_{L^2}^2 \geq c ||v||^2_{H^1}.[/tex] donc [tex]a[/tex] est coercive.
et il est simple de montrer que [tex]L[/tex] est une forme linéaire continue. Donc par Lax-Milgram il existe une solution unique [tex] u \in H^1(\mathbb{R}^n)[/tex] à l'équation.
ma question 2. est: Montrer qu'il existe une constante [tex] c > 0[/tex] telle que [tex] ||u||_ {H^1} \leq c ||f||_{L^2}.[/tex]
On sait par Lax-Milgram que la solution dépend continument de la forme linéaire L. Je ne sais pas comment l'utiliser pour répondre à ma question. Pouvez-vous m'aider svp? merci bien!
#12 Re : Entraide (supérieur) » exercice » 26-02-2013 11:50:42
la formulation variationnelle associée à [tex]\Delta u = 0[/tex] est trouver [tex]u \in H^1_0,[/tex] telle que [tex]< \Delta u , v > = 0[/tex] pour tout [tex]v \in H^1_0.[/tex] En particulier, pour [tex]u=v[/tex]: [tex]< \Delta u , u> = 0[/tex] implique [tex]- ||\nabla u||^2_{L^2} = 0[/tex] implique [tex]\nabla u = 0.[/tex] implique [tex]u[/tex] est une fonction constante.
Les solutions pour [tex]v=u[/tex] sont les fonctions constantes [tex]c[/tex] avec [tex]c \in \mathbb{R}.[/tex] Or il faut trouver les solutions pour tout [tex]v[/tex] par juste pour un cas particulier de [tex]v,[/tex] aussi par Lax-Milram on obtient unicité de la solution or là, on obtient une infinité.. Ce sont mes questions. Merci bien!
#13 Re : Entraide (supérieur) » exercice » 26-02-2013 11:28:20
quelqu'un peut m'aider? merci!
#14 Re : Entraide (supérieur) » Lax-Milgram » 26-02-2013 11:16:33
Oui. Merci!
#15 Entraide (supérieur) » Lax-Milgram » 25-02-2013 17:14:56
- zarga
- Réponses : 12
Salut,
Soit [tex]f \in L^2(\mathbb[{R}^n)[/tex]. Démontrer que l'équation [tex]\Delta u - u = \dfrac{\partial f}{\partial x_i}[/tex] admet une solution unique dans [tex]u \in H^1(\mathbb{R}^n)[/tex]
la formulation variationnelle associée est trouver [tex]u \in H^1(\Omega)[/tex] [tex]\displaystyle\int_{\Omega} \nabla u . \nabla v dx + \displaystyle\int_{\Omega} u . v dx = - \displaystyle\int_{\Omega} \dfrac{\partial f}{\partial x_i} . v dx[/tex] pour tout [tex]v \in H^1(\mathbb{R}^n).[/tex]
on note [tex]L(v) = - \displaystyle\int_{\Omega} \dfrac{\partial f}{\partial x_i} . v dx[/tex] . pour montrer que [tex]L[/tex] est continue, il faut trouver qu'il existe une constante [tex]C > 0[/tex] telle que [tex]|L(v)| \leq C ||v||_{H^1}[/tex]. Je n'arrive pas à faire ce point ne connaissant rien sur [tex]\dfrac{\partial f}{\partial x_i}[/tex]. Merci!
#16 Re : Entraide (supérieur) » exercice » 25-02-2013 16:28:24
Donc on a bien [tex](\Delta u,u)_{L^2,L^2} = - ||\nabla u||^2_{L^2}[/tex]
et comment on détérmine toutes les solutions de l'équation [tex] \Delta u = 0[/tex] dans [tex] H^1_0(\Omega)[/tex]? en appliquant Lax-Milgram je trouve existence et unicité de la solution. De plus on utilise les question 1 et 2 ici?
#17 Entraide (supérieur) » exercice » 25-02-2013 13:39:38
- zarga
- Réponses : 4
Salut, J'ai l'exercice suivant :
On considère [tex]u \in H^1_0(\varOmega)[/tex] et soit [tex]v \in H^1(\varOmega).[/tex]
1- Prouver que [tex]- \langle \Delta v , u \rangle = \displaystyle\int_{\varOmega} \nabla u(x) \cdot \nabla v(x) dx.[/tex]
2- On suppose que [tex]u \in H^1_0(\varOmega)[/tex] et [tex]\Delta u \in L^2(\varOmega).[/tex] Comparer entre le produit scalaire [tex](\Delta u , u)_{L^2,L^2}[/tex] et [tex]||\nabla u||_{L^2},[/tex] puis déterminer toutes les solutions de l'équation [tex]\Delta u = 0[/tex] dans [tex]H^1_0(\varOmega).[/tex]
on répond à 1 par intégration par parties.
pour 2. je trouve [tex](\Delta u,u)_{L^2,L^2} = \displaystyle\int_{\Omega} \Delta u . u dx = - \displaystyle\int_{\Omega} |\nabla u|^2 dx[/tex] et [tex]||\nabla u||_{L^2} = (\displaystyle\int_{\Omega}|\nabla u|^2 dx)^{1/2}[/tex]
il y'a le - qui me gene. Comment faire la comparaison? et comment détérminer toutes les solutions de l'équation puisque par Lax-Milgram, l'équation admet une solution unique? Merci bien.
#18 Entraide (supérieur) » Convergence dans les espaces de Sobolev » 23-02-2013 20:40:47
- zarga
- Réponses : 2
Bonjour,
je veux vérifier une chose qui n'est pas écrite dans mon cours: [tex](\varphi_n)_n[/tex] converge vers [tex]\varphi[/tex] dans [tex]H^2(\mathbb{R}^n)[/tex] si et seulement si [tex]\varphi_n[/tex] converge dans [tex]L^2[/tex] vers [tex]\varphi,[/tex] et [tex]\dfrac{\partial \varphi_n}{\partial x_i}[/tex] converge dans [tex]L^2[/tex] vers [tex]\dfrac{\partial \varphi}{\partial x_i}[/tex] et [tex]\dfrac{\partial^2 \varphi_n}{\partial x_i^2}[/tex] converge dans [tex]L^2[/tex] vers [tex]\dfrac{\partial^2 \varphi}{\partial x_i^2}.[/tex]
Généralisation. [tex](\varphi_n)[/tex] converge dans [tex]H^m[/tex] vers [tex]\varphi[/tex] si et seulement si [tex](\varphi_n)[/tex] converge dans [tex]L^m[/tex] vers [tex]\varphi[/tex] et chaque dérivée partielle au sens faible d'ordre [tex]|\alpha|[/tex] converge dans [tex]L^m[/tex] vers la dérivée partielle de [tex]\varphi[/tex] au sens faible d'ordre [tex]|\alpha|.[/tex] pour tout [tex]|\alpha| \leq m.[/tex] est-ce que ce que je dis est correct? merci bien!
#19 Re : Entraide (supérieur) » Densité » 20-02-2013 17:11:06
Salut, avec ce résultat la vie est plus belle! mais il n'est pas dans mon cours. Connais-tu un livre ou bien un cours en pdf qui parle de la densité de [tex]\mathcal{D}(\mathbb{R})^n[/tex] dans [tex]H^2(\mathbb{R}^n)[/tex]? Merci bien!
#20 Entraide (supérieur) » Densité » 19-02-2013 11:37:00
- zarga
- Réponses : 3
Bonjour, on a l'inégalité suivante: [tex] \forall \varphi \in \mathcal{D}(\mathbb{R}^n), \forall i = 1,...,n: ||\dfrac{\partial \varphi}{\partial x_i}||^2_{L^2(\mathbb{R}^n)} \leq ||\varphi||_{L^2(\mathbb{R}^n)} . ||\dfrac{\partial^2 \varphi}{\partial x_i^2}||_{L^2(\mathbb{R}^n)}[/tex]
Comment déduire que cette relation reste vraie pour tout [tex]\varphi \in H^2(\mathbb{R}^n)?[/tex] j'ai pensé à utiliser la densité de [tex]\mathcal{D}(\mathbb{R}^n)[/tex] dans [tex]L^2(\mathbb{R}^n)[/tex] mais je ne réussi pas à l'écrire correctement. Merci bien!
#21 Re : Entraide (supérieur) » intégrale » 17-02-2013 22:41:08
Merci beaucoup.
#22 Entraide (supérieur) » intégrale » 17-02-2013 19:48:20
- zarga
- Réponses : 2
Salut, j'ai trois fonctions [tex]f[/tex] et [tex]g[/tex]et [tex]h(x)=x g(x)[/tex] telles que [tex](f-g) \in L^1(]0,1[)[/tex] et [tex]h \in L^1(]0,1[).[/tex]
Est-ce que l'on peut dire que [tex]f \in L^1_{loc}(]0,1[)[/tex] ?merci bien
#23 Re : Entraide (supérieur) » exo » 17-02-2013 17:55:40
C'est le théorème de prolongement. Mon problème est ainsi réglé, merci!
#24 Re : Entraide (supérieur) » exo » 16-02-2013 22:13:49
Quel est le théorème qui affirme que puisque [tex]\mathcal{D}(\Omega)[/tex] est dense dans [tex]L^2(\Omega)[/tex] alors l'application T se prolonge continument à [tex]L^2(\Omega)?[/tex]merci!
#25 Re : Entraide (supérieur) » exo » 16-02-2013 20:25:15
est-ce que dire: puisqe [tex]\mathcal{D}(\Omega)[/tex] est dense dans [tex]L^2[/tex] alors l'hypothèse de l'exo est vrai pour tout [tex]\varphi \in L^2[/tex]?
mais ca me parait incomplet. Pourquoi cette densité permet de dire que T est continue sur [tex]L^2[/tex]? merci!







