1: \documentclass[12pt]{article}

2: %%% out: %%%PS

3: %%%PS

4: %\usepackage[active]{srcltx}

5: %\usepackage{showkeys}

6: \usepackage{amssymb,amsfonts,latexsym}

7: \usepackage{graphicx}

8: \usepackage{color}

9: \renewcommand{\familydefault}{cmss}

10: \newenvironment{assert}{\begin{itemize}\item[]\it}{\end{itemize}}

11: %%%%%%%%corrections%%%%%%%

12: \newcommand {\cc}{\marginpar{$\bf\rstr$}}

13: \newcommand{\fl}{\overrightarrow}

14: %%%%Diagonal part%%

15: \newcommand {\mD}{{\bf D}}

16: \newcommand {\mO}{{\bf O}}

17: %%%%%%%%%%%%%%%%%%%%%%

18: %%%%%%for2\eps change Bbb to mathbb%%%%%%

19: \newcommand{\bbs}{{\cal s}}

20: \newcommand{\bbf}{{\bf f}}

21: \newcommand {\bR}{{\Bbb R}}

22: \newcommand {\bN}{{\Bbb N}}

23: \newcommand {\bZ}{{\Bbb Z}}

24: \newcommand {\bI}{{\Bbb I}}

25: \newcommand {\bC}{{\Bbb C}}

26: \newcommand {\bD}{{\Bbb D}}

27: \newcommand {\bF}{{\Bbb F}}

28: \newcommand {\bG}{{\Bbb G}}

29: \newcommand {\bH}{{\Bbb H}}

30: \newcommand {\bT}{{\Bbb T}}

31: \newcommand {\bP}{{\Bbb P}}

32: \newcommand {\bQ}{{\Bbb Q}}

33: \newcommand {\bU}{{\Bbb U}}

34: \newcommand {\bV}{{\Bbb V}}

35: \newcommand {\bpsi}{{\bf \psi}}

36: \newcommand {\bphi}{{\bf \phi}}

37: %\newcommand {\bR}{{\bf R}}

38: %\newcommand {\bN}{{\bf N}}

39: %\newcommand {\bZ}{{\bf Z}}

40: %\newcommand {\bC}{{\bf C}}

41: %\newcommand {\bF}{{\bf F}}

42: %\newcommand {\bG}{{\bf G}}

43: %\newcommand {\bH}{{\bf H}}

44: %\newcommand {\bT}{{\bf T}}

45: %\newcommand {\bP}{{\bf P}}

46: %\newcommand {\bQ}{{\bf Q}}

47: %

48: \newcommand {\cB}{{\cal B}}

49: \newcommand {\cC}{{\cal C}}

50: \newcommand {\cD}{{\cal D}}

51: \newcommand {\cF}{{\cal F}}

52: \newcommand {\cI}{{\cal I}}

53: \newcommand {\cG}{{\cal G}}

54: \newcommand {\cH}{{\cal H}}

55: \newcommand {\cK}{{\cal K}}

56: \newcommand {\cll}{{\lambda}}

57: \newcommand {\cL}{{\cal L}}

58: \newcommand {\cO}{{\cal O}}

59: \newcommand {\cS}{{\cal S}}

60: \newcommand {\cT}{{\cal T}}

61: \newcommand{\beq}{\begin{equation}}

62: \newcommand{\eeq}{\end{equation}}

63: \newcommand{\beqn}{\begin{eqnarray}}

64: \newcommand{\eeqn}{\end{eqnarray}}

65: \newcommand{\beqno}{\begin{eqnarray*}}

66: \newcommand{\eeqno}{\end{eqnarray*}}

67: %

68: \newtheorem{theorem}{Theorem} [section]

69: \newtheorem{lemma}[theorem]{Lemma}

70: \newtheorem{propo}[theorem]{Proposition}

71: \newtheorem{defi}[theorem]{Definition}

72: \newtheorem{corollary}[theorem]{Corollary}

73: \newtheorem {notation}[theorem]{Notation}

74: \newtheorem {remark}[theorem]{Remark}

75: \newtheorem {remarks}[theorem]{Remarks}

76: \newtheorem {conject}[theorem]{Conjecture}

77: %\renewcommand {\l}{\left}

78: %\newcommand {\r}{\right}

79: %\newcommand {\q}{q} %{\vec{q}\,}

80: %\newcommand {\p}{p} %{\vec{p}\,}

81: %\newcommand {\LA}{\left\langle}

82: %\newcommand {\bRA}{\right\rangle}

83: \newcommand {\vep}{\varepsilon}

