Scattering by obstacles of finite capacity
type: Item
instance of: scholarly article
title: Scattering by obstacles of finite capacity
zbMATH Open document ID: 0803.47015
author: V. Pereyra
published in: Journal of Functional Analysis
publication date: 1995-01-03T00:00:00Z
review text: Assume that \(X\) is a locally compact, second countable space equipped with a Radon measure \(m\) of full support. Let \(G\subset X\) be an open set and \(B= X\backslash G\) considered as an obstacle. Assume further that a self-adjoint non-negative operator \(H\) on \(L_ 2(X)\) is given such that: (1) the form \(\mathfrak h\) associated to \(H\) is a regular Dirichlet form, (2) for any \(t>0\), \(\|\exp(- tH): L_ 1\to L_ 1\|< \infty\). Another operator \(H_ G\) on \(L_ 2(G)\) is associated to the closure of the form \({\mathfrak h}\mid D({\mathfrak h})\cap C_ c(G)\). Let \(J^*: L_ 2(G)\to L_ 2(X)\) be the embedding and \(J: L_ 2(X)\to L_ 2(G)\) be the orthogonal projection. The paper develops a method to study the difference \[ D(t):= \exp(- tH)- J^*\exp(- tH_ G)J. \] Sufficient conditions are stated for the operator \(D(t)\) to be Hilbert-Schmidt respectively trace class. As a consequence, one can show that the essential respectively absolutely continuous spectra of \(H\) and \(H_ G\) coincide. The method is based on two theoretical results. The first one is the existence of a Markov process \((\Omega,(\mathbb{P}^ x; x\in X)\), \(({\mathcal X}_ t; t>0))\), i.e. for each \(x\in X\), \((\Omega,\mathbb{P}^ x,({\mathcal X}_ t)_{t>0})\) is a stochastic process with the state space \(X\cup\{\infty\}\). Moreover, it holds \[ \exp(- tH)f(x)= \mathbb{E}^ x(f\circ{\mathcal X}_ t) \] for \(t\geq 0\), \(f\in L_ 2\) and a.e. \(x\in X\) [\textit{M. Fukushima}, `Dirichlet forms and Markov processes', Amsterdam (1980; Zbl 0422.31007)]. The second source is a factorization technique based on the `little Grothendieck theorem'' which yields a remarkable criterion for an operator to be Hilbert-Schmidt respectively trace class. The starting point of the method is then an application of the Feynman- Kac formula giving \[ \exp(- tH_ G)f(x)= \mathbb{E}^ x(\mathbf{1}_{\{\tau_ b>t\}}\cdot f\circ{\mathcal X}_ t). \] Here \(\tau_ B= \inf\{s\geq 0;\;{\mathcal X}_ t\in B\}\) is the hitting tim…
Mathematics Subject Classification ID: 47A40
Mathematics Subject Classification ID: 47B10
Mathematics Subject Classification ID: 47A10
Mathematics Subject Classification ID: 60J25
zbMATH DE Number: 599788
zbMATH Keywords: locally compact, second countable space equipped with a Radon measure of full support
zbMATH Keywords: essential spectra
zbMATH Keywords: little Grothendieck theorem
zbMATH Keywords: obstacle
zbMATH Keywords: regular Dirichlet form
zbMATH Keywords: orthogonal projection
zbMATH Keywords: Hilbert-Schmidt
zbMATH Keywords: trace class
zbMATH Keywords: absolutely continuous spectra
zbMATH Keywords: Markov process
zbMATH Keywords: stochastic process
zbMATH Keywords: state space
zbMATH Keywords: factorization technique
zbMATH Keywords: Feynman-Kac formula
reviewed by: P. Št'ovíček
MaRDI profile type: Publication
full work available at URL: jfan.1994.1054
OpenAlex ID: W2050819727
DOI: 10.1006/JFAN.1994.1054
description: scientific article; zbMATH DE number 599788