Научная статья на тему 'Abstract degenerate non-scalar Volterra equation'

Abstract degenerate non-scalar Volterra equation Текст научной статьи по специальности «Математика»

CC BY
86
11
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ABSTRACT DEGENERATE DIFFERENTIAL EQUATION / NON-SCALAR VOLTERRA EQUATION / DEGENERATE (A / K)-REGULARIZED C -PSEUDORESOLVENT FAMILY / DEGENERATE FRACTIONAL RESOLVENT FAMILY / WELL-POSEDNESS / АБСТРАКТНОЕ ВЫРОЖДЕННОЕ ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ / НЕСКАЛЯРНОЕ УРАВНЕНИЕ ВОЛЬТЕРРА / ВЫРОЖДЕННОЕ (А / К)-РЕГУЛЯРИЗОВАННОЕ СЕМЕЙСТВО C-ПСЕВДОРЕЗОЛЬВЕНТ / ВЫРОЖДЕННОЕ ДРОБНОЕ СЕМЕЙСТВО РЕЗОЛЬВЕНТ / КОРРЕКТНОСТЬ

Аннотация научной статьи по математике, автор научной работы — Kostic M.

In this paper, we contribute to the existing theory of abstract degenerate Volterra integro-differential equations by investigating abstract degenerate non-scalar Volterra equations. We consider the generation of (A, k, B)-regularized C-pseudoresolvent families in Banach spaces, as well as their analytical properties and hyperbolic perturbation results.

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

Текст научной работы на тему «Abstract degenerate non-scalar Volterra equation»

Chelyabinsk Physical and Mathematical Journal. 2016. Vol. 1, iss. 1. P. 104-112.

УДК 517.98

ABSTRACT DEGENERATE NON-SCALAR VOLTERRA EQUATIONS

M. Kostic

University of Novi Sad, Novi Sad, Serbia marco.s @verat.net

In this paper, we contribute to the existing theory of abstract degenerate Volterra integro-differential equations by investigating abstract degenerate non-scalar Volterra equations. We consider the generation of (A, k, B)-regularized C-pseudoresolvent families in Banach spaces, as well as their analytical properties and hyperbolic perturbation results.

Keywords: abstract degenerate differential equation, non-scalar Volterra equation, degenerate (A, k)-regularized C-pseudoresolvent family, degenerate fractional resolvent family, well-posedness.

1. Introduction and preliminaries

The theory of abstract degenerate Volterra integro-differential equations becomes very popular over the last few years. The main purpose of this paper, which is written in an expository manner, is to show how the techniques established in [1] and [2] can be helpful in the analysis of a substantially large class of abstract degenerate Volterra integral equations of non-scalar type.

Let X and Y be two complex Banach spaces satisfying that Y is continuously embedded in X, let the operator C E L(X) be injective, and let т E (0, го]. The norm in X, resp. Y, will be denoted by || ■ ||X, resp. || ■ ||Y; [R(C)] denotes the Banach space R(C) equipped with the norm ||x||R(C) = ||C-1x||X, x E R(C), and, for a given closed linear operator A in X, [D(A)] denotes the Banach space D(A) equipped with the graph norm ||x||D(A) = ||x||X + ||Ax||X, x E D(A). By B we denote a closed linear operator with domain and range contained in X. Suppose F is a subspace of X. Then the part of A in F, denoted by A|F, is a linear operator defined by D(A|F) := {x E D(A) П F : Ax E F} and A|Fx := Ax, x E D(A|F).

Let A(t) be a locally integrable function from [0,т) into L(Y, X). Unless stated otherwise, we assume that A(t) is not of scalar type, i.e., that there does not exist a E L11oc[0,T), a = 0, and a closed linear operator A in X such that Y = [D(A)] and A(t) = a(t)A for a.e. t E [0,т).

In the sequel, we will basically follow the notation employed in the monograph of J. Pruss [1] and our previous paper [2] on abstract non-degenerate equations of non-scalar type (cf. also [3; 4] for some other relevant references in this direction); the meaning of symbol A will be clear from the context. We refer the reader to [1] and [5; 6] for further information concerning abstract non-degenerate Volterra equations of scalar type. For the basic source of information on abstract degenerate Volterra integro-differential equations and abstract degenerate fractional differential equations, we may refer to the monographs [7-11], and references cited therein. Concerning the vector-valued Laplace transform, we recommend for the reader the monograph [12].

