Showing 1–18 of 18 results for author: Treschev, D

Normalization flow in the presence of a resonance

Authors: Dmitry Treschev

Abstract: Following arXiv:2303.02992, we develop an approach to the Hamiltonian theory of normal forms based on continuous averaging. We concentrate on the case of normal forms near an elliptic singular point, but unlike arXiv:2303.02992 we do not assume that frequences of the linearized system are nonresonant. We study analytic properties of the normalization procedure. In particular we show that in the ca… ▽ More Following arXiv:2303.02992, we develop an approach to the Hamiltonian theory of normal forms based on continuous averaging. We concentrate on the case of normal forms near an elliptic singular point, but unlike arXiv:2303.02992 we do not assume that frequences of the linearized system are nonresonant. We study analytic properties of the normalization procedure. In particular we show that in the case of a codimension one resonance an analytic Hamiltonian function may be reduced to a normal form up to an exponentially small reminder with explicit estimates of the reminder and the analyticity domain. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2303.02992

MSC Class: 37J40; 37J11

On quantum Floquet theorem

Authors: Dmitry Treschev

Abstract: We consider the Schrödinger equation $ih\partial_tψ= Hψ$, $ψ=ψ(\cdot,t)\in L^2({\mathbb T})$. The operator $H = -\partial^2_x + V(x,t)$ includes smooth potential $V$, which is assumed to be time $T$-periodic. Let $W=W(t)$ be the fundamental solution of this linear ODE system on $L^2({\mathbb T})$. Then according to terminology from Lyapunov-Floquet theory, ${\cal M}=W(T)$ is the monodromy operator… ▽ More We consider the Schrödinger equation $ih\partial_tψ= Hψ$, $ψ=ψ(\cdot,t)\in L^2({\mathbb T})$. The operator $H = -\partial^2_x + V(x,t)$ includes smooth potential $V$, which is assumed to be time $T$-periodic. Let $W=W(t)$ be the fundamental solution of this linear ODE system on $L^2({\mathbb T})$. Then according to terminology from Lyapunov-Floquet theory, ${\cal M}=W(T)$ is the monodromy operator. We prove that ${\cal M}$ is unitarily conjugated to $\exp\big(-\frac{T}{ih} \partial^2_x\big) + {\cal C}$, where ${\cal C}$ is a compact operator with an arbitrarily small norm. △ Less

Submitted 10 April, 2024; originally announced April 2024.

MSC Class: 37K55

Normalization flow

Authors: Dmitry Treschev

Abstract: We propose a new approach to the theory of normal forms for Hamiltonian systems near a non-resonant elliptic singular point. We consider the space of all Hamiltonian functions with such an equilibrium position at the origin and construct a differential equation in this space. Solutions of this equation move Hamiltonian functions towards their normal forms. Shifts along the flow of this equation co… ▽ More We propose a new approach to the theory of normal forms for Hamiltonian systems near a non-resonant elliptic singular point. We consider the space of all Hamiltonian functions with such an equilibrium position at the origin and construct a differential equation in this space. Solutions of this equation move Hamiltonian functions towards their normal forms. Shifts along the flow of this equation correspond to canonical coordinate changes. So, we have a continuous normalization procedure. The formal aspect of the theory presents no difficulties. The analytic aspect and the problems of convergence of series are as usual non-trivial. △ Less

Submitted 26 June, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Comments: 29 pages

MSC Class: 37J40; 37G05

$μ$-norm and regularity

Authors: Dmitry Treschev

Abstract: In \cite{Tre_PSI20} we introduce the concept of a $μ$-norm for a bounded operator in a Hilbert space. The main motivation is the extension of the measure entropy to the case of quantum systems. In this paper we recall the basic results from \cite{Tre_PSI20} and present further results on the $μ$-norm. More precisely, we specify three classes of unitary operators for which the $μ$-norm generates a… ▽ More In \cite{Tre_PSI20} we introduce the concept of a $μ$-norm for a bounded operator in a Hilbert space. The main motivation is the extension of the measure entropy to the case of quantum systems. In this paper we recall the basic results from \cite{Tre_PSI20} and present further results on the $μ$-norm. More precisely, we specify three classes of unitary operators for which the $μ$-norm generates a bistochastic operator. We plan to use the latter in the construction of quantum entropy. △ Less

