Metastability in Interacting Nonlinear Stochastic Differential Equations II: Large-N Behaviour
|
|
- Julian Wilkins
- 5 years ago
- Views:
Transcription
1 Metastability in Interacting onlinear Stochastic Differential Equations II: Large- Behaviour ils Berglund, Bastien Fernandez and Barbara Gentz Abstract We consider the dynamics of a periodic chain of coupled overdamped particles under the influence of noise, in the limit of large. Each particle is subjected to a bistable local potential, to a linear coupling with its nearest neighbours, and to an independent source of white noise. For strong coupling (of the order ), the system synchronises, in the sense that all oscillators assume almost the same position in their respective local potential most of the time. In a previous paper, we showed that the transition from strong to weak coupling involves a sequence of symmetry-breaking bifurcations of the system s stationary configurations, and analysed in particular the behaviour for coupling intensities slightly below the synchronisation threshold, for arbitrary. Here we describe the behaviour for any positive coupling intensity γ of order, provided the particle number is sufficiently large (as a function of γ/ ). In particular, we determine the transition time between synchronised states, as well as the shape of the critical droplet to leading order in 1/. Our techniques involve the control of the exact number of periodic orbits of a near-integrable twist map, allowing us to give a detailed description of the system s potential landscape, in which the metastable behaviour is encoded. Date. ovember 1, Mathematical Subject Classification. 37H0, 37L60 (primary), 37G40, 60K35 (secondary) Keywords and phrases. Spatially extended systems, lattice dynamical systems, open systems, stochastic differential equations, interacting diffusions, transitions times, most probable transition paths, large deviations, Wentzell-Freidlin theory, diffusive coupling, synchronisation, metastability, symmetry groups, symplectic twist maps. 1 Introduction In this paper, we continue our analysis of the metastable dynamics of a periodic chain of coupled bistable elements, initiated in [BFG06a]. In contrast with similar models involving discrete on-site variables, or spins, whose metastable behaviour has been studied extensively (see for instance [dh04, OV05]), our model involves continuous local variables, and is therefore described by a set of interacting stochastic differential equations. The analysis of the metastable dynamics of such a system requires an understanding of its -dimensional potential landscape, in particular the number and location of its local minima and saddles of index 1. In the previous paper [BFG06a], we showed that the number of stationary configurations increases from 3 to 3 as the coupling intensity γ decreases from a critical value γ 1 of order to 0. This transition from strong to weak coupling involves a sequence of successive symmetry-breaking bifurcations, and we analysed in particular the first of these bifurcations, which corresponds to desynchronisation. 1
2 In the present paper, we consider in more detail the behaviour for large particle number. It turns out that a technique known as spatial map analysis allows us to obtain a precise control of the set of stationary points, for values of the coupling well below the synchronisation threshold. More precisely, given a strictly positive coupling intensity γ of order, there is an integer 0 (γ/ ) such that we know precisely the number, location and type of the potential s stationary points for all 0 (γ/ ). This allows us to characterise the transition times and paths between metastable states for all these values of γ and. This paper is organised as follows. Section contains the precise definition of our model, and the statement of all results. After introducing the model in Section.1 and describing general properties of the potential landscape in Section., we state in Section.3 the detailed results on number and location of stationary points for large, and in Section.4 their consequences for the stochastic dynamics. Section 3 contains the proofs of these results. The proofs rely on the detailed analysis of the orbits of period of a near-integrable twist map, which are in one-to-one correspondance with stationary points of the potential. Appendix A recalls some properties of Jacobi s elliptic functions needed in the analysis. Acknowledgments Financial support by the French Ministry of Research, by way of the Action Concertée Incitative (ACI) Jeunes Chercheurs, Modélisation stochastique de systèmes hors équilibre, is gratefully acknowledged. B and BF thank the Weierstrass Intitute for Applied Analysis and Stochastics (WIAS), Berlin, for financial support and hospitality. BG thanks the ESF Programme Phase Transitions and Fluctuation Phenomena for Random Dynamics in Spatially Extended Systems (RDSES) for financial support, and the Centre de Physique Théorique (CPT), Marseille, for kind hospitality. Model and Results.1 Definition of the Model Our model of interacting bistable systems perturbed by noise is defined by the following ingredients: The periodic one-dimensional lattice is given by Λ = Z /Z, where is the number of particles. To each site i Λ, we attach a real variable x i R, describing the position of the ith particle. The configuration space is thus X = R Λ. Each particle feels a local bistable potential, given by U(x) = 1 4 x4 1 x, x R. (.1) The local dynamics thus tends to push the particle towards one of the two stable positions x = 1 or x = 1. eighbouring particles in Λ are coupled via a discretised-laplacian interaction, of intensity γ/. Each site is coupled to an independent source of noise, of intensity σ (this scaling is appropriate when studying the large- behaviour for strong coupling, and is im-
3 material for small ). The sources of noise are described by independent Brownian motions {B i (t)} t 0 on a probability space (Ω, F, P). The system is thus described by the following set of coupled stochastic differential equations, defining a diffusion on X : dx σ i (t) = f(x σ i (t)) dt + γ [ x σ i+1 (t) x σ i (t) + x σ i 1(t) ] dt + σ db i (t), (.) where the local nonlinear drift is given by f(x) = U(x) = x x 3. (.3) For σ = 0, the system (.) is a gradient system of the form ẋ = V (x), with potential V (x) = V γ (x) = U(x i ) + γ (x i+1 x i ). (.4) 4 i Λ i Λ. Potential Landscape and Metastability The dynamics of the stochastic system depends essentially on the potential landscape V. More precisely, let S = S(γ) = {x X : V γ (x) = 0} (.5) denote the set of stationary points of the potential. A point x S is said to be of type (n, n 0, n + ) if the Hessian matrix of V in x has n negative, n + positive and n 0 = n n + vanishing eigenvalues (counting multiplicity). For each k = 0,...,, let S k = S k (γ) denote the set of stationary points x S which are of type ( k, 0, k). For k 1, these points are called saddles of index k, or simply k-saddles, while S 0 is the set of strict local minima of V. Understanding the dynamics for small noise essentially requires knowing the graph G = (S 0, E), in which two vertices x, y S 0 are connected by an edge if and only if there is a 1-saddle s S 1 whose unstable manifolds converge to x and y. The system behaves essentially like a Markovian jump process on G. The mean transition time from x to y is of order e H/σ, where H is the potential difference between x and the lowest saddle leading to y (see [FW98], as well as [BFG06a] for more details). It is easy to see that S always contains at least the three points O = (0,..., 0), I ± = ±(1,..., 1). (.6) Depending on the value of γ, the origin O can be an -saddle, or a k-saddle for any odd k. The points I ± always belong to S 0, in fact we have for all γ > 0 V γ (x) > V γ (I + ) = V γ (I ) = 4 x X \ {I, I + }, (.7) so that I + and I represent the most stable configurations of the system. The three points O, I + and I are the only stationary points belonging to the diagonal D = {x X : x 1 = x = = x }. The potential V (x) is invariant under the transformation group G = G of order 4 (4 if = ), generated by the following three symmetries: the rotation around the diagonal given by R(x 1,..., x ) = (x,..., x, x 1 ); the mirror symmetry S(x 1,..., x ) = (x,..., x 1 ); the point symmetry C(x 1,..., x ) = (x 1,..., x ). 3
4 x Type of symmetry 4L A (x 1,..., x L, x L,..., x 1, x 1,..., x L, x L,..., x 1 ) B (x 1,..., x L,..., x 1, 0, x 1,..., x L,..., x 1, 0) 4L + A (x 1,..., x L+1,..., x 1, x 1,..., x L+1,..., x 1 ) B (x 1,..., x L, x L..., x 1, 0, x 1,..., x L, x L,..., x 1, 0) L + 1 A (x 1,..., x L, x L,..., x 1, 0) B (x 1,..., x L, x L,..., x 1, x 0 ) Table 1. Symmetries of the stationary points bifurcating from the origin at γ = γ 1. The situation depends on whether is odd (in which case we write = L + 1) or even (in which case we write = 4L or = 4L+, depending on the value of (mod 4)). Points labeled A are 1-saddles near the desynchronisation bifurcation at γ = γ 1, those labeled B are -saddles (for odd, this is actually a conjecture). More saddles of the same index are obtained by applying elements of the symmetry group G to A and B. As a consequence, the set S of stationary points, as well as each S k, are invariant under the action of G. This has important consequences for the classification of stationary points. In [BFG06a], we proved the following results: There is a critical coupling intensity γ 1 = 1 1 cos(/) (.8) such that for all γ γ 1, the set of stationary points S consists of the three points O and I ± only. The graph G has two vertices I ±, connected by a single edge. As γ decreases below γ 1, an even number of new stationary points bifurcate from the origin. Half of them are 1-saddles, while the others are -saddles. These points satisfy symmetries as shown in Table 1. The potential difference between I ± and the 1-saddles behaves like (1/4 (γ 1 γ) /6) as γ γ 1. ew bifurcations of the origin occur for γ = γ M = (1 cos(m/)) 1, with M /, in which saddles of order higher than are created. The number of stationary points emerging from the origin at the desynchronisation bifurcation at γ = γ 1 depends on the parity of. If is even, there are exactly new points ( saddles of index 1, and saddles of index ). If is odd, we were only able to prove that the number of new stationary points is a multiple of 4, but formulated the conjecture that there are exactly 4 stationary points ( saddles of index 1, and saddles of index ). We checked this conjecture numerically for all up to 101. As we shall see in the next section, the conjecture is also true for sufficiently large..3 Global Control of the Set of Stationary Points We examine now the structure of the set S of stationary points for large particle number, and large coupling intensity γ. More precisely, we introduce the rescaled coupling intensity γ = γ = γ(1 cos(/)) = [ ( )] 1 γ 1 γ 1 + O. (.9) 4
5 κ( γ) a( γ) γ Figure 1. The functions κ( γ) and a( γ) appearing in the expressions (.14) and (.15) for the coordinates of A and B. Figure 1 The desynchronisation bifurcation occurs for γ = γ 1 := 1. For M /, we also introduce scaled bifurcation values γ M = γ M = 1 cos(/) γ 1 1 cos(m/) = 1 ( ) 1 M + O. (.10) For large and γ bounded away from zero, we can get a precise control of the set of stationary points. Their coordinates will be given in terms of Jacobi elliptic functions and integrals 1, and involve function κ( γ) and a( γ), defined implicitly by the relations γ = 4 K(κ) (1 + κ ), a = κ 1 + κ, (.11) where K(κ) denotes Jacobi s elliptic integral of the first kind. In the following results, O x denotes the group orbit of a point x X under G, that is, O x = {gx: g G}. Theorem.1. There exists 1 < such that when 1 and γ < γ < γ 1 = 1, the set S of stationary points of the potential has cardinality { 4 S = 3 + gcd(, M) = 3 + if is even, (.1) if is odd. It can be decomposed as S 0 = O I + = {I +, I }, S 1 = O A, S = O B, S 3 = O O = {O}, (.13) where the points A = A( γ) and B = B( γ) have the following properties: If is even, A and B satisfy the symmetries of Table 1, and have components given in terms of Jacobi s elliptic sine by ( ) ( ) 4 K(κ( γ)) ( ) A j ( γ) = a( γ) sn j 1 1, κ( γ) + O, ( ) ( ) 4 K(κ( γ)) 1 B j ( γ) = a( γ) sn j, κ( γ) + O. (.14) 1 For the reader s convenience, we recall the definitions and main properties of Jacobi s elliptic integrals and functions in Appendix A. 5
6 (a) A j γ (b) A () j γ j j Figure. (a) Coordinates of the 1-saddles Figure A in 1 the case = 3, shown for two different values of the coupling γ > γ. (b) Coordinates of the 3-saddles A () in the case = 3, shown for the coupling intensities γ /4 and γ /4. If is odd, then A and B satisfy the symmetries of Table 1, and have components given by ( ) ( ) 4 K(κ( γ)) 1 A j ( γ) = a( γ) sn j, κ( γ) + O, ( ) ( ) 4 K(κ( γ)) 1 B j ( γ) = a( γ) cn j, κ( γ) + O. (.15) The potential difference between the 1-saddles and the well bottoms (which is the same for all 1-saddles and well bottoms) satisfies V (A( γ)) V (I ± ) = 1 [ κ 3(1 + κ ) 1 + κ E(κ) ] ( ) κ + O, (.16) K(κ) where κ = κ( γ) and E(κ) denotes Jacobi s elliptic integral of the second kind. For γ < γ, the stationary points A and B continue to exist, but new stationary points bifurcate from the origin O. Theorem.. For any M, there exists M < such that when M and γ M+1 < γ < γ M, the set S of stationary points of the potential has cardinality It can be decomposed as S = 3 + S 0 = O I + = {I +, I }, M 1 4 gcd(, m). (.17) m=1 S m 1 = O A (m), m = 1,..., M, S m = O B (m), m = 1,..., M, S M+1 = O O = {O}, (.18) where the points A (m) = A (m) ( γ) and B (m) = B (m) ( γ) have the following properties: If m/ gcd(, m) is odd, the components of A (m) and B (m) are given by A (m) j ( γ) = a(m γ) ( 4 K(κ(m γ)) sn m ( ) ( ) M j 1 ), κ(m γ) + O, B (m) j ( γ) = a(m γ) ( 4 K(κ(m γ)) sn mj, κ(m γ) ) ( ) M + O. (.19) 6
7 0 γ 3 γ 1 γ 1 4L 0 4L 1 L3 ( 1) L4 1 L3 0( 1) L3 1 L4 ( 1) L3 0 B (3) I ± O 1 L1 ( 1) L 1 L1 ( 1) L1 1 L ( 1) L1 (1 L 1 0( 1) L 1 0) (1 L ( 1) L ) 1 L 1 0( 1) L L ( 1) L A (3) B () A () B (1) = B A (1) = A I + I + A O I I Figure 3. Partial bifurcation diagram for a case where Figure = 14L is a multiple of four, and some associated graphs G. Only one stationary point per orbit of the symmetry group G is shown. Dash dotted curves with k dots represent k-saddles. The symbols at the left indicate the zero-coupling limit of the stationary points coordinates, for instance 1 L ( 1) L stands for a point whose first L coordinates are equal to 1, and whose last L coordinates are equal to 1. The numbers associated with the branch created at γ 3 are L 1 = L/3, L = (L L 1 ), L 3 = L/3 + 1/ and L 4 = (L L 3 ) 1 (in case is a multiple of 1, there are more vanishing coordinates). If m/ gcd(, m) is even, the rôles of A (m) and B (m) are reversed. The potential difference between the saddles A (m) j ( γ) and the well bottoms satisfies a similar relation as (.16), but with κ = κ(m γ). ote that the total number of stationary points accounted for by these results is of the order, which is much less than the 3 points present at zero coupling. Many additional stationary points thus have to be created as the rescaled coupling 1 intensity γ decreases sufficiently (below order 1 in ), either by pitchfork-type second-order bifurcations of already existing points, or by saddle-node bifurcations. The existence of second-order bifurcations follows from stability arguments. For instance, for even, the point A( γ) converges to (1, 1,..., 1, 1, 1,..., 1) as γ 0, which is a local minimum of V instead of a 1-saddle. The A-branch thus has to bifurcate at least once as the coupling decreases to zero (Figure 4). For odd, by contrast, the point A( γ) converges to (1, 1,..., 1, 0, 1, 1,..., 1) as γ 0, which is also a 1-saddle. We thus expect that the point A( γ) does not undergo any bifurcations for 0 γ < 1 if is odd..4 Stochastic Case We return now to the behaviour of the system of stochastic differential equations dx σ i (t) = f(x σ i (t)) dt + γ [ x σ i+1 (t) x σ i (t) + x σ i 1(t) ] dt + σ db i (t). (.0) 7
8 0 γ 1 γ 1 4L 0 4L I ± O 1 L 1 0( 1) L L ( 1) L 1 L 0( 1) L 0 1 L 0( 1) L 1 Aaα Aa B A Figure 4. Partial bifurcation diagram for a case where = 4L is a multiple of four, showing the expected bifurcation behaviour of the critical 1-saddle in the zero-coupling limit. Our main goal is to characterise the noise-induced transition from the configuration I = ( 1, 1,..., 1) to the configuration I + = (1, 1,..., 1). In particular, we are interested in the time needed for this transition to occur, and by the shape of the critical configuration, i.e., the configuration of highest energy reachedfigure during1the transition. Since the probability of a stochastic process in continuous space hitting a given point is typically zero, we have to work with small neighbourhoods of the relevant configurations. Given a Borel set A X, and an initial condition x 0 X \ A, we denote by τ hit (A) the first-hitting time of A τ hit (A) = inf{t > 0: x σ (t) A}. (.1) Similarly, for an initial condition x 0 A, we denote by τ exit (A) the first-exit time from A τ exit (A) = inf{t > 0: x σ (t) / A}. (.) We fix radii 0 < r < R < 1/, and introduce random times τ + = τ hit (B(I +, r)), τ O = τ hit (B(O, r)), 1 τ = inf{t > τ exit (B(I, R)): x t B(I, r)}. (.3) In [BFG06a, Theorem.7], we obtained in the synchronisation regime γ > 1, for any initial condition x 0 B(I, r), any and any δ > 0, and lim { } σ 0 Px 0 e (1/ δ)/σ < τ + < e (1/+δ)/σ = 1 (.4) lim σ 0 σ log E x 0 {τ + } = 1. (.5) This means that in the synchronisation regime, the transition between I and I + takes a time of the order e 1/σ. Furthermore, lim { } σ 0 Px 0 τ O < τ + τ + < τ = 1, (.6) 8
9 V (A () ) V (I ± ) 0. H( γ) = V (A) V (I± ) Figure 5. Value of the potential barrier height H( γ) = (V (A) V (I ± ))/ as a function of the rescaled coupling intensity γ. Figure For comparison, 1 we also show the barrier height (V (A () ) V (I ± ))/ for a stationary point of higher winding number M =. γ meaning that during the transition, the system is likely to pass close the the origin, i.e., the origin is the critical configuration of the transition. We can now prove a similar result in the desynchronised regime γ < 1. Theorem.3. For γ < 1, let H( γ) = V (A( γ)) V (I± ) = 1 [ κ 3(1 + κ ) 1 + κ E(κ) ] ( κ + O K(κ) ), (.7) where κ = κ( γ) is defined implicitly by (.11). Fix an initial condition x 0 B(I, r). Then for any 0 < γ < 1, and any δ > 0, there exists 0 ( γ) such that for all > 0 ( γ), and Furthermore, let lim { } σ 0 Px 0 e (H( γ) δ)/σ < τ + < e (H( γ)+δ)/σ = 1 (.8) 1 lim σ 0 σ log E x 0 {τ + } = H( γ). (.9) τ A = τ hit( g G ) B(gA, r), (.30) where A = A( γ) satisfies (.14) (or (.15) if is odd). Then for any > 0 ( γ), lim σ 0 Px 0 { τ A < τ + τ + < τ } = 1. (.31) The relations (.8) and (.9) mean that the transition time between the synchronised states I and I + is of order e H( γ)/σ. Relation (.31) implies that the set of critical configurations is given by the orbit of A. The large- limit of the rescaled potential difference H( γ) is shown in Figure 5. The limiting function is increasing, with a discontinuous second-order derivative of at γ = 1. For small γ, H( γ) grows like the square-root of γ. This is compatible with the weakcoupling behaviour H = (1/4 + 3/γ + O(γ ))/ obtained in [BFG06a], if one takes into account the scaling of γ. 9
10 The critical configuration, that is, the configuration with highest energy reached in the course of the transition from I to I +, is any translate of the configuration shown in Figure a. If is even, it has / positive and / negative coordinates, while for odd, there are ( 1)/ positive, one vanishing, and ( 1)/ negative coordinates. The sites with positive and negative coordinates are always adjacent. The potential difference between the 1-saddles A and the -saddles B is actually very small, so that during a transition, the system may select at the last moment one of the different critical configurations, reflecting the fact that it becomes translation-invariant in the large- limit. 3 Proofs The stationary points of the potential satisfy the relation f(x n ) + γ [ xn+1 x n + x n 1 ] = 0, (3.1) where f(x) = x x 3. Setting v n = x n x n 1 allows to rewrite this as the system x n+1 = x n + v n+1, v n+1 = v n γ 1 f(x n ), (3.) in which n plays the rôle of discrete time. It is easy to see that (x n, v n ) (x n+1, v n+1 ) is an area-preserving twist map ( twist meaning that x n+1 is a monotonous function of v n ), for the study of which many tools are available [Mei9]. The stationary points of the potential for particles are in one-to-one correspondence with the periodic orbits of period of this map. 3.1 Symmetric Twist Map The twist map (3.) does not exploit the symmetries of the original system in an optimal way. In order to do so, it is more advantageous to introduce the variable u n = x n+1 x n 1 instead of v n. Then a short computation shows that x n+1 = x n + u n γ 1 f(x n ), u n+1 = u n γ 1[ f(x n ) + f(x n+1 ) ]. (3.3) (3.4) The map T 1 : (x n, u n ) (x n+1, u n+1 ) is also an area-preserving twist map. Although it looks more complicated than the map (3.), it has the advantage that its inverse is obtained by changing the sign of u, namely If we introduce the involutions x n = x n+1 u n+1 γ 1 f(x n+1 ), u n = u n+1 + γ 1[ f(x n+1 ) + f(x n ) ]. (3.5) S 1 : (x, u) ( x, u) and S : (x, u) (x, u), (3.6) then the map T 1 and its inverse are related by T 1 S 1 = S 1 (T 1 ) 1 and T 1 S = S (T 1 ) 1, (3.7) as a consequence of f being odd. This implies that the images of an orbit of the map under S 1 and S are also orbits of the map. 10
11 3. Large- Behaviour For large, it turns out to be useful to introduce the small parameter ε = γ = γ = ( ( )) 1 1 γ γ 1 + O, (3.8) and the scaled variable w = u/ε. This transforms the map T 1 into a map T : (x n, w n ) (x n+1, w n+1 ) defined by x n+1 = x n + εw n 1 ε f(x n ), w n+1 = w n 1 ε[ f(x n ) + f(x n+1 ) ]. (3.9) T is again an area-preserving twist map satisfying T S 1 = S 1 (T ) 1 and T S = S (T ) 1. (3.10) For small ε, we expect the orbits of this map to be close to those of the differential equation ẋ = w, ẇ = f(x), (3.11) which is equivalent to the second-order equation ẍ = f(x), describing the motion of a particle in the inverted double-well potential U(x). Solutions of (3.11) can be expressed in terms of Jacobi elliptic functions. Indeed, the function being a constant of motion, one sees that w satisfies where C(x, w) = 1 (x + w ) 1 4 x4 (3.1) w = ± (a(c) x )(b(c) x )/, (3.13) a(c) = 1 1 4C, b(c) = C. (3.14) This can be used to integrate the equation ẋ = w, yielding ( ( ) ) b(c) x(t) t = F Arcsin, κ(c), (3.15) a(c) where κ(c) = a(c)/b(c), and F(φ, κ) denotes the incomplete elliptic integral of the first kind. The solution of the ODE can be written in terms of standard elliptic functions as ( ) b(c) x(t) = a(c) sn t, κ(c), w(t) = ( ) ( ) (3.16) b(c) b(c) C cn t, κ(c) dn t, κ(c). 11
12 3.3 Action Angle Variables We return now to the map T defined in (3.9). The explicit solution of the continuous-time equation motivates the change of variables Φ 1 : (x, w) (ϕ, C) given by ( ( ) ) x ϕ = b(c) F Arcsin, κ(c), a(c) (3.17) C = 1 (x + w ) 1 4 x4. One checks that Φ 1 is again area-preserving. The inverse Φ 1 1 is given by ( ) b(c) x = a(c) sn ϕ, κ(c), w = ( ) ( ) b(c) b(c) C cn ϕ, κ(c) dn ϕ, κ(c). (3.18) The elliptic functions sn, cn and dn being periodic in their first argument, with period 4 K(κ), it is convenient to carry out a further area-preserving change of variables Φ : (ϕ, C) (ψ, I), defined by where Ω(C) = b(c) ψ = Ω(C)ϕ, I = h(c), (3.19) K(κ(C)), h(c) = C 0 dc Ω(C ). (3.0) Using the facts that C and b = b(c) can be expressed as functions of κ = κ(c) by C = κ /(1 + κ ) and b = /(1 + κ ), one can check that h(c) = 4 (1 + κ ) E(κ) (1 κ [ ) K(κ) 3 (1 + κ ) 3/ 0, ]. (3.1) κ=κ(c) 3 We denote by Φ = Φ Φ 1 the transformation (x, w) (ψ, I) and by T = Φ T Φ 1 the resulting map. Proposition 3.1. The map T = T (ε) has the form ψ n+1 = ψ n + εω(i n ) + ε 3 f(ψ n, I n, ε) (mod ), I n+1 = I n + ε 3 g(ψ n, I n, ε), (3.) where Ω(I) = Ω(h 1 (I)). The functions f and g are -periodic in their first argument, and are real-analytic for 0 I h(1/4) O(ε 3 ). Furthermore, T satisfies the symmetries T Σ 1 = Σ 1 T 1 and T Σ = Σ T 1, (3.3) where Σ 1 (ψ, I) = ( ψ, I) and Σ (ψ, I) = ( ψ, I). Proof: First observe that Φ 1 and Φ are analytic whenever (x, w) is such that C < 1/4. The map T will thus be analytic whenever (ψ n, I n ) is such that C(x n, w n ) < 1/4 and C(x n+1, w n+1 ) < 1/4. A direct computation shows that C(x n+1, w n+1 ) C(x n, w n ) = ε3 ] [x n w n + x n wn 3 4x 3 4 nw n + 3x 5 nw n + O(ε 4 ). (3.4) 1
13 This implies that I n+1 = I n + O(ε 3 ), and allows to determine g(ψ, I, 0). It also shows that T is analytic for I n < h(1/4) O(ε 3 ). Furthermore, writing a n = a(c(x n, w n )), we see that (3.4) implies a n+1 a n = O(ε 3 ) and similarly for b n, κ n. This yields ϕ(x n+1, w n+1 ) ϕ(x n, w n ) = b n xn+1 /a n x n/a n du (1 κ n u )(1 u ) + O(ε3 ) = ε + O(ε 3 ), (3.5) which implies the expression for ψ n+1. We remark that the fact that T is area-preserving implies the relation 1 = (ψ n+1, I n+1 ) = 1 + ε 3[ ] ψ f(ψ, I, 0) + I g(ψ, I, 0) + O(ε 4 ), (3.6) (ψ n, I n ) which allows to determine f(ψ, I, 0). The fact that f and g are -periodic in their first argument is a consequence of the fact that T ( x, w) = T (x, w). Finally the relations (3.3) follow from the symmetries (3.10), with Σ i = Φ S i Φ 1. A perturbation expansion at I = 0 shows in particular that Ω(I) = I + O(I ). (3.7) An important observation is that Ω(I) is a monotonously decreasing function, taking values in [0, 1]. The monotonicity of Ω makes T a twist map for sufficiently small ε, which has several important consequences on existence of periodic orbits. We call rotation number of a periodic orbit of period the quantity ν = 1 [ ] (ψ n+1 ψ n ) (mod ). (3.8) n=1 ote that because of periodicity, ν is necessarily a rational number of the form ν = M/, for some positive integer M. We denote by T ν the set of points ψ in the torus T satisfying (3.8). It is sometimes more convenient to visualise T ν as the set of real -tuples (ψ 1,..., ψ ) such that ψ 1 < ψ < < ψ < ψ 1 + ν. (3.9) In the sequel, we shall use the shorthand stationary point with rotation number ν instead of stationary point corresponding to a periodic orbit of rotation number ν. The expression (3.) for T implies that ν = Ω(I 0) ε + O(ε ). (3.30) The following properties follow from the Poincaré Birkhoff theorem, whenever ε > 0 is sufficiently small: For each positive integer M satisfying M ε (1 + O(ε)), (3.31) the twist map T admits at least two periodic orbits of period and rotation number ν = M/. ote that Condition (3.31) is compatible with the fact that O bifurcates for γ = γ M, M = 1,,..., /. 13
14 Any periodic orbit of period of the map T is of the form ψ n = ψ 0 + νn + O(ε ), I n = Ω 1 ( ε ν ) + O(ε ), (3.3) for some ψ 0 and some ν = M/, where M is a positive integer satisfying (3.31). Going back to original variables, we see that these periodic orbits are of the form ( ) K(κn ) x n = a n sn ψ n, κ n, w n = ( ) ( ) (3.33) K(κn ) K(κn ) C n cn ψ n, κ n dn ψ n, κ n, where a n = a(c n ), κ n = κ(c n ) and C n = Ω 1 ( M ε ) + O(ε) = Ω 1( M γ ) + O(ε). (3.34) This allows in particular to compute the value of the potential at the corresponding stationary point. Proposition 3.. Let ε > 0 be sufficiently small, and let x be a stationary point of the potential V, corresponding to an orbit with rotation number ν = M/. Then V (x [ ) = 1 + κ 3(1 + κ ) 1 + κ E(κ) ] + O(εκ ), (3.35) K(κ) where κ = κ(c), and C satisfies Ω(C) = M γ. Proof: The expression (.4) for the potential implies that V (x ) = 1 ( U(x n ) + 1 ) w n + O(ε ) = 1 n=1 = C [ = C [ n=1 0 ) ( K(κ) cn ψ n, κ ) ( K(κ) cn ψ, κ (wn C n + O(ε )) n=1 ) ( K(κ) dn ψ n, κ ) ( K(κ) dn ψ, κ) ] 1 + O(ε) ] dψ 1 + O(ε), (3.36) where C = Ω 1 (M γ) and κ = κ(c). The integral can then be computed using the change of variables K(κ)ψ/ = F(φ, κ). Finally, recall that C = κ /(1 + κ ). One can check that V (x )/ is a decreasing function of κ, which is itself a decreasing function of M γ. As a consequence, V (x )/ is increasing in M γ. This implies in particular that the potential is larger for larger winding numbers M. Remark 3.3. The leading term in the expression (3.35) for the value of the potential is the same for all orbits of a given rotation number ν. Since stationary points of the potential of different index cannot be at exactly the same height, the difference has to be hidden in the error terms. In the previous paper [BFG06a], we showed that near the desynchronisation bifurcation, the potential difference between 1-saddles and -saddles is of order (1 γ) /. For large, we expect this difference to be exponentially small in 1/, owing to the fact that near-integrable maps of a form similar to (3.) are known to admit adiabatic invariants to that order (cf. [BK96, Theorem ]). 14
15 3.4 Generating Function The fact that T is a twist map allows one to express I n (and thus I n+1 ) as a function of ψ n and ψ n+1. A generating function of T is a function G(ψ n, ψ n+1 ) such that 1 G(ψ n, ψ n+1 ) = I n, G(ψ n, ψ n+1 ) = I n+1. (3.37) It is known that any area-preserving twist map admits a generating function, unique up to an additive constant. Since T depends on the parameter ε, the generating function G naturally also depends on ε. However, we will indicate this dependence only when we want to emphasize it. Proposition 3.4. The map T admits a generating function of the form ( ) ψ ψ 1 ( ) G(ψ 1, ψ ) = εg 0, ε + ε 3 ψ ψ 1 Ĝ p, ε cos ( p(ψ 1 + ψ ) ), (3.38) ε ε p=1 where the functions G 0 (u, ε) and Ĝp(u, ε) are real-analytic for u > O(1/ log ε ), and satisfy G 0(u, 0) = Ω 1 (u), Ĝ p ( u, 0 ) = 1 4p 0 g ( ψ, Ω 1 (u), 0 ) sin( pψ) dψ. (3.39) Proof: Fix (ψ, I ) = T (ψ 1, I 1 ). The fact that T (ψ 1 +, I 1 ) = (ψ +, I ) implies G(ψ 1 +, ψ + ) = G(ψ 1, ψ ) + c (3.40) for some constant c. If we set G(ψ 1, ψ ) = G(ψ ψ 1, ψ 1 + ψ ), we thus have This allows us to expand G as a Fourier series G(ψ 1, ψ ) = p= G(u, v + ) = G(u, v) + c. (3.41) G p (ψ ψ 1, ε) e i p(ψ 1+ψ ) + c (ψ 1 + ψ ). (3.4) ext we note that the symmetry (3.3) implies T ( ψ, I ) = ( ψ 1, I 1 ), and thus Plugging (3.4) into this relation yields 1 G(ψ 1, ψ ) = G( ψ, ψ 1 ). (3.43) c = 0 and G p (u, ε) = G p (u, ε), (3.44) which allows to represent G as a real Fourier series as well. Computing the derivatives I 1 = 1 G(ψ 1, ψ ) and I = G(ψ 1, ψ ) yields I I 1 = p= i p G p (ψ ψ 1, ε) e i p(ψ 1+ψ ), (3.45) which shows in particular that G p (u, ε) = O(ε 3 ) for p 0, as a consequence of (3.). This implies I 1 = G 0 (ψ ψ 1, ε) + O(ε 3 ), and thus u = G 0 (εω(u) + O(ε3 ), ε). Renaming G 0 (u, ε) = εg 0 (u/ε, ε) and G p (u, ε) = ε 3 Ĝ p (u/ε, ε) yields (3.38). Evaluating (3.45) for ε = 0 and taking the Fourier transform yields the expression (3.39) for Ĝp(u, 0). 15
16 The relations (3.39) allow to determine the expression for the generating function of the map T, given by (3.). In particular, one finds so that G 0 (u, 0) = uω 1 (u) Ω 1 (u), (3.46) G 0 (Ω(C), 0) = h(c)ω(c) C [ 1 + κ = 3(1 + κ ) 1 + κ E(κ) ], (3.47) K(κ) with κ = κ(c). ote that this quantity is identical with the leading term in the expression (3.35) for the average potential per site. This indicates that we have chosen the integration constant in the generating function in such a way that V and G take the same value on corresponding stationary points. The main use of the generating function lies in the following fact. Consider the -point function G (ψ 1,..., ψ ) = G(ψ 1, ψ ) + G(ψ, ψ 3 ) + + G(ψ, ψ 1 + ν), (3.48) defined on (a subset of) the set T ν. The defining property (3.37) of the generating function implies that for any periodic orbit of period of the map T, one has ψ n G (ψ 1,..., ψ ) = I n + I n = 0, for n = 1,...,. (3.49) In other words, -periodic orbits of T with rotation number ν are in one-to-one correspondence with stationary points of the -point function G on T ν. The symmetries of the original potential imply that the -point generating function satisfies the following relations on T ν : G (ψ 1,..., ψ ) = G (ψ,..., ψ, ψ 1 + ν), G (ψ 1,..., ψ ) = G ( ψ,..., ψ 1 ), G (ψ 1,..., ψ ) = G (ψ 1 +,..., ψ + ). (3.50) At this point, we are in the following situation. We have first transformed the initial problem of finding the stationary points of the potential V into the problem of finding periodic orbits of the map T 1, or, equivalently, of the map T. This problem in turn has been transformed into the problem of finding the stationary points of G. Obviously, the whole procedure is of interest only if the stationary points of G are easier to find and analyse than those of V. This, however, is the case here since the -point function is a small perturbation of a function depending only on the differences ψ n+1 ψ n. In other words, G can be interpreted as the energy of a chain of particles with a uniform nearest-neighbour interaction, put in a weak external periodic potential. 3.5 Fourier Representation of the Generating Function We fix ν = M/. Any stationary point of G on T ν admits a Fourier expansion of the form 1 ψ n = νn + ˆψ q ω qn, (3.51) 16 q=0
17 where ω = e i /, and the Fourier coefficients are uniquely determined by ˆψ q = 1 ω qn (ψ n νn) = ˆψ q. (3.5) n=1 ote that ˆψ q = ˆψ q+ for all q. Stationary points of G correspond to stationary points of the function G, obtained by expressing G in terms of Fourier variables ( ˆψ 0,..., ˆψ 1 ). In order to do this, it is convenient to write where = ν/ε and ψ n+1 ψ n = + ε α n ( ε ˆψ 1,..., ˆψ 1 ), ψ n + ψ n+1 = ˆψ 0 + ν(n + 1) + ε β n ( ˆψ 1,..., ˆψ 1 ), (3.53) α n ( ˆψ 1,..., ˆψ 1 ) = 1 1 ε 3 q=1 β n ( ˆψ 1,..., ˆψ 1 ) = 1 1 ε q=1 ˆψ q (ω q 1)ω qn, ˆψ q (ω q + 1)ω qn. (3.54) ote that α n is of order 1 in ε for any stationary point because of the expression (3.) of the twist map. Taking the inverse Fourier transform shows that ˆψ q (ω q 1) = O(ε 3 ) and ˆψ q = O(ε ) for q 0, and thus β n is also of order 1. Expressing G in Fourier variables yields the function G ( ˆψ 0,..., ˆψ 1 ) = e i p ˆψ 0 g p ( ˆψ 1,..., ˆψ 1 ), (3.55) p= where (we drop the ε-dependence of G 0 and Ĝp) g 0 ( ˆψ 1,..., ˆψ 1 ) = ε g p ( ˆψ 1,..., ˆψ 1 ) = ε 3 G 0 ( + ε α n ), n=1 n=1 Ĝ p ( + ε α n )ω pm(n+1) e i ε pβ n for p 0. (3.56) We now examine the symmetry properties of the Fourier coefficients g p. Table shows how the Fourier variables transform under some symmetry transformations, where we only consider transformations leaving T ν invariant. As a consequence, the first two symmetries in (3.50) translate into g p ( ˆψ 1,..., ˆψ 1 ) = ω pm g p (ω ˆψ 1,..., ω 1 ˆψ 1 ), g p ( ˆψ 1,..., ˆψ 1 ) = ω pm g p ( ω 1 ˆψ 1,..., ω ˆψ 1 ). (3.57) R x j x j+1 ψ n ψ n+1 ˆψq ω q ˆψq + νδ q0 CS x j x +1 j ψ n ψ +1 n ˆψq ω q ˆψ q ν( + 1)δ q0 C x j x j ψ n ψ n + ˆψq ˆψ q + δ q0 Table. Effect of some symmetries on original variables, angle variables, and Fourier variables. 17
18 We now introduce new variables χ q, q 0, defined by χ q = i ω q ˆψ 0 /ν ˆψq = χ q. (3.58) The χ q are defined in such a way that they are real for stationary points satisfying, in original variables, the symmetry x j = x n0 j for some n 0. For later convenience, we prefer to consider q as belonging to Q = { 1,..., rather than {1,..., 1}. We set χ = {χ q } q Q and } \ { 0 } (3.59) where G ( ˆψ 0, χ) = G ( ˆψ 0, { ˆψ q = i ω q ˆψ 0 /ν χ q } q Q ) = e i p ˆψ0 g p ( ˆψ 0, χ), (3.60) p= g p ( ˆψ 0, χ) = g p ({ ˆψ q = i ω q ˆψ 0 /ν χ q } q Q ). (3.61) Lemma 3.5. The function G ( ˆψ 0, χ) is ν-periodic in its first argument. Proof: By (3.57), we have g p ( ˆψ 0 + ν, χ) = ω pm g p ( ˆψ 0, χ) (3.6) Since e i p ν = ω pm, replacing ˆψ 0 by ˆψ 0 + ν in (3.60) leaves G invariant. Since G also has period, it has in fact period K, K = gcd(, M). (3.63) Our strategy now proceeds as follows: 1. Show that for each ˆψ 0, and sufficiently small ε, the equations G / χ q = 0, q Q, admit exactly one solution χ = χ ( ˆψ 0 ).. Show that for χ = χ ( ˆψ 0 ), the equation G / ˆψ 0 = 0 is satisfied by exactly 4/K values of ˆψ Uniqueness of χ We start by examining the conditions G / χ q = 0, q Q. It is useful to introduce the scaled variables ρ q = ρ q (χ) = ε 3 χ q sin(q/) (3.64) and the function Γ (a,b) l (ρ), ρ = {ρ q } q Q, defined for l Z and a, b 0 by Γ (a,b) l (ρ) = q 1,...,q a Q q 1,...,q b Q a b 1 { i q i+ j q j =l} ρ qi i=1 j=1 ε tan(q j /)ρ q j. (3.65) By convention, any term in the sum for which q j = / for some j is zero, that is, we set 1/ tan(/) = 0. A few elementary properties following immediately from this definition are: 18
19 Γ (0,0) l (ρ) = δ l0 ; Γ (a,b) l (ρ) = 0 for l > (a + b)/; If ρ q = 0 for q KZ, then Γ (a,b) l (ρ) = 0 for l KZ ; If ρ q = ρ q for all q, then Γ (a,b) l (ρ ) = ( 1) b Γ (a,b) l (ρ). Lemma 3.6. Let H p,q ( ) = Ĝ p( ) εpĝp( ) tan(q/), (3.66) with the convention that H p,/ ( ) = Ĝ p( ). For any stationary point, ρ = ρ(χ) satisfies the fixed-point equation ρ = T ρ = ρ (0) + Φ(ρ, ε), (3.67) where the leading term is given by 1 ρ (0) q = G 0 ( ) ( 1) k+1 e i k ˆψ 0 /M H (k+q)/m,q ( ) if q KZ, k Z : k+q MZ 0 if q KZ, and the remainder is given by Φ q (ρ, ε) = Φ (1) q (ρ, ε) + Φ () q (ρ, ε), with Φ (1) q (ρ, ε) = Φ () q (ρ, ε) = 1 G 0 ( ) ( 1) k+1 e i k ˆψ0/M k Z a 1 1 G 0 ( ) ( 1) k+1 e i k ˆψ 0 /M k Z a+b 1 ε a (a + 1)! G(a+) 0 ( )Γ (a+1,0) k+q (ρ), ε (a+b) a!b! Proof: The definitions (3.54) of α n and β n imply, for any a, b 0, α a n = β b n = q 1,...,q a Q i=1 q 1,...,q b Q j=1 p 0 a ρ qi ω qi(n+1/) e i ˆψ 0 q i /M, b (3.68) H (a) p,q ( )p b Γ (a,b) k pm+q (ρ). (3.69) i ερ q j tan(q j /)ωq j (n+1/) e i ˆψ 0 q j /M. (3.70) It is more convenient to compute G / ρ q rather than G / χ q. We thus have to compute the derivatives of g p with respect to ρ q for all p. For p = 0, we have g 0 ρ q = ε 3 n=1 G 0( + ε α n ) α n ρ q, (3.71) where (3.70) shows that α n / ρ q = ω q(n+1/) e i ˆψ 0 q/m. We expand G 0 ( + ε α n ) into powers of ε, and plug in (3.70) again. In the resulting expression, the sum over n vanishes unless i q i q is a multiple of, say k. This yields g 0 = ε 3 ( 1) k e i k ˆψ 0 /M ε a ρ q a! G(a+1) 0 ( )Γ (a,0) k+q (ρ). (3.7) k Z a 0 We consider the terms a = 0 and a = 1 separately: 19
20 Since Γ (0,0) k+q (ρ) = δ k, q vanishes for all k, the sum actually starts at a = 1. The fact that Γ (1,0) l (ρ) vanishes whenever l > / implies that only the term k = 0 contributes, and yields a contribution proportional to ρ q. Shifting by one unit the summation index a, we get [ g 0 = ε 5 G ρ 0( )ρ q + ( 1) k e i k ˆψ 0 /M ε a ] q (a + 1)! G(a+) 0 ( )Γ (a+1,0) k+q (ρ). (3.73) k Z a 1 A similar computation for p 0 shows that g p e i p ˆψ 0 = ε 5 ( 1) k e i k ˆψ 0 /M ρ q k Z a,b 0 Solving the stationarity condition 0 = G ρ q = p= ε (a+b) H p,q (a) ( )p b Γ (a,b) a!b! k+q pm. (3.74) e i p ˆψ 0 g p ρ q (3.75) with respect to ρ q, and singling out the term a = b = 0 in (3.74) to give the leading term ρ (0) yields the result. ote the following symmetries, which follow directly from the definition of ρ (0) and the properties of Γ (a,b) l : For all q Q, ρ (0) q = ρ(0) q, because H p, q ( ) = H p,q ( ), and thus ρ (0) q R ; If ρ q = 0 for q KZ, then Φ q (ρ, ε) = 0 for q KZ ; If ρ q = ρ q for all q, then Φ q (ρ, ε) = Φ q (ρ, ε); Remark 3.7. The condition k + q MZ, appearing in the definition of ρ (0), can only be fulfilled if q Z + MZ = KZ. If this is the case, set = nk, M = mk, q = lk, with n and m coprime. Then the condition becomes mp kn = l. By Bezout s theorem, the general solution is given in terms of any particular solution (p 0, k 0 ) by p = p 0 + nt, k = k 0 + mt, t Z. (3.76) Thus there will be exactly one p with p < n. If is very large, and M is fixed, then n = /K is also very large. Since the Ĝp( ), being Fourier coefficients of an analytic function, decrease exponentially fast in p, the sum in (3.68) will be dominated by the term with the lowest possible p. We now introduce the following weighted norm on C Q : ρ λ = sup e λ q /M ρ q, (3.77) q Q where λ > 0 is a free parameter. One checks that the functions G 0 ( ) and Ĝp( ) are analytic for Re > O(1/ log ε ). Thus it follows from Cauchy s theorem that there exist positive constants L 0, r < O(1/ log ε ) and λ 0 such that 0 ( ) L a! a! 0 r a and Ĝ(a) p ( ) L 0 G (a) r a e λ 0 p for all a 0 and p Z. For sufficiently small ε, it is possible to choose r = /. (3.78) 0
21 Proposition 3.8. There exist numerical constants c 0, c 1 > 0, such that for any λ < λ 0, and any such that e λ0/m 1/, the estimates T ρ λ c 1L 0 [1 G 0 ( ) + M ( ] 3 ρ λ + ε Mη(λ 0, λ) )ε ρ λ, (3.79) T ρ T ρ λ c 1L 0 M [ ( ρ λ G 0 ( ) 4 ρ ) ] λ + ε Mη(λ0, λ) ε ρ ρ λ (3.80) hold with η(λ 0, λ) = (e λ /λ 0 ) (1/(λ 0 λ)), provided ρ and ρ satisfy ε ( ρ λ ρ ) ( λ c0 1 λ 0 λ M M λ ). (3.81) M Proof: The lower bound directly implies tan(q/) ε q ε = [ H p,q (a) a! ( ) L 0 r a M p ] e λ 0 p q q (3.8) M. (3.83) The assumption on allows ρ q to be bounded by a geometric series of ratio smaller than 1/, which is dominated by the term k = 0, yielding ρ (0) λ c L 0 G 0 ( ) e (λ 0 λ) q /M c L 0 G, (3.84) 0 ( ) where c > 0 is a numerical constant. The fact that Γ (a,b) l (ρ) contains less than a+b 1 terms, together with (3.8), implies the bound ( Γ (a,b) M l (ρ) a+b 1 ) b e λ l /M ρ a+b λ. (3.85) Assuming that ρ λ c 0 /Mε for sufficiently small c 0, it is straightforward to obtain the estimate Φ (1) (ρ, ε) λ c 3L 0 M G 0 ( ) 4 ε ρ λ. (3.86) In the sequel, we assume that q > 0, since by symmetry of the norm under permutation of ρ q and ρ q the same estimates will hold for q < 0. The norm of Φ () (ρ, ε) is more delicate to estimate. We start by writing Φ () q (ρ, ε) L 0 1 G 0 ( ) a+b 1 ( ε ρ λ ) a+b 1 r a+1 ( ) M b S q (b), (3.87) where S q (b) = 1 ( p b 1 + M p b! q p 0 ) e { (λ 0 λ) p exp λ } (M p + k + q Mp ). M k Z (3.88) We decompose S q (b) = S + q (b) + S q (b), where S + q (b) and S q (b) contain, respectively, the sum over positive and negative p. In the sequel, we shall only treat the term S + q (b). The 1
22 sum over k in (3.88) is dominated by the term for which k is the closest possible to Mp q, and can be bounded by a geometric series. The result for p > 0 is { exp λ } ( (Mp + k + q Mp ) c 4 e λp e λq/m). (3.89) M k Z We now distinguish between two cases. If q M, we bound the sum over k by e λp, yielding S q + (b) c 4 4M b! q p 1 p b+1 e λ 0p 4Mc 5 b + 1 λ b 0. (3.90) Since e λq/m e λ, it follows Φ () q (ρ, ε) c 6L 0 M eλ G 0 ( ) r ε ρ λ e λq/m. (3.91) λ 0 If q > M, we split the sum over p at q/m. For Mp q, we bound (1 + Mp/q) by and the sum over k by e λq/m. For Mp > q, we bound the the sum over k by e λp e λq/m. This shows and thus Φ () S + q (b) c 7 M b + 1 (λ 0 λ) b e λq/m, (3.9) q (ρ, ε) c 8L 0 M G 0 ( ) r (λ 0 λ) ε ρ λ e λq/m. (3.93) ow (3.93) and (3.91), together with (3.84) imply (3.79). The proof of (3.80) is similar, showing first the estimate a ρ qi i=1 a i=1 by induction on a, and then Γ (a,b) l ρ q i a ( ρ λ ρ λ ) a 1 e λ a i=1 q i /M ρ ρ λ (3.94) (ρ) Γ (a,b) (ρ ) (a + b) [ ( ρ λ ρ λ ) ] a+b 1 l ( ) M b e λ l /M ρ ρ λ. (3.95) Corollary 3.9. Fix R 0 > c 1 L 0 [ G 0 ( ) ] 1. For any > 0 and any λ < λ 0, there exists an ε 0 = ε 0 (, λ, λ 0, R 0 ) > 0 such that for all ε < ε 0, the map T admits a unique fixed point ρ in the ball B λ (0, R 0 ) = {ρ C Q : ρ λ < R 0 }. Furthermore, the fixed point satisfies ρ q = 0 whenever q KZ ; ρ q = ρ q, and thus ρ q R for all q. Proof: Estimate (3.79) for T ρ λ implies that if ε R 0 Mη(λ 0, λ) 3 MR 0 ( G 0 ( ) ) R 0 1, (3.96) c 1 L 0
23 then T (B λ (0, R 0 )) B λ (0, R 0 ). If in addition ( ε c 0 1 λ 0 λ MR 0 M λ ), (3.97) M then Estimate (3.80) for T ρ T ρ λ applies for ρ, ρ B λ (0, R 0 ). It is then immediate to check that T is a contracting in B λ (0, R 0 ), as a consequence of (3.96). Thus the existence of a unique fixed point in that ball follows by Banach s contraction lemma. Finally, the assertions on the properties of ρ follow from the facts that they are true for ρ (0), that they are preserved by T and that ρ = lim n T n ρ (0). A direct consequence of this result is that for any ˆψ 0, and sufficiently small ε, there is a unique ρ = ρ ( ˆψ 0 ) (and thus a unique χ ( ˆψ 0 )) satisfying the equations G / χ q = 0 for all q Q. Indeed, we take R 0 sufficiently large that our a priori estimates on the χ q imply that ρ B 0 (0, R 0 ). Then it follows that ρ is unique. Furthermore, for any λ < λ 0, making ε sufficiently small we obtain an estimate on ρ λ. 3.7 Stationary Values of ˆψ 0 We now consider the condition G / ˆψ 0 = 0. As pointed out at the end of Section 3.5, G ( ˆψ 0, χ) is a K/-periodic function of ˆψ 0. For the same reasons, χ ( ˆψ 0 ) is also K/periodic. Hence it follows that the function ˆψ 0 G ( ˆψ 0, χ ( ˆψ 0 )) has the same period as well, and thus admits a Fourier series of the form with Fourier coefficients ĝ k = 1 G ( ˆψ 0, χ ( ˆψ 0 )) = 0 p= k= ĝ k e i k ˆψ 0 /K, (3.98) e i(p k/k) ˆψ0 g p ( ˆψ 0, χ ( ˆψ 0 )) d ˆψ 0 (3.99) (we have chosen [0, ] as interval of integration for later convenience). Using the change of variables ˆψ 0 ˆψ 0 in the integral, and the various symmetries of the coefficients (in particular (3.57)), one checks that ĝ k = ĝ k. Therefore (3.98) can be rewritten in real form as G ( ˆψ 0, χ ( ˆψ 0 )) = ĝ 0 + ĝ k cos ( k ˆψ 0 /K ). (3.100) ow G / ˆψ 0 vanishes if and only if the total derivative of G ( ˆψ 0, χ ( ˆψ 0 )) with respect to ˆψ 0 is equal to zero. This function obviously vanishes for ˆψ 0 = lk/, l = 1,..., 4/K, and we have to show that these are the only roots. We first observe that the Fourier coefficients ĝ k can be expressed directly in terms of the generating function (3.38), written in the form k=1 G(u, v, ε) = εg 0 (u, ε) + ε 3 p 0 Ĝ p (u, ε) e i pv. (3.101) In the sequel, α n( ˆψ 0 ) and β n( ˆψ 0 ) denote the quantities introduced in (3.54), evaluated at ˆψ q = i ω q ˆψ 0 /ν χ q( ˆψ 0 ). 3
24 Lemma The Fourier coefficients ĝ k are given in terms of the generating function by where ĝ k = 0 e i k ˆψ 0 /K Λ 0 ( ˆψ 0 ) d ˆψ 0, (3.10) Λ 0 ( ˆψ 0 ) = G ( + ε α0( ˆψ 0 ), ˆψ 0 + ν + 1 ε β0( ˆψ ) 0 ), ε. (3.103) Proof: The coefficient ĝ k can be rewritten as where ĝ k = 1 n=1 0 e i k ˆψ 0 /K Λ n ( ˆψ 0 ) d ˆψ 0, (3.104) Λ n ( ˆψ 0 ) = εg 0 ( + ε α n( ˆψ 0 )) + ε 3 p 0 p e i p ˆψ 0 Ĝ p ( + ε α n( ˆψ 0 ))ω pm(n+1) e i ε pβ n( ˆψ 0 ). (3.105) Using the periodicity of χ, one finds that α n( ˆψ 0 + ν) = α n+1 ( ˆψ 0 ) and similarly for β n, which implies Λ n ( ˆψ 0 ) = Λ 0 ( ˆψ 0 + νn). Inserting this into (3.104) and using the change of variables ˆψ 0 ˆψ 0 ν in the nth summand allows to express ĝ k as the (k/k)th Fourier coefficient of Λ 0. Finally, Λ 0 ( ˆψ 0 ) can also be written in the form (3.103). Relation (3.10) implies that the ĝ k decrease exponentially fast with k, like e λ 0k/K. Hence the Fourier series (3.100) is dominated by the first two terms, provided is large enough. In order to obtain the existence of exactly 4/K stationary points, it is thus sufficient to prove that ĝ 1 is also bounded below by a quantity of order e λ 0/K. Proposition For any > 0, there exists ε 1 ( ) > 0 such that whenever ε < ε 1 ( ), Furthermore, sign(ĝ 1 ) = ( 1) 1+M/K. (3.106) { ĝ k exp 3k 5 λ 0 ( ) } ĝ 1 4 K k, (3.107) where λ 0 ( ) is a monotonously increasing function of, satisfying λ 0 ( ) = + O( ) as 0, and diverging logarithmically as 1. Proof: First recall that = ν/ε = M/ε, where M is fixed. Thus taking ε small for given automatically yields a large. Combining the expression (3.) for the twist map and the defining property (3.37) of the generating function with the relations u = (ψ n+1 ψ n )/ε and v = ψ n + ψ n+1, one obtains the relation v G(u, v, ε) = ε 3 It follows from (3.4) and the definition (3.0) of h(c) that [ ) ] g( 1 (v εu), Ω 1 (u), ε + O(ε ). (3.108) g(ψ, I, 0) = 1 xw Ω(I) 4 [1 + w 4x + 3x 4 ] = 1 xw Ω(I) 4 [1 + 4C 6x + 4x 4 ], (3.109) 4
25 Im z / 3/ Re z i λ 0 z1 z Γ Figure 6. The integration contour FigureΓ1 used in the integral (3.113). where x and w have to be expressed as functions of ψ and I via (3.17) and (3.19). In particular, we note that w = C dx a K(κ) dψ = Ω(I) dx dψ, (3.110) where we used (3.0) again. This allows us to write g(ψ, I, 0) = 1 d [(1 + 4C)x 3x ] 8 dψ x6. (3.111) A similar argument would also allow to express the first-order term in ε of g(ψ, I, ε) as a function of x = x(ψ, I). Also note the equality = Ω(I) + O(ε) = b(c) K(κ) + O(ε) = 1 + O(ε), (3.11) 1 + κ K(κ) which follows from the relation (3.30) between ν and Ω(I). The properties of elliptic functions imply that for fixed I, ψ x(ψ, I) is periodic in the imaginary direction, with period λ 0 = K( 1 κ )/ K(κ), and has poles located in ψ = n + (m + 1) i λ 0, n, m Z. As a consequence, the definition of the map 1 T = Φ T Φ 1 implies in particular that g(ψ, I, ε) is a meromorphic function of ψ, with poles at the same location, and satisfying g(ψ + i λ 0, I, ε) = g(ψ, I, ε). These properties yield informations on periodicity and location of poles for Λ 0 ( ˆψ 0 ), in particular Λ 0 ( ˆψ 0 + i λ 0 ) = Λ 0 ( ˆψ 0 ) + O(ε ). Let Γ be a rectangular contour with vertices in /, / i λ 0, 3/ i λ 0, and 3/, followed in the anticlockwise direction (Figure 6), and consider the contour integral J = 1 e i kz/k Λ 0 (z) dz. (3.113) Γ The contributions of the integrals along the vertical sides of the rectangle cancel by periodicity. Therefore, by Lemma 3.10 and the approximate periodicity of Λ 0 in the imaginary direction, J = 1 [ ( )] ĝ k e kλ 0/K ĝ k + O(ε 5 ). (3.114) On the other hand, the residue theorem yields J = i z j e i kz j/k Res(Λ 0 (z), z j ), (3.115) 5
26 where the z j denote the poles of the function Λ 0 (z), lying inside Γ. There are two such poles, located in z 1 = i λ 0 ν+ε +O(ε ), and z = z 1 +, and they both yield the same contribution, of order e λ 0k(1+O(ε ))/K, to the sum. Comparing (3.114) and (3.115) shows that ĝ k / is of the same order. Finally, the leading term of ĝ 1 can be determined explicitly using (3.111) and Jacobi s expression (A.11) for the Fourier coefficients of powers of elliptic functions, and is found to have sign ( 1) 1+M/K for sufficiently large. Choosing ε small enough (for fixed ε) guarantees that ĝ 1 dominates all ĝ k for k. Corollary 3.1. For ε < ε 1 ( ), the -point generating function G admits exactly 4/K stationary points, given by ˆψ 0 = lk/, l = 1,..., 4/K, and χ = χ ( ˆψ 0 ). Proof: In the points ˆψ 0 = lk/, the derivative of the function ˆψ 0 G ( ˆψ 0, χ ( ˆψ 0 )) vanishes, while its second derivative is bounded away from zero, as a consequence of Estimate (3.107). Thus these points are simple roots of the first derivative, which is bounded away from zero everywhere else. 3.8 Index of the Stationary Points We finally examine the stability type of the various stationary points, by first determining their index as stationary points of the -point generating function G, and then examining how this translates into their index as stationary points of the potential V γ. Proposition Let ( ˆψ 0, χ ( ˆψ 0 )) be a stationary point of G with rotation number ν = /M. Let x = x ( ˆψ 0 ) be the corresponding stationary point of the potential V γ, and let K = gcd(, M). If M/K is odd, then the points x (0), x (K/),... are saddles of even index of V γ, while the points x (K/), x (3K/),... are saddles of odd index of V γ. If M/K is even, then the points x (0), x (K/),... are saddles of odd index of V γ, while the points x (K/), x (3K/),... are saddles of even index of V γ. Proof: We first determine the index of ( ˆψ 0, χ ( ˆψ 0 )) as stationary point of G. Using the fact that G 0 ( ) is negative (Ω 1 ( ) being decreasing), one sees that the Hessian matrix of G is a small perturbation of a diagonal matrix with 1 negative eigenvalues. The th eigenvalue, which corresponds to translations of ˆψ 0, has the same sign as the second derivative of ˆψ 0 G ( ˆψ 0, χ ( ˆψ 0 )), which is equal to ( 1) M/K sign cos( ˆψ 0 /K). Thus ( ˆψ 0, χ ( ˆψ 0 )) is an -saddle of G if this sign is negative, and an ( 1)-saddle otherwise. The same is true for the index of ψ = (ψ 1,..., ψ ) as a stationary point of G. Let R be the so-called residue of the periodic orbit of T associated with the stationary point. This residue is equal to ( Tr(DT ))/4, where DT is the Jacobian of T at the orbit, and indicates the stability type of the periodic orbit: The orbit is hyperbolic if R < 0, elliptic if 0 < R < 1, and inverse hyperbolic if R > 1. It is known [MM83] that the residue R is related to the index of ψ be the identity R = 1 det(hess G (ψ)) 4 j=1 ( 1G(ψ j, ψ j+1 )). (3.116) In our case, 1 G(ψ j, ψ j+1 ) is always negative, so that R is positive if ψ is an ( 1)- saddle, and negative if ψ is an -saddle. ow x ( ˆψ 0 ) also corresponds to a periodic orbit of the map (3.), whose generating function is H(x n, x n+1 ) = 1 (x n x n+1 ) + γ U(x n). The corresponding -point generating 6
Metastability in Interacting Nonlinear Stochastic Differential Equations I: From Weak Coupling to Synchronisation
Metastability in Interacting Nonlinear Stochastic Differential Equations I: From Weak Coupling to Synchronisation Nils Berglund, Bastien Fernandez and Barbara Gentz Abstract We consider the dynamics of
More informationMetastability for the Ginzburg Landau equation with space time white noise
Barbara Gentz gentz@math.uni-bielefeld.de http://www.math.uni-bielefeld.de/ gentz Metastability for the Ginzburg Landau equation with space time white noise Barbara Gentz University of Bielefeld, Germany
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationMetastability for interacting particles in double-well potentials and Allen Cahn SPDEs
Nils Berglund nils.berglund@univ-orleans.fr http://www.univ-orleans.fr/mapmo/membres/berglund/ SPA 2017 Contributed Session: Interacting particle systems Metastability for interacting particles in double-well
More information2012 NCTS Workshop on Dynamical Systems
Barbara Gentz gentz@math.uni-bielefeld.de http://www.math.uni-bielefeld.de/ gentz 2012 NCTS Workshop on Dynamical Systems National Center for Theoretical Sciences, National Tsing-Hua University Hsinchu,
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationStochastic differential equations in neuroscience
Stochastic differential equations in neuroscience Nils Berglund MAPMO, Orléans (CNRS, UMR 6628) http://www.univ-orleans.fr/mapmo/membres/berglund/ Barbara Gentz, Universität Bielefeld Damien Landon, MAPMO-Orléans
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationWaves on 2 and 3 dimensional domains
Chapter 14 Waves on 2 and 3 dimensional domains We now turn to the studying the initial boundary value problem for the wave equation in two and three dimensions. In this chapter we focus on the situation
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationAdditional material: Linear Differential Equations
Chapter 5 Additional material: Linear Differential Equations 5.1 Introduction The material in this chapter is not formally part of the LTCC course. It is included for completeness as it contains proofs
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationChapter 3a Topics in differentiation. Problems in differentiation. Problems in differentiation. LC Abueg: mathematical economics
Chapter 3a Topics in differentiation Lectures in Mathematical Economics L Cagandahan Abueg De La Salle University School of Economics Problems in differentiation Problems in differentiation Problem 1.
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationResidence-time distributions as a measure for stochastic resonance
W e ie rstra ß -In stitu t fü r A n g e w a n d te A n a ly sis u n d S to ch a stik Period of Concentration: Stochastic Climate Models MPI Mathematics in the Sciences, Leipzig, 23 May 1 June 2005 Barbara
More informationHarmonic Functions and Brownian motion
Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationOn the Theory of Metals.
On the Theory of Metals. I. Eigenvalues and eigenfunctions of a linear chain of atoms H. Bethe in Rome Zeitschrift für Physik 71 (1931) 05 6. 17 June 1931 Original title: Zur Theorie der Metalle. I. Eigenwerte
More informationQuivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014
Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationSome SDEs with distributional drift Part I : General calculus. Flandoli, Franco; Russo, Francesco; Wolf, Jochen
Title Author(s) Some SDEs with distributional drift Part I : General calculus Flandoli, Franco; Russo, Francesco; Wolf, Jochen Citation Osaka Journal of Mathematics. 4() P.493-P.54 Issue Date 3-6 Text
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationMATH 1A, Complete Lecture Notes. Fedor Duzhin
MATH 1A, Complete Lecture Notes Fedor Duzhin 2007 Contents I Limit 6 1 Sets and Functions 7 1.1 Sets................................. 7 1.2 Functions.............................. 8 1.3 How to define a
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationHalf of Final Exam Name: Practice Problems October 28, 2014
Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationBefore we prove this result, we first recall the construction ( of) Suppose that λ is an integer, and that k := λ+ 1 αβ
600 K. Bringmann, K. Ono Before we prove this result, we first recall the construction ( of) these forms. Suppose that λ is an integer, and that k := λ+ 1 αβ. For each A = Ɣ γ δ 0 (4),let j(a, z) := (
More informationWe denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,
The derivative Let O be an open subset of R n, and F : O R m a continuous function We say F is differentiable at a point x O, with derivative L, if L : R n R m is a linear transformation such that, for
More informationNotes on Equidistribution
otes on Equidistribution Jacques Verstraëte Department of Mathematics University of California, San Diego La Jolla, CA, 92093. E-mail: jacques@ucsd.edu. Introduction For a real number a we write {a} for
More informationPower series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) a n z n. n=0
Lecture 22 Power series solutions for 2nd order linear ODE s (not necessarily with constant coefficients) Recall a few facts about power series: a n z n This series in z is centered at z 0. Here z can
More informationConvergence Rate of Nonlinear Switched Systems
Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the
More informationNotes for Expansions/Series and Differential Equations
Notes for Expansions/Series and Differential Equations In the last discussion, we considered perturbation methods for constructing solutions/roots of algebraic equations. Three types of problems were illustrated
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationSolutions for B8b (Nonlinear Systems) Fake Past Exam (TT 10)
Solutions for B8b (Nonlinear Systems) Fake Past Exam (TT 10) Mason A. Porter 15/05/2010 1 Question 1 i. (6 points) Define a saddle-node bifurcation and show that the first order system dx dt = r x e x
More information= 0. = q i., q i = E
Summary of the Above Newton s second law: d 2 r dt 2 = Φ( r) Complicated vector arithmetic & coordinate system dependence Lagrangian Formalism: L q i d dt ( L q i ) = 0 n second-order differential equations
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More informationTheory and applications of random Poincaré maps
Nils Berglund nils.berglund@univ-orleans.fr http://www.univ-orleans.fr/mapmo/membres/berglund/ Random Dynamical Systems Theory and applications of random Poincaré maps Nils Berglund MAPMO, Université d'orléans,
More informationDRIFT OF SPECTRALLY STABLE SHIFTED STATES ON STAR GRAPHS
DRIFT OF SPECTRALLY STABLE SHIFTED STATES ON STAR GRAPHS ADILBEK KAIRZHAN, DMITRY E. PELINOVSKY, AND ROY H. GOODMAN Abstract. When the coefficients of the cubic terms match the coefficients in the boundary
More informationThe Eyring Kramers law for potentials with nonquadratic saddles
The Eyring Kramers law for potentials with nonquadratic saddles Nils Berglund and Barbara Gentz Abstract The Eyring Kramers law describes the mean transition time of an overdamped Brownian particle between
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
More informationB5.6 Nonlinear Systems
B5.6 Nonlinear Systems 5. Global Bifurcations, Homoclinic chaos, Melnikov s method Alain Goriely 2018 Mathematical Institute, University of Oxford Table of contents 1. Motivation 1.1 The problem 1.2 A
More information16. Local theory of regular singular points and applications
16. Local theory of regular singular points and applications 265 16. Local theory of regular singular points and applications In this section we consider linear systems defined by the germs of meromorphic
More information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K. R. MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND Second Online Version, December 1998 Comments to the author at krm@maths.uq.edu.au Contents 1 LINEAR EQUATIONS
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationExponentially small splitting of separatrices of the pendulum: two different examples. Marcel Guardia, Carme Olivé, Tere M-Seara
Exponentially small splitting of separatrices of the pendulum: two different examples Marcel Guardia, Carme Olivé, Tere M-Seara 1 A fast periodic perturbation of the pendulum We consider a non-autonomous
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationarxiv: v2 [math.ds] 19 Jul 2012
arxiv:1107.2430v2 [math.ds] 19 Jul 2012 An algorithm to identify automorphisms which arise from self-induced interval exchange transformations Yann Jullian Abstract We give an algorithm to determine if
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationThe Higgins-Selkov oscillator
The Higgins-Selkov oscillator May 14, 2014 Here I analyse the long-time behaviour of the Higgins-Selkov oscillator. The system is ẋ = k 0 k 1 xy 2, (1 ẏ = k 1 xy 2 k 2 y. (2 The unknowns x and y, being
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationMAGNETIC BLOCH FUNCTIONS AND VECTOR BUNDLES. TYPICAL DISPERSION LAWS AND THEIR QUANTUM NUMBERS
MAGNETIC BLOCH FUNCTIONS AND VECTOR BUNDLES. TYPICAL DISPERSION LAWS AND THEIR QUANTUM NUMBERS S. P. NOVIKOV I. In previous joint papers by the author and B. A. Dubrovin [1], [2] we computed completely
More information14 Divergence, flux, Laplacian
Tel Aviv University, 204/5 Analysis-III,IV 240 4 Divergence, flux, Laplacian 4a What is the problem................ 240 4b Integral of derivative (again)........... 242 4c Divergence and flux.................
More informationDIMENSION OF SLICES THROUGH THE SIERPINSKI CARPET
DIMENSION OF SLICES THROUGH THE SIERPINSKI CARPET ANTHONY MANNING AND KÁROLY SIMON Abstract For Lebesgue typical (θ, a), the intersection of the Sierpinski carpet F with a line y = x tan θ + a has (if
More informationCenters of projective vector fields of spatial quasi-homogeneous systems with weight (m, m, n) and degree 2 on the sphere
Electronic Journal of Qualitative Theory of Differential Equations 2016 No. 103 1 26; doi: 10.14232/ejqtde.2016.1.103 http://www.math.u-szeged.hu/ejqtde/ Centers of projective vector fields of spatial
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationCourse 214 Section 2: Infinite Series Second Semester 2008
Course 214 Section 2: Infinite Series Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 2 Infinite Series 25 2.1 The Comparison Test and Ratio Test.............. 26
More informationThe heat equation in time dependent domains with Neumann boundary conditions
The heat equation in time dependent domains with Neumann boundary conditions Chris Burdzy Zhen-Qing Chen John Sylvester Abstract We study the heat equation in domains in R n with insulated fast moving
More informationPart 2 Continuous functions and their properties
Part 2 Continuous functions and their properties 2.1 Definition Definition A function f is continuous at a R if, and only if, that is lim f (x) = f (a), x a ε > 0, δ > 0, x, x a < δ f (x) f (a) < ε. Notice
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationMarkov Chains CK eqns Classes Hitting times Rec./trans. Strong Markov Stat. distr. Reversibility * Markov Chains
Markov Chains A random process X is a family {X t : t T } of random variables indexed by some set T. When T = {0, 1, 2,... } one speaks about a discrete-time process, for T = R or T = [0, ) one has a continuous-time
More informationNewtonian Mechanics. Chapter Classical space-time
Chapter 1 Newtonian Mechanics In these notes classical mechanics will be viewed as a mathematical model for the description of physical systems consisting of a certain (generally finite) number of particles
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationarxiv: v3 [math.dg] 19 Jun 2017
THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS OF PLANAR CURVES arxiv:160505361v3 [mathdg] 19 Jun 017 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Abstract In this paper we study global properties
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationIntroductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19
Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each
More informationPseudo-Hermiticity and Generalized P T- and CP T-Symmetries
Pseudo-Hermiticity and Generalized P T- and CP T-Symmetries arxiv:math-ph/0209018v3 28 Nov 2002 Ali Mostafazadeh Department of Mathematics, Koç University, umelifeneri Yolu, 80910 Sariyer, Istanbul, Turkey
More informationTHE HYPERBOLIC METRIC OF A RECTANGLE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 26, 2001, 401 407 THE HYPERBOLIC METRIC OF A RECTANGLE A. F. Beardon University of Cambridge, DPMMS, Centre for Mathematical Sciences Wilberforce
More informationUniversity of Houston, Department of Mathematics Numerical Analysis, Fall 2005
3 Numerical Solution of Nonlinear Equations and Systems 3.1 Fixed point iteration Reamrk 3.1 Problem Given a function F : lr n lr n, compute x lr n such that ( ) F(x ) = 0. In this chapter, we consider
More informationNewman-Penrose formalism in higher dimensions
Newman-Penrose formalism in higher dimensions V. Pravda various parts in collaboration with: A. Coley, R. Milson, M. Ortaggio and A. Pravdová Introduction - algebraic classification in four dimensions
More informationWiener Measure and Brownian Motion
Chapter 16 Wiener Measure and Brownian Motion Diffusion of particles is a product of their apparently random motion. The density u(t, x) of diffusing particles satisfies the diffusion equation (16.1) u
More informationITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationBOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET
BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET WEILIN LI AND ROBERT S. STRICHARTZ Abstract. We study boundary value problems for the Laplacian on a domain Ω consisting of the left half of the Sierpinski
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More information