• Aucun résultat trouvé

Duality in Lebesgue spaces and bounded Radon measures

N/A
N/A
Protected

Academic year: 2022

Partager "Duality in Lebesgue spaces and bounded Radon measures"

Copied!
3
0
0

Texte intégral

(1)

UPMC Basic functional analysis

Master 1, MM05E 2011-2012

Duality in Lebesgue spaces and bounded Radon measures

1) LetΩbe an open subset ofRN. Show thatfn* f weakly inLp(Ω) for1< p <∞(weakly* ifp=∞) if and only if

(i) there exists a constant C >0such thatkfnkp≤C for alln∈N; (ii)

Z

fnϕ dx→ Z

f ϕ dxfor allϕ∈ Cc(Ω).

Why is it not true in general forp= 1?

2) Dirac mass. LetC0(RN) be the space of all continuous functions vanishing at infinity endowed with the uniform norm

kuk:= max

x∈RN

|u(x)|.

Letδ:C0(RN)→Rbe defined by

δ(ϕ) =ϕ(0).

a) Show thatδis a bounded Radon measure,i.e.an element of the dual ofC0(RN).

b) Show that δcannot be extended to an element of(Lp(RN))0, forp>1.

3) Concentration-compactness.

(i) Oscillation.Letu∈Lp(0,1)be such thatR1

0 u dx= 0. We extendedutoRby1-periodicity, and we define the sequence

un(x) :=u(nx)for a.e. x∈R.

Show thatun*0 weakly inLp(0,1) (weakly* inL(0,1)) and that the convergence is not strong.

(ii) Concentration.We first assume that1< p <∞. Letv ∈ Cc(R)be such thatR+∞

−∞ v dx= 1, and define the sequence

vn(x) :=n1/pv(nx)for allx∈R.

Show that vn * 0 weakly in Lp(R) and that the convergence is not strong. Show that vn do not converge weakly to0 inL1(R)and that vn* δ0 weakly* inM(R).

(ii) Evanescence.Letv be as before and define the sequence

wn(x) :=v(n+x)for allx∈R.

Show that wn * 0 weakly in Lp(R) (for1 < p <∞), and weakly* in L(R) (forp=∞), and that the convergence is not strong. Show that wn do not converge weakly to0 inL1(R)and thatwn *0 weakly* in M(R).

4) Vitali-Hahn-Saks Theorem. Let (X,M, µ) be a finite measure space (µ(X) < ∞), and (fn)n≥1 ⊂ L1(X, µ)be a sequence such that the limit

n→∞lim Z

E

fn

1

(2)

exists for every E∈M. Then for eachε >0, there exists δ >0 such that for every E ∈Mwith µ(E)< δ, then

sup

n≥1

Z

E

|fn|dµ < ε.

1. Show that A := {χE : E ∈M} is a closed subset ofL1(X, µ). Deduce that A is a complete metric space.

2. Show that the sets

Ak:=

(

χE∈A: sup

n,l≥k

Z

X

(fn−flE

≤ ε 8

)

are closed in A, and thatA=S

k≥1Ak.

3. Applying Baire’s Theorem, show that there exist k0 ≥1,δ0 >0 andχE0 ∈Ak0 such that ifχE ∈A satisfies

Z

X

E−χE0|dµ < δ0,

thenχE∈Ak0.

4. Show that there exists 0< δ≤δ0 such that ifE∈Mis such thatµ(E)≤δ, then

sup

1≤n≤k0

Z

E

|fn|dµ <ε 4.

5. Show that ifE∈Mis such thatµ(E)≤δ, then χE∪E0 andχE0\E∈Ak0. 6. Deduce that for alln≥k0,

Z

E

fn

≤ ε 2. 7. Deduce that for alln≥1,

Z

E

|fn|dµ≤ε.

5) Dunford-Pettis Theorem. Let (X,M, µ) be a finite measure space (µ(X) < ∞), and (fn)n≥1 ⊂ L1(X, µ)be a sequence such that

sup

n≥1

kfnk1<+∞.

(i) Iffn* f weakly in L1(X, µ)for somef ∈L1(X, µ), then the sequence (fn)is equi-integrable.

(ii) If (fn) is equi-integrable, then there exist a subsequence(fnj) ⊂ (fn) and f ∈ L1(X, µ) such that fnj * f weakly inL1(X, µ).

1. Using the Vitali-Hahn-Saks Theorem, show that(i)holds.

2. The rest of the exercise consists in showing (ii).

(a) Show that there is no loss of generality to assume thatfn≥0for alln≥1.

(b) Let gkn:=fnχ{fn≤k} for alln,k≥1. Show that

sup

n≥1

kgkn−fnk1→0

as k→ ∞.

(c) Show that there exists a subsequence (gknj)j≥1 ⊂(gkn)n≥1 and gk ∈L1(X, µ) such thatgnkj * gk weakly inL1(X, µ)for allk≥1.

2

(3)

(d) Show that gk →f strongly inL1(X, µ)for somef ∈L1(X, µ).

(e) Conclude thatfnj * f weakly inL1(X, µ).

6) Dual of Lp(X, µ) for0< p <1.

Let(X,M, µ)be a measure space.

1. For any0< p <1, let

d(f, g) = Z

X

|f−g|pdµ.

Show thatdis a distance onLp(X, µ)and that Lp(X, µ)is a complete metric space.

2. Assume now that X = [0,1], M =L([0,1]) and µ =L1. Let V ⊂Lp([0,1]) be an open convex set containing0,r >0 such thatBr(0)⊂V, and f ∈Lp([0,1]). Show that there existsn∈Nsuch that np−1d(f,0)< r.

3. Show that there exist points 0 =x0< x1< . . . < xn = 1such that Z xi

xi−1

|f(t)|pdt=n−1d(f,0).

4. Letgi:=nf χ(xi−1,xi] for alli∈ {1, . . . , n}. Show thatgi∈V and that

d(gi,0) =np−1d(f,0)< r.

5. Show thatf = n1Pn

i=1gi∈V. 6. Deduce that V =Lp([0,1]).

7. Deduce that (Lp([0,1]))0={0}.

3

Références

Documents relatifs

In these complexes the spaces are all duals of spaces of Fréchet-Schwartz and the maps are continuous, therefore topological homomorphisms.. Note that the maps a,

inclusions are obviously initial (with respect to the forgetful functor from the category of projective geometries and homomorphisms to the category of sets and

technical reasons discussed in Section 1 all measures used here will be Baire measures, and we note that Baire measures are general enough for... all

An important consequence of the characterization is that there is a Jackson inequality for nonlinear approximation with TWFs, and moreover we will show that the rate of

UPMC Basic functional analysis. Master 1,

In this short article we show a particular version of the Hedberg inequality which can be used to derive, in a very simple manner, functional inequalities involving Sobolev and

The SF-analytic sets are precisely the analytic sets which are locally contained in some complex submanifold (with complemented tangent spaces) where they are finitely defined in

In this work, we construct an example of this type; more precisely, by solving a quasilinear elliptic boundary-value prob- lem we define a nonlinear operator on the space of