Submitted 30 December, 2021; originally announced December 2021.

MSC Class: 28D20; 47A30

Journal ref: J. Dyn. Diff. Equat. 33, 1269-1295 (2021)

$μ$-norm of an operator

Authors: Dmitry Treschev

Abstract: Let $({\cal X},μ)$ be a measure space. For any measurable set $Y\subset{\cal X}$ let $1_Y : {\cal X}\to{\mathbb R}$ be the indicator of $Y$ and let $π_Y$ be the orthogonal projector $L^2({\cal X})\ni f\mapstoπ_Y f = 1_Y f$. For any bounded operator $W$ on $L^2({\cal X},μ)$ we define its $μ$-norm $\|W\|_μ= \inf_χ\sqrt{\sum μ(Y_j) \|Wπ_Y\|^2}$, where the infinum is taken over all measurable partitio… ▽ More Let $({\cal X},μ)$ be a measure space. For any measurable set $Y\subset{\cal X}$ let $1_Y : {\cal X}\to{\mathbb R}$ be the indicator of $Y$ and let $π_Y$ be the orthogonal projector $L^2({\cal X})\ni f\mapstoπ_Y f = 1_Y f$. For any bounded operator $W$ on $L^2({\cal X},μ)$ we define its $μ$-norm $\|W\|_μ= \inf_χ\sqrt{\sum μ(Y_j) \|Wπ_Y\|^2}$, where the infinum is taken over all measurable partitions $χ= \{Y_1,\ldots,Y_J\}$ of ${\cal X}$. We present some properties of the $μ$-norm and some computations. Our main motivation is the problem of the construction of a quantum entropy. △ Less

Submitted 30 December, 2021; originally announced December 2021.

MSC Class: 28D20; 47A30

Journal ref: Proc. Steklov Inst. Math., 310 (2020), 262-290

Isochronicity in 1 DOF

Authors: Dmitry Treschev

Abstract: Our main result is the complete set of explicit conditions necessary and sufficient for isochronicity of a Hamiltonian system with one degree of freedom. The conditions are presented in terms of Taylor coefficients of the Hamiltonian function. Our main result is the complete set of explicit conditions necessary and sufficient for isochronicity of a Hamiltonian system with one degree of freedom. The conditions are presented in terms of Taylor coefficients of the Hamiltonian function. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 10 pages

MSC Class: 37J06; 37G05

Volume preserving diffeomorphisms as Poincare maps for volume preserving flows

Authors: Dmitry Treschev

Abstract: Let $q:M\to M$ be a volume-preserving diffeomorphism of a smooth manifold $M$. We study the possibility to present $q$ as the Poincaré map, corresponding to a volume-preserving vector field on $\mathbb{T}\times M$, $\mathbb{T} = \mathbb{R}/\mathbb{Z}$. Let $q:M\to M$ be a volume-preserving diffeomorphism of a smooth manifold $M$. We study the possibility to present $q$ as the Poincaré map, corresponding to a volume-preserving vector field on $\mathbb{T}\times M$, $\mathbb{T} = \mathbb{R}/\mathbb{Z}$. △ Less

Submitted 21 November, 2019; originally announced November 2019.

Comments: 6 pages

Arnold diffusion in multidimensional a priori unstable Hamiltonian systems

Authors: Mars Davletshin, Dmitry Treschev

