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

#1 Re : Entraide (supérieur) » Domination de la norme L2 par L infini » 19-01-2014 13:42:25

Mon but est d'affiner l'inégalité [tex]||\phi||_{L^2} \leq ||\phi||_{H^1}[/tex]. Je ne sais pas si c'est possible.
Comme je sais que [tex]||\phi||_{L^\infty} \leq \frac{\sqrt{2}}{2} ||\phi||_{H^1}[/tex], j'espérais pouvoir minorer [tex]||\phi||_{L^\infty}[/tex] par [tex]||\phi||_{L^2} [/tex].

#2 Re : Entraide (supérieur) » Domination de la norme L2 par L infini » 19-01-2014 13:37:11

[tex]\phi[/tex] est une fonction test sur [tex]\mathbb{R}[/tex]. Donc elle est nulle en dehors d'un compact et continue sur ce même compact. Donc [tex]|\phi|[/tex]  atteint son sup (plus précisément sur ce compact).
Après, c'est vrai que je commence à douter sur l'inégalité portant sur les normes.

#3 Re : Entraide (supérieur) » Une formule en intégrales 2D. » 19-01-2014 13:33:20

Je suppose que tu parles de la deuxième égalité. Je trouve cette question dans un sujet d'analyse. Et moi aussi, en intégrant par parties, je trouve un terme en plus dans le membre droite de l'égalité.

#4 Re : Entraide (supérieur) » Une formule en intégrales 2D. » 18-01-2014 12:30:57

Peut on montrer aussi que pour [tex]u,v \in C_c^{\infty}(\overline{\Omega})[/tex],

                                                                  [tex]\displaystyle \int_{\Omega} \Big (- \dfrac{\partial v }{\partial x_2} \dfrac{\partial u }{\partial x_1} + \dfrac{\partial v }{\partial x_1} \dfrac{\partial u}{\partial x_2} \Big ) = \int_{\partial \Omega} v \dfrac{\partial u }{\partial x_1}[/tex] ?

#5 Re : Entraide (supérieur) » Calcul d'une limite. » 18-01-2014 11:38:57

De toute façon, on divise par xmax^a, et on fait tendre a vers l'infini. Right ?

#6 Re : Entraide (supérieur) » Une formule en intégrales 2D. » 18-01-2014 10:53:30

Il y a un lemme qui affirme que pour tout ouvert [tex]\Omega[/tex] et tout compact [tex]K \subset \Omega[/tex], il existe [tex]\psi \in D(\Omega)[/tex] comprise entre 0 et 1, et égale à 1 sur K.
Pour [tex]\Omega=\mathbb{R}[/tex] et [tex]K=[-1,1][/tex] par exemple, il existe [tex]\psi \in D(\mathbb{R}) [/tex] qui vaut 1 en 0 et dont la dérivée en 0 est nulle. En travaillant avec ce [tex]\psi[/tex], on peut conclure que le terme de bord qui apparaît est nul.

#7 Re : Entraide (supérieur) » Calcul d'une limite. » 18-01-2014 10:13:14

Je pense que la limite reste égale au max si on suppose seulement que les (xi) sont deux à deux distincts.

#8 Entraide (supérieur) » Domination de la norme L2 par L infini » 18-01-2014 10:00:44

guessou
Réponses : 3

Bonjour tout le monde,
On peut montrer que la norme [tex]L^{\infty}(\mathbb{R})[/tex] d'une fonction test [tex]\phi[/tex] définie sur [tex]\mathbb{R}[/tex] est majorée par sa norme [tex]H^1(\mathbb{R})[/tex] multiplié par un facteur numérique.
Je voudrai de même montrer que [tex]||\phi||_{L^2(\mathbb{R})} \leq ||\phi||_{L^{\infty}(\mathbb{R})}[/tex], c'est à dire [tex]\phi(x)^2 \ge \displaystyle \int_{\R}\phi ^2(t)dt[/tex] pour presque tout [tex]x[/tex].
Le sup de [tex]\phi[/tex] est atteint sur [tex]\mathbb{R}[/tex] : [tex]||\phi||_{L^{\infty}(\mathbb{R})}=\phi(x_0)[/tex].
En notant [tex]A>0[/tex] un réel tel que le support de [tex]\phi[/tex] est compris dans [tex][-A,A][/tex], je trouve que [tex]\displaystyle \int_{\R}\phi ^2(t)dt \le 2A\phi(x_0)^2[/tex].
Je ne sais pas comment me débarasser du A.

Bien cordialement.

#10 Entraide (supérieur) » Calcul d'une limite. » 17-01-2014 18:56:10

