CC BY
16
MSC 35K70, 49K20
DOI: 10.14529/ mmp200101
OPTIMAL CONTROL IN LINEAR SOBOLEV TYPE MATHEMATICAL MODELS
A.A. Zamyshlyaeva1, N.A. Manakova1, O.N. Tsyplenkova1
1 South Ural State University, Chelyabinsk, Russian Federation
E-mails: zamyshliaevaaa@susu.ru, manakovana@susu.ru, tcyplenkovaon@susu.ru
The article presents a review of the work of the Chelyabinsk mathematical school on Sobolev type equations in studying the optimal control problems for linear Sobolev type models with initial Cauchy (Showalter-Sidorov) conditions or initial-final conditions. To identify the nonemptiness of the set of feasible solutions to the control problem we use the phase space method, which has already proved itself in solving Sobolev type equations. The method reduces the singular equation to a regular one defined on some subspace of the original space and applies the theory of degenerate (semi)groups of operators to the case of relatively bounded, sectorial and radial operators. Here mathematical models are reduced to initial (initial-final) problems for an abstract Sobolev type equation. Abstract results are applied to the study of control problems for the Barenblatt-Zheltov-Kochina mathematical model, which describes fluid filtration in a fractured-porous medium, the Hoff model on a graph simulating the dynamics of I-beam bulging in a construction, and the Boussinesq-Love model describing longitudinal vibrations in a thin elastic rod, taking into account inertia and under external load, or the propagation of waves in shallow water.
Keywords: Sobolev type equations; strong solutions; optimal control; phase space; Barenblatt-Zheltov-Kochina model; model of an I-beam bulging; Boussinesq-Love model; Dzektzer model; Chen-Gurtin model.
Introduction
The research of the control problems for mathematical models based on Sobolev type equations is relevant due to the need to study important applied problems, in particular, in the theory of filtration, elasticity, biology and others. When studying mathematical models, it is important not only to understand the properties of the processes being studied, but also to be able to find the optimal regulation (external influence), with the help of which the state of the system takes the required value. The article describes methods and approaches developed in the framework of the scientific direction headed by G.A. Sviridyuk to study the optimal control problems for linear Sobolev type mathematical models with classical and non-classical initial (initial-final) conditions. A wide class of such mathematical models has been studied based on the theory of Sobolev type equations. Consider some of them.
The Barenblatt-Zheltov-Kochina model. Let Q C Rn be a bounded domain with a boundary dQ of the class C™. In the cylinder Q x R+ consider the Dirichlet boundary condition
x(s,t) = 0, (s,t) £ dQ x R for the Barenblatt-Zheltov-Kochina equation [1]
(A — A )x = aAx + u
(1)
(2)
that simulates the process of fluid filtration in a fractured porous medium. Here a, A E R characterize the properties of the medium; parameter a E R+, and parameter A can take negative values that do not contradict the physical meaning of the problem, the function u = u(s,t) plays the role of an external exposure (i.e. characterizes the sources (drains) of the fluid). A mathematical model based on equation (2), supplemented by classical or non-classical initial (initial-final) conditions, was studied in various aspects in [2-4].
Mathematical model of an I-beam bugling. Let G = G(V; E) be a finite connected oriented graph, where V = {Vi} is a set of vertices, and E = {Ei} is a set of edges. Each edge E» has the length k G R+ and the cross section area di G R+. In each vertice Vi, i = 1, M, of the graph G consider the continuity conditions
Xj (0, t) = Xk (0,t) = Xm(lm,t) = Xn (ln,t), (3)
where Ej, Ek E Ea(V-), Em, En E Ew(V-) (Ea(w)(V-) denotes the set of edges with the beginning (end) at the vertex Vi), and flow balance condition
y^ djXjs(0, t) - dkXks(lk, t) = 0 (4)
Ej&Ea(Vi) Ek eE- (Vi)
for Hoff equations [5]
ax jt + Xjtss = aj Xj + uj • (5)
Conditions (3), (4) and equation (5) form the Hoff mathematical model on a graph that describes the dynamics of deformation of an I-beam construction under constant load A E R+. Parameters aj E R characterize beam material properties; the free term Uj = Uj(s,t) corresponds to the external (lateral) load on the j-th edge of the graph. Equations (5) on graphs were first studied in [6]. The Hoff mathematical model in the domain or on the graph, supplemented by classical or non-classical initial (initial-final) conditions in various aspects was studied in [7-9].
The Boussinesq-Love model. Let Q C Rn be a bounded domain with a boundary SQ of the class C^. In the cylinder Q x R consider the Boussinesq-Love equation [10]
(A - A)xtt = p(A - A')x + u (6)
with boundary condition (1). Model (1), (6) describes the propagation of waves in shallow water. Parameters P, A, A' relate to depth, gravitational constant and Bond number. The function x(t, s) determines the wave height at time t at the point s, u(t, s) is a control that defines external forces. The Boussinesq-Love mathematical model, supplemented by classical or non-classical initial (initial-final) conditions, was studied in various aspects in [10,11].
The Dzektzer model. Let Q C Rn be a bounded domain with a boundary SQ of the class C^. In the cylinder Q x R+ consider the problem
x(s,t) = Ax(s,t) = 0, (s,t) E dQ x R+ (7)
for a non-classical partial differential equation [12]
(A - A)X = aAx - PA2x + u. (8)
The mathematical model (7), (8) describes the evolution of the free surface of the filtered fluid. Here £ R+, A £ R are the parameters characterizing the fluid, the free term u = u(s,t) characterizes the sources (drains) of the fluid. Mathematical model based on equation (8), supplemented by classical or non-classical initial (initial-final) conditions in various aspects was studied in [13,14].
The Chen-Gurtin model with complex coefficients. Let Q C Rn be a bounded domain with a boundary dQ of class CIn the cylinder Q x R+ consider the boundary value problem (7) for a non-classical partial differential equation [15]
(A — A)xt = v Ax — idA2x + u. (9)
Here the coefficients v, A, d £ R characterize parameters of the system. The required complex-valued function x(s,t) describes the dynamics of the process, and the complex-valued function u(s,t) describes an external effect on the system. In the special case of d = 0 equation (9) describes the process of heat conduction with "two temperatures" [15], as well as the dynamics of fluid pressure in a cracks-porous medium [1]. A mathematical model based on equation (9), supplemented by classical non-classical initial (initial-final) conditions in various aspects was studied in [16,17].
The mathematical models under consideration belong to a wide class of Sobolev type models (i.e., models based on Sobolev type equations). Sobolev type equations currently constitute a significant part of the non-classical equations of mathematical physics. Initially, such equations arose in the works of A. Poincare, C. Rossby, J. Boussinesq and other mechanics in the late XIX - early XX centuries. However, a systematic study of such equations began in the middle of the last century with the work of S.L. Sobolev. A detailed history of this issue can be found in the monograph [18]. Note that various terms are used in literature to denote such equations [18-20]. The term "Sobolev type equations" [3,21] first appeared in the works of R.E. Showalter [22]. We adhere to this term, considering the rest as synonyms.
The mentioned mathematical models with one or another initial (initial-final) conditions in suitable Banach spaces can be reduced to the corresponding problems for a linear Sobolev type equation
Ax(n) = Bx + y + Cu, (10)
where operators A £ L(X; Y), B £ C/(X; Y), C £ L(U; Y), functions u : I ^ U, y : I ^ Y (I C R), and X, Y, U are Hilbert spaces. To select the unique process under study, the mathematical models under consideration and their abstract interpretation (10) are supplemented by one of the following conditions:
- the Cauchy condition [3]
x(m) (0) = xm, m = 0,...n — 1, (11)
- the Showalter-Sidorov condition [23,24]
P (x(m) (0) — xm) =0, m = 0,..., n — 1, (12)
- the initial-final condition [4, 25]
Pin (x(m) (0) — xm) =0, Pftn (x(m) (t) — xm) =0, m = 0,..., n — 1, (13)
where P, Pin, Pfin are some spectral projectors in the space X, which will be defined later. Condition (13) differs from the initial conditions in that one projection of the solution is specified at the initial moment of time, and the other is set at the final moment of the considered time interval. The initial-final condition is a generalization of the Showalter-Sidorov condition, which in turn is a generalization of the classical Cauchy condition. As it is well known (see, for example, [23]), the Cauchy problem for the Sobolev type equation (10) (in case ker A ^ {0}) is not solvable for arbitrary initial values xm, m = 0, n — 1. To overcome this difficulty, G.A. Sviridyuk proposed the phase space method. The foundations of this concept were laid down in [20], then the concept was developed in [3] and many other works. Another approach to overcome the difficulties associated with non-existence of the solution to (10), (11) is to consider the initial Showalter-Sidorov condition (12) and a more general initial-final condition (13) instead of the initial Cauchy condition (11). We are interested in solving the optimal control problem, which consists in finding a pair (X,u), for which the relation
J (X, u)= min J (x,u) (14)
(x,u)eXxUad
holds. Here the pairs (x, u) satisfy the Cauchy problem (10), (11) or the Showalter-Sidorov problem (10), (12), or the initial-final problem (10), (13) and J(x,u) is some specially constructed quality functional, Uad is some closed and convex set in the control space U.
The article provides an overview of the results developed in the framework of the direction headed by G.A. Sviridyuk on the optimal control of the solutions to the initialfinal problem and, in particular, the Showalter-Sidorov and Cauchy problems for linear Sobolev type equations. The first who began to study the controllability problems and the optimal control problem for linear Sobolev type equations with the Cauchy condition were G.A. Sviridyuk and A.A. Efremov [2,13,26]. In these papers, the optimal control problem with a quadratic quality functional was studied in case n =1 with (A,p)-bounded or (A,p)-sectorial operator B and the Cauchy condition, the necessary and sufficient conditions for the existence and uniqueness of a solution were obtained. G.A. Sviridyuk suggested moving from considering the classical solution x E CX) of (10), (11) to the strong solution x E Hp+1(X) of this problem, which allowed to set the optimal control problem (10), (11), (14) and to use the technique of Hilbert spaces for its research. These studies formed the basis of a number of works by G.A. Sviridyuk's disciples and followers on the study of optimal control problems for linear Sobolev type equations based on the theory of degenerate resolving (semi)groups of operators [3]. Since [2,3,13], when considering the classical Cauchy condition, due to the degeneracy of the equation, it was necessary to reconcile the initial data with the control action, then G.A. Sviridyuk suggested an idea to use more general initial Showalter-Sidorov condition (initial-final condition), which made it possible to remove the restriction on the set of optimal controls in the subsequent works of his disciples and followers and opened the way to a whole class of problems on this subject [8,27]. In [10] the necessary and sufficient conditions for the existence and uniqueness of the solution of optimal control problems for high-order Sobolev type equations with an initial-final condition were obtained. The ideas and methods developed by G.A. Sviridyuk and A.A. Efremov on controllability of linear abstract Sobolev type equation opened the way to the study of more general controllability problems [28].
The article consists of introduction, 6 sections and conclusion. The first Section gives the main points of the theory of relatively bounded operators, the complete proofs of
which can be found in [3]. It contains theorems on existence and uniqueness of classical solution of optimal control problems for an abstract Sobolev type equations, as well as on existence and uniqueness of strong solution to the initial (initial-final) problem for such equations. In the second Section, the abstract results are applied to specific Sobolev type models, namely, the Barenblatt-Zheltovaya-Kochina model, the Hoff model on the graph, and the Boussinesq-Love model. The third Section contains the results of the theory regarding relatively sectorial operators for the first-order Sobolev type equation. In the fourth Section, the Dzektzer model and the pressure evolution model on the graph are reduced to an abstract Sobolev type equation with initial (initial-final) conditions, and then the abstract results are applied to the study of optimal control problem for them. The fifth Section contains the main results of the theory with relatively radial operators. The optimal control in the Chen-Gurtin model based on the Sobolev type equation with a relatively radial operator is studied in the sixth Section.
1. Relatively p-Bounded Operators. Strong Solutions. Optimal Control
In this section definitions and results of the theory of relatively bounded operators are given [3,29]. Let X, Y and U be Banach spaces. Operators A,B £ L(X; Y), operator C £ L(U; Y). The set
pA(B) = (u £ C : (M — B)-1 £ L(Y; X)}
is called a resolvent set of operator B with respect to operator A (an A-resolvent set of the operator B). The set C\pA(B) = aA (B) is called a spectrum of operator B with respect to operator A (an A-spectrum of operator B). The operator function
(uA — B)-1, RA = (M — B)-1A, LA = A(uA — B )-1
of a complex variable with domain pA(B) is called a resolvent, a right resolvent, a left resolvent of operator B with respect to operator A (an A-resolvent, a right A-resolvent, a left A-resolvent of operator B).
Definition 1. The operator B is called polynomially bounded with respect to operator A (or simply (A, a)-bounded), if
3a > 0 Vu £ C : (|u| > a) ^ (u £ pA(B)).
Lemma 1. [29] If the operator B is (A, a)-bounded, then the following operators
P = w- [ Rt(B)fin~lAdfi, Q = -L / /in~1ARAn(B)d/i 2пг ./ м 2пг ' M
are projectors, moreover P : X ^ X and Q : Y ^ Y- Here r = (À G C : |An| = r > a}.
Set X0 = ker P, Y0 = ker Q, X1 = im P, Y1 = im Q- By Ak denote the restriction of the operator A, and by Bk denote the restriction of the operator B to Xk, k = 0,1. The theorem of operator actions' splitting is true.
Theorem 1. [3, Ch. 4] Let the operator B be (A, a)-bounded. Then
(i) operators Ak, Bk : Xk ^ Yk, k = 0,1;
(ii) there exists an operator B-1 G L(Y°,X0);
(iii) there exists an operator A-1 G ^(Y1,X1);
(iv) operator B1 G ^(X1, Y1)-
Let us construct the operators H = B0"1 A° G L(X°) and S = A-1B1 G ^(X1). Then
\
-J] Hk B°-1(I - Q) + Y^ Sk-1A-1 Q. (15)
k=0 / k=1
Definition 2. The point to is called:
(i) a removable singular point of the A-resolvent of the operator B, if H = O;
(ii) a pole of order p of the A-resolvent of the operator B, if Hp = O, Hp+1 = O, p G N;
(iii) an essentially singular point of the A-resolvent of the operator B, if Hq = O, Vq G N.
Definition 3. (A, a)-bounded operator B is called (A,p)-bounded for some p G {0} U N, if the point to is a pole of order p G {0} U N of the A-resolvent of operator B.
Definition 4. The vector-function x G Cn(R; X), n G N, satisfying (10) is called a classical solution of this equation.
Consider linear homogeneous (y = u = 0) Sobolev type equation (10).
Definition 5. The operator-function V• G C^(R; L(X)) is called a propagator of homogeneous equation (10), if for arbitrary v G X the vector-function x(t) = V*v is the solution of this equation.
Theorem 2. [29] If the operator B is (A, a)-bounded, then formulas
Xtm = — [ ijn~m~1(ijnA - B^Ae^dfi, m = 0,n-l, 2m J r
define propagators of a homogeneous equation (10) for t G R. Consider the inhomogeneous equation
Ax(n) = Bx + y (16)
and sets
P Jnq+m
M™ = {X G X : (I - P)x = - Y, RqBo1^- QM0)h m = (17)
q=°
The results on existence and uniqueness of a classical solution to (11), (16) were obtained in [10,29].
Theorem 3. [29] Let the operator B be (A, p)-bounded for some p G {0}U N, the function y : I ^ Y (I c R) be such that y0 = (I - Q)y G Cnp+n(1; Y°) and y1 = Qy G C(I; Y1).
Let the initial values xm G M™, m = 0, n — 1. Then there exists a unique classical solution to the Cauchy problem (11), (16) given by
p n—1 t
x(t) = B-1(I - Q)y(qn)(t) +J] xm Xm + Xn-IA-1 Qy(s)ds, t G I. (18)
q=0 m=0 0
There were obtained results [10] on the existence and uniqueness of a classical solution to problem (12), (16). Note that when using the Showalter-Sidorov condition, the assumptions of Theorem 3 can be weakened without requiring initial data being agreed with the right side of equation (16).
Theorem 4. [29] Let the operator B be (A, p)-bounded for some p G {0}U N, the function y : 3 ->-2) be such that y° = (I — Q)y G Cnp+n(3] 2)°) and y1 = Qy G Cp;?)1)- Then for arbitrary xm E X, m = 0,n — 1, there exists a unique classical solution to Showalter-Sidorov problem (12), (16) given by (18).
Proceed to consider a more general than the Showalter-Sidorov initial-final condition. Introduce an additional condition
aA(B) = aA(B) U a?(B),<j£(B) ± 0, k = M; and contour y0 is the boundary of domain D C C such that (B)
D n aA(B) = aAGB), D n (B) = 0.
Then there exists an operator
1
2ni
Pftn = — I Rj^ß^Adß g £(£).
Y0
Lemma 2. [29] Let the operator B be (A, p)-bounded for some p G {0} U N, let condition (B) be satisfied. Then P/in is a projector, and P/inP = PP/in = P/in.
Construct an operator Pin = P — P/in G L(X). By Lemma 2 operator Pin is a projector. Consider operators
ХШ = 77=7 I RAß{B){^-m-lA - B)e^dß.
1
5 Viri .
Y0
Note that is a propagator of homogeneous (y = 0) equation (16). Introduce a family of operators
xtit) = xl- X%n(t), k = O^T.
Theorem 5. [29] Let the operator B be (A, p)-bounded for some p G {0}UN. Let the vector function y : 3 ->• 2) suc/i that y° = (I — Q)y G Crap+ra(a; 2)°) and y1 = Qy G Cp; 2)1)-T/ien for arbitrary x°m)xTm E X, m = 0,n— 1, there exists a unique classical solution to problem (13), (16), for t G I given by
p n—1 n—1
x(t) = - e (Bo)-1(i - Q)y (nq)(t) + E xm (t)Pin xm + E xmn (t/ xm+
q=0 m=0 m=0
t t (19)
yn—^ /( — 1 TD „.( „\,1„ r Y
/in - s)A1
+ / X"-1(i - s)^-1 Pmy(s)ds - / X?-1(t - s)A-1P/i„y(s)ds.
0 t
Thus, a general theory that allows one to find classical solutions for (16) with initial (initial-final) conditions is constructed. Now turn to the study of control problems. It should be noted that in such problems the technique of Hilbert spaces is traditionally used, which requires consideration of other types of solutions. Further we consider X, Y and U being Hilbert spaces. Consider space Hk(Y) = {v G L2(0, t; Y) : v(k) G L2(0, t; Y)}. The space Hk(Y) is Hilbert with inner product
[v,w] = ^ I <v(q),w(q))Y dt. q=00
Definition 6. The vector-function x G Hn(X) = {x G L2(1; X) : x(n) G L2(1; X)} is called a strong solution to (16), if it turns the equation to an identity almost everywhere on interval I. A strong solution x = x(t) of (16) is called a strong solution of the Cauchy problem, if condition (11) holds; a strong solution of the Showalter-Sidorov problem, if condition (12) holds; a strong solution of the initial-final problem, if condition (13) holds.
Note that classical solution (18) is also a strong solution to equation (16) by virtue of the continuity of the embedding Hn(X) ^ Cn-1(1; X).
Theorem 6. [30] Let the operator B be (A,p)-bounded for some p G {0} U N. Then for arbitrary y g Hnp+n(y)> xm £ M™,m = 0,n — 1, there exists a unique strong solution to the Cauchy problem (11), (16).
Theorem 7. [31] Let the operator B be (A,p)-bounded for some p G {0} U N. Then for arbitrary x0m)xTm g X, m = 0, n — 1, and y g Hnp+n(Y) there exists a unique strong solution to the initial-final problem (13), (16).
Note that in the case of (aA = aA(B), afin = 0) the Showalter-Sidorov problem can be considered as a special case of the initial-final problem. The following result follows from Theorem 7.
Corollary 1. Let the operator B be (A,p)-bounded for some p G {0} U N. Then for arbitrary xm g X, m = 0, n — 1, and y g Hnp+n(Y) there exists a unique strong solution to the Showalter-Sidorov problem (12), (16).
Definition 7. The pair (x, u) is called a solution to the optimal control problem (10), (11), (14) if relation (14) is satisfied and all pairs (x,u) G Hnp+p(X) x Uad are solutions of problem (10), (11). A vector function u G Uad is called an optimal control of solutions to (10), (11).
Consider the penalty functional
n T np+n T
J(x, u) = ^ ^ / | |x(q) — x(q) ||2dt + v / (Ngu(q\u(q))Udt. (20)
q=0 0 q=0 0
Here v > 0, ^ + v = 1, Nq G L(U), q = 0, 1, ..., np + n, are self-adjoint positively defined operators, and x(t) is the target state of the system.
Remark 1. By Theorem 7 on the existence of a unique solution for all y £ Hnp+n(Y) and u £ Uad the solution x = x(u). Therefore, the quality functional depends only on u : J(x,u) = J(u). Thus, the set of feasible solutions to problem (10), (11), (14) is not empty.
When using the Cauchy condition, we pass to consideration of the subspace of controls
O np+n _
H (it) = {u £ L2(0,r;li) :u{np+n) £ L2(0, r; 11), w(<i)(0) = 0, q = 0, np + n - 1}.
◦ np+n o np+n
In the space H (U) we single out a closed convex subset Uad C H (U), which will be called the set of admissible controls. Results on existence and uniqueness of optimal control of solutions to the Cauchy problem (10), (11) were obtained in [30].
Theorem 8. [30] If the operator B is (A,p)-bounded for some p £ {0} U N, then for arbitrary y £ Hnp+n{%)) and xm £ M™, m = 0,n— 1, there exists a unique optimal control of solutions to problem (10), (11).
Introduce the control space Hnp+n(U). Single out a closed convex subset Uad C Hnp+n(U). Results on existence and uniqueness of optimal control of solutions to initialfinal problem (10), (13) were obtained in [31].
Theorem 9. [31] If the operator B is (A,p)-bounded for some p £ {0} U N, then for arbitrary y £ Hnp+n{%)) and x°m)xTm £ X, m = 0, n — 1, there exists a unique optimal control of solutions to the initial-final problem (10), (13).
The following result follows from Theorem 9.
Corollary 2. If the operator B is (A, p)-bounded for some p £ {0} U N, then for arbitrary xm £ X, m = 0, n — 1, and y £ Hnp+n{%)) there exists a unique optimal control to solutions of the Showalter-Sidorov problem (10), (12).
2. Optimal Control in Sobolev Type Models with Relatively p-Bounded Operators
Optimal control in the Barenblatt-Zheltov-Kochina model. Consider the optimal control problem (14) for mathematical model (1), (2) with the initial Cauchy condition (11). Reduce this problem to equation (10) with n =1. For this purpose put
o
X = H2(n)n H1 (Q), Y = U = L2(ft), (21)
and by formulas
A = AI - A, B = aA, C = I, (22)
define the operators A,B £ L(X, Y)- Denote by } the set of eigenfunctions of the Dirichlet problem for the Laplace operator A, numbered in ascending order of eigenvalues {Ak} taking into account their multiplicity. Consider the A-resolvent of operator B in the form
where (•, •) is an inner product in L2(Q). Hence, the A-spectrum of operator B is given by
aA(B)=^k = ^-:X^Xky (24)
Lemma 3. [3] The operator B defined by (22) is (A, 0)-bounded for any A G R.
Let the function y G HThen the set My (given by (18) for n =1) takes the form
My = {x G X : —Aa(x, yk) = (y(0), ),Ak = A} and the control space
o
H1 (U) = {u G L(0, t; U) : u G ¿2(0, t; U),u(0) = 0} . Choose a closed convex subset Uad in it.
Theorem 10. [2] For any y G H 1(Y) and x0 G My there exists a unique solution (x,u) G H 1(X) x Uad to the optimal control problem (14) for mathematical model (1), (2) with the initial Cauchy condition (11), that minimizes functional (20).
Remark 2. The vector function x G H 1(X) defines the desired distribution of pressure in Q, and the control u means the effect on pressure by increasing (decreasing) the influence of liquid sources (drains) in Q.
Optimal control in the Hoff model on a graph. Consider the optimal control problem for mathematical model (3) - (5) with initial-final condition (13) in the case of n = 1. Reduce the problem to equation (10) with n =1. Introduce the Hilbert space L2 (G) = {u = (u1, u2,..., Uj,...) : Uj G L2(0, j)} with inner product
(u,v) = ^^ dj UjVjds,
Ej 0
and Banach space X = {x = (xi,x2, ...,Xj,...) : Xj G H 1(0,/j-) and (3) holds } with norm
MÎ =£ ¿J j + x2)ds.
E eE 0
Denote by Y the conjugate space to X with respect to the duality (■, ■) and by formula
h
(Lx, v) = - £ dj xj, VjSds, x,v G X (25)
E eE 0
define the operator L G L(X; Y). It was shown [32] that a(L) is negative, discrete, with finite multiplicity, and condenses only to —œ. Number the eigenvalues {vk} of the operator L in nonincreasing order, taking into account multiplicity. Then the orthonormal (in the sense of Y) family of corresponding eigenfunctions {^k} of operator L forms the basis in X.
For A G R+ construct the operator A = AI + L. By construction operator A G L(X; Y), and its spectrum a(A) = {A + vk}. Define the operator B by formula B = aI, where a G R, and C = I. Thus, we reduced problem (3) - (5) to equation (10). Construct the relative spectrum of the operator B
aA(B) = \nk = : k G N \ {/ : A + uk = 0}
[ A + vk
Lemma 4. [6] The operator B is (A, 0)-bounded if one of the following conditions holds:
(i) ker A = {0}, A = vk, Vk G N;
(ii) ker A = {0}, aj = 0 for any j.
Further, consider the initial-final problem for mathematical model (3) - (5). Represent the A-spectrum of operator B in the form
(B) = afjB) U f(B), (B) n f(B) = 0.
Then the initial-final condition (13) takes the form
£ <(x(0) - xo),^k) ^k = 0, j] <(x(t) - xr),^k) ^k = 0. (26)
Mk Mk efin(B)
Introduce the control space
H ^U) = {u = (ui,u2,...uj,...) : u j G ¿2(0, t ; (0,1j ))},
and choose a closed convex subset Uad in it. Construct the operators
ij
(Nqu(q),u(q)> dj f j(ujq))2ds,
Z7 . /-rC v
E ее о
where Kjq are positive numbers.
Theorem 11. [8] For any y G H:(Y) and A G R+, aj G R, satisfying condition (i) or (ii) of Lemma 4, for arbitrary x0,xT G X there exists a unique solution (x,Ut) G H*(X) x Uad of optimal control problem (14) for mathematical model (3) - (5) with initial-final conditions (26), that minimizes functional (20).
Optimal control in the Boussinesq-Love model. Consider the optimal control problem for mathematical model (1), (6) with the initial Showalter-Sidorov condition (12). Reduce the problem to equation (10) with n = 2. To do this, put
X = {x G Hl+2(Q) : x(s) = 0,s G Ш}, Y = Hl(П), U = Hl(П), l G {0} U N.
The operators A, B G L(X; Y) are given by formulas A = AI — A, B = в (A — A'), C = I. Then the A-resolvent of operator B takes the form
_^-^'-¿(Л-Л^-Л,)- (*>
where (•, •) is an inner product in L2(Q), Ak, are the same as in Barenblatt-Zheltov-Kochina model. Then for the A-spectrum of operator B we get
^(B) = {m! =: A ^ A,j . (28)
Lemma 5. [10] The operator B is (A, 0)-bounded. Construct the projector:
( I, if A = Afc;
P | I - (•, ^fc) ^fc, if Afc = A. I Afc=A
The Showalter-Sidorov condition (12) is given by
< ^fc,x(s, 0) - xo(s) > = 0, < ^fc,xt(s, 0) - xi(s) > = 0. (29)
Afc=A Afc=A
Let us proceed to the optimal control problem. Introduce the control space
H2(U) = {u G L2(0, t; U) : u G ¿2(0, t; U)}.
In the space H2(U) single out a closed convex subset Uad, which will be the set of admissible controls.
Theorem 12. [10] For any G R\ {0} , A G R, and t G R+ ,xm G X,m = 0,1, there exists a unique solution (x,u) G H2(X) x Uad to the optimal control problem (14) for the Boussinesq-Love model (1), (6) with the Showalter-Sidorov condition (29), that minimizes functional (20).
3. Relatively p-Sectorial Operators
In this section, definitions and results of the theory of relatively sectorial operators are given [3, Ch. 3]. Let X, Y, U be Banach spaces, operators A G L(X; Y), B G C/(X; Y), C G L(U; Y), functions y : (0,t) C R+ ^ Y (t < ro) to be determined later. Let further
G pA(B), k = 0,1,... ,p. Operator-functions
p p
?A n d^ tA /d\ TT rA
RL» = II RAk (B), lA„P) (B) = II LAk (B) fc=0 fc=0
are called, respectively, a right and a left (A,p)-resolvents of operator B.
Definition 8. [3, Ch. 3] The operator B is called p-sectorial with respect to the operator A with the number p G {0} U N (or simply (A,p)-sectorial for some p G {0} U N) if (i) there are constants a G R and 6 G (f ,vr) such that
SAe(B) = {^ G C : | arg(u - a)| < 6^ = a} C pA(B),
(ii) there is a constant K g r+ such that
K
max{||R^p)m\c{x), \K,p)mUm} < for any ^ g SAe(B), q = 0,1,...
p
П - a|
q=0
Let the operator B be (A,p)-sectorial for some p g {0} u N, then there are degenerate analytic semigroups of operators (see [3, Ch. 3])
Xt = in f and Yt = I tfWePdti,
r r
where t g R+, and the contour r c SAe(B) is such that | arg^ 6 for ^ ^ to, ^ g r, 6 g (f ,tt). Denote by X* = {X1 : t g'e+}. Put X° = kerX', X1 = iniX', 2)° = kerF', Y1 = imY• and denote by Ak the restriction of operator A to Xk, and by Bk the restriction of operator B to Xk fl dom B, k = 0,1.
There are two approaches to splitting of spaces X and Y- The first approach is outlined in [3], where a stronger condition on operator B (strong (A,p)-sectoriality of operator B) is set. We follow the equivalent approach firstly proposed by G.A. Sviridyuk. Further, we need two conditions:
X0 © X1 = X and Y0 © Y1 = Y, (A1)
there exists an operator A-1 g ^(Y1; X1). (A2)
The equivalence of these approaches was shown in [33]. Note that condition (A1) occurs when the operator B is strongly (A, p)-sectorial on the right (left). Condition (A2) is met either when the operator B is strongly (A, p)-sectorial, or when it is (A, p)-sectorial, (A1) holds and Y1 = im A1. If conditions (A1), (A2) are satisfied and operator B is (A,p) sectorial, then there are projectors P = s- lirn X4, Q = s- lirn Y4, operators H = B-1 A0 g
l(X0) and S = A-1B1 g c/(X1). Moreover, the operator H is nilpotent of degree p, and the operator S is sectorial.
Further we consider the case n =1 and equation (10) in the form
Axx = Bx + y. (30)
Proceed to the study of solvability of the Cauchy problem (11) for equation (30). Similarly to Section 1 for the solvability of the Cauchy problem, it is necessary to construct a condition connecting the initial value and y in the right-hand side of (30). Introduce the
set
p
my = {x g X : (I - P)x + HqB0-1(I - Q)y(q)(0) = 0}. (31)
q=0
The solvability of the Cauchy problem (11), (30) was studied in [3,13].
Theorem 13. [3,13] Let the operator B be (A, p)-sectorial for some p g {0}uN, conditions (A1), (A2) be fulfilled and y0 = (I - Q)y g Cp([0,t]; Y°) f Cp+1((0,r); Y°), y1 = Qy g
C([0,t]; y1)- Then for any x0 G My there exists a unique classical solution to (11), (30) given by
p ).
\ ^ uq drw„.(q)(+\ i / vt-s„
(t) = Xtxo - £ HqB-1 (I - Q)y(q)(t) + Xt-sy(s)ds. (32)
q=0 o
Proceed to more general initial-final condition (13) and the Showalter-Sidorov condition (12). If we use these conditions, we can omit conditions on the initial value x0, and take it from the whole space X. Suppose that conditions (A1), (B) are satisfied. Construct a relatively spectral projectors [4]
Pfm = ¿ - / rfWdn, Qfm = J LA(B)dfi.
Y0 Y0
It turns out that under (A,p)-sectorial for some p G {0} U N and conditions (A1), (B) being fulfilled PfinP = PPfin = Pfin, QfinQ = QQfin = Qfin- So there exist projectors
Pin P Pfin, Qin Q Q finThen Yin = imQin, Yfin = imQfin-
Theorem 14. [14] Let the operator B be (A,p)-sectorial for some p G {0} U N and conditions (A1), (A2), (B) be satisfied. Then for any x0,xT G X and vector function y such that y0 = (I - Q)y G Cp([0, t]; Y0) n Cp+1((0,r); Y0), yin = Qiny G C([0,t]; Yin), yfin = Qfiny G C([0,t]; Yfin) there exists a unique classical solution to (13), (30), given by
p t
x(t) = - E + + /
q=0 0
T
t- T t- s
+Xf-nTXt -/ fyfin(s)ds,
where
Y0
Z\n = | (/lA - B)~le^dii - I (iiA- B)~le^dii
Y0
11
X%n = / Z%n = — (jjlA- B)-1^.
Y0
Corollary 3. Let the operator B be (A,p)-sectorial for some p G {0}UN, conditions (A1), (A2) be fulfilled and y G Cp((0, t); X) n Cp+1([0, t]; X). Then for any x0 G X there exists a unique classical solution to the Showalter-Sidorov problem (12), (30) given by (32).
Next, we consider the optimal control problem. Let now X, Y and U be Hilbert spaces. Similarly to Section 1, consider strong solutions to
AX = Bx + y + Cu. (33)
Definition 9. The vector-function x G H 1(X) = {x G L2(0,t; X) : x G L2(0,t; X)} is called a strong solution to (33), if it turns the equation to an identity almost everywhere on interval (0,t). A strong solution x = x(t) of (33) is called
- a strong solution of the Cauchy problem if ^lirn (x(t) — xo) = 0;
- a strong solution of the Showalter-Sidorov problem if ^lirn P(x(t) — x0) = 0;
- a strong solution of the initial-final problem if tlim+ Pin(x(t) — x0) = 0 and P/in(x(t) — xT ) = 0.
Similarly to Section 1, there exists a unique strong solution to the Cauchy problem (11), (30) [13]. This implies that the set of admissible pairs (x,u) is non-empty. When using the Cauchy condition, we pass to the consideration of the subspace of controls
o p+1 _
H (11) = {u G L2(0,t;H) : u{q) G L2(0, r; 11), u{q)(0) = 0,q = 0,p+l},p G {0} U N.
O p+i p+i
In the space H (U) we single out a closed convex subset Uad C H (U).
Theorem 15. [13] Let the operator B be (A,p)-sectorial for some p G {0} U N and conditions (A1), (A2) be fulfilled. Then for any y G Hp+1(Y), x0 G there exists a unique solution to the optimal control problem (11), (14), (33) with functional (20).
Proceed to consideration of more general initial-final condition (13) and the Showalter-Sidorov condition (12). Introduce the control space
Hp+1( 11) = {ue L2(0,t;H) : u(q) G L2(0, r; 11), q = 0,p+l},p G {0} U N
and select a closed convex subset Uad C Hp+1(U).
Theorem 16. [8] Let the operator B be (A, p)-sectorial for some p G {0}UN and conditions (A1), (A2), (B) be fulfilled. Then for any y G Hp+1(Y),
x0, xT G X there exists a unique solution to the optimal control problem (13), (14), (33) with functional (20).
Corollary 4. Let the operator B be (A, p)-sectorial for some p G {0} U N and conditions (A1), (A2) be fulfilled. Then for any y G Hp+1(Y), x0 G X there exists a unique solution to the optimal control problem (12), (14), (33) with functional (20).
4. Optimal Control in Sobolev-Type Models with Relatively p-Sectorial Operators
Optimal control in the Dzektzer model. Consider the Dzektser model (7), (8). For reducing problem (7), (8) to equation (33), put
X = {x G H'+2(H) : x(s) = 0,s G dft} , Y = U = H1 (Q), l = 0,1,...,
and define the operators A, B by the formulas
A = AI — A, B = «A — p A2 + y I, C = I.
Construct the set
domB = {x G H'+4(ft) : Ax(s) = 0, s G dft} n X.
By definition, the operator A G L(X; Y), and the operator B G Cl(X, Y)- The relative spectrum of the operator B is given by
a,(JJ) = f = a^Al + 7 ; A ^ ^
A - A,
where A,, are the same as in the Barenblatt-Zheltov-Kochina model.
Lemma 6. [13] For any a G R+ and ^,7, A G R such that either —A / a(A), or — A G a(A) and —A is not the root of the equation aa — ,5a2 + 7 = 0, the operator M is strongly (L, 0)-sectorial.
Consider the set
My = {x G X : (—aA + ^A2 — 7)(x, ^) = (y(0), pfc), A, = A} ,
where (•, •) is an inner product in L2(Q). Introduce the control space
o
H^U) = {u G L2(0, t; U) : U G ¿2(0, t; U),u(0) = 0}
o
and construct the penalty functional (20). Choose a closed and convex subset Uad C H:(U).
Theorem 17. [13] Let the conditions of Lemma 6 be satisfied. Then for any y G H:(Y) and x G My there exists a unique optimal control u G Uad of solutions to the Cauchy problem (11) for the model (7), (8), minimizing functional (20).
Optimal control in the Dzektser model on the graph. Let G = G(V; E) be a finite connected oriented graph, where V = {Vi} is a set of vertices, and E = {Ei} is a set of edge, and each edges Ei has the length li G R+ and the cross sectional area di G R+. On the graph G consider linear partial differential equations
Axjt xjtss fixjss axjssss + Txj + uj. (34)
We look for a solution to equation (34) on the graph G, satisfying the continuity conditions (3) and flow balance condition (4).
Reduce the mathematical model (3), (4), (34) to equation (33). Let A G R and define the operator A = AI — L, where L is defined by (25) and the space X, Y, U are the same as in the Hoff model on a graph. By construction the operator A G L(X; Y), and its spectrum a (A) = {A — v,}. Consider the set
dom B = {x G X : xj G H4(0, j) and xjss(0,t) = x,ss(0, t) = xmss(lm, t) = x„ss(ln, t), Ej, E, G Ea(Vi),Em,En G Ew(Vi);
Y, dj xjsss (0, t) — E d, x,sss (1, ,t) = 0}.
Ej £Ea(Vi) EkeE" (Vi)
Further, the formula W : v ^ (v1ssss, v2ssss,..., Vjssss,...) defines the operator W G L(dom B; Y) and a(W) = {v|}. Take ^,7, A G R and define an operator B = —^W + aL + 7I. By construction B G Cl(X; Y)- Let aA(B) = a£n(B) U f(B), aim(B) H aAm(B) = 0- Then condition (13) takes the form
lim v <(x(t) — xo),^fc) = 0, y^ <(x(t) — xr),^fc) = 0, (35) Mk ea£(B) v-k e^A (B)
20 Bulletin of the South Ural State University. Ser. Mathematical Modelling, Programming
& Computer Software (Bulletin SUSU MMCS), 2020, vol. 13, no. 1, pp. 5-27
where , are the same as in the Hoff model on a graph. Thus, we reduced problem (3), (4), (34), (35) to problem (13), (33). Introduce the space
H 1(U) = {u = (ui,u2,...uj,...) : u- G L2(0,T ; (0, ))}.
Single out a closed convex subset Uad C H 1(U). Construct the operators
ч
(Nqu(q),u(q)> dj i j(ujq))2ds,
Ej eE ^
0
where Kjq are positive numbers.
Theorem 18. Let the conditions of Lemma 6 be satisfied. Then for any т G R+, x0, xT G X there exists a unique optimal control u G Uad of solutions to the initial-final problem (35) for the model (3), (4), (34), minimizing functional (20).
5. Relatively p-Radial Operators
In this section, definitions and results of the theory of relatively radial operators are given [3, Ch. 2]. Let X, Y,U be Banach spaces, and the operators A G L(X; Y), B G C/(X; Y), C G L(Y; U).
Definition 10. The operator B is called p-radial for some p G {0} U N, with respect to operator A ((A,p)-radial), if
(i) 3aG R Vp > a p G pA(B);
(ii) 3K > 0 Vp = (p0,pb ...,pP) G (a, Vn G N
K
тах{||(ДА)Р)(В)Г||£(Х), ||(^)Р)(В)П1/:©)} < --•
П (Pk - a)n
fc=0
Whereof, we assume that the operator B is (A,p)-radial for some p G {0} U N. Put X0 = ker R^ p) (B), Y0 = ker L^ p) (B). By A0 denote the restriction of the operator A on X0, and by B0 denote the restriction of the operator B on X0 П domB.
Theorem 19. [3, Ch. 2] Let the operator B be (A, p)-radial for some p G {0} U N. Then
(i) the operator A0 G L(X0; Y°) and the operator B0 G C/(x0; Y°)/
(ii) there exists the operator B-1 G L(Y0; X0);
(iii) the operator H = B-1A0 G L(X0) is nilpotent with degree less than or equal to p.
Let X1 be the closure of the lineal im R^ p) (B), and Y1 be the closure of the lineal im ¿A p) (B). Let XX be the closure of the lineal X0+imRA p)(B) in the norm of the space X, and Y be the closure of the lineal Y0+imLA p) (B) in the norm of the space Y. By A1 denote the restriction of the operator A on X1, and by B1 denote the restriction of the operator B on X1 П domB.
Theorem 20. [3, Ch. 2] Let the operator B be (A, p)-radial for some p G {0} U N. Then there exists a uniformly bounded and strongly continuous resolving semigroup of equation
(30) on the subspace X (Y) given by
X4
s- lim
k^-œ
A—kB
-1
L
s- lim ( -Ri{B)
k—>oo \ t t
Y4
s- lim
k^-œ
AU--kB
-i
s- lim ( 'iLi{B)
k—>oo \ t t
Similarly to Section 3, we introduce the conditions (A1), (A2), (B). Whereof, we assume that conditions (A1), (B) are fulfilled, then construct projectors [4]
1
5¡Tri
^ = — /
1
Q/m = 2™ /
There exist projectors
Pin P P/in, Qin Q Q/i
Let Xn/m) = imPin(/in), Yn/m) = imQin(/in) • By Aira(/ira) denote the restriction of the operator A on subspace Xin(/in), by Bin(/in) denote the restriction of the operator B on subspace Xin(/in) H dom B. Similarly to Section 3 actions of the operators split, i.e. the
°perator Am(/m) G L(Xln(/in); Yln(/in)); the operators A-n(/in) G L(Yin(/гn), Bin(/in) G Cl(Xin(/in); Yin(/in)); Xin(/in)) exist.
Theorem 21. [16] Let the operator B be (A,p)-radial for some p G {0}UN and conditions (A1), (A2), (B) be fulfilled. Then for all x0, xT G X and the vector function y : [0,t] ^ Y, such that y0 = (I - Q)y G Cp+1([0,r]; Y0), y*, = Qmy G C([0,t]; Yin), y}m = Q/iny G C([0,t]; Y/in) there exists a unique classical solution x G C([0,t]; X) H C1 ((0,t); X) of (13), (30) given by
p rfq /" t
x(t) = - y°(t)+Xtmx0+ I Ffa'yltfds + Xfcxr-
q=0
where
- Jt R/i™y/in(s)ds>
(36)
R/in
2ni
(pA/in-B/in)-V4dp, R
t
in
s- lim
fc^œ
Bjr
-1
A
Bm
-1
Let X, Y, U be Hilbert spaces. Consider the control space Hp+1(U) = {u G L2(0,t; U) : u(p+1) G L2(0, t; U)}. Choose the closed and convex subset Uad in the space Hp+1(U), which is called the set of admissible controls.
Theorem 22. [16] Let the operator B be (A,p)-radial for somep G {0}UN and conditions (Al), (A2), (B) be fulfilled. For all y G Hp+1(Y), Xo, xT G X there exists a unique optimal control of solutions of problem (13), (33).
k
k
k
T
1
6. Optimal Control in Sobolev-type Models with a Relatively p-Radial Operator
o
Optimal control in the Chen-Gurtin model. Define the spaces X = H2(Q)P| H 1(Q), Y = L2(Q) and U = L2(Q). Reduce (7), (9) to equation (33). Fix v, d, A G R, define the operators A = AI — A, B = vA — idA2, where A is the Laplace operator. The operator A G L(X; Y), and the operator B G Cl(X; Y) with domB = {x G H4(Q) : Ax(s,t) = x(s,t) = 0, s G dQ}.
Lemma 7. [16] For any v, A, d G R the operator B is strongly (A, 0)-radial. The A-spectrum of operator B consists of all points of the form
aA(B) = ^keC: f,k= if k : Afc ^ A
where A,, are the same as in the Barenblatt-Zheltov-Kochina model. Thus 2)° = span{(/?fc : Afc = A}, Y1 = span{(/?fc : \k ^ A}. If the A-spectrum of operator B is represented in the form of two components, which do not intersect and condition (B) is fulfilled, then (13) takes the form
lim V" <(x(t) — xo),^fc) ^fc = 0, V" <(x(t) — xr),^fc) ^fc = 0, (37) t^o+ —' —'
Mk eafn (B) Mk ef (B)
where <•, •) is an inner product in L2(Q).
Let us proceed to the research of the optimal control problem (7), (9), (14), (37). Define U = L2(Q) and the operators C = I. Take a closed convex set H 1(U). From Theorem 22 and Lemma 7 we have the following result.
Theorem 23. [16] Let the conditions of Lemma 7 be satisfied. Then for any t G R+, xo, xT G X there exists a unique optimal control u G Uad of solutions to the initial-final problem (37) for the model (7), (9), minimizing functional (20).
Conclusion
The article presents a review of results devoted to optimal control problems for linear Sobolev type equations with the Cauchy (Showalter-Sidorov) initial conditions or the initial-final conditions obtained by scientific school headed by Professor G.A. Sviridyuk. Abstract results in relatively bounded, sectorial and radial cases, allowing to study a wide class of non-classical models of mathematical physics are presented. Note that these results and methods have found applications in solving various problems, in particular, in the study of degenerate balance models (Leontief type models), as well as in finding the optimal dynamic measurements [34-36]. In addition, these results formed the basis of the study of optimal control problems for the non-autonomous linear Sobolev type equations [17], including the multipoint initial-final conditions [37-39], and were developed to the semi-linear case [9]. At present, there is an active extension of objects and methods of Sobolev type equations theory. Abstract results are transferred to the case of quasi-Banach spaces, stochastic Sobolev type equations [35,36,40,41]. The study of positive solutions has started.
Acknowledgment. The authors express their sincere gratitude to Professor G.A. Svi-ridyuk for useful consultations, constructive criticism and opportunities provided.
References
1. Barenblatt G.I., Zheltov Yu.P., Kochina I.N. Basic Concepts in the Theory of Seepage of Homogeneous Fluids in Fissurized Rocks. Journal of Applied Mathematics and Mechanics, 1960, vol. 24, no. 4, pp. 1268-1303. DOI: 10.1016/0021-8928(60)90107-6
2. Sviridyuk G.A., Efremov A.A. Optimal Control Problem for One Class of Linear Sobolev Type Equations. Russian Mathematics, 1996, vol. 40, no. 12, pp. 60-71.
3. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht; Boston; Köln; Tokyo, VSP, 2003. DOI: 10.1515/9783110915501
4. Zagrebina S.A. The Initial-Finite Problems for Nonclassical Models of Mathematical Physics. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2013, vol. 6, no. 2, pp. 5-24. (in Russian)
5. Hoff N.J. Creep Buckling. Journal of the Aeronautical Sciences, 1956, no. 7, pp. 1-20. DOI: 10.1017/S0001925900010106
6. Sviridyuk G.A., Shemetova V.V. Hoff Equations on Graphs. Differential Equations, 2006, vol. 42, no. 1, pp. 139-145. DOI: 10.1134/S0012266106010125
7. Sviridyuk G.A., Kazak V.O. The Phase Space of an Initial-Boundary Value Problem for the Hoff Equation. Mathematical Notes, 2002, vol. 71, no. 1-2, pp. 262-266. DOI: 10.4213/mzm347
8. Manakova N.A., Dyl'kov A.G. Optimal Control of the Solutions of the Initial-Finish Problem for the Linear Hoff Model. Mathematical Notes, 2013, vol. 94, no. 2, pp. 220-230. DOI: 10.1134/S0001434613070225
9. Sviridyuk G.A., Manakova N.A. An Optimal Control Problem for the Hoff Equation. Journal of Applied and Industrial Mathematics, 2007, no. 2, pp. 247-253. DOI: 10.1134/S1990478907020147
10. Zamyshlyaeva A.A., Tsyplenkova O.N. Optimal Control of Solutions of the Showalter-Sidorov-Dirichlet Problem for the Boussinesq-Love Equation. Differential Equations, 2013, vol. 49, no. 11, pp. 1356-1365. DOI: 10.1134/S0012266113110049
11. Zamyshlyaeva A.A., Bychkov E.V., Tsyplenkova O.N. Mathematical Models Based on Boussinesq-Love Equation. Applied Mathematical Sciences, 2014, vol. 8, pp. 5477-5483. DOI: 10.12988/ams.2014.47546
12. Dzektser E.S. [The Generalization of the Equations of Motion of Groundwater]. Dokl. Akad. Nauk SSSR, 1972, no. 5, pp. 1031-1033. (in Russian)
13. Sviridyuk G.A., Efremov A.A. Optimal Control of Sobolev Type Linear Equations with Relativity p-Sectorial Operators. Differential Equations, 1995, vol. 31, no. 11, pp. 1882-1890.
14. Manakova N.A., Dyl'kov A.G. Optimal Control of Solutions of the Initial-Finish Value Problem for a Evolutionary Models. Yakutian Mathematical Journal, 2012, vol. 19, no. 2, pp. 111-127. (in Russian)
15. Chen P.J., Gurtin M.E. On a Theory of Heat Conduction Involving Two Temperatures. Zeitschrift für angewandte mathematik und physik, 1968, vol. 19, pp. 614-627. DOI: 10.1007/BF01594969
16. Manakova N.A., Sviridyuk G.A. An Optimal Control of the Solutions of the InitialFinal Problem for Linear Sobolev Type Equations with Strongly Relatively p-Radial Operator. Springer Proceedings in Mathematics and Statistics, 2015, vol. 13, pp. 213-224. DOI: 10.1007/978-3-319-12145-1_13
17. Sagadeeva M.A., Zagrebina S.A., Manakova N.A. Optimal Control of Solutions of a Multipoint Initial-Final Problem for Non-Autonomous Evolutionary Sobolev Type Equation. Evolution Equations and Control Theory, 2019, vol. 8, no. 3, pp. 473-488. DOI: 10.3934/eect.2019023
18. Demidenko G.V., Uspenskii S.V. Partial Differential Equations and Systems Not Solvable with Respect to the Highest-Order Derivative. N.Y., Basel, Hong Kong, Marcel Dekker, 2003. DOI: 10.1201/9780203911433
19. Favini A., Yagi A. Degenerate Differential Equations in Banach Spaces. N.Y., Basel, Hong Kong, Marcel Dekker, 1999. DOI: 10.1201/9781482276022
20. Sviridyuk G.A. [The Manifold of Solutions of an Operator Singular Pseudoparabolic Equation]. Dokldy Akademii Nauk SSSR, 1986, vol. 289, no. 6, pp. 1315-1318. (in Russian)
21. Al'shin A.B., Korpusov M.O., Sveshnikov A.G. Blow-up in Nonlinear Sobolev Type Equations. De Gruyter, 2011. DOI: 10.1515/9783110255294
22. Showalter R.E. The Sobolev Equation. Applicable Analysis, 1975, vol. 5, no. 1, pp. 15-22; vol. 5, no. 2, pp. 81-89. DOI: 10.1080/00036817508839103
23. Sviridyuk G.A., Zagrebina S.A. The Showalter-Sidorov Problem as a Phenomena of the Sobolev-Type Equations. The Bulletin of Irkutsk State University. Series: Mathematics, 2010, vol. 3, no. 1, pp. 104-125. (in Russian)
24. Keller A.V., Zagrebina S.A. Some Generalizations of the Showalter-Sidorov Problem for Sobolev-Type Models. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2015, vol. 8, no. 2, pp. 5-23. (in Russian) DOI: 10.14529/mmp150201
25. Sviridyuk G.A., Zagrebina S.A. Verigin's Problem for Linear Equations of the Sobolev Type with Relatively p-Sectorial Operators. Differential Equations, 2002, vol. 38, no. 12, pp. 1745-1752. DOI: 10.1023/A:1023812213901
26. Sviridyuk G.A., Efremov A.A. Optimal Control for a Class of Degenerate Linear Equations. Doklady Akademii Nauk, 1999, vol. 364, no. 3, pp. 323-325.
27. Fedorov V.E., Plekhanova M.V. Optimal Control of Sobolev Type Linear Equations. Differential Equations, 2004, vol. 40, no. 11, pp. 1627-1637. DOI: 10.1007/s10625-004-0013-1
28. Fedorov V.E., Ruzakova O.A. Controllability in Dimensions One and Two of Sobolev-Type Equations in Banach Spaces. Mathematical Notes, 2003, vol. 74, no. 3-4, pp. 583-592. DOI: 10.1023/A:1026160314352
29. Zamyshlyaeva A.A. The Higher-Order Sobolev-Type Models. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2014, vol. 7, no. 2, pp. 5-28. (in Russian)
30. Zamyshlyaeva A.A., Tsyplenkova O.N. Optimal Control of Solutions to Cauchy Problem for Sobolev Type Equation of Higher Order. Journal of Computational and Engineering Mathematics, 2014, vol. 1, no. 2, pp. 62-67.
31. Zamyshlyaeva A.A., Tsyplenkova O.N., Bychkov E.V. Optimal Control of Solutions to the Initial-Final Problem for Sobolev Type Equation of Higher Order. Journal of Computational and Engineering Mathematics, 2016, vol. 3, no. 2, pp. 57-67. DOI: 10.14529/jcem1602007
32. Bayazitova A.A. The Sturm-Liouville Problem on Geometric Graph. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2010, no. 16 (192), issue 5, pp. 4-10. (in Russian)
33. Fedorov V.E [About Some Relations in the Theory of Degenerate Operator Semigroups]. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2008, no. 15 (115), issue 7, pp. 89-99. (in Russian)
34. Shestakov A.L., Keller A.V., Nazarova E.I. Numerical Solution of the Optimal Measurement Problem. Automation and Remote Control, 2012, vol. 73, no. 1, pp. 97-104. DOI: 10.1134/S0005117912010079
35. Keller A.V., Shestakov A.L., Sviridyuk G.A., Khudyakov Y.V. The Numerical Algorithms for the Measurement of the Deterministic and Stochastic Signals. Springer Proceedings in Mathematics and Statistics, 2015, vol. 113, pp. 183-195. DOI: 10.1007/978-3-319-12145-1_11
36. Shestakov A.L., Sagadeeva M.A. Stochastic Leontieff-Type Equations with Multiplicative Effect in Spaces of Complex-Valued Noises. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2014, vol. 7, no. 4, pp. 132-139. DOI: 10.14529/mmp140412
37. Zagrebina S.A., Soldatova E.A., Sviridyuk G.A. The Stochastic Linear Oskolkov Model of the Oil Transportation by the Pipeline. Springer Proceedings in Mathematics and Statistics, 2015, vol. 113, pp. 317-325. DOI: 10.1007/978-3-319-12145-1_20
38. Sviridyuk G.A., Zagrebina S.A., Konkina A.S. The Oskolkov Equations on the Geometric Graphs as a Mathematical Model of the Traffic Flow. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2015, vol. 8, no. 3, pp. 148-154. DOI: 10.14529/mmp1503010
39. Zagrebina S.A., Konkina A.S. The Multipoint Initial-Final Value Condition for the Navier-Stokes Linear Model. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2015, vol. 8, no. 1, pp. 132-136. DOI: 10.14529/mmp150111
40. Favini A., Sviridyuk G.A., Sagadeeva M.A. Linear Sobolev Type Equations with Relatively p-Radial Operators in Space of "Noises". Mediterranean Journal of Mathematics, 2016, vol. 13, no. 6, pp. 4607-4621. DOI: 10.1007/s00009-016-0765-x
41. Favini A., Zagrebina S.A., Sviridyuk G.A. Multipoint Initial-Final Value Problems for Dynamical Sobolev-Type Equations in the Space of "Noises". Electronic Journal of Differential Equations, 2018, vol. 2018, no. 128, pp. 1-10.
Received December 11, 2019
УДК 517.9 DOI: 10.14529/mmp200101
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ В ЛИНЕЙНЫХ МАТЕМАТИЧЕСКИХ МОДЕЛЯХ СОБОЛЕВСКОГО ТИПА
А.А. Замышляева1, Н.А. Манакова1, О.Н. Цыпленкова1
1 Южно-Уральский государственный университет, г. Челябинск, Российская Федерация
В статье представлен обзор работ челябинской математической школы по уравнениям соболевского типа при исследовании задачи оптимального управления для линейных моделей соболевского типа с начальным условием Коши (Шоуолтера - Сидорова)
или начально-конечным условием. Для выявления непустоты множества допустимых решений задачи управления используется уже хорошо зарекомендовавший себя при решении уравнений соболевского типа метод фазового пространства, заключающийся в редукции сингулярного уравнения к регулярному, определенному на некотором подпространстве исходного пространства и применении теории вырожденных (по-лу)групп операторов на случай относительно ограниченных, секториальных и радиальных операторов. В работе проводится редукция математических моделей к начальным (начально-конечным) задачам для абстрактного уравнения соболевского типа. Абстрактные результаты применены к исследованию задач управления для математической модели Баренблатта - Желтова - Кочиной, которая моделирует фильтрацию жидкости в трещинновато-пористой среде, модели Хоффа на графе, моделирующей динамику выпучивания двутавровых балок в конструкции, а также модели Буссинеска - Лява, описывающей продольные колебания в тонком упругом стержне с учетом инерции и при внешней нагрузке, либо распространения волн на мелкой воде.
Ключевые слова: уравнения соболевского типа; сильные 'решения; оптимальное управление; фазовое пространство; модель Баренблатта - Желтова - Кочиной; модель Хоффа; модель Буссинеска - Лява; модель Девиса; модель Чена - Гетина.
Алена Александровна Замышляева, доктор физико-математических наук, профессор, кафедра «Прикладная математика и программирование:», ЮжноУральский государственный университет (г. Челябинск, Российская Федерация), zamyshliaevaaa@susu.ru.
Наталья Александровна Манакова, доктор физико-математических наук, доцент, кафедра «Уравнения математической физики», Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), manakovana@susu.ru.
Ольга Николаевна Цыпленкова, кандидат физико-математических наук, кафедра «Уравнения математической физики», Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), tcyplenkovaon@susu.ru.
Поступила в редакцию 11 декабря 2019 г.
