 Research
 Open access
 Published:
Analysis of a debonding model of two elastic 2Dbars
Fixed Point Theory and Algorithms for Sciences and Engineering volume 2022, Article number: 15 (2022)
Abstract
This work establishes the existence of a weak solution to a new model for the process of debonding of two elastic 2Dbars caused by humidity and vibrations. A version of the model was first presented in the PCMCMM2019 conference in Krakow, Poland, and was published in (Shillor in J. Theor. Appl. Mech. 58(2): 295–305 2020). The existence of a weak solution is proved by regularizing the problem and then setting it in an abstract form that allows the use of tools for pseudodifferential operators and a fixed point theorem. Questions of further analysis of the solutions, effective numerical methods and simulations, as well as possible controls, are unresolved, yet.
1 Introduction
This work establishes the existence of a weak solution to a system of partial differentia equations that models the process of debonding, caused by humidity and vibrations, of two elastic 2Dbars.
In many industrial settings, in transportation and everyday life, metallic plates are usually joined by welding. However, when the plates are made of different or nonmetallic materials, they have to be joined with screws or adhesively, or both. This is the case in planes, cars, and other vehicles, where increasingly more parts are made of plastics. One of the issues with car plates or other parts that are glued together is the process of debonding, that is, the process by which the adhesive is loosing its strength over time. This is noticeable in places where there is high humidity and considerable vibrations (driving off the road) and also large variations in temperature. The debonding of plates that are adhesively bonded too often has negative or even catastrophic consequences.
There is a very large mechanical engineering literature on debonding, for obvious reasons, see, e.g., [12, 15, 17] and the references therein. There is, also, a growing mathematical literature dealing with models of adhesive contact that include the processes of debonding, because of their relations to contact processes. There exist many publications in the Mathematical Theory of Contact Mechanics (MTCM) [6–8, 11, 16, 20, 22] that deal with contact processes with adhesion, and the host of references therein, and note that these references are only a tip of the iceberg. More specific references that deal with adhesive bonding are [2–4, 8, 22], and the references therein.
This work is based, in part, on the plenary lecture presented by MS in the PCMCMM2019 conference held in Krakow, Poland, 8–12 September 2019, parts of which were published in [19]. It is the continuation of the work [13], where the process of debonding of two linear beams was modeled, analyzed, and simulated. Additional information and references can be found in [13, 18].
Here, we extend the model in [13] to the setting where two 2D bars are adhesively joined. The model for the 2D bar was introduced in [9, 10] and was rigorously derived in [23], where the existence of the weak solution to the problem of quasistatic contact was established. Numerical simulations of quasistatic contact between a 2D bar and a reactive foundation can be found in [1], and additional information in [1, 19, 23]. Starting with a 3D thermoelastic system and using symmetry and the smallness of the thickness, relative to the other dimensions, a crosssection of a thermoelastic plate is obtained. The interest in the new bar system lies in the fact that while the horizontal displacement field depends on x and y, the vertical displacement depends only on x, which simplifies the mathematical structure, making it 1.5D system, leading to more transparent contact conditions. It also makes it more interesting, since it forms a rather unusual mathematical problem. Indeed, it consists of two 2D partial differential equations (PDEs) for the horizontal displacements, two for the temperatures, two onedimensional PDEs for the motion of the central axes, and two diffusion equations on the contact boundary. Since the bonding field β has to satisfy \(0\leq \beta \leq 1\), its evolution is modeled with a subdifferential setinclusion on the segment where the bars are bonded. Thus, the model is highly nonlinear and nonsmooth, has an unusual structure, and one cannot apply directly any of the usual theoretical tools to analyze it. As a first step in its analysis, we establish the existence of a weak solution for a version of the model that excludes thermal effects, thus, the two heat equations for the temperature are omitted. The model is regularized, truncated and, once the necessary a priori estimates are obtained, we pass to the regularization limit and obtain a weak solution. The uniqueness of the solution is unlikely, in view of the mathematical complexity of the model.
The paper is structured as follows. The basic dynamic system, consisting of the motion of the bonded two 2Dbars, is described in Sect. 2, following [19, 23], however, thermal effects are excluded. This is an extension of the model that was introduced, analyzed, and simulated in [13]. The proof of the existence of weak solutions for the model is provided in Sect. 3. It is based on approximations, a priori estimates and a fixed point argument. The further analysis of the model is of interest for future study.
2 The dynamics of two bonded 2Dbars
This section presents a highly nonlinear and nonsmooth system that models the dynamics of two elastic 2Dbars that are bonded. However, here we take into account the effects of mechanical vibrations and humidity on the debonding process. The setting is depicted in Fig. 1.
We let \(u(x,y,t)\) denote the horizontal displacement of the 2Dbar; and using symmetry and a simple assumption, the vertical displacement of the central horizontal axis \(w(x,t)\) depends only on x. Thus, this is actually a “1.5D” system, since w depends only on x. Below, we use the subscripts x, y, t to denote partial derivatives.
The model we study describes the debonding process of two such 2Dbars, caused by mechanical vibrations and humidity diffusion. Our main interest lies in the dynamics of the bonding field \(\beta =\beta (x,t)\) that is defined on the contact surface, \(\Gamma _{B}\) in Fig. 1(red).
The setting is depicted in Fig. 1. The top 2Dbar occupies the domain \(\Omega _{1}=\{0< x< l_{2}, 0< y<2h\}\) and the bottom 2Dbar occupies \(\Omega _{2}=\{l_{1}< x< L, 2h< y<0\}\), where \(0< l_{1}< l_{2}<1\), and, for the sake of simplicity, we scaled all the distances so that the length is \(L=1\). The quantities with index 1 refer to the top bar and those with 2 to the bottom bar, thus for \(i=1,2\), we refer to bar \(\Omega _{i}\). The horizontal displacements \(u_{i}=u_{i}(x,y,t)\) are defined on \(\Omega _{i}\). The vertical displacement of the central line \(w_{1}=w_{1 }(x,t)\) is defined on \(\Omega _{1}\cap \{y=h\}\), and \(w_{2}=w_{2}(x,t)\) on \(\Omega _{2}\cap \{y=h\}\). We denote by \(\rho _{i}\) the 2D material density, \(E_{i}\) the Young modulus, and \(G_{i}\) the shear modulus of bar \(i=1,2\). These are positive mechanical, found from measurements.
The debonding process takes place on the surface \(\Gamma _{B}= \{l_{1}< x< l_{2}, y=0\}\) that is occupied by the glue (red segment in Fig. 1), where the bonding field \(\beta =\beta (x,t)\) and the humidity field \(\eta =\eta (x,t)\) are defined. We assume that there are no body forces acting in the system; the vertical tractions \(p_{+}=p_{+}(x, t)\) act on the top boundary of \(\Omega _{1}\) while it is clamped on \(\Gamma _{D}\), and free at \(x=l_{2}\) and on the bottom (\(0< x < l_{1}\)). Similarly, the vertical tractions \(p_{}=p_{}(x, t)\) act on the bottom boundary of \(\Omega _{2}\), it is free on \(x=l_{1}\), and on the top for \(l_{2}\leq x <1\), and, finally a traction \(p_{*}(t)\) acts at \(x=1\).
The bonding of the two bars is modeled by the bonding field \(\beta =\beta (x,t)\), which is defined on \(\Gamma _{B}\). It represents the fraction of active surface bonds and has the character of a damage variable (see, e.g., [2, 3, 8, 20]), namely, \(0\leq \beta \leq 1 \); indeed, when \(\beta =1\), all the adhesive bonds at the point are active; when \(\beta =0\), all the bonds are severed; and when \(0< \beta < 1\), the fraction β are active bonds, which describes the decrease in the load carrying capacity of the adhesive.
The debonding process on \(\Gamma _{B}\) is controlled by the debonding source function Φ, which depends on the bonding field, humidity, and the mechanical tractions. Mathematically, we write it as
on \(\overline{\Gamma}_{B}\). This function contains the information about the processes and must be determined in conjunction with experimental data, as was noted in [13], but in a simpler setting. We assume that the debonding process also depends on diffusion as the field at a point is affected by what happens in neighboring points.
To take into account the constraints \(0\leq \beta \leq 1\) and \(w_{2}(x,t)+h\leq w_{1}(x,t)h\) on \(\Gamma _{B}\) (so there is no interpenetration there), we proceed as follows. We let \(I_{[0, 1]}(\beta )\) and \(I_{[0, \infty )}(r)\) be the indicator functions of the intervals \([0, 1]\) and \([0, \infty )\), with subdifferential \(\partial I_{[0, 1]}(\beta )\) and \(\partial I_{[0, \infty )}(r)\), respectively.
To prevent the top bar from penetrating the lower bar, we add the term
to the righthand side of the equation of motion for \(w_{i}\), for \(i=1,2\). This guarantees that when \(w_{1}(x,t)w_{2}(x,t)2h>0\), so there is a gap between the bars, this term vanishes. When the top bar tries to interpenetrate the bottom bar, \(w_{1}(x,t)w_{2}(x,t)2h=0\), the term generates enough resistance force to prevent the penetration. More precisely, there exists a fictitious force \(\xi \in \partial I_{[0, \infty )}(w_{1}(x,t)w_{2}(x,t)2h)\) such that \(\xi =0\) when \(w_{1}(x,t)w_{2}(x,t)2h>0\), and when \(w_{1}(x,t)w_{2}(x,t)2h=0\) then \(\xi >0\) is pushing the top bar up, and \(\xi <0\) pushing the bottom bar down, preventing penetration. We note that ξ need not be a function, only a distribution, which complicates the mathematical analysis considerably.
The evolution equation of the bonding field, see, e.g., [8, 20], is assumed to have the form of a constrained diffusion equation, or setinclusion,
where \(k_{\beta }\) is the bonding diffusion coefficient, and the subdifferential on the righthand side of (2.1) guarantees that \(0\leq \beta \leq 1\).
Next, we assume that the humidity function evolves by nonlinear diffusion from the edges (\(x=l_{1}\), \(y=0\)) and (\(x=l_{2}\), \(y=0\)), where the adhesive layer is exposed to the environment. The coefficient of diffusion D is assumed to depend on the bonding field, stress, and humidity density in the adhesive layer. Thus,
The boundary conditions are
were \(\eta _{L}(t)\) and \(\eta _{R}(t)\) are given humidity densities at \(x=l_{1}\) and \(x=l_{2}\), respectively. In most applications it is reasonable to assume that \(\eta _{L}=\eta _{R}=\eta _{amb}\), where \(\eta _{amb}\) is the ambient humidity density. However, these may be different and both varying with time. Also, \(0\leq \eta _{0}(x)\) is the initial humidity density in the adhesive, which in practice is likely to be unknown.
The model for the debonding of two adhesively joined 2Dbars caused by vibrations and humidity is the following.
Problem 1
Find the functions \(u_{i}\), defined on \(\Omega _{i}\), \(i=1,2\); the functions \(w_{1}\) defined on \(\Omega _{1}\cap \{y=h\} \) and \(w_{2}\) defined on \(\Omega _{2}\cap \{y=h\}\); and the functions β, η defined on \(\Gamma _{B}\), such that the following equations and conditions hold for \(0< t\leq T\):
where \((x,y)\in \Omega _{i}\), \(t\in [0,T]\);
The boundary conditions for β and η are
and the initial conditions
The balance of vertical and horizontal tractions on \(\Gamma _{B}\), due to the adhesive, \(\sigma _{\beta v}\) and \(\sigma _{\beta h}\), is assumed to be
Here, \(K_{\beta v}\) and \(K_{\beta h}\) are the adhesive stiffnesses, which depend on the humidity.
Next, the tractions acting on the system are
and zero tractions everywhere else, except for \(\Gamma _{D}\), where
Finally, the initial conditions for \(u_{i}\), \(w_{i}\) are
We note that the interesting aspects of the physics of the process enter via the debonding source function Φ and the humidity diffusion coefficient D, both of which must be found from experimental data in conjunction with numerical optimization. This is a major issue in the applications of the model. However, even qualitatively simple forms of Φ and D may provide very useful information in concrete applications.
3 Existence
The system is highly nonlinear and nonsmooth, so it is unlikely to have any classical solutions, so, we reformulate it and look for weak solutions. Moreover, generally, the solutions are unlikely be unique, therefore, we deal only with proving existence. However, we replace the the nonpenetration condition in (2.5), represented by the subdifferential for \(w_{i}\), which physically is an idealized condition, with a more physically reasonable one. For the sake of simplicity, we rescale the variables so that \(\rho _{1}=\rho _{2}=1\). The system is rather complex, involving six dependent variables, and so we do not provide all the details in the proof of existence. We just outline the approach, pointing out that existence can be proved in this manner.
We first introduce the spaces and subspaces where we seek the various functions, others being chosen by analogy. Let,
which are also the spaces of test functions. Here, \(H^{1}\) denotes the usual Sobolev space over the relevant domain. We let \(H_{1}=L^{2}(\Omega _{1})\) and \(H_{2}=L^{2}(\Omega _{2})\).
We seek \(u_{1}\) and \(u_{2}\), for \(T>0\), in the respective spaces, \(L^{2}(0,T;V_{1})\) and \(L^{2}((0,T);V_{2})\); \(w_{1}\) and \(w_{2}\) in \(L^{2}((0,T);W_{1})\) and \(L^{2}((0,T);W_{2})\); β in \(L^{2}((0,T);Z_{1})\), and η in \(L^{2}((0,T);Z_{2})\), where for the sake of simplicity, we set \(\eta _{L}=\eta _{R}=\eta _{amb}=const>0\).
We start with the equation for \(u_{1}\), and let \(\psi \in V_{1}\). It follows from (2.4), using ψ as a test function and integrations by part, that
To write this equality as an abstract equation, we define the operator \(L_{1} \) by
and note that it is linear, coercive, and bounded as a map from \(V_{1}\) to \(V_{1}^{\prime }\). Next, let \(B_{1}\) be a Lipschitz function, given by
Therefore, we write the equation for \(u_{1}\), see (2.4) (\(i=1\)), in abstract form as
Here, the prime denotes a weak time derivative.
The same reasoning applies to \(u_{2}\), see (2.4) (\(i=2\)), with \(\psi \in V_{2}\), so we let
and note again that it is linear, coercive (up to a constant), and bounded as a map from \(V_{2}\) to \(V_{2}^{\prime }\). Next, let \(B_{2}\) be a Lipschitz function, given by
Then, the abstract form of (2.4) (\(i=2\)) is
We note that, thanks to the compact embedding theorems in Sobolev spaces, if \(w_{in}\rightarrow w_{i}\) in \(L^{2} ( 0,T;W_{i} ) \) and \(w_{in}^{\prime }\) is bounded in \(L^{2} ( 0,T;W_{i}^{\prime } ) \), one may conclude that \(B ( w_{1n},w_{2n},\theta _{1n} ) \rightarrow B ( w_{1},w_{2}, \theta _{1} ) \) in \(L^{2} ( 0,T;V_{1}^{\prime } ) \).
We turn to the equations for \(w_{1}\) and \(w_{2}\). Since the Signorini condition of perfect nonpenetration enters as a body force into the equations, rather than as a boundary condition, the standard methods used previously, do not apply. This may reflect the fact that such a fictitious perfect force does not make sense physically and, indeed, there is no such thing as a perfectly rigid body. Therefore, we replace it with a more physically realistic condition. To that end, we introduce the function R such that \(R ( s ) =0\) if \(s\geq 0\) and \(R ( s ) =s\) if \(s<0\). Then, we replace \(\partial I_{[0,\infty )} ( s ) \) with \(\frac{1}{\varepsilon } R ( s ) \), assuming that \(0<\varepsilon \ll 1\). Thus, we allow some interpenetration, but penalize it heavily. Then we replace the term \((w_{1}w_{2})\), which originally is nonnegative, with \(w_{1}w_{2}\), which is nonnegative.
To proceed, we multiply (2.5) (\(i=1\)) with \(\psi \in W_{1}\) such that \(\psi (l_{2})=0\), integrate over \(\Omega _{1}\), use integration by parts, note that ψ and \(w_{1}\) do not depend on y, and use algebraic manipulations to obtain
Here, we used the fact that \(\psi (l_{2})=0\), hence,
This is an important observation because in the weak solutions \(u_{xy}\) is not well defined. We define the operators \(\widehat{L}_{1}\) and \(\widehat{B}_{1}\) by
Thus, the abstract formulation of (2.5) (\(i=1\)) is
Similarly for (2.5) (\(i=2\)), using \(\psi \in W_{2}\), such that \(\psi (l_{1})=\psi (1)=0\), we define \(\widehat{L}_{2}\) and \(\widehat{B}_{2}\) by
Thus, the abstract formulation of (2.5) (\(i=2\)) is
We note that the \(\widehat{L}_{i}\) are coercive, bounded, and linear.
To complete the mechanical model, the initial conditions need to be added. We do it below, when we discuss the smoothed mechanical problem.
Next, we consider the setinclusion for the bonding field β,
with the initial condition \(\beta (x,0)=\beta _{0}(x)\), for \(x\in [ l_{1},l_{2} ]\). The boundary conditions are \(\beta _{x}=0\). Let \(\psi \in H^{1} ( l_{1},l_{2} )\), we define the operator \(L_{\beta}:H^{1} ( l_{1},l_{2} ) \rightarrow H^{1} ( l_{1},l_{2} ) ^{\prime }\) by
and note that the operator \(L_{\beta}\), is the subgradient of the function
Next, multiplying the equation with ψ as a test function, and using integration by parts, we obtain the weak form
We assume that Φ is bounded and Lipschitz in all its variables. Also, we let \(H=L^{2} ( l_{1},l_{2} ) \). We have the following preliminary result.
Proposition 2
Assume that \(\Phi \in L^{2} ( ( 0,T ) ;L^{2} ( l_{1},l_{2} ) ) \) and its arguments are sufficiently smooth. Then, there exists a unique solution \(\beta \in L^{2}(0,T;H^{1} ( l_{1},l_{2} ) )\) of the problem
with \(\beta ( 0 ) =\beta _{0}\in H^{1}(l_{1},l_{2})\).
The solution satisfies \(\beta ^{\prime },\beta \in L^{2} ( ( 0,T ) ;H ) \), \(L\beta \in L^{2} ( ( 0,T ) ; H ) \), and \(\beta ( t ) \in ( 0,1 ) \), for a.a. t.
Proof
The proof is based on a sequence of approximations as follows. Let \(\Psi ( \beta ) \) be a piecewise linear and decreasing function on \((\infty , \infty )\), with slope −1 for \(\beta <0\), equal to 0 on \([ 0,1 ] \), and increasing with slope 1 for \(\beta >1\).
We consider the following sequence of approximate problems, which for \(n=1,2,3,\ldots \) , consists of finding a solution to
It follows from the theory of maximal monotone operators (see Brezis [5]) that for each n, there exists a solution \(\beta _{n}\) to the problem. This solution satisfies \(\beta _{n}^{\prime }\in L^{2} ( ( 0,T ) :L^{2} ( l_{1},l_{2} ) ) \) and \(\beta _{nxx}\in L^{2} ( ( 0,T ) : L^{2} ( l_{1},l_{2} ) ) \). Multiplying both sides by \(\beta _{n}^{\prime }\) and integrating yields (\(H\equiv L^{2} ( l_{1},l_{2} ) \))
where \(C_{\Phi}\) is a positive constant that depends on Φ. Hence, we obtain the bound
Similarly, multiplying by \(\beta _{n}\) and integrating yields
where \(C_{\Phi}(\beta _{0})\) depends also on \(\beta _{0}\). Therefore, we find
Thus, there is a subsequence, still denoted by \(\beta _{n}\), such that
Passing to the limit as \(n\to \infty \), we obtain the desired solution. However, we lose regularity of β because of the subgradient term. The weak solution is unique because of monotonicity considerations. □
We turn the equation for η (see (2.7))
with the boundary conditions (2.8), \(\eta (l_{1},t)=\eta _{L}\), \(\eta (l_{2},t)=\eta _{R}\). To obtain zero boundary conditions, we let \(\widehat{\eta}= \eta  ( \frac{xl_{1}}{l_{2}l_{1}}\eta _{R}+ \frac{l_{2}x}{l_{2}l_{1}}\eta _{L} )\), and the equation in terms of η̂ has the form
Thus, without loss of generality, we assume that the initialvalue problem has zero boundary conditions, and the equation is replaced with
where \(\eta \in H_{0}^{1} ( l_{1},l_{2} )\), and the hat is omitted.
Again, we assume that D, Θ are Lipschitz continuous and bounded. Also, we assume that \(D ( \cdot ) \geq \delta >0\), so the diffusion coefficient does not vanish and thus the problem is nondegenerate. Assume, in addition, that the functions \(a,b\in L^{\infty} ( [ l_{1},l_{2} ] \times [ 0,T ] )\), and \(a ( t,x ) \geq \delta >0\), and define the operator A as
Proposition 3
Under the above assumptions, if \(f\in L^{2} ( ( 0,T ) :H^{1} )\), there exists a unique weak solution to the problem of finding \(\eta \in L^{2}((0,T): H_{0}^{1} ( l_{1},l_{2} ))\), such that
Moreover, \(\eta \in L^{2} ( ( 0,T ) :H_{0}^{1} ( l_{1},l_{2} ) )\), and \(\eta ^{\prime }\in L^{2} ( ( 0,T ) :H^{1} ) \).
Proof
This is a standard result since A is monotone, bounded, hemicontinuous, and coercive as a map from \(L^{2} ( ( 0,T ) : H_{0}^{1} ( l_{1},l_{2} ) ) \) to its dual space. To include the dependence of D on η, one can use the Schauder fixed point argument or to retard in time the functions on which the diffusion coefficients depend and then passing to a limit using compactness. □
We conclude that the initial value problem for η has a weak solution.
We now revisit the mechanical system and modify it by adding viscosity, which acts as smoothing operator of the solutions, and is needed for the a priori estimates below. The modified system is
along with initial conditions. Here, γ is a small positive number, representing material viscosity. Also, \(K_{i}\), \(\hat{K}_{i}\) are suitable linear maps from an appropriate Sobolev space S to its dual space \(S'\), which ensure that \(u_{i}^{\prime }\) and \(w_{i}^{\prime }\) have two square integrable derivatives. This Sobolev space is a closed subspace of \(H^{2} ( \Omega _{i} ) \) such that \(u_{ix}=0\) on the boundary of \(I_{i}\), and is dense in \(V_{i}\). Then, the \(K_{i}\) can be considered as Riesz maps from these new spaces to their duals. We assume sufficient regularity on the initial conditions to justify all of the following argument and, in particular, the initial data \(u_{i0}\) lie in S.
The regularized abstract form of the full model follows.
Problem 4
Find the functions \(u_{i}\), \(w_{i}\), η and β, (for \(i=1,2\)) such that
The initial conditions are:
We have the following existence result.
Theorem 5
There exists a solution to the system (3.8), for each \(0\leq \gamma \).
The theorem guarantees the existence of weak solutions to the equations for two bars that are in adhesive contact, provided the subgradient acting on the bars for \(w_{i}\) is replaced with a penalization operator approximating the subgradient on \(\Gamma _{B}\). Thus, we allow for \(\gamma =0\), so the materials are purely elastic. We only give a sketch of the proof since there are many dependent variables and the considerations are mostly routine. The proof is based on the following pair of compactness results, due to [14] and [21], and used below.
Theorem 6
Let \(q>1\) and let \(E\subseteq W\subseteq X\) where the injection map is continuous from W to X and compact from E to W. Let S be defined by
Then, \(S_{R}\) is bounded in \(L^{\infty } ( a,b,E ) \) and, in addition, the functions are uniformly Hölder continuous into X. Also, \(S_{R}\subseteq C ( [ a,b ] ;W ) \) and if \(\{ u_{n} \} \subseteq S_{R}\), there exists a subsequence \(\{ u_{n_{k}} \} \) which converges to a function \(u\in C ( [ a,b ] ;W ) \), i.e.,
The second result need is the following.
Theorem 7
Let \(E\subseteq W\subseteq X\) where the injection map is continuous from W to X and compact from E to W. Let \(p\geq 1\), let \(q>1\), and define
Thus, S is bounded in \(L^{p} ( [ a,b ] ;E ) \) and Hölder continuous into X. Then, S is precompact in \(L^{p} ( [ a,b ] ;W ) \). This means that if \(\{ u_{n} \} _{n=1}^{\infty }\subseteq S\), it has a subsequence \(\{ u_{n_{k}} \} \) which converges in \(L^{p} ( [ a,b ] ;W ) \).
Proof
We provide a sketch of the proof. It is based on time delay. We start with the first two equations in (3.8) for \(u_{i}\) when \(w_{1}\), \(w_{2}\) are known, so, we replace the time variable in \(w_{i}\) by the delayed time \(th\) and for \(t< h\), we use the initial conditions. Therefore, \(w_{1}\), \(w_{2}\) are known on the time interval \([t, t+h]\). Similarly, in the second pair of equations for \(w_{1}\), \(w_{2}\), we use \(w_{2}(th)\) in the equation for \(w_{1}\), and \(w_{1}(th)\) in the equation for \(w_{2}\). In the equation for η, we replace t with \(th\) in all the variables in \(D(u_{2}u_{1},w_{1}w_{2},\beta ,\eta ) \) and use the the initial condition if \(t\leq h\). Next, we do the same in all the variables in \(\Phi ( u_{2}u_{1},w_{1}w_{2},\beta ,\eta ) \), \(\Theta ( t,x,u_{2}u_{1},w_{1}w_{2},\beta ,\eta ) \). Then, routine considerations, tedious a priori estimates, along with Proposition 2, yield a solution to this time delayed regularized system of equations which has the property that \(u_{ix}\), \(u_{iy}\) vanish on the boundaries and \(w_{ix}\), too. Then, we obtain the necessary estimates on this solution by multiplying through by \(E_{i}u_{ixx}G_{i}u_{yy}\) in the equations for \(u_{i}\) and use integration by parts and the first term to argue that there is an estimate on \(\Vert u_{it} ( t ) \Vert _{V_{i}}\) which is independent of γ. A similar process is applied to the equations for \(w_{i}\).
Next, having the estimates, we pass to the limit as \(h \rightarrow 0\), using Theorems 6, and 7, and the embedding theorems in Sobolev space, and obtain a solution to the regularized system without the time delay, along with estimates on \(\Vert u_{it} ( t ) \Vert _{V_{i}}\), which are independent of γ, and similar estimates for \(w_{i} \). Finally, we use these theorems to pass to the limit in a subsequence for which \(\gamma \rightarrow 0\). This yields the existence of a weak solution to the original problem in which the idealized subgradient term in the equations for \(w_{i}\) are replaced with a penalized version of this subgradient.
The passage to the limits is straightforward since the higherorder operators are linear and the boundary operators and other functions which are not linear depend on lowerorder terms and can be estimated using compactness considerations in the two theorems. □
We consider the uniqueness of the solution very unlikely, and so we skip it.
Now that the existence of weak solutions has been established, some questions of interest for further research are:

Perform additional analysis of the solutions, especially about their regularity.

Construct an efficient and convergent algorithm for computer simulations.

Find numerically a typical debonding process behavior.

Study how the debonding depends on the excitation frequency.

Get an estimate of the degree of debonding from the shift in the vibrations spectrum.

Correlate the computer experiments with experimental data to find a possible structure for the debonding source function Φ and the humidity diffusion coefficient D.
Availability of data and materials
Not applicable.
Abbreviations
 MTCM:

Mathematical Theory of Contact Mechanics
 PDE:

Partial Differential Equation
 2D:

twodimensional
References
Barboteu, M., Djehaf, N., Shillor, M., Sofonea, M.: Modeling and simulations for quasistatic frictional contact of a linear 2D bar. J. Theor. Appl. Mech. 55(3), 897–910 (2017)
Bonetti, E., Bonfanti, G., Rossi, R.: Analysis of a unilateral contact problem taking into account adhesion and friction. J. Differ. Equ. 253(2), 438–462 (2012)
Bonetti, E., Bonfanti, G., Rossi, R.: Global existence for a nonlocal model for adhesive contact. Appl. Anal. 97(8), 1315–1339 (2018)
Bonetti, E., Bonfanti, G., Rossi, R.: A new nonlocal temperaturedependent model for adhesive contact. In: Bonetti, E., Cavaterra, C., Natalini, R., Solci, M. (eds.) Mathematical Modeling in Cultural Heritage. Springer INdAM Series, vol. 41. Springer, Cham (2021). https://doi.org/10.1007/9783030580773_3
Brézis, H.: Opérateurs maximaux monotones et semigroupes de contractions dans les espaces de Hilbert. Math Studies, vol. 5. NorthHolland, Amsterdam (1973)
Duvaut, G., Lions, J.L.: Inequalities in Mechanics and Physics. Springer, Berlin (1976)
Eck, C., Jarusek, J., Krbec, M.: Unilateral Contact Problems. Pure and Appl. Math. CRC Press, Boca Raton (2005)
Frémond, M.: Nonsmooth Thermomechanics. Springer, Berlin (2002)
Gao, D.Y.: Bicomplementarity and duality: a framework in nonlinear equilibria with applications to the contact problems of elastoplastic beam theory. J. Appl. Math. Anal. 221, 672–697 (1998)
Gao, D.Y., Russell, D.L.: A finite element approach to optimal control of a ‘smart’ beam. In: Lee, P.K.K., Tham, L.G., Cheung, Y.K. (eds.) Int. Conf. Computational Methods in Structural and Geotechnical Engineering, Hong Kong, December 12–14, 1994, pp. 135–140 (1994)
Han, W., Sofonea, M.: Quasistatic Contact Problems in Viscoelasticity and Viscoplasticity. Studies in Advanced Mathematics. Am. Math. Soc., Providence (2002)
Jagatap, S., Nassar, S.A., Razavykia, A., Giovanni, B.: Process variable effect on the strength of autoclavebonded film adhesive joints. J. Adhes. Sci. Technol. 33(7), 715–735 (2019). https://doi.org/10.1080/01694243.2018.1559436
Kuttler, K.L., Kruk, S., Marcinek, P., Shillor, M.: Modeling, analysis and simulations of debonding of bonded rodbeam system caused by humidity and thermal effects. Electron. J. Differ. Equ. 2017, No. 301, 1–42 (2017)
Lions, J.L.: Quelques Methods de Resolution des Problemes aux Limites Non Lineaires. Dunod, Paris (1969)
Mao, J., Nassar, S., Yang, X.: An improved model for adhesively bonded DCB joints. J. Adhes. Sci. Technol. 28(6), 613–629 (2014). https://doi.org/10.1080/01694243.2013.858387
Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities. Advances in Mech. Math. Springer, New York (2013)
Nassar, S.A., Mao, J., Yang, X., Templeton, D.: A damage model for adhesively bonded singlelap thick composite joints. J. Eng. Mater. Technol. 134(4), 041004 (2012). https://doi.org/10.1115/1.4006821
Shillor, M.: Models of debonding caused by vibrations, heat and humidity. In: dell’Isola, F., Sofonea, M., Steigmann, D. (eds.) Mathematical Modelling in Mechanics, Advanced Structured Materials, vol. 69, pp. 233–250. Springer, Singapore (2017) Chap. 15
Shillor, M.: Models of dynamic contact of a 2D thermoelastic bar. J. Theor. Appl. Mech. 58(2), 295–305 (2020). https://doi.org/10.15632/jtampl/118310
Shillor, M., Sofonea, M., Telega, J.J.: Models and Analysis of Quasistatic Contact. Springer, Berlin (2004)
Simon, J.: Compact sets in the space \(L^{p}(0,T;B) \). Ann. Mat. Pura Appl. 146, 65–96 (1987)
Sofonea, M., Han, W., Shillor, M.: Analysis and Approximations of Contact Problems with Adhesion or Damage. Pure and Applied Mathematics. Chapman & Hall, Boca Raton (2006)
Sofonea, M., Shillor, M.: Model and analysis for quasistatic frictional contact of a 2D elastic bar. Electron. J. Differ. Equ. 2018, No. 107, 1–19 (2018)
Acknowledgements
The first author is grateful for the travel support from the grant Nonsmooth Contact Dynamics CONMECH supported by the European Union’s Framework Programme for Research and Innovation Horizon 2020.
Funding
None for this work; however, the first author’s travel was supported by the CONMECH grant.
Author information
Authors and Affiliations
Contributions
MS contributed the model, some analysis, and part of the writing; KLK contributed the analysis and the writing. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Shillor, M., Kuttler, K.L. Analysis of a debonding model of two elastic 2Dbars. Fixed Point Theory Algorithms Sci Eng 2022, 15 (2022). https://doi.org/10.1186/s13663022007258
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663022007258