Intrinsic ultracontractivity for Schrödinger operators with mixed boundary conditions (Q2498496): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q841498
Property / author
 
Property / author: Pedro J. Mendez-Hernandez / rank
Normal rank
 

Revision as of 06:58, 21 February 2024

scientific article
Language Label Description Also known as
English
Intrinsic ultracontractivity for Schrödinger operators with mixed boundary conditions
scientific article

    Statements

    Intrinsic ultracontractivity for Schrödinger operators with mixed boundary conditions (English)
    0 references
    0 references
    16 August 2006
    0 references
    Let \(D\) be a domain in \(\mathbb{R}^n\) and \(H_0u(x)=-\sum_{i,j=1}^n {\partial \over \partial x_i}(a_{ij}(x){\partial u\over \partial x_j})\) a uniformly elliptic operator with Dirichlet boundary condition on a closed subset \(S\) of \(\partial D\) and Neumann condition on \(\partial D\setminus S\). For a Kato class potential \(V\), let \(H=H_0+V\) and \((\lambda_1,\varphi_1)\) be its smallest eigenvalue and ground state. The semigroup \(e^{-tH}\) is called intrinsically ultracontractive (IU) if \(e^{\lambda_1 t} e^{-tH}/ (\varphi_1(x)\varphi_1(y))\) maps \(L^2(D;\varphi_1^2 dx)\) into \(L^\infty(D;\varphi_1^2 dx)\). The main purpose of this paper is to show that \(e^{-tH}\) is IU under the present mixed boundary condition. More precisely, if \(\partial D\setminus S\) is locally Lipschitz continuous and \(S\) is either Hölder continuous of order 0 or uniformly Hölder continuous of order \(\alpha\) with \(0<\alpha<2\), then the estimations of the transition density \(p(t,x,y)\) such as \(p(t,x,y)\leq C t^{-n/4}\exp\left(-(\lambda_1-c)t+c(\alpha)\right) \varphi_1(x)\varphi_1(y)\) are given. Furthermore, a version of Hardy inequality of the form \[ \int_D | \psi(x)| ^2/d_S(x)^2 \,dx \leq C \int_D (| \psi(x)| ^2+\| \nabla \psi(x)\| ^2)\,dx \] for \(C^\infty\) function on \(\overline{D}\) which vanishes near \(S\) is also given, where \(d_S(x)\) is the distance between \(x\) and \(S\).
    0 references
    0 references
    Hardy inequality
    0 references

    Identifiers