Научная статья на тему 'Iterated 𝐺-fractional vector representation formulae and inequalities for Banach space valued functions'

Iterated 𝐺-fractional vector representation formulae and inequalities for Banach space valued functions Текст научной статьи по специальности «Математика»

CC BY
45
15
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Проблемы анализа
WOS
Scopus
ВАК
MathSciNet
Область наук
Ключевые слова
BANACH SPACE VALUED FUNCTIONS / ITERATED VECTOR GENERALIZED FRACTIONAL DERIVATIVE / CAPUTO FRACTIONAL DERIVATIVE / ITERATED GENERALIZED VECTOR FRACTIONAL INTEGRAL INEQUALITIES / BOCHNER INTEGRAL / FRACTIONAL VECTOR REPRESENTATION FORMULAE

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

Here we present very general iterated fractional Bochner integral representation formulae for Banach space valued functions. Based on these we derive generalized and iterated left and right: fractional Poincare type inequalities, fractional Opial type inequalities and fractional Hilbert-Pachpatte inequalities. All these inequalities are very general having in their background Bochner type integrals.

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

Текст научной работы на тему «Iterated 𝐺-fractional vector representation formulae and inequalities for Banach space valued functions»

Probl. Anal. Issues Anal. Vol. 9 (27), No 1, 2020, pp. 3-26 3

DOI: 10.15393/j3.art.2020.7630

UDC 517.28, 517.98, 517.444

George A. Anastassiou

ITERATED G-FRACTIONAL VECTOR REPRESENTATION FORMULAE AND INEQUALITIES FOR BANACH SPACE VALUED FUNCTIONS

Abstract. Here we present very general iterated fractional Bochner integral representation formulae for Banach space valued functions. Based on these we derive generalized and iterated left and right: fractional Poincare type inequalities, fractional Opial type inequalities and fractional Hilbert-Pachpatte inequalities. All these inequalities are very general having in their background Bochner type integrals.

Key words: Banach space valued functions, Iterated vector generalized fractional derivative, Caputo fractional derivative, Iterated generalized vector fractional integral inequalities, Bochner integral, fractional vector representation formulae.

2010 Mathematical Subject Classification: 26A33, 26B40, 26D10, 26D15, 46B25, 46E40.

1. Background. We need

Definition 1. [2] Let [a, b] C R, (X, || ■ ||) a Banach space, g e C1 ([a, b]) and increasing, f e C ([a,b] ,X), v > 0.

We define the left Riemann-Liouville generalized fractional Bochner integral operator

X

{i:+;gf) (x) (a (*) - 9 (z)Y-19' (z) f (z) dz,

a

V x e [a,b], where r is the gamma function.

The last integral is of Bochner type. Since f e C ([a,b] ,X), then f e Loo ([a, b] ,X). By [2] we get that f e C ([a, b] ,X). Above we set iaa+;g f := f and see that (Fa+;g f) (a) = 0.'

© Petrozavodsk State University, 2020

When g is the identity function id, we get that 1d — IV+, the ordinary left Riemann-Liouville fractional integral

X

(4V) (x) —^ J (x - t)V-1 f ® dt, (!)

a

Vx e [a,b], {ia+f) (a) = 0. We need

Theorem 1. [2] Let 0 and f eC ([a,b] ,X). Then

T^ TV f — T^+V f — JV T^ f (2)

1 a+.g1 a+.gJ — 1 a+.gJ — 1 a+.g1 a+.gJ . {^J

We need

Definition 2. [2] Let [a, b] C R, (X, || ■ ||) a Banach space, g eC1 ([a, b]) and increasing, f e C([a, b],X), v > 0.

We define the right Riemann-Liouville generalized fractional Bochner integral operator

b

(4- J) (x) J (9(z) - g(x)y-1g'(z)f(z)dz,

X

V x e [a, b], where r is the gamma function.

The last integral is of Bochner type. Since f e C([a,b],X), then f e Lx([a, b],X). By [2] we get that f e C([a, b],X). Above we set I0b-.J :— f and see that (Ij-_ J)(b) — 0 . .

When g is the identity function id, we get that .id — the ordinary right Riemann-Liouville fractional integral

b

(iJV-f) (x) — fj^l (t -x)1-1 f(t)dt,

X

V x e [a, b], with (1f) (b) — 0.

We need

Theorem 2. [2] Let 0 and f eC ([a, b] ,X). Then

TM TV f _ t^+v f _ TV T^ f

1 b-.g1 b-.gJ — 1 b-.g J — 1 b-.g1 b-.gJ .

We will use

Definition 3. [2] Let a > 0, [a] = n, [•] the ceiling of the number. Let f e Cn ([a,b] ,X), where [a,b] C R, and (X, ||-||) is a Banach space. Let g e C1 ([a,b]), strictly increasing, such that g-1 e Cnt([g(a),g(b)]).

We define the left generalized g-fractional derivative X-valued of f of order a as follows:

X

{Daa+;gf) (x) := (9 (x) - g (t))n-a-1g'(t) (/ o g-1)(n) (g(t))dt,

a

V x e [a,b]. The last integral is of Bochner type.

If a e N, by [2], we have that (D2+;g f) e C ([a,b],X). We see that

(in-* ((/ o g-1){n) o g)) (X) = (Da+g,f) (x), Vx e [a, b]. (3)

We set

Dna+;gf (x) := ((f o g-1)(n) o g) (x) e C([a, b],X), n e N, D0a+J (x) = f(x), Vx e [a, b].

When g = id, then

na f = Da f = na f

^a+;gJ = ^a+;idJ = ^*aJ ,

the usual left X-valued Caputo fractional derivative, see [3]. We will use

Definition 4. [2] Let a > 0, [a] = n, [■] the ceiling of the number. Let f e Cn([a, b],X), where [a, b] C R, and (X, ||-||) is a Banach space. Let g e C 1([a, b]), strictly increasing, such that g-1 e Cn([g(a), g(b)]).

We define the right generalized g-fractional derivative X-valued of f of order a as follows:

b

{Da-J) (x) := -Tr1^ i(g(t) - g(x))n-a-1g'(t)(f o g-1)(n)(g(t))dt,

i(n — a) j

X

V x e [a, b]. The last integral is of Bochner type.

If a e N, by [2], we have that (Da_;gf) e C([a, b],X).

We see that

I^((-l)n( f o g-1)(n) o g)(x) — (Dab- .J )(x), a^x ^ b.

We set

D-J (x) :— (-1)n ((/ o g-1)n o g) (x) e C ([a, b],X), n e N, D°b- J (x):—f(x) , Vx e [a, b].

When — , then

Db- J (x) — Db-ldf (x) — Db- f,

the usual right X-valued Caputo fractional derivative, see [3]. We make

Remark 1. All as in Definition 3. We have (by Theorem 2.5, p. 7, [5])

II (D+J )(x)|| ^ fn^ J (9(x)-9 (t))n-b-19'(t) \\(f o g-™

<

t r -1\(n)

(I o 9 1)( ) o 9

a(x)

r(-r^ (gx) - g(t))n-b-1dg(t) —

r (n -a) J

9(a)

o g-1)(n) o g\I . h] " ) ^(g(x) - g(a))n-b.

T(n -a + 1)

That is

(f o 9-1){n) og [W

II(Db+ -J')(x)|| ^-r{n-a + Ip (g(x) - g(a)Y

V x e [ a, ].

Ifa 'e N, then (Db+.J)(a) — 0. Similarly, by Definition 4 we derive

||(Db- J)(x)|| ^ Yr^ f (g(t)-g(x))n-b-1g'(t) \\(f og-1 )(n)(g(t))\dt^

i(n-a) J

X

<

° g—1)(n) M]

9(b)

r(n — a

(g(t) — g(x))n-a-id g(t)

9(x)

° 9-1 )(n) °£lk [a,b]

r(n — a + 1)

( ( ) — ( x)) n

That is

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

(Df-9,f) (x)|| ^

° g-1)(n) [a,b]

r(n — a + 1)

( ( ) — ( x)) n

V x E [a, b].

If a E N, then (D^ f) (b) = 0.

Notation 3 We denote by

ywna Da+; 9

Da+;9Daa+]9 ... Daa+9 (n times), n E N,

Tna 1 a+; 9

a a

a+; 9 a+; 9

a

1 a+; 9,

na a a a

Db-;9 ■= Db-;9Db— ;9 . . . Db-;9,

na a a a

1 b— ;9 : 1 b— .91 b— ;9 . . . 1 b— ;9,

and

(n times), n E N.

We are motivated by the following generalized fractional Ostrowski type inequality:

Theorem 4. [2] Let g E C:([a,b]) and strictly increasing, such that g—1 E C1([g(a), g(b)]), and 0 < a < 1, n E N, f E C1([a, t],X), where (X, || ■ ||) is a Banach space. Let x0 E [a, b] be fixed. Assume that Fk° ■= Dkxa_. f, for k = 1,...,n, fulfill E C 1([a,xo],X) and

(DT0—; 9 f )(xo) = 0,i = 2,...

n.

Similarly, we assume that GX° ■= DXa+.9f, for k = 1,...,n, fulfill

GX° E C 1([xo,b],X) and (DXao+.9f)(xo) = 0,i = 2,. Then

n.

a

f (x) dx — f (xo)

<

1

(b — a)r((n + 1) a + 1)

x

b

1

