# Bifurcation of limit cycles from a hyper-elliptic Hamiltonian system with a double heteroclinic loops

- Xianbo Sun
^{1}Email author

**2012**:224

https://doi.org/10.1186/1687-1847-2012-224

© Sun; licensee Springer 2012

**Received: **9 September 2012

**Accepted: **6 December 2012

**Published: **21 December 2012

## Abstract

In this article, we consider the Liénard system of the form

with $0<\epsilon \ll 1$, *a*, *b* and *c* are real bounded parameters. We prove that the least upper bound of the number of isolated zeros of the corresponding Abelian integral

is four (counting the multiplicity). This implies that the number of limit cycles that bifurcated from periodic orbits of the unperturbed system for $\epsilon =0$ is less than or equal to four.

**MSC:**34C05, 34C07, 34C08.

## Keywords

## 1 Introduction

*x*and

*y*, and suppose that $deg(H)=n+1$ and $max\{def(p),deg(q)\}=n$. $H(x,y)$ defines at least one family of closed curves (or ovals) ${L}_{h}$, where

*h*is a parameter on an open interval

*J*. Then $\omega =q(x,y)\phantom{\rule{0.2em}{0ex}}dx-p(x,y)\phantom{\rule{0.2em}{0ex}}dy$ is called 1-form of degree

*n*and the so-called Abelian integral (also called a first-order Melnikov function) defined on all ovals of $H(x,y)$ is as follows:

*n*, which is the maximal number of zeros of $A(h)$, this is the famous weak Hilbert’s 16th problem proposed by Arnold in 1977. It is well known that this problem is very difficult and still remains unresolved, its research advance and the recent popular and efficient method for special Abelian integral (1.1) can be found in the summary works [1, 2]. Using the above $H(x,y)$, $p(x,y)$ and $q(x,y)$, we can obtain the following system:

*ε*is a small positive parameter. Taking $\epsilon =0$, we obtain the corresponding Hamiltonian system

The closed curves ${L}_{h}$ correspond to the periodic orbits of system (1.3) which form the annulus of system (1.3). If $A(h)$ is not identically zero, the number of zeros of $A(h)$ provides an upper bound of the number of limit cycles of (1.2) bifurcated from the periodic annulus of (1.3) by the Poincaré-Pontryagin theorem [3]. Therefore, system (1.2) is also an important and main research system in the second part of Hilbert’s 16th problem which asks for the maximum number and position of limit cycles for polynomial planar vector fields depending on the degree of the vector field. However, it is still an open problem to find the maximum number of limit cycles even for quadratic systems; see a recent summary work [4] for its research advance.

*m*and

*n*,

*ε*is positive and very small, and the corresponding Hamiltonian function is as follows:

When the degree of $H(x,y)$ is three or four, system (1.4) is of elliptic Hamiltonian systems,when the degree of $H(x,y)$ is more than five, (1.4) is of hyperelliptic Hamiltonian systems. A comprehensive study has been made in [5] for the cases $m+n\le 4$, except for $(m,n)=(1,3)$. In all these cases, it has been proven that at most one limit cycle can appear, and for $(m,n)=(1,3)$, the same result has been conjectured (see [6]).

Taking $g(x)$ is a polynomial of degree three and $f(x)=a+bx+c{x}^{2}$, system (1.4) is of type $(3,2)$, there are several cases according to the portraits of the unperturbed system. Dumortier and Li [7–10] have made a complete study on these cases and obtained different sharp upper bounds of the number of zeros of Abelian integrals for different cases. Li, Pavao and Roussarieb [11] investigated some Liénard systems of type $(3,2)$ with symmetry and also obtained their sharp bound of the corresponding Abelian integral. For the type $(4,3)$, Wang and Xiao [12] have investigated some Liénard system of type $(4,3)$, combined with the PhD thesis [13]. They have proved that four is the least upper bound and three is maximum lower bound of the number of zeros for the corresponding Abelian integral. The results of the maximum lower bound of the number of zeros for the Abelian integral corresponding to this kind system can be found in [14–16].

*α*,

*β*and

*γ*are real bounded numbers. Without loss of generality, we assume $b\ge a\ge 0$. When the portraits of system (1.5) with $\epsilon =0$ have at least one periodic annulus surrounding an element center, there are several cases according to the value of

