Transcript
Page 1: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization of operators on Banach (function) spaces

Emiel Lorist

Delft University of Technology, The Netherlands

Madrid, Spain

September 9, 2019

Joint work with Nigel Kalton and Lutz Weis

Page 2: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures• Project started in the early 2000s

• Understand the role R-boundedness from anabstract operator-theoretic viewpoint

• Connected to completely bounded maps

• Project on hold since Nigel passed away

• Studied and improved/extended parts of themanuscript in 2016

• Joined the project in 2018, rewrote and modernizedthe manuscript

• Euclidean structures• Part I: Representation of operator families

on a Hilbert space• Part II: Factorization of operator families• Part III: Vector-valued function spaces• Part IV: Sectorial operators and H∞-calculus• Part V: Counterexamples

• Project to be finished this fall

Nigel Kalton

Lutz Weis

1 / 12

Page 3: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures• Project started in the early 2000s

• Understand the role R-boundedness from anabstract operator-theoretic viewpoint

• Connected to completely bounded maps

• Project on hold since Nigel passed away

• Studied and improved/extended parts of themanuscript in 2016

• Joined the project in 2018, rewrote and modernizedthe manuscript

• Euclidean structures• Part I: Representation of operator families

on a Hilbert space• Part II: Factorization of operator families• Part III: Vector-valued function spaces• Part IV: Sectorial operators and H∞-calculus• Part V: Counterexamples

• Project to be finished this fall

Nigel Kalton

Lutz Weis

1 / 12

Page 4: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures• Project started in the early 2000s

• Understand the role R-boundedness from anabstract operator-theoretic viewpoint

• Connected to completely bounded maps

• Project on hold since Nigel passed away

• Studied and improved/extended parts of themanuscript in 2016

• Joined the project in 2018, rewrote and modernizedthe manuscript

• Euclidean structures• Part I: Representation of operator families

on a Hilbert space• Part II: Factorization of operator families• Part III: Vector-valued function spaces• Part IV: Sectorial operators and H∞-calculus• Part V: Counterexamples

• Project to be finished this fall

Nigel Kalton

Lutz Weis

1 / 12

Page 5: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures• Project started in the early 2000s

• Understand the role R-boundedness from anabstract operator-theoretic viewpoint

• Connected to completely bounded maps

• Project on hold since Nigel passed away

• Studied and improved/extended parts of themanuscript in 2016

• Joined the project in 2018, rewrote and modernizedthe manuscript

• Euclidean structures• Part I: Representation of operator families

on a Hilbert space• Part II: Factorization of operator families• Part III: Vector-valued function spaces• Part IV: Sectorial operators and H∞-calculus• Part V: Counterexamples

• Project to be finished this fall

Nigel Kalton

Lutz Weis

1 / 12

Page 6: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

R-boundedness

Definition

Let X be a Banach space and Γ ⊆ L(X ). Then we say that Γ is R-bounded if forany finite sequences (Tk)nk=1 in Γ and (xk)nk=1 in X(

E∥∥∥ n∑k=1

εkTkxk

∥∥∥2

X

)1/2

≤ C(E∥∥∥ n∑k=1

εkxk

∥∥∥2

X

)1/2

,

where (εk)nk=1 is a sequence of independent Rademacher variables.

• R-boundedness is a strengthening of uniform boundedness.• Equivalent to uniform boundedness on Hilbert spaces.

• R-boundedness plays a (key) role in e.g.• Schauder multipliers• Operator-valued Fourier multiplier theory• Functional calculus• Maximal regularity of PDE’s• Stochastic integration in Banach spaces

•(E∥∥∑n

k=1 εkxk∥∥2)1/2

is a norm on X n.• A Euclidean structure is such a norm with a left and right ideal property.

2 / 12

Page 7: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

R-boundedness

Definition

Let X be a Banach space and Γ ⊆ L(X ). Then we say that Γ is R-bounded if forany finite sequences (Tk)nk=1 in Γ and (xk)nk=1 in X(

E∥∥∥ n∑k=1

εkTkxk

∥∥∥2

X

)1/2