The author is partially supported by grant 174024 of Ministry of Science and Technological Development, Republic of Serbia.

We need to introduce the following condition

(P1): k(t) is Laplace transformable, i. e., it is locally integrable on [0, to) and there exists £ G R so that k(A) := L(k)(A) := lim6^ /0e-Atk(t) dt := e-Atk(t) dt exists for all A G C with Re(A) > Put abs(k) :=inf{Re(A) : k(A) exists}.

Let us recall that a function k G L11oc[0,i") is called a kernel on [0,t) iff for every function 0 G C([0,t)) the preassumption J^ k(t — s)0(s) ds = 0, t G [0,t), implies 0(t) = 0, t G [0,t). Set 6(t) := JQi k(s) ds, t G [0,t). The principal branch is always used to take the powers and the abbreviation * stands for the finite convolution product. Set ga(t) := ta-1/r(a) (a > 0, t > 0), where r(-) denotes the Gamma function, and g0(t) :=the Dirac delta distribution.

2. Degenerate (A, k)-regularized C-pseudoresolvent families

Before we start this section by introducing our basic concepts in Definition 1, we would like to recall that (X, || ■ ||X) and (Y, || ■ ||Y) are two given complex Banach spaces as well as that Y is continuously embedded in X. Further on, we assume that the operator C G L(X) is injective, t G (0, to] and B : D(B) ^ X is a closed linear operator on X.

Definition 1. Let k G C[0,t) and k = 0. Consider the following linear degenerate Volterra equation:

t

Bu(t) = f (t) + y A(t — s)u(s) ds, t G [0, t), (1)

o

where t G (0, to], f G C([0,t) : X) and A G Lloc([0,T) : L(Y, X)). Then a function u G C([0, t) : [D(B)]) is said to be:

(i) a strong solution of (1) iff u G L^c([0,r) : Y) and (1) holds on [0,t),

(ii) a mild solution of (1) iff there exist a sequence (fn) in C([0, t) : X) and a sequence (un) in C([0,t) : [D(B)]) such that un(t) is a strong solution of (1) with f(t) replaced by fn(t) and that fn(t) = f (t) as well as un(t) = u(t), uniformly on compact subsets of [0,t).

The abstract Cauchy problem (1) is said to be (kC)-well posed (C-well posed, if k(t) = 1) iff for every y G Y, there exists a unique strong solution of

t

Bu(t; y) = k(t)Cy + J A(t — s)u(s; y) ds, t G [0, t) (2)

o

and if u(t; yn) ^ 0 in [D(B)], uniformly on compact subsets of [0,t), whenever (yn) is a zero sequence in Y; (1) is said to be a-regularly (kC)-well posed (a-regularly C-well posed, if k(t) = 1), where a G Lj1oc([0,r)), iff (1) is (kC)-well posed and if the equation

t

Bu(t) = (a * k)(t)Cx + J A(t — s)u(s) ds, t G [0, t)

o

admits a unique strong solution for every x G X.

We would like to point out that every strong solution of (1) is also a mild solution of (1) as well as that the notions introduced in Definition 1 generalize the corresponding one from [2, Definition 1], given in the case that B = I. It is also clear that the concept of a strong (mild) solution of (1) and the concept of a (kC)-well posedness of (1) can be defined in some other ways; details are left to the interested reader. The following definition will be crucial for our further work.

Definition 2. Let t e (0, to], k e C[0,t), k = 0 and A e L1oC([0,t) : L(Y,X)). A family (S(t))te[o,r) in L(X, [D(B)]) is called an (A, k, B)-regularized C-pseudoresolvent family iff the following holds:

(51) The mappings t M S(t)x, t e [0,t) and t M BS(t)x, t e [0,t) are continuous in X for every fixed x e X, BS(0) = k(0)C and S(t)C = CS(t), t e [0, t).

(52) Put U(t)x := /0 S(s)xds, x e X, t e [0, t). Then (S2) means U(t)Y C Y, U(t)|Y e L(Y), t e [0,t), and (U(t)|Y)te[0,r) is locally Lipschitz continuous in L(Y).

(53) The resolvent equations

BS(t)y = k(t)Cy +/ A(t - s) dU(s)y, t e [0,t), y e Y, (3)

Jo

BS(t)y = k(t)Cy + / S(t - s)A(s)yds, t e [0,t), y e Y, (4)

o

hold; (3), resp. (4), is called the first resolvent equation, resp. the second resolvent equation.

An (A, k, B)-regularized C-pseudoresolvent family (S(t))te[0,r) is said to be an (A, k, B)-regularized C-resolvent family if additionally:

(54) For every y e Y, S(-)y e L£c([0,t) : Y).

An operator family (S(t))te[0,r) in L(X, [D(B)]) is called a weak (A, k,B)-regularized C-pseudoresolvent family iff (S1) and (4) hold. Finally, a weak (A, k,B)-regularized C-pseudoresolvent family (S(t))te[0,r) is said to be a-regular (a e L11oC([0,t))) iff a * S(-)x e C([0, t) : Y), x e YX.

Let us agree on the following: A (weak) (A, k, B)-regularized C-(pseudo)resolvent family with k(t) = ga+1(t), where a > 0, is also called a (weak) a-times integrated (A, B)-regularized C-(pseudo)resolvent family, whereas a (weak) 0-times integrated (A, B)-regularized C-(pseudo)resolvent family is also said to be a (weak) (A, B)-regularized C-(pseudo)resolvent family. A (weak) (A, k, B)-regularized C-(pseudo)resolvent family is also called a (weak) (A, k, B)-regularized (pseudo)resolvent family ((weak) (A, B)-regularized (pseudo)resolvent family) if C = I (if C = I and k(t) = 1).

As in non-degenerate case, the integral appearing in the first resolvent equation (3) is understood in the sense of discussion following [1, Definition 6.2, p. 153]. Observe also that the condition (S3) can be rewritten in the following equivalent form:

(S3)'

BU(t)y = 8(t)Cy + Í A(t - s)U(s)yds, t e [0,t), y e Y,

0

BU(t)y = 8(t)Cy + í U(t - s)A(s)y ds, t e [0,t), y e Y.

0

By the norm continuity we mean the continuity in L(X) and, in many places, we do not distinguish S(■) (U(■)) and its restriction to Y.

The notion of an (A, k, B)-regularized C-uniqueness family plays a crucial role in proving the uniqueness of solutions of abstract degenerate Cauchy problem (1).

Definition 3. Let t G (0, ro], k G C[0,t), k = 0 and A G Lioc([0,T) : L(Y,X)). A strongly continuous operator family (V(t))te[0,r) Ç L(X) is said to be an (A, k,B)-regularized C-uniqueness family iff

V(t)By = k(t)Cy +/ V(t - s)A(s)yds, t G [0,t), y G Y n D(B). (5)

0

Before stating the following propositions, whose proofs can be deduced as in non-degenerate case (cf. [1] and [2]), we want to observe that the notion of an (A, k,I)-regularized C-uniqueness family is a special case of the notion of a weak (A, k, I)-regularized C-pseudoresolvent family and that the assertion of [2, Proposition 2 (i)] holds even in the case that the condition S(t)C = CS(t), t G [0,t) is disregarded (cf. also Proposition 2 (i) below).

Proposition 1.

(i) Suppose that (Si(t))te[0,r) is an (A, ki, B)-regularized Ci-pseudoresolvent family and (S2(t))te[0,r) is an (A, k2, B)-regularized C2-uniqueness family. Then C2(k2 *

_v"

Si)(t)x = (ki * S2)(t)Cix, t G [0, t), x G Y .

(ii) Let (S(t))te[0,r) be an (A, k, B)-regularized C-pseudoresolvent family. Assume that Y has the Radon — Nikodym property. Then (S(t))te[0,r) is an (A, k, B)-regularized C-resolvent family. Furthermore, if Y is reflexive, then S(t)(Y) Ç Y, t G [0,t), and the mapping t M S(t)y, t G [0, t), is weakly continuous in Y for all y G Y.

Proposition 2.

(i) Assume that (V(t))te[0,r) is an (A,k,B)-regularized C-uniqueness family, f G C([0, t) : X) and u(t) is a mild solution of (1). Then (kC* u)(t) = (V * f )(t), t G [0,t), and mild solutions of (1) are unique provided in addition that k(t) is a kernel on [0, t).

(ii) Assume n G N, (S(t))te[0,r) is an (n — l)-times integrated (A, B)-regularized C-pseudoresolvent family, C-if G Cn-i([0,T) : X) and f (i)(0) = 0, 0 < i < n — l. Then the following assertions hold:

(a) Let (C-if )(n-i) G ACioc([0, t) : Y) and (C-if )(n) G LjOc([0,T) : Y). Then the function t M u(t), t G [0,t), given by

t t u(t) = y S(t — s)(C-if )(n)(s) ds = J dU(s)(C-if )(n)(t — s) 00

is a strong solution of (1). Moreover, u G C([0,t) : Y).

(b) Let (C-if )(n) G Lioc([0, t) : X) and Y = X. Then the function of the form u(t) = /0t S(t — s)(c-if)(n)(s) ds, t G [0, t), is a mild solution of (1).

(c) Let C-1g e W^t) : YX), a e LL([0,t)), f (t) = (gn * a * g(n))(t), t e [0,t), and let (S(t))te[0,T) be a-regular. Then u(t) = J0 S(t — s)(a * (C-1g)(n))(s) ds, t e [0,t), is a strong solution of (1).