84: \newcommand{\rstr}{{\!\hbox{

85: $\vert\mkern-4.8mu\hbox{\rm\`{}}\mkern-3mu$}}}

86: %%%%%%%%%%%colors%%%%%%%%%%%%%

87: \newcommand {\tb}{\textcolor{blue}}

88: \newcommand {\tr}{\textcolor{red}}

89: \newcommand {\tg}{\textcolor{green}}

90: %%%%%%%%%%%%%%%%%%%%%%%%%%%%

91: 

92: %% PPavel abriviations

93: \newcommand{\AC}{\widetilde{AC}}

94: \newcommand{\dd}{\textrm{d}}

95: 

96: \begin{document}

97: \title {Dynamics of a classical Hall system driven by a time-dependent

98:   Aharonov--Bohm flux}

99: %

100: \author{J. Asch\thanks{CPT-CNRS,

101: Luminy Case 907,  F-13288 Marseille Cedex 9, France. e-mail:

102: asch@cpt.univ-mrs.fr }, 

103:   P.~\v{S}\v{t}ov\'{i}\v{c}ek\thanks{Department of Mathematics, Faculty of Nuclear Science,

104:   Czech Technical University, Trojanova 13, 120 00 Prague, Czech

105:   Republic} }

106: 

107: \date{04.09.2006}

108: %

109: \maketitle

110:  %

111: \begin{abstract}

112:   We study the dynamics of a classical particle moving in a punctured

113:   plane under the influence of a strong homogeneous magnetic field, an

114:   electrical background, and driven by a time-dependent singular flux

115:   tube through the hole.

116: 

117:   We exhibit a striking classical (de)localization effect: in the  far past the trajectories are spirals around a bound center; the particle moves  inward towards the flux tube loosing kinetic energy. After hitting the puncture

118:  it becomes ``conducting'': the motion is a cycloid around a center whose drift is outgoing, orthogonal to the electric field, diffusive, and    without energy loss.

119: 

120: \bigskip

121: \noindent{PACS numbers: 45.50.Pk Particle orbits

122:   classical mechanics, 45.50.-j	Dynamics and kinematics of a particle and a system of particles, 73.43.-f	Quantum Hall effects,

123: 73.50.Gr	Charge carriers: generation, recombination, lifetime, trapping, mean free paths}

124: \end{abstract}

125: 

126: 

127: \section{Introduction}

128: 

129: The motivation to study the dynamics of this classical system is to

130: sharpen our intuition on its quantum counterpart which is, following

131: Laughlin's \cite{Laughlin} and Halperin's \cite{Halperin} proposals,

132: widely used for an explanation of the Integer Quantum Hall effect. Of

133: special interest is how the topology influences on the dynamics. In

134: the mathematical physics literature Bellissard et al. \cite{Bellissard} and

135: Avron, Seiler, Simon \cite{AvronSeilerSimonPRL},

136: \cite{AvronSeilerSimon} used an adiabatic limit of the model to

137: introduce indices. The indices explain the quantization of charge

138: transport observed in the experiments \cite{Klitzing}. See

139: \cite{CombesGerminet, ElgartGrafSchenker, CombesGerminetHislop,

140:   Elgart, Graf} for recent developments. We discussed the adiabatics

141: of the quantum system in \cite{AschHradeckyStovicek}, its quantum and

142: semiclassical dynamics will be treated elsewhere. The dynamics of the

143: classical system without magnetic field were discussed in

144: \cite{AschBenguriaStovicek}.

145: 

146: 

147: We state the model and our main results: 

148: 

149: Consider a classical point particle of mass $m>0$ and charge $e>0$

150: moving in the punctured plane $\bR^2\setminus(0)$. Suppose that a

151: magnetic flux line with time varying strength $\Phi$ pierces the

152: origin and further the presence of a homogeneous magnetic field of

153: strength $B>0$ orthogonal to the plane and an interior electric field

154: with smooth bounded potential $V$.

155: 

156: 

157: The equations of motions are Hamiltonian. For a point\\ $(q,p)=\left((q_{1},q_{2}),(p_{1},p_{2})\right)$ in phase space

158: \[\bP=\bR^2\setminus(0)\times\bR^2\]

159:  the time dependent Hamiltonian is :

160:  \[

161:  \frac{1}{2 m}\left(p-eA(t,q)\right)^2+eV(t,q) ; \qquad

162:  A(t,q)=\left(\frac{B}{2}-\frac{\Phi(t)}{2\pi\vert

163:      q\vert^2}\right)q^{\perp}

164:  \]

165: where $q^{\perp}:=(-q_2,q_1)$.  We suppose that 

166: \[\Phi:\bR\to\bR \hbox{ and } V:\bR\times\bR^2\to\bR \hbox{ are smooth functions}.\] 

167: The electric field is $-\partial_{t}A-\partial_{q}V$, the force on the particle with velocity $\dot q$:

168: \[e\left(\dot q \wedge rot(A)-\partial_{t}A-\partial_{q}V\right)=-e\left({B}\dot q^{\perp}-\frac{\partial_{t}\Phi}{2\pi}\frac{q^{\perp}}{\vert q\vert^{2}}+\partial_{q}V\right)\]

169: 

170: Remark that the  part of the electric field induced by the flux has

171: circulation $\frac{e\partial_{t}\Phi}{2\pi}$ but vanishing rotation, and is

172: long range with an $1/r$ singularity at the origin, we call it the circular parts. $V$ is smooth on

173: the entire plane so that the circulation of the corresponding field is

174: zero. This is the topology essential for the dynamics.

175: %

176: \bigskip

177: 

178: 

179: Recall that when only the constant magnetic field is present, the particle follows the Landau orbits; these are   circles around a fixed center with frequency $\frac{eB}{m}$ whose squared radius is proportional to the energy. 

180: 

181: Our result for the case $\Phi\sim t$, $B$ large, $V$ such that the torque $q\wedge \partial_{q}V$ is small  is qualitatively: 

182: 

183: \begin{itemize}

184: \item[{--}] the motion in configuration space is approximately

185:   rotation with radius proportional to the square root of the

186:   (time-dependent) energy around a drifting center.

187: \item[{--}] for large enough negative times the center is trapped by

188:   the flux line and the energy is linearly decreasing with time, so

189:   the particle is spiraling inwards

190: \item[{--}] from the hitting time on (i.e. the time when the Landau orbit

191:   ``hits'' the singularity) the center starts to drift away from the

192:   flux line, the energy remains asymptotically constant in the future.

193:   The drift is diffusive. The situation is described by

194:   Fig.~\ref{figure1}, showing a typical orbit in q--space.

195: \end{itemize}

196: Remark that the corresponding analysis remains true if the sign of $B$ is changed. In this case  we may state our

197: observation as:

198: {\it  Hall conducting states are eventually trapped by the

199: flux line and trapped states are energy conducting.}\\

200: Here ``hall conducting'' means that the center follows   the lines of the potential diffusively.

201: %%

202: 

203: We shall discuss the corresponding quantum behavior elsewhere.

204: \bigskip

205: 

206: \begin{figure}

207: \begin{center}

208: %%%PS

209: \includegraphics[width=8cm]{motionv.eps}

210: %%%%%%\includegraphics[width=8cm]{motionv.ps}

211: %%%

212: \caption{{\small Typical trajectory of the Hamiltonian $\frac{1}{2}\left(p-\left(\frac{1}{2}q^{\perp}-s\frac{q^{\perp}}{q^{2}}+s\partial_{q}V\right)\right)^{2}$ with $V$ chosen to be $V(x, y) = 1/3 (\sin{x}+\sin{y})$}}

213: \label{figure1}

214: \end{center}

215: \end{figure}

216: 

217: 

218: 

219: In the first section of this paper we state some general remarks on the model and discuss the problem for frozen values of the flux. Next we define appropriate action angle coordinates and use an averaging (adiabatic) method to approximate the dynamics near the hitting time between the particle and the flux line. In the last section we discuss the asymptotic behavior of the solution of the full equations of motion.

220: 

221: Let us remark that our method includes (for the two dimensional case) a simple proof for the guiding center approximation widely used in plasma physics.

222: 

223: \section{Dynamics of the frozen system}

224: Denote

225: \[\omega=\frac{eB}{m}, \cll=\frac{1}{\sqrt{eB}}.\]

226: We use the scaling $(t,q,p)\mapsto (\omega t, q/\cll, {p\cll})$ and ``absorb '' $V$ into the time dependent vectorpotential. The scaled variables are called $(s,q,p)$. The Hamiltonian under consideration then reads

227: \[H(s;p,q):=\frac{1}{2}\left(p-a(s;q)\right)^{2};\quad a(s;q):=\left(\frac{1}{2}q^{\perp}+a_{E}(s;q)\right)\]

228: %%%PS

229: %\newpage\noindent

230: %%

231: where $a_{E}(s):\bR^{2}\setminus(0)\to\bR^{2}$ is smoothly time

232: dependent with $rot(a_{E})(s)=0$. $a_{E}(s)$ and the electric field

233: $E(s):\bR^{2}\setminus(0)\to\bR^{2}$ are defined by:

234: \begin{equation}

235:   \label{ABfield}

236:   -\partial_{s}a_{E}(s):=E(s)

237:   :=\frac{1}{\omega}\left(\frac{\partial_{t}\Phi}{2\pi}

238:     \!\left(\frac{s}{\omega}\right)

239:     \frac{q^{\perp}}{\vert q\vert^{2}}

240:     -\cll\, (\partial_{q} V)\!\left(\frac{s}{\omega},\cll q\right)\right)

241: \end{equation}

242: 

243: We discuss first the solution of the equation of motions for a frozen time $\sigma\in\bR$.

244:  As $\partial_{s}a_{E}(\sigma;q)=0$, the solution of the frozen equations  generated by the Hamiltonian $H(\sigma)$   goes along the lines of the classical Landau problem (which means: the case $\Phi=0; V(q)=0$)

245: 

246: \bigskip 

247: For  $\sigma\in\bR$ define

248: \begin{enumerate}

249: \item the velocity field: $v(\sigma ):\bP\to\bR^{2}, \quad v(\sigma ;q,p):=p-a(\sigma ;q)$;

250: \item the center: $c(\sigma ):\bP\to\bR^{2},\quad c(\sigma ;q,p):=q-v^{\perp}(\sigma ;q,p)$;

251: \item the angular momentum: $L:\bP\to\bR,\quad L(q,p):=q\wedge p$.

252: \end{enumerate}

253: 

254: 

255: Denote the Poisson bracket: $\left\lbrace f,g\right\rbrace=\partial_{q}f\partial_{p}g-\partial_{p}f\partial_{q}g$.

256: 

257: \bigskip

258: \noindent We list some useful formulas: 

259: \begin{propo}\label{frozenflow} The following identities hold as functions on phase space $\bP$ for all $\sigma\in\bR$:

260: \begin{enumerate}

261: \item $\left\lbrace v_{1},v_{2}\right\rbrace=1$,\quad $\left\lbrace c_{1},c_{2}\right\rbrace=-1$,\quad $\left\lbrace c,\frac{c^{2}}{2}\right\rbrace=c^{\perp}$, \quad $\left\lbrace c_{i},v_{j}\right\rbrace=0$;

262: \item $H=\frac{1}{2}v^{2}$,\quad $\left\lbrace v,H\right\rbrace=-v^{\perp}$,\quad $\left\lbrace c,H\right\rbrace=0$;

263: \item \begin{equation}

264: \label{centervelocityequation}

265: \frac{1}{2}c^{2}=\frac{1}{2}v^{2}+L- q\wedge a_{E}=H+L- q\wedge a_{E};

266: \end{equation}

267: 

268: \item the frozen flow $\left(q(\sigma ;s),p(\sigma ;s)\right)$ defined by\\ $\partial_{s}q(\sigma ;s)=\partial_{p}H(\sigma ), \quad\partial_{s}p(\sigma ;s)=-\partial_{q}H(\sigma ), \\ \quad \left(q(\sigma ;0),p(\sigma ;0)\right)=\left(q,p\right)$ is :

269: \begin{eqnarray*}

270: &&q(\sigma ;s)=c(\sigma )+\cos(s)v^{\perp}(\sigma )+\sin(s)v(\sigma )\\

271: &&p(\sigma ;s)=\frac{1}{2}\left(c^{\perp}(\sigma )+\cos(s)v(\sigma )-\sin(s)v^{\perp}(\sigma )\right)+a_{E}(\sigma;q(\sigma ;s))\end{eqnarray*}

272: \end{enumerate}

273: \end{propo} 

274: 

275: {\it Proof}: (1),(2),(3): $\left\lbrace v_{1},v_{2}\right\rbrace=\left\lbrace {p}_{1}-a_{1}(\sigma ,q), {p}_{2}-a_{2}(\sigma ,q)\right\rbrace=rot(a(\sigma ))=1$, $\left\lbrace q_{i},v_{j}\right\rbrace=\delta_{ij}$. $H=\frac{1}{2}v^{2}$ so  $\left\lbrace q,H\right\rbrace=v, \left\lbrace v,H\right\rbrace=-v^{\perp}$.

276: $c^{2}=q^{2}+v^{2}+2q\wedge v$; on the other hand  $L=q\wedge v+\frac{1}{2} q^{2}+ q\wedge a_{E}(\sigma;q)$.\\

277: %%

278: (4): The force is $-\dot{q}^{\perp}$ independently of $\sigma $, Newton's

279: equation $\ddot{q}=-\dot{q}^{\perp}$ is readily verified. On the other

280: hand:

281: $p=v+a=a+c^{\perp}-q^{\perp}=c^{\perp}-\frac{1}{2}q^{\perp}+a_{E}(\sigma;q)$.

282: So $p(s)$ follows from $q(s)$ \hfill$\Box$.

283: 

284: \begin{remarks}

285: \begin{enumerate}

286: \item Since the energy $H(\sigma)=\frac{1}{2}v(\sigma )^{2}$ is

287:   conserved under the frozen flow, the projections of the trajectories

288:   to $q$--space are circles around $c(\sigma )$ with radius

289:   $\sqrt{2H(\sigma )}$. An orbit encircles the origin (has non--trivial homotopy) in

290:   $\bR^{2}\setminus(0)$ if and only if

291: \[

292: c^{2}<2H\Longleftrightarrow L- q\wedge a_{E}(\sigma;q)<0;

293: \]

294: \item the flow is, strictly speaking, not complete  as for $L- q\wedge a_{E}(\sigma;q)=0$ the particle  reaches the origin in $q$--space (and infinity in $p$--space) in finite time; the energy remains, however, finite. This is a mathematical subtlety which can be handled.

295: \end{enumerate}

296: \end{remarks}

297: 

298: 

299: \section{Action angle coordinates}

300: 

301: In order to discuss the full dynamics for large $B$ we introduce

302: action angle coordinates. The frozen dynamics as discussed in

303: Proposition~\ref{frozenflow} suggests to take as coordinates the angles

304: and absolute values of $c$ and $v^{\perp}$, i.e. with the

305: \[\hbox{\bf notation: }\quad e(\theta):=\left(\cos\theta, \sin\theta\right):\] 

306: \begin{eqnarray*}

307: &&q=c+v^{\perp}=\vert c\vert \frac{c}{\vert c\vert}+\vert v\vert\frac{v^{\perp}}{\vert v\vert}=:\vert c\vert e( \varphi_{1})+\vert v\vert e(- \varphi_{2})\\

308: &&p=\frac{1}{2}\left(c^{\perp}+v\right)+a_{E}(\sigma;q)=\frac{1}{2}\left(\vert c\vert e^{\perp}( \varphi_{1})-\vert v\vert e^{\perp}(- \varphi_{2})\right)+a_{E}(\sigma;q)

309: \end{eqnarray*}

310: Motivated by this we define  for $\sigma \in\bR$

311: \begin{eqnarray*}

312: &&q(\sigma ;\varphi,I):=\sqrt{2I_{1}}e(\varphi_{1})+\sqrt{2I_{2}}e(-\varphi_{2})\\

313: &&p(\sigma ;\varphi,I):=\frac{1}{2}\left(\sqrt{2I_{1}}e^{\perp}(\varphi_{1})-\sqrt{2I_{2}}e^{\perp}(-\varphi_{2})\right)+a_{E}(\sigma;q(\sigma ;\varphi,I))

314: \end{eqnarray*}

315: and, denoting by  $\cC$ the nullset $\left\{(\varphi, I); \varphi_{1}+\varphi_{2}=\pi, I_{1}=I_{2}\right\}$ where $q(\sigma ;\varphi,I)=0$, by $\cD$ the nullset $\left\{(q,p);v^{2}=0 \hbox{ or } c^{2}=0\right\}$. Thus for each frozen time $\sigma\in\bR$  the transformation to action angle coordinates $T(\sigma)$ is defined by

316: \begin{eqnarray*}

317: &&T(\sigma ):S^{1}\times S^{1}\times\left\{(I_{1},I_{2});I_{1}\ge0, I_{2}\ge0\right\}\setminus\cC\to \bP\setminus\cD\\

318: &&T(\sigma ;{\varphi},{I})=T(\sigma ;{\varphi_{1},\varphi_{2}},{I_{1},I_{2}}):=\left(q(\sigma ;\varphi,I),p(\sigma ;\varphi,I)\right)\\

319: \end{eqnarray*}

320: 

321: 

322: We have

323: 

324: \begin{lemma}

325: \begin{enumerate}

326: \item $T(\sigma )$ is a canonical diffeomorphism

327: \item $T^{-1}(\sigma )$ is determined by

328: \begin{eqnarray*}

329: &&I_{1}(\sigma )=\frac{c^{2}{(\sigma )}}{2}=\frac{1}{2}\left(p-\left(-\frac{1}{2}q^{\perp}+a_{E}(\sigma; q)\right)\right)^{2};\\

330: && I_{2}(\sigma )=H(\sigma )=\frac{1}{2}\left(p-\left(\frac{1}{2}q^{\perp}+a_{E}(\sigma; q)\right)\right)^{2}\\

331: &&e(\varphi_{1}(\sigma ))=\frac{c}{\vert c\vert}(\sigma )=\frac{\frac{1}{2}q-p^{\perp}-a_{E}^{\perp}(\sigma;q)}{\sqrt{2(H(\sigma )+L-q\wedge a_{E}(\sigma;q))}}\\

332: &&e(-\varphi_{2}(\sigma ))=\frac{v^{\perp}}{\vert v\vert}(\sigma )=\frac{\frac{1}{2}q+p^{\perp}+a_{E}^{\perp}(\sigma; q)}{\sqrt{2H(\sigma )}}

333: \end{eqnarray*}

334: \end{enumerate}

335: \end{lemma}

336: 

337: {\it Proof:} These identities follow immediately from

338: Proposition~\ref{frozenflow}:

339: \begin{eqnarray*}

340:   && \{I_{1},I_{2} \}= 0, \{e(\varphi_{1}),e(\varphi_{2}) \}=0,

341:   \{I_{1},e(\varphi_{2})\}=0= \{I_{2},e(\varphi_{1}) \},\\

342:   && \{e(\varphi_{1}),I_{1} \}=\frac{1}{\vert c\vert}

343:   \{c,\frac{c^{2}}{2} \}

344:   =\frac{c^{\perp}}{\vert c\vert}=e^{\perp}(\varphi_{1}).

345: \end{eqnarray*}

346: On the other hand,

347: $\{e(\varphi_{1}),I_{1}\}=e^{\perp}(\varphi_{1})\{\varphi_{1},I_{1}\}$,

348: so $\{\varphi_{1},I_{1}\}=1$. Similarly: $\{\varphi_{2},I_{2} \}=1$.

349: \hfill$\Box$

350: 

351: \bigskip

352: %

353: We now investigate the full equations of motion, i.e. those for

354: time-dependent flux, in these action angle coordinates. As $rot(E)=0$

355: there exists a (possibly multi--valued) function which we denote by

356: $m=m(s;q)$ such that

357: \[

358: \partial_{q}m(s)=E(s)=-\partial_{s}a_{E}(s).

359: \]

360: Then $T(s)$ is generated by $m$:

361: \[

362: \partial_{s}T(s;\varphi,I)=(0,\partial_{s}a_{E}(q(s;\varphi,I))

363: =(\partial_{p}m,-\partial_{q}m)\circ T(s ;\varphi,I).

364: \]

365: Denote by $U(s):\bP\to\bP$ the hamiltonian flow of $H(s)$ defined by

366: $U(s):=(q(s),p(s))$

367: \[

368: \dot{q}(s)=\partial_{p}H,\textrm{~}\dot{p}(s)=-\partial_{q}H,

369: \textrm{~~}(q(0),p(0))=(q,p),

370: \]

371: then for the flow $\widehat{U}(s)=(\varphi(s),I(s))$ in action angle

372: coordinates defined by

373: \[

374: T(s)\circ\widehat{U}(s)=U(s)\circ T(s=0)

375: \]

376: it holds: 

377: \[

378: \dot{\varphi}(s)=\partial_{I}K\circ \widehat{U}(s),\textrm{~}

379: \dot{I}(s)=-\partial_{\varphi}K\circ \widehat U(s),\textrm{~~}

380: (\varphi(0),I(0))=(\varphi,I),

381: \]

382: where the Hamiltonian in action angle coordinates,

383: $K=H\circ{}T-m\circ{}T$, is

384: \[

385: K(s;\varphi, I)=I_{2}-m(s;q(s;\varphi,I))

386: \]

387: and the equations of motion are (with the notation

388: $\langle\cdot,\cdot\rangle$ for the scalar product)

389: \begin{eqnarray}

390: &&\dot{\varphi}(s)=\partial_{I}K=

391: \left(

392: \begin{array}{c}

393: 0    \\

394: 1  

395: \end{array}

396: \right) -\left\langle E(s,q(s;\varphi,I)),\partial_{I}q\right\rangle\label{phiequation} \\

397: &&\dot{I}(s)=-\partial_{\varphi}K=\left\langle E(s;q(s;\varphi,I)),\partial_{\varphi}q\right\rangle\label{Iequation}

398: \end{eqnarray}

399: \begin{remark}

400: Another way to derive these equations is to start from Newton's equation

401: \[\ddot q=-\dot{q}^{\perp}+E(s;q).\]

402: From the very definition of $c$  and $v$ one gets:

403: \[\dot{c}=-E^{\perp}(c+v^{\perp})\qquad \dot{v}=-v^{\perp}+E(c+v^{\perp})

404: \]

405: which in action angle coordinates gives (\ref{phiequation}), (\ref{Iequation}).

406: \end{remark}

407: \section{Averaged dynamics}

408: We apply  averaging with respect to the fast angle $\varphi_{2}$ to the system (\ref{phiequation}), (\ref{Iequation}) (see \cite{SandersVerhulst,Berglund}). The singularity problem can be overcome by a  regularization technique (see \cite{StiefelScheifele}). The result is that the solutions of the equations are at a distance of order $1/B$ to the solution of the averaged equations over times of  order $B$.

409: 

410: Remark that at this place we are mainly interested in the (de)localization effect so we did not make use of  more involved adiabatic or {\small KAM} methods in order to go to longer or even infinite time scales.

411: 

412: We detail this for the case 

413: \[

414: \Phi(t)=\Phi_{0}t,\quad V \hbox{ time independent,}

415: \]

416: i.e., a flux $\Phi_{0}$ per unit time is added ad-eternam.

417: 

418: Denote the average of a function $f$ on the phase space by

419: \[

420: f_{av}(\varphi_{1},I) := \frac{1}{2\pi}\int_{0}^{2\pi}

421: f(\varphi_{1},\varphi_{2},I)\ d\varphi_{2}

422: \]

423: In particular for a function $f$  defined on the plane thus depending  only on the variable $q$ we denote

424: \[

425: f_{av}(\varphi_{1},I)

426: = \frac{1}{2\pi}\int_{0}^{2\pi}f\!\left(\sqrt{2I_{1}}e(\varphi_{1})

427:   +\sqrt{2I_{2}}e(-\varphi_{2})\right)\ d\varphi_{2}

428: \]

429:  

430:  The field  (\ref{ABfield}) is

431:  \[E(s;q)=\frac{e}{\omega}\left(\frac{\Phi_{0}}{2\pi}\frac{q^{\perp}}{\vert q\vert^{2}}-\cll (\partial_{q}V)\left(\cll q\right)\right)\]

432:  Define

433: \[{\bbf}:=\frac{e\Phi_{0}}{2\pi\omega}\]

434: and choose $m$ and thus $K$:

435:  \begin{eqnarray*}

436:    m(q) &=& \bbf\  arg(q)- \frac{e}{\omega}\,V\!\left(\cll q\right)\\

437:    K(\varphi,I) &=& I_{2}-m\!\left(\sqrt{2I_{1}}e(\varphi_{1})

438:      +\sqrt{2I_{2}}e(-\varphi_{2})\right)\\

439: \end{eqnarray*}

440: 

441: Making use of the identities

442: \[\left\langle \frac{q^{\perp}}{q^{2}},\partial_{I}q\right\rangle=\frac{\sin(\varphi_{1}+\varphi_{2})}{q^{2}}

443: \left(

444: \begin{array}{c}

445: \sqrt{\frac{I_{2}}{I_{1}}} \\

446: -\sqrt{\frac{I_{1}}{I_{2}}}  

447: \end{array}\right),\quad

448: \left\langle  \frac{q^{\perp}}{q^{2}},\partial_{\varphi}q\right\rangle=

449: \left(

450: \begin{array}{c}

451: \frac{I_{1}-I_{2}}{q^{2}}+\frac{1}{2}\\

452: \frac{I_{1}-I_{2}}{q^{2}}-\frac{1}{2}

453: \end{array}\right)

454: \]

455: the system (\ref{phiequation}), (\ref{Iequation}) reads

456: 

457: \begin{eqnarray*}

458: &&\dot{\varphi}(s)=

459: \left(

460: \begin{array}{c}

461: 0    \\

462: 1  

463: \end{array}

464: \right) -\bbf \frac{\sin(\varphi_{1}+\varphi_{2})}{2\left(I_{1}+I_{2}+2\sqrt{I_{1}I_{2}}\cos(\varphi_{1}+

465: \varphi_{2})\right)}

466: \left(

467: \begin{array}{c}

468: \sqrt{\frac{I_{2}}{I_{1}}} \\

469: -\sqrt{\frac{I_{1}}{I_{2}}}  

470: \end{array}\right) +\frac{e}{\omega}\,\partial_{I}V(\lambda q)\\

471: &&\dot{I}(s)=

472: \bbf\frac{I_{1}-I_{2}}{2\left(I_{1}+I_{2}+2\sqrt{I_{1}I_{2}}

473: \cos(\varphi_{1}+\varphi_{2})\right)}\left(

474: \begin{array}{c}

475: 1\\

476: 1\end{array}\right)+\frac{\bbf}{2}\left(

477: \begin{array}{r}

478: 1\\

479: -1

480: \end{array}\right)-\frac{e}{\omega}\,\partial_{\varphi}V(\lambda q)

481: \end{eqnarray*}   

482: 

483: 

484: The averaged quantities are readily calculated: using 

485: \[

486: \left(\frac{1}{q^{2}}\right)_{av}

487: =\frac{1}{2\vert I_{1}-I_{2}\vert}\,,\qquad

488: \left(\frac{\sin{(\varphi_{1}+\varphi_{2}})}{q^{2}}\right)_{av}=0,

489: \]

490: one finds for the averaged vectorfield

491: 

492: \begin{eqnarray}

493: (\partial_{I}K)_{av}(\varphi_1,I) &=& \left(

494: \begin{array}{c}

495: 0 \\

496: 1

497: \end{array}\right)

498: + \frac{e}{\omega}\,\partial_{I}V_{av}(\varphi_1,\cll^2I)

499: \label{phiequationav}\\

500: -(\partial_{\varphi}K)_{av}(\varphi_1,I) &=& \bbf\left(

501: \begin{array}{c}

502: \chi(I_{1}>I_{2}) \\

503: -\chi(I_{1}<I_{2})

504: \end{array}\right)-

505: \frac{e}{\omega}\left(\begin{array}{c}

506: \partial_{\varphi_{1}}V_{av}(\varphi_1,\cll^2I) \\

507: 0

508: \end{array}

509: \right)\nonumber

510: \end{eqnarray}

511: where we used the binary function $\chi$:

512: $\chi(True):=1,\quad\chi(False):=0$.  

513: 

514: \begin{remark}

515:   Remark that the averaged vectorfield is the hamiltonian vectorfield derived from the

516:   from the ``averaged'' Hamiltonian $K_{av}$. Indeed, using the splitting of  $arg(q)$, which is a  multi-valued function defined on the covering space of $\bR^{2}\setminus(0)$,    into a linear and oscillating part

517: \begin{eqnarray*}

518: \arg\left(q(\varphi,I)\right) & = & \left\{ \begin{array}{cc}

519: \varphi_{1}+\arg\!\left((1,0)+\sqrt{\frac{I_{2}}{I_{1}}}\, e(-\varphi_{1}-\varphi_{2})\right) & \textrm{if }I_{1}>I_{2}\\

520: \\-\varphi_{2}+\arg\!\left((1,0)+\sqrt{\frac{I_{1}}{I_{2}}}\, e(\varphi_{1}+\varphi_{2})\right) & \textrm{if }I_{2}>I_{1}\end{array}\right..\end{eqnarray*}

521: and:

522: \[\int_{0}^{2\pi}\arg((1,0)+a\, e( s))\, ds=0\quad{\rm for }\quad  0\leq a<1; \]

523: One finds that for

524: \begin{displaymath}

525:   K_{av}(\varphi, I):=I_{2}

526:   -\frac{e}{\omega}\left(\frac{\Phi_{0}}{2\pi}

527:     \Big(\varphi_{1}\,\chi(I_{1}> I_{2})

528:     - \varphi_{2}\,\chi(I_{1}< I_{2})\Big)

529:     - V_{av}(\varphi_1,\cll^2I)\right)\\

530: \end{displaymath}

531: one has

532: $\partial_\varphi{}K_{av}=(\partial_\varphi{}K)_{av}$,

533: $\partial_I{}K_{av}=(\partial_I{}K)_{av}$.

534: 

535: \end{remark}

536: 

537: The result on the dynamics now is:

538: 

539: \begin{theorem} Denote by $J=(J_{1},J_{2}), \quad \psi=(\psi_{1},\psi_{2})$ the solution of the averaged equations (\ref{phiequationav})

540: \begin{eqnarray*}

541: \dot{\psi}(s)&=&\partial_{I}K_{av}(\psi(s), J(s)),\quad J(0)=(J_{1}^{0},J_{2}^{0})\\

542: \dot{J}(s)&=&-\partial_{\varphi}K_{av}(\psi(s), J(s)),\quad \psi(0)=(\psi_{1}^{0},\psi_{2}^{0})

543: \end{eqnarray*}

544: and  by $I=(I_{1},I_{2}), \quad \varphi=(\varphi_{1},\varphi_{2})$ the solution of the full equations (\ref{phiequation}), (\ref{Iequation})

545: \begin{eqnarray*}

546: \dot{\varphi}(s)&=&\partial_{I}K(\varphi(s), I(s)),\quad I(0)=(I_{1}^{0},I_{2}^{0})\\

547: \dot{I}(s)&=&-\partial_{\varphi}K(\varphi(s), I(s)),\quad \varphi(0)=(\varphi_{1}^{0},\varphi_{2}^{0})

548: \end{eqnarray*}

549: then it holds

550: 

551: %$\O(s)=\frac{e\Phi_{0}}{2\pi\omega}s$ and

552: \begin{enumerate}

553: \item Let $V=0$, denote  $\Delta J=J_{2}^{0}-J_{1}^{0}$ then:

554: \begin{eqnarray*}

555: &&J(s)=\min\{J_{1}^{0},J_{2}^{0}\}+(\bbf s-\Delta J)

556: \left(\begin{array}{r}

557: \chi\left(\bbf s>\Delta J\right) \\

558: -\chi\left(\bbf s<\Delta J\right)\end{array}\right)

559: \\

560: &&\psi(s)=

561: \left(\begin{array}{c}

562: \psi_{1}^{0} \\

563: \psi_{2}^{0}+s\end{array}\right)

564: \end{eqnarray*}

565: \item For any $V$ and any $s_{1},s_{2}\in\bR$

566: \[\vert J_{2}(s_{2})-J_{2}(s_{1})\vert=\bbf\left\vert\int_{s_{1}}^{s_{2}}\chi\left(J_{1}(u)<J_{2}(u)\right)du \right\vert\]

567: \item Let $V$ be such that  the torque of the corresponding field satisfies for a $c\in\lbrack0,1)$:

568: \[\vert q\wedge\partial_{q}V\vert\le \frac{\Phi_{0}}{2\pi} c\]

569: then for any initial condition it holds:

570: \[I_{1}-I_{2}\hbox{ is strictly increasing, furthermore}\]

571: \[\bbf(1-c)\le \dot{I_{1}}(s)-\dot{I_{2}}(s)\le \bbf(1+c)\qquad(\forall s\in\bR).\]

572: \item In particular if $q\wedge\partial_{q}V=0$ it holds for all $s\in\bR$:

573: \begin{equation}\label{I1-I2}

574: {I_{1}}(s)-{I_{2}}(s)=\bbf (s-s_{0})

575: \end{equation}

576: 

577: where $s_{0}$ is the unique ``hitting time'' defined by this equation.

578: \end{enumerate}

579: \end{theorem}

580: 

581: {\it Proof}: Using that for $V=0$ it holds

582: $J_{1}(s)-J_{2}(s)-\bbf{}s=\Delta{}J$ the first assertion follows by

583: inspection. The second assertion follows from integration of

584: (\ref{phiequationav}). Finally we have from

585: (\ref{centervelocityequation}):

586: \begin{eqnarray*}

587: &&\dot{I_{1}}-\dot{I_{2}}=\partial_{s}(I_{1}-I_{2})=q\wedge E=\frac{e}{\omega}\left(\frac{\Phi_{0}}{2\pi}-(q\wedge \partial_{q}V)(\lambda q)\right)\\

588: \end{eqnarray*}

589: from which the last assertion follows.

590: \hfill$\Box$

591: 

592: \begin{remarks}

593: \begin{enumerate}

594: \item The first equation explains the qualitative behavior of the

595:   solution exhibited in Fig.~\ref{figure1}: $J_{1}$ is linear in time

596:   in the future and is constant in the past.

597: \item Loosely speaking the second assertion of the theorem means that, on the average, one has

598: \[

599: \vert\hbox{energychange}\vert

600: =\vert\hbox{fluxchange through the orbit during stay time}\vert

601: \]

602: where the stay time means the time where the ``orbit surrounds the

603: origin''. This should be like this as the the change in energy equals

604: the work of the electric field along the orbit:

605: \[H(s;q(s))-H(s_{0};q(s_{0}))=\int_{s_{0}}^{s}\langle a_{E}(s),ds\rangle.\]

606: \item The last assertion says that the orbit presented in

607:   Fig.~\ref{figure1} in the introduction is generic, i.e.: inward

608:   spiraling motion with fixed center followed by the usual Hall

609:   cycloids with the center following the lines of the potential. We

610:   argue that our condition on the potential is far from optimal and

611:   that for large enough magnetic field the situation described in this

612:   paper is generic for $V$ smooth and bounded with bounded

613:   derivative. This needs further investigation.

614: \end{enumerate}

615: 

616: \end{remarks}

617: 

618: 

619: \section{Large time asymptotics, potential free case}

620: 

621: For the case $\Phi(t)=\Phi_{0}t$, $V=0$ we can determine the large

622: time asymptotics of the solution. We keep the notation

623: ${\bbf}:=\frac{e\Phi_{0}}{2\pi\omega}$. Observe also that

624: \begin{displaymath}

625:   K = K(\varphi,I) =

626:   I_2-\arg\!\left(\sqrt{2I_1}\,e(\varphi_1)+\sqrt{2I_2}\,e(-\varphi_2)\right)

627: \end{displaymath}

628: is an integral of motion.

629: 

630: \begin{theorem}

631:   Denote by $I=(I_{1},I_{2})$, $\varphi=(\varphi_{1},\varphi_{2})$ the

632:   solution of the full equations of motion (\ref{phiequation}),

633:   (\ref{Iequation})

634:   \begin{eqnarray*}

635:     \dot{\varphi}(s) &=& \partial_{I}K(\varphi(s), I(s)),\quad

636:     I(0)=(I_{1}^{0},I_{2}^{0})\\

637:     \dot{I}(s) &=& -\partial_{\varphi}K(\varphi(s), I(s)),\quad

638:     \varphi(0)=(\varphi_{1}^{0},\varphi_{2}^{0})

639:   \end{eqnarray*}

640:   then the following asymptotic behavior holds:

641: 

642:   \underline{in the future, $s\to\infty$}

643: 

644:   The following limits exist and define the constants $a_{0}>0$,

645:   $b_{0}$:

646:   \[

647:   \lim_{s\to\infty}I_{2}(s)=:\frac{a_{0}^{2}}{4\bbf}\,,\quad

648:   \lim_{s\to\infty}\left(\varphi_{1}(s)+\varphi_{2}(s)-s\right)=:b_{0},\quad

649:   \lim_{s\to\infty}\left(I_{2}(s)-\bbf \varphi_{1}(s)\right)=K,

650:   \]

651:   the asymptotics are

652:   \begin{eqnarray*}

653:     I_{2}(s) &=& \frac{a_{0}^{2}}{4\bbf}

654:     -\left(\frac{a_{0}}{2}\sin(s+b_{0})\right)

655:     \frac{1}{\sqrt s}+\frac{1}{4}\left(\bbf+\frac{a_{0}^{2}}{2\bbf}

656:       \sin(2(s+b_{0}))\right)\frac{1}{s}

657:     +\cO\!\left(\frac{1}{s^{3/2}}\right)\\

658:     I_{1}(s) &=& I_{2}(s)+\bbf(s-s_{0})\\

659:     \varphi_{1}(s) &=& \frac{a_{0}^{2}}{4\bbf^{2}}-\frac{K}{\bbf}

660:     -\frac{1}{4s}+\cO\!\left(\frac{1}{s^{3/2}}\right)\\

661:     \varphi_{2}(s) &=& s+b_{0}-\frac{a_{0}^{2}}{4\bbf^{2}}

662:     +\frac{K}{\bbf}-\frac{\bbf}{a_{0}}\cos(s+b_{0})\frac{1}{\sqrt{s}}\\

663:     && +\,\frac{1}{8}\left(-1+2\cos(2(s+b_{0}))

664:       -\frac{4\bbf^{2}}{a_{0}^{2}}\sin(2(s+b_{0}))\right)\frac{1}{s}

665:     +\cO\!\left(\frac{1}{s^{3/2}}\right)

666:   \end{eqnarray*}

667:   with $s_{0}$ defined as in (\ref{I1-I2});

668: 

669:   \bigskip

670:   \underline{in the past, $s\to-\infty$}

671: 

672:   The following limits exist and define the constants

673:   $\widetilde{a}_{0}>0$, $\widetilde{b}_{0}$:

674:   \[

675:   \lim_{s\to-\infty}I_{1}(s)=:\frac{\widetilde a_{0}^{2}}{4\bbf}\,,\quad

676:   \lim_{s\to-\infty}\left(\varphi_{1}(s)+\varphi_{2}(s)-s\right)=:

677:   \widetilde b_{0},\quad

678:   \lim_{s\to-\infty}\left(I_{2}(s)+\bbf\varphi_{2}(s)\right)=K,

679:   \]

680:   the asymptotics are

681:   \begin{eqnarray*}

682:     I_{1}(s) &=& \frac{\widetilde a_{0}^{2}}{4\bbf}

683:     +\left(\frac{\widetilde a_{0}}{2}\sin(s+\widetilde b_{0})\right)

684:     \frac{1}{\sqrt{\vert s\vert}}

685:     -\frac{1}{4}\left(\bbf-\frac{\widetilde a_{0}^{2}}{2\bbf}

686:       \sin(2(s+\widetilde b_{0}))\right)\frac{1}{s}

687:     +\cO\!\left(\frac{1}{\vert s\vert^{3/2}}\right)\\

688:     I_{2}(s) &=& I_{1}(s)-\bbf(s-s_{0})\\

689: %% not to break the formula

690: \noalign{\vspace{0.1\baselineskip}}

691:     \varphi_{1}(s) &=& s_{0}+\widetilde b_{0}

692:     +\frac{\widetilde a_{0}^{2}}{4\bbf^{2}}-\frac{K}{\bbf}

693:     +\frac{\bbf}{\widetilde a_{0}}\cos(s+\widetilde b_{0})

694:     \frac{1}{\sqrt{\vert s\vert}}\\

695:     && -\,\frac{1}{8}\left(1-2\cos(2(s+\widetilde b_{0}))

696:       -\frac{4\bbf^{2}}{\widetilde a_{0}^{2}}

697:       \sin(2(s+\widetilde b_{0}))\right)\frac{1}{s}

698:     +\cO\!\left(\frac{1}{\vert s\vert^{3/2}}\right)\\

699:     \varphi_{2}(s) &=& s-s_{0}

700:     -\frac{\widetilde a_{0}^{2}}{4\bbf^{2}}

701:     +\frac{K}{\bbf}-\frac{1}{4s}

702:     +\cO\!\left(\frac{1}{\vert s\vert^{3/2}}\right).

703:   \end{eqnarray*}

704: \end{theorem}

705: 

706: {\it Proof}: We give an outline of the main steps of the proof for the

707: case $t\to\infty$. Some particular computations in the proof turned

708: out to be quite tedious and thus computer algebra systems were

709: employed to facilitate them.

710: 

711: Suppose $t>0$

712: 

713: \bigskip

714: \underline{Step 1}

715: 

716: From (\ref{I1-I2}) we know $I_{1}(s)-I_{2}(s)=\bbf(s-s_{0})$. So the

717: equations of motion only involve $J:=I_{1}+I_{2}$ and

718: $\psi:=\varphi_{1}+\varphi_{2}$ and transform to

719: \[

720: \dot\psi = 1+\frac{\bbf^{2}s \sin\psi}{\sqrt{J^{2}-\bbf^{2}s^{2}}

721:   (J+\sqrt{J^{2}-\bbf^{2}s^{2}}\cos\psi)}\,,\textrm{~~}

722: \dot J=\frac{\bbf^{2}s}{J+\sqrt{J^{2}-\bbf^{2}s^{2}}\cos\psi}\,,

723: \]

724: 

725: \underline{Step 2}

726: 

727: Do a second transformation

728: \[

729: x_{1}:=\sqrt{J^{2}-\bbf^{2}s^{2}}\cos\psi,\textrm{~~}

730: x_{2}:=\sqrt{J^{2}-\bbf^{2}s^{2}}\sin\psi,

731: \]

732: the $J, \psi$ equations transform to 

733: \begin{displaymath}

734: \dot{x}_{1}-\frac{x_{1}}{s}+x_{2}=F(s,x_{1},x_{2}),\textrm{~~}

735: \dot{x}_{2}-x_{1}=0,

736: \end{displaymath}

737: with 

738: \[

739: F(s,x_{1},x_{2}) := \bbf -\frac{x_{1}}{s}

740: -\frac{\bbf^{2}s}{\sqrt{x_{1}^{2}+(x_{2}-\bbf)^{2}+\bbf^{2}s^{2}}+x_{1}}\,.

741: \]

742: 

743: The corresponding homogeneous system is equivalent to 

744: \begin{eqnarray*}

745: \ddot{x}_{1}-\frac{\dot{x}_{1}}{s}+\left(1+\frac{1}{s^{2}}\right)x_{1}=0

746: \textrm{~~~or~~~}

747: s\ddot{y}+\dot{y}+sy = 0

748: \end{eqnarray*}

749: with $y$ defined by $x_{1}=sy$. The latter is Bessel's equation of order $0$ so one has two independent solutions of the homogeneous system:

750: \begin{eqnarray*}

751: \left(

752: \begin{array}{c}

753:  x_{1}(s)  \\

754: x_{2} (s)

755: \end{array}

756: \right)=

757: \left(

758: \begin{array}{c}

759: sJ_{0}(s) \\

760: sJ_{1}(s)

761: \end{array}

762: \right)\quad \hbox{\rm and } \quad

763: \left(

764: \begin{array}{c}

765:  x_{1}(s)  \\

766: x_{2} (s)

767: \end{array}

768: \right)=

769: \left(

770: \begin{array}{c}

771: sY_{0}(s) \\

772: sY_{1}(s)

773: \end{array}

774: \right)

775: \end{eqnarray*}

776: with the Bessel functions $J_{m}$ ($Y_{m}$) of the first (second) kind.

777: 

778: \bigskip

779: \underline{Step 3}

780: 

781: Transform the $x$--differential equation to the integral equation

782: \begin{eqnarray*}

783:   x_{1}(s) &=& c_{1}sJ_{0}(s)+c_{2}sY_{0}(s)\\

784:   && -\,\frac{\pi s}{2}\int_{s}^{\infty}

785:   (Y_{0}(s)J_{1}(\tau)-J_{0}(s)Y_{1}(\tau))

786:   F(\tau,x_{1}(\tau),x_{2}(\tau))d\tau\\

787:   x_{2}(s) &=& c_{1}sJ_{1}(s)+c_{2}sY_{1}(s)\\

788:   && -\,\frac{\pi s}{2}\int_{s}^{\infty}

789:   (Y_{1}(s)J_{1}(\tau)-J_{1}(s)Y_{1}(\tau))

790:   F(\tau,x_{1}(\tau),x_{2}(\tau))d\tau

791: \end{eqnarray*}

792: where the numbers $c_{1}, c_{2}$ involve the initial conditions.

793: 

794: The equation is of the form $x=\cK(x)$, the solution is constructed as

795: the limit of the sequence $x_{n+1}=\cK(x_{n})$ starting from

796: $x_{0}=0$. To verify the convergence one can apply yet another

797: substitution $x(s)=y(s)/\sqrt{s}$,

798: $G(s,y)=s^{-1/2}F(s,s^{-1/2}y)$. Consequently the integral equation

799: takes the form

800: \begin{displaymath}

801:   y(s) = y_{0}(s)-\int_{s}^{\infty}\cF(s,\tau)\,

802:   G(\tau,y_{1}(\tau),y_{2}(\tau))\,d\tau

803: \end{displaymath}

804: where

805: \begin{eqnarray*}

806:   y_{0j}(s) &=& c_{1}\sqrt{s}\,J_{j-1}(s)+c_{2}\sqrt{s}\,Y_{j-1}(s),

807:   \textrm{~~}j=1,2,\\

808:   \cF_{j}(s,\tau) &=& \frac{\pi}{2}\,\sqrt{s\tau}\,

809:   \big(Y_{j-1}(s)J_{1}(\tau)-J_{j-1}(s)Y_{1}(\tau)\big),

810:   \textrm{~~}j=1,2.

811: \end{eqnarray*}

812: Considering the new integral equation in the Banach space

813: $L^\infty([\,s_\ast,\infty[)\otimes\bR^2$ one can show that the

814: iteration process is indeed contracting provided $s_\ast\geq1$ is

815: sufficiently large. It is then straightforward to derive from the

816: integral equation the asymptotic expansion of the solution $x(s)$. One

817: finds that

818: \[

819: x(s) = a_{0}\,e(t+b_{0})\sqrt{s}

820: +\left(\frac{a_{0}^{3}}{8\bbf^{2}}\,e(t+b_{0})

821:   -\frac{5}{8}a_{0}\,e^{\perp}(t+b_{0})\right)

822: \frac{1}{\sqrt{s}}+\cO\!\left(\frac{1}{s}\right)

823: \]

824: 

825: \underline{Step 4}

826: 

827: Transforming back first to the $J,\psi$ then to

828: $I_{1},I_{2},\varphi_1,\varphi_2$ variables gives the claimed

829: asymptotic expansion.  \hfill$\Box$

830: 

831: The asymptotic formulae for the actions and the angles imply the

832: following asymptotic behavior of the solutions and the energy thus

833: defining the transport coefficients:

834: 

835: Denote 

836: \[\cH:= 

837:  \frac{1}{2 m}\left(p-e\left(\frac{B}{2}-\frac{\Phi(t)}{2\pi\vert

838:     q\vert^2}\right)q^{\perp}\right)^2

839: \]

840: the energy in the original coordinates $q,p$, and $q_{sc}=q/\lambda$

841: the scaled coordinate. Rescaling then gives

842: \[

843: \cH(t)=\omega H(\omega t)=\omega I_{2}(\omega t),\textrm{~}

844: q(t)=\lambda q_{sc}(\omega t),\textrm{~}

845: q_{sc}=\sqrt{2I_{1}}e(\varphi_{1})+\sqrt{2I_{2}}e(-\varphi_{2}).

846: \]

847: This leads to the following limits valid for any fixed initial

848: condition and any $B>0,\Phi_{0}>0$:

849: \begin{eqnarray*}

850:   \frac{q(t)}{\sqrt{t}} &\to_{t\to\infty}& 

851:   \sqrt{\frac{\Phi_{0}}{2\pi B}}\,

852:   e\!\left(\frac{a_{0}^{2}}{4\bbf^2}-\frac{K}{\bbf}\right)\\

853:   \frac{q(t)}{\sqrt{|t|}} &\sim_{t\to-\infty}&

854:   \sqrt{\frac{\Phi_{0}}{2\pi B}}\,e(-\omega t)\\

855:   \cH(t) &\to_{t\to\infty}& \frac{\omega a_{0}^{2}}{4\bbf}\\

856:   \frac{\cH(t)}{t} &\to_{t\to-\infty}&

857:   -\frac{e^{2}B}{m}\,\frac{\dot{\Phi}}{2\pi} = -\frac{e^{2}B}{m}\frac{\Phi_{0}}{2\pi}

858: \end{eqnarray*}

859: 

860: 

861: \section*{Acknowledgments}

862: P.~\v{S}. wishes to acknowledge gratefully partial support from the

863: grants\\ No.~201/05/0857 of the Grant Agency of the Czech Republic and

864: No.~LC06002 of the Ministry of Education of the Czech Republic.

865: 

866:  

867: \begin{thebibliography}{1}

868: 

869:   \bibitem{AschBenguriaStovicek}

870: Asch, J. and Benguria, R. D. and \v{S}\v{t}ov\'\i\v{c}ek, P.,

871:      ``Asymptotic properties of the differential equation {$h\sp

872:               3(h''+h')=1$},'' {Asymptot. Anal.}  \textbf{41}, 23--40 (2005).

873:   

874:   \bibitem{AschHradeckyStovicek}Asch, J. and Hradeck{\'y}, I. and

875:               \v{S}\v{t}ov\'\i\v{c}ek, P., ``Propagators weakly associated to a family of {H}amiltonians

876:               and the adiabatic theorem for the {L}andau {H}amiltonian with

877:               a time-dependent {A}haronov-{B}ohm flux,''

878: J. Math. Phys. \textbf{46}, {053303 ff.} (2005).

879: 

880: %\bibitem{AschJoye}Asch, J. and Joye, A. (eds)  

881: %\emph{Mathematical Physics of Quantum Mechanics}, 

882: %Lecture Notes in Physics , Vol. 690, (Springer, New York, 2006)

883: 

884: \bibitem{AvronSeilerSimonPRL}Avron, J.~E., Seiler, R., and Simon, B.,

885:   ``Quantum Hall Effect and the Relative Index for Projections,''

886:   Phys. Rev. Lett. \textbf{65}, 2185-2188 (1990).

887:   

888: \bibitem{AvronSeilerSimon}Avron, J.~E., Seiler, R., and Simon, B.,

889:   ``Charge deficiency, charge transport and comparison of

890:     dimensions,''

891:   Commun. Math. Phys. \textbf{159}, 399-422 (1994).

892: 

893: \bibitem{Bellissard}Bellissard, J., van Elst, A., and Schulz-Baldes, H.,

894:   ``The noncommutative geometry of the quantum Hall effect,''

895:   J. Math. Phys. \textbf{35}, 5373-5451 (1994).

896:   

897: \bibitem{Berglund}Berglund, N.

898:   ``Perturbation theory of dynamical systems,''

899:  Lecture Notes. http://arXiv.org/abs/math.HO/0111178 (2001).

900: 

901: \bibitem{CombesGerminet}Combes, J.-M., and Germinet, F., ``Edge and impurity effects on quantization of Hall 

902: currents,'' Comm. Math. Phys. \textbf{256}, 159-180, (2005)

903: 

904: \bibitem{CombesGerminetHislop}

905: Combes, J.-M.,  Germinet, F., and Hislop, P.D.

906: \newblock On the Quantization of Hall Currents in Presence of Disorder.

907: \newblock In Asch, J. and Joye, A. (eds), \emph{Mathematical Physics of Quantum Mechanics}, Lecture Notes in Physics , Vol. 690, (Springer, New York, 2006).

908: 

909: \bibitem{Elgart}

910: Elgart, A.,

911: \newblock Equality of the Bulk and Edge Hall Conductances in 2D.

912: \newblock In Asch, J. and Joye, A. (eds), \emph{Mathematical Physics of Quantum Mechanics}, Lecture Notes in Physics , Vol. 690, (Springer, New York, 2006).

913:   

914: 

915: \bibitem{ElgartGrafSchenker}Elgart, A., and Graf, G. M.,  and

916:   Schenker, J. H.,  ``Equality of the bulk and edge Hall 

917: conductances in a mobility gap,'' Comm. Math. Phys. \textbf{259},185Ð221, (2005). 

918: 

919: \bibitem{Graf} Graf, G. M.,  ``Aspects of the integer quantum Hall effect,'' Simon Festschrift,  (2006). 

920: 

921: \bibitem{Halperin}Halperin, B.~I., ``Quantized Hall Conductance,

922:     Current-Carrying Edge States and the Existence of Extended States

923:     in a Two-Dimensional Disordered Potential,''

924:   Phys. Rev. B \textbf{25}, 2185-2188 (1982).

925:   

926: \bibitem{Klitzing}von~Klitzing, K., Dorda, G., and Pepper, M., ``New

927:     method for high-accuracy determination of the fine-structure

928:     constant based on quantized hall resistance,''

929:   Phys. Rev. Lett. \textbf{45}, 494-497 (1980).

930: 

931: \bibitem{Laughlin}Laughlin, R.~B., ``Quantized Hall conductivity in

932:     two dimensions,''

933:   Phys. Rev.~B \textbf{23}, 5632-5633 (1981).

934: 

935: \bibitem{SandersVerhulst}J. A. Sanders\ and\ F. Verhulst, \emph{Averaging methods in nonlinear dynamical systems}, (Springer, New York, 1985)

936: 

937: \bibitem{StiefelScheifele}E. L. Stiefel\ and\ G. Scheifele, \emph{Linear and regular celestial mechanics. Perturbed two-body motion, numerical methods, canonical theory}, (Springer, New York, 1971)

938: 

939: \end{thebibliography}

940: 

941: \end{document}

942: 

943: 

944: \[\frac{1}{2\pi}\int_{0}^{2\pi}\frac{1}{q^{2}}=\frac{1}{2\vert I_{1}-I_{2}\vert},\qquad\frac{1}{2\pi}\int_{0}^{2\pi}\frac{\sin{(\varphi_{1}+\varphi_{2}})}{q^{2}}=0,\]

945: 

946: 

947: \begin{eqnarray*}

948: \dot{x}_{1}=-x_{2}+\bbf-\frac{\bbf^{2}s}{\sqrt{x_{1}^{2}+(x_{2}-\bbf)^{2}+\bbf^{2}s^{2}}+x_{1}};\quad \dot{x}_{2}=x_{1}

949: \end{eqnarray*}

950: 

951: 

952: