Optimal control of the linearized Navier-Stokes system in a netlike domain Текст научной статьи по специальности «Математика»

UDC 517.977.56 Вестник СПбГУ. Прикладная математика... 2017. Т. 13. Вып. 4

V. V. Provotorov1, E. N. Provotorova2

OPTIMAL CONTROL OF THE LINEARIZED NAVIER—STOKES SYSTEM IN A NETLIKE DOMAIN

1 Voronezh State University, 1, Universitetskaya square, Voronezh, 394006, Russian Federation

2 Voronezh State Technical University, 14, Moskovskii pr., Voronezh, 394026, Russian Federation

This work is a natural extension of research into optimal control problems of evolution equations with distributed parameters on a geometrical graph (network) of one of the authors in the direction of increasing the dimension of a spatial variable and the functions describing the state of the study of the Navier—Stokes equations. At the same time is examined a simple case of the absence of convective effect (laminar flow of an incompressible viscous fluid) — linearized system of Navier—Stokes equations in a net-like domain. It proves unique solvability of the initial boundary value problem in the weak formulation which is based on the Faedo— Galerkin method using a special basis (the set of generalized eigenfunctions of the special spectral problem) and a priori estimates of norms solutions such as power inequalities. The proof is constructive: to construct a sequence of approximate solutions that converges weakly to the exact solution of the problem. Problems are analyzed with distributed and a start control with a final observation, widespread in applications, that provides the necessary and sufficient conditions for the existence of optimal controls in terms of the conjugate states of the respective systems. Sufficient attention is paid to the synthesis of the optimal control action, and analogues of established finite-dimensional case for Kalman results have been obtained. Although, the use of this method is demonstrated by examples of optimal control theory, this method has a highly susceptible to generalization and applicable to a wide class of linear problems. Refs 15.

Keywords: linearized Navier—Stokes system, net like domain, weak solutions, optimal control, control synthesis.

В. В. Провоторов1, Е. Н. Провоторова2 ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ

ЛИНЕАРИЗОВАННОЙ СИСТЕМОЙ НАВЬЕ—СТОКСА В СЕТЕПОДОБНОЙ ОБЛАСТИ

1 Воронежский государственный университет, Российская Федерация, 394006, Воронеж, Университетская площадь, 1

2 Воронежский государственный технический университет, Российская Федерация, 394026, Воронеж, Московский пр., 14

Рассматривается начально-краевая задача для линеаризованной системы Навье—Стокса в сетеподобной области, в основу анализа которой положены результаты О. А. Ладыженской, Н. Н. Уральцевой, Ж.-Л. Лионса и А. В. Фурсикова для уравнений с частными производными в классических областях. Методом Фаэдо—Галеркина, используя специальный базис (множество обобщенных собственных функций специальной спектральной задачи)

Provotorov Vyacheslav Vasil'evich — doctor of physics and mathematics sciences, professor; wwprov@mail.ru

Provotorova Elena Nikolaevna — PhD of physical and mathematical sciences, associate professor; enprov@mail.ru

Провоторов Вячеслав Васильевич — доктор физико-математических наук, профессор; wwprov@mail.ru

Провоторова Елена Николаевна — кандидат физико-математических наук, доцент; enprov@mail.ru

© Санкт-Петербургский государственный университет, 2017

и априорные оценки нормы решения типа энергетических неравенств, показана однозначная разрешимость рассматриваемой начально-краевой задачи в слабой постановке. При этом строится последовательность приближенных решений, слабо сходящаяся к точному решению задачи. Приведен анализ распространенных в приложениях задач распределенного и стартового управлений с финальным наблюдением, получены необходимые и достаточные условия существования оптимальных управлений в терминах сопряженных состояний соответствующих систем. Решена задача синтеза оптимального управления для случая отсутствия ограничений на управляющие воздействия и получены аналоги известных для конечномерного случая результатов Калмана. Используемый в работе подход является естественным при анализе широкого класса задач оптимального управления, которые описываются с помощью корректных по Адамару начально-краевых задач; представленные результаты являются основополагающими при исследовании задач оптимального управления динамикой ламинарных течений многофазных сред, а также при изучении поведения плоских и сферических волн с сильным разрывом на фронте, который двигается с заданной скоростью. Библиогр. 15 назв.

Ключевые слова: линеаризованная система Навье—Стокса, сетеподобная область, слабые решения, оптимальное управление, синтез управления.

1. Introduction. In the applied problems of hydrodynamics, the system of two equations

n

%.-vAY+'£YiM: + Vp = f, (1)

i=i

divy = o(g|£=o) (2)

in a pair of functions {Y(x,t),p(x,t)} (the Navier—Stokes system in the evolutionary case [1, p. 77], where Y = {Y1, Y2,Yn} is a vector function, p denotes a scalar function, x e IRn) describes the dynamics of an incompressible viscous medium with the coefficient of viscosity v, the velocity vector Y of hydraulic flow and the convective component defined

n

by the term J2 in expression (1). In many cases (first of all, in laminar processes),

i=i x

the convective component is absent, equation (1) becomes linear and system (1), (2) is called the linearized Navier—Stokes system.

The papers [2-5] studied on systematic basis different optimal control problems for evolutionary equations with distributed parameters on a geometrical graph (net). The present work is a natural continuation of the cited research towards increasing the dimension of the spatial variable x (x e IRn, n ^ 2) and also the dimension of the functions that describe the system state. Note that the simpler case without the convective effect (i. e., the laminar flow of an incompressible viscous medium) is considered below. We touch a rather wide range of optimal control issues for distributed parameter systems on netlike domains, namely, the unique solvability of the corresponding initial boundary value problem and the analysis of optimal control problems that are commonly encountered in applications (distributed and starting control). Sufficient attention is paid to the design of optimal control actions.

2. Necessary notations, concepts and definitions. Consider an open bounded domain Э of the Euclidean space IRn that has a netlike structure [3, 4], i. e., Э = (U ) U(U Si), where Sl is a surface that separates adjacent domains , дЭ indicates the

k i

boundary of Э (initially, the smoothness of дЭ is not important). The locus of conjugation of the adjacent domains Эk will be called the node locus and further denoted by £; it represents the union of surfaces Sl (£) whose number coincides with the number of conjugated domains, that is, £ = |J Sl(^). Throughout the paper, we use measurable

functions and the Lebesgue integral. The latter over the domain 9 is comprehended as the sum of the integrals over the domains 9k, i. e., / fdx = ^ f fdx.

Q k Qk

For a vector function Y(x,t) = (yi(x,t),y2(x,t), ...,yn(x,t)} (x = (xi,x2,..., xn}) defined in a domain 9T = 9 x (0,T) (T < <x>), consider the linearized Navier—Stokes system

%-vA Y + Vp = /, (3)

div Y = 0, (4)

with the relationships

Y ktt) = Y W®, (5)

=0 (6)

holding for each node locus £ (which are known in the literature as the conjugation conditions, see [3-5]); here S-(£) and S+(£) mean the unilateral surfaces for Si(£) defined by the direction of the normals n- and n+ to the surfaces S-(£) and S+(£), respectively. Supplementing (3)-(6) with the initial conditions

Y(x, 0) = Yo(x), x e 9, (7)

at time t = 0 and the boundary conditions

Y |a9 = 0 (8)

on the boundary of the continuous medium volume, we obtain the initial boundary value problem (3)-(8) to find the functions Y(x,t) and p(x,t) (p(x,t) is a scalar function) in the closed domain of 9T (9T = (9 U 89) x [0, T]).

In the applied problems of hydrodynamics, the netlike domain 9 is actually a hydrosystem caused by a pressure p (with a pressure gradient Vp = gradp) that distributes the flows of a fluid (a multiphase medium); the function Y(x, t) describes the velocity vector of the hydraulic flow in the domain 9T; relationships (3), (4) reflect the dynamics of an incompressible fluid with the coefficient of viscosity v > 0 in the domain |J 9k x (0,T);

k

the balance equalities (5), (6) define the fluid flow conditions in the node loci of the hydrosystem 9; finally, f (x,t) denotes the density of external forces. The transfer process of the multistage medium is isothermal.

Let us define a weak solution of the initial boundary value problem (3)-(8). To this end, introduce necessary spaces and present preliminary considerations.

Designate by L2(9)n the space of measurable functions (classes) p, = (pi,p2, ...,pn} that are square summable over the domain 9. For p, p e L2(9)n, the scalar product is defined by

n

(p,p) =Y. I Pi(x)Pi (x)dx, (9)

i=i Q

where ||p|| = (p,p)i/2. Assume that D(9)n forms the space of functions that are infinitely differentiable in the domain 9 and have compact supports in 9. Let D(9)n = (^ : ^ e D(9)n, div ^ = 0} and denote by D'(9)n the conjugate space for D(9)n (here and in the sequel, the symbol ' indicates conjugate spaces). Define the space H(9) as the closure of D(9)n in the norm L2(9)n with the scalar product (9), |p|w(Q) = (p,p)1/2 and H(9) = H(9)'.

Consider a space H1(9) consisting of the elements /x G ¿2(9)" that have the generalized derivative G ¿2(9)" (J^ G ¿2(9), i = l,n). The space 7^(9) is equipped

with the norm ||i«||'H1(9) = (IImII|2(q) + II ff II|2(q))1^2 and represents a Hilbert space with the scalar product (m,/9)«!^) = (m,/9) + (ff, |f)-

Next, define a space ^o(^) as the closure in the norm Hq(9) for the set of elements M e T>(9)n satisfying the conjugation conditions E^|%)lsr(5) + E^ls+(?) =

In other words, Vq (9) is the subspace of functions from H1(9) that "satisfy the conjugation conditions" in all node loci £ of the domain 9 and "vanish" on d9. Note that the space Vq (9) can be equivalently defined as the closure in the norm H1(9) for the set of elements H e D0(9)n c D(9)n (in contrast to the elements of the set D(9)n, the ones of D0(9)n satisfy the stated conjugation conditions). Consider the bilinear form