≤ C(E∥∥∥ n∑k=1

εkxk

∥∥∥2

X

)1/2

,

where (εk)nk=1 is a sequence of independent Rademacher variables.

• R-boundedness is a strengthening of uniform boundedness.• Equivalent to uniform boundedness on Hilbert spaces.

• R-boundedness plays a (key) role in e.g.• Schauder multipliers• Operator-valued Fourier multiplier theory• Functional calculus• Maximal regularity of PDE’s• Stochastic integration in Banach spaces

•(E∥∥∑n

k=1 εkxk∥∥2)1/2

is a norm on X n.• A Euclidean structure is such a norm with a left and right ideal property.

2 / 12

Page 8: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

R-boundedness

Definition

Let X be a Banach space and Γ ⊆ L(X ). Then we say that Γ is R-bounded if forany finite sequences (Tk)nk=1 in Γ and (xk)nk=1 in X(

E∥∥∥ n∑k=1

εkTkxk

∥∥∥2

X

)1/2

≤ C(E∥∥∥ n∑k=1

εkxk

∥∥∥2

X

)1/2

,

where (εk)nk=1 is a sequence of independent Rademacher variables.

• R-boundedness is a strengthening of uniform boundedness.• Equivalent to uniform boundedness on Hilbert spaces.

• R-boundedness plays a (key) role in e.g.• Schauder multipliers• Operator-valued Fourier multiplier theory• Functional calculus• Maximal regularity of PDE’s• Stochastic integration in Banach spaces

•(E∥∥∑n

k=1 εkxk∥∥2)1/2

is a norm on X n.• A Euclidean structure is such a norm with a left and right ideal property.

2 / 12

Page 9: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures

Definition

Let X be a Banach space. A Euclidean structure α is a family of norms ‖·‖α on X n

for all n ∈ N such that

‖(x)‖α = ‖x‖X , x ∈ X ,

‖Ax‖α ≤ ‖A‖‖x‖α, x ∈ X n, A ∈ Mm,n(C),

‖(Tx1, · · · ,Txn)‖α ≤ C ‖T‖‖x‖α, x ∈ X n, T ∈ L(X ),

A Euclidean structure induces a norm on the finite rank operators from `2 to X .

3 / 12

Page 10: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures

Definition

Let X be a Banach space. A Euclidean structure α is a family of norms ‖·‖α on X n

for all n ∈ N such that

‖(x)‖α = ‖x‖X , x ∈ X ,

‖Ax‖α ≤ ‖A‖‖x‖α, x ∈ X n, A ∈ Mm,n(C),

‖(Tx1, · · · ,Txn)‖α ≤ C ‖T‖‖x‖α, x ∈ X n, T ∈ L(X ),

A Euclidean structure induces a norm on the finite rank operators from `2 to X .

Non-example:

• On a Banach space X :

‖x‖R :=(E∥∥ n∑k=1

εkxk∥∥2

X

) 12, x ∈ X n,

is not a Euclidean structure. It fails the right-ideal property.

3 / 12

Page 11: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures

Definition

Let X be a Banach space. A Euclidean structure α is a family of norms ‖·‖α on X n

for all n ∈ N such that

‖(x)‖α = ‖x‖X , x ∈ X ,

‖Ax‖α ≤ ‖A‖‖x‖α, x ∈ X n, A ∈ Mm,n(C),

‖(Tx1, · · · ,Txn)‖α ≤ C ‖T‖‖x‖α, x ∈ X n, T ∈ L(X ),

A Euclidean structure induces a norm on the finite rank operators from `2 to X .

Examples:

• On any Banach space X : The Gaussian structure

‖x‖γ :=(E∥∥ n∑k=1

γkxk∥∥2

X

) 12, x ∈ X n,

where (γk)nk=1 is a sequence of independent normalized Gaussians.

• On a Banach lattice X : The `2-structure

