Научная статья на тему 'Probabilistic characterizations of essential self-adjointness and removability of singularities'

Probabilistic characterizations of essential self-adjointness and removability of singularities Текст научной статьи по специальности «Математика»

CC BY
119
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
LAPLACIAN / ESSENTIAL SELF-ADJOINTNESS / REMOVABILITY OF SINGULARITIES / PROBABILISTIC CHARACTERIZATIONS / STOCHASTIC PROCESSES / ЛАПЛАСИАН / СУЩЕСТВЕННАЯ САМОСОПРЯЖЕННОСТЬ / УСТРАНИМЫЕ ОСОБЕННОСТИ / ВЕРОЯТНОСТНОЕ ОПИСАНИЕ / СЛУЧАЙНЫЕ ПРОЦЕССЫ

Аннотация научной статьи по математике, автор научной работы — Hinz Michael, Kang Seunghyun, Masamune Jun

We consider the Laplacian and its fractional powers of order less than one on the complement R

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

Текст научной работы на тему «Probabilistic characterizations of essential self-adjointness and removability of singularities»

www.volsu.ru

DOI: https://doi.org/10.15688/mpcm.jvolsu.2017.3.11

UDC 517 LBC 22.161

PROBABILISTIC CHARACTERIZATIONS OF ESSENTIAL SELF-ADJOINTNESS AND REMOVABILITY OF SINGULARITIES

Michael Hinz

Professor, Department of Mathematics, University of Bielefeld [email protected] 33501 Bielefeld, Germany

Seunghyun Kang

Doctoral student, Department of Mathematical Sciences,

Seoul National University

[email protected]

GwanAkRo 1, Gwanak-Gu, Seoul 08826, Korea

Jun Masamune

Professor, Department of Mathematics, Hokkaido University [email protected]

Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido, 060-0810, Japan

о

CS

Abstract. We consider the Laplacian and its fractional powers of order less than one on the complement Rd \ £ of a given compact set £ C Md of zero Lebesgue measure. Depending on the size of £, the operator under consideration, equipped with the smooth compactly supported functions on Rd \ £, may or may not be essentially self-ajoint. We survey well-known descriptions for the critical size of £ in terms of capacities and Hausdorff measures. In addition, we collect some known results for certain two-parameter stochastic processes. What we ^ finally want to point out is, that, although a priori essential self-adjointness is not

¡5 a notion directly related to classical probability, it admits a characterization via

J Kakutani-type theorems for such processes.

CO

с

Ё

©

Key words: Laplacian, essential self-adjointness, removability of singularities, probabilistic characterizations, stochastic processes.

Introduction

In this note we would like to point out an interesting connection between some traditional and well-studied notions in analysis and an interesting, but perhaps slightly less known area in probability theory. More precisely, we outline the relation between uniqueness questions for self-adjoint extensions of the Laplacian and its powers on the one hand and hitting probabilities for certain two-parameter stochastic processes on the other. Although both, the analytic part and the probabilistic part of the results stated below are well-established, it seems that the existing literature did never merge these two different aspects.

Recall that if a symmetric operator in a Hilbert space, considered together with a given dense initial domain, has a unique self-adjoint extension, then it is called essentially self-adjoint. The question of essential self-adjointness has strong physical relevance, because the evolution of a quantum system is described in terms of a unitary group, the generator of a unitary group is necessarily self-adjoint, and different self-adjoint operators determine different unitary groups, i.e. different physical dynamics. See for instance [37, Section X.1]. Self-adjointness, and therefore also essential self-adjointness, are notions originating from quantum mechanics.

A related notion of uniqueness comes up in probability theory, more precisely, in the theory of Markov semigroups. Recall that any non-positive definite self-adjoint operator L on a Hilbert space H is uniquely associated with a non-negative definite closed and densely defined symmetric bilinear form Q on H by Q(u,v) = -(u,Lv)H, [37, Section VIII.6], where (■,-)H denotes the scalar product in H and u and v are arbitrary elements of the domain of Q and the domain of L, respectively. Now assume that H is an L2-space of real-valued (classes of) functions. Then, if for any u from the domain of Q also |«| is in the domain of Q and we have q(|m|, h) < Q(u,u), the form Q is said to satisfy the Markov property. In this case it is called a Dirichlet form, and L is the infinitesimal generator of a uniquely determined strongly continuous semigroup of symmetric Markov operators on H, sometimes also called a Markov generator, [7; 9; 15]. We say that a non-positive definite symmetric operator in an L2-space H, together with a given dense initial domain, is Markov unique, if it has a unique self-adjoint extension in H that generates a Markov semigroup. Different Markov generators determine different Markov semigroups and (disregarding for a moment important issues of construction and regularity) this means that they define different Markov processes. So the notion of Markov uniqueness belongs to probability theory. It has strong relevance in the context of classical mechanics and statistical physics.

For a non-positive definite densely defined symmetric operator on an L2-space essential self-adjointness implies Markov uniqueness, but the converse implication is false, see Examples 1 and 2 below or [39]. Even if an operator is Markov unique, it may still have other self-adjoint extensions that do not generate Markov semigroups. It is certainly fair to say that a priori the notion of essential self-adjointness is a not a probabilistic notion. However, and this is what we would like to point out here, in certain situations essential self-adjointness can still be characterized in terms of classical probability.

We consider specific exterior boundary value problems in Rd. It is well-known that the Laplacian A, endowed with the initial domain C0°(Kd) of smooth compactly supported functions on Rd, has a unique self-adjoint extension in L2(Rd). This unique self-adjoint extension is given by (A, H2(Rd)), where given a > 0, the symbol Ha(Rd) denotes the Bessel potential space of order a, see Section 1 below. Similarly, the fractional Laplacians

— (—A)a/2 of order a > 0, endowed with the domain C^(Rd), have unique self-adjoint extensions, respectively, namely (—(—A)a/2,Ha(Rd)). In the present note we focus on the cases 0 < a < 2.

Given a compact set £ C Rd of zero d-dimensional Lebesgue measure, we denote its complement by N := Rd \ £. For any 0 < a < 2 the operator (—(—A)a/2, C^(N)) is non-positive definite and symmetric on L2(N) = L2(Rd). We are interested in conditions on the size of £ so that (—(—A)a/2,C^(N)) is essentially self-adjoint. Of course one possible self-adjoint extension is the global operator (—(—A)a/2,Ha(Rd)), which 'ignores' £. If £ is 'sufficiently small', it will not be seen, and there is no other self-adjoint extension. If £ is 'too big', it will registered as a boundary, leading to a self-adjoint extension different from the global one.

As mentioned, the analytic background of this problem is classical and can for instance be found in the textbooks [1; 15; 33]. See in particular [33, Sections 13.3 and 13.4]. For integer powers of the Laplacian on Rd a description of the critical size of £ in terms of capacities and Hausdorff measures had been given in [3, Section 10], and to our knowledge this was the first reference that gave such a characterization of essential self-adjointness. For fractional powers a characterization of essential self-adjointness for the case £ = {0} follows from [14, Theorem 1.1]. For more general compact sets £ such descriptions do not seem to exist in written form. A probabilistic description for the critical size of £, which we could not find anywhere in the existing literature, can be given in terms of suitable two-parameter processes as for instance studied in [20; 25; 27; 28]. In essence, these descriptions are straightforward applications of Kakutani type theorems for multiparameter processes, see for instance [25, Chapter 11, Theorems 3.1.1 and 4.1.1]. In fact, using processes with more than two parameters one could even extend this type of results to fractional Laplacians of arbitrary order. A philosophically related idea, namely a connection between Riesz capacities and the hitting behaviour of certain one-parameter Gaussian processes (that are not Markov processes except in the Brownian case) had already been studied in [23]. Taking into consideration also processes with a more general state space, another idea is to test the size of small sets with one-parameter processes taking values in the space of finite measures over Rd, see for instance [12;35;36]. Interestingly, they exhibit exactly the hitting behaviour needed to characterize the essential self-adjointness of the Laplacian, [36, Theorem III.5.2].

We would like to announce related forthcoming results for Laplacians on complete Riemannian manifolds, [19]. An analytic description of essential self-adjointness for the Laplacian via capacities reads as in the Euclidean case, instead of traditional arguments for Euclidean spaces based on convolutions, [1], our proof uses the regularity theory for the Laplacian on manifolds, [17], and basic estimates on the gradients of resolvent densities, [4, Section 4.2]. To proceed to a geometric description we use asymptotics of the resolvent densities, they are basically the same as those for Green functions, see for instance [4, Section 4.2], [16, Section 4.2] or [29, Section 4.2]. For a probabilistic description we restrict ourselves, at least for the time being, to the case of Lie groups. In this case we can still work with relatively simple two-parameter processes and use the potential developed in [20; 21] to connect them to capacities and essential self-adjointness. In the case of general complete Riemannian manifolds one first has to raise the quite non-trivial question what could be suitable two-parameter processes taking values in manifolds. It might even turn out that it is more natural to use measure-valued processes.

A subsequent idea to be addressed in the near future concerns details of the relationship between stochastic processes and specific boundary value problems. For many interesting

cases it is well understood how boundary value problems (such as Dirichlet, Neumann or mixed), encoded in the choice of domain for the associated Dirichlet form, determine the behaviour of associated one-parameter Markov processes. It would be interesting to see whether, and if yes, in what sense, the behaviour of related two-parameter processes can reflect given boundary value problems for the Laplacian, encoded in the choice of its domain as a self-adjoint operator.

In the next section we collect some preliminaries. In Section 2 we discuss analytic characterizations of Markov uniqueness and essential self-adjointness for fractional Lapla-cians. In Section 3 we provide geometric descriptions, and in Section 4 we give probabilistic characterizations in terms of hitting probabilities for two-parameter processes.

Acknowledgements

We would like to thank Professors Masayoshi Takeda, Sergio Albeverio and Hiroaki Aikawa for helpful and inspiring discussions on the subject. We would like to thank Professors Mouhamed Moustapha Fall and Veronical Felli for kindly pointing out their paper [14].

L2(Rd)

1. Bessel potential spaces, capacities and kernels

We provide some preliminaries on function spaces, fractional Laplacians, related capacities and kernels. Our exposition mainly follows [1, Chapters 1-3]. Given a > 0 we define the Bessel potential space of order a by

Ha(Rd) = ju G L2(Rd) : (1 + m2)a/2u G L2(Rd)} ,

where u m u denotes the Fourier transform of u. Together with the norm

IMItf «(R<) = ||(1 + №2)a/2«

it becomes a Hilbert space. See for instance [1; 33; 40; 41]. Using the fact that

-A/ =(№7 )v