p(u,v) = E III"i^dz, (10)

i,j=1 9

in functions u, v, u such that the integrals in the above representation are convergent. Lemma. The bilinear form (10) is continuous on Vq(9) x Vq(9). Proof. Applying the Cauchy—Bunyakowsky—Schwartz inequality to the functions l^2- and l^2- in the right-hand side of form (10) yields

l/fefr^l < < ll^llv0i(9)ll^llv0i(9). (11)

9 Y 9 Y 9

And the statement of this lemma follows from inequality (11).

Introduce the spaces of functions u(x,t) of the variables x,t e 9T and consider u as a function of t taking values in the space of functions of x. Particularly, if V represents a Hilbert space, then denote by L2(0,T; V) the space of functions (classes) u : (0,T) ^ V that are measurable, take values from V and

(t \1/2

\\u\\l2(0,T ;V) = ( f \\u(t)fv dtj < <x.

Note that the equality L2(9t)n = L2(0,T; L2(9)n) holds obviously.

Next, introduce the following spaces: Wq'0(9T) as the space of functions u(x,t) e L2(9T)n that have the generalized first derivative with respect to x belonging to L2(9T)n, with the norm in Wq'0(9t) defined by

( \ 1/2

IM|wi,O(9t) = (JM|£2(9t)„ + II|^IIL2(9T)»J ;

Wq(9T) as the space of functions from L2(9T)n that have the generalized first derivatives also belonging to L2(9T)n, with the norm defined by

ink™ = (IMIL(9t)~+lifting+mi2i^)1/2 ■

Using the properties of the traces of elements from Wq(9T) on each section of 9T by the plane t = t0 (t0 e [0, T]) as elements of L2(9)n that are continuous in t in the norm L2(9)n (see [6, p. 70]), define Q0(9T) as the set of functions u(x,t) e Wq(9T) belonging to the class Vq(9) for fixed t e [0,T]. Denote by W0(9T) the closure of the set Q0(9T) in the norm Wq(9t).

Next, let Q°(9f) be the set of all functions u(x,t) e W 1'°(9f) that

a) have the finite norm

IM|2,9T = rc^JK-.t)^^ + ||§||L2(9T)» 5 (12)

b) have the trace defined on the sections of the domain 9T by the plane t = t0 (t0 e [0,T]) as a function of the class ^(9), i. e., for each element u e Q°(9T) and fixed t e [0,T] there exists a sequence {un} of functions un(x,t) e Vq(9) converging to this trace in the norm H1(9);

c) are continuous in t in the norm H1(9) on [0,T], i. e., for any t e [0,T], \\u(-,t + At) — u(-,t)\\%i(Q) ^ 0 as At ^ 0 uniformly on the interval [0,T].

Designate by V0'°(9T) the closure of the set Q°(9T) in norm (12); in addition, W0' (9T) is the closure of the set Q°(9T) in the norm W 1,0(9T) whose elements possess property (b) only. Clearly, V°'°(9t) C Wl'0(9f) C W 1'°(9f). The space V°'0(9t) is used below to prove the solvability of problem (3)-(8), whereas the spaces Wl'°(9T), W 1,0(9T), and W°(9T) play auxiliary roles.

Remark 1. If Y e V0'°(9T), then Y = 0 on d9, i. e., relationships (5), (6), and (8) should be treated as the conditions of belonging of Y to the space V°'°(9T). Equality (7) is considered almost everywhere on 9.

Remark 2. The statement of Lemma remains in force for the functions that are defined in the domain 9T = 9 x (0,t) and have traces for any t e (0,t), where t takes any fixed value within the interval [0,T]. The proof of this result is exactly the same.

Remark 2 naturally leads to the following definition of the solution of problem (3)-(8), where the initial data (i. e., the functions f and Y°) satisfy the conditions

f (x,t) e L2A(9t), Y°(x) e H(9). (13)

Here L2i(9t) is a space whose elements belong to L1(9T) and have the finite norm \\f\L2,iOr) = f(f f 2dx)1/2dt, L2(9t) C L2A(9t).

0 9

Definition. A weak solution of the initial boundary value problem (3)-(8) is a pair {Y,p} as follows. The function Y(x,t) e V°'°(9T) satisfies the integral identity

(Y(x, t), r](x, t))- J Y(x, t) ^§^dxdT + i/J p(Y, r])dr =

T ° (14)

= (Y°(x),n(x, 0))+ j f (x,t)n(x,T)dxdT

