1: \documentclass[a4paper,10pt,fleqn]{article}

2: 

3: %\usepackage{showkeys}

4: 

5: \usepackage[english]{babel}

6: \usepackage[fleqn,reqno]{amsmath}

7: \usepackage{amsfonts}

8: \usepackage{amstext}

9: \usepackage{amsbsy}

10: \usepackage{amsthm}

11: \usepackage{amssymb}

12: \usepackage{epsfig}

13: 

14: 

15: \begin{document}

16: 

17: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

18: %THEOREM ETC            

19: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

20: \newtheorem{theorem}{Theorem}

21: \newtheorem{proposition}[theorem]{Proposition}

22: \newtheorem{lemma}[theorem]{Lemma}

23: \newtheorem{definition}[theorem]{Definition}

24: 

25: \newenvironment{prooof}{\noindent{\bf Proof :}\hfill\\}{\qed}

26: \newenvironment{rem}{\noindent{\bf Remark}\hfill\\}{\qed}

27: 

28: %\renewcommand\theequation{\arabic{equation}}

29: \renewcommand\theequation{\thesection.\arabic{equation}}

30: 

31: \newcommand\nsection[1]{\section{#1}\setcounter{equation}{0}}

32: 

33: \newcommand{\bea}{\begin{eqnarray}}

34: \newcommand{\eea}{\end{eqnarray}}

35: \newcommand{\beas}{\begin{eqnarray*}}

36: \newcommand{\eeas}{\end{eqnarray*}}

37: 

38: \newcommand{\noi}{\noindent}

39: \newcommand{\non}{\nonumber}

40: \newcommand{\disp}{\displaystyle}

41: \newcommand{\rgt}{\rightarrow}

42: 

43: 

44: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

45: %PARENTHESES ETC

46: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

47: \def\wt{\widetilde}

48: \def\wh{\widehat}

49: \def\[{\left[}

50: \def\]{\right]}

51: \def\<{\langle}

52: \def\>{\rangle}

53: \def\({\left(}

54: \def\){\right)}

55: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

56: %ALPHABET GREC

57: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

58: \def\a{\alpha}

59: \def\b{\beta}

60: \def\g{\gamma}

61: \def\de{\delta}

62: \def\eps{\varepsilon}

63: \def\z{\zeta}

64: \def\th{\theta}

65: \def\k{\kappa}

66: \def\l{\lambda}

67: \def\m{\mu}

68: \def\n{\nu}

69: \def\x{\xi}

70: \def\r{\rho}

71: \def\s{\sigma}

72: \def\t{\tau}

73: \def\u{\upsilon}

74: \def\p{\phi}

75: \def\om{\omega}

76: \def\Om{\Omega}

77: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

78: %MATHS DIVERS

79: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

80: \def\d{\partial}

81: \def\D{\Delta}

82: \def\o{\otimes}

83: \def\N{{\mathbb N}}

84: \def\R{{\mathbb R}}

85: \def\C{{\mathbb C}}

86: \def\Z{{\mathbb Z}}

87: \def\T{{T_0\,}}

88: \def\tau{{T_1\,}}

89: \def\e{\hbox{\rm e}}

90: \def\r{{R_0\,}}

91: \def\Chid{{{\cal X}_\de}}

92: \def\bd{{b_\de}}

93: \def\bbd{{{\bf b}_\de}}

94: \def\br0{{K_\r}}

95: \def\G{{\Gamma}}

96: \def\tr{{\rm T}}

97: \def\wce{{{\wt \chi}_\eps(t)}}

98: \def\ck{{\chi_0(q,p)}}

99: \def\ckk{{\chi_0(q,p)\chi_1(x,y)}}

100: 

101: 

102: %\setlength{\textwidth}{7in}

103: %\setlength{\textheight}{9in}

104: 

105: %\newdimen\trimheight \trimheight9.74truein   %measure is 9.75truein

106: %\newdimen\trimwidth \trimwidth6.49truein     %measure is 6.50truein

107: %\newdimen\typeheight \typeheight48.1pc

108: %\newdimen\typewidth \typewidth5truein

109: 

110: 

111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

112: %DEBUT DU TEXTE

113: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

114: \title{

115: The radiation condition at infinity

116: for the high-frequency Helmholtz equation with source term:

117: a wave packet approach

118: }

119: \author{Fran\c cois Castella}

120: %\date{21st September 2004}

121: \date{}

122: \maketitle

123: 

124: \begin{center}

125: IRMAR - Universit\'e de Rennes 1

126: 

127: Campus Beaulieu - 35042 Rennes Cedex - France

128: 

129: {\tt francois.castella@univ-rennes1.fr}

130: \end{center}

131: 

132: \bigskip

133: 

134: %\centerline{

135: %\bf

136: %To appear in J. Functional Analysis (2005)}

137: 

138: \tableofcontents

139: 

140: \bigskip

141: 

142: \noi

143: {\bf Abstract:}

144: \noi

145: We consider the high-frequency Helmholtz equation with a given

146: source term, and a small absorption parameter $\a>0$.

147: The high-frequency (or: semi-classical) parameter is $\eps>0$.

148: We let $\eps$ and $\a$ go to zero simultaneously. We assume that

149: the zero energy is non-trapping for the underlying classical flow.

150: We also assume that the classical trajectories starting from the origin

151: satisfy a transversality condition, a generic assumption.

152: 

153: Under these assumptions, we prove that the solution

154: $u^\eps$ radiates in the outgoing direction, {\bf uniformly} in $\eps$.

155: In particular, the function $u^\eps$, when conveniently rescaled

156: at the scale $\eps$ close to the origin, is shown to converge

157: towards the {\bf outgoing} solution of the Helmholtz equation,

158: with coefficients frozen at the origin. This provides a uniform

159: version (in $\eps$) of the limiting absorption principle.

160: 

161: Writing the resolvent of the Helmholtz equation as the integral in time

162: of the associated semi-classical Schr\"odinger propagator, our analysis relies

163: on the following tools: (i) For very large times, we prove and use a uniform

164: version of the Egorov Theorem to estimate the time integral; (ii)

165: for moderate times, we prove a uniform dispersive estimate that relies

166: on a wave-packet approach, together with the above mentioned transversality

167: condition; (iii) for small times, we prove that the semi-classical

168: Schr\"odinger operator with variable coefficients has the same dispersive

169: properties as in the constant coefficients case, uniformly in $\eps$.

170: 

171: \medskip

172: \noi

173: {\bf 2000 Mathematics Subject Classification number:}

174: Primary 35Q40; Secondary 35J10, 81Q20.

175: 

176: \medskip

177: 

178: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

179: \section{Introduction}

180: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

181: 

182: In this article, we study the asymptotics

183: $\eps \rgt 0^+$ in the

184: following scaled Helm\-holtz equation, with unknown $w^\eps$,

185: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

186: \bea

187: \label{proto}

188: i \eps\, \a_\eps\, w^\eps(x)

189: +\frac12\D_x w^\eps(x)+n^2(\eps x) w^\eps(x)

190: =

191: S\(x\) .

192: \eea

193: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

194: In this scaling, the absorption parameter $\a_\eps>0$ is small,

195: i.e.

196: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

197: \beas

198: &&

199: \a_\eps \rgt 0^+ \; \text{  as } \;  \eps \rgt 0 .

200: \eeas

201: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

202: The limiting case $\a_\eps=0^+$ is actually allowed in our analysis. Also,

203: the index of refraction $n^2(\eps x)$ is almost constant,

204: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

205: \beas

206: &&

207: n^2(\eps x)\approx n^2(0) .

208: \eeas

209: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

210: The competition between these two effects is the key difficulty of

211: the present

212: work.

213: 

214: In all our analysis,

215: the variable $x$ belongs to $\R^d$, for some $d \geq 3$.

216: The index of refraction $n^2(x)$ is assumed to be

217: given, smooth and non-negative\footnote{

218: Our analysis is easily extended to the case where the refraction index

219: is a function that changes sign.

220: The only really important assumption on

221: the sign of $n$ is $n_\infty^2>0$, see Proposition \ref{brob}.

222: Otherwise,

223: all the arguments

224: given in this paper are easily adapted when $n^2(x)$ changes sign,

225: the analysis being actually simpler when $n^2(x)$ has the wrong

226: sign because contribution of terms involving $\chi_\de(H_\eps)$

227: vanishes in that case

228: (see below for the notations).

229: }

230: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

231: \bea

232: \label{pos}

233: \forall x \in \R^d , \quad  n^2(x) \geq 0,

234: \quad

235: \text{ and } \;

236: n^2(x)\in C^\infty(\R^d) .

237: \eea

238: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

239: It is also supposed that $n^2(x)$ goes

240: to a constant at infinity,

241: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

242: \bea

243: \label{dec}

244: &&

245: n^2(x)=n_\infty^2+O\(\<x\>^{-\rho}\) \; \text{ as } \; x \rgt \infty ,

246: \eea

247: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

248: for some, possibly small, exponant $\rho>0$\footnote{

249: Here and below we use the standard

250: notation $\<x\>:=(1+x^2)^{1/2}$.}.

251: In the language of Schr\"odinger operators, this means that the potential

252: $n_\infty^2-n^2(x)$ is assumed to be either short-range or long range.

253: Finally, the source term in (\ref{proto}) uses a function

254: $S(x)$ that is taken sufficiently smooth and decays fast enough at infinity.

255: We refer to the sequel for the very assumptions we need on the

256: refraction index $n^2(x)$, together with the source $S$ 

257: (see the statement of the main Theorem below).

258: 

259: Upon the $L^2$-unitary rescaling

260: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

261: $$

262: w^\eps(x)=\eps^{d/2} u^\eps(\eps x) ,

263: $$

264: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

265: the study of (\ref{proto}) is naturally linked to

266: the analysis of the high-frequency Helm\-holtz equation,

267: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

268: \bea

269: \label{two}

270: &&

271: i \eps \a_\eps u^\eps(x)

272: +\frac{\eps^2}{2}\D_x u^\eps(x)+n^2(x) u^\eps(x)

273: =

274: \frac{1}{\eps^{d/2}}

275: S\(\frac{x}{\eps}\) ,

276: \eea

277: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

278: where the source term $S(x/\eps)$ now plays the role

279: of a concentration profile at the scale $\eps$. In this picture,

280: the difficulty now comes from the interaction

281: between the oscillations induced

282: by the source $S(x/\eps)$, and the ones due to

283: the semiclassical operator $\eps^2\D/2+n^2(x)$.

284: We give below more complete motivations for looking at the asymptotics

285: in (\ref{proto}) or (\ref{two}).

286: 

287: The goal of this article is to prove that the solution $w^\eps$ to

288: (\ref{proto}) converges (in the distributional sense) to the {\bf outgoing

289: solution} of the natural constant coefficient Helmholtz equation,

290: i.e.

291: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

292: \bea

293: \label{mainst}

294: \non

295: &&

296: \mathop{\lim}\limits_{\eps\rgt 0}

297: w^\eps=w^{\rm out} \, , \; \text{ where } \; w^{\rm out} \;

298: \text{ is defined as the solution to }

299: \\

300: &&

301: \qquad

302: i 0^+ w^{\rm out}(x)

303: +\frac12\D_x w^{\rm out}(x)

304: +n^2(0) w^{\rm out}(x)

305: =

306: S\(x\) .

307: \eea

308: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

309: In other words,

310: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

311: \begin{align}

312: \label{outg}

313: \non

314: &

315: w^{\rm out}=\lim_{\de\rgt 0^+}

316: \(i \de+ \frac12\D_x +n^2(0)\)^{-1} S

317: \\

318: &

319: \qquad

320: =

321: i \int_0^{+\infty}

322: \exp\(i t \(\frac12\D_x+n^2(0)\)\) S \; dt

323: .

324: \end{align}

325: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

326: It is well-known that $w^{\rm out}$ can also be defined as

327: the unique solution

328: to $(\D_x/2+n^2(0)) w^{\rm out}=S$ that satisfies the

329: Sommerfeld radiation condition at infinity

330: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

331: \bea

332: \label{som}

333: \frac{x}{\sqrt{2} |x|} \cdot \nabla_x w^{\rm out}(x)

334: +

335: i n(0) w^{\rm out}(x)

336: =

337: O\(\frac{1}{|x|^2}\) \; \text{ as } \; |x|\rgt \infty .

338: \eea

339: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

340: 

341: The main geometric

342: assumptions we need on the refraction index to ensure the validity

343: of (\ref{mainst}) are twofolds.

344: First, we need that the trajectories of the Hamiltonian $\xi^2/2-n^2(x)$

345: at the zero energy are {\bf not trapped}. This is a standard assumption

346: in this context. It somehow prevents accumulation of energy in bounded

347: regions of space. Second, it turns out that the trajectories

348: that really matter in our analysis,

349: are those that start from the origin $x=0$,

350: with zero energy $\xi^2/2=n^2(0)$.

351: In this perspective,

352: we need

353: that these trajectories

354: satisfy a {\bf transversality condition}: in essence,

355: each such ray can self-intersect, but we require that

356: the self-intersection is then

357: ``tranverse'' (see assumption {\bf (H)} page \pageref{HH}, i.e.

358: (\ref{93}), (\ref{94}), in section \ref{mod} below).

359: This second assumption

360: prevents accumulation of energy at the origin.

361: 

362: We wish to emphasize that the statement (\ref{mainst}) is not

363: obvious.

364: In particular, if the transversality assumption {\bf (H)} page \pageref{HH}

365: is not fullfilled, our analysis shows that  (\ref{mainst}) 

366: becomes false in general.

367: We also refer to the end of this paper for

368: ``counterexamples''.

369: 

370: The central difficulty is the following.

371: On the one hand, the vanishing absorption parameter

372: $\a_\eps$ in (\ref{proto}) leads to thinking that

373: $w^\eps$ should satisfy the Sommerfeld radiation condition at infinity

374: {\bf with the variable

375: refraction index $n^2(\eps x)$} (see (\ref{som})). Knowing that

376: $\lim_{|x|\rgt\infty} n^2(\eps x)=n_\infty^2$, this roughly means

377: that $w^\eps$ should behave like

378: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

379: $

380: \exp(i 2^{-1/2} n_\infty |x|)/|x|

381: $

382: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

383: at infinity in $x$ (in dimension $d=3$, say).

384: On the other hand, the almost constant refraction index $n^2(\eps x)$

385: in (\ref{proto}) leads to observe that $w^\eps$ naturally goes

386: to a solution of the Helmholtz equation {\bf with constant refraction index

387: $n^2(0)$}. Hoping that we may follow the absorption coefficient $\a_\eps$

388: continuously along the limit $\eps\rgt 0$ in $n^2(\eps x)$, the statement

389: (\ref{mainst}) becomes natural, and $w^\eps$ should behave like

390: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

391: $

392: \exp(i 2^{-1/2} n(0) |x|)/|x|

393: $

394: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

395: asymptotically. But, since $n(0)\neq n_\infty$ in general,

396: the last two statements are contradictory ...

397: As we see, the strong non-local effects induced by the

398: Helmholtz equation make the key difficulty in following the continuous

399: dependence

400: of $w^\eps$ upon both the absorption parameter $\a_\eps\rgt 0^+$ and

401: on the index $n^2(\eps x)\rgt n^2(0)$.

402: 

403: 

404: 

405: 

406: 

407: 

408: 

409: 

410: \bigskip

411: 

412: 

413: 

414: 

415: 

416: 

417: 

418: 

419: 

420: 

421: 

422: 

423: Let us now give some more detailed account on our motivations

424: for looking at the asymptotics $\eps\rgt 0$ in (\ref{proto}).

425: 

426: 

427: In \cite{BCKP}, the high-frequency analysis of the Helmholtz equation

428: with source term is performed. More precisely, the asymptotic behaviour

429: as $\eps \rgt 0$ of the following equation is studied\footnote{

430: note that we use here a slightly different

431: scaling than the one used in \cite{BCKP}. This a harmless

432: modification that is due to mere convenience.}

433: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

434: \bea

435: \label{helme}

436: &&

437: i \eps \a_\eps u^\eps(x)

438: +\frac{\eps^2}{2}\D_x u^\eps(x)+n^2(x) u^\eps(x)

439: =

440: \frac{1}{\eps^{d/2}}

441: S\(\frac{x}{\eps}\) ,

442: \eea

443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

444: where

445: the variable $x$ belongs to $\R^d$, for some $d \geq 3$,

446: and

447: the index of refraction $n^2(x)$ together with 

448: the concentration profile

449: $S(x)$ are as before

450: (see \cite{BCKP}).

451: Later,

452: the analysis of \cite{BCKP} was extended in \cite{CPR} to more general

453: oscillating/concentrating source terms. The paper \cite{CPR}

454: studies indeed the high-frequency analysis

455: $\eps\rgt 0$ in

456: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

457: \begin{align}

458: \label{helmeb}

459: \non

460: &

461: i \eps \a_\eps u^\eps(x)

462: +\frac{\eps^2}{2}\D_x u^\eps(x)+n^2(x) u^\eps(x)

463: =

464: \\

465: &

466: \qquad\qquad\qquad\qquad

467: \frac{1}{\eps^{q}}

468: \int_\Gamma

469: S\(\frac{x-y}{\eps}\) \;

470: A(y) \; \exp\( i \; \frac{\phi(x)}{\eps} \)

471: \; d\s(y) .

472: \end{align}

473: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

474: (See also \cite{CR} for extensions - see \cite{Fou} for the case where

475: $n^2$ has discontinuities).

476: In (\ref{helmeb}), the function $S$ 

477: again plays the role of a concentration profile like in (\ref{helme}),

478: but

479: the concentration occurs this time

480: around a smooth submanifold $\Gamma \subset \R^d$

481: of dimension $p$ instead of a point. On the more,

482: the source term here includes additional oscillations through the (smooth)

483: amplitude $A$ and phase $\phi$.

484: In these notations $d\s$ denotes

485: the induced euclidean surface measure on the manifold $\G$, and

486: the rescaling

487: exponant $q$ depends on the dimension of $\Gamma$

488: together with geometric considerations, see \cite{CPR}.

489: 

490: 

491: 

492: Both Helmholtz equations (\ref{helme}) and (\ref{helmeb}) modelize

493: the propagation of a high-frequency source wave

494: in a medium with scaled, variable, refraction index $n^2(x)/\eps^2$.

495: The scaling of the index

496: imposes that the waves propagating in the

497: medium naturally have wavelength $\eps$.

498: On the other hand,

499: the source in (\ref{helme}) as well as (\ref{helmeb})

500: is concentrating at the scale $\eps$,

501: close to the origin, or close to the surface $\Gamma$.

502: It thus carries oscillations at the typical wavelength $\eps$.

503: One may think of an antenna concentrated close to a point or to a surface, 

504: and emmitting

505: waves in the whole space. The important

506: phenomenon that these linear equations include precisely

507: lies in the {\bf resonant interaction}

508: between the high-frequency oscillations of the source,

509: and the propagative modes of the medium dictated by the index $n^2/\eps^2$.

510: This makes one of the key difficulties of the analysis

511: performed in \cite{BCKP} and \cite{CPR}.

512: 

513: A Wigner approach is used  in \cite{BCKP} and \cite{CPR} to

514: treat the high-frequency asymptotics $\eps\rgt 0$. Up to a harmless

515: rescaling, these papers establish that the Wigner transform

516: $f^\eps(x,\xi)$

517: of $u^\eps(x)$ satisfies, in the limit $\eps\rgt 0$, the stationnary

518: transport equation

519: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

520: \bea

521: \label{transp}

522: 0^+ f(x,\xi)+\xi  \cdot \nabla_x f(x,\xi)

523: +\nabla_x n^2(x) \cdot \nabla_\xi f(x,\xi)

524: = Q(x,\xi) ,

525: \eea

526: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

527: where $f(x,\xi)=\lim f^\eps(x,\xi)$ measures

528: the energy carried by rays located at the point $x$ in space,

529: with frequency $\xi \in \R^d$.

530: The limiting source term $Q$ in (\ref{transp})

531: describes quantitatively the resonant interactions mentioned above.

532: In the easier case

533: of (\ref{helme}), one has $Q(x,\xi)=\de\(\xi^2/2-n^2(0)\) \;

534: \de(x) \;

535: |\wh S(\xi)|^2$, meaning that the asymptotic source of energy

536: is concentrated at the origin in $x$ (this is the factor $\de(x)$),

537: and it only carries

538: resonant frequencies $\xi$ above this point

539: (due to $\de\(\xi^2/2-n^2(0)\)$).

540: A similar but more complicated value of $Q$ is obtained in the

541: case of (\ref{helmeb}). In any circumstance,

542: equation (\ref{transp}) tells us that

543: the energy brought by the source $Q$ is propagated

544: in the whole space through the transport

545: operator $\xi \cdot \nabla_x + \nabla_x n^2(x) \cdot \nabla_\xi $ naturally

546: associated with the semi-classical operator $-\eps^2 \D_x/2 -n^2(x)$.

547: The term $0^+ f$ 

548: in (\ref{transp}) specifies a radiation condition at infinity for $f$,

549: that is the trace, as $\eps \rgt 0$ of

550: the absorption coefficient $\a_\eps >0$ in (\ref{helme}) and (\ref{helmeb}).

551: It gives

552: $f$ as the outgoing solution

553: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

554: $$

555: f(x,\xi)

556: =

557: \int_0^{+\infty} Q\(X(s,x,\xi),\Xi(s,x,\xi)\) \; ds.

558: $$

559: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

560: Here $(X(s,x,\xi),\Xi(s,x,\xi))$ is the value at time $s$ of the

561: characteristic curve of

562: $\xi \cdot \nabla_x + \nabla_x n^2(x) \cdot \nabla_\xi $

563: starting at point $(x,\xi)$ of phase-space (see (\ref{odeh}) below).

564: Obtaining the radiation condition for $f$

565: as the limiting effect of the absorption

566: coefficient

567: $\a_\eps$ in (\ref{helme}) 

568: is actually the second main difficulty of the analysis

569: performed in \cite{BCKP} and \cite{CPR}.

570: 

571: It turns out that the analysis performed in \cite{BCKP} 

572: relies at some point on the asymptotic behaviour

573: of the scaled wave function $w^\eps(x)=\eps^{d/2} u^\eps(\eps x)$

574: that measures the oscillation/concentration

575: behaviour of $u^\eps$ close to the origin.

576: Similarly, in \cite{CPR}

577: one needs to rescale $u^\eps$ around any point $y\in \Gamma$,

578: setting

579: $w^\eps_y(x):=\eps^{d/2} u^\eps(y+\eps x)$ for any such $y$.

580: We naturally have

581: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

582: \beas

583: &&

584: i \eps \a_\eps w^\eps(x)

585: +\frac12\D_x w^\eps(x)+n^2(\eps x) w^\eps(x)

586: =

587: S\(x\) ,

588: \eeas

589: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

590: in the case of (\ref{helme}), and a similar observation

591: holds true in the case of (\ref{helmeb}).

592: Hence

593: the natural rescaling leads to the analysis of the prototype equation

594: (\ref{proto}).

595: Under appropriate assumptions on $n^2(x)$ and $S(x)$,

596: it may be proved that $w^\eps$, solution to (\ref{proto}),

597: is bounded in the weighted $L^2$ space

598: $L^2(\<x\>^{1+\de} \; d x)$, for any $\de>0$,

599: uniformly in $\eps$. For a fixed value of $\eps$,

600: such weighted estimates are consequences of

601: the work by Agmon, H\"ormander,

602: \cite{Ag}, \cite{AH}. The fact that these bounds are uniform in $\eps$

603: is a consequence of the recent

604: (and optimal) estimates established by B. Perthame and L. Vega in

605: \cite{PV1}, \cite{PV2} (where the weighted $L^2$ space are replaced by

606: a more precise homogeneous Besov-like space).

607: The results in \cite{PV1} and \cite{PV2} actually

608: need a virial condition

609: of the type

610: $2 n^2(x)+x\cdot\nabla_x n^2(x)\geq c >0$, an inequality that {\em implies}

611: both 

612: our transversality assumption {\bf (H)} page \pageref{HH},

613: and the non-trapping condition, i.e. the two hypothesis made

614: in the present paper.

615: We also refer to the work by N. Burq \cite{Bu},

616: G\'erard and Martinez \cite{GM},

617: T. Jecko \cite{J}, as well as Wang and Zhang \cite{WZ},

618: for (not optimal) bounds in a similar spirit.

619: Under the weaker assumptions we make in the present paper,

620: a weaker bound may also be obtained as 

621: a consequence of our analysis.

622: In any case, once $w^\eps$ is seen to be bounded,

623: it naturally possesses a weak limit $w=\lim w^\eps$

624: in the appropriate space. The limit $w$ clearly

625: satisfies in a weak sense the equation

626: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

627: \bea

628: \label{limw}

629: &&

630: \(\frac12\D_x+n^2(0)\) w(x)=S(x).

631: \eea

632: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

633: Unfortunately, equation (\ref{limw}) does not specify $w=\lim w^\eps$

634: in a unique way,

635: and it has to be supplemented with a radiation condition at infinity.

636: In view of the equation (\ref{proto}) satisfied by $w^\eps$,

637: it has been {\bf conjectured} in \cite{BCKP} and \cite{CPR}

638: that $\lim w^\eps$ actually satisfies

639: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

640: $$

641: \lim w^\eps=w^{\rm out},

642: $$

643: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

644: where $w^{\rm out}$ is the outgoing solution defined before.

645: The present paper ans\-wers the conjecture formulated in these works. It also

646: gives geometric conditions for the convergence

647: $\lim w^\eps=w^{\rm out}$ to hold.

648: 

649: As a final remark, let us mention that our anaylsis is purely time-dependent.

650: We wish to indicate that similar results than those in the present paper

651: were recently and independently obtained by Wang and Zhang \cite{WZ}

652: using a stationary approach. Note that

653: their analysis requires the stronger virial condition.

654: 

655: 

656: 

657: 

658: 

659: \bigskip

660: 

661: 

662: \noi

663: Our main theorem is the following

664: 

665: \medskip

666: 

667: 

668: 

669: 

670: 

671: 

672: 

673: 

674: 

675: 

676: 

677: 

678: 

679: 

680: 

681: 

682: 

683: 

684: 

685: 

686: 

687: 

688: 

689: 

690: 

691: 

692: 

693: 

694: 

695: 

696: 

697: 

698: 

699: 

700: 

701: 

702: 

703: 

704: 

705: 

706: 

707: 

708: 

709: 

710: 

711: 

712: 

713: 

714: 

715: 

716: 

717: 

718: 

719: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

720: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

721: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

722: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

723: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

724: \noi

725: {\bf Main Theorem}

726: 

727: \noi

728: {\it

729: Let $w^\eps$ satisfy

730: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

731: $

732: \quad

733: i \eps \a_\eps w^\eps(x)

734: +\frac12\D_x w^\eps(x)+n^2(\eps x) w^\eps(x) = S(x),

735: $

736: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

737: \;

738: for some sequence $\a_\eps>0$ such that $\a_\eps \rgt 0^+$ as

739: $\eps \rgt 0$. 

740: Assume that the source term $S$ belongs to the Schwartz class ${\cal

741: S}(\R^d)$.

742: Suppose also that the index of refraction

743: satisfies the following set of assumptions

744: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

745: \begin{itemize}

746: \item {(smoothness, decay).}

747: \; 

748: There exists an exponent $\rho>0$,

749: and a positive constant $n_\infty^2>0$ such that

750: for any multi-index $\a \in \N^d$, there

751: exists a constant $C_\a>0$ with

752: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

753: \bea

754: \label{decn}

755: &&

756: \Big|

757: \d^\a_x

758: \(n^2(x)-n_\infty^2\)

759: \Big|

760: \leq

761: C_\a \; \<x\>^{-\rho-|\a|} .

762: \eea

763: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

764: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

765: \item {(non-trapping condition)}. \;

766: The trajectories associated with the Hamiltonian

767: $\xi^2/2-n^2(x)$ are {not trapped} at the zero energy.

768: In other words,

769: any trajectory $(X(t,x,\xi),\Xi(t,x,\xi))$ solution to

770: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

771: \begin{align}

772: \non

773: &

774: \frac{\d}{\d t} X(t,x,\xi)= \Xi(t,x,\xi) 

775: , 

776: &

777: X(0,x,\xi)=x ,

778: \\

779: \label{odeh}

780: &

781: \frac{\d}{\d t} \Xi(t,x,\xi)= \(\nabla_x n^2\) \(X(t,x,\xi)\) 

782: , 

783: &

784: \Xi(0,x,\xi)=\xi ,

785: \end{align}

786: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

787: with initial datum $(x,\xi)$ such that

788: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

789: $

790: \xi^2/2-n^2(x)=0,

791: $

792: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

793: is assumed to satisfy

794: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

795: $$

796: |X(t,x,\xi)| \rgt \infty , \quad \text{ as } \; |t| \rgt \infty .

797: $$

798: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

799: \item

800: {(tranversality condition)}. \;

801: The tranvsersality condition {\bf (H)} page \pageref{HH}

802: (see also (\ref{93}) and (\ref{94}))

803: on the trajectories

804: starting from the origin $x=0$, with zero energy $\xi^2/2=n^2(0)$,

805: is satisfied.

806: \end{itemize}

807: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

808: 

809: \noi

810: Then,

811: we do have the following convergence, weakly,

812: when tested against any function $\phi \in {\cal S}(\R^d)$,

813: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

814: $$

815: w^\eps \rgt w^{\rm out}.

816: $$

817: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

818: }

819: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

820: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

821: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

822: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

823: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

824: 

825: 

826: \noi

827: {\bf First remark}

828: 

829: \noi

830: Still referring to

831: {\bf (H)} page \pageref{HH},

832: or (\ref{93}), (\ref{94})) for the precise statements,

833: we readily indicate that

834: the transversality assumption {\bf (H)} essentially requires

835: that the set 

836: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

837: $$

838: \{(\eta,\xi,t) \in \R^{2d} \times ]0,\infty[ \text{ s.t. }

839: X(t,0,\xi)=0, \; \Xi(t,0,\xi)=\eta, \; \xi^2/2=n^2(0)\}

840: $$

841: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

842: is a smooth submanifold of $\R^{2d+1}$,

843: having a codimension $>d+2$, a generic asssumption.

844: In other words, zero energy trajectories issued from the origin

845: and passing several times through the origin $x=0$ should be ``rare''.

846: \qed

847: \medskip

848: 

849: \noi

850: {\bf Second remark}

851: 

852: \noi

853: As we already mentionned, it is easily proved 

854: that the virial condition

855: $2 n^2(x)+x\cdot\nabla_xn^2(x)\geq c>0$

856: implies both the non-trapping and the transversality

857: conditions. This observation relies on the identities

858: $\d_t\(X(t,x,\xi)^2/2\)=X(t,x,\xi) \cdot \Xi(t,x,\xi)$ and

859: $\d_t\(X(t,x,\xi) \cdot \Xi(t,x,\xi)\)=

860: \[2 n^2(x)+x \cdot \nabla_x n^2(x)\]|_{x=X(t,x,\xi)}\geq c>0$,

861: where $(X(t,x,\xi),\Xi(t,x,\xi)$ is any trajectory with zero

862: energy (see section \ref{brbr} for computations in this spirit).

863: 

864: In fact, the virial condition implies even more, namely that

865: trajectories issued from the origin with zero energy

866: {\em never come back to the origin}. In other words, the set involved

867: in assumption {\bf (H)} page \pageref{HH} is simply {\em void},

868: and {\bf (H)} is trivially true under the virial condition.

869: As the reader may easily check, such a situation allows to

870: considerably simplify the proof we give here: the tools developped

871: in sections \ref{st}, \ref{2z}, \ref{kappa}, \ref{brbr} are actually enough

872: to make the complete analysis, and one does not need to

873: go into the detailed computations of section \ref{mod}

874: in that case.

875: 

876: Last, the above Theorem asserts the convergence of $w^\eps$:

877: note in passing that even

878: the weak boundedness of $w^\eps$ under the sole above assumptions

879: (i.e. without the virial condition)

880: is not a known result. 

881: \qed

882: \medskip

883: 

884: 

885: 

886: The above theorem is not only a local convergence result,

887: valid for test functions $\phi \in {\cal S}$.

888: Indeed, by density of smooth functions

889: in weighted $L^2$ spaces, it readily implies the following immediate corollary.

890: It states that, provided $w^\eps$ is bounded in the natural

891: weighted $L^2$ space,

892: the convergence also holds weakly in this space. In other words,

893: the convergence also holds globally.

894: 

895: \medskip

896: 

897: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

898: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

899: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

900: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

902: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

903: \noi

904: {\bf Immediate corollary}

905: 

906: \noi

907: {\it

908: With the notations of the main Theorem,

909: assume that the source term $S$ above satisfies the weaker decay property

910: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

911: \bea

912: &&

913: \label{sinb}

914: \|S\|_B:=\sum_{j\in \Z}

915: 2^{j/2}

916: \|S\|_{L^2(C_j)} < \infty ,

917: \eea

918: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

919: where $C_j$ denotes the annulus $\{ 2^j \leq |x| \leq 2^{j+1}\}$

920: in $\R^d$.

921: Suppose also that the index of refraction

922: satisfies the smoothness condition of the main Theorem, with the

923: non-trapping and transversality assumptions replaced by the stronger

924: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

925: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

926: \bea

927: \label{pv}

928: &&

929: \bullet

930: \text{ (virial-like condition) } \qquad

931: 2 \sum_{j\in\Z} \; 

932: \sup_{x\in C_j}

933: \frac{\(x \cdot \nabla n^2(x)\)_{-}}{n^2(x)}

934: < 1 .

935: \eea

936: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

937: Then,

938: we do have the convergence

939: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

940: $

941: w^\eps \rgt w^{\rm out},

942: $

943: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

944: weakly, when tested against any function $\phi$ such that

945: $\|\phi\|_B<\infty$,

946: }

947: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

948: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

949: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

950: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

951: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

952: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

953: 

954: \medskip

955: 

956: Under the simpler virial condition

957: $2 n^2(x)+x \cdot n^2(x)\geq c>0$,

958: a similar result holds with the space $B$ replaced by the more usual weighted

959: space  $L^2\(\<x\>^{1+\de} dx\)$ ($\de>0$ arbitrary).

960: Here, we give a version where

961: the decay (\ref{sinb}) assumed on the source $S$

962: is the optimal one, and the above weak convergence holds

963: in the optimal space.

964: 

965: It is well known that the resolvent of the Helmholtz operator maps

966: the weighted $L^2$ space $L^2\(\<x\>^{1+\de} dx\)$

967: to $L^2\(\<x\>^{-1-\de} dx\)$ for any $\de>0$

968: (\cite{Ag}, \cite{J}, \cite{GM}).

969: Agmon and H\"ormander \cite{AH} gave an optimal

970: version in the constant coefficients case:

971: the resolvent of the Helmholtz operator sends

972: the weighted $L^2$ space $B$ defined in (\ref{sinb}) to

973: the dual weighted space $B^*$ defined by

974: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

975: \begin{align}

976: \label{b*}

977: &&

978: \|u\|_{B^*}

979: :=

980: \sup_{j \in \Z}

981: 2^{-j/2} \|u\|_{L^2(C_j)} .

982: \end{align}

983: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

984: For non-constant coefficients,

985: that are non-compact perturbations of constants,

986: Perthame and Vega in \cite{PV1} and \cite{PV2} established

987: the optimal estimate in $B$-$B^*$ under assumption

988: (\ref{pv}).

989: In our perspective, the assumption (\ref{pv}) is of

990: technical nature, and it may be replaced by {\bf any} assumption ensuring that

991: the solution $w^\eps$ to (\ref{proto}) satisfies the uniform bound

992: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

993: \begin{align}

994: \label{bbb}

995: &&

996: \|w^\eps\|_{B^*}

997: \leq

998: C_{d,n^2}  \;

999: \|S\|_B ,

1000: \end{align}

1001: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1002: for some universal constant $C_{d,n^2}$ that only depends on the dimension

1003: $d\geq 3$ and the index $n^2$.

1004: 

1005: 

1006: \medskip

1007: 

1008: \noi

1009: {\bf Proof of the immediate Corollary}

1010: 

1011: \noi

1012: Under the virial-like assumption (\ref{pv}), 

1013: it has been established in \cite{PV1} that estimate

1014: (\ref{bbb}) holds true. Hence, by density of the Schwartz class

1015: in the space $B$, one readily reduces the problem to the case

1016: when the source $S$ and the test function $\phi$ belong to ${\cal S}(\R^d)$.

1017: The Main Theorem now allows to conclude.

1018: \qed

1019: 

1020: 

1021: \medskip

1022: 

1023: Needless to say, the central assumptions needed for the theorem are

1024: the non-trapping condition together with the transversality condition.

1025: Comments are given below on the very meaning of the transversality condition

1026: {\bf (H)} page \pageref{HH} (i.e. (\ref{93}), (\ref{94})), to which we refer.

1027: 

1028: To state the result very briefly, the heart of our proof lies in proving that

1029: under the above assumptions, the propagator

1030: $\exp\(i \eps^{-1} t \, \(-\eps^2 \D_x/2-n^2(x)\)\)$,

1031: or its rescaled value $\exp\(i t \(- \D_x/2-n^2(\eps x)\)\)$,

1032: satisfy ``similar'' dispersive properties

1033: as the free Schr\"odinger operator $\exp\(i t \(- \D_x/2-n^2(0)\)\)$,

1034: {\em uniformly in~$\eps$}. This in turn is proved upon distinguishing between

1035: small times, moderate times, and very large times,

1036: each case leading to the use of different arguments and techniques.

1037: 

1038: 

1039: \medskip

1040: 

1041: The remainder part of this paper is devoted to the proof of the main

1042: Theorem. The proof being long and using many different tools,

1043: we first draw in section \ref{redu} an outline of the proof,

1044: giving the main ideas and tools. We also define the relevant

1045: mathematical objects to be used throughout the paper.

1046: The proof itself is performed in the next sections

1047: \ref{st} to \ref{ccl}. Examples and counterexamples to the Theorem

1048: are also proposed in the last section \ref{expl}.

1049: 

1050: The main intermediate results are

1051: proposition \ref{ouane},

1052: proposition \ref{2},

1053: proposition \ref{wawang},

1054: together with the more difficult proposition \ref{brob}

1055: (that needs an Egorov Theorem for large times stated

1056: in Lemma \ref{bourob}).

1057: The key (and most difficult) result is  proposition \ref{dur}.

1058: The latter uses the tranversality condition mentioned before.

1059: 

1060: 

1061: 

1062: 

1063: 

1064: 

1065: 

1066: 

1067: 

1068: 

1069: 

1070: 

1071: 

1072: 

1073: 

1074: 

1075: 

1076: 

1077: 

1078: 

1079: 

1080: 

1081: 

1082: 

1083: 

1084: 

1085: 

1086: 

1087: 

1088: 

1089: 

1090: 

1091: 

1092: 

1093: 

1094: 

1095: 

1096: 

1097: 

1098: 

1099: 

1100: 

1101: 

1102: 

1103: 

1104: 

1105: 

1106: 

1107: 

1108: 

1109: 

1110: 

1111: 

1112: 

1113: 

1114: 

1115: 

1116: 

1117: 

1118: 

1119: 

1120: 

1121: 

1122: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1123: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1124: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1125: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1126: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1127: 

1128: \section{Preliminary Analysis: outline of the proof of the Main Theorem}

1129: \label{redu}

1130: 

1131: \setcounter{equation}{0}

1132: 

1133: \subsection{Outline of the proof} 

1134: 

1135: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1136: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1137: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1138: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1139: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1140: 

1141: 

1142: 

1143: Let $w^\eps$ be the solution to

1144: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1145: $

1146: i\eps \a_\eps w^\eps

1147: +\frac12\D w^\eps

1148: +n^2(\eps x) w^\eps

1149: =

1150: S\(x\),

1151: $

1152: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1153: with $S\in {\cal S}(\R^d)$.

1154: According to the statement of our main Theorem,

1155: we wish to study the asymptotic behaviour of $w^\eps$ as $\eps \rgt

1156: 0$, in a weak sense. Taking a test function

1157: $\phi(x)\in {\cal S}(\R^d)$, and defining the duality product

1158: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1159: $$

1160: \<w^\eps,\phi\>

1161: :=

1162: \int_{\R^d}

1163: w^\eps(x) \phi(x) \, dx,

1164: $$

1165: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1166: we want to prove the convergence

1167: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1168: $$

1169: \<w^\eps,\phi\>\rgt \<w^{\rm out},\phi\> \; \text{ as } \; \eps\rgt 0

1170: .

1171: $$

1172: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1173: where the outgoing solution of the (constant coefficient)

1174: Helmholtz equation $w^{\rm out}$ is defined in (\ref{mainst}), (\ref{outg})

1175: before.

1176: 

1177: 

1178: \medskip

1179: 

1180: \noi

1181: {\bf First step: preliminary reduction - the time dependent approach}

1182: 

1183: In order to prove the weak convergence

1184: $\<w^\eps,\phi\>\rgt\<w,\phi\>$, 

1185: we define

1186: the rescaled function

1187: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1188: \bea

1189: \label{wtou}

1190: &&

1191: u^\eps(x)=\frac{1}{\eps^{d/2}}

1192: w^\eps\(\frac{x}{\eps}\)

1193: .

1194: \eea

1195: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1196: It satisfies

1197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1198: $

1199: i\eps \a_\eps u^\eps

1200: +\eps^2/2 \, \D u^\eps

1201: +n^2(x) u^\eps

1202: =

1203: 1/\eps^{d/2}

1204: S\(x/\eps\)

1205: =:

1206: S_\eps(x),

1207: $

1208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1209: where for any function $f(x)$ we use the short-hand notation

1210: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1211: $$

1212: f_\eps(x)=

1213: \frac{1}{\eps^{d/2}}

1214: f\(\frac{x}{\eps}\)

1215: .

1216: $$

1217: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1218: Using now the function $u^\eps$ instead of $w^\eps$, 

1219: we observe the equality

1220: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1221: \bea

1222: \label{semeq}

1223: &&

1224: \<w^\eps,\phi\>

1225: =

1226: \<u^\eps,\phi_\eps\>

1227: .

1228: \eea

1229: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1230: This transforms the original problem into the question of computing

1231: the semiclassical limit $\eps\rgt 0$ in the equation satisfied by

1232: $u^\eps$. One sees in (\ref{semeq}) that this limit

1233: needs to be computed {\em at the semiclassical scale} (i.e. when tested upon

1234: a smooth, concentrated function $\phi_\eps$).

1235: 

1236: In order to do so, we compute $u^\eps$ in terms of the 

1237: semiclassical resolvent 

1238: $\(

1239: i\eps \a_\eps

1240: +(\eps^2/2)\D

1241: +n^2(x)

1242: \)^{-1}

1243: $.

1244: It is the integral over the whole time interval

1245: $[0,+\infty[$ of the propagator of the Schr\"odinger

1246: operator associated with $\eps^2\D/2

1247: +n^2(x)$. In other words we write

1248: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1249: \bea

1250: \non

1251: u^\eps

1252: &=&

1253: \(

1254: i\eps \a_\eps

1255: +\frac{\eps^2}{2}\D

1256: +n^2(x)

1257: \)^{-1}

1258: S_\eps

1259: \\

1260: &=&

1261: i

1262: \int_0^{+\infty}

1263: \exp\(

1264: i t \(

1265: i\eps \a_\eps

1266: +\frac{\eps^2}{2}\D

1267: +n^2(x)

1268: \)

1269: \)

1270: S_\eps

1271: \,

1272: dt

1273: .

1274: \eea

1275: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1276: Now, defining the semi-classical propagator

1277: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1278: \bea

1279: U_\eps(t)

1280: :=

1281: \exp\(

1282: i \frac{t}{\eps} \(

1283: \frac{\eps^2}{2}\D

1284: +n^2(x)

1285: \)

1286: \)

1287: =

1288: \exp\(

1289: - i \frac{t}{\eps} H_\eps \)

1290: ,

1291: \eea

1292: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1293: associated with the semi-classical Schr\"odinger operator

1294: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1295: \begin{align}

1296: &&

1297: H_\eps:=

1298: -\frac{\eps^2}{2}\D

1299: -n^2(x)

1300: ,

1301: \end{align}

1302: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1303: we arrive at the final formula

1304: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1305: \bea

1306: \label{integ}

1307: \<w^\eps,\phi\>

1308: =

1309: \<u^\eps,\phi_\eps\>

1310: =

1311: \frac{i}{\eps}

1312: \int_0^{+\infty}

1313: \e^{-\a_\eps t} \;

1314: \<

1315: U_\eps(t)

1316: S_\eps

1317: ,

1318: \phi_\eps

1319: \>

1320: \, dt.

1321: \eea

1322: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1323: Our strategy is to pass to the limit in this very integral.

1324: 

1325: 

1326: \bigskip

1327: 

1328: \noi

1329: {\bf Second step: passing to the limit in the time integral (\ref{integ})}

1330: 

1331: In order to pass to the limit $\eps\rgt 0$ in (\ref{integ}),

1332: we need to analyze the contributions

1333: of various time scales in the corresponding time integral.

1334: More precisely,

1335: we choose for the whole subsequent analysis two (large) cutoff parameters

1336: in time, denoted by $\T$ and $\tau$, and we analyze the contributions

1337: to the time integral (\ref{integ}) that are due to the three regions

1338: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1339: $$

1340: 0 \leq t \leq \T \eps

1341: , \;

1342: \T \eps \leq t \leq \tau

1343: , \; \text{ and } \;

1344: t \geq \tau . 

1345: $$

1346: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1347: We also choose a (small) exponent $\k>0$, and we occasionally

1348: treat separately the contributions of very large times

1349: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1350: $$

1351: t \geq \eps^{-\k} .

1352: $$

1353: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1354: Associated with these truncations, we take once and for all

1355: a smooth cutoff function $\chi$ defined on $\R$, such that

1356: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1357: \bea

1358: \label{chi}

1359: &&

1360: \non

1361: \chi(z) \equiv 1 \; \text{ when } \; |z|\leq 1/2 ,

1362: \; \;

1363: \chi(z) \equiv 0  \; \text{ when } \; |z| \geq 1 ,

1364: \\

1365: &&

1366: \qquad

1367: \qquad

1368: \qquad

1369: \qquad

1370: \chi(z)\geq 0 \; \text{ for any $z$}.

1371: \eea

1372: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1373: To be complete, there remains to finally choose a (small) cutoff parameter

1374: in energy $\de>0$. Accordingly we distinguish in the $L^2$ scalar product

1375: $\<U_\eps(t)S_\eps,\phi_\eps\>$ between energies close to (or far from) the

1376: zero energy, which is critical for our problem. In other words, we set

1377: the self-adjoint operator

1378: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1379: $$

1380: \chi_\de\(H_\eps\):=

1381: \chi\(\frac{H_\eps}{\de}\) .

1382: $$

1383: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1384: This object is perfectly well defined using

1385: standard functional calculus for self-adjoint operators.

1386: We decompose

1387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1388: $$

1389: \<U_\eps(t)S_\eps,\phi_\eps\>

1390: =

1391: \Big<U_\eps(t)\,\chi_\de(H_\eps)S_\eps,\phi_\eps\Big>

1392: +

1393: \Big<U_\eps(t)\, \( 1-\chi_\de\)(H_\eps)\,S_\eps,\phi_\eps\Big>

1394: .

1395: $$

1396: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1397: Following the above described decomposition

1398: of times and energies, we study each of the subsequent terms:

1399: 

1400: \medskip

1401: \noi

1402: $\bullet$ {\bf The contribution of small times} is

1403: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1404: \beas

1405: &&

1406: \frac{1}{\eps}

1407: \int_0^{2 \T \eps}

1408: \chi\(\frac{t}{\T \eps}\)

1409: \;

1410: \e^{-\a_\eps t} \;

1411: \<

1412: U_\eps(t)

1413: S_\eps

1414: ,

1415: \phi_\eps\>

1416: \; dt .

1417: \eeas

1418: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1419: We prove in section \ref{st} that this term actually gives the dominant

1420: contribution in (\ref{integ}), provided the cutoff parameter

1421: $\T$ is taken large enough. This (easy) analysis essentially boils down

1422: to manipulations on the time dependent Schr\"odinger operator

1423: $i \d_t + \D_x/2 + n^2(\eps x)$, for {\em finite times} $t$

1424: of the order $t\sim\T$

1425: at most.

1426: 

1427: \medskip

1428: \noi

1429: $\bullet$ {\bf The contribution of moderate and large

1430: times, away from the zero energy},

1431: is

1432: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1433: \beas

1434: &&

1435: \frac{1}{\eps}

1436: \int_{\T \eps}^{+\infty}

1437: \(1-\chi\)\(\frac{t}{\T \eps}\)

1438: \;

1439: \e^{-\a_\eps t} \;

1440: \Big<

1441: U_\eps(t)

1442: \(1-\chi_\de\)\(H_\eps\) S_\eps

1443: ,

1444: \phi_\eps\Big>

1445: \; dt .

1446: \eeas

1447: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1448: We prove in section \ref{2z}

1449: below that this term has a vanishing contribution, provided

1450: $\T$ is large enough. This easy result relies on a non-stationnary

1451: phase argument in time, recalling

1452: that $U_\eps(t)=\exp(-it H_\eps/\eps)$ and the energy $H_\eps$ is larger

1453: than $\de>0$.

1454: 

1455: 

1456: 

1457: \medskip

1458: \noi

1459: $\bullet$ {\bf The contribution of very large times, close to the

1460: zero energy} is

1461: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1462: \beas

1463: &&

1464: \frac{1}{\eps}

1465: \int_{\eps^{-\k}}^{+\infty}

1466: \e^{-\a_\eps t} \;

1467: \Big<

1468: U_\eps(t)

1469: \chi_\de\(H_\eps\) S_\eps

1470: ,

1471: \phi_\eps

1472: \Big>

1473: \; dt .

1474: \eeas

1475: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1476: We prove in section \ref{kappa} that this term has a vanishing

1477: contribution as $\eps\rgt 0$. To do so, we use

1478: results proved by X.P. Wang \cite{Wa}: these essentially assert

1479: that the operator $\<x\>^{-s} \; U_\eps(t) \chi_\de(H_\eps) \; \<x\>^{-s}$

1480: has the natural size $\<t\>^{-s}$ as time goes to infinity,

1481: provided the critical zero energy

1482: is non-trapping.

1483: Roughly, the semiclassical operator

1484: $ U_\eps(t) \chi_\de(H_\eps)$ sends rays initially close to the origin,

1485: at a distance of the order $t$ from the origin, when the energy is non

1486: trapping. Hence the above scalar product involves

1487: both a function $U_\eps(t)\chi_\de\(H_\eps\) S_\eps$ that is localized

1488: at a distance $t$ from the origin, and a function $\phi_\eps$ that

1489: is localized at the origin. This makes the corresponding contribution vanish.

1490: 

1491: \medskip

1492: 

1493: 

1494: The most difficult terms are the last two that we describe now.

1495: 

1496: 

1497: \medskip

1498: \noi

1499: $\bullet$ {\bf The contribution of large times, close to the

1500: zero energy} is

1501: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1502: \beas

1503: &&

1504: \frac{1}{\eps}

1505: \int_{\tau}^{\eps^{-\k}}

1506: \e^{-\a_\eps t} \;

1507: \Big<

1508: U_\eps(t)

1509: \chi_\de\(H_\eps\) S_\eps,

1510: \phi_\eps

1511: \Big>

1512: \; dt .

1513: \eeas

1514: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1515: The treatment of this term is performed in section \ref{brbr}.

1516: It is similar in spirit to (though much harder than) the

1517: analysis performed in the previous term: using only

1518: information on the localization properties of

1519: $U_\eps(t) \chi_\de\(H_\eps\) S_\eps$ and $\phi_\eps$,

1520: we prove

1521: that this term

1522: has a vanishing contribution, provided $\tau$ is large enough.

1523: To do so, we use ideas of Bouzouina and Robert \cite{BR}, to establish

1524: a version of the Egorov theorem that holds true for {\em polynomially

1525: large times} in

1526: $\eps$.

1527: We deduce that for any time

1528: $\tau \leq t \leq \eps^{-\k}$, the term

1529: $U_\eps(t)

1530: \chi_\de\(H_\eps\) S_\eps$ is localized

1531: close to the value at time $t$

1532: of a trajectory shot from the origin.

1533: The non-trapping assumption then says that for $\tau$ large enough,

1534: $U_\eps(t)

1535: \chi_\de\(H_\eps\) S_\eps$ is localized away from the origin.

1536: This

1537: makes the scalar product $\<U_\eps(t)

1538: \chi_\de\(H_\eps\) S_\eps,\phi_\eps\>$

1539: vanish asymptotically.

1540: 

1541: 

1542: 

1543: 

1544: 

1545: \medskip

1546: \noi

1547: $\bullet$ {\bf The contribution of moderate times close to the

1548: zero energy} is

1549: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1550: \beas

1551: &&

1552: \frac{1}{\eps}

1553: \int_{\T \eps}^{\tau}

1554: \(1-\chi\)\(\frac{t}{\T \eps}\)

1555: \;

1556: \e^{-\a_\eps t} \;

1557: \Big<

1558: U_\eps(t)

1559: \chi_\de\(H_\eps\) S_\eps

1560: ,

1561: \phi_\eps

1562: \Big>

1563: \; dt .

1564: \eeas

1565: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1566: This is the most difficult term: contrary to all preceding terms,

1567: it cannot be analyzed using only geometric informations on the

1568: microlocal support of the relevant functions.

1569: Indeed, keeping in mind that the function

1570: $U_\eps(t)

1571: \chi_\de\(H_\eps\) S_\eps$ is localized on a trajectory initially shot from

1572: the origin, whereas $\phi_\eps$ stays at the origin,

1573: it is clear that

1574: for times $\T \eps \leq t \leq \tau$,

1575: the support of $U_\eps(t)

1576: \chi_\de\(H_\eps\) S_\eps$ and $\phi_\eps$ {\em may intersect},

1577: due to trajectories

1578: passing {\em several times} at the origin. This might create a dangerous

1579: accumulation of energy at this point.

1580: For that reason, we need a precise

1581: evaluation of the semi-classical propagator $U_\eps(t)$, for times

1582: up to the order $t\sim\tau$. This is done using

1583: the elegant wave-packet approach of M. Combescure and D. Robert

1584: \cite{CRo} (see also

1585: \cite{Ro}, and the nice lecture \cite{Ro2}): projecting $S_\eps$

1586: over the standard gaussian wave packets, we can compute

1587: $U_\eps(t) S_\eps$

1588: in a quite explicit fashion, with the help of

1589: classical quantities like, typically, the linearized flow of the Hamiltonian

1590: $\xi^2/2-n^2(x)$. This gives us an integral representation

1591: with a complex valued phase function. Then,

1592: one needs to insert a last (small) cutoff parameter in time,

1593: denoted $\th>0$.

1594: For small times,

1595: using the above mentioned representation formula, we first prove 

1596: that the term

1597: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1598: \beas

1599: &&

1600: \frac{1}{\eps}

1601: \int_{\T \eps}^{\th}

1602: \(1-\chi\)\(\frac{t}{\T \eps}\)

1603: \;

1604: \e^{-\a_\eps t} \;

1605: \Big<

1606: U_\eps(t)

1607: \chi_\de\(H_\eps\) S_\eps

1608: ,

1609: \phi_\eps

1610: \Big>

1611: \; dt ,

1612: \eeas

1613: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1614: vanishes asymptotically,

1615: provided $\th$ is small, and $\T$ is large enough.

1616: To do so, we use that for small enough $\th$,

1617: the propagator $U_\eps(t)$ acting on $S_\eps$ resembles the free

1618: Schr\"odinger operator $\exp\(i t [\D_x/2+n^2(0)]\)$. 

1619: In terms of trajectories, on this time scale,

1620: we use that $U_\eps(t) S_\eps$ is localized around a ray

1621: that leaves the origin {\em at speed $n(0)$}.

1622: Then, for later times, we prove

1623: that the remaining contribution

1624: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1625: \beas

1626: &&

1627: \frac{1}{\eps}

1628: \int_{\th}^{\tau}

1629: \e^{-\a_\eps t} \;

1630: \Big<

1631: U_\eps(t)

1632: \chi_\de\(H_\eps\) S_\eps

1633: ,

1634: \phi_\eps

1635: \Big>

1636: \; dt ,

1637: \eeas

1638: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1639: is small. This uses stationary

1640: phase formulae in the spirit of \cite{CRR}, and this is where

1641: the transversality assumption {\bf (H)} page \pageref{HH} enters:

1642: trajectories passing

1643: several times at the origin do not accumulate to much

1644: energy at this point.

1645: 

1646: We end up this sketch of proof with a figure illustrating the

1647: typical trajectory (and the associated cutoffs in time) that 

1648: our analysis has to deal with.

1649: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1650: \begin{center}

1651: \scalebox{0.42}{\includegraphics{figureill.eps}}

1652: \end{center}

1653: 

1654: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1655: 

1656: 

1657: 

1658: 

1659: 

1660: 

1661: 

1662: 

1663: 

1664: 

1665: 

1666: 

1667: 

1668: 

1669: 

1670: 

1671: 

1672: 

1673: 

1674: 

1675: 

1676: 

1677: 

1678: 

1679: 

1680: 

1681: 

1682: 

1683: 

1684: 

1685: 

1686: 

1687: 

1688: 

1689: 

1690: 

1691: 

1692: 

1693: 

1694: 

1695: 

1696: 

1697: 

1698: 

1699: 

1700: 

1701: 

1702: 

1703: 

1704: 

1705: 

1706: 

1707: 

1708: 

1709: 

1710: 

1711: 

1712: 

1713: 

1714: 

1715: 

1716: 

1717: 

1718: 

1719: 

1720: 

1721: 

1722: 

1723: 

1724: 

1725: 

1726: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1727: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1728: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1729: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1730: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1731: 

1732: \subsection{Notations used in the proof}

1733: 

1734: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1735: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1736: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1737: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1738: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1739: 

1740: Throughout this article, we will make use of the following notations.

1741: 

1742: \medskip

1743: \noi

1744: $\bullet$

1745: {\bf Semi-classical quantities}

1746: 

1747: \noi

1748: The semi-classical Hamiltonian $H_\eps$ and its associated

1749: propagator $U_\eps(t)$ have already been defined.

1750: We also need to use the Weyl quantization.

1751: For a symbol $a(x,\xi)$ defined on $\R^{2d}$,

1752: its Weyl quantization is

1753: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1754: \beas

1755: %\label{weyl}

1756: \({\rm Op}^w_\eps(a) f\)(x)

1757: :=

1758: \frac{1}{(2\pi \eps)^d}

1759: \int_{\R^{2d}}

1760: \e^{i\frac{(x-y) \cdot \xi}{\eps}}

1761: \;

1762: a\(\frac{x+y}{2},\xi\)

1763: \;

1764: f(y) \; dy \; d\xi .

1765: \eeas

1766: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1767: Throughout the paper, we use the standard semi-classical symbolic calculus,

1768: and refer, e.g., to \cite{DS} or \cite{Ma}. In particular,

1769: for a weight $m(x,\xi)$, we use symbols $a(x,\xi)$ in the class

1770: $S(m)$, i.e. symbols such that for any multi-index $\a$, there

1771: exists a constant $C_\a$ so that 

1772: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1773: $$

1774: |\d^\a a(x,\xi)| \leq C_\a m(x,\xi) , \; \forall (x,\xi) \in \R^{2d} .

1775: $$

1776: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1777: The notation $a\sim\sum\eps^k a_k$ means that for any $N$ and any $\a$,

1778: there exists a constant $C_{N,\a}$ such that

1779: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1780: $$

1781: \Bigg|

1782: \d^\a \(a(x,\xi)-\sum_{k=0}^N \eps^k a_k(x,\xi)\)

1783: \Bigg| \leq C_{N,\a} \; \eps^{N+1}  m(x,\xi) ,

1784: \; \forall (x,\xi) \in \R^{2d} .

1785: $$

1786: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1787: 

1788: 

1789: \medskip

1790: 

1791: 

1792: \noi

1793: $\bullet$

1794: {\bf Classical quantitities}

1795: 

1796: \noi

1797: Associated with the Hamiltonian

1798: $H(x,\xi)=\xi^2/2-n^2(x)$,

1799: we denote the Hamiltonian flow

1800: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1801: \beas

1802: %\label{flow}

1803: &&

1804: \Phi(t,x,\xi)=(X(t,x,\xi)\, , \, \Xi(t,x,\xi)) ,

1805: \eeas

1806: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1807: defined as the solution of the Hamilton equations

1808: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1809: \begin{align}

1810: \label{hamf}

1811: \non

1812: &\disp\frac{\d}{\d t} X(t,x,\xi)

1813: =

1814: \Xi(t,x,\xi) 

1815: ,

1816: &

1817: X(0,x,\xi)=x ,

1818: \qquad\qquad

1819: \\

1820: &\disp\frac{\d}{\d t} \Xi(t,x,\xi)

1821: =

1822: \(\nabla_x n^2\)\(X(t,x,\xi)\) 

1823: ,

1824: &

1825: \Xi(0,x,\xi)=\xi .

1826: \qquad\qquad

1827: \end{align}

1828: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1829: These may be written shortly

1830: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1831: \bea

1832: \label{hamfs}

1833: \frac{\d}{\d t} \Phi(t,x,\xi)

1834: =

1835: J \; \frac{D H}{D(x,\xi)}\(\Phi(t,x,\xi)\)

1836: ,

1837: \eea

1838: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1839: where $J$ is the standard symplectic matrix

1840: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1841: \bea

1842: \label{j}

1843: J=

1844: \left(

1845: \begin{array}{cc}

1846: 0&{\rm Id}

1847: \\

1848: -{\rm Id}&0

1849: \end{array}

1850: \right) .

1851: \eea

1852: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1853: The linearized flow of $\Phi$ is denoted by

1854: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1855: \bea

1856: \label{linf}

1857: F(t,x,\xi):=\frac{D \Phi(t,x,\xi)}{D(x,\xi)} .

1858: \eea

1859: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1860: It may be decomposed into

1861: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1862: \bea

1863: \label{decf}

1864: F(t,x,\xi)

1865: =

1866: \left(

1867: \begin{array}{cc}

1868: A(t,x,\xi)&B(t,x,\xi)

1869: \\

1870: C(t,x,\xi)&D(t,x,\xi)

1871: \end{array}

1872: \right)

1873: ,

1874: \eea

1875: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1876: where the matrices $A(t)$, $B(t)$, $C(t)$, and $D(t)$ are, by definition

1877: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1878: \beas

1879: &&

1880: A(t,x,\xi)=\frac{D X(t,x,\xi)}{D x} 

1881: , \quad

1882: B(t,x,\xi)

1883: =\frac{D X(t,x,\xi)}{D \xi}

1884: ,

1885: \\

1886: &&

1887: C(t,x,\xi)

1888: =

1889: \frac{D \Xi(t,x,\xi)}{D x}

1890: , \quad

1891: D(t,x,\xi)

1892: =

1893: \frac{D \Xi(t,x,\xi)}{D \xi} .

1894: \eeas

1895: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1896: Upon linearizing (\ref{hamf}),

1897: the matrices $A(t)$, $B(t)$, $C(t)$, and $D(t)$ clearly satisfy

1898: the differential system

1899: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1900: \begin{align}

1901: \label{linf1}

1902: \non

1903: &

1904: \frac{\d}{\d t} A(t,x,\xi)=C(t,x,\xi) ,

1905: &

1906: A(0,x,\xi)={\rm Id} ,

1907: \\

1908: &

1909: \frac{\d}{\d t} C(t,x,\xi)=\frac{D^2 n^2}{D x^2}

1910: \(X(t,x,\xi)\) \; A(t,x,\xi) ,

1911: &

1912: C(0,x,\xi)=0 ,

1913: \end{align}

1914: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1915: together with

1916: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1917: \begin{align}

1918: \label{linf2}

1919: \non

1920: &

1921: \frac{\d}{\d t} B(t,x,\xi)=D(t,x,\xi) ,

1922: &

1923: B(0,x,\xi)=0 ,

1924: \\

1925: &

1926: \frac{\d}{\d t} D(t,x,\xi)=\frac{D^2 n^2}{D x^2}\(X(t,x,\xi)\) \; B(t,x,\xi)

1927: ,

1928: &

1929: D(0,x,\xi)={\rm Id} .

1930: \end{align}

1931: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1932: In short, one may write as well

1933: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1934: \bea

1935: \label{hamlinfs}

1936: \frac{\d}{\d t} F(t,x,\xi)

1937: =

1938: J \; \frac{D^2 H}{D(x,\xi)^2}\(\Phi(t,x,\xi)\) \; F(t,x,\xi) .

1939: \eea

1940: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1941: A last remark is in order. Indeed, it is a standard fact to observe that

1942: the matrix $F(t,x,\xi)$ is a symplectic matrix, in that

1943: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1944: \bea

1945: F(t,x,\xi)^\tr J F(t,x,\xi)=J ,

1946: \eea

1947: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1948: for any

1949: $(t,x,\xi)$. Here, the exponent $\tr$ denotes

1950: transposition. Decomposing $F(t)$ as in (\ref{decf}),

1951: this gives the relations

1952: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1953: \bea

1954: \label{relsym}

1955: \non

1956: &&

1957: A(t)^\tr C(t)=C(t)^\tr A(t) , \;

1958: B(t)^\tr D(t)=D(t)^\tr B(t) , \;

1959: \\

1960: &&

1961: A(t)^\tr D(t)-C(t)^\tr B(t)={\rm Id} .

1962: \eea

1963: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1964: These can be put in the following useful form

1965: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1966: \begin{align}

1967: \label{uv}

1968: \non

1969: &

1970: \(A(t)+iB(t)\)^\tr \(C(t)+iD(t)\)

1971: =

1972: \(C(t)+iD(t)\)^\tr \(A(t)+iB(t)\)

1973: &

1974: \\

1975: &

1976: \(C(t)+iD(t)\)^\tr \(A(t)-iB(t)\)

1977: &

1978: \\

1979: &

1980: \non

1981: \qquad

1982: \qquad

1983: -

1984: \(A(t)+iB(t)\)^\tr \(C(t)-iD(t)\)

1985: =

1986: 2 i {\rm Id} .

1987: &

1988: \end{align}

1989: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1990: These relations will be used in section \ref{mod}.

1991: 

1992: 

1993: 

1994: 

1995: 

1996: 

1997: 

1998: 

1999: 

2000: 

2001: 

2002: 

2003: 

2004: 

2005: 

2006: 

2007: 

2008: 

2009: 

2010: 

2011: 

2012: 

2013: 

2014: 

2015: 

2016: 

2017: 

2018: 

2019: 

2020: 

2021: 

2022: 

2023: 

2024: 

2025: 

2026: 

2027: 

2028: 

2029: 

2030: 

2031: 

2032: 

2033: 

2034: 

2035: 

2036: 

2037: 

2038: 

2039: 

2040: 

2041: 

2042: 

2043: 

2044: 

2045: 

2046: 

2047: 

2048: 

2049: 

2050: 

2051: 

2052: 

2053: 

2054: 

2055: 

2056: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2057: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2058: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2059: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2060: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2061: 

2062: \section{Small time contribution: the case

2063: $0 \leq t \leq \T \eps$}

2064: \label{st}

2065: 

2066: \setcounter{equation}{0}

2067: 

2068: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2069: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2070: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2071: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2072: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2073: 

2074: 

2075: In this section, we prove the following

2076: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2077: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2078: \begin{proposition}

2079: \label{ouane}

2080: We use the notations of section \ref{redu}.

2081: The refraction index $n^2$ is assumed bounded and continuous.

2082: The data $S$ and $\phi$ are supposed to belong to ${\cal S}(\R^d)$.

2083: Then, the following holds:

2084: \vskip0.1cm

2085: \noi

2086: (i)

2087: for any fixed value

2088: of $\T$, we have the asymptotics

2089: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2090: \bea

2091: \non

2092: &&

2093: \frac{i}{\eps}

2094: \int_0^{2 \T \eps}

2095: \chi\(\frac{t}{\T \eps}\)

2096: \;

2097: \e^{-\a_\eps t} \;

2098: \<

2099: U_\eps(t)

2100: S_\eps

2101: ,

2102: \phi_\eps\>

2103: \; dt

2104: \\

2105: &&

2106: \qquad

2107: \mathop{\longrightarrow}\limits_{\eps\rgt 0}

2108: i

2109: \int_0^{2\T}

2110: \chi\(\frac{t}{\T}\)

2111: \;

2112: \<

2113: \exp\(i t (\D_x/2+n^2(0))\)

2114: \;

2115: S

2116: ,

2117: \phi\>

2118: \; dt

2119: .

2120: \label{assmal}

2121: \eea

2122: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2123: \vskip0.1cm

2124: \noi

2125: (ii)

2126: Besides, there exists a 

2127: universal constant $C_d$ depending only on the dimension,

2128: such that the right-hand-side of (\ref{assmal}) satisfies

2129: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2130: \bea

2131: \label{t0inf}

2132: \non

2133: &&

2134: \Bigg|

2135: i

2136: \int_0^{2\T}

2137: \chi\(\frac{t}{\T}\)

2138: \;

2139: \<

2140: \exp\(i t (\D_x/2+n^2(0))\)

2141: \;

2142: S

2143: ,

2144: \phi\>

2145: \; dt

2146: -

2147: \<w^{\rm out},\phi\>

2148: \Bigg|

2149: \\

2150: &&

2151: \qquad\qquad\qquad

2152: \leq

2153: C_d \; \T^{-d/2+1}

2154: \mathop{\longrightarrow}\limits_{\T\rgt \infty}

2155: 0

2156: .

2157: \eea

2158: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2159: \end{proposition}

2160: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2161: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2162: 

2163: 

2164: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2165: \noi

2166: {\bf Proof of proposition \ref{ouane}}

2167: 

2168: \noi

2169: {\it Part (i)}

2170: 

2171: \noi

2172: In order to recover the limiting value announced in (\ref{assmal}),

2173: we first perform the inverse scaling that leads from $w^\eps$ to

2174: $u^\eps$ (see (\ref{wtou})). We rescale time

2175: $t$ by a factor $\eps$ as well. This gives

2176: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2177: \beas

2178: &&

2179: \frac{1}{\eps}

2180: \int_0^{+\infty}

2181: \chi\(\frac{t}{\T \eps}\)

2182: \;

2183: \e^{-\a_\eps t} \;

2184: \<

2185: U_\eps(t)

2186: S_\eps

2187: ,

2188: \phi_\eps

2189: \>

2190: \; dt

2191: \\

2192: &&

2193: \qquad

2194: =

2195: \int_0^{+\infty}

2196: \chi\(\frac{t}{\T}\)

2197: \;

2198: \e^{-\eps \a_\eps t} \;

2199: \<

2200: U_\eps(\eps \, t)

2201: S_\eps

2202: ,

2203: \phi_\eps

2204: \>

2205: \; dt

2206: \\

2207: &&

2208: \qquad

2209: =

2210: \int_0^{+\infty}

2211: \chi\(\frac{t}{\T}\)

2212: \;

2213: \e^{-\eps \a_\eps t} \;

2214: \<

2215: \exp\(i t \(\D/2 + n^2(\eps x)\)\)

2216: S

2217: ,

2218: \phi

2219: \>

2220: \; dt .

2221: \eeas

2222: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2223: We now let

2224: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2225: \beas

2226: &&

2227: {\bf w}^\eps(t,x):=

2228: \exp\(i t \(\D/2 + n^2(\eps x)\)\)

2229: S(x)

2230: .

2231: \eeas

2232: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2233: The function ${\bf w}^\eps(t,x)$ is bounded

2234: in $L^\infty\(\R;L^2\(\R^d\) \)$, and it satisfies in the

2235: distribution

2236: sense

2237: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2238: \beas

2239: &&

2240: i \d_t {\bf w}^\eps(t,x)

2241: =

2242: -\frac12\D_x {\bf w}^\eps(t,x)

2243: - n^2(\eps x) {\bf w}^\eps

2244: ,

2245: \quad

2246: {\bf w}^\eps(0,x)

2247: =

2248: S(x) .

2249: \eeas

2250: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2251: These informations are enough to deduce that there exists

2252: a function 

2253: $

2254: {\bf w}(t,x) \in L^\infty\(\R;L^2\(\R^d\)\)

2255: $

2256: such that

2257: a subsequence of  ${\bf w}^\eps(t,x)$ goes,

2258: as $\eps \rgt 0$,  to ${\bf w}(t,x)$ in 

2259: $L^\infty\(\R;L^2\(\R^d\)\)$ - weak$*$. On the more, the

2260: limit ${\bf w}(t,x)$ obviously

2261: satisfies in the distribution sense

2262: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2263: \beas

2264: &&

2265: i \d_t {\bf w}(t,x)

2266: =

2267: -\frac12\D_x {\bf w}(t,x)

2268: - n^2(0) {\bf w}

2269: , \quad

2270: {\bf w}(0,x)

2271: =

2272: S(x) .

2273: \eeas

2274: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2275: In other words

2276: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2277: $$

2278: {\bf w}(t)

2279: =\exp\(i t \(\D/2 + n^2(0)\)\)

2280: S(x) .

2281: $$

2282: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2283: Hence, by uniqueness of the limit, the whole sequence

2284: ${\bf w}^\eps(t,x)$ goes to ${\bf w}(t,x)$

2285: in $L^\infty\(\R;L^2\(\R^d\)\)$-weak$*$. This proves (\ref{assmal})

2286: and part (i) of the proposition.

2287: 

2288: \medskip

2289: 

2290: \noi

2291: {\it Part (ii)}

2292: 

2293: \noi

2294: This part is easy and relies on the standard dispersive properties of the

2295: free Schr\"odinger equation.

2296: Indeed, we have

2297: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2298: \begin{align*}

2299: &

2300: \Big|

2301: \<\exp\(i t \(\D_x/2+n^2(0)\) \) S, \phi \>

2302: \Big|

2303: &

2304: \\

2305: &

2306: \qquad\qquad

2307: \leq

2308: \Big\|\exp\(i t \(\D_x/2+n^2(0)\) \) S \,\Big\|_{L^\infty} \; \|\phi\|_{L^1}

2309: &

2310: \\

2311: &

2312: \qquad\qquad

2313: \leq

2314: C_d \; t^{-d/2} \;  \|S\|_{L^1} \; \|\phi\|_{L^1}

2315: ,

2316: &

2317: \end{align*}

2318: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2319: (recall that $S$ and $\phi$ are assumed smooth enough to have

2320: finite $L^1$ norm), for some constant $C_d>0$ that only depends

2321: upon the dimension $d$. This, together with the integrability

2322: of the function 

2323: $ t^{-d/2}$ at infinity when $d\geq 3$, ends the proof

2324: of (\ref{t0inf}).

2325: \qed

2326: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2327: 

2328: 

2329: 

2330: 

2331: 

2332: 

2333: 

2334: 

2335: 

2336: 

2337: 

2338: 

2339: 

2340: 

2341: 

2342: 

2343: 

2344: 

2345: 

2346: 

2347: 

2348: 

2349: 

2350: 

2351: 

2352: 

2353: 

2354: 

2355: 

2356: 

2357: 

2358: 

2359: 

2360: 

2361: 

2362: 

2363: 

2364: 

2365: 

2366: 

2367: 

2368: 

2369: 

2370: 

2371: 

2372: 

2373: 

2374: 

2375: 

2376: 

2377: 

2378: 

2379: 

2380: 

2381: 

2382: 

2383: 

2384: 

2385: 

2386: 

2387: 

2388: 

2389: 

2390: 

2391: 

2392: 

2393: 

2394: 

2395: 

2396: 

2397: 

2398: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2399: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2400: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2402: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2403: 

2404: \section{Contribution of mo\-de\-ra\-te and large times,

2405: a\-way from the zero energy}

2406: \label{2z}

2407: 

2408: \setcounter{equation}{0}

2409: 

2410: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2411: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2412: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2413: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2414: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2415: 

2416: 

2417: In this section we prove the (easy)

2418: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2420: \begin{proposition}

2421: \label{2}

2422: We use the notations of section \ref{redu}.

2423: The index $n^2$ is assumed to have the symbolic behaviour

2424: (\ref{decn}). The data $S$ and $\phi$ are supposed to belong to $L^2(\R^d)$.

2425: Then, there exists a constant $C_\de>0$,

2426: which depends

2427: on the cutoff parameter

2428: $\de$, such that for any $\eps \leq 1$, and $\T\geq 1$, we have

2429: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2430: \bea

2431: \non

2432: &&

2433: \label{majaw}

2434: \Bigg|

2435: \frac{1}{\eps}

2436: \int_{\T \eps}^{+\infty}

2437: \(1-\chi\)\(\frac{t}{\T \eps}\)

2438: \;

2439: \e^{-\a_\eps t} \;

2440: \Big<

2441: \(1-\chi_\de\(H_\eps\)\)U_\eps(t)

2442: S_\eps

2443: ,

2444: \phi_\eps

2445: \Big>

2446: \; dt \;

2447: \Bigg|

2448: \\

2449: &&

2450: \qquad\qquad\qquad

2451: \leq C_\de \(\frac{1}{\T}+\a_\eps^2 \)

2452: .

2453: \eea

2454: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2455: \end{proposition}

2456: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2457: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2458: 

2459: \medskip

2460: 

2461: 

2462: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2463: \noi

2464: {\bf Proof of proposition \ref{2}}

2465: 

2466: \noi

2467: The proof relies on a simple non-stationary phase argument. Indeed,

2468: this term has the value

2469: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2470: $$

2471: \frac{1}{\eps}

2472: \int_0^{+\infty}

2473: \(1-\chi\)\(\frac{t}{\T \eps}\)

2474: \;

2475: \e^{-\a_\eps t} \;

2476: \Big<

2477: \(1-\chi_\de\(H_\eps\)\)\exp\(-i \frac{t}{\eps} H_\eps\)

2478: S_\eps

2479: ,

2480: \phi_\eps

2481: \Big>

2482: \; dt.

2483: $$

2484: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2485: Hence, making the natural integrations by parts in time,

2486: we recover the value

2487: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2488: \begin{align*}

2489: &

2490: \eps^2

2491: \int_0^{+\infty}

2492: \frac{\d^3}{\d t^3}

2493: \(

2494: \(1-\chi\)\(\frac{t}{\T \eps}\)

2495: \e^{-\a_\eps t} \,

2496: \)

2497: \\

2498: &

2499: \qquad\qquad\qquad\qquad

2500: \Bigg<

2501: \frac{\(1-\chi_\de\(H_\eps\)\)}{(-i H_\eps)^3}

2502: \exp\(-i \frac{t}{\eps} H_\eps\)

2503: S_\eps

2504: ,

2505: \phi_\eps

2506: \Bigg>

2507: \, dt .

2508: \end{align*}

2509: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2510: A direct inspection shows that this is bounded by

2511: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2512: \beas

2513: &&

2514: C \; \eps^2 \; \de^{-3} \; \|S\|_{L^2} \; \|\phi\|_{L^2}

2515: \;

2516: \int_0^{+\infty}

2517: \Bigg|

2518: \frac{\d^3}{\d t^3}

2519: \(

2520: \(1-\chi\)\(\frac{t}{\T \eps}\)

2521: \e^{-\a_\eps t} \;

2522: \)

2523: \Bigg|

2524: \, dt

2525: \\

2526: &&

2527: \qquad

2528: \leq

2529: C \; \eps^2 \; \de^{-3} \;

2530: \;

2531: \|\chi\|_{W^{3,\infty}}

2532: \;

2533: \(

2534: \frac{1}{\T^2 \eps^2}+

2535: \frac{1}{\T \eps}+

2536: \a_\eps^2+\a_\eps^2\) .

2537: \eeas

2538: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2539: \qed

2540: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2541: 

2542: 

2543: 

2544: 

2545: 

2546: 

2547: 

2548: 

2549: 

2550: 

2551: 

2552: 

2553: 

2554: 

2555: 

2556: 

2557: 

2558: 

2559: 

2560: 

2561: 

2562: 

2563: 

2564: 

2565: 

2566: 

2567: 

2568: 

2569: 

2570: 

2571: 

2572: 

2573: 

2574: 

2575: 

2576: 

2577: 

2578: 

2579: 

2580: 

2581: 

2582: 

2583: 

2584: 

2585: 

2586: 

2587: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2588: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2589: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2590: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2591: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2592: 

2593: \section{Contribution of large times, close to the zero energy: the

2594: case $t \geq \eps^{-\k}$}

2595: \label{kappa}

2596: 

2597: \setcounter{equation}{0}

2598: 

2599: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2600: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2601: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2602: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2603: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2604: 

2605: 

2606: In this section we prove the following

2607: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2608: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2609: \begin{proposition}

2610: \label{wawang}

2611: We use the notations of section \ref{redu}.

2612: The index $n^2$ is assumed to have the symbolic behaviour (\ref{decn}).

2613: The Hamiltonian flow associated with

2614: $\xi^2/2-n^2(x)$ is assumed non-trapping at the zero energy level.

2615: Finally, the data $S$ and $\phi$ are supposed to belong

2616: to ${\cal S}(\R^d)$.

2617: Then, for any $\de>0$ small enough, and for any

2618: $\k>0$,

2619: there exists a constant $C_{\k,\de}$ depending on $\k$ and $\de$, so that

2620: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2621: \bea

2622: \label{lar}

2623: &&

2624: \Bigg|

2625: \frac{1}{\eps}

2626: \int_{\eps^{-\k}}^{+\infty}

2627: \e^{-\a_\eps t} \;

2628: \Big<

2629: U_\eps(t)

2630: \chi_\de\(H_\eps\) S_\eps

2631: ,

2632: \phi_\eps

2633: \Big>

2634: \; dt \;

2635: \Bigg|

2636: \leq

2637: C_{\k,\de} \; \eps

2638: .

2639: \eea

2640: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2641: \end{proposition}

2642: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2643: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2644: 

2645: 

2646: \medskip

2647: 

2648: The proof relies on the dispersive properties

2649: of the semi-classical propagator

2650: $U_\eps(t)$, inherited from the ones of the classical

2651: flow $\Phi(t)$.

2652: More quantitatively, we use in this section

2653: a Theorem by X.P. Wang \cite{Wa}, that we now state.

2654: Our index of refraction $n^2(x)$ is such that

2655: $n^2(x)$ lies in $C^\infty(\R^d)$, and it has the symbolic behaviour

2656: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2657: \beas

2658: %\label{symbol}

2659: &&

2660: n^2(x)=n^2_\infty - V(x)

2661: , \; \text{ with }

2662: |\d^\a V(x)| \leq \<x\>^{-\rho-|\a|}

2663: \eeas

2664: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2665: (the case $0<\rho\leq 1$ is the long-range case, and

2666: the case $\rho > 1$ is the short-range case, in the terminology

2667: of quantum scattering). On the more, the trajectories of the classical

2668: flow at the zero energy (i.e. on the set

2669: $\{(x,\xi) \in \R^{2d} \; \text{ s.t. } \; \xi^2/2-n^2(x)=0 \}$)

2670: are assumed non-trapped. It is known \cite{DG} that this non-trapping

2671: behaviour

2672: is actually an open property, in that

2673: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2674: \bea

2675: \label{opennontrap}

2676: \non

2677: &&

2678: \text{

2679: there exists a $\de_0>0$ such that

2680: for any energy $E$

2681: }

2682: \\

2683: &&

2684: \text{

2685: satisfying $|E|\leq \de_0$, the trajectories

2686: of the classical flow}

2687: \\

2688: \non

2689: &&

2690: \text{

2691: at the energy $E$ are non-trapping as well.

2692: }

2693: \eea

2694: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2695: Under these circumstances,

2696: it has been proved in \cite{Wa} that for any

2697: real $s>0$, and for any $\eta>0$, the following weighted estimate

2698: holds true,

2699: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2700: \bea

2701: \label{wang}

2702: \forall t \in \R ,

2703: \quad

2704: \|\<x\>^{-s} U_\eps(t) \chi_\de(H_\eps) f\|_{L^2}

2705: \leq

2706: \frac{C_{\de,\eta,s}}{\<t\>^{s-\eta}}

2707: \; \; 

2708: \|\<x\>^s f(x)\|_{L^2} ,

2709: \eea

2710: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2711: provided the cutoff

2712: in energy $\de$ satisfies $\de\leq\de_0$, i.e. provided we are only

2713: looking at trajectories having a non-trapping energy.

2714: This inequality holds

2715: for any test function $f$, and for some constant $C_{\de,\eta,s}$

2716: depending only on $\de$, $\eta$ and $s$.

2717: In the short-range case ($\rho>1$), one may even take $\eta=0$ in the above

2718: estimate.

2719: Note that

2720: \cite{Wa}

2721: actually proves more: in some sense,

2722: the non-trapping behaviour of the classical flow is {\em equivalent}

2723: to the time decay (\ref{wang}). We refer to the original

2724: article for details. We are now ready to give the

2725: 

2726: \medskip

2727: 

2728: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2729: \noi

2730: {\bf Proof of proposition \ref{wawang}}

2731: 

2732: \noi

2733: Taking 

2734: $\de\leq\de_0$, we estimate, using (\ref{wang}),

2735: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2736: \beas

2737: &&

2738: \frac{1}{\eps}

2739: \Bigg|

2740: \int_{\eps^{-\k}}^{+\infty}

2741: \;

2742: \e^{-\a_\eps t} \;

2743: \<

2744: \chi_\de\(H_\eps\)

2745: U_\eps(t)

2746: S_\eps

2747: ,

2748: \phi_\eps

2749: \>

2750: \; dt

2751: \Bigg|

2752: \\

2753: &&

2754: \qquad

2755: \leq

2756: \frac{1}{\eps}

2757: \int_{\eps^{-\k}}^{+\infty}

2758: \;

2759: \|\<x\>^{-s} U_\eps(t) \chi_\de(H_\eps) S_\eps\|_{L^2}

2760: \;

2761: \|\<x\>^s \phi_\eps\|_{L^2}

2762: \; dt

2763: \\

2764: &&

2765: \qquad

2766: \leq

2767: \frac{1}{\eps}

2768: \;

2769: \|\<x\>^s  S_\eps(x)\|_{L^2}

2770: \;

2771: \;

2772: \|\<x\>^s \phi_\eps\|_{L^2}

2773: \int_{\eps^{-\k}}^{+\infty}

2774: \;

2775: \frac{C_{\de,\eta,s}}{\<t\>^{s-\eta}}

2776: \; dt

2777: \\

2778: &&

2779: \qquad

2780: \leq

2781: C_{\de,\eta,s} \; 

2782: \eps^{\k(s-\eta-1)-1}

2783: \;

2784: \|\<x\>^s  S_\eps(x)\|_{L^2}

2785: \;

2786: \|\<x\>^s \phi_\eps\|_{L^2}

2787: \eeas

2788: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2789: Hence, taking $s$ large enough, and $\eta$ small enough, e.g.

2790: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2791: $s=2+2/\k$, $\eta=1$,

2792: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2793: we obtain an upper bound of the size

2794: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2795: $$

2796: C_{\k,\de} \; \eps \; \|\<x\>^s  S(x)\|_{L^2}

2797: \;

2798: \|\<x\>^s \phi\|_{L^2} .

2799: $$

2800: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2801: Here we used the easy fact that

2802: $\|\<x\>^s  f_\eps(x)\|_{L^2}\leq

2803: \|\<x\>^s  f(x)\|_{L^2}$, when $\eps \leq 1$, together

2804: with $\|\<x\>^s  S(x)\|_{L^2}<\infty$, and similarly for $\phi$.

2805: \qed

2806: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2807: 

2808: 

2809: 

2810: 

2811: 

2812: 

2813: 

2814: 

2815: 

2816: 

2817: 

2818: 

2819: 

2820: 

2821: 

2822: 

2823: 

2824: 

2825: 

2826: 

2827: 

2828: 

2829: 

2830: 

2831: 

2832: 

2833: 

2834: 

2835: 

2836: 

2837: 

2838: 

2839: 

2840: 

2841: 

2842: 

2843: 

2844: 

2845: 

2846: 

2847: 

2848: 

2849: 

2850: 

2851: 

2852: 

2853: 

2854: 

2855: 

2856: 

2857: 

2858: 

2859: 

2860: 

2861: 

2862: 

2863: 

2864: 

2865: 

2866: 

2867: 

2868: 

2869: 

2870: 

2871: 

2872: 

2873: 

2874: 

2875: 

2876: 

2877: 

2878: 

2879: 

2880: 

2881: 

2882: 

2883: 

2884: 

2885: 

2886: 

2887: 

2888: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2889: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2890: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2891: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2892: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2893: 

2894: \section{Contribution of large times, close to the zero energy:

2895: the case $\tau \leq t \leq \eps^{-\k}$}

2896: \label{brbr}

2897: 

2898: \setcounter{equation}{0}

2899: 

2900: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2902: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2903: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2904: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2905: 

2906: To complete the analysis of the contribution

2907: of ``large times'' and ``small energies'' in (\ref{integ}) that we begun

2908: in section \ref{kappa}, there

2909: remains to estimate the term

2910: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2911: \bea

2912: \label{rem3}

2913: &&

2914: \frac{1}{\eps}

2915: \int_{\tau}^{\eps^{-\k}}

2916: \(1-\chi\)\(\frac{t}{\tau}\)

2917: \;

2918: \e^{-\a_\eps t} \;

2919: \<

2920: \chi_\de\(H_\eps\)

2921: U_\eps(t)

2922: S_\eps

2923: ,

2924: \phi_\eps

2925: \>

2926: \; dt.

2927: \eea

2928: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2929: In this section, we prove the

2930: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2931: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2932: \begin{proposition}

2933: \label{brob}

2934: We use the notations of section \ref{redu}.

2935: The index $n^2$ is assumed to have the symbolic behaviour

2936: (\ref{decn}) with $n_\infty^2>0$\footnote{

2937: The assumption $n_\infty^2$ is crucial, see Lemma \ref{bourob} below.

2938: It ensures that the wave $U_\eps(t) S_\eps$ propagates

2939: with a uniformly non-zero speed, at infinity in time $t$.

2940: }.

2941: The Hamiltonian flow associated with

2942: $\xi^2/2-n^2(x)$ is assumed non-trapping at the zero energy.

2943: Finally, the data $S$ and $\phi$ are supposed to belong to

2944: ${\cal S}(\R^d)$. Then,

2945: for $\de>0$ small enough,

2946: there exists a $\tau(\de)$ depending

2947: on $\de$ such that

2948: for any $\tau\geq\tau(\de)$, we have for $\k$ small enough,

2949: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2950: \bea

2951: \label{rem3est}

2952: \non

2953: &&

2954: \Bigg|

2955: \frac{1}{\eps}

2956: \int_{\tau}^{\eps^{-\k}}

2957: \(1-\chi\)\(\frac{t}{\tau}\)

2958: \;

2959: \e^{-\a_\eps t} \;

2960: \<

2961: \chi_\de\(H_\eps\)

2962: U_\eps(t)

2963: S_\eps

2964: ,

2965: \phi_\eps

2966: \>

2967: \; dt \;

2968: \Bigg|

2969: \\

2970: &&

2971: \qquad\qquad\qquad

2972: \leq

2973: C_{\k,\de} \; \eps , \; \text{ as } \; \eps \rgt 0 ,

2974: \eea

2975: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2976: for some constant $C_{\k,\de}$ that depends upon $\k$ and $\de$.

2977: \end{proposition}

2978: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2979: 

2980: \medskip

2981: 

2982: The idea of proof is the following:

2983: the functions $S_\eps$ and $\phi_\eps$ are

2984: microlocally supported close to points $(x_0,\xi_0) \in \R^{2d}$

2985: such that $x_0=0$ (due to the concentration

2986: of both functions close to the origin as $\eps\rgt 0$).

2987: On the more, using the Egorov Theorem, one may think

2988: of the time evolved function

2989: $U_\eps(t)

2990: S_\eps$ as being microlocally supported

2991: close to points $(X(t;x_0,\xi_0),\Xi(t;x_0,\xi_0))$ that are

2992: trajectories of the classical flow, with initial data

2993: $(x_0,\xi_0)$ such that $x_0=0$.

2994: Using the non-trapping assumption on the classical flow,

2995: we see that for large times $t\geq \tau$ with $\tau$ large enough,

2996: the trajectory $X(t;x_0,\xi_0)$ with $x_0=0$ is far away

2997: from the origin. Hence the microlocal support

2998: of $U_\eps(t)

2999: S_\eps$  and $\phi_\eps$ do not intersect, and the

3000: factor (\ref{rem3}) should be arbitrary small in $\eps$ as $\eps \rgt 0$.

3001: 

3002: The difficulty in making this last statement rigorous

3003: lies in the fact that we need to use the Egorov Theorem up to 

3004: (polynomially) large

3005: times of the order $t\sim \eps^{-\k}$. This difficulty

3006: is solved in Lemma \ref{bourob} below. Indeed, upon

3007: adapting a recent result of Bouzouina and Robert \cite{BR}

3008: we give remainder estimates in the Egorov Theorem that hold

3009: up to polynomially

3010: large times (logarithmic times are obtained in the context of \cite{BR}).

3011: This is enough to conclude.

3012: 

3013: 

3014: 

3015: 

3016: 

3017: 

3018: 

3019: 

3020: 

3021: 

3022: 

3023: 

3024: 

3025: 

3026: 

3027: 

3028: 

3029: 

3030: 

3031: 

3032: 

3033: 

3034: 

3035: 

3036: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3037: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3038: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3039: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3040: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3041: 

3042: \subsection{Proof of proposition \ref{brob}}

3043: 

3044: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3045: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3046: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3048: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3049: 

3050: 

3051: The proof is given in several steps.

3052: 

3053: \medskip

3054: 

3055: \noi

3056: {\it {\bf First step}: Preliminary reduction}

3057: 

3058: 

3059: In this step we quantify the fact that the functions involved in the scalar

3060: product in (\ref{rem3est}) are microlocalized close to the zero energy

3061: $\xi^2/2=n^2(x)$ (in frequency) and close to the origin $x=0$ (in space).

3062: To do so, we simply write, using the fact that $S$ and $\phi$

3063: belong to ${\cal S}(\R^d)$,

3064: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3065: \beas

3066: &&

3067: \phi_\eps(x) = \chi_\de(|x|) \phi_\eps(x)

3068: +O_\de(\eps^\infty) \quad \text{ in } L^2(\R^d),

3069: \eeas

3070: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3071: and similarly for $S_\eps$.

3072: This means that for any integer $N$, there exists a $C_{N,\de}>0$ that depends

3073: on $N$ and $\de$, such that

3074: $\|\phi_\eps(x) - \chi_\de(|x|) \phi_\eps(x)\|_{L^2(\R^d)} \leq C_N \eps^N$.

3075: As a consequence, we may rewrite the contribution (\ref{rem3})

3076: we are interested in as

3077: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3078: \beas

3079: \frac{1}{\eps}

3080: \int_{\tau}^{\eps^{-\k}}

3081: \(1-\chi\)\(\frac{t}{\tau}\)

3082: \;

3083: \e^{-\a_\eps t} \;

3084: \<

3085: \chi_\de(|x|) \,

3086: \chi_\de\(H_\eps\)

3087: U_\eps(t)

3088: \chi_\de(|x|) \,

3089: S_\eps

3090: ,

3091: \phi_\eps

3092: \>

3093: \; dt

3094: \eeas

3095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3096: up to an $O_\de(\eps^\infty)$. There remains to bound the above term by

3097: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3098: \bea

3099: \label{32}

3100: \non

3101: &&

3102: \leq

3103: \|S_\eps\|_{L^2}

3104: \,

3105: \|\phi_\eps\|_{L^2}

3106: \times

3107: \frac{1}{\eps}

3108: \int_{\tau}^{\eps^{-\k}}

3109: \,

3110: \Big\|

3111: \chi_\de\(|x|\)

3112: \chi_\de\(H_\eps\)

3113: U_\eps(t)

3114: \chi_\de\(|x|\)

3115: \Big\|_{{\cal L}(L^2)}

3116: \, dt 

3117: \\

3118: &&

3119: \leq

3120: \frac{C}{\eps}

3121: \,

3122: \int_{\tau}^{\eps^{-\k}}

3123: \,

3124: \Big\|

3125: \chi_\de\(|x|\)

3126: \chi_\de\(H_\eps\)

3127: U_\eps(t)

3128: \chi_\de\(|x|\)

3129: \Big\|_{{\cal L}(L^2)}

3130: \, dt 

3131: \, ,

3132: \eea

3133: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3134: up to an $O_\de(\eps^\infty)$.

3135: Our strategy is to now evaluate the operator norm under the integral sign.

3136: This task is performed in the next two steps.

3137: 

3138: 

3139: 

3140: \bigskip

3141: 

3142: \noi

3143: {\it {\bf Second step:}

3144: symbolic calculus}

3145: 

3146: \noi

3147: In view of (\ref{32}), our analysis boils down to computing,

3148: for any $\tau \leq t \leq \eps^{-\k}$, the operator norm

3149: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3150: \begin{align*}

3151: &&

3152: \Big\|

3153: \chi_\de\(|x|\)

3154: \chi_\de\(H_\eps\)

3155: U_\eps(t)

3156: \chi_\de\(|x|\)

3157: \Big\|^2_{{\cal L}(L^2)}.

3158: \end{align*}

3159: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3160: Expanding the square,

3161: this norm has the value

3162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3163: \begin{align}

3164: \label{devas}

3165: &&

3166: \Big\|

3167: \chi_\de\(|x|\)

3168: U^*_\eps(t)

3169: \chi_\de\(H_\eps\)

3170: \chi_\de^2\(|x|\)

3171: \chi_\de\(H_\eps\)

3172: U_\eps(t)

3173: \chi_\de\(|x|\)

3174: \Big\|_{{\cal L}(L^2)}.

3175: \end{align}

3176: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3177: Now, and for later convenience, we rewrite the above localizations

3178: in energy and space, as microlocalisations in position and frequency.

3179: 

3180: 

3181: Using the functional calculus for pseudodifferential operators

3182: of Helffer and Robert

3183: \cite{HR} (see also the lecture notes \cite{DS} and \cite{Ma}),

3184: there exists

3185: a symbol $\Chid(x,\xi)$

3186: such that

3187: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3188: $$

3189: \chi_\de\(H_\eps\)

3190: =

3191: {\rm Op}^w_\eps(\Chid)+O(\eps^\infty)

3192: \quad

3193: \text{ in }

3194: \; {\cal L}(L^2) .

3195: $$

3196: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3197: The symbol $\Chid(x,\xi)$ is given by a formal expansion

3198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3199: \bea

3200: \label{hchi}

3201: &&

3202: \Chid(x,\xi)

3203: \sim

3204: \sum_{k\geq 0}

3205: \eps^k

3206: \Chid^{(k)}(x,\xi),

3207: \eea

3208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3209: where the expansion (\ref{hchi}) holds in the class of symbols

3210: that are bounded together with all their derivatives.

3211: Furthermore, the principal symbol of $\Chid$ is computed through the natural

3212: equality

3213: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3214: $$

3215: \Chid^{(0)}(x,\xi)=\chi_\de\(\frac{\xi^2}{2}-n^2(x)\) .

3216: $$

3217: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3218: Finally, the explicit formulae in \cite{DS}

3219: give at any order $k\geq 0$ the following information on the support

3220: of the symbols $\Chid^{(k)}$,

3221: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3222: $$

3223: {\rm supp} \; \Chid^{(k)} \subset 

3224: \{ |\xi^2/2-n^2(x) |\leq \de \} .

3225: $$

3226: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3227: Hence (\ref{devas}) becomes, using standard symbolic calculus,

3228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3229: \bea

3230: \label{34}

3231: \Big\|

3232: \chi_\de\(|x|\)

3233: \,

3234: U^*_\eps(t)

3235: \,

3236: \[

3237: {\rm Op}_\eps^w(\Chid(x,\xi) \,\,\sharp\,

3238: \chi_\de^2\(|x|\) \,\sharp\,  \Chid(x,\xi) ) 

3239: \]

3240: \,

3241: U_\eps(t)

3242: \,

3243: \chi_\de\(|x|\)

3244: \Big\|_{{\cal L}(L^2)},

3245: \eea

3246: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3247: up to an $O_\de(\eps^\infty)$ (Here we used the uniform bound

3248: $\|U_\eps(t)\|_{{\cal L}(L^2)}\leq 1$). Let us define for convenience

3249: the following short-hand notation for the symbol in brackets in (\ref{34}):

3250: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3251: $$

3252: \bd(x,\xi)

3253: :=

3254: \Chid(x,\xi) \,\,\sharp\,

3255: \chi_\de^2\(|x|\) \,\sharp\,  \Chid(x,\xi).

3256: $$

3257: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3258: The only information we need in the sequel is that $\bd$ admits an asymptotic

3259: expansion $\bd=\sum_{k\geq 0} \eps^k b_\de^{(k)}$, where each

3260: $b_\de^{(k)}$ has support

3261: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3262: \beas

3263: \non

3264: {\rm supp} \; \bd^{(k)}

3265: &\subset&

3266: \{

3267: |x|\leq \de \}

3268: \cap

3269: \{|\xi^2/2-n^2(x)| \leq \de \}

3270: =:E(\de).

3271: \eeas

3272: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3273: This serves as a definition of the

3274: (compact) set $E(\de)$ in phase space.

3275: In the sequel, we summarize these informations

3276: in the following

3277: abuse of notation

3278: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3279: \bea

3280: \label{supb}

3281: &&

3282: {\rm supp} \; \bd

3283: \subset

3284: E(\de).

3285: \eea

3286: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3287: The remainder part of our analysis is devoted to estimating

3288: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3289: $$

3290: \Big\|

3291: \chi_\de\(|x|\)

3292: \,

3293: U^*_\eps(t)

3294: \,

3295: {\rm Op}_\eps^w(

3296: \bd(x,\xi))

3297: \,

3298: U_\eps(t)

3299: \,

3300: \chi_\de\(|x|\)

3301: \Big\|_{{\cal L}(L^2)},

3302: $$

3303: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3304: and the hard part of the proof lies in establishing an

3305: ``Egorov theorem for large times'', to compute the

3306: conjugation $U^*_\eps(t) {\rm Op}_\eps^w(

3307: \bd(x,\xi)) U_\eps(t)$ in (\ref{devas}).

3308: 

3309: 

3310: 

3311: 

3312: \bigskip

3313: 

3314: \noi

3315: {\it {\bf Third step:}

3316: an Egorov theorem valid for large times - End of the proof}

3317: 

3318: 

3319: \noi

3320: Now we claim the following

3321: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3322: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3323: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3324: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3325: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3326: \begin{lemma}

3327: \label{bourob}

3328: \noi

3329: We assume that the refraction index

3330: has the symbolic behaviour (\ref{decn}) with $n_\infty^2>0$\footnote{

3331: The assumption $n_\infty^2>0$ is crucial, see (\ref{cde})}.

3332: We also assume that

3333: the zero energy is non-trapping for the flow.

3334: Take the cutoff parameter in energy  $\de$ small enough.

3335: Then,

3336: 

3337: (i)

3338: Let $\Phi(t,x,\xi)$ be the classical flow associated with the

3339: Hamiltonian $\xi^2/2-n^2(x)$. 

3340: Let $F(t,x,\xi)$ be the linearized flow. For any

3341: multi-index $\a$, and for any (small) parameter $\eta>0$,

3342: there exists a constant $C_{\de,|\a|,\eta}$ such that

3343: for any initial datum $(x,\xi) \in E(\de)

3344: =\{

3345: |x|\leq \de \}

3346: \cap

3347: \{|\xi^2/2-n^2(x)| \leq \de \}

3348: $, we have

3349: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3350: \bea

3351: \label{linflow}

3352: \forall t \in \R , \quad

3353: \Bigg|

3354: \frac{ \d^\a F(t,x,\xi)}{\d (x,\xi)^\a}

3355: \Bigg|

3356: \leq

3357: C_{\de,|\a|,\eta} \;

3358: \<t\>^{(1+\eta)(1+|\a|)+2|\a|}.

3359: \eea

3360: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3361: In other words, the linearized flow has at most polynomial growth with time.

3362: 

3363: \medskip

3364: 

3365: \noi

3366: (ii)

3367: As a consequence,

3368: for any time $t$, there exists a time-dependent symbol

3369: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3370: \beas

3371: \bbd(t,x,\xi)

3372: \sim

3373: \sum_{k\geq 0}

3374: \eps^k

3375: \bbd^{(k)}(t,x,\xi)

3376: ,

3377: \eeas

3378: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3379: such that the following holds: there exists a number $c_\de>0$ such that

3380: for any $N>0$, there exists a constant

3381: $C_{\de,N}$ such that

3382: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3383: \begin{align}

3384: \label{remestbr}

3385: &

3386: \hspace{-0.6cm}

3387: \Bigg\|

3388: U^*_\eps(t)

3389: {\rm Op}^w_\eps\( \bd \)

3390: U_\eps(t)

3391: -

3392: {\rm Op}_\eps^w\(

3393: \sum_{k=0}^N \eps^k \bbd^{(k)}

3394: \)

3395: \Bigg\|_{{\cal L}(L^2)}

3396: \leq

3397: C_{\de,N} \,

3398: \eps^{N+1} \,

3399: \<t\>^{c_\de N^2}.

3400: \end{align}

3401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3402: Again, the error grows polynomially with time,

3403: and we have some control on the dependence

3404: of the estimates with the truncation parameter $N$.

3405: 

3406: \medskip

3407: 

3408: \noi

3409: (iii)

3410: Moreover, we have the natural formulae

3411: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3412: \beas

3413: &&

3414: \bbd^{(0)}(t,x,\xi)

3415: =

3416: \bd\(\Phi(t,x,\xi)\)

3417: ,

3418: \eeas

3419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3420: and, for any $k\geq 0$ we have the information on the support

3421: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3422: \beas

3423: {\rm supp} \;  \bbd^{(k)}(t,x,\xi)

3424: \subset

3425: \{(x,\xi)\in \R^{2d} \; \text{ s.t. } \;

3426: \Phi(t,x,\xi) \in E(\de) \} .

3427: \eeas

3428: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3429: \end{lemma}

3430: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3431: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3432: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3433: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3434: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3435: \medskip

3436: 

3437: 

3438: \noi

3439: We postpone the proof of Lemma \ref{bourob} to paragraph

3440: \ref{6.2} below.

3441: We first draw its consequences in our perspective.

3442: 

3443: \medskip

3444: 

3445: Leaving $N$ as a free parameter for the moment,

3446: we obtain

3447: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3448: \begin{align*}

3449: &

3450: \Big\|

3451: \chi_\de\(|x|\)

3452: \,

3453: U^*_\eps(t)

3454: \,

3455: {\rm Op}_\eps^w(

3456: \bd(x,\xi))

3457: \,

3458: U_\eps(t)

3459: \,

3460: \chi_\de\(|x|\)

3461: \Big\|_{{\cal L}(L^2)}

3462: &

3463: \\

3464: &

3465: =

3466: \Big\|

3467: \chi_\de\(|x|\)

3468: {\rm Op}_\eps^w\(

3469: \sum_{k=0}^N \eps^k \bbd^{(k)}(t,x,\xi)

3470: \)

3471: \chi_\de\(|x|\) 

3472: \Big\|_{{\cal L}(L^2)}

3473: &

3474: \\

3475: &

3476: \qquad\qquad\qquad

3477: \qquad\qquad\qquad

3478: \qquad\qquad\qquad

3479: \qquad

3480: + O_\de\(

3481: \eps^{N+1} \;

3482: \<t\>^{c_\de N^2} \) 

3483: &

3484: \\

3485: &

3486: =

3487: \Big\|

3488: {\rm Op}_\eps^w\(

3489: \chi_\de\(|x|\)\,\sharp\,\(\sum_{k=0}^N \eps^k \bbd^{(k)}(t,x,\xi)

3490: \)

3491: \,\sharp\, \chi_\de\(|x|\)

3492: \)

3493: \Big\|_{{\cal L}(L^2)}

3494: \\

3495: &

3496: \qquad\qquad\qquad

3497: \qquad\qquad\qquad

3498: \qquad\qquad\qquad

3499: \qquad

3500: +

3501: O_\de\(

3502: \eps^{N+1} \;

3503: \<t\>^{c_\de N^2} \) 

3504: .

3505: &

3506: \end{align*}

3507: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3508: Now, part (iii) of Lemma \ref{bourob}

3509: and standard symbolic calculus indicate that the above symbol

3510: has support\footnote{

3511: we make here the same abuse of notation than in (\ref{supb}).

3512: }

3513: in

3514: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3515: \begin{align*}

3516: &

3517: \mathop{\cup}_{k=0}^N

3518: \({\rm supp}\; \chi_\de\(|x|\)  \cap {\rm supp} \;  \bbd^{(k)}(t,x,\xi)\)

3519: \\

3520: &

3521: \qquad\qquad\qquad

3522: \subset

3523: \{(x,\xi) \text{ s.t. }

3524: |x|\leq \de, \text{ and } 

3525: \Phi(t,x,\xi) \in E(\de) \} .

3526: \end{align*}

3527: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3528: The non-trapping condition (and more precisely

3529: estimate (\ref{Xinfty}) below) allows in turn to deduce that this set is

3530: void for $t$ large enough. Hence, up to taking a large value

3531: of $\tau$,

3532: $\tau\geq\tau(\de)$ for some $\tau(\de)$,

3533: we eventually obtain in (\ref{32}),

3534: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3535: \begin{align*}

3536: &

3537: \frac{1}{\eps}

3538: \int_{\tau}^{\eps^{-\k}}

3539: \hspace{-0.2cm}

3540: \Big\|

3541: \chi_\de\(|x|\)

3542: \chi_\de\(H_\eps\)

3543: U_\eps(t)

3544: \chi_\de\(|x|\)

3545: \Big\|_{{\cal L}(L^2)}

3546: dt

3547: &

3548: \\

3549: &

3550: \leq

3551: \frac{1}{\eps}

3552: \int_\tau^{\eps^{-\k}}

3553: \hspace{-0.4cm}

3554: O_\de\(

3555: \eps^{(N+1)/2}

3556: \<t\>^{c_\de N^2/2} \) dt

3557: \leq

3558: O_\de\(

3559: \eps^{(N-1)/2- c_\de \k N^2/2 } \)

3560: \leq

3561: O_{\k,\de}(\eps),

3562: &

3563: \end{align*}

3564: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3565: for $\k$ small enough (and $N=4$ will do).

3566: This ends the proof of proposition \ref{brob}.

3567: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3568: 

3569: 

3570: 

3571: 

3572: 

3573: 

3574: 

3575: 

3576: 

3577: 

3578: 

3579: 

3580: 

3581: 

3582: 

3583: 

3584: 

3585: 

3586: 

3587: 

3588: 

3589: 

3590: 

3591: 

3592: 

3593: 

3594: 

3595: 

3596: 

3597: 

3598: 

3599: 

3600: 

3601: 

3602: 

3603: 

3604: 

3605: 

3606: 

3607: 

3608: 

3609: 

3610: 

3611: 

3612: 

3613: 

3614: 

3615: 

3616: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3617: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3618: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3619: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3620: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3621: 

3622: \subsection{Proof of Lemma \ref{bourob}:

3623: an Egorov theorem for polynomially large times}

3624: \label{6.2}

3625: 

3626: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3627: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3628: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3629: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3630: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3631: 

3632: 

3633: 

3634: 

3635: \noi

3636: In view of the above proof,

3637: we are left with the task of proving the large time Egorov

3638: theorem of Lemma \ref{bourob}. To do so, we follow here closely

3639: ideas developped in \cite{BR} in a slightly different context.

3640: Part (iii) of the Lemma is proved in \cite{BR}, so we will skip this aspect.

3641: The implication (i) $\Rightarrow$ (ii) in Lemma \ref{bourob},

3642: which we prove below for completeness, is also essentially proved in \cite{BR}.

3643: Our main task in the sequel turns out to be the proof part (i) of the Lemma.

3644: 

3645: 

3646: 

3647: 

3648: \medskip

3649: 

3650: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3651: \noi

3652: 

3653: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3654: 

3655: 

3656: \noi

3657: The proof is given in several steps.

3658: 

3659: \medskip

3660: 

3661: 

3662: 

3663: 

3664: 

3665: 

3666: 

3667: 

3668: 

3669: 

3670: 

3671: 

3672: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3673: \noi

3674: {\it {\bf First step:} estimates on the flow $\Phi(t,x,\xi)$}

3675: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3676: 

3677: 

3678: \noi

3679: In this step, we prove that for small enough a $\de$,

3680: there is a time

3681: $T(\de)$, depending on $\de$, such that

3682: for any initial datum

3683: $(x,\xi)$ of phase-space in the set $E(\de)=

3684: \{

3685: |x|\leq \de \}

3686: \cap

3687: \{|\xi^2/2-n^2(x)| \leq \de \}$

3688: (see \ref{supb})),

3689: one has

3690: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3691: \bea

3692: \label{Xinfty}

3693: &&

3694: \forall t \geq T(\de) , \quad

3695: |X(t,x,\xi)|

3696: \geq C_{\de} \; t  ,

3697: \eea

3698: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3699: for some constant $C_{\de}>0$ that depends on $\de$,

3700: that is however independent

3701: of both time $t$ and the initial point $(x,\xi)$ under consideration.

3702: The proof is standard and uses the information $n_\infty^2>0$.

3703: 

3704: First, the non-trapping condition implies that for

3705: any large number $R'>0$, and for

3706: any initial point $(x,\xi) \in E(\de)$, there exists a time 

3707: $T(R',x,\xi)$ such that

3708: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3709: $$

3710: \forall t \geq

3711: T(R',x,\xi) , \quad

3712: |X(t,x,\xi)|\geq R' .

3713: $$

3714: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3715: By continuous dependence of the flow $X(t,x,\xi)$

3716: with respect to the initial data

3717: $(x,\xi)$, and compactness of the set $E(\de)$, there is

3718: a time $T(R',\de)$, that now depends upon $R'$ and $\de$

3719: only, such that

3720: for any initial point $(x,\xi) \in E(\de)$, there holds

3721: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3722: $$

3723: \forall t \geq

3724: T(R') , \quad

3725: |X(t,x,\xi)|\geq R' .

3726: $$

3727: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3728: In other words, the trajectory $X(t,x,\xi)$ goes to infinity as time

3729: goes to infinity,

3730: uniformly with respect to the initial datum $(x,\xi) \in E(\de)$.

3731: 

3732: Second, we get estimates for the standard ``escape function'' of

3733: quantum and classical scattering, namely the function $X(t) \cdot \Xi(t)$.

3734: We compute

3735: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3736: \begin{align*}

3737: &

3738: \frac{\d}{\d t}

3739: \(X(t,x,\xi) \cdot \Xi(t,x,\xi) \)

3740: =

3741: 2\(\frac{\Xi^2(t,x,\xi)}{2}-n^2\(X(t,x,\xi)\)\)

3742: \\

3743: &

3744: \qquad\qquad\qquad\qquad

3745: +2 n^2\(X(t,x,\xi)\)+X(t,x,\xi) \cdot \nabla n^2\(X(t,x,\xi)\)

3746: \\

3747: &

3748: \qquad

3749: =

3750: 2 \; \(\frac{\xi^2}{2}-n^2(x)\)

3751: +2 n^2\(X(t,x,\xi)\)+X(t,x,\xi)\cdot \nabla n^2\(X(t,x,\xi)\)

3752: \\

3753: &

3754: \qquad\qquad

3755: \text{ (thanks to the conservation of energy) }

3756: \\

3757: &

3758: \qquad

3759: \mathop{\longrightarrow}\limits_{t \rgt \infty}

3760: 2\(\frac{\xi^2}{2}-n^2(x)\)+2 n^2_\infty ,

3761: \end{align*}

3762: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3763: uniformly with respect to the initial datum

3764: $(x,\xi) \in E(\de)$. Hence, using the fact that $n^2_\infty>0$,

3765: and taking

3766: a possibly smaller value of the cutoff parameter $\de$,

3767: we obtain the existence

3768: of a constant $C_{\de}>0$, and another time $T(\de)$, such that

3769: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3770: \bea

3771: &&

3772: \label{cde}

3773: \forall t \geq T(\de) , \quad

3774: X(t,x,\xi) \cdot \Xi(t,x,\xi)

3775: \geq

3776: C_{\de} \;  t.

3777: \eea

3778: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3779: Using the fact that

3780: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3781: $

3782: \frac{\d}{\d t}

3783: \(

3784: \frac{1}{2} \; X^2(t,x,\xi)

3785: \)

3786: =

3787: X(t,x,\xi) \cdot \Xi(t,x,\xi) ,

3788: $

3789: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3790: we deduce the desired lower bound

3791: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3792: $$

3793: \forall t \geq T(\de) , \quad

3794: \frac{1}{2} \( X^2(t,x,\xi) - X^2(T(\de),x,\xi) \)

3795: \geq

3796: C_{\de} \; \frac{t^2}{2} .

3797: $$

3798: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3799: 

3800: 

3801: 

3802: 

3803: 

3804: 

3805: 

3806: 

3807: 

3808: 

3809: 

3810: 

3811: 

3812: 

3813: 

3814: 

3815: 

3816: 

3817: 

3818: \bigskip

3819: 

3820: 

3821: 

3822: 

3823: 

3824: 

3825: 

3826: 

3827: 

3828: 

3829: 

3830: 

3831: 

3832: 

3833: 

3834: 

3835: 

3836: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3837: \noi

3838: {\it {\bf Second step:} estimates on the linearized flow

3839: $F(t,x,\xi)$.}

3840: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3841: 

3842: \noi

3843: One first proves the estimate (\ref{linflow}) in the case $\a=\b=0$.

3844: By its very definition (\ref{linf}), the linearized flow

3845: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3846: $$

3847: F(t,x,\xi)

3848: =

3849: \left(

3850: \begin{array}{cc}

3851: A(t,x,\xi)&B(t,x,\xi)

3852: \\

3853: C(t,x,\xi)&D(t,x,\xi)

3854: \end{array}

3855: \right)

3856: .

3857: $$

3858: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3859: satisfies (see (\ref{linf1}), (\ref{linf2})) the differential system

3860: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3861: \begin{align}

3862: \non

3863: \label{lin1}

3864: &

3865: \frac{\d}{\d t} A(t,x,\xi)=C(t,x,\xi) ,

3866: &

3867: A(0,x,\xi)={\rm Id} ,

3868: \\

3869: &

3870: \frac{\d}{\d t} C(t,x,\xi)=D^2 n^2\(X(t,x,\xi)\) \; A(t,x,\xi) ,

3871: &

3872: C(0,x,\xi)=0 ,

3873: \end{align}

3874: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3875: together with

3876: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3877: \begin{align}

3878: \non

3879: \label{lin2}

3880: &

3881: \frac{\d}{\d t} B(t,x,\xi)=D(t,x,\xi) ,

3882: &

3883: B(0,x,\xi)=0 ,

3884: \\

3885: &

3886: \frac{\d}{\d t} D(t,x,\xi)=D^2 n^2\(X(t,x,\xi)\) \; B(t,x,\xi) ,

3887: &

3888: D(0,x,\xi)={\rm Id} .

3889: \end{align}

3890: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3891: Here, the notation $D^2 n^2(x)$ refers to the Hessian of the function

3892: $n^2(x)$ in the variable $x$.

3893: Due to the assumption (\ref{decn}) on the behaviour

3894: of $n^2(x)$ at infinity, we readily have

3895: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3896: $$

3897: |D^2 n^2(x)| \leq C \; \<x\>^{-\rho-2} ,

3898: $$

3899: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3900: for some constant $C>0$, independent of $x$. This, together with the previous

3901: bound (\ref{Xinfty}) on the behaviour of the flow $X(t,x,\xi)$ at infinity

3902: in time, gives the estimate

3903: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3904: \bea

3905: \label{decddn}

3906: &&

3907: \big|D^2 n^2\(X(t,x,\xi)\)\big|

3908: \leq

3909: C_0 \;  \<t\>^{-\rho-2} ,

3910: \eea

3911: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3912: for some constant $C_0>0$ which is independent of time $t\geq 0$,

3913: and of the point $(x,\xi)$ in phase-space.

3914: We are thus in position to estimate

3915: $A(t)$ and $C(t)$ using (\ref{lin1}).

3916: Integrating (\ref{lin1}) in time, and setting 

3917: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3918: \bea

3919: \label{et}

3920: &&

3921: \eps(t):=|D^2 n^2\(X(t,x,\xi)\)|

3922: \eea

3923: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3924: for convenience, we obtain (dropping the dependence on $(x,\xi)$

3925: of the various functions),

3926: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3927: \begin{align}

3928: \label{esta}

3929: &

3930: |A(t)-{\rm Id}|

3931: \leq

3932: \int_0^t (t-s) \; \eps(s) \; |A(s)-{\rm Id}| \, ds

3933: +

3934: \int_0^t (t-s) \; \eps(s) \, ds

3935: ,

3936: \\

3937: \label{estc}

3938: &

3939: |C(t)|

3940: \leq

3941: \int_0^t \eps(s) \; |A(s)| \; ds .

3942: \end{align}

3943: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3944: Choose now a constant $C_*$, and define the time $t_*$ as

3945: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3946: $$

3947: t_*:=\sup\{t \geq 0 \; \text{ s.t. } \;

3948: |A(t)-{\rm Id}| \leq C_* \<t\>^{1+\eta} \} .

3949: $$

3950: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3951: We prove that $t_*=+\infty$, provided $C_*$ is large enough.

3952: Indeed,

3953: for any time $t\leq t_*$, using

3954: (\ref{esta}) together with the decay (\ref{decddn}), we have

3955: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3956: \beas

3957: &&

3958: |A(t)-{\rm Id}|

3959: \leq

3960: C_0 C_* \int_0^t (t-s)  \<s\>^{-\rho-1+\eta} \, ds

3961: \leq

3962: C_0 C_* \; t \; \int_0^t \<s\>^{-\rho-1+\eta}\, ds

3963: \\

3964: &&

3965: \qquad

3966: \leq

3967: C_0 C_* C_\eta \; t

3968: \\

3969: &&

3970: \qquad

3971: \;

3972: \text{ (for some constant $C_\eta >0$,

3973: provided $\eta>0$ satisfies $\eta<\rho/2$ ) }

3974: \\

3975: &&

3976: \qquad

3977: <

3978: C_* \; \<t\>^{1+\eta}\\

3979: &&

3980: \qquad \; \text{ (provided

3981: $t$ is large enough, $t\geq T(C_0,C_\eta)$, for some $T(C_0,C_\eta)$}

3982: \\

3983: &&

3984: \qquad\;

3985: \text{ that

3986: only depends on $C_0$ and $C_\eta$).}

3987: \eeas

3988: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3989: On the other hand, we certainly have

3990: $|A(t)-{\rm Id}| \leq C_* \<t\>^{1+\eta}$ for bounded values of time

3991: $t\leq T(C_0,C\eta)$, provided $C_*$ is large enough.

3992: Hence $t_*=+\infty$. Inserting this upper-bound for $A$ in (\ref{estc}) gives

3993: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3994: $$

3995: |C(t)| \leq C_\eta ,

3996: $$

3997: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

3998: for some $C_\eta>0$, provided $\eta>0$ is small enough.

3999: We may estimate $B(t)$ and $D(t)$ in the similar way.

4000: The analysis is the same, and starts with the formulae

4001: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4002: \beas

4003: %\label{estb}

4004: &&

4005: |B(t)|

4006: \leq

4007: t  + \int_0^t (t-s) \; \eps(s) \; |B(s)|

4008: \; ds ,

4009: \\

4010: %\label{estd}

4011: &&

4012: |D(t)|

4013: \leq

4014: 1+ \int_0^t \eps(s) \; |B(s)| \; ds .

4015: \eeas

4016: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4017: We skip the details.

4018: At this level, we have obtained the bound

4019: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4020: $$

4021: |F(t,x,\xi)|

4022: \leq

4023: C_\eta \; \<t\>^{1+\eta} ,

4024: $$

4025: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4026: for any (small enough) $\eta>0$, and a constant $C_\eta$ independent of

4027: $(t,x,\xi)$.

4028: 

4029: 

4030: 

4031: 

4032: 

4033: 

4034: 

4035: 

4036: 

4037: 

4038: 

4039: 

4040: 

4041: 

4042: 

4043: 

4044: 

4045: 

4046: 

4047: 

4048: 

4049: \bigskip

4050: 

4051: 

4052: 

4053: 

4054: 

4055: 

4056: 

4057: 

4058: 

4059: 

4060: 

4061: 

4062: 

4063: 

4064: 

4065: 

4066: 

4067: 

4068: 

4069: 

4070: 

4071: 

4072: 

4073: 

4074: 

4075: 

4076: 

4077: 

4078: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4079: \noi

4080: {\it {\bf Third step:}

4081: estimates on the derivatives of the linearized  flow}

4082: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4083: 

4084: \noi

4085: Let now $\a$ be any multi-index.

4086: We prove (\ref{linflow}) by induction on $|\a|$.

4087: Define, for any  $p \geq 1$

4088: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4089: $$

4090: M_p(t):=\sup_{|\b|= n} \sup_{(x,\xi)\in \R^{2 d}}

4091: \Bigg|\frac{\d^\b \Phi(t,x,\xi)}{\d (x,\xi)^\b}\Bigg| ,

4092: $$

4093: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4094: We have proved in the second step above that

4095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4096: $$

4097: M_1(t)

4098: \leq

4099: C_\eta  \; \<t\>^{1+\eta} .

4100: $$

4101: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4102: Assume that for some integer $p_0$, the estimate

4103: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4104: $$

4105: M_p(t) \leq C_{p,\eta} \; \<t\>^{p (1+\eta)+2 (p-1)} ,

4106: $$

4107: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4108: has been proved for any $p \leq p_0$. We wish to prove the analogous

4109: estimate for $M_{p_0+1}$.

4110: Take any multi-index

4111: $\a$ of length $|\a|=p_0$.

4112: From now on, we systematically omit the dependence of

4113: the various functions and derivatives

4114: with respect to $(x,\xi)$, and write

4115: $\d^\a F(t)$, $\d^\a H$ instead of

4116: $\d^\a F(t,x,\xi)/\d (x,\xi)^\a$,

4117: $\d^\a H(x,\xi)/\d (x,\xi)^\a$

4118: and so on.

4119: Upon differentiating $\a$ times the linearized equation

4120: (\ref{hamlinfs}) on $F$,

4121: we obtain,

4122: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4123: \bea

4124: \label{daf}

4125: &&

4126: \d_t \(\d^\a F(t)\)=

4127: J

4128: \sum_{\b\leq\a}

4129: \left(

4130: \begin{array}{c}

4131: \a\\

4132: \b

4133: \end{array}

4134: \right)

4135: \d^\b \(D^2  H\(\Phi(t)\) \) \; \(\d^{\a-\b} F(t)\)

4136: .

4137: \eea

4138: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4139: In order to make estimates in (\ref{daf}), we first need

4140: to write the Fa\`a de Bruno formula as

4141: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4142: $$

4143: \d^\b \( D^2 H\circ \Phi(t)\)

4144: =

4145: \b !  \; \sum_{\g, m}

4146: \(\d^\g D^2 H \) \circ \Phi(t) \; \times

4147: \prod_\z

4148: \frac{1}{m(\z) !}

4149: \(\frac{\d^\z \Phi(t) }{\z !}\)^{m(\z)} .

4150: $$

4151: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4152: Here $\b \in \N^{2d}$,

4153: $\g \in \N^{2d}$, and

4154: $\z \in \N^{2d}$

4155: are multiindices, and $m$ associates to each multi-index

4156: $\z \in \N^{2d}$, another

4157: multi-index $m(\z) \in \N^{2d}$. Also,

4158: the above sum carries over all values of $\g$, $m$, and $\z$ such

4159: that

4160: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4161: \bea

4162: \label{cons}

4163: &&

4164: \sum_\z m(\z)= \g , \; \sum_\z \z \; |m(\z)| = \b .

4165: \eea

4166: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4167: Finally, when $|\b|\geq 1$, the above sums carries over

4168: $\g$'s and $\z$'s such that $|\g|\geq 1$ and $|\z|\geq 1$.

4169: All this gives in (\ref{daf}),

4170: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4171: \beas

4172: &&

4173: \d_t \(\d^\a F(t)\)=

4174: J

4175: \sum_{\b\leq\a}

4176: \b! \;

4177: \left(

4178: \begin{array}{c}

4179: \a\\

4180: \b

4181: \end{array}

4182: \right)

4183: \sum_{\g, m}

4184: \(\d^\g D^2 H\) \circ \Phi(t)

4185: \\

4186: &&

4187: \qquad

4188: \times

4189: \prod_\z

4190: \frac{1}{m(\z) !}

4191: \(\frac{\d^\z \Phi(t)}{\z !}\)^{m(\z)} 

4192: \times \; \d^{\a-\b} F(t)

4193: .

4194: \eeas

4195: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4196: Hence, putting apart the contribution stemming from

4197: $\b=0$, we recover

4198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4199: \bea

4200: \label{eqdaf}

4201: &&

4202: \d_t \(\d^\a F(t)\)=

4203: J

4204: \; 

4205: D^2 H\(\Phi(t)\) \; \(\d^\a F(t)\)

4206: + R_\a(t) ,

4207: \eea

4208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4209: where the remainder term $R_\a(t)$ is estimated by

4210: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4211: \begin{align*}

4212: &

4213: |R_\a(t)|

4214: \\

4215: &

4216: \quad

4217: \leq

4218: C_{|\a|} 

4219: \,

4220: \sum_{0\neq\b\leq\a}

4221: \sum_{\g,m}

4222: |\(\d^\g D^2 H\) \circ \Phi(t)|

4223: \prod_\z

4224: \(|\d^\z \Phi(t)|\)^{|m(\z)|}

4225: \, |\d^{\a-\b} F(t)|

4226: &

4227: \\

4228: &

4229: \quad

4230: \leq

4231: C_{|\a|} 

4232: \;

4233: \sum_{0\neq\b\leq\a}

4234: \sum_{\g,m}

4235: \; |\d^{\a-\b} F(t)|

4236: \prod_\z

4237: \(|\d^\z \Phi(t)|\)^{|m(\z)|}

4238: .

4239: &

4240: \end{align*}

4241: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4242: for some constant $C_{|\a|}>0$

4243: that depends on $|\a|$. The last line uses the fact that

4244: $\sup_{x,\xi}|\d^\g D^2 H(x,\xi)|\leq C_\g$ for some constant $C_\g$.

4245: Using the inductive assumption,

4246: we recover

4247: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4248: \beas

4249: &&

4250: |R_\a(t)|

4251: \leq

4252: C_{|\a|,\eta} \; 

4253: \sum_{0\neq\b\leq\a}

4254: \sum_{\g, m}

4255: \;

4256: \<t\>^{(|\a-\b|+1)(1+\eta)+2|\a-\b|}

4257: \\

4258: &&

4259: \qquad\qquad\qquad\qquad\qquad\qquad

4260: \times

4261: \prod_\z

4262: \<t\>^{\(|\z|(1+\eta)+2(|\z|-1)\) \; |m(\z)| }

4263: \\

4264: &&

4265: \;

4266: \leq

4267: C_{|\a|,\eta} \; 

4268: \sum_{0\neq\b\leq\a}

4269: \<t\>^{ (1+\eta) 

4270: \( 1+|\a-\b|+\sum_\z |\z| |m(\z)| \)

4271: + 2 \( |\a-\b| + \sum_\z (|\z|-1) \; |m(\z)| \)

4272: }

4273: \\

4274: &&

4275: \;

4276: =

4277: C_{|\a|,\eta} \; 

4278: \sum_{0\neq\b\leq\a}

4279: \<t\>^{(1+\eta) \( 1+|\a-\b|+|\b| \) 

4280: +

4281: 2 \( |\a-\b| + |\b|-|\g| \)

4282:  } \;

4283: \\

4284: &&

4285: \leq

4286: C_{|\a|,\eta} \; 

4287: \<t\>^{(1+\eta) \( 1+|\a|\) 

4288: +

4289: 2 \( |\a|-1 \)

4290:  } \;

4291: .

4292: \eeas

4293: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4294: Here we used the constraints (\ref{cons}) together with the information

4295: $|\g|\geq 1$.

4296: Using Lemma \ref{groj} below in equation (\ref{eqdaf}) satisfied

4297: by $\d^\a F$, we obtain,

4298: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4299: $$

4300: |\d^\a F(t) |

4301: \leq

4302: C_{|\a|,\eta} \; 

4303: \<t\>^{(1+\eta) \( |\a|+1 \) + 2 |\a| } .

4304: $$

4305: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4306: Hence

4307: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4308: $$

4309: M_{p_0+1}(t)

4310: \leq

4311: C_{p_0,\eta} \; 

4312: \<t\>^{(1+\eta) \(p_0 +1 \)+ 2 p_0} .

4313: $$

4314: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4315: This ends the recursion.

4316: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4317: 

4318: \bigskip

4319: 

4320: \noi

4321: {\it{\bf

4322: Fourth step:} A Gronwall

4323: Lemma for solutions to the linearized Hamilton equation}

4324: 

4325: \noi

4326: The preceding step uses the following

4327: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4328: \begin{lemma}

4329: \label{groj}

4330: Assume the function $G(t,x,\xi)$ satisfies the differential equation

4331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4332: \bea

4333: \label{eqg}

4334: &&

4335: \frac{\d G(t,x,\xi)}{\d t} 

4336: = J \cdot D^2 H \(\Phi(t,x,\xi)\) \cdot G(t,x,\xi)

4337: +O\(\<t\>^\l\)

4338: ,

4339: \\

4340: &&

4341: \non

4342: G(0,x,\xi)=0 ,

4343: \eea

4344: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4345: where the $O\(\<t\>^\l\)$ is uniform in $(x,\xi)$. Then,

4346: $G$ satisfies the uniform estimate

4347: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4348: \beas

4349: G(t,x,\xi)=O\(\<t\>^{\l + 2 }\)

4350: .

4351: \eeas

4352: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4353: \end{lemma}

4354: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4355: 

4356: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4357: \noi

4358: {\bf Proof of Lemma \ref{groj}}

4359: 

4360: \noi

4361: Decompose $G(t)\equiv G(t,x,\xi)$ as

4362: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4363: \beas

4364: G(t)

4365: =

4366: \left(

4367: \begin{array}{cc}

4368: A_G(t) & B_G(t)

4369: \\

4370: C_G(t) & D_G(t)

4371: \end{array}

4372: \right) .

4373: \eeas

4374: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4375: Then, equation (\ref{eqg}) for $G$ writes

4376: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4377: \begin{align}

4378: \label{lin1g}

4379: &

4380: \frac{\d}{\d t} A_G(t)=C_G(t) + O\(\<t\>^\l\)

4381: ,

4382: &

4383: A_G(0)=0 ,

4384: \qquad

4385: \\

4386: &

4387: \non

4388: \frac{\d}{\d t} C_G(t)=D^2 n^2\(X(t)\) \; A_G(t)

4389: + O\(\<t\>^\l\) ,

4390: &

4391: C_G(0)=0 ,

4392: \qquad

4393: \end{align}

4394: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4395: together with

4396: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4397: \begin{align}

4398: \label{lin2g}

4399: &

4400: \frac{\d}{\d t} B_G(t)=D_G(t) + O\(\<t\>^\l\)

4401: ,

4402: & \quad B_G(0)=0 ,

4403: \qquad

4404: \\

4405: &

4406: \non

4407: \frac{\d}{\d t} D_G(t)=D^2 n^2\(X(t)\) \; B_G(t)

4408: + O\(\<t\>^\l\)

4409: ,

4410: &

4411: D_G(0)=0 .

4412: \qquad

4413: \end{align}

4414: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4415: Equations (\ref{lin1g}) give rise to the estimates

4416: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4417: \bea

4418: \label{estag}

4419: &&

4420: |A_G(t)|

4421: \leq

4422: C \; \int_0^t 

4423: (t-s) \; \( \; \eps(s) \; |A_G(s)| + \<s\>^\l \) \; ds ,

4424: \\

4425: \label{estcg}

4426: &&

4427: |C_G(t)| \leq C \; \int_0^t \eps(s) \; |A_G(s)| \; ds ,

4428: \eea

4429: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4430: where the function $\eps(s)$ is defined in (\ref{et}) above.

4431: Using $\eps(s)\leq C_0 \; \<s\>^{-\rho-2}

4432: \leq C_\eta \; \<s\>^{-\eta-2}$ for any small $\eta>0$

4433: (see (\ref{decddn})),

4434: gives in equation (\ref{estag}),

4435: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4436: \bea

4437: \label{estagb}

4438: |A_G(t)|

4439: \leq

4440: C_\eta \; t \; \int_0^t 

4441: \<s\>^{-\eta-2} \; |A_G(s)| \; ds

4442: +

4443: C \; \<t\>^{\l+2} \; 

4444: .

4445: \eea

4446: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4447: From this it can be deduced that

4448: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4449: $$

4450: |A_G(t)|\leq C \; \<t\>^{\l+2} .

4451: $$

4452: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4453: (for a given constant $C_*$, define indeed

4454: $t_*=\sup\{t \geq 0 \; \text{ s.t. } \;

4455: |A_G(t)|\leq C_* \; \<t\>^{\l+2}$ - one deduces from (\ref{estagb})

4456: that $t_*=+\infty$ provided $C_*$ is large enough - see (\ref{esta})

4457: and sequel for details).

4458: Equation (\ref{estcg}) then gives

4459: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4460: $$

4461: |C_G(t)|

4462: \leq C_\eta \; \int_0^t \<s\>^{-\eta-2} \; |A_G(s)| \; ds 

4463: \leq C_\eta \; \<t\>^{\l+1-\eta} .

4464: $$

4465: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4466: The estimates for $B_G$ and $D_G$ are the same. This ends the proof of

4467: the Lemma.

4468: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4469: 

4470: 

4471: 

4472: 

4473: 

4474: 

4475: 

4476: 

4477: 

4478: 

4479: 

4480: 

4481: 

4482: 

4483: 

4484: 

4485: 

4486: 

4487: 

4488: 

4489: 

4490: 

4491: 

4492: 

4493: 

4494: 

4495: 

4496: 

4497: 

4498: 

4499: 

4500: 

4501: \bigskip

4502: 

4503: 

4504: 

4505: 

4506: 

4507: 

4508: 

4509: 

4510: 

4511: 

4512: 

4513: 

4514: 

4515: 

4516: 

4517: 

4518: 

4519: 

4520: 

4521: 

4522: 

4523: 

4524: 

4525: 

4526: 

4527: 

4528: 

4529: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4530: \noi

4531: {\it {\bf Fifth step}: adapting the estimates of \cite{BR}}

4532: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4533: 

4534: \noi

4535: We now put together the estimates on the linearized flow obtained before,

4536: to complete the proof of parts (ii) and (iii) of Lemma \ref{bourob}.

4537: 

4538: 

4539: 

4540: The construction of the symbols

4541: $\bbd^{(k)}(t,x,\xi)$ in Lemma \ref{bourob}

4542: is made in an explicit way in \cite{BR}.

4543: Part (iii) of Lemma \ref{bourob}

4544: follows. 

4545: Also,

4546: the remainder estimate (\ref{remestbr}) is a consequence

4547: of the above estimates on the linearized

4548: flow $F(t,x,\xi)$ and its derivatives,

4549: upon adapting the analysis of \cite{BR}.

4550: Let us indeed write the rough (but simpler) estimate

4551: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4552: $$

4553: |\d^\a F(t,x,\xi)| \leq C_\a \<t\>^{4 |\a| +2} ,

4554: $$

4555: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4556: corresponding to the special

4557: choice $\eta=1$ in (\ref{linflow}).

4558: Then, Theorem 1.2 - formula (12) of \cite{BR},

4559: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4560: $$

4561: \bbd^{(0)}(t,x,\xi)=

4562: \bd\(\Phi(t,x,\xi)\)

4563: ,

4564: $$

4565: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4566: together

4567: with the Fa\'a de Bruno formula, give for any multi-index

4568: $\a$ the estimate

4569: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4570: $$

4571: |

4572: \d^\a\bbd^{(0)}(t,x,\xi)

4573: |

4574: \leq

4575: C_{|\a|}

4576: \; \<t\>^{4 |\a| } .

4577: $$

4578: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4579: From Theorem 1.2 - formula (14) of \cite{BR},

4580: we have for any $k \geq 1$ the explicit value

4581: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4582: \begin{align*}

4583: &

4584: \bbd^{(k)}(t,x,\xi)

4585: =

4586: \mathop{\sum}_{

4587: \scriptstyle

4588: \begin{array}{c}

4589: \scriptstyle

4590: |\a|+\ell=k+1\\

4591: \scriptstyle

4592: 0\leq \ell \leq k-1

4593: \end{array}

4594: }

4595: \G(\a)

4596: \int_0^t

4597: \[\d^\a H \times \d^\a \bbd^{(\ell)}\]

4598: \circ \Phi(t-s,x,\xi) \, ds

4599: ,

4600: &

4601: \end{align*}

4602: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4603: where $\G(\a)$ is a harmless coefficient whose explicit value is given in

4604: \cite{BR}. This, together with the Fa\'a de Bruno formula, implies

4605: for any $k \geq 1$, the upper-bound

4606: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4607: $$

4608: |

4609: \d^\a\bbd^{(k)}(t,x,\xi)

4610: |

4611: \leq

4612: C_{|\a|,k}

4613: \; \<t\>^{c_0 (k |\a| + k^2+1)},

4614: $$

4615: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4616: for some fixed number $c_0$, independent of $\a$ and $k$.

4617: Then, using formulae (51), together with (52), (54), (97) and (99) of

4618: \cite{BR}

4619: gives the estimate (\ref{remestbr}). This ends the proof of

4620: Lemma \ref{bourob}.

4621: \qed

4622: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4623: 

4624: 

4625: 

4626: 

4627: 

4628: 

4629: 

4630: 

4631: 

4632: 

4633: 

4634: 

4635: 

4636: 

4637: 

4638: 

4639: 

4640: 

4641: 

4642: 

4643: 

4644: 

4645: 

4646: 

4647: 

4648: 

4649: 

4650: 

4651: 

4652: 

4653: 

4654: 

4655: 

4656: 

4657: 

4658: 

4659: 

4660: 

4661: 

4662: 

4663: 

4664: 

4665: 

4666: 

4667: 

4668: 

4669: 

4670: 

4671: 

4672: 

4673: 

4674: 

4675: 

4676: 

4677: 

4678: 

4679: 

4680: 

4681: 

4682: 

4683: 

4684: 

4685: 

4686: 

4687: 

4688: 

4689: 

4690: 

4691: 

4692: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4693: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4694: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4695: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4696: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4697: 

4698: \section{Contribution of moderate times, close to the zero energy}

4699: \label{mod}

4700: 

4701: \setcounter{equation}{0}

4702: 

4703: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4704: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4705: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4706: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4707: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4708: 

4709: 

4710: 

4711: 

4712: 

4713: 

4714: After the work performed in sections \ref{st} through \ref{brbr},

4715: there only remains to estimate the most difficult term

4716: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4717: \beas

4718: &&

4719: \frac{1}{\eps}

4720: \int_{\T \eps}^{\tau}

4721: \(1-\chi\)\(\frac{t}{\T \eps}\)

4722: \;

4723: \e^{-\a_\eps t} \;

4724: \Big<

4725: U_\eps(t)

4726: \chi_\de\(H_\eps\) S_\eps

4727: ,

4728: \phi_\eps

4729: \Big>

4730: \; dt

4731: .

4732: \eeas

4733: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4734: This is the key point of the present paper.

4735: 

4736: The main result of the present section is the following

4737: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4738: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4739: \begin{proposition}

4740: \label{dur}

4741: We use the notations of section \ref{redu}.

4742: The index $n^2$ is assumed to have the symbolic behaviour

4743: (\ref{decn}). The zero energy is assumed non-trapping

4744: for the Hamiltonian $\xi^2/2-n^2(x)$.

4745: Finally, we need the tranversality condition {\bf (H)} page \pageref{HH} on the

4746: trajectories $\Phi(t,x,\xi)$ with initial data satisfying

4747: $x=0$, $\xi^2/2=n^2(0)$.

4748: Then, the following two estimates hold true,

4749: 

4750: (i)

4751: for any {\em fixed} value of the truncation parameters

4752: $\th$, $\tau$ and $\de$,

4753: we have

4754: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4755: \beas

4756: &&

4757: %\label{majdur1}

4758: \frac{1}{\eps}

4759: \int_{\th}^{\tau}

4760: \(1-\chi\)\(\frac{t}{\th}\)

4761: \;

4762: \e^{-\a_\eps t} \;

4763: \Big<

4764: U_\eps(t)

4765: \chi_\de\(H_\eps\) S_\eps

4766: ,

4767: \phi_\eps

4768: \Big>

4769: \; dt

4770: \; 

4771: \mathop{\longrightarrow}\limits_{\eps\rgt 0}

4772: 0 .

4773: \eeas

4774: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4775: 

4776: (ii)

4777: for $\th>0$ small enough, there exists a constant $C_\th>0$

4778: such that for any $\eps \leq 1$,

4779: we have

4780: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4781: \begin{align*}

4782: \non

4783: &

4784: %\label{majdur2}

4785: \frac{1}{\eps}

4786: \int_{\T \eps}^{2\th}

4787: \(1-\chi\)\(\frac{t}{\T \eps}\)

4788: \chi\(\frac{t}{\th}\)

4789: \;

4790: \e^{-\a_\eps t} \;

4791: \Big<

4792: U_\eps(t)

4793: \chi_\de\(H_\eps\) S_\eps

4794: ,

4795: \phi_\eps

4796: \Big>

4797: \; dt

4798: \; 

4799: &

4800: \\

4801: &

4802: \qquad\qquad\qquad\qquad

4803: \leq

4804: C_\th \; \T^{-d/2+1} 

4805: \mathop{\longrightarrow}\limits_{\T\rgt +\infty}

4806: 0

4807: .

4808: &

4809: \end{align*}

4810: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4811: \end{proposition}

4812: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4813: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4814: 

4815: 

4816: \medskip

4817: 

4818: \noi

4819: The remainder part of this paragraph is devoted to

4820: the proof of proposition \ref{dur}.

4821: In order to shorten the notations, we define

4822: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4823: \bea

4824: \wce:=

4825: \(1-\chi\)\(\frac{t}{\T \eps}\)

4826: \;

4827: \e^{-\a_\eps t} ,

4828: \eea

4829: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4830: so that the proof of proposition \ref{dur} boils down to estimating

4831: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4832: \bea

4833: \label{tob}

4834: &&

4835: \frac{1}{\eps}

4836: \int_{\T \eps}^{\tau}

4837: \wce \,

4838: \Big<

4839: \chi_\de\(H_\eps\) S_\eps

4840: ,

4841: U_\eps(-t)

4842: \phi_\eps

4843: \Big>

4844: \; dt

4845: .

4846: \eea

4847: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4848: The precise value of the cut-off function $\wce$ in the analysis

4849: of (\ref{tob}) will

4850: be essentially irrelevant in the sequel.

4851: 

4852: \medskip

4853: 

4854: \noi

4855: {\bf Proof of proposition \ref{dur}}

4856: 

4857: The proof is given in several steps.

4858: As in section \ref{brbr}, we begin with some preliminary reductions,

4859: exploiting the informations

4860: on the microlocal support of the various functions.

4861: Then, we use the elegant wave-packet approach of Combescure and Robert

4862: \cite{CRo} to compute the semi-classical propagator $U_\eps(t)$

4863: in (\ref{tob})

4864: in a very explicit way - see Theorem \ref{Crth} below:

4865: this gives a representation in terms of a Fourier

4866: integral operator {\em with complex phase}, that is very well suited for

4867: our asymptotic analysis

4868: (see also \cite{CRR}, or the work by Hagedorn and Joye \cite{H1},

4869: \cite{H2}, \cite{HJ},

4870: or by Robinson \cite{Rb}, or even the seminal work by Hepp \cite{He}

4871: for similar

4872: representations - see also Butler \cite{Bt}).

4873: This eventually reduces the analysis to stationary phase arguments

4874: that are very much in the spirit of \cite{CRR}, and where the tranversality

4875: assumption {\bf (H)} page \pageref{HH} turns out to play a crucial role.

4876: 

4877: \medskip

4878: 

4879: 

4880: \noi

4881: {\it

4882: {\bf First Step:}

4883: Preliminary reduction, projection over the gaussian wave packets}

4884: 

4885: \noi

4886: As in section \ref{brbr} (see (\ref{32}), (\ref{hchi}), (\ref{supb})),

4887: we may first build up a symbol $a_0(x,\xi) \in C^\infty_c(\R^{2d})$

4888: such that

4889: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4890: \bea

4891: \label{a0}

4892: &&

4893: {\rm supp} \, a_0 \subset

4894: \{|x|\leq \de\}\cap \{|\xi^2/2-n^2(x)|\leq  \de\},

4895: \eea

4896: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4897: and

4898: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4899: \beas

4900: \Big<

4901: \chi_\de\(H_\eps\) S_\eps

4902: ,

4903: U_\eps(-t)

4904: \phi_\eps

4905: \Big>

4906: =

4907: \Big<

4908: {\rm Op}^w_\eps\(a_0(x,\xi)\) S_\eps

4909: ,

4910: U_\eps(-t)

4911: \phi_\eps

4912: \Big>

4913: +

4914: O_\de(\eps^\infty).

4915: \eeas

4916: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4917: With the notation (\ref{hchi}), we actually have the value

4918: $a_0(x,\xi)=\Chid(x,\xi) \sharp \chi_\de\(|x|\)$.

4919: Therefore, the asymptotic analysis of (\ref{tob}) reduces to

4920: that of the expression

4921: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4922: \begin{align}

4923: \label{aveca}

4924: &&

4925: \frac{1}{\eps}

4926: \int_{\T \eps}^{\tau}

4927: \wce \,

4928: \Big<

4929: {\rm Op}^w_\eps(a_0)

4930: S_\eps

4931: ,

4932: U_\eps(-t)

4933: \phi_\eps

4934: \Big>

4935: \, dt.

4936: \end{align}

4937: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4938: Now, to be able to use the wave-packet approach of \cite{CRo}, we need

4939: to decompose the above scalar product on the basis of

4940: the Gaussian wave packets

4941: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4942: \beas

4943: \varphi_{q,p}^\eps(x,\xi)

4944: :=

4945: (\pi \eps)^{-d/4}

4946: \; \exp\(\frac{i}{\eps} p \cdot \(x-\frac{q}{2}\)\)

4947: \; \exp\(-\frac{(x-q)^2}{2\eps}\).

4948: \eeas

4949: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4950: Each function $\varphi_{q,p}^\eps$ is microlocally

4951: supported near the point $(q,p)$

4952: in phase-space. Using the well-known

4953: orthogonality properties of these states, i.e.

4954: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4955: $$

4956: \<u,v\>=(2\pi\eps)^{-d} \int_{\R^{2d}}

4957: dq dp \; \<u,\varphi^\eps_{q,p}\> \; \<\varphi^\eps_{q,p},v\>,

4958: $$

4959: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4960: for any $u(x)$ and $v(x)$ in the space $L^2(\R^d)$,

4961: and forgetting the normalizing factors like $\pi$, etc.,

4962: we obtain in (\ref{aveca})

4963: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4964: \begin{align}

4965: \non

4966: &

4967: \frac{1}{\eps^{d+1}}

4968: \int_{\T \eps}^{\tau}

4969: \int_{\R^{2d}} dt dq dp \,

4970: \wce

4971: \Big<

4972: {\rm Op}^w_\eps(a_0)

4973: S_\eps

4974: ,\varphi^\eps_{q,p}\Big> \,

4975: \Big<\varphi^\eps_{q,p},

4976: U_\eps(-t)

4977: \phi_\eps

4978: \Big>

4979: \\

4980: &

4981: \label{avecac}

4982: =

4983: \frac{1}{\eps^{d+1}}

4984: \int_{\T \eps}^{\tau}

4985: \int_{\R^{2d}} dt dq dp \,

4986: \wce

4987: \Big<

4988: S_\eps

4989: ,

4990: {\rm Op}^w_\eps(a_0)

4991: \varphi^\eps_{q,p}\Big> \,

4992: \Big<

4993: U_\eps(t)

4994: \varphi^\eps_{q,p},

4995: \phi_\eps

4996: \Big>

4997: .

4998: \end{align}

4999: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5000: Before going further, and in order to prepare for the use of

5001: the stationary phase theorem below,

5002: we make the simple observation that the integral

5003: $dq dp$ over $\R^{2d}$ in (\ref{avecac}) may be carried over the

5004: compact set

5005: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5006: $

5007: \{|x|\leq 2\de\}\cap \{|\xi^2/2-n^2(x)|\leq 2 \de\}

5008: $,

5009: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5010: up to a negligible error $O_\de(\eps^\infty)$.

5011: For that purpose, take a function

5012: $\ck \in C^\infty_c(\R^{2d})$ such that

5013: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5014: \begin{align}

5015: \label{sck}

5016: \non

5017: &

5018: {\rm supp} \, \ck \subset

5019: \{|x|\leq 2\de\}\cap \{|\xi^2/2-n^2(x)|\leq 2\de\}

5020: &

5021: \\

5022: &

5023: \ck

5024: \equiv 1 \; \text{ on } \; 

5025: \left\{

5026: |x|\leq 3\de/2\}\cap \{|\xi^2/2-n^2(x)|\leq 3\de/2

5027: \right\}

5028: .

5029: &

5030: \end{align}

5031: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5032: We claim the following estimate holds true:

5033: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5034: \bea

5035: \label{gwp}

5036: \int_{\R^{2d}}

5037: dq  dp \,

5038: \(1-\ck\) \,

5039: \Big\|

5040: {\rm Op}^w_\eps(a_0)

5041: \varphi^\eps_{q,p}

5042: \Big\|_{L^2(\R^d)}^2

5043: =O_\de(\eps^\infty) .

5044: \eea

5045: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5046: Indeed, we have the following simple computation:

5047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5048: \beas

5049: &&

5050: \big\|

5051: {\rm Op}^w_\eps(a_0)

5052: \varphi^\eps_{q,p}

5053: \big\|_{L^2(\R^d)}^2

5054: =

5055: \big\<

5056: {\rm Op}^w_\eps(a_0\sharp a_0)

5057: \varphi^\eps_{q,p}

5058: ,

5059: \varphi^\eps_{q,p}\>

5060: \\

5061: &&

5062: \quad

5063: =

5064: \int_{\R^{2d}}

5065: dx d\xi \,

5066: (a_0 \sharp a_0)(x,\xi) \; W(\varphi^\eps_{q,p})(x,\xi)

5067: \\

5068: &&

5069: \qquad\qquad

5070: \text{ (where $W(\varphi^\eps_{q,p})$ denotes the

5071: Wigner transform of $\varphi^\eps_{q,p}$)}

5072: \\

5073: &&

5074: \quad

5075: =

5076: \eps^{-d}

5077: \int_{\R^{2d}}

5078: dx d\xi \,

5079: (a_0\sharp a_0)(x,\xi) \;  \exp\(-\frac{|q-x|^2+|p-\xi|^2}{\eps}\)

5080: ,

5081: \eeas

5082: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5083: and the last line uses

5084: the fact that the Wigner transform of $\varphi^\eps_{q,p}$

5085: is a Gaussian. Now, using ${\rm supp}\, (a_0\sharp a_0) \subset

5086: \{|x|\leq \de\} \cap \{|\xi^2/2-n^2(x)|\leq \de\}$, together

5087: with (\ref{sck}), establishes (\ref{gwp}).

5088: 

5089: 

5090: Using this estimate (\ref{gwp}),

5091: and replacing back

5092: the factor ${\rm Op}^w_\eps(a_0)$ by the identity in (\ref{avecac}),

5093: we arrive at the conclusion

5094: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5095: \begin{align*}

5096: \non

5097: &

5098: \frac{1}{\eps}

5099: \int_{\T \eps}^{\tau}

5100: \wce \,

5101: \Big<

5102: \chi_\de\(H_\eps\) S_\eps

5103: ,

5104: U_\eps(-t)

5105: \phi_\eps

5106: \Big>

5107: \; dt

5108: =

5109: O_{\tau,\de}\(\eps^\infty\) +

5110: &

5111: \\

5112: &

5113: \quad

5114: \frac{1}{\eps^{d+1}}

5115: \int_{\T \eps}^{\tau}

5116: \int_{\R^{2d}} dt dq dp \,

5117: \wce \, \ck  \,

5118: \Big<

5119: S_\eps

5120: ,

5121: \varphi^\eps_{q,p}\Big> \,

5122: \Big<

5123: U_\eps(t)

5124: \varphi^\eps_{q,p},

5125: \phi_\eps

5126: \Big>

5127: \, .

5128: &

5129: \end{align*}

5130: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5131: Our strategy is to now pass to the limit in the term

5132: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5133: \bea

5134: \label{avecad}

5135: &&

5136: \frac{1}{\eps^{d+1}}

5137: \int_{\T \eps}^{\tau}

5138: \int_{\R^{2d}} dt dq dp \,

5139: \wce \, \ck  \,

5140: \Big<

5141: S_\eps

5142: ,

5143: \varphi^\eps_{q,p}\Big> \,

5144: \Big<

5145: U_\eps(t)

5146: \varphi^\eps_{q,p},

5147: \phi_\eps

5148: \Big>

5149: .

5150: \eea

5151: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5152: In order to do so,

5153: we need to compute

5154: the time evolved gaussian wave packet

5155: $U_\eps(t)\varphi^\eps_{q,p}$

5156: in an accurate way.

5157: 

5158: 

5159: \bigskip

5160: 

5161: \noi

5162: {\it {\bf Second Step:}

5163: Computation of $U_\eps(t) \varphi^\eps_{q,p}$ - reducing

5164: the problem

5165: to a stationary phase formula}

5166: 

5167: \noi

5168: The following theorem is proved in \cite{CRo} (see also \cite{Ro},

5169: \cite{Ro2})

5170: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5171: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5172: \begin{theorem}{\bf (\cite{CRo}, \cite{Ro})}

5173: \label{Crth}

5174: We use the notations of section \ref{redu}.

5175: Under assumption (\ref{decn}) on the refraction index $n^2(x)$, there

5176: exists a family of functions

5177: $\{p_{k,j}(t,q,p,x)\}_{(k,j)\in \N^2}$, that are

5178: polynomials of degree at most $k$ in the variable $x\in \R^d$,

5179: with coefficients depending on $t$, $q$, $p$,

5180: such that for any

5181: $\eps \leq 1$, the following estimate

5182: holds true: for any given value of $\tau$,

5183: and any given integer $N$, we have, for any time $t\in[0,\tau]$,

5184: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5185: \begin{align}

5186: \label{propcr}

5187: \non

5188: &

5189: \Bigg\|

5190: U_\eps(t) \varphi^\eps_{q,p}

5191: -

5192: \exp\(\frac{i}{\eps}\de(t,q,p)\)

5193: {\cal T}_\eps(q_t,p_t) \Lambda_\eps

5194: Q_N(t,q,p,x)

5195: &

5196: \\

5197: &

5198: \quad\quad

5199: {\cal M}(F(t,q,p))

5200: \(\pi^{-d/4} \exp\(-x^2/2\)\)

5201: \Bigg\|_{L^2(\R^d)}

5202: \leq

5203: C_{N,\tau} \; \eps^{N} ,

5204: &

5205: \end{align}

5206: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5207: where

5208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5209: \beas

5210: &&

5211: Q_N(t,q,p,x):=

5212: 1+\sum_{(k,j)\in I_N} \eps^{\frac{k}{2}-j} p_{k,j}(t,q,p,x)

5213: \, ,

5214: \\

5215: &&

5216: I_N:=\{1\leq j \leq 2 N -1 , \; 1 \leq k-2 j \leq 2 N - 1

5217: , \; k \geq 3 j \}

5218: \, .

5219: \eeas

5220: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5221: Here, the following quantities are defined:

5222: 

5223: 

5224: \noi

5225: $\bullet$

5226: $\Lambda_\eps$ is the dilation operator

5227: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5228: \bea

5229: \label{lam}

5230: \(\Lambda_\eps u\)(x):=\eps^{-d/4} \, u\(\frac{x}{\sqrt{\eps}}\) ,

5231: \eea

5232: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5233: 

5234: 

5235: \noi

5236: $\bullet$

5237: ${\cal T}_\eps(q_t,p_t)$ is the translation (in phase-space) operator

5238: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5239: \bea

5240: \label{teps}

5241: \({\cal T}_\eps(q_t,p_t) u\)(x)

5242: :=\exp\(\frac{i}{\eps} p_t \cdot \(x-\frac{q_t}{2}\)\)

5243: \;

5244: u(x-q_t) ,

5245: \eea

5246: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5247: 

5248: \noi

5249: $\bullet$

5250: $(q_t,p_t)$ denotes the trajectory

5251: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5252: \bea

5253: \label{qt}

5254: (q_t,p_t):=

5255: \(X(t,q,p),\Xi(t,q,p)\) ,

5256: \eea

5257: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5258: 

5259: \noi

5260: $\bullet$

5261: $\de(t,q,p)$ denotes quantity

5262: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5263: \bea

5264: \label{delt}

5265: \de(t,q,p)=

5266: \int_0^t \(\frac{p_s^2}{2}+n^2(q_s) \) \; ds

5267: -\frac{q_t \cdot p_t - q \cdot p}{2} ,

5268: \eea

5269: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5270: 

5271: \noi

5272: $\bullet$

5273: ${\cal M}(F(t,q,p))$ is the metaplectic operator associated with the

5274: symplectic matrix

5275: $F(t,q,p)$. It acts on the gaussian as

5276: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5277: \begin{align}

5278: \label{metf}

5279: &

5280: \non

5281: {\cal M}(F(t,q,p))

5282: \(\exp\(-\frac{x^2}{2}\)\)

5283: =

5284: &

5285: \\

5286: &

5287: \qquad\qquad

5288: \det(A(t,q,p)+iB(t,q,p))^{-1/2}_{\rm c}

5289: \;

5290: \exp\(i \frac{\G(t,q,p) x \cdot x}{2} \)

5291: .

5292: &

5293: \end{align}

5294: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5295: Here, the square root

5296: $\det(A(t,q,p)+iB(t,q,p))^{-1/2}_{\rm c}$ is defined

5297: by continuously (hence the index ${\rm c}$)

5298: following the argument of the complex number

5299: $\det(A(t,q,p)+iB(t,q,p))$ starting from its value $1$ at time $t=0$.

5300: Also, the complex matrix $\G(t,q,p)$ is defined as

5301: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5302: \bea

5303: \label{gt}

5304: \G(t,q,p)

5305: =

5306: (C(t,q,p)+iD(t,q,p))

5307: \; (A(t,q,p)+iB(t,q,p))^{-1} .

5308: \eea

5309: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5310: \end{theorem}

5311: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5312: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5313: 

5314: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5315: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5316: \noi

5317: {\bf Remark}

5318: 

5319: \noi

5320: If the refraction index $n^2(x)$ is {\em quadratic} in $x$,

5321: then formula (\ref{propcr}) is {\em exact}, and the

5322: whole family $\{p_{k,j}\}$ vanishes. This is essentially

5323: a consequence of the Mehler formula. We refer to \cite{Fo}

5324: for a very complete discussion about the propagators

5325: of pseudo-differential operators with {\em quadratic} symbols.

5326: 

5327: In the case when $n^2(x)$ is a general function, the polynomials

5328: $p_{k,j}$ are obtained in \cite{CRo}

5329: using perturbative expansions ``around the quadratic case''.

5330: We refer to \cite{Ro} for a very clear and elegant

5331: derivation of these polynomials. Let us quote that similar

5332: formulae are derived and used in \cite{HJ}. The idea

5333: of considering such perturbations ``around the quadratic case'' traces

5334: back to \cite{He}, see also \cite{H1}, \cite{H2}, \cite{Rb}.

5335: 

5336: The fact that the matrix $A(t)+iB(t)$ is invertible, and

5337: $\G(t)$ is well defined, is proved in \cite{Fo}, see also \cite{Ro2}.

5338: It is a consequence

5339: of the symplecticity of $F(t)$ (see the relations (\ref{relsym})).

5340: We refer to the sequel for an explicit use

5341: of these important relations.

5342: \qed

5343: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5344: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5345: 

5346: \medskip

5347: 

5348: \noi

5349: In the next lines, we apply the above theorem,

5350: and transform formula (\ref{avecad}) accordingly.

5351: 

5352: On the one hand,

5353: we use the Parseval formula in (\ref{avecad})

5354: to compute

5355: the two scalar products. Forgetting

5356: the normalizing factors like $\pi$, etc., it gives, e.g. for the first

5357: scalar product,

5358: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5359: \beas

5360: &&

5361: \<S_\eps,\varphi^\eps_{q,p}\>

5362: =

5363: \eps^{-d/2}

5364: \int_{\R^d} dx d\xi

5365: \,

5366: \exp(i x\cdot \xi/\eps)

5367: \,

5368: {\wh S}(\xi)

5369: \,

5370: \varphi^\eps_{q,p}(x)

5371: \\

5372: &&

5373: \qquad

5374: =

5375: \eps^{-d/2}

5376: \int_{\R^d} dx d\xi

5377: \,

5378: \exp(i x\cdot \xi/\eps)

5379: \,

5380: \chi_1(x)

5381: \,

5382: {\wh S}(\xi)

5383: \,

5384: \varphi^\eps_{q,p}(x)

5385: +O(\eps^\infty) ,

5386: \eeas

5387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5388: for any truncation function $\chi_1$ being $\equiv 1$ close

5389: to the origin.

5390: On the other hand,

5391: we use formula (\ref{propcr})

5392: to compute $U_\eps(t) \varphi^\eps_{q,p}$ in (\ref{avecad}),

5393: using the short-hand notation

5394: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5395: \beas

5396: %\label{pn}

5397: P_N(t,q,p,x):=

5398: \pi^{-d/4}

5399: \det(A(t,q,p)+iB(t,q,p))^{-1/2}_{\rm c}

5400: \,

5401: Q_N(t,q,p,x)

5402: .

5403: \eeas

5404: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5405: 

5406: These two tasks being done, we eventually obtain

5407: in (\ref{avecad}), upon

5408: computing the relevant phase factors explicitly,

5409: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5410: \begin{align}

5411: \label{tobd}

5412: \non

5413: &

5414: \frac{1}{\eps}

5415: \int_{\T \eps}^{\tau}

5416: \wce \,

5417: \Big<

5418: \chi_\de\(H_\eps\) S_\eps

5419: ,

5420: U_\eps(-t)

5421: \phi_\eps

5422: \Big>

5423: \; dt

5424: =

5425: O_{\tau,\de}\(\eps^{\infty}\) 

5426: +

5427: &

5428: \\

5429: \non

5430: &

5431: \quad

5432: \frac{1}{\eps^{(5d+2)/2}}

5433: \int_{\T \eps}^{\tau}

5434: \int_{\R^{6d}}

5435: dt dq dp d\xi  d\eta  dx dy \,

5436: \wce

5437: \exp\(\frac{i}{\eps}

5438: \Psi(x,y,\xi,\eta,q,p,t)\)

5439: &

5440: \\

5441: &

5442: \qquad\qquad

5443: \wh S(\xi)

5444: \wh\phi^*(\eta)

5445: \ckk P_N\(t,q,p,\frac{y-q_t}{\sqrt\eps}\)

5446: .

5447: &

5448: \end{align}

5449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5450: where $\chi_1\in C^\infty_c$ is $\equiv 1$ close to $(0,0)$.

5451: Here, the crucial (complex) phase factor has the value

5452: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5453: \begin{align}

5454: \label{close}

5455: \non

5456: &

5457: \Psi(x,y,\xi,\eta,q,p,t)

5458: =

5459: \int_0^t \(\frac{p_s^2}{2}+n^2(q_s) \) \, ds

5460: -p\cdot\(x-q\)

5461: +p_t\cdot\(y-q_t\)

5462: &

5463: \\

5464: &

5465: \qquad

5466: +x\cdot\xi

5467: -y\cdot\eta

5468: +i\frac{(x-q)^2}{2}

5469: +\frac{\G(t) (y-q_t) \cdot (y-q_t)}{2}

5470: &

5471: \end{align}

5472: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5473: Our goal is now to apply the stationary phase formula

5474: to estimate (\ref{close}).

5475: Obviously, the cutoff in time away from $t=0$ in

5476: (\ref{tobd}) prevents one to use directly the stationary

5477: phase formula close to $t=0$. This is the reason

5478: why times close to $0$ are treated apart in the sequel

5479: (see steps four and five below - see also the outline of proof

5480: given in section \ref{redu}).

5481: 

5482: 

5483: 

5484: 

5485: 

5486: 

5487: 

5488: 

5489: 

5490: 

5491: 

5492: 

5493: 

5494: 

5495: 

5496: 

5497: 

5498: 

5499: 

5500: 

5501: 

5502: 

5503: 

5504: 

5505: 

5506: 

5507: 

5508: 

5509: 

5510: 

5511: 

5512: 

5513: 

5514: \bigskip

5515: 

5516: \noi

5517: {\it {\bf Third Step:}

5518: computing the first and second order derivatives of the phase

5519: $\Psi$}

5520: 

5521: \noi

5522: First, it is an easy exercice, using the symplecticity relations

5523: (\ref{relsym}), to prove that the matrix $\G(t)$ is symmetric

5524: and it has positive imaginary part. The relation

5525: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5526: $$

5527: {\rm Im}\,

5528: \(\G(t) (y-q_t) \cdot (y-q_t)\)

5529: =

5530: \big|

5531: \(A(t)+iB(t)\)^{-1} \, (y-q_t)

5532: \big|^2 ,

5533: $$

5534: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5535: implies indeed

5536: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5537: \beas

5538: %\label{imp}

5539: &&

5540: {\rm Im} \, \Psi

5541: =

5542: |x-q|^2+\big|

5543: \(A(t)+iB(t)\)^{-1} \,(y-q_t)

5544: \big|^2 .

5545: \eeas

5546: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5547: Hence we recover the equivalence

5548: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5549: \bea

5550: &&

5551: \label{im}

5552: {\rm Im}\,\Psi=0 \; \text{ iff } \;

5553: y=q_t \; \text{ and } \; x=q .

5554: \eea

5555: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5556: Second,

5557: using the differential

5558: system (\ref{linf1}), (\ref{linf2}) satisfied by the matrices

5559: $A(t)$, $B(t)$, $C(t)$, and $D(t)$, we prove

5560: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5561: \beas

5562: &&

5563: \nabla_{q,p}

5564: \(

5565: \int_0^t \(\frac{p_s^2}{2}+n^2(q_s) \) \, ds

5566: \)

5567: =

5568: \left(

5569: \begin{array}{c}

5570: A(t)^\tr p_t-p

5571: \\

5572: B(t)^\tr p_t

5573: \end{array}

5574: \right)

5575: .

5576: \eeas

5577: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5578: This gives the value of the gradient of $\Psi$

5579: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5580: \bea

5581: \label{nablapsi}

5582: &&

5583: \non

5584: \nabla_{x,y,\xi,\eta,q,p,t}\Psi(x,y,\xi,\eta,q,p,t)

5585: =

5586: \\

5587: &&

5588: \quad

5589: \left(

5590: \begin{array}{c}

5591: -p+\xi+i(x-q)

5592: \\

5593: p_t-\eta+\G(t)(y-q_t)

5594: \\

5595: x

5596: \\

5597: -y

5598: \\

5599: C(t)^\tr (y-q_t)

5600: + i (q-x)

5601: +A(t)^\tr \G(t) (q_t-y)

5602: \\

5603: -(x-q)

5604: +D(t)^\tr (y-q_t)

5605: +B(t)^\tr \G(t) (q_t-y)

5606: \\

5607: -\disp\frac{p_t^2}{2}+n^2(q_t)

5608: + \nabla n^2(q_t) \cdot (y-q_t)

5609: +  p_t \cdot \G(t) (q_t-y)

5610: \end{array}

5611: \right)

5612: .

5613: \eea

5614: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5615: This computation is done

5616: up to irrelevant $O\( (y-q_t)^2+(x-q)^2 \)$ terms.

5617: 

5618: \medskip

5619: 

5620: \noi

5621: These observations

5622: allow to compute the stationary set, defined as

5623: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5624: \begin{align}

5625: \non

5626: &

5627: M:=

5628: \{(x,y,\xi,\eta,q,p,t) \in \R^{6d}\times ]0,+\infty[

5629: &

5630: \\

5631: &

5632: \qquad

5633: \qquad

5634: \; \text{s.t. } \;

5635: {\rm Im}\,\Psi=0  \; \text{ and } \; \nabla_{x,y,\xi,\eta,q,p}\Psi=0

5636: \} .

5637: &

5638: \end{align}

5639: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5640: Note (see above) that we exclude the original time $t=0$

5641: in the definition of

5642: $M$. In view of (\ref{im}), (\ref{nablapsi}),

5643: the set $M$ has the value

5644: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5645: \bea

5646: \label{crit} 

5647: \non

5648: &&

5649: \non

5650: M=

5651: \left\{

5652: (x,y,\xi,q) \; \text{ s.t. } \;

5653: x=y=q=0

5654: , \;

5655: \xi=p

5656: \right\}

5657: \\

5658: &&

5659: \qquad\qquad

5660: \cap

5661: \;

5662: \left\{

5663: (p,\eta,t) \; \text{ s.t. } \;

5664: \frac{\eta^2}{2}=n^2(0)

5665: , \;

5666: q_t=0 , \; p_t=\eta

5667: \right\}

5668: .

5669: \eea

5670: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5671: Note that the second set reads

5672: also, by definition,

5673: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5674: $$

5675: \left\{

5676: (p,\eta, t) \; \text{ s.t. } \;

5677: \frac{\eta^2}{2}=n^2(0) , \;

5678: X(t,0,p)=0 , \; \Xi(t,0,p)=\eta

5679: \right\} .

5680: $$

5681: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5682: 

5683: 

5684: 

5685: 

5686: 

5687: \medskip

5688: \noi

5689: Last, there remains to compute the Hessian of $\Psi$ at the stationary

5690: points. A simple but tedious computation gives, for any

5691: point $(x,y,\xi,\eta,q,p,t)\in M$, the value

5692: \nopagebreak

5693: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5694: \newcommand{\scr}{\scriptstyle}

5695: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5696: \begin{align*}

5697: \non

5698: &

5699: D^2_{x,y,\xi,\eta,q,p,t}\Psi\,\Big|_{(x,y,\xi,\eta,q,p,t)\in M}

5700: =

5701: \end{align*}

5702: \begin{align*}

5703: \non

5704: &

5705: \left(

5706: \begin{array}{lllllll}%{ccccccc}

5707: %\dx

5708: \scr

5709: i {\rm Id}

5710: &\scr

5711: 0

5712: &\scr

5713: {\rm Id}

5714: &\scr

5715: 0

5716: &\scr

5717: -i {\rm Id}

5718: &\scr

5719: -{\rm Id}

5720: &\scr

5721: 0

5722: \\

5723: %%%%%%%%%%

5724: %\dy

5725: \scr

5726: 0

5727: &\scr

5728: \G_t

5729: &\scr

5730: 0

5731: &\scr

5732: -{\rm Id}

5733: &\scr

5734: C_t

5735: -\G_t A_t

5736: &\scr

5737: D_t-\G_t B_t

5738: &\scr

5739: \nabla n^2(0)

5740: \\

5741: %%%%%%%%%%

5742: %\dy (suite)

5743: \scr

5744: &\scr

5745: &\scr

5746: &\scr

5747: &\scr

5748: &\scr

5749: &\scr

5750: \;\;\;

5751: -\G_t \eta 

5752: \\

5753: %%%%%%%%%%

5754: %\d\xi

5755: \scr

5756: {\rm Id}

5757: &\scr

5758: 0

5759: &\scr

5760: 0

5761: &\scr

5762: 0

5763: &\scr

5764: 0

5765: &\scr

5766: 0

5767: &\scr

5768: 0

5769: \\

5770: %%%%%%%%%%

5771: %\d\eta

5772: \scr

5773: 0

5774: &\scr

5775: -{\rm Id}

5776: &\scr

5777: 0

5778: &\scr

5779: 0

5780: &\scr

5781: 0

5782: &\scr

5783: 0

5784: &\scr

5785: 0

5786: \\

5787: %%%%%%%%%%

5788: %dq

5789: \scr

5790: -i{\rm Id}

5791: &

5792: \scr

5793: C_t^\tr-A_t^\tr \G_t

5794: &\scr

5795: 0

5796: &\scr

5797: 0

5798: &\scr

5799: -C_t^\tr A_t

5800: +i {\rm Id}

5801: &\scr

5802: -C_t^\tr B_t

5803: &\scr

5804: -C_t^\tr \eta

5805: \\

5806: %%%%%%%%%%

5807: %\dq suite

5808: &\scr

5809: &\scr

5810: &\scr

5811: &\scr

5812: \;\; \;\;

5813: +A_t^\tr \G_t A_t

5814: &\scr

5815: \;\; \;

5816: +A_t^\tr \G_t B_t

5817: &\scr

5818: \;\; \;

5819: +A_t^\tr\G_t \eta

5820: \\

5821: %%%%%%%%%%

5822: %\dp

5823: \scr

5824: -{\rm Id}

5825: &\scr

5826: D_t^\tr -B_t^\tr\G_t

5827: &\scr

5828: 0

5829: &\scr

5830: 0

5831: &\scr

5832: {\rm Id}

5833: -D_t^\tr A_t

5834: &\scr

5835: -D_t^\tr B_t

5836: &\scr

5837: -D_t^\tr \eta

5838: \\

5839: %%%%%%%%%%

5840: %\dp (suite)

5841: \scr

5842: &\scr

5843: &\scr

5844: &\scr

5845: &\scr

5846: \;\; \;

5847: +B_t^\tr \G_t

5848: A_t

5849: &\scr

5850: \;\;\;

5851: +B_t^\tr \G_t B_t

5852: &\scr

5853: \;\;\;

5854: +B_t^\tr \G_t \eta

5855: \\

5856: %%%%%%%%%%

5857: %\dt

5858: \scr

5859: 0

5860: &\scr

5861: \nabla n^2(0)^\tr

5862: &\scr

5863: 0

5864: &\scr

5865: 0

5866: &\scr

5867: -\eta^\tr C_t

5868: &\scr

5869: -\eta^\tr D_t

5870: &\scr

5871: -\eta^\tr \nabla n^2(0)

5872: \\

5873: %%%%%%%%%%

5874: %dt (suite)

5875: %%%%%%%%%%

5876: %\dt

5877: \scr

5878: &\scr

5879: \; \; \;

5880: - \eta^\tr \G_t 

5881: &\scr

5882: &\scr

5883: &\scr

5884: \;\; \;

5885: +\eta^\tr \G_t A_t

5886: &\scr

5887: \;\; \;

5888: +\eta^\tr \G_t B_t

5889: &\scr

5890: \;\;\;

5891: +\eta^\tr \G_t \eta

5892: \end{array}

5893: \right).

5894: &

5895: \\

5896: &&

5897: \end{align*}

5898: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5899: Here we wrote systematically $A_t$, $B_t$, etc. instead of

5900: $A(t)$, $B(t)$, etc. The above matrix is symmetric,

5901: due to the relation (\ref{uv}).

5902: The very last computation we need is that

5903: of ${\rm Ker}\, D^2\Psi$ at stationary points. The value

5904: of $D^2 \Psi|_M$ clearly shows that

5905: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5906: \beas

5907: \non

5908: {\rm Ker}\, \(D^2\Psi|_M\)

5909: &=&

5910: \Big\{

5911: (X,Y,\Xi,H,Q,P,T)

5912: \; \text{ s.t. } \; 

5913: X=Y=Q=0 , \; \Xi=P ,

5914: \\

5915: &&

5916: \qquad

5917: -H+(D_t-\G_t B_t) P +T (\nabla n^2(0)-\G_t \eta)=0 ,

5918: \\

5919: &&

5920: \qquad

5921: (-C_t^\tr +A_t^\tr \G_t) B_t P

5922: +T (-C_t^\tr+A_t^\tr \G_t) \eta =0 ,

5923: \\

5924: &&

5925: \qquad

5926: (-D_t^\tr+B_t^\tr \G_t) B_t P

5927: +T (-D_t^\tr+B_t^\tr \G_t)\eta=0 ,

5928: \\

5929: &&

5930: \qquad

5931: \eta^\tr(-D_t+ \G_t B_t)P

5932: +T \eta^\tr

5933: (-\nabla n^2(0)+ \G_t \eta)

5934: =0 \Big\}

5935: .

5936: \eeas

5937: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5938: Hence, using

5939: $D_t^\tr-B_t^\tr \G_t=(A_t+i B_t)^{-1}$, together with

5940: $C_t^\tr-A_t^\tr \G_t=-i(A_t+i B_t)^{-1}$,

5941: and $(A_t+iB_t)^{-1,\tr}+\G_t B_t=D_t$

5942: (see (\ref{uv})), we obtain

5943: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5944: \bea

5945: &&

5946: \non

5947: {\rm Ker}\, \(D^2\Psi|_M\)

5948: =

5949: \Big\{

5950: (X,Y,\Xi,H,Q,P,T)

5951: \; \text{ s.t. } \; 

5952: X=Y=Q=0 , \; \Xi=P ,

5953: \\

5954: &&

5955: \; \text{ and }

5956: \eta^\tr H = 0 , \;

5957: B_t P + T \eta =0 ,

5958: H=D_t P +T \nabla n^2(0)=0

5959: \Big\}

5960: .

5961: \eea

5962: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

5963: 

5964: 

5965: 

5966: 

5967: 

5968: 

5969: 

5970: 

5971: 

5972: 

5973: 

5974: 

5975: 

5976: 

5977: 

5978: 

5979: 

5980: 

5981: 

5982: 

5983: 

5984: 

5985: 

5986: 

5987: 

5988: 

5989: 

5990: 

5991: 

5992: 

5993: 

5994: 

5995: 

5996: 

5997: 

5998: 

5999: 

6000: 

6001: 

6002: 

6003: 

6004: 

6005: 

6006: 

6007: 

6008: 

6009: 

6010: 

6011: 

6012: 

6013: 

6014: 

6015: 

6016: 

6017: 

6018: 

6019: \bigskip

6020: 

6021: \noi

6022: {\it{\bf Fourth Step:}

6023: Application of the stationary phase Theorem

6024: - proof of part (i) of proposition \ref{dur}}

6025: 

6026: \noi

6027: In this step, we formulate the main geometric

6028: assumption on the flow $\Phi(t,x,\xi)$, that allows for the proof

6029: that the contribution in (\ref{tobd}) vanishes asymptotically.

6030: 

6031: \label{HH}

6032: \medskip

6033: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6034: {\centerline

6035: {\bf 

6036: \underline{

6037: (H) Transversality assumption on the flow}

6038: }

6039: }

6040: \medskip

6041: {\it

6042: 

6043: We suppose that the stationary set

6044: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6045: \beas

6046: M=

6047: \left\{

6048: x=y=q=0

6049: , \,

6050: \xi=p

6051: \right\}

6052: \cap

6053: \left\{

6054: \frac{\eta^2}{2}=n^2(0)

6055: , \,

6056: X(t,0,p)=0, \, \Xi(t,0,p)=\eta

6057: \right\}

6058: \eeas

6059: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6060: 

6061: is a {\em smooth submanifold}

6062: of $\R^{6d}\times ]0,+\infty[$, satisfying the additional constraint

6063: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6064: \bea

6065: \label{93}

6066: &&

6067: k:={\rm codim} M>5d+2 .

6068: \eea

6069: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6070: 

6071: We also assume that at each point

6072: $m=(x,y,\xi,\eta,q,p,t)\in M$,

6073: 

6074: the tangent space of $M$ at $m$ is

6075: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6076: \bea

6077: \label{94}

6078: \non

6079: &&

6080: {\rm T}_m M

6081: =

6082: \Big\{

6083: (X,Y,\Xi,H,Q,P,T)

6084: \; \text{ s.t. } \; 

6085: X=Y=Q=0 , \; \Xi=P ,

6086: \\

6087: &&

6088: \;

6089: \text{ and }

6090: \eta^\tr H = 0 , \;

6091: B_t P + T \eta =0 ,

6092: -H+D_t P +T \nabla n^2(0)=0

6093: \Big\}

6094: .

6095: \eea

6096: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6097: 

6098: In other words, we assume that ${\rm T}_m M$ is precisely given by

6099: 

6100: linearizing the equations defining $M$. 

6101: }

6102: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6103: 

6104: \medskip

6105: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6106: \noi

6107: {\bf First Remark}

6108: 

6109: \noi

6110: We show below examples of flows satisfying the above assumption.

6111: It is a natural, and generic, assumption.

6112: Note in particular that the assumption on the codimension

6113: is natural, in that the equations defining $M$ give (roughly)

6114: $4d$ constraints on $(x,y,q,\xi)$, one constraint on $\eta$,

6115: and again $2d$ constraints on the momentum

6116: $p$, the solid angle $\eta/|\eta|$, and time $t$. Hence

6117: one has typically $k=6d+1$.

6118: \qed

6119: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6120: \medskip

6121: 

6122: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6123: \noi

6124: {\bf Second remark}

6125: 

6126: \noi

6127: Equivalently, the above assumption

6128: may be formulated as follows.

6129: The set 

6130: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6131: $$

6132: {\cal M}:=

6133: \{(p,\eta,t) \text{ s.t. } \frac{\eta^2}{2}=n^2(0) , \;

6134: X(t,0,p)=0 , \; \Xi(t,0,p)=\eta\}

6135: $$

6136: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6137: is assumed to be a smooth

6138: submanifold of $\R^{2d+1}$, satisfying the additional constraint

6139: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6140: $

6141: {\rm codim} \, {\cal M}

6142: >

6143: d+2,

6144: $

6145: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6146: and whose tangent space is given by

6147: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6148: $$

6149: \{(P,H,T) \text{ s.t. }

6150: \eta^\tr H=0 , \;

6151: B_t P + T \eta = 0 , \; 

6152: D_t P + T \nabla n^2(0)-H=0\}.

6153: $$

6154: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6155: Note in passing that the conservation of energy allows

6156: to replace the requirement $\eta^2/2=n^2(0)$ by the equivalent

6157: $p^2/2=n^2(0)$ in the definition of ${\cal M}$.

6158: \qed

6159: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6160: \medskip

6161: 

6162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6163: \noi

6164: {\bf Third Remark}

6165: \nopagebreak

6166: 

6167: \noi

6168: Provided $M$ is a smooth submanifold

6169: with tangent space given upon linearizing the constraints, its codimension

6170: anyhow satisfies

6171: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6172: $$

6173: {\rm codim} \, M \geq 5d+2.

6174: $$

6175: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6176: Equivalently, provided ${\cal M}$ is a smooth submanifold with

6177: the natural tangent space, its codimension anyhow satisfies

6178: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6179: $$

6180: {\rm codim}\,{\cal M} \geq d+2.

6181: $$

6182: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6183: As a consequence, the analysis given below (see (\ref{stp}))

6184: establishes that $\<w^\eps,\phi\>$ is uniformly bounded

6185: in $\eps$.

6186: This fact is not known in the literature.

6187: \qed

6188: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6189: 

6190: 

6191: 

6192: 

6193: 

6194: 

6195: 

6196: 

6197: 

6198: 

6199: 

6200: 

6201: \medskip

6202: \noi

6203: Under assumption {\bf (H)}, we are ready to use the stationary phase

6204: Theorem in (\ref{tobd}), at least for large enough times  $t$

6205: (recall that the

6206: very point $t=0$ is excluded from the definition of $M$ above).

6207: Indeed, assumption {\bf (H)} precisely asserts the equality

6208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6209: $$

6210: {\rm T}_m M={\rm Ker}\, \(D^2\Psi|_M\) ,

6211: $$

6212: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6213: so that the Hessian $D^2\Psi|_M$ is non-degenerate on the normal

6214: space $({\rm T}_m M)^\perp$. This is exactly the non-degeneracy

6215: that we need in order to apply the stationnary phase Theorem.

6216: 

6217: To perform the claimed stationary phase argument, we first

6218: take a (small) parameter

6219: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6220: $$

6221: \th >0 .

6222: $$

6223: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6224: We use a cutoff in time $\chi(t/\th)$ with $\chi$

6225: as in (\ref{chi}), and evaluate the contribution

6226: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6227: \begin{align*}

6228: &

6229: \frac{1}{\eps}

6230: \int_{\th}^{\tau}

6231: \wce \, \(1-\chi\(\frac{t}{\th}\)\)

6232: \Big<

6233: \chi_\de\(H_\eps\) S_\eps

6234: ,

6235: U_\eps(-t)

6236: \phi_\eps

6237: \Big>

6238: \; dt

6239: =

6240: O_{\tau,\de}\(\eps^{\infty}\) +

6241: &

6242: \\

6243: \non

6244: &

6245: \quad

6246: \frac{1}{\eps^{(5d+2)/2}}

6247: \int_{\th}^{\tau}

6248: \int_{\R^{6d}}

6249: \wce \, \(1-\chi\(\frac{t}{\th}\)\)\,

6250: \exp\(\frac{i}{\eps}

6251: \Psi(x,y,\xi,\eta,q,p,t)\)

6252: \\

6253: &

6254: \qquad\quad

6255: \wh S(\xi)

6256: \wh\phi^*(\eta)

6257: \ckk P_N\(t,q,p,\frac{y-q_t}{\sqrt\eps}\)

6258: \, dt dx dy d\xi d\eta dq dp

6259: .

6260: &

6261: \end{align*}

6262: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6263: When the point $(x,y,\xi,\eta,q,p,t)$ is far from the stationary

6264: set $M$, the integral is $O(\eps^\infty)$. Close

6265: to the stationary

6266: set $M$, using the fact that the integral carries over a compact support,

6267: we may use

6268: a partition of unity close to $M$, and on each piece

6269: we may use straightened coordinates $(\a,\b)\in\R^{6d+1-k}\times\R^k$

6270: such that

6271: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6272: \begin{align*}

6273: &

6274: (x,y,\xi,\eta,q,p,t)=\g(\a,\b) , \;

6275: \text{ where } \; 

6276: \g \; \text{ is a local diffeomorphism, with }

6277: &

6278: \\

6279: &

6280: \qquad

6281: (x,y,\xi,\eta,q,p,t)\in M \Longleftrightarrow \a=0 .

6282: &

6283: \end{align*}

6284: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6285: Using such coordinates, we recover a finite sum of terms of the form

6286: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6287: \begin{align}

6288: \non

6289: &

6290: \frac{1}{\eps^{(5d+2)/2}}

6291: \int_{\Omega}

6292: dx dy d\xi d\eta dq dp

6293: \,

6294: \exp\(\frac{i}{\eps}

6295: \Psi(x,y,\xi,\eta,q,p,t)\)

6296: \\

6297: \non

6298: &

6299: \quad\quad

6300: \wh S(\xi)

6301: \wh\phi^*(\eta)

6302: P_N\(t,q,p,\frac{y-q_t}{\sqrt\eps}\)

6303: \chi_2(x,y,\xi,\eta,q,p,t)

6304: &

6305: \\

6306: \non

6307: &

6308: =

6309: \frac{1}{\eps^{(5d+2)/2}}

6310: \int_{\Omega'\times\Om''}

6311: d\a\,d\b\,

6312: \exp\(\frac{i}{\eps}

6313: \Psi\circ\g(\a,\b)\)

6314: &

6315: \\

6316: \label{exp1}

6317: &

6318: \qquad\qquad

6319: \(

6320: \wh S(.)

6321: \wh\phi^*(.)

6322: P_N\(.,.,.,\frac{.}{\sqrt\eps}\)

6323: \)\circ\g(\a,\b) \;

6324: \chi_3(\a,\b) ,

6325: &

6326: \end{align}

6327: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6328: where $\Om$, $\Om'$, $\Om''$

6329: are bounded, open subsets, and $\chi_2$, $\chi_3$

6330: are cutoff functions. Thanks to the non-degeneracy of the Hessian

6331: $D^2\Psi$ in the normal direction to $M$, for any $\b$,

6332: we have

6333: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6334: $$

6335: \(

6336: {\rm det}

6337: \frac{D^2 \Psi\circ \g}{D \a^2}

6338: \)(0,\b) \neq 0 .

6339: $$

6340: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6341: Hence,

6342: by the standard stationary phase Theorem,

6343: for any integer $J$, the above integral has the asymptotic expansion

6344: to order $J$

6345: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6346: \begin{align}

6347: \non

6348: &

6349: \hspace{-0.5cm}

6350: \eps^{(k-5d-2)/2}

6351: \int_{\Omega''}

6352: d\b\,

6353: \exp\(\frac{i}{\eps}

6354: \Psi\circ\g(0,\b)\)

6355: \\

6356: &

6357: \label{exp2}

6358: \times

6359: \sum_{j=0}^J

6360: \eps^j\;

6361: Q_{2j}(\d_\a,\d_\b)

6362: \(

6363: \(

6364: \wh S(.)

6365: \wh\phi^*(.)

6366: P_N\(.,.,.,\frac{.}{\sqrt\eps}\)

6367: \)\circ\g \;

6368: \chi_3

6369: \)

6370: (0,\b)

6371: \\

6372: &

6373: \non

6374: \hspace{-0.8cm}

6375: +

6376: \eps^{(k-5d-2)/2}

6377: O\Bigg(

6378: \eps^{J+1}

6379: \mathop{\sup}_{k \leq 2 J +d+3}

6380: \Big\|

6381: \d^k_{(\a,\b)}

6382: \Big(

6383: \wh S(.)

6384: \wh\phi^*(.)

6385: P_N\(.,.,.,\frac{.}{\sqrt\eps}\)

6386: \chi_3

6387: \Big)

6388: \Big\|

6389: \Bigg)

6390: ,

6391: \end{align}

6392: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6393: where the $Q_{2j}$'s are differential operators of order $2j$.

6394: Now, we anyhow have

6395: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6396: \beas

6397: \forall

6398: j \in \N \, \qquad

6399: \eps^j \d_y^{2j} P_N\(.,.,.,\frac{y}{\sqrt\eps}\)=O(1) .

6400: \eeas

6401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6402: On the more, $P_N$ is a {\em polynomial} of degree $\leq 4N$

6403: in its last argument. This implies that

6404: the $\eps^{(k-5d-2)/2}O(\ldots)$ in (\ref{exp2}) has at most the size

6405: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6406: $$

6407: O\(\eps^{J+1+(k-5d-2)/2-2 N}\) .

6408: $$

6409: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6410: Hence, taking $J$ large enough ($J\geq 2 N$ will do),

6411: we eventually obtain in (\ref{exp2}), using

6412: the assumption {\bf (H)} on the codimension $k$ ($k>5d+2$),

6413: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6414: \bea

6415: \label{stp}

6416: &&

6417: \non

6418: \frac{1}{\eps^{(5d+2)/2}}

6419: \int_{\th}^{\tau}

6420: \wce \, \(1-\chi\(\frac{t}{\th}\)\)

6421: \Big<

6422: \chi_\de\(H_\eps\) S_\eps

6423: ,

6424: U_\eps(-t)

6425: \phi_\eps

6426: \Big>

6427: \; dt

6428: \\

6429: &&

6430: \qquad\qquad

6431: =

6432: O_{\th,\tau,\de}\(\eps^{(k-5d-2)/2}\)

6433: \mathop{\longrightarrow}\limits_{\eps\rgt 0} 0

6434: .

6435: \eea

6436: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6437: 

6438: 

6439: 

6440: 

6441: 

6442: 

6443: 

6444: 

6445: 

6446: 

6447: 

6448: 

6449: 

6450: 

6451: 

6452: 

6453: 

6454: 

6455: 

6456: 

6457: 

6458: 

6459: 

6460: 

6461: 

6462: 

6463: 

6464: 

6465: 

6466: 

6467: 

6468: 

6469: 

6470: 

6471: 

6472: 

6473: \bigskip

6474: \noi

6475: {\it{\bf Fifth Step:}

6476: Elimination of times such that  $\T \eps \leq t \leq \th$

6477: - proof of part (ii) of proposition \ref{dur}}

6478: 

6479: \noi

6480: The previous step leaves us with the task of estimating

6481: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6482: \begin{align}

6483: \non

6484: &

6485: \frac{1}{\eps}

6486: \int_{\T \eps}^{2\th}

6487: \wce \, \chi\(\frac{t}{\th}\)

6488: \Big<

6489: \chi_\de\(H_\eps\) S_\eps

6490: ,

6491: U_\eps(-t)

6492: \phi_\eps

6493: \Big>

6494: \; dt

6495: .

6496: \end{align}

6497: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6498: The idea is to now come back

6499: to the semiclassical scale, and write

6500: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6501: \begin{align}

6502: \non

6503: &

6504: \label{cont}

6505: \frac{1}{\eps}

6506: \int_{\T \eps}^{2\th}

6507: \wce \, \chi\(\frac{t}{\th}\)

6508: \Big<

6509: \chi_\de\(H_\eps\) S_\eps

6510: ,

6511: U_\eps(-t)

6512: \phi_\eps

6513: \Big>

6514: \; dt

6515: &

6516: \\

6517: &

6518: \;

6519: =

6520: \int_{\T}^{2\th/\eps}

6521: \chi\(\frac{\eps t}{\th}\)

6522: \Big<

6523: \chi_\de\(H_\eps\) S_\eps

6524: ,

6525: \exp\(-i t \(\eps^2\D+n^2(x)\)\)

6526: \phi_\eps

6527: \Big>

6528: \, dt

6529: \, .

6530: &

6531: \end{align}

6532: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6533: This term is expected to be small, provided $\T$ is large

6534: enough. Indeed, the propagator $\exp\(-i t \(\eps^2\D+n^2(x)\)\)$

6535: acting on $\phi_\eps$

6536: is expected to be close to the free propagator

6537: $\exp\(-i t \(\eps^2\D+n^2(0)\)\)$ on the time-scale we consider.

6538: Hence the propagator should

6539: have size $O(t^{-d/2})$ for large values of time,

6540: and the above time integral

6541: should be $O(\T^{-d/2+1})\rgt 0$ as $\T \rgt \infty$.

6542: 

6543: We give below a quantitative proof of this rough statement, based

6544: on the exact computation of the propagator $\exp\(-i t \(\eps^2\D+n^2(x)\)\)$

6545: obtained in Theo\-rem \ref{Crth}. The proof given below

6546: could easily be replaced by a slightly simpler one, upon

6547: writing the propagator as a Fourier Integral Operator with {\em real} phase.

6548: We do not detail this aspect, since we anyhow had to use in

6549: the previous steps the more precise

6550: expansion of the propagator given by Theorem \ref{Crth}: this theorem

6551: has indeed the great advantage to give a representation

6552: of the propagator that

6553: is valid {\em for all times}.

6554: 

6555: 

6556: From the second step above (see (\ref{tobd})), we know

6557: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6558: \begin{align}

6559: \label{zz}

6560: \non

6561: &

6562: \int_{\T}^{2\th/\eps}

6563: \chi\(\frac{\eps t}{\th}\)

6564: \Big<

6565: \chi_\de\(H_\eps\) S_\eps

6566: ,

6567: \exp\(-i t \(\eps^2\D+n^2(x)\)\)

6568: \phi_\eps

6569: \Big>

6570: \; dt

6571: &

6572: \\

6573: \non

6574: &

6575: =

6576: O_{\tau,\de}\(\eps^\infty\)

6577: +

6578: \int_{\T}^{2\th/\eps}

6579: \chi\(\frac{t}{\th}\)\,

6580: \times

6581: \eps^{-\frac{5d}{2}}

6582: \int_{\R^{6d}}

6583: \exp\(i\Psi(\eps t)/\eps\)

6584: &

6585: \\

6586: &

6587: \;

6588: \wh S(\xi)

6589: \wh\phi^*(\eta)

6590: \ckk P_N\(t,q,p,\frac{y-q_{\eps t}}{\sqrt\eps}\)

6591: \, dx dy d\xi d\eta dq dp

6592: ,

6593: &

6594: \end{align}

6595: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6596: where we drop the dependence of the phase

6597: $\Psi$ in $(x,y,\xi,\eta,q,p)$. To estimate this term,

6598: we now concentrate our attention on the space integral

6599: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6600: \begin{align}

6601: \label{ft}

6602: &

6603: \non

6604: f_\eps(t):=

6605: \eps^{-\frac{5d}{2}}

6606: \int_{\R^{6d}}

6607: \exp\(i\frac{\Psi(\eps t)}{\eps}\)

6608: \;

6609: \wh S(\xi)

6610: \wh\phi^*(\eta)

6611: &

6612: \\

6613: &

6614: \qquad\qquad

6615: \ckk P_N\(t,q,p,\frac{y-q_{\eps t}}{\sqrt\eps}\)

6616: \, dx dy d\xi d\eta dq dp

6617: .

6618: &

6619: \end{align}

6620: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6621: We claim we have the following dispersion estimate,

6622: {\em uniformly in} $\eps$,

6623: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6624: \bea

6625: \label{clai}

6626: \big|

6627: f_\eps(t)

6628: \big|

6629: \leq

6630: C_\th \; t^{-d/2} ,

6631: \; \; 

6632: \text{ for some $C_\th>0$, provided }

6633: \;

6634: \T \leq t \leq 2\th/\eps .

6635: \eea

6636: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6637: Assuming (\ref{clai}) is proved, equation (\ref{zz}) shows that

6638: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6639: \begin{align}

6640: %\non

6641: &

6642: \disp

6643: \frac{1}{\eps}

6644: \Bigg|

6645: \int_{\T \eps}^{2\th}

6646: \wce \, \chi\(\frac{t}{\th}\)

6647: \Big<

6648: \chi_\de\(H_\eps\) S_\eps

6649: ,

6650: U_\eps(-t)

6651: \phi_\eps

6652: \Big>

6653: \, dt

6654: \Bigg|

6655: %\\

6656: %&

6657: %\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad

6658: \leq

6659: C_\th \, \T^{-\frac{d}{2}+1}

6660: \mathop{\longrightarrow}\limits_{\T\rgt \infty}0 \, ,

6661: &

6662: \end{align}

6663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6664: in any dimension $d\geq 3$, which is enough for our purposes.

6665: It is thus sufficient to prove (\ref{clai}).

6666: 

6667: \medskip

6668: 

6669: We have in mind that the integral (\ref{ft})

6670: defining $f_\eps(t)$

6671: should concentrate on the set $x=y=q=0$, $q_t=0$,

6672: $p_t=\eta$, $p=\xi$. Also, the present case should be close

6673: to the ``free'' case where the refraction index $n^2(x)$ has frozen

6674: coefficients at the origin $n^2(x)\approx n^2(0)$.

6675: For that reason, we perform in (\ref{ft})

6676: the changes of variables

6677: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6678: \beas

6679: &&

6680: (x-q)/\sqrt\eps \rgt x , \;

6681: (y-q_{\eps t})/\sqrt\eps \rgt y , \;

6682: q \rgt \sqrt\eps q , \;

6683: \\

6684: &&

6685: \xi \rgt p+\sqrt\eps \xi , \;

6686: \eta \rgt \Xi(\eps t,\sqrt\eps q,p)+\sqrt\eps \eta

6687: .

6688: \eeas

6689: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6690: We also put apart the important phase factors in the

6691: obtained formula. This gives

6692: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6693: \begin{align}

6694: \label{ftt}

6695: %&

6696: f_\eps(t)

6697: =

6698: \int_{\R^{4d}}

6699: dq dp d\eta\,

6700: \exp\Big(

6701: i t \; \wt{\Psi}(p,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)

6702: \Big)

6703: \;

6704: G(q,p,\eta,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta) ,

6705: %&

6706: \end{align}

6707: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6708: up to introducing the phase

6709: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6710: \begin{align*}

6711: &

6712: \wt{\Psi}(p,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)

6713: :=

6714: \frac{1}{\eps t}

6715: \int_0^{\eps t}

6716: \(

6717: \frac{\Xi(s,\sqrt\eps q,p)^2}{2}

6718: +n^2\(X(s,\sqrt\eps q,p)\)

6719: \)

6720: ds

6721: &

6722: \\

6723: \non

6724: &

6725: \qquad

6726: +

6727: \frac{\sqrt\eps p \cdot q

6728: -

6729: \Xi(\eps t,\sqrt\eps q,p)\cdot X(\eps t,\sqrt\eps q,p)

6730: }{\eps t}

6731: &

6732: \\

6733: &

6734: \qquad

6735: +

6736: \sqrt{\eps}\eta

6737: \cdot

6738: \frac{

6739: \sqrt{\eps} q

6740: -

6741: X(\eps t,\sqrt\eps q,p)

6742: }

6743: {\eps t}

6744: \, ,

6745: &

6746: \end{align*}

6747: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6748: together with the  amplitude ($C^\infty$, and compactly supported in $p$,

6749: $\sqrt{\eps}q$)

6750: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6751: \begin{align}

6752: \label{bigg}

6753: \non

6754: &

6755: G(q,p,\eta,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)

6756: :=

6757: \int_{\R^{3d}}

6758: dx dy d\xi\,

6759: \exp\(i\xi\cdot(q+x)-i \eta\cdot (y+q)\)

6760: &

6761: \\

6762: \non

6763: &

6764: \qquad

6765: \exp\(

6766: -\frac{x^2}{2}

6767: +i\frac{\G(\eps t,\sqrt\eps q,p) y \cdot y}{2}

6768: \)

6769: &

6770: \\

6771: \non

6772: &

6773: \qquad

6774: \wh S(p+\sqrt\eps\xi)

6775: \wh\phi^*(\Xi(\eps t,\sqrt\eps q,p)+\sqrt\eps\eta)

6776: \chi_0\(\sqrt{\eps}q,p\)

6777: \\

6778: &

6779: \qquad

6780: \chi_1(\sqrt{\eps}(q+x),X(\eps t,\sqrt\eps q,p)+\sqrt\eps y)

6781: \;

6782: P_N\(t,\sqrt\eps q,p,y\)

6783: .

6784: &

6785: \end{align}

6786: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6787: Now, the  idea is to use the stationary phase formula in the $p$

6788: variable in (\ref{ftt}),

6789: where $t$ plays the role of the large parameter.

6790: We wish indeed to recognize in (\ref{ftt}) a formula of the form

6791: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6792: $$

6793: \int dp \, \exp\(-it\frac{p^2}{2}\) \times \text{smooth}(p)

6794: ,

6795: $$

6796: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6797: to recover the claimed decaying factor $t^{-d/2}$ in (\ref{clai}).

6798: In other words, we wish to get the same dispersive properties as for the

6799: free Schr\"odinger equation.

6800: This is very much reminiscent of the dispersive effects proved

6801: for {\em small times} in \cite{Dsf} for wave equations with variable

6802: coefficients, and relies on the fact that ${\wt \Psi}\approx -p^2/2$ as

6803: $\eps t \leq \th$ is small enough.

6804: 

6805: 

6806: In order to do so,

6807: we need to get further informations both on the phase

6808: $\wt\Psi$ and the amplitude $G$.

6809: 

6810: Firstly,

6811: the smooth amplitude

6812: $G$ is defined in (\ref{bigg}). It clearly is compactly supported

6813: in $p$ and $\sqrt{\eps} q$.

6814: Also, the gaussian $\exp(-x^2/2+i\G(\eps t,\sqrt{\eps}q,p) y \cdot y/2)$

6815: belongs to the Schwartz space ${\cal S}\(\R^{2d}\)$ in the variables

6816: $x$ and $y$ (recall indeed that ${\rm Im}\, \G(\eps t)>0$,

6817: and $\eps t$ belongs to a compact set),

6818: uniformly in the compactly supported parameters

6819: $\eps t$, $\sqrt{\eps}q$, and $p$.

6820: From this it follows that the amplitude

6821: $G(q,p,\eta,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)$

6822: belongs to the Schwartz space

6823: ${\cal S}\(\R^{2d}\)$ in the first and third

6824: variables $q$ and $\eta$, it is $C^\infty_c(\R^d)$

6825: in the second variable $p$,

6826: and these informations are uniform with

6827: respect to the compactly supported

6828: parameters $\eps t$, $\sqrt{\eps} q$, together with the

6829: (non-compact) parameter $\sqrt{\eps}\eta$.

6830: 

6831: Secondly,

6832: the smooth phase $\wt\Psi$

6833: depends upon the small parameter $\eps t \in [0,2\th]$,

6834: together with the two position/velocity variables

6835: $\sqrt{\eps}q$ and $p$. All of them belong to a compact set.

6836: It also depends upon the variable $\sqrt{\eps}\eta$, which is not

6837: in a compact set.

6838: On the more,

6839: we have the easy first order expansion in the (small) parameter

6840: $\eps t\leq 2 \th$,

6841: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6842: \begin{align*}

6843: &

6844: \wt{\Psi}(p,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)

6845: =

6846: \\

6847: &

6848: \qquad

6849: -\frac{p^2}{2}+n^2(\sqrt{\eps}q)

6850: -\sqrt{\eps} q \cdot \nabla_x n^2\(\sqrt{\eps}q\)

6851: -\sqrt{\eps}\eta\cdot (p+O(\th))

6852: +

6853: O\(\th^2\)

6854: .

6855: \end{align*}

6856: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6857: Here the remainder terms $O(\th)$, $O(\th^2)$, only depend upon

6858: the compactly supported

6859: parameters $\eps t\leq 2 \th$ and $p$, $\sqrt{\eps} q$ (they do not depend

6860: upon $\sqrt{\eps} \eta$), and they are uniform with respect to these variables.

6861: Hence, the stationary points of the phase (in the $p$ variable)

6862: are given by

6863: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6864: \begin{align}

6865: \label{stpt}

6866: &&

6867: -p-\sqrt{\eps}\eta (1+O(\th))

6868: +

6869: O\(\th^2\)=0 .

6870: \end{align}

6871: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6872: Finally, there remains to observe

6873: that the Hessian of the phase in $p$ is

6874: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6875: \begin{align}

6876: \label{hesspsi}

6877: &&

6878: \frac{D^2 \wt\Psi}{D p^2}

6879: =

6880: -{\rm Id}+O(\th) .

6881: \end{align}

6882: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6883: 

6884: Upon taking $\th$ small enough, all these informations allow us to

6885: make use of

6886: the standard stationary phase estimate in $p$.

6887: More precisely, we write,

6888: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6889: \begin{align}

6890: \label{fepsrev}

6891: \non

6892: &

6893: f_\eps(t)

6894: =

6895: \int_{\R^{2d}}

6896: \frac{dq d\eta}{\<q\>^{2d} \, \<\eta\>^{2d}}

6897: \int_{\R^d} dp \,

6898: \exp\(i \; t \; {\wt \Psi}(p,\eps t, \sqrt{\eps} q, \sqrt{\eps}\eta)\)

6899: \\

6900: &

6901: \qquad\qquad\qquad

6902: \<q\>^{2d} \, \<\eta\>^{2d}

6903: \,

6904: G(q,p,\eta,\eps t,\sqrt{\eps}q,\sqrt{\eps}\eta)

6905: .

6906: \end{align}

6907: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6908: For each given values of $q$ and $\eta$,

6909: we analyze the integral over $p$ in 

6910: (\ref{fepsrev}). If $\sqrt{\eps} \eta$ is outside some compact

6911: set around the support

6912: of $G$ in $p$,

6913: integrations by parts in

6914: $p$ together with the information (\ref{stpt}), allow to prove

6915: that the integral over $p$

6916: in (\ref{fepsrev})

6917: is bounded, for any integer $N$, by $C_{N, \th} t^{-N}$ for some

6918: $C_{N, \th}>0$ independent of

6919: $q$ and $\eta$. Hence the corresponding contribution to $f_\eps$

6920: is bounded by

6921: $C_{N, \th} t^{-N}$ as well.

6922: Now, for $\sqrt{\eps}\eta$ in some compact set around the support

6923: of $G$ in $p$,

6924: we may use the information

6925: (\ref{hesspsi}): this, together with the stationary phase Theorem with

6926: the parameters

6927: $\eps t$, $\sqrt{\eps} q$, $\sqrt{\eps} \eta$ in a compact set,

6928: establishes that the 

6929: integral over $p$ in (\ref{fepsrev}) is bounded by $C_\th t^{-d/2}$

6930: for some $C_\th>0$, and

6931: $C_\th$ turns out to be independent of

6932: $q$ and $\eta$. Hence the corresponding contribuition to $f_\eps$

6933: in (\ref{fepsrev}) is bounded

6934: by $C t^{-d/2}$ as well.

6935: 

6936: 

6937: All this gives the claimed estimate

6938: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6939: \begin{align*}

6940: &&

6941: |f_\eps(t)|

6942: \leq C_\th t^{-d/2} .

6943: \end{align*}

6944: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

6945: The proof of proposition \ref{dur} is complete.

6946: 

6947: 

6948: 

6949: 

6950: 

6951: 

6952: 

6953: 

6954: 

6955: 

6956: 

6957: 

6958: 

6959: 

6960: 

6961: 

6962: 

6963: 

6964: 

6965: 

6966: 

6967: 

6968: 

6969: 

6970: 

6971: 

6972: 

6973: 

6974: 

6975: 

6976: 

6977: 

6978: 

6979: 

6980: 

6981: 

6982: 

6983: 

6984: 

6985: 

6986: 

6987: 

6988: 

6989: 

6990: 

6991: 

6992: 

6993: 

6994: 

6995: 

6996: 

6997: 

6998: 

6999: 

7000: 

7001: 

7002: 

7003: 

7004: 

7005: 

7006: 

7007: 

7008: 

7009: 

7010: 

7011: 

7012: 

7013: 

7014: 

7015: 

7016: 

7017: 

7018: 

7019: 

7020: 

7021: 

7022: 

7023: 

7024: 

7025: 

7026: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7027: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7028: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7029: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7030: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7031: 

7032: \section{Conclusion: Proof of the main Theorem}

7033: \label{ccl}

7034: 

7035: \setcounter{equation}{0}

7036: 

7037: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7038: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7039: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7040: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7041: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7042: 

7043: 

7044: 

7045: We want to prove

7046: the convergence

7047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7048: $$

7049: \<w^\eps,\phi\> \longrightarrow \<w^{\rm out},\phi\> ,

7050: $$

7051: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7052: when the source $S$ and the test function $\phi$ are Schwartz class.

7053: Therefore, one needs to prove

7054: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7055: \begin{align*}

7056: &&

7057: \frac{i}{\eps}

7058: \int_0^{+\infty}

7059: \e^{-\a_\eps t} \;

7060: \<

7061: U_\eps(t)

7062: S_\eps

7063: ,

7064: \phi_\eps

7065: \>

7066: \; dt

7067: \rgt

7068: \<w^{\rm out},\phi\> \; \text{ as } \eps \rgt 0 .

7069: \end{align*}

7070: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7071: Proposition \ref{ouane}

7072: asserts

7073: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7074: \begin{align*}

7075: &

7076: \frac{i}{\eps}

7077: \int_0^{2 \T \eps}

7078: \chi\(\frac{t}{\T \eps}\)

7079: \

7080: \e^{-\a_\eps t} \,

7081: \<

7082: U_\eps(t)

7083: S_\eps

7084: ,

7085: \phi_\eps\>

7086: \, dt =

7087: \<w^{\rm out},\phi\>

7088: &

7089: \\

7090: &

7091: \qquad\qquad\qquad\qquad\qquad

7092: +O_{\T}(\eps^0)+O\(\frac{1}{T_0^{d/2-1}}\) ,

7093: &

7094: \end{align*}

7095: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7096: where the notation $O(\eps^0)$ denotes a term going to zero with $\eps$,

7097: and $O_{\T}(\eps^0)$ emphasizes the fact that the convergence depends

7098: a priori on the value of

7099: $\T$.

7100: 

7101: \noi

7102: On the other hand

7103: Proposition \ref{2} asserts

7104: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7105: \beas

7106: &&

7107: \frac{1}{\eps}

7108: \int_{\T \eps}^{+\infty}

7109: \(1-\chi\)\(\frac{t}{\T \eps}\)

7110: \;

7111: \e^{-\a_\eps t} \;

7112: \Big<

7113: U_\eps(t)

7114: \(1-\chi_\de\)\(H_\eps\) S_\eps

7115: ,

7116: \phi_\eps\Big>

7117: \; dt

7118: \\

7119: &&

7120: \qquad\qquad\qquad\qquad

7121: = O\(\frac{1}{\T}\)+O(\eps^0) .

7122: \eeas

7123: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7124: Now, for very large times and almost zero energies,

7125: Proposition \ref{wawang} shows, for $\de$ small enough, and any $\k$,

7126: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7127: \beas

7128: &&

7129: \frac{1}{\eps}

7130: \int_{\eps^{-\k}}^{+\infty}

7131: \e^{-\a_\eps t} \;

7132: \Big<

7133: U_\eps(t)

7134: \chi_\de\(H_\eps\) S_\eps

7135: ,

7136: \phi_\eps

7137: \Big>

7138: \; dt =O_{\k,\de}(\eps) .

7139: \eeas

7140: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7141: As for large times and almost zero energies, Proposition \ref{brob}

7142: shows that, for $\de$ small enough,

7143: $\k$ small enough, and $\tau$ large enough,

7144: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7145: \beas

7146: &&

7147: \frac{1}{\eps}

7148: \int_{\tau}^{\eps^{-\k}}

7149: \e^{-\a_\eps t} \;

7150: \Big<

7151: U_\eps(t)

7152: \chi_\de\(H_\eps\) S_\eps

7153: ,

7154: \phi_\eps

7155: \Big>

7156: \; dt = O_{\k,\de}(\eps)

7157: \eeas

7158: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7159: Finally, for moderate times and almost zero energies, one has

7160: the following two informations. First, for $\th$ small enough, and uniformly

7161: in $\eps$, we have

7162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7163: \beas

7164: &&

7165: \frac{1}{\eps}

7166: \int_{\T \eps}^{2\th}

7167: \(1-\chi\)\(\frac{t}{\T \eps}\)

7168: \chi\(\frac{t}{\th}\) \;

7169: \e^{-\a_\eps t} \;

7170: \Big<

7171: U_\eps(t)

7172: \chi_\de\(H_\eps\) S_\eps

7173: ,

7174: \phi_\eps

7175: \Big>

7176: \; dt

7177: \\

7178: &&

7179: \qquad\qquad\qquad\qquad

7180: =O_\th\(\frac{1}{\T^{d/2-1}}\) .

7181: \eeas

7182: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7183: Second, for any fixed value of $\th>0$, and $\tau$,

7184: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7185: \beas

7186: &&

7187: \frac{1}{\eps}

7188: \int_{\th}^{\tau}

7189: \(1-\chi\)\(\frac{t}{\T \eps}\)

7190: \;

7191: \e^{-\a_\eps t} \;

7192: \Big<

7193: U_\eps(t)

7194: \chi_\de\(H_\eps\) S_\eps

7195: ,

7196: \phi_\eps

7197: \Big>

7198: \; dt

7199: \\

7200: &&

7201: \qquad\qquad\qquad

7202: =

7203: O_{\th,\tau,\de}\(\eps^0\) .

7204: \eeas

7205: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7206: All these informations show our main Theorem, upon conveniently

7207: choosing the cutoff parameters

7208: $\th$, $\T$, $\tau$ (in time), $\de$ (in energy), and the exponent

7209: $\k$ (in time).

7210: This ends our proof.

7211: 

7212: 

7213: 

7214: 

7215: 

7216: 

7217: 

7218: 

7219: 

7220: 

7221: 

7222: 

7223: 

7224: 

7225: 

7226: 

7227: 

7228: 

7229: 

7230: 

7231: 

7232: 

7233: 

7234: 

7235: 

7236: 

7237: 

7238: 

7239: 

7240: 

7241: 

7242: 

7243: 

7244: 

7245: 

7246: 

7247: 

7248: 

7249: 

7250: 

7251: 

7252: 

7253: 

7254: 

7255: 

7256: 

7257: 

7258: 

7259: 

7260: 

7261: 

7262: 

7263: 

7264: 

7265: 

7266: 

7267: 

7268: 

7269: 

7270: 

7271: 

7272: 

7273: 

7274: 

7275: 

7276: 

7277: 

7278: 

7279: 

7280: 

7281: 

7282: 

7283: 

7284: 

7285: 

7286: 

7287: 

7288: 

7289: 

7290: 

7291: 

7292: 

7293: 

7294: 

7295: 

7296: 

7297: 

7298: 

7299: 

7300: 

7301: 

7302: 

7303: 

7304: 

7305: 

7306: 

7307: 

7308: 

7309: 

7310: 

7311: 

7312: 

7313: 

7314: 

7315: 

7316: 

7317: 

7318: 

7319: 

7320: 

7321: 

7322: 

7323: 

7324: 

7325: 

7326: 

7327: 

7328: 

7329: 

7330: 

7331: 

7332: 

7333: 

7334: 

7335: 

7336: 

7337: 

7338: 

7339: 

7340: 

7341: 

7342: 

7343: 

7344: 

7345: 

7346: 

7347: 

7348: 

7349: 

7350: 

7351: 

7352: 

7353: 

7354: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7355: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7356: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7357: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7358: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7359: 

7360: \section{Examples and counterexamples}

7361: \label{expl}

7362: 

7363: \setcounter{equation}{0}

7364: 

7365: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7366: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7367: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7368: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7369: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7370: 

7371: 

7372: 

7373: 

7374: 

7375: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7376: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7377: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7378: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7379: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7380: 

7381: \subsection{The harmonic oscillator}

7382: 

7383: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7384: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7385: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7388: 

7389: 

7390: Given an appropriate potential $V(x)$, and

7391: defining the semi-classical Schr\"odinger operator

7392: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7393: $$

7394: H_\eps=-\frac{\eps^2}{2} \D_x+V(x) ,

7395: $$

7396: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7397: our main Theorem proves

7398: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7399: \bea

7400: \label{cc}

7401: \non

7402: &&

7403: \frac{1}{\eps}

7404: \int_0^{+\infty}

7405: \e^{-\a_\eps t}

7406: \Bigg\<

7407: \exp\( -i \frac{t}{\eps} H_\eps \)

7408: S_\eps

7409: ,

7410: \phi_\eps

7411: \Bigg\> \, dt

7412: \mathop{\longrightarrow}\limits_{\eps\rgt 0}

7413: \\

7414: &&

7415: \qquad\qquad

7416: \int_0^{+\infty}

7417: \Big\<

7418: \exp\( -i t \[-\D_x/2+V(0)\] \)

7419: S

7420: ,

7421: \phi

7422: \Big\>

7423: \, dt

7424: .

7425: \eea

7426: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

7427: Though we used in many places that our analysis requires

7428: a potential of the form

7429: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7430: $$

7431: V(x)=

7432: -n^2(x)=-n_\infty^2+O(\<x\>^{-\rho}) ,

7433: $$

7434: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7435: it seems interesting to investigate the validity of (\ref{cc})

7436: when the potential is harmonic

7437: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7438: \begin{align}

7439: &&

7440: V(x)=V(0)+\mathop{\sum}_{j=1}^d

7441: \frac{\om_j^2}{2} x_j^2 ,

7442: \end{align}

7443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7444: for some frequencies $\om_j \in \R$, and a given value $V(0)<0$.

7445: Such a potential

7446: does not enter our analysis since it is confining.

7447: However, it is easily proved that for {\em pairwise

7448: rationally independent} values of

7449: the frequencies $\om_j$, the

7450: transversality assumption {\bf (H)} page \pageref{HH} 

7451: is true for this potential,

7452: whereas in the extreme case where all $\om_j$'s are equal, this assumption

7453: fails.

7454: On the other hand,

7455: one may use the Mehler formula \cite{Ho} (see \cite{C}

7456: for a use of these formulae in the nonlinear context)

7457: to compute the propagator

7458: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7459: \begin{align}

7460: \label{mehler}

7461: &

7462: \exp\(-i \frac{t}{\eps}\[-\eps^2 \D_x/2 + \sum_{j=1}^d \om_j^2 x_j^2/2 \]\)

7463: =&

7464: \\

7465: &

7466: \nonumber

7467: \mathop{\prod}_{j=1}^d

7468: \(

7469: \frac{\om_j}{2 i \pi \eps \sin(\om_j t)}

7470: \)^{1/2}

7471: \exp\(\frac{i \om_j}{2 \eps \sin(\om_j t)}

7472: \[(x_j^2+y_j^2)\cos(\om_j t)-2 x_j y_j\]\)

7473: &

7474: \end{align}

7475: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7476: (Here we identified the propagator and its integral kernel).

7477: 

7478: Surprinsingly enough, using the Mehler formula to compute the limit

7479: on the left-hand-side of (\ref{cc}), we may prove that for

7480: {\em rationally independent} $\om_j$'s, the convergence result (\ref{cc})

7481: is {\em locally true} in this case, for dimensions

7482: $d\geq 4$, i.e (\ref{cc}) is true with the upper bounded $+\infty$ replaced 

7483: by $T$, for any value of $T>0$.

7484: 

7485: We do not give the easy computations leading to this result.

7486: The idea is the following: at each time $k\pi/\om_j$ ($k\in \Z$),

7487: the trajectory of the harmonic oscillator shows periodicity

7488: in the direction $j$. However, due to rational independence, at times

7489: $k\pi/\om_j$, the trajectory does not show periodicity in any of the

7490: $d-1$ other directions. Hence one gets enough local dispersion from

7491: these directions to show that the corresponding contribution

7492: to the time integral on the left-hand-side of (\ref{cc}) is roughly

7493: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7494: $$

7495: O\(

7496: \int_{(-1+k\pi/\om_j)/\eps}^{(1+k\pi/\om_j)/\eps}

7497: t^{-(d-1)/2}\, dt

7498: \)

7499: =

7500: O\(

7501: \eps^{(d-1)/2-1}

7502: \)

7503: \rgt 0 ,

7504: $$

7505: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7506: as long as $d-1>2$, i.e. $d\geq 4$.

7507: 

7508: 

7509: 

7510: 

7511: 

7512: 

7513: 

7514: Needless to say, in the extreme case where all $\om_j$'s are equal,

7515: the result in (\ref{cc}) is {\em false}, even locally:

7516: in this case, periodicity creates

7517: a disastrous accumulation of energy at the origin ({\em all}

7518: rays periodically hit the origin at times $k \pi/\om$, $k\in \Z$).

7519: 

7520: 

7521: 

7522: To our mind, this simple example indicates that our main Theorem

7523: probably holds true for less stringent assumptions on the refraction index.

7524: For instance, a uniform (in time) version of our transversality assumption

7525: is probably enough to get the result (without assuming neither

7526: decay at infinity of the refraction index,

7527: nor assuming the non-trapping condition).

7528: 

7529: 

7530: 

7531: 

7532: 

7533: 

7534: 

7535: 

7536: 

7537: 

7538: 

7539: 

7540: 

7541: 

7542: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7543: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7544: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7545: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7546: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7547: 

7548: 

7549: \subsection{Examples of flows satisfying the transversality condition}

7550: 

7551: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7552: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7553: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7554: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7555: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7556: 

7557: We already observed that the harmonic oscillator with rationally independent

7558: frequencies does satisfy the transversality assumption

7559: {\bf (H)}. One actually has the value

7560: $k=6d+1$ (see (\ref{93})) of the codimension in that case.

7561: 

7562: 

7563: It is also easily verified

7564: that the flow of a particle in a constant electric field,

7565: i.e. the case of a potential

7566: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7567: $$

7568: V(x)=x_1 ,

7569: $$

7570: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7571: does satisfy {\bf (H)} as well, with $k=6d+1$.

7572: 

7573: Coupling the two flows, it is also verified that the potential

7574: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7575: $$

7576: V(x)=x_1+\sum_{j=1}^d \om_j^2 x_j^2/2 ,

7577: $$

7578: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

7579: does satisfy {\bf (H)} as well, with $k=6d+1$.

7580: 

7581: Clearly, these examples are satisfactory, in that we may assume that

7582: the potential has the above mentioned values {\em close} to the origin,

7583: and we may truncate outside some neighbourhood of the origin so as to build

7584: up a potential that satisfies the global assumptions we met in our main

7585: Theorem.

7586: 

7587: 

7588: 

7589: 

7590: \bigskip

7591: 

7592: \noi

7593: {\bf Acknowledgements:}

7594: 

7595: {\small

7596: \noi

7597: The author wishes to thank B. Perthame and F. Nier for numerous

7598: discussions on the subject. Also, he wishes to thank D. Robert for

7599: his help concerning the wave-packet approach, and for giving him

7600: the written notes \cite{Ro2}, as well as X.P. Wang for discussions and for

7601: pointing out reference \cite{Wa}. Finally, he wishes to thank

7602: R. Carles for a careful

7603: reading of a first version of this manuscript.

7604: 

7605: This work has been partially supported by the ``ACI Jeunes Chercheurs -

7606: M\'ethodes

7607: haute fr\'equence pour les Equations diff\'erentielles ordinaires,

7608: et aux d\'eriv\'ees partielles. Applications'',

7609: by the GDR ``Amplitude Equations and 

7610: Qualitative Properties'' (GDR CNRS 2103 : EAPQ) and the European Program 

7611: 'Improving the Human Potential' in the framework of the 'HYKE' network

7612: HPRN-CT-2002-00282.

7613: }

7614: 

7615: 

7616: 

7617: 

7618: 

7619: 

7620: 

7621: 

7622: 

7623: 

7624: 

7625: 

7626: 

7627: 

7628: 

7629: 

7630: 

7631: 

7632: 

7633: 

7634: 

7635: 

7636: 

7637: 

7638: 

7639: 

7640: 

7641: 

7642: 

7643: 

7644: 

7645: 

7646: 

7647: 

7648: 

7649: 

7650: 

7651: 

7652: 

7653: 

7654: 

7655: 

7656: 

7657: \begin{thebibliography}{99}

7658: %\selectlanguage{english}

7659: \bibliographystyle{alpha}

7660: 

7661: 

7662: 

7663: \bibitem[Ag]{Ag}

7664: S. Agmon, {\it Spectral properties of Schr\"odinger

7665: operators and scattering theory}, Ann. Scuola Norm. Sup. Pisa, Vol. 2,

7666: N. 4, pp. 151-218 (1975).

7667:  

7668: \bibitem[AH]{AH}

7669: S. Agmon, L. H{\"o}rmander,

7670: {\it Asymptotic properties

7671: of solutions of differential equations with simple characteristics},

7672: J. Anal. Math. Vol. 30, pp. 1-37 (1976).

7673: 

7674: \bibitem[BCKP]{BCKP}

7675: J.D. Benamou, F. Castella,

7676: Th. Katsaounis, B. Perthame,

7677: {\it

7678: High frequency limit in the Helmholtz

7679: equation},

7680: Rev. Mat. Iberoamericana, Vol. 18, N. 1, pp. 187-209 (2002),

7681: and,

7682: S\'eminaire E.D.P., \'Ecole Polytechnique,

7683: expos\'e N. V, 27 pp., 1999-2000.

7684: 

7685: 

7686: \bibitem[BR]{BR}

7687: A. Bouzouina, D. Robert,

7688: {\it

7689: Uniform semiclassical estimates for the propagation of quantum observables},

7690: Duke Math. J., Vol. 111, no. 2, pp. 223-252 (2002).

7691: 

7692: \bibitem[Bu]{Bu}

7693: N. Burq,

7694: {\it

7695: Semi-classical estimates for the resolvent in nontrapping geometries},

7696: Int. Math. Res. Not., no. 5, pp. 221-241 (2002).

7697: 

7698: \bibitem[Bt]{Bt}

7699: J. Butler,

7700: {\it Global H Fourier Integral operators with complex valued phase functions},

7701: preprint Bologna (2001).

7702: 

7703: \bibitem[C]{C}

7704: R. Carles,

7705: {\it

7706: Remarks on nonlinear Schrödinger equations

7707: with harmonic potential},

7708: Ann. Henri Poincar\'e, Vol. 3, N. 4, pp 757-772 (2002).

7709:  

7710: \bibitem[CPR]{CPR}

7711: F. Castella, B. Perthame, O. Runborg,

7712: {\it High frequency limit of the Helmholtz equation II:

7713: source on a general smooth manifold},

7714: Comm. P.D.E., Vol. 27, N. 3-4, pp. 607-651 (2002).

7715: 

7716: \bibitem[CRu]{CR}

7717: F. Castella, O. Runborg,

7718: In preparation.

7719: 

7720: \bibitem[CRo]{CRo}

7721: M. Combescure, D. Robert,

7722: {\it

7723: Semiclassical spreading of quantum wave packets

7724: and applications near unstable fixed points of the classical flow},

7725: Asymptot. Anal., Vol. 14, no. 4, pp. 377-404 (1997). 

7726: 

7727: \bibitem[CRR]{CRR}

7728: M. Combescure, J. Ralston, D. Robert,

7729: {\it

7730: A proof of the Gutzwiller semiclassical trace formula using

7731: coherent states decomposition},

7732: Comm. Math. Phys., Vol.  202, no. 2, pp. 463-480 (1999). 

7733: 

7734: 

7735: \bibitem[DG]{DG}

7736: J. Derezi\'nski,

7737: C. G\'erard,

7738: {\bf

7739: Scattering theory of classical and quantum $N$-particle systems},

7740: Texts and Monographs in Physics, Springer-Verlag, Berlin (1997).

7741: 

7742: \bibitem[DS]{DS}

7743: M. Dimassi, J. Sj\"ostrand,

7744: {\bf

7745: Spectral Asymptotics in the Semiclassical Limit},

7746: London Math. Soc. Lecture Notes series 268, Cambridge Universuty Press

7747: (1999).

7748: 

7749: 

7750: \bibitem[Dsf]{Dsf}

7751: D. Dos Santos Ferreira,

7752: {\it In\'egalit\'es de Carleman $L^p$

7753: pour des indices critiques},

7754: Thesis, Universit\'e de Rennes 1 (2002).

7755: 

7756: \bibitem[Fo]{Fo}

7757: G.B. Folland,

7758: {\bf

7759: Harmonic analysis in phase space}, Annals of Mathematics Studies, Vol. 122.

7760: Princeton University Press, Princeton, NJ (1989).

7761: 

7762: \bibitem[Fou]{Fou}

7763: E. Fouassier,

7764: Thesis, University Rennes 1, in preparation.

7765: 

7766: \bibitem[GM]{GM}

7767: C. G\'erard, A. Martinez,

7768: {\it

7769: Principe d'absorption limite pour des op\'erateurs de Schr\"odinger

7770: \`a longue port\'ee},

7771: C. R. Acad. Sci. Paris S\'er. I Math., Vol. 306, no. 3, pp. 121-123 (1988).

7772: 

7773: \bibitem[HJ]{HJ}

7774: G.A. Hagedorn, A. Joye,

7775: {\it

7776: Semiclassical dynamics with exponentially small error estimates},

7777: Comm. Math. Phys., Vol. 207, pp. 439-465 (1999).

7778: 

7779: \bibitem[H1]{H1}

7780: G.A. Hagedorn,

7781: {\it

7782: Semiclassical quantum mechanics III},

7783: Ann. Phys., Vol. 135, pp. 58-70 (1981).

7784: 

7785: \bibitem[H2]{H2}

7786: G.A. Hagedorn,

7787: {\it

7788: Semiclassical quantum mechanics IV},

7789: Ann. IHP, Vol. 42, pp. 363-374 (1985).

7790: 

7791: \bibitem[HR]{HR}

7792: B. Helffer, D. Robert,

7793: {\it Caclcul fonctionnel par la transformation de Mellin et

7794: op\'erateurs admissibles},

7795: J. Funct. Anal., Vol. 53, N. 3, pp. 246-268 (1983).

7796: 

7797: \bibitem[He]{He}

7798: K. Hepp,

7799: {\it

7800: The classical limit of quantum mechanical correlation functions},

7801: Comm. Math. Phys., Vol. 35, pp. 265-277 (1974).

7802: 

7803: \bibitem[Ho]{Ho}

7804: L. H\"ormander,

7805: {\it

7806: Symplectic classification of quadratic forms, and general Mehler formulas},

7807: Math. Z. Vol. 219, N. 3, pp. 413-449 (1995).

7808:  

7809: \bibitem[J]{J}

7810: T. Jecko,

7811: {\it

7812: From classical to semi-classical non-trapping behaviour:

7813: a new proof},

7814: Preprint University of Rennes 1 (2002).

7815: 

7816: \bibitem[Ma]{Ma}

7817: A. Martinez,

7818: {\bf An introduction to Semicassical and Microlocal Analysis},

7819: Universitext, Springer-Verlag, New York (2002).

7820: 

7821: \bibitem[PV1]{PV1}

7822: B. Perthame, L. Vega,

7823: {\it

7824: Morrey-Campanato estimates for Helmholtz Equation},

7825: J. Funct. Anal., Vol. 164, N. 2, pp. 340-355 (1999).

7826: 

7827: \bibitem[PV2]{PV2}

7828: B. Perthame, L. Vega,

7829: {\it Sommerfeld radiation condition for Helmholtz equation

7830: with variable index at infinity}, Preprint (2002).

7831: 

7832: 

7833: \bibitem[Ro]{Ro}

7834: D. Robert,

7835: {\it

7836: Remarks on asymptotic solutions for time dependent Schr\"o\-din\-ger

7837: equations},

7838: to appear.

7839: 

7840: \bibitem[Ro2]{Ro2}

7841: D. Robert, 

7842: notes on lectures given at the University of Nantes (1999-2000).

7843: 

7844: \bibitem[Rb]{Rb}

7845: S. Robinson,

7846: {\it

7847: Semiclassical mechanics for time-dependent Wigner functions},

7848: J. Math. Phys., Vol. 34, pp. 2150-2205 (1993).

7849: 

7850: \bibitem[Wa]{Wa}

7851: X.P. Wang,

7852: {\it

7853: Time decay of scattering solutions and resolvent estimates

7854: for Semiclassical Schr\"odinger operators},

7855: J. Diff. Eq., Vol. 71, pp. 348-395 (1988).

7856: 

7857: \bibitem[WZ]{WZ}

7858: X.P. Wang, P. Zhang,

7859: {\it

7860: High frequency limit of the Helmholtz equation

7861: with variable refraction index},

7862: Preprint (2004).

7863: 

7864: \end{thebibliography}

7865: 

7866: 

7867: 

7868: 

7869: 

7870: 

7871: 

7872: 

7873: 

7874: 

7875: 

7876: 

7877: 

7878: 

7879: 

7880: 

7881: 

7882: 

7883: 

7884: 

7885: 

7886: 

7887: 

7888: 

7889: 

7890: 

7891: 

7892: 

7893: 

7894: 

7895: 

7896: 

7897: 

7898: 

7899: 

7900: 

7901: 

7902: 

7903: 

7904: 

7905: 

7906: 

7907: 

7908: 

7909: 

7910: \end{document}

7911: 

7912: 

7913: 

7914: 

7915: 

7916: 

7917: 

7918: 

7919: 

7920: