exo7 5966

Soit Ω=Rn\Omega = \mathbb{R}^{n} muni de la mesure de Lebesgue. Pour tout 1≤p<+∞1\leq p <+\infty, on note Lp(Rn)L^p(\mathbb{R}^{n}) l’espace des fonctions f :Rn→Cf~:\mathbb{R}^{n} \rightarrow \mathbb{C} telles que ∥f∥p:=(∫Rn∣f∣p(x) dx)1p<+∞\|f\|_{p} := \left(\int_{\mathbb{R}^{n}} |f|^{p}(x)\,dx\right)^{\frac{1}{p}}<+\infty modulo l’équivalence f∼g⇔f−g=0 μ−p.pf\sim g \Leftrightarrow f-g = 0 ~\mu-p.p. L’espace des fonctions essentiellement bornées sera noté L∞(Rn).L^{\infty}(\mathbb{R}^n).

1

Pour quelle valeur de α\alpha la fonction x↦1(1+∣x∣2)αx\mapsto \frac{1}{\left(1 + |x|^2 \right)^{\alpha}} appartient-elle à Lp(Rn)L^{p}(\mathbb{R}^{n}) ?

2

Pour quelle valeur de β\beta la fonction x↦1∣x∣βe−∣x∣22x\mapsto \frac{1}{|x|^{\beta}} e^{-\frac{|x|^2}{2}} appartient-elle à Lp(Rn)L^{p}(\mathbb{R}^{n}) ?

3

Soit 1≤q<p≤+∞1\leq q < p \leq +\infty. En utilisant (a)(a) et (b)(b), trouver une fonction ff qui appartienne à Lq(Rn)L^{q}(\mathbb{R}^{n}) mais pas à Lp(Rn)L^{p}(\mathbb{R}^{n}) et une fonction gg qui appartienne à Lp(Rn)L^{p}(\mathbb{R}^{n}) mais pas à Lq(Rn)L^{q}(\mathbb{R}^{n}).

4

Soit 1≤q<p<+∞1\leq q< p<+\infty. Montrer que l’espace Lp(Rn)∩Lq(Rn)L^{p}(\mathbb{R}^{n}) \cap L^{q}(\mathbb{R}^{n}) est un espace de Banach pour la norme ∥⋅∥p,q=∥⋅∥p+∥⋅∥q\|\cdot \|_{p,q} = \| \cdot \|_{p} + \| \cdot \|_{q}.

5

Soit rr tel que q<r<pq< r<p. Montrer que ∥f∥r≤∥f∥pα∥f∥q1−α\|f\|_{r} \leq \|f\|_{p}^{\alpha}\|f\|_{q}^{1-\alpha} où 1r=αp+1−αq\frac{1}{r} = \frac{\alpha}{p} + \frac{1-\alpha}{q}, α∈[0,1]\alpha\in[0, 1]. On pourra écrire r=rα+r(1−α)r = r\alpha + r(1-\alpha) et utiliser l’inégalité de Hölder pour un couple de réels conjugués bien choisi.

6

En déduire que si fnf_{n} converge vers ff dans Lp(Rn)∩Lq(Rn)L^{p}(\mathbb{R}^{n}) \cap L^{q}(\mathbb{R}^{n}) alors fnf_{n} converge vers ff dans Lr(Rn)L^{r}(\mathbb{R}^{n}), i.e Lp(Rn)∩Lq(Rn)L^{p}(\mathbb{R}^{n}) \cap L^{q}(\mathbb{R}^{n}) est un sous-espace de Banach de Lr(Rn)L^{r}(\mathbb{R}^{n}).

7

Soit f∈Lp([0,+∞[)∩Lq([0,+∞[)f\in L^{p}([0, +\infty[)\cap L^{q}([0, +\infty[) avec 1≤q<2<p1\leq q<2<p. Montrer que la fonction hh définie par h(r)=1rf(r)h(r) = \frac{1}{\sqrt{r}}f(r) appartient à L1([0,+∞[)L^{1}([0, +\infty[) et trouver des constantes Cp,qC_{p,q} et γ\gamma telles que ∥h∥1≤Cp,q∥f∥qγ∥f∥p(1−γ)\|h\|_{1} \leq C_{p, q} \|f\|_{q}^{\gamma}\|f\|_{p}^{(1-\gamma)}.

Exercice SzS8

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?