*a*and

*b*; see Figure 1.

For case 1, Asheghi and Zangeneh [17] studied (1.5) by taking $a=0$, $b=1$ and proved that the corresponding Abelian integral has at most two zeros inside the double cuspidal loop. For case 2, Qi and Zhao [18] proved that system (1.5) with $a=\frac{21-\sqrt{41}}{20}$ and $b=\frac{21+\sqrt{41}}{20}$ has at most two limit cycles bifurcated from each annulus. For case 4, Xu and Li [19] proved that system (1.5) has at least five limit cycles bifurcated from three annuluses of system (1.5)
with $a=\frac{1}{4}$, $b=1$. For case 5, Zhang *et al.* [20] proved that system (1.5) with $a=\frac{1}{2}$, $b=2$ has at most three limit cycles bifurcated from the annuluses. For case 6, Asheghi and Zangeneh studied (1.5) with $a=b=1$ and proved that the least upper bound for the number of zeros of the related Abelian integral inside the eye-figure loop is two in [21] and both inside and outside the eye-figure loop is four in [22].

*i.e.*, $\tilde{H}(x,y)=h$) of Hamiltonian function (1.7) are sketched in Figure 2. It is easy to check $\tilde{H}(x,y)=h$ defines two families of ovals with symmetry which correspond to two symmetric period annuluses that consist of closed clockwise orbits of system (1.6) denoted by ${\mathrm{\Gamma}}_{h}$. $H(x,y)=0$ defines two symmetric 2-polycycles ${\mathrm{\Gamma}}^{1}=\{(x,y)|H(x,y)=0,x>0\}$ and ${\mathrm{\Gamma}}^{2}=\{(x,y)|H(x,y)=0,x<0\}$ which are formed by heteroclinic orbits.

for $h\in (-\frac{2}{3},0)$, where $\delta =(\alpha ,\beta ,\gamma )$, ${I}_{i}(h)={\oint}_{{\mathrm{\Gamma}}_{h}}{x}^{2i}y\phantom{\rule{0.2em}{0ex}}dx$, $i=0,1,2$. By symmetry, we can only investigate the right half-plane. Without loss of generality, we fix $\gamma =1$ and obtain the following main results.

**Theorem A** *For all* *α* *and* *β*, *the least upper bound of the number of zeros of the Abelian integral* $I(h,\delta )$ *is two* (*counting the multiplicity*) *for* $h\in (-\frac{2}{3},0)$ *with* ${\mathrm{\Gamma}}_{h}$ *inside one saddle polycycle* ${\mathrm{\Gamma}}^{i}$ *for* $i=1,2$. *System* (1.6) *has at most two limit cycles bifurcated from each period annulus and at most four limit cycles from the two period annuluses*.

The rest of the article is organized as follows. In Section 2, we introduce some definitions and the new criteria which are used to determine the number of zeros of the Abelian integral $I(h,\delta )$. In Section 3, we prove the main result.

## 2 Preliminary lemmas and definitions

The method we introduce proposes some criterion functions defined directly by Hamiltonian and integrands of Abelian integrals, through which the problem whether the basis of the vector space generated by an Abelian integral is a Chebyshev system could be reduced to the problem whether the family of criterion functions form a Chebyshev system, since the latter can be tackled by checking the non-vanishing properties of its Wronskians. For this paper to be self-contained, we list some related definitions and criterions. For more details, refer to [23, 24].

**Definition 2.1**Suppose ${f}_{0},{f}_{1},{f}_{2},\dots ,{f}_{n-1}$ are analytic functions on a real open interval

*J*.

- (i)The family of sets $\{{f}_{0},{f}_{1},{f}_{2},\dots ,{f}_{n-1}\}$ is called a Chebyshev system (T-system for short) provided that any nontrivial linear combination${k}_{0}{f}_{0}(x)+{k}_{1}{f}_{1}(x)+\cdots +{k}_{n-1}{f}_{n-1}(x)$

*J*.

- (ii)
An ordered set of

