Научная статья на тему 'Sobolev type mathematical models with relatively positive operators in the sequence spaces'

Sobolev type mathematical models with relatively positive operators in the sequence spaces Текст научной статьи по специальности «Математика»

CC BY
123
23
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
SOBOLEV SEQUENCE SPACES / SOBOLEV TYPE MODELS / DEGENERATE POSITIVE HOLOMORPHIC GROUPS OF OPERATORS / СОБОЛЕВЫ ПРОСТРАНСТВА ПОСЛЕДОВАТЕЛЬНОСТЕЙ / МОДЕЛИ СОБОЛЕВСКОГО ТИПА / ВЫРОЖДЕННЫЕ ПОЗИТИВНЫЕ ГОЛОМОРФНЫЕ ГРУППЫ ОПЕРАТОРОВ

Аннотация научной статьи по математике, автор научной работы — Solovyova N.N., Zagrebina S.A., Sviridyuk G.A.

In the sequence spaces which are analogues of Sobolev function spaces we consider mathematical model whose prototypes are Barenblatt Zheltov Kochina equation and Hoff equation. One should mention that these equations are degenerate equations or Sobolev type equations. Nonexistence and nonuniqueness of the solutions is the peculiar feature of such equations. Therefore, to find the conditions for positive solution of the equations is a topical research direction. The paper highlights the conditions sufficient for positive solutions in the given mathematical model. The foundation of our research is the theory of the positive semigroups of operators and the theory of degenerate holomorphic groups of operators. As a result of merging of these theories a new theory of degenerate positive holomorphic groups of operators has been obtained. The authors believe that the results of a new theory will find their application in economic and engineering problems.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Sobolev type mathematical models with relatively positive operators in the sequence spaces»

DOI: 10.14529/mmph170404

SOBOLEV TYPE MATHEMATICAL MODELS WITH RELATIVELY POSITIVE OPERATORS IN THE SEQUENCE SPACES

N.N. Solovyova, S.A. Zagrebina, G.A. Sviridyuk

South Ural State University, Chelyabinsk, Russian Federation

E-mail: zargebinasa@susu.ru

In the sequence spaces which are analogues of Sobolev function spaces we consider mathematical model whose prototypes are Barenblatt - Zheltov -Kochina equation and Hoff equation. One should mention that these equations are degenerate equations or Sobolev type equations. Nonexistence and nonuniqueness of the solutions is the peculiar feature of such equations. Therefore, to find the conditions for positive solution of the equations is a topical research direction. The paper highlights the conditions sufficient for positive solutions in the given mathematical model. The foundation of our research is the theory of the positive semigroups of operators and the theory of degenerate holomorphic groups of operators. As a result of merging of these theories a new theory of degenerate positive holomorphic groups of operators has been obtained. The authors believe that the results of a new theory will find their application in economic and engineering problems.

Keywords: Sobolev sequence spaces; Sobolev type models; degenerate positive holomorphic groups of operators.

Introduction

The Barenblatt-Zheltov-Kochina equation [1]

(A-A)ut = aAu +f (1)

simulates the pressure dynamics of the fluid filtered in fractured porous media. Besides, the equation (1) simulates processes of moisture transfer in a soils [2] and processes of the solid-to-fluid thermal conductivity in the environment with two temperatures [3]. Note that the required function u = u( x, t) must be nonnegative, that is u > 0 by physical necessity. The Hoff equation [4]

(A, + A)ut =au +f (2)

simulates the H-beam buckling under the influence of high temperatures. The case is also most interesting when the required functionu = u(x,t) is nonnegative.

Consider both equations as special cases of Sobolev type mathematical model such as

Lut= Mu + f (3)

given in Sobolev sequence spaces

( ^ mq N

Jffl _

lq ~

■k2 Ы

, m e

: [1, +~).

= K }: X

k=0

\ / Here L = L(A) and M = M(A) is polynomials with real coefficients, and their degrees satisfy the relation

deg L > deg M ; (4)

A is transfer of the Laplace operator A to spaces l^1, a {Xk :Xk e M+} is monotonically increasing

sequence such as lim Xk =+°o.

k

