AVANZA. Vol. iii. Fm - Iit, Uacj (2013) 17 23. Isbn: 978-607-9224-52-3 A note on Dulac functions for a sum of vector fields Osuna, Osvaldo, Vargas-De-León, Cruz, Villaseñor, Gabriel Abstract In this paper we give sufficient conditions for constructing Dulac functions of a sum of planar vector fields. We give some applications and examples in order to illustrate the results. Key words: Bendixson-Dulac criterion, Dulac functions, limit cycles. 1 Introduction Let F (x 1, x 2 ) = (f 1 (x 1, x 2 ), f 2 (x 1, x 2 )) be a planar vector field, with components f 1, f 2 C 1 -functions defined on an open set Ω which by convenience we consider simply connected. We consider { ẋ1 = f 1 (x 1, x 2 ), (1) ẋ 2 = f 2 (x 1, x 2 ), (x 1, x 2 ) Ω, in short write, ẋ = F (x), x = (x 1, x 2 ) Ω. (2) It is well known that many questions in applications of systems (1) are related with periodic orbits, and of particular interest are the existence or nonexistence of such orbits, number of them, among others; see [6]. Along the work we will use the Lebesgue measure, now define the sets F ± Ω := {f C0 (Ω, R ± {0}) : vanishes at most on a measure zero set}, where as usual C 0 denotes the set of continuous functions and consider F Ω := F Ω F + Ω. 2000, Classifications numbers Ams. 34A34, 34C25. Instituto de Física y Matemáticas, Universidad Michoacana / Unidad Acad. de Matemáticas, UAGro. / Instituto Tecnológico de Morelia, Depto. de Ciencias Básicas.
18 Osuna, O., Vargas, C., Villaseñor, G. For the simply connected region Ω and F, we introduce the sets D ± Ω (F ) = {h C1 (Ω, R) : div(hf ) := (hf 1) + (hf 2) x 2 F ± Ω }. We recall that a limit cycle of the differential equation (1) is a periodic orbit of this equation which is isolated in the set of all periodic orbits of the system (1). A classical result to rule out existence of periodic orbits or limit cycles is the Bendixson-Dulac criterion, and for convenience we recall this result (see [3], p. 137). Theorem 1.1. (Bendixson-Dulac criterion) Let f 1 (x 1, x 2 ), f 2 (x 1, x 2 ) and h(x 1, x 2 ) be functions C 1 in a simply connected domain Ω R 2 such that (f 1 h) + (f 2h) x 2 F Ω. Then the system (1) does not have periodic orbits in Ω. A function as in the theorem is called a Dulac function. Note that a Dulac function of (1) is an element in the set D Ω (F ) := D + Ω (F ) D Ω (F ). It is well known that Bendixson-Dulac criterion is a very useful tool for investigation of limit cycles (see [1], [2], [5]) or also to discard existence of polycycles. Despite the relevance of Bendixson-Dulac s criterion it suffers the drawback that there is no general algorithm for finding h functions. In this note we study the problem of when the sum of two vector fields admits a Dulac function and consequently has no periodic orbits. 2 Results The following gives information on Dulac functions for linear relationships of vector fields. Lemma 2.1. Let Ω R 2 be a simply connected set and X i := p i (x 1, x 2 ) + q i (x 1, x 2 ) x 2 for i = 1, 2, be two C 1 vectors fields defined on Ω with X 1 ± X 2 not identically zero on any neighbourhood, the following holds: a) If h D Ω (X i ), then h D Ω (X 1 + X 2 ) or h D Ω (X 1 X 2 ). b) If h D ± Ω (X i), then h D ± Ω (X 1 + X 2 ). c) If h D Ω (X 1 ), then h D Ω (cx 1 ) for c R\{0}.
Dulac functions for a sum of vector fields 19 Proof. We consider the case a). We have div(hx 1 )div(hx 2 ) F + Ω or div(hx 1)div(hX 2 ) F Ω, in the first case h D Ω (X 1 + X 2 ) and in the second case h D Ω (X 1 X 2 ). Recall that a function f C 1 (Ω, R) is an integrating factor of the vector field X if div(fx) = 0. Proposition 2.2. Let Ω be a simply connected open set and F 1, F 2 C 1 (Ω, R 2 ) be vector fields. Assume that h i D ± Ω (F i) for i = 1, 2 and h i is an integrating factor of F j for 1 i j 2, then h 1 + h 2 D ± Ω (F 1 + F 2 ), in particular, the sum F 1 + F 2 does not admit periodic orbits or limit cycles entirely contained in Ω. Proof. A direct calculation gives div((h 1 + h 2 )(F 1 + F 2 )) = div(h 1 F 1 ) + div(h 2 F 1 ) + div(h 1 F 2 ) + div(h 2 F 2 ) therefore, h 1 + h 2 D Ω (F 1 + F 2 ). = div(h 1 F 1 ) + div(h 2 F 2 ), The following result in [4] gives conditions on which vector fields we can add to one given such that the resulting system admits a Dulac function: Proposition 2.3. Assume that h D ± Ω (F ), then for every C1 vector field G with (±)div(hg) 0 we have h D Ω (F + G), in particular, the sum F + G does not admit periodic orbits or limit cycles entirely contained in Ω. We remark that proposition 2.3 can be used for to simplify the construction of Dulac functions of some systems, in effect, we write the vector field as the sum of two vector fields with some specific properties Example 2.4. Consider the model for the interaction between two species given by ẋ 1 = x 1 x 2 x 1 + µx 2 = f 1, ẋ 2 = x 2 x 1 x 2 + ɛx 1 = f 2, we can write (f 1, f 2 ) = (x 1 x 2 x 1, x 2 x 1 x 2 )+(µx 2, ɛx 1 ): note that if h(x 1, x 2 ) = 1 x 1 x 2 then div(h(x 1 x 2 x 1, x 2 x 1 x 2 )) = 0 and div(h(µx 2, ɛx 1 )) < 0, thus h is a Dulac function on R 2 + := {(x 1, x 2 ) R 2 : x 1 > 0, x 2 > 0}.
20 Osuna, O., Vargas, C., Villaseñor, G. Example 2.5. Consider the system ẋ 1 = x 2 = f 1, ẋ 2 = x 1 x 2 + x 2 1 + x 2 2 = f 2, note that if we assume a Dulac function h depending only on x 1 then div(h 1 (0, x 1 x 2 + x 2 1 )) = h(x 1), so we need to find a function that does not change sign and such that div(h(x 2, x 2 h 2 )) = 0, i. e., 0 = x 2 + 2hx 2, but this equation admits the solution h(x 1 ) = exp( 2x 1 ); by proposition 2.3 this is a Dulac function of the system. Example 2.6. We consider the classic susceptible exposed infectious susceptible (Seis) epidemic model with constant population (η) ẋ 0 = µη βx 0 x 2 µx 0 + δx 2, ẋ 1 = βx 0 x 2 (ɛ + µ)x 1, (3) ẋ 2 = ɛx 1 (δ + µ)x 2, with positive parameters, again we consider Σ = { (x 0, x 1, x 2 ) R 3 + : x 0 0, x 1 0, x 2 0, x 0 + x 1 + x 2 = η }. The system (3) is subject to the restriction x 0 +x 1 +x 2 = η, and using x 0 = η x 1 x 2 in the model, we can eliminate x 0 from the equations. This substitution gives the simple model ẋ 1 = β(η x 1 x 2 )x 2 (ɛ + µ)x 1 = f 1, ẋ 2 = ɛx 1 (δ + µ)x 2 = f 2, has h(x 1, x 2 ) = x 1 1 as a Dulac function, we consider a term of transmission between exposed and susceptible individuals G := (κ(η x 1 x 2 )x 1, 0) and note that div(hg) = κ < 0; by above proposition we get h D Σ (F + G). Now we analyse other conditions such that a sum of vector fields admit Dulac functions. Proposition 2.7. Assume that 0 h D + Ω (F ) and h 0, i. e., an harmonic or subharmonic function, then we have D Ω (F + h). Proof. A direct calculation yields div(h h) = ( h) 2 + h 0, the result follows from proposition 2.3.
Dulac functions for a sum of vector fields 21 Example 2.8. Consider the system given in example 2.4, note that the Dulac function h(x 1, x 2 ) = exp( 2x 1 ) obtained is a subharmonic function, i. e., h 0, therefore if to original vector field we add the gradient h, then the new vector field admits no periodic orbits. Proposition 2.9. Let h be a Dulac function of F with div(hf ) 0, suppose that h 0, h 1 (c) bounds a convex region for all c R + and h(p) = 0 for some p. Let G be a vector field with p critical point, and div(g) > 0, x p, then D R 2(F + G), in particular, the sum F + G does not admit periodic orbits or limit cycles entirely contained in Ω. Proof. First by the convexity assumption the gradient h is outside of level sets h 1 (c) for c > 0 fixed. As div(g) > 0, x p, the flux of G is expanded, so that in each point of the level set h 1 (c) we have that the angle θ := (G, h) (0, π 2 ), therefore, G h = G h cos(θ) 0 where, as usual denotes the scalar product, thus div(hg) = G h + hdiv(g) 0, the result follows by proposition 2.3. Example 2.10. The system ẋ 1 = x 2 + x 1 x 2, ẋ 2 = x 1 + x 2 1x 2, has h(x 1, x 2 ) = x 2 1 +x2 2 as a Dulac function, we consider G := (x 1x 2 2 +x3 1 x6 2, x 2x 4 1 ) and note that div(g) = x 2 2 + 3x2 1 x6 2 + x4 1 0; by above proposition we get D R 2(F + G). Recall that a (nonempty) open set Ω 0 is compactly contained in an open set Ω R 2, denoted Ω 0 Ω, if Ω 0 Ω and Ω 0 is compact. Note that if Ω 0 Ω, then there is an open set V such that Ω 0 V Ω. In [4], it was established that if D Ω0 (F ) for all Ω 0 Ω, then the system (2) admits no periodic orbits in Ω.
22 Osuna, O., Vargas, C., Villaseñor, G. Proposition 2.11. Let Ω be a simply connected open set and F, G C 1 (Ω, R 2 ) be vector fields. Suppose there exists h : Ω R never zero, such that F h > 0 and G h 0, then D Ω0 (F + G), for all Ω 0 Ω, in particular, F + G does not admit periodic orbits entirely contained in Ω. Proof. Take an open set Ω 0 compactly contained in Ω. We choose an open set V such that Ω 0 V Ω. Let n N an odd number such that nf h > h[div(f ) + div(g)] on V, which is possible by the compactness of V. Since n 1 is even, then h n 1 > 0 on Ω and we get div(h n (F + G)) = div(h n F ) + div(h n G) = h n 1 (nf h + ng h + h[div(f ) + div(g)]), therefore div(h n (F + G)) > 0 on V, in particular, div(h n (F + G)) > 0 on Ω 0 hence h n D Ω0 (F + G), which proves the result. Bibliography [1] Cherkas, L. A. Dulac Functions for Polynomial Autonomous Systems on a Plane. Diff. Eqs., 33 (1997), 692-701. [2] Cherkas, L. A., Grin, A., Schneider, K. R. Dulac-Cherkas Functions for Generalized Liénard Systems. E. J. of Qualitative Theory of Differential Equations, No. 35 (2011), 1-23. [3] Farkas, M. Periodic Motions. Applied Math. Sciences, 104. Springer-Verlag (1994). [4] Osuna O., Rodríguez-Ceballos J., Vargas-De-León C., Villaseñor A. G. Dulac Functions for Transformed Vector Fields. Int. J. Contemp. Math. Sciences, 8(6) (2013), 291-297. [5] Osuna O., Villaseñor A. G. On the Dulac Functions. Qualitative Theory of Dynamical Systems, 10(1) (2011), 43-49. [6] Osuna, O., Villaseñor A. G. Orbitas Periódicas de Sistemas Planos. Colección Avanza de la UACJ, Vol. 1 (2011), 19-34 (ISBN 978-607-7953-47-0).
Dulac functions for a sum of vector fields 23 Osvaldo Osuna (osvaldo@ifm.umich.mx) Instituto de Física y Matemáticas, Universidad Michoacana. Edif. C-3, Ciudad Universitaria, C.P. 58040. Morelia, Mich., México. Cruz Vargas-De-León (leoncruz82@yahoo.com.mx) Unidad Acad. de Matemáticas, UAGro, Ciudad Universitaria s/n, Chilpancingo, Gro., México / Facultad de Ciencias, Depto. de Matemáticas, Unam, México, D.F., 04510. Gabriel Villaseñor-Aguilar (gabriel@ifm.umich.mx) Instituto Tecnológico de Morelia, Depto. de Ciencias Básicas. Edif. AD, Morelia, Michoacán, México