for any f G S(Rd), where S(Rd) denotes the space of Schwartz functions on Rd and u m u the inverse Fourier transform, we can easily see that (A,C,^(Rd)) is essentially self-adjoint on L2(Rd) with the unique self-adjoint extension (A, H2(Rd)), see for instance [10, Theorem 3.5.3]. For a > 0 we can define the fractional Laplacians — (—A)a/2 of order a/2 in terms of Fourier transforms by

(—A)a/2/ = (|^7 )v.

Again it is not difficult to show that (—A)a/2, endowed with the domain C^(Rd), has a unique self-adjoint extension, namely ((—A)a/2,Ha(Rd)). One can proceed similarly as in [10, Theorem 3.5.3], see also [10, Theorem 1.2.7 and Lemma 1.3.1]. Given a > 0, we write

Ya :=((1 + |^|2)-a/2)v (1)

to denote the Bessel kernel of order a and Qaf := ya * f to denote the Bessel potential operator Qa of order a, which defines a bijection from S(Rd) into itself and also a bounded

linear operator Qa : L2(Rd) ^ L2(Rd). In both interpretations we have Qa = (I — A)-a/2. The image Qaf of a measurable function f : Rd ^ [0, is a lower semicontinuous nonnegative function on Rd, see [1, Proposition 2.3.2]. This implies that for any f e L+(Rd), where the latter symbol denotes the cone of nonnegative elements in L2(Rd), its image Qaf is a [0, +<^]-valued function on Rd, i.e. defined for any x e Rd. We can therefore define the a, 2-capacity Capa 2(S) of a set E C Rd by

Capa,2(^) = inf {||/||'2(Rd) : f e L+(Rd) and Q«f (x) > 1 for all x e E} ,

with the convention that Capa2(S) = if no such f exists, see [1, Definition 2.3.3].

There is another, 'more algebraic' definition of a a, 2-capacity. For a compact set K C Rd, define

Cap'a>2(^) = inf {IWHha(Rd) : V e C™(Rd) such that v(x) = 1

for all x from a neighborhood of K} . (2)

Exhausting open sets by compact ones and approximating arbitrary sets from outside by open ones, this definition can be extended in a consistent manner to arbitrary subsets of Rd. Now it is known that there exist constants c1, c2 > 0 such that for any compact set K C Rd, we have

ci Cap^tf) < Cap'a,2(tf) < C2 Cap^tf), (3)

see [32, Theorem 3.3] for integer a and [1, Section 2.7 and Corollary 3.3.4] or [2, Theorem A] for general a. We would like to remark that (3) is based on certain truncation results for potentials. For 0 < a < 1 the spaces Ha(Rd) are domains of Dirichlet forms so that truncation properties are immediate from the Markov property. However, for a > 1 one needs to invest additional arguments, see for instance [1, Sections 3.3, 3.5 and 3.7]. As before, let a > 0. We say that a Radon measure h on Rd has finite a-energy if

