Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
152 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

prolongement continu aberrant

Envoyé par corentin 
corentin
prolongement continu aberrant
il y a quatorze années
Bonjour; <BR>je bloque sur un théorème de prolongement; si sp&lt;1, on peut prolonger continument une fonction de <SPAN CLASS="MATH"><IMG WIDTH="61" HEIGHT="32" ALIGN="MIDDLE" BORDER="0" SRC="[www.les-mathematiques.net]; ALT="$ W^{s,p}(\Omega)$"></SPAN> en la posant nulle en dehors de <SPAN CLASS="MATH"><IMG WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0" SRC="[www.les-mathematiques.net]; ALT="$ \Omega$"></SPAN>. <BR>Ce qui me choque, c'est que pour la (semi)norme classique, les fonctions constantes sont de norme nulle, et pas le prolongement!! <BR>Quelqu'un connaissant ce théorème pourrait il m'expliquer?<BR>
Re: prolongement continu aberrant
il y a quatorze années
N'as tu pas un probleme dans le fait de regarder une fois la semi norme et l'autre fois la norme. Est ce la norme ou la semi-norme du prolongement qui n'est pas nulle ? Peux tu ecrire l'exemple
corentin
Re: prolongement continu aberrant
il y a quatorze années
<latex> Voila ce qui me gêne;
on note 1 la fonction constante égale à 1 (!) disons sur $\R\times \R^+$.
Il est clair que sa semi norme est nulle
Par contre, si on la prolonge par 0 sur le reste du plan, on a
$\displaystyle \int_{\R^+}\int_{\R^2} \frac{|f(x_1,x_2)-f(x_1,x_2+t)|^p}{t^{1+sp}}\neq 0$.
C'est triste...
Re: prolongement continu aberrant
il y a quatorze années
<latex> Je crois que le probleme est que tu consideres la semi-norme et non la norme. Le prolongement dit que
$\|u\|_{N2}\leq C \|U\|_{N1}$$ (j'ai note N1 et N2 les normes sur chacun des espaces) , mais ne dit peut-etre pas que cette inegalite est vrai pour les semi-norme. La fonction $ 1$ n'est pas de norm nulle.
corentin
Re: prolongement continu aberrant
il y a quatorze années
corentin
Re: prolongement continu aberrant
il y a quatorze années
Bon, maintenant que j'ai pu lire:
tu es certain que c'est avec les vraies normes qu'il faut travailler? Moi ça m'arrangerait, mais dans le bouquin où c'est traité ça n'en donne pas l'impression. (encore que c'est assez illisible, donc on sait jamais)
Pourquoi une fonction constante ne serait pas de semi norme nulle?
Re: prolongement continu aberrant
il y a quatorze années
Pourquoi une fonction constante ne serait pas de semi norme nulle?
Je ne sais pas, j'ai dit je crois qu'elle n'est pas de norme nulle. Je ne suis pas certain que ce soit avec les normes qu'il faille travailler mais normalement qu'en on dit qu'il existe un operateur de prolongement borne, c'est des normes dont on parle. Je pense qu'il faut regarder la demo pour voir avec quoi il travaillenet. Tu la trouves ou ?
corentin
Re: prolongement continu aberrant
il y a quatorze années
Rebonjour;
C'est dans le tome 1 du bouquin de lions et magenes, "problèmes aux limites non homogènes", page 63. J'ai pas mal de difficultés pour lire les démonstrations parce qu'ils définissent pas les espaces de sobolev avec la semi norme (classique?) mais avec les transformées de fourier. Et, ce qui ne gâte rien, il y a pas mal de notations qui piquent les yeux.
Re: prolongement continu aberrant
il y a quatorze années
<latex> C'est dommage , j'ai pas ce livre sous les yeux, mais il semble me souvenir qu'en effet ca pique un peu.... Je vais peut-etre etre super pretentieux, mais je pense qu'ils ne s'embarassent pas a dire que ce n'est qu'une semi-norme et qu'il faut rajouter la norme $L^p$. SI tu prend Brezis p.196, il n'est pas super precis. Il dit simplement qu'il faut munir $W^{s,p}$ de la norme naturelle. Il sous entend l'ajoue de la norme $L^p$ sinon c'est qu'une semi-norme. Je croie, je je suppose, je suppute. Quand je parle de ce qu'on fait ces gars la je prefere ne pas trop m'avancer, vu que e suis a des annees luniere de ce qu'ils ont fait....
corentin
Re: prolongement continu aberrant
il y a quatorze années
Quand tu parles du bouquin de Brézis, tu veux dire "analyse fonctionnelle et appliquée"? Il faudra quand même que je me décide à l'acheter.
Comme tu dis, le niveau de ce qu'ils font est pas mauvais, je dois comprendre pour mon stage un article que brézis a écrit avec deux autres chercheurs, et j'y suis dessus depuis fin juin. :)
Re: prolongement continu aberrant
il y a quatorze années
<latex> Oui, enfin le titre exacte est "analyse fonctionnelle, theorie et applications. Je sais pas ou tu en est mais je crois en effet que tu devrais te le procurer : c'est un peu une bible en EDP, j'ai l'impression. Tu peux aussi regarder le livre "Adams : Sobolev spaces" je pense qu'il est bien fait.

Pour ce qui est du prolongement, en dimension un, en prenant la fonction caracteristique sur $(0,1)$, on voit il me semble encore plus facilement que son prolongement par zero n'a pas une semi norme nulle, alors que bien sur elle est de semi-norme nulle sur $(0,1)$.
Ben
Re: prolongement continu aberrant
il y a quatorze années
avatar
Simple remarque pour Corentin : dans mon cours d'EDP de cette année ainsi que dans un cours d'analyse numérique où il y avait un peu d'espaces de Sobolev on nous a défini l'espace avec la transformée de Fourier, donc je pense que c'est plutôt classique comme présentation.
corentin
Re: prolongement continu aberrant
il y a quatorze années
<latex> @ garfield; l'an prochain je serai en dea d'edp, donc effectivement il serait temps... J'avais lu les 6 premiers chapitres de Adams, juste avant les espaces à dérivées fractionnaires, mais ma bibliothèque ayant estimé que 4 semaines c'est déja trop (!) j'ai été interdit d'emprunt.
Je suis d'accord avec ce que tu dis sur la fonction caractéristique.

@ben; Le problème, je crois, c'est que la transformée de fourier ne marche que dans $H^s$, et pas dans $W^{s,p}$.
Désolé, vous n'avez pas la permission d'envoyer ou de répondre dans ce forum.
Liste des forums - Statistiques du forum

Total
Discussions: 136 264, Messages: 1 317 008, Utilisateurs: 23 991.
Notre dernier utilisateur inscrit blanyann.


Ce forum
Discussions: 37 176, Messages: 277 915.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page