Semigroups in Semi-simple Lie Groups and Eigenvalues of Second Order - - PowerPoint PPT Presentation

semigroups in semi simple lie groups and eigenvalues of
SMART_READER_LITE
LIVE PREVIEW

Semigroups in Semi-simple Lie Groups and Eigenvalues of Second Order - - PowerPoint PPT Presentation

Semigroups in Semi-simple Lie Groups and Eigenvalues of Second Order Differential Operators on Flag Manifolds Luiz A. B. San Martin . . . II Workshop of the S ao Paulo Journal of Mathematical Sciences: J.-L. Koszul in


slide-1
SLIDE 1

Semigroups in Semi-simple Lie Groups and Eigenvalues of Second Order Differential Operators on Flag Manifolds

Luiz A. B. San Martin

❡ ❡

. . .

❡ ❡

II Workshop of the S˜ ao Paulo Journal of Mathematical Sciences: J.-L. Koszul in S˜ ao Paulo, His Work and Legacy

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-2
SLIDE 2

Problem

◮ Let G be a Lie group with Lie algebra g and Γ ⊂ g.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-3
SLIDE 3

Problem

◮ Let G be a Lie group with Lie algebra g and Γ ⊂ g. ◮ SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-4
SLIDE 4

Problem

◮ Let G be a Lie group with Lie algebra g and Γ ⊂ g. ◮ SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0. ◮ Find conditions to have SΓ = G Controllability problem.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-5
SLIDE 5

Problem

◮ Let G be a Lie group with Lie algebra g and Γ ⊂ g. ◮ SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0. ◮ Find conditions to have SΓ = G Controllability problem. ◮ Group generation is almost trivial: if and only if Γ generates g. (G connected).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-6
SLIDE 6

Problem

◮ Let G be a Lie group with Lie algebra g and Γ ⊂ g. ◮ SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0. ◮ Find conditions to have SΓ = G Controllability problem. ◮ Group generation is almost trivial: if and only if Γ generates g. (G connected). ◮ Special set Γ = {X, ±Y1, . . . , ±Yk}. Coming from dg dt = X (g) + u1 (t) Y1 (g) + · · · + uk (t) Yk (g)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-7
SLIDE 7

Some solutions

◮ Nilpotent and solvable Lie groups. Maximal semigroups can be characterizad. Lawson, Hlgert, Hofmann. Neeb, mid 1980’s .

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-8
SLIDE 8

Some solutions

◮ Nilpotent and solvable Lie groups. Maximal semigroups can be characterizad. Lawson, Hlgert, Hofmann. Neeb, mid 1980’s . ◮ Complex simple Lie groups: Controllable pairs {X, ±Y } is generic. (± is essencial.) Kupka-Jurdjevic 1978 - 1981followed by Gauthier, Sallet, El Assoudi and others, 1980’s. There is a recent proof by SM-Ariane Santos, applying topology of flag manifolds.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-9
SLIDE 9

Some solutions

◮ Nilpotent and solvable Lie groups. Maximal semigroups can be characterizad. Lawson, Hlgert, Hofmann. Neeb, mid 1980’s . ◮ Complex simple Lie groups: Controllable pairs {X, ±Y } is generic. (± is essencial.) Kupka-Jurdjevic 1978 - 1981followed by Gauthier, Sallet, El Assoudi and others, 1980’s. There is a recent proof by SM-Ariane Santos, applying topology of flag manifolds. ◮ The method for complex groups work for some real ones. E.g. sl(n, H).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-10
SLIDE 10

Some open cases

◮ Complex simple Lie algebras without ± (restricted controls).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-11
SLIDE 11

Some open cases

◮ Complex simple Lie algebras without ± (restricted controls). ◮ g is a normal real form of a complex simple Lie algebra (e.g. sl (n, R), sp (n, R), so (p, q), q = p or q = p + 1). Even for Γ = {X, ±Y }.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-12
SLIDE 12

Some open cases

◮ Complex simple Lie algebras without ± (restricted controls). ◮ g is a normal real form of a complex simple Lie algebra (e.g. sl (n, R), sp (n, R), so (p, q), q = p or q = p + 1). Even for Γ = {X, ±Y }. ◮ Example of conjecture: {X, ±Y } ⊂ sl (n, R) is not controllable if X, Y are symmetric matrices.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-13
SLIDE 13