for any t e [0,T] and any n(x,t) e W° (9T), while the function p(x,t) belongs to the class D'(9T)n. Here D'(9T)n is the conjugate space for the space D(9T)n, the elements of D(9T)n are infinitely differentiable in 9T functions with a compact support from 9T (see the analogous spaces D(9)n and D'(9)n).

Remark 3. Despite the apparent rigor, the above definition of a solution of problem (3)-(8) (i. e., a pair {Y,p}) has the explicit ambiguity caused by the variational statement (14) of this problem "eliminating" the function p(x,t). Notably, there is no information concerning the function p(x,t) except for relationship (14), and hence it suffices to find an appropriate function p(x,t) within the class, i. e., p(x,t) e D'(9T)n. In terms of applications, this is an acceptable condition that guarantees the nonzero fluid dynamics in the domain 9T (as a matter of fact, in many applications p(x, t) is an a priori

given function). According to the aforesaid, in the sequel we consider the function Y(x,t) as a "solution" of problem (3)-(8); the existence of the function p(x, t) and its belonging to the class D'(9T)n directly follow from the existence of Y(x,t) within the class Vq (9T).

The forthcoming sections are dedicated to the unique weak solvability of the initial boundary value problem (3)-(8) and the optimal control problem of system (3)-(6). Some considerations are similar to the ones presented in [1, p. 77] and [3-5].

3. Unique weak solvability of problem (3)—(8). The idea to prove the existence of a unique weak solution of problem (3)-(8) remains the same as in [3-5] for similar distributed parameter problems on a geometrical graph (network), but there is an essential difference that forms the main obstacle. In particular, the domain of variation of the spatial variable in problem (3)-(8) is the bounded domain 9 of the Euclidean space Rn, i. e., the spatial variable and the function Y(x,t) are both vectors. This feature causes additional technical difficulties, mostly affecting the structure and properties of the spaces that are selected to describe the weak solutions of problem (3)-(8).

Prior to proving the existence of a weak solution of the initial boundary value problem (3)-(8), in the domain 9 consider the spectral problem

-vAU = XU, U\d9 = 0,

by analogy to its counterpart on a graph [7]. This problem is to find the set of numbers X each associated with at least one nontrivial solution U(x) e Vq (9) satisfying the identity

v ((U,V))= X(U,n)

for any function n(x) e Vq(9); here ((•, •)) denotes the scalar product of the form

n i=i

This means that U(x) is a generalized eigenfunction from the class Vq(9) and X is the corresponding eigenvalue. Then the following properties of the eigenvalues and generalized eigenfunctions still take place, by analogy with the ones presented in the paper [2].

1. The eigenvalues are real and have finite multiplicities, and they can be indexed in the ascending order of their magnitudes taking into account multiplicities, i. e., {Xi}i^1; the generalized eigenfunctions are indexed accordingly, {Ui(x)}i-^1.

2. The system of the generalized eigenfunctions {Ui(x)}i-^1 forms an orthogonal basis in the spaces Vq(9) and L2(9)n.

Remark 4. These properties remain in force for the spectral problem, where the boundary condition U |d9 = 0 is replaced by the more general one of the form

(each domain <99; n <99 has a specific constant a, and ^ designates the derivative along the inner normal inside the domain 9). In this case, the generalized eigenfunction belongs to the space Vq(9) (the definitions of the spaces Vq(9) and Vq(9) differ in the boundary conditions, V|d9 = 0 and the above-mentioned general boundary condition, used in the description of the set Q) and also satisfies the identity

v((U,V))+ a(U,V)d9 = X(U,V)

for any function n(x) e Vq(9). Here (■, -)d9 denotes the scalar product (9) on d9 and X is an eigenvalue.

Theorem 1. There exists at least one weak solution of the initial boundary value problem (3)-(8) for arbitrary finite T > 0.

Proof. Use the system of the eigenfunctions {Ui(x)}i-^1 as a basis to represent the approximate solution Ym(x,t) in the form

m

Ym(x,t) = J2 9im(t)Ui(x) i=1

(the scalar functions gim(t) are absolutely continuous on [0,T]) that satisfies the system

(^,Ui) + up(Ym,Ui) = (f,Ui), i=l,m, t G [0, T], (15)

Ym(x, 0)= Y°m(x), (16)

m

where Y°m(x) = Y. gi°mUi(x) (g°m = gm(0)), Y°m(x) ^ Y°(x) in the norm H(9).

i=i

System (15), (16) is a system of differential equations in the functions gim(t), which allows to find Ym for any t e [0,T]. Let us demonstrate this by obtaining the a priori estimates of the norms of Ym in Vg (9T).

Multiplication of (15) by <?jm(i) and summation over i = l,m yield

lirJlLo)- + MYm,Ym) = (f,Ym). (17)

In expression (17), the left-hand side is ^Jjll^lH^cj)™ + v\\(Ym)x\\2L2^n and the right-hand side obeys the estimate (f,Ym) < \\f \\l2(9)n\\Ym\\l2(9)n. In combination with (17), it follows that

im\\Ym\\2L2^-)n + i/||(^m)a;|||2(ci)n < || /1| L2(9°)™ II Ym || l2 (9)" •

And integration over t between 0 and t gives the inequality

t

2 \\ym || l2(q)n + v i ii l2(q t)n<^t ^