f lvld\i < c |M|Ha(Rd7 for all V e C0°°(R).

JRd ( 7

For a measure h having finite a-energy we can find a function UaH e Ha(Rd) such that

(UaH,v)Ha(Rd7 = / vdp for all v eS(Rd). (4)

( 7 JRd

Using Fourier transforms this seen to be equivalent to requiring

((1 + |^|2)aU^,^)L2(Rd) = H(i^-j) for all V e S(Rd),

what implies that UaH = (1 + |^|2)-aH in the sense of Schwartz distributions, and finally,

UaH = Y2a * H

Note that by (1) we have

Y2a = Ya * Ya. (5)

We can define the a-energy of ц as

Ел(ц):=/ Uац йц,

and by (4) this can be seen to equal «(Rd). There is a dual definition of the a, 2-

capacity: For a compact set K c Rd we have

Capa2(X) = sup { ). : fx is a Radon measure on k\ (6)

' I(f) J

with the interpretation ^ := 0, see [1, Theorem 2.2.7].

We finally collect some well-known asymptotics of the Bessel kernels. For 0 < a < d we have

Ya ~ Cd,alxla-d as |x| m 0 (7)

with a positive constant cd,a depending only on d and a, and for the limit case a = d,

Yd(x) ~ cd(— log |x|) as |x| m 0 (8)

with a positive constant cd depending on only on d. Moreover, it is known that

Ya is continuous away from 0 and Ya(^) = 0(e-c^) as ^ m to. (9)

By (1) we have Ya(4) < |£|-a for all sufficiently large £ e Rd. In the case d < a we therefore see that the Bessel kernel Ya is an element of L1(Rd) and equals

YaM = /r, (T^^ - G Ri <10>

See [1, Sections 1.2.4 and 1.2.5].

2. Markov uniqueness, essential self-adjointness and capacities

Recall that £ c Rd is a given compact set of zero Lebesgue measure and N := Rd \ £. We first state a well-known known result on Markov uniqueness. Using the definition (2) of capacities together with traditional approximation arguments, which we will formulate below for the question of essential self-adjointness, one can obtain the following. Theorem 1. Let 0 < a < 2. The fractional Laplacian ((—A)a/2,C™(N)) is Markov-unique if and only if Capa/2 2(£) = 0.

A classical guiding example for the case a =2 is the following, which will be complemented for the cases 0 < a < 2 in Section 3.

Example 1. Consider the case that £ = {0}. Then (A,C™(N)) is Markov unique if and only if d > 2. See [39, p. 114].

We turn to essential self-adjointness. The following theorem provides a characterization in term of the a, 2-capacity of £.

Theorem 2. Let 0 < a < 2. The fractional Laplacian ((—A)a/2,C™(N)) is essentially self-adjoint if and only if Capa 2(£) = 0.

For the case a =2 Theorem 2 is partially implied by [3, Theorems 10.3 and 10.5], which also imply corresponding results for powers of the Laplacian of higher integer order. In [19] we provide a version of Theorem 2 for the Laplacian (a = 2) on complete Riemannian manifolds, generalizing earlier results given in [30, Theorem 3] and [8, Theoreme 1].

The following is a well-known guiding example for a = 2, for the case 0 < a < 2 see Section 3.

Example 2. Consider the case that £ = {0}. Then (A,C0O(N)) is essentially self-adjoint if and only if d > 4. See [39, p. 114] and [37, Theorem X.11, p. 161].

We formulate a proof of Theorem 2. Theorem 1 can be obtained by similar arguments.

Proof. Suppose that Capa,2(£) = 0. Let (£(a), dom£(a)) denote the closure in L2(Rd) of —(—A)a/2 with initial domain C°(N). Since clearly dom£(a) C Ha(Rd), it suffices to show the converse inclusion. Given u e Ha(Rd), let (un)n C C^(Rd) be a sequence approximating u in Ha(Rd). By (2) there is a sequence (vk)k C C^(N) such that vk — 0 in Ha(Rd) and for each k, vk equals one on a neighborhood of £. Set wnk := (1 — vk)un to obtain functions wnk e C^(N). Let n be fixed. It is easy to see that un — wnk = unvk — 0 in L2(Rd) as k —^ to. Because the graph norm of (—A)a/2 provides an equivalent norm in Ha(Rd), it now suffices to note that

(-A)a/2(un - wnk) = (-A)a/2(unvk) ^ 0 in L2(Rd) as k ^ to.

For any f,g G C™(Rd) we can use the identity

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

-(-A)a/2(fg) = 2r(a)(/,g) - f (—A)a/2g - g(-A)a/2f

to define the carré du champ r(a\f,g) of f and g associated with — (—A)a/2, see for instance [5, Section 1.4.2]. We have

\«/2

(11)

(12)

f (—A)a/2g

L2(Rd)

<

IMI

Ha

for the second summand on the right hand side, and

g(—AV/2f

L2(Wd)

<

(—A)a/2/

L^(Wd)

IMI

L2(Rd)

for the third. For the first summand on the right hand side of (12) we can use Cauchy — Schwarz, ^(f^^ < r(a)(f,f )1/2r(a)(g,g)1/2, and since (—(—A)a/2, C°(Rd)) also extends to a Feller generator on Rd (see for instance [38]), we have r(a)(/, f) e L°(Rd), so that

r(a)(f,g)

Ha

< r(a)(/J) ||#||

L2(Rd) " W J ' L^(Rd)

Here we have used that is nothing but the energy ((—A)a/4g,

(—A)a/4g) L2(Rd) of 9, clearly dominated by the square of the Ha(Rd)-norm of g. Considering (12) with un and vk in place of f and g and applying the preceding estimates, we see (11). As a consequence, we see that Ha(Rd) C dom£(a).

Conversely, suppose that ((—A)a/2, C0(N)) is essentially self-adjoint in L2(Rd). Then its unique self-adjoint extension must be ((—A)a/2,Ha(Rd)). Let u e C0(Rd) be a function that equals one on a neighborhood of £. Since C°(Rd) C Ha(Rd) and by hypothesis C°(N) must be dense in #a(Rd), we can find a sequence (un)n approximating u in Ha(Rd). The

functions er

и — и.

bd

,n then are in

), equal one on a neighborhood of £, and converge

to zero in Ha(Rd), so that Capa,2(£) < limra ЦепЦн«(Rd) = 0.

L

CXj

Finally, we would like to mention known removability results for A. One says that a compact set K c Rd is removable (or a removable singularity) for A in L2 if any solution u of Au = 0 in U\ K for some bounded open neighborhood U of K such that u e L2(U\ K), can be extended to a function u e L2(U) satisfying AS =0 in U. See [1, Definition 2.7.3]. By Corollary [1, 3.3.4] (see also [33, Section 13.4] and [3, Proposition 10.2]) a compact set K c Rd is removable for A in L2 if and only if Cap2 2(X) = 0.

Removability results for fractional Laplacians are for instance discussed in [22].

3. Riesz capacities and Hausdorff measures

In this section we consider some geometric descriptions for the critical size of £. For the case of Markov uniqueness they have been discussed in many places. For the case of essential self-adjointness of integer powers of the Laplacian they were already stated in [3].

We first give a quick review of Riesz energies and capacities. Given s > 0 and a Radon measure x on Rd, let

hx = / ^ — y^'x^x^x) J Rd J Rd

denote the Riesz energy of order s of f. The Riesz energy of order zero of a Radon measure x on Rd we define to be

hX = / (— ln ^ — V\)+ f(dy)f(dx).

J Rd J Rd

For a Borel set E c Rd we can the define the Riesz capacity of order s > 0 of E by

Caps(E) = [inf {/s(x) : f Borel probability measure on E}]-1

with the agreement that 1 := 0. See for instance [25, Appendix C]. Now suppose 0 < 2a < d and that K c Rd is compact. Then

Capa2(X) > 0 if and only if Capd-2a(X) > 0. (13)

To see this note that if there exists a Borel probability measure x on K with id-2a(x) < < then by (9) and (7) respectively (8) we have E^(x) < and by (6) therefore Capa 2(K) > 0. Conversely, if the a, 2-capacity of K is positive, we can find a nonzero Radon measure x on K with E^(x) < so that again by (9) and (7) respectively (8) the Borel probability measure has finite Riesz energy of order d — 2a.

Consider the Dirac measure 6o with total mass one at the origin, it is the only possible probability measure on the compact set {0}. If 2a < d then obviously ld-2a(60) = so that by (13) we have Capa2({0}) = 0. On the other hand, for d < 2a identity (10) implies that Ua6o(x) = Y2a * §o(x) = Y2a(z), x G Rd, so that Ea(6o) = Y2a(0) < and therefore Capa2({0}) > 0. Similar arguments are valid with a in place of 2a. This produces fractional versions of Examples 1 and 2.

Example 3. Consider the case that 0 < a < 2 and £ = {0}. Then ((—A)a/2,C^(N)) is always Markov unique for d > 2. For d =1 it is Markov unique if 0 < a < 1 but not if 1 < a < 2. See also [6, Section II.5, p. 63]. So a necessary and sufficient condition for Markov uniqueness is d > a.

Example 4. Consider the case that 0 < a < 2 and £ = {0}. Then ((—A)a/2,C™(N)) is always essentially self-adjoint for d > 4. For d < 3 it is essentially self-adjoint if 0 < 2a < d but not if d < 2a < 4. Therefore a necessary and sufficient condition for essential self-adjointness is d > 2a.

As before let £ c Rd be compact and of zero Lebesgue measure and write N := Rd\ £. Using theorems of Frostman — Taylor type [25, Appendix C, Theorems 2.2.1 and 2.3.1], see also [13;24;31;34], we can give another description of the critical size of £, now in terms of its Hausdorff measure and dimension. Given s > 0, the symbol V.s denotes the s-dimensional Hausdorff measure on Rd [13;24;31;34]. By dim# we denote the Hausdorff dimension. Again we begin with a result on Markov uniqueness.

1. Let 0 < a < 2 and suppose a < d.

(i) If ^d-a(£) < then ((—A)a/2,C°°°(N)) is Markov unique. This is true in particular if a < d and dim# £ < d — a.

(ii) If ((—A)a/2, C0°°(N)) is Markov unique then dimH £ < d — a.

For the essential self-adjointness we have the following result, it partially generalizes [3, Theorem 10.3, Corollary 10.4 and Theorem 10.5]

2. Let 0 < a < 2 and suppose 2a < d.

(i) If %d-2a(£) < then ((—A)a/2,C(f (N)) is essentially self-adjoint. This is true in particular if 2a < d and dim# £ < d — 2a.

(ii) If ((—A)a/2, C^°(N)) is essentially self-adjoint then dim# £ < d — 2a.

We provide some arguments for Corollary 2, it follows from Theorem 2. In a similar manner one can deduce Corollary 1 from Theorem 1.

Proof. If 2a < d and %d-2a(£) < in Corollary 2 (i), then by Frostman — Taylor, [25, Appendix C, Theorem 2.3.1], we have Capd-2a(£) = 0, and by (13) therefore also Capa,2(£) = 0. If 2a = d and %°(£) < then £ must be a finite set of points, note that 'is the counting measure. Since capacities are subadditive, we have Capd/2 , 2(£) = 0 once we know a single point has zero d/2, 2-capacity. However, the only probability measure a single point p e Rd can carry is a Dirac point mass measure bp with total mass one, and clearly I°(bp) = so that Cap°({p}) = 0. By (13) this implies that Capd/22({p}) = 0, as desired. Conversely, if we have 2a < d and Capa2 (£) = 0 Corollary 2 (ii), then by (13) Capd-2a(£) = 0, and Frostman-Taylor implies that for any e > 0, %d-2a+£(£) = 0, showing dim# £ < d — 2a. If 2a = d and Capd/2 , 2(£) = 0, then by (13) we have Cap°(£) = 0. It is not difficult to see that this implies Cape(£) = 0 for all e > 0, and therefore dim# £ = 0.

4. Additive processes and a probabilistic characterization

In this section we provide probabilistic characterizations of Markov uniqueness and essential self-adjointness. We use the notation R+ = [0,

We are aiming only at results on hitting probabilities, so there is ambiguity what sort of stochastic process to use. Potential theory suggests to use Markov processes, and due to the group structure of Rd a particularly simple choice is to use certain Levy processes, [6; 38]. Recall that a Levy process on Rd is a stochastic process (Xt)teR+, modelled on a probability space (Q, T, P) and taking values in Rd that has independent and stationary

increments, is stochastically continuous, is P-a.s. right-continuous with left limits ('cadlag') and such that P(X0 = 0) = 1. See for instance [38, Chapter I, Section 1, Definition 1.6].

Let (Bt)teR+ denote a Brownian motion on Rd (starting at the origin), modelled on a probability space (Q,T,P), that is a Levy process on Rd with P-a.s. continuous paths and such that for any t > 0 and any Borel set A c Rd,

P(Bt e A) = p(t,x)dx,

J A

where

1 ( \x\2\

p(t,x) = J2nty/2 -ir) , f> 0,x e R*

Alternatively, in terms of characteristic functions, a Brownian motion is a Levy process on Rd satisfying

E [exp {% (4, Bt)}] = exp {-2-1t\l\2} t > 0, 4 e Rd.

More generally, given 0 < a < 2 let (Xt(a) )ieR+ denote an isotropic a-stable Levy process on Rd, modelled on a probability space (Q,T,P), that is a Levy process on Rd satisfying

E

expj4,Xt(a)}}] = exp j-2-а/2Ща} t > 0, 4 G R

Obviously for a =2 the process (Xt(2))ieR+ is equal in law to a Brownian motion (Bt)t^R+. For 0 < a < 2 an isotropic a-stable Levy process can be obtained from a Brownian motion by subordination, see [38, Chapter 6, in particular Example 30.6]. For general existence results for Levy processes see [6, Section I.1, Theorem 1] or [38, Corollary 11.6].

To prepare the discussion of related two-parameter processes below, we collect some properties. Let 0 < a < 2. By

Tt(a)f (x) = E[f (Xt(a) + x)], t > 0, x e Rd,

we can define a strongly continuous contraction semigroup (T}a))t>0 of Markov operators on L2(Rd) (and on the space C^(Rd) of continuous functions vanishing at infinity), they are symmetric in L2(Rd). Its infinitesimal generator (in both spaces) is -2-a/2(-A)a/2. The associated 1-resolvent operators R{a = (I + 2-a/2(-A)a/2)-1 satisfy

/»oo

R^f = e-T}a)fdt, 0

they are bounded linear operators on L2(Rd) (and on C^(Rd)). The operators ^1a) admit radially symmetric densities u^a), that is