‖x‖`2 :=∥∥∥( n∑

k=1

|xk |2)1/2

∥∥∥X, x ∈ X n.

3 / 12

Page 12: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Euclidean structures

Definition

Let X be a Banach space. A Euclidean structure α is a family of norms ‖·‖α on X n

for all n ∈ N such that

‖(x)‖α = ‖x‖X , x ∈ X ,

‖Ax‖α ≤ ‖A‖‖x‖α, x ∈ X n, A ∈ Mm,n(C),

‖(Tx1, · · · ,Txn)‖α ≤ C ‖T‖‖x‖α, x ∈ X n, T ∈ L(X ),

A Euclidean structure induces a norm on the finite rank operators from `2 to X .

Examples:

• On any Banach space X : The Gaussian structure

‖x‖γ :=(E∥∥ n∑k=1

γkxk∥∥2

X

) 12, x ∈ X n,

where (γk)nk=1 is a sequence of independent normalized Gaussians.

• On a Banach lattice X : The `2-structure

‖x‖`2 :=∥∥∥( n∑

k=1

|xk |2)1/2

∥∥∥X, x ∈ X n.

3 / 12

Page 13: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

α-boundedness

Definition

Let X be a Banach space, α an Euclidean structure and Γ ⊆ L(X ). Then we say thatΓ is α-bounded if for any T = diag(T1, · · · ,Tn) with T1, · · · ,Tn ∈ Γ

‖Tx‖α ≤ C‖x‖α, x ∈ X n.

• α-boundedness implies uniform boundedness

• On a Banach space X with finite cotype

‖x‖γ =(E∥∥ n∑k=1

γkxk∥∥2

X

) 12 '

