Self-adjoint extensions and stochastic completeness of the Laplace-Beltrami operator on conic and anticonic surfaces

被引:14
作者
Boscain, Ugo [1 ,2 ]
Prandi, Dario [1 ,2 ,3 ]
机构
[1] Ecole Polytech, CNRS, CMAP, Route Saclay, F-91128 Palaiseau, France
[2] INRIA Ctr Rech Saclay, Team GECO, Paris, France
[3] Univ Paris 09, CEREMADE, Pl Marechal Lattre Tassigny, F-75775 Paris 16, France
基金
欧洲研究理事会;
关键词
Heat and Schrodinger equation; Degenerate Riemannian manifold; Grushin plane; Stochastic completeness; RIEMANNIAN-MANIFOLDS; GEOMETRY; FORMULA;
D O I
10.1016/j.jde.2015.10.011
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study the evolution of the heat and of a free quantum particle (described by the Schrodinger equation) on two-dimensional manifolds endowed with the degenerate Riemannian metric ds(2) = dx(2) + vertical bar x vertical bar(-2 alpha)d theta(2), where x is an element of R, theta is an element of T and the parameter alpha is an element of R. For alpha <=-1 this metric describes cone-like manifolds (for alpha = -1 it is a flat cone). For alpha = 0 it is a cylinder. For alpha >= 1 it is a Grushin-like metric. We show that the Laplace-Beltrami operator Delta is essentially self-adjoint if and only if alpha is not an element of (-3, 1). In this case the only self-adjoint extension is the Friedrichs extension Delta(F), that does not allow communication through the singular set {x = 0} both for the heat and for a quantum particle. For alpha is an element of(-3, 1] we show that for the Schrodinger equation only the average on theta of the wave function can cross the singular set, while the solutions of the only Markovian extension of the heat equation (which indeed is Delta(F)) cannot. For alpha is an element of (-1, 1) we prove that there exists a canonical self-adjoint extension Delta(B), called bridging extension, which is Markovian and allows the complete communication through the singularity (both of the heat and of a quantum particle). Also, we study the stochastic completeness (i.e., conservation of the L-1 norm for the heat equation) of the Markovian extensions Delta(F) and Delta(B), proving that Delta(F) is stochastically complete at the singularity if and only if alpha <= -1, while Delta(B) is always stochastically complete at the singularity. (C) 2015 Elsevier Inc. All rights reserved.
引用
收藏
页码:3234 / 3269
页数:36
相关论文
共 31 条
[1]  
Agrachev A., 2012, LECT NOTES
[2]   Two-dimensional almost-Riemannian structures with tangency points [J].
Agrachev, A. A. ;
Boscain, U. ;
Charlot, G. ;
Ghezzi, R. ;
Sigalotti, M. .
ANNALES DE L INSTITUT HENRI POINCARE-ANALYSE NON LINEAIRE, 2010, 27 (03) :793-807
[3]  
Agrachev A, 2008, DISCRETE CONT DYN-A, V20, P801
[4]  
Alekseeva V. S., 2012, J MATH SCI-U TOKYO, V187, P1
[5]  
[Anonymous], 1996, Progress in Mathematics
[6]   Null controllability of Grushin-type operators in dimension two [J].
Beauchard, K. ;
Cannarsa, P. ;
Guglielmi, R. .
JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2014, 16 (01) :67-101
[7]   Normal forms and invariants for 2-dimensional almost-Riemannian structures [J].
Boscain, U. ;
Charlot, G. ;
Ghezzi, R. .
DIFFERENTIAL GEOMETRY AND ITS APPLICATIONS, 2013, 31 (01) :41-62
[8]   Lipschitz Classification of Almost-Riemannian Distances on Compact Oriented Surfaces [J].
Boscain, U. ;
Charlot, G. ;
Ghezzi, R. ;
Sigalotti, M. .
JOURNAL OF GEOMETRIC ANALYSIS, 2013, 23 (01) :438-455
[9]   LOCAL PROPERTIES OF ALMOST-RIEMANNIAN STRUCTURES IN DIMENSION 3 [J].
Boscain, Ugo ;
Charlot, Gregoire ;
Gaye, Moussa ;
Mason, Paolo .
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2015, 35 (09) :4115-4147
[10]   THE LAPLACE-BELTRAMI OPERATOR IN ALMOST-RIEMANNIAN GEOMETRY [J].
Boscain, Ugo ;
Laurent, Camille .
ANNALES DE L INSTITUT FOURIER, 2013, 63 (05) :1739-1770