International Journal of Differential Equations
Volume 2016 (2016), Article ID 9428128, 6 pages
http://dx.doi.org/10.1155/2016/9428128

Research Article

Existence of Optimal Control for a Nonlinear-Viscous Fluid Model

Evgenii S. Baranovskii and Mikhail A. Artemov

Department of Applied Mathematics, Informatics and Mechanics, Voronezh State University, Universitetskaya Ploshchad 1, Voronezh 394006, Russia

Received 5 April 2016; Accepted 5 June 2016

Academic Editor: Elena Kaikina

Copyright © 2016 Evgenii S. Baranovskii and Mikhail A. Artemov. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We consider the optimal control problem for a mathematical model describing steady flows of a nonlinear-viscous incompressible fluid in a bounded three-dimensional (or a two-dimensional) domain with impermeable solid walls. The control parameter is the surface force at a given part of the flow domain boundary. For a given bounded set of admissible controls, we construct generalized (weak) solutions that minimize a given cost functional.

1. Introduction

The control and optimization problems in hydrodynamics have been the focus of attention of the control theory specialists for a long time. Flow boundary control problems have attracted increasing interest in recent years (see, e.g., [1–7]). Such problems are of interest from a theoretical perspective and are beneficial to applications as boundary control is easy to implement in practice.

In this paper, we study the optimal boundary control problem for a mathematical model describing steady flows of a nonlinear-viscous incompressible fluid in a bounded domain of space , , with impermeable solid walls. A distinguishing feature of the problem under consideration is that the surface force at the flow domain boundary is used as a control parameter instead of the nonhomogeneous Dirichlet boundary condition for the velocity field. Such an approach makes it possible to consider the case of flow control in a domain with impermeable solid walls without using external body forces as control parameters.

It should be mentioned at this point that a lot of studies have been conducted towards mathematical models of nonlinear-viscous fluids (see monograph [8] and [9–12]). Nevertheless, there are very few results on the existence and properties of solutions of control problems for nonlinear-viscous fluid flows. To the best of our knowledge, some results have only been obtained for the two-dimensional case (see [13, 14]).

Also, we would mention that there are many mathematical results concerning optimal control problems for the classical Navier-Stokes equations (see [15–17] and the references therein).

The aim of this paper is to prove the solvability of the optimal control problem, which is discussed above. More precisely, for a given bounded set of admissible boundary controls, we will construct generalized (weak) solutions that minimize a given lower weakly semicontinuous cost functional.

2. Problem Formulation and Main Result

Let be a bounded domain in ( or 3) with boundary . Consider the following optimal boundary control problem:

where is the velocity field, is the pressure function, is the extra-stress tensor, is the body force, the symbol denotes the gradient with respect to the spatial variables , the divergence is the vector with coordinates

is the rate of deformation tensor,

is the second invariant of ,

is a given function, is the unit vector of the outer normal to , is the control, is the scalar product of the vectors and in space , the symbol denotes the tangential component of a vector, that is,

is a part of from which the control is realized, is the set of admissible controls, and is a given cost functional.

From here on, the following notations will be used. denotes the space of symmetric -matrices with the norm

We use the standard notations and for the Lebesgue and Sobolev spaces of vector functions defined on with values in a finite-dimensional space (for details, see [18]). The scalar product in the space is denoted by .

By definition, put

Moreover, we introduce the space

with the following norm:

In the right-hand side of (15), the restriction of a vector function to is defined by the formula

where is the trace operator.

It follows from Korn’s inequality (see [8]) that the norm is equivalent to the norm induced from . Furthermore, we have the following estimates:

where and are positive constants.

Suppose the following:

(i)the function is measurable and there exist constants and such that

(ii)for any , we have

(iii)the set is bounded and sequentially weakly closed in ,(iv)the functional is lower weakly semicontinuous; that is, for any sequence such that weakly in , weakly in , and weakly in , we have

Example 1. Let us consider the following cost functionals:

where is a favorable velocity field; is an unfavorable velocity field, that is, a velocity field whose appearance is undesirable; is a favorable extra-stress tensor; is a favorable surface force at ; and , , and are positive cost parameters. It is obvious that condition (iv) holds for the functionals , .

