Научная статья на тему 'О фундаментальных решениях, переходных вероятностях и дробных производных'

О фундаментальных решениях, переходных вероятностях и дробных производных Текст научной статьи по специальности «Математика»

CC BY
148
57
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЭВОЛЮЦИОННЫЕ ПОЛУГРУППЫ / ФУНДАМЕНТАЛЬНОЕ РЕШЕНИЕ / ДРОБНАЯ ПРОИЗВОДНАЯ / СУБОРДИНАТОР

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

В серии недавних работ Богдана К., Хансена В., Якубовского Т., Шипковского К. и Сидора С. была развита техника построения эволюционных полугрупп, порождённых некоторыми заданными операторами. В рамках предложенной техники использовался тот факт, что полугруппа является ядром отрицательного левого обратного оператора к сумме временной производной и генератора этой полугруппы. И это ядро называлось (слабым) фундаментальным решением данной суммы. Этот факт был доказан в статье К. Богдана, Я. А. Бутко и К. Шипковского (K. Bogdan, Ya. A. Butko and K. Szczypkowski) “Majorization, 4G theorem and Schrödinger perturbations”. Именно, было показано, что полугруппа, порождённая заданным оператором, действительно является (слабым) фундаментальным решением упомянутой выше суммы, и только её. Кроме того, техника К. Богдана и его соавторов была использована в этой статье для обсуждения эволюционных полугрупп, порождённых аддитивными возмущениями ½-устойчивого субординатора, т.е. оператора дробной производной Вейля порядка ½. Настоящая заметка служит дополнением к вышеназванной статье. Целью заметки является прояснение взаимосвязи между (слабым) фундаментальным решением, описанным выше, и традиционным понятием фундаментального решения, используемым в теории уравнений с частными производными и в функциональном анализе. В заметке также обрисовываются соотношения между переходными вероятностями случайных процессов, эволюционными полугруппами, эволюционными уравнениями и их фундаментальными решениями. Различные понятия фундаментального решения обсуждаются для процессов Леви с бесконечно гладким символом и для устойчивых субординаторов. В случае процессов Леви с бесконечно гладким символом найдено фундаментальное решение соответствующего прямого эволюционного уравнения и установлена формуля Дюамеля для решения соответствующей задачи Коши. В случае ½-устойчивого субординатора найдено фундаментальное решение (переходная вероятность) путём решения эволюционного уравнения со (слабой) дробной производной Римана-Лиувилля и показано, что дробная производная Вейля является минус сопряжённым оператором к (слабой) производной Римана-Лиувилля.

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

Текст научной работы на тему «О фундаментальных решениях, переходных вероятностях и дробных производных»

Science ¿¿Education

of the Bauman MSTU

Science and Education of the Bauman MSTU, 2015, no. 1, pp. 42-52.

DOI: 10.7463/0115.0754986

Received:

02.02.2015

Electronic journal

© Bauman Moscow State Technical University

ISSN 1994-0408

On fundamental solutions, transition probabilities and fractional derivatives

Butko Ya.A.1*

1 Bauman Moscow State Technical University, Russia

The aim of this note is to clarify the connection between different notions of fundamental solution and to outline the interplay between transitional probabilities of stochastic processes, evolution semigroups, evolution equations and their fundamental solutions. We discuss different notions of the fundamental solution for Levy processes with infinitely smooth symbol and for stable subordinators. In the case of Levy processes with infinitely smooth symbol we find the fundamental solution of the corresponding forward evolution equation and recover the Duhamel formula for the solution of the Cauchy problem for this equation. In the case of the 1 /2-stable subordinator, we find the transition density by solving an evolution equation with the (weak) Riemann — Liouville fractional derivative and show that the Weyl fractional derivative is the negative of the adjoint to the Riemann — Liuoville (weak) fractional derivative.

Keywords: evolution semigroups, fundamental solution, fractional derivative, subordinator

In the series of papers [2,3,4,5] a technique to construct evolution semigroups (Tt )t>0 generated by some operators L was developed. In the frame of the suggested technique the following fact

was used: the identity