R[a)f (x)= f f (y)u[a)(x - y)dy.

JRd

For 0 < a < d we have

Ci\x\a-d < u{a)(x) < C2\x\a-d (14)

whenever \x\ is sufficiently small, where c1 and c2 are two positive constants. See for instance [25, Section 10, Lemma 3.1.1 and 3.4.1].

d

Versions of Kakutani's theorem, [25, Section 10, Theorems 3.1.1 and 3.4.1], now allow to use Brownian motions (in case a = 2) or isotropic a-stable Levy processes (in case 0 < a < 2) to characterize Markov uniqueness. As before, £ C Rd is a compact set of zero Lebesgue measure and N := Rd \ £.

3. Let 0 < a < 2 and assume d > a. The operator ((-A)a/2, )) is Markov unique if and only if for any x G £ we have

P(3 t G R+ such that Xt(a) + x G £) = 0.

The main aim of the present note is to point out a similar characterization for essential self-adjointness. Because their definition and structure is particularly simple, we will use two-parameter additive stable processes to describe the critical size of £. Let 0 < a < 2. Given two independent isotropic a-stable Levy processes (X(a))ieR+ and (X(a))ieR+ on Rd we consider the process (At(a))teR2 defined by

*t(a) = x(*> + xt(2a), t =(t1,t2) G R+. (15)

It is called the two-parameter additive stable process if index a, see [25, Section 11.4.1]. In the case a = 2 it is called the two-parameter additive Brownian motion, we also denote it by (5t)teK+, where

St = Btl + Bt2, t = (ii,i2) G R+,

with two independent Brownian motions (Bt)tes.+ and (Bt)tes.+ on Rd. Additive stable processes or, more generally, additive Levy processes have been studied intensely in [25; 27; 28] and follow up articles.

It seems plausible that, as two processes are added, these two-parameter processes move 'more actively' than their one-parameter versions, so they should be able to hit smaller sets with positive probability. This is indeed the case and can be used for our purpose. The next satement is a simple application of known Kakutani-type theorems for two-parameter processes, [25, Section 11, Theorem 4.1.1].

4. Let 0 < a < 2 and assume d > 2a. The operator ((-A)a/2,C^°(N)) is essentially self-adjoint if and only if for any x G £ we have

P(3 t G R+ such that ^t(a) + x G £) = 0.

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

Applying Corollary 4 with a =2 and d > 4 we can conclude that a compact set K C Rd is removable for A in L2 if and only if it is not hit by the additive Brownian motion with positive probability.

We collect some notions and facts related to additive stable processes and then briefly comment on the case d = 2a in Corollary 4 which is the only case not covered by [25, Section 11, Proposition 4.1.1 and Theorem 4.1.1].

One can define a two-parameter family (7t(a))t^o of bounded linear operators 7t(a) on L2(Rd) (or C^(Rd)) by

7t(a) := Ti^, t = (ti,t2) ^ 0.

Here we write (t1,t2) y (s1,s2) if t1 > s1 and t2 > s2. They satisfy the semigroup property

and

7t(a)Z - f =0, f G CURd),