*n*functions $\{{f}_{0},{f}_{1},{f}_{2},\dots ,{f}_{n-1}\}$ is called a complete Chebyshev system (CT-system for short) provided any nontrivial linear combination ${k}_{0}{f}_{0}(x)+{k}_{1}{f}_{1}(x)+\cdots +{k}_{i-1}{f}_{i-1}(x)$ has at most $i-1$ zeros for all $i=1,2,\dots ,n$. Moreover, it is called an extended complete Chebyshev system (ECT-system for short) if the multiplicities of zeros are taken into account. - (iii)

where ${f}^{\prime}(x)$ is the first-order derivative of $f(x)$ and ${f}^{(i)}(x)$ is the *i* th-order derivative of $f(x)$, $i\ge 2$. The definitions imply that the function tuple $\{{f}_{0},{f}_{1},\dots ,{f}_{k-1}\}$ is an ECT-system on *J*, therefore it is a CT-system on *J*, and then a T-system on *J*; however, the inverse implications are all not true.

*P*of the origin foliated by ovals ${L}_{h}=H(x,y)=h$ which correspond to the clockwise closed orbits of (1.3). The set of ovals ${L}_{h}$ inside the period annulus is parameterized by the energy levels $h\in ({h}_{1},{h}_{2})=J$ for some ${h}_{i}\in (0,+\mathrm{\infty}]$. The projection of

*P*on the

*x*-axis is an interval $({x}_{l},{x}_{r})$ with ${x}_{l}<{x}_{0}<{x}_{r}$. Under the above assumptions, it is easy to verify that $x{A}^{\prime}(x)>0$ for all $x\in ({x}_{l},{x}_{r})\setminus \{{x}_{0}\}$. Then $A(x)$ has a zero of even multiplicity at $x={x}_{0}$, and so there exists an analytic involution $z(x)$ such that

for all $x\in ({x}_{l},{x}_{r})$.

For the number of isolated zeros of nontrivial linear combination of some Abelian integrals, the algebraic criterion in [24] (Theorem B) can be stated as follows.

**Lemma 2.1**

*Assume that function*${f}_{i}(x)$

*is analytic on the interval*$({x}_{l},{x}_{r})$

*for*$i=0,1,\dots ,n-1$,

*and considering*

*where for each*$h\in (0,{h}_{0})$, ${L}_{h}$

*is the oval surrounding the origin inside the level curve*$\{A(x)+\frac{1}{2}{y}^{2m}=h\}$,

*we define*

*Then* $\{{A}_{0},{A}_{1},\dots ,{A}_{n-1}\}$ *is an extended complete Chebyshev system on* $({h}_{1},{h}_{2})$ *if* $\{{l}_{0},{l}_{1},\dots ,{l}_{n-1}\}$ *is a complete Chebyshev system on* $({x}_{l},{x}_{0})$ *or* $({x}_{0},{x}_{r})$ *and* $s>(n-2)$. *And* $\{{l}_{0},{l}_{1},\dots ,{l}_{n-1}\}$ *is an ECT*-*system on* $({x}_{0},{x}_{r})$ *or* $({x}_{l},{x}_{0})$ *if and only if the continuous Wronskian of* $\{{l}_{0},{l}_{1},\dots ,{l}_{k-1}\}$ *does not vanish for* $x\in ({x}_{0},{x}_{r})$ *or for* $z\in ({x}_{l},{x}_{0})$ *and* $k=1,\dots ,n$.

Usually *s* is not big enough ($s>n-2$ does not hold), we cannot apply Lemma 2.1 directly. To overcome this problem, we can use the following result (see [24], Lemma 4.1) to increase the power of *y* in ${A}_{i}(h)$.

**Lemma 2.2**

*Let*${L}_{h}$

*be an oval inside the level curve*$A(x)+\frac{1}{2}(x){y}^{2}=h$

*and consider a function*$F(x)$

*such that*$\frac{F(x)}{{A}^{\prime}(x)}$

*is analytic at*$x=0$.

*Then for any*$k\in N$,

*where* $G(x)=\frac{1}{k}{(\frac{F}{{A}^{\prime}})}^{\prime}(x)$.

## 3 Proof of the main result

Our goal is to prove that the vector space generated by an Abelian integral ${I}_{i}(h)$ has the Chebyshev property for $x\in (0,\sqrt{3})$ by Lemma 2.1. However, note that $s=1$ and $n=3$, which does not satisfy the hypothesis $s>n-2$ in Lemma 2.1. Thus, we have to promote the power *s* of *y* in the integrand of ${I}_{i}(h)$ such that the condition $s>n-2$ holds.

