TY - JOUR

T1 - Exponential averaging for Hamiltonian evolution equations

AU - Matthies, Karsten

AU - Scheel, Arnd

PY - 2003/2

Y1 - 2003/2

N2 - We derive estimates on the magnitude of non-adiabatic interaction between a Hamiltonian partial differential equation and a high-frequency nonlinear oscillator. Assuming spatial analyticity of the initial conditions, we show that the dynamics can be transformed to the uncoupled dynamics of an infinite-dimensional Hamiltonian system and an anharmonic oscillator, up to coupling terms which are exponentially small in a certain power of the frequency of the oscillator. The result is derived from an abstract averaging theorem for infinite-dimensional analytic evolution equations in Gevrey spaces. Refining upon a similar result by Neishtadt for analytic ordinary differential equations, the temporal estimate crucially depends on the spatial regularity of the initial condition. The result shows to what extent the strong resonances between rapid forcing and highly oscillatory spatial modes can be suppressed by the choice of sufficiently smooth initial data. An application is provided by a system of nonlinear Schrödinger equations, coupled to a rapidly forcing single mode, representing small-scale oscillations. We provide an example showing that the estimates for partial differential equations we derive here are necessarily different from those in the context of ordinary differential equations.

AB - We derive estimates on the magnitude of non-adiabatic interaction between a Hamiltonian partial differential equation and a high-frequency nonlinear oscillator. Assuming spatial analyticity of the initial conditions, we show that the dynamics can be transformed to the uncoupled dynamics of an infinite-dimensional Hamiltonian system and an anharmonic oscillator, up to coupling terms which are exponentially small in a certain power of the frequency of the oscillator. The result is derived from an abstract averaging theorem for infinite-dimensional analytic evolution equations in Gevrey spaces. Refining upon a similar result by Neishtadt for analytic ordinary differential equations, the temporal estimate crucially depends on the spatial regularity of the initial condition. The result shows to what extent the strong resonances between rapid forcing and highly oscillatory spatial modes can be suppressed by the choice of sufficiently smooth initial data. An application is provided by a system of nonlinear Schrödinger equations, coupled to a rapidly forcing single mode, representing small-scale oscillations. We provide an example showing that the estimates for partial differential equations we derive here are necessarily different from those in the context of ordinary differential equations.

KW - Analytic evolution equation

KW - Averaging

KW - Exponential order

KW - Gevrey regularity

KW - Infinite-dimensional Hamiltonian system

KW - Nonlinear Schrödinger equation

UR - http://www.scopus.com/inward/record.url?scp=0037321276&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0037321276&partnerID=8YFLogxK

U2 - 10.1090/s0002-9947-02-03143-4

DO - 10.1090/s0002-9947-02-03143-4

M3 - Article

AN - SCOPUS:0037321276

SN - 0002-9947

VL - 355

SP - 747

EP - 773

JO - Transactions of the American Mathematical Society

JF - Transactions of the American Mathematical Society

IS - 2

ER -