- g(xo))(n+1)b(b -xo) D(:0+Hbf + (g(xo) - 9(a))(n+1)b(xo -a) D*+>bf

x, [xo, b] x, [a, xo]

+

In this work we will present several generalized fractional Bochner integral inequalities.

We mention the following (/-left generalized modified X-valued Taylor's formula.

Theorem 5. [2] Let 0 <a ^ 1, n e N, f e C 1([a, b],X), g e C 1([a, b]), strictly increasing, such that g-1 e C 1([(/(a),g(b)]). Let Fk :— D0+b-gf, k — 1,... ,n, that fulfill Fo e C 1([a, b],X). .

Then

f(x) — £ - +fb ma)+

i(z — + 1)

i=b

1

r((n + 1)—)

(g(x) - g(t))(n+1)b-1 g'(t)(D^bj)(t)dt,

V x e [a, b].

Clearly here D^^f e C([a, b],X).

We also mention the following -right generalized modified X-valued Taylor's formula.

Theorem 6. [2] Let f e C 1([a, b],X), g e C 1([a, b]), strictly increasing, such that g-1 e C 1([(/(a), g(b)]). Suppose that FO :— Dik'^.g f, k — 1,... fulfill Fo e C 1([a, b],X), where 0 < — ^ 1, n e N. .

Then

nx) — £ b m+

i(z — + 1)

n,

i=b

1

T((n + 1)—)

(g(t) - g(x))(n+1)b-1 g>(t)(Dt+91)<bf)(t)dt,

V x e [a, b].

Clearly here D^-+g1)bf e C([a, b],X).

X

+

b

For differentiation of functions from real numbers to normed linear spaces the definition is the same as for the real valued functions, however the limit and convergence is in the norm of linear space (X, || • ||). We state

Corollary 1. (to Theorem 5) Let 0 < a < 1, n E N, f E C 1([a, b],X), g E C 1([a, b]), strictly increasing, such that g-1 E C 1([(/(a), g(b)]). Assume E C 1([a, b],X ),k =1,... ,n, and (D*.gf )(a) = 0,i = 0, 2, 3,... ,n. Then

X

№ = r(( + n ) i(9(x) - g(t))(n+1)a-1g' (t)(D[a+g)af)(t)dt, r((n +l)a)J ;g

a

V x E [a, b].

We state

Corollary 2. (to Theorem 6) Let f E C1 ([a, b],X),g E C1([a, b]), strictly increasing, such that g-1 E C 1([(/(a),g(b)]. Suppose that for k = 1,... ,n Dt-;gf E C 1([a, b],X), where 0 <a < 1, n E N. We further assume that (D--.gf)(b) = 0, i = 0, 2, 3,... ,n. Then

f(x) = n{n l1)a)J(9(t) - g(x))(n+1)a-1 g'(t)(Dl+)af)(t)dt,

X

V x E [a, b].

For the Bochner integral excellent resources are [1, pp. 422-428], [4] and [7].

2. Main Results. We give the following representation formula:

Theorem 7. All as in Corollary 1. Let ^ > 0 with [7] = m < n + 1, such that m < (n + 1) a (i. e. m/n +1 < a < 1). Then

(Da+ ; g f )(x) =

x

= T{{n + \)a - 7)j(g(x) - g(t)){n+1)a--1g'(t)(Da:+l1)af)t)dt, (4)

V x e [a, b] and (Dl+.J) e C([a, b],X). Proof. By Corollary 1 we have

f(x) — T(n ++1)—) l(g(x) -g(t)){n+1)b-1gXt)(D{r++;)b f )(t)dt,Vx e [a, b].

We can write

X

f(x) — n{n 1+1)—)j(g(x) - g(t))(n+1)b-1D:++;)bf)(t)dg(t)

(set z :— g (t), a ^ t ^ b)

)

(g(x) - z)(n+ 1)b-1((D%%)bf) o g-1)(z)dz, Vx e [a, b]. Hence it holds ( — ( x))

g{x)

_1_ i (n( x) - ,)(.n+1)b-1(( n(n+1)b f)n n-1)

r((n + 1)—)

9(a)

(f o 9-1)(y)—T{{n l1)—) J (y - z)(n+1)b-1(D:++1)b f) o g-1)(z)dz,

9(a)

Vye [g(a),g(b)].

By assuming (n + 1) — - 1 > 0 (equivalently, — > nh) and by [2], we

get:

y

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

((f o g-1)(y))' — (n(n^J) J (y - z)(n+ 1)b-2((D(:+Tf) o g-1)(z)dz,

9(a)

Vye [g(a),g(b)].

If (n + 1) — - 2 > 0 (equivalently, — > 2/n +1), we get