(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so γ-boundedness is equivalent to R-boundedness

• On a Banach lattice X with finite cotype

‖x‖`2 =∥∥( n∑

k=1

|xk |2)1/2∥∥

X'(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so `2-boundedness is equivalent to R-boundedness.

4 / 12

Page 14: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

α-boundedness

Definition

Let X be a Banach space, α an Euclidean structure and Γ ⊆ L(X ). Then we say thatΓ is α-bounded if for any T = diag(T1, · · · ,Tn) with T1, · · · ,Tn ∈ Γ

‖Tx‖α ≤ C‖x‖α, x ∈ X n.

• α-boundedness implies uniform boundedness

• On a Banach space X with finite cotype

‖x‖γ =(E∥∥ n∑k=1

γkxk∥∥2

X

) 12 '

(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so γ-boundedness is equivalent to R-boundedness

• On a Banach lattice X with finite cotype

‖x‖`2 =∥∥( n∑

k=1

|xk |2)1/2∥∥

X'(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so `2-boundedness is equivalent to R-boundedness.

4 / 12

Page 15: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

α-boundedness

Definition

Let X be a Banach space, α an Euclidean structure and Γ ⊆ L(X ). Then we say thatΓ is α-bounded if for any T = diag(T1, · · · ,Tn) with T1, · · · ,Tn ∈ Γ

‖Tx‖α ≤ C‖x‖α, x ∈ X n.

• α-boundedness implies uniform boundedness

• On a Banach space X with finite cotype

‖x‖γ =(E∥∥ n∑k=1

γkxk∥∥2

X

) 12 '

(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so γ-boundedness is equivalent to R-boundedness

• On a Banach lattice X with finite cotype

‖x‖`2 =∥∥( n∑

k=1

|xk |2)1/2∥∥

X'(E∥∥ n∑k=1

εkxk∥∥2

X

) 12

= ‖x‖R,

so `2-boundedness is equivalent to R-boundedness.

4 / 12

Page 16: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through a Hilbert space

Theorem (Kwapien ’72 and Maurey ’74)

Let X and Y be a Banach spaces and T ∈ L(X ,Y ). If X has type 2 and Y cotype2, then there is a Hilbert space H and operators S ∈ L(X ,H) and U ∈ L(H,Y ) s.t.

T = US .

Corollary (Kwapien ’72)

Let X be a Banach space. X has type 2 and cotype 2 if and only if X is isomorphicto a Hilbert space.

5 / 12

Page 17: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through a Hilbert space

Theorem (Kwapien ’72 and Maurey ’74)

Let X and Y be a Banach spaces and T ∈ L(X ,Y ). If X has type 2 and Y cotype2, then there is a Hilbert space H and operators S ∈ L(X ,H) and U ∈ L(H,Y ) s.t.

T = US .

Corollary (Kwapien ’72)

Let X be a Banach space. X has type 2 and cotype 2 if and only if X is isomorphicto a Hilbert space.

5 / 12

Page 18: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through a Hilbert space

Theorem (Kwapien ’72 and Maurey ’74)

Let X and Y be a Banach spaces and T ∈ L(X ,Y ). If X has type 2 and Y cotype2, then there is a Hilbert space H and operators S ∈ L(X ,H) and U ∈ L(H,Y ) s.t.

T = US .

Corollary (Kwapien ’72)

Let X be a Banach space. X has type 2 and cotype 2 if and only if X is isomorphicto a Hilbert space.

Theorem (Kalton–L.–Weis ’19)

Let X and Y be a Banach spaces, Γ1 ⊆ L(X ,Y ) . If X has type 2, Ycotype 2 and Γ1 is γ-bounded, then there is a Hilbert space H, aT ∈ L(X ,H) for every T ∈ Γ1 and U ∈ L(H,Y ) s.t.the following diagram commutes:

X Y

H

T

T

U

5 / 12

Page 19: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through a Hilbert space

Theorem (Kwapien ’72 and Maurey ’74)

Let X and Y be a Banach spaces and T ∈ L(X ,Y ). If X has type 2 and Y cotype2, then there is a Hilbert space H and operators S ∈ L(X ,H) and U ∈ L(H,Y ) s.t.

T = US .

Corollary (Kwapien ’72)

Let X be a Banach space. X has type 2 and cotype 2 if and only if X is isomorphicto a Hilbert space.

Theorem (Kalton–L.–Weis ’19)

Let X and Y be a Banach spaces, Γ1 ⊆ L(X ,Y ) and Γ2 ⊆ L(Y ). If X has type 2, Ycotype 2 and Γ1 and Γ2 are γ-bounded, then there is a Hilbert space H, aT ∈ L(X ,H) for every T ∈ Γ1, a S ∈ L(H) for every S ∈ Γ2 and U ∈ L(H,Y ) s.t.the following diagram commutes:

X Y Y

H H

T

T S

U

S

U

5 / 12

Page 20: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through weighted L2

For a measure space (S ,Σ, µ) and a weight w : S → R+ let L2(S ,w) be the space ofall measurable f : S → C such that

‖f ‖L2(S,w) :=(∫

S

|f |2w dµ)1/2

<∞

Theorem (Kalton–L.–Weis ’19)

Let X be an order-continuous Banach function space over (S , µ) and let Γ ⊆ L(X ).Γ is `2-bounded if and only if for any g0, g1 ∈ X there is a weight w : S → R+ s.t.

‖Tf ‖L2(S,w) ≤ C ‖f ‖L2(S,w), f ∈ X ∩ L2(S ,w), T ∈ Γ

‖g0‖L2(S,w) ≤ C ‖g0‖X ,

‖g1‖X ≤ C ‖g1‖L2(S,w).

The if statement is trivial. Indeed for f1, · · · , fn ∈ X and T1, · · · ,Tn ∈ Γ set

g0 :=( n∑k=1

|fk |2) 1

2 , g1 :=( n∑k=1

|Tk fk |2) 1

2

Then we have

‖Tf ‖2`2 = ‖g1‖2

X ≤ C 2n∑

k=1

∫S

|Tk fk |2w dµ ≤ C 4n∑

k=1

∫S

|fk |2w dµ ≤ C 6‖g0‖2X = ‖f ‖2

`2

6 / 12

Page 21: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through weighted L2

For a measure space (S ,Σ, µ) and a weight w : S → R+ let L2(S ,w) be the space ofall measurable f : S → C such that

‖f ‖L2(S,w) :=(∫

S

|f |2w dµ)1/2

<∞

Theorem (Kalton–L.–Weis ’19)

Let X be an order-continuous Banach function space over (S , µ) and let Γ ⊆ L(X ).Γ is `2-bounded if and only if for any g0, g1 ∈ X there is a weight w : S → R+ s.t.

‖Tf ‖L2(S,w) ≤ C ‖f ‖L2(S,w), f ∈ X ∩ L2(S ,w), T ∈ Γ

‖g0‖L2(S,w) ≤ C ‖g0‖X ,

‖g1‖X ≤ C ‖g1‖L2(S,w).

The if statement is trivial. Indeed for f1, · · · , fn ∈ X and T1, · · · ,Tn ∈ Γ set

g0 :=( n∑k=1

|fk |2) 1

2 , g1 :=( n∑k=1

|Tk fk |2) 1

2

Then we have

‖Tf ‖2`2 = ‖g1‖2

X ≤ C 2n∑

k=1

∫S

|Tk fk |2w dµ ≤ C 4n∑

k=1

∫S

|fk |2w dµ ≤ C 6‖g0‖2X = ‖f ‖2

`2

6 / 12

Page 22: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through weighted L2

For a measure space (S ,Σ, µ) and a weight w : S → R+ let L2(S ,w) be the space ofall measurable f : S → C such that

‖f ‖L2(S,w) :=(∫

S

|f |2w dµ)1/2

<∞

Theorem (Kalton–L.–Weis ’19)

Let X be an order-continuous Banach function space over (S , µ) and let Γ ⊆ L(X ).Γ is `2-bounded if and only if for any g0, g1 ∈ X there is a weight w : S → R+ s.t.

‖Tf ‖L2(S,w) ≤ C ‖f ‖L2(S,w), f ∈ X ∩ L2(S ,w), T ∈ Γ

‖g0‖L2(S,w) ≤ C ‖g0‖X ,

‖g1‖X ≤ C ‖g1‖L2(S,w).

The if statement is trivial. Indeed for f1, · · · , fn ∈ X and T1, · · · ,Tn ∈ Γ set

g0 :=( n∑k=1

|fk |2) 1

2 , g1 :=( n∑k=1

|Tk fk |2) 1

2

Then we have

‖Tf ‖2`2 = ‖g1‖2

X ≤ C 2n∑

k=1

∫S

|Tk fk |2w dµ ≤ C 4n∑

k=1

∫S

|fk |2w dµ ≤ C 6‖g0‖2X = ‖f ‖2

`2

6 / 12

Page 23: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Factorization through weighted L2

For a measure space (S ,Σ, µ) and a weight w : S → R+ let L2(S ,w) be the space ofall measurable f : S → C such that

‖f ‖L2(S,w) :=(∫

S

|f |2w dµ)1/2

<∞

Theorem (Kalton–L.–Weis ’19)

Let X be an order-continuous Banach function space over (S , µ) and let Γ ⊆ L(X ).Γ is `2-bounded if and only if for any g0, g1 ∈ X there is a weight w : S → R+ s.t.

‖Tf ‖L2(S,w) ≤ C ‖f ‖L2(S,w), f ∈ X ∩ L2(S ,w), T ∈ Γ

‖g0‖L2(S,w) ≤ C ‖g0‖X ,

‖g1‖X ≤ C ‖g1‖L2(S,w).

The if statement is trivial. Indeed for f1, · · · , fn ∈ X and T1, · · · ,Tn ∈ Γ set

g0 :=( n∑k=1

|fk |2) 1

2 , g1 :=( n∑k=1

|Tk fk |2) 1

2

Then we have

‖Tf ‖2`2 = ‖g1‖2

X ≤ C 2n∑

k=1

∫S

|Tk fk |2w dµ ≤ C 4n∑

k=1

∫S

|fk |2w dµ ≤ C 6‖g0‖2X = ‖f ‖2

`2

6 / 12

Page 24: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞). For f ∈ Lp(R) define the Hilbert transform

Hf (x) := p. v.1

π

∫R

1

x − yf (y) dy , x ∈ R,

= F−1(ξ 7→ −i sgn(ξ)F f (ξ))(x).

For f ∈ Lp(Rd) define the Hardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd .

• Very important operators in harmonic analysis.

• Both H and M are bounded on Lp for p ∈ (1,∞).

• We are interested in the tensor extensions of H and M onthe Bochner space Lp(Rd ;X ).

• These have numerous applications in both harmonic analysis and PDE.

7 / 12

Page 25: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞). For f ∈ Lp(R) define the Hilbert transform

Hf (x) := p. v.1

π

∫R

1

x − yf (y) dy , x ∈ R,

= F−1(ξ 7→ −i sgn(ξ)F f (ξ))(x).

For f ∈ Lp(Rd) define the Hardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd .

• Very important operators in harmonic analysis.

• Both H and M are bounded on Lp for p ∈ (1,∞).

• We are interested in the tensor extensions of H and M onthe Bochner space Lp(Rd ;X ).

• These have numerous applications in both harmonic analysis and PDE.

7 / 12

Page 26: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞). For f ∈ Lp(R) define the Hilbert transform