**Lemma 3.1**

*For*$i=0,1,2$,

*we have*

*where* ${f}_{i}(x)=\frac{2}{9}\frac{{x}^{2i}{\tilde{f}}_{i}(x)}{{(x-1)}^{2}{(x+1)}^{2}}$ *and* ${\tilde{f}}_{i}(x)=5{x}^{4}-9{x}^{2}+6+i{x}^{4}-4i{x}^{2}+3i$.

*Proof*It is clear that on every periodic orbit ${\mathrm{\Gamma}}_{h}=\{\tilde{H}(x,y)=h\}$, $\frac{2A(x)+{y}^{2}}{2h}=1$ holds, therefore

where ${G}_{i}(x)=\frac{1}{9}\frac{({x}^{4}+2i{x}^{4}-8i{x}^{2}+3+6i){x}^{2i}}{{(x-1)}^{2}{(x+1)}^{2}}$. Combined with (3.1), we proved Lemma 3.1. □

It is not difficult to find $z(x)$ is implicitly determined by $q(x,z)$, therefore ${z}^{\prime}(x)=-\frac{2x-z}{-x+2z}$.

In the following, we check if the ordered set of criterion functions $\{{l}_{0}(x),{l}_{1}(x),{l}_{2}(x)\}$ is an ECT-system as $x\in (0,1)$ by verifying the non-vanishing property of continuous Wronskians $W[{l}_{0}]$, $W[{l}_{0},{l}_{1}]$, $W[{l}_{0},{l}_{1},{l}_{2}]$.

**Lemma 3.2** *The function tuple* $\{{l}_{0}(x),{l}_{1}(x),{l}_{2}(x)\}$ *is an ECT*-*system for* $x\in (0,1)$.

*Proof*From Definition 2.1(iii) about continuous Wronskian and with the aid of Maple 13, we have

where $z=z(x)$ is implicitly determined by the equation $q(x,z)=0$ for $0<x<1<z<\sqrt{3}$, while ${p}_{1}(x,z)$, ${p}_{2}(x,z)$ and ${p}_{3}(x,z)$ are polynomials of $(x,z)$ with very long expressions of degree 12, 16 and 28, respectively; their expressions are shown in the Appendix. It is crucial to check if ${p}_{i}(x,z)\ne 0$ for all $(x,z)$ satisfies $q(x,z)=0$ and $0<x<1<z<\sqrt{3}$ for $i=1,2,3$ one by one, *i.e.*, to check if ${p}_{i}(x,z)=0$ and $q(x,z)=0$ have a common root on $\{(x,z)|0<x<1<z<\sqrt{3}\}$ for $i=0,1,2$.

*z*between $q(x,z)$ and ${p}_{1}(x,z)$ (

*i.e.*, eliminating

*z*from $q(x,z)=0$ and ${p}_{1}(x,z)=0$) gives

where ${w}_{1r}(x)=25{x}^{8}-255{x}^{6}+861{x}^{4}-1\text{,}107{x}^{2}+576$. Applying Sturm’s theorem to ${w}_{1r}$ gives ${w}_{1r}(x)\ne 0$ for all $x\in (0,1)$, hence $R(q,{p}_{1},z)\ne 0$ on $(0,1)$. Therefore, ${p}_{1}(x,z)=0$ and $q(x,z)=0$ have no common roots, which implies that $W[{l}_{0}]\ne 0$ for all $x\in (0,1)$.

*z*between $q(x,z)$ and ${p}_{2}(x,z)$ gives

where ${w}_{2r}(x)=900-1\text{,}212{x}^{2}+889{x}^{4}-260{x}^{6}+25{x}^{8}$. Applying Sturm’s theorem to ${w}_{2r}$ gives ${w}_{2r}(x)\ne 0$ for all $x\in (0,1)$, hence $R(q,{p}_{2},z)\ne 0$ on $(0,1)$. Therefore, ${p}_{2}(x,z)=0$ and $q(x,z)=0$ have no common roots, which implies that $W[{l}_{0},{l}_{1}]\ne 0$ for all $x\in (0,1)$.

*z*between $q(x,z)$ and ${p}_{3}(x,z)$ gives

