Restriction of eigenfunctions to totally geodesic submanifolds

Abstract: This article is about two types of restrictions of eigenfunctions

p h i_{j}

on a compact Riemannian manifold

(M, g)

: First, we restrict to a submanifold

H s u b s e t M

, and expand the restriction

g a m m a_{H} p h i_{j}

in eigenfunctions

e_{k}

of

H

. We then Fourier restrict

g a m m a_{H} p h i_{j}

to a short interval of eigenvalues of

H

. Laplace eigenvalues of

M

are denoted

l a m b d a_{j}^{2}

and those of

H

are denoted

m u_{k}^{2}

. The Fourier coefficients are negligible unless the

H

- eigenvalues lie in the interval

m u_{k} i n [- l a m b d a_{j}, l a m b d a_{j}]

. The short windows have the form

| m u_{k} - c l a m b d a_{j} | < e p s i l o n

. The goal is to obtain asymptotics and estimates of the Fourier coefficients of

g a m m a_{H} p h i_{j}

and to see how they vary with

c

. In prior work with E. L. Wyman and Y. Xi, we obtained asymptotics for sums over

(m u_{k}, l a m b d a_{j})

in such windows for

0 < c < 1

. In this article, we obtain `edge' asymptotics when

c = 1

and

H

is totally geodesic. The order of magnitude and leading coefficient are very different from the case

c < 1

. In particular, they depend on the dimension of

H

. We explain how to bridge the bulk results and edge results.

This page was built for publication: Restriction of eigenfunctions to totally geodesic submanifolds