^t(a)7s(a) = 7^+t for all s, t y 0 and also the strong limit relation

lim

t^o

sup

and, using the density of C^(Rd) n L2(Rd) in L2(Rd), also for the L2(Rd)-norm and f e E L2(Md). By the independence of the summands in (15) it is not difficult to see that

7t(a) 1 A(x)= P(x(a) + x e A)

for all Borel sets A c Rd and starting points x e Rd. See for instance [20] or [25, Sections 11.1 and 11.2]. Mimicking the one-parameter case, on can introduce associated 1-resolvent operators V.1a) by

V^f(x) = / e-(Sl+S2)Ts(a)f(x)ds. jr2+

Here, in accordance with the notation used above, we write 1 = (1,1). Obviously

V(a) = R[a) R[a)

and consequently the v!^ are bounded and linear operators on L2(Rd) (and C^(Rd)) and admit the densities

u[a) = u[a) * u[a), (16)

that is

n[a)j(x)=f f(y)u[a)(x — y)dy.

JRd

We provide the arguments for the special case 2 a = d in Corollary 4. By Giraud's lemma, [4, Chapter 4, Proposition 4.12], together with (14) and (16), the densities w(d/2) are continuous away from the origin and satisfy

u(1/2)(x) < C3 (- log |x|) for sufficiently small x, where c3 is a positive constant. We also have