where ${w}_{3r}(x)=1\text{,}166\text{,}400-3\text{,}815\text{,}100{x}^{2}+5\text{,}589\text{,}000{x}^{4}-4\text{,}818\text{,}177{x}^{6}+2\text{,}724\text{,}687{x}^{8}-987\text{,}504{x}^{10}+214\text{,}816{x}^{12}-25\text{,}235{x}^{14}+1\text{,}225{x}^{16}$. Applying Sturm’s theorem to ${w}_{3r}$ gives ${w}_{3r}(x)\ne 0$ for all $x\in (0,1)$, hence $R(q,{p}_{3},z)\ne 0$ on $(0,1)$. Therefore, ${p}_{3}(x,z)=0$ and $q(x,z)=0$ have no common roots, which implies that $W[{l}_{0},{l}_{1},{L}_{2}]\ne 0$ for all $x\in (0,1)$.

From the discussion above, three Wronskians do not vanish for $x\in (0,1)$, therefore Lemma 3.2 is proved. □

By Lemma 2.1 and Lemma 3.2, we have proved that $\{{\tilde{I}}_{0}(h),{\tilde{I}}_{1}(h),{\tilde{I}}_{2}(h)\}$ is an ECT-system on $(-\frac{2}{3},0)$, therefore $\{{I}_{0},{I}_{1},{I}_{2}\}$ is an ECT-system on $(-\frac{2}{3},0)$ as well. Therefore, $I(h,\delta )$ has at most two zeros on the right half-plane; by symmetry, $I(h,\delta )$ has at most four zeros on the two period annuluses. By the Poincaré-Pontryagin theorem, system (1.6) has at most four limit cycles bifurcated from two annuluses.

## 4 Conclusion

In this work, we study case 3 for the Liénard system of type $(5,4)$ given above by a new algebra method which is different from the geometrical method used in [17, 18, 20–22]. It is proved that four is the least upper bound of the number of limit cycles bifurcated from two annuluses. Up to now, the least upper bound of the number of limit cycles has been given for six cases of (1.5) except for case 4. By the result of [19], the maximal lower bound of the number of limit cycles for this case is five, therefore the least upper bound is more than or equal to five.

## Appendix

## Declarations

### Acknowledgements

The author is thankful to the referees for helpful comments on this article. This work was supported by the National Natural Science Foundations of China (No. 11261013).

## Authors’ Affiliations

## References