((f -1A ( u" ((n + 1)— - 1)((n + 1)— - 2) ) (v) —-r-n +1)—)-X

x/ (y - z)(n+1)b-3 ((D{:++1)b f) o g-1) (z)d z, Vye [g(a), g(b)].

9(a)

X

In general, if (n + 1) a — m > 0 (equivalently, a > m/n +1) we get that there exists

m

п (( n + l)a — j) ( f о g-1)(m)(y) = 3=1r(( ) X

I((n + l)a)

у

X j (y — z)(n+1)a-m-1((D^1)a f) о g-1)(z)dz, Vye [g (a), g(b)].

a(a)

By [2] we get ( f о g-1)(m) e С([д(а), g(b)]). By (1) we have that

m

П ((n + 1)a — j)T((n + 1)a — m) ( f о g-1){m\y) = 3—-, ^ ,-X

r((n +1)a)

XI^-™ ((d^V ) O g-1) (y) = I^-7 ((D^f ) og

That is

(/ o g-1)(m) (y) = I^a-m ((d^/) O g-1) (y), Vy g [g(a), g(b)], and

( f g-1)(m)(g(x)) = ((d^V) o g-1) (g(x)), Vx G [a, b].

Clearly, it holds (see [6], Lemma B.4.10, and [7], p. 158)

(/ o g-1)(m) (g (x)) = (l[:+T-m (-DtTf)) (x), Vx G [a,b]. (5)

Let 7 > 0 with [7] = m < n+1, such that m < (n + 1) a (equivalently, a > m/n + 1).

We have that (case of 7 < m)

{DZ+ ,f) (x) = (IT- ((/ o g-1)(m) o g)) (x) =

= 17- (iiT-m (D(:+Tf )) (x) = 1)a- (D(:+Tf )) (x),

(by (2)).

We have proved that

[Pl+; J) (x) = (lt+1)a- )) (x), V x E [a, b],

which is continuous, by [2]. □ We continue with

Theorem 8. All as in Corollary 1 and let 7 > 0 with [7] = m. When

< a < 1, we get that

) {x)=T({n + l)a - 27) X

X

xj(g(x) - g(t))(n+1)a-2l-1g'(t) D+l1)a '

a

V x E [a, b] and (D%gf) E C([a, b],X).

Proof. Call A := (n + 1) a - 7 - 1, i.e. A +1 = (n + 1) a - 7, and call 5 := (n + 1) a. Then we can rewrite (4) as

Da+;J) (x) = r{x+1)J (g(x)g(t))xg'(t) Da+;gf) (t)dt, Vx E [a, b].

a

That is (z = g(t), a ^ t ^ b)

g (x)

(Dj+ ;g f) (x) = YA+vJ (g(x)-Z)X ((D+ -J) 0 9-1) (z)dz, Vx E [a, b].

g(a)

Hence it holds (y = g(x))

y

((Daa+;gf) 0 g-1) (y) = A1+1) J (y - z)x ((.Da+.J) 0 g-1) (z)dz,

g(a)

V y E [g(a),g(b)]. If A > 0, then

y

№+J) 0 g-1)' (y) = TATrJ{v - z)x-1 ((.Da+.J) 0 g-1) (Z)dz,

g(a)

X

V y E [g(a), g(b)].

If A - 1 > 0, then

y

№+j) 0 g-r (y) = j (y - z)x-2 ) 0 £-1) (z)dz>

g(a)

V y E [g(a), g(b)].

If A - 2 > 0, then

y

(№*/) 0 g-1)"' (y)= ^'A+A- 2) J (y - z)X-3 ((DSa+;g/) 0g-1)(z)dz,

g(a)

V VE [9(a), 9(P)], etc.

In general, if A - m + 1 > 0, then

0 ^r (y) =A (A - 1)(A-^1lA -m+1 x

y

X j (y - z)(x-m+1^-1 ((.Da+.J) 0 g-1) (Z) dz =

g(a)

= A (A - 1)(A - 2)... (A -m +1) I^1 ((.Dj+;g/) 0 g-1) (y) =

r(A + 1)

= I^T1 (Da+J) 0 9-1) (y), Vy E [g(a),g(b)]. That is, if A - m + 1 > 0, we have (№*/) 0 g-1)(m] (y) = I(gX-+1) (CDa+J) 0 g-1)(y), Vy e [g(a), g(b)]. Hence

№+;gf) 09-1)(m) (g(x) = I^1 ((Din+T/) 09-1) (g(x)), Vx E [a, b]. Clearly, it holds by change of variables

((Da\ J) 0 g-1)(m) (g (x)) = (l(ax+-m+1 (D(:+Tf)) (x), (6)

V x E [ a, ], under A - m + 1 > 0.

We see that

{DllJ) (x) = (D2+;g (DZ+.J) ) (x)

1 a+;g

№+-J ) o g-1)™ og) )(x) =

e+-r+1) D+Tf ))) (x) =

= {i^1 f )) (x)=^i^-1-^1 D+Tf )) (x)=

= (i^T-21 )) (x), Vx G [a, 6].

We have derived that

(DllJ) (x) = (ttT-21 (d^/ )) (x) ,

V x G [a, b], under the condition < a < 1. □ Similarly to the last two theorems, it holds

Theorem 9. All as in Corollary 1 and let 7 > 0 with [7] — m. When ^^ < — < 1, we obtain that

n+1 '

^' W — r((n +1)— - 3,) X

X

xj (g (x) - g(t))(n+1)b-3'f-1g'(t) (d^V) (t)dt,

a

V x e [a, b] and (D%gf) e C([a, b],X).

In general, we derive the iterated left fractional derivative representation formula:

Theorem 10. All as in Corollary 1 and let 7 > 0 with [7] — m. When m+(k+-1)~< < — < 1k e N, we obtain that

n+1 ' '

1

r ((n + 1)a - k7)

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

(dS;gf ) (x) = ^-^-X

x (g(x) - g (t)t+1)a-k1-1 g'(t) (D%+g)af) (t) dt, (7)

x

y x G [a, b] and (d*1 ;gf) G C([a, b],X).

Similarly, it holds the iterated right fractional derivative representation formula:

Theorem 11. All as in Corollary 2 and let 7 > 0 with [7] = m. Here we assume m+<(k-l) < a < 1, k E N. Then

n+1 '

(d£j) (x)

1

Db~-gJ I (X r((n + 1)a — k-y)

x

x (g(t) — g (x))(n+1)a-k^-1 g'(t) (Dtl1)af) (t)dt,

y x G [a, b] and (Dkb--J) G C([a, b],X).

It follows a left generalized and iterated fractional Poincare type inequality:

Theorem 12. Here all as in Theorem 10. Let p, q > 1 : ^ + 1 = 1. We further assume that (k E N)

1 > a > max

(

m + (k — 1)7 kjq + 1 n + 1 ' (n + 1)q

Then

Dkl f

<

g,[a,b]

(9 ((b) — 9(a))

((n+1)a-k~—1) +

p (b — a)«

r((n+1)a — k^)(p((n+1)a —k7 — 1) + 1) p Proof. We use (7). We observe that

(D(a+gaf )og-1

q, [g(a),g(b)]

(Dklg/) (x)

1

r((n + 1) a — ki)

x

X i (9 (x) — g (t))(n+1)a-k^-1 g'(t) || (D(:+l1)af) (t)

dt =

g(x)

r((n +1)a — k 7)

(g(x) — z)^1^-1 ¡(D^V) (g-1(z))

dz <

b

X

1

1

r ((n +1) — - k7)

(a ^ 9(a)

(g (x) - zf (n+1)b-O<-1) dz x

)

X

(g ?) \ J ¡(d&^v) {g-1(z))WdZ\

9(a) '

p((n+1)b-ki-1)+1

(g (x) - g (a)) p

r((n+1)— - k^)(p((n +1)—-kj - 1) + 1)p Thus we have

(D+b f ) og-1

q, [9(a),9(b)]

(dOT J) (x)

(g(x) - g (a))(P((n+1)b-O^-1)+1)g

q

r ((n +1) — - kry)q (p ((n +1) — -kj- 1) + 1)p

x

(Dt+^f) o g-1

q, [9(a),g(b)]

Therefore it holds

(dOI j )(x)

dx C

<

(g(x) - g(a))(p((n+1)b-k^'-1)+1)f (b - a)

r((n+1)— - k^)(p((n +1)—-kj - 1) + 1)p

(Di+T f)og-1

q, [9(a),9(b)]

proving the claim. □

It follows a right generalized and iterated fractional Poincare type inequality:

Theorem 13. Here all as in Theorem 11. Let p,q > 1 : 1 + 1 — 1. We

1 p q

further assume that (k e N)

1 > — > max

(

m + ( k - 1) + 1

n + 1 ( n + 1)

Then

q

q

b

Dt1- J

<

(g (b) - g (a)fnl1)a—kl—1)l* (b - a)1

q,l»M r ((n + 1)a - kj) (p ((n + 1) a - kj - 1) + 1)

x

X

(DtTf)

q,[g(at),g(b)]

Proof. As similar to Theorem 12 is omitted. □

Next comes a left generalized and iterated fractional Opial type inequality:

Theorem 14. All here as in Theorem 10. Let p, q > 1 : 1 + 1 = 1. We

ni p q

further assume that (k E N)

1 > a > max

(

m + (k - 1)^ k^q + 1 n +1 ' (n + 1) q

Then

J) ° 9-1) (w)

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

Dkl;gt >°

D.

(nll)a

o-l;g

/) o g-1) (w)

dw ^

g(a)

(y - g(a)fnl1)o-kl-1)l §

■x

21 r((n+1)a-kj )[(p((n +1)a-kj - 1) + 1)(p((n+1)a-kj -1) + 2)] p

x

( / KDil^f) o g-1) (w)|j* dw) 9, yye [g(a), g(b)].