Hf (x) := p. v.1

π

∫R

1

x − yf (y) dy , x ∈ R,

= F−1(ξ 7→ −i sgn(ξ)F f (ξ))(x).

For f ∈ Lp(Rd) define the Hardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd .

• Very important operators in harmonic analysis.

• Both H and M are bounded on Lp for p ∈ (1,∞).

• We are interested in the tensor extensions of H and M onthe Bochner space Lp(Rd ;X ).

• These have numerous applications in both harmonic analysis and PDE.

7 / 12

Page 27: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞). For f ∈ Lp(R) define the Hilbert transform

Hf (x) := p. v.1

π

∫R

1

x − yf (y) dy , x ∈ R,

= F−1(ξ 7→ −i sgn(ξ)F f (ξ))(x).

For f ∈ Lp(Rd) define the Hardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd .

• Very important operators in harmonic analysis.

• Both H and M are bounded on Lp for p ∈ (1,∞).

• We are interested in the tensor extensions of H and M onthe Bochner space Lp(Rd ;X ).

• These have numerous applications in both harmonic analysis and PDE.

7 / 12

Page 28: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞) and let X be a Banach space. For f ∈ Lp(R;X ) define thevector-valued Hilbert transform

Hf (x) := p. v.

∫R

1

x − yf (y) dy , x ∈ R

