Abstract
A MEMS model with an insulating layer is considered and its reinforced limit is derived by means of a Gamma convergence approach when the thickness of the layer tends to zero. The limiting model inherits the dielectric properties of the insulating layer.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Idealized microelectromechanical systems (MEMS) consist of two dielectric plates: a rigid ground plate above which an elastic plate is suspended. The latter is electrostatically actuated by a Coulomb force which is induced across the device by holding the two plates at different voltages. In this set-up there is thus a competition between attractive electrostatic forces and restoring mechanical forces due to the elasticity of the plate. When the two plates are not prevented from touching each other, a contact of the plates commonly leads to an instability of the device—also known in the literature as “pull-in instability”—which is revealed as a singularity in the corresponding mathematical equations, e.g., see [9, 16] and the references therein. In contrast, when the ground plate is coated with an insulating layer preventing a direct contact of the plates, see Fig. 1, a touchdown of the elastic plate on this layer does not result in an instability as the device may continue to operate without interruption (though it still leads to a peculiar situation from a mathematical point of view). Different mathematical models describing this setting including an insulating layer were introduced [2, 4, 10, 12, 13, 17]. The basic assumption in all these models is that the state of the device is fully described by the vertical deflection of the elastic plate and the electrostatic potential in the device. According to [4, 10, 12, 13] the dynamics of the former is governed by an evolution equation while that of the latter is governed by an elliptic equation in a time-varying domain enclosed by the two plates. Due to the heterogeneity of the dielectric properties of the device, this elliptic equation is actually a transmission problem (see (1.1) below) on the non-smooth time-dependent domain with a transmission condition at the interface separating the insulating layer and the free space. The analysis of such a model turns out to be quite involved [10, Section 5]. Therefore, several simpler and more tractable models were derived on the assumption of a vanishing aspect ratio of the device [2, 4, 10, 12, 13]. Thanks to this approximation the electrostatic potential can be computed explicitly in terms of the deflection of the elastic plate, and the model thus reduces to a single equation for the deflection.
The aim of the present work is to derive an intermediate model by letting only the thickness of the insulating layer go to zero (instead of the aspect ratio of the device). Our starting point is the model analyzed in [10] in which we introduce an appropriate scaling of the dielectric permittivity in dependence on the layer’s thickness (see (2.1a) below) and use a Gamma convergence approach to study the limiting behavior. The specific choice of the scaling is required in order to keep relevant information of the dielectric heterogeneity of the device and can be interpreted as a reinforced limit from a mathematical point of view [1].
To be more precise, we recall the model stated in [10, Section 5]. Let \(D\subset {\mathbb {R}}^n\) with \(n\ge 1\) be a bounded \(C^2\)-domain representing the (identical) horizontal cross-section of the two plates (actually, only the cases \(n\in \{1,2\}\) are physically relevant for applications to MEMS, the ground plate being \(D\times (-H-d,-H)\) and thus a two or three dimensional object). The dielectric layer of thickness \(\delta >0\) on top of the ground plate located at \(z=-H-\delta \) with \(H>0\) is then given by
The deflection of the elastic plate from its rest position at \(z=0\) is described by a function \(u:\bar{D} \rightarrow [-H,\infty )\) with \(u=0\) on \(\partial D\), so that
is the free space between the elastic plate and the top of the dielectric layer. We let
denote the interface separating free space and dielectric layer and put
If the elastic plate and the insulating layer remain separate, that is, if \(u>-H\) in D, then \(\Sigma (u)\) coincides with
In contrast, a touchdown of the elastic plate on the insulating layer corresponds to a non-empty coincidence set
and a different geometry as the free space \(\Omega (u)\) then has several connected components. It is worth pointing out that in this case – independent of the smoothness of the function u – these components may not be Lipschitz domains, a feature which requires some special care in the mathematical analysis.
The different situations with empty and non-empty coincidence sets are depicted in Fig. 1.
In the model considered in [10, Section 5], the deflection u of the elastic plate is governed by an evolution equation involving contributions from mechanical and electrostatic forces, the latter depending on the electrostatic potential denoted by \(\psi \) in the following. However, for the derivation of the limiting problem for the electrostatic potential, the evolution of u does not play any role. We thus consider throughout this paper a fixed geometry \(\Omega (u)\); that is, we consider the function \(u:\bar{D} \rightarrow [-H,\infty )\) with \(u=0\) on \(\partial D\) describing the deflection of the elastic plate as given and fixed. We refer to [10, Section 5] for the full model.
Given such a function u, the electrostatic potential \(\psi =\psi _{u,\delta }\) satisfies the transmission problem
and the corresponding electrostatic energy of the device with geometry \(\Omega _\delta (u)\) is
Here, \(\sigma _\delta \) is the permittivity of the device, which is different in the insulating layer and free space, and \(h_{u,\delta }\) is a given suitable function describing the boundary values of the electrostatic potential. By \(\llbracket \cdot \rrbracket \) we denote the jump of a function across the interface \(\Sigma (u)\). The Lax-Milgram theorem provides the existence of a unique electrostatic potential \(\psi _{u,\delta }=\chi _{u,\delta }+h_{u,\delta }\) solving (1.1) in a variational sense, and the function \(\chi _{u,\delta }\in H_0^1(\Omega _\delta (u))\) is the minimizer of the Dirichlet integral
among functions \(\vartheta \in H_0^1(\Omega _\delta (u))\), see Proposition 3.2 below.
In the following we shall derive the limiting model obtained from (1.1) as \(\delta \rightarrow 0\) when imposing suitable assumptions on the function \(h_{u,\delta }\) defining the boundary values of the potential (see (2.2) below) and on the permittivity \(\sigma _\delta \) (see (2.1) below), so that information on the dielectric heterogeneity is inherited. As for the permittivity we assume that it is constant (normalized to 1) in \(\Omega (u)\) and a reinforced limit \(\sigma _\delta =O(\delta )\) in \({\mathcal {R}}_\delta \). We then shall follow [1] to compute the Gamma limit with respect to the \(L_2\)-topology of the family of functionals \((G_\delta )_{\delta \in (0,1)}\) as \(\delta \rightarrow 0\), which turns out to be the functional
with \(h_u\) and \(\mathfrak {h}_u\) defined below in (2.6) and in (2.8), respectively, see Theorem 3.1. Let us emphasize here that an utmost challenging feature of the limiting problem is that \(\Omega (u)\) need not be a Lipschitz set as it may have cusps when the coincidence set \({\mathcal {C}}(u)\) is nonempty. Therefore, the usual trace theorem is not available and a meaningful definition of G requires a suitable definition of a trace on \((D \setminus {\mathcal {C}}(u))\times \{-H\}\) for functions in (a subset of) \(H^1(\Omega (u))\), see Lemmas 2.1 and 2.2. Once this issue is settled, the existence of a minimizer \(\chi _u\) of G in a suitable subset of \(H^1(\Omega (u))\) is shown by classical arguments, see Proposition 3.3. The derivation of the corresponding Euler-Lagrange equation offers further challenges again related to the non-smoothness of \(\Omega (u)\). Indeed, a formal computation reveals that \(\psi _u=\chi _u+h_u\) solves Laplace’s equation on \(\Omega (u)\) with a Robin boundary condition along the interface \(\Sigma (u)\) and a Dirichlet condition on the other boundary parts; that is,
However, a rigorous computation relies on Gauß’ theorem which requires some geometric condition on the boundary of \(\Omega (u)\) and the existence of boundary traces for \(\nabla \chi _u\), see [7].Footnote 1 Due to the Robin boundary condition the resulting model is consistent in the sense that touching plates again do not lead to a singularity in the equations.
Remark 1.1
Of course, if the coincidence set \({\mathcal {C}}(u)\) is empty, then \(\Omega (u)\) is a Lipschitz domain and the derivation of (1.2) only requires that \(\chi _u\) belongs to \(H^2(\Omega (u))\). However, this property is not guaranteed by classical elliptic regularity theory since \(\Omega (u)\) is only Lipschitz. In the special case that D is a one-dimensional interval and under appropriate choices of \(h_u\) and \(\mathfrak {h}_u\), we provide a rigorous justification of (1.2) in Theorem 3.5.
In Sect. 2 we first list the precise assumptions that we impose on the permittivity \(\sigma _\delta \) and on the function \(h_{u,\delta }\) defining the boundary values of the electrostatic potential. Moreover, since, as pointed out above, the set \(\Omega (u)\) may not be Lipschitz for deformations u with non-empty coincidence set \({\mathcal {C}}(u)\) and thus standard trace theorems are not valid, we derive in Sect. 2 also boundary trace theorems in weighted spaces for functions in \(H^1(\Omega (u))\). Section 3 is dedicated to the computation of the Gamma limit of \((G_\delta )_{\delta \in (0,1)}\) as \(\delta \rightarrow 0\), which is the main result of this paper, see Theorem 3.1. Moreover, we derive in Sect. 3 the limiting equations (1.2).
From now on, the function u is fixed and assumed to satisfy
and
in the sense of [11, Definition 10.23].
2 Assumptions and Auxiliary Results
In this section we state the precise assumptions imposed on the permittivity \(\sigma _\delta \) and the function \(h_{u,\delta }\) defining the boundary values of the electrostatic potential. We also provide some auxiliary results regarding boundary traces for functions defined on the possibly non-Lipschitz set \(\Omega (u)\).
2.1 Assumptions on \(\sigma _\delta \) and \(h_{u,\delta }\)
To inherit in the limit \(\delta \rightarrow 0\) the information of the permittivity from the insulating layer, we specifically assume that the permittivity scales with the layer’s thickness; that is, we assume that the permittivity of the device is given in the form
for \(\delta \in (0,1)\), where \( \sigma \in C(\bar{D}\times [-H-1,-H])\) is a fixed function with
Regarding the boundary values of the electrostatic potential given in (1.1c) we fix two \(C^2\)-functions
and
satisfying
for \((x,w)\in D\times [-H,\infty )\). We then define
for \((x,z,w)\in \bar{D}\times [-H-\delta ,-H)\times [-H, \infty )\) and
for \((x,z,w)\in \bar{D}\times [-H,\infty )\times [-H, \infty )\), and observe that, by (2.2), for \((x,w)\in \bar{D}\times [-H,\infty )\),
In the following, we shall also use the abbreviations
and
Then (2.4) entails
Furthermore, we set
2.2 Traces in \(H^1(\Omega (u))\)
As pointed out already in the introduction, the region \(\Omega (u)\) need not be Lipschitz (besides not being connected) when the elastic plate touches the insulating layer; that is, when \({\mathcal {C}}(u)\ne \emptyset \). That there is still a meaningful definition of boundary traces on \(D\setminus {\mathcal {C}}(u)\) for functions in \(H^1(\Omega (u))\) in this case is the content of the subsequent result. We follow [14], exploiting the special geometry of \(\Omega (u)\) to show that traces are well-defined in weighted spaces.
Lemma 2.1
Suppose (1.3) and set \(M_u:= \Vert H+u\Vert _{L_\infty (D)}\).
- (a):
-
There exists a bounded linear operator
$$\begin{aligned} \gamma _u\in \mathcal {L}\Big ( H^1(\Omega (u)),L_2\big ( D\setminus {\mathcal {C}}(u),(H+u){\text {d}}x \big ) \Big ) \end{aligned}$$such that \(\gamma _u\vartheta = \vartheta (\cdot , u)\) for \(\vartheta \in C^1\big ( \overline{\Omega (u)} \big ) \) and
$$\begin{aligned}&\int _{D\setminus \mathcal {C}(u)} |\gamma _u\vartheta | ^2 (H+u)\ \mathrm {d}x \\&\qquad \qquad \qquad \qquad \quad \le \Vert \vartheta \Vert _{L_2(\Omega (u))}^2 + 2 M_u \Vert \vartheta \Vert _{L_2(\Omega (u))} \Vert \partial _z \vartheta \Vert _{L_2(\Omega (u))}\ . \nonumber \end{aligned}$$(2.9) - (b):
-
There exists a bounded linear operator
$$\begin{aligned} \gamma _b\in \mathcal {L}\Big ( H^1(\Omega (u)),L_2\big ( D\setminus {\mathcal {C}}(u),(H+u){\text {d}}x \big ) \Big ) \end{aligned}$$such that \(\gamma _b\vartheta = \vartheta (\cdot , -H)\) for \(\vartheta \in C^1\big ( \overline{\Omega (u)} \big ) \) and
$$\begin{aligned} {\begin{matrix} \int _{D\setminus \mathcal {C}(u)} |\gamma _b\vartheta | ^2 &{} (H+u)\ \mathrm {d}x \\ &{} \le \Vert \vartheta \Vert _{L_2(\Omega (u))}^2 + 2 M_u \Vert \vartheta \Vert _{L_2(\Omega (u))} \Vert \partial _z \vartheta \Vert _{L_2(\Omega (u))}\ . \end{matrix}} \end{aligned}$$(2.10)
Proof
(a) Let \(\vartheta \in C^1\big ( \overline{\Omega (u)} \big )\). For \(x\not \in {\mathcal {C}}(u)\) and \(z\in (-H,u(x))\), it follows from Hölder’s inequality that
Hence,
We use once more Hölder’s inequality to obtain
Owing to (1.3b), the space \(C^1\big ( \overline{\Omega (u)} \big )\) is dense in \(H^1(\Omega (u))\) according to [11, Theorem 10.29] or [15, II.Theorem 3.1]. We then infer from (2.11) that the mapping \(\vartheta \mapsto \vartheta (\cdot ,u)\) from \(C^1\big ( \overline{\Omega (u)} \big )\) to \(L_2\big ( D\setminus {\mathcal {C}}(u),(H+u){\text {d}}x \big )\) extends by density to a linear bounded operator \(\gamma _u\) from \(H^1(\Omega (u))\) to \(L_2(D\setminus {\mathcal {C}}(u), (H+u){\text {d}}x)\) and which satisfies (2.11).
(b) The proof being similar to that of (a), we omit it here. \(\square \)
For simplicity, we use the notation
for \(\vartheta \in H^1(\Omega (u))\).
Next, we introduce \(H_B^1(\Omega (u))\) as the closure in \(H^1(\Omega (u))\) of the set
Next, we introduce \(H_B^1(\Omega (u))\) as the closure in \(H^1(\Omega (u))\) of the set
Since \(\vartheta (x,u(x))=\vartheta (x,-H)=0\) for \(x\in {\mathcal {C}}(u)\) and \(\vartheta \in C_B^1(\overline{\Omega (u)})\), we agree upon setting \(\vartheta (x,u(x))=\vartheta (x,-H):=0\) for all \(x\in {\mathcal {C}}(u)\) and \(\vartheta \in H_B^1(\Omega (u))\) in the reminder of this paper. For functions in \(H_B^1(\Omega (u))\) we derive a Poincaré inequality and improve the information on the trace along \(\Sigma \) from Lemma 2.1:
Lemma 2.2
Suppose (1.3) and let \(\vartheta \in H_B^1(\Omega (u))\). Then
and the trace \(\vartheta \mapsto \vartheta (\cdot ,-H)\) yields a bounded linear operator from \(H_B^1(\Omega (u))\) to \(L_2(D)\) with
Proof
Consider first \(\vartheta \in C_B^1\big ( \overline{\Omega (u)} \big )\). Since \(\vartheta (x,u(x))=0\) for \(x\in D\), it follows from Hölder’s inequality that, for \(x\not \in {\mathcal {C}}(u)\) and \(z\in (-H,u(x))\),
Consequently, using again Hölder’s inequality gives
Hence,
and we complete the proof of (2.12) by a density argument.
Next, consider again \(\vartheta \in C_B^1\big ( \overline{\Omega (u)} \big )\) and \(x\not \in {\mathcal {C}}(u)\). We infer from (2.14) with \(z=-H\) that
Since \(\vartheta (x,-H)=0\) for \(x\in {\mathcal {C}}(u)\), we use once more Hölder’s inequality to obtain
which shows (2.13) for \(\vartheta \in C_B^1\big ( \overline{\Omega (u)} \big )\). We again complete the proof by a density argument. \(\square \)
3 The Reinforced Limit
As announced in the introduction we shall derive the limiting equations of (1.1) as \(\delta \rightarrow 0\) when assuming the reinforced limit (2.1) on the permittivity. For this we first compute the Gamma limit of the functionals \((G_\delta )_{\delta \in (0,1)}\) and then study the behavior of the corresponding minimizers.
3.1 The Gamma Limit of the Electrostatic Energy
Fix \(M\ge \Vert u\Vert _{L_\infty (D)}+H\), so that
and set
Define for \(\delta \in (0,1)\)
with \(h_{u,\delta }\) given in (2.5). Also, for \(\vartheta \in H_B^1(\Omega (u))\), we set
with \(h_u\) and \(\mathfrak {h}_u\) defined in (2.6) and (2.8), respectively, and
Then the main result of the present paper is the following convergence.
Theorem 3.1
Suppose (1.3) and (2.2)-(2.3). Then
For more information on Gamma convergence we refer, e.g., to [5].
Proof
(i) Asymptotic weak lower semi-continuity. Considering
we shall show that
Due to the definitions of the functionals we may assume without loss of generality that \(\vartheta _\delta \in H_0^1(\Omega _\delta (u))\) for \(\delta \in (0,1)\) and
Therefore, by (2.1), (2.2), and (3.4), we have
Thus, invoking (3.3) and (3.5) we may further assume that
Since \(\vartheta _\delta \) belongs to \( H_0^1(\Omega _\delta (u))\), which is the closure of \(C^\infty _c(\Omega _\delta (u))\) in \(H^1(\Omega _\delta (u))\), and \(C^\infty _c(\Omega _\delta (u))\subset C_B^1(\Omega (u))\), it readily follows from the definitions of \(\Omega _\delta (u)\) and \(\Omega (u)\) that \(\vartheta _\delta \) belongs to \(H_B^1(\Omega (u))\), the latter being a closed subspace of \(H^1(\Omega (u))\). Thus (3.6) implies that \(\vartheta _0\in H_B^1(\Omega (u))\). Moreover, (2.13), (3.3), and (3.5) yield
Next, since, for each \(\varepsilon >0\), there is \(\delta _\varepsilon \in (0,1)\) such that
it follows from (3.4) that
The property \(\vartheta _\delta (\cdot ,-H-\delta )= 0\) a.e. in D and Hölder’s inequality yield
for a.e. \(x\in D\) while (2.2c) and (2.3) imply for \(x\in D\) (recalling (2.6) and (2.8))
Consequently,
where we used (3.7) and \(\vartheta _\delta (x,-H)=0\), \(x\in {\mathcal {C}}(u)\) (since \(\vartheta _\delta \in H_0^1(\Omega _\delta (u))\)) to derive the last equality. Since \(h_{u,\delta }=h_{u}\) and \(\sigma _\delta =1 \) in \(\Omega (u)\) it follows from (3.6) that
Therefore, gathering the last two inequalities gives
and thus the weak lower semi-continuity of the functionals \((G_\delta )_{\delta \in (0,1)}\) follows.
(ii) Recovery sequence. To prove the existence of a recovery sequence it suffices, by definition of the functionals \((G_\delta )_{\delta \in (0,1)}\), to consider \(\vartheta \in H_B^1(\Omega (u))\). Let \({\bar{\vartheta }}\) denote the trivial extension of \(\vartheta \) to \(D\times (-H,M)\) and then its reflection to \(D\times (-2H-M,M)\); that is,
Let
where \(d(\cdot ,\partial D)\) denotes the distance to \(\partial D\). Since the \(C^2\)-regularity of the boundary of D implies that \(d(\cdot ,\partial D)\) is \(C^2\) near \(\partial D\) (see [6, Lemma 14.16]), we have \(\tau _\delta \in H^1(D)\) for \(\delta \) small enough. Define now
and
The regularities of \(\vartheta \), \({\bar{\vartheta }}\), and \(\tau _\delta \) imply that \(\vartheta _\delta \in H^1({\mathcal {R}}_\delta )\cap H^1(\Omega (u))\) and thus, since moreover \(\llbracket \vartheta _\delta \rrbracket =0\) on \(\Sigma (u)\), we deduce \(\vartheta _\delta \in H^1(\Omega _\delta (u))\). By construction, it follows that \(\vartheta _\delta \) vanishes on \(\partial \Omega _\delta (u)\), hence \(\vartheta _\delta \in H_0^1(\Omega _\delta (u))\). We now claim that
Indeed, for \((x,z)\in {\mathcal {R}}_\delta \) we note that
and then handle the terms separately. From (2.3) and \(\sigma _\delta =\delta \sigma \) in \({\mathcal {R}}_\delta \) we obtain
Thus, recalling the definition of \(\tau _\delta \) and using Lebesgue’s theorem,
Next, we have
so that
since \({\bar{\vartheta }} \in H^1(D\times (-2H-M,M))\). Moreover, from (2.3) it follows that
from which we get, using substitution,
Hence, by definition of \(\tau _\delta \) and Lebesgue’s theorem,
Gathering (3.9), (3.10), (3.11), and (3.13) we derive
Next, still for \((x,z)\in {\mathcal {R}}_\delta \), we compute
where
We further note that
for \((x,z)\in {\mathcal {R}}_\delta \). Gathering these observations, recalling that \(\sigma _\delta =\delta \sigma \) in \({\mathcal {R}}_\delta \), and denoting the norm of \(h_b\) in \(C^1(\bar{D}\times [-H-1,-H]\times [-H,M])\) by \(\Vert h_b\Vert _{C^1}\) we deduce
Now, since the distance function \(d(\cdot ,\partial D)\in C^2\) (see [6, Lemma 14.16]) satisfies the eikonal equation we have
and since \(u\in H_0^1(D)\) and \({\bar{\vartheta }} \in H^1(D\times (-2H-M,M))\), we deduce that the right-hand side of the above estimate is of order \(\delta \), hence
Consequently, we derive from (2.1a), (2.3), (3.14), (3.16), and (2.2c)
that is, (3.8) since \(\vartheta _\delta \in H_0^1(\Omega _\delta (u))\). This proves the assertion. \(\square \)
3.2 Minimizers
Now that we have shown the Gamma convergence of the functionals \((G_\delta )_{\delta \in (0,1)}\) towards G, we can deduce useful information on the relation between their minimizers. We first recall from the Lax-Milgram theorem (also see [10, Proposition 3.1, Lemma 3.2]) the following result regarding the solvability of the transmission problem (1.1):
Proposition 3.2
Suppose (1.3) and (2.2)–(2.3). For \(\delta \in (0,1)\), there is a unique minimizer \(\chi _{u,\delta } \in H_{0}^1(\Omega _\delta (u))\) of the functional \(G_\delta \) on \( H_{0}^1(\Omega _\delta (u))\). It satisfies
In addition, \(\psi _{u,\delta }:=\chi _{u,\delta }+h_{u,\delta }\) is a variational solution to (1.1).
As for the functional G we note:
Proposition 3.3
Suppose (1.3) and (2.2). There is a unique minimizer \(\chi _u\in H_B^1(\Omega (u))\) of the functional G on \(H_B^1(\Omega (u))\). It satisfies
Proof
It readily follows from (2.1b), the Poincaré inequality (2.12), and the Lax-Milgram theorem that there is a unique minimizer \(\chi _u\in H_B^1(\Omega (u))\) of G on \(H_B^1(\Omega (u))\). Since \(\chi _u\) satisfies
we obtain the claimed estimate by taking \(\vartheta \equiv 0\) in the previous inequality. \(\square \)
As a consequence of Theorem 3.1 and Propositions 3.2 and 3.3, we obtain the convergence of the minimizers of the functionals.
Corollary 3.4
Suppose (1.3) and (2.2)-(2.3). Then
as \(\delta \rightarrow 0\), and
Proof
Let \(\delta \in (0,1)\). We use (2.1a), (3.12), and (3.15) to obtain that
for a constant \(c_1>0\) independent of \(\delta \). This estimate, along with (2.1b) and (3.17), implies that
On the one hand, we infer from the Poincaré inequality (2.12) and (3.18) that
On the other hand, since \(\chi _{u,\delta }(\cdot ,-H-\delta )\equiv 0\) we can use the same argument as for the derivation of (2.12) to show that
Therefore, using (3.18) and the trivial extension of \(\chi _{u,\delta }\),
Now, despite of the possible non-Lipschitz character of \(\Omega (u)\), the embedding of \(H^1(\Omega (u))\) in \(L_2(\Omega (u))\) is compact, see [15, I.Theorem 1.4] or [11, Theorem 11.21], and we infer from (3.19) and (3.20) that there are a function \(\zeta \in L_2(\Omega _M)\cap H^1(\Omega (u))\) vanishing in \(\Omega _M\setminus \Omega (u)\) and a sequence \(\delta _n\rightarrow 0\) such that \(\chi _{u,\delta _n}\rightarrow \zeta \) in \(L_2(\Omega _M)\) and \(\chi _{u,\delta _n}\rightharpoonup \zeta \) in \(H^1(\Omega (u))\). Thus, Theorem 3.1 and the fundamental theorem of \(\Gamma \)-convergence [5, Corollary 7.20] imply that \(\zeta \) is a minimizer of G on \(L_2(\Omega _M)\) and that
Obviously, this implies that \(\zeta \vert _{\Omega (u)}\in H_B^1(\Omega (u))\) is a minimizer of G on \(H_B^1(\Omega (u))\), hence \(\zeta \vert _{\Omega (u)}=\chi _u\) by Proposition 3.3 and it is independent of the sequence \((\delta _n)_{n\in \mathbb {N}}\). Clearly, \(G[\zeta ]\) only depends on \(\zeta \vert _{\Omega (u)}=\chi _u\) and is independent of the sequence \((\delta _n)_{n\in \mathbb {N}}\). This proves the claim. \(\square \)
3.3 The Limiting Model
Finally, we shall derive the analogue to Eqs. (1.1) satisfied by \(\psi _u:=\chi _u+h_u\) for which we suppose that \(\chi _u\in H_B^1(\Omega (u))\cap H^2(\Omega (u))\) and that Gauß’ theorem applies for \(\Omega (u)\) and \(\nabla \chi _u\) (which requires some geometric condition on the boundary of \(\Omega (u)\) and the existence of boundary traces for \(\nabla \chi _u\), see [7]).
Let \(u\in H_0^1(D)\cap C({\bar{D}})\) satisfy (3.1). Since \(\chi _u\in H_B^1(\Omega (u))\) is the minimizer of G on \(H_B^1(\Omega (u))\) by Corollary 3.4, it satisfies the variational equality
for any \(\phi \in H_B^1(\Omega (u))\). Then, by standard computations,
Therefore, since \(\phi \) vanishes on \(\partial \Omega (u)\setminus \Sigma \) ,
Consequently, in this case \(\psi _u=\chi _u+h_u\in H^2(\Omega (u))\) solves Laplace’s equation with mixed boundary conditions of Dirichlet and Robin type as announced in (1.2). The corresponding electrostatic energy is
that is,
where \(\mathfrak {h}_u\) is defined in (2.8). By Corollary 3.4 we have \(E_{e,\delta } (u) \rightarrow E_e(u)\) as \(\delta \rightarrow 0\).
For the special case that D is an interval in \({\mathbb {R}}\) and \(h_b\) is of the form
for \((x,z,w)\in \bar{D}\times [-H-1,-H]\times [-H,\infty )\) with \(\mathfrak {h}\in C^2(\bar{D}\times [-H,\infty ))\), the previous computation can be rigorously justified.
Theorem 3.5
If \(D=(a,b)\subset {\mathbb {R}}\), \(u\in H^2(D)\cap H_0^1(D)\) with \(u\ge -H\) in D, and h and \(h_b\) satisfy (3.22), then (1.2) admits a unique solution \(\psi _u \in H^2(\Omega (u))\) with \(\partial _z \psi _u(\cdot ,-H)\in L_2(D\setminus {\mathcal {C}}(u))\). It is given as \(\psi _u=\chi _u+h_u\) with \(\chi _u\in H_B^1(\Omega (u))\) being the unique minimizer of G on \(H_B^1(\Omega (u))\).
Remark 3.6
We point out once more that, since \(\Omega (u)\) need not be Lipschitz, the stated \(L_2\)-regularity of \(\partial _z \psi _u(\cdot ,-H)\) does not follow from the \(H^2\)-regularity of \(\psi _u\) by a standard trace theorem. In fact, Lemma 2.1 only ensures that \(\partial _z \psi _u(\cdot ,-H)\) belongs to the weighted space \(L_2(D\setminus {\mathcal {C}}(u),(H+u){\text {d}}x)\). That \(\partial _z \psi _u(\cdot ,-H)\) additionally belongs to \(L_2(D\setminus {\mathcal {C}}(u))\) follows a posteriori from (1.2c), as shown in the proof below.
Proof of Theorem 3.5
Since D is a one-dimensional interval, \(H^2(D)\) is embedded in \(C(\bar{D})\), which implies (1.3a) as well as (1.3b) by [11, Exercise 10.26]. It follows from [3, 8] that the unique minimizer \(\chi _u\in H_B^1(\Omega (u))\) of G on \(H_B^1(\Omega (u))\) belongs to \(H^2(\Omega (u))\). Thanks to (1.3b) and [11, Theorem 10.29], see also [15, II.Theorem 3.1], there is a sequence \((\chi _{u,j})_{j\ge 1}\) in \(C^\infty \big (\overline{\Omega (u)}\big )\) such that
Now, for \(j\ge 1\) and \(\phi \in C^1_B\big (\overline{\Omega (u)}\big )\), we infer from [7, Folgerung 7.5] and the regularity of \(\chi _{u,j}\), \(\phi \), and h that Gauß’ theorem can be applied in each connected component of \(\Omega (u)\), as there are at most two singular points. Therefore, we obtain
since \(\phi \) vanishes on \(\partial \Omega (u)\setminus \Sigma (u)\). Now, thanks to (3.23), it is straightforward to pass to the limit \(j\rightarrow \infty \) in the two integrals over \(\Omega (u)\). Moreover, by Lemma 2.1 and (3.23),
Consequently, if \(\phi (\cdot ,-H)\) is compactly supported in \(D\setminus {\mathcal {C}}(u)\), then
Thanks to the above analysis, the identity (3.21) holds true for any test function \(\phi \in C^1_B\big (\overline{\Omega (u)}\big )\) such that \(\phi (\cdot ,-H)\) is compactly supported in \(D\setminus {\mathcal {C}}(u)\). We then deduce from (3.21) that \(\psi _u=\chi _u+h_u\) satisfies (1.2a) and (1.2b) in \(L_2(\Omega (u))\) and \(L_2(\partial \Omega (u)\setminus \Sigma (u))\), respectively, while
Since \(\chi _u\in H_B^1(\Omega (u))\), the right-hand side of (3.24) belongs to \(L_2(D\setminus {\mathcal {C}}(u))\) by Lemma 2.2 and the regularity of \(h_u\) and \(\mathfrak {h}_u\), so that \(\partial _z\psi _u(\cdot ,-H)\) also belongs to that space. \(\square \)
The analysis of the complete MEMS model coupling (1.2) to an equation for u is performed in a forthcoming research [8] for \(n=1\).
Notes
We thank Elmar Schrohe for pointing out this reference.
References
Acerbi, E., Buttazzo, G.: Reinforcement problems in the calculus of variations. Ann. Inst. H. Poincaré Anal. Non Linéaire 3, 273–284 (1986)
Ambati, V.R., Asheim, A., van den Berg, J.B., van Gennip, Y., Gerasimov, T., Hlod, A., Planqué, B., van der Schans, M., van der Stelt, S., Vargas Rivera, M., Vondenhoff, E.: Some studies on the deformation of the membrane in an RF MEMS switch. In: Proceedings of the 63rd European Study Group Mathematics with Industry, O. Bokhove, J. Hurink, G. Meinsma, C. Stolk, and M. Vellekoop, eds., CWI Syllabus, Netherlands, 1 2008, Centrum voor Wiskunde en Informatica, pp. 65–84. http://eprints.ewi.utwente.nl/14950 (2008)
Banasiak, J., Roach, G.F.: On corner singularities of solutions to mixed boundary-value problems for second-order elliptic and parabolic problems. Proc. R. Soc. Lond. A 433, 209–217 (1991)
Bernstein, D.H., Guidotti, P.: Modeling and analysis of hysteresis phenomena in electrostatic zipper actuators. In: Proceedings of Modeling and Simulation of Microsystems 2001, Hilton Head Island, SC, 2001, pp. 306–309 (2001)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence. Progress in Nonlinear Differential Equations and Their Applications, vol. 8. Birkhäuser Boston Inc., Boston (1993)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition (1998)
König, H.: Ein einfacher Beweis des Integralsatzes von Gauß. Jber. Deutsch. Math.-Verein. 66, 119–138 (1963/1964)
Laurençot, Ph., Nik, K., Walker, Ch.: Energy minimizers for an asymptotic MEMS model with heterogeneous dielectric properties. arXiv:2003.14000 (2020)
Laurençot, Ph., Walker, Ch.: Some singular equations modeling MEMS. Bull. Am. Math. Soc. (N.S.) 54, 437–479 (2017)
Laurençot, Ph., Walker, Ch.: Shape derivative of the Dirichlet energy for a transmission problem. Arch. Rational Mech. Anal. 237, 447–496 (2020)
Leoni, G.: A First Course in Sobolev Spaces. Graduate Studies in Mathematics, vol. 181, 2nd edn. American Mathematical Society, Providence, RI (2017)
Lindsay, A.E., Lega, J., Glasner, K.G.: Regularized model of post-touchdown configurations in electrostatic MEMS: Equilibrium analysis. Physica D 280, 95–108 (2014)
Lindsay, A.E., Lega, J., Glasner, K.G.: Regularized model of post-touchdown configurations in electrostatic MEMS: Interface dynamics. IMA J. Appl. Math., 80, 1635–1663 (2015)
Maz’ya, V.G., Netrusov, Y.V., Poborchiĭ, S.V.: Boundary values of functions from Sobolev spaces in some non-Lipschitzian domains. Algebra Anal. 11, 141–170 (1999)
Nečas, J.: Les Méthodes Directes En Théorie Des Equations Elliptiques. Masson et Cie, Éditeurs, Paris; Academia, Éditeurs, Prague (1967)
Pelesko, J.A., Bernstein, D.H.: Modeling MEMS and NEMS. Chapman & Hall/CRC, Boca Raton, FL (2003)
Yang, Y., Zhang, R., Zhao, L.: Dynamics of electrostatic microelectromechanical systems actuators. J. Math. Phys. 53, 022703 (2012)
Acknowledgements
Open Access funding provided by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Partially supported by the CNRS Projet International de Coopération Scientifique PICS07710.
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
Laurençot, P., Nik, K. & Walker, C. Reinforced Limit of a MEMS Model with Heterogeneous Dielectric Properties. Appl Math Optim 84, 1373–1393 (2021). https://doi.org/10.1007/s00245-020-09681-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00245-020-09681-4