The uniqueness of solutions in (a), (b) or (c) holds provided that for each y e Y n D(B) we have S(t)By = BS(t)y, t e [0, t).

(iii) Let (S(t))te[0,r) be an (A, k,B)-regularized C-resolvent family. Put u(t; y) := S(t)y, t e [0,t), y e Y. Then u(t; y) is a strong solution of (2), and (2) is (kC)-well posed if k(t) is a kernel on [0, t) and S(t)By = BS(t)y, t e [0, t), y e Y n D(B).

Before we clarify the Hille — Yosida type theorem for (A, k, B)-regularized C-pseudoresolvent families, it should be observed that there exists a great number of statements from [2] which can be reconsidered in degenerate case; without going into details, we only want to capture our readers' attention to the assertions of Proposition 1 (iii) (b), (c), Proposition 3 (ii), (iii), Proposition 4, Remark 1, Theorem 2, Remark 2, Proposition 5 from [2]. It is also worth noting that the class of (A, k,B)-regularized C-uniqueness families can be characterized through the vector-valued Laplace transform and that we need the condition S(t)By = BS(t)y, t > 0, y e Y n D(B), see the formulation of Theorem 1, so as to prove the injectiveness of operator B — A(A) for Re(A) > u0, k(A) = 0 (in Theorem 4 below, this condition will not be used).