Abstract: We study the Arnold diffusion in a priori unstable near-integrable systems in a neighbourhood of a resonance of low order. We consider a non-autonomous near-integrable Hamiltonian system with $n+1/2$ degrees of freedom, $n\ge 2$. Let the Hamilton function $H$ of depend on the parameter $\varepsilon$, for $\varepsilon=0$ the system is integrable and has a homoclinic asymptotic manifold $Γ$. Our mai… ▽ More We study the Arnold diffusion in a priori unstable near-integrable systems in a neighbourhood of a resonance of low order. We consider a non-autonomous near-integrable Hamiltonian system with $n+1/2$ degrees of freedom, $n\ge 2$. Let the Hamilton function $H$ of depend on the parameter $\varepsilon$, for $\varepsilon=0$ the system is integrable and has a homoclinic asymptotic manifold $Γ$. Our main result is that for small generic perturbation in an $\varepsilon$-neighborhood of $Γ$ there exist trajectories the projections of which on the space of actions cross the resonance. By ``generic perturbations'' we mean an open dense set in the space of $C^r$-smooth functions $\frac{d}{d\varepsilon}\big|_{\varepsilon=0} H$, $r=r_0,r_0+1,\ldots,\infty,ω$. Combination of this result with results of \cite{DT} answers the main questions on the Arnold diffusion in a priori unstable case: the diffusion takes place for generic perturbation, diffusion trajectories can go along any smooth curve in the action space with average velocity of order $\varepsilon/|\log \varepsilon|$. △ Less

Submitted 20 July, 2018; originally announced July 2018.

Comments: 47 pages

MSC Class: 37J40; 70H08; 70H14

A locally integrable multi-dimensional billiard system

Authors: Dmitry Treschev

Abstract: We consider a multi-dimensional billiard system in an (n+1)-dimensional Euclidean space, the direct product of the "horizontal" hyperplane and the "vertical" line. The hypersurface that determines the system is assumed to be smooth and symmetric in all coordinate hyperplanes. Hence there exists a periodic orbit $γ$ of period 2 moving along the "vertical" coordinate axis. The question we ask is as… ▽ More We consider a multi-dimensional billiard system in an (n+1)-dimensional Euclidean space, the direct product of the "horizontal" hyperplane and the "vertical" line. The hypersurface that determines the system is assumed to be smooth and symmetric in all coordinate hyperplanes. Hence there exists a periodic orbit $γ$ of period 2 moving along the "vertical" coordinate axis. The question we ask is as follows. Is it possible to choose such a system to have the dynamics locally (near $γ$) conjugated to the dynamics of a linear map? Since the problem is local, the billiard hypersurface can be determined as the graphs of the functions $\pm f$, where $f$ is even and defined in a neighborhood of the origin on the "horizontal" coordinate hyperplane. We prove that $f$ exists as a formal Taylor series in the non-resonant case and give numerical evidence for convergence of the series. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: 16 pages, 1 figure

MSC Class: 37J40; 37J35

Billiard transformations of parallel flows: a periscope theorem

Authors: A. Plakhov, S. Tabachnikov, D. Treschev

Abstract: We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We prove that a 2-mirror realization is possible if and only if the diffeomorphism… ▽ More We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We prove that a 2-mirror realization is possible if and only if the diffeomorphism is the gradient of a function. We further prove that any orientation reversing diffeomorphism of domains in the plane is locally the composition of two gradient diffeomorphisms, and therefore can be realized by 4 mirror reflections of light rays in 3-space, while an orientation preserving diffeomorphism can be realized by 6 reflections. In general, we prove that an (orientation reversing or preserving) diffeomorphism of wave fronts of two normal families of light rays in 3-space can be realized by 6 or 7 reflections. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Anti-integrable limit

Authors: Sergey Bolotin, Dmitry Treschev

Abstract: Anti-integrable limit is one of convenient and relatively simple methods for construction of chaotic hyperbolic invariant sets in Lagrangian, Hamiltonian and other dynamical systems. We discuss the most natural context of the method -- discrete Lagrangian systems. Then we present examples and applications. Anti-integrable limit is one of convenient and relatively simple methods for construction of chaotic hyperbolic invariant sets in Lagrangian, Hamiltonian and other dynamical systems. We discuss the most natural context of the method -- discrete Lagrangian systems. Then we present examples and applications. △ Less

