1: \documentclass[12pt]{article}
2: \usepackage{a4}
3: \usepackage{graphicx}
4: \usepackage{amsfonts}
5: \usepackage{amscd}
6: \usepackage{latexsym}
7: \usepackage{epsf}
8: \usepackage{amsmath}
9: %\usepackage{showlabels}
10: \numberwithin{equation}{section}
11: \newcommand{\uv}{ultraviolet }
12: \newcommand{\ew}{electro weak }
13: \newcommand{\scs}{ \scriptstyle }
14: \newcommand{\nn}{\nonumber}
15: \newcommand{\MVAR}[2]{#1_#2}
16: \newcommand{\Mvariable}[1]{\MVAR #1}
17: \newcommand{\fr}{\frac}
18: \newcommand{\pd}{\partial}
19: \newcommand{\la}{ \lambda }
20: \newcommand{\ep}{ \epsilon }
21: \newcommand{\om}{ \omega }
22: \newcommand{\et}{ \eta }
23: \newcommand{\vp}{\varphi }
24: \newcommand{\ti}{\tilde }
25: \newcommand{\eq}{\Leftrightarrow}
26: \newcommand{\imp}{\Rightarrow}
27: \newcommand{\dirac}{/\!\!\!\nabla}
28: \newcommand{\half}{\frac{1}{2}}
29: \newcommand{\id}{1 \hspace{-1mm} \mbox{\sf I}}
30: \newenvironment{mypage}[1]
31: {\begin{center}
32: #1\\
33: \end{center}}
34:
35: \begin{document}
36: \title{ Vacuum polarization by a magnetic flux of special rectangular form}
37: \author{ {\sc I. Drozdov}\thanks{e-mail:
38: Igor.Drosdow@itp.uni-leipzig.de} \\
39: \small University of Leipzig, Institute for Theoretical Physics\\
40: \small Augustusplatz 10/11, 04109 Leipzig, Germany}
41: \maketitle
42: \begin{abstract}
43: We consider the ground state energy of a spinor field in the
44: background of a square well shaped magnetic flux tube. We use the zeta-
45: function regularization and express the ground state energy as an
46: integral involving the Jost function of a two dimensional scattering problem.
47: We perform the renormalization by subtracting the contributions from first
48: several heat kernel coefficients. The ground state energy is presented as a
49: convergent expression suited for numerical evaluation.
50: We discuss corresponding numerical calculations.
51: Using the uniform asymptotic expansion of the special functions entering the
52: Jost function we are able to calculate higher order heat kernel coefficients.
53: \end{abstract}
54:
55: \section{ Introduction }
56: Since the classical work \cite{casimir} of H.B.G. Casimir, where the
57: energy of vacuum polarized by two conducting planes was calculated, a
58: number of similar problems was investigated for various external
59: conditions (boundary conditions, background potentials etc.), see, for
60: example, the recent review \cite{Bordag:2001qi} or the books
61: \cite{most,milton} . No general rule for the dependence of the vacuum
62: energy on the background properties has been found so far. In
63: particular, it is unknown how to forecast the sign of the energy.
64:
65: An interesting problem is the calculation of the vacuum energy of a
66: spinor field in the background of a magnetic field. This problem was
67: first considered as early as in 1936 by W. Heisenberg and H. Euler
68: \cite{euler} who were interested in the effective action in the
69: background of a homogeneous magnetic field.
70:
71: Presently, the interest is shifted to string like configurations. In
72: \cite{Groves:1999ks} the contribution of the fermionic ground state
73: energy to the stability of \ew strings was addressed. In
74: \cite{Diakonov:2002bx} the gluonic ground state energy in the
75: background of a center-of-group vortex in QCD had been considered.
76:
77: A very special inhomogeneous reflectionless magnetic background is for
78: example the model for domain wall \cite{dunne}. In this case, the
79: equation for the vacuum fluctuations was easy to solve
80: analytically. However, the final expression for the effective action
81: involves an additional integration over a momentum, thus bringing no
82: real simplifications.
83:
84: In QED, for the background of a flux tube with constant magnetic field
85: inside the ground state energy was calculated in \cite{borkir2}. Here
86: it turned out to be negative remaining of course much smaller than the
87: classical energy of the background field.
88:
89: An interesting approach is that used in \cite{fry} where the issue of
90: the sign and of bounds on fermionic determinants in a magnetic
91: background had been considered.
92:
93: The remarkably simple case of a magnetic background field concentrated
94: on a cylindrical shell (i.e., a delta function shaped profile) was
95: considered in \cite{scand2}. Here different signs of the vacuum energy
96: turned out to be possible in dependence on the parameters (radius and flux).
97:
98: In general, the issue of stability of the strings is of interest. In
99: \ew theory, and in QED in particular, the coupling is small. Hence the
100: vacuum energy as being a one loop correction to the classical energy
101: is suppressed by this coupling. While in QED a magnetic string is
102: intrinsically unstable, in \ew theory there are unstable and stable
103: configuration known \cite{Achucarro:1999it}. Here quantum corrections
104: may become important for the stability. A question of special interest
105: is whether a strong or singular background may have a quantum vacuum
106: energy comparable to the classical one.
107:
108: For the calculation of ground state energy, it is necessary to
109: subtract the \uv divergences. This procedure is in general well known
110: and we follow \cite{}. Roughly speaking one has to subtract the
111: contribution of the first few heat kernel coefficients ($a_0$ through
112: $a_2$ in the given case of (3+1) dimensions). After that one can
113: remove the intermediate regularization and one is left with finite
114: expressions. However, in order to obtain these finite expressions in a
115: form suitable for numerical calculations one has to go one more step.
116: As described in \cite{}, see also below in section 2, one has to add
117: and to subtract of a certain part of the asymptotic expansion of the
118: integrand.
119:
120: In the present paper we generalize the analysis done in \cite{borkir1}
121: to a rectangular shaped magnetic background field. So we consider the
122: vacuum energy of a spinor field in QED for a background as given by
123: Eqs. (\ref{fieldb}, \ref{h_r1}). This problem is technically more involved
124: and allows progress in two directions. First, it allows to refine the
125: mathematical and numerical tools for such problems and, second, it
126: allows to address the question how the vacuum energy behaves for an
127: increasingly singular background (making the rectangle narrower). So
128: this model interpolates to some extend between the flux tube with
129: homogeneous field inside in \cite{borkir1} and the delta shaped one in
130: \cite{scand2}.
131:
132: The basic principles of this procedure are described briefly in
133: Sec. 2. Namely it starts with the well known zeta functional
134: regularization. The regularized ground state energy is represented as
135: a zeta function of a hamiltonian spectrum and treated in termini of
136: heat kernel expansion. The representation of regularized ground state
137: energy as an integral of the logarithmic derivative of the Jost
138: function for spinor wave scattering problem on the external magnetic
139: background is obtained. The Jost function is obtained from the exact
140: solutions of Dirac equation, derived in Sec. 3. The explicit form of
141: the exact and asymptotic Jost function is considered in Sec. 4. In
142: Sec.5 the representation useful for further numerical evaluations is
143: derived. Sec. 6 is devoted to the calculation of the heat kernel
144: coefficient $a_{5/2}$ and the Sec. 7 contains some numerical
145: evaluations of the ground state energy. The divergent part is
146: identified as that part of the corresponding heat kernel expansion
147: which does not vanish for large $m$ (mass of the quantum spinor
148: field). After the subtraction of this divergent part the remaining
149: analytical expression must be transformed in order to lift the
150: regularization. A part of the uniform asymptotic expansion of the
151: Jost function is used for this procedure. Finally the analytical
152: expression for the ground state energy has been evaluated numerically.
153:
154: Throughout the paper $\hbar=c=1$ is used.
155:
156: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
157: \section{The renormalized ground state energy}
158: Consider a spinor field on a magnetic background $\vec{B}$ of the form\\
159: \begin{equation}
160: \vec{B}= \fr{\Phi}{2 \pi} {h(r)}\vec{e_z}
161: \label{fieldb}
162: \end{equation}
163: where $\Phi$ is constant defining the magnetic flux, $\vec{e_z}$ is a
164: unit vector in the cylindrical coordinate system ($ r, \phi, z$). The
165: Lagrangian is
166: \begin{equation}
167: {\cal L} = - \fr{1}{4}F_{\mu\nu}F^{\mu\nu}+\bar{\psi} \left[ i\gamma^\mu (
168: \pd_\mu+e A_{\mu})-m \right]\psi.
169: \end{equation}
170: The potential $\vec{A}(r)$
171: %%%%%%%% 3
172: \begin{equation}
173: \vec{A}= \fr{\Phi}{2 \pi} \fr{a(r)}{r}\vec{e_\vp}
174: \label{potential_A}
175: \end{equation}
176: possesses cylindrical symmetry and the radial part
177: $a(r)$ is taken to be\\
178: \hspace*{1cm}
179: \begin{equation}
180: a(r)= \left\{\begin{array}{c} 0, \hfill r< R_1, R_2\\
181: \fr{1}{\kappa}(\fr{r^2}{R_1^2}-1)\ R_1\le r \le
182: R_2 \\ 1, \hspace{\fill} r > R_1, R_2\end{array}\right. \\
183: \label{a_r1}
184: \end{equation}
185: The profile function for the magnetic field is\\
186: \hspace*{2cm}
187: \begin{equation}
188: \ \ h(r)=\fr{1}{r}\fr{\pd}{\pd r}a(r)=\left\{\begin{array}{c} 0, \hfill r< R_1, R_2\\\fr{2}{\kappa R^2_1} \hspace{\fill} R_1\le r \le
189: R_2 \\ 0, \hspace{\fill} r > R_1, R_2\end{array}\right.
190: \label{h_r1}
191: \end{equation}
192: with $\kappa= \fr{R_2^2-R_1^2}{R_1^2}$.The shape of the
193: background can be interpreted geometrically as an infinitely long flux
194: tube empty inside.
195:
196: We use the zeta-function regularization for the vacuum energy $E_0$.
197: Since the background is static, the following representation holds,
198: \begin{equation}
199: E_0(s) =
200: -\half\mu^{2s}\sum\limits_{(n)}\omega_{(n)}^{1-2s},\end{equation}
201: where
202: \[ \omega_{(n)}= \epsilon_{(n)}=\sqrt{\vec{p}^2+m^2} \]
203: are eigenfrequences resp. eigenvalues of energy for one particle
204: states, (the spectrum of the corresponding hamiltonian, see the next
205: section), $\mu $ is a parameter with the dimension of mass which is
206: introduced to keep the correct dimension of energy in this expression.
207:
208: For technical reasons we assume that the system is contained in a
209: large but finite cylinder of radius $R$ in order to have discrete
210: eigenvalues in the transversal directions. Because of the
211: translational invariance along the z-axis we can separate the
212: $z$-component of momentum,
213: \begin{equation}
214: E_0(s)=-\frac{1}{2}\mu^{2s}\int\limits_{-\infty}^{\infty} \frac{dp_z}{2\pi}
215: \sum\limits_{(n)} (p_z^2+k_{(n)}^2+m^2)^{\half-s}.
216: \end{equation}
217: Here is it necessary to remark that $E_0$ has the meaning of density per
218: unit length. Integrating out $p_z$ we get
219: \begin{equation}
220: E_0(s)=-\mu^{2s}\frac{1}{4\sqrt{\pi}} 4\frac{\Gamma(s-1)}{\Gamma(s-\half)}
221: \sum\limits_{(n)} (k_(n)^2+m^2)^{1-s} .
222: \label{e0sumk}
223: \end{equation}
224: In this expression a factor 4 resulting from the summation over spin
225: states and over the sign of the one particle energies appeared. The
226: remaining sum over $(n)$ is over the eigenvalues $k_(n)$ of a two
227: dimensional wave equation for one mode in the perpendicular plane.
228: The further transformation of this expression is described more
229: detailed in \cite{borkir1}, \cite{kirsten}, \cite{BEK}. The first step
230: is based on the property of logarithmic derivative of eigenfunctions
231: with respect to momentum k. The contour integral,
232: %
233: \[
234: \int\limits_\gamma\frac{dk}{2\pi i}(k^2+m^2)^{1-s}
235: \partial_k \ln\phi_l(kr), \]
236: is equal to the sum over the spectrum, $\sum\limits_{(n)}
237: (k_n^2+m^2)^{1-s}$, if the contour $\gamma$ encircles the real
238: positive axis. Then (\ref{e0sumk}) becomes
239: \begin{equation}
240: E_0(s)=-\mu^{2s}\frac{1}{\sqrt{\pi}}
241: \frac{\Gamma(s-1)}{\Gamma(s-\half)} \sum\limits_{l=-\infty}^{\infty}
242: \int\limits_\gamma\frac{dk}{2\pi i}(k^2+m^2)^{1-s} \partial_k \ln\phi_l(kr).\\
243: \end{equation}
244: Here $\phi_l(r)$ are the eigenfunctions of hamiltonian
245: $\hat{H}$ labeled by the orbital momentum $l$.
246:
247: In the present formalism instead of wave functions $\phi_l(r)$ we use
248: the corresponding Jost functions $f_l(k)$ which contain all necessary
249: informations on the spectrum of scattering problem. For the space
250: domain outside of cylindrical magnetic background, at $ r > R_2 $, the
251: wave functions can be chosen as a linear composition of Hankel
252: functions
253: \begin{equation}
254: \phi_l(kr) = \half[ \bar{f_l}(k)H^{(1)}_l(kr)+f_l(k) H^{(2)}_l(kr)],\\
255: \label{jost_lk}
256: \end{equation}
257: where $\bar{f}_l(k)$ and $f_l(k)$ are the corresponding Jost
258: functions.
259:
260: Now after the subtraction of contribution from empty Minkowski space
261: (identified as the term divergent at $R\rightarrow\infty$, which is
262: independent of the background and corresponds to the heat kernel
263: coefficient $a_0$,(\ref{a_0}) below), and rotation of the path towards
264: the imaginary positive axis one obtains \cite{borkir1}
265: \begin{equation}
266: E_0(s)= \\ -\frac{1}{\sqrt{\pi}}
267: \frac{\Gamma(s-1)}{\Gamma(s-\half)}\frac{\sin\pi s}{\pi}
268: \sum\limits_{l=-\infty}^{\infty} \int\limits_m^{\infty} dk
269: (k^2-m^2)^{1-s} \partial_k \ln f_l(ik),
270: \label{e0_of_lnf}
271: \end{equation}
272: which is a very useful representation of the regularized ground state
273: energy. A merit of this representation is the absence of oscillations
274: of the integrand for large arguments\footnote{Note that bound states
275: are also taken into account in $E_0$ (\ref{e0_of_lnf}). In the
276: considered problem bound states appear if the flux is larger than one
277: flux unit. Strictly speaking, these are zero modes located on the
278: lower end of the continuous spectrum, i.e. at k=0 (this is known from
279: \cite{aharonov_casher}).}.
280:
281: To discuss divergences in $E_0$ we need a more general setting.
282: $E_0(s)$ can be expressed through the zeta-function of the associated
283: differential operator $ \bf{\hat{P}}$
284: \begin{equation}
285: E_0(s) =-\frac{\mu^{2s}}{2}\zeta_{(\bf{\hat{P}})}(s-\half).
286: \label{e0_zeta}
287: \end{equation}
288: $\zeta_{(\bf{\hat{P}})}(s) $ admits an integral representation
289: \begin{equation}
290: \zeta_{\bf{\hat{P}}}(s)=\int\limits_{0}^{\infty} dt
291: \frac{ t^{s-1}}{\Gamma(s)}K(t)
292: \end{equation}
293: where the kernel of this integral representation $K(t)= \sum\limits_n
294: e^{-t(k_{(n)}^2+m^2)}$ is the so called heat kernel. The associated
295: ``heat kernel expansion'' for the kernel $K(t)$ of this integral
296: representation at $t\rightarrow 0$ is \cite{gilkey}
297: \begin{equation}
298: K(t)\sim \fr{e^{-tm^2}}{(4\pi t)^{3/2}} \sum\limits_{n\ge 0} a_n t^n \ .
299: \label{heat_kt_sum}
300: \end{equation}
301: In accordance to the heat kernel expansion, the coefficients $a_n$
302: occurred in (\ref{heat_kt_sum}) must be for our background \cite{gilkey}:
303: \begin{equation}
304: a_0 = V
305: \label{a_0}
306: \end{equation}
307: is simple an (infinite) volume of configuration space; the part proportional
308: to it has been even dropped before during the renormalization procedure as a
309: contribution of the empty Minkowski space. All other coefficients up to $a_2$
310: for this background must be zero through dimensional reasons and requirement
311: of gauge invariance, (for details see the paper \cite{gkv}).
312: \begin{equation}
313: a_{1/2}=a_1=a_{3/2}=0.
314: \end{equation}
315: The first nonzero coefficient is known to read
316: \begin{equation}
317: a_2=\fr{2}{3}F^2_{\mu\nu}
318: \label{coeff_a_2}
319: \end{equation}
320: and only the term with $n=2$ contributes to the ``divergent'' part of
321: energy \cite{scand2}, \cite{borkir1}. It will be shown below that only the
322: contribution proportional to $a_2$ in $E_0(s)$ contains a simple pole at $s
323: \rightarrow 0 $ and in the case of pure magnetic background is
324: proportional to the classical energy
325: \begin{equation}
326: E^{class}=\half\vec{B}^2 =\fr{8 e^2}{3}a_2 \
327: \end{equation}
328:
329: In the paper \cite{borkir1} it has been found, that the regularized
330: ground state energy of the magnetic flux tube of finite radius $R$
331: behaves as $~\fr{R^{-3}}{m}$ at $R \rightarrow \infty$ which
332: corresponds to the contribution proportional to $a_{5/2}$. It holds
333: in accordance to the observed fact that in the case of non-smooth
334: backgrounds the heat kernel coefficients with half-integer number
335: starting from some value corresponding to the smoothness-class of the
336: background are different from zero. It occurs namely in our case,
337: where the background potential $\vec{A}(r)$ is continous and the
338: magnetic field $h(r)$ has a discontinuity. The coefficient $a_{5/2}$
339: is nonzero in our case, see below Sec.6.
340: The next terms of this asymptotic may be $~\fr{R^{-4}}{m^2}$
341: corresponding to $a_3$, and $a_4$ delivering terms
342: $~\fr{R^{-6}}{m^4}$.
343:
344: We define the renormalized ground state energy as
345: \begin{equation}
346: E^{ren}=E_0-E^{div },
347: \label{e0-ediv}
348: \end{equation}
349: where $E^{div }$ is obtained from the heat kernel expansion
350: (\ref{heat_kt_sum}) and $E^{ren}$ fulfills the normalization condition
351: \cite{BKEL}
352: \begin{equation}
353: \lim E^{ren}=0\ \ at\ \ m \rightarrow \infty .
354: \label{norm_cond}
355: \end{equation}
356: Inserting the heat kernel expansion (\ref{heat_kt_sum}) into the zeta
357: function and using (\ref{e0_zeta}) we have
358: \begin{equation}
359: E^{div }=\fr{a_2}{32 \pi^2}(\fr{1}{s}-2+ln\fr{4 \mu^2}{m^2}),
360: \label{e_div_def}
361: \end{equation}
362: where $a_2$ is the only non-zero heat kernel coefficient $a_n,\ 0 <
363: n\le2$, contributing to the divergent part of vacuum energy.
364:
365: For the renormalized ground state energy the asymptotical dependence
366: on powers of $m$ at $m\rightarrow \infty$ follows from
367: Eq.(\ref{heat_kt_sum}) to have the form
368: \begin{equation}
369: E_0^{ren}\stackrel{\sim }{_{m\rightarrow\infty}} \sum\limits_{n > 2} \fr{e_n}{m^{2n}}
370: \end{equation}
371: with some coefficients $e_n$.
372:
373: In accordance with the interpretation of $ E^{ren}$ it must vanish in
374: the limit of $m\rightarrow \infty$ since it is the energy of vacuum
375: fluctuations. Through the subtraction of terms containing all
376: non-negative powers of $m^2$ (which are the terms of heat kernel
377: expansion up to $a_2$) the condition (\ref{norm_cond}) is satisfied
378: automatically.
379:
380: Some comments on the subtraction scheme are in order. This scheme is
381: motivated by the physical assumption that the quantum fluctuations
382: should vanish if the mass of the fluctuating field becomes large. The
383: scheme had been used in a number of Casimir energy calculations. In
384: \cite{Bordag:2002dg} it had been shown to be equivalent to the so
385: called ``no tadpole'' normalization condition which is common in field
386: theory. It should be noticed that this scheme does not apply to
387: massless fluctuating fields, for a discussion of this point see
388: \cite{Bordag:1998vs}.
389:
390: So $E^{ren}$ as given by Eq.(\ref{e0-ediv})is now finite at
391: $s\rightarrow0, $ but it is not possible to use this expression
392: immediately since the integral in this limit does not exist; i.e. one
393: cannot carry out the analytical continuation to $s=0$. In order to
394: get a representation where this can be done one can make a trick
395: \cite{bordag}, namely add and subtract a part $\ln f_l^{asym}$ of the
396: uniform asymptotical expansion for $\ln f_l$ in (\ref{e0_of_lnf})
397: containing a minimal number of terms to provide the convergence of the
398: remaining part after the subtraction. Thus we can separate the
399: resulting expression into four terms
400: \begin{equation}
401: E^{ren}=(E_0 - E^{asym}) + (E^{as}-E^{div })
402: \label{eren_4parts}
403: \end{equation}
404: where
405: \begin{equation}
406: E^{asym}=2C_s\sum\limits_{l}^{}\int\limits_{m}^{\infty}dk(k^2-m^2)^{1-s}
407: \fr{\pd}{\pd k} \ln f_l^{asym}(ik)
408: \label{e0_of_lnfas}
409: \end{equation}
410: and redefine two terms in brackets as
411: \begin{eqnarray}
412: E^{ren}=E^f + E^{as}\nn\\
413: E^f=E_0 - E^{asym}\\
414: E^{as}=E^{asym}-E^{div },
415: \label{eren_ef_eas_ediv}
416: \end{eqnarray}
417: thus $E^f$ is defined to be
418: \begin{equation}
419: E^f=\fr{1}{2\pi}\sum\limits_{l=-\infty}^{\infty}\int\limits_{m}^{\infty}dk\
420: (k^2-m^2)\fr{\pd}{\pd k}[ ln f_l (ik)-\ln f^{as}_l(ik)]
421: \label{ef_pure}
422: \end{equation}
423: The ``finite'' part $E^f$ of the renormalized vacuum energy is not only well defined
424: at $s \rightarrow 0 $, but also provides a representation well suited for
425: numerical analysis. The analytical continuation for $E^{as}$ at this
426: limit will be constructed below.
427:
428: \section{ Solution of the Dirac equation }
429: We consider a spinor quantum field $\psi$ in the background of the
430: classical magnetic flux. We start with the Dirac equation for this
431: field
432: \begin{equation}
433: \left\{i \gamma^{\mu} \fr{\pd}{\pd x^{\mu} }-m-e \gamma^{\mu}
434: A_{\mu}\right\}\psi =0
435: \label{dirac_eq}
436: \end{equation}
437: with the electromagnetic potential (\ref{potential_A}).
438: The $\psi$ in (\ref{dirac_eq}) is a spinor quantum field of mass $m$ and charge
439: $e$, interacting with $\vec{A}$ (\ref{potential_A}).
440: The gamma matrices in our representation are chosen to be the same as in
441: \cite{borvor}
442: \begin{equation}
443: \gamma^0=\left\{\begin{array}{cc} \sigma_3 & 0\\0 & -\sigma_3
444: \end{array}\right\} \ \ \ \ \ \gamma^1=\left\{\begin{array}{cc} i\sigma_2 & 0\\0 & -i\sigma_2 \end{array}\right\} \\
445: \\
446: \gamma^2=\left\{\begin{array}{cc} -i\sigma_1 & 0\\0 & i\sigma_1
447: \end{array}\right\} \ \ \ \ \ \gamma^3=\left\{\begin{array}{cc} 0 &
448: 1\\-1 & 0 \end{array}\right\}.
449: \end{equation}
450: Now we follow the standard procedure and separate the variables.
451: Using the ansatz
452: \begin{equation}
453: \phi(r, \varphi, z) = e^{-ip_0x^0} e^{-ip_z z}\Psi(r, \vp)\\
454: \end{equation}
455: we obtain the equation for the 4- component spinor
456: $ \Psi=\left[ \begin{array}{c} \phi \\ \chi \end{array}\right]$
457: \begin{equation}
458: \left\{\begin{array}{cc} p_0+\hat{L}-m\sigma_3 & p_3\sigma_3\\ \\p_3 \sigma_3
459: & p_0+\hat{L}+m\sigma_3
460: \end{array}\right\}\Psi=0,
461: \end{equation}
462: where $\hat{L}=i\sum\limits_{i=1}^{2}\sigma_i(\pd_i+ieA_i)$,
463: $\phi, \chi $ are the two-component spinors.
464:
465: Respecting the translational invariance of the system it is sufficient
466: to solve the equations only for $p_3=0$. Then one of the two decoupled
467: equations $(\phi, \chi)$ reads
468: \begin{equation}
469: \left\{\begin{array}{cc} p_0-m & \fr{\pd}{\pd r}-\fr{l-\delta
470: a(r)}{r}\\ \\-\fr{\pd}{\pd r}-\fr{l+1-\delta a(r)}{r} & p_0+m
471: \end{array}\right\}\Phi(r)=0
472: \label{dirac_of_r}
473: \end{equation}
474: (here the standard ansatz
475: \begin{equation}
476: \Phi =\left[ \begin{array}{c} i\psi^u(r) e^{-i(l+1)\vp} \\ \\ \psi^l(r)
477: e^{-il\vp} \end{array}\right]
478: \label{ansatz_phi}
479: \end{equation}
480: has been used, $l $ is the orbital quantum number), the radial part denoted as
481: \begin{equation}
482: \Phi(r)=\left\{\begin{array}{c} \psi^{u}(r)\\ \\ \psi^{l}(r)
483: \end{array}\right\}
484: \end{equation}
485: and
486: \begin{equation}
487: \delta=\fr{e\Phi}{2\pi}.
488: \label{delta}
489: \end{equation}
490:
491: In order to use later the symmetry properties of the Jost
492: function we redefine the parameter $l$ in (\ref{ansatz_phi}) (orbital number)
493: as $\nu$ according to
494: \begin{equation}
495: \nu=\left\{ \begin{array}{c} l+\half\ for\ l=0, 1, 2, . . . \\ \\
496: -l-\half\ for\ l=-1, -2, . . . \end{array}\right.
497: \end{equation}
498:
499: For the given construction of potential (\ref{a_r1})
500: we get three equations and three types of solutions for 3 areas of space respectively\\
501: Domain I: $ r<R_1 $. The free wave equation (the magnetic flux is zero),
502: the solutions are the Bessel functions $J_{\nu\pm\half}(kr)$
503: \begin{eqnarray}
504: \Phi_{I}^{-}(r)= \left[\begin{array}{c} \psi^{u-}_{I}(r)\nn\\ \nn\\\psi^{l-}_{I}(r) \end{array} \right]
505: ={ \fr{1}{\sqrt{p_0-m}}\left[
506: \begin{array}{c}-\sqrt{p_0+m}J_{\nu-\half}(k r)\nn\\ \nn\\ \sqrt{p_0-m}J_{\nu+\half}(k r)\end{array} \right]},
507: \nn\\
508: \Phi_{I}^{+}(r)= \left[\begin{array}{c} \psi^{u+}_{I}(r)\nn\\ \nn\\\psi^{l+}_{I}(r) \end{array} \right]
509: ={\fr{1}{\sqrt{p_0-m}}\left[
510: \begin{array}{c}\sqrt{p_0+m}J_{\nu+\half}(k r)\nn\\ \nn\\
511: \sqrt{p_0-m}J_{\nu-\half}(k r)\end{array} \right]}
512: \end{eqnarray}
513: \label{domain_I}
514: \hspace*{3cm}$ p_0=\sqrt{m^2-k^2} $\\
515: This solution of equation (\ref{dirac_of_r}) in the domain I is chosen
516: % to be finite in the point $r=0$ so it satisfies the condition of
517: % regularity,what coincides with the free solution. \\
518: to be the so called regular solution which is defined as to coincide for
519: $r\rightarrow0$ with the free solution.\\
520: Domain II: $R_1<r<R_2$ The equation with a homogeneous magnetic field\\
521: has the solution
522: \begin{eqnarray}
523: \Phi_{II}^{-}(r)=
524: C_r^{-}\left[\begin{array}{c} \psi^{u-}_{II. r}(r)\nn\\
525: \nn\\\psi^{l-}_{II. r}(r) \end{array} \right] +
526: C_i^{-}\left[\begin{array}{c} \psi^{u-}_{II. i}(r)\nn\\
527: \nn\\\psi^{l-}_{II. i}(r) \end{array} \right]=\nn\\ \nn\\
528: \nn\\
529: C_r^{-} \left[
530: \begin{array}{c}
531: \fr{(p_0+m)}{2(\tilde{\alpha}+1)}r^{\tilde{\alpha}+1} e^{-\fr{\beta
532: r^2}{4} } {_1}F_1(1-\fr{k^2}{2 \beta}, \tilde{\alpha}+2 ;\fr{\beta r^2}{2})
533: \nn\\ \nn\\ \hfill r^{\tilde{\alpha}} e^{-\fr{\beta
534: r^2}{4}} {_1}F_1(-\fr{k^2}{2 \beta}, \tilde{\alpha}+1 ;\fr{\beta r^2}{2} )
535: \end{array}
536: \right]\nn\\
537: \nn\\ \\
538: + C_i^{-} \left[
539: \begin{array}{c}
540: \fr{1}{p_0-m}\fr{2 \tilde{\alpha}}{r}(\fr{\beta
541: r^2}{2})^{-\tilde{\alpha}} e^{-\fr{\beta r^2}{4}}{_1}F_1(-\fr{k^2}{2
542: \beta}-\tilde{\alpha}, -\tilde{\alpha} ;\fr{\beta r^2}{2})\nn\\
543: \nn\\ (\fr{\beta
544: r^2}{2})^{-\tilde{\alpha}} e^{-\fr{\beta r^2}{4}} {_1}F_1(-\fr{k^2}{2
545: \beta}-\tilde{\alpha}, 1-\tilde{\alpha} ;\fr{\beta r^2}{2})
546: \end{array}
547: \right].
548: \end{eqnarray}
549: $ \Phi_{II}^{+}(r) $ is the same, but $\tilde{\alpha}$ replaced by $\alpha$\\
550: here: $\alpha=\nu-\half+\fr{\delta}{\kappa}$ for $ l\ge 0$\\
551: \hspace*{2cm}$\tilde{\alpha}=\fr{\delta}{\kappa}-\nu-\half $ for $ l< 0$\\
552: \hspace*{2cm}$\beta=\fr{2 \delta}{\kappa R_1^2}$\\
553: ${_1}F_1$ is a confluent hypergeometric function \cite{abrsteg},
554: \cite{gradst}.
555:
556: The coefficients $C_i , C_r$ are some constants that will be irrelevant for expressing the Jost function. The indices u and l
557: denote ``upper'' and ``lower'' components of spinor respectively. The
558: lower index ``i'' or ``r'' corresponds to ``regular'' or ``irregular''
559: part of solutions dependent on the behaviour of the function if
560: continued to $r=0$. If the external background vanishes ($ \delta
561: \rightarrow 0 $), contributions of irregular parts to the solution
562: disappear.\\
563: Domain III: $r>R_2$ The free wave equation outside of the magnetic flux has
564: the solutions
565: \begin{eqnarray}
566: \Phi_{III}^{-}(r)&=&
567: \half \bar{f}^{-}_{\nu}(k) \fr{1}{\sqrt{p_0-m}}\left[\begin{array}{c} \psi^{u-}_{III. r}(r)\nn\\ \nn\\\psi^{l-}_{III. r}(r) \end{array} \right]
568: +\half f^{-}_{\nu}(k)\fr{1}{\sqrt{p_0-m}}\left[\begin{array}{c} \psi^{u-}_{III. i}(r)\nn\\ \nn\\\psi^{l-}_{III. i}(r) \end{array} \right]
569: \nn\\
570: &=&\half \bar{f}^{-}_{\nu}(k) \left[
571: \begin{array}{r}-\eta H^{(1)}_{\nu-\half+\delta}(k r)\nn\\ \nn\\ H^{(1)}_{\nu+\half+\delta}(k
572: r)\end{array} \right]+\half f^{-}_{\nu}(k) \left[
573: \begin{array}{r}-\eta H^{(2)}_{\nu-\half+\delta}(k r)\nn\\ \nn\\ H^{(2)}_{\nu+\half+\delta}(k
574: r)\end{array} \right],\nn\\
575: \nn
576: \end{eqnarray}
577: \\
578: \begin{eqnarray}
579: \Phi_{III}^{+}(r)&=& \half \bar{f}^{+}_{\nu}(k)\fr{1}{\sqrt{p_0-m}} \left[\begin{array}{c} \psi^{u+}_{III. r}(r)\nn\\
580: \nn\\\psi^{l+}_{III. r}(r) \end{array} \right]
581: +\half f^{+}_{\nu}(k)\fr{1}{\sqrt{p_0-m}} \left[\begin{array}{c} \psi^{u+}_{III. i}(r)\nn\\ \nn\\\psi^{l+}_{III. i}(r) \end{array} \right]
582: \nn\\
583: &=& \half \bar{f}^{+}_{\nu}(k) \left[
584: \begin{array}{r}\eta H^{(1)}_{\nu+\half-\delta}(k r)\nn\\ \nn\\ H^{(1)}_{\nu-\half-\delta}(k
585: r)\end{array} \right]+\half f^{+}_{\nu}(k) \left[
586: \begin{array}{r}\eta H^{(2)}_{\nu+\half-\delta}(k r)\nn\\ \nn\\ H^{(2)}_{\nu-\half-\delta}(k
587: r)\end{array} \right],\nn\\ \nn\\
588: \eta &=&\fr{\sqrt{p_0+m}}{\sqrt{p_0-m}}\nn
589: \end{eqnarray}
590: and $f_{\nu}(k)$ is the desired Jost function in accordance to the
591: definition ( \ref{jost_lk}). The functions $ f_l(-k)$ and $
592: \bar{f}_l(k)$ are conjugated to each other because of the choice of
593: the solution in the domain I to be regular (\ref{domain_I}).
594:
595: \section{The exact and asymptotic Jost function for the background}
596: To obtain a Jost function we need to impose certain matching conditions
597: for the spinor wave at the boundaries between I-II and II-III
598: domains.
599: It is known that for a continuous potential $a(r)$ as we consider here, the
600: spinor wave function must be continuous, hence for its components it holds
601: \begin{eqnarray}
602: \Phi_{II}^{\mp}(r) =\Phi_{I}^{\mp}(r)\Big|_{r=R_1}, \nn\\
603: \Phi_{III}^{\mp}(r) =\Phi_{II}^{\mp}(r)\Big|_{r=R_2}
604: \end{eqnarray}
605: Resolving these equations for $f_{\nu}^{\pm}$ we obtain, that \\
606: \begin{eqnarray}
607: f_{\nu}^{\pm} (k)&=& 2\fr{ A + B }{ W_{III} W_{II} }\nn\\
608: A &=& (\psi_{I}^{u\pm}\psi_{II. i}^{l\pm}-\psi_{I}^{l\pm}\psi_{II. i}^{u\pm})\Big|_{R_1}(\psi_{II. r}^{u\pm}\psi_{III. r}^{l\pm}-\psi_{II. r}^{l\pm}\psi_{III. r}^{u\pm})\Big|_{R_2},\nn\\
609: B &=& (\psi_{I}^{l\pm}\psi_{II. r}^{u\pm}-
610: \psi_{I}^{u\pm}\psi_{II. r}^{u\pm})\Big|_{R_1}(\psi_{II. i}^{u\pm}\psi_{III. r}^{l\pm}-\psi_{II. i}^{l\pm}\psi_{III. r}^{u\pm})\Big|_{R_2}
611: \end{eqnarray}
612:
613: The denominator of this expression can be written using the Wronskians
614: of hypergeometric and Bessel functions as follows
615: \begin{eqnarray}
616: W_{III}=(\psi_{III. i}^{u}\psi_{III. r}^{l}-\psi_{III. i}^{l}\psi_{III. r}^{u})\Big|_{R_2}=
617: (\fr{p_0+m}{p_0-m})^{\half} \fr{4i}{\pi k R_2}\nn\\
618: \\W_{II}=(\psi_{II. r}^{u}\psi_{II. i}^{l}-\psi_{II. r}^{l}\psi_{II. i}^{u})\Big|_{R_1}=
619: -\fr{\alpha\beta}{p_0-m}(\fr{\beta R_1}{2})^{-\alpha-1}
620: \end{eqnarray}
621:
622: To calculate $E_0$ we need this function with imaginary argument
623: (\ref{e0_of_lnf}) so we need to replace $k$ by $ik$. As a result we obtain
624: the new expression for $f(ik)$ that contains now modified Bessel functions $I_{\nu\pm \half}$ instead
625: of $J_{\nu\pm \half}$ and modified Bessel functions $K_{\nu\pm \half\mp \delta}$
626: instead of $H^{(1, 2)}_{\nu\pm \half\mp \delta}$.
627: \begin{eqnarray}
628: f^{+}_\nu(ik) &=& \fr{\pi k R_1 R_2 e^{-\delta /\kappa+\fr{i\pi\delta}{2}}}
629: {\half- \tilde{\nu}} \times \nn \\
630: && \left\{ \left[ \fr{kR_1}{2\tilde{\nu}+1}\
631: {_1}F_1(1+\fr{k^2}{2\beta},\ \tilde{\nu}+\fr{3}{2};\ \fr{\beta R_1^2}{2})
632: \ I_{\nu-\half}(k
633: R_1)-\right.\right.\nn\\&&\left.\hspace*{4cm}{_1}F_1(\fr{k^2}{2\beta},\
634: \tilde{\nu}+\half;\ \fr{\beta R_1^2}{2})
635: \ I_{\nu+\half}(kR_1) \right]\times\nn\\
636: &&\left[\fr{2\tilde{\nu}+1}{R_2}\
637: {_1}F_1(\half-\tilde{\nu}+\fr{k^2}{2\beta},\ \half-\tilde{\nu};\ \fr{\beta R_2^2}{2})\ K_{\nu-\half-\delta}
638: (kR_2)-\right.\nn\\
639: &&\left.\hspace*{4cm} k\ {_1}F_1(\half-\tilde{\nu}+\fr{k^2}{2\beta},\
640: \fr{3}{2}-\tilde{\nu};\ \fr{\beta R_2^2}{2})\ K_{\nu+\half-\delta}(kR_2)\right]- \nn\\
641: &&\left[k\
642: {_1}F_1(\half-\tilde{\nu}+\fr{k^2}{2\beta},\ \fr{3}{2}-\tilde{\nu};\ \fr{\beta
643: R_1^2}{2})\ I_{\nu+\half}(kR_1)+\right.\nn\\
644: &&\left.\hspace*{4cm}\fr{2\tilde{\nu}-1}{R_1}\
645: {_1}F_1(\half-\tilde{\nu}+\fr{k^2}{2\beta},\ \half-\tilde{\nu};\ \fr{\beta
646: R_1^2}{2})\ I_{\nu-\half}(kR_1)\right]\times\nn\\
647: &&\left[\fr{kR_2}{2\tilde{\nu}+1}\
648: {_1}F_1(1+\fr{k^2}{2\beta},\ \tilde{\nu}+\fr{3}{2};\ \fr{\beta R_2^2}{2})\
649: K_{\nu-\half-\delta}(kR_2)+\right.\nn\\&&\left.\left.\hspace*{4cm}{_1}F_1(\fr{k^2}{2\beta},\
650: \tilde{\nu}+\half;\ \fr{\beta
651: R_2^2}{2})\ K_{\nu+\half-\delta}(kR_2)\right]\right\},\nn
652: %\label{f_v_of_ik}
653: \end{eqnarray}
654: where $\tilde{\nu}= \nu + \fr{\delta R_1^2}{R_1^2-R_2^2} $, and
655:
656: \begin{eqnarray}
657: f^{-}_\nu(ik) &=& \fr{\pi k R_1 R_2 e^{-\delta /\kappa-\fr{i\pi\delta}{2}}}
658: {\half+ \bar{\nu}} \times \\
659: && \left\{ \left[ \fr{kR_1}{2\bar{\nu}-1}
660: \ {_1}F_1(\bar{\nu}+\half+\fr{k^2}{2\beta},\ \bar{\nu}+\half;\ \fr{\beta R_1^2}{2})
661: \ I_{\nu+\half}(rR_1)-\right.\right.\nn\\
662: &&\left.\hspace*{4cm}{_1}F_1(\bar{\nu}+\half+\fr{k^2}{2\beta},\
663: \bar{\nu}+\fr{3}{2};\ \fr{\beta R_1^2}{2})
664: \ I_{\nu-\half}(kR_1) \right]\times\nn\\
665: &&\left[\fr{2\bar{\nu}-1}{R_2}\
666: {_1}F_1(1+\fr{k^2}{2\beta},\ \fr{3}{2}-\bar{\nu};\ \fr{\beta R_2^2}{2})
667: \ K_{\nu+\half+\delta}(kR_2)-\right.\nn\\
668: &&\left.\hspace{4cm}
669: k\ {_1}F_1( \fr{k^2}{2\beta},\ \half-\bar{\nu};\ \fr{\beta R_2^2}{2})
670: \ K_{\nu-\half+\delta}(kR_2)\right]- \nn\\
671: &&\left[k\ {_1}F_1(\fr{k^2}{2\beta},\ \half-\bar{\nu};\ \fr{\beta R_1^2}{2})
672: \ I_{\nu-\half}(kR_1)+\right.\nn\\
673: &&\left.\hspace*{4cm}\fr{2\bar{\nu}+1}{R_1}
674: \ {_1}F_1(1+\fr{k^2}{2\beta},\ \fr{3}{2}-\bar{\nu};\ \fr{\beta R_1^2}{2})
675: \ I_{\nu+\half}(kR_1)\right]\times\nn\\
676: &&\left[\fr{kR_2}{2\bar{\nu}-1}
677: \ {_1}F_1(\bar{\nu}+\half+\fr{k^2}{2\beta},\ \bar{\nu}+\half;\ \fr{\beta R_2^2}{2})
678: \ K_{\nu+\half+\delta}(kR_2)+\right.\nn\\
679: &&\left.\left.\hspace*{4cm}{_1}F_1(\bar{\nu}+\half+\fr{k^2}{2\beta},\
680: \bar{\nu}+\fr{3}{2};\ \fr{\beta R_2^2}{2})
681: \ K_{\nu-\half+\delta}(kR_2)\right]\right\},\nn
682: \label{f_v_of_ik}
683: \end{eqnarray}
684: where $\bar{\nu}= \nu - \fr{\delta R_1^2}{R_1^2-R_2^2} $, and
685:
686: Now we need to obtain the asymptotic Jost function and asymptotic part
687: of energy. We use the representation of the asymptotic Jost function
688: $\ln f_{as}\unboldmath(ik)$ in the following form (see App.)
689: \begin{equation}
690: ln \boldmath f_{as}\unboldmath(ik)=\sum\limits_{n=1}^3\sum\limits_{j=1}^9
691: \int\limits_{0}^{\infty} \fr{dr}{r}X_{nj}\fr{t^j}{\nu^n}
692: \label{lnfas}
693: \end{equation}
694: where $t=(1+[\fr{kr}{v}]^2)^{-\half}$ and $X_{nj}$ (given
695: explicitly in App.A) are represented in terms of $ r, \delta, a(r) $ and
696: their derivatives.
697:
698: This expansion had been obtained in \cite{borkir2} by iterations of
699: Lippmann-Schwinger equation up to the order $\nu^{-3}$. In general it
700: is possible to obtain higher orders using this formalism. However as
701: the calculations \cite{borkir2} showed,the complication of the
702: involved expressions increases very fast. It is remarkable that this
703: expression does not contain a term with power $\nu^{-2}$. In the
704: finite part of the energy the corresponding term is canceled in the
705: sum of terms corresponding to positive and negative orbital momenta
706: $\nu$ as well. The absence of the power $\nu^{-2}$ is a succession of
707: the zero heat kernel coefficient $a_{3/2}$. Also it is a non-trivial
708: fact that both, the
709: fourth power of the magnetic flux $\delta$ and the second one is present.
710:
711: It can be checked numerically that $ln f^{as}$ (\ref{lnfas}) is indeed
712: the uniform asymptotic expansion of logarithm of (\ref{f_v_of_ik}) for
713: $k,\nu$- large, $k/ \nu=z$-fixed.
714:
715: \section{The finite and asymptotic parts of vacuum energy}
716: The expression (\ref{lnfas}) for the uniform asymptotic of Jost function,
717: substituted into the expression for $E^{as}$ (\ref{eren_ef_eas_ediv}) yields
718: \begin{equation}
719: E^{as}=2C_s\sum\limits_{v=1/2, 3/2, . . . }^{}\int\limits_{m}^{\infty}dk(k^2-m^2)^{1-s}
720: \fr{\pd}{\pd k}\int\limits_{0}^{\infty}\fr{dr}{r}\sum\limits_{n=1}^3\sum\limits_{j=1}^9
721: \int\limits_{0}^{\infty}X_{nj}\fr{t^j}{\nu^n} - E^{div}\\
722: \label{eas-ediv}
723: \end{equation}
724: with the constant $C_s =\fr{1}{2\pi}[1+s(-1+2ln2\mu)]$. $E^{div}$ as defined in (\ref{e_div_def}) is
725: \begin{equation}
726: E^{div}=\fr{\delta^2}{6\pi(R_2^2-R_1^2)}(\fr{1}{s}-2+\ln \fr{4\mu^2}{m^2})
727: \end{equation}
728: with the coefficient $a_2$ according to (\ref{coeff_a_2}) has been used in the
729: form
730: \begin{equation}
731: a_2=\fr{2}{3}F^2_{\mu\nu}
732: =\fr{8 \pi}{3}\delta^2\int\limits_{0}^{\infty}dr r h(r)^2 = \fr{16 \pi\delta^2}{3}\fr{1}{R_2^2-R_1^2}
733: \end{equation}
734:
735: Then the sum over $\nu$ can be now transformed into two integrals by
736: means of Abel-Plana formula (\ref{abelplan}). The first one cancels
737: the $E^{div}$ exactly. Then we integrate the second one over $k$
738: using the identities (\ref{ident1}, \ref{ident2}). It gives the form
739: \begin{equation}\label{Eas}
740: \hspace*{1cm}E^{as}=-\fr{1}{\pi}m^2\sum\limits_{n=1}^{3}\sum\limits_{j=n}^{3n}\int\limits_{0}^{\infty}\fr{dr}{r}X_{n, j}\Sigma_{n\
741: j}(rm)
742: \end{equation}
743: with
744: \begin{eqnarray}
745: \hspace*{1cm}&&\Sigma_{n\ j}(x) =\fr{
746: \Gamma(s+j/2-1)}{\Gamma(j/2)}\fr{-i}{x^j} \\&\times&
747: \int\limits_{0}^{\infty}\fr{d\nu}{1+exp(2 \pi\nu)} \left( \fr{(i\nu)^{j-n}}{[1+(i\nu/x)^2]^{s+j/2-1}}- \fr{(-i\nu)^{j-n}}{[1+(-i\nu/x)^2]^{s+j/2-1}} \right)\nn
748: \end{eqnarray}
749:
750: In order to obtain an analytical continuation in $s=0$ of each term of
751: the sum we integrate it over $\nu$ by parts several times till the
752: divergency at $\nu=0$ through the power $s+j/2-1$ abrogates, and after
753: that we can perform the integration over $r$. Further we integrate by
754: parts resulting in the relations $raa' \rightarrow -\half a^2 r\pd_r$
755: and $r^2aa'' \rightarrow -a'^2+\half a^2 r\pd^2_r r $ (that hold
756: because of the continuity of the potential $a(r)$), and we obtain
757: finally the form
758: \begin{equation}
759: E^{as}= \fr{-4}{\pi}\int\limits_{0}^{\infty}\fr{dr}{r^3}[\delta^2 a(r)^2
760: g_1(rm)-\delta^2 r^2 a'(r)^2 g_2(rm)+\delta^4 a(r)^4 g_3(rm)]\\
761: \label{eas_of_g}
762: \end{equation}
763: with $ \ \ \ \ g_i(x)=\int\limits_{x}^{\infty}d \nu
764: \sqrt{\nu^2-x^2}f_i(\nu)$
765: that will be calculated numerically (see the next section), the functions $
766: f_i(\nu)$ are shown explicitly in (\ref{f_i_of_v}).
767:
768: The finite part of the ground state energy $E^f\ $ can be finally represented as follows
769: \begin{equation}
770: E^f=\fr{1}{2\pi}\sum\limits_{\nu=1/2, 3/2,
771: . . . }^{}\int\limits_{m}^{\infty}dk\ (k^2-m^2)\fr{\pd}{\pd k}[ ln f_{\nu}^{+}(ik)+ln f_{\nu}^{-}(ik)-2 \ln
772: f^{as}(ik)]
773: \label{ef}
774: \end{equation}
775: In order to use this form for numerical evaluations we integrate by
776: parts and get
777: \begin{equation}\label{ef1}
778: E^f=-\fr{1}{\pi}\sum\limits_{\nu=1/2, 3/2,
779: . . . }^{}\int\limits_{m}^{\infty}dk\ k\ ln f_{\nu}^{sub}(ik)
780: \end{equation}
781: (the logarithmic expression in square brackets in (\ref{ef}) denoted as $ ln
782: f^{sub} $).
783:
784: \section{Higher orders of the uniform asymptotic expansion of the Jost
785: function and the heat kernel coefficient $a_{5/2}$}
786: %
787: The background considered in this paper has singular surfaces where
788: the magnetic field jumps. The heat kernel expansion for the case of
789: singularities concentrated at surfaces has been considered in
790: [\cite{borvass}, \cite{moss}, \cite{gkv}, \cite{gkv2}]. Although the
791: general analysis of \cite{gkv} is valid for our background, an
792: explicit expression for $a_{5/2}$ has not been calculated yet.
793:
794: We can use our obtained Jost function (\ref{f_v_of_ik}) to calculate
795: the coefficient $a_{5/2}$ in the heat kernel expansion
796: (\ref{heat_kt_sum}).
797:
798: Suppose we have obtained the value of $E_0(s)$ (\ref{e0_of_lnf})in the
799: point $s=-1/2$. It follows from (\ref{e0_zeta} - \ref{heat_kt_sum})
800: that
801: \begin{equation}
802: E_0(s)\sim - \fr{\mu^{2s}}{2(4\pi)^{3/2} } \fr{m^{4-2s}}{\Gamma(s-\half)}
803: \sum\limits_{n=0, \half, 1, . . . }\fr{a_n}{m^{2n}} \Gamma(s-2+n)
804: \end{equation}
805: and at the limit of $s \rightarrow -\half$ only the term containing
806: $a_{5/2}$ remains to be nonzero in the sum.
807: \begin{equation}
808: E_0(\half)= - \fr{\mu^{2s}}{2(4\pi)^{3/2} } a_{5/2}
809: \end{equation}
810:
811: From the other hand we have (\ref{e0_of_lnf}, \ref{e0_of_lnfas})
812: \begin{equation}
813: E_0(s)= C_s \sum\limits_{\nu=1/2, 3/2, . . . } \int\limits_m^\infty
814: dk(k^2-m^2)^{1-s} \fr{\pd}{\pd k} f_\nu(ik)=C_s h(s).
815: \end{equation}
816: Here we substitute the exact Jost function by its uniform asymptotic
817: represented in the form
818: \begin{equation}
819: f^{ua}_\nu(ik)=\sum\limits_{n=1,3,4,5...} \fr{h_n(t_1, t_2)}{\nu^n},
820: \label{unif_as_f}
821: \end{equation}
822: where the coefficients $h_n$ are functions of
823: $t_1=(1+(\fr{kR_1}{\nu})^2)^{-1/2}$,
824: $t_2=(1+(\fr{kR_2}{\nu})^2)^{-1/2}$, the power $\nu^{-2}$ is absent,
825: as noticed above (\ref{lnfas}),
826: \begin{equation}
827: C_s= -\fr{\mu^{2s}\Gamma(s-1)}{4 \sqrt{\pi}\Gamma(s-1/2)}\fr{-4 \sin(\pi s)}{\pi}
828: \end{equation}
829: At the limit $s \rightarrow -\half$ it yields
830: \begin{equation}
831: E_0(-\half)=\fr{4}{3\pi} Res_{s \rightarrow -\half} h(s)
832: \end{equation}
833: and therefore we obtain for $a_{5/2}$
834: \begin{equation}
835: a_{5/2}=-\fr{64\sqrt{\pi}}{3} Res_{s \rightarrow -\half} h(s).
836: \end{equation}
837:
838: To obtain the explicit form of $Res_{s \rightarrow -\half} h(s)$ we
839: use the uniform asymptotic expansion of the Jost function
840: (\ref{unif_as_h}). The terms $h_n(t_1,t_2)$ in \ref{unif_as_f} can
841: be obtained either by iterations of Lippmann-Schwinger equation (see
842: \cite{borkir2}, \cite{borkir1}) or by using the explicit form of the
843: Jost function as well. All the further terms up from $h_4$ are
844: produced from the explicit form of the Jost function
845: (\ref{f_v_of_ik}) because of complication of the first way for higher
846: orders $n$ (see the remark to \ref{lnfas} in Sec.6). Namely, we
847: obtain several higher orders $1/\nu$ of uniform asymptotic expansion
848: for special functions $I_{\nu},K_{\nu},_{1}F_1$ which the exact Jost
849: function (\ref{f_v_of_ik}) consists of (it can be done starting with
850: the explicit form for two first orders and executing the recursive
851: algorithm several times\cite{abrsteg}), then after substitution of
852: each of functions $I ,K, _{1}F_1$ by its corresponding uniform
853: asymptotic expansion and separation of powers of $\nu$ we arrive at
854: the form (\ref{unif_as_h}). The coefficients $h_n(t_1, t_2),
855: n=1,...,4$ are given in the Appendix (\ref{unif_as_h}).
856:
857: If the function $h_n(t_1, t_2)$ is a polynomial over $t_1, t_2$, so
858: we can consider some term $t^j , (t=t_i, i=1, 2 ) $ of it. Notice,
859: that for $h_1(t_1,t_2),h_3(t_1,t_2)$ it is not the case, but we can
860: treat the terms of kind $\fr{1}{1+t}$ and $\fr{1}{(1+t)^k}$,
861: $k$-integer, as an infinite sum of powers $t$.
862:
863: Apart from the construction of $t= t_1, t_2$ (\ref{unif_as_f}) they
864: are strictly positive and less than 1, therefore the series $
865: \fr{1}{1+t}=\sum\limits_{i=0}^{\infty}t^i$ converges regular and
866: uniform and respecting that we have only finite integer powers $k$ so
867: that $ \left[ \fr{1}{1+t}\right]^k=
868: \left(\sum\limits_{i=0}^{\infty}t^i\right)^k $ converges as well, the
869: sum over $i$ can be interchanged with the one over $\nu$
870: (Princeheim's Theorem) thus the following procedure is valid.
871: Performing the sum
872: \begin{equation}
873: h(s)=\sum\limits_{\nu=1/2, 3/2, . . . } \int\limits_m^\infty
874: dk(k^2-m^2)^{1-s} \fr{\pd}{\pd k} \sum\limits_{n=1, 3, 4, 5} h_{n,j}(R_1,R_2) \fr{t^j}{\nu^n}
875: \end{equation}
876: by meaning of (\ref{abelplan}) we obtain the sum of two parts
877: \begin{eqnarray}
878: h(s)&=&\int\limits_0^\infty d\nu\int\limits_m^\infty dk(k^2-m^2)^{1-s}\fr{\pd}{\pd
879: k}\sum\limits_n h_{n,j}(R_1,R_2)\fr{t^j}{\nu^n}+ \\\nn
880: &&\int\limits_0^\infty \fr{d\nu}{e^{2\pi\nu}+1}\fr{1}{i}\left[ \int\limits_m^\infty
881: dk(k^2-m^2)^{1-s}\fr{\pd}{\pd k}\sum\limits_n h_{n,j}(R_1,R_2)\fr{t^j}{\nu^n}
882: \right]_{\nu=i\nu}^{\nu=-i\nu},
883: \label{two_parts}
884: \end{eqnarray}
885: where $t=t_{1, 2}$. The first summand of (\ref{two_parts}) gives for each power $j$ of $t=\{ t_1, t_2 \}$
886: (using the (\ref{ident1}))
887: \begin{equation}
888: -\fr{m^3}{2}
889: \fr{\Gamma(2-s)\Gamma(\fr{1+j-n}{2})\Gamma(s+\fr{n-3}{2})}{(Rm)^{n-1}\Gamma(j/2)}
890: \label{first_part}
891: \end{equation}
892: (where R denotes $R_1$ and $R_2$ respectively)
893: at the limit $s \rightarrow -\half$ only the terms corresponding to $n=2$
894: and $n=4$ (which will be calculated below) have a pole.
895:
896: For the second part of the Abel-Plana formula (\ref{two_parts}) we have
897: \begin{eqnarray}
898: &&\fr{1}{i}\int\limits_0^\infty\fr{d\nu}{1+e^{2\pi\nu}}
899: \fr{\Gamma(2-s)\Gamma(s+j/2-1)}{jR^{4-2s}\Gamma(j/2)} \\
900: &\times&\left[(i\nu)^{2+j-n}[(mR)^2+(i\nu)^2]^{1-j/2-s}-(-i\nu)^{2+j-n}[(mR)^2+(-i\nu)^2]^{1-j/2-s}\right]\nn
901: \label{2_part}
902: \end{eqnarray}
903:
904: It can be seen using the Taylor expansions at $s \rightarrow -\half$
905: of Gamma functions entering the (\ref{2_part}), that only the terms
906: containing -1, 1, and 3 powers of $t_i$ can contribute to the residuum
907: at $s \rightarrow -\half$. But the expression in square brackets in
908: (\ref{2_part}) can be performed as
909: \begin{equation}
910: -\nu^2(\nu^2-(mr)^2)[(i\nu)^{j-n}e^{i\pi (1-j/2-s)}-(-i\nu)^{j-n}e^{-i\pi (1-j/2-s)}]
911: \end{equation}
912: thus for $j-n$ even the expression in square brackets produces (dropping the
913: non sufficient coefficient $\pm 2$ or $\pm 2i$):\\
914: \hspace*{2cm}for $j=-1, 1 :\ \ \ \ \sin \pi(1-j/2-s)=\cos \pi s $\\
915: \hspace*{2cm}for $j=3 :\ \ \ \ \sin \pi(1-j/2-s)= -\cos \pi s $\\
916: \\
917: and for $j-n$ odd respectively\\
918: \hspace*{2cm}for $j=\pm 1 :\ \ \ \ \cos \pi(1-j/2-s)=\pm\sin \pi s $\\
919: \hspace*{2cm}for $j=3 :\ \ \ \ \cos \pi(1-j/2-s)= -\sin \pi s $\\
920: \\
921: But for $s \rightarrow -\half$ these functions behave as\\
922: \hspace*{2cm}$\sin \pi s \sim -1+\fr{\pi^2}{2}(\half+s)^2, \\ \cos \pi
923: s \sim \pi(\half+s)\\ $ and it means that only the contribution of
924: terms with odd powers $j-n$ of $i\nu$ could survive and these
925: corresponds for the possible values of $j$ to $\nu^{-2}, \nu^{-4},
926: \nu^{-6}, . . . $. In fact the coefficient $h_2(s)$ at $\nu^{-2}$ is
927: zero, and all other possible terms up from $\nu^{-4}$ does not contain
928: any powers of $t_i$ lower than 4; one can see it for example in the
929: explicit form of the uniform asymptotical expansion of special
930: functions entering the $\ln f_v(ik)$ (\ref{f_v_of_ik}). Therefore the
931: second summand of (\ref{two_parts}) does not produce any contribution to
932: the $Res_{s \rightarrow -\half} h(s)$ Thus we have that only the
933: contribution from the first summand of (\ref{two_parts}) remains, and
934: since the term of $n=2$ is zero the searched residuum resulting from
935: the term of $n=4$ is:
936: \begin{equation}
937: Res_{s \rightarrow -\half} h(s)=-\half.\fr{3 \sqrt{\pi}}{4}
938: \fr{\delta^2}{4(R_1^2-R_2 ^2)^2} (R_1+R_2)\sum\limits_{j=4, 6}\fr{\Gamma(\fr{1+j-n}{2})}{j/2},
939: \end{equation}
940: where the (\ref{first_part}) and the explicit form of $ h_4(t_1, t_2)=\fr{\delta^2}{4(R_1^2-R_2 ^2)^2}[R_1^4(t_1^4-t_1^6)+R_2^4(t_2^4-t_2^6)]$ have been used.
941: Finally we have
942: \begin{equation}
943: Res_{s \rightarrow -\half} h(s)=\fr{15\pi}{128}\fr{\delta^2(R_1+R_2)}{(R_1^2-R_2^2)^2}
944: \end{equation}
945: and therefore
946: \begin{equation}
947: a_{5/2}= \fr{5\pi^{3/2}}{2} \fr{\delta^2(R_1+R_2)}{(R_1^2-R_2^2)^2}
948: \label{coeff_a52}
949: \end{equation}
950: %
951: This is the heat kernel coefficient $a_{5/2}$ for the configuration of
952: the magnetic background field as given by
953: Eqs.(\ref{potential_A}-\ref{h_r1}).
954:
955: We can calculate the heat kernel coefficient $a_{5/2}$ in a more
956: general situation when the magnetic field jumps on an {\it arbitrary}
957: surface $\Sigma$. The coeffcients $a_n$ for $n=1/2,...,2$ can be read
958: off rather general expressions of the paper \cite{gkv}. Let $B^\pm$
959: be values of the magnetic field on two sides of $\Sigma$. According
960: the analysis of \cite{gkv}, the coeffcient $a_{5/2}$ must be an
961: integral over $\Sigma$ of a local invarinat of canonical mass
962: dimension 4, which is symmetric under the exchange of $B^+$ and $B^-$
963: and which vanishes if $B^+=B^-$ (i.e. when the singularity
964: disappears). There is only one such invariant which gives rise to the
965: following expresssion:
966: %
967: \begin{equation}
968: a_{5/2}= \xi \int\limits_{\Sigma} (\vec{B}^+ - \vec{B}^-)^2 d\mu(\Sigma),
969: \label{general_a52}
970: \end{equation}
971: where the integration goes over the surface $\Sigma$ and
972: $\vec{B}^{\pm}$ are the values of the magnetic field on both sides of
973: $\Sigma$ in the given point. The yet undefined constant $\xi $ can be
974: found using Eq.(\ref{coeff_a52}) which constitutes a special case of
975: (\ref{general_a52}). Here the surface $\Sigma$ consists of two circles
976: in the $ (\vec{X},\vec{Y})$-plane so that
977: \begin{equation}
978: \int\limits_{\Sigma} (\vec{B}^+ - \vec{B}^-)^2 d\mu(\Sigma)=2\pi(R_1+R_2)\vec{B}^2,
979: \end{equation}
980: where the jump $(\vec{B}^+ - \vec{B}^-)$ is just the value of
981: $\vec{B}$ at $r \in [R_1,R_2]$. With this, Eq.(\ref{general_a52})
982: takes the form
983: \begin{equation}
984: a_{5/2}=2\pi e^2 \xi\vec{B}^2(R_1+R_2).
985: \label{agen}
986: \end{equation}
987: On the other side, from Eq.(\ref{fieldb}) we have
988: \begin{equation}
989: \Phi= B\int\limits_{r \in[R_1,R_2]}B d^2 x=\pi B(R_2^2-R_1^2)
990: \label{phiofb}
991: \end{equation}
992: and with Eq.(\ref{delta}) from Eq.(\ref{coeff_a52}) it follows that
993: \begin{equation}
994: a_{5/2}= \fr{5}{8\sqrt{\pi}} e^2 \Phi^2 \fr{R_1+R_2}{(R_2^2-R_1^2)^2}.
995: \label{asp}
996: \end{equation}
997: comparing (\ref{agen}) with (\ref{asp}) we get
998: \begin{equation}
999: \xi = \fr{5}{16\pi^{3/2}}.
1000: \label{ksi}
1001: \end{equation}
1002:
1003: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1004: \section{Graphics and numerical results}
1005: %
1006: The asymptotic part of the ground state energy as given by
1007: Eqs. (\ref{Eas}) and (\ref{eas_of_g}) can be represented as sum of a
1008: part proportional to the second power of the flux and one proportional
1009: to the fourth power,
1010: %
1011: \begin{equation}
1012: E^{as}= -\fr{4}{\pi}[e_1(R_1,R_2)\delta^2+e_2(R_1,R_2)\delta^4]
1013: \label{eas_of_e1_e2}.
1014: \end{equation}
1015: The corresponding coefficients $ e_1(R_1,R_2)$ and $e_2(R_1,R_2)$ can
1016: be calculated numerically without problems. They are shown as
1017: functions of $R_2$ for fixed $R_1$ in Fig.\ref{fig1} (multiplied by
1018: $R_2^2$).
1019: %
1020: \begin{figure}[h]
1021: \begin{picture}(60,100)(0,15)
1022: \epsfxsize=7cm\epsffile{EASe1e2.eps}
1023: \epsfxsize=7cm\epsffile{EASe1e2_2.eps}
1024: \end{picture}
1025: \caption{The asymptotical part of energy as function of the outer
1026: radius for $R_1=0.00001$ resp. $R_1=1$ }\label{fig1}
1027: \end{figure}
1028:
1029: The finite part of the ground state energy, $E_f$, is used in the form
1030: as given by Eq. (\ref{ef1}). Let $E_f(\nu,k)$ denote the function to
1031: be integrated and summed over in that expression. In Fig.\ref{fig2} it
1032: is shown as function of $k$ for several values of the orbital momentum
1033: $\nu$. In order the make the behavior better visible it is multiplied
1034: there by $\nu^4 k^3$. These functions are smooth for all values of
1035: $k$, starting from some finite values at $k=0$. For large $k$, the
1036: functions $\nu^4 k^2 E_f(\nu,k)$ shown here tend to a constant thus
1037: the integral over $k$ is convergent. All integrals have been
1038: truncated at $k=1500$. The error caused by this is quite small and
1039: does not change the results shown in the Table 1. These integrals we
1040: denote by $E_f(\nu)$. They are shown as function of $\nu$ in
1041: Fig.\ref{fig3} in a logarithmic scale. Again, we multiplied by a power
1042: of argument, here by $\nu^2$, in order to make the behavior for large
1043: $\nu$ visible. It is seen that $\nu^2 E_f(\nu)$ tends to a constant so
1044: that the sum over $\nu$ is convergent. The sum is taken up to
1045: $\nu=232.5$ and again the remainder is small.
1046: %
1047: \begin{figure}[h]
1048: \epsfxsize=10cm\epsffile{EFk23.eps}
1049: \caption{The contribution $E_f(\nu,k)$ multiplied by $\nu^4 k^3$ of the
1050: individual radial momenta for several orbital momenta to the finite
1051: part of the ground state energy for $R_1=0.0001$, $R_2=1$, $\delta=3$.}
1052: \label{fig2}
1053: \end{figure}
1054: %
1055: \begin{figure}[h]
1056: \epsfxsize=10cm\epsffile{EFvlog.eps}
1057: \caption{The contribution $E_f(\nu)$ of the individual orbital momenta
1058: to the finite part of the ground state energy multiplied by $\nu^2$
1059: for $R_1=0.0001$,$R_2=1$ and $\delta=3$.} \label{fig3}
1060: \end{figure}
1061: %
1062: The calculations have been performed for several values of the
1063: parameters. The results are displayed in Table.1. The computations are
1064: performed with an adapted arithmetical precision. In intermediate
1065: steps compensations between sometimes very large quantities
1066: appeared. The precision was adapted accordingly. For example, for
1067: $R_1=0.99,\nu=250.5,k=1600$ as much as 1404 decimal positions have been
1068: necessary to get at least 16 digits precision of the integrand $E_f(\nu,k)$.
1069: This was a factor causing large computation time.
1070:
1071: Table 1. The numerical evaluations for several values of $R_1$ and
1072: $\delta$\\ \\ $R_1$=0.0001\\
1073: \begin{tabular}{c||c|c|c|c|c}\hline
1074: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1075: \hline\hline
1076: 0.5& -0.0130152& 0.00152886& -0.0114863& 3.14159& 3.13011\\
1077: 1.& -0.052403& 0.00509591& -0.0473071& 12.5664& 12.5191\\
1078: 3.& -0.450093& -0.052012& -0.502105& 113.097& 112.595\\
1079: 6.& -0.91953& -1.52936& -2.44889& 452.389& 449.94\\
1080: 10.& 4.85954& -12.9483& -8.08871& 1256.64& 1248.55\\
1081: 15.& 46.3333& -67.3661& -21.0328& 2827.43& 2806.4\\
1082: 21.& 215.273& -261.526& -46.2534& 5541.77& 5495.52\\
1083: 30.& 987.62& -1095.29& -107.666& 11309.7& 11202.1\\
1084: \hline \hline
1085: \end{tabular}\\
1086: \\
1087: $R_1$=0.9\\
1088: \begin{tabular}{c||c|c|c|c|c}\hline
1089: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1090: \hline\hline
1091: 0.5 &-0.278679 &-0.00105651 &-0.279736 & 16.5347 & 16.255 \\
1092: 1. &-1.11431 &-0.00451479 &-1.11882 &66.1388 & 65.02\\
1093: 3. &-10.0633 &-0.0683525 &-10.1317 &595.249 & 585.117\\
1094: 6. &-40.4372 & -0.647622&-41.0848 &2381. & 2339.92\\
1095: 10. &-112.17 &-4.2629 &-116.433 &6613.88 & 6497.45\\
1096: 20. &-423.279 &-63.2506 &-486.53 &26455.5 & 25969.\\
1097: 40. &-1079.05 &-992.187 &-2071.24 &105822. & 103751.\\
1098: \hline \hline
1099: \end{tabular}\\
1100: \\
1101: $R_1$=0.95\\
1102: \begin{tabular}{c||c|c|c|c|c}\hline
1103: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1104: \hline\hline
1105: 0.5& -0.72166& -0.00212769& -0.723788& 32.2215& 31.4977\\
1106: 1.& -2.86633& -0.00877711& -2.87511& 128.886& 126.011\\
1107: 3.& -25.8293& -0.104564& -25.9339& 1159.97& 1134.04\\
1108: 10.& -287.834& -4.39364& -292.228& 12888.6& 12596.4\\
1109: \hline \hline
1110: \end{tabular}\\
1111: \\
1112: $R_1$=0.99\\
1113: \begin{tabular}{c||c|c|c|c|c}\hline
1114: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1115: \hline\hline
1116: 0.5& -5.59211& -0.0106385& -5.60275& 157.869& 152.266\\
1117: 1.& -23.2975& -0.0428038& -23.3403& 631.476& 608.136\\
1118: 3.& -202.057& -0.409235& -202.466& 5683.28& 5480.82\\
1119: \hline \hline
1120: \end{tabular}\\
1121: \\
1122: $R_1$=0.997\\
1123: \begin{tabular}{c||c|c|c|c|c}\hline
1124: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1125: \hline\hline
1126: 1.& -91.996& -0.142036& -92.138& 2097.54& 2005.4\\
1127: \hline \hline
1128: \end{tabular}\\
1129: \\
1130: $R_1$=0.999\\
1131: \begin{tabular}{c||c|c|c|c|c}\hline
1132: $\delta$ & $E^{f}$ & $E^{as}$ & $E^{ren}$ & $E^{class}$ & $E^{tot}$\\
1133: \hline\hline
1134: 1.& -311.182& -0.425555& -311.608& 6286.33& 5974.72\\
1135: \hline \hline
1136: \end{tabular}
1137:
1138: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1139: \section{ Conclusions and Discussions }
1140: %
1141: In the preceding sections the ground state energy for a spinor in the
1142: background of a rectangular shaped flux tube had been numerically
1143: calculated. The corresponding Jost function had been written down
1144: explicitly, also its asymptotic part. The numerical calculation
1145: required work with high arithmetic precision. The results
1146: are displayed mainly in Table 1. For small inner radius of the flux
1147: the results are close to them of \cite{borkir2} where the same problem
1148: for a flux tube with homogeneous magnetic field inside, which
1149: corresponds to $R_1=0$ here, was considered. Especially, it is seen
1150: that for large flux $\delta$ there is a compensation of the
1151: $\delta^4$-contribution between the finite and the asymptotic parts
1152: of the ground state energy leaving a behaviour proportional to
1153: $\delta^2\ln\delta$ as shown in Fig.\ref{fig4}. Here the asymptotic
1154: part gave an essential contribution. The ground state energy remains
1155: negative, but numerically small. Only for very large flux it could
1156: overturn the corresponding classical energy, but these values of the
1157: flux are clearly unphysical.
1158:
1159: \begin{figure}[h]
1160: \epsfxsize=10cm\epsffile{deltaln.eps}
1161: \caption{The ground state energy divided by $\delta^2\ln\delta$ as function of $\delta$.}\label{fig4}
1162: \end{figure}
1163:
1164: For values of the inner radius close to the outer one, $R_1\to1$
1165: (where we have put $R_2=1$) the picture changes. Here the vacuum
1166: energy grows faster than the classical one. Generally, both diverge
1167: proportional to $(1-R_1)^{-1}$, the classical energy is equal to
1168: $E_{\rm class}=\delta^2 2\pi (1-R_1)^{-1}$. The vacuum energy,
1169: multiplied by $(1-R_1)$, is shown in Fig.\ref{fig5} in a logarithmic
1170: scale. It is negative and growing a bit faster than the classical one
1171: which would be a constant in this plot. Here the asymptotic part of
1172: the ground state energy becomes increasingly unimportant (see Table 1). The question
1173: whether the vacuum energy for sufficiently small $(1-R_1)$ may become
1174: larger than the classical one cannot be answered by the numerical
1175: results obtained. The problem is that the computations become very
1176: time consuming because of the increasing precision which is
1177: required. Also, one has to take higher $k$ and $\nu$ into account.
1178: The weakening of the growth for $R_1=0.997$ and $R_1=0.999$ seen in
1179: Fig.\ref{fig5} may be caused just by this reason. Here one has to note
1180: that the integrand is for large $k$ and $\nu$ always negative (see
1181: Fig.\ref{fig2}) so that dropping some part (as we did within the
1182: numerical procedure) diminishes the result. So, as a result, we cannot
1183: exclude from the given calculation that the vacuum energy grows for a
1184: strong background field faster than the classical energy.
1185:
1186: \begin{figure}[h]
1187: \epsfxsize=12cm\epsffile{Ef1a.eps}\ \
1188: \caption{The vacuum energy multiplied by $(1-R_1)$ in a logarithmic
1189: scale for $\delta=1$.}\label{fig5}
1190: \end{figure}
1191:
1192: Further work is necessary to better understand these questions. An
1193: improvement of the numerical procedure is certainly desirable. It
1194: could go along two lines. First, in the calculation of the Jost
1195: function the compensation of large exponentials should be avoided by
1196: taking them into account analytically. Second, in the compensation
1197: between the logarithm of the Jost function and its asymptotic
1198: expansion in the integrand of $E_f$ in Eq.(\ref{ef},\ref{ef1}) higher
1199: orders of the asymptotic expansion could be used. However, for this
1200: reason one would have to continue the procedure invented in
1201: \cite{borkir2} for this expansion using the Lippman-Schwinger equation
1202: or to find some equivalent procedure.
1203:
1204:
1205: \section*{Acknowledgments}
1206: I thank M. Bordag for advice.\\
1207: I thank D.V. Vassilevich and K. Kirsten for valuable discussions and
1208: helpful remarks.\\
1209: I thank the Graduate college {\it Quantenfeldtheorie} at the University
1210: of Leipzig for support and friendly environment.
1211:
1212: \section{Appendix}
1213:
1214: The sum over $v$ has been transformed to integrals
1215: using the Abel-Plana formula as follows:
1216: \begin{equation}
1217: \sum\limits_{l=0}^{\infty}(l+\half)=\int\limits_{0}^{\infty}d\nu
1218: f(\nu)+\int\limits_{0}^{\infty}\fr{d\nu}{1+e^{2\pi\nu}}
1219: \fr{f(i\nu)-f(i\nu)}{i}
1220: \label{abelplan}
1221: \end{equation}
1222: The integrations over $\nu$ and $k$ can be done using identities:
1223: \begin{equation}
1224: \int\limits_{0}^{\infty} d\nu \int\limits_{m}^{\infty}
1225: dk(k^2-m^2)^{1-s}\fr{\pd}{\pd k}\fr{t^j}{\nu^n}= -\fr{m^{2-2s}}{2}
1226: \fr{\Gamma(2-s)\Gamma(\fr{1+j-n}{2})\Gamma(s+\fr{n-3}{2})}{(rm)^{n-1}\Gamma(\fr{j}{2})}
1227: \label{ident1}
1228: \end{equation}
1229:
1230: \begin{equation}
1231: \int\limits_{m}^{\infty}
1232: dk(k^2-m^2)^{1-s}\fr{\pd}{\pd k}t^j= -m^{2-2s}
1233: \fr{\Gamma(2-s)\Gamma(s+\fr{j}{2}-1)}{\Gamma(\fr{j}{2})}\fr{(\fr{\nu}{rm})^j
1234: }{(1+(\fr{\nu}{rm})^2)^{s+\fr{j}{2}-1}}
1235: \label{ident2}
1236: \end{equation}
1237: The expansion in powers of $\nu$ for logarithm of asymptotic Jost function
1238: can be obtained in the form (see\cite{borkir1})\\
1239: \begin{equation}
1240: ln \boldmath f_{as}\unboldmath(ik)=\sum\limits_{n=1}^3\sum\limits_{j=1}^9
1241: \int\limits_{0}^{\infty} \fr{dr}{r}X_{nj}\fr{t^j}{\nu^n}\\
1242: \label{lnfas_x}
1243: \end{equation}
1244: \\
1245: where\\
1246: $X_{1,1}= -X_{1,3} =X_{2,6} =\half (a\delta)^2\\$\\
1247: $X_{2,2}= \fr{1}{4}\delta^2(a^2-raa')\\$\\
1248: $X_{2,4}= \fr{1}{4}\delta^2 (-3a^2+raa')\\$\\
1249: $X_{3,3}= \fr{1}{4}\delta^2(a^2-raa'+\half r^2 aa''-\half \delta^2 a^4 )\\$\\
1250: $X_{3,5}= \fr{1}{8}\delta^2(-\fr{39}{2}a^2+7raa'-r^2aa''+6\delta^2 a^4 )\\$\\
1251: $X_{3,7}= \fr{1}{8}\delta^2(35 a^2 -5raa'-5\delta^2 a^4 )\\$\\
1252: $X_{3,9}= \fr{-35}{16}\delta^2 a^2\\$\\
1253:
1254: For the representation of $E_{as}$ as \ref{eas_of_g}
1255: \begin{equation}
1256: E^{as}= \fr{-4}{\pi}\int\limits_{0}^{\infty}\fr{dr}{r^3}[\delta^2 a(r)^2
1257: g_1(rm)-\delta^2 r^2 a'(r)^2 g_2(rm)+\delta^4 a(r)^4 g_3(rm)]\\
1258: \label{eas_of_g_f}
1259: \end{equation}
1260: here $f_i$ are
1261: \begin{eqnarray}
1262: f_1(x)&=& \half f_{1, 1}(x)-\half f_{1, 3}(x)+\fr{1}{4}f_{3,
1263: 3}-\fr{39}{16}f_{3, 5}(x)+\fr{35}{8}f_{3, 7}(x)-\fr{35}{16} f_{3,
1264: 9}(x)\nn\\&-&
1265: \half x \pd_x( -\fr{1}{4} f_{3, 3}(x)+\fr{7}{8}f_{3, 5}(x)-\fr{5}{8}f_{3, 7}(x))\nn\\
1266: &+&\half x \pd_x^2(\fr{x}{8}f_{3, 3}(x)- \fr{x}{8}f_{3, 5}(x) ),
1267: \nn\\
1268: f_2(x)&=& \fr{1}{8}(f_{3, 3}(x) - f_{3, 5}(x)), \nn\\
1269: f_3(x)&=& -\fr{1}{8}(f_{3, 3}(x) - 6 f_{3, 5}(x)+5 f_{3, 7}(x) ).
1270: \end{eqnarray}
1271: with $f_{i. j}$ are
1272:
1273: \begin{eqnarray}
1274: f_{1, 1}(x)&=& - \fr{1}{1+e^{2\pi x}}\nn\\
1275: f_{1, 3}(x)&=& - (\fr{}{1+e^{2\pi x}})' \nn\\
1276: f_{3, 3}(x)&=& (\fr{1}{x} \fr{1}{1+e^{2\pi x}} )'\nn\\
1277: f_{3, 5}(x)&=& \fr{1}{3}( \fr{1}{x}( \fr{x}{1+e^{2\pi x}})')'\nn\\
1278: f_{3, 7}(x)&=& \fr{1}{15}( \fr{1}{x}( \fr{1}{x}( \fr{x^3}{1+e^{2\pi x}} )')')'\nn\\
1279: f_{3, 9}(x)&=& \fr{1}{105}( \fr{1}{x}( \fr{1}{x}( \fr{1}{x}(
1280: \fr{x^5}{1+e^{2\pi x}})')')')'
1281: \label{f_i_of_v}
1282: \end{eqnarray}
1283: The asymtotic of the logarithmic Jost function can be obtained in the form:
1284: $\ln f_{\nu}(ik)= \sum\limits_{n}h_n(t_1,t_2) $,(see \ref{unif_as_f})
1285: with:
1286: \\
1287: \begin{eqnarray}
1288: h_1&=&\frac{4}{3}\lambda^2[
1289: {\Mvariable{R1}}^4 \Mvariable{t1}( 2 + \Mvariable{t1}) {( 1 + \Mvariable{t2}) }^2
1290: -3{\Mvariable{R1}}^2{\Mvariable{R2}}^2 {(1 +\Mvariable{t1}) }^2 \Mvariable{t2} ( 1 + \Mvariable{t2})+
1291: {\Mvariable{R2}}^4 { ( 1 + \Mvariable{t1}) }^2\Mvariable{t2}( 1 +
1292: 2\Mvariable{t2})
1293: ]\nn\\
1294: \nn\\
1295: h_2&=&0\nn\\
1296: \nn\\
1297: h_3&=&-\frac{1}{6}{\lambda}^2 [ 2{\Mvariable{R1}}^4{\Mvariable{t1}}^3 {( 1 + \Mvariable{t2}) }^2 +{\Mvariable{R1}}^2 {\Mvariable{R2}}^2
1298: {( 1 + \Mvariable{t1}) }^2 {\Mvariable{t2}}^3{( 1 + \Mvariable{t2}) }^2(3 {\Mvariable{t2}}^2 - 4)-\nn\\&&
1299: {\Mvariable{R2}}^4 {( 1 + \Mvariable{t1}) }^2{\Mvariable{t2}}^3
1300: (3{\Mvariable{t2}}^4 + 6 {\Mvariable{t2}}^3 -{\Mvariable{t2}}^2 -
1301: 8\Mvariable{t2} - 2 ) ]+\nn\\
1302: && \frac{2}{15} {\lambda}^4 [ 4 {\Mvariable{R1}}^8
1303: {\Mvariable{t1}}^3( 4 + \Mvariable{t1}){( 1 + \Mvariable{t2}) }^4-
1304: 5 {\Mvariable{R1}}^6 {\Mvariable{R2}}^2{( 1 + \Mvariable{t1}) }^4
1305: {\Mvariable{t2}}^3{( 1 + \Mvariable{t2}) }^4 +\nn\\
1306: &&15 {\Mvariable{R1}}^4 {\Mvariable{R2}}^4 {( 1 + \Mvariable{t1}) }^4 {\Mvariable{t2}}^3 {( 1 +
1307: \Mvariable{t2} ) }^2 ( {\Mvariable{t2}}^2 + 2 \Mvariable{t2} - 1)-\nn\\&&
1308: 5 {\Mvariable{R1}}^2 {\Mvariable{R2}}^6 { ( 1 + \Mvariable{t1}) }^4
1309: {\Mvariable{t2}}^3( 3 {\Mvariable{t2}}^4 +12{\Mvariable{t2}}^3 + 6
1310: {\Mvariable{t2}}^2 - 4 \Mvariable{t2} - 1 )+\nn\\&&
1311: {\Mvariable{R2}}^8 {( 1 + \Mvariable{t1} ) }^4{\Mvariable{t2}}^3 (5
1312: {\Mvariable{t2}}^4 +20 {\Mvariable{t2}}^3 - 4\Mvariable{t2} -1 ) ]\nn\\
1313: \nn\\
1314: h_4&=&\frac{\delta^2 [ {\Mvariable{R1}}^4 {\Mvariable{t1}}^4 ( 1 - {\Mvariable{t1}}^2) +
1315: {\Mvariable{R2}}^4 {\Mvariable{t2}}^4 ( 1 - {\Mvariable{t2}}^2 ) ]}
1316: {4 {( \Mvariable{R1}^2 - \Mvariable{R2}^2) }^2 }\nn\\
1317: \nn\\
1318: \lambda&=& \frac{\delta}{( \Mvariable{R1}^2 - \Mvariable{R2}^2 )
1319: ( 1 + \Mvariable{t1}) ( 1 + \Mvariable{t2})}
1320: \label{unif_as_h}
1321: \end{eqnarray}
1322: \\
1323: \begin{thebibliography}{99}
1324: \bibitem{casimir}
1325: H.B.G. Casimir, {\it Proc. Kon. Ned. Akad. Wetensch.} {\bf 51}, 793 (1948).
1326:
1327: \bibitem{Bordag:2001qi}
1328: M.~Bordag, U.~Mohideen, and V.~M. Mostepanenko.
1329: \newblock { New developments in the Casimir effect}.
1330: \newblock {\em Phys. Rep.} {\bf 353} 1, (2001).
1331:
1332: \bibitem{most}
1333: V.M. Mostepanenko and N.N. Trunov, {\it The Casimir Effect and its
1334: Applications}, Clarendon Press, Oxford, (1997).
1335:
1336: \bibitem{milton}
1337: % @Article{Milton:2001yy,
1338: K. A. Milton, {\it The Casimir effect: Physical manifestations of
1339: zero-point energy}, River Edge, USA: World Scientific (2001).
1340:
1341: \bibitem{euler}
1342: W. Heisenberg, H. Euler, {\it Z.Phys.} {\bf 98}, 714 (1936).
1343:
1344: \bibitem{Groves:1999ks}
1345: Martin Groves and Warren~B. Perkins.
1346: \newblock {The Dirac sea contribution to the energy of an electroweak string}.
1347: \newblock {\em Nucl. Phys.} {\bf B 573}, 449 (2000).
1348:
1349: \bibitem{Diakonov:2002bx}
1350: Dmitri Diakonov and Martin Maul.
1351: \newblock {Center-vortex solutions of the Yang-Mills effective action in three
1352: and four dimensions},
1353: %\newblock (2002),
1354: \newblock (hep-lat/0204012).
1355:
1356: \bibitem{dunne}
1357: G. Dunne and T. M. Hall, {An exact QED 3+1 effective action}, {\it Phys. Lett.} {\bf B 419}, 322 (1998).
1358:
1359: \bibitem{borkir1}
1360: M. Bordag and K. Kirsten, {The ground state energy of a spinor field in the
1361: background of a finite radius flux tube}, {\it Phys. Rev.} {\bf D 60}, 105019 (1999)
1362:
1363: \bibitem{fry} M.Fry,{\it Int.J.Mod.Phys.A} {\bf 17}, 936 (2002) and references therein.
1364:
1365: \bibitem{scand2}
1366: Marco Scandurra.
1367: \newblock Vacuum energy in the presence of a magnetic string with delta
1368: function profile.
1369: \newblock {\em Phys. Rev.}, {\bf D62}, 085024 (2000).
1370: %@Article{Scandurra:2000wr,
1371: % author = "Scandurra, Marco",
1372: % title = "Vacuum energy in the presence of a magnetic string with
1373: % delta function profile",
1374: % journal = "Phys. Rev.",
1375: % volume = "D62",
1376: % year = "2000",
1377: % pages = "085024",
1378: % archive = "http://arXiv.org/abs",
1379: % eprint = "hep-th/0003143",
1380: % SLACcitation = "%%CITATION = HEP-TH 0003143;%%"}
1381: % M. Scandurra, Vacuum energy in the presence of a magnetic
1382: % string with delta function profile , hep-th/0003143 v3, 20. 03. 2000
1383:
1384: \bibitem{Achucarro:1999it}
1385: Ana Achucarro and Tanmay Vachaspati.
1386: \newblock Semilocal and electroweak strings.
1387: \newblock {\em Phys. Rept.} {\bf 327}, 347 (2000).
1388:
1389:
1390: \bibitem{borkir2} M. Bordag and K. Kirsten, {\it Vacuum energy in a
1391: spherically symmetric background field.}, Phys. Rev. {\bf D 53}, 5753
1392: (1996)
1393:
1394: \bibitem{aharonov_casher}
1395: Y.Aharonov and A.Casher, Ground state of a spin-1/2 charged particle in a
1396: two-dimensional magnetic field,{\it Phys.Rev.} {\bf A 19}, 2461 (1979).
1397:
1398: \bibitem{BEK}
1399: M.~Bordag, E.~Elizalde, and K.~Kirsten.
1400: \newblock {Heat kernel coefficients of the Laplace operator on the D-
1401: dimensional ball}.,
1402: \newblock {\em J. Math. Phys.} {\bf 37}, 895 (1996).
1403: % @Article{Bordag:1996gm,
1404: % author = "Bordag, M. and Elizalde, E. and Kirsten, K.",
1405: % title = "Heat kernel coefficients of the Laplace operator on the
1406: %D- dimensional ball",
1407: % journal = "J. Math. Phys.",
1408: % volume = "37",
1409: % year = "1996",
1410: % pages = "895-916",
1411: % archive = "http://arXiv.org/abs",
1412: % eprint = "hep-th/9503023",
1413: % SLACcitation = "%%CITATION = HEP-TH 9503023;%%"}
1414:
1415: \bibitem{kirsten}
1416: K. Kirsten, {\it Spectral Functions in Mathematics and
1417: Physics}, Chapman \& Hall/CRC, Boca Raton, FL (2001).
1418:
1419: \bibitem{gilkey}
1420: P. B. Gilkey, {\it Invariance Theory, the heat equation and the Atyah-Singer index theorem}, Publish or Perish, Wilmington, Delaware (1984).
1421:
1422:
1423: %\cite{Gilkey:2001mj}
1424: \bibitem{gkv}
1425: P.~B.~Gilkey, K.~Kirsten and D.~V.~Vassilevich, Heat trace asymptotics with transmittal boundary conditions and quantum brane-world scenario,
1426: {\it Nucl. Phys.} {\bf B 601}, 125 (2001).
1427: %%CITATION = HEP-TH 0101105;%%
1428:
1429:
1430: \bibitem{BKEL}
1431: M.~Bordag, E.~Elizalde, K.~Kirsten, and S.~Leseduarte.
1432: \newblock {Casimir energies for massive fields in the bag}.
1433: \newblock {\em Phys. Rev.}, {\bf D 56}, 4896 (1997).
1434:
1435: \bibitem{Bordag:2002dg}
1436: M.~Bordag, A.~S.~Goldhaber, P.~van Nieuwenhuizen and D.~Vassilevich,
1437: Heat kernels and zeta-function regularization for the mass of the SUSY kink,
1438: (hep-th/0203066).
1439:
1440: \bibitem{Bordag:1998vs}
1441: M.~Bordag, K.~Kirsten and D.~Vassilevich,
1442: On the ground state energy for a penetrable sphere and for a dielectric ball,
1443: {\it Phys. Rev.} {\bf D 59}, 085011 (1999).
1444:
1445: \bibitem{bordag} M. Bordag, Vacuum energy in smooth background
1446: fields, {\it J. Phys. A: Math. Gen.} {\bf 28}, 755 (1995).
1447:
1448: \bibitem{borvor}
1449: M. Bordag and S. G. Voropaev, Bound states of an electron in the field of
1450: the magnetic string, {\it Phys. Lett.} {\bf B 333}, 238 (1994).
1451:
1452: \bibitem{abrsteg} M. Abramovitz and I. A. Stegun, {\it Handbook of
1453: Mathematical Functions}, Natl. Bur. Stand. Appl. Math. Ser. 55,
1454: Washington, D. C. :US GPO, New York:Dover, reprinted (1972).
1455:
1456: \bibitem{gradst} I. S. Gradshteyn and I. M. Ryzhik, {\it Tables of
1457: integrals, series and products}; Academic Press, Inc. 5th ed. (1965).
1458:
1459: \bibitem{borvass}
1460: M.~Bordag and D.~V. Vassilevich.
1461: \newblock {Heat kernel expansion for semitransparent boundaries},
1462: \newblock {\em J. Phys. A.}, {\bf 32} 8247 (1999).
1463: % @Article{Bordag:1999ed,
1464: % author = "Bordag, M. and Vassilevich, D. V.",
1465: % title = "Heat Kernel Expansion for Semitransparent Boundaries",
1466: % journal = "J. Phys.",
1467: % volume = "A32",
1468: % year = "1999",
1469: % pages = "8247-8259",
1470: % archive = "http://arXiv.org/abs",
1471: % eprint = "hep-th/9907076",
1472: % SLACcitation = "%%CITATION = HEP-TH 9907076;%%"}
1473:
1474: \bibitem{moss}
1475: Ian~G Moss.
1476: \newblock Heat kernel expansions for distributional backgrounds,
1477: \newblock {\em Phys. Lett.},{\bf B491}, 203 (2000).
1478: %@Article{Moss:2000gv,
1479: % author = "Moss, Ian G",
1480: % title = "Heat kernel expansions for distributional backgrounds",
1481: % journal = "Phys. Lett.",
1482: % volume = "B491",
1483: % year = "2000",
1484: % pages = "203-206",
1485: % archive = "http://arXiv.org/abs",
1486: % eprint = "hep-th/0007185",
1487: % SLACcitation = "%%CITATION = HEP-TH 0007185;%%"}
1488:
1489: \bibitem{gkv2}
1490: Peter Gilkey, Klaus Kirsten, and Dmitri Vassilevich.
1491: \newblock Heat trace asymptotics defined by transfer boundary
1492: conditions, (hep-th/0208130).
1493: %\newblock 2002.
1494: %@Article{Gilkey:2002nv,
1495: % author = "Gilkey, Peter and Kirsten, Klaus and Vassilevich,
1496: %Dmitri",
1497: % title = "Heat trace asymptotics defined by transfer boundary
1498: % conditions",
1499: % year = "2002",
1500: % archive = "http://arXiv.org/abs",
1501: % eprint = "hep-th/0208130",
1502: % SLACcitation = "%%CITATION = HEP-TH 0208130;%%"}
1503:
1504: \bibitem{eliz} E. Elizalde, M. Bordag and K. Kirsten, Casimir energy
1505: for a massive fermionic quantum field with a spherical boundary, {\it
1506: J. Phys. A:Math. Gen.} {\bf 31}, 1743 (1998).
1507:
1508: \bibitem{scand1}
1509: Marco Scandurra.
1510: \newblock Vacuum energy of a massive scalar field in the presence of a
1511: semi-transparent cylinder,
1512: \newblock {\em J. Phys.} {\bf A33}, 5707 (2000).
1513: % @Article{Scandurra:2000qz,
1514: % author = "Scandurra, Marco",
1515: % title = "Vacuum energy of a massive scalar field in the presence
1516: %of
1517: % a semi-transparent cylinder",
1518: % journal = "J. Phys.",
1519: % volume = "A33",
1520: % year = "2000",
1521: % pages = "5707-5718",
1522: % archive = "http://arXiv.org/abs",
1523: % eprint = "hep-th/0004051",
1524: % SLACcitation = "%%CITATION = HEP-TH 0004051;%%"}
1525: % M. Scandurra, Vacuum energy of a massive scalar field in the presence
1526: % of a semi-transparent cylinder, arXiv: hep-th//0004051
1527: \end{thebibliography}
1528:
1529: \end{document}
1530:
1531:
1532:
1533:
1534:
1535:
1536: