A generalized Morse index theorem, ,

1 Introduction

1.1 History

Let

(M, g)

be an

n

-dimensional Riemannian manifold. The classical Morse Index Theorem states that the number of conjugate points along a geodesic

γ : [a, b] \to M

counted with multiplicities is equal to the index of the second variation of the Riemannian action functional

E (c) = \frac{1}{2} \int_{a} s p b g (\dot{c}, \dot{c}) d t

at the critical point

γ

, where

\dot{c}

denotes

\frac{d}{d t} c

. Such second variation is called the index form for

E

γ

. The theorem has later been extended in several directions (see [1, 2, 14, 27, 28, 32, 33] for versions of this theorem in different contexts). In [14] of 1976, J. J. Duistermaat proved his general Morse index theorem for Lagrangian system with positive definite second order term and selfadjoint boundary conditions. In [1] of 1996, A. A. Agrachev and A. V. Sarychev studied the Morse index and rigidity of the abnormal sub-Riemannian geodesics. In [5, 6] of 1979, J. K. Beem and P. E. Ehrlich considered the semi-Riemannian case. Later in [19] of 1994, A. D. Helfer give a generalization. In [27, 28] of 2000, P. Piccione and D. V. Tausk proved a version of the Morse index theorem for geodesics in semi-Riemannian geodesics with both endpoints varies on two submanifolds of

M

under some nondegenerate conditions (cf. [28,Theorem6.4] ). However, such nondegenerate conditions is very difficult to remove. In [18] of 2003, Roberto Giambò, Paolo Piccione, Alessandro Portaluri was able to remove these conditions under the boundary condition of fixed endpoints. Their proof is rather technique and very difficult to generalize. In [35] of 2001, the author is able to solve these difficulty. However, the proof is rather technique and hard to follow. It is not clear how the author perturbs a given path of Fredholm self-adjoint operators to make it with only regular crossings in the degenerate case. In [15] of 1964, the higher even order case is considered by H. Edwards. He proved a version of Morse index theorem for the even order Hamiltonian systems on the closed interval with positive definite highest order term and special boundary condition.

1.2 Set up for regular Lagrangian systems

Let

M

be a smooth manifold of dimension

n

, points in its tangent bundle

T M

will be denoted by

(m, v)

, with

m \in M

v \in T_{m} M

. Let

f

be a real-valued

C s p 3

function on an open subset

Z

R \times T M

. Then

\begin{matrix} E (c) = \int_{0} s p T f (t, c (t), \dot{c} (t)) d t \end{matrix}

(1)

defines a real-valued

C s p 2

function

E

on the space of curves

\begin{matrix} C = {c \in C s p 1 ([0, T], M); (t, c (t), \dot{c} (t)) \in Z for all t \in [0, T]} . \end{matrix}

(2)

Equipped with the usual topology of uniform convergence of the curves and their derivatives, the set

C

has a

C s p 2

Banach manifold structure modelled on the Banach space

C s p 1 ([0, T], R s p n)

Boundary conditions will be introduced by restriction

E

to the set of curves

\begin{matrix} C_{N} = {c \in C; (c (0), c (T)) \in N}, \end{matrix}

(3)

where

N

is a given smooth submanifold of

M \times M

. The most familiar examples are

N = {m (0), m (T)}

and

N = {(m_{1}, m_{2}) \in M \times M; m_{1} = m_{2}}

. In the general case

C_{N}

is a smooth submanifold of

C

with its tangential space equal to

\begin{matrix} T_{c} C_{N} = {δ c \in C s p 1 ([0, T], c s p * T M); (δ c (0), δ c (T)) \in T_{(c (0), c (T))} N} . \end{matrix}

(4)

c \in C_{N}

is called a stationary curve for the boundary condition

N

if the restriction of

E

C_{N}

has a stationary point at

c

, i.e., if

D E (c) (δ c) = 0

for all

δ c \in T_{c} C_{N}

. For such a curve

c

is of class

C s p 2

Let

c \in C_{N}

be a stationary curve for the boundary condition

N

. Then the second order differential

D s p 2 E (c)

E

c

is symmetric bilinear form on

T_{c} C_{N}

, which is called the index form of

E

c

with respect to the boundary condition

N

. We want to understand the Morse index of this form, i.e. the maximal dimension of negative definite subspace of the space

T_{c} C_{N}

for the form

D s p 2 E (c)

. In general the Morse index of the form

D s p 2 E (c)

T_{c} C_{N}

will be infinite. In order to get a well-defined integer, we introduce the following concept.

Assume that

f

is a regular Lagrangian, that is,

\begin{matrix} D_{v} s p 2 f (t, m, v) is nondegenerate for all (t, m, v) \in Z . \end{matrix}

(5)

Here

D_{v}

denotes differential of functions on

Z

with respect to

v \in T_{m} M

, keeping

t

and

m

fixed.

The condition ( 5 ) is called the Legendre condition.

Let

H = H s p 1 (T_{c} C_{N})

be the

H s p 1

completion of

T_{c} C_{N}

. By Sobolev embedding theorem,

H \subset C ([0, T], c s p * T M)

. Then

D s p 2 E (c)

is well-defined on

H

. In local coordinates, we have

\begin{matrix} D s p 2 E (c) (X, Y) & = & \int_{0} s p T (D_{v} s p 2 f (\tilde{c} (t)) (\dot{α}, \dot{β}) + D_{m} D_{v} f (\tilde{c} (t)) (α, \dot{β}) \end{matrix}

\begin{matrix} + D_{v} D_{m} f (\tilde{c} (t)) (\dot{α}, β) + D_{m} s p 2 f (\tilde{c} (t)) (α, β)) d t, \end{matrix}

(6)

where

X, Y \in H

α

β

are the local coordinate expression of

X

Y

defined by

X = (α, \partial m)

Y = (β, \partial m)

\partial m

is the natural frame of

T_{m} M

, and we use the abbreviation

\tilde{c} (t) = (t, c (t), \dot{c} (t)) .

In general

\partial m

and

α

is not globally well-defined along the curve

c

. Choose a

C s p 1

frame

e

T_{c} C_{N}

. Such a frame can be obtained by the parallel transformation of the induced connection on

c s p * T M

of a connection on

T M

(for example, the Levi-Civita connection with respect to the semi-Riemannian metric on

M

). Then in local coordinates, there is a

C s p 1

path

a (t) \in G L (n, R)

such that

\partial m

c (t)

is the pairing

(a (t), e (t))

. Note that

a (t)

is only locally defined in general.

Then the vector fields

X, Y \in H

along

c

can be written as

X = (x, e)

Y = (y, e)

, where

x, y \in H s p 1 ([0, T], R s p n)

and