Submitted 22 January, 2016; originally announced January 2016.

MSC Class: 37J; 37D

Lagrangian tori near resonances of near-integrable Hamiltonian systems

Authors: Anton Medvedev, Anatoly Neishtadt, Dmitry Treschev

Abstract: In this paper we study families of Lagrangian tori that appear in a neighborhood of a resonance of a near-integrable Hamiltonian system. Such families disappear in the "integrable" limit $\varepsilon\to 0$. Dynamics on these tori is oscillatory in the direction of the resonance phases and rotating with respect to the other (non-resonant) phases. We also show that, if multiplicity of the resonanc… ▽ More In this paper we study families of Lagrangian tori that appear in a neighborhood of a resonance of a near-integrable Hamiltonian system. Such families disappear in the "integrable" limit $\varepsilon\to 0$. Dynamics on these tori is oscillatory in the direction of the resonance phases and rotating with respect to the other (non-resonant) phases. We also show that, if multiplicity of the resonance equals one, generically these tori occupy a set of large relative measure in the resonant domains in the sense that the relative measure of the remaining "chaotic" set is of order $\sqrt\varepsilon$. Therefore for small $\varepsilon > 0$ a random initial condition in a $\sqrt\varepsilon$-neighborhood of a single resonance occurs inside this set (and therefore generates a quasi-periodic motion) with a probability much larger than in the "chaotic" set. We present results of numerical simulations and discuss the form of projection of such tori to the action space. △ Less

Submitted 1 November, 2013; originally announced November 2013.

Comments: 29 pages

MSC Class: 70H08; 37J40

On the support of a body by a surface with random roughness

Authors: Dmitry Treschev

Abstract: Suppose an interval is put on a horizontal line with random roughness. With probability one it is supported at two points, one from the left, and another from the right from its center. We compute probability distribution of support points provided the roughness is fine grained. We also solve an analogous problem where a circle is put on a rough plane. Some applications in static are given. Suppose an interval is put on a horizontal line with random roughness. With probability one it is supported at two points, one from the left, and another from the right from its center. We compute probability distribution of support points provided the roughness is fine grained. We also solve an analogous problem where a circle is put on a rough plane. Some applications in static are given. △ Less

Submitted 17 May, 2013; originally announced May 2013.

MSC Class: 46N30; 70C20

On Collisions in Nonholonomic systems

Authors: Dmitry Treschev, Oleg Zubelevich

Abstract: We consider nonholonomic systems with collisions and propose a concept of weak solutions to Lagrange-d'Alembert equations. In the light of this concept we describe dynamics of the collisions. Several applications have been investigated. Particularly the collision of rotating ball and the rough floor has been considered. We consider nonholonomic systems with collisions and propose a concept of weak solutions to Lagrange-d'Alembert equations. In the light of this concept we describe dynamics of the collisions. Several applications have been investigated. Particularly the collision of rotating ball and the rough floor has been considered. △ Less

Submitted 24 July, 2012; v1 submitted 7 June, 2012; originally announced June 2012.

MSC Class: 70F25; 70F35

Hill's formula

Authors: Sergey Bolotin, Dmitry Treschev

Abstract: In his study of periodic orbits of the 3 body problem, Hill obtained a formula relating the characteristic polynomial of the monodromy matrix of a periodic orbit and an infinite determinant of the Hessian of the action functional. A mathematically correct definition of the Hill determinant and a proof of Hill's formula were obtained later by Poincaré. We give two multidimensional generalizations o… ▽ More In his study of periodic orbits of the 3 body problem, Hill obtained a formula relating the characteristic polynomial of the monodromy matrix of a periodic orbit and an infinite determinant of the Hessian of the action functional. A mathematically correct definition of the Hill determinant and a proof of Hill's formula were obtained later by Poincaré. We give two multidimensional generalizations of Hill's formula: to discrete Lagrangian systems (symplectic twist maps) and continuous Lagrangian systems. We discuss additional aspects which appear in the presence of symmetries or reversibility. We also study the change of the Morse index of a periodic trajectory after the reduction of order in a system with symmetries. Applications are given to the problem of stability of periodic orbits. △ Less