where the integral is interpreted in the Bochner sense.

Let X be a Banach function space. For f ∈ Lp(Rd ;X ) define the latticeHardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd ,

where the supremum is taken in the lattice sense.

• Boundedness of H is independent of p ∈ (1,∞)(Calderon–Benedek–Panzone ’62).

• Boundedness of M is independent of p ∈ (1,∞) and d ∈ N(Garcıa-Cuerva–Macias–Torrea ’93).

• Boundedness of H and M depends on the geometry of X .

8 / 12

Page 29: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞) and let X be a Banach space. For f ∈ Lp(R;X ) define thevector-valued Hilbert transform

Hf (x) := p. v.

∫R

1

x − yf (y) dy , x ∈ R

where the integral is interpreted in the Bochner sense.

Let X be a Banach function space. For f ∈ Lp(Rd ;X ) define the latticeHardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd ,

where the supremum is taken in the lattice sense.

• Boundedness of H is independent of p ∈ (1,∞)(Calderon–Benedek–Panzone ’62).

• Boundedness of M is independent of p ∈ (1,∞) and d ∈ N(Garcıa-Cuerva–Macias–Torrea ’93).

• Boundedness of H and M depends on the geometry of X .

8 / 12

Page 30: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Let p ∈ [1,∞) and let X be a Banach space. For f ∈ Lp(R;X ) define thevector-valued Hilbert transform

Hf (x) := p. v.

∫R

1

x − yf (y) dy , x ∈ R

where the integral is interpreted in the Bochner sense.

Let X be a Banach function space. For f ∈ Lp(Rd ;X ) define the latticeHardy–Littlewood maximal operator

Mf (x) := supr>0

1

|B(x , r)|

∫Rd

|f (y)| dy , x ∈ Rd ,

where the supremum is taken in the lattice sense.