Theorem 1. Assume A e Ljoc([0,T) : L(Y,X)), a e LjOc[0,T), a = 0, a(t) and k(t) satisfy (P1), e0 > 0 and

oo

j e-eí||A(t)||L(Y,X) dt< TO, e>£0. (6)

0

(i) Let (S(t))t>0 be an (A, k,B)-regularized C-pseudoresolvent family such that S(t)By = BS(t)y, t > 0, y e Y n D(B) and there exists u > 0 with

supe-wt(||S(t)||L(X) + ||BS(t)||L(X) +osup(t — s)-1|U(t) — U(s)||L(y)) < to. (7)

f o ^— At (

Put wo := max(w, abs(fc),eo) and H(A)x := f™ e AiS(t)xdt, x G X, Re(A) > wo.

Then the following holds:

(N1) (A(A))Re(A)>e0 is analytic in L(Y,X), R(C|Y) C R(B - A(A)), Re(A) > wo, k(A) = 0, and B — A(A) is injective, Re(A) > wo, k(A) = 0.

(N2) H(A)y = AU7(A)y, y G Y, Re(A) > wo, (B — A(A))-1C|y G L(Y), Re(A) > wo, fc(A) = 0, (H(A))Re(A) >W0 is analytic in both spaces, L(X) and L(Y), H(A)C = CH(A), Re(A) > wo, H(A)By = BH(A)y, Re(A) > wo, y G Y n D(B), and for every A G C with Re(A) > wo and fc(A) = 0, the following holds:

(B — A(A))H(A)y = fc(A)Cy, y G Y, H(A)(B — Al(A))y = fc(A)Cy, y G Y n D(B).

(A — u)

n+1

(N3) sup sup —-—( dA^H(A)

d

n

neNo A>W0,fc(A)=0

dn dn

+

L(X)

+

dAn

BH(A) . + H(A)

L(X)

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

dAn

L(Y)

<.

(ii) Assume that (N1)-(N3) hold. Then there exists an exponentially bounded (A, 6,B)-regularized C-resolvent family ($i(t))t>o satisfying S^t)By = BS^t)y, t > 0, y G Y n D(B).

