24.06.2013 Views

For printing - MSP

For printing - MSP

For printing - MSP

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

PACIFIC JOURNAL OF MATHEMATICS<br />

Vol. 198, No. 1, 2001<br />

ON THE ASYMPTOTICS OF THE TRACE OF THE HEAT<br />

KERNEL FOR THE MAGNETIC SCHRÖDINGER<br />

OPERATOR<br />

Junichi Aramaki<br />

We consider the effect of a magnetic field for the asymptotic<br />

behavior of the trace of the heat kernel for the Schrödinger<br />

operator. We discuss the case where the operator has compact<br />

resolvents in spite of the fact that the electric potential is<br />

degenerate on some submanifold. According to the degree<br />

of the degenaracy, we obtain the classical and non-classical<br />

asymptotics.<br />

1. Introduction.<br />

In this paper, we consider the Schrödinger operator on Rd with the magnetic<br />

vector potential A(z) and the electric scalar potential V (z):<br />

H(A, V ) = 1<br />

2 (i∇ + A(z))2 (1.1)<br />

+ V (z).<br />

We will assume that H(A, V ) and H(0, V ) are essentially self-adjoint in<br />

L 2 (R d ) starting from C ∞ 0 (Rd ) and we denote the self-adjoint extensions by<br />

H and H0, respectively. It is well known that if<br />

(1.2)<br />

lim V (z) = +∞,<br />

|z|→∞<br />

H0 has compact resolvents (c.f. for example, Reed and Simon [8]). Odencrantz<br />

[7] studied the asymptotic behavior of Tr[exp(−tH) − exp(−tH0)] as<br />

t ↓ 0 in the case where V (z) ≈ |z| 2p (p > 0) and the curl of A(z) is a uniform<br />

magnetic field. Matsumoto [5] extended the result to the case with more<br />

general magnetic field.<br />

However, (1.2) is not a necessary condition in order that H0 has compact<br />

resolvents. In spite of the lack of (1.2), there are some cases where H0 has<br />

compact resolvents.<br />

The motivation of this paper originates in the works of Simon [11], Robert<br />

[9] and Aramaki [3]. In order to explain this, we put<br />

Zcl(t) = (2π) −d<br />

<br />

e −t(|ζ|2 /2+V (z))<br />

dzdζ.<br />

It is well known that Tr[exp(−tH0)] ≤ Zcl(t) for t > 0. In [11], he considered<br />

the degenerate potential V (z) of the form V (x, y) = |x| 2p |y| 2q (p, q > 0) on<br />

1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!