Proof. We use (7). We observe that

(DtT ;g/) (x)

<

r ((n + 1) a - ki)

x

x i (g(x) - g (t))(nl1)a—kl—1 g'(t) | D+T f) ®

dt =

g (x)

r ((n + 1) a - k-i)

(g(x)-z)

(nl1)a-ki— 1

D+Tf) (g—1 (z))

dz <

o

y

1

X

1

<

1

r((n + 1)a -ky)

(g (x) - z)p((nll)a-k<-l) dz x

'a(a)

)

X

a(a) 1

(d^V) (g-1 (z))|^

p( (n+l)g-k^-l)+l

__(g(x) - g(a)) p

r((n +1)a -ky) (p ((n + 1) a -ky - 1) + 1) ? g(x)

x

X

D(nll)a ,Da+;g

-1

''g(a)

' \

dz I

That is

(Dkl J) (x)

p((n+\)a-kj-l)+l

(g (x) - g (a)) p

g(%)

x

9(o)

Call

r((n +1)a -ky)(p((n +1)a - ky - 1) + 1)i

(d^ f ){g-1 (z))fdz y, Vx e [a, b].

y = g(x)

-X

then

Hence it holds

x = -l ( )

(Dkl J) (g-1 (v))

<

p( (nll)a-k^-i)ll

(y - g(a)) p

r((n + 1)a-ky) (p((n + 1)a-ky-1) + 1)p

■x

X

(D^Tf) (g-l(z))\\qdzy,

dz , Vye [g(a), g(b)}.

y

Call

y

V(y) := j ID+Tf) (g-1 (z))

dz,

9(a)

and

Thus

and

v(g(a)) = o.

v' (y)

D

(n-\- l)a

a+ ;g

/) {q-1 (y))

(v'(y))1 = \\DiTf) (y))

> 0,

> 0,

Vye [g(a), g(b)].

Consequently, we get

(Dkl;gf) (^))||(

D(n+l)a

Dal; g

<

<

p((nll)a-k-y-l)ll

(w -g (a)) p

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

r ((n +1)a - ky) (p ((n +1)a - ky - 1) + 1)i

/) (q-1 (w))