(iii) Assume that (N1)-(N3) hold, B-1 G L(X) and Y = X. Then there exists an exponentially bounded (A,k,B)-regularized C-pseudoresolvent family (S(t))t>0 such that (7) holds and S(t)By = BS(t)y, t > 0, y G Y n D(B).

(iv) Assume (S(t))t>0 is an (A, k, B)-regularized C-pseudoresolvent family satisfying (7) with some w > 0. Let w' > max(w, abs(a), abs(k),e0). Then (S(t))t>0 is a-regular and supt>0 e-wi||a * S(t)||L(Yx Y) < ro iff there exists a number u1 > w'

,Y)

such that

(A -

sup sup

«eNo A>wi,fc(A)=Q n!

d

n

dAn

a(A)H (A))

-v < L(Yv ,Y)

The hyperbolic perturbation results for non-scalar Volterra equations have been studied in [1, Theorem 6.1, p. 159] and [2, Theorem 3]. It is worth noting that the above-mentioned results can be generalized to degenerate non-scalar Volterra equations. Speaking-matter-of-factly, the following theorem holds good (the proof can be deduced by slightly modifying the corresponding proof of [1, Theorem 6.1], with K0 = S*C-1BD0 and Ki = S * C-1BDi).

_v

Theorem 2. Assume Lloc([0,T)) 9 a is a kernel on [0,t), C(Y) C Y, Y = X, CB C BC,

D(t)y = Do(t)y + (a * Di)(t)y, t G [0,t), y G Y,

where (Do(í))te[o>T) C L(Y), (BDq(í))í€[q)t) C L(X, [R(C)]), (BDi(í))te[Q,T) C L(Y, [R(C)]),

(i) C-1BDo(-)y G BV¡oc([0,T) : Y) for all y G Y, C-1BDq(-)x G BVoc([0,t) : X) for all x G X,

(ii) C-1BDi(-)y G BV¡oc([0,T) : X) for all y G Y, and

(iii) CBD(t)y = BD(t)Cy, y G Y, t G [0,t).

Then the existence of an a-regular (A, B)-regularized C-(pseudo)resolvent family (S(t))te[Q,T) is equivalent with the existence of an a-regular (A + BD, B)-regularized C-(pseudo)resolvent family (R(t))te[0;T).

Theorem 2 can be applied to abstract degenerate non-scalar Volterra equations involving abstract differential operators. For example, let 1 < p < ro, let X := Lp(Rn), and let 0 < a < 2. Then it is clear that the operators d/dxj, acting with their maximal distributional domains, are commuting generators of bounded CQ-groups on X; set A := (—id/dx1, ■ ■ ■, —id/dxn). Suppose that P1(x) and P2(x) are non-zero complex polynomials satisfying P2(x) = 0, x G Rn, and