is true for each "test-function" £: R ^ Dom(L) and each s E R. Here Dom(L) is the domain of the generator L. The object (Tt)t>0, satisfying the identity (1) with a given operator L was called fundamental solution of dt + L. It was shown in the paper [1, Th. 4.1] that this object (Tt)t>0 is indeed the semigroup generated by L and there are no other candidates except dt + L to fulfill (1) with the given (Tt)t>0. The technique of [2, 3, 4, 5] was used in [1] in particular to discuss evolution semigroups generated by additive perturbations of the (1/2)-stable subordinator, i.e. of the operator L equal to the Weyl fractional derivative of order 1/2.

This note is supposed to be an addition to the discussion of [1]. The aim of this note is to clarify the connection between the notion of fundamental solution presented above and the traditional notion used in the Theory of Partial Differential Equations and in Functional Analysis (cf. [7])

Introduction

(1)

s

and to outline the interplay between transitional probabilities of stochastic processes, evolution semigroups, evolution equations and their fundamental solutions. To make the picture as clear as possible we restrict the discussion to the case of Levy processes with infinitely smooth symbol, e.g. with compactly supported Levy measure, and to a class of subordinators. In the first case we find the (traditional) fundamental solution of the corresponding forward evolution equation, recover the Duhamel formula for the solution of the Cauchy problem for this equation and arrive at the identity (1).

In the case of the (1/2)-stable subordinator, the transition density is also obtained explicitly by solving an evolution equation with the (weak) Riemann^iouville fractional derivative. To this end we show that the Weyl fractional derivative is the negative of the adjoint to the Riemann{Liuoville (weak) fractional derivative and again arrive at the identity (1).

Below we will use standard techniques of Fourier analysis and the Schwarz theory of distributions, for which we refer the reader to [7].

Let D(Rd) := CC° (Rd) be the space of test functions, i.e. infinitely smooth functions with compact supports. Let D'(Rd) be the space of all generalized functions (distributions) on Rd, i.e. the space dual to D(Rd) taken with the standard topology. Let S (Rd) be the Schwartz space of tempered functions. For each function p e S (Rd) let F[p] be its Fourier transform defined as F[p](p) = / e-ip qp(q) dq and let F-1 be its inverse. Denote the space of tempered distributions

as S'(Rd), S'(Rd) C D'(Rd). Denote the dual pairing between D'(Rd) and D(Rd) (and between S'(Rd) and S(Rd)) as (■, ■). Each locally absolutely integrable function f G L/oc(Rd) corresponds to a regular generalized function (distribution) f G D'(Rd) acting by the formula (f, p) := / f (x)p(x)dx, p G D(Rd). We use the same notation (f, g) for the integral / f (x)g(x)dx for

Rd Rd

all such functions f, g: Rd ^ C that the integral is well-defined. Any a-finite Borel measure

is a distribution corresponding to a Borel measure that assigns unit mass to the point x = 0, i.e.

{5, p) = p(0). Note, that 5 G S'(Rd) C D'(Rd).

Fundamental solution. Let L be a linear operator on D'(Rd) (resp. on S '(Rd)). A fundamental solution of the operator L is any function E G D'(Rd) (resp. E G S'(Rd)) solving in D'(Rd) (resp. in S' (Rd)) the equation

Pseudo-differential operators on the space of tempered distributions. For each f e S' (Rd)

its Fourier transform F[f] is defined by (F[f], p) = (f, F[p]), p e S(Rd). The operation

1. Notations and definitions

p) = f p(x)^(dx)|, p G D(Rd). The Dirac delta-function ô

d

LE = 5,

i.e. for each test function p e D'(Rd) (resp. p e S'(Rd)) holds the identity

(LE, p) = p(0).

of multiplication on an infinitely differentiable function ^ : Rd ^ C, which grows at infinity with all its derivatives at most as a polynomial, is also well defined in S'(Rd) by the formula (f p) := (f, -0p). In the sequel ^ e C^(Rd) is a continuous negative definite function, i.e. ^ is given by the Levy — Khinchine formula

^(p) = a(q) + i^(q) ■ P + P ■ Q(q)p + / (l - + y+yja ) N(dy), P e Rd,