(rj (w) rj' (w))q

Vw E [g(a), g(b)]. Then it holds

Dkl;g

-l (w))\\\\(D(:iTf) (g- (w))

g(a)

<

1

dw ^

■X

r((n +1)a -ky)(p((n +1)a - ky - 1) + 1)p

y

r p((nll)a-k^-l)ll 1

x (w - g(a)) p (rq (w) rq'(w)) 1 dwx

g(a)

<

1

r ((n + 1) a -ky)(p((n + 1) a - ky - 1) + 1) p y 1 y

x( J (w - g(a))(p((nll)a-k'i-l)ll)dw) r](w)r]'(w)dw)

g(a)

g(a)

g

y

p((n+l)q-kj-l)+2

(y - g(a)) p

■x

r((n+ 1)a-kj)[(p((n + 1)a-kj-1) + 1)(p((n+1)a-kj - l) + 2)]p

x

^ IM. y

(y - g(a))((n+l)a-k~-)+f

21 r(n+ 1)a - kj)[(p((n + 1)a -kj- 1) + 1)(p((n+ 1)a - kj -1) + 2)] p

-x

X

(/ \\((Din;l)a/) ° 9-1) h\[ dJ

V y E [g(a), g(b)], proving the claim. □

Also we give a right generalized and iterated fractional Opial type inequality:

Theorem 15. All here as in Theorem 11. Let p, q > 1 : P + l = 1. We further assume that (k E N)

1 > a > max

(

m + (k - 1)j kjq + 1

n +1 ' (n + 1) q

)

Then

9(b)

{{DHj) o g-1) (w)\\ \\((DtTf) o g-1) (w)

dw ^

(g (b) - y)((n+l)*-kl-l) +1

■X

2 p r(n +1)a -k j)[(p((n+1)a-kj - 1) + 1)(p((n +1)a -kj-1) + 2)] p

9(b)

x

/ a r \ '

( J \\{{Dt+91)af) o 9-l) (w)|ffdwl , VyE [g(a), g(b)].

Proof. It is omitted as similar to Theorem 14. □

Next we present a left generalized and iterated fractional Hilbert-Pachpatte type inequality:

9

Theorem 16. Here i = 1, 2. Let cii, bi E R, ai < bi, 0 < ai < 1, as in (8), (9), and gi E Cl([ai, bi]) that are strictly increasing, fi E Cl([ai, bi],X), g~i E Cl([gl(al),gl(bl)]). Assume that D^ fz E Ci([az, bz],X), h = 1,...,ni, and (D%+.g. fi) (en) = 0, Xi = 0, 2, 3,..., nH, where m E N.

h E N, p,q > 1 : I + l =

'mi + (ki - 1) yi kijiq + 1'

Let % > 0 with \%] = mi, h E N, p,q > 1 : ^ + i = 1. We further

assume:

1 > a1 > max

and Then

9l(bl) 92 (p2)

I J

9l(^l) Q2(«2)

1 > a2 > max

ni + 1 (ni + l)q

+ (k2 — 1) k2y2P + 1

n2 + 1

(n2 + 1)p

(9)

I

(|| (DkaH\ai h)(g --1(y i))|| II (Dkall]ä2 f2)(g~21(y2)) II /

(y1 — g1 (a 1))p((ni+1)ai-kl^1 -1)+1 (y 2 — g2(a2))q((n2+1)a2 k212 1)+1

Vp(p((m + 1)a1 — k1j1 —1) + 1) q(q((n2 + 1)«2 — k^w —1) + 1)J < (g 1 (b0 — g1 (a1)) (g2(b2) — g2 (a2))

^ r ((n1 + 1)a1 — k^x) r ((n2 + 1)a2 — k2^2)

dlhdy 2

x

( J KDt+T1 h) {g-1 (z1))IIqdzA x

2

vöI(«i)

(92(b2)

I

92(12)

(D^2 f 2) (g-1 (Z2))

Proof. As in the proof of Theorem 14, we obtain:

(d£^h) {g-1 (V1))

<

<

p((ni + 1)ai-kij! -1)+1

(V1 — g 1(0,1)) P

r ((m + 1) «1 — km) (p ((m + 1) «1 — km — 1) + 1) p

■x

:iq)

( / I (Dn^1 h) {g-1 (*1))fv)

V («1) '

p

V yl E [gl(a0,9l(bl)]. Also we obtain:

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

(d^h) (9- (V2))

q((rn+l)a2-k2j2 -l)+l (V2 - 92 (a2)) q

p

r ((n2 + 1)a2 - k2j2) (q ((n2 + 1) a2 - k2j2 - 1) + 1)9

-X

X

(m \ p j \\(d(:2++^ h) (9- (Z2))\\dZ2\ P,

92(a2) '

V V2 E [g2(a2), 92(b2)].

Multiplying (10) and (11), we get:

(-DlH^fl) {9-l (yl))\\ ¡(Dkl+92¡2) (g- (y2))

11)

x

r ((nl + 1)al - kljl) r ((n2 + 1)a2 - k2j2) l

i (yl - gl(al))p((ni+l)»i-kin-l)+l\ p f (y 2 - g2(a2 ))g((n2+l)»2-k2i2 - l)+l \

y (p((nl+1)al-kljl-1)+1)) \JsiiJn2+1:)aa2-k^2z1)+1) ) X( / KDiP+lr fl) (Zl^fdz^ p x

x

V91 («1)

x( J \\(D!n++l!a2 f2)(92-l ( Z2))fdZ2)

dzo\ €

(using Young's inequality for a,b ^ 0, a^b^ € ^ + ^)

1

r ((nl + 1)al - kljl) r ((n2 + 1)a2 - k2j2)

X

X

I (yl -gl(al))P((ni+l)ai-ki^-l)+l\ I (y 2-g2(a2))q((n2+l)a2 k212 l)+l y (p((nl + 1)al-kljl-1) + 1) ) + y (q((n2 + 1)a2-k2j2-1) + 1)

X

p

x

( / IK^if1 /i)^"1 (z^fdz^ X

"öl(«1) V2

X

( V2 \ -

I ¡(d^0*h) {g-1 (Z2))\dz2\\

ö2(«2) '

So far we have

|(d£^fi) {g"1(yi))

((y1 -g1(a1))-((ni+1)ai-ki^-1)+1^ y2-g2(a2))i((n2+1)a2-k^2-1)+1'

Da2+;g2 J 2

\92h) (g"1^))

\ (p((m + 1)a1 -k111 -1) + 1)

(q((n2 + 1)a2 - k2^2 -1) + 1)

(12)

1

r ((n1 + 1)a1 - k^) r ((n2 + 1)a2 - k2^2)

x

( / ¡(d^T1 f^g-1 (Z1))\\qdz1j x

vgi («1)

V2

x

( / 1(d%$*2 f2)(g-1 (Z2))(dZ2)

ö2(«2) '

The denominator in (12) can be zero only when yl = gl(al) and y2 = g2(a2). Therefore we obtain

gi(bi) ö2 (b2)

(|| K ^ h)(g-1(y 1))| || (D^ f2)(g-21(y2)) || /

gi(«i) ö2 («2)

/[ (y1 -g1 (a 1))-((ni+1)<°1-kl71-^ (y

2-g2(a2))q((n2+1)a2 k212 1)+1 -p(p((n1 + 1)a1 --1) + 1) q(q((n2 + 1)a2-k2^2-1) + 1) J

1

^-x

r ((n1 + 1)a1 - kr/1) r ((n2 + 1)a2 - k2r)2)

gi(bi) yi 1

x( / ( J II(D(n+))ai /0 (9-1 Mir^) qdy) X

gi(«i) gi(«i)

dy1dy2

g

p

92(h) V2 1

XU { J II (D^2 h) № (Z2))\\P dz^jP dy^j ^

92(0,2) 92(0,2)

<

r ((ni + 1)ai - kiji) r ((n2 + 1)a2 - 72)

x

9l(h) 9l(bi)

XW ( I IID1^1 fi)^ (zi))\\q dzi)q dV i) x

51(01) 91(01) 92 (h) 92 (h)

XW ( / i(D%+£a2 f2)&i (Z2))\\PdZ2^jPdy2^j

92(02) 92(02)

(91 (bi) - gi (ai)) (92 (p2) - 92 (a2)) r ((ni + 1)ai - kiji) r ((n2 + 1)a2 - k272)

x

9l(bl)

X( / IID^T1 fi)(9li (zi))\q x

si(01)

92,( h) 1

x( J ¡(d^T2 ¡2) (9- (Z2))\\ "dz^^" .

92(02)

The theorem is proved. □

Finally we present a right generalized and iterated fractional Hilbert-Pachpatte type inequality:

Theorem 17. Here i = 1, 2. Let ai, bi E R, ai < bi, 0 < ai < 1, as in (13), (14), and gi E Cl([ai, bi]) that are strictly increasing, fi E Cl([ai, bi],X), 9- E Ci([gi(a,i),gi(bz)]). Assume that Dkh—m fz E Ci([az, bz],X), ki = 1,... ,ni, and {Dbi—\gifi) (bi) = 0, Xi = 0, 2, 3,..., ni, where ni E N.

kz E N,p,q> 1 : \ + i =

'mi + (ki - 1) yi kijiq + 1

Let <ji > 0 with = mi, ki E N, p,q > 1 : ^ + i = 1. We further

assume:

and

1 > ai > max

1 > a2 > max

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

ni + 1 ( ni + 1)

m2 + (k2 - 1) 72 k2'j2P + 1

n2 + 1 ( n2 + 1)

.

)

13)

'14)

1

Then

(i

9i(bi) g2(P2)

0h)(9 r1^))!! Ii h)(g-2\y2)) Ii /

9l(oi) A2(«2)

' " (d 1 ( — y1 )p((ni+1)ai-k111 -1)+1 (g2( b2)— y2y((nZ+1)a2-k2l2 r ^ -p(p((ni + I)a1 -km-1) + 1) q(q((n2 + 1)a2-k2^2-1) + 1) J

)

dihdy 2

<

x

{g 1 jb 1) - gi (a 1)) jg2 (b2) - g2 (a2)) r ((ni + l)ai - km) r ((n2 + I)a2 - k2r)2)

9l(bl) 1

*( / ¡(»tT1 h) № (*)) \\ V)' x

91(0-1)

92(b2) 1

*( / \\(DtT2 f2)(9- ( Z2))\\dZ2) ? .

fl2 (02)

Proof. It is similar to Theorem 16, thus it is omitted. □ Remark 2. Some examples for g follow:

g(x) = ex, x e [a, b] C R,

g(x) = sinx,

g(x) = tanx,

where x e [— ^ + — e], where e > 0 small.

Indeed, the above examples of g are strictly increasing and continous functions.

One can apply all of our results here for the above specific choices of g. We choose to omit this job.

References

[1] Aliprantis C. D., Border K. C. Infinite Dimensional Analysis. Springer, New York, 2006.

[2] Anastassiou G. A. Principles of General Fractional Analysis for Banach space valued functions. Bulletin of Allahabad Math. Soc., 2017, vol. 32(1), pp. 71-145.

[3] Anastassiou G. A. Intelligent Computations: Abstract Fractional Calculus, Inequalities, Approximations. Springer, Heidelberg, New York, 2018.

[4] Bochner integral. Encyclopedia of Mathematics. URL: http://www.encyclo pediaofmath.org/index.php?title=Bochner_integral&oldid=38659.

[5] Kreuter M. Sobolev Space of Vector-valued functions. Ulm Univ., Master Thesis in Math., Ulm, Germany, 2015.

[6] Mikkola K. Appendix B Integration and Differentiation in Banach Spaces. http://math.aalto.fi/" kmikkola/research/thesis/contents/thesisb.pdf

[7] Mikusinski J. The Bochner integral. Academic Press, New York, 1978.

Received November 19, 2019. In revised form, December 29, 2019. Accepted January 9, 2020. Published online January 21, 2020.

Department of Mathematical Sciences University of Memphis Memphis, TN 38152, U.S.A. E-mail: [email protected]

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