guessou
Réponses : 7

Bonsoir à tous,

Dans un exercice de proba, on s'intéresse à l'estimateur du maximum de vraisemblance (EMV) de la loi de Weibull caractérisée par la densité [tex]p(x)=a \lambda ^a x^{a-1}e^{-(\lambda x)^a} 1_{\mathbb{R}^{\star}_{+}}(x)[/tex] avec [tex]a,\lambda >0[/tex].
L'EMV de [tex]\lambda[/tex] à [tex]a[/tex] fixé est [tex]\hat \lambda_n(X) = \Big ( \dfrac{n}{\sum\limits_{i=1}^n X_i^a} \Big )^{1/a}[/tex].
Mais maximiser par rapport à [tex]a[/tex] la log-vraisemblance lorsque [tex]\lambda=\lambda_n[/tex] n'est pas évident.
[tex]\dfrac{\partial l_n}{\partial a}(x,a)=\dfrac{n}{a}-n\dfrac{\sum\limits_{i=1}^n ln(x_i) x_i^a }{\sum\limits_{i=1}^n x_i ^a }+\sum\limits_{i=1}^n ln(x_i) [/tex].
Impossible d'étudier les variations.
L'exercice demande donc d'étudier les limites de [tex]\dfrac{\partial l_n}{\partial a}(x,a)[/tex] en [tex]a=0^+[/tex] et [tex]a=+\infty[/tex].
Je bloque sur la limite en [tex]a=+\infty[/tex].
Comment montrer que [tex]\dfrac{\sum\limits_{i=1}^n ln(x_i) x_i^a }{\sum\limits_{i=1}^n x_i ^a } \longrightarrow max_{1\le j \le n }(ln(x_j))[/tex] quand [tex]a \to +\infty[/tex]?

Bien cordialement.

#11 Entraide (supérieur) » Une formule en intégrales 2D. » 14-01-2014 22:29:56

guessou
Réponses : 4

Bonsoir à tous,

On considère [tex]\Omega=\{(x_1,x_2)\in \mathbb{R}^2 , \quad x_2>0 \}[/tex] et  [tex]C_c^{\infty}(\overline{\Omega})=\{u:\Omega \longrightarrow \mathbb{R}, \exists v \in \mathcal{D}(\mathbb{R}^2) \quad u=v_{| \Omega} \}[/tex].  On considère [tex]v \in C_c^{\infty}(\overline{\Omega})[/tex] et deux fonctions test [tex]\psi[/tex] et [tex]g[/tex] sur [tex]\mathbb{R}[/tex] tel que [tex] \psi(0)=1[/tex]. En utilisant la formule d'intégration par parties, on montre que

[tex]\displaystyle \int_{\mathbb{R}} v(x_1,0)g(x_1)dx_1=\int_{\Omega} dx_1 dx_2 \Big (- \dfrac{\partial v}{\partial x_2}(x_1,x_2) g(x_1) \psi(x_2)- v(x_1,x_2) g(x_1)\dfrac{d \psi}{dx_2}(x_2) \Big )[/tex]      (*).

Je voudrai en déduire que pour tout [tex]v \in C_c^{\infty}(\overline{\Omega})[/tex] et [tex]h \in \mathcal{D}(\mathbb{R})[/tex] :

[tex]\displaystyle \int_{\mathbb{R}} v(x_1,0)\dfrac{dh}{dx_1}(x_1)dx_1=\int_{\Omega} dx_1 dx_2 \Big (- \dfrac{\partial v}{\partial x_2}(x_1,x_2) \dfrac{dh}{dx_1}(x_1) \psi(x_2)+\dfrac{\partial v}{\partial x_1}(x_1,x_2) h(x_1)\dfrac{d \psi}{dx_2}(x_2) \Big ).[/tex]

Lorsque je pose [tex]g=dh/dx_1[/tex] dans (*), et que j'intègre par parties le membre à l'extrême droite de (*), je trouve

[tex]\displaystyle \int_{\mathbb{R}} v(x_1,0)\dfrac{dh}{dx_1}(x_1)dx_1=\int_{\Omega} dx_1 dx_2 \Big (- \dfrac{\partial v}{\partial x_2}(x_1,x_2) \dfrac{dh}{dx_1}(x_1) \psi(x_2)+\dfrac{\partial v}{\partial x_1}(x_1,x_2) h(x_1)\dfrac{d \psi}{dx_2}(x_2)\Big ) [/tex]
[tex]- \int_{\mathbb{R}} v(x_1,0)h(x_1)dx_1 \dfrac{d\psi}{dx_2} (0) [/tex]