where, for each fixed q e Rd, €(q) e Rd, Q(q) is a positive semidefinite symmetric matrix and v(dy) is a measure kernel on Rd \ {0} such that

/ r+jyyiN№) < -

Note, that ^ grows at infinity with all its derivatives not faster than a polynomial [6, Th. 3.7.13]. A pseudo-differential operator with the symbol ^ is defined on S(Rd) as a composition F-1^F. Note also that F-1 )F = F^(-£)F-1. The extension of this operator to the space S'(Rd) is defined by

(F-VFf, p) := (f, F[^(F-1 p)]), p e S(Rd), f e S'(Rd).

Convolution of distributions. The operation of convolution * is defined for several distributions f, g e D'(Rd) by the formula

(f * g, p) := <f(x)g(y^ p(x + y)>-

Here <•, •> is the dual pairing between D'(Rd x Rd) and D(Rd x Rd), the distribution f (x)g(y) e D'(Rd x Rd) is a direct product of f and g and it is supposed that the distribution f (x)g(y) is correctly defined on all functions p(x + y), p e D(Rd), although p(x + y) do not lie in D(Rd x Rd) any more. In the case f, g are regular distributions, one has

<f (x)g(y^ p(x + y)> := J J f (x)g(y)p(x + y) dxdy.

Rd Rd

Fundamental solution of a convolution operator. Let D+ c D'(R) be the set of all generalized functions, whose supports are in [0, The set D+ is a convolution algebra, i.e. associative and commutative algebra with the operation of convolution *, and the unit is the Dirac delta-function 5. Each element f e D+ defines a convolution operator Lf = f * such that for all u e D+ we have Lf (u) = f * u. A fundamental solution of a convolution operator Lf (if exists) is a function Ef e D+ such that Lf (Ef) = f * Ef = 5. Therefore, the fundamental solution Ef is an inverse element to f in the convolution algebra D+.

The (weak) Riemann — Liouville fractional derivative. Let p e R. Consider a distribution (i.e. a generalized function) f e D+ defined by the formula

. x3-1, x e R, P > 0; f = ^ F(P) (2)

f+N, P + N > 0, p < 0.

Here r is the Euler gamma-function, n is the Heaviside function and f(N) is the Nth derivative of the generalized function f. Therefore, f = n, fo = fl = ^ and for each ^,7 G R we have fa * fY = f^+7. Hence for each ft G R the fundamental solution Ef of a convolution operator Lif> exists and Ef = f-/3. For ft = —n, n G N, we have f-n = £(n), i.e. L/-n (u) = f-nu = u(n) for all u G D+. Moreover, for ft = n, n G N we have fn = f * ■ ■ ■ * f and L/n (u) = n * ■ ■ ■ * n * u is a n-fold antiderivative of the generalized function u. For all u G D+ we call L^u the (weak) Riemann — Liouville fractional derivative of u when ^ < 0, and the Riemann — Liouville fractional integral of u when ^ > 0. For the (weak) Riemann — Liouville derivative of the order v > 0 we will also use the notation 8VX, i.e. u(x) := L/-v (u)(x) = f-v * u(x).

Laplace transform of distributions. For each a > 0 define D+ (a) as a set of such functions f from D+ that f (x)e-sX G S+ = D+ n S'(R) for all s > a. For each a > 0 the set D+ (a) is called the set of originals with the growth rate up to a. Then S+ C D+ (0) C D+ (ai) C D+ (a2) for all 0 < ai < a2. Note that S+ and D+ (a) are convolution subalgebras of D+ for all a > 0.

Let f G D+ (a). For arbitrary fixed s > a define the Laplace transform L[f ] of f by the formula

L[f](p) = (f(x)e-sX, n(x)e-(p-s)x),

where (■, ■) is the dual pairing between the space of generalized functions S+ and the space of test functions S+ = R ^ C | n(x)^(x) = n(x)^(x) for some ^ G S(R)}.

Note that for each ft G R we have fa G D+ (a) for all a > 0 and Lf] = p-a. Moreover, the Laplace transform L transforms a convolution into a product: L[f *g] = L[f]L[g] for f, g G D+ (a). Therefore, the Laplace transform of the (weak) Riemann — Liouville fractional derivative (of the order v > 0) of a function u G D+ (a) has the form

£[$Xu] = L[f-v * u] = L[u].

2. Fundamental solutions, evolution semigroups and transition probabilities

Let {Xt}t>0 be a Levy process on Rd. Then the distribution ^ := PXl of a random variable Xi is infinitely divisible and defines a convolution semigroup {^}t>0 on Rd. The transition function Pt(x, B) of the Levy process {Xt}t>0 is then defined by

Pt(x,B) := ^(B — x), t > 0, x G Rd, B G B(Rd).

Using the convolution semigroup {^}t>0, one can construct two evolution semigroups on the space C^(Rd) of continuous vanishing at infinity functions: the backward semigroup (Tt)t>0 and the forward semigroup (Tt*)t>0. These semigroups are defined for f G C^(Rd) as follows:

Ttf (x) := E[f (x + Xt)] = J f (x + y)^(dy) = J f (y)P(x, dy);

Rd Rd

Tf (x) := E[f (x — Xt)] = I f (x — y)^(dy) = f * ^(x).

Rd

Proposition 1. The semigroups Tt and Tt* can be naturally extended to the space L2(Rd) and these extensions are adjoint, i.e. for all /, g G L2(Rd) one has

(Ttf, g) = (f, Tt*g).

Moreover, operators Tt* are pseudo-differential operators with symbol and operators Tt are pseudo-differential operators with symbol e-for some continuous negative definite function

Proof. Indeed, for all f, g e C^(Rd) n L2(Rd)

C^ g) = J T/ (x)g(x) dx = J J / (x + y)^i(dy)g(x) dx

/ / /(z)g(z - y)^(dy) dz = J /(z)T*g(z) dz = (/, Tt*g).

By the Bochner theorem there exist a unique continuous negative definite function ^ such that

F ]

/ G

Then, using the properties of convolution and Fourier transform, one has for

t*/ = / * ^ = F-i F [/ * ^ ]

F

F [/]F [^ ]

F

i

3- #

F[/]

i.e. the semigroup Tt* is a family of pseudo-differential operators with the symbol e-^. Let now L be the generator of (Tt)t>0 and L* be the generator of (Tt*)t>0. Hence the generator L* is also a pseudo-differential operator with the symbol —-0. Further, one has for f, g e S(Rd)

