Intrinsic ultracontractivity for Schrödinger operators with mixed boundary conditions (Q2498496): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q841498 |
||
Property / author | |||
Property / author: Pedro J. Mendez-Hernandez / 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
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
Hardy inequality
0 references