Remark 2. We do not assume that the set of admissible controls is convex. As is known, the convexity condition is widely used in studying of optimal control problems (see, e.g., [17]). However, this condition does not always hold in applications. Obviously, condition (iii) is weaker than the convexity condition. For example, (iii) is satisfied if the set can be represented as the union of finite number of convex closed sets in the space .

Now we introduce the concept of admissible triplets of (1)–(8) by analogy with the definition of generalized (weak) solutions to hydrodynamic models with slip boundary conditions (see, e.g., [8, 19, 20]).

Let .

Definition 3. One says that a triplet is an admissible triplet of control system (1)–(8) if the equality

holds for any and if conditions (3) and (7) hold.

Remark 4. Equation (23) appears for the following reasons. Let us assume that is a classical solution of (1)–(7). We take the -scalar product of (1) with . By integrating by parts, we obtain

Combining this with (3) and (6), we get (23).
On the other hand, it is not difficult to prove that if an admissible triplet is sufficiently smooth, then there exists a function such that is a classical solution to (1)–(7).

Let be the set of admissible triplets to problem (1)–(8).

Definition 5. A triplet is called a solution of optimization problem (1)–(8) if the equality

holds.

Our main result provides existence of solutions to (1)–(8).

Theorem 6. If conditions (i), (ii), (iii), and (iv) hold, then optimization problem (1)–(8) has at least one solution.

3. Proof of Theorem 6

The proof of Theorem 6 is based on the Galerkin method and monotonicity methods [21], as well as the following lemma.

Lemma 7. Let be a closed ball. Suppose the continuous mapping satisfies the following conditions:

(a) for any ,(b) for any , where is an isomorphism;

then for any the equation has at least one solution .

Lemma 7 can be proved by methods of topological degree theory (see, e.g., [22]).

Proof of Theorem 6. First we show that the set of admissible triplets is nonempty. Let us fix an element . Suppose is an orthonormal basis of the space .
For an arbitrary fixed number , we consider the following auxiliary problem.
Find a vector such that

where is a parameter, .
First we prove some a priori estimates of solutions to problem (26) and (27). Let be a solution of system (26) and (27) with a fixed parameter . We multiply (26) by and add the corresponding equalities for . Taking into account the equality

we obtain

Using (18) and (19), from (29) we obtain the estimate

This yields that

Applying Lemma 7 to system (26) and (27), we see that problem (26) and (27) is solvable for any and .
Let be a sequence of vector functions that satisfy (26) and (27) with . It is clear that

Note that estimate (31) is independent of . This shows the existence of a vector function and a subsequence such that weakly in . For the sake of simplicity, we assume that

Moreover, by the Sobolev embedding theorems, we have

Using (34), we get

Therefore we can pass to the limit in equality (32) and obtain

for any . Since is a basis of the space , it follows that equality (36) remains valid if we replace by an arbitrary vector function :

Now we multiply (32) by and add the corresponding equalities for . The result is

Hence we find in the limit

Taking into account (20), (33), (37), and (39), we obtain the estimate

for any number . Multiplying the obtained inequality by , we get

for any and .
Using Krasnoselskii’s theorem [22] on continuity of Nemytskii operators, we can pass to the limit in (41):

Since is a basis of the space , it follows that inequality (42) remains valid if we replace by an arbitrary vector function . Furthermore, since is an arbitrary vector function from the space , we have

This implies that the triplet is an admissible triplet of problem (1)–(7) and thus .
We will show that is bounded in the space . Suppose is an arbitrary triplet from and . It follows from (23) that

This yields that

Moreover, taking into account (19), we obtain

Recall that the set is bounded in . Therefore from estimates (45) and (46) it follows that the set is bounded in the space .
Now we will show that the set is sequentially weakly closed. Take a sequence such that weakly in , weakly in , and weakly in as . Let us check that .
By definition, we have

for any . Arguing as above, we conclude that

From condition (iii), we get . Thus, it remains to show that

Since weakly in , we see that

Note also that

for any .
Using the equality , we rewrite (47) as follows:

Passing to the limit in this equality, we obtain

Substituting for in (53), we get

Further, substituting for in (47), we find

Combining this with (54), we obtain

By [21, Chapter III, Lemma ] and (50), (51), and (56), we get (49).
Applying the generalized Weierstrass theorem (see [23]), we conclude that there exists an element such that

This proves Theorem 6.

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

The work of the first author was partially supported by Grant 16-31-00182 of the Russian Foundation of Basic Research.