(/, T*g) = (/, F-1 [e-^F[g]j ) = (F[e-^F-1[/]j, g) = (F-1 [e-^(-')F/ , g) = (T/, g),

i.e. the semigroup Tt is a family of pseudo-differential operators with the symbol e-And hence the generator L is a pseudo-differential operator with the symbol —-0(—-). Moreover, for all /, g G S(Rd) one has (L/, g) = (/, L*g). The proposition is proved.

Since ^ G Cœ (Rd) grows at infinity with all its derivatives not faster than a polynomial then for

all p G S (Rd) the functions F-1 —^F[p]

and

-1

—-0(—-)F[p] are well defined and belong

again to S (Rd). Hence one can define the operators L and L* on the space S'(Rd) by the formulas Lf := F-1[—^(—-)F[f]] and L*f := F-1[—^F[f ]] respectively, i.e. for each f e S'(Rd) and each p e S(Rd) one has:

(L*f, p) := (F-1 [—^F[f]], p) = (f, F[—^F-1[p]]) = (f, Lp)

and vice versa (Lf, p) := (f, L*p).

Connections between semigroups, evolution equations and their fundamental solutions.

Consider now the Cauchy problem in Rd

/ (t,x) = L*/(t,x), / (0, x) = /o(x).

(3)

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

d

)

Here /o e S (Rd) and the problem is well-posed in L2(Rd). The theory of evolution semigroups provides the solution of (3) in the form

/ (t,x) = Tt7o(x).

This classical Cauchy problem (3) can be also transformed into the generalized one in a standard way (see [7]): let /(t,x) be a solution of (3). For each t < 0 and all x e Rd define /(t,x) := 0 and consider the function / as an element of S'(R x Rd). Then the weak derivative d/ of / with respect to the variable t is calculated as follows:

d/(t,x) = / (t,x) + /o(x)5(t),

df

here — is the classical derivative and /0 is the initial data of the Cauchy problem (3). And hence the solution of the classical Cauchy problem (3) solves the equation

d/(t,x) - L*/(t,x) = /o(x)5(t) (4)

in S'(R x Rd).

Assume that a fundamental solution E of the operator dt — L* in S'(R x Rd) exists. If L* is a local operator than our assumption is true (see [7]) and the solution of (4) is given then by the Duhamel formula

/(t,x) = [E(t,x)] * [/o(x)5(t)] = [E(t, ■) * /o](x). (5)

Proposition 2. The Duhamel formula (5) is also true in the case when L* is the generator of the Levy process Xt, whose symbol ^ is of class C^(Rd).

Proof. Let us solve the equation dtE — L* E = 5 in S' (R x Rd). Apply the Fourier transform with respect to the variable x. Let F[E(t, -)](y) = E(t, y). Then we have F[dtE(t, -)](y) = dtE(t, y), F[L*E(t,-)](y) = —^(y)[^(t,y)] and F[5(t, -)](y) = 5(t). Therefore, we obtain

d/(t,y)+ ^(y)^(t,y) = 5(t),

i.e. E-(-,y) is the fundamental solution of an ordinary (with respect to the variable t, y is a parameter) differential operator Ly = dt + ^(y). Let us find the fundamental solution of Ly using the Laplace transform with respect to the variable t. Let £[£(t,y)](s) = E(s,y). Then L[dt£f(t,y)](s) = sEE(s,y) and L[5(t)](s) = 1. Therefore, we get

sE (s,y)+ ^(y)E (s,y) = 1,

i.e.

E (s, y) = 1 . s + ^(y)

Hence <E(t, y) = e-i^(y)n(t) with the Heaviside function n. And, therefore,

E (t,x) = n(t)F -1[e-i^ ](x).

Since is a continuous negative definite function, the function e ) is positive definite and its inverse Fourier transform is the measure ^, i.e. E(t, ■) = n(t)^• Therefore, for all t > 0 and

x e Rd

[E(t, ■) * fo](x) = J fo(x - y)^(dy) = Tt*/o(x) = f (t,x),

Rd

i.e. the Duhamel formula (5) indeed solves the Cauchy problem (3).

Connection between different notions of the fundamental solution. The identity dt E—L*E =

5 in S'(R x Rd) means that for each p e S (R x Rd) one has

(dE — L*E, p) = (5, p) = p(0,0).

Let us fix s e R, x e Rd. With a linear change of variables t ^ t — s, y ^ y — x one can show that the generalized function (distribution) Es,x e S'(R x Rd),

Es,x(t, dy) := E(t — s, dy — x),

solves in S'(R x Rd) the equation dtEs,x — L*Es,x = 5s,x with the shifted Dirac delta-function 5s,x such that (5sx, p, =)p(s, x). The function Es,x is usually called a fundamental solution with singularity at (s, x). Therefore, for each p e S(R x Rd) one has:

p(s,x) = (d Esx — L* Es,x,p, =)(Esx, —dtp — Lp, =)

— J dtj[dp(t,y) + Lp(t, y)]n(t — s)^-s(dy — x) =

R Rd

+ro>

— / /[dtp(t,y) + Lp(t,y)]pt-s(x,dy) dt.

Therefore, the identity (1) (with £(t) := p(t, ■)) is recovered for this particular case in the form:

+ro

J |[dp(t,y) + Lp(t,y)]P-s(x,dy) dt = —p(s,x), p e Cc°°(R x Rd) cS (R x Rd).

3. Fractional derivatives and fundamental solutions

Define now the Weyl fractional derivative (d£)* of order v e (0,1) for all test functions p e D(R) by the formula

+ro

WN * / s ' s 1

)* (p)(x) = J (y - x)-vp'(y) dy.

F(1 - v) x

Proposition 3. The operator — (d£)* is adjoint to the weak Riemann — Liouville derivative ) in the following sense: for all p G D(R) and g G D+ (R) c D'(R) one has

(dXg, P> = — (g, (dX)V>.

Proof. Indeed, using the rule of differentiation of a convolution one has

(dXg, p) = (/-v * g, p) = (/1-v * = <(/l-v * g^ p) = — (g * /l-v, =

— </i_(y)g(x), p'(x + y)>> = (g(x), </i-v, p'(x + •)>) = — (g, (5V)*p).

Here we used the fact that, since /1-v G L11oc(R) is a regular distribution, one has

+^

</i-v, p(x + ■)) = J /i-v(y)p'(x + y) dy = ——- / (z - x)_Vp'(z) dz = (dX)V(x).

R x

Connection between different notions of the fundamental solution. Let D+ (R2) be the set of

generalized functions from D'(R2) having supports in the quadrant {(t, x) G R2 | t > 0, x > 0}. Let v G (0,1). Let there exists a function Ev(t, x) G D+ (R2) which is a fundamental solution of the operator Lv := dt + d£ with the weak Riemann — Liouville fractional derivative d£, i.e. Ev solves in D'(R2) the equation LvEv = 5. As in the previous Subsection fix s G R and y G R. With a linear change of variables t ^ t — s, x ^ x — y one can show that the generalized function (distribution) Evy G D'(R2),

EsVy(t,x) := EV(t — s,x — y),

i.e.

(EVy, p(-, ■)) = (Ev, p( + s, ■ + y)),

solves in D'(R2) the equation dtEVy + d£Es,y = 5s,y with the shifted Dirac delta-function 5s,y. Hence

p(s,y) = (5,y, p) = (dtEVy + 5XEs,y, p) = —(EVy, dp + (dV)*p).

Assume now that Ev is a regular distribution (it is so, e.g., for v =1/2 due to Lemma below). Then for each test function p(t, x) G D(R2) the function Ev(t, x) satisfies the identity

Ev(t — s,x — y)[dtp(t,x) + (dV)*p(t,x)j dxdt = — p(s,y), s, y G R. (6)

s y

This formula once again recovers the identity (1) for the case of v-stable subordinators.

Lemma 1. A fundamental solution of the operator Lv = dt + dV for v = 1/2 is the function

t t2

E 1/2(t,x) = e-^ n(t)n(x).

2v nx3

Proof. Let us solve the equation L vEv = 5 in D'(R2). This equation is equivalent to dtEV(t, x) + S£Ev(t, x) = 5(t)5(x). Applying Laplace transform with respect to the variable x to the generalized functions in both sides of the last equation and denoting Ev (t,p) = L[EV(t, -)](p) we get

dtE (t,p)+ pVEv (t,p) = 5(t).

Applying Laplace transform with respect to the variable t to the generalized functions of the variable t in both sides of the last equation and denoting Gv (s,p) = L[Ev (-,p)](s) we get

sGv (s,p) + pv Gv (s,p) = 1.

Therefore, Gv (s,p) = ^ v. Hence using the tables of Laplace transforms, one gets

Ev (t,p) = e-tpV n(t),

i.e. Ei/2(t,p) = e-i^pn(t). Once again, using the tables of Laplace transforms one gets that

t

Ei/2(t,x) = 0 ^^e-^n(t)n(x).

Since the function E1/2(t, x) is a regular distribution and belongs to the set D+ (R2) then the equality (6) for v =1/2 and E1/2(t, x) holds.

References

1. Bogdan K., Butko Ya., Szczypkowski K. Majorization, 4G theorem and Schrodinger perturbations. Preprint. 2014. 15 p. Available at: http://arxiv.org/pdf/1411.7907.pdf, accessed 01.12.2014.

2. Bogdan K., Hansen W., Jakubowski T. Time-dependent Schrodinger perturbations of transition densities. StudiaMathematica, 2008, vol. 189, no. 3, pp. 235-254. DOI: 10.4064/sm189-3-3

3. Bogdan K., Hansen W., Jakubowski T. Localization and Schrodinger perturbations of kernels. Potential Analysis, 2013, vol. 39, no. 1, pp. 13-28.

4. Bogdan K., Jakubowski T., Sydor S. Estimates of perturbation series for kernels. Journal of Evolution Equations, 2012, vol. 12, no. 4, pp. 973-984.

5. Bogdan K., Szczypkowski K. Gaussian estimates for Schrodinger perturbations. Studia Mathematica, 2014, vol. 221, no. 2, pp. 151-173. DOI: 10.4064/sm221-2-4

6. Jacob N. Pseudo differential operators and Markov processes. Vol. I. Fourier analysis and semigroups. London, Imperial College Press, 2001. 493 p.

7. Vladimirov V.S. Equations of mathematical physics. New York, Marcel Dekker Inc., 1971. 418 p. (Ser. Pure and Applied Mathematics; vol. 3).

Наука и Образование. МГТУ им. Н.Э. Баумана. ВсШИб Электрон. журн. 2015. № 1. С. 42-52.

DOI: 10.7463/0115.0754986

МГТУ ИМ. Н.Э. Баумана Представлена в редакцию: 02.02.2015

Сетевое научное издание ® МГТУ им.НЭ БаУмана

ISSN 1994-0408 УДК 517.968.72

О фундаментальных решениях, переходных вероятностях и дробных производных

БуТКО Я. А.1' *yanabutko@yandex.ru

1 Россия, МГТУ им. Н.Э. Баумана

Ключевые слова: эволюционные полугруппы; фундаментальное решение; дробная производная; субординатор

В серии недавних работ К. Богдана, В. Хансена, Т. Якубовского, К. Шипковского, С. Сидора [2, 3, 4, 5] была развита техника построения эволюционных полугрупп, порожденных некоторыми заданными операторами. В рамках предложенной техники использовался тот факт, что полугруппа является ядром отрицательного левого обратного оператора к сумме временной производной и генератора этой полугруппы. И это ядро называлось (слабым) фундаментальным решением данной суммы. Этот факт был доказан в статье К. Богдана, Я.А. Бутко и К. Шипковского [1], а именно, было показано, что полугруппа, порожденная заданным оператором, действительно является (слабым) фундаментальным решением упомянутой выше суммы, и только ее. В указанной статье техника К. Богдана и его соавторов была использована для обсуждения эволюционных полугрупп, порожденных аддитивными возмущениями (1/2)-устойчивого субординатора, т.е. оператора дробной производной Вейля порядка 1/2.

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

Наука йОбразо

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

Коши. В случае (1/2)-устойчивого субординатора найдено фундаментальное решение (переходная вероятность) путем решения эволюционного уравнения со (слабой) дробной производной Римана — Лиувилля и показано, что дробная производная Вейля является минус сопряженным оператором к (слабой) производной Римана — Лиувилля.

Список литературы

1. Bogdan K., Butko Ya., Szczypkowski K. Majorization, 4G theorem and Schrodinger perturbations. Preprint. 2014. 15 p. Available at: http://arxiv.org/pdf/1411.7907.pdf, accessed 01.12.2014.

2. Bogdan K., Hansen W., Jakubowski T. Time-dependent Schrodinger perturbations of transition densities // Studia Mathematica. 2008. Vol. 189, no. 3. P. 235-254. DOI: 10.4064/sm189-3-3

3. Bogdan K., Hansen W., Jakubowski T. Localization and Schrodinger perturbations of kernels // Potential Analysis. 2013. Vol. 39, no. 1. P. 13-28.

4. Bogdan K., Jakubowski T., Sydor S. Estimates of perturbation series for kernels // Journal of Evolution Equations. 2012. Vol. 12, no. 4. P. 973-984.

5. Bogdan K., Szczypkowski K. Gaussian estimates for Schrodinger perturbations // Studia Mathematica. 2014. Vol. 221, no. 2. P. 151-173. DOI: 10.4064/sm221-2-4

6. Jacob N. Pseudo differential operators and Markov processes. Vol. I. Fourier analysis and semigroups. London: Imperial College Press, 2001. 493 p.

7. Vladimirov V.S. Equations of mathematical physics / translated from the Russian by A. Littlewood; edited by A. Jeffrey. New York: Marcel Dekker Inc., 1971. 418 p. (Ser. Pure and Applied Mathematics; vol. 3).

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