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 25-02-2016 10:41:27

devil
Membre
Inscription : 24-12-2015
Messages : 81

f est elle dans W^{1,p}?

Bonjour,
j'ai la question suivantes:
on considère l'intervalle  [tex]I=]-1,1[[/tex], et la fonction $f(x)=|x|.$ La question est: pour quels  $p \in [1,+\infty[$ on a $f \in W^{1,p}(I)?$
Voici la solution que je propose: tout d'abord, on rappel que
$$
W^{m,p}(I)=\{u \in L^p(I), D^{\alpha} u \in L^p(I) \forall |\alpha| \leq m\}
$$
where D^{\alpha} u $ est la dérivée au sens des distributions. Donc,
$$
W^{1,p}(I)= \{u \in L^p(I), u' \in L^p(I)\}
$$
En premier, on cherche $p$ t.q $u \in L^p(I).$ On a:
$$
\displaystyle\int_{-1}^1 |x|^p dx = \displaystyle\int_{-1}^0 (-x)^p dx + \displaystyle\int_0^1 x^p dx = -\dfrac{(1)^{p+1}}{p+1} + \dfrac{(1)^{p+1}}{p+1}= 0
$$
On conclut que $u \in L^p(I)$ pour tout $p$?

En second, on cherche $p$ tel que $u' \in L^p(I)$. On a pour tout $\varphi \in D(I)$
$$
<u',\varphi>=-<u,\varphi'> = - \displaystyle\int_{-1}^0 (-x)^p \varphi'(x) dx + \displaystyle\int_0^1 x^p \varphi'(x) dx
$$
En intégrant par parties, on trouve
$$
\displaystyle\int_{-1}^0 (-x)^p \varphi'(x)dx = [(-x)^p \varphi(x)]_{-1}^0 + p \displaystyle\int_{-1}^0 (-x)^{p-1} \varphi(x) dx
$$
and
$$
\displaystyle\int_0^1 x^p \varphi'(x)dx = [x^p \varphi(x)]_0^1 - p \displaystyle\int_0^1 x^{p-1} \varphi(x) dx
$$
Mais je n'arrive pas à continuer et à trouver [tex]p[/tex].
Merci par avance de votre aide.

Dernière modification par devil (25-02-2016 10:43:43)

Hors ligne

#2 25-02-2016 23:27:19

Roro
Membre expert
Inscription : 07-10-2007
Messages : 1 801

Re : f est elle dans W^{1,p}?

Bonsoir,

Je suis d'accord avec tes définitions d'espaces [tex]W^{1,p}[/tex]. Toutefois, les calculs que tu fais après ont l'air faux. En particulier, ça ne te choque pas d'écrire [tex]\int_{-1}^1 |x|^p dx = 0[/tex] ?

Une indication : sur un ensemble borné, toute fonction bornée est dans tous les espaces [tex]L^p[/tex].

Roro.

Dernière modification par Roro (25-02-2016 23:28:14)

Hors ligne

#3 25-02-2016 23:49:00

devil
Membre
Inscription : 24-12-2015
Messages : 81

Re : f est elle dans W^{1,p}?

[tex]|x|^p[/tex]  est bornée sur[tex] [-1,1][/tex] elle est donc [tex]L^p[/tex] quelque soit [tex]p[/tex], et sa dérivée au sens des distribution est[tex] sgn(x)[/tex] qui est L^^p pour tout  p \in [1,+\infty[, donc [tex]f \in W^{1,p}(I)[/tex]. Vous êtes d'accord?
Si oui, et pour p=\infty? Quand est-ce qu'on dit d'une fonction qu'elle est [tex]W^{1,\infty}[/tex]?
Merci d'avance.

Hors ligne

#4 26-02-2016 10:26:03

Roro
Membre expert
Inscription : 07-10-2007
Messages : 1 801

Re : f est elle dans W^{1,p}?

Bonjour devil,

Je suis d'accord !
Pour [tex]W^{1,\infty}[/tex] c'est la même définition, il faut que la fonction et sa dérivée soient dans [tex]L^\infty[/tex]. Ce qui est le cas ici...

Roro.

Hors ligne

#5 26-02-2016 10:44:34

devil
Membre
Inscription : 24-12-2015
Messages : 81

Re : f est elle dans W^{1,p}?

[tex]
W^{1,\infty}=\{u \in L^{\infty}(\Omega), D^{\alpha}u \in L^{\infty}(\Omega), \forall \alpha \in \mathbb{R}^n\}
[/tex]
?
Mais j'ai lu une autre définition avec le sup essentiel, que je n'ai pas compris. C'est quoi cette définition exacte avec le sup essentiel? et c'est quoi la différence avec la définition en utilisant [tex]L^{\infty}[/tex]?
Merci beaucoup

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
vingt quatre plus quatre-vingt dix-huit
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums