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 02-06-2024 20:43:45

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Continuité et espace L^p

Bonsoir,

Soit [tex]\mu[/tex] une mesure positive sur [tex]X[/tex]. On note [tex]L^p[/tex] l'espace [tex]L^p(\mu)[/tex]. Soit [tex]0<p_0<p_1\le \infty[/tex].
1) Soit [tex]f\in L^{p_0}\cap L^{p_1}[/tex].
a) J'ai montré que [tex]f\in L^p[/tex] pour tout [tex]p_0\le p\le p_1[/tex] et que [tex]||f||_p\le ||f||_{p_0}^{1-\theta}||f||_{p_1}^{\theta}[/tex] pour tout [tex]\theta\in [0;1][/tex] tel que [tex]\frac{1}{p}=\frac{1-\theta}{p_0}+\frac{\theta}{p_1}[/tex].

b) Je dois montrer que l'application [tex]g[/tex] qui à [tex]p\in [p_0;p_1]\to ||f||_p[/tex] est continue.
J'ai procédé en utilisant les suites, c'est-à-dire en considérant une suite [tex](p_n)[/tex] d'éléments de [tex][p_0;p_1][/tex] telle que [tex]p_n\to p[/tex] et en montrant que [tex]g(p_n)\to g(p)[/tex]. Mais bon, ça me paraît trop simple.

Est-ce correct, où y a-t-il un autre argument ?


Merci d'avance

Dernière modification par Vincent62 (02-06-2024 20:45:24)

Hors ligne

#2 02-06-2024 22:00:49

Michel Coste
Membre
Inscription : 05-10-2018
Messages : 1 170

Re : Continuité et espace L^p

Bonsoir,
Pourquoi serait-ce trop simple ?
Bien sûr, on ne peut pas savoir avec ce que tu nous dis si ta démonstration de $g(p_n)\to g(p)$ quand $p_n\to p$ est correcte.

Hors ligne

#3 02-06-2024 23:49:06

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Continuité et espace L^p

Bonsoir Michel,

Je n'ai pas réussi à justifier de l'interversion limite-intégrale dans ce que je raconte ci-dessous :

Soit donc [tex](p_n)_n[/tex] une suite d'éléments de [tex][p_0;p_1][/tex] telle que [tex]\lim_{n\to +\infty} p_n=p[/tex]. Il s'agit alors de montrer que [tex]\lim_{n\to +\infty} g(p_n)=g(p)[/tex], autrement dit que [tex]\lim_{n\to +\infty} \big(\int |f|^{p_n}\big)^{\frac{1}{p_n}}=\big(\int |f|^{p}\big)^{\frac{1}{p}}[/tex]

Pour cela, j'écris que [tex]\big(\int |f|^{p_n}\big)^{\frac{1}{p_n}}=\exp(\frac{1}{p_n}\ln(\int |f|^{p_n}))[/tex], en supposant que [tex]f[/tex] est non nulle presque partout.
Il s'agit donc de justifier que [tex]\lim_{n\to +\infty}\int |f|^{p_n}=\int |f|^p[/tex] et donc de justifier l'interversion limite / intégrale.
J'ai bien [tex]\lim_{n\to +\infty} |f|^{p_n}=|f|^p[/tex] mais en vue d'utiliser le théorème de convergence dominée, ça coince.

Je réfléchis aussi à comment utiliser l'inégalité du 1) a). Finalement, il s'agit aussi de montrer que pour tout [tex]a\in [p_0;p_1], \lim_{p\to a} ||f||_p=||f||_a[/tex].

Hors ligne

#4 03-06-2024 00:11:56

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Continuité et espace L^p

En fait l'inégalité 1)a) permet de montrer que [tex]L^{p_0}\cap L^{p_1}[/tex] est un fermé de [tex]L^p[/tex], donc un Banach.

Hors ligne

#5 03-06-2024 07:56:51

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 186

Re : Continuité et espace L^p

Bonjour,

  Pour pouvoir appliquer le théorème de convergence dominée, il te faut majorer $|f(x)|^{p_n}.$
Je te propose de séparer deux cas :
* $|f(x)|<1$
* $|f(x)|>1$.

F.

Hors ligne

#6 03-06-2024 21:58:32

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Continuité et espace L^p

Mais oui, merci Fred !
J'ai pourtant utilisé cette décomposition pour obtenir le premier résultat !

Encore merci

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)?
trente trois plus quatre-vingt quatorze
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