The peculiarities of our approach will be, firstly, the active use of the theory of bounded operators and the degenerate holomorphic groups of operators generated by them [5, ch. 3]. Secondly, we apply the theory of positive groups of operators, defined on Banach lattices [6, ch. 2 and 3], to lay the foundations of the theory of positive degenerate holomorphic groups of operators whose phase spaces are Banach lattices. Thirdly, we consider the concrete mathematical model (3) in Sobolev sequence spaces lmq , m e M, q e [1, , which can be interpreted as the space of Fourier coefficients of solutions

of initial-boundary value problems for equations of the form (1) or (2). Let us note the difference between our approach and the ideas and methods proposed in [7].

The foundations of the theory of degenerate positive groups of operators theory are laid in the first part of the article, which are generated by relatively positively bounded operators. The degenerate positive holomorphic groups of operators obtained are applied to the study of the Cauchy problem solvability for the homogeneous (that is f(t) = 0) abstract equation (3). The initial value is taken from the phase space of such an equation. In the second part, the solvability of the Showalter-Sidorov problem [8] for the abstract nonhomogeneous equation (3) was studied. Sufficient conditions are obtained for the existence of a positive solution of this problem. Abstract results are applied to a mathematical model of the form (3), where L = L(A) and M = M(A) are polynomials with real coefficients. It is noted that the Barenblatt-Zheltov-Kochina equation for Xa e R+ satisfies the sufficient conditions found, and therefore the initial-boundary value problem can have non-negative solutions. The final part of the article outlines directions for further possible research. The list of literature does not pretend to be complete and reflects only the tastes and preferences of the authors.

1. Degenerate positive holomorphic groups of operators

Let U and F be Banach spaces, operators LeL(U;F) (i.e. linear and continuous),

Me Cl(U;F) (i.e. linear, closed and densely defined). Sets pL(M) = {je C:(¡jL-M)-1 e L(f;U)}

and aL (M) = C \ pL (M) are called resolvent set and L -spectrum of operator M respectively. Operator M is (L, s) -bounded if

$ ae M+" je C (| j|> a) ^(me pL(M)). If operator M is (L,0) -bounded, then operators P, Q are the projectors

P = 2" JK (M)dje L(U), Q = 2-JLL (M)dje L(F).

g g

Here Rl (M) = ( jL - M) L is called a right resolvent, and Lj (M) = L ( ¡j L - M) is is called a left resolvent of operator M ; contour y = {¡j e C: \ ¡j \ = r>a} . Here and below, loop integrals are understood in the sense of Riemann. We consider subspaces U0 = ker P, U1 = im P, F0 = ker Q, F1 = im Q; and denote operator of the contraction L (M) on U k (Uk n dom M) by Lk (Mk), k = 0,1. Theorem 1.1. Let operator M be (L,s) -bounded. Then

(i) operators Lk e L(Uk;Fk), k = 0,1; and there exist the operator L— e L(f 1;U1);

(ii) operators Mk e Cl(Uk;Fk), k = 0,1; and there exist the operator Me L(f0 ;U0).

Let operator Mbe (L,a)-bounded, construct the operator H=M(-1L0 e L(u0). Operator M is

called (L,p)-bounded, pe N, ((L,0) -bounded) if Hp * O, and Hp+1 = O(H = O). Let operator M be (L, p) -bounded, p e {0} u N, we consider the equation

Lu = Mu. (5)

Vector function u = u(t), t e M , is solution of equation (5) if it satisfies this equation. Decision u = u(t) is called solution of the Cauchy problem

u(0) = u0 , (6)

if it satisfies condition (6) at some u0 e U . The set P c U is phase space of equation (5) if its any solution u (t)eP at each te M ; and for any u0 e P there exists a unique solution u e C1 (M;U) of problem (6) for equation (5). Finally, we introduce a degenerate (if ker L *{0}) holomorphic (in the whole plane C) group of operators

Solovyova N.N., Zagrebina S.A., Sobolev Type Mathematical Models with Relatively

Sviridyuk G.A. Positive Operators in the Sequence Spaces

U' J Rl (M) et e C.

g

notice, that U0 = P , where ker P зker L .

Theorem 1.2. Let operator M be(L,p) -bounded, pe {0} u N. Then

(i) any solution u e C1 (M;U) of equation (5) has the form u(t) = U'u0 , t e M, and some u0 eU ;

(ii) the phase space of equation (5) is subspace U1.

Thus, under the conditions of the theorem 1.2 L -resolvent (*L-M) 1 of operator M in the ring |*| > a decomposes into a Laurent series

(ml -M )-1 = £ m skQ - £ mkHk M- (I - Q) ,

k=1 к=0

where operators S = L-1 M1 e L (U1), H = M0-1 L0 e L(U0). Hence the resolving degenerate group U* of equation (5) is as follows

U' = (I-Q)+eStQ,

where

eSt = P J(* I - S) e"df = £ ^

2Pi g к=0 к !

is the group of operators of equation (5), given on the phase space U1 .

Next, we give an order relation " > ", compatible with both vector and metric structures, to U1 . In other words, we assume that (U1;>) is a Banach lattice. Recall those properties of Banach lattices, which will prove useful to us in the future. An arbitrary set X is called ordered if on XxX there is the relation of order >, which satisfies the following axioms: (io) x > x for each x e X ;

(iio) (x > y )a( y > x) ^ (x = y) for any x, y e X; (iiio) (x > y )a( y > z) ^ (x > z) for any x, y,z e X. An ordered vector space X is called Riesz space if in addition, the following axioms are satisfied: (ivo) (x > y) ^ (x + z > y + z) for all x, y,z e X .

(vo) (x > y) ^(ax > ay) for all x, y e X and each a e {0} u M+ . The Riesz space X is called functional Riesz space if u v v, u a v eX for any u, v e X . Here (u v v)(x) = max(u (x), v(x)), (u a v) (x) = min{u(x),v(x)}.

The spaces C(W), C(W), where Wc Шn is a domain, and spaces lq , where qe [1, +¥ are the

classical functional Riesz spaces examples. In these examples u v v, u a v are defined pointwise, but if measure is given on W , and It is possible to define these elements almost everywhere, then the Lebes-gue spaces Lq (W), q e [1, +¥ can be assigned to the to the functional Riesz spaces.

In the Riesz function space, the following elements can be defined u+= max{u,0}, and u- = min{-u,0}, so that u = u+- u-, and there is another element \u\ = u++u- If norm ||-|| is given on the Riesz functional space X and satisfies the axiom

(vio) (|u| > |v|) ^(||u||x > ||v||x ) for all u, ve X, then we call the Riesz function space X normed Riesz function space. A complete normed functional space is called a Banach lattice. Spaces C(W),C (W) and Lq (W) with the qualifications specified

above, as well as space lq , where domain W c M", q e [1, +¥ are examples of Banach lattices. Further, let X is vector space. Convex set C c X we call a cone if

Вестник ЮУрГУ. Серия «Математика. Механика. Физика» 29

2017, том 9, № 4, С. 27-35

(ic) C + C c C;

(iic) aC c C for any a e {0} u M+; (iiic) Cn(-C) = {0}. The cone C is called generative if

(ivc) C - C = X . Now let X is Riesz space. We construct the set

X+ ={xe X: x >0}.

Proposal 1.1. Let X be a vector space, C c X is generative cone. Then X is Riesz space, where relative > is given by

(x>y)o (x-ye C). Proposal 1.2. Let X be Riesz space, then X+ is generative cone.

Let X be Banach lattice with generative cone X+ . Linear bounded operator A e L(X) is positive if Au > 0 for all u e X+. Holomorphic group of operators X* ={X* : X' e L (X) for all t e m} is called

positive if X'u > 0 for all u e X+ and t e M .

Proposal 1.3. Holomorphic group X' is called exactly positive when its generator is positive

A = ( X* ) .

V ' t=0

Finally, let us return to the abstract problem (5), (6). We will be interested in its positive solution u = u(t), i.e. such that u(t)>0 for all teM. Therefore, we consider the phase space of equation (5) U1

Banach lattice, generated by a cone U+ . (L, p) -bounded operator M is positive (L, p) -bounded, p e{0}u N if Su e U+ for any u e U+. The degenerate holomorphic group U' eC¥ (M;L(U)), generated (L, p) -by positive operator M is called a degenerate positive holomorphic group.

Theorem 1.3. Let operator M is positive (L,p) -bounded, p e {0} u N . Then for any u0 e U+ there is the unique positive solution u = u (t), t e M, of problem (5), (6), and it has the form u(t) = Stu0 .

2. Mathematical model in sequence spaces

Let U h F be Banach spaces, operators Le L(U;F), Me Cl(U;F), and operator Mis(L,p)-

bounded, p e {0} u N . Consider a linear inhomogeneous equation of Sobolev type

L u =Mu +f . (7)

Vector function u e C ([0,r);U )n C1 (( 0,t ) ;U), t e R+, is called solution of equation (7) if it satisfies this equation for some f = f (t). The solution u = u(t) of equation (7) is called solution of the Showalter - Sidorov problem [9]

lim P(u(t)-u0) = 0, (8)

i®0+ '

if it also satisfies the initial condition (8). Here P:U ®U1 along U0 is projector. Further, let U be a Banach lattice generated by the cone U+ . The solution u = u(t) of problem (7), (8) is positive if u(t)eU+ for any te [0,t).

We will be interested in the conditions under which the solution u = u(t) of problem (7), (8) is positive. Let F be also be a Banach lattice generated by a cone F+ . If operator M is (L,p) -bounded, p e {0} u N, then it is not difficult to show that the subspaces Uk and Fk , k = 0,1, are also Banach

lattices generated by cones U+r= Uk nU+ and F+ =Fk nF+, k = 0,1, respectively. (L,p)-bounded operator M is called strongly positive if

Solovyova N.N., Zagrebina S.A., Sobolev Type Mathematical Models with Relatively

Sviridyuk G.A. Positive Operators in the Sequence Spaces

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(ip) operator L0: U+ ® F+0 , and operator L^ : U+ ® F+ is a toplinear isomorphism; (iip) operator M1: U+ n domM ® F+ and operator M0: U+ n dom M ® F+0 , and M-1 F+0 c U+. It is easy to see that strongly positive (L, p) -bounded operator M is positive (L, p) -bounded , pe {0} u N . Let be f = (I - Q)f+Qf = f0 + f1, where Q: F ® F1 is projector along F0 .

Theorem 2.1. Let U be a Banach lattice and operator M is strongly positive (L, p) -bounded, pe {0} u N. Then for any vector functions f\0,xF such that

f0 e CP+1 (( 0,t ) ;F°) ,-f0(k)( t )eF+0, k = 0, p +1, t e (0,t) , f1 e C ([0,t );F+), and for any vector

u0 eU, such that u\ e U+ there exists the unique positive solution u = u(t), which also has the form

t(t) = - X Hk M -1 f0(к) (t ) + U\ + jU ~-T- f1 (t) dt.

к=0 0

dk _

Here f0(k) (t) = —- f 0(t), k = 0,p +1. Proof of the theorem 2.1 does not differ fundamentally from

dtk

the proof of the theorem 5.1.1 [5]. We check the positivity of the resulting solution for the reader. We also note that condition -f0(k )(t )e F+0, t e (0,t), k = 0, p +1, seems difficult, so here is an example: f 0(t)=-eatf0 , where ae M +, f0 eF+0.

We consider Sobolev sequence spaces lm , m e R, q e [1, +¥ . First of all, we note that these spaces are Banach spaces with the norm

u

mq \

Xl2 к=1

Then pay attention to dense and continuous investments I'" I" at m>n. (The proof of this fact is left to the reader). Finally, we set operator Lu = (1kuk), where u = (uk). We show that operator Ae L (/qm+Vqm). Indeed,

Л u

iim,q

^ mq ^

^ ^r+q

Xl2 u

1

q

m+2, q '

k=1

V

Let's construct operators L = L(L) and M = M (A), where L(s) and M (s) are polynomials with real (for simplicity) coefficients. If the condition (4) is satisfied, that operators L, M e L(lm+degL ;lm), m e R, q e [1, +~). Indeed, ||u|m+deg l, q \4m+deg M, q , u e lqm+deg L , m e R, q e [1, +^). Hence, by the

continuity of the embedding l™+degL " /™dcs'l/ follows the truth of what has been said.

Lemma 2.1. Let

(i) the condition (4) is satisfied;

(ii) polynomials L = L(s) and M = M(s) have only real roots and have no common roots. Then operator Mis (L,0) -bounded.

Before proceeding with the proof of this assertion, we make a number of remarks. At first, let operators L, M e L (U ;F), where U and F are Banach spaces. If there exists a vector y eU such that

My = Lp, where the vector y e kerL \{0}, then it is called the adjoint vector of operator L. Secondly, operator A e L (U;F) is called Fredholm operator, if dim ker A = codim im A . Third, the proof of Lemma 2.1 will be based on the following assertion, which is a particular case of Theorem 4.6.1 [5].

q

u

к

Proposal 2.1. Let be operators L, M e L(U;F), and operator L is Fredholm operator. Then the following statements are equivalent:

(i) operator Mis (L,0) -bounded;

(ii) operator L does not have associated vectors.

We proceed to the proof of the lemma 2.1. Fredholmism of operator L = L(A) is obvious. Let polynomial L = L(s) has no real roots. Then kerL (A) ={0}, means operator L does not have associated vectors. If polynomial L = L(s) has real roots, then kerL (A) ^ {0} and finite-dimensional. If condition (ii) of the lemma 2.1 is satisfied, then M (A) y ï imL(A) for all y e ker L ( A) \ {0}. Lemma 2.1 is proved.

We introduce in spaces Ç, m e M, q e [1, +»), Banach lattices. In each of them we choose a family of vectors {ek}, all components of which are zero except for the component that is equal to unity. We construct the linear span of these families consisting of linear combinations of these vectors with positive coefficients. The closure of this linear shell in the norm of the space l^ we denote by C^ ,

m e R, q e [1, +¥. As is easy to see, C^ is generating cone in space l^ , m e R, q e [1, +¥.

Lemma 2.2. Let the conditions of the lemma 2.1 are satisfied, and all the coefficients of the polynomials L(s) and M (s) are positive. Then operator M is strongly positive (L,0) -bounded.

Proof. By the lemma 2.1 and theorem 1. 1 space lqm+deg L splits into a direct sum lqm+degL © lqm+degL , and q+deg L = kerL (A). If kerL(A) = {0}, then the assertion of Lemma 2.2 is obvious. Let kerL(A)^{0}. This can happen only when one of the roots of the polynomial L(s) coincides with a member of the sequence {Xk}. By construction, the sequence {Xk} monotonically increases, and

lim Xk =+¥. This, in particular, means that a set of equal terms of a sequence can not be infinite. Let

k

Xj = Xj+1 = ...= Xj+l = X, where X is the root of the polynomial L(s). Hence kerL (A) = span {ej,ej...,ej+l ].

Further, the space l^ also splits into a direct sum l^j © q, and m = M (A)[ker (A)] = span{ej,ej+1,.,e]+l}, a l^i = imL(A), i.e. l^i there is a closure in the norm l^i span of vectors {ek:Xk ^ X}.

Hence, lqm+degL there is a closure span{ek:Xk ^ X} in norm lq^1+degL . Strongly positive (L,0)-limitation of operator M follows from the positivity of the coefficients of the polynomials L(s) and

M(s) .

By Lemmas 2.1, 2.2 and Theorem 2.1, we have

Theorem 2.2. Let the conditions of Lemmas 2.1 and 2.2. Then for any vector function f = f (t) such that f0 eC1((0,r);lqn;+degL) and -f0(t)eCqm+degL çlqm0+degL ;te (0,t), and f1 e C([0,t);Cqm+degL ç lqm+degL ) and any vector u0 eCqm+degL , such that u\ eCqm+degL çlm+degi , there

exists a unique positive solution of the problem (7), (8) u = u(t ), which also has the following form

t

(t) = -M-1 f0(t)+^u0 + jV^L"1 f1 (s)ds .

w 0 0

0

Here

Solovyova N.N., Zagrebina S.A., Sviridyuk G.A._

Sobolev Type Mathematical Models with Relatively Positive Operators in the Sequence Spaces

M-1f0 ( t )= I

l-l.

fk (t) M(l ) '

t - f M (l ) ^ , , . . - fk (t)ek

U'uo -1 '1 k>t Uokek, LL- f (t )-1 ,

k-l ) k-l L(lk )

k

and the prime at the sum sign means that the summation is over the set {k e N:Xk * X}.

Comment 2.1. All the arguments above were carried out under the implicit assumption that only one root of the polynomial L(s) coincides with some term of the sequence {Xk}. However, these arguments are not difficult to extend to the case when several roots and even all the roots of the polynomial L(s) coincide with the terms of the sequence {Xk}.

Comment 2.2. If we return to the mathematical models (1) and (2) and consider them from the point of view of the approach suggested above, then we can see that in the case (1), non-negative solutions are possible (at X, a e R+ ), and in the case of (2) such decisions can not be made (even with

To continue the tradition laid down in [7], the next step should be the study of a stochastic model of the form (3). To date, the main results have already been obtained, but unlike [7] they are based not on the Ito-Stratonovich-Skorokhod approach, but on the Nelson-Glickich derivative [9]. In addition, it would be interesting to consider various generalizations of the Showalter-Sidorov condition [10]. Finally, it would be nice to consider the relations between the powers of the polynomials L and M, other than (4) [11-13].

The work was supported by Act 211 Government of the Russian Federation, contract

1. Barenblatt G.I., Zheltov Iu.P., Kochina I.N. Basic concepts in the theory of seepage of homogeneous liquids in fissured rocks [strata]. Journal of Applied Mathematics and Mechanics, 1960, Vol. 24, Issue 5, pp. 1286-1303. DOI: 10.1016/0021-8928(60)90107-6

2. Hallaire M. Soil water movement in the film and vapor phase under the influence of evapotranspiration. Water and its conduction insoils. Proceedings of XXXVII Annual Meeting of the Highway Research Board, Highway Research Board Special Report, 1958, Vol. 40, pp. 88-105.

3. Chen P.J., Gurtin M.E. On a theory of heat conduction involving two temperatures. Journal of Applied Mathematics and Physics (ZAMP), 1968, Vol. 19, Issue 4, pp. 614-627. DOI: 10.1007/BF01594969

4. Hoff N.J. Creep buckling. The Aeronautical Quarterly, 1956, Vol. 7, no. 1, pp. 1-20.

5. Sviridyuk G.A., Fedorov V.E. Linear Sobolev type equations and degenerate semigroups of operators. VSP, Utrecht-Boston-Koln-Tokyo, 2003, 216 p. DOI: 10.1515/9783110915501

6. Banasiak J., Arlotti L. Perturbations of Positive Semigroups with Applications, Springer-Verlag, London Limited, 2006, 438 p. DOI: 10.1007/1-84628-153-9

7. Chekroun M.D., Park E. Temam R. The Stampacchia maximum principle for stochastic partial equations and applications. Journal of Differential Equations, 2016, Vol. 260, Issue 3, pp. 2926-2972. DOI: 10.1016/j .jde.2015.10.022

8. Sviridyuk G.A., Zagrebina S.A. The Showalter-Sidorov problem as a phenomena of the Sobolev-type equations. Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya "Matematika", Vol. 3, Issue 1, pp. 104-125. (in Russ.).

9. Sviridyuk G.A., Manakova N.A. Dynamic models of Sobolev type with the Showalter-Sidorov condition and additive "noises". Bulletin of the South Ural State University. Series "Mathematical Modelling, Programming & Computer Software", 2014, Vol. 7, no. 1, pp. 90-103. (in Russ.). DOI: 10.14529/mmp140108

10. Zagrebina S.A. A multipoint initial-final value problem for a linear model of plane-parallel thermal convection in viscoelastic incompressible fluid. Bulletin of the South Ural State University. Series "Mathematical Modelling, Programming & Computer Software", 2014, Vol. 7, no. 3, pp. 5-22. DOI: 10.14529/mmp140301

f (t )° 0).

Conclusion

№ 02.A03.21.0011.

References

11. Favini A., Sviridyuk G.A., Manakova N.A. Linear Sobolev Type Equations with Relatively p-Sectorial Operators in Space of "noises". Abstract and Applied Analysis, 2015, Vol. 2015, Article ID 697410. DOI: 10.1155/2015/697410

12. Favini A., Sviridyuk G.A., Sagadeeva M.A. Linear Sobolev type equations with relatively p-radial operators in space of "noises". Mediterranian Journal of Mathematics, 2016, Vol. 13, no. 6, pp. 4607-4621. DOI 10.1007/s00009-016-0765-x

13. Favini A., Sviridyuk G.A., Zamyshlyaeva A.A. One class of Sobolev type equations of higher order with additive "white noise". Communications on Pure and Applied Analysis, 2016, Vol. 15, no. 1, pp. 185-196. DOI:10.3934/cpaa.2016.15.185

Received September 23, 2017

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2017, vol. 9, no. 4, pp. 27-35

УДК 517.9 DOI: 10.14529/mmph170404

НЕКОТОРЫЕ МАТЕМАТИЧЕСКИЕ МОДЕЛИ СОБОЛЕВСКОГО ТИПА С ОТНОСИТЕЛЬНО ПОЗИТИВНЫМИ ОПЕРАТОРАМИ В ПРОСТРАНСТВАХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

Н.Н. Соловьёва, С.А. Загребина, Г.А. Свиридюк

Южно-Уральский государственный университет, г. Челябинск, Российская Федерация E-mail: zargebinasa@susu.ru

В пространствах последовательностей, являющихся аналогами функциональных пространств Соболева, рассмотрена математическая модель, прототипами которой служат уравнение Баренб-латта-Желтова-Кочиной и уравнение Хоффа. Отметим, что эти уравнения являются вырожденными уравнениями или уравнениями соболевского типа. Для таких уравнений отличительной чертой служат феномены несуществования и неединственности решений. Поэтому нахождение условий существования позитивных решений таких уравнений - актуальное направление исследований. В статье описаны условия, достаточные для существования позитивных решений в рассмотренной математической модели. Фундаментом наших исследований стали теория позитивных полугрупп операторов и теория вырожденных голоморфных групп операторов. В результате слияния этих теорий получилась новая теория вырожденных позитивных голоморфных групп операторов. Авторы надеются, что результаты новой теории найдут применение в экономических и инженерных задачах.

Ключевые слова: соболевы пространства последовательностей; модели соболевского типа; вырожденные позитивные голоморфные группы операторов.

Литература

1. Баренблатт, Г.И. Об основных представлениях теории фильтрации однородных жидкостей в трещиноватых породах / Г.И. Баренблатт, Ю.П. Желтов, И.Н. Кочина // Прикладная математика и механика. - 1960. - Т. 24, № 5. - С. 58-73.

2. Hallaire, M. Soil water movement in the film and vapor phase under the influence of evapotranspiration. Water and its conduction insoils / M. Hallaire // Proceedings of XXXVII Annual Meeting of the Highway Research Board, Highway Research Board Special Report. - 1958. - Vol. 40. - P. 88-105.

3. Chen, P.J. On a Theory of Heat Conduction Involving Two Temperatures / P.J. Chen, M.E. Gurtin // Journal of Applied Mathematics and Physics (ZAMP). - 1968. - Vol. 19, Issue 4. - P. 614-627.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

4. Hoff, N.J. Creep buckling / N.J. Hoff // The Aeronautical Quarterly. - 1956. -Vol. 7, no. 1. -P. 1-20.

5. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht; Boston; Köln; Tokyo: VSP, 2003. - 216 p.

Solovyova N.N., Zagrebina S.A., Sobolev Type Mathematical Models with Relatively

Sviridyuk G.A. Positive Operators in the Sequence Spaces

6. Banasiak, J. Perturbations of Positive Semigroups with Applications / J. Banasiak, L. Arlotti. -Springer-Verlag, London Limited, 2006. - 438 p.

7. Chekroun, M.D. The Stampacchia maximum principle for stochastic partial equations and applications / M.D. Chekroun, E. Park, R. Temam // Journal of Differential Equations. - 2016. - Vol. 260, Issue 3. - P. 2926-2972.

8. Свиридюк, Г. А. Задача Шоуолтера - Сидорова как феномен уравнений соболевского типа / Г.А. Свиридюк, С.А. Загребина // Известия Иркутского государственного университета. Серия «Математика». - 2010. - Т. 3, № 1. - С. 104-125.

9. Свиридюк, Г.А. Динамические модели соболевского типа с условием Шоуолтера-Сидорова и аддитивными «шумами» / Г.А. Свиридюк, Н.А. Манакова // Вестник ЮжноУральского государственного университета. Серия «Математическое моделирование и программирование». - 2014. - Т. 7, № 1. - С. 90-103.

10. Zagrebina, S.A. A multipoint initial-final value problem for a linear model of plane-parallel thermal convection in viscoelastic incompressible fluid / S.A. Zagrebina // Вестник Южно-Уральского государственного университета. Серия «Математическое моделирование и программирование». -2014. - Т. 7, № 3. - С. 5-22.

11. Favini, A. Linear Sobolev Type Equations with Relatively p-Sectorial Operators in Space of "noises" / A. Favini, G.A. Sviridyuk, N.A. Manakova // Abstract and Applied Analysis. - 2015. -Vol. 2015. - Article ID 697410.

12. Favini, A. Linear Sobolev type equations with relatively p-radial operators in space of "noises" / A. Favini, G.A. Sviridyuk, M.A. Sagadeeva // Mediterranian Journal of Mathematics. - 2016. - Vol. 13, no. 6. - P. 4607-4621.

13. Favini, A. One class of Sobolev type equations of higher order with additive "white noise" / A. Favini, G.A. Sviridyuk, A.A. Zamyshlyaeva // Communications on Pure and Applied Analysis. -2016. - Vol. 15, no. 1. - P. 185-196.

Поступила в редакцию 23 сентября 2017 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.