• Boundedness of H is independent of p ∈ (1,∞)(Calderon–Benedek–Panzone ’62).

• Boundedness of M is independent of p ∈ (1,∞) and d ∈ N(Garcıa-Cuerva–Macias–Torrea ’93).

• Boundedness of H and M depends on the geometry of X .

8 / 12

Page 31: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Theorem (Burkholder ’83 and Bourgain ’83)

Let X be a Banach space and p ∈ (1,∞). The following are equivalent:

(i) X has the UMD property.

(ii) H is bounded on Lp(R;X ).

• X has the UMD property if any finite martingale (fk)nk=0 in Lp(Ω;X ) hasUnconditional Martingale Differences (dfk)nk=1.

Theorem (Bourgain ’84 and Rubio de Francia ’86)

Let X be a Banach function space and p ∈ (1,∞). The following is equivalent to (i)and (ii)

(iii) M is bounded on Lp(Rd ;X ) and on Lp(Rd ;X ∗).

• (iii)⇒(ii) is “easy” and quantitative.

• (ii)⇒(iii) is very involved and technical.

9 / 12

Page 32: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Theorem (Burkholder ’83 and Bourgain ’83)

Let X be a Banach space and p ∈ (1,∞). The following are equivalent:

(i) X has the UMD property.

(ii) H is bounded on Lp(R;X ).

• X has the UMD property if any finite martingale (fk)nk=0 in Lp(Ω;X ) hasUnconditional Martingale Differences (dfk)nk=1.

• That is, if for some p ∈ (1,∞) and all signs εk = ±1 we have∥∥∥ n∑k=1

εkdfn∥∥∥Lp(Ω;X )

.∥∥∥ n∑k=1

dfn∥∥∥Lp(Ω;X )

,

Theorem (Bourgain ’84 and Rubio de Francia ’86)

Let X be a Banach function space and p ∈ (1,∞). The following is equivalent to (i)and (ii)

(iii) M is bounded on Lp(Rd ;X ) and on Lp(Rd ;X ∗).

• (iii)⇒(ii) is “easy” and quantitative.

• (ii)⇒(iii) is very involved and technical.

9 / 12

Page 33: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Theorem (Burkholder ’83 and Bourgain ’83)

Let X be a Banach space and p ∈ (1,∞). The following are equivalent:

(i) X has the UMD property.

(ii) H is bounded on Lp(R;X ).

• X has the UMD property if any finite martingale (fk)nk=0 in Lp(Ω;X ) hasUnconditional Martingale Differences (dfk)nk=1.

• Reflexive Lebesgue, Lorentz, (Musielak)-Orlicz, Sobolev, Besov spaces andSchatten classes have the UMD property.

• L1 and L∞ do not have the UMD property.

• Linear constant dependence is an open problem

Theorem (Bourgain ’84 and Rubio de Francia ’86)

Let X be a Banach function space and p ∈ (1,∞). The following is equivalent to (i)and (ii)

(iii) M is bounded on Lp(Rd ;X ) and on Lp(Rd ;X ∗).

• (iii)⇒(ii) is “easy” and quantitative.

• (ii)⇒(iii) is very involved and technical.

9 / 12

Page 34: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Theorem (Burkholder ’83 and Bourgain ’83)

Let X be a Banach space and p ∈ (1,∞). The following are equivalent:

(i) X has the UMD property.

(ii) H is bounded on Lp(R;X ).

• X has the UMD property if any finite martingale (fk)nk=0 in Lp(Ω;X ) hasUnconditional Martingale Differences (dfk)nk=1.

• Reflexive Lebesgue, Lorentz, (Musielak)-Orlicz, Sobolev, Besov spaces andSchatten classes have the UMD property.

• L1 and L∞ do not have the UMD property.

• Linear constant dependence is an open problem

Theorem (Bourgain ’84 and Rubio de Francia ’86)

Let X be a Banach function space and p ∈ (1,∞). The following is equivalent to (i)and (ii)

(iii) M is bounded on Lp(Rd ;X ) and on Lp(Rd ;X ∗).