M(d/2)(x) > c4 (— log |x|) for sufficiently small x with a positive constant c4: Suppose x e Rd and Ixl < 1. We have

u[d/2\x) > i lx - yl-d/2lyl-d/2dy > i lyl-ddy.

J{lx-vl<lyl} J{lx-yl<lyl}

Let P(x) denote the hyperplane orthogonal to the straight line connecting x and the origin 0 and containing the point 2x. (For d =1 it just equals the one-point set containing 1 x.) Then, if H(x) denotes the closed half space having boundary P(x) and containing x, any y E H(x) satisfies lx — yl < |y|. Writing Ad for the d-dimensional Lebesgue measure and Kd for the volume of the d-dimensional unit ball, we have, given |x|/2 < r < 1,

rr

Ad(B(0, r) n H{x}) = Kd-W (r2 — h2)(d-1)/2dh = Kd-ird / (1 — n2)(d-1)/2dn

J|x|/2 J|x|/(2r)

for the volume of the spherical cap B(0,r) n H{x}. For lxl < r < 1 this is bounded below by c(d) rd with a constant c(d) > 0 depending on d only. Writing m(x)(r) := Ad(B(0,r) n H{x}) we therefore have

w(d/2)(x) > lul-ddy = r-d dmx(r) > c(d)d r-1dr = c4(— log |x|),

JB(0,1)nH(x) \B(0,|x|) J ixl J ixl

as desired. Now an application of [25, Section 11.3, Theorem 3.1.1] yields Corollary 4 for 2 a = d.

Remark 1.

(i) Alternatively, one can use the Revalued two-parameter Brownian sheet to characterize the essential self-adjointness of (A,C0^°(N)). A real-valued Gaussian process indexed by R+ is called a two-parameter Brownian sheet if it has mean zero and covariance function C(s, t) = (s1 Ai1)(s2 Ai2), s, t G R+. An Rd-valued two-parameter Brownian sheet is a process (Bt)teR2, where

Bt = (B1,..., B*),

and the components (Bt)teR2, i = 1,...,d, are independent two-parameter Brownian sheets. See for instance [25] or [26]. Using the arguments of [21] one can conclude that (A,C0^°(N)) is essentially self-adjoint if and only if £ is polar for the two-parameter Brownian sheet, more precisely, if and only if

/ P(Bt + x G £)dt = 0.

(ii) As mentioned, yet another stochastic process that can be used to characterize the essential self-adjointness of (A,C™(N)) is the super-Brownian motion. It is a one-parameter process but its state space is a space of measures, and its construction is probabilistically more involved. See for instance [12; 35; 36] and in particular [36, Theorem III.5.2].

REFERENCES

1. Adams D.R., Hedberg L.I. Function Spaces and Potential Theory. New York, Springer, 1996. 368 p.

2. Adams D.R., Polking J.C. The equivalence of two definitions of capacity. Proc. Amer. Math. Soc., 1973, vol. 37 (2), pp. 529-533.

3. Ashbaugh M.S., Gesztesy F., Mitrea M., Shterenberg R., Teschl G. A Survey on the Krein — von Neumann Extension, the Corresponding Abstract Buckling Problem, and Weyl-type Spectral Asymptotics for Perturbed Krein Laplacians in Nonsmooth Domains. Mathematical Physics, Spectral Theory and Stochastic Analysis, Operator Theory: Adv. and Appl., 2013, vol. 232, pp. 1-106.

4. Aubin Th. Nonlinear Analysis on Manifolds: Monge-Ampere Equations. New York, Springer, 1982. 204 p.

5. Bakry D., Gentil I., Ledoux M. Analysis and Geometry of Markov Diffusion Operators. New York, Springer, 2014. 552 p.

6. Bertoin J. Levy Processes. Cambridge, Cambridge Univ. Press, 1996. 266 p.

7. Bouleau N., Hirsch F. Dirichlet Forms and Analysis on Wiener Space. Berlin, De Gruyter, 1991. 335 p.

8. Colin de Verdiere Y. Pseudo-Laplaciens. I. Ann. Inst. Fourier, 1982, vol. 32, pp. 275286.

9. Davies E.B. Heat Kernels and Spectral Theory. Cambridge, Cambridge Univ. Press, 1989. 208 p.

10. Davies E.B. Spectral Theory and Differential Operators. Cambridge, Cambridge Univ. Press, 1995. 182 p.

11. Deny J. Theorie de la capacite dans les espaces fonctionnels. Sem. Brelot — Choquet — Deny, 1964-1965, vol. 9 (1), pp. 1-13.

12. Dynkin E.B. A probabilistic approach to one class of nonlinear differential equations. Probab. Theory Related Fields, 1991, vol. 89 (1), pp. 89-115.

13. Falconer K.J. Fractal Geometry. Chichester, Wiley, 1990. 366 p.

14. Fall M.M., Felli V. Sharp essential self-adjointness of relativistic Schrodinger operators with a singular potential. J. Funct. Anal., 2014, vol. 267 (6), pp. 1851-1877.

15. Fukushima M., Oshima Y., Takeda M. Dirichlet forms and symmetric Markov processes. Berlin; New York, De Gruyter, 1994. 489 p.

16. Grigor'yan A. Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds. Bull. Amer. Math. Soc., 1999, vol. 36 (2), pp. 135-249.

17. Grigor'yan A. Heat kernel and analysis on manifolds. Boston, MA, AMS, 2009. 482 p.