Submitted 8 June, 2010; originally announced June 2010.

MSC Class: 34D05; 37Jxx; 70H03

Journal ref: Russian Mathematical Surveys, vol. 65, no 2 (2010)

Oscillator and thermostat

Authors: Dmitry Treschev

Abstract: We study the problem of a potential interaction of a finite-dimensional Lagrangian system (an oscillator) with a linear infinite-dimensional one (a thermostat). In spite of the energy preservation and the Lagrangian (Hamiltonian) nature of the total system, under some natural assumptions the final dynamics of the finite-dimensional component turns out to be simple while the thermostat produces a… ▽ More We study the problem of a potential interaction of a finite-dimensional Lagrangian system (an oscillator) with a linear infinite-dimensional one (a thermostat). In spite of the energy preservation and the Lagrangian (Hamiltonian) nature of the total system, under some natural assumptions the final dynamics of the finite-dimensional component turns out to be simple while the thermostat produces an effective dissipation. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 18 pages

MSC Class: 37C10; 70F45

Stability islands in domains of separatrix crossings in slow-fast Hamiltonian systems

Authors: Anatoly Neishtadt, Carles Simó, Dmitri Treschev, Alexei Vasiliev

Abstract: We consider a 2 d.o.f. Hamiltonian system with one degree of freedom corresponding to fast motion and the other corresponding to slow motion. The ratio of the time derivatives of slow and fast variables is of order $0<\eps \ll 1$. At frozen values of the slow variables there is a separatrix on the phase plane of the fast variables and there is a region in the phase space (the domain of separatri… ▽ More We consider a 2 d.o.f. Hamiltonian system with one degree of freedom corresponding to fast motion and the other corresponding to slow motion. The ratio of the time derivatives of slow and fast variables is of order $0<\eps \ll 1$. At frozen values of the slow variables there is a separatrix on the phase plane of the fast variables and there is a region in the phase space (the domain of separatrix crossings) where the projections of phase points onto the plane of the fast variables repeatedly cross the separatrix in the process of evolution of the slow variables. Under a certain symmetry condition we prove existence of many (of order $1/\eps$) stable periodic trajectories in the domain of the separatrix crossings. Each of these trajectories is surrounded by a stability island whose measure is estimated from below by a value of order $\eps$. Thus, the total measure of the stability islands is estimated from below by a value independent of $\eps$. The proof is based on an analysis of the asymptotic formulas for the corresponding Poincaré map. △ Less

Submitted 16 November, 2006; v1 submitted 15 November, 2006; originally announced November 2006.

Comments: 14 pages, 5 figures. This is an English version of the paper submitted to Proceedings of the Steklov Mathematical Institute

MSC Class: 37J40; 34E10; 70H11

Continuous averaging in dynamical systems

Authors: Dmitry Treschev

Abstract: The method of continuous averaging can be regarded as a combination of the Lie method, where a change of coordinates is constructed as a shift along solutions of a differential equation and the Neishtadt method, well-known in perturbation theory for ODE in the presence of exponentially small effects. This method turns out to be very effective in the analysis of one- and multi-frequency averaging… ▽ More The method of continuous averaging can be regarded as a combination of the Lie method, where a change of coordinates is constructed as a shift along solutions of a differential equation and the Neishtadt method, well-known in perturbation theory for ODE in the presence of exponentially small effects. This method turns out to be very effective in the analysis of one- and multi-frequency averaging, exponentially small separatrix splitting and in the problem of an inclusion of an analytic diffeomorphism into an analytic flow. We discuss general features of the method as well as the applications. △ Less

Submitted 28 April, 2003; originally announced April 2003.

MSC Class: 58F

Journal ref: Proceedings of the ICM, Bei**g 2002, vol. 3, 383--394