sup Re ((mf) < „.

xeRn y \ p 2 (x) J J

Define the strongly continuous operator family (Ga(t))t>0 C L(X) and the operators Pi (A), i = 1, 2, in the usual way. Set Y := D(P(A)) n D(P2(A)), ||f || := ||f ||x +

l|Pi(A)f ||x + ||P(A)f ||x (f G Y), A(t) := ga(t)Pi(A)|Y (t > 0) and C := P2(A)Ga(0).

-

Then (Y, || ■ ||Y) is a Banach space continuously embedded in X, Y = X, CP2(A) C P2(A)C, C(Y) C Y, and a simple analysis shows that (Ga(t))t>o is an (A,P2(A))-resolvent C-regularized resolvent family obeying the property that for each f G Y the mapping t m- Joi Ga(s)f ds, t > 0, is continuously differentiable in Y. Therefore, Theorem 2 can be applied with the regularizing operator C being in general the non-identity operator on X.

We continue by introducing the following definition (cf. [2, Definition 3 (i)] for non-degenerate case).

Definition 4. Let k G C([0, to)), k = 0, A G Lloc([0, to) : L(Y, X)), a G (0,n], and let (S(t))t>o C L(X, [D(B)]) be a (weak) (A, k, B)-regularized C-(pseudo)resolvent family. Then it is said that (S(t))t>o is an analytic (weak) (A, k,B)-regularized C-(pseudo)resolvent family of angle a, if there exists an analytic function S : £a ^ L(X, [D(B)]) satisfying S(t) = S(t), t > 0, limz^o;zes7 S(z)x = S(0)x and limz^o,zeS7 BS(z)x = BS(0)x for all 7 G (0,a) and x G X. We say that (S(t))t>o is an exponentially bounded, analytic (weak) (A, k, B)-regularized C-(pseudo)resolvent family, resp. bounded analytic (weak) (A, k, B)-regularized C-(pseudo)resolvent family, of angle a, if (S(t))t>o is an analytic (weak) (A, k, B)-regularized C-(pseudo)resolvent family of angle a and for each 7 G (0, a) there exist MY > 0 and wY > 0, resp. wY = 0, such that ||S(z)||L(X) + ||BS(z) ||L(X) < MYe"7|z|, z G £Y. Since no confusion seems likely, we shall identify S(-) and S(-) in the sequel.

The most important properties of exponentially bounded, analytic (weak) (A, k, B)-regularized C-(pseudo)resolvent families are collected in the subsequent theorems.

Theorem 3.

(i) Assume eo > 0, k(t) satisfies (P1), w > max(abs(k), eo), (6) holds, (S(t))t>o is a weak analytic (A, k, B)-regularized C-pseudoresolvent family of angle a G (0, n/2] and

sup

JS (z )|

L(X)

+ ||e-wz BS (z)|

L(X)

< to for all 7 G (0, a).

Then there exists an analytic mapping H : w + £n ^ L(X, [D(B)]) such that:

(a) BH(A)y — H(A)A(A)y = fc(A)Cy, y G Y, Re(A) > w, fc(A) = 0; H(A)C = CH(A), Re(A) > w,

(b) SUPa€w+£n

2

(0, a),

| (A — w)H (A)|L(x ) + ||(A — w)BH (A)|L(x )

< to for all y G

(c) there exists an operator E G L(X, [D(B)]) such that BEx = k(0)Cx, x G X and ^(A)=o AH(A)x = Ex, x G X, and

(d) limA^+^,fc(A)=o ABH(A)x = k(0)Cx, x G X.

(ii) Assume eo > 0, k(t) satisfies (P1), (6) holds, w > max(abs(k), eo), a G (0,n/2], there exists an analytic mapping H : w + £n^ L(X, [D(B)]) such that (a),

(b) and (c) of the item (i) hold and that, in the case Y = X, (d) also holds. Then there exists a weak analytic (A, k,B)-regularized C-pseudoresolvent family (S(t))t>o of angle a such that (8) holds.

e

Theorem 4.

Assume e0 > 0, k(t) satisfies (P1), u0 > max(abs(k), e0), (6) holds, a G (0,n/2], (S(t))t>0 is an analytic (A,k,B)-regularized C-resolvent family of angle a, the mapping t M U(t) G L(Y), t > 0, can be analytically extended to the sector Ea (we shall denote the analytical extensions of U(■) and S(■) in the space L(Y) by the same symbols), and for each 7 G (0,a) one has:

sup

zes7

S (z )|

L(X)

+ ||e-WQZBS(z)||) + sup ||e-WQZS(z)| L(X) zes7

L(Y)

<.

(9)

Denote H(A)x = /0° e-AiS(t)xdt, x G X, Re(A) > u0. Then H : u + En +a M L(X, [D(B)]) is an analytic mapping, H|Y : u + En +a M L(Y) is likewise an analytic mapping, and the following holds:

suP ||(A - u0)H (A)|l(x) + ||(A - u0)BH (A)||L(X ) +1 (A - u0)H (A)||L(Y) AGWq+En+7

is finite for all 7 G (0, a),

(b) BH(A)y - H(A)A(A)y = k(A)Cy, y G Y, Re(A) > u, k(A) = 0; BH(A)y -Al(A)H(A)y = k(A)Cy, y G Y, Re(A) > u, k(A) = 0; H(A)C = CH(A), Re(A) > u0,

(c) there exists an operator E G L(X, [D(B)]) such that BEx = k(0)Cx, x G X,

limA^+^,fc(A)=0 AH(A)x = Ex, x G ^ and

(d) limA^+^,fc(A)=0 ABH(A)x = k(0)Cx, x G X.

(ii) Assume a G (0,n/2], e0 > 0, k(t) satisfies (P1) and (6) holds. Let u0 > max(abs(k),e0), and let there exist an analytic mapping H : u + En +a M L(X, [D(B)]) such that H|Y : u + En +a M L(Y) is an analytic mapping, as well as

