Dynkin's formula and large coupling convergence
type: Item
instance of: scholarly article
title: Dynkin's formula and large coupling convergence
zbMATH Open document ID: 1068.31003
published in: Journal of Functional Analysis
publication date: 2005-03-08T00:00:00Z
review text: Let \(H\geq 1\) be a selfadjoint operator in the Hilbert space \(\mathcal H\), let \(J\) be a bounded linear operator from \((D(\sqrt H),\|\sqrt H\bullet\|)\) into some auxiliary Hilbert space and denote for every \(\beta>0\) by \(H_\beta^J\) the nonnegative selfadjoint operator in \(\mathcal H\) defined via \[ \Bigl\|\sqrt{H_\beta^J} f\Bigr\|^2 = \|\sqrt H f\|^2 + \beta \|Jf\|^2, \qquad f\in D(\sqrt H). \] It is shown that the limit \(D_\infty^J = \lim_\beta D_\beta^J\), \(D_\beta^J := H^{-1} - (H_\beta^J)^{-1}\) exists strongly and satisfies the following generalized Dynkin formula: \[ D_\infty^J = P H^{-1} \] where \(P\) is the orthogonal projection in \(D(\sqrt H)\) onto \((\text{ker} J)^\bot\). Both the operator and trace class norms of \(D_\infty^J - D_\beta^J\) are explicitly given so that the exact rate of convergence can be studied. In the special case where \(H-1\) is the selfadjoint generator of the \(m\)-symmetric Dirichlet form \(\mathcal E\) on \(L^2(E,m)\) and where \(J\) maps \(D(\mathcal E)\) onto \(L^2(E,\mu_\Gamma)\), \(\mu_\Gamma\) being the equilibrium measure of the closed subset \(\Gamma\subset E\) having finite Dirichlet capacity, the estimate becomes \[ \|D_\infty^J - D_\beta^J\| \leq 1/(1+\beta),\quad\beta > 0; \] it is also shown that this estimate is sharp.
Mathematics Subject Classification ID: 31C25
Mathematics Subject Classification ID: 47B25
Mathematics Subject Classification ID: 35J10
Mathematics Subject Classification ID: 47A40
zbMATH DE Number: 2141616
zbMATH Keywords: equilibrium measure
zbMATH Keywords: hard core scattering
zbMATH Keywords: trace class
zbMATH Keywords: Dirichlet form
author: J. Brasche
author: Michael Demuth
reviewed by: R. L. Schilling
MaRDI profile type: Publication
full work available at URL: j.jfa.2004.06.007
OpenAlex ID: W2069008659
cites work: Q3203444
cites work: Upper bounds for Neumann-Schatten norms
cites work: On large coupling operator norm convergences of resolvent differences
cites work: Q4383917
cites work: SchröDinger operators - geometric estimates in terms of the occupation time
cites work: Trace norm estimates for products of integral operators and diffusion semigroups
cites work: Q4503255
cites work: Dirichlet forms and symmetric Markov processes
cites work: Q4191141
cites work: A canonical decomposition for quadratic forms with applications to monotone convergence theorems
cites work: Q3872705
cites work: Spectral theory of ordinary differential operators
DOI: 10.1016/J.JFA.2004.06.007
description: scientific article; zbMATH DE number 2141616