((x (0), x (T)), (y (0), y (T)) \in R

R

is defined by

R = {(x, y) \in R s p 2 n; ((x, e (0)), (y, e (T))) \in T_{(c (0), c (T))} N} .

So we have

\begin{matrix} x = a α, \dot{x} = a \dot{α} + \dot{a} α, y = a β, \dot{y} = a \dot{β} + \dot{a} β . \end{matrix}

(7)

Substitute ( 7 ) to ( 6 ), we get the following form of the index form:

\begin{matrix} D s p 2 E (c) (X, Y) = \int_{0} s p T (〈 p \dot{x} + q x, \dot{y} 〉 + 〈 q s p * \dot{x}, y 〉 + 〈 r x, y 〉) d t, \end{matrix}

(8)

where

p, q, r \in C ([0, T], g l (n, R))

p

is of class

C s p 1

p (t) = p s p * (t)

r (t) = r s p * (t)

p (t)

are invertible for all

t \in [0, T]

, and

*

denotes the conjugate transpose.

Now define

\begin{matrix} ℐ_{s, R} (x, y) = \int_{0} s p T (〈 p \dot{x} + s q x, \dot{y} 〉 + 〈 s q s p * \dot{x}, y 〉 + 〈 s r x, y 〉) d t, s \in [0, 1], \end{matrix}

(9)

where

x, y \in H s p 1 ([0, T], R s p n)

and

((x (0), x (T)), ((y (0), y (T)) \in R

. Since

p

is of class

C s p 1

and

p (t)

are nondegenerate, we can associate the path

ℐ_{s, R}

with a well-defined finite integer, the spectral flow

s f {ℐ_{s, R}}

. Then we can define the relative Morse index

I (ℐ_{0, R}, ℐ_{1, R})

to be

- s f {ℐ_{s, R}}

When

p

is positive definite,

I (ℐ_{0, R}, ℐ_{1, R})

is the Morse index of

D s p 2 E (c)

. Note that the forms

ℐ_{s, R}

will depend on the choice of the frame

e

1.3 The highlights of the paper

This paper can be viewed as the revised version of [35] . In this paper, we will prove a general version of Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable selfadjoint boundary conditions. The highest order term is assumed to be nondegenerate. As a special case, we prove the Morse index theorem for regular Lagrangian system with selfadjoint boundary conditions. Note that the index form (see ( 7 ) below) will takes different forms under different choices of the frames

e

. Then we show how the indices varies under such choices.

Our approach is inspired by the recent papers [9, 10] of B. Booss-Bavnbek and the author.

We do not use perturbation method. Our main results can be viewed as pretty much simple restatement of [28,Theorem6.4] and [18,Theorem4.9] in their cases. Our index theorem does not contain any assumption on nondegeneracy for the index form. Moreover, we consider the spectral flow of the paths connected two given index forms. The index forms in such a path is in general not a compact perturbation of a given index form. Such phenomenal occurs when we consider the connected trajectories between two geodesics on the manifold. These highlights make it easy to apply our index theorem in the variational problems.

Our paper is arranged as follows. In §1, we give the background of the problem. In §2, we state our main results. In §3, we discuss the properties of the spectral flow. In §3, we discuss the properties of the Maslov indices. In §5, we prove our main results. In this paper,

dim

denotes the complex dimension if no special description.

2 Main results

We shall consider the general case of even order linear Hamiltonian systems. We will consider the complex case. The real case is a obvious consequence of the complex case.

Let

m, n \in Z s p +

be positive integers, and

T \in R s p +

be a positive real number. Let

p_{k, l} (s, t) \in g l (n, C)

(s, t) \in [0, 1] \times [0, T]

(m + 1) s p 2

continuous families of matrices, where

k, l = 0, \dots, m

. Assume that for all

(s, t) \in [0, 1] \times [0, T]

p_{s} (t) = (p_{m - k, m - l} (s, t))_{k, l = 0, \dots, m} \in g l ((m + 1) n, C)

are selfadjoint, and

p_{m, m} (s, t)

are nondegenerate. Assume further that for all

s \in [0, 1]

and

k, l = 0 \dots, m

p_{k, l} (s, \cdot) \in C s p max {k, l} ([0, T], g l (n, C))

. Then we have a continuous family of quadratic forms

\begin{matrix} ℐ_{s} (x, y) = \int_{0} s p T (\sum_{k, l = 0} s p m 〈 p_{k, l} (s, t) \frac{d s p l}{d t s p l} x, \frac{d s p k}{d t s p k} y 〉) d t, \forall x, y \in H s p m ([0, T]; C s p n) . \end{matrix}

(10)

Here

〈 \cdot, \cdot 〉

denotes the standard Hermitian inner product in

C s p n

, and the norm of the Sobolev space

H s p m ([0, T]; C s p n)

is defined by

〈 x, y 〉_{m} = \int_{0} s p T (\sum_{k = 0} s p m 〈 \frac{d s p k}{d t s p k} x, \frac{d s p k}{d t s p k} y 〉) d t, \forall x, y \in H s p m ([0, T]; C s p n) .

Then we define the boundary condition. Let

R \subset C s p 2 m n

be a given linear subspace. Define

\begin{matrix} H_{R} = {x \in H s p m ([0, T]; C s p n); (\frac{d s p m - 1}{d t s p m - 1} x (0), \dots, x (0), \frac{d s p m - 1}{d t s p m - 1} x (T), \dots, x (T)) \in R} . \end{matrix}

(11)

Let

ℐ_{s, R}

be the restriction of

ℐ_{s}

H_{R}

. The central problem in this paper is to understand the Morse index of the form

ℐ_{1, R}

, i.e. the maximal dimension of negative definite subspace of the form

ℐ_{1, R}

. As in § 1.2 , we shall use the minus spectral flow

- s f {ℐ_{s, R}}

as the ”difference” between the ”Morse indices” of the forms

ℐ_{1, R}

and

ℐ_{0, R}

Let

L_{s}

be the unbounded operator on

L s p 2 ([0, T]; C s p n)

with domain

H s p 2 m ([0, T]; C s p n)

defined by

\begin{matrix} (L_{s} x) (t) = \sum_{k, l = 0} s p m (- 1) s p k \frac{d s p k}{d t s p k} (p_{k, l} (s, t) \frac{d s p l}{d t s p l} x (t)), \forall x \in H s p 2 m ([0, T]; C s p n) . \end{matrix}

(12)

Define

R s p 2 m, b

and

W_{2 m} (R)

\begin{matrix} R s p 2 m, b & = & {(x_{1}, \dots, x_{2 m}) \in C s p 2 m n; \sum_{k = 1} s p m (- 1) s p k - 1 〈 x_{k}, y_{m - k + 1} 〉 \end{matrix}

\begin{matrix} + \sum_{k = m + 1} s p 2 m (- 1) s p k - m 〈 x_{k}, y_{3 m - k + 1} 〉 = 0 for all (y_{1}, \dots, y_{2 m}) \in R}, \end{matrix}

(13)

\begin{matrix} W_{2 m} (R) & = & {(x_{1}, x_{2}, x_{3}, x_{4}) \in C s p 4 m n; x_{1}, x_{2}, x_{3}, x_{4} \in C s p m n, (x_{1}, x_{3}) \in R s p 2 m, b, (x_{2}, x_{4}) \in R} . \end{matrix}

(14)

For each

x \in H s p 2 m ([0, T]; C s p n)

, let

u_{p_{s}, x} \in H s p 1 ([0, T]; C s p 2 m n)

{\tilde{u}}_{p_{s}, x}

and

u_{p_{s}, x} s p k

k = 0, \dots, 2 m

be defined by

\begin{matrix} u_{p_{s}, x} (t) & = & (u_{p_{s}, x} s p 2 m - 1 (t), \dots, u_{p_{s}, x} s p 0 (t)), \end{matrix}

\begin{matrix} u_{p_{s}, x} s p k (t) & = & \frac{d s p k}{d t s p k} x (t), k = 0, \dots, m - 1, \end{matrix}

\begin{matrix} u_{p_{s}, x} s p k (t) & = & \sum_{2 m - k \leq α \leq m, 0 \leq β \leq m} (- 1) s p α - m \frac{d s p α + k - 2 m}{d t s p α + k - 2 m} (p_{α, β} (s, t) \frac{d s p β}{d t s p β} x (t)), k = m, \dots, 2 m . \end{matrix}

(15)

Let

L_{s, W_{2 m} (R)}

be the restriction of

L_{s}

on the domain

{x \in H s p 2 m ([0, T]; C s p n); (u_{p_{s}, x} (0), u_{p_{s}, x} (T)) \in W_{2 m} (R)} .

By Lemma 3.5 of [10] ,

L_{s, W_{2 m} (R)}

0 \leq s \leq 1

is a continuous family (in the gap norm sense) of unbounded selfadjoint Fredholm operators. Again we associate the path with the minus spectral flow

- s f {L_{s, W_{2 m} (R)}}

Let

J_{2 m, n} \in G L (2 m n, C)

be the matrix

(j_{k, l})_{k, l = 0, \dots, 2 m - 1}

, where

j_{k, l} = 0_{n}

for

k + l \neq 2 m - 1

j_{k, l} = (- 1) s p k + m I_{n}

for

k + l = 2 m - 1

, and we denote by

I_{n}

and

0_{n}

the identity matrix and the zero matrix on

C s p n

respectively. When there is no confusion, we will omit the subindex

n

I_{n}

and

0_{n}

. Set

{\bar{u}}_{p_{s}, x} = (u s p m_{p_{s}, x}, \dots, u s p 0_{p_{s}, x}), {\bar{u}}_{0, x} = (\frac{d s p m}{d t s p m} x, \dots, x) .

From ( 15 ), we can define the matrices

U (p_{s} (t))

and

V (p_{s} (t))

for each

(s, t) \in [0, 1] \times [0, T]

\begin{matrix} {\bar{u}}_{p_{s}, x} (t) = U (p_{s} (t)) {\bar{u}}_{0, x} (t), {\bar{u}}_{0, x} (t) = V (p_{s} (t)) {\bar{u}}_{p_{s}, x} (t) . \end{matrix}

(16)

Let

Θ_{2 m, n} \in g l (2 m n, C)

be the matrix

(θ_{k, l})_{k, l = 0, \dots, 2 m - 1}

, where

θ_{k, l} = 0_{n}

for

k + l \neq 2 m - 2

or one of

k = l = m - 1

θ_{k, l} = (- 1) s p k + m + 1 I_{n}

for

k + l = 2 m - 2

and

k, l \neq m - 1

. For each

(s, t) \in [0, 1] \times [0, T]

, define the matrices

P (p_{s} (t))

and

b (p_{s} (t))

g l ((m + 1) n, C)

\begin{matrix} P (p_{s} (t)) & = & (P_{k, l} (s, t))_{k, l = 0, \dots, m} \end{matrix}

(17)

\begin{matrix} b (p_{s} (t)) & = & Θ_{2 m, n} + d i a g (0_{(m - 1) n}, P (p_{s} (t))), \end{matrix}

(18)

where

\begin{matrix} P_{0, 0} (s, t) & = & p_{m, m} (s, t) s p - 1, \end{matrix}

\begin{matrix} P_{0, l} (s, t) & = & - p_{m, m} (s, t) s p - 1 p_{m, m - l} (s, t), \end{matrix}

\begin{matrix} P_{k, 0} (s, t) & = & - p_{m - k, m} (s, t) p_{m, m} (s, t) s p - 1, \end{matrix}

\begin{matrix} P_{k, l} (s, t) & = & p_{m - k, m - l} (s, t) - p_{m - k, m} (s, t) p_{m, m} (s, t) s p - 1 p_{m, m - l} (s, t) \end{matrix}

for

k, l = 1, \dots, m

, and we denote by

A s p *

the conjugate transpose of

A

. For each

s \in [0, 1]

, let

γ_{p_{s}} (t)

be the fundamental solution of the linear Hamiltonian system

\begin{matrix} \dot{u} = J_{2 m, n} b (p_{s}) u . \end{matrix}

(19)

Then

γ_{p_{s}} (t)

are symplectic matrices. Then we can associate the symplectic path

γ_{p_{s}} (t)

0 \leq t \leq T

with the Maslov-type index

i_{W_{2 m} (R)} (γ_{p_{s}})

for each

s \in [0, 1]

We want to address the following problems for even order case in this paper:

∙ give the relationship between the integers $- s f {ℐ_{s, R}}$ , $- s f {L_{s, W_{2 m} (R)}}$ and $i_{W_{2 m} (R)} (γ_{p_{s}})$ for $0 \leq s \leq 1$ ;
∙ calculate $i_{W_{2 m} (R)} (γ_{p_{0}})$ for $p_{0} (t) = d i a g (p_{0, 0} (0, t), 0_{m n})$ ;
∙ for two different choices of the frame $e$ , the resulted index form $ℐ_{s, R}$ defined by ( 9 ) will have different forms. In this case, calculate the difference between the resulted integers $i_{W_{2} (R)} (γ_{p_{1}})$ .

The following three theorems solve the above problems.

Theorem 2.1 Let

s f {ℐ_{s, R}, 0 \leq s \leq 1}

be the spectral flow of

ℐ_{s, R}

s f {L_{s, W_{2 m} (R)}, 0 \leq s \leq 1}

be the spectral flow of

L_{s, W_{2 m} (R)}

, and

i_{W_{2 m} (R)} (γ_{p_{s}})

be the Maslov-type index of

γ_{p_{s}}

defined below.

Then we have

\begin{matrix} - s f {ℐ_{s, R}, 0 \leq s \leq 1} = - s f {L_{s, W_{2 m} (R)}, 0 \leq s \leq 1} = i_{W_{2 m} (R)} (γ_{p_{1}}) - i_{W_{2 m} (R)} (γ_{p_{0}}) . \end{matrix}

(20)

Assume that

p_{0} (t) = d i a g (p_{m, m} (0, t), 0_{m n})

for all

t \in [0, T]

. Then we have

(P (p_{0})) (t) = (p_{0} (t)) s p - 1

b (p_{0}) (t) = (b_{k, l} (t))_{k, l = 0, \dots, 2 m - 1}

, and

γ_{p_{0}} (t) = (γ_{k, l} (t))_{k, l = 0, \dots, 2 m - 1}

, where

b_{k, l} (t) = 0_{n}

for

k - l \neq 1

b_{k, l} (t) = I_{n}

for

k - l = 1

and

k \neq m

b_{m, m - 1} (t) = (p_{m, m} (0, t)) s p - 1

γ_{k, l} (t) = 0

for

k < l

γ_{k, l} (t) = \frac{t s p k - l}{(k - l)!} I_{n}

for

k \geq l

and

k \leq m - 1

, or

k \geq l

and

l \geq m

, and

\begin{matrix} γ_{k, l} (t) & = & \frac{1}{(m - l - 1)!} \int_{0} s p t d t_{k - m} \int_{0} s p t_{k - m} d t_{k - m - 1} \dots \int_{0} s p t_{1} t_{0} s p m - l - 1 (p_{m, m} (0, t_{0})) s p - 1 d t_{0} \end{matrix}

\begin{matrix} = & \frac{1}{(k - m)! (m - l - 1)!} \int_{0} s p t s s p m - l - 1 (t - s) s p k - m (p_{m, m} (0, s)) s p - 1 d s \end{matrix}

for

k \geq m

and

l \leq m - 1

The form of our symplectic path

γ_{p_{0}} (t)

looks rather complicated. We will consider the following more general situation to simplify our problem.

Let

K \in G L (n, C)

. Set

J_{K} = 0 - K s p * K 0

. Then

(C s p 2 n, 〈 J_{K} \cdot, \cdot 〉)

is a symplectic space. Let

γ (t) = M_{1, 1} (t) 0 M_{2, 1} (t) M_{2, 2} (t)

0 \leq t \leq T

be a path in

G L (2 n, C)

with

M_{2, 2} (t) s p * K M_{1, 1} (t) = K

and

M_{1, 1} (t) s p * K s p * M_{2, 1} (t)

self-adjoint for each

t \in [0, T]

. Then

γ (t)

is a symplectic path, i.e.,

γ (t) s p * J_{K} γ (t) = J_{K}

. Let

R \subset C s p 2 m n

be a given linear subspace. Define

R s p K

and

W_{K} (R)

\begin{matrix} R s p K & = & {(x_{1}, x_{2}) \in C s p 2 n; 〈 K x_{1}, y_{1} 〉 - 〈 K x_{2}, y_{2} 〉 = 0 for all (y_{1}, y_{2}) \in R}, \end{matrix}

(21)

\begin{matrix} W_{K} (R) & = & {(x_{1}, x_{2}, x_{3}, x_{4}) \in C s p 4 n; x_{1}, x_{2}, x_{3}, x_{4} \in C s p n, (x_{1}, x_{3}) \in R s p K, (x_{2}, x_{4}) \in R} . \end{matrix}

(22)

Theorem 2.2 For the syplectic path

γ

and the Lagrangian space

W_{K} (R)

defined above, we have

\begin{matrix} dim (G r (γ (t)) \cap W_{K} (R)) & = & dim ker ((M_{1, 1} (T) s p * K s p * M_{2, 1} (t)) |_{S (t)}) + dim S (t) \end{matrix}

\begin{matrix} + dim (G r (I_{m n}) \cap R) - dim (G r (I_{m n}) \cap R s p K), \end{matrix}

(23)

\begin{matrix} i_{W_{K} (R)} (γ) & = & m s p + ((M_{1, 1} (T) s p * K s p * M_{2, 1} (T)) |_{S (T)}) \end{matrix}

\begin{matrix} - m s p + ((M_{1, 1} (0) s p * K s p * M_{2, 1} (0)) |_{S (0)}) \end{matrix}

\begin{matrix} + dim S (0) - dim S (T) . \end{matrix}

(24)

where

m s p +

denotes the Morse positive index, and

S (t) = {x \in C s p n; (x, M_{1, 1} (t) x) \in R s p K} .

In our case, set

K_{m, n} = (k_{k, l})_{k, l = 0, \dots, m - 1}

, where

k_{k, l} = 0_{n}

for

k + l \neq m - 1

k_{k, l} = (- 1) s p l I_{n}

for

k + l = m - 1

. Then we have

R s p K_{m, n} = R s p 2 m, b

and

W_{2 m} (R) = W_{K_{m, n}} (R)

. Moreover for the symplectic path

γ = γ_{p (0)}

, we have

\begin{matrix} M_{1, 1} (T) s p * K_{m, n} s p * M_{2, 1} (T) = {(\frac{1}{(m - k - 1)! (m - l - 1)!} \int_{0} s p T t s p 2 m - k - l - 2 (p_{m, m} (0, t)) s p - 1 d t)}_{k, l = 0, \dots, m - 1} . \end{matrix}

(25)

As a special case, we get the following higher order generalization of theorem of J. J. Duistermaat [14] .

Corollary 2.1 Assume that

p_{m, m} (1, t)

is positive definite for each

t \in [0, T]

. Set

p_{0} (t) = d i a g (p_{m, m} (1, t), 0_{m n})

. Then we have

\begin{matrix} m s p - (ℐ_{1, R}) = m s p - (L_{1, W_{2 m} (R)}) = i_{W_{2 m} (R)} (γ_{p_{1}}) - dim S, \end{matrix}

(26)

where

m s p -

denotes the Morse (negative) index, and

\begin{matrix} γ_{p_{0}} (t) & = & (\begin{matrix} M_{1, 1} (t) & 0 \\ M_{2, 1} (t) & M_{2, 2} (t) \end{matrix}), \end{matrix}

\begin{matrix} S & = & {x \in C s p m n; (x, x) \in R s p 2 m, b} . \end{matrix}

Now we consider the third problem. Then

m = 1

and everything is real. Let

a (t)

be a

C s p 1

path in

G L (n, R)

, and

R s p^{'} = {(x, y) \in R s p 2 n; (a (0) x, a (T) y) \in R} .

After the change of the frame

e \mapsto a s p * - 1 e

, we have

x \mapsto a x

and the quadratic form

ℐ_{1, R}

is changed to the restriction of the form

ℐ_{1} (a x, a y)

H_{R s p^{'}}

. Then we get the corresponding

p s p^{'}

q s p^{'}

and

r s p^{'}

. Set

p_{1} = p q q s p * r

and

p_{1} s p^{'} = p s p^{'} q s p^{'} (q s p^{'}) s p * r s p^{'}

. Let

γ_{p_{1}}

and

γ_{p_{1} s p^{'}}

be defined by ( 19 ). Then we can prove

\begin{matrix} γ_{p_{1} s p^{'}} = d i a g (a s p *, a s p - 1) γ_{p_{1}} d i a g (a (0) s p * - 1, a (0)) . \end{matrix}

(27)

Theorem 2.3 Let

a (t)

0 \leq t \leq T

be a path in

G L (n, C)

, and

R s p^{'} = {(x, y) \in C s p 2 n; (a (0) x, a (T) y) \in R} .

Let

γ

be a symplectic path, i.e.,

γ (t) s p * J_{2, n} γ (t) = J_{2, n}

for all

0 \leq t \leq T

. Define the symplectic path

γ s p^{'}

\begin{matrix} γ s p^{'} = d i a g (a s p *, a s p - 1) γ_{p_{1}} d i a g (a (0) s p * - 1, a (0)) . \end{matrix}

(28)

Then we have

\begin{matrix} i_{W_{2} (R s p^{'})} (γ s p^{'}) - i_{W_{2} (R)} (γ) = dim (G r (I_{n}) \cap (R s p^{'}) s p 2, b)) - dim (G r (I_{n}) \cap R s p 2, b) . \end{matrix}

(29)

3 Spectral flow

3.1 Definition of the spectral flow

Roughly speaking, the spectral flow counts the net number of eigenvalues changing from the negative real half axis to the non-negative one. The definition goes back to a famous paper by M. Atiyah, V. Patodi, and I. Singer [4] , and was made rigorous by J. Phillips [26] for continuous paths of bounded self-adjoint Fredholm operators, by C. Zhu and Y. Long [36] in various non-self-adjoint cases, and by B. Booss-Bavnbek, M. Lesch, and J. Phillips [8] in the unbounded self-adjoint case.

Let

X

be a complex Hilbert space. For a self-adjoint Fredholm operator

A

X

, there exists a unique orthogonal decomposition

\begin{matrix} X = X s p + (A) \oplus X s p 0 (A) \oplus X s p - (A) \end{matrix}

(30)

such that

X s p + (A)

X s p 0 (A)

and

X s p - (A)

are invariant subspaces associated to

A

, and

A |_{X s p + (A)}

A |_{X s p 0 (A)}

and

A |_{X s p - (A)}

are positive definite, zero and negative definite respectively.

We introduce vanishing, natural, or infinite numbers

m s p + (A) : = dim X s p + (A), m s p 0 (A) : = dim X s p 0 (A), m s p - (A) : = dim X s p - (A),

and call them Morse positive index, nullity and Morse index of

A

respectively. For finite-dimensional

X

, the signature of

A

is defined by

s i g n (A) = m s p + (A) - m s p - (A)

which yields an integer. The APS projection

Q_{A}

(where APS stands for Atiyah-Patodi-Singer) is defined by

Q_{A} (x s p + + x s p 0 + x s p -) : = x s p + + x s p 0,

for all

x s p + \in X s p + (A), x_{0} \in X s p 0 (A), x s p - \in X s p - (A)

Let

{A_{s}}

0 \leq s \leq 1

be a continuous family of self-adjoint Fredholm operators. The spectral flow

s f {A_{s}}

of the family should be equal to

m s p - (A_{0}) - m s p - (A_{1})

dim X < + \infty

. We will generalize this definition to general Banach space

X

and general continuous family of admissible operators defined below.

Let

X

be a complex Banach space. We denote the set of closed operators, bounded linear operators and compact linear operators on

X

C (X)

ℬ (X)

and

C ℒ (X)

respectively. We will denote the spectrum, the regular set and the domain of an operator

A \in C (X)

σ (A)

ρ (A)

and

d o m (A)

respectively. Let

N

be an bounded open subset of

C

and

A \in C (X)

. If there exists an bounded open subset

\tilde{N} \subset N

with

C s p 1

boundary

\partial \tilde{N}

such that

\partial \tilde{N} \cap σ (A) = \emptyset

and

N \cap σ (A) \subset \tilde{N}

, we define the spectral projection

P (A, N)

P (A, N) : = - \frac{1}{2 π \sqrt{- 1}} \int_{\partial \tilde{N}} (A - ζ I) s p - 1 d ζ .

The orientation of

\partial \tilde{N}

is chosen to make

\tilde{N}

stays in the left side of

\partial \tilde{N}

Inspired by [26] , we find that the necessary data for defining the spectral flow are the following:

∙ a co-oriented bounded real $1$ -dimensional regular $C s p 1$ submanifold $ℓ$ of $C$ without boundary (we call such an $ℓ$ admissible, and denote by $ℓ \in A (C)$ );
∙ a complex Banach space $X$ (for a real one $X$ , we consider $X \otimes C$ );
∙ and a continuous family (in the gap norm sense) of admissible operators $A_{s}$ , $0 \leq s \leq 1$ in $A_{ℓ} (X)$ .

Here we define

A \in C (X)

to be admissible with respect to

ℓ

, if there exists a bounded open neighbourhood

N

ℓ

C

with

C s p 1

boundary

\partial N

such that (i)

\partial N \cap σ (A) = \emptyset

; (ii)

N \cap σ (A) \subset ℓ

is a finite set; and (iii)

P s p 0_{ℓ} (A) : = P (A, N)

is a finite rank projection.

We call

ν_{h, ℓ} (A) : = dim i m P s p 0_{ℓ} (A)

the hyperbolic nullity of

A

with respect to

ℓ

. We denote by

A_{ℓ} (X)

the set of closed admissible operators with respect to

ℓ

. It is an open subset of

C (X)

Example 3.1 a) In the self-adjoint case,

ℓ = \sqrt{- 1} (- ε, ε)

(

ε > 0

) with co-orientation from left to right. Then a self-adjoint operator

A

is admissible with respect to

ℓ

if and only if

A

is Fredholm. b) Another important case is that

ℓ = (1 - ε, 1 + ε)

(

ε \in (0, 1)

) with co-orientation from downward to upward, and all

A_{s}

unitary. A unitary operator

A

is admissible with respect to

ℓ

if and only if

A - I

is Fredholm.

Similarly as the definition in [26, 36] , we can define the spectral flow

s f_{ℓ} {A_{s}}

as follows. It counts the number of spectral lines of

A_{s}

coming from the negative side of

ℓ

to the non-negative side of

ℓ

For each

t \in [0, 1]

, there exist bounded open subsets

N_{t}

N_{t} s p \pm

C

such that

σ (A_{t}) \cap \partial N_{t} = \emptyset

σ (A_{t}) \cap \bar{ℓ} \subset N_{t} \cap ℓ

N_{t} = N_{t} s p + \cup (N_{t} \cap ℓ) \cup N_{t} s p -

N_{t} s p \pm

stays in the positive (negative) side of

ℓ

near

N_{t} \cap ℓ

, and

P (A_{t}, N_{t})

is a finite rank projection. Here we denote by

\bar{ℓ}

the closure of

ℓ

C

. Then

σ (A_{t}) \cap (\partial N_{t} \cup (\bar{ℓ} \ (N_{t} \cap ℓ))) = \emptyset

. The set

(\partial N_{t} \cup (\bar{ℓ} \ (N_{t} \cap ℓ))

is compact since it is a bounded closed set. Since the family

{A_{s}}

0 \leq s \leq 1

is continuous, there exists a

δ (t) > 0

for each

t \in [0, 1]

such that

σ (A_{s}) \cap (\partial N_{t} \cup (\bar{ℓ} \ (N_{t} \cap ℓ))) = \emptyset for all s \in (t - δ (t), t + δ (t)) \cap [0, 1] .

Then

σ (A_{s}) \cap \bar{ℓ} \subset N_{t} \cap ℓ

, and

{P (A_{s}, N_{t})}_{s \in (t - δ (t), t + δ (t)) \cap [0, 1]} for fixed t \in [0, 1],

is a continuous family of projections. By Lemma I.4.10 in Kato [21] , the operators in the family have the same rank. Since

[0, 1]

is compact, there exist a partition

0 = s_{0} < \dots < s_{n} = 1

and

t_{k} \in [s_{k}, s_{k + 1}]

k = 0, \dots, n - 1

such that

[s_{k}, s_{k + 1}] \subset (t_{k} - δ (t_{k}), t_{k} + δ (t_{k}))

for each

k = 0, \dots, n - 1

Definition 3.1 Let

ℓ \in A (C)

be admissible and let

{A_{s}}

0 \leq s \leq 1

be a curve in

A_{ℓ} (X)

The spectral flow

s f_{ℓ} {A_{s}}

of the family

{A_{s}}

0 \leq s \leq 1

with respect to the curve

ℓ

is defined by

\begin{matrix} s f_{ℓ} {A_{s}} = \sum_{k = 0} s p n - 1 (dim i m P (A_{s_{k}}, N s p -_{t_{k}}) - dim i m P (A_{s_{k + 1}}, N s p -_{t_{k}})) . \end{matrix}

(31)

The spectral flow has the following properties (cf. [26] and Lemma 2.6 and Proposition 2.2 in [36] ).

Proposition 3.1 Let

ℓ \in A (C)

be admissible and let

{A_{s}}

0 \leq s \leq 1

be a curve in

A_{ℓ} (X)

Then the spectral flow

s f_{ℓ} {A_{s}}

is well-defined, and the following properties hold:

(i) Catenation. Assume

t \in [0, 1]

. Then we have

\begin{matrix} s f_{ℓ} {A_{s}; 0 \leq s \leq t} + s f_{ℓ} {A_{s}; t \leq s \leq 1} = s f_{ℓ} {A_{s}; 0 \leq s \leq 1} . \end{matrix}

(32)

(ii) Homotopy invariance. Let

A (s, t)

(s, t) \in [0, 1] \times [0, 1]

be a continuous family in

A_{ℓ} (X)

. Then we have

\begin{matrix} s f_{ℓ} {A (s, t); (s, t) \in \partial ([0, 1] \times [0, 1])} = 0 . \end{matrix}

(33)

(iii) Endpoint dependence for Riesz continuity. Let

ℬ s p s a (X)

, respectively

C s p s a (X)

denote the spaces of bounded, respectively closed self-adjoint operators in

X

. Let

\begin{matrix} R & : & C s p s a & \to & ℬ s p s a (X) \end{matrix}

\begin{matrix} A & \mapsto & A (A s p 2 + I) s p - \frac{1}{2} \end{matrix}

denote the Riesz transformation. Let

A_{s} \in C s p s a (X)

for

s \in [0, 1]

. Assume that

{R (A_{s})}

is a continuous family. If

m s p - (A_{0}) < + \infty

, then

m s p - (A_{1}) < + \infty

and we have

\begin{matrix} s f {A_{s}} = m s p - (A_{0}) - m s p - (A_{1}) . \end{matrix}

(34)

(iv) Product. Let

{P_{s}}

be a curve of projections on

X

such that

P_{s} A_{s} \subset A_{s} P_{s}

for all

s \in [0, 1]

. Set

Q_{s} = I - P_{s}

. Then we have

P_{s} A_{s} P_{s} \in A_{ℓ} (i m P_{s}) \subset C (i m P_{s})

Q_{s} A_{s} Q_{s} \in A_{ℓ} (i m Q_{s}) \subset C (i m Q_{s})

, and

\begin{matrix} s f_{ℓ} {A_{s}} = s f_{ℓ} {P_{s} A_{s} P_{s}} + s f_{ℓ} {Q_{s} A_{s} Q_{s}} . \end{matrix}

(35)

(v) Bound. For

A \in A_{ℓ} (X)

, there exists a neighbourhood

N

A

C (X)

such that

N \subset A_{ℓ} (X)

, and for curves

{A_{s}}

N

with endpoints

A_{0} = : A

and

A_{1} = : B

, the relative Morse index

I_{ℓ} (A, B) : = - s f_{ℓ} {A_{s}, 0; \leq s \leq 1}

is well defined and satisfies

\begin{matrix} 0 \leq I_{ℓ} (A, B) \leq ν_{h, ℓ} (A) - ν_{h, ℓ} (B) . \end{matrix}

(36)

(vi) Reverse orientation. Let

\hat{ℓ}

denote the curve

ℓ

with opposite co-orientation. Then we have

\begin{matrix} s f_{ℓ} {A_{s}} + s f_{\hat{ℓ}} {A_{s}} = ν_{h, ℓ} (A_{1}) - ν_{h, ℓ} (A_{0}) . \end{matrix}

(37)

(vii) Zero. Suppose that $ν_{h, ℓ} (A_{s})$ is constant for $s \in [0, 1]$ . Then $s f_{ℓ} {A_{s}} = 0$ .

(viii) Invariance. Let

{T_{s}}_{s \in [0, 1]}

be a curve of bounded invertible operators. Then we have

\begin{matrix} s f_{ℓ} {T_{s} s p - 1 A_{s} T_{s}} = s f_{ℓ} {A_{s}} . \end{matrix}

(38)

Proof. We shall only prove the spectral flow is well-defined. The proof for the rest of the proposition is the same as that in [26] and Lemma 2.6 and Proposition 2.2 in [36] and is omitted.

Since two different partitions of

[0, 1]

has a common refinement, we only need to prove the following local result:

Claim. Let

N_{l}

N_{l} s p \pm

l = 1, 2

be open subsets in

C

. Assume that for all

s \in [0, 1]

and

l = 1, 2

, we have

σ (A_{s}) \cap \partial N_{l} = \emptyset

σ (A_{s}) \cap \bar{ℓ} \subset N_{l} \cap ℓ

N_{l} = N_{l} s p + \cup (N_{l} \cap ℓ) \cup N_{l} s p -

N_{l} s p \pm

stays in the positive (negative) side of

ℓ

near

N_{l} \cap ℓ

, and

P (A_{s}, N_{l})

is a finite rank projection.

Then we have

dim i m P (A_{0}, N_{1} s p -) - dim i m P (A_{1}, N_{1} s p -) = dim i m P (A_{0}, N_{2} s p -) - dim i m P (A_{1}, N_{2} s p -) .

In fact, our assumptions implies

σ (A_{s}) \cap \partial (N_{1} s p - \ N_{2} s p -) = σ (A_{s}) \cap \partial (N_{2} s p - \ N_{1} s p -) = \emptyset .

Then

P (A_{s}, N_{1} s p - \ N_{2} s p -)

and

P (A_{s}, N_{2} s p - \ N_{1} s p -)

s \in [0, 1]

are continuous family of projections. By Lemma I.4.10 in Kato [21] ,

i m P (A_{t}, N_{1} s p - \ N_{2} s p -)

and

i m P (A_{t}, N_{2} s p - \ N_{1} s p -)

are constants. So we have

\begin{matrix} (dim i m P (A_{0}, N_{1} s p -) - dim i m P (A_{1}, N_{1} s p -)) - (dim i m P (A_{0}, N_{2} s p -) - dim i m P (A_{1}, N_{2} s p -)) \end{matrix}

\begin{matrix} = & (dim i m P (A_{0}, N_{1} s p -) - dim i m P (A_{0}, N_{2} s p -)) - (dim i m P (A_{1}, N_{1} s p -) - dim i m P (A_{1}, N_{2} s p -)) \end{matrix}

\begin{matrix} = & (dim i m P (A_{0}, N_{1} s p - \ N_{2} s p -) - dim i m P (A_{0}, N_{2} s p - \ N_{1} s p -)) \end{matrix}

\begin{matrix} - (dim i m P (A_{1}, N_{1} s p - \ N_{2} s p -) - dim i m P (A_{1}, N_{2} s p - \ N_{1} s p -)) \end{matrix}

\begin{matrix} = & 0 . \end{matrix}

Thus our claim is proved. Q.E.D.

Remark 3.1 In (iv) of the above proposition, we allow the Banach space

i m P_{s}

continuous varying. By [21,LemmaI.4.10] , for

t \in [0, 1]

being close enough to

s

, there is a continuous family of invertible operators

U_{s, t} \in ℬ (X)

such that

P_{t} U_{s, t} = U_{s, t} P_{s}, U_{s, t} \to I, as t \to s .

So locally we can define the spectral flow of

B_{t} \in C (i m P_{t})

as that of

U_{s, t} s p - 1 B_{t} U_{s, t} : i m P_{s} \to i m P_{s}

(

s

fixed), and globally patch them together.

3.2 Calculation of the spectral flow

In this subsection we shall give a method of calculating the spectral flow of differentiable curves, inspired among others by J.J. Duistermaat [14] and J. Robbin and D. Salamon [30] .

Let

X

be a complex Banach space,

\tilde{N} \subset \tilde{N}

be bounded open subsets of

C

, and

γ

be a closed

C s p 1

curve in

C

which bounds

\tilde{N}

. Let

A_{s}

s \in (- ε, ε)

, where

ε > 0

, be a curve in

C (X)

Assume that

γ \cap σ (A_{s}) = \emptyset

and

N \cap σ (A_{s}) \subset \tilde{N}

for all

s \in (- ε, ε)

. Set

A : = A_{0}

P_{s} : = P (A_{s}, N)

, and

P : = P_{0}

. Assume that

i m P \subset d o m (A_{s})

for all

s \in (- ε, ε)

i m P

is a finitely dimensional subspace of

X

, and

\frac{d}{d s} |_{s = 0} (A_{s} P) = B

(in the bounded operator sense). Let

f

be a polynomial.

Then

P_{s} f (A_{s}) P_{s}

s \in (- ε, ε)

is a continuous family of bounded operators, and

\begin{matrix} P_{s} f (A_{s}) P_{s} = - \frac{1}{2 π \sqrt{- 1}} \int_{γ} f (ζ) (A - ζ I) s p - 1 d ζ . \end{matrix}

(39)

Since

P_{s}

s \in (- ε, ε)

is a continuous family, we have

∥ P_{s} - P ∥ < 1

| s |

is small. For such

s

, set

R_{s} = (I - (P_{s} - P) s p 2) s p - \frac{1}{2}

. Since

P (P_{s} - P) s p 2 = (P_{s} - P) s p 2 P

and

P_{s} (P_{s} - P) s p 2 = (P_{s} - P) s p 2 P_{s}

, we have

R_{s} P = P R_{s}

and

R_{s} P_{s} = P_{s} R_{s}

. Set

\begin{matrix} U_{s} s p^{'} & = & P_{s} P + (I - P_{s}) (I - P), U_{s} = U_{s} s p^{'} R_{s}, \end{matrix}

\begin{matrix} V_{s} s p^{'} & = & P P_{s} + (I - P) (I - P_{s}), V_{s} = V_{s} s p^{'} R_{s} . \end{matrix}

Then we have

\begin{matrix} U_{s} V_{s} & = & V_{s} U_{s} = I, \end{matrix}

\begin{matrix} U_{s} P & = & P_{s} U_{s} = P_{s} R_{s} P, \end{matrix}

\begin{matrix} P V_{s} & = & V_{s} P_{s} = P R_{s} P_{s} . \end{matrix}

Lemma 3.1 We have

\begin{matrix} \frac{d}{d s} |_{s = 0} (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) = \frac{1}{2 π \sqrt{- 1}} \int_{γ} ζ (A - ζ I) s p - 1 P B (A - ζ I) s p - 1 d ζ . \end{matrix}

(40)

(P A P) (P B) = (P B) (P A P)

, then we have

\begin{matrix} \frac{d}{d s} |_{s = 0} (P_{s} P) & = & 0, \end{matrix}

\begin{matrix} \frac{d}{d s} |_{s = 0} (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) & = & P B . \end{matrix}

(41)

Proof. By the definition of

U_{s}

and

V_{s}

we have

U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s} = V_{s} P_{s} A_{s} P_{s} U_{s} = P R_{s} P_{s} A_{s} P_{s} R_{s} P .

By ( 40 ) we have

\begin{matrix} (P_{s} f (A_{s}) P_{s} - P f (A) P) P = \frac{1}{2 π \sqrt{- 1}} \int_{γ} f (ζ) (A_{s} - ζ I) s p - 1 (A_{s} P - A P) (A - ζ I) s p - 1 d ζ . \end{matrix}

(42)

Since

A_{s}

s \in (- ε, ε)

is a curve in

C (X)

and

i m P

has finite dimension, we have

\begin{matrix} \frac{d}{d s} |_{s = 0} (P_{s} f (A_{s}) P_{s} P) = \frac{1}{2 π \sqrt{- 1}} \int_{γ} f (ζ) (A - ζ I) s p - 1 B (A - ζ I) s p - 1 d ζ . \end{matrix}

(43)

Take

f = 1

, we have

\frac{d}{d s} |_{s = 0} (P_{s} P)

exists. By the definition of

R_{s}

we have

\frac{d}{d s} |_{s = 0} (R_{s} P) = 0

Hence we have

\begin{matrix} \frac{d}{d s} |_{s = 0} (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) & = & \frac{d}{d s} |_{s = 0} (P R_{s} P_{s} A_{s} P_{s} R_{s} P) \end{matrix}

\begin{matrix} = & \frac{d}{d s} |_{s = 0} ((R_{s} P) (P_{s} A_{s} P_{s} P) (R_{s} P)) \end{matrix}

\begin{matrix} = & \frac{1}{2 π \sqrt{- 1}} \int_{γ} ζ P (A - ζ I) s p - 1 B (A - ζ I) s p - 1 P d ζ \end{matrix}

\begin{matrix} = & \frac{1}{2 π \sqrt{- 1}} \int_{γ} ζ (A - ζ I) s p - 1 P B (A - ζ I) s p - 1 d ζ . \end{matrix}

In the case of

(P A P) (P B) = (P B) (P A P)

, we have

\frac{d}{d s} |_{s = 0} (P_{s} P) = \frac{1}{2 π \sqrt{- 1}} \int_{γ} (A - ζ I) s p - 2 B d ζ = 0,

and

\begin{matrix} \frac{d}{d s} |_{s = 0} (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) & = & \frac{1}{2 π \sqrt{- 1}} \int_{γ} ζ P (A - ζ I) s p - 2 B d ζ \end{matrix}

\begin{matrix} = & \frac{1}{2 π \sqrt{- 1}} \int_{γ} (P A (A - ζ I) s p - 2 - P (A - ζ I) s p - 1) B d ζ \end{matrix}

\begin{matrix} = & P s p 2 B \end{matrix}

\begin{matrix} = & P B . \end{matrix}

Q.E.D.

Proposition 3.2 (cf. Theorem 4.1 of [36] ) Let

X

be a Banach space and

ℓ

be a bounded open submanifold of

\sqrt{- 1} R

with co-orientation from left to right. Let

A_{s}

- ε \leq s \leq ε

(

ε > 0

), be a curve in

A_{ℓ} (X)

. Set

P = P s p 0_{ℓ} (A_{0})

A = A_{0}

. Assume that

i m P \subset d o m (A_{s})

and

B : = \frac{d}{d s} |_{s = 0} (A_{s} P)

exists. Assume that

\begin{matrix} (P A P) (P B) = (P B) (P A P), \end{matrix}

(44)

where

P A P, P B \in ℬ (i m P)

, and

P B : i m P \to i m P

is hyperbolic, i.e.

σ (P B) \cap (\sqrt{- 1} R) = \emptyset

Then there is a

δ \in (0, ε)

such that

ν_{h, ℓ} (A_{s}) = 0

for all

s \in [- δ, 0) \cup (0, δ]

and

\begin{matrix} s f_{ℓ} {A_{s}; 0 \leq s \leq δ} = - m s p - (P B), \end{matrix}

(45)

\begin{matrix} s f_{ℓ} {A_{s}; - δ \leq s \leq 0} = m s p + (P B) . \end{matrix}

(46)

Here we denote by

m s p + (P B)

(

m s p - (P B)

)

the total algebraic multiplicity of eigenvalues of

P B

with positive

(

negative

)

imaginary part respectively.

Proof. We follow the proof of [36,Theorem4.1] . Since

A \in A_{ℓ} (X)

, there exist bounded open subsets

N

and

N s p \pm

C

such that

N = N s p + \cup (N \cap ℓ) \cup N s p -

N s p \pm

stays in the right (left) side of the imaginary axis,

σ (A) \cap \bar{ℓ} \subset N \cap ℓ

σ (A) \cap \partial N = \emptyset

, and

P (A, N) = P

. Since

A_{s}

s \in (- ε, ε)

is a continuous family in

C (X)

σ (A_{s}) \cap (\partial N \cup (\bar{ℓ} \ (N \cap ℓ))) = \emptyset

for

| s |

small.

For such

s

, let

P_{s}

be defined in Lemma 3.1 . Then

∥ P_{s} - P ∥ < 1

for

| s |

small, and

R_{s}

and

U_{s}

in Lemma 3.1 are well-defined for such

s

. Then we have

σ (A_{s}) \cap ℓ \subset σ (A_{s}) \cap N = σ (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) .

Now we work in the finite dimensional vector space

i m P

. Since

P B

commutes with

P A P

, we can assume that they are both in Jordan normal forms. Then

P (A + s B) P

is also in Jordan norm form for each

s

. By Lemma 3.1 , we have

\frac{d}{d s} |_{s = 0} (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) = P B

. Then there exists a

δ \in (0, ε)

such that

U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}

are hyperbolic for all

s \in [- δ, 0) \cup (0, δ]

, and

\begin{matrix} m s p - (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) & = & m s p - (P B) for all s \in (0, δ], \end{matrix}

\begin{matrix} m s p - (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) & = & m s p + (P B) for all s \in [- δ, 0) . \end{matrix}

Then our results follows form the definition of the spectral flow and the fact that

dim i m P (A_{s}, N s p -) = m s p - (U_{s} s p - 1 P_{s} A_{s} P_{s} U_{s}) for all s \in [- δ, 0) \cup (0, δ] .

Q.E.D.

3.3 Spectral flow for curves of quadratic forms

Let

X

be a complex Hilbert space and

ℓ = \sqrt{- 1} (- ε, ε)

(

ε > 0

) with co-orientation from left to right. Let

A_{s}

0 \leq s \leq 1

be a curve of closed self-adjoint Fredholm operators. We will denote by

s f {A_{s}} = s f_{ℓ} {A_{s}}

Lemma 3.2 Let

X

be a Hilbert space. Let

A_{s}

0 \leq s \leq 1

be a curve of closed self-adjoint Fredholm operators. Then for any curve

P_{s} \in ℬ (X)

of invertible operators, we have

\begin{matrix} s f {P_{s} P_{s} s p * A_{s}} = s f {P_{s} s p * A_{s} P_{s}} = s f {A_{s}} . \end{matrix}

(47)

Proof. Since

A_{s}

is a curve of closed self-adjoint Fredholm operators and

P_{s}

is a curve of bounded invertible operators, the families

P_{s} s p * A_{s} P_{s}

and

P_{s} P_{s} s p * A_{s}

0 \leq s \leq 1

are curves of closed Fredholm operators. By (viii) of Proposition 3.1 we have

\begin{matrix} s f {P_{s} P_{s} s p * A_{s}} & = & s f {P_{s} (P_{s} s p * A_{s} P_{s}) P_{s} s p - 1} \end{matrix}

\begin{matrix} = & s f {P_{s} s p * A_{s} P_{s}} . \end{matrix}

(48)

Since

P_{s} s p * A_{t} P_{s}

are self-adjoint Fredholm operators and

dim ker (P_{s} s p * A_{t} P_{s}) = dim ker A_{t}

, we have

\begin{matrix} s f {P_{s} s p * A_{s} P_{s}} & = & s f {P_{0} s p * A_{s} P_{0}} + s f {P_{s} s p * A_{1} P_{s}} \end{matrix}

\begin{matrix} = & s f {P_{0} s p * A_{s} P_{0}} \end{matrix}

\begin{matrix} = & s f {P_{1} s p * A_{s} P_{1}} . \end{matrix}

(49)

Let

Q_{s}

0 \leq s \leq 1

be a curve of bounded positive definite operators on

X

with

Q_{0} = I

Q_{1} s p 2 = P_{0} P_{0} s p *

. By ( 48 ) and ( 49 ) we have

\begin{matrix} s f {P_{s} s p * A_{s} P_{s}} & = & s f {P_{0} s p * A_{s} P_{0}} \end{matrix}

\begin{matrix} = & s f {P_{0} P_{0} s p * A_{s}} \end{matrix}

\begin{matrix} = & s f {Q_{1} A_{s} Q_{1}} \end{matrix}

\begin{matrix} = & s f {Q_{0} A_{s} Q_{0}} \end{matrix}

\begin{matrix} = & s f {A_{s}} . \end{matrix}

Q.E.D. The above lemma leads the following definition.

Definition 3.2 Let

X

be a Hilbert space. Let

ℐ_{s}

0 \leq s \leq 1

be a curve of bounded Fredholm quadratic forms, i.e.

ℐ_{s} (x, y) = 〈 A_{s} x, y 〉_{X}

for all

x, y \in X

, where

A_{s}

0 \leq s \leq 1

is a curve of bounded self-adjoint Fredholm operators, and

〈 \cdot, \cdot 〉_{X}

denotes the inner product in

X

(a) The spectral flow $s f {ℐ_{s}}$ of $ℐ_{s}$ is defined to be the spectral flow $s f {A_{s}}$ .
(b) If $A_{1} - A_{0}$ is compact, the relative Morse index $I (ℐ_{0}, ℐ_{1})$ is defined to be the relative Morse index $I (A_{0}, A_{1}) : = - s f {A_{0} + s (A_{1} - A_{0})}$ .

Based on this observation we have the following lemma.

Lemma 3.3 Let

X

be a Hilbert space. Let

A_{s} \in ℬ (X)

0 \leq s \leq 1

be a curve of self-adjoint Fredholm operators and

ℐ_{s}

be quadratic forms defined by

ℐ_{s} (x, y) = 〈 A_{s} x, y 〉

for all

x, y \in X

Assume that

P_{s} \in ℬ (X)

0 \leq s \leq 1

is a curve of operators such that

P_{s} s p 2 = P_{s}

and

ℐ_{s} (x, y) = 0

for all

x \in i m P_{s}

y \in i m Q_{s}

, where

Q_{s} = I - P_{s}

. Then we have

\begin{matrix} s f {ℐ_{s}} = s f {ℐ_{s} |_{i m P_{s}}} + s f {ℐ_{s} |_{i m Q_{s}}} . \end{matrix}

(50)

Proof. Set

R_{s} : = P_{s} s p * P_{s} + Q_{s} s p * Q_{s}

s \in [0, 1]

. Since

P_{s} + Q_{s} = I

and

P_{s} s p 2 = I

, we have

R_{s} = \frac{I}{2} + 2 (\frac{I}{2} - P_{s} s p *) (\frac{I}{2} - P_{s}) > 0 .

Consider the new inner product

〈 R_{s} x, y 〉

x, y \in X

X

. For this inner product

P_{s}

is an orthogonal projection, i.e.

R_{s} P_{s} = P_{s} s p * R_{s}

Now we work in the Hilbert space

X

with the new inner product. So we can assume that

P_{s}

is orthogonal. By the fact that

i m P_{s}

and

i m Q_{s}

are

ℐ_{s}

orthogonal, we have

P_{s} A_{s} Q_{s} = Q_{s} A_{s} P_{s} = 0

Then we have

A_{s} = (P_{s} + Q_{s}) A_{s} (P_{s} + Q_{s}) = P_{s} A_{s} P_{s} + Q_{s} A_{s} Q_{s} .

P_{s} A_{s} = A_{s} P_{s}

. By (iv) of Proposition 3.1 ,

P_{s} A_{s} P_{s}

is a Fredholm operator on

i m P_{s}

Q_{s} A_{s} Q_{s}

is a Fredholm operator on

i m Q_{s}

, and we have

\begin{matrix} s f {ℐ_{s}} & = & s f {A_{s}} \end{matrix}

\begin{matrix} = & s f {P_{s} A_{s} P_{s} : i m P_{s} \to i m P_{s}} + s f {Q_{s} A_{s} Q_{s} : i m Q_{s} \to i m Q_{s}} \end{matrix}

\begin{matrix} = & s f {ℐ_{s} |_{i m P_{s}}} + s f {ℐ_{s} |_{i m Q_{s}}} . \end{matrix}

Lemma 3.4 Let

X

be a Hilbert space, and

M

be a closed subspace with finite codimension.

Let

A \in ℬ (M)

be a self-adjoint Fredholm operator and

ℐ (x, y) = 〈 A x, y 〉

for all

x, y \in M

. Let

N_{1}

and

N_{2}

be subspaces of

H

such that

X = M \oplus N_{1} = M \oplus N_{2}

. Define

ℐ_{k}

H

k = 1, 2

ℐ_{k} (x + u, y + v) = 〈 A x, y 〉, for all x, y \in M and u, v \in N_{k} .

Then we have

I (ℐ_{1}, ℐ_{2}) = 0

Proof. Let

N_{0}

be the orthogonal complement of

M

. Set

A_{0} = d i a g (A, 0)

under the direct sum decomposition

X = M \oplus N_{0}

. Define

ℐ_{0}

and

A_{1}

A_{2}

ℐ_{k} (x, y) = 〈 A_{k} x, y 〉

, for all

x, y \in H

, where

k = 0, 1, 2

. Let

B : N_{1} \to N

be a linear isomorphism. Define

P_{1} \in ℬ (X)

P_{1} (x + y) = x + B y

for all

x \in M

y \in N_{1}

. Then

P_{1}

is invertible,

P_{1} - I

is compact, and

A_{1} = P_{1} s p * A_{0} P_{1}

A_{1} - A_{0}

is compact. Let

P_{s} \in ℬ (X)

0 \leq s \leq 1

be a curve of invertible operators such that

P_{0} = I

and

P_{s} - I

are compact. By the definition of the relative Morse index and Lemma 3.2 , we have

\begin{matrix} I (ℐ_{0}, ℐ_{1}) & = & I (A_{0}, A_{1}) \end{matrix}

\begin{matrix} = & I (A_{0}, A_{1}) \end{matrix}

\begin{matrix} = & - s f {P_{s} s p * A_{0} P_{s}} \end{matrix}

\begin{matrix} = & - s f {A_{0}} \end{matrix}

\begin{matrix} = & 0 . \end{matrix}

similarly we have

A_{2} - A_{0}

is compact and

ℐ (A_{0}, A_{2}) = 0

. So

A_{2} - A_{1}

is compact, and

I (ℐ_{1}, ℐ_{2}) = I (ℐ_{0}, ℐ_{2}) - I (ℐ_{0}, ℐ_{1}) = 0 .

Q.E.D. The following proposition gives a generalization of Proposition 5.3 in [1] and a formula of M. Morse.

Proposition 3.3 Let

X

be a Hilbert space and

A \in ℬ (X)

be a self-adjoint Fredholm operator.

Let

P

be an orthogonal projection such that

ker P

is of finite dimension. Let

ℐ

be a quadratic form on

X

defined by

ℐ (x, y) = 〈 A x, y 〉

x, y \in X

. Set

M = i m P

and

N

be the

ℐ

-orthogonal complement of

M

, i.e.,

N = {x \in X; ℐ (x, y) = 0, \forall y \in M}

. Then we have

\begin{matrix} I (P A P, A) = m s p - (ℐ |_{N}) + dim ker ℐ |_{N} - dim ker ℐ . \end{matrix}

(51)

Proof. Since

P A P - A

is of finite rank operator,

s P A P + (1 - s) A

0 \leq s \leq 1

is a curve of self-adjoint Fredholm operators. We divide our proof into four steps.

Step1. Assume that

ker A = {0}

. Let

M_{0} = ker ℐ |_{M}

M_{1}

be the orthogonal complement of

M_{0}

M

, and

P_{0}

P_{1}

be the orthogonal projection onto

M_{0}

M_{1}

respectively. Then

P = P_{0} + P_{1}

Since

A M

is of finite codimension and

M_{0} = (A M) s p ⊥ \cap M

P_{0}

is of finite rank. Let

N_{1}

be the

ℐ

-orthogonal complement of

M_{1}

. Since

M = M_{0} + M_{1}

, We have

M_{1} \cap N_{1} \subset M_{0}

. So

M_{1} \cap N_{1} = {0}

. Moreover we have

\begin{matrix} dim N_{1} & = & dim ker (A P_{1}) - i n d (A P_{1}) \end{matrix}

\begin{matrix} = & dim ker P_{1} - i n d A - i n d P_{1} \end{matrix}

\begin{matrix} = & dim ker P_{1} < + \infty, \end{matrix}

where we denote

i n d A

the index of a Fredholm operator

A

. So

X = M_{1} \oplus N_{1}

. By the fact that

ℐ

is nondegenerate,

ℐ |_{N_{1}}

is nondegenerate.

Let

ℐ_{1}

be defined by

ℐ_{1} (x + u, y + v) = ℐ (x, y)

for all

x, y \in M_{1}

u, v \in N_{1}

. By Lemma 3.3 and Lemma 3.4 we have

\begin{matrix} I (P A P, A) & = & I (P A P, P_{1} A P_{1}) + I (P_{1} A P_{1}, A) \end{matrix}

\begin{matrix} = & I (P_{1} A P_{1}, A) \end{matrix}

\begin{matrix} = & I (ℐ_{1}, ℐ) \end{matrix}

\begin{matrix} = & I (ℐ_{1} | M_{1}, ℐ |_{M_{1}}) + I (ℐ_{1} | N_{1}, ℐ |_{N_{1}}) \end{matrix}

\begin{matrix} = & m s p - (ℐ |_{N_{1}}) . \end{matrix}

Step 2. Equation ( 51 ) holds if

ker A = {0}

and

N \subset M

In this case,

M_{0} = N \subset N_{1}

m s p - (ℐ |_{N}) = 0

and

ker ℐ | N = N

. For each

x \in N_{1}

such that

ℐ (x, y) = 0

for all

y \in N

, we have

ℐ (x, y) = 0

for all

y \in M_{1}

and hence for all

y \in M

. Then

x \in N

. Thus

N

is the

ℐ |_{N_{1}}

-orthogonal complement of

N

N_{1}

has an orthogonal decompsition

N_{1} = N s p + \oplus N s p -

such that

N s p +

and

N s p -

are

ℐ

-orthogonal,

ℐ |_{N s p +} > 0

and

ℐ |_{N s p -} < 0

Let

P s p \pm

be the orthogonal projections onto

N s p \pm

. Then

P s p \pm |_{M_{0}}

are isomorphisms. So we have

dim N_{1} = 2 dim N = 2 m s p - (ℐ |_{N_{1}}) .

By Step 1 we have

I (P A P, A) = m s p - (ℐ |_{N_{1}}) = m s p - (ℐ |_{N}) + dim ker ℐ |_{N} - dim ker ℐ .

Step 3. Equation ( 51 ) holds if and

M + N = X

In this case we have

ker ℐ | N = ker ℐ = M \cap N .

Firstly we assume that

ker A = {0}

. Then

M_{0} = {0}

N_{1} = N

and

ker ℐ |_{N} = ker ℐ = {0}

By Step 1, equation ( 51 ) holds.

In the general case, we apply the above special case by taking the quotient space with

ker A

and get

I (P A P, A) = m s p - (ℐ | N)

Step 4. Equation ( 51 ) holds.

Firstly we assume that

ker A = {0}

. Let

Q

be the orthogonal projection onto

M + N

. Then the

ℐ

-orthogonal complement of

M + N

ker ℐ |_{N}

. By Step 2 and Step 3 we have

\begin{matrix} I (P A P, A) & = & I (P A P, Q A Q) + I (Q A Q, A) \end{matrix}

\begin{matrix} = & m s p - (ℐ | N) + dim ker ℐ | N . \end{matrix}

In the general case, we apply the above special case by taking the quotient space with

ker A

and get equation ( 51 ). Q.E.D.

3.4 A formula

Lemma 3.5 Let

X

be a Hilbert space and

H = X \oplus X

. Let

B_{s} \in C (X)

0 \leq s \leq 1

be a curve of Fredholm operators. Let the operator

D_{s} \in C (X)

D_{s} = 0 B_{s} s p * B_{s} 0

. Then we have

\begin{matrix} s f {D_{s}} = dim ker B_{1} - dim ker B_{0} . \end{matrix}

(52)

Proof. By [21,TheoremIV.2.23] ,

B_{s} s p *

0 \leq s \leq 1

is a curve of closed operators.

Note that

λ \in σ (D_{s})

if and only if

λ s p 2 \in σ (B_{s} s p * B_{s})

, and the algebraic multiplicities of them are the same if

| λ | \neq 0

is small. Moreover we have

\begin{matrix} dim ker D_{s} & = & dim ker B_{s} + dim ker B_{s} s p *, \end{matrix}

\begin{matrix} i n d B_{s} = i n d B_{0} & = & dim ker B_{s} - dim ker B_{s} s p * . \end{matrix}

By the definition of the spectral flow we have

\begin{matrix} s f {D_{s}} & = & \frac{1}{2} (dim ker D_{1} - dim ker D_{0}) \end{matrix}

\begin{matrix} = & dim ker B_{1} - dim ker B_{0} . \end{matrix}

Q.E.D.

Lemma 3.6 Let

X

be a Hilbert space and

H = X \oplus X

. Let

B \in C (X)

be a operator with compact resolvent, and

A \in ℬ (X)

be a self-adjoint operator. Define linear operator

D_{s} \in C (X)

D_{s} = s A B s p * B 0

. Then

D_{s} \in C (H)

0 \leq s \leq 1

is a curve of Fredholm operators, and we have

\begin{matrix} dim ker D_{s} & = & dim ker A |_{ker B} + dim ker B s p * for all s \in (0, 1], \end{matrix}

(53)

\begin{matrix} s f {D_{s}} & = & - m s p - (A |_{ker B}) . \end{matrix}

(54)

Proof. By [21,TheoremIV.2.23] ,

D_{s}

0 \leq s \leq 1

is a curve of closed operators. Since

A

is bounded and

B

has compact resolvent,

D_{s}

is a Fredholm operator.

For each

s \in (0, 1]

we have

\begin{matrix} ker D_{s} & = & {(x, y) \in H; s A x + B s p * y = 0, B x = 0} \end{matrix}

\begin{matrix} = & {(x, y) \in H; x \in ker B, s A x = - B s p * y \in i m B s p * = ker B} \end{matrix}

\begin{matrix} = & {(x, y) \in H; x \in ker A |_{ker B}, s A x = - B s p * y} . \end{matrix}

Define

φ : ker D_{s} \to ker A |_{ker B}

φ (x, y) = x

for

(x, y) \in ker D_{s}

. Then

φ

is a linear surjective map, and

ker φ = {0} \times ker B s p *

. Then we get ( 53 ).

Let

λ_{t} \in σ (D_{t})

be a spectral point of

D_{t}

near

0

for

t \neq 0

small. Then there exists

(x_{t}, y_{t}) \in H \ {0}

such that

D_{t} (x_{t}, y_{t}) = λ_{t} (x_{t}, y_{t})

. Then one of the following cases holds.

Case 1.

λ_{t} = 0

In this case, we have

(x_{t}, y_{t}) \in ker D_{t}

. The algebraic multiplicity of the eigenvalue

0

D_{t}

dim ker D_{t}

Case 2.

λ_{t} \neq 0

and

B x_{t} = 0

In this case, we have

y_{t} = 0

and

t A x_{t} = λ_{t} x_{t}

. Let

P

be the orthogonal projection of

X

onto

ker B

. Then

t P A P x_{t} = λ_{t} x_{t}

. So the total algebraic multiplicity of these eigenvalues

λ_{t}

D_{t}

with such eigenvectors is

m s p + (t P A P) + m s p - (t P A P) = m s p + (A |_{ker B}) + m s p - (A |_{ker B}) .

Case 3.

λ_{t} \neq 0

and

B x_{t} \neq 0

In this case, we have

x_{t} \neq 0

, and

λ_{t} s p 2 x_{t} - t λ_{t} A x_{t} - B s p * B x_{t} = 0 .

Take inner product with

x_{t}

, we have

\begin{matrix} λ_{t} s p 2 〈 x_{t}, x_{t} 〉 - t λ_{t} 〈 A x_{t}, x_{t} 〉 - 〈 B x_{t}, B x_{t} 〉 = 0 . \end{matrix}

(55)

For each

x_{t}

, there exist two

λ_{t}

satisfying equation ( 55 ); one is positive, and the other is negative.

The algebraic multiplicity of the two eigenvalues of

D_{s}

is equal to each other. We denote by

2 k_{t}

the total algebraic multiplicity of the these eigenvalues of

D_{s}

with such eigenvectors.

Since

D_{s}

0 \leq s \leq 1

is continuous varying, for

t \neq 0

small, we have

\begin{matrix} dim ker D_{0} = dim ker D_{t} + m s p + (A |_{ker B}) + m s p - (A |_{ker B}) + 2 k_{t} . \end{matrix}

(56)

By the definition of the spectral flow and ( 53 ) we have

\begin{matrix} s f {D_{s}} & = & - m s p - (A |_{ker B}) - k_{t} \end{matrix}

\begin{matrix} = & - m s p - (A |_{ker B}) - \frac{1}{2} (dim ker D_{0} - dim ker D_{t} - m s p + (A |_{ker B}) - m s p - (A |_{ker B})) \end{matrix}

\begin{matrix} = & \frac{1}{2} (dim ker D_{1} - dim ker D_{0} + s i g n (A |_{ker B})) \end{matrix}

\begin{matrix} = & \frac{1}{2} (dim ker A |_{ker B} - dim ker B + s i g n (A |_{ker B})) \end{matrix}

\begin{matrix} = & - m s p - (A |_{ker B}) . \end{matrix}

Q.E.D.

Proposition 3.4 Let

X

be a Hilbert space and

H = X \oplus X

. Let

B_{s} \in C (X)

0 \leq s \leq 1

be a curve of operators with compact resolvent, and

A_{s} \in ℬ (X)

0 \leq s \leq 1

be a curve of self-adjoint operators. Define unbounded operator

D_{s}

X

D_{s} = A_{s} B_{s} s p * B_{s} 0

. Then

D_{s} \in C (H)

0 \leq s \leq 1

is a curve of Fredholm operators, and we have

\begin{matrix} dim ker D_{s} & = & dim ker A_{s} |_{ker B_{s}} + dim ker B_{s} s p * for all s \in [0, 1], \end{matrix}

(57)

\begin{matrix} s f {D_{s}} & = & m s p - (A_{0} |_{ker B_{0}}) - m s p - (A_{1} |_{ker B_{1}}) + dim ker B_{1} - dim ker B_{0} . \end{matrix}

(58)

Proof. ( 57 ) follows form ( 53 ). Set

D_{s, t} = t A_{s} B_{s} s p * B_{s} 0

for

s, t \in [0, 1]

. By [21,TheoremIV.2.23] ,

B_{s} s p *

and

D_{s, t}

0 \leq s, t \leq 1

are two continuous families of closed operators. Since

A_{s}

is bounded and

B_{s}

has compact resolvent,

D_{s, t}

is a Fredholm operator.

By Proposition 3.1 , Lemmas 3.5 and 3.6 we have

\begin{matrix} s f {D_{s}} & = & - s f {D_{0, t}; 0 \leq t \leq 1} + s f {D_{s, 0}; 0 \leq s \leq 1} + s f {D_{1, t}; 0 \leq t \leq 1} \end{matrix}

\begin{matrix} = & m s p - (A_{0} |_{ker B_{0}}) + (dim ker B_{1} - dim ker B_{0}) - m s p - (A_{1} |_{ker B_{1}}) \end{matrix}

\begin{matrix} = & m s p - (A_{0} |_{ker B_{0}}) - m s p - (A_{1} |_{ker B_{1}}) + dim ker B_{1} - dim ker B_{0} . \end{matrix}

Q.E.D.

4 Maslov-type index theory

4.1 Symplectic functional analysis and Maslov index

A main feature of symplectic analysis is the study of the Maslov index. It is an intersection index between a path of Lagrangian subspaces with the Maslov cycle, or, more generally, with another path of Lagrangian subspaces. The Maslov index assigns an integer to each continuous path of Fredholm pairs of Lagrangian subspaces of a fixed Hilbert space with continuously varying symplectic structures.

Firstly we define symplectic Hilbert spaces and Lagrangian subspaces.

Definition 4.1 Let

H

be a complex vector space. A mapping

ω : H \times H \to C

is called a (weak) symplectic form on

H

, if it is sesquilinear, skew-symmetric, and non-degenerate, i.e.,

(i) $ω (x, y)$ is linear in $x$ and conjugate linear in $y$ ;
(ii) $ω (y, x) = - \bar{ω (y, x)}$ ;
(iii) $H s p ω : = {x \in H | ω (x, y) = 0 for all y \in H} = {0}$ .

Then we call

(H, ω)

a complex symplectic vector space.

Definition 4.2 Let

(H, ω)

be a complex symplectic vector space.

(a) The annihilator of a subspace $λ$ of $H$ is defined by $λ s p ω : = {y \in H | ω (x, y) = 0 for all x \in λ} .$
(b) A subspace $λ$ is called isotropic, co-isotropic, or Lagrangian if $λ \subset λ s p ω, λ \supset λ s p ω, λ = λ s p ω$ respectively.
(c) The Lagrangian Grassmannian $ℒ (H, ω)$ consists of all Lagrangian subspaces of $(H, ω)$ .

Definition 4.3 Let

H

be a complex Hilbert space. A mapping

ω : H \times H \to C

is called a (strong) symplectic form on

H

, if

ω (x, y) = 〈 J x, y 〉_{H}

for some bounded invertible skew-symmetric operator

J

(H, ω)

is called a (strong) symplectic Hilbert space.

Before giving a rigorous definition of the Maslov index, we fix the terminology and give a simple lemma.

We recall:

Definition 4.4

(a) The space of (algebraic) Fredholm pairs of linear subspaces of a vector space

H

is defined by

\begin{matrix} ℱ s p 2_{a l g} (H) : = {(λ, μ) | dim (λ \cap μ) < + \infty and dim (H / (λ + μ)) < + \infty} \end{matrix}

(59)

with

\begin{matrix} i n d (λ, μ) : = dim (λ \cap μ) - dim (H / (λ + μ)) . \end{matrix}

(60)

(b) In a Banach space

H

, the space of (topological) Fredholm pairs is defined by

\begin{matrix} ℱ s p 2 (H) : = {(λ, μ) \in ℱ s p 2_{a l g} (H) | λ, μ, and λ + μ \subset H is closed} . \end{matrix}

(61)

We need the following well-known lemma (see, e.g., [9,Lemma1.7] ).

Lemma 4.1 Let

(H, ω)

be a (strong) symplectic Hilbert space. Then

(i) there exists a $ω$ -orthogonal splitting $H = H s p + \oplus H s p -$ such that $- \sqrt{- 1} ω$ is positive (negative) definite on $H s p \pm$ , and we call it a symplectic splitting;
(ii) there is a $1$ - $1$ correspondence between the space $U (H s p +, H s p -, ω) = {U \in ℬ (H s p +, H s p -) | ω (U x, U y) = - ω (x, y), \forall x, y \in H s p +}$ and $ℒ (H, ω)$ under the mapping $U \to L : = G r (U)$ $($ = graph of $U$ $)$ ;
(iii) if $U, V \in U (H s p +, H s p -, ω)$ and $λ : = G r (U)$ , $μ : = G r (V)$ , then $(λ, μ)$ is a Fredholm pair if and only if $U - V$ , or, equivalently, $U V s p - 1 - I$ is Fredholm. Moreover, we have a natural isomorphism
$\begin{matrix} ker (U V s p - 1 - I) ≃ λ \cap μ . \end{matrix}$ (62)

Definition 4.5 Let

(H, 〈 \cdot, \cdot 〉_{s})

s \in [0, 1]

be a continuous family of Hilbert spaces, and

ω_{s} (x, y) = 〈 J_{s} x, y 〉_{s}

be a continuous family of symplectic forms on

H

, i.e.,

{A_{s, 0}}

and

{J_{s}}

are two continuous families of bounded invertible operators, where

A_{s, 0}

is defined by

〈 x, y 〉_{s} = 〈 A_{s, 0} x, y 〉_{0} for all x, y \in H .

Let

{(λ_{s}, μ_{s})}

be a continuous family of Fredholm pairs of Lagrangian subspaces of

(H, 〈 \cdot, \cdot 〉_{s}, ω_{s})

Then there is a continuous families of symplectic splitting

\begin{matrix} H = H_{s} s p + \oplus H_{s} s p - \end{matrix}

(63)

for all

s \in [0, 1]

. Such

H_{s} s p \pm

can be chosen to be the positive (negative) space associated to the self-adjoint operator

\sqrt{- 1} J_{s} \in ℬ (H, 〈 \cdot, \cdot 〉_{s})

. By Lemma 4.1 ,

λ_{s} = G r_{s} (U_{s})

and

μ_{s} = G r_{s} (V_{s})

with

U_{s}

V_{s} \in U (H_{s} s p +, H_{s} s p -, ω_{s})

, where

G r_{s}

denotes the graph associated to the splitting ( 63 ). We define the Maslov index

M a s {λ_{s}, μ_{s}}

\begin{matrix} M a s {λ_{s}, μ_{s}} = - s f_{ℓ} {U_{s} V_{s} s p s p - 1}, \end{matrix}

(64)

where

ℓ : = (1 - ε, 1 + ε)

with

ε \in (0, 1)

and with upward co-orientation.

Remark 4.1 For finite-dimensional

(H, ω)

, constant

μ_{s} = μ_{0}

, and a loop

{λ_{s}}

, i.e., for

λ_{0} = λ_{1}

, we notice that

M a s {λ_{s}, μ_{s}}

is the winding number of the closed curve

{det (U_{s} s p - 1 V_{0})}_{s \in [0, 1]}

This is the original definition of the Maslov index as explained in Arnol'd, [3] .

Lemma 4.2 The Maslov index is independent of the choice of the symplectic splitting of

H

Proof. Let

H = H_{s, k} s p + \oplus H_{s, k} s p -

s \in [0, 1]

with

k = 0, 1

be two continuous families of symplectic splitting. For each

s \in [0, 1]

and

k = 0, 1

, set

〈 \cdot, \cdot 〉_{s, k} = (- \sqrt{- 1} ω |_{H_{s, l} s p +}) \oplus (\sqrt{- 1} ω |_{H_{s, l} s p -}),

Then

(H, 〈 \cdot, \cdot 〉_{s, k})

is a Hilbert space for each

s \in [0, 1]

and

k = 0, 1

. Set

〈 \cdot, \cdot 〉_{s, t} = (1 - t) 〈 \cdot, \cdot 〉_{s, 0} + t 〈 \cdot, \cdot 〉_{s, 1}

for each

(s, t) \in [0, 1] \times [0, 1]

. for each

(s, t) \in [0, 1] \times [0, 1]

, define

J_{s, t} \in ℬ (H)

ω (x, y)_{s} = 〈 J x, y 〉_{s, t} for all x, y \in H .

Then

H_{s, k} s p \pm

is the positive (negative) space associated the self-adjoint operator

- \sqrt{- 1} J_{s, k}

for each

s \in [0, 1]

and

k = 0, 1

. Let

H_{s, t} s p \pm

be the positive (negative) space associated the self-adjoint operator

- \sqrt{- 1} J_{s, t}

for each

s \in [0, 1]

and

t = 0, 1

Let

(λ_{s}, μ_{s})

be a continuous family of Fredholm pairs of Lagrangian subspaces of

(H, ω_{s})

For each symplectic splitting

H = H_{s, t} s p + \oplus H_{s, t} s p -

, we denote by

U_{s, t}

and

V_{s, t}

the associated generated ”unitary” operators of

λ_{s}

and

μ_{s}

respectively. We also denote by

M a s_{t}

the Maslov index defined with

〈 \cdot, \cdot 〉_{s, t}

for each

t \in [0, 1]

. By Proposition 3.1 we have

\begin{matrix} M a s_{0} {λ_{s}, μ_{s}} & - & M a s_{1} {λ_{s}, μ_{s}} \end{matrix}

\begin{matrix} = & - s f_{ℓ} {U_{s, 0} V_{s, 0} s p s p - 1} + s f_{ℓ} {U_{s, 1} V_{s, 1} s p s p - 1} \end{matrix}

\begin{matrix} = & - s f_{ℓ} {U_{s, t} V_{s, t} s p s p - 1; (s, t) \in \partial ([0, 1] \times [0, 1])} \end{matrix}

\begin{matrix} = & 0 . \end{matrix}

Q.E.D.

Corollary 4.1 (Symplectic invariance) Let

(H_{l}, ω_{s, k})

k = 1, 2

be two continuous families of symplectic Hilbert spaces. Let

M (s) \in ℬ (H_{1}, H_{2})

0 \leq s \leq 1

be a curve of invertible operators such that

ω_{s, 2} (M_{s} x, M_{s} y) = ω_{s, 1} (x, y) for all x, y \in H_{1} and s \in [0, 1] .

Then for any curve

(λ (s), μ (s))

0 \leq s \leq 1

curve of Fredholm pairs of Lagrangian subspaces of

H_{1}

\begin{matrix} M a s {M λ, M μ} = M a s {λ, μ} . \end{matrix}

(65)

Proof. Let

H_{1} = H s p +_{s, 1} \oplus H s p -_{s, 2}

be a continuous family of symplectic splitting of the family

(H_{1}, ω_{s, 1})

0 \leq s \leq 1

. Then

H_{2} = H s p +_{s, 2} \oplus H s p -_{s, 2})

be a continuous family of symplectic splitting of the family

(H_{2}, ω_{s, 2})

0 \leq s \leq 1

, where

H s p +_{s, 2} = M_{s} H s p +_{s, 1})

and

H s p -_{s, 2} = M_{s} H s p -_{s, 1}

. For each symplectic splitting

H_{k} = H s p +_{s, k} \oplus H s p -_{s, k}

s \in [0, 1]

and

k = 1, 2

, we denote by

U_{s, k}

and

V_{s, k}

the associated generated ”unitary” operators of

λ_{s}

and

μ_{s}

respectively. Then we have

U_{s, 2} = M_{s} U_{s, 1} M_{s} s p - 1, V_{s, 2} = M_{s} V_{s, 1} M_{s} s p - 1 .

By the definition of the Maslov index we have

\begin{matrix} M a s {M λ, M μ} & = & - s f_{ℓ} {(M_{s} U_{s, 1} M_{s} s p - 1) (M_{s} V_{s, 1} M_{s} s p - 1) s p - 1; 0 \leq s \leq 1} \end{matrix}

\begin{matrix} = & - s f_{ℓ} {U_{s, 1} V_{s, 1} s p - 1; 0 \leq s \leq 1} \end{matrix}

\begin{matrix} = & M a s {λ, μ} . \end{matrix}

Q.E.D. Now we give a method of using the crossing form to calculate Maslov indices (cf. [14] , [30] and [7,Theorem2.1] .

Let

λ = {λ_{s}}_{s \in [0, 1]}

be a

C s p 1

curve of Lagrangian subspaces of

(H, ω)

. Let

W

be a fixed Lagrangian complement of

λ_{t}

. For

v \in λ_{t}

and

| s - t |

small, define

w (s) \in W

v + w (s) \in λ_{s}

The form

Q (λ, t) : = Q (λ, W, t) (u, v) = \frac{d}{d s} |_{s = t} ω (u, w (s)), \forall u, v \in λ_{t}

is independent of the choice of

W

. Let

{(λ_{s}, μ_{s})}

0 \leq s \leq 1

be a curve of Fredholm pairs of Lagrangian subspaces of

H

. For

t \in [0, 1]

, the crossing form

Γ (λ, μ, t)

is a quadratic form on

λ_{t} \cap μ_{t}

defined by

Γ (λ, μ, t) (u, v) = Q (λ, t) (u, v) - Q (μ, t) (u, v), \forall u, v \in λ_{t} \cap μ_{t} .

A crossing is a time

t \in [0, 1]

such that

λ_{t} \cap μ_{t} \neq {0}

. A crossing is called regular if

Γ (λ, μ, t)

is nondegenerate. It is called simple if it is regular and

λ_{t} \cap μ_{t}

is one-dimensional.

Now let

(H, ω)

be a symplectic Hilbert space with

ω (x, y) = 〈 j x, y 〉

, for all

x, y \in H

, where

J \in ℬ (H)

is a invertible skew self-adjoint operator. Then we have a symplectic Hilbert space

X = (H \oplus H, (- ω) \oplus ω)

. For each

M \in S p (H, ω)

, its graph

G r (M)

is a Lagrangian subspace of

X

. The following lemma is Lemma 3.1 in [14] .

Lemma 4.3 Let

M (s) \in S p (H, ω)

0 \leq s \leq 1

be a curve of linear symplectic maps.

Assume that

M (s)

is differentiable at

t \in [a, b]

. Set

B_{1} (t) = - J \dot{M} (t) M (t) s p - 1

and

B_{2} (t) = - J M (t) s p - 1 \dot{M} (t)

. Then

B_{1} (t)

B_{2} (t)

are self-adjoint,

B_{2} (t) = M (t) s p * B_{1} (t) M (t)

and we have

\begin{matrix} Q (G r (M), t) ((x, M (t) x), (y, M (t) y)) = (B_{2} (t) x, y) . \end{matrix}

(66)

Q.E.D.

Proposition 4.1 Let

(H, ω)

be a symplectic Hilbert space and

{(λ_{s}, μ_{s})}

0 \leq s \leq 1

be a

C s p 1

curve of Fredholm pairs of Lagrangian subspaces of

H

with only regular crossings. Then we have

\begin{matrix} M a s {λ, μ} = m s p + (Γ (λ, μ, 0)) - m s p - (Γ (λ, μ, 1)) + \sum_{0 < t < 1} s i g n (Γ (λ, μ, t)) . \end{matrix}

(67)

Proof. Pick an invertible skew self-adjoint operator

J \in ℬ (H)

such that

J s p 2 = - I

and

ω (x, y) = 〈 J x, y 〉

. Let

H_{1} = ker (J - \sqrt{- 1} I)

and

H_{2} = ker (J + \sqrt{- 1} I)

. By Lemma 4.1 there are curves of isometric

U (t)

V (t)

U (H_{1}, H_{2})

such that

λ (t) = G r (U (t))

and

μ (t) = G r (V (t))

Apply Lemma 4.3 for

(H_{1}, 〈 - \sqrt{- 1} x, y 〉)

, for any

x, y \in ker (U (t) - V (t))

and

t \in [a, b]

we have

\begin{matrix} \frac{d}{d s} |_{s = t} 〈 - \sqrt{- 1} V s p - 1 U x, y 〉 & = & 〈 \sqrt{- 1} V s p - 1 \dot{V} V s p - 1 U x, y 〉 + 〈 - \sqrt{- 1} V s p - 1 \dot{U} x, y 〉 \end{matrix}

\begin{matrix} = & 〈 \sqrt{- 1} V s p - 1 \dot{V} x, y 〉 + 〈 - \sqrt{- 1} U s p - 1 V V s p - 1 \dot{U} x, U s p - 1 V y 〉 \end{matrix}

\begin{matrix} = & 〈 \sqrt{- 1} V s p - 1 \dot{V} x, y) + 〈 - \sqrt{- 1} U s p - 1 \dot{U} x, y 〉 \end{matrix}

\begin{matrix} = & - Γ (λ, μ, t) ((x, U x), (y, U y)) . \end{matrix}

By Proposition 3.2 we obtain ( 65 ). Q.E.D.

4.2 Spectral flow formula for fixed maximal domain

Let

D_{m} ↪ D_{M} ↪ X

be three Hilbert spaces. We assume that

D_{m}

is a closed subspace of

D_{M}

and a dense subspace of

X

. Let

{A_{s}}_{s \in [0, 1]}

be a family of symmetric densely defined operators in

C (X)

with domain

d o m (A_{s}) = D_{m}

. Here we denote by

C (X)

all closed operators in

X

. Assume that

d o m (A_{s} s p *) = D_{M}

, i.e., the domain of the maximal symmtric extension

A s p *_{s}

A_{s}

is independent of

s

We recall from [7] for each

s \in [0, 1]

1. The space

D_{M}

is a Hilbert space with the graph inner product

\begin{matrix} 〈 x, y 〉_{G r_{s}} : = 〈 x, y 〉_{X} + 〈 A_{s} s p * x, A_{s} s p * y 〉_{X} for x, y \in D_{M} . \end{matrix}

(68)

2. The space

D_{m}

is a closed subspace in the graph norm and the quotient space

D_{M} / D_{m}

is a strong symplectic Hilbert space with the (bounded) symplectic form induced by Green's form

\begin{matrix} ω_{s} (x + D_{m}, y + D_{m}) : = 〈 A_{s} s p * x, y 〉_{X} - 〈 x, A_{s} s p * y 〉_{X} for x, y \in D_{M} . \end{matrix}

(69)

3. If $A_{s}$ admits a self-adjoint Fredholm extension $A_{s, D_{s}} : = A_{s} s p * |_{D_{s}}$ with domain $D_{s} \subset X$ , then the natural Cauchy data space $(ker A_{s} s p * + D_{m}) / D_{m}$ is a Lagrangian subspace of $(D_{M} / D_{m}, ω_{s})$ .
4. Moreover, self-adjoint Fredholm extensions are characterized by the property of the domain $D_{s}$ that $(D_{s} + D_{m}) / D_{m}$ is a Lagrangian subspace of $(D_{M} / D_{m}, ω_{s})$ and forms a Fredholm pair with $(ker A_{s} s p * + D_{m}) / D_{m}$ .
5. We denote the natural projection (which is independent of $s$ ) by $γ : D_{M} \to D_{M} / D_{m} .$ We call $γ$ the abstract trace map.

We have the following spectral flow formula (cf. [7,Theorem5.1] , [9,Corollary2.14] and [10,Theorem1.5] ).

Proposition 4.2 We assume that on

D_{M}

the graph norms induced by

A_{s} s p *

and the original norm are equivalent. Assume that

{A_{s} s p * : D_{M} \to X}

is a continuous family of bounded operators and each

A_{s}

is injective. Let

{D_{s} / D_{m}}

be a continuous family of Lagrangian subspaces of

(D_{M} / D_{m}, ω_{s})

, such that each

A_{s, D_{s}}

is a Fredholm operator. Then:

(a) Each $(D_{s} / D_{m}, γ (ker (A_{s} s p *)))$ is a Fredholm pair in $D_{M} / D_{m}$ .
(b) Each Cauchy data space $γ (ker A_{s} s p *)$ is a Lagrangian subspace of $(D_{M} / D_{m}, ω_{s})$ .
(c) The family ${γ (ker A_{s} s p *)}$ is a continuous family in $D_{M} / D_{m}$ .
(d) The family ${A_{s, D_{s}}}$ is a continuous family of self-adjoint Fredholm operators in $C (X)$ .

(e) Finally, we have

\begin{matrix} s f {A_{s, D_{s}}} = - M a s {γ (D_{s}), γ (ker A_{s} s p *)} . \end{matrix}

(70)

Q.E.D.

4.3 The Maslov-type indices

Definition 4.6 Let

(X_{l}, ω_{l})

be symplectic Hilbert spaces with

ω_{l} (x, y) = (j_{l} x, y)

x, y \in X_{l}

j_{l} \in ℬ (X)

are invertible, and

j_{l} s p * = - j_{l}

, where

l = 1, 2

. Then we have a symplectic Hilbert space

(H = X_{1} \oplus X_{2}, (- ω_{1}) \oplus ω_{2})

. Let

W \in ℒ (H)

. Let

M (t)

a \leq t \leq b

be a curve in

S p (X_{1}, X_{2})

such that

G r (M (t)) \in ℱ ℒ (W)

for all

t \in [a, b]

. The Maslov-type index

i_{W} (M (t))

is defined to be

M a s (G r (M (t), W)

. If

a = 0

b = T

(X_{1}, ω_{1}) = (X_{2}, ω_{2})

and

M (0) = I

, we denote by

ν_{T, W} (M (t)) = dim (G r (M (T) \cap W)

The Maslov-type indices have the following property.

Lemma 4.4 Let

(X_{l}, ω_{l})

be symplectic Hilbert spaces with

ω_{l} (x, y) = (j_{l} x, y)

, where

x, y \in X_{l}

j_{l} \in ℬ (X_{l})

are invertible, and

j_{l} s p * = - j_{l}

l = 1, 2, 3, 4

. Let

W

be a Lagrangian subspace of

(X_{1} \oplus X_{4}, (- ω_{1}) \oplus ω_{4})

. Let

γ_{l} \in C ([0, 1], S p (X_{l}, X_{l + 1}))

l = 1, 2, 3

be syplectic paths such that

G r (γ_{3} (s) γ_{2} (t) γ_{1} (s)) \in ℱ ℒ (W)

for all

(s, t) \in [0, 1] \times [0, 1]

. Then we have

\begin{matrix} i_{W} (γ_{3} γ_{2} γ_{1}) = i_{W s p^{'}} (γ_{2}) + i_{W} (γ_{3} γ_{2} (0) γ_{1}), \end{matrix}

(71)

where

W s p^{'} = d i a g (γ_{1} (1), γ_{3} (1) s p - 1) W

Proof. Let

M = d i a g (γ_{1} (1), γ_{3} (1) s p - 1)

. By the homotopic invariance rel. endpoints of the Maslov-type indices and Corollary 4.1 , we have

\begin{matrix} i_{W} (γ_{3} γ_{2} γ_{1}) & = & i_{W} (γ_{3} (1) γ_{2} γ_{1} (1)) + i_{W} (γ_{3} γ_{2} (0) γ_{1}) \end{matrix}

\begin{matrix} = & M a s (M G r (γ_{3} (1) γ_{2} γ_{1} (1)), M W) + i_{W} (γ_{3} γ_{2} (0) γ_{1}) \end{matrix}

\begin{matrix} = & i_{W s p^{'}} (γ_{2}) + i_{W} (γ_{3} γ_{2} (0) γ_{1}) . \end{matrix}

Q.E.D. The following properties of fundamental solutions for linear ODE will be used later.

Lemma 4.5 Let

j \in C s p 1 ([0, + \infty), G L (m, C))

be a curve of skew self-adjoint matrices, and

b \in C ([0, + \infty), g l (m, C))

be a curve of self-adjoint matrices. Let

γ \in C s p 1 ([0, + \infty), G L (m, C))

be the fundamental solution of

\begin{matrix} - j \dot{x} - \frac{1}{2} \dot{j} x = b x . \end{matrix}

(72)

Then we have

γ (t) s p * j (t) γ (t) = j (0)

for all

t

Proof. By the definition of the fundamental solution, we have

γ (0) s p * j (0) γ (0) = j (0)

. Since

j s p * = - j

and

b s p * = b

, we have

\begin{matrix} \frac{d}{d t} (γ (t) s p * j (t) γ (t)) & = & \dot{γ} s p * j γ + γ s p * \dot{j} γ + γ s p * j \dot{γ} \end{matrix}

\begin{matrix} = & (- b γ - \frac{1}{2} \dot{j}) s p * j s p * - 1 j γ + γ s p * \dot{j} γ + γ s p * j j s p - 1 (- b γ - \frac{1}{2} \dot{j}) \end{matrix}

\begin{matrix} = & γ s p * (b - \frac{1}{2} \dot{j} + \dot{j} - b - \frac{1}{2} \dot{j}) γ \end{matrix}

\begin{matrix} = & 0 . \end{matrix}

So we have

γ (t) s p * j (t) γ (t) = j (0)

. Q.E.D.

Lemma 4.6 Let

B \in C ([0, + \infty), g l (m, C))

and

P \in C s p 1 ([0, + \infty), G L (m, C))

be two curves of matrices. Let

γ \in C s p 1 ([0, + \infty), G L (m, C))

be the fundamental solution of

\begin{matrix} \dot{x} = B x, \end{matrix}

(73)

and

γ s p^{'} \in C s p 1 ([0, + \infty), G L (m, C))

be the fundamental solution of

\begin{matrix} \dot{y} = (P B P s p - 1 + \dot{P} P s p - 1) y . \end{matrix}

(74)

Then we have

\begin{matrix} γ s p^{'} = P γ P (0) s p - 1 . \end{matrix}

(75)

Proof. Direct calculation shows

\frac{d}{d t} (P γ P (0) s p - 1) = (P B P s p - 1 + \dot{P} P s p - 1) P γ P (0) s p - 1

and

P (0) γ P (0) s p - 1 = I

. By definition,

P γ P (0) s p - 1

is the fundamental solution of ( 74 ).

Q.E.D.

Corollary 4.2 Let

j_{1}, j_{2} \in C s p 1 ([0, + \infty), G L (m, C))

be two curves of skew self-adjoint matrices. Let

P \in C s p 1 ([0, + \infty), G L (m, C))

be a curve of matrices such that

P s p * j_{2} P = j_{1}

, and

b \in C ([0, + \infty), G L (m, C))

be a curve of self-adjoint matrices. Let

γ \in C s p 1 ([0, + \infty), G L (m, C))

be the fundamental solution of

\begin{matrix} - j_{1} \dot{x} - \frac{1}{2} {\dot{j}}_{1} x = b x, \end{matrix}

(76)

and

γ s p^{'} \in C s p 1 ([0, + \infty), G L (m, C))

be the fundamental solution of

\begin{matrix} j_{2} \dot{y} - \frac{1}{2} {\dot{j}}_{2} y = (P s p * - 1 b P s p - 1 + Q) y, \end{matrix}

(77)

where

Q = \frac{1}{2} (P s p * - 1 \dot{P} s p * j_{2} - j_{2} \dot{P} P s p - 1)

. Then we have

\begin{matrix} γ s p^{'} = P γ P (0) s p - 1 . \end{matrix}

(78)

In particular, when

j_{1}

and

j_{2}

are constant matrices, we have

Q = P s p * - 1 \dot{P} s p * j_{2} = - j_{2} \dot{P} P s p - 1 .

Proof. Take

B = - j_{1} s p - 1 (b + \frac{1}{2} {\dot{j}}_{1})

in Lemma 4.6 , we have

\begin{matrix} - j_{2} (P B P s p - 1 + \dot{P} P s p - 1) - \frac{1}{2} {\dot{j}}_{2} & = & - j_{2} (P (- j_{1}) s p - 1 (b + \frac{1}{2} {\dot{j}}_{1}) P s p - 1 + \dot{P} P s p - 1) - \frac{1}{2} {\dot{j}}_{2} \end{matrix}

\begin{matrix} = & P s p * - 1 (b + \frac{1}{2} {\dot{j}}_{1}) P s p - 1 - j_{2} \dot{P} P s p - 1 - \frac{1}{2} {\dot{j}}_{2} \end{matrix}

\begin{matrix} = & P s p * - 1 b P s p - 1 - j_{2} \dot{P} P s p - 1 + \frac{1}{2} (P s p * - 1 {\dot{j}}_{1} P s p - 1 - j_{2}) \end{matrix}

\begin{matrix} = & P s p * - 1 b P s p - 1 - j_{2} \dot{P} P s p - 1 + \frac{1}{2} (P s p * - 1 \frac{d}{d t} (P s p * j_{2} P) P s p - 1 - j_{2}) \end{matrix}

\begin{matrix} = & P s p * - 1 b P s p - 1 + Q . \end{matrix}

By Lemma 4.6 , our results holds. Q.E.D. The following is a special case of the spectral flow formula.

Let

j \in C s p 1 ([0, T], G L (m, C))

be a curve of skew self-adjoint matrices. Then we have symplectic Hilbert spaces

(C s p m, ω (t))

with standard Hermitian inner product and

ω (t) (x, y) = (j (t) x, y)

, for all

x, y \in C s p m

and

t \in [0, T]

. Then we have a symplectic Hilbert space

(V = C s p m \oplus C s p m, (- ω (0)) \oplus ω (T))

. Let

W \in ℒ (V)

. Let

b_{s} (t) \in ℬ (C s p m)

0 \leq s \leq 1

0 \leq t \leq T

be a continuous family of self-adjoint matrices such that

b_{0} (t) = 0

. By Lemma 4.5 , there are continuous family of matrices

M_{s} (t) \in G L (m, C)

such that

M_{s} (0) = I

M_{s} (t) s p * j (t) M_{s} (t) = j (0)

and

- j \frac{d}{d t} M_{s} (t) - \frac{1}{2} (\frac{d}{d t} j) M_{s} (t) = b_{s} (t) M_{s} (t) .

Set

\begin{matrix} X & = & L s p 2 ([0, T], C s p m), D_{m} = H s p 1_{0} ([0, T], C s p m), \end{matrix}

\begin{matrix} D_{M} & = & H s p 1 ([0, T], C s p m), D_{W} = {x \in D_{M}; (x (0), x (t)) \in W} . \end{matrix}

Let

A_{M} \in C (X)

with domain

D_{M}

be defined by

A_{M} x = - j \frac{d}{d t} x - \frac{1}{2} (\frac{d}{d t} j) x .

Set

x \in D_{M}

A = A_{M} |_{D_{m}}

A_{W} = A_{M} |_{D_{W}}

. Let

C_{s} \in ℬ (X)

be defined by

(C_{s} x) (t) = b_{s} (t) x (t)

x \in X

t \in [0, T]

Proposition 4.3 Set

W s p^{'} = d i a g (I, M_{0} (T) s p - 1) W

. Then we have

\begin{matrix} I (A_{W}, A_{W} - C_{1}) = i_{W s p^{'}} (M_{0} s p - 1 M_{1}) . \end{matrix}

(79)

Proof. The Sobolev embedding theorem shows that

D_{M} \subset C ([0, T], C s p m)

. For any

x \in D_{M}

, define

γ (x) = (x (0), x (T))

. Direct calculation shows that

D_{M} / D_{m} = C s p m \oplus C s p m

with symplectic structure

(d i a g (j (0), - j (T)) γ (x), γ (y))

x, y \in D_{M}

, and

γ

is the abstract trace map.

Moreover,

A s p * = A_{M}

γ (A s p * - C_{s}) = G r (M_{s} (T))

, and

γ (D_{W}) = W

. By Proposition 4.2 and Lemma 4.4 , we have

\begin{matrix} I (A_{W}, A_{W} - C_{1}) & = & - s f {A_{W} - C_{s}} \end{matrix}

\begin{matrix} = & M a s ({G r (M_{s} (T)); 0 \leq s \leq 1}, W) \end{matrix}

\begin{matrix} = & i_{W} (M_{0} (T) (M_{0} (T) s p - 1 M_{s} (T)) I; 0 \leq s \leq 1) \end{matrix}

\begin{matrix} = & i_{W s p^{'}} (M_{0} (T) s p - 1 M_{s} (T); 0 \leq s \leq 1) \end{matrix}

\begin{matrix} = & - i_{W s p^{'}} (M_{0} (t) s p - 1 M_{0} (t); 0 \leq t \leq T) + i_{W s p^{'}} (M_{0} (0) s p - 1 M_{s} (0); 0 \leq s \leq 1) \end{matrix}

\begin{matrix} + i_{W s p^{'}} (M_{0} (t) s p - 1 M_{1} (t); 0 \leq t \leq T) \end{matrix}

\begin{matrix} = & i_{W s p^{'}} (M_{0} s p - 1 M_{1}) . \end{matrix}

Q.E.D.

5 Proof of the main results

In this section we will use the notations in § 2 .

5.1 Proof of Theorem 2.1

Lemma 5.1 The index forms

ℐ_{s, R}

0 \leq s \leq 1

is a curve of bounded Fredholm quadratic forms on

H_{R}

Proof. Since

ℐ_{s, R}

are bounded symmetric quadratic forms on

H_{R}

, by Riesz representation theorem, they form a continuous curve.

For each

k, l = 0, \dots, m

and

s \in [0, 1]

, we define the bounded operators

P_{k, l} (s) \in ℬ (H_{R})

〈 P_{k, l} (s) x, y 〉_{m} = \int_{0} s p T 〈 p_{k, l} (s, t) \frac{d s p k x}{d t s p k}, \frac{d s p l y}{d t s p l} 〉 d t for all x, y \in H_{R} .

Claim.

P_{k, l} (s)

is compact for either

k \neq m

l \neq m

Since

P_{k, l} (s) = P_{l, k} s p * (s)

, without loss of generality we can assume that

k \neq m

. Pick a bounded sequence

{x_{α}; α \in N}

H_{R}

. By Sobolev embedding theorem, the sequence

{p_{k, l} (s, t) \frac{d s p k x_{α}}{d t s p k}}

has a convergent subsequence, which is denoted by the original sequence. Since

P_{k, l} (s)

is bounded, we have

{lim}_{α, β \to + \infty} ∥ P_{k, l} (s) (x_{α} - x_{β}) ∥_{m} s p 2 = {lim}_{α, β \to + \infty} \int_{0} s p T 〈 p_{k, l} (s, t) \frac{d s p k (x_{α} - x_{β})}{d t s p k}, \frac{d s p l (P_{k, l} (s) (x_{α} - x_{β}))}{d t s p l} 〉 d t = 0 .

So the sequence

{P_{k, l} (s) (x_{α})}

converge and

P_{k, l} (s)

is a compact operator.

Now we prove that

P_{m, m} (s)

is Fredholm and then our lemma is proved. If

p_{m, m} (s, t)

is positive definite for each

s, t \in [0, 1]

, we can choose

p_{k, l} (s, t)

such that

ℐ_{s, R}

is positive definite for each

s

. So

P_{m, m} (s)

is a compact perturbation of a Fredholm operator and is Fredholm. Here it is only required that

p_{m, m} (s, t)

is continuous in

t

. In the general case, we have to assume that

p_{m, m} (s, t)

C s p m

t

. Consider the operator

p_{m, m} (s, \cdot) : H \to H

. Let

j : H_{R} \to H

be the injection. Then

p_{m, m} (s, \cdot)

is invertible and

p_{m, m} (s, \cdot) j

is Fredholm. For any

x \in H_{R}

and

y = H

, the inner product

〈 (P_{m, m} (s) - p_{m, m} (s, \cdot)) x, y 〉_{m}

consists only the lower-order terms (i.e., no second-order differential involved) and some boundary terms. Similar to the above proof, we can conclude that the lower-order terms correspond to compact operators. The boundary terms correspond to finite rank operators. So

j P_{m, m} (s) - p_{m, m} (s, \cdot) j

is compact. Since

p_{m, m} (s) j

and

j

are Fredholm,

j P_{m, m} (s)

and

P_{m, m} (s)

are Fredholm. Q.E.D. The following lemma is the key to the proof of Theorem 2.1 .

Lemma 5.2 (i) Any solution

u \in H s p 1 ([0, T]; C s p 2 m n)

of ( 19 ) can be expressed by

u = u_{p_{s}, x}

for some

x \in H s p m ([0, T]; C s p n)

, and the following three conditions are equivalent:

(a) $x \in ker ℐ_{s, R}$ ;
(b) $x \in ker L_{s, W_{2 m} (R)}$ ;
(c) $u_{p_{s}, x}$ is a solution of ( 19 ) and $(u_{p_{s}, x} (0), u_{p_{s}, x} (T)) \in W_{2 m} (R)$ .

(ii) If

p_{s}

C s p 1

s

, then for any

x, y \in H s p m ([0, T]; C s p n)

, we have

\begin{matrix} 〈 (\frac{d}{d s} p_{s}) {\bar{u}}_{0, x}, {\bar{u}}_{0, y} 〉 = - 〈 (\frac{d}{d s} b (p_{s})) u_{p_{s}, x}, u_{p_{s}, y} 〉 . \end{matrix}

(80)

(iii) Let

J \in G L (C s p m)

be skew self-adjoint, and

b_{s} (t) \in g l (C s p m)

0 \leq s \leq 1

0 \leq t \leq T

is a continuous family of self-adjoint matrices. Let

γ_{s}

be the fundamental solutions of the linear Hamiltonian system

\begin{matrix} - J \dot{u} = b_{s} u . \end{matrix}

(81)

b_{s}

C s p 1

s

, we have

\begin{matrix} \frac{\partial}{\partial t} (- J γ_{s} s p - 1 \frac{\partial γ_{s}}{\partial s}) = γ_{s} s p * \frac{\partial b_{s}}{\partial s} γ_{s} . \end{matrix}

(82)

(iv) If

p_{s}

C s p 1

s

, then for any

x, y \in ker L_{s}

, we have

\begin{matrix} 〈 - J_{2 m, n} γ_{p_{s}} (T) s p - 1 \frac{d γ_{p_{s}} (T)}{d s} u_{p_{s}, x} (0), u_{p_{s}, y} (0) 〉 = - \int_{0} s p T 〈 (\frac{d}{d s} p_{s}) {\bar{u}}_{0, x}, {\bar{u}}_{0, y} 〉 d t . \end{matrix}

(83)

Proof. (i) The proof for the solution

u

of ( 19 ) can be expressed by

u = u_{p_{s}, x}

and (a)

\Leftrightarrow

(b) is standard and we omit it. Now we prove (b)

\Leftrightarrow

(c). By ( 15 ), we have

\frac{d}{d t} u_{p_{s}, x} s p k (t) = u_{p_{s}, x} s p k + 1 (t)

for

k = 0, \dots, m - 2

\begin{matrix} \frac{d}{d t} u_{p_{s}, x} s p m - 1 (t) & = & \frac{d s p m}{d t s p m} x (t) \end{matrix}

\begin{matrix} = & p_{m, m} (s, t) s p - 1 u_{p_{s}, x} s p m (t) - \sum_{0 \leq β \leq m - 1} p_{m, m} (s, t) s p - 1 p_{m, β} (s, t) u_{p_{s}, x} s p β (t) \end{matrix}

and

\begin{matrix} \frac{d}{d t} u_{p_{s}, x} s p k (t) & = & \sum_{2 m - k \leq α \leq m, 0 \leq β \leq m} (- 1) s p α - m \frac{d s p α + k + 1 - 2 m}{d t s p α + k + 1 - 2 m} (p_{α, β} (s, t) \frac{d s p β}{d t s p β} x (t)) \end{matrix}

\begin{matrix} = & u_{p_{s}, x} s p k + 1 (t) - \sum_{0 \leq β \leq m} (- 1) s p m + k + 1 (p_{2 m - k - 1, β} (s, t) \frac{d s p β}{d t s p β} x (t)) \end{matrix}

\begin{matrix} = & u_{p_{s}, x} s p k + 1 (t) + (- 1) s p m + k p_{2 m - k - 1, m} (s, t) p_{m, m} (s, t) s p - 1 u_{p_{s}, x} s p m (t) \end{matrix}

\begin{matrix} + \sum_{0 \leq β \leq m - 1} (- 1) s p m + k (p_{2 m - k - 1, β} (s, t) \end{matrix}

\begin{matrix} - p_{2 m - k - 1, m} (s, t) p_{m, m} (s, t) s p - 1 p_{m, β} (s, t)) u_{p_{s}, x} s p β (t) \end{matrix}

for

k = m, \dots, 2 m - 1

. Combine the above equations and we get

\begin{matrix} \frac{d}{d t} u_{p_{s}, x} (t) = J_{2 m, n} b (p_{s}) u_{p_{s}, x} (t) + (u_{p_{s}, x} s p 2 m (t), 0, \dots, 0) . \end{matrix}

(84)

By the fact that

L_{s} x = (- 1) s p m u_{p_{s}, x} s p 2 m (t)

, we get (b)

\Leftrightarrow

(c).

(ii) By the definition of

U (p_{s})

V (p_{s})

{\bar{u}}_{p_{s}, x}

and

{\bar{u}}_{0, x}

in § 2 , direct computation shows

V (p_{s}) s p * (\frac{d}{d s} p_{s}) V (p_{s}) = - \frac{d}{d s} P (p_{s}) .

Thus for all

x, y \in H_{R}

, we have

\begin{matrix} 〈 (\frac{d}{d s} p_{s}) {\bar{u}}_{0, x}, {\bar{u}}_{0, y} 〉 & = & - 〈 U (p_{s}) s p * (\frac{d}{d s} P (p_{s})) U (p_{s}) {\bar{u}}_{0, x}, {\bar{u}}_{0, y} 〉 \end{matrix}

\begin{matrix} = & - 〈 (\frac{d}{d s} P (p_{s})) {\bar{u}}_{p_{s}, x}, {\bar{u}}_{p_{s}, y} 〉 \end{matrix}

\begin{matrix} = & - 〈 (\frac{d}{d s} b (p_{s})) u_{p_{s}, x}, u_{p_{s}, y} 〉 . \end{matrix}

(iii) By the definition of

γ_{s}

, we have

γ_{s} s p * J γ_{s} = J

, and

\begin{matrix} \frac{\partial}{\partial t} (- J γ_{s} s p - 1 \frac{\partial γ_{s}}{\partial s}) & = & J γ_{s} s p - 1 {\dot{γ}}_{s} γ_{s} s p - 1 \frac{\partial γ_{s}}{\partial s} - J γ_{s} s p - 1 \frac{\partial s p 2 γ_{s}}{\partial s \partial t} \end{matrix}

\begin{matrix} = & J γ_{s} s p - 1 (- J s p - 1 b_{s}) \frac{\partial γ_{s}}{\partial s} - J γ_{s} s p - 1 \frac{\partial}{\partial s} (- J s p - 1 b_{s} γ_{s}) \end{matrix}

\begin{matrix} = & J γ_{s} s p - 1 J s p - 1 \frac{\partial b_{s}}{\partial s} γ_{s} \end{matrix}

\begin{matrix} = & γ_{s} s p * \frac{\partial b_{s}}{\partial s} γ_{s} . \end{matrix}

(iv) follows from (ii), (iii) and the fact that

γ_{p_{s}} u_{p_{s}, x} (0) = u_{p_{s}, x}

for all

x \in ker L_{s}

. Q.E.D. Now we can prove Theorem 2.1 .

We begin with a simple case.

Lemma 5.3 Let

ℐ_{I d, R}

be the inner product on

H_{R}

. If

ε > 0

satisfies

[- ε, 0] \cap σ (p_{m, m} (0, t)) = \emptyset

for all

t \in [0, T]

, we have

\begin{matrix} - s f {ℐ_{0, R} + a ℐ_{I d, R}; a \in [0, ε]} = i_{W_{2 m} (R)} ({γ_{p_{s} + a I_{(m + 1) n}} (T); 0 \leq a \leq T}) . \end{matrix}

(85)

Proof. By Lemma 5.1 ,

ℐ_{0, R} + a ℐ_{I d, R}

a \in [0, ε]

is a continuous family of Fredholm quadratic forms. By the definition of the spectral flow we have

\begin{matrix} s f {ℐ_{0, R} + a ℐ_{I d, R}; a \in [0, ε]} = \sum_{a \in (0, ε]} dim ker (ℐ_{0, R} + a ℐ_{I d, R}) . \end{matrix}

(86)

Set

Z_{a} = - J_{2 m, n} (γ_{p_{s} + a I_{(m + 1) n}} (T)) s p - 1 \frac{d γ_{p_{s} + a I_{(m + 1) n}} (T)}{d a}

for

a \in [0, ε]

. By (iv) of Lemma 5.2 ,

Z_{a}

is non positive definite. Let

v \in C s p 2 m n

be a vector such that

〈 Z_{a} v, v 〉 = 0

. By (i) of Lemma 5.2 , there exists

x \in ker L_{s}

such that

v = u_{p_{s} + a I_{(m + 1) n}, x} (0)

By (iv) of Lemma 5.2 , we have

{\bar{u}}_{0, x} (t) = 0

for all

t \in [0, T]

. Thus

x = 0

u_{p_{s} + a I_{(m + 1) n}, x} = 0

and

v = 0

. So

Z_{a}

is negative definite. By Lemma 4.3 , Proposition 4.1, (i) of Lemma 5.2 and the definition of Maslov-type index we have

\begin{matrix} i_{W_{2 m} (R)} ({γ_{p_{s} + a I_{(m + 1) n}} (T); 0 \leq a \leq T}) & = & - \sum_{a \in (0, ε]} dim G r ((γ_{p_{s} + a I_{(m + 1) n}} (T)) \cap W_{2 m} (R)) \end{matrix}

\begin{matrix} = & - \sum_{a \in (0, ε]} dim ker (ℐ_{0, R} + a ℐ_{I d, R}) . \end{matrix}

(87)

Combine ( 86 ) and ( 87 ), we get ( 85 ). Q.E.D.

5.2 Proof of Theorem 2.2 and Corollary 2.1

We now in the position to prove Theorem 2.1 .

Proof of Theorem 2.1 . We divide the proof into two steps.

Step 1. We apply Proposition 4.2. Set

A_{s} = L_{s} s p *, D_{m} = H_{0} s p 2 m ([0, T]; C s p n), D_{M} = H s p 2 m ([0, T]; C s p n) .

Then

A_{s}

is injective for each

s

and

L_{s, W_{2 m} (R)}

0 \leq s \leq 1

is a continuous family of self-adjoint operators. Define the trace map

\hat{γ} : D_{M} \to C s p 4 m n

\hat{γ} (x) = (u_{p_{s}, x} (0), u_{p_{s}, x} (T))

for

x \in D_{M}

Then

\hat{γ}

induce an isomorphism

D_{M} / D_{m} \to C s p 4 m n

. After identify the two space

D_{M} / D_{m}

and

C s p 4 m n

, we have

\hat{γ} = γ

. Direct computation shows

ω_{s} (x + D_{m}, y + D_{m}) = 〈 J_{2 m, n} u_{p_{s}, x} (0), u_{p_{s}, y} (0) 〉 - 〈 J_{2 m, n} u_{p_{s}, x} (T), u_{p_{s}, y} (T) 〉 .

Let

D_{s}

be the domain of

L_{s, W_{2 m} R}

. Then

γ (D_{s}) = W_{2 m} (R)

and

γ (ker A_{s} s p *) = G r (γ_{p_{s}} (T))

. By Proposition 4.2 we have

\begin{matrix} - s f {L_{s, W_{2 m} (R)}; 0 \leq s \leq 1} & = & M a s {W_{2 m} (R), G r (γ_{p_{s}} (T)); 0 \leq s \leq 1; ω_{s}} \end{matrix}

\begin{matrix} = & M a s {G r (γ_{p_{s}} (T)), W_{2 m} (R); 0 \leq s \leq 1; - ω_{s}} \end{matrix}

\begin{matrix} = & i_{W_{2 m} (R)} ({γ_{p_{s}} (T); 0 \leq s \leq 1}) . \end{matrix}

(88)

Step2. We claim that

\begin{matrix} - s f {I_{s, R}; 0 \leq s \leq 1} = i_{W_{2 m} (R)} ({γ_{p_{s}} (T); 0 \leq s \leq 1}) . \end{matrix}

(89)

Let

ℐ_{I d, R}

be the inner product on

H_{R}

. Let

ε > 0

be small enough such that

[- ε, 0] \cap σ (p_{m, m} (s, t)) = \emptyset

for all

(s, t) \in [0, 1] \times [0, T]

. By Lemma 5.1 ,

s f {ℐ_{s} + a ℐ_{I d, R}}

is well-defined.

For each

c \in [0, 1]

, there exist

δ_{c} > 0

and

ε_{c} \in (0, ε]

such that

ker (ℐ_{s} + ε_{c} ℐ_{I d, R}) = {0}

for all

s \in (c - δ_{c}, c + δ_{c}) \cap [0, 1]

Let

[s_{0}, s_{1}]

be a subinterval of

(c - δ_{c}, c + δ_{c}) \cap [0, 1]

. Consider the spectral flow

s f {ℐ_{s} + a ℐ_{I d, R}}

and the Maslov-type index

i_{W_{2 m} (R)} (γ_{p_{s} + a I_{(m + 1) n}} (T))

. Because of the homotopic invariance of spectral flow and Maslov-type index, both integers must vanish for the boundary loop going counter clockwise around the rectangular domain from the corner point

(s_{0}, 0)

via the corner points

(s_{1}, 0)

(s_{1}, ε_{c})

, and

(s_{0}, ε_{c})

back to

(s_{0}, 0)

. The spectral flow and Maslov index vanish on the top segment of our box. By the preceding lemma, the left and the right side segments of our curves yield vanishing sum of spectral flow and Maslov index. So, by the additivity under catenation, we have

- s f {I_{s, R}; s_{0} \leq s \leq s_{1}} = i_{W_{2 m} (R)} ({γ_{p_{s}} (T); s_{0} \leq s \leq s_{1}}) .

Since

[0, 1]

is compact, there exist

c_{0}, \dots, c_{N - 1} \in [0, 1]

and a partition of

0 = s_{0} < s_{1} < \dots < s_{N} = 1

[0, 1]

such that

[s_{j}, s_{j + 1}] \subset (c_{j} - δ_{c_{j}}, c_{j} + δ_{c_{j}}]

for

j = 0, \dots N - 1

. Then ( 89 ) follows from additivity under catenation of spectral flow and Maslov-type index.

Step 3. Since

γ_{p_{s}} (0) = I_{2 m n}

, by the homotopic invariance of Maslov-type index we have

\begin{matrix} i_{W_{2 m} (R)} ({γ_{p_{s}} (T); 0 \leq s \leq 1}) = i_{W_{2 m} (R)} (γ_{p_{1}}) - i_{W_{2 m} (R)} (γ_{p_{0}}) . \end{matrix}

(90)

Q.E.D. Proof of Theorem 2.2 . We divide the proof into three steps.

Step 1. ( 23 ), ( 24 ) holds for

C s p 1

path

γ

with

γ_{0} = I_{2 m}

Set

H = L s p 2 ([0, T]; C s p n)

and

H_{R} = {x \in H; (x (0), x (T)) \in R}

. Let

F_{R}

be a closed operator on

H

with domain

H_{R s p K}

defined by

F_{R} x = - K \dot{x}

for all

x \in H_{R}

. Set

X = L s p 2 ([0, T], C s p 2 n), D_{W_{K} (R)} = {x \in H s p 1 ([0, T]; C s p 2 n); (x (0), x (t)) \in W (R)} .

Let

A_{W_{K} (R)} \in C (X)

with domain

D_{W_{K} (R)}

be defined by

A_{W_{K} (R)} x = - J_{K} \dot{x}

for

x \in D_{W_{K} (R)}

Let

b (t) \in g l (C s p 2 n)

and

C \in ℬ (X)

be defined by

b (t) = - J_{K} \dot{γ} (t) γ (t) s p - 1

t \in [0, T]

and

(C x) (t) = b (t) x (t)

for

x \in X

t \in [0, T]

. Then we have

F_{R} s p * = - F_{R s p K}

Consider the standard orthogonal decomposition

C s p 2 n = (C s p n \times {0}) \oplus ({0} \times C s p n) .

It induces orthogonal decompositions

X = H \oplus H

and

D_{W_{K} (R)} = H_{R s p K} \oplus H_{R}

. Under such orthogonal decompositions,

A_{W_{K} (R)}

is in block form

A_{W_{K} (R)} = 0 F_{R} s p * F_{R} 0

. Let

C

be in block form

C = C_{1, 1} C_{1, 2} C_{2, 1} C_{2, 2} .

By the definition of

b (t)

and the symplectic path

γ

we have

b (t) = K s p * ({\dot{M}}_{2, 1} M_{1, 1} s p - 1 - {\dot{M}}_{2, 2} M_{2, 2} s p - 1 M_{2, 1} M_{1, 1} s p - 1) K s p * {\dot{M}}_{2, 2} M_{2, 2} s p - 1 - K {\dot{M}}_{1, 1} M_{1, 1} s p - 1 0 .

Since

M_{2, 2} s p * K M_{1, 1} = K

, we have

K s p * {\dot{M}}_{2, 2} M_{2, 2} s p - 1 = - (M_{1, 1} s p *) s p - 1 {\dot{M}}_{1, 1} s p * K s p *

. So there holds

\begin{matrix} K s p * ({\dot{M}}_{2, 1} M_{1, 1} s p - 1 - {\dot{M}}_{2, 2} M_{2, 2} s p - 1 M_{2, 1} M_{1, 1} s p - 1) & = & K s p * {\dot{M}}_{2, 1} M_{1, 1} s p - 1 + (M_{1, 1} s p *) s p - 1 {\dot{M}}_{1, 1} s p * K s p * M_{2, 1} M_{1, 1} s p - 1 \end{matrix}

\begin{matrix} = & (M_{1, 1} s p *) s p - 1 (\frac{d}{d t} (M_{1, 1} s p * K s p * M_{2, 1})) M_{1, 1} s p - 1 . \end{matrix}

Clearly we have

ker (F_{R} - C_{2, 1}) = {M_{1, 1} x (0); (x (0), M_{1, 1} (T) x (0)) \in R s p K} .

Since

i n d (F_{R} - C_{2, 1}) = i n d F_{R} = dim (G r (I_{m n}) \cap R s p K) - dim (G r (I_{m n}) \cap R)

, we have

dim ker (F_{R} - C_{2, 1}) s p * = dim S (T) + dim (G r (I_{m n}) \cap R) - dim (G r (I_{m n}) \cap R s p K) .

Let

x, y \in ker (F_{R} - C_{2, 1})

. Then we have

\begin{matrix} 〈 C_{1, 1} x, y 〉 & = & \int_{0} s p T 〈 (M_{1, 1} s p *) s p - 1 (\frac{d}{d t} (M_{1, 1} s p * K s p * M_{2, 1})) M_{1, 1} s p - 1 x, y 〉 d t \end{matrix}

\begin{matrix} = & \int_{0} s p T 〈 (M_{1, 1} s p *) s p - 1 (\frac{d}{d t} (M_{1, 1} s p * K s p * M_{2, 1})) M_{1, 1} s p - 1 M_{1, 1} x (0), M_{1, 1} y (0) 〉 d t \end{matrix}

\begin{matrix} = & \int_{0} s p T 〈 (\frac{d}{d t} (M_{1, 1} s p * K s p * M_{2, 1})) x (0), y (0) 〉 d t \end{matrix}

\begin{matrix} = & 〈 M_{1, 1} (T) s p * K s p * M_{2, 1} (T) x (0), y (0) 〉 . \end{matrix}

By Proposition 3.4 , Proposition 4.3 and the definition of

S (t)

, we have ( 23 ) and

\begin{matrix} i_{W_{K} (R)} (γ) & = & - s f {A_{W_{K} (R)} - s C; 0 \leq s \leq 1} \end{matrix}

\begin{matrix} = & m s p + ((M_{1, 1} (T) s p * K s p * M_{2, 1} (T)) |_{S (T)}) + dim (G r (I_{m n}) \cap R s p K) - dim S (T) . \end{matrix}

Step 2. Define the set

Y = {M \in G L (C s p 2 n); M = M_{1, 1} 0 M_{2, 1} M_{2, 2}, M s p * J_{K} M = J_{K}} .

Note that any symplectic loop

γ

Y

is homotopic to the loop in

Y

starting from

I_{2 n}

. By the homotopic invariance of the Maslov-type index and Step 1, we have

i_{W_{K} (R)} (γ) = 0

for any loop in

γ

Y

. For a general

γ

Y

, we can connect

I_{2 n}

and the endpoints

γ (0)

and

γ (T)

Y

C s p 1

paths. Then ( 23 ) follows from Step 1 and the path additivity of Maslov-type index under catenation. Q.E.D. Now we turn to the proof of Corollary 2.1 .

Proof of Corollary 2.1 . Let

x = (x_{0}, \dots, x_{m - 1})

and

y = (y_{0}, \dots, y_{m - 1})

be two vectors in

C s p m n

. By direct calculation we get our form of

γ_{p_{0}} = (γ_{k, l} (t))_{k, l = 0, \dots, 2 m - 1}

and ( 25 ) with

p_{m, m} (0, t) = p_{m, m} (1, t)

. Then we have

\begin{matrix} 〈 M_{1, 1} (T) s p * K_{m, n} s p * M_{2, 1} (T) x, y 〉 & = & \sum_{k, l = 0, \dots, m - 1} 〈 (\frac{1}{(m - k - 1)! (m - l - 1)!} \end{matrix}

\begin{matrix} \int_{0} s p T t s p 2 m - k - l - 2 (p_{m, m} (1, t)) s p - 1 d t) x_{l}, y_{k} 〉 \end{matrix}

\begin{matrix} = & \int_{0} s p T 〈 (p_{m, m} (1, t)) s p - 1 \sum_{l = 0, \dots, m - 1} \frac{t s p m - l - 1}{(m - l - 1)!} x_{l}, \end{matrix}

\begin{matrix} \sum_{k = 0, \dots, m - 1} \frac{t s p m - k - 1}{(m - k - 1)!} y_{k} 〉 d t \end{matrix}

\begin{matrix}  \end{matrix}

Since

p_{m, m} (1, t)

is positive definite for each

t \in [0, T]

, we have

〈 M_{1, 1} (T) s p * K_{m, n} s p * M_{2, 1} (T) x, x 〉 \geq 0

. If

〈 M_{1, 1} (T) s p * K_{m, n} s p * M_{2, 1} (T) x, y 〉 = 0

, we have

\sum_{k = 0, \dots, m - 1} \frac{t s p m - k - 1}{(m - k - 1)!} x_{k} = 0

for all

t \in [0, T]

. By taking derivative with

t

, we have

\sum_{l = 0, \dots, k} \frac{t s p k - l - 1}{(k - l - 1)!} x_{l} = 0

for all

k = 0, \dots, m - 1

and

t \in [0, T]

. Then we get

x_{k} = 0

for

k = 0, \dots, m - 1

and

x = 0

. Thus

M_{1, 1} (T) s p * K_{m, n} s p * M_{2, 1} (T)

is positive definite.

Let

p_{s} = (1 - s) p_{0} + s p_{1}

. Clearly

ℐ_{0, R}

and

L_{0, W_{2 m} (R)}

is non negative definite. For sufficiently large

r > 0

, we have

〈 L_{s, W_{2 m} (R)} x, x 〉 = ℐ_{s, R} (x, x) + r 〈 x, x 〉 > 0

for each

x \neq 0

in the domain of

L_{s, W_{2 m} (R)}

and

s \in [0, T]

. Then

L_{s, W_{2 m} (R)} + r I

is positive definite for each

s \in [0, 1]

. Note that

M_{1, 1} (0) = I_{m n}

and

S (0) = S

. By the definition of the spectral flow, Theorem 2.1 and Theorem 2.2 , we have

\begin{matrix} m s p - (ℐ_{1, R}) & = & - s f {ℐ_{s, R}; 0 \leq s \leq 1} \end{matrix}

\begin{matrix} = & i_{W_{2 m} (R)} (γ_{p_{1}}) - i_{W_{2 m} (R)} (γ_{p_{0}}) \end{matrix}

\begin{matrix} = & i_{W_{2 m} (R)} (γ_{p_{1}}) - (dim S (T) + dim S (0) - dim S (T)) \end{matrix}

\begin{matrix} = & i_{W_{2 m} (R)} (γ_{p_{1}}) - dim S \end{matrix}

\begin{matrix} = & - s f {L_{s, W_{2 m} (R)}; 0 \leq s \leq 1} \end{matrix}

\begin{matrix} = & m s p - (L_{s, W_{2 m} (R)}) . \end{matrix}

Q.E.D.

5.3 Proof of Theorem 2.3

Let

a

p_{1}

p_{1} s p^{'}

and

R s p^{'}

be as in § 2 . Firstly we prove ( 27 ). The following lemma follows from direct calculation.

Lemma 5.4 We have

\begin{matrix} p_{1} s p^{'} & = & a s p * 0 \dot{a} s p * a s p * p_{1} a \dot{a} 0 a, \end{matrix}

(91)

\begin{matrix} b (p_{1} s p^{'}) & = & d i a g (a s p - 1, a s p *) b (p_{1}) d i a g (a s p * - 1, a) + 0 - a s p - 1 \dot{a} - \dot{a} s p * a s p * - 1 0 . \end{matrix}

(92)

Q.E.D. By Corollary 4.2 we have

Corollary 5.1 We have

\begin{matrix} γ_{1} s p^{'} = d i a g (a s p *, a s p - 1) γ_{1} d i a g (a (0) s p * - 1, a (0)) . \end{matrix}

(93)

Proof of Theorem 2.3 . By the definition of

R s p^{'}

we have

(R s p^{'}) s p 2, b = {(x, y) \in C s p 2 n; (a (0) s p * x, a (T) s p * y) \in R s p 2, b} .

By Theorem 2.2 and Lemma 4.4 , we have

\begin{matrix} i_{W_{2} (R s p^{'})} (γ_{1} s p^{'}) & = & i_{W_{2} (R s p^{'})} (d i a g (a s p *, a s p - 1) γ_{1} d i a g (a (0) s p * - 1, a (0))) \end{matrix}

\begin{matrix} = & i_{W_{2} (R)} (γ_{1}) + i_{W_{2} (R s p^{'})} (d i a g (a s p *, a s p - 1) d i a g (a (0) s p * - 1, a (0))) \end{matrix}

\begin{matrix} = & i_{W_{2} (R)} (γ_{1}) + dim (G r (I_{n}) \cap (R s p^{'}) s p 2, b)) - dim (G r (a (T) s p * a (0) s p * - 1) \cap (R s p^{'}) s p 2, b) \end{matrix}

\begin{matrix} = & i_{W_{2} (R)} (γ_{1}) + dim (G r (I_{n}) \cap (R s p^{'}) s p 2, b)) - dim (G r (I_{n}) \cap R s p 2, b) . \end{matrix}

Q.E.D. Acknowledgements. This work was partially done when the author visited MIT in 2001 and MPI, Leipzig in 2002-2003. The research atmosphere is very nice there. The author sincerely thank Professor Gang Tian and Professor Chun-gen Liu for helpful discussion and valuable suggestions, and the referees for their careful reading, pointing out mistakes and typos, and valuable comments on the earlier version of this paper.

References

A. A. Agrachev, A. V. Sarychev, Abnormal sub-Riemannian geodesics: Morse index and rigidity, Ann. Inst. Henri Poincaré, Analyse non lineairé., 13(1996), 635-690.
W. Ambrose, The index theorem in Riemannian geometry. Ann. of Math., 73(1961), 49-86.
V.I. Arnol'd, Characteristic class entering quantization conditions, Funkts. Anal. Priloch., 1(1967), 1-14 (Russian). Funct. Anal. Appl., 1(1967), 1-13 (English transl.).
M. F. Atiyah, V. K. Patodi, and I. M. Singer, Spectral asymmetry and Riemannian geometry. III, Proc. Camb. Phic. Soc., 79 (1976), 71-99.
J. K. Beem and P. E. Ehrlich, Cut points, conjugate points and Lorentzian comparation theorems, Proc. Camb. Phic. Soc., 86 (1979, 365-384.
J. K. Beem and P. E. Ehrlich, A Morse index theorem for null geodesics, Duke Math. J., 46(1979), 561-569.
B. Booss-Bavnbek and K. Furutani, The Maslov index – a functional analytical definition and the spectral flow formula, Tokyo J. Math., 21(1998), 1–34.
B. Booss-Bavnbek, M. Lesch, and J. Phillips, Unbounded Fredholm operators and spectral flow, Preprint August 2001, Canad. J. Math. (to appear). (arXiv: math.FA/0108014).
B. Booss-Bavnbek and C. Zhu, Weak symplectic functional analysis and general spectral flow formula. (arXiv: math.DG/0406139).
B. Booss-Bavnbek and C. Zhu, General spectral flow formula for fixed maximal domain. Preprint.
S. E. Cappell, R. Lee, and E. Y. Miller, On the Maslov index, Comm. Pure Appl. Math., 47(1994), 121-186.
X. Dai and W. Zhang, Splitting of the familly index, Comm. Math. Phys, 182(1996), 303-317.
X. Dai and W. Zhang, Higher spectral flow, J. Funct. Analysis., 157(1998), 432-469.
J. J. Duistermaat, On the Morse index in variational calculus, Adv. Math., 21(1976), 173-195.
H. Edwards, A generalized Sturm Theorem, Ann. of Math., 80(1964), 2-57.
P. M. Fitzpatrick, J. Pejsachowicz and L. Recht, Spectral flow and bifurcation of critical points of strongly-indefinite functionals. I. General theory, J. Funct. Anal., 162(1999), 52–95.
A. Floer, A relative Morse index for the symplectic action, Comm. Pure Appl. Math., 41(1988), 393-407.
Roberto Giambò, Paolo Piccione and Alessandro Portaluri, On the Maslov index of Lagrangian paths that are not transversal to the Maslov cycle. Semi-Riemannian index theorems in the degenerate case, Comm. Anal. Geom., To appear. (see also arXiv: math.DG/0306187).
A. D. Helfer, Conjugate points on spacelike geodesics or pseudo-self-adjoint Morse-Sturm-Liouville systems, Pacific J. Math., 164(1994), 321-340.
L. Hörmander, Fourier integral operators I, Acta Math., 127(1971), 79-183.
T. Kato, Pertubation Theory for Linear Operators. Springer-Verlag. Berlin. 1980.
Y. Long, Bott formula of the Maslov-type index theory, Pacific J. Math., 187(1999), 113-149.
R. B. Melrose and P. Piazza, Families of Dirac operators, boundaries and the $b$ -calculus, J. Diff. Geom., 46(1997), 99-180.
Y. Long and C. Zhu, Maslov-type index theory for symplectic paths and spectral flow (II), Chinese Ann. of Math., 21B:1(2000), 89-108.
M. Morse, The Calculus of Variations in the Large. A.M.S. Coll. Publ., Vol.18, Amer. Math. Soc., New York, 1934.
J. Phillips, Self–adjoint Fredholm operators and spectral flow, Canad. Math. Bull., 39(1996), 460–467.
P. Piccione and D. V. Tausk, The Maslov index and a generalized Morse index theorem for non-positive definite metrics, C. R. Acad. Sci. Paris Sér. I Math., 331(2000), 385-389.
P. Piccione and D. V. Tausk, The Morse index theorem in semi-Riemannian Geometry, Topology, 41(2002), 1123–1159. (see also arXiv: math.DG/0011090).
P. Piccione and D. V. Tausk, An index theory for paths that are solutions of a class of strongly indefinite variational problems. (arxiv: math.DG/0108044 v1).
J. Robbin and D. Salamon, The Maslov index for paths, Topology, 32(1993), 827–844.
J. Robbin and D. Salamon, The spectral flow and the Maslov index, Bull. London Math. Soc., 27(1995). 1–33.
S. Smale, On the Morse index theorem, J. Math. Mech., 14(1965), 1049-1056.
K. Uhlenbeck, The Morse index theorem in Hilbert space, J. Diff.Geom., 8(1973), 555-564.
C. Zhu, Maslov-type index theory and closed characteristic on compact convex hypersurfaces in $R s p 2 n$ . Ph. D. Thesis. Nankai Institue of Mathematics.
C. Zhu, The Morse Iindex theorem for regular Lagrangian systems. (arxiv: math.DG/0109117).
C. Zhu and Y. Long, Maslov-type index theory for symplectic paths and spectral flow (I), Chinese Ann. of Math., 20B:4(1999), 413-424.