Abstract
This manuscript deals with a hierarchical control problem for Oldroyd equation under the Stackelberg-Nash strategy. The Oldroyd equation model is defined by non-regular coefficients, that is, they are bounded measurable functions. We assume that we can act in the dynamic of the system by a hierarchy of controls, where one main control (the leader) and several additional secondary control (the followers) act in order to accomplish their given tasks: controllability for the leader and optimization for followers. We obtain the existence and uniqueness of Nash equilibrium and its characterization, the approximate controllability with respect to the leader control, and the optimality system for leader control.
Key words Hierarchical controllability; Stackelberg-Nash strategies; Oldroyd fluid; optimality system
Introduction
Bibliographical comments
With origin in game theory, and mainly motivated by economics, there exists several equilibrium concepts for multi-objective controllability of PDE. Each of them determines a strategy. For example, we mention the noncooperative optimization strategy proposed by Nash (1951), the Pareto cooperative strategy (1896), and the Von Stackelberg hierarchical-cooperative strategy (1934). The process in the problems above is a combination of strategies and is called Stackelberg-Nash strategy. The concept of hierarchical control was introduced by Lions (1994), where a simplified structure involving a single leader and a single follower control was considered to solve a problem of controllability for a hyperbolic equation.
For other equations, the hierarchical controllability has been considerably investigated. In the context of approximate controllability, we can cite some works involving Stackelberg-Nash strategy. In fact, in the paper by Díaz & Lions (2005), the approximate distributed controllability of a parabolic system has been established following a Stackelberg-Nash strategy, and in Límaco et al. (2009), this same strategy was developed to obtain the approximate controllability for the linear heat equation with moving boundaries. In the context of linear fluid models, some investigations into approximate controllability using Stackelberg-Nash strategies began with the results of Guillén-González et al. (2013) for the Stokes system. These were later expanded upon by Araruna et al. (2014) for linearized micropolar fluids. Subsequently, Jesus & Menezes (2015) extended the results of Araruna et al. (2014) to include moving domains. In both cases, the objective of the leader control is an approximate controllability result.
In recent years, much attention has been given to the investigation of new classes of problems in differential equations of hydrodynamics. Control problems for the Navier-Stokes equations and other models of fluid mechanics are examples of these . A considerable number of papers and books (see, for instance, Abergel & Temam (1990), Betts (2001), Blieger (2007), Fursikov (2000), Gunsburger (2003), Lions & Zuazua (1998), Stavre (2002), and references therein) deal with the theoretical and numerical study of the above mentioned problems. More precisely, in the context of fluid mechanics, significant controllability results are associated to the Burgers, Stokes, Euler, and Navier-Stokes equations. For instance, the local null controllability of the Burgers equation with distributed controls was investigated in Fernández-Cara & Guerrero (2006), and recent work by Araruna et al. (2024) explores null control for Burgers equations within hierarchical controllability using the Stackelberg-Nash strategy. For Stokes equations, the approximate and null controllability with distributed controls have been established in Fabre (1996) and Imanuvilov (2001), respectively. Additionally, non-null controllability of Stokes equations with memory was analyzed by Fernández-Cara et al. (2020). Global controllability results for Euler equations were proven by Coron (1996) and Glass (2000). Regarding Navier-Stokes equations, while only local exact controllability results are available for equations with initial and Dirichlet boundary conditions, as documented in Fursikov & Imanuvilov (1999), Imanuvilov (2001), Fernández-Cara et al. (2004, 2006), Coron et al. (2020) established a global exact controllability result for equations with Navier-slip (friction) boundary conditions.
The main novelties of this paper lie in the formulation and resolution of Nash and Stackelberg-Nash control problems within the framework of partial differential equations (PDEs) governing a non-conventional fluid model, specifically the equations governing Oldroyd fluids . The results obtained here can generate several interesting problems generalizing or improving the results to other similar models, for instance, this can be viewed as a first step in the path to understand similar questions in the context of the Navier-Stokes system and their variants.
The Oldroyd model
This model corresponds to an incompressible fluid which is described by the following system of partial differential equations:
with appropriate initial and boundary conditions. Here, is an open bounded connected set of with smooth boundary , denotes the stress tensor with , represents the velocity vector, is the pressure of the fluid and is an external force. The stress tensor plays a special role because the introduction of in (1) has the purpose of letting us consider reactions arising in the fluid during its motion. By establishing (Hooke’s Law) the connection between , the tensor of deformation velocities and their derivatives, we thus establish the type of fluid. Such relation between and is called a defining or rheological equation or an equation of state (see Serrin 1959). From Newton’s law, we set: where is the kinematic coefficient of viscosity. In this case, the fluid is called a Newtonian Fluid. Substituting (2) into (1) we obtain the equations of motion of Newtonian fluids, which is called Navier-Stokes equations.Over the last century and half, the model of a Newtonian fluid has been the basic model of a viscous incompressible fluid. It describes flows of moderate velocities of the majority of viscous incompressible fluids encountered in practice. However, even earlier in the mid-nineteenth century it was known that there exists viscous incompressible fluid not subject to the Newtonian equation (2) . That is, it has a complex microstructure such as biological fluids, suspensions and liquid crystals, which are used in the current industrial process and shows (nonlinear) viscoelastic behavior that cannot be described by the classical linear viscous Newtonian models. The first models of such fluids, were proposed in the nineteenth century by Maxwell (1859, 1868), Kelvin(1875), Voigt (1889, 1892). In the mid-twentieth century, Oldroyd extended such models (see Oldroyd 1950, 1953, 1959, 1964).
The model for Oldroyd fluid (see Astarita & Marruci 1976, Wilkinson 1960) can predict the stress relaxation as well as the retardation of deformation. Due to this, it has become popular for describing polymer suspension. To model the behavior of a dilute polymer solution in a Newtonian solvent, the extra stress tensor is often split into two components: a viscoelastic one and a purely viscous one. So the Oldroyd fluids of order one as it is known in the Russian literature (see Oskolkov 1989, Oskolkov & Akhmatov 1974, Oskolkov & Kotsiolis 1986, Oskolkov et al. 1987) are described by defining relation:
where are positive constants with . Here, denotes the kinematic viscosity, is the relaxation time, and represents the retardation time.We observe that (3) can be rewritten in the form of an integral equation as follows:
whereThus, the equation of motion of the Oldroyd fluid of first order can be described most naturally by the system of integro-differential equations:
and the incompressible condition: with initial and boundary conditions: Here and kernel , where with . For details of the physical background and its mathematical modeling, er refer to Oldroyd (1953), Astarita & Marruci (1976), Wilkinson (1960), and Oskolkov (1989).Remark 0.1.. As the theory of viscoelastic fluids describes flows with moderate velocities, the equation (5) admits a reasonable simplification, i.e., the convective term is neglected, as usual in mechanics.
Notations
As in Temam (1979) let us denote as the standard Hilbert-Sobolev space and by the norm defined on it. When , we call as the space of square-integrable functions with the usual norm and inner product . Further, let be the completion of concerning -norm.
Let us consider the spaces:
and The spaces of vector functions are indicated by boldface, for instance, , . The inner products on and are defined by: respectively. Similarly , we define the norms:Let us notice that under some smoothness assumptions on the boundary , it is possible to characterize and
where is the outward unit normal vector at By Poincaré’s inequality, it can be shown that the norm is equivalent to norm. By we denote the dual of .Main Result
Let be a real number. We consider the cylindrical domain of with lateral boundary . We denote by non-empty disjoint open subsets of . By …, we represent the characteristic functions of , , , …, , respectively.
In this paper, we investigate the approximate controllability of the following system:
where is the velocity vector (or state of the system) of moderate fluid evaluated at the point , is the pressure of the fluid evaluated at the point , represents a constant, and is the initial velocity.The system (8) can be interpreted as a variant of the classical Oldroyd equations (5)-(7) , in which the nonlinearity has been omitted; see Remark 0.1.
In (8) the subset is the main control domain (which is supposed to be as small as desired), , , …, are the secondary control domains, the function is called leader control, and , , are the followers controls.
Remark 2. By linearity of the system (8) without loss of generality, we may assume that
As the solution of (8) depends on then we denote it by , where , or sometimes by .
To localize the action of the controls , , we introduce the functions , defined in with real values, satisfying:
where is a region where works.We assume the leader objective to be of controllability type. On the other hand, the main objective of the followers is to hold solution of the state equation (8) at the time near to a desired state without a big cost for the controls with cost functionals defined by:
where is a positive constant, , , and varies in , withThe Stackelberg-Nash strategy is described as follows: for each choice of the leader , we search for a Nash equilibrium for the cost functionals that is, we look for controls , depending on satisfying:
The controls , solutions of the system of inequalities (11), are called Nash equilibrium for the costs and they depend on (cf. Aubin 1984).
For each assuming that and is small enough then there exists a unique Nash equilibrium , depending on , given by the inequalities (11) Later, we will make explicit this assumption with more details.
The main problems to be answered in this paper can be read as follows:
-
Problem 1 The existence of solutions for the inequalities (11) that is, the existence of the Nash equilibrium for the functionals
-
Problem 2 Assuming that the existence of the Nash equilibrium was proved, then when varies in to prove that the solutions of the state equation (8), evaluated at , that is, , generate a dense subset of . This permits to approximate .
Let us consider the following set:
Thus, the main result of this paper is the following:
Theorem 1. Let . Let us assume that for every there exists a unique Nash equilibrium , depending on , given by the inequalities (11) that is, for each assume that and is small enough. Then is dense in .
Organization of the paper
This paper is organized as follows. Initially, we present the optimality system for the followers controls. After this, we investigate the approximate controllability proving the density Theorem 0.1. The following section is devoted to establish the existence and uniqueness of the Nash equilibrium by using the Lax-Milgram’s Lemma. Posteriorly, we deal with the optimality system for the leader control. After this, we add some comments and point out open problems related to this article. Finally, in the last section, we present the Appendix, where we prove the existence and uniqueness of solutions.
Optimal system for the followers controls
The main objective here is to express the followers controls , , as weak solutions of an appropriate system. For this, we suppose that there exists a Nash equilibrium for the cost functionals defined in (10) This means that satisfies the Euler-Lagrange equation given by:
whereThe equation (12) will allow us to reach to the objective of this section. In fact, from (10) we have that:
As the state equation (8) is linear, for any choice of the controls , its unique solution at the time can be written as where are linear and continuous operators. Later, we will make explicit this assumption with more details. Thus, the equality above can be rewritten as follows: whereNow, differentiating the equation (13) with respect to and evaluate at we obtain:
for all , where and is the unique strong solution of system: associate to the with given.Then, admitting (11) for the cost functionals we obtain the following characterization:
for allTo find an optimality system for the followers, we represent by and , the weak solution of system:
where the condition is motivated by (15).Observe that if we make the change of variables in (16) and set we transform (16) into an equivalent system in the unknown but with , where Furthermore, since the right hand side from (16)1 is zero, then (16) admits a unique weak solution such that:
in the sense ofIf is the strong solution of (14), we have that:
Therefore, it makes sense to take the duality between and inFormally, we multiply both sides of (16) by the strong solution of (14), and integrate in . Let us recall that we had assumed in (8) . Then:
From (14) it follows that: Hence,Remark 3. Let us notice that:
since and thusRemark 0.4. By Fubini’s formula, we have that:
From Remarks 0.3 and 0.4, we have that the equation (17) becomes:
Hence, from (15), we deduce that: i.e.,Remark 0.5. The relation (18) is very important. It corresponds to finding the control functions as a weak solution of system (16) The main reason to express the followers controls in such way is to find an optimality system. Using this fact, one can derive numerical approximation algorithms.
Thus, the best satisfying (11) are given by where is the unique solution of the following optimality system:
On approximate controllability
Our goal in this section is to show the approximate controllability for the state equation (8) assuming that , i.e., we will prove that the solution of the state problem (8) evaluated at generate a dense subset of . Observing the cost functionals defined in (10) we will have the approximate controllability with as in Díaz & Lions (2005).
Now, we present the proof of Theorem 0.1.
By linearity of optimality system (19) without loss of generality, let us assume that (it suffices to use a translation argument). We will prove that if satisfies for all , then is the null vector of , i.e., the orthogonal complement of in is null.
In fact, multiplying (19)1 by (19)2 by respectively, and integrating in , we obtain:
and where Fixing the conditions: we conclude that:-
From (22), the equation (20) can be rewritten as follows:
-
From (22)2, the expression in (21) becomes:
Remark 0.6. The system (22) admits a unique solution in ; see Appendix. Therefore, it makes sense the calculus in (20) and (21).
From (19)3, (22)3, (23), (24) and Remarks 0.3 and 0.4 we have that:
-
Equation (23) is reduced to the expression:
-
Expression in (24) becomes:
Now, summing (26) from at , we obtain that:
Hence, substituting (27) in (25), we get:
From (19)5 and (22)5 we find that:
Thus, combining (28) and (29), we deduce that:
i.e,
From assumption , then from (30), it follows that:
and therefore, It follows by the unique continuation (cf. Doubova & Fernández-Cara 2012, Lemma 2.3, p. 576), that . Thus, coming back to (22), we obtain that Therefore, as and , we have that and and from (22)5 implies that in . This ends the proof of Theorem 0.1.Existence and uniqueness of Nash equilibrium
Our goal in this section is to prove the existence of Nash equilibrium for the cost functionals defined in (10), corresponding to the state equation (8). For this, let and be Hilbert spaces. Moreover, we consider for each the cost functionals given by (10) and the operator such that , where is a unique strong solution of the linear system (14) The functionals are linear and are well defined. Indeed, since is the strong solution of the system (14) with , it follows that belongs to . Hence, . Moreover, and thus, that is, for all . Therefore . Since with continuous and dense immersion, we have that where
Let be a strong solution of the problem (8) with From (14), we have:
Since we compare (8) with (32) and conclude that where is the strong solution of (14) with and is fixed depending only of .Since , we have that for fixed.
This notation allows us to rewrite the cost functionals defined in (10) in the form:
whereThis means that will be a Nash equilibrium for the convex functionals given by (10), if their Gateaux derivatives are null in any direction , i.e., we must show that satisfies:
or for all where is the adjoint operator of the . Hence,Since , we can aim to find a vector
in . After that, we define the functional such that , where is given by Thus, the problem can be formulated as the following question:Question : Given , is there a unique such that ?
Therefore, we must prove that the linear equation admits a solution in for each in . To guarantee its solvability, we will apply the Lax-Milgram’s Lemma, with certain restrictions on and . More precisely, the following result holds:
Proposition 0.1. Let us assume that
such that Then there exists a Nash equilibrium for the functionals defined in (10).Let us observe that:
Therefore, according to the hypothesis , we obtain: Next, let us that: Hence, from (35), we obtain: where Since is small enough, we have . Therefore, from (36), it follows thatFinally, since and , we have from Lax-Milgram’s Theorem that, for a given , there exists a unique such that . In particular, for , there exists a unique solution , that is, a Nash equilibrium for the cost functionals satisfying , i.e.,
Optimal system for the leader control
In the previous sections we have seen that no matter what strategy the leader assumes, the followers make their choices satisfying the Nash equilibrium. Moreover, this choices can be made through of an optimality system. The goal of this section is to obtain an optimality system for the leader control. For this, we consider the functional:
and the minimization problem where is a given real number, is the unitary ball of and is the unique solution of the optimality system defined in (19)We introduce two convex proper functions as follows:
-
The first one is defined in by:
-
The second one is defined in by:
With these notations, problem (37) is equivalent to
where , with .Observe that there exists such that and are finite, is continuous in and is continuous in . By the Duality Theorem of Fenchel and Rockafellar (1969) (see also Brezis 2010, Ekeland & Temam 1974), we have:
where denotes the adjoint of and is the conjugate function of This means that the primal problem (37) is equivalent to its dual.Now, our next goal is to get the best control function of the leader. In fact, using (22) then for it follows that:
Thus, we conclude that: where is a solution of (22)We see easily that:
and where denotes the norm of .So, from (42) – (44), the expression in (41) becomes:
where the functional is defined by:
with given by (42).Let us notice that the problem (37) has a unique solution (see Rockafellar 1967). Consequently, the dual problem has also a unique solution.
After a quick computation of the Gateaux derivative of the functional (46), then for we obtain the following variational inequality (cf. Ekeland & Temam (1974)):
Now, for each , we consider the unique solution of (22) and introduce , , as the unique solutions of the system: Multiplying (48)1 by , and (48)2 by respectively, and integrating in , we obtain: and whereSetting , , and fixing the conditions:
we deduce that: and where From Remark 0.3, we have that the expressions in (52) and (53) becomes: and where Summing (55) from to and substituting into (54), we get: From (48)5 and (51)5, it follows that: Combining (56) and (57), we find that: Substituting (58) in (47), we get: More precisely, we summarize these results in the following theorem:Theorem 2. The best control function of the leader, that is, the function that minimizes
subject to is given by: where is given from unique solution of the optimality system: with being the unique solution of the variational inequality:Remark 7. In (60) we rewrite to emphasize the fact that the solutionsof the optimality system also depends on
Conclusions
In this this section we make some comments and briefly discuss some possible extensions of our results and also indicate open issues on the subject.
Extensions to various analogous scenarios
We have seen in this paper that it is possible to obtain approximate controllability result for the Oldroyd equation following a Stackelberg-Nash strategy. The point of adding secondary controls consists in the task of being a low cost control that ensures that the solution u of (8) is not far from ideal state Importantly, the concepts and techniques employed in this paper can be applied to various analogous scenarios, such as hierarchical controllability for linear and semilinear parabolic and hyperbolic equations, different types of non-cylindrical control domains, similar boundary control problems, among others. Indeed, concerning these themes, several prior studies are noteworthy. For example, in Límaco et al. (2009) the authors present the hierarchical approximate controllability for the linear heat equation in a non-cylindrical domain. Jesus (2015) demonstrated hierarchical approximate controllability for linearized micropolar fluids in moving domains, employing a Stackelberg-Nash strategy. In the case of an Oldroyd fluid system, the exact controllability of Galerkin’s approximations is proposed and analyzed in Marinho et al. (2014). In Araruna et al. (2015), the authors established a Stackelberg-Nash strategy with exact controllability for the leader control in semilinear parabolic equations, utilizing Carleman inequalities. For semilinear hyperbolic equations, a Stackelberg-Nash strategy with exact controllability for the leader control is proved in Araruna et al. (2018).
Extensions to Navier-Stokes equations
The controllability of Navier-Stokes equations have received significant attention in recent years, as evidenced by the extensive study documented in Coron et al. (2020) along with the latest advancements. However, to our knowledge, there exists a gap in the literature regarding null controllability for these equations. For further insights, see Araruna et al. (2015), p. 20, or more recent discussions in Araruna et al. (2024), p. 15. This unresolved issue presents an intriguing and pertinent avenue for future research.
Extension to nonlinear Oldroyd system
The theoretical analysis of nonlinear Oldroyd systems has been a focal point of research efforts in recent years, as evidenced by the works of Lions & Masmoudi (2000), Fernández-Cara et al. (2002), Galdi (2008), and Renardy (2009). Notably, Fernández-Cara et al. (2020), p. 4, emphasize the significance of investigating Oldroyd fluids governed by nonlinear partial differential equations. Consequently, it is interesting to explore how the findings of this paper might be applicable in the context of the nonlinear Oldroyd fluids system, for instance, in the context of the equations (5)– (7). Note that this system in question is more difficult to solve than the system (8). The main reason is the presence of the nonlinear term in (5). However, whether or not the results in this paper can be extended to this framework is at present an open question.
The case with a different definition for cost functionals (10)
In Guillén-González et al. (2013), the authors solve an approximate control problem for the Stokes equation using the Stackelberg-Nash strategy. In this article, the cost functionals for the followers controls are defined by:
where are positive constants, and are functions given inThus, a priori, the leader and the followers have different tasks, with the followers’s task being to prevent the state function from deviating from a given function.
Note that the situation considered in this article is different: here, all the controls have the same objective. However, we assume a situation where depending on the region, the control may need to have a different configuration, that is, if we have two regions, we will need two controls. Therefore, similar to the article by Guillén-González et al. (2013), we assume a hierarchy among the controls and employ with the Stackelberg optimization (cooperative) strategy, with a leader and followers. In the case of three or more regions, we will have one leader and followers (), and they will act without collaboration among themselves, hence we use the Nash strategy.
Moreover, if we follow the same procedures as in this article but with the functionals defined as in (61), we will have the followers controls characterized by the following optimality system:
Finally, we can solve the approximate control problem for the system (62) following the same ideas as in this article.Non null controllability for the system (8)
It is expectable that the system (8) (with a nonzero initial data for ) is not null controllable, in view of other previous results on the controllability of parabolic systems with memory; see Guerrero & Imanuvilov (2013) for more details. Thus, it would also be quite interesting to obtain a result asserting that null controllability for the system 8 does not hold in general, which we plan to present in a forthcoming paper.
On the other hand, exact controllability problems also can be considered in this context. In general, exact controllability does not hold. Another interesting issue is what happens as the viscosity coefficient goes to zero. It is known that, for , exact controllability holds at least under some geometric control conditions. For interested readers on this subject, we cite for instance Boldrini et al. (2012).
ACKNOWLEDGMENTS
The authors want to express their gratitude to the anonymous reviewers for their questions and commentaries; they were very helpful in improving this article. Isaías Pereira de Jesus was supported by CNPq/Brazil grants 307488/2019-5, 305394/2022-3 and PRPG (UFPI).
References
- ABERGEL F & TEMAM R. 1990. On some control problem in fluid mechanics. Theor Comput Fluid Dyn 1: 303-325.
- ARARUNA FD, DE MENEZES SD & ROJAS-MEDAR MA. 2014. On the approximate controllability of Stackelberg-Nash strategies for linearized micropolar fluids. Applied Math & Optimization 70: 373-393.
- ARARUNA FD, FERNÁNDEZ-CARA E & DA SILVA LC. 2018. Hierarchic control for the wave equation. Journal of Optimization Theory and Applications 178: 264-288.
- ARARUNA FD, FERNÁNDEZ-CARA E & DA SILVA LC. 2024. Bi-objective and hierarchical control for the Burgers equation. J Evol Equations 24: 30.
- ARARUNA FD, FERNÁNDEZ-CARA E & SANTOS MC. 2015. Stackelberg-Nash exact controllability for linear and semilinear parabolic equations. ESAIM Control Optim Calc Var 21: 835-856.
- ASTARITA G & MARRUCI G. 1976. Principles of non-Newtonian fluid mechanics. McGraw-Hill.
- AUBIN JP. 1984. L’analyse non linéaire et ses économiques. Paris: Masson.
- BETTS J. 2001. Practical methods for optimal control using nonlinear programming. Philadelphia: SIAM.
- BLIEGER L. 2007. Real-time PDE-constraints optimization. Philadelphia: SIAM.
- BOLDRINI JL, DOUBOVA A, FERNÁNDEZ-CARA E & GONZÁLEZ-BURGOS M. 2012. Some Controllability Results for Linear Viscoelastic Fluids. SIAM Journal on Control and Optimization 50: 900-924.
- BREZIS H. 2010. Functional analysis, Sobolev spaces and partial differential equations. Springer-Verlag.
- CORON JM. 1996. On the controllability of 2-D incompressible perfect fluids. J Math Pures Appl 9(75): 155-188.
- CORON JM, MARBACH F & SUEUR F. 2020. Small-time global exact controllability of the Navier-Stokes equation with Navier slip-with-friction boundary conditions. J Eur Math Soc 22 (5): 1625-1673.
- DÍAZ JI & LIONS J-L. 2005. On the approximate controllability of Stackelberg-Nash strategies. In: Díaz JI (Ed), Ocean Circulation and Pollution Control Mathematical and Numerical Investigations. p. 17-27. Berlin: Springer.
- DOUBOVA A & FERNÁNDEZ-CARA E. 2012. On the control of viscoelastic Jeffreys fluids. Systems & Control Letters 61: 573-579.
- EKELAND I & TEMAM R. 1974. Analyse convexe et problèmes variationnels. Paris: Dunod, Gauthier-Villars.
- FABRE C. 1996. Uniqueness results for Stokes equations and their consequences in linear and nonlinear control problems. ESAIM: COCV 1: 267-302.
- FERNÁNDEZ-CARA E & GUERRERO S. 2006. Null controlabillity of the Burgers system with distributed controls. Systems Controls Letters 56: 366-372.
- FERNÁNDEZ-CARA E, GUILLÉN-GONZÁLEZ F & ORTEGA RR. 2002. Mathematical modeling and analysis of viscoelastic fluids of the Oldroyd kind. Amsterdam: North-Holland, p. 543-566.
- FERNÁNDEZ-CARA E, GUERRERO S, YMANUVILOV OY & PUEL JP. 2004. Local exact controllability of the Navier Stokes system. J Math Pures Appl 83: 1501-1542.
- FERNÁNDEZ-CARA E, GUERRERO S, YMANUVILOV OY & PUEL JP. 2006. Some controllability results for the N-dimensional Navier-Stokes and Boussinesq system with N - 1 scalar controls. SIAM J Control Optim 45: 146-173.
- FERNÁNDEZ-CARA E, MACHADO JL & SOUSA DA. 2020. Non null controllability of Stokes equations with memory. ESAIM: COCV doi:10.1051/cocv/2019067.
- FURSIKOV AV. 2000. Optimal control of distributed systems, Theory and Applications. Transl. Math. Monogr. 187. Providence, RI: American Mathematical Society.
- FURSIKOV AV & IMANUVILOV OY. 1999. Exact controllability of the Navier-Stokes and Boussinesq equations. Russian Math Surveys 54 (3): 565-618.
- GALDI GP. 2008. Mathematical Problems in Classical and Non-Newtonian Fluid Mechanics. Oberwolfach Semin, Vol. 37. Basel: Birkhäuser. 121-273 p.
- GLASS O. 2000. Exact Boundary Controllability of 3-D Euler Equation. ESAIM: COCV 5: 1-44.
- GUERRERO S & IMANUVILOV OY. 2013. Remarks on Non Controllability of the Heat Equation with Memory. ESAIM: COCV 19: 288-300.
- GUILLÉN-GONZÁLEZ F, MARQUES-LOPES FP & ROJAS-MEDAR MA. 2013. On the Approximate Controllability of Stackelberg-Nash Strategies for Stokes Equations. Proc Amer Math Soc 141: 1759-1773.
- GUNSBURGER M. 2003. Perspectives in Flow Control and Optimization. Philadelphia: SIAM.
- IMANUVILOV OY. 2001. Remarks on Exact Controllability for the Navier-Stokes Equations. ESAIM: COCV 6: 39-72.
- JESUS IP. 2015. Remarks on Hierarchic Control for a Linearized Micropolar Fluids System in Moving Domains. Applied Math & Optimization 72: 493-521.
- JESUS IP & DE MENEZES SDB. 2015. On the Approximate Controllability of Stackelberg-Nash Strategies for Linearized Micropolar Fluids in Moving Domains. Computational and Applied Mathematics 34: 587-606.
- KELVIN W. 1875. On the Theory Viscoelastic Fluids. Math a Phys Pap 3: 27-84.
- LIMACO J, CLARK HR & MEDEIROS LA. 2009. Remarks on Hierarchic Control. J Math Anal Appl 359: 368-383.
- LIONS JL. 1994. Hierarchic Control. Mathematical Science, Proc Indian Academic Science 104: 295-304.
- LIONS JL & ZUAZUA E. 1998. Exact Boundary Controllability of Galerkin’s Approximations of Navier-Stokes Equations. Ann Scuola Norm Sup Pisa Cl Sci 4: 605-621.
- LIONS PL & MASMOUDI N. 2000. Global Solutions for Some Oldroyd Models of Non-Newtonian Flows. Chin Ann Math 21: 131-146.
- MARINHO AO, LOUREDO AT & MIRANDA MM. 2014. Exact Controllability of Galerkin’s Approximations for the Oldroyd Fluid System. International Journal of Modeling and Optimization 4: 126-132.
- MAXWELL JC. 1859. On the Dynamical Theory of Gases. Philos Magazine p. 129-145.
- MAXWELL JC. 1868. On the Dynamical Theory of Gases. Philos Trans Roy Soc London 157: 49-88.
- NASH J. 1951. Noncooperative Games. Ann Math 54: 286-295.
- OLDROYD JG. 1950. On the Formulation of Rheological Equations of State. Proc Roy Soc London Ser A 200: 523-541.
- OLDROYD JG. 1953. The Elastic and Viscous Properties of Emulsions and Suspensions. Proc Roy Soc London Ser A 218: 122-132.
- OLDROYD JG. 1959. Non-Newtonian Flow of Liquids and Solids. Rheology: Theory and Applications 1: 653-682.
- OLDROYD JG. 1964. Non-Linear Stress, Rate of Strain Relations at Finite Rates of Shear in So-Called Linear Elastico-Viscous Liquids. In: Second-Order Effects in Elasticity, Plasticity and Fluid Dynamics. p. 520-529. Jerusalem: Jerusalem Academic Press.
- OSKOLKOV AP. 1989. Initial Boundary Value Problems for the Equations of Motion of Kelvin-Voigt Fluids and Oldroyd Fluids. Proc of the Steklov Institute of Mathematics 179: 137-182.
- OSKOLKOV AP & AKHMATOV MM. 1974. Convergent Difference Schemes for Equations of Motion of Oldroyd Fluids. J Sov Math 47: 2926-2933.
- OSKOLKOV AP, KARAZEEVA NA & KOTSIOLIS AA. 1987. Dynamical System Generated by the Equations of Motion of an Oldroyd Fluid of Order L. Inst V A Steklova AN SSSR 164: 47-53.
- OSKOLKOV AP & KOTSIOLIS AA. 1986. Solvability of the Basic Initial Boundary Problem for the Equations of Motion of an Oldroyd Fluid on (0,∞) and the Behavior of its Solutions as t→∞. Inst V A Steklova AN SSSR 150: 48-52.
- PARETO V. 1896. Cours d’Économie Politique. Lausanne, Switzerland: Rouge.
- RENARDY M. 2009. Global Existence of Solutions for Shear Flow of Certain Viscoelastic Fluids. J Math Fluid Mech 11: 91-99.
- ROCKAFELLAR RT. 1967. Duality and Stability in Extremum Problems Involving Convex Functions. Pacif J Math 21: 167-187.
- ROCKAFELLAR RT. 1969. Convex Analysis. Princeton, N. J.: Princeton University Press.
- SERRIN J. 1959. Mathematical Principles of Classical Fluid Mechanics. In: Handbuch der Physik. Vol. 8. p. 125-263. Springer-Verlag.
- STAVRE R. 2002. The Control of the Pressure for a Micropolar Fluid. Z Angew Math Phys 53: 912-922. Dedicated to Eugen Soós.
- TEMAM R. 1979. Navier-Stokes Equations. 2. North-Holland.
- VOIGT W. 1889. Uber die Innere Reinbung der Feste Korper. Abh Konigl Ges Wiss Gottingen .
- VOIGT W. 1892. Uber Innere Feste Korper, Insbessondere der Metalle. Ann Phys 283: 671-693.
- VON STACKELBERG H. 1934. Marktform und Gleichgewicht. Berlin, Germany: Springer.
- WILKINSON WL. 1960. Non-Newtonian Fluids. Oxford: Pergamon Press.
APPENDIX A
On existence and uniqueness of solutions0 This appendix aims to prove the existence and uniqueness of solutions to the coupled system (22). To simplify the notation, we will make the change of variable into (22) which yields the following equivalent system:
Then, the following result holds:Theorem 3. For each assume that, , and that is sufficiently small. Let be given by where and are positive constants. Then, system\((A.1)\)admits a unique solution
such thatProof: We proceed by using the Faedo-Galerkin method for a special basis of . We refer to the book of Temam (1979) for a complete description of this method. Let be the subspace generated by the first vectors The approximate problem consists in finding functions and where and are real functions defined in such that:
Multiplying \((A.2)\) 1 by and summing for , we find that: Integrating \((A.6)\) from to and applying Fubini’s formula and Gronwall’s inequality, we get that: Analogously, multiplying \((A.2)\) 2 by and summing from , we obtain: Thus, combining (𝐴.4), and (𝐴.5) it follows that: Integrating (A.3) from to , and combining again Fubini’s formula and Gronwall’s inequality, we have that: In particular,From the definition of (see \((A.2)\)), we see that:
where is the constant of immersion of the intoFrom (𝐴.8) and (𝐴.9), we conclude that:
Notice that we can assume sufficiently small so that:
Hence, from ((A.10)), we obtain that:
Now, combining (𝐴.9) and (𝐴.11), we deduce that:
From (𝐴.3) − (𝐴.7), it follows that:
for In particular, from (A.13)4 we conclude that:Moreover, from (𝐴.13)1 − (𝐴.13)3, and (𝐴.14), we can extract subsequences of and such that:
forFrom (𝐴.15)1 and (𝐴.15)2, we find that:
This means that:
Moreover,
in the sense of in . In particular, we have that: for all in . Hence, as in Temam (1979), there exists such that: and Therefore, from (𝐴.19) and (𝐴.20), we conclude that: and Since , and , then as in Temam (1979), we see that:Finally, we deduce (A.15) that:
for all The uniqueness is obtained of standard form.Remark 0.8. The proof of the existence, uniqueness, and regularity of solutions for the system (8) follows similarly to the demonstration of the previous theorem, with some suitable adaptations. Due to that, we will omit this proof.
Publication Dates
-
Publication in this collection
20 Sept 2024 -
Date of issue
2024
History
-
Received
21 Apr 2024 -
Accepted
07 June 2024