Global generation

◮ Global version: A ⊂ G, SA = semigroup generated by A = {g1 · · · gk : gi ∈ A, k ≥ 1}.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-14
SLIDE 14

Global generation

◮ Global version: A ⊂ G, SA = semigroup generated by A = {g1 · · · gk : gi ∈ A, k ≥ 1}. ◮ Group G and probability measure µ on G. Sµ = semigroup generated by the support of µ. Contains suppµn ⊂ (suppµ)n µn = nth convolution power of µ.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-15
SLIDE 15

Global generation

◮ Global version: A ⊂ G, SA = semigroup generated by A = {g1 · · · gk : gi ∈ A, k ≥ 1}. ◮ Group G and probability measure µ on G. Sµ = semigroup generated by the support of µ. Contains suppµn ⊂ (suppµ)n µn = nth convolution power of µ. ◮ Not originated from control theory. Can be applied to the controllability problem.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-16
SLIDE 16

Analytical and probabilistic tools

◮ Representations: U on a vector space by operators U (g). Form the operator U (µ) v =

  • G

(U (g) v) µ (dg) . (Need assumptions on µ to have integrability.)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-17
SLIDE 17

Analytical and probabilistic tools

◮ Representations: U on a vector space by operators U (g). Form the operator U (µ) v =

  • G

(U (g) v) µ (dg) . (Need assumptions on µ to have integrability.) ◮ Ii(ndepedent).i(dentically).d(istributed) random variables. Sample space: G N with P = µN Random variables: ω = (yn) ∈ G N → yn ∈ G.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-18
SLIDE 18

Analytical and probabilistic tools

◮ Representations: U on a vector space by operators U (g). Form the operator U (µ) v =

  • G

(U (g) v) µ (dg) . (Need assumptions on µ to have integrability.) ◮ Ii(ndepedent).i(dentically).d(istributed) random variables. Sample space: G N with P = µN Random variables: ω = (yn) ∈ G N → yn ∈ G. ◮ Random product: gn = yn · · · y1 P{gn ∈ A} = µn(A). gn stays in Sµ.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-19
SLIDE 19

Analytical and probabilistic tools

◮ Representations: U on a vector space by operators U (g). Form the operator U (µ) v =

  • G

(U (g) v) µ (dg) . (Need assumptions on µ to have integrability.) ◮ Ii(ndepedent).i(dentically).d(istributed) random variables. Sample space: G N with P = µN Random variables: ω = (yn) ∈ G N → yn ∈ G. ◮ Random product: gn = yn · · · y1 P{gn ∈ A} = µn(A). gn stays in Sµ. ◮ Asymptotic properties of gn are related to iterations U(µ)n = U(µn).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-20
SLIDE 20

Analytical and probabilistic tools

◮ Representations: U on a vector space by operators U (g). Form the operator U (µ) v =

  • G

(U (g) v) µ (dg) . (Need assumptions on µ to have integrability.) ◮ Ii(ndepedent).i(dentically).d(istributed) random variables. Sample space: G N with P = µN Random variables: ω = (yn) ∈ G N → yn ∈ G. ◮ Random product: gn = yn · · · y1 P{gn ∈ A} = µn(A). gn stays in Sµ. ◮ Asymptotic properties of gn are related to iterations U(µ)n = U(µn). ◮ Here will focus on the representations.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-21
SLIDE 21

Representations of Semi-simple Lie groups

◮ Iwasawa decomposition G = KAN

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-22
SLIDE 22

Representations of Semi-simple Lie groups

◮ Iwasawa decomposition G = KAN ◮ Parabolic induced representations P = MAN M = centralizer of A in K. Minimal parabolic subgroup.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-23
SLIDE 23

Representations of Semi-simple Lie groups

