Research article Special Issues

Monodromic singularities without curves of zero angular speed

  • Received: 01 October 2024 Revised: 16 December 2024 Accepted: 15 January 2025 Published: 22 January 2025
  • MSC : 34Cxx, 37G15, 37G10

  • We consider planar analytic vector fields X having a monodromic singular point with Poincaré map Π. We use the fact that there always exists a real analytic invariant curve F=0 of X in a neighborhood of that singularity. We find some relations between Π and F that can be used to determine new conditions that guarantee the analyticity of Π at the singularity. In the special case that F becomes an inverse integrating factor of X, we rediscover formulas obtained previously by other methods. Applications to the center-focus problem and also to vector fields with degenerate infinity are given.

    Citation: Isaac A. García, Jaume Giné. Monodromic singularities without curves of zero angular speed[J]. AIMS Mathematics, 2025, 10(1): 1488-1500. doi: 10.3934/math.2025069

    Related Papers:

    [1] Xuesong Si, Chuanze Niu . On skew cyclic codes over M2(F2). AIMS Mathematics, 2023, 8(10): 24434-24445. doi: 10.3934/math.20231246
    [2] Ismail Aydogdu . On double cyclic codes over Z2+uZ2. AIMS Mathematics, 2024, 9(5): 11076-11091. doi: 10.3934/math.2024543
    [3] Fatma Zehra Uzekmek, Elif Segah Oztas, Mehmet Ozen . (θi,λ)-constacyclic codes and DNA codes over Z4+uZ4+u2Z4. AIMS Mathematics, 2024, 9(10): 27908-27929. doi: 10.3934/math.20241355
    [4] Wei Qi . The polycyclic codes over the finite field Fq. AIMS Mathematics, 2024, 9(11): 29707-29717. doi: 10.3934/math.20241439
    [5] Hatoon Shoaib . Double circulant complementary dual codes over F4. AIMS Mathematics, 2023, 8(9): 21636-21643. doi: 10.3934/math.20231103
    [6] Shakir Ali, Amal S. Alali, Kok Bin Wong, Elif Segah Oztas, Pushpendra Sharma . Cyclic codes over non-chain ring R(α1,α2,,αs) and their applications to quantum and DNA codes. AIMS Mathematics, 2024, 9(3): 7396-7413. doi: 10.3934/math.2024358
    [7] Turki Alsuraiheed, Elif Segah Oztas, Shakir Ali, Merve Bulut Yilgor . Reversible codes and applications to DNA codes over F42t[u]/(u21). AIMS Mathematics, 2023, 8(11): 27762-27774. doi: 10.3934/math.20231421
    [8] Hongfeng Wu, Li Zhu . Repeated-root constacyclic codes of length p1pt2ps and their dual codes. AIMS Mathematics, 2023, 8(6): 12793-12818. doi: 10.3934/math.2023644
    [9] Jianying Rong, Fengwei Li, Ting Li . Two classes of two-weight linear codes over finite fields. AIMS Mathematics, 2023, 8(7): 15317-15331. doi: 10.3934/math.2023783
    [10] Yang Pan, Yan Liu . New classes of few-weight ternary codes from simplicial complexes. AIMS Mathematics, 2022, 7(3): 4315-4325. doi: 10.3934/math.2022239
  • We consider planar analytic vector fields X having a monodromic singular point with Poincaré map Π. We use the fact that there always exists a real analytic invariant curve F=0 of X in a neighborhood of that singularity. We find some relations between Π and F that can be used to determine new conditions that guarantee the analyticity of Π at the singularity. In the special case that F becomes an inverse integrating factor of X, we rediscover formulas obtained previously by other methods. Applications to the center-focus problem and also to vector fields with degenerate infinity are given.



    A finite collection of strictly contractive maps on the real line is called an iterated function system (IFS). Let Φ={φa}aΛ be an IFS and p=(pa)aΛ be a probability vector. It is well-known that there exists a unique Borel probability measure ν, called the invariant measure, such that

    ν=aΛpaφaν,

    where φaν is the push-forward of ν under the map φa:RR.

    When the construction does not involve complicated overlaps (say, under the strong separation condition), the invariant measures are relatively easy to understand. For example, if the strong separation condition holds, then the invariant measure ν is supported on a Cantor set and is singular, and the dimension of ν is given by

    dimν=hχ,

    where h=h(p) is the entropy and χ=χ(Φ,p) is the Lyapunov exponent.

    In this paper we consider IFS with inverses (i.e., IFS that contain inverse maps). IFS with inverses were first introduced by the author in [5], motivated by the Furstenberg measure. See also [6]. We show that the invariant measures for IFS with inverses agree with the invariant measures for associated graph-directed IFS under the suitable choice of weight. The main results of [5] and [6] follow directly from our result.

    The paper is organized as follows: In section 2, we recall IFS with inverses and state the main result. Section 3 is devoted to preliminary lemmas. In section 4 we prove the main result.

    Let G be the free group of rank r2, and let W be a free generating set of G. Let Λ be a set that satisfies

    WΛWW1,

    where W1={a1}aW. Let E=n1Λn and E=ΛN. For ω=ω0ω1 we denote ω|n=ω0ωn1. For ω,ξEE we denote by ωξ their common initial segment. For ωE and ξEE, we say that ω precedes ξ if ωξ=ω.

    Let p=(pa)aΛ be a non-degenerate probability vector, and let μ be the associated Bernoulli measure on E. We say that a (finite or infinite) sequence ωEE is reduced if ωiωi+1aa1 for all i0 and aΛ. Let Γ (resp. Γ) be the set of all finite (resp. infinite) reduced sequences. For ωΓ we denote the associated cylinder set in Γ by [ω]. Define the map

    red:EΓ

    in the obvious way, i.e., red(ω) is the sequence derived from ω by deleting all occurrences of consecutive pairs aa1 (aΛ). Let ¯EE be the set of all ω such that the limit

    limnred(ω|n) (1)

    exists. For example, for any aΛ we have aaa¯E and aa1aa1¯E. By abuse of notation, for ω¯E we denote the limit (1) by red(ω). The following is well-known (see, e.g., chapter 14 in [3]):

    Lemma 2.1. There exists 0<1 (drift or speed) such that

    limn1n|red(ω|n)|=

    for μ-a.e. ωE. In particular, ¯E has full measure.

    Denote

    Λ={(a,b)Λ2:ab1}.

    For aΛ, write Ra=R×{a}. We freely identify Ra with R below. Let XaRa (aΛ) be open intervals and write X=aΛXa. Assume that there exist 0<γ<1 and 0<θ1 such that for all (a,b)Λ, the map φab:XbXa is C1+θ and satisfies

    (ⅰ) ¯φab(Xb)Xa;

    (ⅱ) 0<|φab(x)|<γ for all xXb;

    (ⅲ) φ1ab:φab(Xb)Xb is C1+θ.

    We say that Φ={φab}(a,b)Λ is an IFS with inverses. For ω=ω0ωnΓ, we denote

    φω=φω0ω1φωn1ωn.

    Let Π:ΓX be the natural projection map, i.e.,

    Π(ω)=n1φω|n+1(¯Xωn).

    Define ΠE:¯EX by ΠE=Πred. Define the measure ν=ν(Φ,p) by ν=ΠEμ (i.e., the push-forward of the measure μ under the map ΠE:¯EX). We call ν an invariant measure. It is easy to see that if Λ=W, then the measure ν is an invariant measure of an IFS. Let χ=χ(Φ,p) be the Lyapunov exponent, and hRW=hRW(p) be the random walk entropy. See section 3 in [5] for the precise definition. Fix xaXa for each aΛ. For ω¯E and nN we denote xω,n=xj, where j=j(ω,n)Λ is the last letter of red(ω|n).

    Proposition 2.1 (Proposition 3.1 in [5]). We have

    χ=limn1nlog|φred(ω|n)(xω,n)|

    for μ-a.e. ω.

    Notice that an IFS with inverses Φ={φab}(a,b)Λ does not have any explicit inverse map. The next example illustrates why we call Φ an IFS with inverses. For more detail, see Example 2.1 and Appendix in [5].

    Example 2.1. Let r=2, W={0,1} and Λ={0,1,11}. For 0<k,l<1, define

    f0(x)=kx, f1(x)=(1+l)x+1l(1l)x+1+l.

    Let f11=f11. It is easy to see that we have f0(0)=0, f1(1)=1, f1(1)=1 and f0(0)=k, f1(1)=l. It is well-known that there exists a unique Borel probability measure ν that satisfies

    ν=aΛpafaν.

    The above measure is called a Fustenberg measure. See., e.g., [2]. Let

    Y0=(k,k), Y1=(f1(k),1) and Y1=(1,f1(k)).

    Then we have

    fa(YYa1)Ya,

    for all aΛ, where Y=aΛYa and Y01=. Notice that the sets {Ya}aΛ are not mutually disjoint if and only if k>f1(k), which is equivalent to

    l>1k1+k.

    It is easy to see that there exist open intervals X0,X1,X11R such that

    YaXa and ¯fa(XXa1)Xa

    for all aΛ, where X=aΛXa and X01=. Then {fa|Xb}(a,b)Λ is an IFS with inverses, and the associated invariant measure agrees with ν. For the proof, see the Appendix in [5].

    Denote

    dimν=inf{dimHY:ν(RY)=0}.

    Proposition 2.2 (Proposition 3.3 in [5]). Assume that for all aΛ, the sets {¯φab(Xb)}bΛa are mutually disjoint, where

    Λa={bΛ:(a,b)Λ}.

    Then we have

    dimνa=hRWχ

    for all aΛ.

    Given an IFS with inverses Φ={φab}(a,b)Λ, one can naturally associate a graph-directed IFS by restricting transitions from a to a1 for all aW. For the precise definitions of graph-directed IFS, see section 1.7 in [1].

    Let ˜P=(˜pab) be a |Λ|×|Λ| stochastic matrix that satisfies ˜pab>0 (ab1) and ˜pab=0 (a=b1). Let ˜p=(˜p1,,˜pN) be the unique row vector satisfying ˜p˜P=˜p. Let ˜μ be the probability measure on Γ associated with ˜P and ˜p. Define the measure ˜ν=˜ν(Φ,˜P) by ˜ν=Π˜μ. For aΛ, denote ˜νa=˜ν|Xa. It is easy to see that

    ˜νa=(a,b)Λ˜pabφab˜νb.

    Let ˜h=˜h(˜P) be the entropy and ˜χ=˜χ(Φ,˜P) be the Lyapunov exponent, i.e.,

    ˜h=(a,b)Λ˜pa˜pablog˜pab,

    and

    ˜χ=limn1nlog|φω|n(xωn)|

    for ˜μ-a.e. ω. Under the separation condition, we obtain the following. The argument is classical, so we omit the proof. See, e.g., the proof of (2.6) in [4].

    Proposition 2.3. For every aΛ, assume that the sets {¯φab(Xb)}bΛa are mutually disjoint. Then we have

    dim˜νa=˜h˜χ

    for all aΛ.

    Our main result is the following:

    Theorem 2.1. Let Φ={φab}(a,b)Λ be an IFS with inverses. Then there exists a stochastic matrix ˜P such that

    ν=˜ν, hRW=˜h and χ=˜χ.

    Since the graph directed IFS has essentially the same structure as IFS, by the above theorem most of the results of IFS can be immediately extended to IFS with inverses. For example, the main results of [5] and [6] follow directly from the above result.

    Define μred by redμ, i.e., the push-forward of the measure μ under the map red:EΓ. From below, for n>0, which is not necessarily an integer, we interpret ω|n to be ω|n. The following lemma is immediate.

    Lemma 3.1. We have

    χ=limn1nlog|φω|n(xω,n)|

    for μred-a.e. ωΓ.

    Proof. Let ωΓ, and let ηE be such that ω=red(η). We can assume that η satisfies

    limn1n|red(η|n)|=

    and

    χ=limn1nlog|φred(η|n)(xη,n)|.

    Let ϵ>0, and let nN be sufficiently large. Then, since ω|(ϵ)n precedes red(η|n) and |red(η|n)|<(+ϵ)n, we have

    log|φω|(ϵ)n(xω(ϵ)n)|<nχ<log|φω|(ϵ)n(xω(ϵ)n)|2ϵnlogλmin,

    where

    λmin=min{|φab(x)|:(a,b)Λ,xXb}.

    The result follows from this.

    For ωΓ, we denote

    Eω={υ¯E:ω precedes red(υ)}

    and

    ˆEω={υ¯E:there exists nN s.t. red(υ|n)=ω}.

    Notice that EωˆEω. For aΛ, write

    qa={1μ(Ea1)(a1Λ)1(a1Λ)

    and pa=μ(ˆEa). We next prove the following crucial lemma.

    Lemma 3.2. Let ωΓ and aΛ be such that ωaΓ. Then we have

    pa=μ(ˆEωa)μ(ˆEω).

    Proof. Fix such ωΓ and aΛ. Notice that

    ˆEω=i=|ω|ˆE(i)ω,

    where

    ˆE(i)ω={υ¯E:red(υ|i)=ω, red(υ|k)ω (|ω|k<i)}.

    Then, since

    ˆEωaˆE(i)ω={υ¯E:σi(υ)ˆEa}ˆE(i)ω,

    we have

    μ(ˆEωaˆE(i)ω)=paμ(ˆE(i)ω).

    Therefore,

    μ(ˆEωa)=μ(i=|ω|ˆEωaˆE(i)ω)=i=|ω|paμ(ˆE(i)ω)=paμ(ˆEω).

    Similarly, we have the following:

    Lemma 3.3. For aΛ and ω=ω0ωnΓ with ωn=a, we have

    μ(Eω)=qaμ(ˆEω).

    Proof. Fix such aΛ and ωΓ. Notice that

    ˆEω=i=|ω|ˆE(i)ω,

    where

    ˆE(i)ω={υ¯E:red(υ|i)=ω, red(υ|k)ω (|ω|k<i)}.

    Then, since

    EωˆE(i)ω={υ¯E:σi(υ)bΛ{a1}Eb}ˆE(i)ω,

    we have

    μ(EωˆE(i)ω)=qaμ(ˆE(i)ω).

    Therefore,

    μ(Eω)=μ(i=|ω|EωˆE(i)ω)=i=|ω|qaμ(ˆE(i)ω)=qaμ(ˆEω).

    In this section we prove Theorem 2.1. Denote

    ˜pa=paqa and ˜pab=pbqbqa.

    Let ˜P=(˜pab). By Lemma 3.2 and Lemma 3.3, we obtain the following.

    Proposition 4.1. For all ω=ω0ωnΓ, we have

    μred([ω])=˜pω0˜pω0ω1˜pωn1ωn.

    The above proposition implies that μred=˜μ. Therefore, we obtain ν=˜ν. By Lemma 3.1, we have χ=˜χ. It remains to show the following lemma. Notice that hRW, and ˜h all depend only on Λ and p.

    Lemma 4.1. We have

    hRW=˜h.

    Proof. Let Φ={ϕab}(a,b)Λ be an IFS with inverses that satisfies the separation condition. Then, by Proposition 2.2 and Proposition 2.3 we obtain hRW=˜h.

    The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The author would like to thank the anonymous referees for the careful reading and all the helpful suggestions and remarks. Y. T. was supported by JSPS KAKENHI grant 2020L0116.

    The author declares no conflict of interest.



    [1] F. Dumortier, Singularities of vector fields on the plane, J. Differ. Equations, 23 (1977), 53–106. https://doi.org/10.1016/0022-0396(77)90136-X doi: 10.1016/0022-0396(77)90136-X
    [2] V. I. Arnold, D. Embarek, Chapitres supplémentaires de la théorie des équations différentielles ordinaires, Moscow: Mir, 1980.
    [3] A. Algaba, C. García, M. Reyes, Characterization of a monodromic singular point of a planar vector field, Nonlinear Anal., 74 (2011), 5402–5414. https://doi.org/10.1016/j.na.2011.05.023 doi: 10.1016/j.na.2011.05.023
    [4] A. Algaba, C. García, M. Reyes, A new algorithm for determining the monodromy of a planar differential system, Appl. Math. Comput., 237 (2014), 419–429. https://doi.org/10.1016/j.amc.2014.03.129 doi: 10.1016/j.amc.2014.03.129
    [5] I. A. García, J. Giné, M. Grau, A necessary condition in the monodromy problem for analytic differential equations on the plane, J. Symb. Comput., 41 (2006) 943–958. https://doi.org/10.1016/j.jsc.2006.04.007 doi: 10.1016/j.jsc.2006.04.007
    [6] I. A. García, J. Giné, Principal Bautin ideal of monodromic singularities with inverse integrating factors, preprint Universitat de Lleida. https://doi.org/10.48550/arXiv.2412.09205
    [7] I. A. García, J. Giné, A. L. Rodero, Existence and non-existence of Puiseux inverse integrating factors in analytic monodromic singularities, preprint Universitat de Lleida.
    [8] A. D. Bruno, Volume 57: power geometry in algebraic and differential equations, Elsevier, 2000.
    [9] A. D. Bruno, Asymptotic behaviour and expansions of solutions of an ordinary differential equation, Russ. Math. Surv., 59 (2004), 429. https://doi.org/10.1070/RM2004v059n03ABEH000736 doi: 10.1070/RM2004v059n03ABEH000736
    [10] I. A. García, J. Giné, Characterization of centers by its complex separatrices, preprint Universitat de Lleida. https://doi.org/10.48550/arXiv.2412.09197
    [11] A. D. Bruno, Local methods in nonlinear differential equations, Part Ⅰ the local method of nonlinear analysis of differential equations Part II the sets of analyticity of a normalizing transformation, Berlin: Springer-Verlag, 1989.
    [12] Y. S. Il'yashenko, Finiteness theorems for limit cycles, Russ. Math. Surv., 45 (1990), 129. https://doi.org/10.1070/RM1990v045n02ABEH002335 doi: 10.1070/RM1990v045n02ABEH002335
    [13] N. B. Medvedeva, The principal term of the asymptotic expansion of the monodromy transformation: calculation in blowing-up geometry, Sib. Math. J., 38 (1997), 114–126. https://doi.org/10.1007/BF02674907 doi: 10.1007/BF02674907
    [14] A. Gasull, J. Llibre, V. Mañosa, F. Mañosas, The focus-centre problem for a type of degenerate system, Nonlinearity, 13 (2000), 699. https://doi.org/10.1088/0951-7715/13/3/311 doi: 10.1088/0951-7715/13/3/311
    [15] A. Gasull, V. Mañosa, F. Mañosas, Monodromy and stability of a class of degenerate planar critical points, J. Differ. Equations, 217 (2005), 363–376. https://doi.org/10.1006/jdeq.2001.4095 doi: 10.1006/jdeq.2001.4095
    [16] H. Giacomini, J. Giné, J. Llibre, The problem of distinguishing between a center and a focus for nilpotent and degenerate analytic systems, J. Differ. Equations, 227 (2006), 406–426. https://doi.org/10.1016/j.jde.2006.03.012 doi: 10.1016/j.jde.2006.03.012
    [17] H. Giacomini, J. Giné, J. Llibre, Corrigendum to: "The problem of distinguishing between a center and a focus for nilpotent and degenerate analytic systems" [J. Differential Equations 227 (2006) 406–426], J. Differ. Equations, 232 (2007), 702. https://doi.org/10.1016/j.jde.2006.10.004 doi: 10.1016/j.jde.2006.10.004
    [18] J. Giné, Sufficient conditions for a center at a completely degenerate critical point, Int. J. Bifurcat. Chaos, 12 (2002), 1659–1666. https://doi.org/10.1142/s0218127402005315 doi: 10.1142/s0218127402005315
    [19] J. Giné, On the centers of planar analytic differential systems, Int. J. Bifurcat. Chaos, 17 (2007), 3061–3070. https://doi.org/10.1142/S0218127407018865 doi: 10.1142/S0218127407018865
    [20] J. Giné, On the degenerate center problem, Int. J. Bifurcat. Chaos, 21 (2011), 1383–1392. https://doi.org/10.1142/S0218127411029082 doi: 10.1142/S0218127411029082
    [21] J. Giné, S. Maza, The reversibility and the center problem, Nonlinear Anal., 74 (2011), 695–704. https://doi.org/10.1016/j.na.2010.09.028 doi: 10.1016/j.na.2010.09.028
    [22] D. Shafer, V. Romanovski, The center and cyclicity problems: a computational algebra approach, Birkhäuser Boston, MA, 2009. https://doi.org/10.1007/978-0-8176-4727-8
    [23] A. Algaba, C. García, J. Giné, Geometric criterium in the center problem, Mediterr. J. Math., 13 (2016), 2593–2611. https://doi.org/10.1007/s00009-015-0641-0 doi: 10.1007/s00009-015-0641-0
    [24] W. W. Farr, C. Li, I. S. Labouriau, W. F. Langford, Degenerate Hopf-bifurcation formulas and Hilbert's 16th problem, SIAM J. Math. Anal., 20 (1989), 13–30. https://doi.org/10.1137/0520002 doi: 10.1137/0520002
    [25] I. A. García, J. Giné, Center problem with characteristic directions and inverse integrating factors, Commun. Nonlinear Sci. Numer. Simul., 108 (2022), 106276. https://doi.org/10.1016/j.cnsns.2022.106276 doi: 10.1016/j.cnsns.2022.106276
    [26] I. A. García, J. Giné, The linear term of the Poincaré map at singularities of planar vector fields, J. Differ. Equations, 396 (2024), 44–67. https://doi.org/10.1016/j.jde.2024.02.055 doi: 10.1016/j.jde.2024.02.055
    [27] I. A. García, J. Giné, The Poincaré map of degenerate monodromic singularities with Puiseux inverse integrating factor, Adv. Nonlinear Anal., 12 (2023), 20220314. https://doi.org/10.1515/anona-2022-0314 doi: 10.1515/anona-2022-0314
    [28] J. Chavarriga, I. A. García, J. Giné, On integrability of differential equations defined by the sum of homogeneous vector fields with degenerate infinity, Int. J. Bifurcat. Chaos, 11 (2001), 711–722. https://doi.org/10.1142/S0218127401002390 doi: 10.1142/S0218127401002390
    [29] I. A. García, J. Giné, A. L. Rodero, Existence and non-existence of Puiseux inverse integrating factors in analytic monodromic singularities, Stud. Appl. Math., 153 (2024), e12724. https://doi.org/10.1111/sapm.12724 doi: 10.1111/sapm.12724
    [30] I. A. García, H. Giacomini, M. Grau, The inverse integrating factor and the Poincaré map, Trans. Amer. Math. Soc., 362 (2010), 3591–3612. https://doi.org/10.1090/S0002-9947-10-05014-2 doi: 10.1090/S0002-9947-10-05014-2
    [31] I. A. García, S. Maza, A new approach to center conditions for simple analytic monodromic singularities, J. Differ. Equations, 248 (2010), 363–380. https://doi.org/10.1016/j.jde.2009.09.002 doi: 10.1016/j.jde.2009.09.002
    [32] M. M. Vainberg, V. A. Trenogin, Theory of branching of solutions of nonlinear equations, Monographs and textbooks on pure and applied mathematics, Noordhoff International Publishing, 1974.
  • Reader Comments
  • © 2025 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(539) PDF downloads(35) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog