- Research
- Open access
- Published:

# A remark about asymptotic stability in Duffing equations: lateral stability in Comb-drive finger MEMS

*Journal of Inequalities and Applications*
**volume 2023**, Article number: 142 (2023)

## Abstract

In this short paper we tackle two subjects. First, we provide a lower bound for the first eigenvalue of the antiperiodic problem for a Hill’s equation based on \(L^{p}\)-conditions, and as a consequence, we introduce an adjusted statement of the main result about the asymptotic stability of periodic solutions for the general Duffing equation in (Torres in Mediterr. J. Math. 1(4):479–486, 2004) (Theorem 4). This appropriate version of the result arises because of one subtlety in the proof provided in (Torres in Mediterr. J. Math. 1(4):479–486, 2004). More precisely, the lower bound of the first antiperiodic eigenvalue associated with Hill’s equations of potential \(a(t)\) employed there may be negative, thus the conclusion is not completely attained. Hence, the adjustments considered here provide a mathematically correct result. On the other hand, we apply this result to obtain a lateral asymptotic stable periodic oscillation in the Comb-drive finger MEMS model with a cubic nonlinear stiffness term and linear damping. This fact is not typical in Comb-drive finger devices, thus our results could provide a new possibility; a new design principle for stabilization in Comb-drive finger MEMS.

## 1 Introduction

This paper aims to provide a lower bound for the first eigenvalue of the antiperiodic problem for a Hill’s equation. By combining this estimation with other inequalities we prove a result about asymptotic stability of periodic solutions for certain Duffing equations in the line of [1]. First, we shall introduce some basic notions.

For a given \(f\in L^{1}(0,T)\), we write \(f\succ 0\) if \(f(t)\geq 0\) for almost every *t* and it is positive in a subset of positive measure. Let us define the set \(W= \{u\in W^{2,1}(0,T): u(0)=u(T), \, \dot{u}(0)=\dot{u}(T) \}\). For a given \(a\in L^{1} (0,T)\) and \(c\geq 0\), the differential operator \(L:W\to L^{1}(0,T)\) defined as

is called *inversely positive* if it is invertible and \(Lu\succ 0\) implies \(u>0\). The notion of an *inversely positive* operator, also known as a maximum principle, has relevant applications in the study of nonlinear oscillators. In reference [1], Corollary 2.5 provides a sufficient condition that is incorrect because it is based on the use of inequality (2.4) therein. We shall explain the details in Sect. 2 and develop the correct version of the results towards the end of this introduction. In particular, we obtain sufficient conditions over *L* for the *inversely positive* property (see Theorem 2). In Sect. 3 we shall apply these new theoretical results to the study of the dynamics of some MEMS. More precisely, we obtain a result about the existence of a positive and asymptotically locally stable periodic solution for the Comb-drive finger MEMS model with cubic stiffness and linear damping, a novel result that is not yet reported in the literature to our knowledge.

Finding interesting and deep connections between topological degree and asymptotic stability, the seminal papers [2–4] provide sufficient conditions to obtain at least one asymptotically locally stable periodic solution for differential equations of Liénard type. The author in [1] generalized the results in [4] for Duffing equations \(\ddot{x}+c\dot{x}+g(t,x)=0\) (\(c>0\)) with weaker conditions of \(L^{p}\) type over *g*. The proofs of this author employ a lower bound of the corresponding first eigenvalue \(\lambda _{0}^{A}\) for the antiperiodic problem of a Hill’s equation due to Zhang ([5]) that only works when \(\lambda _{0}^{A}\geq 0\). Here, we provide a lower bound of \(\lambda _{0}^{A}\) for the negative case (Theorem 5). This permits us to present complete forms of the results in [1] and some consequences. Next, we shall complete the main results in [1] (Corollary 2.4, Corollary 2.5, Lemma 3.2, and Theorem 4.2) by means of a redefinition of the set \(\Omega _{p,c}\) there. It seems to us that \(\Omega _{p,c}\) has been employed in works like [6–9], so we believe that the results obtained here could be of interest for those authors.

The solution is simple. The set \(\Omega _{p,c}\) in [1] should be redefined by the following: For any \(p\in\, [1, \infty]\) and \(c>0\) consider

where \(K(p,T)\) is the best Sobolev constant in the inequality

for all \(u\in H_{0}^{1}(0,T)\) and \(p^{*}\) be the conjugated exponent of *p*.

Therefore, the Corollary 2.4, Corollary 2.5, and Lemma 3.2 in [1] could be changed with the following alternative inequality:

with \(A=a^{+}\), *a*, and \(a^{+}\), respectively.

The cornerstone result in the referred article consists in assuming conditions in order to guarantee that \(\lambda ^{A}_{0}[a]+\frac{c^{2}}{4}>0\). Thus, we obtain our first main result that relies on our key statement about a lower bound of the eigenvalue for the antiperiodic problem in Hill’s equations (Theorem 5 in Sect. 2).

### Theorem 1

*Let* \(p\in\, [1,\infty]\) *and assume that* \(a\in \hat{\Omega}_{p,c}\). *Then*, \(\lambda ^{A}_{0}[a]+\frac{c^{2}}{4}>0\).

As a consequence, we formulate a result that should be considered as a corrected version of Lemma 2.3 in [1].

### Theorem 2

*Let* \(p\in\, [1,\infty]\) *and assume that* \(a\in \hat{\Omega}_{p,c}\). *Then*, *the operator* *L* *is inversely positive*.

In this way, the main result in [1] (Theorem 4.2) can be reformulated as follows. First, we shall introduce a definition from the Lower and Upper Solutions approach. Consider the general Duffing equation

where \(c>0\) and \(g: [0,T ]\times\, ]x_{1},x_{2} [\,\rightarrow \mathbb{R}\) is a \(L^{1}\)-Carathéodory function (\(x_{1}< x_{2}\)) such that the partial derivative \(g_{x}\) exists and it is also \(L^{1}\)-Carathéodory. We say that a function \(x(t)\equiv \ell (t)\) (resp., \(x(t)\equiv u(t)\)) is a lower (resp., upper) solution of the periodic problem associated with (2) if the left-hand side of (2) evaluated in \(x(t)\) is ≥0 (resp., ≤0). Additionally, when the strict inequality is verified then these solutions are called strict lower (resp., upper) solutions.

### Theorem 3

*Let* \(\ell >u\) *be a couple of strict lower and upper solutions of equation* (2). *Assume that for a given* \(p\in\, [1,\infty]\) *there exists* \(a\in \hat{\Omega}_{p,c}\) *verifying that*

*Then*, (2) *has at least an asymptotically locally stable* *T*-*periodic solution* \(v(t)\) *such that* \(u< v<\ell \), *provided that the number of* *T*-*periodic solutions between* *u* *and* *ℓ* *is finite*.

### Remark 1

The conditions in the precedent theorem can we rewritten as

thus we have a control by means of two measures over *a* and the friction. The condition trivially holds when *c* is very large and also when *a* is “very small”. On the other hand, note that

where \(G_{p,c}(u)=\frac{u^{2}T^{1/p}}{u^{2}+\frac{c^{2}}{4}}\) is an increasing function on \([0, \infty]\) with \(G_{p,c}(0)=0\). Thus, there exists a unique \(\zeta _{p}\in\, ]0,\infty[\) such that \(G_{p,c}(\zeta _{p})=K(2p^{*},T)\) and \(G_{p,c}(u)< K(2p^{*},T)\) for all \(u\in\, ]0,\zeta _{p}[\). In particular, we have the following sufficient condition:

For the case \(p=\infty\), the set \(\hat{\Omega}_{\infty ,c}\) is defined by the above condition with

## 2 Proofs

Next, we present the proofs of the Theorems in the Introduction. Let us consider the following second-order differential equation

where \(a(t)\) is a real-valued *T*-periodic function for \(T>0\) such that \(a\succ 0\) (\(a\in L^{\infty}(0,T)\)) and \(\lambda \in \mathbb{R}\). Henceforth, we shall consider the following boundary conditions associated with (4)

and

Let \(\lambda ^{D}_{0}[a]\) and \(\lambda ^{A}_{0}[a]\) be the first eigenvalues associated to the corresponding homogeneous Dirichlet problem (problem (4)+(5)) and the antiperiodic problem (problem (4)+(6)), respectively.

From the variational characterization of the spectrum of (4) we have that

where \(a_{s}(t)\equiv a(t+s)\) and

where *q* is the quadratic form

We remark that \(\lambda ^{D}_{0}[a]\) is simple, and if *ϕ* is an eigenfunction associated with the homogeneous Dirichlet problem then the equality in (8) is satisfied. In that sense, there exists exactly one function \(\phi _{0}\in H_{0}^{1}(0,T)\) such that \({ \lVert \phi _{0} \rVert }_{2}=1\), \(\phi _{0}>0\) on \(]0,T[\) and \(\phi _{0}\) is a solution of (4)+(5).

Next, we recall a lower bound of \(\lambda ^{D}_{0}[a]\) that is based on the ideas in [5] and [10]. First, let us consider for any \(p\in\, [1,\infty]\) the best Sobolev constant in the inequality

for all \(u\in H_{0}^{1}(0,T)\) and let \(p^{*}\) be the conjugated exponent of *p*. Thus, we have that for \(u\in H_{0}^{1}(0,T)\) such that \({ \lVert u \rVert }_{2}=1\), the Hölder inequality and the definition of the best Sobolev constant \(K(2p^{*},T)\) imply that

As a consequence of the previous inequality we have the following result ([5] and [10]).

### Theorem 4

*Let* \(p\in\, [1,\infty]\), *and consider the equation* (4) *where the potential* \(a(t)\) *is a real*-*valued* *T*-*periodic function in* \(L^{\infty}(0,T)\) *for* \(T>0\), *and* \(a\succ 0\). *If* \({ \lVert a \rVert }_{p}\leq K(2p^{*},T)\), *then for some* \(s_{0}\in \mathbb{R}\), \(\lambda ^{A}_{0}[a]=\lambda ^{D}_{0}[a_{s_{0}}]\geq K(2,T) (1- \frac{{ \lVert a \rVert }_{p}}{K(2p^{*},T)} )\geq 0\).

Now, we are able to present our second main result.

### Theorem 5

*Let* *p* *and* \(s_{0}\) *be as in Theorem *4. *Assume that* \(\lambda ^{A}_{0}[a]=\lambda ^{D}_{0}[a_{s_{0}}]<0\). *Then*, \({ \lVert a \rVert }_{p}>K(2p^{*},T)\) *and* \(\lambda ^{A}_{0}[a]\geq { \lVert a \rVert }_{\infty } (1-\frac{{ \lVert a \rVert }_{p}}{K(2p^{*},T)} )\).

### Proof

The first assertion is a direct consequence of Theorem 4. In order to prove the second part, let us consider \(\phi _{0}\) defined above for the coefficient \(a_{s_{0}}\). Hence,

and thus

and since the hypothesis implies that \((a_{s_{0}}(t)+\lambda ^{D}_{0}[a_{s_{0}}])\phi _{0}^{2}(t)\leq a_{s_{0}}(t) \phi _{0}^{2}(t)\) for all \(t\in [0,T ]\) and \({ \lVert \phi _{0} \rVert }_{2}=1\) we conclude the following

Finally, the inequality in (10) with \(\phi _{0}\) shows that

as \(\frac{{ \lVert a \rVert }_{p}}{K(2p^{*},T)}>1\). □

### Proof of Theorem 1

It is a straightforward consequence of Theorem 5 and the definition in (1). More precisely, if \(\lambda ^{A}_{0}[a]\geq 0\) then we have nothing to prove. If \(\lambda ^{A}_{0}[a]<0\), then

and the last inequality is equivalent to the hypothesis about the *p*-norm of *a*. □

## 3 Applications: lateral asymptotic locally stable periodic oscillations in MEMS

In this section, we shall introduce our main results regarding the applications to microelectromechanical systems (MEMS). These are micro-scale devices that integrate mechanical and electronic components in a common substrate, and that are employed in different fields as the automotive industry, the medical and biomedical industry, the aerospace sector, etc. (see for example [12]). In this case, we shall consider an interdigitated Comb-drive MEMS modeled with a cubic stiffness term. This device consists of tow comb-like structures (with interdigitated fingers or electrodes); the first structure is movable and it is attached to flexures, whereas the second comb is stationary. Because the device is actuated by a nonconstant periodic input voltage, we have that, in appropriate units of distance and time, the spring–mass model that describes the behavior of the movable component is given by (see [11, 12])

where \(c>0\), \(\alpha >2\), and \(\theta >0\) are physical constants of the system, and \(V(t)=V_{dc}+\delta \cos{(\omega t)}\), \(\delta \in\, ]0, V_{dc} [\), is the nonconstant positive *T*-periodic input AC–DC voltage function. Moreover, we shall consider

The mathematical study of the dynamics for Comb-drive finger devices and other MEMS has been of remarkable interest in recent years, see for instance [8, 11, 13–18]. In fact, regarding the stability of positive, periodic solutions (or lateral solutions) in MEMS actuators, the authors in [11] studied a cubic Comb-drive finger MEMS without damping and proved the existence and linear stability of at least one periodic solution under some conditions on the parameters of the system. Here, we are going to tackle the damped problem and the possibility of asymptotic stability in this frame.

Let us consider the auxiliary function for this model that is defined by

and consider the following quantities for each \(\alpha >2\)

Hereafter, we shall use the following claim about the increasing behavior of the maximum value of the auxiliary function that is given by \(q(\alpha ):=\varphi _{\alpha }(C_{\alpha})\) for \(\alpha >2\). This assertion is a direct consequence of the fact that \(\frac{d q}{d\alpha} (\alpha )= \frac{\partial \varphi _{\alpha }}{\partial \alpha} (C_{\alpha})+ \frac{\partial \varphi _{\alpha }}{\partial x}(C_{\alpha}) \frac{d C_{\alpha}}{d\alpha}=C_{\alpha}^{2}(1- C_{\alpha}^{2})^{2}>0\), \(\lim_{\alpha \rightarrow \infty}{q(\alpha )}=\infty \), and \(\lim_{\alpha \rightarrow 2^{+}}{q(\alpha )}=1\).

### Claim 1

*The function* \(q(\alpha )\) *is a monotonic increasing function*. *Moreover*, *there exists* \(\alpha ^{*}>2\) *such that for* \(\alpha >\alpha ^{*}\) \(\varphi _{\alpha }(C_{\alpha})>2\). *In other words*, \(\alpha ^{*}\) *is the unique root of* \(q(\alpha )=2\) *for* \(\alpha >2\).

Next, we follow the lower and upper solution approach. We recall from Sect. 1 that a constant function \(x(t)\equiv \ell \) (resp., \(x(t)\equiv u\)) is a lower (resp., upper) solution of the periodic problem associated with (15) if the left-hand side of (15) evaluated in \(x(t)\) is ≥0 (resp., ≤0). Equivalently, when \(\ell >0\) (\(u>0\)) the following inequality holds

Thus, we obtain the following result regarding the existence of nonstrict constant lower and upper solutions for (15).

### Lemma 1

*Assume that* \(\alpha >\alpha ^{*}\) *for* \(\alpha ^{*}\) *defined in Claim *1*and that*

*Then*, *there exist roots* \(u_{i}\) (*resp*., \(\ell _{i}\)) (\(i=1,2\)) *on* \(]0,1 [\) *for the equation* \(\varphi _{\alpha }(x)-h=0\) *with* \(h=\theta V_{m}^{2}\) (*resp*., \(h=\theta V_{M}^{2}\)), *verifying that*

### Proof

Note that from Claim 1, if \(\alpha >\alpha ^{*}\) then \(\eta _{m}<\eta _{M}\). In addition, the condition (17) implies that \(\varphi _{\alpha }(0)=1<\theta V_{m}^{2}\) and \(\theta V_{M}^{2}<\varphi _{\alpha }(C_{\alpha})\). Moreover, the function \(\varphi _{\alpha }(x)\) is even, it has a local minimum at \(x=0\) and exactly one local maximum on \(]0,1 [\) that is reached at \(x=C_{\alpha}\), thus \(\varphi _{\alpha }^{\prime}(x)>0\) on \(]0,C_{\alpha} [\) and \(\varphi _{\alpha }^{\prime}(x)<0\) on \(] C_{\alpha} ,1 [\). Then, the Intermediate Value Theorem guarantees the existence of exactly one root of \(\varphi _{\alpha }(x)-h=0\) on \(]0,C_{\alpha} [\) and \(]C_{\alpha},1 [\) for \(h=\theta V_{m}^{2}\) and \(h=\theta V_{M}^{2}\), respectively. Moreover, the order of the roots in (18) is easy to deduce from the previous remarks about \(\varphi _{\alpha }(x)\). □

### Remark 2

The roots \(\ell _{i}\) (resp., \(u_{i}\)) (\(i=1,2\)) given by the former lemma are nonstrict constant lower (resp., upper) solutions of (15). Nevertheless, hereafter we shall also consider the corresponding strict lower \(L_{i}\) (resp., upper \(U_{i}\)) solutions defined by \(L_{i}=\ell _{i}+(-1)^{i+1}\epsilon _{i}\) (resp., \(U_{i}=u_{i}+(-1)^{i}\epsilon _{i}\)) for suitable fixed, positive constants \(\epsilon _{i}=\epsilon _{i}(\alpha )\ll 1\), and such that \(0< U_{1}(\alpha )< L_{1}(\alpha )< C_{\alpha} < L_{2}(\alpha )< U_{2}( \alpha )<1\).

Now let us consider the function \(g:\mathbb{R}\times\, ]-1,1 [\,\rightarrow \mathbb{R}\) defined by

With a view to applying the main result of the previous section, we are interested in studying multiplicity for periodic solutions between the lower solution \(U_{1}\) and the upper solution \(L_{1}\). Hence, we need to compute an *α*-interval for which \(g_{xx}\) is different from zero on \(\mathbb{R}\times\, ]U_{1},L_{1} [\). A straightforward computation shows that for \(f(x)=\frac{1+x^{2}}{(1-x^{2})^{4}}\), we obtain

so the sign of \(g_{xx}\) on \(\mathbb{R}\times\, ]U_{1},L_{1} [\) is the sign of the function \({\mathcal {A}}(t,x):=\alpha (1-x^{2})^{4}-2\theta V^{2}(t)(1+x^{2})\) on the same domain.

Therefore, let us assume the same hypotheses as in Lemma 1 and note that \(f^{\prime} (x)=\frac{2x(5+3x^{2})}{(1-x^{2})^{5}}>0\) for all \(x\in\, ]0,1 [\), thus \(\mathcal{A}(t,x)>0\) on \(\mathbb{R}\times [0,C_{\alpha} ]\) if and only if *α* verifies on the same domain the following

which is equivalent to having that

and then by condition (17) this last inequality is satisfied whenever

It is not difficult to check that \(w(x):=\alpha -\varphi _{\alpha }(x)f(x)\) is a decreasing function on \(]0,1 [\) that vanishes at \(x=r_{\alpha}\) for \(r_{\alpha}=\sqrt{\frac{\alpha -1}{3\alpha +1}}\) and \(w(0)=\alpha -1>0\). On the other hand, an easy computation shows that \(C_{\alpha}< r_{\alpha}\) so (20) holds. Then, we have proved the next lemma.

### Lemma 2

*Assume that* *α*, \(V_{m}\), *and* \(V_{M}\) *verify the hypotheses in Lemma *1. *Then*, \(g_{xx}>0\) *on* \(\mathbb{R}\times [0,C_{\alpha} ]\).

Now, let us define for \(\alpha >\alpha ^{*}\) the following function

A straightforward computation shows that \(h^{\prime}(x)=12x f(x)\) for \(f(x)\) defined above. Thus, *h* is increasing on \(]0,1[\).

### Theorem 6

*Assume that* \(\alpha >\alpha ^{*}\) *and let* \(V_{m}\), \(V_{M}\) *verify the condition* (17). *If there exists some* \(p\in\, [1,\infty]\) *such that* \(a(t):=\alpha -1-\theta V^{2}(t)\) *verifies*

*Then*, (15) *has a positive asymptotic locally stable periodic solution* \(v(t)\), *such that*

### Proof

The proof will be made in several steps.

*Step* 1*. Multiplicity*:

Here, we aim to prove that the equation (15) admits at most two *T*-periodic solutions with range in \(]U_{1},L_{1} [\). This is a consequence of a known result of disconjugacy for linear second-order differential equations and a multiplicity result for a Duffing equation with convex potential in a finite domain. More precisely, if \(b\in \hat{\Omega}_{p,c}\) is a *T*-periodic function, then Theorem 1 reveals that the first eigenvalue of the antiperiodic problem associated with the linear equation \(\ddot{x}+c\dot{x}+b(t)x=0\) is positive. Therefore, Lemma 2.1 and the subsequent remark in [1] imply that the distance between consecutive zeros of any nontrivial solution of this last linear equation is greater than *T* (disconjugacy property). We note that, under certain conditions, the disconjugacy property holds for linear differential equations with potentials bounded above by \(b(t)\). The following claim summarizes this result.

### Claim 2

*Assume that* \(b_{1}\) *and* *b* *are* *T*-*periodic functions in* \(L^{\infty}(\mathbb{R})\) *such that* \(b_{1}\leq b\) *with* \(b\in\hat{\Omega}_{p,c}\). *Then*, \(\ddot{x}+c\dot{x}+b_{1}(t)x=0\) *enjoys the disconjugacy property*.

On the other hand, by following the main ideas of Lemma 7.2 part b) in [19], where the condition (106) can be replaced by (22) because the essential argument in that work is the disconjugacy property, we obtain the next result.

### Claim 3

*Assume that* \(b_{i}\) *and* *b* *are* *T*-*periodic functions in* \(L^{\infty}(\mathbb{R})\) *verifying that* \(b_{i}\leq b\) *for* \(i=1,2\) *and* \(b\in\hat{\Omega}_{p,c}\). *If* \(b_{1}\ll b_{2}\), *then the linear equations* \(\ddot{x}+c\dot{x}+b_{i}(t)x=0\) *do not admit nontrivial* *T*-*periodic solutions simultaneously*.

From Claim 3 and the fact that \(g_{xx}>0\) on \(\mathbb{R}\times ]U_{1}, L_{1}[\) (as a consequence of Lemma 2), it is not difficult to prove the conclusion of this step by following the ideas in [19, 20]. For the sake of completeness, let us clarify the last assertion. We can adapt the ideas in [20] (see Lemma 11 there) and use the disconjugacy property to show that the periodic solutions of (15) are ordered. Thus, the proof of the multiplicity easily follows: if (15) admits at least three different periodic solutions, then we obtain two linear differential equations with ordered potentials as in Claim 3 (by using the Mean Value Theorem, the monotonicity of \(g_{x}\), and the inequality in (23) from next step), and such that the consecutive differences between the periodic solutions of (15) solve the corresponding linear equations. This contradicts Claim 3.

*Step* 2*. Existence and stability properties*:

First, we have that

so that the former discussion implies that

as \(h\geq 1\) and \(1+3\alpha C_{\alpha}^{2}=\alpha -1\).

Hence, all hypotheses of Theorem 3 hold. In fact, first, from *Step* 1 there are only a finite number of periodic solutions with range in \(]U_{1}, L_{1}[\). Secondly, \(\theta V_{M}^{2}<\alpha -1\) as \(\varphi _{\alpha }(C_{\alpha})<\alpha -1\) for \(\alpha >2\), and from hypothesis \(\theta V_{M}^{2}< \varphi _{\alpha }(C_{\alpha})\). This assertion is straightforward since \(C_{2}=0\), \(\varphi _{2}(C_{2})=1 \), and \(\frac{\partial \varphi _{\alpha }}{\partial \alpha}(C_{\alpha})=C_{ \alpha}^{2}(1-C_{\alpha}^{2})^{2}<1\). Thus, \(a(t)>0\) for all \(t \in \mathbb{R}\). This implies that \(a\in \hat{\Omega}_{p,c}\) because of (22) and \({ \lVert a \rVert }_{\infty }=\alpha -1-\theta V_{m}^{2}\). A direct application of Theorem 3 implies the existence of a periodic solution \(v(t)\) with range in \(]U_{1}, L_{1}[\) that is locally asymptotically stable. □

### Remark 3

Note that under the hypotheses of Theorem 6 the equilibrium \(x\equiv 0\) is unstable (hyperbolic) for *c* small enough because the linearized equation at \(x\equiv 0\) is of the form

with \(1-\theta V^{2}(t)<0\) for all \(t\in \mathbb{R}\). Typically, a linear Comb-drive finger MEMS stabilizes at the origin, but in this operation regime the stability is switched to some lateral periodic solution.

## 4 Concluding remarks

In this paper we have provided sufficient conditions of \(L^{p}\)-type over a Duffing equation periodically forced with linear damping to obtain at least one asymptotically locally stable periodic solution, based on the computation of a lower bound for the first eigenvalue of the antiperiodic problem for Hill’s equations. This result fills some gaps present in the literature. As an application, we have provided a new design principle for Comb-drive finger actuators driven by a periodic voltage that enables the appearance of stable, periodic, lateral oscillations, an uncommon feature in Comb-drive finger MEMS.

On the other hand, by applying Lemma 1 and a classical result of the Lower and Upper Solutions Method, it is possible to prove that there exists a positive periodic solution of (15) with range in \(]L_{2},U_{2} [\). This solution could be typically unstable, e.g., if we have uniqueness of the periodic solution with that range (see [21]). Are there more periodic solutions for this model? To our knowledge the multiplicity of positive periodic solutions for this problem still remains open.

## Availability of data and materials

Not applicable.

## References

Torres, P.J.: Existence and stability of periodic solutions of a Duffing equation by using a new maximum principle. Mediterr. J. Math.

**1**(4), 479–486 (2004). https://doi.org/10.1007/s00009-004-0025-3Zitan, A., Ortega, R.: Existence of asymptotically stable periodic solutions of a forced equation of Liénard type. Nonlinear Anal., Theory Methods Appl.

**22**(8), 993–1003 (1994). https://doi.org/10.1016/0362-546x(94)90062-0Ortega, R.: Some applications of the topological degree to stability theory. In: Topological Methods in Differential Equations and Inclusions. NATO ASI Series, vol. 472, pp. 377–409. Springer, Dordrecht (1995). https://doi.org/10.1007/978-94-011-0339-8_8

Njoku, F.I., Omari, P.: Stability properties of periodic solutions of a Duffing equation in the presence of lower and upper solutions. Appl. Math. Comput.

**135**(2–3), 471–490 (2003). https://doi.org/10.1016/s0096-3003(02)00062-0Zhang, M., Li, W.: A Lyapunov-type stability criterion using \(\mathrm{L}^{\alpha }\) norms. Proc. Am. Math. Soc.

**130**(11), 3325–3333 (2002). https://doi.org/10.1090/s0002-9939-02-06462-6Liang, S.: Exact multiplicity and stability of periodic solutions for a Duffing equation. Mediterr. J. Math.

**10**(1), 189–199 (2012). https://doi.org/10.1007/s00009-012-0189-1Wang, F., Zhu, H.: Existence, uniqueness and stability of periodic solutions of a Duffing equation under periodic and anti-periodic eigenvalues conditions. Taiwan. J. Math.

**19**(5), 1457–1468 (2015). https://doi.org/10.11650/tjm.19.2015.3992Núñez, D., Galán-Vioque, J., Murcia, L.: Stable periodic oscillations in simple parallel-plate MEMS based on a family of graphene-like materials. Int. J. Non-Linear Mech.

**149**, 104324 (2023). https://doi.org/10.1016/j.ijnonlinmec.2022.104324Liang, S.: Exact multiplicity and stability of periodic solutions for Duffing equation with bifurcation method. Qual. Theory Dyn. Syst.

**18**(2), 477–493 (2018). https://doi.org/10.1007/s12346-018-0296-xCabada, A., Cid, J.A., López-Somoza, L.: Maximum Principles for the Hill’s Equation, p. 238. Elsevier/Academic Press, Amsterdam (2018)

Núñez, D., Perdomo, O., Rivera, A.: On the stability of periodic solutions with defined sign in MEMS via lower and upper solutions. Nonlinear Anal., Real World Appl.

**46**, 195–218 (2019). https://doi.org/10.1016/j.nonrwa.2018.09.010Younis, M.I.: MEMS Linear and Nonlinear Statics and Dynamics, vol. 20. Springer, New York (2011). https://doi.org/10.1007/978-1-4419-6020-7

Gutierrez, A., Núñez, D., Rivera, A.: Effects of voltage change on the dynamics in a Comb-drive finger of an electrostatic actuator. Int. J. Non-Linear Mech.

**95**, 224–232 (2017). https://doi.org/10.1016/j.ijnonlinmec.2017.05.008Llibre, J., Núñez, D.E., Rivera, A.: Periodic solutions of the Nathanson’s and the Comb-drive models. Int. J. Non-Linear Mech.

**104**, 109–115 (2018). https://doi.org/10.1016/j.ijnonlinmec.2018.05.009Núñez, D., Larreal, O., Murcia, L.: Odd periodic oscillations in Comb-drive finger actuators. Nonlinear Anal., Real World Appl.

**61**, 103347 (2021). https://doi.org/10.1016/j.nonrwa.2021.103347Larreal, O., Murcia, L., Núñez, D.: Odd periodic oscillations in Comb-drive finger MEMS with cubic stiffness. J. Math. Control Sci. Appl.

**8**, 185–197 (2022)Beron, J., Rivera, A.: Periodic oscillations in MEMS under squeeze film damping force. J. Appl. Math.

**2022**, Article ID 1498981 (2022). https://doi.org/10.1155/2022/1498981Núñez, D., Murcia, L.: On a bi-stability regime and the existence of odd subharmonics in a Comb-drive MEMS model with cubic stiffness. Nonlinear Anal., Real World Appl.

**74**, 103938 (2023)Mawhin, J.: Topological degree and boundary value problems for nonlinear differential equations. In: Topological Methods for Ordinary Differential Equations. Lecture Notes in Mathematics, vol. 1537, pp. 74–142. Springer, Berlin (1993). https://doi.org/10.1007/bfb0085076

Gutiérrez, A., Torres, P.: Nonautonomous saddle-node bifurcation in a canonical electrostatic MEMS. Int. J. Bifurc. Chaos

**23**(5), 1350088 (2013). https://doi.org/10.1142/S0218127413500880Dancer, E.N., Ortega, R.: The index of Lyapunov stable fixed points in two dimensions. J. Dyn. Differ. Equ.

**6**(4), 631–637 (1994). https://doi.org/10.1007/bf02218851

## Acknowledgements

The authors are grateful to P. Torres for his helpful comments about this paper. This article has been financially supported by the Pontifical Xavierian University.

## Funding

This article has been financially supported by the Pontifical Xavierian University.

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Consent for publication

Not applicable.

### Competing interests

The authors declare no competing interests.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Núñez, D., Murcia, L. A remark about asymptotic stability in Duffing equations: lateral stability in Comb-drive finger MEMS.
*J Inequal Appl* **2023**, 142 (2023). https://doi.org/10.1186/s13660-023-03050-9

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-023-03050-9