18. Grigor'yan A., Masamune J. Parabolicity and stochastic completeness of manifolds in terms of the Green formula. J. de Mathématiques Pures et Appliquées, 2013, vol. 100, no. 5, pp. 607-632.

19. Hinz M., Masamune J. Essential self-adjointness of Laplacians and two-parameter processes, in preparation, 2017.

20. Hirsch F. Potential theory related to some multiparameter processes. Pot. Anal., 1995, vol. 4, pp. 245-267.

21. Hirsch F., Song S. Markov properties of multiparameter processes and capacities. Probab. Theory Relat. Fields, 1995, vol. 103, pp. 45-71.

22. Jaye B., Nazarov F., Reguera M.C., Tolsa X. The Riesz transform of codimension smaller than one and the Wolff energy, preprint. URL: https://arxiv.org/abs/1602.02821.

23. Kahane J.P. Dimension capacitaire et dimension de Hausdorff. Theorie du Potentiel, Lecture notes in Math. Berlin; Heidelberg, Springer, 1984, vol. 1096, pp. 393-400.

24. Kahane J.P. Some Random Series of Functions. Cambridge, Cambridge Univ. Press, 1985. 320 p.

25. Khoshnevisan D. Multiparameter Processes: An Introduction to Random Fields. New York, Springer, 2002. 584 p.

26. Khoshnevisan D., Shi Zh. Brownian sheet and capacity. Ann. Probab., 1999, vol. 27 (11), pp. 1135-1159.

27. Khoshnevisan D., Xiao Y. Additive Levy processes: Capacity and Hausdorff dimension. Fractal Geometry and Stochastics III, Progress in Probab.. Basel, Birkhauser, 2004, vol. 57, pp. 151-172.

28. Khoshnevisan D., Xiao Y. Levy processes: Capacity and Hausdorff dimension. Ann. Probab., 2005, vol. 33 (3), pp. 841-878.

29. Li P., Tam L.-F. Symmetric Green's functions on complete manifolds. Amer. Journal Math., 1987, vol. 109 (6), pp. 1129-1154.

30. Masamune J. Essential self adjointness of Laplacians on Riemannian manifolds with fractal boundary. Communications in Partial Differential Equations, 1999, vol. 24:3-4, pp. 749757.

31. Mattila P. Geometry of Sets and Measures in Euclidean Spaces. Cambridge, Cambridge University Press, 1995. 343 p.

32. Mazja V. Removable singularities of bounded solutions of quasilinear elliptic equations of any order. J. Soviet Math., 1975, vol. 3, pp. 480-492.

33. Mazja V. Sobolev Spaces. New York, Springer, 2011. 866 p.

34. Morters P., Peres Y. Brownian Motion. Cambridge, Cambridge Univ. Press, 2010. 416 p.

35. Perkins E. Polar sets and multiple points for super-Brownian motion. Ann. of Probab., 1990, vol. 18 (2), pp. 453-491.

36. Perkins E.A. Dawson-Watanabe Superprocesses and Measure-Valued Diffusions. Ecole d'Ete de Probabilites de Saint-Flour XXIX-1999. Lecture Notes Math.. Berlin, Springer, 2002, vol. 1781, pp. 125-329.

37. Reed M., Simon B. Methods of Modern Mathematical Physics, vol. 1-2. San Diego, Acad. Press, 1980. 400 p.

38. Sato K.-I. Levy Processes and Infinitely Divisible Distributions. Cambridge, Cambridge

Univ. Press, 1999. 486 p.

39. Takeda M. The maximum Markovian self-adjoint extensions of generalized Schrödinger operators. J. Math. Soc. Japan, 1992, vol. 44 (1), pp. 113-130.

40. Triebel H. Interpolation Theory, Function Spaces, Differential Operators. Amsterdam; New York; Oxford, North-Holland Publ. Company, 1978. 532 p.

41. Triebel H. Fractals and Spectra. Basel, Birkhauser, 1997. 272 p.

ВЕРОЯТНОСТНОЕ ОПИСАНИЕ СУЩЕСТВЕННОЙ САМОСОПРЯЖЕННОСТИ

И УСТРАНИМЫХ ОСОБЕННОСТЕЙ

Майкл Хинц

Профессор, Факультет математики, University of Bielefeld [email protected] 33501 Bielefeld, Germany

Сеунгхюн Канг

Докторант, Факультет математических наук, Seoul National University [email protected]

GwanAkRo 1, Gwanak-Gu, Seoul 08826, Korea

Джун Масамун

Профессор, Факультет математики, Hokkaido University [email protected]

Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido, 060-0810, Japan

Аннотация. В статье рассматривается лапласиан и его дробные степени порядка меньше единицы на дополнении Rd \ £ заданного компактного множества £ С Rd нулевой меры Лебега. В зависимости от размера £ рассматриваемый оператор, снабженный гладкими функциями с компактным носителем на Rd \ £, может быть или не быть существенно самосопряженным. В исследовании мы используем хорошо известные описания критического размера £ в терминах емкостей и мер Хаусдорфа. Кроме того, мы напоминаем в тексте статьи требуемые известные результаты для некоторых двухпараметрических стохастических процессов. В итоге мы приходим к выводу, что хотя априорная существенная самосопряженность не является понятием, непосредственно связанным с классической вероятностью, она допускает описание с помощью теорем типа Какутани для таких процессов.

Ключевые слова: лапласиан, существенная самосопряженность, устранимые особенности, вероятностное описание, случайные процессы.

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