Comme on n'a pas nécessairement [tex] \dfrac{d\psi}{dx_2} (0)=0[/tex], je pense avoir fait une faute, mais j'ai beau revoir l'IPP que j'ai faite dans le membre de droite, rien n'y fait.

Auriez vous des idées ?

Bien cordialement.

#12 Entraide (supérieur) » Coercivité d'une forme bilinéaire (sur un espace produit) » 09-01-2014 16:13:39

guessou
Réponses : 1

Bonsoir à tous,

Dans [tex]H^1(\mathbb{R}) \times H^1(\mathbb{R})[/tex] muni du produit scalaire [tex]<(u_1,v_1),(u_2,v_2)>=<u_1,u_2>_{H^1}+<v_1,v_2>_{H^1}[/tex], on considère la forme bilinéaire [tex]a((u_1,v_1),(u_2,v_2))=<(u_1,v_1),(u_2,v_2)>+\gamma \Big (\displaystyle \int_{\mathbb{R}} u'_1 v'_2 + v'_1u'_2 \Big ) [/tex] où [tex]\gamma \in \mathbb{R}[/tex].
Je cherche à montrer que si [tex]|\gamma | <1[/tex], alors a est coercive.
[tex]a((u,v),(u,v))=\|(u,v)\|_{H^1(\mathbb{R})^2}^2+2 \gamma \displaystyle \int_{\mathbb{R}} u'v'[/tex]. Donc, il s'agit de minorer [tex]2 \gamma \displaystyle \int_{\mathbb{R}} u'v'[/tex]. J'ai essayé de retrancher et ajouter [tex]u'[/tex], des petites techniques comme ça, ça ne m'a rien donné malheureusement.

Auriez vous des idées ?

Bien cordialement.

#13 Re : Entraide (supérieur) » Inégalité pour des fonctions test » 29-12-2013 19:43:21

:) je sais que c'est indispensable de connaître nos cours, mais il s'avère qu'on n'a pas encore étudié la transformée de Fourier. J'ai posé la question pour savoir s'il faut absolument connaître le cours sur la transformée de Fourier pour établir l'inégalité. Je me suis peut être mal exprimé. Je prend en compte tes deux remarques.

#14 Entraide (supérieur) » Inégalité pour des fonctions test » 29-12-2013 17:01:09

guessou
Réponses : 2

Bonsoir tout le monde,

dans un exercice, on demande de montrer que pour tout [tex]\phi \in C_c^{\infty}(\mathbb{R}^d)[/tex] et [tex]1 \le i\le d[/tex] : [tex]||\frac{\partial \phi}{\partial x_i } ||_{L^2} \le \big ( ||\phi||_{L^2}^2+||\Delta \phi ||_{L^2}^2 \big ) ^{1/2}[/tex]
en utilisant la transformée de Fourier de [tex]\phi[/tex] définie par [tex]F \phi(\xi) = \displaystyle \int_{\mathbb{R}^d} \phi(x) e^{-ix.\xi}dx[/tex].
Je ne connais pas le cours sur la transformée de Fourier, et je ne sais pas s'il y a une inégalité entre norme de la transformée et norme de la fonction. Est ce indispensable de connaître le cours ?
Si vous avez une idée pour établir cette inégalité, merci de partager votre piste de réflexion.
Bien à vous

#15 Entraide (supérieur) » Inégalité sur H01 » 26-12-2013 16:08:48

guessou
Réponses : 0

Bonsoir tout le monde,

j'essaie de résoudre l'énoncé suivant :
Soit [tex]u \in H_0^1(]0,1[)[/tex]. Montrer que [tex]\frac{u(x)}{x(1-x)} \in L^2(]0,1[)[/tex] et que [tex]||\frac{u(x)}{x(1-x)}||_{L^2} \le c ||u'||_{L^2}[/tex] où c est une constante indépendante de [tex]u[/tex]

Bien sûr, u' désigne la dérivée au sens des distributions (ou au sens faible) de u. On commence par montrer cette inégalité pour une fonction test [tex]\phi[/tex]. J'ai essayé de majorer [tex]\phi(x)[/tex] par [tex]||\phi'||_{L^2}[/tex] mais j'obtiens un majorant infini ( à savoir [tex]\int_0^1 dx/x^2(1-x)^2[/tex]). Pareil si on majore [tex]\phi(x)[/tex] par [tex]||\phi'||_{L^2} \sqrt{x}[/tex]. 
Enfin bref, j'ose espérer que vous pouvez me donner quelques pistes de réflexion.

Bien à vous.

Pied de page des forums