- Li C: Abelian integrals and limit cycles.
*Qual. Theory Dyn. Syst.*2012, 11: 111–128. 10.1007/s12346-011-0051-zMathSciNetView ArticleMATHGoogle Scholar - Li JB: Hilbert’s 16th problem and bifurcations of planar vector fields.
*Int. J. Bifurc. Chaos*2003, 13: 47–106. 10.1142/S0218127403006352View ArticleMATHGoogle Scholar - Christopher C, Li C Advanced Courses in Mathematics - CRM Barcelona. In
*Limit Cycles of Differential Equations*. Birkhäuser, Basel; 2007.Google Scholar - Han M, Li JB: Lower bounds for the Hilbert number of polynomial systems.
*J. Differ. Equ.*2012, 252: 3278–3304. 10.1016/j.jde.2011.11.024MathSciNetView ArticleMATHGoogle Scholar - Dumortier F, Rousseau C: Cubic Liénard equations with linear damping.
*Nonlinearity*1990, 3: 1015–1039. 10.1088/0951-7715/3/4/004MathSciNetView ArticleMATHGoogle Scholar - Christopher C, Lloyd N: Small-amplitude limit cycles in Liénard systems.
*Nonlinear Differ. Equ. Appl.*1996, 3: 183–190. 10.1007/BF01195913MathSciNetView ArticleMATHGoogle Scholar - Dumortier F, Li C: Perturbations from an elliptic Hamiltonian of degree four: (I) saddle loop and two saddle cycle.
*J. Differ. Equ.*2001, 176: 114–157. 10.1006/jdeq.2000.3977MathSciNetView ArticleMATHGoogle Scholar - Dumortier F, Li C: Perturbations from an elliptic Hamiltonian of degree four: (II) cuspidal loop.
*J. Differ. Equ.*2001, 175: 209–243. 10.1006/jdeq.2000.3978MathSciNetView ArticleMATHGoogle Scholar - Dumortier F, Li C: Perturbations from an elliptic Hamiltonian of degree four: (III) global centre.
*J. Differ. Equ.*2003, 188: 473–511. 10.1016/S0022-0396(02)00110-9MathSciNetView ArticleMATHGoogle Scholar - Dumortier F, Li C: Perturbations from an elliptic Hamiltonian of degree four: (IV) figure eight-loop.
*J. Differ. Equ.*2003, 88: 512–514.MathSciNetView ArticleMATHGoogle Scholar - Li C, Mardešić P, Roussarie R: Perturbations of symmetric elliptic Hamiltonians of degree four.
*J. Differ. Equ.*2011, 231: 78–91.View ArticleMathSciNetMATHGoogle Scholar - Wang JH, Xiao DM: On the number of limit cycles in small perturbations of a class of hyper-elliptic Hamiltonian systems with one nilpotent saddle.
*J. Differ. Equ.*2011, 250: 2227–2243. 10.1016/j.jde.2010.11.004MathSciNetView ArticleMATHGoogle Scholar - Wang, JH: Perturbations of several planar integral system with degenerate singularity. [D], Shanghai Jiaotong Univesity (2012)Google Scholar
- Yang J, Han M, Romanovski VG: Limit cycle bifurcations of some Liénard systems.
*J. Math. Anal. Appl.*2010, 366: 242–255. 10.1016/j.jmaa.2009.12.035MathSciNetView ArticleMATHGoogle Scholar - Yang J, Han M: Limit cycles bifurcations of some Liénard systems with nilpotent cusp.
*Int. J. Bifurc. Chaos*2010, 20(11):3829–3839. 10.1142/S0218127410028045MathSciNetView ArticleMATHGoogle Scholar - Yang J, Han M: Computation of expansion coefficients of Melnikov functions near a nilpotent center.
*Comput. Math. Appl.*2012, 64: 1957–1974. 10.1016/j.camwa.2012.03.052MathSciNetView ArticleMATHGoogle Scholar - Asheghi R, Zangeneh HRZ: Bifurcations of limit cycles for a quintic Hamiltonian system with a double cuspidal loop.
*Comput. Math. Appl.*2010, 59: 1409–1418. 10.1016/j.camwa.2009.12.024MathSciNetView ArticleMATHGoogle Scholar - Qi, MH, Zhao, LQ: Bifurcations of limit cycles from a quintic Hamiltonian system with a figure double-fish. Int. J. Bifurc. Chaos (2012, accepted)Google Scholar
- Xu WJ, Li CP: Limit cycles of some polynomial Liénard systems.
*J. Math. Anal. Appl.*2012, 389: 367–378. 10.1016/j.jmaa.2011.11.070MathSciNetView ArticleMATHGoogle Scholar - Zhang TH, Tadé MO, Tian YC: On the zeros of the Abelian integrals for a class of Liénard systems.
*Phys. Lett. A*2006, 358: 262–274. 10.1016/j.physleta.2006.05.031MathSciNetView ArticleMATHGoogle Scholar - Asheghi R, Zangeneh HRZ: Bifurcations of limit cycles from quintic Hamiltonian systems with an eye-gure loop.
*Nonlinear Anal.*2008, 68: 2957–2976. 10.1016/j.na.2007.02.039MathSciNetView ArticleMATHGoogle Scholar - Asheghi R, Zangeneh HRZ: Bifurcations of limit cycles from quintic Hamiltonian systems with an eye-figure loop (II).
*Nonlinear Anal.*2008, 69: 4143–4162. 10.1016/j.na.2007.10.054MathSciNetView ArticleMATHGoogle Scholar - Mardešić P Travaux en Cours 57. In
*Chebyshev Systems and the Versal Unfolding of the Cusp of Order n*. Hermann, Paris; 1998.Google Scholar - Grau M, Mañosas F, Villadelprat J: A Chebyshev criterion for Abelian integrals.
*Trans. Am. Math. Soc.*2011, 363: 109–129. 10.1090/S0002-9947-2010-05007-XView ArticleMathSciNetMATHGoogle Scholar - Li C, Zhang Z: A criterion for determining the monotonicity of the ratio of two Abelian integral.
*J. Differ. Equ.*1996, 127: 407–424.View ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.