References

M. Hinze and K. Kunisch, “Second order methods for boundary control of the instationary Navier-Stokes system,” Zeitschrift für Angewandte Mathematik und Mechanik, vol. 84, no. 3, pp. 171–187, 2004.

A. V. Fursikov, “Flow of a viscous incompressible fluid around a body: boundary-value problems and minimization of the work of a fluid,” Journal of Mathematical Sciences, vol. 180, no. 6, pp. 763–816, 2012.

A. Doubova and E. Fernández-Cara, “On the control of viscoelastic Jeffreys fluids,” Systems and Control Letters, vol. 61, no. 4, pp. 573–579, 2012.

E. S. Baranovskii, “Solvability of the stationary optimal control problem for motion equations of second grade fluids,” Siberian Electronic Mathematical Reports, vol. 9, no. 1, pp. 554–560, 2012.

H. Liu, “Boundary optimal control of time-periodic Stokes-Oseen flows,” Journal of Optimization Theory and Applications, vol. 154, no. 3, pp. 1015–1035, 2012.

E. S. Baranovskiǐ, “An optimal boundary control problem for the motion equations of polymer solutions,” Siberian Advances in Mathematics, vol. 24, no. 3, pp. 159–168, 2014.

M. A. Artemov, “Optimal boundary control for the incompressible viscoelastic fluid system,” ARPN Journal of Engineering and Applied Sciences, vol. 11, no. 5, pp. 2923–2927, 2016.

V. G. Litvinov, Motion of a Nonlinear-Viscous Fluid, Nauka, Moscow, Russia, 1982.

P. E. Sobolevskii, “The existence of solutions of a mathematical model of a nonlinear viscous fluid,” Doklady Akademii Nauk SSSR, vol. 285, no. 1, pp. 44–48, 1985.

M. Yu. Kuz'min, “A mathematical model of the motion of a nonlinear viscous fluid with the condition of slip on the boundary,” Russian Mathematics, vol. 51, no. 5, pp. 51–60, 2007.

V. V. Zhikov, “New approach to the solvability of generalized Navier-Stokes equations,” Functional Analysis and Its Applications, vol. 43, no. 3, pp. 190–207, 2009.

W. G. Litvinov, “Model for laminar and turbulent flows of viscous and nonlinear viscous non-Newtonian fluids,” Journal of Mathematical Physics, vol. 52, no. 5, article 053102, 2011.

T. Slawig, “Distributed control for a class of non-Newtonian fluids,” Journal of Differential Equations, vol. 219, no. 1, pp. 116–143, 2005.

D. Wachsmuth and T. Roubíček, “Optimal control of planar flow of incompressible non-Newtonian fluids,” Zeitschrift für Analysis und ihre Anwendung, vol. 29, no. 3, pp. 351–376, 2010.

J. L. Lions, Control of Distributed Singular Systems, Gauthier-Villars, Paris, France, 1985.

F. Abergel and R. Temam, “On some control problems in fluid mechanics,” Theoretical and Computational Fluid Dynamics, vol. 1, no. 6, pp. 303–325, 1990.

A. V. Fursikov, Optimal Control of Distributed Systems, AMS, Providence, RI, USA, 2000.

R. A. Adams and J. J. F. Fournier, Sobolev Spaces, vol. 40 of Pure and Applied Mathematics, Academic Press, Amsterdam, The Netherlands, 2003.

E. S. Baranovskii, “On steady motion of viscoelastic fluid of Oldroyd type,” Sbornik: Mathematics, vol. 205, no. 6, pp. 763–776, 2014.

M. A. Artemov and E. S. Baranovskii, “Mixed boundary-value problems for motion equations of a viscoelastic medium,” Electronic Journal of Differential Equations, vol. 2015, no. 252, pp. 1–9, 2015.

H. Gaevskii, K. Greger, and K. Zaharias, Nonlinear Operator Equations and Differential Operator Equations, Mir, Moscow, Russia, 1978.

I. V. Skrypnik, Methods for Analysis of Nonlinear Elliptic Boundary Value Problems, vol. 139 of Translations of Mathematical Monographs, American Mathematical Society, 1994.

E. Zeidler, Nonlinear Functional Analysis and Its Applications, III: Variational Methods and Optimization, Springer, New York, NY, USA, 1985.