- Research
- Open access
- Published:
Optimal control for evolutionary imperfect transmission problems
Boundary Value Problems volume 2015, Article number: 50 (2015)
Abstract
We study the optimal control problem of a second order linear evolution equation defined in two-component composites with ε-periodic disconnected inclusions of size ε in presence of a jump of the solution on the interface that varies according to a parameter γ. In particular here the case \(\gamma<1\) is analyzed. The optimal control theory, introduced by Lions (Optimal Control of System Governed by Partial Differential Equations, 1971), leads us to characterize the control as the solution of a set of equations, called optimality conditions. The main result of this paper proves that the optimal control of the ε-problem, which is the unique minimum point of a quadratic cost functional \(J_{\varepsilon}\), converges to the optimal control of the homogenized problem with respect to a suitable limit cost functional \(J_{\infty}\). The main difficulties are to find the appropriate limit functional for the control of the homogenized system and to identify the limit of the controls.
1 Introduction
In this paper we study the optimal control of a linear hyperbolic problem with oscillating coefficients on a domain Ω of \(\mathbb {R}^{n}\) made up of two components, a connected one \(\Omega _{1\varepsilon }\) and a second one \(\Omega_{2\varepsilon}\), which is the union of ε-periodic disconnected inclusions of size ε. On the interface \(\Gamma^{\varepsilon}=\partial\Omega_{2\varepsilon}\) separating the two components, we prescribe the continuity of the conormal derivatives and a jump of the solution proportional to the conormal derivatives through a function of order \(\varepsilon^{\gamma }\), meanwhile, a Dirichlet condition is imposed on the exterior boundary ∂Ω (see Figure 1). The order of magnitude of this parameter, with respect to the period ε, determines the influence of the contact barrier in the propagation properties of the medium. Indeed this problem models the wave propagation in a medium made up of two components with very different coefficients of propagation, which gives rise to a jump in the boundary condition on the interface. This interface condition is the mathematical interpretation of imperfect interface characterized by the discontinuity of the displacement (see [1–10] and references therein).
This work connects the corresponding homogenization and correctors results proved respectively in [5] and [6]. The first question of this paper deals with the existence of an optimal control of the ε-problem with respect to a quadratic functional. If such a control exists, the second and more interesting question is: does the optimal control of the ε-problem converge as \(\varepsilon\rightarrow0\) to the optimal control of the homogenized problem with respect to a suitable cost functional? The optimal control of one or more aspects of a problem entails the minimization of a cost functional which describes physical quantities involved in the specific problem. To give a positive answer to both questions, we refer to the techniques used by Lions in [11]. These ones consist of the construction of the adjoint problem and the research of a set of equations, called optimality conditions, characterizing the optimal control and the related cost functional. As already shown by Hummel in [12], for the homogenization results in the elliptic case, one cannot expect to have boundedness of the solutions when \(\gamma>1\). Hence it would be natural here to suppose \(\gamma\leq1\). Nevertheless in this paper we analyze the case \(\gamma <1\) being the case \(\gamma=1\) more delicate. Indeed it is already known from previous studies (see [5]) that the asymptotic behavior of the ε-problem differs in terms of the homogenized problems in the two cases \(\gamma<1\) and \(\gamma=1\). The second one is the most complicated one, since the limit problem is a coupled system of a P.D.E. and a O.D.E. and gives rise to what is called a memory effect. When searching an optimal control result for the case \(\gamma=1\) we cannot adapt the same arguments used for the more general case \(\gamma <1\). In fact the homogenized problem is no more symmetric, hence the adjoint of the homogenized problem does not coincide with the limit of the adjoint problem at ε-level. We will use other techniques to study the case \(\gamma=1\).
The plan of the paper is as follows.
In Section 2 we recall some useful properties of a specific functional space, introduced in [9, 13] by Donato and Monsurrò in the elliptic framework, suitable for the solutions of this kind of interface problems. Successively, we recall some further properties, involving evolution triples, needed in the time-dependent framework. They have been proved by Donato et al. in [5].
In Section 3, we state the main result, Theorem 2.1, whose proof is performed into several steps. At first we describe the homogenization result for the hyperbolic problem; we refer the reader also to [5] where all the proofs can be found. Then we study the control problem. Our approach to the optimal control problem for a hyperbolic equation consists in applying Pontryagin maximum principle to obtain the expression for the optimal control \(w_{\varepsilon}\) at level ε in terms of the adjoint state \(p_{\varepsilon}\), solution of the dual problem. We identify the problem satisfied by the limit \((u,w)\) of the sequence of optimal pairs \(\{ (u_{\varepsilon},w_{\varepsilon}) \} _{\varepsilon}\), where \(u_{\varepsilon}\) denotes the state of the system to be controlled, and also the problem satisfied by the limit p of \(\{ p_{\varepsilon} \} _{\varepsilon}\). We observe that p is the adjoint state corresponding to an optimal control problem for the limit equation and, by the maximum principle, we infer that the pair \((u,w)\) is optimal. The indirect approach, using the adjoint problems and the maximum principle, is necessary since the convergences occur only in \(L^{2}\)-weak topology and not, as usual in homogenization theory, in \(L^{2}\)-strong topology. The crucial point is to obtain compactness properties for the sequence of the optimal controls \(w_{\varepsilon}\). Finally, we prove that the limit of the minimum points of the cost functional \(J_{\varepsilon}\) at level ε is the minimum point of an appropriate limit cost functional \(J_{\infty}\). Let us point out that the cost functional \(J_{\infty}\) describe the physical properties of the wave equation for a composite occupying the whole Ω, without any interface. Moreover, we observe that, without any technical difficulties, we can obtain the same optimal control result with a more general quadratic cost functional.
Optimal control problems and the exact controllability in domains with highly oscillating boundary are considered in [14–20]. Moreover, we refer to [21] for control of hyperbolic problems with oscillating coefficients in a fixed domain and to [22, 23] for control of hyperbolic problems in perforated domains.
In [7] and [8] the authors study, respectively, the approximate control and the correctors for a class of parabolic equations with interfacial contact resistance. For the sake of completeness, we recall also [4] where all the results for transmission problems in the elliptic case are collected and [24, 25] where the authors treated the homogenization in other types of perforated domains. For the study of similar problems, where the same jump condition is taken into account, we quote here also [1, 2, 12, 26–30] and the references therein.
2 Statement of the problem and main result
Let Ω be an open bounded subset of \(\mathbb {R}^{n}\) (\(n\geq 2\)) and \(Y=\,]0,l_{1}[\,\times\cdots\times\,]0,l_{n}[\) the reference cell.
We denote by \(Y_{1}\) and \(Y_{2}\) two nonempty open and disjoint subsets of Y such that
with \(Y_{1}\) connected and \(\Gamma:=\partial{Y_{2}}\) of class \(C^{2}\). For any \(k \in Z^{n}\) we define the translated sets \(Y^{k}_{i}\) and \(\Gamma_{k}\) as follows:
where \(k_{l}=(k_{1}l_{1},\ldots,k_{n}l_{n})\) and \(i=1,2\). Let \(\{\varepsilon\}\) be a sequence of positive real numbers converging to zero and for any given ε let us set
Then we define the two components of Ω and the interface respectively as follows:
We assume that
We explicitly observe that by construction, the set Ω is decomposed into two components \(\Omega =\Omega_{1 \varepsilon}\cup\overline{\Omega_{2 \varepsilon}}\) where \(\Omega_{1 \varepsilon}\) is a connected set while \(\Omega_{2 \varepsilon}\) is a disconnected union of ε-periodic disjoint translated sets of \(\varepsilon Y_{2}\). Moreover, \(\Gamma_{\varepsilon }\) is the interface separating the two components with \(\partial \Omega \cup\Gamma_{\varepsilon }=\emptyset\) (see Figure 1).
In the sequel we denote by
-
˜ the zero extension to the whole of Ω of functions defined on \(\Omega_{1\varepsilon}\) or \(\Omega_{2\varepsilon}\);
-
\(\chi_{E}\) the characteristic function of any measurable set \(E\in \mathbb {R}^{n}\);
-
\(m_{\omega}(v)=\frac{1}{\omega}\int_{\omega}v \,dx\) the average on Y of any function \(v\in L^{1} (\omega)\).
Let us recall (see for instance [31]) that as \(\varepsilon \rightarrow0\), for \(i=1,2\),
\(\theta_{i}\) being the proportion of the material occupying \(\Omega _{i\varepsilon}\).
For any \(\varepsilon >0\), let us introduce he functional space \(V^{\varepsilon }\) as
which is a Banach space if endowed with the norm
Clearly, since we do not assume any regularity on ∂Ω, the condition on ∂Ω in the definition of \(V^{\varepsilon }\) has to be understood in a density sense. To be more precise, \(V^{\varepsilon }\) is the closure, with respect to the \(H^{1}( \Omega_{1 \varepsilon})\)-norm, of the set of the functions in \(C^{\infty}(\Omega_{1 \varepsilon})\) with a compact support contained in Ω. This can be done in view of (2.1).
For any \(\varepsilon >0\), we set
which is a Hilbert space if equipped with the norm
Let A be a \(n\times n\) Y-periodic matrix field with coefficients in \(L^{\infty}(Y)\) such that for any \(\lambda \in \mathbb {R}^{n}\) and a.e. in Y one has
with \(0<\alpha<\beta\).
Moreover, we suppose that h is a Y-periodic function such that
For any \(\varepsilon >0\), we set
and
The aim of this paper is to study the optimal control and its asymptotic behavior as \(\varepsilon \rightarrow0\) for a hyperbolic imperfect transmission problem defined in the domain Ω previously described.
More precisely let \(z_{\varepsilon}= (z_{1\varepsilon },z_{2\varepsilon} )\) be a control to be found in \(L^{2} (0,T;L^{2} (\Omega_{1\varepsilon} ) )\times L^{2} (0,T; L^{2} (\Omega_{2\varepsilon} ) )\). For any fixed \(T>0 \) let us consider the following problem:
where \(\gamma< 1\), \(n_{i \varepsilon }\) is the unitary outward normal to \(\Omega_{i \varepsilon }\), \(i=1,2\), and
Let us introduce a class of function spaces expressly considered for the solution of this particular kind of interface problems. They were defined for the first time in [3, 32] and [12] in the framework of the study of the analogous elliptic problem. Clearly, the space of the solutions must take into account either the geometry of the domain in which the material is confined or the boundary and interfacial conditions. For every \(\gamma\in \mathbb {R}\), we set (see also [9])
The space \(H^{\varepsilon }_{\gamma}\) is a Banach space when equipped with the norm
It is easy to check that, if \(0<\varepsilon <1\) and \(\gamma_{1} \leq\gamma_{2}\), then
Moreover, for every fixed ε the norms of \(H^{\varepsilon }_{\gamma}\) and \(V^{\varepsilon }\times H^{1}( \Omega_{2 \varepsilon})\) are equivalent; see [13] for details.
We point out that \(H^{\varepsilon }_{\gamma}\) is a separable and reflexive Banach space dense in \(L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon})\). Moreover, \(H^{\varepsilon }_{\gamma}\subseteq L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon})\) with continuous imbedding. On the other hand, one sees that \(L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon})\subseteq(H^{\varepsilon }_{\gamma} )'\), with \(L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon})\) separable Hilbert space. This means that the triple \((H^{\varepsilon }_{\gamma}, L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon}), (H^{\varepsilon }_{\gamma} )')\) is an evolution triple. We refer the reader to [5] for an in-depth analysis on this aspect. By using an approach to the evolutionary problems based on evolution triples, as far as the weak formulation of problem (2.8) is concerned, we assume as precise formulation of formal problem the following one (see [18]):
An abstract Galerkin method provides the existence and uniqueness result for the solution of problem (2.10) for any \(\varepsilon >0\) and also some a priori estimates (see [5]). We point out that the unique solution \(u_{\varepsilon}(z_{\varepsilon})\) of problem (2.10) is said the ‘state’ of the system to be controlled and (2.10) are called ‘state equations’.
To any control \(z_{\varepsilon}\in L^{2} (0,T;L^{2} (\Omega _{1\varepsilon} ) )\times L^{2} (0,T;L^{2} (\Omega _{2\varepsilon} ) )\) we associate the cost functional \(J_{\varepsilon}:L^{2} (0,T;L^{2}(\Omega_{1\varepsilon})\times L^{2}(\Omega_{2\varepsilon }) ) \rightarrow\mathbb{R}\) defined in the following way:
This functional is continuous, strictly convex and coercive. Hence, by applying the direct method in the calculus of variations, the following minimum problem:
admits a unique solution \(w_{\varepsilon }\) which is called the optimal control of problem (2.8), (2.9) with respect to the cost functional (2.11).
The aim of this paper is to study the asymptotic behavior, as \(\varepsilon \rightarrow0\) of the sequence of the optimal pairs \((u_{\varepsilon },w_{\varepsilon } )\) under the following assumptions on the data:
with C positive constant independent of ε and
Let \(A_{\gamma}^{0}\) be the matrix defined as follows:
(i) for \(\gamma<-1\)
with \(W_{\gamma}\in H^{1} (Y_{1})\) a solution, for any \(\lambda \in \mathbb {R}^{n}\), of
(ii) for \(\gamma=-1\)
with \((\mathrm{w}^{1} ,\mathrm{w}^{2}) \in H^{1} (Y_{1})\times H^{1} (Y_{2})\) a solution, for any \(\lambda \in \mathbb {R}^{n}\), of
(iii) for \(-1<\gamma<1\)
with \(\mathrm{w} \in H^{1} (Y_{1})\) a solution, for any \(\lambda \in \mathbb {R}^{n}\), of
We establish the following result.
Theorem 2.1
Let \(\gamma<1\) and let \(A_{\varepsilon}\) and \(h_{\varepsilon}\) satisfy (2.4)-(2.7). Suppose that (2.9), (2.13), and (2.14) hold and let \(w_{\varepsilon}\) the optimal control of problem (2.8), (2.9), (2.11), and (2.12). Then there exists a function \(w\in (L^{2}(0,T;L^{2}(\Omega)) )^{2}\) such that
where
and \(\frac{w_{1}}{\theta_{1}}\) is the unique solution of the following problem:
\(u_{1}(z)\) being, for every \(z\in L^{2}(0,T;L^{2}(\Omega))\), the unique solution of
where the homogenized matrix \(A_{\gamma}^{0}\) is defined in (2.15), (2.17) and (2.19).
Remark 2.1
For \(\gamma<-1\) the matrix field \(A_{\gamma}^{0}\) is the classical one in a fixed domain. For \(\gamma=-1\), the homogenized matrix \(A_{\gamma}^{0}\) is described in terms of the periodic solution of an elliptic problem posed in the two reference sub-domains of the periodicity cell and prescribing on the interface a conormal derivative proportional to the jump of the solution. Finally in the case \(-1<\gamma <1\), the matrix field \(A_{\gamma}^{0}\) is the same obtained by Cioranescu and Saint Jean Paulin in [33], for the homogenization of the elliptic problem in the perforated domain \(\Omega_{1 \varepsilon}\) with a Neumann condition on the boundary of the holes.
Remark 2.2
The boundness (iii) in (2.13) is necessary in order to have a priori estimates for the solution of problem (2.8) and (2.9), as shown in Section 3 below.
Remark 2.3
If \(f_{i\varepsilon }=f|_{\Omega _{\varepsilon i}}\), with \(f\in L^{2}(\Omega )\), for \(i=1,2\), then (2.14) holds with \(f_{i}=\theta_{i}f\).
3 Proof of Theorem 2.1
This section is devoted to the proof of Theorem 2.1. At first, we recall some convergence results about the sequence of solutions of problem (2.8) and (2.9). Then we give a characterization of the optimal control \(w_{\varepsilon }\) at ε-level in the form of the optimality system and we deduce a uniform estimate for \(w_{\varepsilon }\). Finally we identify the limit of \(w_{\varepsilon }\) as the solution of the optimality system related to the homogenized problem with respect to a suitable limit cost functional.
3.1 Asymptotic behavior of the ε-problem
Let \(A_{\gamma}^{0}\) the matrix field defined in the previous section. We will make use of some homogenization results proved in [5] that we recall below, for the reader’s convenience.
For any fixed \(T>0 \) and \(\gamma<1\) let us consider the following problem:
where \(n_{i \varepsilon }\) is the unitary outward normal to \(\Omega_{i \varepsilon }\), \(i=1,2\), and
Moreover, let us suppose that
with C positive constant independent of ε, and
Theorem 3.1
([5])
Let \(A_{\varepsilon}\) and \(h_{\varepsilon}\) satisfy (2.4)-(2.7). Suppose that (3.2), (3.3), and (3.4) hold and let \(u_{\varepsilon}\) be the solution of problem (3.1) and (3.2), with \(\gamma<1\). Then there exists an extension operator \(P_{1}^{\varepsilon}\in\mathcal{L} (L^{\infty} (0,T;H^{k}(\Omega_{1 \varepsilon})); L^{\infty} (0,T;H^{k} (\Omega)))\), for \(k=1,2\), such that
and
where \(\theta_{1}\) and \(\theta_{2}\) are given by (2.2) and \(u_{1}\) is the unique solution in \(L^{2}(0,T;H^{1}_{0}(\Omega ))\), with \(u_{1}'\) in \(L^{2}(0,T;L^{2}(\Omega))\), of the following problem:
Moreover, if \(-1<\gamma<1\),
Let us recall the existence and uniqueness result, of the solution of problem (3.1) and (3.2), with \(\gamma<1\) (see for instance [34], Theorem 24.A and [35], Chapter 3, Theorem 8.1, Remark 8.2). We point out that \(H^{\varepsilon }_{\gamma}\subseteq L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon})\) with continuous imbedding so that the triple \((H^{\varepsilon }_{\gamma}, L^{2}(\Omega_{1 \varepsilon})\times L^{2}(\Omega_{2 \varepsilon}), {H^{\varepsilon }_{\gamma}}')\) is an evolution triple (see Theorem 3.1 in [5] for an in-depth analysis on this aspect).
Theorem 3.2
Let \(T\in\,]0,+\infty[\). Let \(W_{\varepsilon}\) be defined as in (2.3), \(h_{\varepsilon }\) and \(A_{\varepsilon }\) as in (2.4)-(2.7). For every ε, under assumptions (3.2), (3.3), and (3.4), problem (3.1) admits a unique weak solution \(u_{\varepsilon}\in W_{\varepsilon}\). Moreover, there exists a constant C, independent of ε, such that
Let us point out that, for any fixed ε, the solution of problem (3.1) and (3.2) has some further properties (see [35], Chapter 3, Theorem 8.2). In fact, under the same hypotheses of Theorem 3.2 the unique solution \(u_{\varepsilon}\) of problem (3.1) and (3.2), with \(\gamma<1\) satisfies
and
where C is the same constant as in (3.10).
3.2 The optimality system
The following results give a characterization of the optimal controls for both problem at level ε and homogenized problem (2.24) (see [11], Chapter 4).
Theorem 3.3
For every ε, under assumptions (2.4)-(2.7) and (2.9), the optimal pair \((u_{\varepsilon},w_{\varepsilon})\), solution of problem (2.8), (2.9), (2.11), and (2.12) is characterized by the following optimality system:
As previously, we prefer to use the following weak formulation of problems (3.13) and (3.14):
and
Let us consider the cost functional \(J_{\infty}:L^{2} (0,T;L^{2}(\Omega) ) \rightarrow\mathbb{R}\) defined in the following way:
where for every control \(z\in L^{2} (0,T;L^{2}(\Omega) )\), \(u_{1}(z)\) is the unique solution of problem (2.24). This functional is continuous, strictly convex, and coercive. Hence, by applying the direct method in the calculus of variations, the minimum problem (2.23) admits a unique solution \(\bar{w}\) which is the optimal control of problem (2.24) with respect to the cost functional (3.18).
Theorem 3.4
The optimal pair \((u_{1},\bar{w})\), solution of problem (2.23) and (2.24) is characterized by the following optimality system:
3.3 A priori estimates
In this subsection, we deduce some a priori norm-estimates either for the sequence of the optimal controls \(w_{\varepsilon}\) or for the corresponding solution \(u_{\varepsilon }=u_{\varepsilon} ( w_{\varepsilon} ) \) (resp. \(p_{\varepsilon }=p_{\varepsilon} ( u_{\varepsilon} ) \)) of problem (3.16) (resp. (3.17)).
Proposition 3.1
Let \((u_{\varepsilon},w_{\varepsilon})\in(L^{2} ( 0,T;L^{2} ( \Omega_{1\varepsilon} )\times L^{2} ( \Omega _{2\varepsilon} ) ) )^{2} \) be the optimal pair, solution of the optimality system (3.13), (3.14) and (3.15). Under assumptions (2.4)-(2.7), (2.13) and (2.14), there exists a constant c, independent of ε, such that
for every ε.
Proof
Let us fix ε. Let \(u_{\varepsilon }=u_{\varepsilon}(w_{\varepsilon})\) be the unique solution of problem (3.16) and \(p_{\varepsilon}=p_{\varepsilon} (u_{\varepsilon} ) \) be the unique solution of the adjoint problem (3.17). Choosing \(p_{\varepsilon}\) as test function in (3.16) and \(u_{\varepsilon }\) as a test function in (3.17), we have
and
Integrating by parts, we get
and
Subtracting (3.24) from (3.25), using (3.26) and (3.27), the symmetry of the matrix A, the initial conditions in (3.16), and the final conditions in (3.17), we obtain
By virtue of (3.15), as a result we find
from which, by the Cauchy-Schwarz inequality, it follows that
On the other hand, to estimate \(\Vert p_{\varepsilon} ( 0,\cdot) \Vert _{L^{2} ( \Omega_{1\varepsilon} )\times L^{2} ( \Omega_{2\varepsilon} ) }\) and \(\Vert p_{\varepsilon}' ( 0,\cdot) \Vert _{L^{2} ( \Omega_{1\varepsilon} )\times L^{2} ( \Omega _{2\varepsilon} ) }\) let us apply Theorem 3.2 with \(p_{\varepsilon}\) instead of \(u_{\varepsilon}\). Then by translation we get
where C is a constant independent of ε. Finally, combining (3.29) with (3.30) and using (2.13), as a result we find that
with constants independent of ε. So estimates (3.22) and (3.23) are proved. □
As a consequence of (3.22), up to a subsequence still denoted by ε, we have the following convergences:
3.4 Conclusions
Let us recall that for the adjoint state at ε-level \(p_{\varepsilon}= (p_{1\varepsilon},p_{2\varepsilon} )\), the following convergences hold:
Hence by (3.15) and (3.32) we get
where \(\theta_{1}\) and \(\theta_{2}\) are given in (2.2). As a consequence
which is (2.22).
Hence we are able to pass to the limit, as ε goes to 0, in the optimality system (3.13)-(3.15) by applying Theorem 3.1 to both problems (3.13) and (3.14) with, respectively, \(g_{\varepsilon }=f_{\varepsilon }+w_{\varepsilon }\) and \(g_{\varepsilon }=u_{\varepsilon }\). Then by (2.14), (3.32), and (3.33) as \(\theta_{1}+\theta_{2}=1\), we see that the pair \((u_{1}, \frac{w_{1}}{\theta_{1}} )\) is such that
Finally, by Theorem 3.4 and uniqueness we get \(\frac {w_{1}}{\theta_{1}}=\bar{w}\) and the convergences (3.5)-(3.7) and (3.32) hold for the whole sequence. Hence Theorem 2.1 is now completely proved.
References
Auriault, JL, Ene, H: Macroscopic modelling of heat transfer in composites with interfacial thermal barrier. Int. J. Heat Mass Transf. 37, 2885-2892 (1994)
Canon, E, Pernin, JN: Homogenization of diffusion in composite media with interfacial barrier. Rev. Roum. Math. Pures Appl. 44, 23-36 (1999)
Donato, P: Some corrector results for composites with imperfect interface. Rend. Mat. Appl. (7) 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, vol. 16, pp. 109-147. Higher Education Press, Beijing (2011)
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, 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). doi:10.1051/cocv/2014029
Donato, P, Monsurrò, S: Homogenization of two heat conductors with interfacial contact resistance. Anal. Appl. 2, 247-273 (2004)
Monsurrò, S: Erratum for the paper ‘Homogenization of a two-component composite with interfacial thermal barrier’. Adv. Math. Sci. Appl. 14, 375-377 (2004)
Lions, JL: Optimal Control of System Governed by Partial Differential Equations. Springer, Berlin (1971)
Hummel, HC: Homogenization for heat transfer in polycrystals with interfacial resistances. Appl. Anal. 75, 403-424 (2000)
Monsurrò, S: Homogenization of a two-component composite with interfacial thermal barrier. Adv. Math. Sci. Appl. 13, 43-63 (2003)
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, 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. doi:10.1080/17476933.2015.1022169 (to appear)
De Maio, U, Nandakumaran, AK, Perugia, C: Exact internal controllability for the wave equation in a domain with oscillating boundary with Neumann boundary condition. Evol. Equ. Control Theory (2015, to appear)
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)
Durante, T, Mel’nyk, TA: 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, TA: 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)
Lions, JL: Contrôlabilité Exacte et Homogénéisation. I. Asymptot. Anal. 1(1), 3-11 (1988)
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)
Donato, P, Nabil, A: Homogenization and correctors for the heat equation in perforated domains. Ric. Mat. 50(1), 115-144 (2001)
Faella, L, Perugia, C: Homogenization of a Ginzburg-Landau problem in a perforated domain with mixed boundary conditions. Bound. Value Probl. 2014, 223 (2014). doi:10.1186/s13661-014-0223-2
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)
Monsurrò, S: Homogenization of a composite with very small inclusions and imperfect interface. In: Multi Scale Problems and Asymptotic Analysis. GAKUTO Internat. Ser. Math. Sci. Appl., vol. 24, pp. 217-232. Gakkōtosho, Tokyo (2006)
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)
Cioranescu, D, Donato, P: An Introduction to Homogenization. Oxford Lecture Ser. Math. Appl., vol. 17. Oxford University Press, New York (1999)
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, Hackensack (2007)
Cioranescu, D, Saint Jean Paulin, J: Homogenization in open sets with holes. J. Math. Anal. Appl. 71, 590-607 (1979)
Zeidler, E: Nonlinear Functional Analysis and Its Applications. Vol II, Part A and B. Springer, Berlin (1980)
Lions, JL, Magenes, E: Non-Homogeneous Boundary Value Problems and Applications, vol. 1. Springer, Berlin (1972)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors conceived and wrote this article in collaboration and with the same responsibility. All of them read and approved the final manuscript.
Luisa Faella and Carmen Perugia contributed equally to this work.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0310-z