0

<^rm(-,0)|||2(9)„ + ||/|||2ji(9t) maxj|ym(,r)||i2(^ (18)

for arbitrary t e [0, T].

Introduce the notation z(t) = max \\Ym(-,T)\i2^) and multiply the both sides of

T £[°,t]

inequality (18) by 2 to get

z'2(t)+2v\\(Y„i)x\\l2(9t) < \Ym(; 0)\L2(9)» z(t) + 2\\f \\2L2A9t)z(t) as long as \Ym(-, 0)\\L2(Q)„ < z(t). Then

z2(t) < J(t),

|| (Y-n)x II ^ 2

J(t),

with J(t) = \\Ym(-,0)\l2(a)^z(t) + 2\\f \\l21(Qt)nz(t). The last two inequalities lead to the estimate

\\Ymh,*t = Z(t) + ||(ym)a|U2Ot)» < (1 + ^)jV2(t) <

^ + 7b) + 2||/IU2,l(cit))1/2 \\Ym\\%l

or, for any t e [0, T],

\\Ym||< (1 + (\\Ym(; 0)||L2(9)„ +2||/||L2>l(9t)) . (19)

Taking into consideration formula (19), the expansion Y0m(x) = E 9°mUi(x), as the

i=i

convergence Yom(x) ^ Yo(x) in the norm H(9), we have \\Ym(-, 0)\\l2(9)™ < c\\Yo\\l2(9)" (where c > 0 is a constant independent of m) and, using (19), the estimate

\\Ymh,st < (1 + (c||yo|U20)» + 211/IIl^o,)) < (2(])

< C* (\Yo\l2(9)^ +2\\f \\L2,i(9t)) , ( )

where C* > 0 is a constant independent of m. The resulting estimate (20) plays a dual role:

1) for any index m, the norms of the approximate solutions Ym(x,t) and their generalized derivatives dYr^'t'> in the space H(9) are bounded by a constant C that

is independent of to, i. e., H^mlU^)" < C, II ^^'t} ||l2(q)" < C\

2) for any index m, the norms of the approximate solutions Ym(x, t) are estimated by the norms of the initial data Y0(x) and f (x, t) of the initial boundary value problem (3)-(8).

With this in mind, employ the following well-known result for a sequence {Ym}m>1 with the collectively bounded norms of elements, see [7, p. 31]. In a sequence {Ym}m>1, it is possible to separate a subsequence {Ymk}k>Q that weakly converges in norm (12) to a certain element Y e V0'o(9T) (in fact, {Ymk}k>1 weakly converges to Y in the

dY

norm ¿2(9^)™ together with a™k). Show that the element Y(x,t) is a solution of problem (3)-(8). *

Multiply expression (15) by an absolutely continuous on [0, T] function di(t), perform summation over i = 1, to and integrate the result over t between 0 and t:

(Ym(x, t), $m(x, t)) - J Ym(x, r)d^'T)dxdr + v} p(Ym, $m)dT = 9t 0

= (Yo(x), $m(x, 0))+ J f (x,r)$m (x,r)dxdr,

(21)

where $m(x,t) = E di(t)Ui(x).

i=i

Denote by E the set of all functions $m(x,t) with arbitrary di(t) possessing the above properties and with arbitrary natural indexes m. The set E is dense in Wq(9T). This follows from the density of the set {Ui(x)}i>1 in Vq(9), the continuity of §m(x,t) in t in the norm Hq(9) on [0,T], the belonging &m(x,t) e Vq(9) for each fixed t e [0,T], and the definition of the space Wq(9T).

In (21)fix the function &m(x,t) = &m*(x,

t) e E, i. e.,

m*

**m. (x,t) = E d* (t)Ui(x),

= 1

and, starting from index mk > m*, pass to the limit in the above subsequence {Ymk}k>Q,

t t observing that the integral f p(Ymk, <&m* )d'T converges to f p(Y, <&m* )d'T by Lemma.

0 0

Passage to the limit yields formula (21) for the limiting function Y(x,t), and hence for n(x,t) = <&*m* (x,t) the function Y(x,t) is a weak solution of the initial boundary value problem (3)-(8) from V0'o(9T) due to the density of the set E in W0(9T).

To complete the proof, it remains to argue the existence of a function p(x, t) e D'(9T)n. Here the line or reasoning is as follows. The obtained function Y(x,t) as a weak solution of problem (3)-(8) satisfies identity (14) for t = T; therefore, by choosing

formally ^~-isAY+J2 Y= F, we have (F, 77) = 0 for any element t] e £>(9T)n due

i=i Xx

