Abstract
In this paper, we study the internal exact controllability for a second order linear evolution equation defined in a two-component domain. On the interface, we prescribe a jump of the solution proportional to the conormal derivatives, meanwhile a homogeneous Dirichlet condition is imposed on the exterior boundary. Due to the geometry of the domain, we apply controls through two regions which are neighborhoods of a part of the external boundary and of the whole interface, respectively. Our approach to internal exact controllability consists in proving an observability inequality by using the Lagrange multipliers method. Eventually, we apply the Hilbert Uniqueness Method, introduced by Lions, which leads to the construction of the exact control through the solution of an adjoint problem. Finally, we find a lower bound for the control time depending not only on the geometry of our domain and on the matrix of coefficients of our problem but also on the coefficient of proportionality of the jump with respect to the conormal derivatives.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study the internal exact controllability of an imperfect transmission hyperbolic problem. More specifically, we consider a bounded domain \(\Omega \) in \(\mathbb {R}^n\), \(n\ge 2\), consisting of two sets \(\Omega _1\) and \(\Omega _2\), where \(\Omega _2\) is compactly contained in \(\Omega \) and \(\Omega _1= \Omega \setminus \overline{\Omega }_2\). Thus our domain has an external boundary \(\partial \Omega \) and an interface boundary \(\Gamma \) (see Fig. 1).
The hyperbolic problem is defined in the set \(\Omega \), with appropriate interface and boundary conditions on \(\Gamma \) and on \(\partial \Omega \). Namely, on the interface separating the two components, we prescribe a jump of the solution proportional to the conormal derivatives, meanwhile a homogeneous Dirichlet condition is imposed on the exterior boundary. From the physical point of view, this problem describes the wave propagation in a composite made up of two materials with different systems in each component connected through the interface. The jump on \(\Gamma \) is the mathematical interpretation of imperfect interface characterized by the discontinuity of the displacement (see [1, 7, 17, 22, 33, 36, 39, 46, 47, 50, 54, 60, 61] and references therein).
The issue of exact controllability consists in acting on the trajectories of an evolution system by means of a control either through the system internally (distributed control) or through the boundary (boundary control) and asking if, given a time interval [0, T], is it possible to find a control (or set of controls) leading the system to a desired state at time T, for all initial data. In a suitable functional setting, the problem of exact controllability reduces to that of observability. Roughly speaking, observability consists in deriving an estimate for the energy of an uncontrolled system, at time \(t=0\), in terms of partial measurements of its solution done on the control region. This estimate easily implies an upper bound for the norm of the initial data of the uncontrolled problem.
The observability inequality, far from being obvious, forces the control set to satisfy suitable geometric conditions. Indeed, in [6], through the microlocal approach, the authors proved that when considering a regular domain, the observability inequality holds if and only if every ray of geometric optics, propagating into the domain and reflecting on its boundary, enters the control region in time less than the control time T.
In this paper, we do not require any regularity on \(\partial \Omega \) and we make use of Lagrange multipliers method to prove the above mentioned observability inequality. In general, when applying this technique, the assumptions on the geometry of the control region are very restrictive. They require the control set to be a neighborhood of parts of the boundary having specific structures. In our case, due to the geometry of the domain, we need to introduce a further control set which is a neighborhood of the interface \(\Gamma \). More precisely, we apply controls through two regions \(\omega _1 \subset \Omega _1\) and \(\omega _2 \subset \Omega _2\) which are neighborhoods of a part of \(\partial \Omega \) and of the whole interface \(\Gamma \), respectively. In fact, \(\omega _1\) (see Fig. 2 for control regions \(\omega _1\) and \(\omega _2\)) may also be a full neighborhood, for example in the case of a circle. Other novelties in our framework are the jump of the solution on the interface \(\Gamma \) and the resulting presence of a non-constant coefficients matrix. Due to the imperfect interface, when proving observability inequality, some difficulties arise in estimating specific surface integrals. Moreover, as usual in the hyperbolic framework, due to the finite speed of propagation of waves, the control time T in our observability inequality has to be large enough. Indeed, the control acting on \(\omega _1\) and \(\omega _2 \) cannot transfer the information immediately to the whole domain \(\Omega \). However, unlike classical cases, we find a lower bound for the control time T depending not only on the geometry of our domain and on the matrix of coefficients of our problem but also on the coefficient of proportionality of the jump with respect to the conormal derivatives. The exact details are given in Sect. 3.
Once obtained the observability inequality, in order to find the exact control, we use a constructive method, introduced by Lions in [42, 43], known as Hilbert Uniqueness Method (HUM for short). The main feature is to build a control through the solution of a hyperbolic problem associated to suitable initial conditions. These initial conditions are obtained by calculating at zero time the solution of a backward problem by means of a functional, which turns out to be an isomorphism, thanks to the observability estimate (see Sect. 4). Let us recall that the control obtained by HUM is also an energy minimizing control.
The paper is organized as follows. In Sect. 2, we introduce the setting of the evolution problem, recall the definitions and some properties of the appropriate functional spaces required for the solutions of interface problems under consideration. For more details, we refer the reader to [22, 50] where the elliptic case is considered. Since the initial data of our problem are in a weak space, the related solution cannot be defined using the standard weak formulation. Thus, as usual when dealing with controllability problems, we need to apply the so called transposition method (see [45, Chap. 3, Sect. 9]). We also give the definition of exact controllability.
Section 3 is the core of the paper which is devoted to the proof of the observability inequality (see Lemma 3.9). To this aim, we adapt to our context some arguments introduced in [43] and [44]. By means of the Lagrange multipliers method, we derive an important identity (see Lemma 3.2). Then, we specify the required geometrical and topological assumptions on the position of the observer and on the control sets \(\omega _1\) and \(\omega _2\) (see Definitions 3.4 and 3.5) and apply the above mentioned identity in order to establish some crucial inequalities, given in Lemmas 3.3, 3.6 and 3.7. Finally, in Lemma 3.8, we find the lower bound for the control time T. Taking into account the way \(\omega _1\) is constructed, it is possible to get different regions of controllability depending on the observer point \(x^0\). The significance of the point \(x^0\) will be clear in Sect. 3. In Sect. 4, via HUM, we prove the exact controllability result by constructing the suitable isomorphism that allows us to identify the exact control.
The pioneer studies on exact controllability for the wave equation with transmission conditions, via HUM, go back to [43], Chapter 6. Here J. L. Lions considers a Dirichlet problem with matrix constant on each component of the domain and a control on part of the external boundary. Later on, in [49] the authors deal with the case of a Neumann boundary value problem in the same framework. In [2, 5, 12, 16, 31, 32, 56, 59] optimal control and exact controllability problems in domains with highly oscillating boundary are studied. Moreover, we refer to [9,10,11, 42] for exact controllability of hyperbolic problems with oscillating coefficients in fixed and perforated domains, respectively and, [34,35,36,37, 54], respectively, for optimal control and exact controllability of hyperbolic problems in composites with imperfect interface. In [55], it has been analyzed the exact boundary controllability for the same imperfect transmission problem considered in the present paper. Further, in [40] the optimal control of rigidity parameters of thin inclusions in composite materials has been investigated. In [19,20,21] the authors, respectively, study the correctors and approximate control for a class of parabolic equations with interfacial contact resistance, whereas in [23] the approximate controllability of linear parabolic equations in perforated domains has been studied. In [64] (see also [63]), the author studies the approximate controllability of a parabolic problem with highly oscillating coefficients in a fixed domain. The null controllability of semilinear heat equations in a fixed domain has been studied in [38]. The exact controllability and exact boundary controllability for semilinear wave equations, respectively, can be found in [41, 62]. Finally, for what concerns transmission problems in the nonlinear case, we quote [24, 25] (see also [28, 29]).
2 Statement of the Problem
Let \(\Omega \) be a connected open bounded subset of \(\mathbb {R}^n\), \(n\ge 2\). We denote by \(\Omega _1\) and \(\Omega _2\), two non-empty open connected and disjoint subsets of \(\Omega \) such that \(\overline{\Omega }_2 \subset \Omega \) and \(\Omega _{1}= \Omega \setminus \overline{\Omega }_2\). Let us assume that the interface \(\Gamma =\partial {\Omega _{2}}\) separating the two components of \(\Omega \) is Lipschitz continuous and observe that by construction one has
Given \(T>0\), we set \(Q_1=\Omega _{1}\times (0,T)\), \(Q_2=\Omega _{2}\times (0,T)\), \(\Sigma =\partial \Omega \times (0,T)\) and \(\Gamma _T=\Gamma \times (0,T)\).
This paper aims to study the internal exact controllability of a hyperbolic imperfect transmission problem defined in the above mentioned domain. More precisely, given two open subsets \(\omega _i\) of \(\Omega _i\), \(i=1,2\), and a control \(\zeta :=(\zeta _1, \zeta _2)\), we consider the problem
where for any fixed \(i=1,2\), \(n_{i}\) is the unitary outward normal to \( \Omega _{i}\) and \(\chi _{\omega _i}\) denotes the characteristic function of the set \(\omega _i\) on which acts the control \(\zeta _i\). For simplicity, we denote the wave operator by \(L = \partial _{tt} - \text{ div } \left( A(x) \nabla \>\right) .\)
Let us recall the definitions of the required function spaces to study the interface problem under consideration. They were introduced for the first time in [50] and widely studied in [22] in the homogenization framework for the analogous stationary problem. Indeed, these spaces take into account the geometry of the domain as well as the boundary and interface conditions.
As observed in [8], the space
is a Banach space endowed with the norm
Since we do not impose any regularity on the external boundary, the condition on \(\partial \Omega \) in the definition of \(V\) has to be intended in a density sense. More precisely, in view of (2.1), \(V\) can be defined as the closure of the set of the functions in \(C^{\infty }(\Omega _{1})\) with a compact support contained in \(\Omega \) with respect to the \(H^{1}( \Omega _{1})\)-norm. We also set
The space \(H_{\Gamma }\) is a Hilbert space when equipped with the norm
Indeed \(H_{\Gamma }\) can be identified with \(V \times H^{1}( \Omega _{2})\), the norm above defined on \(H_{\Gamma }\) being equivalent to the standard norm in \(V \times H^{1}( \Omega _{2})\) (see [26] for details). We denote the dual of \(H_{\Gamma }\) by \((H_{\Gamma })'\). It follows that (see [19]), the norms of \((H_{\Gamma })'\) and \(V'\times (H^1(\Omega _2))'\) are equivalent. Moreover, if \(v=(v_1,v_2)\in (H_{\Gamma })'\) and \(u=(u_1,u_2)\in H_{\Gamma }\), then
Remark 2.1
We point out that \(H_{\Gamma }\) is a separable and reflexive Hilbert space dense in \( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \). Furthermore, \(H_\Gamma \subseteq L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \) with continuous imbedding. On the other hand, one has that \( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \subseteq \left( H_{\Gamma }\right) '\), with \( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \) separable Hilbert space. This means that the triple \((H_\Gamma , L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) , \left( H_{\Gamma }\right) ')\) is an evolution triple. We refer the reader to [26, 27] for a detailed analysis on this aspect. Also note that, in fact \(L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \) can be identified with \(L^{2}\left( \Omega \right) \) itself by observing that \(v=(v_1,v_2)\in L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \) if and only if \(v= v_1\chi _{\Omega _1} + v_2\chi _{\Omega _2} \in L^{2}\left( \Omega \right) \). By the way, due to the nature of our problem, throughout this work we prefer to adopt the notation \(v=(v_1,v_2)\in L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \).
Let us set
which is a Hilbert space if equipped with the norm
Note that the control \(\zeta \) is such that
We assume that the initial data of problem (2.2) are such that
Further, we suppose that A is a symmetric matrix field and there exist constants \(\alpha ,\beta \in \mathbb {R}\), with \(0<\alpha <\beta \) such that
for every \(\lambda \in \mathbb {R}^n \) and a.e. in \(\Omega \). We put
The function h appearing in the interface condition satisfies
Note that the initial data (2.6) are in a weak space, hence the solution of problem (2.2) cannot be defined using the standard weak formulation. We need to apply the so called transposition method (see [45, Chap. 3, Sect. 9]), usually used in controllability problems. In some sense, it is an adjoint method where the solution is defined via an adjoint problem which provides test functions. More precisely, we define the following standard adjoint problem: for every \(g =(g_{1},g_{2})\in L^2(0,T; L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) )\), consider the backward problem
As observed in [26], thanks to Remark 2.1, by using an approach to standard evolutionary problems based on evolution triples (there are no weak data), the usual weak formulation of problem (2.10) is valid. Hence an abstract Galerkin’s method provides the existence and uniqueness result for the weak solution in W of problem (2.10), together with the a priori estimate for the solution in W. For the sake of clarity, throughout the paper, we denote by \(\psi (g) =(\psi _{1}(g),\psi _{2}(g))\), the solution of problem (2.10) and when there is no ambiguity, we omit the explicit dependence on the right hand member.
Now we give the definition of solution of (2.2) in the sense of transposition.
Definition 2.2
For any fixed \(\left( U^{0}, U^{1}\right) \in \left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \times \left( H_{\Gamma }\right) '\), we say that a function \(u =(u_{1},u_{2})\in L^2(0,T; L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) )\) is a solution of problem (2.2), in the sense of transposition, if it satisfies the identity
for all \(g =(g_{1},g_{2})\in L^2(0,T; L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) )\), where \(\psi \) is the solution of problem (2.10). Here we have used the notation \(\zeta \chi _{\omega } =(\zeta _1 \chi _{\omega _1}, \zeta _2 \chi _{\omega _2})\).
By classical results (see [45, Chap. 3, Sect. 9, Theorems 9.3 and 9.4]), problem (2.2) admits a unique solution \(u\in C\left( [0,T]; L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \cap C^{1}\left( [0,T];\left( H_{\Gamma }\right) '\right) \) satisfying the estimate
with C positive constant.
We denote by \(u\left( \zeta \right) =\left( u_{1}\left( \zeta \right) ,u_{2}\left( \zeta \right) \right) \) the solution of problem (2.2) in the sense above defined and, when there is no ambiguity, we omit the explicit dependence on the control.
Now, let us give the definition of exact controllability.
Definition 2.3
System (2.2) is said to be exactly controllable at time \(T>0\), if for every \(\left( U^{0},U^{1}\right) \), \(\left( Z^{0},Z^{1}\right) \) in \(\left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \times (H_\Gamma )'\), there exists a control \(\zeta \) belonging to \(W'\) such that the corresponding solution u of problem (2.2) satisfies
If the controllability is achieved for the zero (null) data \(Z^0=0, Z^1 =0\), then it is known as null controllability. Since our problem is linear and reversible in time (see [65]), it is sufficient to look for controls driving the system to rest. Hence, in the sequel we prove the existence of a control \(\zeta \in W'\) of (2.2) such that \(u(T)=u'(T)=0.\)
In this paper, we wish to prove a controllability result, but as remarked in the introduction, it is not possible to achieve controllability without additional assumptions. Namely, if \(\Omega _2\) is star-shaped with respect to a point \(x^0 \in \Omega _2\) and under suitable geometrical assumptions on the sets \(\omega _1\) and \(\omega _2\), we are able to prove that system (2.2) is exact controllable for a time \(T > 0\) sufficiently large (see Theorem 4.1). To this aim, we will use a constructive method known as the Hilbert Uniqueness Method introduced by Lions (see [42, 43]). We point out that the control obtained by HUM is also the energy minimizing control. HUM is fully a PDE based method and eventually it reduces to deriving the so-called observability estimate, which is the crucial point, corresponding to an uncontrolled problem (see (3.1)). To get the observability estimate, which is a delicate estimate from below, we need to establish some fundamental results based on the Lagrange multipliers method. These results are proved in the following section.
3 The Observability Inequality
For \(T>0\), we consider the following homogeneous imperfect transmission problem
with the initial data
where \(n_{i}\) is the unitary outward normal to \( \Omega _{i}\), \(i=1,2\). The weak formulation of problem (3.1) is given by
As already observed, in [26] the authors prove the existence and uniqueness result for the weak solution in W of problem (3.1) together with some a priori estimates.
Theorem 3.1
([26]) Let \(T>0\), \(H_{\Gamma }\) and W be defined as in (2.3) and (2.4). Under hypotheses (2.7), (2.9) and (3.2), problem (3.1) admits a unique weak solution \(z\in W\). Moreover, there exists a positive constant C, such that
Let us remark that the solution of problem (3.1) has some further properties (see [45], Chapter 3, Theorem 8.2). In fact, under the same hypotheses of Theorem 3.1, the unique solution z of problem (3.1) satisfies
Hence the initial values z(0) and \(z'(0)\) are meaningful in the appropriate spaces.
Now, we derive an important identity using suitable multipliers. It is essential for establishing the inverse inequalities involved in the exact controllability problem. For convenience, we use the repeated index summation convention. Moreover, when there is no ambiguity, we omit the explicit dependence on the space variable x in the matrix A and in the function h.
Lemma 3.2
Let \(q=(q_1, \ldots q_n)\) be a vector field in \((W^{1,\infty }(\Omega ))^n\) and let \(z=(z_1,z_2)\) be the solution of problem (3.1)–(3.2). Then, the following identity holds
where
and \(\nabla _\sigma z_i=(\sigma _j z_i)_{j=1}^n\) denotes the tangential gradient of \(z_i\) on \(\Gamma \) for \(i=1,2\) ( see, for instance, [43, p. 137]).
Proof
We prove the result for a strong solution of problem (3.1), that is under the following more regular initial data
Indeed one can easily prove that it holds also considering the weaker hypotheses (3.2) (see for instance [43]).
Let us multiply the first equation in (3.1) by \(q_k\dfrac{\partial z_1}{\partial x_k}\) and then integrate on [0, T] to get
For clearness sake, let us rewrite the above identity as
Applying integration by parts and Gauss-Green theorem repeatedly, we get
Since \(z_1=0\) on \(\Sigma \) implies \(z'_1=0\) on \(\Sigma \) by stronger regularity assumptions, the third term vanishes. Hence we get
Now, we compute \(I_2\)
Moreover, since \(z_1=0\) on \(\Sigma \), one has \(\nabla z_1=\dfrac{\partial z_1}{\partial n_1} n_1\) on \(\Sigma \), that is \(\dfrac{\partial z_1}{\partial x_k} = \dfrac{\partial z_1}{\partial n_1} n_{1k}\), hence \(I_3\) becomes
Also note that the fourth term in the last expression for \(I_2\) is \(-\frac{1}{2} I_3\). Combining the computations for \(I_1, I_2, I_3\) in (3.7), we can get the following identity for \(z_1\)
Analogously, multiplying the second equation in (3.1) by \(q_k\dfrac{\partial z_2}{\partial x_k}\) and then integrating on [0, T], we get
Let us note that this last identity is similar to (3.8) except for the integral terms defined on the boundary \(\Sigma \). This is due to the fact that \(z_2\) is defined on \(\Omega _2\) whose boundary is only \(\Gamma \).
By summing up the identities (3.8) and (3.9), we obtain
The above identity is nearly close to the claimed one except for the third line. Nevertheless, if we observe that, for any fixed \(i=1,2\) we have
on the interface \(\Gamma \), by the symmetry of A, the third line of (3.10) becomes
By putting (3.12) into (3.10), taking into account the interface condition in problem (3.1) and since \(n_2=-n_1\), we finally obtain the required identity
This completes the proof of the lemma. \(\square \)
At this point we want to apply the above identity for a particular choice of the vector field q in order to derive the observability estimate. To this aim we adapt to our context some arguments introduced in [43, 44].
Let \(x^0\in \mathbb {R}^n\) and set
We divide the boundary \(\partial \Omega \) into two parts, i.e.
and
We denote
Further, let us define
Some remarks are in order. Usually, in the context of controllability problems, the point \(x^0\) can be viewed as an observer and \(\partial \Omega (x^0)\) is strictly related to the action region, where the control is acting. The choice of \(x^0\) gives various control regions according to the position of the observer and has advantages and disadvantages. For example, if \(\Omega \) is a circle, geometrically, \(\partial \Omega (x^0)\) is concave to the observer. More in particular, if \(x^0\) is a point inside \(\Omega \), then \(\partial \Omega (x^0) = \partial \Omega \), since the entire boundary is concave to any point inside. On the other hand, if \(x^0\) is outside \(\Omega \), then drawing the tangents from \(x^0\), the boundary is divided into two parts, where \(\partial \Omega (x^0)\) is concave to \(x^0\) (related to the control region) and \(\partial \Omega _*(x^0)\) is convex to \(x^0\) (not related to the control region). When dealing with internal controllability, the control region is a neighbourhood of \(\partial \Omega (x^0)\). In our case, due to the geometry of the domain, we need to introduce a further control set which is a neighbourhood of the whole interface. As we will see later on, the choice of \(x^0\) will play a fundamental role also on the control time (see Lemmas 3.8 and 3.9). In the following, we introduce the energy E(t) of problem (3.1)–(3.2)
Let us note that E(t) is conserved (see [27], Lemma 4.1), that is
We set
Let us observe that S is nothing else that the left-hand side of (3.5). We want to find a lower bound for S. To this aim we introduce a technical geometrical assumption concerning not only the position of the observer \(x^0\) but also the geometry of the domain \(\Omega _2\). This geometrical property will characterize the choice of the control region related to the interface (see Definition 3.5 and Lemma 3.7).
Lemma 3.3
Let us suppose that \(\Omega _2\) is star-shaped with respect to a point \(x^0\in \Omega _2\). Let \(z=(z_1,z_2)\) the solution of problem (3.1)–(3.2). Then, for any \(T>0\), it holds
with M defined as in (2.8) and S as in (3.18).
Proof
We take \(q_k=m_k=x_k-x^0_k\), for \(k=1,\ldots ,n\), in the identity (3.5). Then, \(\nabla q_k = \nabla m_k = e_k\), where \(e_k\) is the canonical basis element. In particular \(\displaystyle \frac{\partial m_k}{\partial x_k} = 1\) and thus \(\displaystyle \sum _{k=1}^{n}\frac{\partial m_k}{\partial x_k} = n.\) Hence, we have
We want to estimate \(S_1 + S_2+S_3+S_4\). Let us pose
and
for \(i=1,2\). Hence, \(S_1 = X_1 + X_2\), \(S_2 =\dfrac{n}{2}(Y_1 +Y_2)\) and therefore (3.20) can be rewritten as
Taking into account (3.16) and the conservation law (3.17), we get
By multiplying the PDEs in (3.1) by \(z_1\) and \(z_2\) respectively, and taking into account interface and boundary conditions, we get
Hence (3.24) becomes
where
Thus, we have an E(0)T term. We need to see that it is a leading term. Thus, we need to estimate the other terms in (3.25). To this aim, let us fix \(i\in \{1,2\}\). By Young inequality we get
where \(\mu \) is an arbitrary positive constant. By applying Gauss–Green, it holds
Hence, by (3.15), the second term in the right hand side of (3.27) can be estimated as
where, we have used the fact that \(\dfrac{(n-1)^2}{4}-\dfrac{n(n-1)}{2} <0\). Let us note that by (3.15)
since \(x^0\in \Omega _2\), thus, by putting (3.28) into (3.27) and taking into account (2.7), we obtain
Let us consider the last term in (3.30), for \(i=1,2\). We observe that
Moreover, by our assumption on \(x^0\) and since \(n_1=-n_2\) on \(\Gamma \), it holds that \(m_k n_{1k}\le 0\) on \(\Gamma \). Hence, we get
Taking into account (3.30) and (3.31), we get the estimate
The last inequality follows by choosing \(\mu =\dfrac{R(x^0)}{\sqrt{\alpha }}\) and by the definition of energy as in (3.16). Hence by (3.17) and taking into account (3.26), we readily see that
The estimate of the last term in (3.25) is straight forward using the ellipticity and boundedness of the matrix A (see also [48]). More precisely, taking into account the energy definition in (3.16), we have
By putting (3.33) and (3.34) into (3.25), we finally arrive at the lower bound
The proof is now complete. \(\square \)
We now specify the required topological assumptions on the control regions \(\omega _1\) and \(\omega _2\) in order to obtain our exact controllability result. See Fig. 1 and Fig. 2 for sample domains.
Definition 3.4
Let \(x^0\) be as in the hypotheses of Lemma 3.3 and let \({\partial \Omega (x^0)}\) be defined as in (3.14). We say that \(\omega _1\subset \Omega _1\) is a neighbourhood of \({\partial \Omega (x^0)}\) if there exists some neighbourhood \(\mathcal {O}\subset \mathbb {R}^n\) of \(\partial {\Omega (x^0)}\) such that
Definition 3.5
We say that \(\omega _2\subset \Omega _2\) is a neighborhood of \({\Gamma }\) in \(\Omega _2\), if there exists some neighborhood \(\mathcal {O}\subset \mathbb {R}^n\) of \({\Gamma }\) such that
We will now establish a couple of important results which are crucial to get the observability inequality given in Lemma 3.9 below. In this direction, we consider the function \(\tau =(\tau _1, \ldots \tau _k) \in (C^1(\mathbb {R}^n))^n\) satisfying the following properties:
The existence of such a vectorial field is proved in [43].
Lemma 3.6
Let \(\omega _1\) be a neighborhood of \({\partial \Omega (x^0)}\) and let \(z=(z_1,z_2)\) the solution of problem (3.1)–(3.2). Then, for any \(T>0\), it holds
Proof
Taking \(q_k=\tau _k\), \(k=1, \ldots , n\), in (3.5), by (3.36)i) and (3.36)ii) we get
Passing to the absolute value, by (3.16), (3.36)iii), Young inequality, the conservation law and since \(\tau \in (C^1(\mathbb {R}^n))^n\) , we obtain
\(\square \)
We will get a similar result for the neighborhood \(\omega _2\). To this aim, let \(w\in C^1(\mathbb {R}^n)\) be such that
The existence of w is quite standard, see for example, [43]. Let us denote
we want to find an upper bound for \(S_{\Gamma _T}\).
Lemma 3.7
Let \(\omega _2\) be a neighborhood of \({\Gamma }\) and let \(z=(z_1,z_2)\) the solution of problem (3.1)–(3.2). Then, for any \(T>0\), it holds
Proof
Let us choose in (3.5) \(q_k=m_k\,w\), \(k=1, \ldots , n\). By Young inequality, (3.16) and the conservation law, we obtain
\(\square \)
Collecting together the results of Lemmas 3.3, 3.6 and 3.7, we obtain the following lower estimate.
Lemma 3.8
Let us suppose that \(\Omega _2\) is star-shaped with respect to a point \(x^0\in \Omega _2\) satisfying
Assume \(\omega _1\) and \(\omega _2\) are neighbourhoods of \({\partial \Omega (x^0)}\) and \(\Gamma \) respectively, and let \(z=(z_1,z_2)\) the solution of problem (3.1)–(3.2). Then, there exists \(T_0>0\) such that
for T large enough so that
Proof
By putting (3.37) and (3.40) into (3.19), we get
Denoting
we obtain
Thus, if (3.41) is satisfied and if T is large enough so that (3.43) holds, \(T\left( 1-\dfrac{n R(x^0)M}{\alpha }\right) -T_0\) is positive and we get the result. \(\square \)
Some comments are in order. For sake of simplicity, all integrals in previous lemmas are written between 0 and T. Actually they could, as well, have been written between \(\varepsilon \) and \(T-\varepsilon \) with \(\varepsilon >0\) and sufficiently small. More precisely, by using (3.16) and the conservation law, the inequalities (3.19), (3.37) and (3.40) can be written as
and
respectively. By arguing as in Lemma 3.8, if \(\varepsilon \) is chosen to have \(T-2\varepsilon \) large enough so that
and if (3.41) is satisfied, we get
Now, we can prove the observability inequality which is crucial to establish the exact controllability result.
Lemma 3.9
(observability inequality) Let us suppose that \(\Omega _2\) is star-shaped with respect to a point \(x^0\in \Omega _2\) satisfying condition (3.41). Assume that \(\omega _1\) and \(\omega _2\) are neighbourhoods of \({\partial \Omega (x^0)}\) and \(\Gamma \) respectively and let \(z=(z_1,z_2)\) be the solution of problem (3.1)–(3.2). Then there exists \(T_0>0\) such that
for T large enough so that
Proof
In view of (3.42), we need to estimate \(\nabla z_i\) in terms of \(z_i\) and \(z_i'\), \(i=1,2\). Let \(\omega _{01}\subset \Omega _1\) be a neighborhood of \(\partial \Omega (x^0)\) and \(\omega _{02}\subset \Omega _2\) be a neighborhood of \(\Gamma \) such that
Note that (3.45) is true for any neighborhood of \(\partial \Omega (x^0)\) and \(\Gamma \), then it is also true for \(\omega _{0i}\), \(i=1,2\) and we obtain
Let us consider \(\rho \in W^{1,\infty }(\Omega )\), \(\rho \ge 0\) such that
Define the function \(p(x,t)=\eta (t)\rho (x)\) in \(\Omega \times (0,T)\), where \(\eta (t)\in C^1([0,T])\) is such that \(\eta (0)=\eta (T)=0\) and \(\eta (t)=1\) in \((\varepsilon , T-\varepsilon )\). Thus, p satisfies
Multiplying the equation for \(z_1\) in (3.1) by \(pz_1\) and integrating by parts in \(Q_1\), we obtain
using (3.49)\(\mathrm {ii)}\) and the fact that \(z_1 =0\) on \(\Sigma \). One more integration by parts of the first term leads to
Arguing as above, we get a similar identity for \(z_2\). Now, summing up and using the imperfect interface condition, we get
We now estimate the terms on the right hand side of the above expression. To this aim let us fix \(i\in \{1,2\}\). We have
and by Young inequality
To estimate the other two terms, we apply again Young inequality and hypothesis (2.7)ii) to get
for any \(\gamma >0\). By putting the above estimates into (3.51) and taking into account (3.49), we obtain
for some constant \(C>0\) and for any \(\gamma >0\). Thus, choosing \(\gamma <\dfrac{\alpha }{\beta ^2}\) and by (3.48) and (3.49), we get the desired result. \(\square \)
Corollary 3.10
(equivalence of norms) Let us suppose that \(\Omega _2\) is star-shaped with respect to a point \(x^0\in \Omega _2\) satisfying condition (3.41). Assume that \(\omega _1\) and \(\omega _2\) are neighbourhoods of \({\partial \Omega (x^0)}\) and \(\Gamma \) respectively and let \(z=(z_1,z_2)\) the solution of problem (3.1)–(3.2). Then, there exists \(T_0>0\) such that
for T large enough so that (3.47) is satisfied.
Proof
The proof is an immediate consequence of (3.4), (3.16), (3.17) and (3.46). \(\square \)
The above lemma essentially shows the equivalence of the standard norm in \(H_\Gamma \) with the norm
It also proves the following uniqueness result: if \(z_i =0\) in \(\omega _i\times (0,T)\), then \(z_i= 0\) in \(\Omega _i\times (0,T)\), for \(i=1,2\).
These are the main points to develop the HUM method described in the next section.
4 HUM and the Internal Exact Controllability Result
In this section, by using the Hilbert Uniqueness Method introduced by Lions (see [42, 43]), we prove the internal exact controllability of system (2.2) stated in the following theorem.
Theorem 4.1
Assume that (2.7) and (2.9) hold. Suppose that \(\Omega _2\) is star-shaped with respect to a point \(x^0\in \Omega _2\) satisfying \(R(x^0)<\alpha /(nM)\). Let \(\omega _1\) and \(\omega _2\) be neighbourhoods of \({\partial \Omega (x^0)}\) and \(\Gamma \), respectively. Then, for any given \(\left( U^{0},U^{1}\right) \) in \(\left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \times (H_\Gamma )'\), there exist a control \(\zeta \in W'\) and a time \(T_0>0\) such that the corresponding solution of problem (2.2) satisfies
for T large enough so that
Proof
We point out that the exact controllability is achieved in the space \(\left( L^{2}\left( \Omega _{1}\right) \right. \times \)\( \left. L^{2}\left( \Omega _{2}\right) \right) \times (H_\Gamma )'\) with control in \(W'\). In fact, we represent the control \(\zeta \) in terms of the solution z of problem (3.1)–(3.2) with appropriate chosen initial data. The method is constructive, indeed one could develop it as a numerical algorithm. We briefly describe the HUM which essentially relies on the observability estimate, given in Lemma 3.9.
Given any \(\left( z^{0},z^{1}\right) \in H_\Gamma \times \left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \), let z the solution of problem (3.1)–(3.2). Then consider the following adjoint problem
where the solution \(\theta =(\theta _1,\theta _2)\) is intended in the sense of transposition. Here \(-z''_i \chi _{\omega _i}\), for \(i=1,2\) is to be interpreted in a duality sense, namely
for all \(v=(v_1,v_2) \in W\).
Now, if \((U^0, U^1)\) are the initial conditions of problem (2.2) with \(\zeta _i=-z_i''+z_i\), then, by uniqueness, the null controllability problem is solved if \(\theta \) satisfies
for \(i=1,2\). Thus, the key point is to choose the initial data \(\left( z^{0},z^{1}\right) \in H_\Gamma \times L^{2}\left( \Omega ) \right) \) so that the above initial conditions for \(\theta \) are satisfied. This motivates us to define the linear operator
as follows
Hence the null controllability problem reduces to prove that \(\Lambda \) is onto, since then one can solve
to obtain suitable initial values \(\left( z^{0},z^{1}\right) \) leading to (4.5). In fact, we prove that \(\Lambda \) is an isomorphism and then the solution of the above equation is unique. In this direction, we compute
for every \(\left( z^{0},z^{1}\right) \in H_\Gamma \times \left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \).
By definition of transposition solution, it is easy to see that the right hand side of the above equation satisfies
Thus, we have
In view of the equivalence of the norms stated in Corollary 3.10, the above identity shows that \(\Lambda \) is an isomorphism between \( H_\Gamma \times \left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \) and \( \left( H_{\Gamma }\right) ' \times \left( L^{2}\left( \Omega _{1}\right) \times L^{2}\left( \Omega _{2}\right) \right) \), for T large enough so that (4.2) is satisfied. Hence Theorem 4.1 holds true with exact control
which is an element of \(W'\). \(\square \)
We point out that, unlike classical cases, the lower bound for the control time T depends not only on the geometry of our domain and on the matrix of coefficients of our problem but also on the coefficient of proportionality of the jump of the solution of problem (2.2) with respect to the conormal derivatives via the constant \(h_0\).
Data Availability
Enquiries about data availability should be directed to the authors.
References
Auriault, J.L., Ene, H.: Macroscopic modelling of heat transfer in composites with interfacial thermal barrier. Int. J. Heat Mass Transf. 37, 2885–2892 (1994)
Aiyappan, S., Nandakumaran, A.K., Prakash, R.: Generalization of unfolding operator for highly oscillating smooth boundary domains and homogenization. Calc. Var. Partial Differ. Equ. 57(3), 86 (2018)
Aiyappan, S., Nandakumaran, A.K., Prakash, R.: Semi-linear optimal control problem on a smooth oscillating domain. Commun. Contemp. Math. 22, 1–26 (2019). https://doi.org/10.1142/S0219199719500299
Aiyappan, S., Nandakumaran, A.K., Prakash, R.: Locally periodic unfolding operator for highly oscillating rough domains. Ann. Mat. Pura Appl. 198(6), 1931–1954 (2019). https://doi.org/10.1007/s10231-019-00848-7
Aiyappan, A., Nandakumaran, A.K., Sufian, Abu: Asymptotic analysis of a boundary optimal control problem on a general branched structure. Math. Methods Appl. Sci. 42(18), 6407–6434 (2019)
Bardos, C., Lebeau, G., Rauch, J.: Sharp sufficient conditions for the observation, control and stabilization of waves from the boundary. SIAM J. Contin. Optim. 30, 1024–1065 (1992)
Canon, E., Pernin, J.N.: Homogenization of diffusion in composite media with interfacial barrier. Rev. Roumaine Math. Pures Appl. 44, 23–36 (1999)
Cioranescu, D., Saint Jean Paulin, J.: Homogenization in open sets with holes. J. Math. Anal. Appl. 71, 590–607 (1979)
Cioranescu, D., Donato, P.: Some remarks on the exact controllability in a neighbourhood of the boundary of a perforated domain. In: Control of Boundaries and Stabilization (Clermont-Ferrand, 1988), pp. 75–94. Lecture Notes in Control and Information Sciences, vol. 125. Springer, Berlin (1989)
Cioranescu, D., Donato, P.: Exact internal controllability in perforated domains. J. Math. Pures Appl. 68(2), 185–213 (1989)
Cioranescu, D., Donato, P., Zuazua, E.: Exact boundary controllability for the wave equation in domains with small holes. J. Math. Pures Appl. 71(4), 343–377 (1992)
De Maio, U., Gaudiello, A., Lefter, C.: Optimal control for a parabolic problem in a domain with highly oscillating boundary. Appl. Anal. 83(12), 1245–1264 (2004)
De Maio, U., Nandakumaran, A.K.: Exact internal controllability for a hyperbolic problem in a domain with highly oscillating boundary. Asymptot. Anal. 83(3), 189–206 (2013)
De Maio, U., Faella, L., Perugia, C.: Optimal control problem for an anisotropic parabolic problem in a domain with very rough boundary. Ric. Mat. 63(2), 307–328 (2014)
De Maio, U., Faella, L., Perugia, C.: Optimal control for a second-order linear evolution problem in a domain with oscillating boundary. Complex Var. Elliptic Equ. 6(10), 1392–1410 (2015)
De Maio, U., Nandakumaran, A.K., Perugia, C.: Exact internal controllability for the wave equation in a domain with oscillating boundary with Neumann boundary condition. Evol. Equ. Control Theory 4(3), 325–346 (2015)
Donato, P.: Some corrector results for composites with imperfect interface. Rend. Mat. Ser. VII 26, 189–209 (2006)
Donato, P.: Homogenization of a class of imperfect transmission problems. In: Damlamian, A., Miara, B., Li, T. (eds.) Multiscale Problems: Theory, Numerical Approximation and Applications. Series in Contemporary Applied Mathematics CAM 16, pp. 109–147. Higher Education Press, Beijing (2011)
Donato, P., Jose, E.: Corrector results for a parabolic problem with a memory effect. ESAIM Math. Model. Numer. Anal. 44, 421–454 (2010)
Donato, P., Jose, E.: Asymptotic behavior of the approximate controls for parabolic equations with interfacial contact resistance. ESAIM Control Optim. Calc. Var. 21, 138–164 (2015). https://doi.org/10.1051/cocv/2014029
Donato, P., Jose, E.: Approximate controllability of a parabolic system with imperfect interfaces. Philipp. J. Sci. 144(2), 187–196 (2015)
Donato, P., Monsurrò, S.: Homogenization of two heat conductors with interfacial contact resistance. Anal. Appl. 2, 247–273 (2004)
Donato, P., Nabil, A.: Approximate controllability of linear parabolic equations in perforated domains. ESAIM Control Optim. Calc. Var. 6, 21–38 (2001)
Donato, P., Raimondi, F.: Uniqueness result for a class of singular elliptic problems in two-component domains. J. Elliptic Parabol. Equ. 5(2), 349–358 (2019)
Donato, P., Raimondi, F.: Existence and uniqueness results for a class of singular elliptic problems in two-component domains. In: Integral Methods in Science and Engineering, vol. 1. Theoretical Techniques, pp. 83–93. Birkhäuser/Springer, Cham (2017)
Donato, P., Faella, L., Monsurrò, S.: Homogenization of the wave equation in composites with imperfect interface: a memory effect. J. Math. Pures Appl. 87, 119–143 (2007)
Donato, P., Faella, L., Monsurrò, S.: Correctors for the homogenization of a class of hyperbolic equations with imperfect interfaces. SIAM J. Math. Anal. 40, 1952–1978 (2009)
Donato, P., Monsurrò, S., Raimondi, F.: Existence and uniqueness results for a class of singular elliptic problems in perforated domains. Ric. Mat. 66(2), 333–360 (2017)
Donato, P., Monsurrò, S., Raimondi, F.: Homogenization of a class of singular elliptic problems in perforated domains. Nonlinear Anal. 173, 180–208 (2018)
Durante, T., Mel’nyk, T.A.: Asymptotic analysis of an optimal control problem involving a thick two-level junction with alternate type of controls. J. Optim. Theory Appl. 144(2), 205–225 (2010)
Durante, T., Mel’nyk, T.A.: Homogenization of quasilinear optimal control problems involving a thick multilevel junction of type 3:2:1. ESAIM Control Optim. Calc. Var. 18(2), 583–610 (2012)
Durante, T., Faella, L., Perugia, C.: Homogenization and behaviour of optimal controls for the wave equation in domains with oscillating boundary. NoDEA Nonlinear Differ. Equ. Appl. 14(5–6), 455–489 (2007)
Faella, L., Monsurrò, S.: Memory effects arising in the homogenization of composites with inclusions. In: Topics on Mathematics for Smart System, pp. 107–121. World Scientific Publications, Hackensack (2007)
Faella, L., Perugia, C.: Optimal control for evolutionary imperfect transmission problems. Bound. Value Probl. 2015, 50 (2015). https://doi.org/10.1186/s13661-015-0310-z
Faella, L., Perugia, C.: Optimal control for a hyperbolic problem in composites with imperfect interface: a memory effect. Evol. Equ. Control Theory 6(2), 187–217 (2017). https://doi.org/10.3934/eect.2017011
Faella, L., Monsurrò, S., Perugia, C.: Homogenization of imperfect transmission problems: the case of weakly converging data. Differ. Integral Equ. 31, 595–620 (2018)
Faella, L., Monsurró, S., Perugia, C.: Exact controllability for an imperfect transmission problem. J. Math. Pures Appl. 122, 235–271 (2019)
Fernandez-Cara, E.: Null controllability of the semilinear heat equation. ESAIM Control Optim. Calc. Var. 2, 87–103 (1997)
Hummel, H.C.: Homogenization for heat transfer in polycrystals with interfacial resistances. Appl. Anal. 75, 403–424 (2000)
Khludnev, A.M., Faella, L., Perugia, C.: Optimal control of rigidity parameters of thin inclusions in composite materials. Z. Angew. Math. Phys. 68(2), 47 (2017). https://doi.org/10.1007/s00033-017-0792-x
Li, L., Zhang, X.: Exact controllability for semilinear wave equations. J. Math. Anal. Appl. 250(2), 589–597 (2000)
Lions, J.L.: Contrôlabilité Exacte et Homogénéisation. I. Asymptot. Anal. 1(1), 3–11 (1988)
Lions, J. L.: Contrôlabilité exacte, stabilization at perturbations de systéms distributé, Tomes 1,2 Massonn, RMA, 829, (1988)
Lions, J.L.: Exact controllability, stabilization and perturbations for distributed systems. SIAM Rev. 30, 1–68 (1988)
Lions, J.L., Magenes, E.: Non-homogeneous boundary value problems and applications, vol. I. Springer-Verlag, Berlin Heidelberg, New York (1972)
Lipton, R.: Heat conduction in fine scale mixtures with interfacial contact resistance. SIAM J. Appl. Math. 58, 55–72 (1998)
Lipton, R., Vernescu, B.: Composite with imperfect interface. Proc. R. Soc. Lond. Ser. A 452, 329–358 (1996)
Liu, W., Williams, G.H.: Exact Neumann boundary controllability for second order hyperbolic equations. Coll. Math. 76(1), 117–141 (1998)
Liu, W., Williams, G.H.: Exact Neumann boundary controllability for problems of transmission of the wave equation. Glasgow Math. J. 41, 125–139 (1999)
Monsurrò, S.: Homogenization of a two-component composite with interfacial thermal barrier. Adv. Math. Sci. Appl. 13, 43–63 (2003)
Monsurrò, S.: Erratum for the paper “Homogenization of a two-component composite with interfacial thermal barrier’’. Adv. Math. Sci. Appl. 14, 375–377 (2004)
Monsurrò, S.: Homogenization of a composite with imperfect interface. Ricerch. Mat. 54(2), 623–629 (2005)
Monsurrò, S.: Homogenization of a composite with very small inclusions and imperfect interface, Multi scale problems and asymptotic analysis. GAKUTO Int. Ser. Math. Sci. Appl., vol. 24, pp. 217–232. Gakkotosho, Tokyo (2006)
Monsurrò, S., Perugia, C.: Homogenization and exact controllability for problems with imperfect interface. Netw. Heterog. Media 14(2), 411–444 (2019)
Monsurrò, S., Nandakumaran, A. K., Perugia, C.: A note on the exact boundary controllability for an imperfect transmission problem. Ric. Mat. (2021). https://doi.org/10.1007/s11587-021-00625-w
Nandakumaran, A.K., Sufian, A.: Oscillating PDE in a rough domain with a curved interface: homogenization of an optimal control problem. ESAIM Control Optim. Calc. Var. (2021). https://doi.org/10.1051/cocv/2020045
Nandakumaran, A.K., Sili, A.: Homogenization of a hyperbolic equation with highly contrasting diffusivity coefficients. Differ. Integral Equ. 29(1/2), 37–54 (2016)
Nandakumaran, A.K., Prakash, R., Sardar, B.C.: Periodic controls in an oscillating domain: controls via unfolding and homogenization. SIAM J. Control Optim. 53, 3245–3269 (2015)
Nandakumaran, A.K., Rajesh, M., Prakash, R.: Homogenization of an elliptic equation in a domain with oscillating boundary with non-homogeneous non-linear boundary conditions. Appl. Math. Optim. 82, 1–34 (2018)
Yang, Z.: Homogenization and correctors for the hyperbolic problems with imperfect interfaces via the periodic unfolding method. Commun. Pure Appl. Anal. 13(1), 249–272 (2014)
Yang, Z.: The periodic unfolding method for a class of parabolic problems with imperfect interfaces. ESAIM Math. Model. Numer. Anal. 48(5), 1279–1302 (2014)
Zuazua, E.: Exact boundary controllability for the semilinear wave equation. In: Nonlinear Partial Differential Equations and their Applications, pp. 357–391. Pitman Publishing, London (1991)
Zuazua, E.: Approximate controllability for linear parabolic equations with rapidly oscillating coefficients. Control Cybernet. 4, 793–801 (1994)
Zuazua, E.: Controllability of partial differential equations and its semi-discrete approximations. Discret. Contin. Dyn. Syst. 8, 469–513 (2002)
Zuazua, E.: Controllability and observability of partial differential equations: some results and open problems (English summary). In: Handbook of Differential Equations, vol. III, pp. 527–621. Elsevier/North-Holland, Amsterdam (2007)
Acknowledgements
This paper was completed during the visit of the second author at the University of Sannio, Department of Science and Techology, whose warm hospitality and support are gratefully acknowledged. The work was supported by the grant FFABR of MIUR. S.M. and C.P. are members of GNAMPA of INDAM.
Author information
Authors and Affiliations
Contributions
The authors conceived and wrote this article in collaboration and with the same responsibility. All of them read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors have not disclosed any 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
Monsurrò, S., Nandakumaran, A.K. & Perugia, C. Exact Internal Controllability for a Problem with Imperfect Interface. Appl Math Optim 85, 40 (2022). https://doi.org/10.1007/s00245-022-09843-6
Accepted:
Published:
DOI: https://doi.org/10.1007/s00245-022-09843-6