• (iii)⇒(ii) is “easy” and quantitative.

• (ii)⇒(iii) is very involved and technical.

9 / 12

Page 35: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 36: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 37: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 38: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 39: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 40: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Harmonic analysis

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space on (S , µ) and p ∈ (1,∞). If H is bounded on

Lp(R;X ), then M is bounded on Lp(R;X ) with

‖M‖Lp(R;X )→Lp(R;X ) ≤ C ‖H‖2Lp(R;X )→Lp(R;X )

• Apply factorization theorem with Γ = H and g1 = Mg0 to transfer thequestion from Lp(R;X ) to L2(R× S ,w):For any g0 ∈ Lp(R;X ) there is a weight w : R× S → R+ such that

‖Hf ‖L2(R×S,w) ≤ C ‖f ‖L2(R×S,w), f ∈ Lp(R;X ) ∩ L2(R× S ,w)

‖g0‖L2(R×S,w) ≤ C ‖g0‖Lp(R;X ),

‖Mg0‖Lp(R;X ) ≤ C ‖Mg0‖L2(R×S,w).

• By Fubini it suffices to show the boundedness of M on L2(R,w(·, s)) for s ∈ S .

• For a weight v : R→ R+, M is bounded on L2(R, v) if and only if H is boundedon L2(R, v) (Muckenhoupt ’72,...).

• As H is bounded on L2(R,w(·, s)) for s ∈ S , M is as well.

• Thus ‖Mg0‖Lp(R;X ) . ‖g0‖Lp(R;X )

10 / 12

Page 41: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Application: Banach space geometryLet X be a Banach space and p ∈ (1,∞). Let (fk)nk=0 be a finite martingale inLp(Ω;X ) with difference sequence (dfk)nk=1. Then X has the UMD property if andonly if for all signs εk = ±1 we have∥∥∥ n∑

k=1

εkdfn∥∥∥Lp(Ω;X )

(1)

.∥∥∥ n∑k=1

dfn∥∥∥Lp(Ω;X )

,

if and only if∥∥∥ n∑k=1

dfn∥∥∥Lp(Ω;X )

(2)

.∥∥∥ n∑k=1

εkdfn∥∥∥Lp(Ω×Ω′;X )

(3)

.∥∥∥ n∑k=1

dfn∥∥∥Lp(Ω;X )

,

where (ε)nk=1 is a Rademacher sequence on Ω′.

• (2) does not imply (1).

• It is an open question whether (3) implies (1)

Theorem (Kalton–L.–Weis ’19)

Let X be a Banach function space. Then (3) implies (1).

• Proof similar to previous slide.

11 / 12

Page 42: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Outlook

• In the Euclidean structures manuscript:

• More factorization theorems.

• Representation of an α-bounded family of operators on a Hilbert space.

• Applications to interpolation, function spaces, functional calculus.

• More applications of factorization through weighted L2:

• Show the necessity of UMD for the R-boundedness of certain operators

• Potentially many more applications!

• To appear on arXiv before Christmas!

12 / 12

Page 43: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Outlook

• In the Euclidean structures manuscript:

• More factorization theorems.

• Representation of an α-bounded family of operators on a Hilbert space.

• Applications to interpolation, function spaces, functional calculus.

• More applications of factorization through weighted L2:

• Show the necessity of UMD for the R-boundedness of certain operators

• Potentially many more applications!

• To appear on arXiv before Christmas!

12 / 12

Page 44: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Outlook

• In the Euclidean structures manuscript:

• More factorization theorems.

• Representation of an α-bounded family of operators on a Hilbert space.

• Applications to interpolation, function spaces, functional calculus.

• More applications of factorization through weighted L2:

• Show the necessity of UMD for the R-boundedness of certain operators

• Potentially many more applications!

• To appear on arXiv before Christmas!

12 / 12

Page 45: Factorization of operators on Banach (function) spaces · Functional calculus Maximal regularity of PDE’s Stochastic integration in Banach spaces E P n k=1 " kx k 2 1=2 is a norm

Thank you for your attention!

12 / 12


Recommended