that (a)-(c) of the item (i) of this theorem hold and that, in the case Y = X, (d) also holds. Then there exists an analytic (A, k, B)-regularized C-resolvent family (S(t))t>0 of angle a such that (9) holds and that the mapping t M U(t) G L(Y), t > 0, can be analytically extended to the sector Ea.

Remark 1. If B-1 G L(X), then the condition (i)/(c) in Theorem 3, i.e., the condition (i)/(c) in Theorem 4, automatically holds. Therefore, Theorem 3 and Theorem 4 taken together provide extensions of Theorem 4, Theorem 5 from [2].

Using the argumentation contained in the proofs of Theorem 6, Theorem 7 in [2], we can simply clarify the basic results about differentiability of (A, k, B)-regularized C-pseudoresolvent families in Banach spaces. Although interesting, this theme will not be considered here; let us only mention that the considerations from [2, Example 3] enable one to construct some important examples of (local) (A, k, B)-regularized resolvent families with certain hypoanalytic behaviour.

References

1. Priiss J. Evolutionary Integral Equations and Applications. Basel, Birkhauser-Verlag Publ., 1993.

2. Kostic M. Generalized well-posedness of hyperbolic Volterra equations of non-scalar type. Annals of the Academy of Romanian Scientists. Series on Mathematics and its Applications, 2014, vol. 6, pp. 21-49.

3. Jung M. Duality theory for solutions to Volterra integral equation. Journal of Mathematical Analysis and Applications, 1999, vol. 230, pp. 112-134.

4. Karczewska A. Stochastic Volterra equations of nonscalar type in Hilbert space. Transactions XXV International Seminar on Stability Problems for Stochastic Models (eds. C. D'Apice et al.). University of Salerno, 2005. Pp. 78-83.

5. KostiC M. Generalized Semigroups and Cosine Functions. Belgrade, Mathematical Institute SANU Publ., 2011.

6. KostiC M. Abstract Volterra Integro-Differential Equations. Boca Raton, New York, Taylor and Francis Group/CRC Press/Science Publ., 2015.

7. Carroll R.W., Showalter R.E. Singular and Degenerate Cauchy Problems. New York, Academic Press Publ., 1976.

8. Demidenko G.V., Uspenskii S.V. Partial Differential Equations And Systems Not Solvable With Respect To The Highest-Order Derivative. Vol. 256 of Pure and Applied Mathematics Series. New York, CRC Press Publ., 2003.

9. Favini A., Yagi A. Degenerate Differential Equations in Banach Spaces. New York, Chapman and Hall/CRC Pure and Applied Mathematics Publ., 1998.

10. Melnikova I.V., Filinkov A.I. Abstract Cauchy Problems: Three Approaches. Boca Raton, Chapman and Hall/CRC Publ., 2001.

11. Sviridyuk G.A., Fedorov V.E. Linear Sobolev Type Equations and Degenerate Semigroups of Operators. Inverse and Ill-Posed Problems (Book 42). Utrecht, Boston, VSP Publ., 2003.

12. Arendt W., Batty C.J.K., Hieber M., Neubrander F. Vector-valued Laplace Transforms and Cauchy Problems. Birkhäuser Verlag, 2001.

Article received 17.07.2015

Corrections received 01.02.2016

Челябинский физико-математический журнал. 2016. Т. 1, вып. 1. С. 104-112.

АБСТРАКТНЫЕ ВЫРОЖДЕННЫЕ НЕСКАЛЯРНЫЕ УРАВНЕНИЯ ВОЛЬТЕРРА

М. Костич

Университет Нови-Сада, Нови-Сад, Сербия тагсоз @verat.net

В работе исследуются вопросы существования решения абстрактных вырожденных интегро-дифференциальных уравнений Вольтерра. Рассматривается порождение (А, к, В)-регуляризованных семейств С-псевдорезольвент в банаховых пространствах, их аналитические свойства, получены результаты о гиперболических возмущениях.

Ключевые слова: абстрактное вырожденное дифференциальное уравнение, нескалярное уравнение Вольтерра, вырожденное (А,к)-регуляризованное семейство С-псевдорезольвент, вырожденное дробное семейство резольвент, корректность.

Поступила в 'редакцию 17.07.2015 После переработки 01.02.2016

Сведения об авторе

Костич Марко, профессор, факультет технических наук, Университет Нови-Сада, Нови-Сад, Сербия; [email protected].

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