◮ Iwasawa decomposition G = KAN ◮ Parabolic induced representations P = MAN M = centralizer of A in K. Minimal parabolic subgroup. ◮ Function spaces Fλ = {f : G → C : f (gmhn) = eλ(log h)f (g). λ ∈ C. λ ∈ a∗. (Special case of f (gmhn) = θ(m)eλ(log h)f (g) with λ complex and θ : M → C× homomorphism. )

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-24
SLIDE 24

Representations of Semi-simple Lie groups

◮ Iwasawa decomposition G = KAN ◮ Parabolic induced representations P = MAN M = centralizer of A in K. Minimal parabolic subgroup. ◮ Function spaces Fλ = {f : G → C : f (gmhn) = eλ(log h)f (g). λ ∈ C. λ ∈ a∗. (Special case of f (gmhn) = θ(m)eλ(log h)f (g) with λ complex and θ : M → C× homomorphism. ) ◮ Representations: Uλ (g) f (x) = f (gx), g, x ∈ G. Uλ (g) = U (g) restricted to Fλ

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-25
SLIDE 25

Compact picture

◮ Each Fλ is in bijection with the function space FK = {f : K → C} by f ∈ FK → f ∈ Fλ, f (kan) = f (k).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-26
SLIDE 26

Compact picture

◮ Each Fλ is in bijection with the function space FK = {f : K → C} by f ∈ FK → f ∈ Fλ, f (kan) = f (k). ◮ If F = G/P = K/M, P = MAN, then Fλ ≈ FF = {f : F → C} by f (kan) = f (kM).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-27
SLIDE 27

Compact picture

◮ Each Fλ is in bijection with the function space FK = {f : K → C} by f ∈ FK → f ∈ Fλ, f (kan) = f (k). ◮ If F = G/P = K/M, P = MAN, then Fλ ≈ FF = {f : F → C} by f (kan) = f (kM). ◮ Equivalent representations compact picture : F = FK

  • r F = FF

Uλ (g) f (x) = ρλ (g, x) f (gx), g ∈ G, x ∈ K K = G/AN viewed as homogeneous space of G.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-28
SLIDE 28

Compact picture

◮ Each Fλ is in bijection with the function space FK = {f : K → C} by f ∈ FK → f ∈ Fλ, f (kan) = f (k). ◮ If F = G/P = K/M, P = MAN, then Fλ ≈ FF = {f : F → C} by f (kan) = f (kM). ◮ Equivalent representations compact picture : F = FK

  • r F = FF

Uλ (g) f (x) = ρλ (g, x) f (gx), g ∈ G, x ∈ K K = G/AN viewed as homogeneous space of G. ◮ Cocycle: ρλ (g, x) = eλ(log h) where gu = khn and x = ux0. x0 = 1 · AN = origin of K

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-29
SLIDE 29

Example: Sl (2, R) or C

◮ G = Sl (2, R), K = S1 = SO (2), F = P1 ρλ (g, x) = gxp Up (g) f (x) = gxp f (gx) , g ∈ Sl (2, R), x ∈ S1 ◮ Other realization: Homogeneous functions Fp = {f : R2 → C : f (cx) = cpf (x), c > 0. Up (g) f (y) = f (gy), g ∈ Sl (2, R), y ∈ R2.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-30
SLIDE 30

Example: Sl (2, R) or C

◮ Other realization: Homogeneous functions Fp = {f : R2 → C : f (cx) = cpf (x), c > 0. Up (g) f (y) = f (gy), g ∈ Sl (2, R), y ∈ R2.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-31
SLIDE 31

Back to probabilities

◮ µ has exponential moments if

  • ρλ (g, x) µ (dg) < ∞ all

x and λ In this case Uλ (µ) =

  • Uλ (g) µ (dg) makes sense.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-32
SLIDE 32

Back to probabilities

◮ µ has exponential moments if

  • ρλ (g, x) µ (dg) < ∞ all

x and λ In this case Uλ (µ) =

  • Uλ (g) µ (dg) makes sense.

◮ µ is exposed (´ etal´ ee) if intSµ = ∅ . Uλ (µ) is compact on C (K) . discrete spectra with finite dimensional spectral spaces rλ = spectral radius of Uλ (µ) is an eigenvalue

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-33
SLIDE 33

Result

◮ Sµ = G if and only if the map λ → rλ is analytic.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-34
SLIDE 34

Result

◮ When Sµ = G points of nonanalyticity are obtained from the structure of Sµ (flag type).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-35
SLIDE 35

Continuous time version

◮ Application to controllability of Γ = {X, ±Y1, . . . , ±Yk}. SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-36
SLIDE 36

Continuous time version

◮ Application to controllability of Γ = {X, ±Y1, . . . , ±Yk}. SΓ = semigroup generated by etX, X ∈ Γ , t ≥ 0 ◮ Related to dg dt = X (g) + u1 (t) Y1 (g) + · · · + uk (t) Yk (g) ◮ Associated Itˆ

  • stochastic differential equation

dg = X (g) dt +

k

  • j=1

Yj (g) ◦ dWj.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-37
SLIDE 37

Continuous time: Solutions and semigroups

◮ One-parameter semigroup of measures (under convolution): µt = Pt (1, ·) = transition probability of the solution starting at 1. µt+s = µt ∗ µs

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-38
SLIDE 38

Continuous time: Solutions and semigroups

◮ One-parameter semigroup of measures (under convolution): µt = Pt (1, ·) = transition probability of the solution starting at 1. µt+s = µt ∗ µs ◮ By the support theorem (Strook-Varadhan-Kunita) clSΓ = cl

  • t≥0

suppµt

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-39
SLIDE 39

Continuous time version: Operators

◮ One-parameter semigroup of operators: Uλ (µt).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-40
SLIDE 40

Continuous time version: Operators

◮ One-parameter semigroup of operators: Uλ (µt). ◮ Lλf (x) = d

dt |t=0 (Uλ(µt)f ) (x)

◮ Lλ = X + 1

2

k

i=1 Y 2 i

second order operator acting on smooth functions

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-41
SLIDE 41

Continuous time version: Operators

◮ One-parameter semigroup of operators: Uλ (µt). ◮ Lλf (x) = d

dt |t=0 (Uλ(µt)f ) (x)

◮ Lλ = X + 1

2

k

i=1 Y 2 i

second order operator acting on smooth functions ◮ Uλ (Lλ) = Uλ (X) + 1

2

k

i=1 Uλ (Yi)2

infinitesimal representation of the universal envelopping algebra

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-42
SLIDE 42

Infinitesimal generator: Compact picture

◮ Uλ (g) f (x) = ρλ (g, x) f (gx)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-43
SLIDE 43

Infinitesimal generator: Compact picture

◮ Uλ (g) f (x) = ρλ (g, x) f (gx) ◮ Second order operator on flag manifold Lλ = L + 1

2

m

j=1 λ

  • qYj

Yj + λ (qX) + 1

2

m

j=1 λ

  • rYj
  • +

1 2

m

j=1

  • λ
  • qYj

2

  • L =

X + 1

2

m

j=1

Y 2

j

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-44
SLIDE 44

Infinitesimal generator: Compact picture

◮ Uλ (g) f (x) = ρλ (g, x) f (gx) ◮ Second order operator on flag manifold Lλ = L + 1

2

m

j=1 λ

  • qYj

Yj + λ (qX) + 1

2

m

j=1 λ

  • rYj
  • +

1 2

m

j=1

  • λ
  • qYj

2

  • L =

X + 1

2

m

j=1

Y 2

j

◮ qX (x) = Xa (1, x) = d

dta

  • etX, x
  • t=0

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-45
SLIDE 45

Infinitesimal generator: Compact picture

◮ Uλ (g) f (x) = ρλ (g, x) f (gx) ◮ Second order operator on flag manifold Lλ = L + 1

2

m

j=1 λ

  • qYj

Yj + λ (qX) + 1

2

m

j=1 λ

  • rYj
  • +

1 2

m

j=1

  • λ
  • qYj

2

  • L =

X + 1

2

m

j=1

Y 2

j

◮ qX (x) = Xa (1, x) = d

dta

  • etX, x
  • t=0

◮ rY (x) = Y qY (x) = Y 2a (1, x)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-46
SLIDE 46

Infinitesimal generator: Compact picture

◮ Uλ (g) f (x) = ρλ (g, x) f (gx) ◮ Second order operator on flag manifold Lλ = L + 1

2

m

j=1 λ

  • qYj

Yj + λ (qX) + 1

2

m

j=1 λ

  • rYj
  • +

1 2

m

j=1

  • λ
  • qYj

2

  • L =

X + 1

2

m

j=1

Y 2

j

◮ qX (x) = Xa (1, x) = d

dta

  • etX, x
  • t=0

◮ rY (x) = Y qY (x) = Y 2a (1, x) ◮ X = vector field induced by X ∈ g a(g, x) = log ρ(g, x)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-47
SLIDE 47

Controllability: Preliminaires

◮ intSΓ = ∅ if and only if Γ generates g. (Lie algebra rank condition.)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-48
SLIDE 48

Controllability: Preliminaires

◮ intSΓ = ∅ if and only if Γ generates g. (Lie algebra rank condition.) ◮ SΓ = G if and only if Sµt = G, t > 0.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-49
SLIDE 49

Controllability: Preliminaires

◮ intSΓ = ∅ if and only if Γ generates g. (Lie algebra rank condition.) ◮ SΓ = G if and only if Sµt = G, t > 0. ◮ rλ (t) = spectral radius of Uλ (µt) Lλ has a largest eigenvalue γλ rλ (t) = etγλ

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-50
SLIDE 50

Controllability: Theorem

◮ Under the Lie algebra rank condition SΓ = G if and only if λ → γλ is everywhere analytic.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-51
SLIDE 51

Controllability: Theorem

◮ Under the Lie algebra rank condition SΓ = G if and only if λ → γλ is everywhere analytic. ◮ Spectra Lλ (infinitesimal data) ← → Controllability

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-52
SLIDE 52

Semigroups in Sl (2, R)

Facts: ◮ Let S ⊂ Sl (2, R) be a semigroup with intS = ∅. Then S = Sl (2, R) if and only if S acts transitively on the projective line P1.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-53
SLIDE 53

Semigroups in Sl (2, R)

Facts: ◮ Let S ⊂ Sl (2, R) be a semigroup with intS = ∅. Then S = Sl (2, R) if and only if S acts transitively on the projective line P1. ◮ When S = Sl (2, R) (intS = ∅) there exists a unique proper closed subset C ⊂ P1 such that clSx = C for all x ∈ C. (Invariant control set.)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-54
SLIDE 54

Semigroups in Sl (2, R)

Facts: ◮ Let S ⊂ Sl (2, R) be a semigroup with intS = ∅. Then S = Sl (2, R) if and only if S acts transitively on the projective line P1. ◮ When S = Sl (2, R) (intS = ∅) there exists a unique proper closed subset C ⊂ P1 such that clSx = C for all x ∈ C. (Invariant control set.) ◮ There exists c > 0 such that gx x > c [x] ∈ C.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-55
SLIDE 55

Operators in the invariant control set

◮ Assume Sµ = Sl (2, R) and let C ⊂ P1 be its invariant control set.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-56
SLIDE 56

Operators in the invariant control set

◮ Assume Sµ = Sl (2, R) and let C ⊂ P1 be its invariant control set. ◮ Define UC

p (µ) f (x) =

  • G

ρp (g, x) f (gx) µ (dg) =

  • G

gxp xp f (gx) µ (dg) for the operator restricted to the Banach space of continuous functions C (C).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-57
SLIDE 57

Facts about the operators

◮ UC

p (µ) are positive compact operators in C (C).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-58
SLIDE 58

Facts about the operators

◮ UC

p (µ) are positive compact operators in C (C).

◮ Spectral radius r C

p of UC p (µ) is a (maximal) eigenvalue

with multiplicity 1. Because there is a strictly positive eigenfunction by irreducibility: clSµx = C all x ∈ C.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-59
SLIDE 59

Facts about the operators

◮ UC

p (µ) are positive compact operators in C (C).

◮ Spectral radius r C

p of UC p (µ) is a (maximal) eigenvalue

with multiplicity 1. Because there is a strictly positive eigenfunction by irreducibility: clSµx = C all x ∈ C. ◮ p → r C

p is analytic in the real line.

By pertubation theory of compact operators: multiplicity 1 = ⇒ analyticity.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-60
SLIDE 60

Facts about the operators

◮ γC (p) = log r C

p is a convex function:

γC (p) = lim 1 n log gxp xp µn (dg) any x ∈ C = lim 1 n log

  • UC

p

n . Moment Lyapunov Exponent

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-61
SLIDE 61

Facts about the operators

◮ γC (p) = log r C

p is a convex function:

γC (p) = lim 1 n log gxp xp µn (dg) any x ∈ C = lim 1 n log

  • UC

p

n . Moment Lyapunov Exponent ◮ By Gelfand formula r (T) = limn T n1/n and T = supx |T1(x)| if T is a positive operator.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-62
SLIDE 62

Shape of γC (p)

◮ γ′

C (0) > 0:

γ′

C (0) = lim 1

n log gnxp xp Top Lyapunov exponent (gn = random product)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-63
SLIDE 63

Shape of γC (p)

◮ γ′

C (0) > 0:

γ′

C (0) = lim 1

n log gnxp xp Top Lyapunov exponent (gn = random product) ◮ lim

p→−∞ γC (p) < 0

Property of the semigroup:

gx x > c if g ∈ Sµ and

[x] ∈ C.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-64
SLIDE 64

Shape of γC (p)

◮ .

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-65
SLIDE 65

Operators in P1

◮ Up (µ), rp = spectral radius, γ (p) = log rp

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-66
SLIDE 66

Operators in P1

◮ Up (µ), rp = spectral radius, γ (p) = log rp ◮ If Sµ = G there is no irreducibility. Existence of strictly positive eigenfunction and multiplicity 1 of rp is not immediate.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-67
SLIDE 67

Operators in P1

◮ Up (µ), rp = spectral radius, γ (p) = log rp ◮ If Sµ = G there is no irreducibility. Existence of strictly positive eigenfunction and multiplicity 1 of rp is not immediate. ◮ If p ∈ (−1, +∞) then there exists an eigenfunction fp, Up (µ) = rpfp with f > 0 in P1: fp (x) =

  • P1 |cos θ (x, y)|p νp (dy)

where νp is an eigenmeasure. Integrability is ensured only at p > −1.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-68
SLIDE 68

Shape of γ(p)

◮ If p ∈ (−1, +∞) then rp has multiplicity one and γ (p) = lim 1 n log gxp xp µn(dg) = γC(p).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-69
SLIDE 69

Shape of γ(p)

◮ If p ∈ (−1, +∞) then rp has multiplicity one and γ (p) = lim 1 n log gxp xp µn(dg) = γC(p). ◮ The adjoint of Up (µ) in L2 (P1) is Up (µ)∗ = U−p−2

  • µ−1

symmetry around −1. (µ−1 = ι∗ (µ), ι (g) = g −1)

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-70
SLIDE 70

Shape of γ(p)

◮ If p ∈ (−1, +∞) then rp has multiplicity one and γ (p) = lim 1 n log gxp xp µn(dg) = γC(p). ◮ The adjoint of Up (µ) in L2 (P1) is Up (µ)∗ = U−p−2

  • µ−1

symmetry around −1. (µ−1 = ι∗ (µ), ι (g) = g −1) ◮ The shape of γ (p) in the interval (−∞, −1) is symmetric-like to the shape in (−1, +∞). Applied to µ−1

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-71
SLIDE 71

Shape of γ(p)

◮ .

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-72
SLIDE 72

Shape of γ(p)

◮ . ◮ Analyticity fails at −1. And multiplicity is bigger thant 1.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-73
SLIDE 73

Semi-simple groups in general

◮ Key words: flag type of a semigroup with nonempty interior.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-74
SLIDE 74

Semi-simple groups in general

◮ Key words: flag type of a semigroup with nonempty interior. ◮ As in dim 2 in any flag manifold FΘ of g there is a unique invariant control set CΘ (clSx = CΘ for all x ∈ CΘ). ◮ There are flag manifolds where CΘ is contractible. hnC shrinks to a point.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-75
SLIDE 75

Semi-simple groups in general

◮ Key words: flag type of a semigroup with nonempty interior. ◮ As in dim 2 in any flag manifold FΘ of g there is a unique invariant control set CΘ (clSx = CΘ for all x ∈ CΘ). ◮ There are flag manifolds where CΘ is contractible. hnC shrinks to a point. ◮ The maximal one with this property is the flag type FΘ(S)

  • f S (intS = ∅ and S = G).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-76
SLIDE 76

Semi-simple groups in general

◮ In FΘ(S) there is the cocycle ρωΘ(S) (g, x) defined by g∗m = ρωΘ(S) (g −1, x) m where m is the unique K-invariant measure.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-77
SLIDE 77

Semi-simple groups in general

◮ In FΘ(S) there is the cocycle ρωΘ(S) (g, x) defined by g∗m = ρωΘ(S) (g −1, x) m where m is the unique K-invariant measure. ◮ For the operators UpωΘ(S) (µ) the behaviour of the spectral radius γ (p) = log rpωΘ(S) is analogous to the dim 2 case.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-78
SLIDE 78

Semi-simple groups in general

◮ In FΘ(S) there is the cocycle ρωΘ(S) (g, x) defined by g∗m = ρωΘ(S) (g −1, x) m where m is the unique K-invariant measure. ◮ For the operators UpωΘ(S) (µ) the behaviour of the spectral radius γ (p) = log rpωΘ(S) is analogous to the dim 2 case. ◮ Hence λ → rλ fails to be analytic at λ = −ωΘ(S).

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-79
SLIDE 79

Semi-simple groups in general

◮ In FΘ(S) there is the cocycle ρωΘ(S) (g, x) defined by g∗m = ρωΘ(S) (g −1, x) m where m is the unique K-invariant measure. ◮ For the operators UpωΘ(S) (µ) the behaviour of the spectral radius γ (p) = log rpωΘ(S) is analogous to the dim 2 case. ◮ Hence λ → rλ fails to be analytic at λ = −ωΘ(S). ◮ Lack of analyticity is read by the flag type of Sµ|.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-80
SLIDE 80

Comments

◮ This work was started with the objective of developing measure theoretic (probabilistic) tools to study semigroups in semi-simple Lie groups. The methods to study semigroups S with intS are mainly topological. Having a measure theoretic approach may open the possibility to study more general classes of semigroups and eventually get the concept of flag type of a semigroup in a more general context. For example Zariski dense semigroups in algebraic groups and eventually

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-81
SLIDE 81

Comments

◮ This work was started with the objective of developing measure theoretic (probabilistic) tools to study semigroups in semi-simple Lie groups. The methods to study semigroups S with intS are mainly topological. Having a measure theoretic approach may open the possibility to study more general classes of semigroups and eventually get the concept of flag type of a semigroup in a more general context. For example Zariski dense semigroups in algebraic groups and eventually ◮ The results obtained relating controllability (flag type) to spectral radii suggest applications of differential operator theory to controllability. Up to now only applications in the other direction.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-82
SLIDE 82

Examples of operators dim 2

◮ X = 1 −1

  • , Y =

−1 1

  • θ ∈ P1 = S1

λ = pλ1 Lp = d2 dθ2 + sin θ d dθ + p cos θ.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-83
SLIDE 83

Examples of operators dim 2

◮ X = 1 −1

  • , Y =

−1 1

  • θ ∈ P1 = S1

λ = pλ1 Lp = d2 dθ2 + sin θ d dθ + p cos θ. ◮ X = 1 −1

  • , Y =

1 1

  • .

Lp = senθ d dθ + cos2 θ d2 dθ2 − sen2θ 2 d dθ +psenθ d dθ + p

  • cos θ + cos2 θ
  • + p2sen2θ.

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second

slide-84
SLIDE 84

Examples of operators dim 2

◮ X = 1 −1

  • , Y =

1 1

  • coordinate system t → [(cosh t, sinh t)]:

d2 dt2 +

  • p2 sinh 2t

cosh 2t − 2 sinh 2t d dt +p 1 cosh 2t + p 4 cosh2 t + p22 sinh2 2t cosh2 2t

Luiz A. B. San Martin Semigroups in Semi-simple Lie Groups and Eigenvalues of Second