to (13) and (14) (recall that D(9T)n is dense in Wq(9T), which means the belonging of F to the space D'(9T)n). Moreover, this element has the representation F = —gradp, where the function p(x,t) is a certain element of the space D'(9T)n. The proof of Theorem 1 is finished.

Remark 5. The proof of this theorem contains a deeper statement regarding a weak solution Y(x, t): the function Y(x, t) has the derivative with respect to the variable

t that belongs to the class L2(0,T; Vq(9)), which follows from the representation of the elements Ymk(x,t) of the subsequence {Ymk}k>Q for the limiting function Y(x,t).

Now, show that problem (3)-(8) does not have two different solutions from the class Vq'0(9t). Assume that there exist two such solutions, YQ(x,t) and Y2(x,t). Then their difference Y(x,t) = YQ(x,t) — Y2(x,t) is a weak solution of problem (3)-(8) (f (x,t) = 0, Y0(x) = 0) from the class Vq'0(9t). The solution Y(x,t) as the limiting element of the sequence Ym (x, t) satisfies the same estimate as (20) with the zero right-hand side (see the proof of Theorem 1). Hence, Y(x,t) = 0 and the solutions YQ(x,t) and Y2(x,t) coincide. In fact, we have established the following result.

Theorem 2. The initial boundary value problem (3)-(8) has a unique weak solution in the space VQ'0(9T).

Corollary. A weak solution of the initial boundary value problem (3)-(8) continuously depends on the initial data f (x,t) and Y0(x), which appears from the above-mentioned estimate (20). Hence, by Theorems 1 and 2, problem (3)-(8) is well-posed in the sense of Hadamard.

4. Optimal control problem. Next, we study two types of optimal control problems that are common in applications, namely, distributed control and starting control (with terminal observations). In the former case, control action appears in the right-hand side of the Navier—Stokes system (i. e., defines the density of external forces); in the latter case, it defines the initial condition of the system at t = 0. In both cases, the physical problem is to speed up an incompressible viscous multiphase medium to a given vector velocity field by a given (terminal) time t = T.

Consider a given Hilbert space U of control actions v(x, t) and a given space V0'o(9T) of the states Y(u) of the Navier—Stokes system. Note that the choice of the state space affects the choice of the control space (and vice versa); in this connection, for optimal distributed and starting control problems we believe that U is a subspace of L2(9T)n and L2(9)n, respectively. In both cases, system observations are performed on the domain 9T at terminal time t = T (other types of observations, e. g., boundary ones are also possible). Let C : L2(9T)n ^ H be a linear continuous operator (the observation operator), with H indicating the space of observations (here and in the sequel, H = L2(9)n and observations are perfect in the sense of no noises), i. e., CY(u) = DY(u)(x,T), where D : H ^ H is a linear bounded operator. On a closed convex set (Ud of the space D, introduce an objective function J(u) defined by two operators, namely, the transition operator from the control action u to the state Y(u) and the transition operator from the state Y(u) to the observation CY(u), i. e.,

J(u) = \\CY(u) — zo\\2H + (Nu, u)v = \\DY(u)(x, T) — zo\\2H + (Nu, u)v, (22)

where z0(x,t) e L2(9T)n is a given observation; N : U ^ U denotes a linear continuous Hermitean operator; (Nu,u)y > ?\M\u (? > 0 specifies a fixed constant). The term

(Nu, u)ti in the representation of the objective function J(u) guarantees the coercivity of the quadratic component of the objective function J(v) (see [1, p. 13]).

The optimal distributed (or starting) control problem for the Navier—Stokes system

is to find inf J(v). An element u G Us is called an optimal control action of the system

t>£U d

if it minimizes the objective function J(v) on the set (Us ■

Distributed control. Consider a given linear bounded operator B : U ^ L2,i(3T). Then equation (3) takes the form

%-vAY + Vp = f + Bv, (23)

the state {Y(u)(x,t),p(u)(x, t)} of system (23), (4)-(6) is defined by a weak solution of the initial boundary value problem (22), (4)-(8). Its well-posedness in the sense of Hadamard follows from the results of Section 3. The state Y(u) has continuous dependence on the control action u (as the mapping u ^ Y(u) is continuous). Therefore, it is possible to use the minimization methods of positive definite quadratic forms defined on a closed convex set of a Hilbert space [1, Ch. I] (in addition, see [8, Ch. I] and [3, 4]). Further analysis is similar to the papers [3, 4], which explored the issues of optimal control design for distributed parameter systems on a graph (network).

For system (23), or (4)-(6), define the conjugate state u(u)(x,t) G W^(3T), u(u)(x,T) = D*(DY(T; u) — z0) (D* is the conjugate operator for D), as the function satisfying the integral identity

T

— J 'q(x, r)dxdr + v f p(w(v), 'q)d,T = 0 Qt T 0

for any functions n(x,t) G Wo°(9T) (as a matter of fact, this is a variational statement that "eliminates" the function p(x,t) and has obvious analogy with (14)). To prove the existence of a unique weak solution u(u), it suffices to apply Theorem 1, where t is replaced by T — t.

Under the above conditions, we arrive at the following result, which is similar to Theorem 5 from [3].

Theorem 3. For an element u(x,t) G Us to be an optimal distributed control action of system (23), (4)-(6), a necessary and sufficient condition is the following relationships:

(Y(u){x, t), r}{x, t)) — f Y(u)(x, t) ¿xdT v J p(Y(u), r/)dT =

Qt T o

= (Y0(x), n(x, 0)) + J (f (x, t) + Bu(x, t))n(x, t)dxdr

Qt

for any t G [0, T] and any n(x, t) G Wo(9T);

T

— f rj(x, r)dxd,T + v f p(w(u), r/)dr = 0

Qt T o

for any n(x, t) G W0'0(9t);

J (u(u)(x,t) +Nu(x,t)) (v(x,t) — u(x,t)) dxdt ^ 0 (24)

Qt

for any v G .

Here Y(u) G V0'0(9t), w(u) G W1(9t), and u(u)(x,T) = D*[DY(T; u) — zo], x g 3.

Remark 6. A version of distributed control is the case of set point control of system (3)—(6), which plays an important role for applications. The right-hand side f in (3)

m

is replaced by E vj(t) ® S(x — xj), where v(t) = {v1(t), v0(t),..., vm(t)} G L0(0, T)m and j=i

xj G U 9k. This setting means that point control actions are applied at fixed points of the

к

domain 9.

The state Y(v) is defined in the variational statement as an element of the space ^o °(9T) that satisfies the integral identity

(Y(v)(x, t), C(x, t))-f Y(v)(x, r) d-^dxdr + vj p(Y(v), С)dr =

Qt о

m t

= (Yo(x),Z(x, 0))+f f (х,т)((х,т)dxdr + J2 / vj(r)Z(xj,r)dr

Qt j=i о

for any t G [0, T] and any ((x, t) G W2'l(9t). Here W20'1(9t) is the closure of the elements of£(3T)™ in the norm of the space ff2'1^) = {g : || g L2(9T)n} (seethe

properties of H2'1(9T) in [1, p. 126]). If the boundary d9T of the domain 9T is sufficiently smooth, then the conjugate state u(v) represents an element of the space W0 (9t)such that w(v)(x,T) = 0.

Starting control. Consider another example of control of system (3)-(6), which arises in the course of analyzing the transfer dynamics of multiphase media. A control action v(x) G У is applied at the initial time, defining the initial condition (7) (Y0(x) =

v(x)), i. e.,

Y(x, 0) = v(x), x G

The state {Y(v)(x,t),p(v)(x,t)} of system (3)-(6) is defined by a weak solution Y(v)(x,t) of the initial boundary value problem (3)-(6), (8), (24) (in the integral identity (14), the function Y0(x) is replaced by v(x)) and by an arbitrary function p(x,t) belonging to the class D'(9T)n. Like the case of distributed control, the well-posedness of problem (3)-(6), (8), (24) in the sense of Hadamard follows from the results of Section 3. The conjugate state u(v)(x,t) of system (3)-(6) is defined by the integral identity (24); in addition, u(v)(x,T) = D*(DY(T; v) — z0), x G 9 (the last equality holds almost everywhere on 9).

Then we have the following statement, which is analogous to Theorem 7 from [4]. Theorem 4. For an element u(x) G Уд to be an optimal starting control action of system (3)-(6), a necessary and sufficient condition is the relationships:

(Y(u)(x,t),rj(x,t)) — J Y(u)(x, г) dxdr + v f p(Y(u),r/)dr = Qt T о

= (u(x),n(x, 0)) + J f (x,r)n(x,r)dxdr Qt

for any t G [0, T] and any n(x, t) G W 1(9T);

T

— J rj{x, r)dxdr + v f p(w(u),Tj)dT = 0

Qt T о

for any functions n(x,t) G W o°(9T);

f (w(u)(x, 0) + Nu(x)) (v(x) — u(x)) dxdt ^ 0 (25)

S

for any v e Ua-

Here Y(u) e V10'°(9t), u(u) e W10(3r), and u(u)(x,T) = D*[DY(T; u) — z0], x e 3. 5. Synthesis of optimal control (feedback). Consider the optimal control problem without constraints imposed on control actions, i. e., (Ud coincides with D. Then it is possible to set v = u ± v in relationships (24) and (25). Owing to arbitrary v e D, these relationships become equalities and hence the optimal distributed and starting control actions satisfy the equalities

u(u)(x,t) + Nu(x,t) = 0, w(u)(x, 0) + Nu(x) = 0,

u(x,t) = —N-1u(u)(x,t), and u(x) = —N-1u(u)(x, 0). Consequently, the optimal distributed control action is constructed by solving the system of two integral identities (variational relations):

f Y(x, t)r/(x, t)dx - f Y(x, t)^^-dxdt + £t(Y, rj) =

r Ft (26) = / Yo(x)n(x,h)dx +f f (x,t)n(x,t)dxdt —J N 1u(x,t)r/(x,t)dxdt r rt art

for any t e [0,T] and any function n(x,t) e W0(rT);

_ J du(u)(x,r)^x^ Tylxdr + v Jp(ù;(u)) QdT = 0 (27)

St T 0

for any functions Z(x,t) e Wo0(3T). The optimal distributed control action has the form

u(x,t) = —N-1u(x,t). (28)

To find the optimal starting control action, one has to solve the system of integral identities that is similar to (26) and (27), in which

u(x) = -N-1u(x, 0). (29)

Formulas (28) and (29) realize the synthesis of optimal distributed and starting control of systems (23), (4)-(6) and (3)—(6), respectively. More specifically, optimal control actions are defined through conjugate states, which actually implements the feedback principle by the states of each system.

Remark 7. Under the accepted assumptions, it is possible to establish deeper results of the synthesis of optimal control, that generalize the well-known Kalman results for bounded operators.

6. Conclusion. This paper has considered the applied problems of distributed and starting control for the linearized Navier—Stokes system. The optimal control conditions in terms of the conjugate states of systems (23), (4)—(6) and (3)—(6) have been established, as well as some analogues of the well-known Kalman results of the finite-dimensional case (formulas (28) and (29)) have been obtained. The described algorithm is applicable to many optimization problems for differential systems whose states are defined by weak solutions of evolutionary equations on similar networks as in the papers [3—5]. Interestingly, other researchers considered alternative approaches to the stability analysis [9—11] and

stabilization [12, 13] of the solutions to some applications-relevant classes of complex systems, yet with the same treatment of the optimal control existence conditions. Also note that the problem under study may have peculiarities in form of stochastic components [14] or discontinuous nonlinearities [15] in the representation of evolutionary systems (3) and (22).

References

1. Lions J.-L. Some methods of solving non-linear boundary value problems. Paris, Dunod-Gauthier-Villars, 1969, 581 p. (Russ. ed.: Lions J.-L. Nekotorye metody resheniya nelineinykh kraevykh zadach. Moscow, Mir Publ., 1972, 587 p.).

2. Provotorov V. V., Gnilitskaya Yu. A. Boundary control of a wave system in the space of generalized solutions on a graph. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2013, iss. 3, pp. 112—120.

3. Provotorov V. V. Optimal control of a parabolic system with distributed parameters on a graph. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2014, iss. 3, pp. 154—163.

4. Podvalny S. L., Provotorov V. V. Starting control of a parabolic system with distributed parameters on a graph. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2015, iss. 3, pp. 126—142.

5. Podvalny S. L., Provotorov V. V. The questions of controllability of a parabolic systems with distributed parameters on the graph. 2015 Intern. Conference "Stability and Control Processes" in memory of V. I. Zubov (SCP), 2015, pp. 117-119.

6. Ladyzhenskaya O. A. Kraevye zadachi matematicheskoi fiziki [Boundary value problems of mathematical physics]. Moscow, Nauka Publ., 1973, 407 p. (In Russian).

7. Volkova A. S., Provotorov V. V. Generalized solutions and generalized eigenfunctions of boundary-value problems on a geometric graph. Russian Mathematics (Proceeding of Higher Educational Institutions), 2014, vol. 58, no. 3, pp. 1-13.

8. Fursikov A.V. Optimal'noe upravlenie raspredelennymi sistemami. Teoriya i prilozheniya [Optimal control of distributed systems. Theory and applications]. Novosibirsk, Nauchnaya kniga Publ., 1999, 352 p. (In Russian).

9. Aleksandrov A. Yu., Zhabko A. P. On the asymptotic stability of solutions of nonlinear systems with delay. Siberian Mathematical Journal, 2012, vol. 53, no. 3, pp. 393-403.

10. Aleksandrov A., Aleksandrova E., Zhabko A. Asymptotic stability conditions for certain classes of mechanical systems with time delay. WSEAS Transactions on Systems and Control, 2014, vol. 9, pp. 388-397.

11. Aleksandrov A. Yu., Zhabko A. P. On stability of the solutions of a class of nonlinear delay systems. Autom. Remote Control, 2006, vol. 67, no. 9, pp. 1355-1365.

12. Veremey E. I., Korchanov V. M. Multiobjective stabilization of the dynamic systems from a certain class. Avtomatics and Telemechanics, 1988, no. 9, pp. 126-137.

13. Veremey E. I., Sotnikova M. V. Plasma stabilization by prediction with stable linear approximation. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2011, iss. 1, pp. 116-133.

14. Karelin V. V. Penalty functions in the control problem of an observation process. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2010, iss. 4, pp. 109-114.

15. Kamachkin A. M., Yevstafyeva V. V. Oscillations in a relay control system at an external disturbance. Control Applications of Optimization 2000. Proceedings of the 11th IFAC Workshop, 2000, vol. 2, pp. 459-462.

For citation: Provotorov V. V., Provotorova E. N. Optimal control of the linearized Navier— Stokes system in a netlike domain. Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 2017, vol. 13, iss. 4, pp. 431-443. https://doi.org/10.21638/11701/ spbu10.2017.409

Статья рекомендована к печати проф. А. П. Жабко. Статья поступила в редакцию 7 октября 2016 г. Статья принята к печати 12 октября 2017 г.