1: \documentclass[12pt] {article}
2: \usepackage{psfrag}
3: \usepackage{graphicx}
4: \usepackage{latexsym,amsfonts}
5: \usepackage{amssymb}
6: \pagestyle{plain}
7: \textwidth=16truecm
8: \textheight=23.6truecm
9: \topmargin-1.7cm
10: \hoffset-1.2cm
11: \baselineskip=24pt
12:
13: %
14: \begin{document}
15: \setcounter{page}{1}
16: \def\theequation{\arabic{section}.\arabic{equation}}
17: \def\theequation{\thesection.\arabic{equation}}
18: \setcounter{section}{0}
19:
20: \title{On the renormalization of the sine--Gordon model}
21:
22: \author{H. Bozkaya\,\thanks{E--mail: hidir@kph.tuwien.ac.at, Tel.:
23: +43--1--58801--14262, Fax: +43--1--58801--14299}\,, M. Faber\,\thanks{E--mail:
24: faber@kph.tuwien.ac.at, Tel.:
25: +43--1--58801--14261, Fax: +43--1--58801--14299}\,,
26: A. N. Ivanov\,\thanks{E--mail: ivanov@kph.tuwien.ac.at, Tel.:
27: +43--1--58801--14261, Fax: +43--1--58801--14299}~\thanks{Permanent
28: Address: State Polytechnic University, Department of Nuclear
29: Physics, 195251 St. Petersburg, Russian Federation}\,,
30: M. Pitschmann\,\thanks{E--mail: pitschmann@kph.tuwien.ac.at, Tel.:
31: +43--1--58801--14263, Fax: +43--1--58801--14299}}
32:
33: \date{\today}
34:
35: \maketitle
36: \vspace{-0.5in}
37: \begin{center}
38: {\it Atominstitut der \"Osterreichischen Universit\"aten,
39: Arbeitsbereich Kernphysik und Nukleare Astrophysik, Technische
40: Universit\"at Wien, \\ Wiedner Hauptstrasse 8-10/142, A-1040 Wien,
41: \"Osterreich }
42: \end{center}
43:
44: \begin{center}
45: \begin{abstract}
46: We analyse the renormalizability of the sine--Gordon model by the
47: example of the two--point causal Green function up to second order
48: in $\alpha_r(M^2)$, the dimensional coupling constant defined at the
49: normalization scale $M$, and to all orders in $\beta^2$, the
50: dimensionless coupling constant. We show that all divergences can be
51: removed by the renormalization of the dimensional coupling constant
52: using the renormalization constant $Z_1$, calculated in (J. Phys. A
53: {\bf 36}, 7839 (2003)) within the path--integral approach. We show
54: that after renormalization of the two--point Green function to first
55: order in $\alpha_r(M^2)$ and to all orders in $\beta^2$ all higher
56: order corrections in $\alpha_r(M^2)$ and arbitrary orders in
57: $\beta^2$ can be expressed in terms of $\alpha_{\rm ph}$, the
58: physical dimensional coupling constant independent on the
59: normalization scale $M$. We calculate the Gell--Mann--Low function
60: and analyse the dependence of the two--point Green function on
61: $\alpha_{\rm ph}$ and the running coupling constant within the
62: Callan--Symanzik equation. We analyse the renormalizability of
63: Gaussian fluctuations around a soliton solution. We show that
64: Gaussian fluctuations around a soliton solution are renormalized
65: like quantum fluctuations around the trivial vacuum to first orders
66: in $\alpha_r(M^2)$ and $\beta^2$ and do not introduce any
67: singularity to the sine--Gordon model at $\beta^2 = 8\pi$. The
68: finite correction to the soliton mass, coinciding with that
69: calculated by Dashen {\it et al.} (Phys. Rev. D {\bf 10}, 4130
70: (1974)), appears in our approach to second order in $\alpha_{\rm
71: ph}$ and to first order in $\beta^2$. This is a perturbative
72: correction, which provides no singularity for the sine--Gordon model
73: at $\beta^2 = 8\pi$. We calculate the correction to the soliton
74: mass, caused by Gaussian fluctuations around a soliton, within the
75: discretization procedure for various boundary conditions and find
76: complete agreement with our result, obtained in continuous
77: space--time.
78: \end{abstract}
79: \end{center}
80: PACS: 11.10.Ef, 11.10.Gh, 11.10.Hi, 11.10.Kk
81:
82: \newpage
83:
84: \section{Introduction}
85: \setcounter{equation}{0}
86:
87: The sine--Gordon model we describe by the Lagrangian \cite{SC75,FI6}
88: %
89: \begin{eqnarray}\label{label1.1}
90: {\cal L}(x) = \frac{1}{2}\,\partial_{\mu}\vartheta(x)
91: \partial^{\mu}\vartheta(x) +
92: \frac{\alpha_0(\Lambda^2)}{\beta^2}\,(\cos\beta\vartheta(x) - 1),
93: \end{eqnarray}
94: %
95: where the field $\vartheta(x)$ and the coupling constant $\beta$ are
96: unrenormalizable, $\alpha_0(\Lambda^2)$ is a dimensional {\it bare}
97: coupling constant and $\Lambda$ is an ultra--violet cut--off. As has
98: been shown in \cite{FI6} the coupling constant $\alpha_0(\Lambda^2)$
99: is multiplicatively renormalizable and the renormalized Lagrangian
100: reads \cite{FI6}
101: %
102: \begin{eqnarray}\label{label1.2}
103: {\cal L}(x) &=& \frac{1}{2}\partial_{\mu}\vartheta(x)
104: \partial^{\mu}\vartheta(x) +
105: \frac{\alpha_r(M^2)}{\beta^2}(\cos\beta\vartheta(x) - 1) + (Z_1 -
106: 1)\frac{\alpha_r(M^2)}{\beta^2}(\cos\beta\vartheta(x) - 1) =
107: \nonumber\\ &=& \frac{1}{2}\,\partial_{\mu}\vartheta(x)
108: \partial^{\mu}\vartheta(x) +
109: Z_1\,\frac{\alpha_r(M^2)}{\beta^2}\,(\cos\beta\vartheta(x) - 1),
110: \end{eqnarray}
111: %
112: where $Z_1 = Z_1(\alpha_r(M^2),\beta^2, M^2; \Lambda^2)$ is the
113: renormalization constant \cite{FI6}--\cite{SW96} depending on the
114: normalization scale $M$. The renormalization constant relates the
115: renormalized coupling constant $\alpha_r(M^2)$, depending on the
116: normalization scale $M$, to the {\it bare} coupling constant
117: $\alpha_0(\Lambda^2)$ \cite{FI6}--\cite{SW96}:
118: %
119: \begin{eqnarray}\label{label1.3}
120: \alpha_r(M^2) = Z^{-1}_1(\alpha_r(M^2),\beta^2, M^2;\Lambda^2)\,
121: \alpha_0(\Lambda^2).
122: \end{eqnarray}
123: %
124: As has been found in \cite{FI6} the renormalization constant
125: $Z_1(\alpha_r(M^2), \beta^2, M^2; \Lambda)$ is equal to
126: %
127: \begin{eqnarray}\label{label1.4}
128: Z_1(\alpha_r(M^2), \beta^2, M^2; \Lambda^2) =
129: \Big(\frac{\Lambda^2}{M^2}\Big)^{\beta^2/8\pi}.
130: \end{eqnarray}
131: %
132: This result is valid to all orders of perturbation theory developed
133: relative to the coupling constant $\beta^2$ and $\alpha_0(\Lambda^2)$
134: \cite{FI6}. Since the normalization constant does not depend on
135: $\alpha_r(M^2)$, we write below $Z_1 = Z_1(\beta^2,M^2; \Lambda^2)$.
136:
137: For the analysis of the renormalizability of the sine--Gordon model
138: with respect to quantum fluctuations around the trivial vacuum we
139: expand the Lagrangian (\ref{label1.2}) in powers of $\vartheta(x)$.
140: This gives
141: %
142: \begin{eqnarray}\label{label1.5}
143: {\cal L}(x) &=& \frac{1}{2}\,[\partial_{\mu}\vartheta(x)
144: \partial^{\mu}\vartheta(x) - \alpha_r(M^2)\,\vartheta^2(x)]
145: + {\cal L}_{\rm int}(x),
146: \end{eqnarray}
147: %
148: where ${\cal L}_{\rm int}(x)$ describes the self--interactions of the
149: sine--Gordon field
150: %
151: \begin{eqnarray}\label{label1.6}
152: {\cal L}_{\rm int}(x) &=& \alpha_r(M^2)\sum^{\infty}_{n = 2
153: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
154: 1)}\vartheta^{2n}(x)\nonumber\\
155: &+& (Z_1 -
156: 1)\,\alpha_r(M^2)\sum^{\infty}_{n = 1}\frac{(-1)^n}{(2n)!}
157: \beta^{2(n -
158: 1)}\vartheta^{2n}(x).
159: \end{eqnarray}
160: %
161: It is seen that the coupling constant $\alpha_r(M^2)$ has the meaning of
162: a squared mass of free quanta of the sine--Gordon field
163: $\vartheta(x)$. The causal two--point Green function of free
164: sine--Gordon quanta with mass $\alpha_r(M^2)$ is defined by
165: %
166: \begin{eqnarray}\label{label1.7}
167: -i\,\Delta_F(x; \alpha_r(M^2)) =
168: \langle 0|{\rm T}(\vartheta(x)\vartheta(0))|0\rangle =
169: \int \frac{d^2k}{(2\pi)^2 i}\,\frac{\displaystyle
170: e^{\textstyle -i\,k\cdot x}}{\alpha_r(M^2) - k^2 -i\,0}.
171: \end{eqnarray}
172: %
173: At $x = 0$ the Green function $-i\,\Delta_F(0;
174: \alpha_r(M^2))$ is equal to \cite{FI6}
175: %
176: \begin{eqnarray}\label{label1.8}
177: -i\,\Delta_F(0; \alpha_r(M^2)) = \frac{1}{4\pi}\,{\ell n}
178: \Big[\frac{\Lambda^2}{\alpha_r(M^2)}\Big],
179: \end{eqnarray}
180: %
181: where $\Lambda$ is a cut--off in Euclidean 2--dimensional momentum
182: space \cite{FI6}.
183:
184: The paper is organized as follows. In Section 2 we analyse the
185: renormalizability of the sine--Gordon model by means of power
186: counting. In Sections 3 we investigate the renormalizability of the
187: two--point Green function of the sine--Gordon field. Quantum
188: fluctuations are calculated relative to the trivial vacuum up to
189: second order in $\alpha_r(M^2)$ and to all orders in $\beta^2$. We
190: show that after renormalization of the two--point Green function to
191: first order in $\alpha_r(M^2)$ and to all orders in $\beta^2$ all
192: higher order corrections in $\alpha_r(M^2)$ and all orders in
193: $\beta^2$ can be expressed in terms of $\alpha_{\rm ph}$, the physical
194: dimensional coupling constant independent on the normalization scale
195: $M$. We derive the effective Lagrangian of the sine--Gordon model,
196: taking into account quantum fluctuations to second order in
197: $\alpha_r(M^2)$ and to all orders in $\beta^2$. We show that the
198: correction of second order in $\alpha_{\rm ph}$ and first order in
199: $\beta^2$, i.e. $O(\alpha^2_{\rm ph}\beta^2)$, reproduces the finite
200: contribution $-\,\sqrt{\alpha_{\rm ph}}/\pi$ to the soliton mass
201: coinciding with that calculated by Dashen {\it et al.}
202: \cite{RD74,RD75}. In our approach this is a perturbative correction,
203: which does not lead to a singularity of the sine--Gordon model at
204: $\beta^2 = 8\pi$. This confirms the absence of a singularity of the
205: renormalized sine--Gordon model at $\beta^2 = 8\pi$ conjectured by
206: Zamolodchikov and Zamolodchikov \cite{AZ79} and proved in \cite{FI6}.
207: In Section 4 we analyse the renormalizability of the sine--Gordon
208: model within the Renormalization Group approach. We use the
209: Callan--Symanzik equation for the derivation of the total two--point
210: Green function of the sine--Gordon field in the momentum
211: representation. We show that the two--point Green function depends on
212: the running coupling constant $\alpha_r(p^2) = \alpha_{\rm
213: ph}(p^2/\alpha_{\rm ph})^{\tilde{\beta}^2/8\pi}$, where
214: $\tilde{\beta}^2 = \beta^2/(1 + \beta^2/8\pi) < 1$ for all $\beta^2$.
215: In Section 5 we investigate the renormalizability of the sine--Gordon
216: model with respect to Gaussian fluctuations around a soliton solution.
217: We show that Gaussian fluctuations around a soliton solution lead to
218: the same renormalized Lagrangian of the sine--Gordon model as quantum
219: fluctuations around the trivial vacuum taken into account to first
220: order in $\alpha_r(M^2)$ and $\beta^2$. In Section 6 we discuss the
221: correction to the soliton mass induced by quantum fluctuations. We
222: show that Gaussian fluctuations around a soliton solution reproduce
223: the same correction as the quantum fluctuations around the trivial
224: vacuum, calculated to first orders in $\alpha_r(M^2)$ and $\beta^2$.
225: This correction does not contain the non--perturbative finite quantum
226: correction obtained by Dashen {\it et al.} \cite{RD74,RD75}. In our
227: analysis of the sine--Gordon model such a finite correction appears
228: only to second order in $\alpha_{\rm ph}$ and to first order in
229: $\beta^2$ (see Section 3). In Section 7 we discuss the calculation of
230: the correction to the soliton mass $\Delta M_s$, induced by Gaussian
231: fluctuations, within a discretization procedure for various boundary
232: conditions. We show that the result of the calculation of $\Delta M_s$
233: does not depend on the boundary conditions and agrees fully with that
234: obtained in continuous space--time. In the Conclusion we summarize
235: the obtained results and discuss them. In the Appendix we adduce the
236: solutions of the differential equation related to the calculation of
237: Gaussian fluctuations around a soliton.
238:
239: \section{Power counting and renormalization of the sine--Gordon
240: model }
241: \setcounter{equation}{0}
242:
243: As usual the general analysis of renormalizability of a quantum field
244: theory is carried out in the form of {\it power counting}, the concept
245: of the superficial degree of divergence of momentum integrals based on
246: dimensional considerations \cite{IZ80}--\cite{SW96}.
247:
248: The analysis of the convergence of a given Feynman diagram $G$ within
249: {\it power counting} is done by scaling all internal momenta with a
250: common factor $\lambda$, $k_{\ell} \to \lambda k_{\ell}$, and looking
251: at the behaviour $I_G \sim \lambda^{\omega(G)}$ at $\lambda \to
252: \infty$. Since we deal with a quantum field theory of a
253: (pseudo)scalar field, the propagator of such a field behaves as
254: $\lambda^{-2}$ at $\lambda \to \infty$.
255:
256: Let a given Feynman diagram $G$ contain $L$ independent loops, $I$
257: internal boson lines and $V_{2n}$ vertices with $2n$ lines. Since we
258: have no vertices with derivatives of the sine--Gordon field, the
259: superficial degree of divergence $\omega(G)$ of a diagram $G$ is
260: \cite{IZ80}--\cite{SW96}
261: %
262: \begin{eqnarray}\label{label2.1}
263: \omega(G) = 2L - 2 I.
264: \end{eqnarray}
265: %
266: The number of independent loops $L$ is defined by \cite{IZ80}--\cite{SW96}
267: %
268: \begin{eqnarray}\label{label2.2}
269: L = I + 1 - \sum_{\{n\}}V_{2n},
270: \end{eqnarray}
271: %
272: where the sum extends over all vertices defining the Feynman diagram
273: $G$. Substituting (\ref{label2.2}) into (\ref{label2.1}) we can
274: express the superficial degree of divergence $\omega(G)$ in terms of
275: vertices only
276: %
277: \begin{eqnarray}\label{label2.3}
278: \omega(G) = 2 - 2\sum_{\{n\}}V_{2n}.
279: \end{eqnarray}
280: %
281: This testifies the complete renormalizability of the sine--Gordon
282: model.
283:
284: Indeed, the vacuum energy density is quadratically divergent, since it
285: corresponds to the ``Feynman diagram without vertices''. Such a
286: quadratic ultra--violet divergence of the vacuum energy density of the
287: sine--Gordon model has been recently shown in \cite{FI6}. Such a
288: quadratic divergence of the vacuum energy density can be removed by
289: normal--ordering the operator of the Hamilton density of the
290: sine--Gordon model \cite{FI6}.
291:
292: All Feynman diagrams with one vertex diverge logarithmically, and any
293: Feynman diagram with more than one vertex converges. As has been
294: shown in \cite{FI6} by using the path--integral approach, all
295: logarithmic divergences can be removed by the renormalization of the
296: dimensional coupling constant $\alpha_0(\Lambda^2)$.
297:
298:
299: \section{Renormalization of causal two--point Green function}
300: \setcounter{equation}{0}
301:
302:
303: The causal two--point Green function of the sine--Gordon field is defined
304: by
305: %
306: \begin{eqnarray}\label{label3.1}
307: -i\,\Delta(x) = \frac{1}{i}\frac{\delta}{\delta
308: J(x)}\frac{1}{i}\frac{\delta}{\delta J(0)}Z[J]_{J = 0},
309: \end{eqnarray}
310: %
311: where $Z[J]$ is a generating functional of Green functions
312: %
313: \begin{eqnarray}\label{label3.2}
314: \hspace{-0.3in}&&Z[J] = \int {\cal D}\vartheta\,
315: \exp\Big\{\,i\int d^2y\,[{\cal L}(y)
316: + \vartheta(y)J(y)]\Big\} = \nonumber\\
317: \hspace{-0.3in}&&=\int {\cal D}\vartheta\,
318: \exp\Big\{\,i\int d^2y\,\Big[\frac{1}{2}\,\Big(\partial_{\mu}\vartheta(y)
319: \partial^{\mu}\vartheta(y) - \alpha_r(M^2)\,\vartheta^2(y)\Big) +
320: {\cal L}_{\rm int}(y) + \vartheta(y)J(y)\Big]\Big\},\quad\quad
321: \end{eqnarray}
322: %
323: normalized by $Z[0] = 1$, $J(x)$ is the external source of the
324: sine--Gordon field $\vartheta(x)$.
325:
326: Substituting (\ref{label3.2}) into (\ref{label3.1}) we get
327: %
328: \begin{eqnarray}\label{label3.3}
329: -i\,\Delta(x) &=& \int {\cal D}\vartheta\,\vartheta(x)
330: \vartheta(0)\,\exp\Big\{\,i\int d^2y\,{\cal L}_{\rm int}(y)\Big\}
331: \nonumber\\
332: &\times&
333: \exp\Big\{\,\frac{i}{2}\int d^2y\,\Big[\partial_{\mu}\vartheta(y)
334: \partial^{\mu}\vartheta(y) - \alpha_r(M^2)\,\vartheta^2(y) \Big]\Big\},
335: \end{eqnarray}
336: %
337: where ${\cal L}_{\rm int}(y)$ is given by (\ref{label1.6}). The
338: r.h.s. of (\ref{label3.3}) can be rewritten in the form of a vacuum
339: expectation value of a time--ordered product
340: %
341: \begin{eqnarray}\label{label3.4}
342: -i\,\Delta(x) = \langle 0|{\rm T}\Big(\vartheta(x)\vartheta(0)\,
343: \exp\Big\{\,i\int d^2y\,:{\cal L}_{\rm int}(y):\Big\}\Big)
344: |0\rangle_{c},
345: \end{eqnarray}
346: %
347: where the index $c$ means the {\it connected} part, $:\ldots:$ denotes
348: normal ordering, $\vartheta(x)$ is the free sine--Gordon field
349: operator with mass $\alpha_r(M^2)$ and the causal two--point Green
350: function $\Delta_F(x,\alpha_r(M^2))$ defined by (\ref{label1.7}).
351:
352: In the momentum representation the two--point Green function
353: (\ref{label3.4}) reads
354: %
355: \begin{eqnarray}\label{label3.5}
356: -i\,\tilde{\Delta}(p) &=& -i\int d^2x\,e^{\textstyle +ip\cdot x}\Delta(x) =
357: \nonumber\\
358: &=&\int d^2x\,e^{\textstyle +ip\cdot x}\,\langle 0|{\rm T}\Big(\vartheta(x)
359: \vartheta(0)\,\exp\Big\{\,i\int d^2y\,:{\cal L}_{\rm int}(y):\Big\}\Big)
360: |0\rangle_{c}.
361: \end{eqnarray}
362: %
363: For the analysis of the renormalizability of the sine--Gordon model we
364: propose to calculate the corrections to the two--point Green function
365: (\ref{label3.4}) (or to (\ref{label3.5})), induced by quantum
366: fluctuations around the trivial vacuum. Expanding the r.h.s. of
367: Eq.(\ref{label3.4}) in powers of $\alpha_r(M^2)$ and $\beta^2$ we
368: determine
369: %
370: \begin{eqnarray}\label{label3.6}
371: -i\,\Delta(x)= \sum^{\infty}_{m = 0}(- i)\,\Delta^{(m)}(x,\alpha_r(M^2)),
372: \end{eqnarray}
373: %
374: where $(- i)\,\Delta^{(m)}(x,\alpha_r(M^2))$ is defined by
375: %
376: \begin{eqnarray}\label{label3.7}
377: -i\,\Delta^{(m)}(x,\alpha_r(M^2)) = \frac{i^m}{m!}\int
378: \prod^{m}_{k = 1}d^2y_k\langle 0|{\rm T}(\vartheta(x)
379: \vartheta(0):{\cal L}_{\rm int}(y_k):)|0\rangle_{c}.
380: \end{eqnarray}
381: %
382: The Green function $(-i)\,\Delta^{(0)}(x,\alpha_r(M^2))$ coincides
383: with the Green function (\ref{label1.7}) of the free sine--Gordon
384: field.
385:
386: In the momentum representation the correction to the two--point Green
387: function $(- i)\,\Delta^{(m)}(x,\alpha_r(M^2))$ can be written as
388: %
389: \begin{eqnarray}\label{label3.8}
390: && -i\,\tilde{\Delta}^{(m)}(p,\alpha_r(M^2)) = \int d^2x\,
391: e^{\textstyle +ip\cdot x}\,(-i)\,\Delta^{(m)}(x,\alpha_r(M^2)) = \nonumber\\
392: &&= \frac{i^m}{m!}\int d^2x\,e^{\textstyle +ip\cdot x}\int
393: \prod^{m}_{k = 1}d^2y_k\langle 0|{\rm T}(\vartheta(x)
394: \vartheta(0):{\cal L}_{\rm int}(y_k):)|0\rangle_{c}.
395: \end{eqnarray}
396: %
397: The momentum representation is more convenient for the perturbative
398: analysis of the renormalization of the two--point Green function of
399: the sine--Gordon field.
400:
401:
402: \subsection{Two--point Green function to first order in
403: $\alpha_r(M^2)$ and to all orders in $\beta^2$}
404:
405:
406: The correction to the two--point Green function to first order in
407: $\alpha_r(M^2)$ and to all orders in $\beta^2$ is defined by
408: %
409: \begin{eqnarray}\label{label3.9}
410: \hspace{-0.3in}&&-i\,\Delta^{(1)}(x,\alpha_r(M^2)) = i\int
411: d^2y_1\langle 0|{\rm T}(\vartheta(x)
412: \vartheta(0):{\cal L}_{\rm int}(y_1):)|0\rangle_{c}=\nonumber\\
413: \hspace{-0.3in}&&= i\,\alpha_r(M^2)\sum^{\infty}_{n = 2
414: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
415: 1)}\int d^2y\,\langle 0|{\rm T}(\vartheta(x)
416: \vartheta(0):\vartheta^{2n}(y):)|0\rangle_{c}\nonumber\\
417: \hspace{-0.3in}&&+ i\,\alpha_r(M^2)\,(Z_1 - 1)\sum^{\infty}_{n = 1
418: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
419: 1)}\int d^2y\,\langle 0|{\rm T}(\vartheta(x)
420: \vartheta(0):\vartheta^{2n}(y):)|0\rangle_{c}.
421: \end{eqnarray}
422: %
423: Making all contractions we arrive at the expression
424: %
425: \begin{eqnarray}\label{label3.10}
426: \hspace{-0.3in}&&-i\,\Delta^{(1)}(x,\alpha_r(M^2)) = i\,\alpha_r(M^2)\sum^{\infty}_{n = 2
427: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
428: 1)}[2n\,(2n-1)!!][-i\Delta_F(0,\alpha_r(M^2))]^{n-1
429: }\nonumber\\
430: \hspace{-0.3in} &&\times\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))]
431: [-i\Delta_F(-y,\alpha_r(M^2))]
432: \nonumber\\
433: \hspace{-0.3in}&&+
434: i\,\alpha_r(M^2)\,(Z_1 - 1)\sum^{\infty}_{n = 1
435: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
436: 1)}[2n\,(2n-1)!!][-i\Delta_F(0,\alpha_r(M^2))]^{n-1
437: }\nonumber\\
438: \hspace{-0.3in} &&\times\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))
439: ][-i\Delta_F(-y,\alpha_r(M^2))]
440: \end{eqnarray}
441: %
442: The sums over $n$ are equal to
443: %
444: \begin{eqnarray}\label{label3.11}
445: \hspace{-0.3in}&&\sum^{\infty}_{n = 2}\frac{(-1)^n}{(2n)!}[2n\,(2n-1)!!]
446: [\beta^2(-i)\Delta_F(0,\alpha_r(M^2))]^{n-1} = 1 - \exp\Big\{\frac{1}{2}\,
447: \beta^2 i\Delta_F(0,\alpha_r(M^2))\Big\},\nonumber\\
448: \hspace{-0.3in}&&\sum^{\infty}_{n = 1
449: }\frac{(-1)^n}{(2n)!}\beta^{2(n -
450: 1)}[2n\,(2n-1)!!][-i\Delta_F(0,\alpha_r(M^2))]^{n-1
451: } = - \exp\Big\{\frac{1}{2}\,
452: \beta^2 i\Delta_F(0,\alpha_r(M^2))\Big\}.\nonumber\\
453: \hspace{-0.3in}&&
454: \end{eqnarray}
455: %
456: Substituting (\ref{label3.11}) into (\ref{label3.10}) we get
457: %
458: \begin{eqnarray}\label{label3.12}
459: -\,i\,\Delta^{(1)}(x,\alpha_r(M^2)) &=&i\,\alpha_r(M^2)\,
460: \Big[1 - \exp\Big\{\frac{1}{2}\,
461: \beta^2 i \Delta_F(0,\alpha_r(M^2))\Big\}\Big]\nonumber\\
462: &\times& \int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))]
463: [-i\Delta_F(-y,\alpha_r(M^2))]
464: \nonumber\\
465: &-&
466: i\,\alpha_r(M^2)\,(Z_1 - 1)\,\exp\Big\{\frac{1}{2}\,
467: \beta^2 i \Delta_F(0,\alpha_r(M^2))\Big\}\nonumber\\
468: &\times&\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))
469: ][-i\Delta_F(-y,\alpha_r(M^2))].
470: \end{eqnarray}
471: %
472: The r.h.s. of (\ref{label3.12}) can be transcribed into the form
473: %
474: \begin{eqnarray}\label{label3.13}
475: -\,i\,\Delta^{(1)}(x,\alpha_r(M^2)) &=& i\,\alpha_r(M^2)\,
476: \Big[1 - Z_1\,\exp\Big\{\frac{1}{2}\,
477: \beta^2 i \Delta_F(0,\alpha_r(M^2))\Big\}\Big]\nonumber\\
478: &\times&\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))]
479: [-i\Delta_F(-y,\alpha_r(M^2))].
480: \end{eqnarray}
481: %
482: Using the normalization constant $Z_1$, given by (\ref{label1.4}),
483: and the definition (\ref{label1.8}) of the two--point Green function
484: we remove the cut--off $\Lambda$
485: %
486: \begin{eqnarray}\label{label3.14}
487: -\,i\,\Delta^{(1)}(x,\alpha_r(M^2)) &=& i\,\alpha_r(M^2)\,
488: \Big[1 - \Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big]\nonumber\\
489: &\times&\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))]
490: [-i\Delta_F(-y,\alpha_r(M^2))].
491: \end{eqnarray}
492: %
493: Thus, the renormalized causal two--point Green function of the
494: sine--Gordon field, defined to first order in $\alpha_r(M^2)$ and to
495: all orders in $\beta^2$ is given by
496: %
497: \begin{eqnarray}\label{label3.15}
498: -\,i\,\Delta(x) &=& -\,i\,\Delta_F(x,\alpha_r(M^2)) + i\,\alpha_r(M^2)\,
499: \Big[1 - \Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big]\nonumber\\
500: &\times&\int d^2y\,[-i\Delta_F(x - y,\alpha_r(M^2))]
501: [-i\Delta_F(-y,\alpha_r(M^2))].
502: \end{eqnarray}
503: %
504: In the momentum representation the two--point Green function
505: (\ref{label3.15}) reads
506: %
507: \begin{eqnarray}\label{label3.16}
508: \hspace{-0.3in}&&-\, i\, \tilde{\Delta}(p) =
509: \frac{(-i)}{\alpha_r(M^2) - p^2} +
510: \frac{(-i)}{\alpha_r(M^2) - p^2}\, i\, \alpha_r(M^2)\,
511: \Big[1 - \Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big]
512: \frac{(-i)}{\alpha_r(M^2) - p^2}.\nonumber\\
513: \hspace{-0.3in}&&
514: \end{eqnarray}
515: %
516: The second term defines the correction to the mass of the sine--Gordon field
517: %
518: \begin{eqnarray}\label{label3.17}
519: \delta \alpha_r(M^2) = -\,\alpha_r(M^2)\,
520: \Big[1 - \Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big].
521: \end{eqnarray}
522: %
523: Thus, the two--point Green function, calculated to first order in
524: $\alpha_r(M^2)$ and to all orders in $\beta^2$ is equal to
525: %
526: \begin{eqnarray}\label{label3.18}
527: \hspace{-0.3in}-\,i\,\tilde{\Delta}(p)= \frac{(-i)}{\alpha_r(M^2) +
528: \delta \alpha_r(M^2) - p^2} = \frac{(-i)}{\alpha_{\rm ph} - p^2},
529: \end{eqnarray}
530: %
531: where $\alpha_{\rm ph}$ is determined by
532: %
533: \begin{eqnarray}\label{label3.19}
534: \alpha_{\rm ph} = \alpha_r(M^2) + \delta \alpha_r(M^2) = \alpha_r(M^2)\,
535: \Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}.
536: \end{eqnarray}
537: %
538: This gives also $\alpha_r(M^2)$ in term of $M$ and $\alpha_{\rm ph}$:
539: %
540: \begin{eqnarray}\label{label3.20}
541: \alpha_r(M^2) = \alpha_{\rm ph}
542: \Big(\frac{M^2}{\alpha_{\rm ph}}\Big)^{\tilde{\beta}^2/8\pi}\quad,\quad \tilde{\beta}^2 = \frac{\beta^2}{\displaystyle 1 + \frac{\beta^2}{8\pi}}.
543: \end{eqnarray}
544: %
545: The Green function (\ref{label3.18}) can be obtained to leading
546: order in $\beta^2$ from the Lagrangian
547: %
548: \begin{eqnarray}\label{label3.21}
549: {\cal L}_{\rm eff}(x) &=& \frac{1}{2}\,\partial_{\mu}\vartheta(x)
550: \partial^{\mu}\vartheta(x) +
551: \frac{\alpha_r(M^2)}{\beta^2}\Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}
552: \,(\cos\beta\vartheta(x) - 1) = \nonumber\\
553: &=&\frac{1}{2}\,\partial_{\mu}\vartheta(x)
554: \partial^{\mu}\vartheta(x) +
555: \frac{\alpha_{\rm ph}}{\beta^2}
556: \,(\cos\beta\vartheta(x) - 1).
557: \end{eqnarray}
558: %
559: We argue that higher order corrections to the two--point Green
560: function in $\alpha_r(M^2)$ and to all orders in $\beta^2$ should
561: depend on the physical coupling constant $\alpha_{\rm ph}$ only
562: %
563: \begin{eqnarray}\label{label3.22}
564: -i\,\Delta^{(m)}(x,\alpha_r(M^2)) &=& \,\frac{i^m}{m!}\int
565: \prod^{m}_{k = 1}d^2y_k\langle 0|{\rm T}(\vartheta(x)
566: \vartheta(0):{\cal L}_{\rm int}(y_k):)|0\rangle_{c} =\nonumber\\
567: &=& -i\,\Delta^{(m)}(x,
568: \alpha_{\rm ph})\quad ({\rm for} \quad m \ge 2).
569: \end{eqnarray}
570: %
571: In order to prove this assertion it is sufficient to analyse the
572: renormalization of the causal two--point Green function to second
573: order in $\alpha_r(M^2)$ and to all orders in $\beta^2$.
574:
575: \subsection{Two--point Green function to second order in
576: $\alpha_r(M^2)$ and to all orders in $\beta^2$}
577:
578: The correction to the two--point Green function to second order in
579: $\alpha_r(M^2)$ and to all orders in $\beta^2$ is defined by
580: %
581: \begin{eqnarray}\label{label3.23}
582: -i\,\Delta^{(2)}(x,\alpha_r(M^2)) &=& -\,\frac{1}{2}\int\!\!\!\int
583: d^2y_1d^2y_2\,
584: \langle 0|{\rm T}(\vartheta(x)
585: \vartheta(0):{\cal L}_{\rm int}(y_1)::{\cal L}_{\rm int}(y_2):)|0\rangle_{c}=
586: \nonumber\\
587: &=& -\,\frac{1}{2}\,\alpha^2_r(M^2)\sum^{\infty}_{n_1 = 2
588: }\frac{(-1)^{n_1}}{(2n_1)!}\beta^{2(n_1 -
589: 1)}\sum^{\infty}_{n_2 = 2
590: }\frac{(-1)^{n_2}}{(2n_2)!}\beta^{2(n_2 -
591: 1)}\nonumber\\
592: &\times&\int\!\!\!\int d^2y_1d^2y_2\,
593: \langle 0|{\rm T}(\vartheta(x)
594: \vartheta(0):\vartheta^{2n_1}(y_1)::\vartheta^{2n_2}(y_2):)|0\rangle_{c}\nonumber\\
595: &-&\alpha^2_r(M^2)(Z_1 - 1)\sum^{\infty}_{n_1 = 2
596: }\frac{(-1)^{n_1}}{(2n_1)!}\beta^{2(n_1 -
597: 1)}\sum^{\infty}_{n_2 = 1
598: }\frac{(-1)^{n_2}}{(2n_2)!}\beta^{2(n_2 -
599: 1)}\nonumber\\
600: &\times&\int\!\!\!\int d^2y_1d^2y_2\,
601: \langle 0|{\rm T}(\vartheta(x)
602: \vartheta(0):\vartheta^{2n_1}(y_1)::\vartheta^{2n_2}(y_2):)|0\rangle_{c}\nonumber\\
603: &-&\frac{1}{2}\,\alpha^2_r(M^2)(Z_1 - 1)^2\sum^{\infty}_{n_1 = 1
604: }\frac{(-1)^{n_1}}{(2n_1)!}\beta^{2(n_1 -
605: 1)}\sum^{\infty}_{n_2 = 1
606: }\frac{(-1)^{n_2}}{(2n_2)!}\beta^{2(n_2 -
607: 1)}\nonumber\\
608: &\times&\int\!\!\!\int d^2y_1d^2y_2\,
609: \langle 0|{\rm T}(\vartheta(x)
610: \vartheta(0):\vartheta^{2n_1}(y_1)::\vartheta^{2n_2}(y_2):)|0\rangle_{c}.
611: \end{eqnarray}
612: %
613: This expression can be described in terms of two classes of
614: topologically different Feynman diagrams depicted in Fig.1.
615: %
616: \begin{figure}[h]
617: \centering
618: \psfrag{p}{$p$}
619: \psfrag{0}{$x$}
620: \psfrag{x}{$0$}
621: \psfrag{y1}{$y_1$}
622: \psfrag{y2}{$y_2$}
623: \psfrag{q1}{$q_1$}
624: \psfrag{qi}{$q_i$}
625: \psfrag{qi+1}{$q_{i+1}$}
626: \psfrag{qi+2}{}
627: \psfrag{qi+3}{}
628: \psfrag{qj-1}{}
629: \psfrag{qj-2}{}
630: \psfrag{qj}{$q_{j}$}
631: \psfrag{qj+1}{$q_{j+1}$}
632: \psfrag{q2n}{$q_{2n}$}
633: \includegraphics[scale=0.25]{figsg1.eps} \hspace{1.5cm}
634: \includegraphics[scale=0.25]{figsg2.eps}
635: \caption{Feynman diagrams for corrections to the two--point Green
636: function to second order in $\alpha$ and to arbitrary order in
637: $\beta^2$. The left diagrams correspond to a non--vanishing
638: expectation value for an even number of internal lines between
639: the two vertices only, while the right diagrams describe a
640: non--vanishing contribution for an odd number of internal lines
641: between two vertices.}
642: \end{figure}
643: %
644: In the momentum representation this correction is equal to
645: %
646: \begin{eqnarray}\label{label3.24}
647: && -i\,\tilde{\Delta}^{(2)}(p,\alpha_r(M^2)) =
648: i\,\Big[\alpha_r(M^2) Z_1 \exp\Big\{\frac{1}{2}\,
649: \beta^2 i\Delta_F(0,\alpha_r(M^2))
650: \Big\}\Big]^2\,\Big[\frac{(-i)}{\alpha_r(M^2) - p^2}\Big]^2\nonumber\\
651: &&\times \Big\{\sum^{\infty}_{n = 1}\beta^{4n}
652: \int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_1}
653: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_2}\ldots \nonumber\\
654: &&\times
655: \int \frac{d^2q_{2n}}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_{2n}}
656: \frac{1}{\alpha_r(M^2) - (p - q_1 - q_2 - \ldots - q_{2n})^2}\nonumber\\
657: &&+\sum^{\infty}_{n = 0}\beta^{4n + 2}\int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_1}
658: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_2}\ldots \nonumber\\
659: &&\times
660: \int \frac{d^2q_{2n + 1}}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_{2n + 1}}
661: \frac{1}{\alpha_r(M^2) - (q_1 + q_2 + \ldots + q_{2n + 1})^2}\Big\} = \nonumber\\
662: &&=
663: i\,\Big[\alpha_r(M^2)\Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big]^2\,
664: \Big[\frac{(-i)}{\alpha_r(M^2) - p^2}\Big]^2\nonumber\\
665: &&\times \Big\{\sum^{\infty}_{n = 1}\beta^{4n}
666: \int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_1}
667: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_2}\ldots \nonumber\\
668: &&\times
669: \int \frac{d^2q_{2n}}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_{2n}}
670: \frac{1}{\alpha_r(M^2) - (p - q_1 - q_2 - \ldots - q_{2n})^2}\nonumber\\
671: &&+\sum^{\infty}_{n = 0}\beta^{4n + 2}\int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_1}
672: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_2}\ldots \nonumber\\
673: &&\times
674: \int \frac{d^2q_{2n + 1}}{(2\pi)^2 i}\,\frac{1}{\alpha_r(M^2) - q^2_{2n + 1}}
675: \frac{1}{\alpha_r(M^2) - (q_1 + q_2 + \ldots + q_{2n + 1})^2}\Big\}.
676: \end{eqnarray}
677: %
678: The common factor $[\alpha_r(M^2) Z_1 \exp\{ \beta^2
679: i\Delta_F(0,\alpha_r(M^2)/2)\}]^2$ is caused by the summation of the
680: infinite series of one--vertex--loop diagrams. Using (\ref{label1.4})
681: and (\ref{label3.19}) one can show that it is equal to $\alpha^2_{\rm
682: ph}$:
683: \[\Big[\alpha_r(M^2) Z_1 \exp\Big\{ \frac{1}{2}\,\beta^2\,
684: i\Delta_F(0,\alpha_r(M^2))\Big\}\Big]^2 = \Big[\alpha_r(M^2)\Big(\frac{\alpha_r(M^2)}{M^2}\Big)^{\beta^2/8\pi}\Big]^2 = \alpha^2_{\rm ph}.\]
685: Thus, we have shown that after renormalization the correction to the
686: two--point Green function to second order in $\alpha_r(M^2)$ and to
687: all orders in the $\beta^2$ is proportional to $\alpha^2_{\rm ph}$.
688: Then, since the two--point Green function, calculated to first in
689: $\alpha_r(M^2)$ and to all orders in $\beta^2$, is given by
690: (\ref{label3.18}), in the correction of the second order
691: $\alpha_r(M^2)$ we can replace the two--point Green functions of the
692: free sine--Gordon fields in the r.h.s. of (\ref{label3.24}) by
693: (\ref{label3.18}). This gives
694: %
695: \begin{eqnarray}\label{label3.25}
696: \hspace{-0.3in}&& -i\,\tilde{\Delta}^{(2)}(p,\alpha_r(M^2)) =
697: i\,\alpha^2_{\rm ph}\,
698: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2}\Big]^2\Big\{\sum^{\infty}_{n = 1}
699: \beta^{4n}
700: \int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_1}
701: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_2}
702: \ldots \nonumber\\
703: \hspace{-0.3in}&&\times
704: \int \frac{d^2q_{2n}}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_{2n}}
705: \frac{1}{\alpha_{\rm ph} - (p - q_1 - q_2 - \ldots - q_{2n})^2}\nonumber\\
706: \hspace{-0.3in}&&+\sum^{\infty}_{n = 0}\beta^{4n + 2}
707: \int \frac{d^2q_1}{(2\pi)^2 i}
708: \,\frac{1}{\alpha_{\rm ph} - q^2_1}
709: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_2}
710: \ldots \nonumber\\
711: \hspace{-0.3in}&&\times
712: \int \frac{d^2q_{2n + 1}}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_{2n + 1}}
713: \frac{1}{\alpha_{\rm ph} - (q_1 + q_2 + \ldots + q_{2n + 1})^2}\Big\}.
714: \end{eqnarray}
715: %
716: In the momentum representation this proves relation (\ref{label3.22})
717: to second order in $\alpha_r(M^2)$ and to all orders in $\beta^2$:
718: %
719: \begin{eqnarray}\label{label3.26}
720: -i\,\tilde{\Delta}^{(2)}(p,\alpha_r(M^2)) = -i\,\tilde{\Delta}^{(2
721: )}(p,\alpha_{\rm ph}).
722: \end{eqnarray}
723: %
724: The proof of relation (\ref{label3.22}) to arbitrary orders in
725: $\alpha_r(M^2)$ and $\beta^2$ demands only patience and perseverance.
726:
727: \subsection{Non--trivial finite corrections to the dimensional
728: coupling constant $\alpha_{\rm ph}$}
729:
730: As has been shown above quantum fluctuations around the trivial
731: vacuum, calculated to first order in $\alpha_r(M^2)$ and to all orders
732: in $\beta^2$, lead to the renormalization of the dimensional coupling
733: constant $\alpha_0(\Lambda^2)$, which reduces to the replacement
734: $\alpha_0(\Lambda^2) \to \alpha_{\rm ph}$, where $\alpha_{\rm ph}$ is
735: the physical (observable) dimensional coupling constant independent on
736: both the cut--off $\Lambda$ and the normalization scale $M$. In turn,
737: quantum fluctuations around the trivial vacuum, calculated to second
738: order in $\alpha_r(M^2)$ and to all orders in $\beta^2$, induce
739: non--trivial perturbative finite corrections to the physical coupling
740: constant $\alpha_{\rm ph}$.
741:
742: The simplest correction of this kind is of order $O(\alpha^2_{\rm
743: ph}\beta^2)$. It leads to the perturbative finite correction to the
744: soliton mass, coinciding with that calculated by Dashen {\it et al.}
745: \cite{RD74,RD75}.
746:
747: Keeping only the terms of order $O(\beta^2)$ in (\ref{label3.25}) we get
748: %
749: \begin{eqnarray}\label{label3.27}
750: -i\,\tilde{\Delta}^{(2,1)}(p,\alpha_r(M^2)) &=&
751: i\,\alpha^2_{\rm ph} \,
752: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2 -i\,0}\Big]^2\,\beta^2
753: \int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{(\alpha_{\rm ph} - q^2_1 - i\,0)^2}
754: =\nonumber\\
755: &=& i\,\alpha_{\rm ph}\,\frac{\beta^2}{4\pi} \,
756: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2 -i\,0}\Big]^2,
757: \end{eqnarray}
758: %
759: where we have taken into account that the integral over $q_1$ is equal
760: to $1/(4\pi \alpha_{\rm ph})$.
761:
762: The two--point Green function calculated to second order in
763: $\alpha_{\rm ph}$ and to first order in $\beta^2$ is equal to
764: %
765: \begin{eqnarray}\label{label3.28}
766: -i\,\tilde{\Delta}(p) = \frac{(-i)}{\alpha_{\rm ph} - p^2 -i\,0} +
767: i\,\alpha_{\rm ph}\,\frac{\beta^2}{4\pi} \,
768: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2 -i\,0}\Big]^2 =
769: \frac{(-i)}{\alpha_{\rm eff} - p^2 -i\,0},
770: \end{eqnarray}
771: %
772: where $\alpha_{\rm eff}$ is defined by
773: %
774: \begin{eqnarray}\label{label3.29}
775: \alpha_{\rm eff} = \alpha_{\rm ph}\,\Big(1 -\frac{\beta^2}{4\pi}\Big).
776: \end{eqnarray}
777: %
778: The effective Lagrangian of the sine--Gordon model defining the
779: two--point Green function (\ref{label3.28}) to leading order in
780: $\beta^2$ takes the form
781: %
782: \begin{eqnarray}\label{label3.30}
783: {\cal L}(x) = \frac{1}{2}\,\partial_{\mu}\vartheta(x)
784: \partial^{\mu}\vartheta(x) +
785: \frac{\alpha_{\rm eff}}{\beta^2}\,
786: (\cos\beta\vartheta(x) - 1).
787: \end{eqnarray}
788: %
789: The soliton mass, calculated for the effective Lagrangian
790: (\ref{label3.30}), is equal to \cite{RD74,RD75}(see also \cite{FI6})
791: %
792: \begin{eqnarray}\label{label3.31}
793: M_s = \frac{8\sqrt{\alpha_{\rm eff}}}{\beta^2} =
794: \frac{8\sqrt{\alpha_{\rm ph}}}{\beta^2} -
795: \frac{\sqrt{\alpha_{\rm ph}}}{\pi}.
796: \end{eqnarray}
797: %
798: This result coincides with that obtained by Dashen {\it et al.}
799: \cite{RD74,RD75}.
800:
801: We would like to remind that the finite correction
802: $-\,\sqrt{\alpha_{\rm ph}}/\pi$ has been interpreted in the literature
803: as a singularity of the sine--Gordon model at $\beta^2 = 8\pi$ (see
804: also \cite{LD78}). However, as has been conjectured by Zamolodchikov
805: and Zamolodchikov \cite{AZ79}, such a singularity of the sine--Gordon
806: model is superficial and depends on the regularization and
807: renormalization procedure. This conjecture has been corroborated in
808: \cite{FI6}.
809:
810: In our present analysis of the sine--Gordon model the finite
811: correction $-\,\sqrt{\alpha_{\rm ph}}/\pi$ is a perturbative one. It
812: is valid only for $\beta^2 \ll 8\pi$ and introduces no singularity to
813: the sine--Gordon model at $\beta^2 = 8\pi$.
814:
815: \subsection{Non--trivial momentum dependent corrections to the
816: two--point Green function}
817:
818: Quantum fluctuations around the trivial vacuum, calculated to second
819: order in $\alpha_{\rm ph}$ and to second order in $\beta^2$
820: inclusively, lead to the non--trivial momentum dependence of the
821: two--point Green function of the sine--Gordon field. From
822: (\ref{label3.25}) we find the correction to the two--point Green
823: function to order $O(\alpha^2_{\rm ph}\beta^4)$ inclusively. This
824: reads
825: %
826: \begin{eqnarray}\label{label3.32}
827: &&-i\,\tilde{\Delta}^{(2,2)}(p,\alpha_{\rm ph}) = i\,\alpha^2_{\rm ph}\,
828: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2}\Big]^2\Big\{\beta^2
829: \int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{(\alpha_{\rm ph} - q^2_1)^2} \nonumber\\
830: &&+ \beta^4\int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_1}
831: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_2}\,
832: \frac{1}{\alpha_{\rm ph} - (p - q_1 - q_2 )^2}\Big\}.
833: \end{eqnarray}
834: %
835: The momentum integral of the contribution of order $O(\beta^2)$ is
836: equal to $1/(4\pi \alpha_{\rm ph})$. For the calculation of the
837: momentum integrals of the term of order $O(\beta^4)$ we apply the
838: Feynman parameterization technique. This gives
839: %
840: \begin{eqnarray}\label{label3.33}
841: &&\int \frac{d^2q_1}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_1}
842: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_2}\,
843: \frac{1}{\alpha_{\rm ph} - (p - q_1 - q_2 )^2} =\nonumber\\
844: &&= \frac{1}{16\pi^2}\int^1_0\int^1_0\int^1_0
845: \frac{d\eta_1d\eta_2d\eta_3\delta(1 -
846: \eta_1 - \eta_2 - \eta_3)}{\alpha_{\rm ph}(\eta_1\eta_2 + \eta_2\eta_3 +
847: \eta_3\eta_1)+ (-p^2\,)\eta_1\eta_2\eta_3} =\nonumber\\
848: &&= \frac{1}{16\pi^2}\int^1_0d\eta\int^1_0d\xi\,\frac{1}{\alpha_{\rm ph}\eta +
849: (\alpha_{\rm ph} - p^2\,\eta)\,(1 - \eta)\,\xi\,(1 - \xi)} =\nonumber\\
850: && = -\,\frac{1}{8\pi^2}\int^1_0\frac{d\eta }{
851: \sqrt{(\alpha_{\rm ph} - p^2\eta)(1 - \eta)(4\alpha_{\rm ph}\eta
852: + (\alpha_{\rm ph} - p^2\eta)(1 - \eta)})}\nonumber\\
853: &&\times\,
854: {\ell n}\Big(\frac{\sqrt{(\alpha_{\rm ph} - p^2\eta)(1 - \eta)} +
855: \sqrt{4\alpha_{\rm ph}\eta + (\alpha_{\rm ph} - p^2\eta)(1 - \eta)}}{
856: \sqrt{(\alpha_{\rm ph} - p^2\eta)(1 - \eta)} -
857: \sqrt{4\alpha_{\rm ph}\eta + (\alpha_{\rm ph} - p^2\eta)(1 - \eta)}}\Big).
858: \end{eqnarray}
859: %
860: We propose to analyse the behaviour of this integral in the asymptotic
861: regime $p^2 \to \infty$, where it can be calculated analytically. In
862: this limit the main contribution to the integral over $\eta$ comes
863: from the domain $\eta \sim \alpha_{\rm ph}/p^2$. Therefore, the
864: integrand can be transcribed into the form
865: %
866: \begin{eqnarray}\label{label3.34}
867: \hspace{-0.3in}&&\int \frac{d^2q_1}{(2\pi)^2 i}\,
868: \frac{1}{\alpha_{\rm ph} - q^2_1}
869: \int \frac{d^2q_2}{(2\pi)^2 i}\,\frac{1}{\alpha_{\rm ph} - q^2_2}\,
870: \frac{1}{\alpha_{\rm ph} - (p - q_1 - q_2 )^2} =\nonumber\\
871: \hspace{-0.3in}&&=-\,\frac{1}{8\pi^2}\int^1_0\frac{d\eta }{
872: (\alpha_{\rm ph} - p^2\eta)}\,
873: {\ell n}\Big(\frac{p^2\eta - \alpha_{\rm ph}}{\alpha_{\rm ph}\eta}\Big) =
874: \frac{1}{16\pi^2}\,\frac{1}{p^2}\,{\ell n}^2
875: \Big(\frac{p^2}{\alpha_{\rm ph}}\Big) + \ldots\,.
876: \end{eqnarray}
877: %
878: The correction to the two--point Green function of order
879: $O(\alpha^2_{\rm ph}\beta^4)$ inclusively, taken in the asymptotic
880: regime $p^2\to \infty$, is equal to
881: %
882: \begin{eqnarray}\label{label3.35}
883: -i\,\tilde{\Delta}^{(2,2)}(p,\alpha_{\rm ph}) = i\,\alpha_{\rm ph}\,
884: \Big[\frac{(-i)}{\alpha_{\rm ph} - p^2}\Big]^2\,\frac{\beta^2}{4\pi}\,
885: \Big[1 + \frac{\beta^2 }{4\pi}\,\frac{\alpha_{\rm ph}}{p^2}\,
886: {\ell n}^2\Big(\frac{p^2}{\alpha_{\rm ph}}\Big) + \ldots\Big].
887: \end{eqnarray}
888: %
889: Hence, the two--point Green function of the sine--Gordon field,
890: accounting for the contributions of order $O(\alpha^2_{\rm
891: ph}\beta^4)$ inclusively, takes the form
892: %
893: \begin{eqnarray}\label{label3.36}
894: \tilde{\Delta}^{-1}(p) = \alpha_{\rm ph}
895: \Big[1 -\frac{\beta^2}{4\pi}- \frac{\beta^4 }{16\pi^2}\,
896: \frac{\alpha_{\rm ph}}{p^2}\,{\ell n}^2
897: \Big(\frac{p^2}{\alpha_{\rm ph}}\Big) + \ldots \Big] - p^2.
898: \end{eqnarray}
899: %
900: This shows that (i) all divergences can be removed by the
901: renormalization of the dimensional coupling constant
902: $\alpha_0(\Lambda^2)$, (ii) the renormalized expressions are defined
903: in terms of the physical coupling constant $\alpha_{\rm ph}$, (iii)
904: higher order corrections in $\alpha_{\rm ph}$ introduce a non--trivial
905: momentum dependence and (iv) in the asymptotic limit $p^2 \to \infty$
906: the two--point Green function of the sine--Gordon field behaves as
907: $\tilde{\Delta}(p) \to 1/( - p^2)$. Such a behaviour is confirmed by
908: the analysis of the two--point Green functions with the
909: Callan--Symanzik equation (see Section 4).
910:
911: \subsection{Physical renormalization of the sine--Gordon model}
912:
913: Using the results obtained above we can formulate a procedure for the
914: renormalization of the sine--Gordon model dealing with physical
915: parameters only. Starting with the Lagrangian (\ref{label1.1}) and
916: making a renormalization at the normalization scale $M^2 = \alpha_{\rm
917: ph}$ we deal with physical parameters only
918: %
919: \begin{eqnarray}\label{label3.37}
920: \alpha_{\rm ph} = Z^{-1}_1(\beta^2, \alpha_{\rm ph};\Lambda^2)\,
921: \alpha_0(\Lambda^2),
922: \end{eqnarray}
923: %
924: where the renormalization constant $Z_1( \beta^2, \alpha_{\rm ph};
925: \Lambda^2)$ is equal to
926: %
927: \begin{eqnarray}\label{label3.38}
928: Z_1(\beta^2,\alpha_{\rm ph}; \Lambda^2) =
929: \Big(\frac{\Lambda^2}{\alpha_{\rm ph}}\Big)^{\beta^2/8\pi}.
930: \end{eqnarray}
931: %
932: The renormalized Lagrangian is defined by
933: %
934: \begin{eqnarray}\label{label3.39}
935: {\cal L}(x) = \frac{1}{2}\,(\partial_{\mu}\vartheta(x)
936: \partial^{\mu}\vartheta(x) + \frac{\alpha_{\rm ph}}{\beta^2}\,
937: (\cos\beta\vartheta(x) - 1) + (Z_1 - 1)\,\frac{\alpha_{\rm ph}}{\beta^2}\,
938: (\cos\beta\vartheta(x) - 1)
939: \end{eqnarray}
940: %
941: with the renormalization constant given by Eq.(\ref{label3.37}). From
942: the relation (\ref{label3.20}) at $M^2 = \alpha_{\rm ph}$ one can
943: obtain that
944: %
945: \begin{eqnarray}\label{label3.40}
946: \alpha_r(\alpha_{\rm ph}) = \alpha_{\rm ph}.
947: \end{eqnarray}
948: %
949: The calculation of perturbative corrections to the two--point Green
950: function of the sine--Gordon model shows that the first order
951: correction in $\alpha_{\rm ph}$ vanishes in accordance with
952: Eq.(\ref{label3.17}). Non--trivial corrections appear only to second
953: and higher orders in $\alpha_{\rm ph}$.
954:
955:
956: \section{Renormalization group analysis}
957: \setcounter{equation}{0}
958:
959: In this Section we discuss the renormalization group approach
960: \cite{IZ80}--\cite{SW96} to the renormalization of the sine--Gordon
961: model. We apply the Callan--Symanzik equation to the analysis of the
962: Fourier transform of the two--point Green function of the sine--Gordon
963: field.
964:
965: The Callan--Symanzik equation for the Fourier transform of the
966: two--point Green function of the sine--Gordon field
967: (\ref{label3.5}), which we denote below as $-i\,\tilde{\Delta}(p;
968: \alpha_r(M^2), \beta^2)$, is equal to \cite{IZ80}
969: %
970: \begin{eqnarray}\label{label4.1}
971: \Big[- p\cdot \frac{\partial}{\partial p} + \beta(\alpha_r(M^2),\beta^2)\,
972: \frac{\partial}{\partial \alpha_r(M^2)} - 2\Big]\tilde{\Delta}(p;
973: \alpha_r(M^2), \beta^2) = F(0,p;\alpha_r(M^2),\beta^2),
974: \end{eqnarray}
975: %
976: where $\beta(\alpha_r(M^2),\beta^2)$ is the Gell--Mann--Low
977: function
978: %
979: \begin{eqnarray}\label{label4.2}
980: M\,\frac{\partial \alpha_r(M^2)}{\partial M} = \beta(\alpha_r(M^2),\beta^2).
981: \end{eqnarray}
982: %
983: The term $\gamma(\alpha_r(M^2),\beta^2)$ \cite{IZ80}, describing an
984: anomalous dimension of the sine--Gordon field, does not appear in the
985: Callan--Symanzik equation (\ref{label4.1}) due to unrenormalizability
986: of the sine--Gordon field $\vartheta(x)$. The r.h.s. of
987: (\ref{label4.1}) is defined by
988: %
989: \begin{eqnarray}\label{label4.3}
990: F(0,p;\alpha_r(M^2),\beta^2) = \int\!\!\!\int
991: d^2x d^2y\,e^{\textstyle+ip \cdot x}\,
992: \langle 0|
993: {\rm T}\Big(\Theta^{\mu}_{\mu}(y)\vartheta(x)\vartheta(0)\,
994: e^{\textstyle i\int d^2y\,{\cal L}_{\rm int}(y)}\Big)|0\rangle_c,
995: \end{eqnarray}
996: %
997: where ${\cal L}_{\rm int}(y)$ is equal to \cite{FI6}
998: %
999: \begin{eqnarray}\label{labe4.4}
1000: {\cal L}_{\rm int}(y) = \frac{\alpha_0}{\beta^2}\,(\cos\beta\vartheta(x) - 1).
1001: \end{eqnarray}
1002: %
1003: Then, $\Theta^{\mu}_{\mu}(y)$ is the trace of the energy--momentum
1004: tensor $\Theta_{\mu\nu}(x)$. For a (pseudo)scalar field
1005: $\vartheta(x)$, described by the Lagrangian ${\cal L}(x)$, it is
1006: defined by \cite{IZ80}
1007: %
1008: \begin{eqnarray}\label{label4.5}
1009: \Theta_{\mu\nu}(x) = \frac{\partial {\cal L}(x)}{\partial^{\mu}\vartheta(x)}\,
1010: \partial_{\nu}\vartheta(x) - g_{\mu\nu}\,{\cal L}(x).
1011: \end{eqnarray}
1012: %
1013: Using the Lagrange equation of motion one can show that
1014: %
1015: \begin{eqnarray}\label{label4.6}
1016: \partial^{\mu}\Theta_{\mu\nu}(x) = 0.
1017: \end{eqnarray}
1018: %
1019: For the sine--Gordon model the energy--momentum tensor
1020: $\Theta_{\mu\nu}(x)$ reads
1021:
1022: \begin{eqnarray}\label{label4.7}
1023: \Theta_{\mu\nu}(x) = \partial_{\mu}\vartheta(x) \partial_{\nu}\vartheta(x) -
1024: g_{\mu\nu}\,\Big[\frac{1}{2}\partial_{\lambda}\vartheta(x) \partial^{\lambda}
1025: \vartheta(x) + \frac{\alpha_0}{\beta^2}\,(\cos\beta \vartheta(x) - 1)\Big].
1026: \end{eqnarray}
1027: %
1028: The trace of the energy--momentum tensor $\Theta_{\mu\nu}(x)$ is equal to
1029: %
1030: \begin{eqnarray}\label{label4.8}
1031: \Theta^{\mu}_{\mu}(x) = -\,\frac{2\alpha_0}{\beta^2}\,
1032: (\cos\beta \vartheta(x) - 1) = 2\,V[\vartheta(x)],
1033: \end{eqnarray}
1034: %
1035: where $V[\vartheta(x)]$ is the potential density functional of the
1036: sine--Gordon field $\vartheta(x)$.
1037:
1038: Since the trace of the energy--momentum tensor is proportional to the
1039: potential energy density, the Fourier transform
1040: $F(0,p;\alpha_r(M^2),\beta^2)$ can be related to the two--point Green
1041: function as
1042: %
1043: \begin{eqnarray}\label{label4.9}
1044: && F(0,p;\alpha_r(M^2),\beta^2) = 2\,\alpha_r(M^2)\,
1045: \frac{\partial}{\partial \alpha_r(M^2)}
1046: \tilde{\Delta}(p;\alpha_r(M^2),\beta^2),
1047: \end{eqnarray}
1048: %
1049: where we have used the definition of the trace $\Theta^{\mu}_{\mu}(y)$
1050: of the energy--momentum tensor Eq.(\ref{label4.8}) and the relation
1051: $\alpha_0 = \alpha_r(M^2)\,Z_1(\beta^2, M^2;
1052: \Lambda^2)$.
1053:
1054: Substituting (\ref{label4.9}) into (\ref{label4.1}) we arrive
1055: at the Callan--Symanzik equation for the Fourier transform of the
1056: two--point Green function of the sine--Gordon field
1057: %
1058: \begin{eqnarray}\label{label4.10}
1059: \Big[- p^2\frac{\partial}{\partial p^2} + \Big(\frac{1}{2}\,
1060: \beta(\alpha_r(M^2),\beta^2) -
1061: \alpha_r(M^2)\Big)\,\frac{\partial}{\partial \alpha_r(M^2)} -
1062: 1\Big]\tilde{\Delta}(p^2;
1063: \alpha_r(M^2), \beta^2) = 0,
1064: \end{eqnarray}
1065: %
1066: where we have taken into account that $\tilde{\Delta}(p;
1067: \alpha_r(M^2), \beta^2)$ should depend on $p^2$ due to Lorentz
1068: covariance.
1069:
1070: For the solution of (\ref{label4.10}) we have to determine the
1071: Gell--Mann--Low function (\ref{label4.2}). For the coupling constant
1072: $\alpha_r(M^2)$, defined by (\ref{label3.20}), the Gell--Mann--Low
1073: function is
1074: %
1075: \begin{eqnarray}\label{label4.11}
1076: \beta(\alpha_r(M^2),\beta^2) = \frac{\tilde{\beta}^2}{4\pi}\,\alpha_r(M^2),
1077: \end{eqnarray}
1078: %
1079: where $\tilde{\beta}^2 = \beta^2/(1 + \beta^2/8\pi)$
1080: (\ref{label3.20}). This gives the Callan--Symanzik equation
1081: %
1082: \begin{eqnarray}\label{label4.12}
1083: \Big[p^2\frac{\partial}{\partial p^2} + \Big(1 -
1084: \frac{\tilde{\beta}^2}{8\pi}\Big)\,\alpha_r(M^2)\,
1085: \frac{\partial}{\partial \alpha_r(M^2)} +
1086: 1\Big]\tilde{\Delta}(p^2;
1087: \alpha_r(M^2), \beta^2) = 0.
1088: \end{eqnarray}
1089: %
1090: Setting $\tilde{\Delta}(p^2;
1091: \alpha_r(M^2), \beta^2)= D(p^2; \alpha_r(M^2), \beta^2)/p^2$ we get
1092: %
1093: \begin{eqnarray}\label{label4.13}
1094: \Big[ p^2\frac{\partial}{\partial p^2} +
1095: \Big(1 - \frac{\tilde{\beta}^2}{8\pi}\Big)\,\alpha_r(M^2)\,
1096: \frac{\partial}{\partial \alpha_r(M^2)}\Big]D(p^2;
1097: \alpha_r(M^2), \beta^2) = 0.
1098: \end{eqnarray}
1099: %
1100: Due to dimensional consideration the function $D(p^2; \alpha_r(M^2),
1101: \beta^2)$ should be dimensionless, depending on the dimensionless
1102: variables $\tilde{p}^2 = p^2/M^2$ and $\tilde{\alpha} =
1103: \alpha_r(M^2)/M^2$, where $M$ is a normalization scale. This gives
1104: %
1105: \begin{eqnarray}\label{label4.14}
1106: \Big[ \tilde{p}^2\frac{\partial}{\partial \tilde{p}^2} +
1107: \Big(1 - \frac{\tilde{\beta}^2}{8\pi}\Big)\,\tilde{\alpha}\,
1108: \frac{\partial}{\partial \tilde{\alpha}}\Big]D(\tilde{p}^2;
1109: \tilde{\alpha}, \beta^2) = 0.
1110: \end{eqnarray}
1111: %
1112: According to the general theory of partial differential equations of
1113: first order \cite{RC62}, the solution of (\ref{label4.14}) is an
1114: arbitrary function of the integration constant
1115: %
1116: \begin{eqnarray}\label{label4.15}
1117: C = \frac{\tilde{\alpha}}{\tilde{p}^2}\,(\tilde{p}^2)^{\tilde{\beta}^2/8\pi},
1118: \end{eqnarray}
1119: %
1120: which is the solution of the characteristic differential equation
1121: %
1122: \begin{eqnarray}\label{label4.16}
1123: \Big(1- \frac{\tilde{\beta}^2}{8\pi}\Big)\frac{d \tilde{p}^2}{\tilde{p}^2} = \frac{d \tilde{\alpha}}{\tilde{\alpha}}.
1124: \end{eqnarray}
1125: %
1126: Hence, the Fourier transform of the two--point Green
1127: function of the sine--Gordon field is equal to
1128: %
1129: \begin{eqnarray}\label{label4.17}
1130: \tilde{\Delta}(p^2;
1131: \alpha_r(M^2), \beta^2) = \frac{1}{p^2}\,D\Big[\frac{\alpha_r(M^2)}{p^2}\,
1132: \Big(\frac{p^2}{M^2}\Big)^{\tilde{\beta}^2/8\pi}\Big].
1133: \end{eqnarray}
1134: %
1135: The argument of the $D$--function can be
1136: expressed in terms of the running coupling constant $\alpha_r(p^2)$:
1137: %
1138: \begin{eqnarray}\label{label4.18}
1139: \alpha_r(p^2) = \alpha_r(M^2)\Big(\frac{p^2}{M^2}\Big)^{\tilde{\beta}^2/8\pi} =
1140: \alpha_{\rm ph}\Big(\frac{M^2}{\alpha_{\rm ph}}\Big)^{\tilde{\beta}^2/8\pi}
1141: \Big(\frac{p^2}{M^2}\Big)^{\tilde{\beta}^2/8\pi} = \alpha_{\rm ph}
1142: \Big(\frac{p^2}{\alpha_{\rm ph}}\Big)^{\tilde{\beta}^2/8\pi}.
1143: \end{eqnarray}
1144: %
1145: The solution of the Callan--Symanzik equation for the Fourier
1146: transform of the two--point Green function of the sine--Gordon field
1147: is
1148: %
1149: \begin{eqnarray}\label{label4.19}
1150: \tilde{\Delta}(p^2; \alpha_{\rm ph}, \beta^2) = \frac{1}{p^2}\,
1151: D\Big[\frac{\alpha_r(p^2)}{p^2}\,\Big].
1152: \end{eqnarray}
1153: %
1154: This proves that the total renormalized two--point Green function of
1155: the sine--Gordon field depends on the physical coupling constant
1156: $\alpha_{\rm ph}$ only.
1157:
1158: A perturbative calculation of the two--point Green function, carried
1159: out in Section 3, gives the following expression for the function
1160: $D[\alpha_r(p^2)/p^2]$ in the asymptotic region $p^2 \to \infty$:
1161: %
1162: \begin{eqnarray}\label{label4.20}
1163: D\Big[\frac{\alpha_r(p^2)}{p^2}\,\Big] =
1164: \Big\{\frac{\alpha_{\rm ph}}{p^2}\Big[1 -\frac{\beta^2}{4\pi} -
1165: \frac{\beta^4 }{16\pi^2}\,\frac{\alpha_{\rm ph}}{p^2}\,{\ell n}^2
1166: \Big(\frac{p^2}{\alpha_{\rm ph}}\Big) + \ldots\Big] - 1\Big\}^{-1}.
1167: \end{eqnarray}
1168: %
1169: Unfortunately, this is not able to reproduce the non--perturbative
1170: expression of the two--point Green function $ \tilde{\Delta}(p^2;
1171: \alpha_{\rm ph}, \beta^2)$.
1172:
1173:
1174: \section{Renormalization of Gaussian fluctuations around solitons}
1175: \setcounter{equation}{0}
1176:
1177: We apply the renormalization procedure expounded above to the
1178: calculation of the contribution of quantum fluctuations around a
1179: soliton solution. We start with the partition function
1180: %
1181: \begin{eqnarray}\label{label5.1}
1182: Z_{\rm SG} &=& \int {\cal D}\vartheta\,\exp\Big\{i\int
1183: d^2x\,\Big[\frac{1}{2}\,\partial_{\mu}\vartheta(x)
1184: \partial^{\mu}\vartheta(x) +
1185: \frac{\alpha_0}{\beta^2}\,(\cos\beta\vartheta(x) -
1186: 1)\Big]\Big\}=\nonumber\\ &=&\int {\cal D}\vartheta\,\exp\Big\{i\int
1187: d^2x\,{\cal L}[\vartheta(x)]\Big\}.
1188: \end{eqnarray}
1189: %
1190: Following Dashen {\it et al.} \cite{RD74,RD75} (see also \cite{JR70})
1191: we treat the quantum fluctuations of the sine--Gordon field
1192: $\vartheta(x)$ around the classical solution $\vartheta(x) =
1193: \vartheta_{\rm c\ell}(x) + \varphi(x)$, where $\varphi(x)$ is the
1194: field fluctuating around $\vartheta_{\rm c\ell}(x)$, the single
1195: soliton solution of the classical equation of motion
1196: %
1197: \begin{eqnarray}\label{label5.2}
1198: \Box\vartheta_{\rm c\ell}(x) +
1199: \frac{\alpha_0}{\beta}\,\sin\beta\vartheta_{\rm c\ell}(x) = 0
1200: \end{eqnarray}
1201: %
1202: equal to \cite{RD74,LD78,JR70}
1203: %
1204: \begin{eqnarray}\label{label5.3}
1205: \vartheta_{\rm c\ell}(x) = \frac{4}{\beta}\,\arctan(\exp(
1206: \sqrt{\alpha_0}\,\gamma (x^1 - ux^0)) =
1207: \frac{4}{\beta}\,\arctan(\exp(\sqrt{\alpha_0}\,\sigma)),
1208: \end{eqnarray}
1209: %
1210: where $u$ is the velocity of the soliton, $\sigma = \gamma (x^1 -
1211: ux^0)$ and $\gamma = 1/\sqrt{1 - u^2}$\,\footnote{In analogy with the
1212: ``spatial'' variable $\sigma$ we can define the ``time'' variable
1213: for the soliton moving with velocity $u$ as $\tau = \gamma (x^0 - u
1214: x^1)$. In variables $(\tau,\sigma)$ an infinitesimal element of the
1215: 2--dimensional volume $d^2x$ is equal to $d^2x = d\tau d\sigma$ and
1216: the d'Alembert operator $\Box$ is defined by $\Box =
1217: \partial^2/\partial \tau^2 - \partial^2/\partial \sigma^2$.}.
1218:
1219: Substituting $\vartheta(x) = \vartheta_{\rm c\ell}(x) + \varphi(x)$
1220: into the exponent of the integrand of (\ref{label5.1}) and using the
1221: equation of motion for the soliton solution $\vartheta_{\rm c\ell}(x)$
1222: we get
1223: %
1224: \begin{eqnarray}\label{label5.4}
1225: &&Z_{\rm SG} = \exp\Big\{i\int d^2x\,{\cal L}[\vartheta_{\rm
1226: c\ell}(x)]\Big\}\int {\cal D}\varphi\,\exp\Big\{i\int
1227: d^2x\,\Big[\frac{1}{2}\,\partial_{\mu}\varphi(x)
1228: \partial^{\mu}\varphi(x)\nonumber\\ &&+
1229: \frac{\alpha_0}{\beta^2}\,\sin\beta\vartheta_{\rm c\ell}(x)\,(\beta
1230: \varphi(x) - \sin \beta \varphi(x)) + \frac{\alpha_0}{\beta^2}\,
1231: \cos\beta\vartheta_{\rm c\ell}(x)(\cos\beta\varphi(x) - 1)\Big]\Big\}.
1232: \end{eqnarray}
1233: %
1234: Substituting (\ref{label5.3}) into (\ref{label5.4}) we obtain
1235: %
1236: \begin{eqnarray}\label{label5.5}
1237: \hspace{-0.3in}{\cal L}[\varphi(x)] &=&
1238: \frac{1}{2}\,\partial_{\mu}\varphi(x) \partial^{\mu}\varphi(x) +
1239: \frac{\alpha_0}{\beta^2}\,(\cos\beta\varphi(x) - 1)\nonumber\\
1240: \hspace{-0.3in}&-&
1241: \frac{2\alpha_0}{\beta^2}\,\frac{1}{\cosh^2(\sqrt{\alpha_0}\,\gamma
1242: (x^1 - u x^0))}(\cos\beta\varphi(x) - 1)\nonumber\\ \hspace{-0.3in}&-&
1243: \frac{2\alpha_0}{\beta^2}\,\frac{\sinh(\sqrt{\alpha_0}\,\gamma(x^1 -
1244: u x^0))}{\cosh^2(\sqrt{\alpha_0}\,\gamma (x^1 - u x^0))}\,(\beta
1245: \varphi(x) - \sin\beta\varphi(x)).
1246: \end{eqnarray}
1247: %
1248: In terms of $\sigma$ and $\tau$ the exponent of the partition function
1249: (\ref{label5.4}) reads
1250: %
1251: \begin{eqnarray}\label{label5.6}
1252: \hspace{-0.3in}&&Z_{\rm SG} = \exp\Big\{i\int d^2x\,{\cal
1253: L}[\vartheta_{\rm c\ell}(x)]\Big\}\nonumber\\ \hspace{-0.3in}&& \int
1254: {\cal D}\varphi\,\exp\Big\{i\int d\tau
1255: d\sigma\,\Big[\frac{1}{2}\,\partial_{\mu}\varphi(\tau,\sigma)
1256: \partial^{\mu}\varphi(\tau,\sigma) + \frac{\alpha_0}{\beta^2}\,(\cos
1257: \beta \varphi(\tau,\sigma) - 1)\nonumber\\ \hspace{-0.3in}&& -
1258: \frac{2\alpha_0}{\beta^2}\,\frac{1}{\cosh^2(\sqrt{\alpha_0}\sigma)}
1259: (\cos\beta\varphi(x) - 1) - \frac{2\alpha_0}{\beta^2}\,
1260: \frac{\sinh(\sqrt{\alpha_0}\sigma)}{\cosh^2(\sqrt{\alpha_0}\sigma)}\,
1261: (\beta \varphi(\tau, \sigma) - \sin\beta\varphi(\tau,
1262: \sigma))\Big]\Big\},\quad\quad
1263: \end{eqnarray}
1264: %
1265: where we have denoted
1266: %
1267: \begin{eqnarray}\label{label5.7}
1268: \partial_{\mu}\varphi(\tau,\sigma) \partial^{\mu}\varphi(\tau,\sigma)
1269: = \Big(\frac{\partial \varphi(\tau,\sigma)}{\partial \tau}\Big)^2 -
1270: \Big(\frac{\partial \varphi(\tau,\sigma)}{\partial \sigma}\Big)^2.
1271: \end{eqnarray}
1272: %
1273: The equation of motion for the fluctuating field
1274: $\varphi(\tau,\sigma)$ is equal to
1275: %
1276: \begin{eqnarray}\label{label5.8}
1277: \Box \varphi(\tau,\sigma) + \frac{\alpha_0}{\beta}\,\sin\beta
1278: \varphi(\tau,\sigma) &=& +
1279: 2\,\frac{\alpha_0}{\beta}\,\frac{1}{\cosh^2(\sqrt{\alpha_0}\sigma)}\,
1280: \sin\beta\varphi(\tau,\sigma)\nonumber\\ && -
1281: 2\,\frac{\alpha_0}{\beta}\,
1282: \frac{\sinh(\sqrt{\alpha_0}\sigma)}{\cosh^2(\sqrt{\alpha_0}\sigma)}\,(1
1283: - \cos\beta\varphi(\tau,\sigma)).
1284: \end{eqnarray}
1285: %
1286: Dealing with Gaussian fluctuations only \cite{RD74,RD75} and keeping
1287: the squared terms in the Lagrangian (\ref{label5.5}) in the
1288: fluctuating field $\varphi(x)$ expansion only, we transcribe the
1289: partition function (\ref{label5.6}) into the form
1290: %
1291: \begin{eqnarray}\label{label5.9}
1292: \hspace{-0.3in}&&Z_{\rm SG} = \exp\Big\{i\int d^2x\,{\cal
1293: L}[\vartheta_{\rm c\ell}(x)]\Big\}\nonumber\\ \hspace{-0.3in}&& \times
1294: \int {\cal D}\varphi\,\exp\Big\{\,-\,i\,\frac{1}{2}\int d\tau
1295: d\sigma\,\varphi(\tau,\sigma) \Big[\Box + \alpha_0 -
1296: \frac{2\alpha_0}{\cosh^2(\sqrt{\alpha_0}\sigma)}\Big]
1297: \varphi(\tau,\sigma) \Big\}.
1298: \end{eqnarray}
1299: %
1300: It is seen that $\sqrt{\alpha_0}$ has the distinct meaning of the mass
1301: of the quanta of the Klein--Gordon field $\varphi(\tau,\sigma)$
1302: coupled to an external force described by a scalar
1303: potential\,\footnote{The parameter $\alpha_0$ should enter with the
1304: imaginary correction $\alpha_0 \to \alpha_0 -i\,0$. This is required
1305: by the convergence of the path integral \cite{MP95a}.}.
1306:
1307:
1308: Integrating over the fluctuating field $\varphi(\tau,\sigma)$ we
1309: transcribe the r.h.s. of (\ref{label5.9}) into the form
1310: %
1311: \begin{eqnarray}\label{label5.10}
1312: \hspace{-0.3in}&&Z_{\rm SG} = \exp\Big\{i\int d^2x\,{\cal
1313: L}[\vartheta_{\rm c\ell}(x)] + i\delta {\cal S}[\vartheta_{\rm
1314: c\ell}]\Big\}.
1315: \end{eqnarray}
1316: %
1317: We have denoted
1318: %
1319: \begin{eqnarray}\label{label5.11}
1320: \hspace{-0.3in} \exp\{i\delta {\cal S}[\vartheta_{\rm
1321: c\ell}]\} &=& \exp\{ i\int d^2x\,\delta
1322: {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)]\} = \sqrt{\frac{{\rm Det}( \Box + \alpha_0)}{\displaystyle
1323: {\rm Det}\Big( \Box + \alpha_0 -
1324: \frac{2\alpha_0}{\cosh^2(\sqrt{\alpha_0}\sigma)}\Big)}} = \nonumber\\
1325: \hspace{-0.3in}&=&
1326: \exp\Big\{-\frac{1}{2}\sum_n{\ell n}\,\lambda_n + \frac{1}{2}
1327: \int d^2x\int
1328: \frac{d^2p}{(2\pi)^2}\,{\ell n}(\alpha_0 - p^2)\Big\},
1329: \end{eqnarray}
1330: %
1331: where $p$ is a 1+1--dimensional momentum. The second term in the
1332: exponent corresponds to the subtraction of the vacuum contribution.
1333: The effective action, caused by fluctuations around a soliton
1334: solution, is defined by
1335: %
1336: \begin{eqnarray}\label{label5.12}
1337: \delta {\cal S}[\vartheta] = \int d^2x\,
1338: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] =
1339: i\,\frac{1}{2}\sum_n{\ell n}\,\lambda_n + \frac{1}{2}\int d^2x\int
1340: \frac{d^2p}{(2\pi)^2i}\,{\ell n}(\alpha_0 - p^2),
1341: \end{eqnarray}
1342: %
1343: where $\lambda_n$ are the eigenvalues of the equation
1344: %
1345: \begin{eqnarray}\label{label5.13}
1346: \Big(\Box + \alpha_0 -
1347: \frac{2\alpha_0}{\cosh^2(\sqrt{\alpha_0}\sigma)}\Big)\,\varphi_n(\tau,\sigma) =
1348: \lambda_n\,\varphi_n(\tau,\sigma)
1349: \end{eqnarray}
1350: %
1351: and $\varphi_n(\tau,\sigma)$ are eigenfunctions. The quantum number
1352: $n$ can be both discrete and continuous. This implies that the product
1353: over $n$ in (\ref{label5.11}) should contain both the summation over
1354: the discrete values of the quantum number $n$ and integration over the
1355: continuous ones.
1356:
1357: According to the Fourier method \cite{NN65}, the solution of equation
1358: (\ref{label5.13}) should be taken in the form
1359: %
1360: \begin{eqnarray}\label{label5.14}
1361: \varphi_n(\tau,\sigma)= e^{\textstyle\,- i\,\omega\tau
1362: }\,\psi_n(\sigma),
1363: \end{eqnarray}
1364: %
1365: where $-\,\infty \le \omega \le +\,\infty$ and $\psi_n(\sigma)$ is a
1366: complex function\,\footnote{Since $\varphi_n(\tau,\sigma)$ is a real
1367: field, we have to take the real part of the solution
1368: (\ref{label5.14}) only, i.e. $\varphi(\tau,\sigma) = {\cal
1369: R}e\,(e^{\textstyle\,- i\,\omega\tau}\, \psi(\sigma))$. Though
1370: without loss of generality one can also use complex eigenfunctions
1371: \cite{RD75,LD78,JR70}.}.
1372:
1373: Substituting (\ref{label5.14}) into (\ref{label5.13}) we get
1374: %
1375: \begin{eqnarray}\label{label5.15}
1376: \Big(\frac{d^2}{d \sigma^2} + k^2 +
1377: \frac{2\alpha_0}{\cosh^2(\sqrt{\alpha_0}\,\sigma)}\Big)\,
1378: \psi_n(\tau,\sigma) = 0,
1379: \end{eqnarray}
1380: %
1381: where we have denoted
1382: %
1383: \begin{eqnarray}\label{label5.16}
1384: k^2 = \lambda_n + \omega^2 - \alpha_0.
1385: \end{eqnarray}
1386: %
1387: This defines eigenvalues $\lambda_n$ as functions of $\omega$ and $k$
1388: %
1389: \begin{eqnarray}\label{label5.17}
1390: \lambda_n= \alpha_0 - \omega^2 + k^2.
1391: \end{eqnarray}
1392: %
1393: The parameter $k$ has the meaning of a spatial momentum $-\infty < k <
1394: + \infty$. The solutions of equation (\ref{label5.15})
1395: are\,\footnote{The solutions of the equation (\ref{label5.15}) are
1396: well--known \cite{JR70} (see also \cite{RD75,LD78}). Nevertheless,
1397: we adduce the solution of this equation in the Appendix.}
1398: %
1399: \begin{eqnarray}\label{label5.18}
1400: \psi_b(\sigma) &=& \sqrt{\frac{\sqrt{\alpha_0}}{2}}\,
1401: \frac{1}{\cosh(\sqrt{\alpha_0}\sigma)},\nonumber\\ \psi_k(\sigma) &=&
1402: \frac{i}{\sqrt{2\pi}}\,\frac{-ik +
1403: \sqrt{\alpha_0}\,\tanh(\sqrt{\alpha_0}\sigma)}{\sqrt{k^2 +
1404: \alpha_0}}\,e^{\textstyle\,+ ik\sigma},
1405: \end{eqnarray}
1406: %
1407: where the eigenfunction $\psi_b(\sigma)$ has eigenvalues $\lambda_n =
1408: -\omega^2$ and the eigenfunctions $\psi_k(\sigma)$ have eigenvalues
1409: $\lambda_n = \alpha_0 - \omega^2 + k^2$. In the asymptotic region
1410: $\sigma \to \infty$ the function $\psi_k(\sigma)$ behaves as
1411: %
1412: \begin{eqnarray}\label{label5.19}
1413: \psi_k(\sigma) \to \frac{1}{\sqrt{2\pi}}\,e^{\textstyle + ik\sigma +
1414: i\,\frac{1}{2}\,\delta(k)},
1415: \end{eqnarray}
1416: %
1417: where $\delta(k)$ is a phase shift defined by \cite{JR70}
1418: %
1419: \begin{eqnarray}\label{label5.20}
1420: \delta(k) = 2\arctan\frac{\sqrt{\alpha_0}}{k}.
1421: \end{eqnarray}
1422: %
1423: The solutions (\ref{label5.18}) satisfy the completeness condition
1424: \cite{JR70} (see Appendix)
1425: %
1426: \begin{eqnarray}\label{label5.21}
1427: \int^{+\infty}_{-\infty}dk\,\psi^*_k(\sigma\,'\,)\psi_k(\sigma) +
1428: \psi_b(\sigma\,'\,)\psi_b(\sigma) = \delta(\sigma\,' - \sigma).
1429: \end{eqnarray}
1430: %
1431: The fluctuating field $\varphi(\tau,\sigma)$ is equal to (see ({\rm
1432: A}.12))
1433: %
1434: \begin{eqnarray}\label{label5.22}
1435: \hspace{-0.3in}\varphi_{\omega b}(\tau,\sigma) &=& \frac{1}{\sqrt{2\pi}}\,e^{\textstyle -i\omega \tau}\psi_b(\sigma) = \frac{1}{\sqrt{2\pi}}\,
1436: \sqrt{\frac{\sqrt{\alpha_0}}{2}}\,
1437: \frac{1}{\cosh(\sqrt{\alpha_0}\sigma)}\,e^{\textstyle -i\omega \tau},\nonumber\\
1438: \hspace{-0.3in}\varphi_{\omega k}(\tau,\sigma) &=& \frac{1}{\sqrt{2\pi}}\,e^{\textstyle -i\omega \tau}\psi_k(\sigma) = \frac{i}{2\pi}\,\frac{-ik +
1439: \sqrt{\alpha_0}\,\tanh(\sqrt{\alpha_0}\sigma)}{\sqrt{k^2 +
1440: \alpha_0}}\,e^{\textstyle\,-i\omega \tau + ik\sigma}.
1441: \end{eqnarray}
1442: %
1443: In terms of the eigenvalues $\lambda_n = -\,\omega^2$ and $\lambda_n =
1444: \alpha_0 - \omega^2 + k^2$ and eigenfunctions (\ref{label5.22}) the
1445: effective action $\delta {\cal S}[\vartheta_{\rm c\ell}]$ is
1446: determined by
1447: %
1448: \begin{eqnarray}\label{label5.23}
1449: \hspace{-0.3in}&&\delta {\cal S}[\vartheta_{\rm c\ell}] = -
1450: \frac{1}{2}\int d^2x\,\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi
1451: i}\int^{+\infty}_{-\infty}dk\,|\psi_k(x)|^2\,{\ell n}(\alpha_0 -
1452: \omega^2 + k^2)\nonumber\\
1453: \hspace{-0.3in}&& - \frac{1}{2}\int
1454: d^2x\,\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi
1455: i}\,|\psi_b(x)|^2\,{\ell n}(- \omega^2) + \frac{1}{2}\int d^2x\int
1456: \frac{d^2p}{(2\pi)^2i}\,{\ell n}(\alpha_0 - p^2).
1457: \end{eqnarray}
1458: %
1459: Using the explicit expressions for the eigenfunctions $\psi_k(x)$ and
1460: $\psi_b(x)$ we reduce the r.h.s. of (\ref{label5.23}) to the form
1461: %
1462: \begin{eqnarray}\label{label5.24}
1463: \hspace{-0.7in}&&\delta {\cal S}[\vartheta_{\rm c\ell}] = -
1464: \frac{1}{2}\int d^2x\,\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i
1465: }\int^{+\infty}_{-\infty}\frac{dk}{2\pi}\,\frac{k^2 +
1466: \alpha_0\tanh^2(\sqrt{\alpha_0}\sigma)}{k^2 + \alpha_0}\,{\ell
1467: n}(\alpha_0 - \omega^2 + k^2)\nonumber\\
1468: \hspace{-0.7in}&&- \frac{1}{2}\int
1469: d^2x\,\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi
1470: i}\,\frac{\sqrt{\alpha_0}}{2}\,\frac{1}{\cosh^2(\sqrt{\alpha_0}\sigma)}
1471: \,{\ell n}(- \omega^2) + \frac{1}{2}\int d^2x\int
1472: \frac{d^2p}{(2\pi)^2i}\,{\ell n}(\alpha_0 - p^2).
1473: \end{eqnarray}
1474: %
1475: Introducing the notation
1476: %
1477: \begin{eqnarray}\label{label5.25}
1478: \frac{1}{\cosh^2(\sqrt{\alpha_0}\sigma)} = \frac{1}{2}\,(1 - \cos\beta
1479: \vartheta_{\rm c\ell}(x)) =
1480: \frac{\beta^2}{2\alpha_0}\,V[\vartheta_{\rm c\ell}(x)]
1481: \end{eqnarray}
1482: %
1483: we obtain the effective Lagrangian $\delta {\cal L}_{\rm
1484: eff}[\vartheta_{\rm c\ell}(x)]$. It is equal to\,\footnote{In the
1485: contribution of the mode $\lambda_n = - \omega^2$ we have used the
1486: integral representation \[\frac{1}{2\sqrt{\alpha_0}} =
1487: \int^{+\infty}_{-\infty}\frac{dk}{2\pi}\,\frac{1}{k^2 +
1488: \alpha_0}.\]}
1489: %
1490: \begin{eqnarray}\label{label5.26}
1491: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] &=&
1492: -\frac{1}{4}\beta^2V[\vartheta_{\rm
1493: c\ell}(x)]\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i
1494: }\int^{+\infty}_{-\infty}\frac{dk}{2\pi}\frac{1}{k^2 +
1495: \alpha_0} [{\ell n}(- \omega^2) - {\ell n}(\alpha_0 - \omega^2 +
1496: k^2)]\nonumber\\
1497: &-&
1498: \frac{1}{2} \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i
1499: }\int^{+\infty}_{-\infty}\frac{dk}{2\pi} {\ell n}(\alpha_0 - \omega^2 + k^2)
1500: + \frac{1}{2}\int
1501: \frac{d^2p}{(2\pi)^2i} {\ell n}(\alpha_0 - p^2).
1502: \end{eqnarray}
1503: %
1504: The two last terms cancel each other. This gives
1505: %
1506: \begin{eqnarray}\label{label5.27}
1507: \hspace{-0.3in} &&\delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] =
1508: -\frac{1}{4}\beta^2V[\vartheta_{\rm
1509: c\ell}(x)]\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i
1510: }\int^{+\infty}_{-\infty}\frac{dk}{2\pi}\frac{1}{k^2 +
1511: \alpha_0} [{\ell n}(- \omega^2) - {\ell n}(\alpha_0 - \omega^2 +
1512: k^2)].\nonumber\\
1513: \hspace{-0.3in} &&
1514: \end{eqnarray}
1515: %
1516: After the integration by parts over $\omega$ the effective Lagrangian
1517: $\delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)]$ is defined by
1518: %
1519: \begin{eqnarray}\label{label5.28}
1520: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] =
1521: \frac{1}{2}\,\beta^2V[\vartheta_{\rm
1522: c\ell}(x)]\int^{+\infty}_{-\infty}\frac{dk}{2\pi}\int^{+\infty}_{-\infty}
1523: \frac{d\omega}{2\pi
1524: i }\frac{1}{\alpha_0 - \omega^2 + k^2 - i\,0}.
1525: \end{eqnarray}
1526: %
1527: The appearance of the imaginary correction $-i\,0$ is caused by the
1528: convergence of the path integral (\ref{label5.9}) \cite{MP95a}.
1529:
1530: Integrating over $\omega$ we reduce the r.h.s. of (\ref{label5.28})
1531: to the form
1532: %
1533: \begin{eqnarray}\label{label5.29}
1534: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] &=&
1535: \frac{1}{2}\,\beta^2V[\vartheta_{\rm
1536: c\ell}(x)]\int^{+\infty}_{-\infty}\frac{dk}{4\pi}
1537: \frac{1}{\sqrt{\alpha_0 + k^2}} = \nonumber\\
1538: &=&-\,\frac{\beta^2}{4\sqrt{\alpha_0}}\,
1539: V[\vartheta_{\rm
1540: c\ell}(x)]\int^{+\infty}_{-\infty}\frac{dk}{4\pi}\,\sqrt{\alpha_0 + k^2}
1541: \,\frac{d\delta(k)}{dk},
1542: \end{eqnarray}
1543: %
1544: where $\delta(k) $ is a phase shift defined in Eq.(\ref{label5.20}).
1545: We discuss this expression in Section 7 in connection with the
1546: correction to the soliton mass caused by Gaussian fluctuations.
1547:
1548: For the analysis of the renormalizability of the sine--Gordon model
1549: the momentum integral in the effective Lagrangian $\delta {\cal
1550: L}_{\rm eff}[\vartheta_{\rm c\ell}(x)]$ should be taken in a Lorentz
1551: covariant form (\ref{label5.28}) and regularized in a covariant way.
1552: Making a Wick rotation $\omega \to i\,\omega$ and passing to Euclidean
1553: momentum space we define the integral over $\omega$ and $k$ in
1554: (\ref{label5.28}) as \cite{FI6}
1555: %
1556: \begin{eqnarray}\label{label5.30}
1557: \int^{+\infty}_{-\infty}\frac{dk}{2\pi}
1558: \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i }\,\frac{1}{\alpha_0 -
1559: \omega^2 + k^2 - i\,0} = \frac{1}{4\pi}\,{\ell
1560: n}\Big(\frac{\Lambda^2}{\alpha_0}\Big),
1561: \end{eqnarray}
1562: %
1563: where $\Lambda$ is an Euclidean cut--off \cite{FI6}. The effective
1564: Lagrangian, induced by Gaussian fluctuations around a soliton
1565: solution, is equal to
1566: %
1567: \begin{eqnarray}\label{label5.31}
1568: \hspace{-0.3in}&&\delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x)] =
1569: \frac{\alpha_0}{\beta^2}\,\Big[- \frac{\beta^2}{8\pi}\,{\ell
1570: n}\Big(\frac{\Lambda^2}{\alpha_0}\Big)\Big]\,
1571: (\cos\beta\vartheta_{\rm c\ell}(x) - 1).
1572: \end{eqnarray}
1573: %
1574: The Lagrangian (\ref{label5.31}) has the distinct form of the
1575: correction, caused by quantum fluctuations around the trivial vacuum
1576: calculated to first orders in $\alpha_0(\Lambda^2)$ and $\beta^2$.
1577:
1578: The total Lagrangian, accounting for Gaussian fluctuations
1579: around the soliton solution amounts to
1580: %
1581: \begin{eqnarray}\label{label5.32}
1582: {\cal L}_{\rm eff}(x) = \frac{1}{2}\partial_{\mu}\vartheta_{\rm
1583: c\ell}(x)\partial^{\mu}\vartheta_{\rm c\ell}(x) +
1584: \frac{\alpha_0}{\beta^2}\,\Big[1 - \frac{\beta^2}{8\pi}\,{\ell
1585: n}\Big(\frac{\Lambda^2}{\alpha_0}\Big)\Big]\,(\cos\beta\vartheta_{\rm
1586: c\ell}(x) - 1).
1587: \end{eqnarray}
1588: %
1589: This coincides with Eq.(6.7) of Ref.\cite{FI6}.
1590:
1591: As has been shown in \cite{FI6}, the dependence of the effective
1592: Lagrangian (\ref{label5.32}) on the cut--off $\Lambda$ can be removed
1593: by renormalization with the renormalization constant (\ref{label1.4})
1594: %
1595: \begin{eqnarray}\label{label5.33}
1596: \hspace{-0.3in}&&\alpha_0\Big[1 - \frac{\beta^2}{8\pi}\,{\ell
1597: n}\Big(\frac{\Lambda^2}{\alpha_0}\Big)\Big] = \alpha_r(M^2) Z_1
1598: \Big[1 - \frac{\beta^2}{8\pi} {\ell
1599: n}\Big(\frac{\Lambda^2}{\alpha_r(M^2) Z_1}\Big)\Big] = \nonumber\\
1600: \hspace{-0.3in}&&= \alpha_r(M^2) \Big[1 +
1601: \frac{\beta^2}{8\pi}{\ell n}\Big(\frac{\Lambda^2}{M^2}\Big) -
1602: \frac{\beta^2}{8\pi}{\ell
1603: n}\Big(\frac{\Lambda^2}{\alpha_r(M^2)}\Big)\Big] = \alpha_r(M^2)\Big[1 +
1604: \frac{\beta^2}{8\pi} {\ell n}\Big(\frac{\alpha_r(M^2)}{M^2}\Big)\Big],
1605: \quad\quad
1606: \end{eqnarray}
1607: %
1608: where we have kept terms of order $O(\beta^2)$ in the
1609: $\beta^2$--expansion of the renormalization constant (\ref{label1.4}).
1610: This gives the effective Lagrangian
1611: %
1612: \begin{eqnarray}\label{label5.34}
1613: {\cal L}_{\rm eff}(x) = \frac{1}{2}\partial_{\mu}\vartheta_{\rm
1614: c\ell}(x)\partial^{\mu}\vartheta_{\rm c\ell}(x) +
1615: \frac{\alpha_r(M^2)}{\beta^2}\,\Big[1 + \frac{\beta^2}{8\pi}\,{\ell
1616: n}\Big(\frac{\alpha_r(M^2)}{M^2}\Big)\Big]\,(\cos\beta\vartheta_{\rm
1617: c\ell}(x) - 1).
1618: \end{eqnarray}
1619: %
1620: We can replace the coupling constant $\alpha_r(M^2)$ by the physical
1621: coupling constant $\alpha_{\rm ph}$, related to $\alpha_r(M^2)$ by
1622: (\ref{label3.19})
1623: %
1624: \begin{eqnarray}\label{label5.35}
1625: \alpha_{\rm ph} = \alpha_r(M^2)\Big[1 + \frac{\beta^2}{8\pi}\,{\ell
1626: n}\Big(\frac{\alpha_r(M^2)}{M^2}\Big)\Big],
1627: \end{eqnarray}
1628: %
1629: where we have kept terms of order $O(\beta^2)$ only. Substituting
1630: (\ref{label5.35}) in (\ref{label5.34}) we get
1631: %
1632: \begin{eqnarray}\label{label5.36}
1633: {\cal L}^{(r)}_{\rm eff}(x) = \frac{1}{2}\partial_{\mu}\vartheta_{\rm
1634: c\ell}(x)\partial^{\mu}\vartheta_{\rm c\ell}(x) +
1635: \frac{\alpha_{\rm ph}}{\beta^2}\,
1636: (\cos\beta\vartheta_{\rm
1637: c\ell}(x) - 1).
1638: \end{eqnarray}
1639: %
1640: The effective Lagrangian (\ref{label5.36}) coincides with the
1641: Lagrangian, renormalized by the quantum fluctuations around the
1642: trivial vacuum (\ref{label3.21}), and corroborates the result obtained
1643: in \cite{FI6}.
1644:
1645: We would like to emphasize that analysing the renormalization of the
1646: sine--Gordon model, caused by Gaussian fluctuations around a soliton,
1647: one can see that Gaussian fluctuations are perturbative fluctuations
1648: of order $O(\alpha_r(M^2)\beta^2)$ valid for $\beta^2 \ll 8\pi$, which
1649: cannot be responsible for non--perturbative contributions to the
1650: soliton mass at $\beta^2 = 8\pi$.
1651:
1652:
1653: \section{Renormalization of the soliton mass by Gaussian fluctuations
1654: in continuous space--time}
1655: \setcounter{equation}{0}
1656:
1657: Using the effective Lagrangian Eq.(\ref{label5.29}) one can calculate
1658: the soliton mass corrected by quantum fluctuations. It
1659: reads
1660: %
1661: \begin{eqnarray}\label{label6.1}
1662: M_s = \frac{8\sqrt{\alpha_0}}{\beta^2} + \Delta M_s,
1663: \end{eqnarray}
1664: %
1665: where $\Delta M_s$ is defined by
1666: %
1667: \begin{eqnarray}\label{label6.2}
1668: \Delta M_s = -\int^{+\infty}_{-\infty}dx^1\,
1669: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x^1)] =
1670: \int^{+\infty}_{-\infty}\frac{dk}{4\pi}\,\sqrt{\alpha_0 + k^2}
1671: \,\frac{d\delta(k)}{dk}.
1672: \end{eqnarray}
1673: %
1674: This corresponds to the correction to the soliton mass, induced by
1675: Gaussian fluctuations, without a {\it surface term}
1676: $-\,\sqrt{\alpha_0}/\pi$ \cite{RR82,AR97}.
1677:
1678: In the Lorentz covariant form the correction to the soliton mass reads
1679: %
1680: \begin{eqnarray}\label{label6.3}
1681: &&\Delta M_s = -\int^{+\infty}_{-\infty}dx^1\,
1682: \delta {\cal L}_{\rm eff}[\vartheta_{\rm c\ell}(x^1)] =\nonumber\\
1683: &&= \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i
1684: }\int^{+\infty}_{-\infty}\frac{dk}{2\pi}\frac{\sqrt{\alpha_0}}{k^2 +
1685: \alpha_0} [{\ell n}(- \omega^2) - {\ell n}(\alpha_0 - \omega^2 +
1686: k^2)]\nonumber\\
1687: &&=-
1688: 2\sqrt{\alpha_0}\int^{+\infty}_{-\infty}\frac{dk}{2\pi}
1689: \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi
1690: i }\frac{1}{\alpha_0 - \omega^2 + k^2 - i\,0},
1691: \end{eqnarray}
1692: %
1693: where we have taken the effective Lagrangian defined by
1694: (\ref{label5.27}) and integrated over $\omega$ by parts. Using the
1695: result of the calculation of the integral (\ref{label5.30}) we get the
1696: following expression for the soliton mass corrected by Gaussian
1697: fluctuations
1698: %
1699: \begin{eqnarray}\label{label6.4}
1700: M_s = \frac{8\sqrt{\alpha_0(\Lambda^2)}}{\beta^2} -
1701: \frac{\sqrt{\alpha_0(\Lambda^2)}}{2\pi}\,{\ell
1702: n}\Big[\frac{\Lambda^2}{\alpha_0(\Lambda^2)}\Big].
1703: \end{eqnarray}
1704: %
1705: The removal of the dependence on the cut--off $\Lambda$ should be
1706: carried out within the renormalization procedure.
1707:
1708: Replacing $\alpha_0(\Lambda^2)$ in (\ref{label6.4}) by
1709: $\alpha_r(M^2) Z_1(\beta^2,M^2; \Lambda^2)$, where the renormalization
1710: constant $Z_1(\beta^2,M^2; \Lambda^2)$ is defined by Eq.(\ref{label1.4}), we get
1711: %
1712: \begin{eqnarray}\label{label6.5}
1713: M_s = \frac{8\sqrt{\alpha_r(M^2) Z_1}}{\beta^2} -
1714: \frac{\sqrt{\alpha_r(M^2)\,Z_1}}{2\pi}\,{\ell
1715: n}\Big[\frac{\Lambda^2}{\alpha_r(M^2) Z_1}\Big].
1716: \end{eqnarray}
1717: %
1718: The renormalization constant $Z_1$ should be expanded in power of
1719: $\beta^2$ to order $O(\beta^2)$. This gives
1720: %
1721: \begin{eqnarray}\label{label6.6}
1722: Z_1 = 1 + \frac{\beta^2}{8\pi}\,{\ell n}\Big(\frac{\Lambda^2}{M^2}\Big).
1723: \end{eqnarray}
1724: %
1725: Substituting (\ref{label6.6}) into (\ref{label6.5}) and keeping
1726: only the leading terms in $\beta^2$ we get
1727: %
1728: \begin{eqnarray}\label{label6.7}
1729: M_s = \frac{8}{\beta^2}\,\sqrt{\alpha_r(M^2)\,\Big[1 +
1730: \frac{\beta^2}{8\pi}\,{\ell
1731: n}\Big(\frac{\alpha_r(M^2)}{M^2}\Big)\Big]}.
1732: \end{eqnarray}
1733: %
1734: Using Eq.(\ref{label5.35}) we can rewrite the r.h.s. of
1735: (\ref{label6.7}) in terms of $\alpha_{\rm ph}$:
1736: %
1737: \begin{eqnarray}\label{label6.8}
1738: M_s = \frac{8\sqrt{\alpha_{\rm ph}}}{\beta^2}.
1739: \end{eqnarray}
1740: %
1741: The mass of a soliton $M_s$ depends on the physical coupling constant
1742: $\alpha_{\rm ph}$. Hence, the contribution of Gaussian fluctuations
1743: around a soliton solution is absorbed by the renormalized coupling
1744: constant $\alpha_{\rm ph}$ and no singularities of the sine--Gordon
1745: model appear at $\beta^2 = 8\pi$.
1746:
1747: This result confirms the assertion by Zamolodchikov and Zamolodchikov
1748: \cite{AZ79}, that the singularity of the sine--Gordon model induced by
1749: the finite correction $-\sqrt{\alpha_{\rm ph}}/\pi$ to the soliton
1750: mass, caused by Gaussian fluctuations around a soliton solution, is
1751: completely due to the regularization and renormalization procedure.
1752: This has been corroborated in \cite{FI6}.
1753:
1754: As has been shown in Section 3, a non--trivial finite correction to
1755: the soliton mass appears due to non--Gaussian quantum fluctuations
1756: of order of $\alpha^2_{\rm ph}\beta^2$ (see Eq.(\ref{label3.31})):
1757:
1758: $$
1759: M_s = \frac{8\sqrt{\alpha_{\rm ph}}}{\beta^2} -
1760: \frac{\sqrt{\alpha_{\rm ph}}}{\pi}. \eqno(3.31)
1761: $$
1762:
1763: \noindent The second term in Eq.(\ref{label3.31}) coincides with that
1764: obtained by Dashen {\it et al.} \cite{RD74,RD75}. However, it is
1765: meaningful only as a perturbative correction for $\beta^2 \ll 8\pi$,
1766: which cannot produce any non--perturbative singularity of the
1767: sine--Gordon model at $\beta^2 = 8\pi$.
1768:
1769: We have obtained that the soliton mass $M_s$ does not depend on the
1770: normalization scale $M$. This testifies that the soliton mass $M_s$
1771: is an observable quantity.
1772:
1773: \section{Renormalization of soliton mass by Gaussian fluctuations.
1774: Space--time discretization technique}
1775: \setcounter{equation}{0}
1776:
1777: Usually the correction to the soliton mass is investigated in the
1778: literature by a discretization procedure \cite{RR82} (see also
1779: \cite{AR97}). The soliton with Gaussian fluctuations is embedded into
1780: a spatial box with a finite volume $L$ and various boundary conditions
1781: for Gaussian fluctuations at $x = \pm L/2$. In such a discretization
1782: approach time is also discrete with a period $T$, which finally has to
1783: be taken in the limit $T \to \infty$. The frequency spectrum is
1784: $\omega_m = 2\pi m/T$ with $m = 0, \pm 1,\ldots$. For various boundary
1785: conditions spectra of the momenta of Gaussian fluctuations around a
1786: soliton and of Klein--Gordon quanta, corresponding to vacuum
1787: fluctuations, are adduced in Table 1.
1788: %
1789: \begin{table}\caption{The spectra of the momenta of Gaussian
1790: fluctuations around a soliton and the Klein--Gordon
1791: quanta. The modes, denoted by $(*)$ are due to the bound state.}
1792:
1793: \vspace{0.2in}
1794:
1795: \begin{tabular}{llll}
1796: \hline\hline&&&\\
1797: {\bf PERIODIC BC:}&&&\\&&&\\
1798: {\bf Soliton Sector} && {\bf Vacuum Sector}&\phantom{xxxx}\\&&&\\
1799: $k_nL+\delta(k_n)=2n\pi$ && $q_nL=2n\pi$&\\
1800: $n=0:(\ast)$ &$\leftarrow1\times\rightarrow$\phantom{xxx}& $n=0:q_0=0$&\\
1801: $n=1:q_1=\frac{\pi}{L}+\mathcal{O}(L^{-2})$ &$\leftarrow2\times\rightarrow$&
1802: $n=1:q_1=\frac{2\pi}{L}$&\\
1803: $\cdots$ &$\leftarrow2\times\rightarrow$& $\cdots$&\\&&&\\
1804: $\sum_{n=1}^\infty\rightarrow\int_{\frac{\pi}{L}+\mathcal{O}(L^{-2})}^\infty
1805: \frac{dk}{2\pi}\Bigl(L +
1806: \frac{d\delta(k)}{dk}\Bigr)$ &&
1807: $\sum_{n=1}^\infty\rightarrow\int_{\frac{2\pi}{L}}^\infty\frac{dq}{2\pi}L$&\\&&&\\
1808: \hline\hline&&&\\
1809: {\bf ANTI-PERIODIC BC:}&&&\\&&&\\
1810: {\bf Soliton Sector} && {\bf Vacuum Sector}&\\&&&\\
1811: $k_nL+\delta(k_n)= (2 n-1)\pi$ && $q_nL= (2 n-1)\pi$&\\
1812: $n=1:(\ast) + k_1=0$ &\hspace{-5mm}$\leftarrow(1+1)\times\rightarrow$&
1813: $n=1:q_1=\frac{\pi}{L}$&\\
1814: $\cdots$ &$\leftarrow2\times\rightarrow$& $\cdots$&\\&&&\\
1815: $\sum_{n=2}^\infty\rightarrow\int_{\frac{2\pi}{L}+\mathcal{O}(L^{-2})}^\infty
1816: \frac{dk}{2\pi}\Bigl(L +
1817: \frac{d\delta(k)}{dk}\Bigr)$ &&
1818: $\sum_{n=2}^\infty\rightarrow\int_{\frac{3\pi}{L}}^\infty\frac{dq}{2\pi}L$&\\&&&\\
1819: \hline\hline&&&\\
1820: {\bf RIGID WALLS:}&&&\\&&&\\
1821: {\bf Soliton Sector} && {\bf Vacuum Sector}&\\&&&\\
1822: $k_nL+\delta(k_n)=n\pi$ && $q_nL=n\pi$&\\
1823: $n=1:(\ast)$ &$\leftarrow1\times\rightarrow$& $n=1:q_1= \frac{\pi}{L}$&\\
1824: $\cdots$ &$\leftarrow1\times\rightarrow$& $\cdots$&\\&&&\\
1825: $\sum_{n=2}^\infty\rightarrow\int_{\frac{\pi}{L}+\mathcal{O}(L^{-2})}^\infty
1826: \frac{dk}{\pi}\Bigl(L +
1827: \frac{d\delta(k)}{dk}\Bigr)$ &&
1828: $\sum_{n=2}^\infty\rightarrow\int_{\frac{2\pi}{L}}^\infty\frac{dq}{\pi}L$&\\&&&\\
1829: \hline\hline
1830: \end{tabular}
1831: \end{table}
1832: %
1833: According to Table 1, for various boundary conditions the corrections
1834: to the soliton mass are given by
1835: %
1836: \begin{eqnarray}\label{label7.1}
1837: \hspace{-0.3in}&&\Delta M^{(\rm p)}_s = \lim_{T \to \infty}\lim_{L \to \infty}\frac{1}{2iT}
1838: \Big\{2\sum^\infty_{m=-\infty}\sum_{n=1}^\infty\Big[{\ell n}\Big(\alpha_0 -
1839: \frac{4\pi^2 m^2}{T^2} + k^2_n\Big) -
1840: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2} + q_n^2\Big)\Big]\nonumber\\
1841: \hspace{-0.3in}&&+ \sum^\infty_{m=-\infty}
1842: \Big[{\ell n}\Big( - \frac{4\pi^2 m^2}{T^2} + \Delta^2(L)\Big) -
1843: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2}\Big)\Big]
1844: \Big\},\nonumber\\
1845: \hspace{-0.3in}&&\Delta M^{(\rm ap)}_s = \lim_{T \to \infty}\lim_{L \to \infty}
1846: \frac{1}{2iT}\Big\{2
1847: \sum^\infty_{m=-\infty}\sum_{n=2}^\infty\Big[{\ell n}\Big(\alpha_0 -
1848: \frac{4\pi^2 m^2}{T^2} +k^2_n\Big) -
1849: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2} + q_n^2\Big)\Big]\nonumber\\
1850: \hspace{-0.3in}&&+ \sum^\infty_{m=-\infty}
1851: \Big[{\ell n}\Big( - \frac{4\pi^2 m^2}{T^2} + \Delta^2(L)\Big) +
1852: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2}\Big) - 2 {\ell n}
1853: \Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2} + q^2_1\Big)\Big]
1854: \Big\}, \nonumber\\
1855: \hspace{-0.3in}&&\Delta M^{(\rm rw)}_s = \lim_{T \to \infty}\lim_{L \to \infty}
1856: \frac{1}{2iT}\Big\{
1857: \sum^\infty_{m=-\infty}\sum_{n=2}^\infty\Big[{\ell n}\Big(\alpha_0 -
1858: \frac{4\pi^2 m^2}{T^2} + k^2_n\Big) -
1859: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2} + q_n^2\Big)\Big]\nonumber\\
1860: \hspace{-0.3in}&&+ \sum^\infty_{m=-\infty}
1861: \Big[{\ell n}\Big( - \frac{4\pi^2 m^2}{T^2} + \Delta^2(L)\Big) -
1862: {\ell n}\Big(\alpha_0 - \frac{4\pi^2 m^2}{T^2} + q^2_1\Big)\Big]
1863: \Big\},
1864: \end{eqnarray}
1865: %
1866: where $\Delta^2(L) \sim \alpha_0\,e^{\textstyle -\sqrt{\alpha_0}\,L}$
1867: at $L \to \infty$, and the abbreviations (p), (ap) and (rw) mean periodic,
1868: anti--periodic boundary conditions and rigid walls, respectively.
1869:
1870: For the summation over $m$ we use the formula, derived by Dolan and
1871: Jackiw \cite{RJ74}:
1872: %
1873: \begin{eqnarray}\label{label7.2}
1874: \sum^{+\infty}_{m = -\,\infty}\Big[{\ell n}\Big(\frac{4m^2\pi^2}{-T^2}
1875: + a^2\Big) - {\ell n}\Big(\frac{4m^2\pi^2}{-T^2} + b^2\Big)\Big] =
1876: i\,(a - b)\,T + 2\,{\ell n}\Bigg(\frac{\displaystyle
1877: 1 - e^{\textstyle\,-i\,a\,T}}{\displaystyle 1 - e^{\textstyle\,-i\,b\,T}}
1878: \Bigg).\quad
1879: \end{eqnarray}
1880: %
1881: Taking the limit $T \to \infty$ we arrive at the expression
1882: %
1883: \begin{eqnarray}\label{label7.3}
1884: \hspace{-0.03in} \Delta M_s = - \frac{\sqrt{\alpha_0}}{2} +
1885: \lim_{L \to \infty}\left\{\begin{array}{r@{\quad,\quad}l}
1886: {\displaystyle \sum^{\infty}_{n = 1}
1887: (\sqrt{\alpha_0 + k^2_n} -
1888: \sqrt{\alpha_0 + q^2_n}\,) }& {\rm periodic~BC}\\
1889: {\displaystyle \sum^{\infty}_{n = 2}
1890: (\sqrt{\alpha_0 + k^2_n} -
1891: \sqrt{\alpha_0 + q^2_n}\,) }& {\rm anti-periodic~BC}\\
1892: {\displaystyle \frac{1}{2}\sum^{\infty}_{n = 2}
1893: (\sqrt{\alpha_0 + k^2_n} -
1894: \sqrt{\alpha_0 + q^2_n}\,)} &{\rm rigid~walls},
1895: \end{array}\right.
1896: \end{eqnarray}
1897: %
1898: where ${\rm BC}$ is the abbreviation of {\it boundary conditions}.
1899:
1900: The aim of our analysis of $\Delta M_s$ within the discretization
1901: procedure is to show that the discretization procedure gives $\Delta
1902: M_s$ in the form of (\ref{label6.3}).
1903:
1904: The subsequent analysis of $\Delta M_s$ we carry out for periodic
1905: boundary conditions only. One can show that for anti--periodic
1906: boundary conditions and rigid walls the result is the same.
1907:
1908: For the next transformation of the r.h.s. of (\ref{label7.3}) we
1909: propose to use the following integral representation
1910: %
1911: \begin{eqnarray}\label{label7.4}
1912: \hspace{-0.05in}\sqrt{\alpha_0 + k^2_n} -
1913: \sqrt{\alpha_0 + q^2_n} = \int^{+\infty}_{-\infty}
1914: \frac{d\omega}{2\pi i}\,
1915: {\ell n}\Big[\frac{\alpha_0 + k^2_n - \omega^2 -i 0}{\alpha_0 +
1916: q^2_n - \omega^2 -i 0}\Big].
1917: \end{eqnarray}
1918: %
1919: This gives
1920: %
1921: \begin{eqnarray}\label{label7.5}
1922: \Delta M^{(\rm p)}_s &=& - \frac{\sqrt{\alpha_0}}{2} +
1923: \lim_{L \to \infty}\sum^{+\infty}_{n = 1}
1924: \int^{+\infty}_{-\infty}
1925: \frac{d\omega}{2\pi i}\;
1926: {\ell n}\Big[\frac{\alpha_0 + k^2_n - \omega^2 -i\,0}{ \alpha_0
1927: + q^2_n - \omega^2 -i\,0}\Big] =\nonumber\\
1928: &=& - \frac{\sqrt{\alpha_0}}{2} +
1929: \int^{+\infty}_{-\infty}
1930: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\sum^{+\infty}_{n = 1}
1931: {\ell n}\Big[\frac{\alpha_0 + k^2_n - \omega^2 -i\,0}{ \alpha_0
1932: + q^2_n - \omega^2 -i\,0}\Big].
1933: \end{eqnarray}
1934: %
1935: To the regularization of the sum over $n$ we apply the {\it
1936: mode--counting} regularization procedure \cite{AR97}:
1937: %
1938: \begin{eqnarray}\label{label7.6}
1939: \hspace{-0.5in} \Delta M^{(\rm p)}_s = - \frac{\sqrt{\alpha_0}}{2} +
1940: \int^{+\infty}_{-\infty}
1941: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\lim_{N\to\infty}\sum^N_{n = 1}
1942: {\ell n}\Big[\frac{\alpha_0 + k^2_n - \omega^2 -i\,0}{
1943: \alpha_0 + q^2_n - \omega^2 -i\,0}\Big].
1944: \end{eqnarray}
1945: %
1946: Passing to the continuous momentum representation \cite{AR97} and using
1947: the spectra of the momenta of Gaussian fluctuations and the
1948: Klein--Gordon fluctuations (the vacuum fluctuations) adduced in Table
1949: 1 we transcribe the r.h.s of (\ref{label7.6}) into the form
1950: %
1951: \begin{eqnarray}\label{label7.7}
1952: \hspace{-0.3in}\Delta M^{(\rm p)}_s &=& - \frac{\sqrt{\alpha_0}}{2} +
1953: \int^{+\infty}_{-\infty}
1954: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\lim_{N\to\infty}
1955: \Big[\int^{k_N}_{k_1}dk\,\frac{dn(k)}{dk}\,
1956: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
1957: \hspace{-0.3in}&&- \int^{q_N}_{q_1}dq\,\frac{dn(q)}{dq}{\ell n}(\alpha_0 + q^2 - \omega^2 -i\,0)\Big] =\nonumber\\
1958: \hspace{-0.3in}&&
1959: - \frac{\sqrt{\alpha_0}}{2} +
1960: \int^{+\infty}_{-\infty}
1961: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\lim_{N\to\infty}
1962: \Big[\int^{k_N}_{k_1}\frac{dk}{2\pi}\,
1963: \Big(L + \frac{d\delta(k)}{dk}\Big)\,\nonumber\\
1964: \hspace{-0.3in}&& \times\,
1965: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0) -
1966: L\int^{q_N}_{q_1}\frac{dk}{2\pi}\,{\ell n}(\alpha_0 + k^2 - \omega^2
1967: -i\,0)\Big],
1968: \end{eqnarray}
1969: %
1970: where the limits are equal to (see Table 1):
1971: %
1972: \begin{eqnarray}\label{label7.8}
1973: k_1 &=& \frac{\pi}{L}\quad,\quad k_N = q_N - \frac{\delta(q_N)}{L} = q_N -
1974: \frac{\sqrt{\alpha_0}}{\pi N},\nonumber\\
1975: q_1 &=& \frac{2\pi}{L}\quad,\quad q_N = \frac{2\pi N}{L}.
1976: \end{eqnarray}
1977: %
1978: Rearranging the limits of integrations we get
1979: %
1980: \begin{eqnarray}\label{label7.9}
1981: \hspace{-0.3in}\Delta M^{(\rm p)}_s &=& - \frac{\sqrt{\alpha_0}}{2} +
1982: \int^{+\infty}_{-\infty}
1983: \frac{d\omega}{2\pi i}\lim_{L \to \infty}
1984: \lim_{N\to \infty}\int^{k_N}_{\pi/L}\frac{dk}{2\pi}\,
1985: \frac{d\delta(k)}{dk}\,
1986: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
1987: \hspace{-0.3in}&& + \int^{+\infty}_{-\infty}
1988: \frac{d\omega}{2\pi i}\,\lim_{L \to \infty}L\int^{2\pi/L}_{\pi/L}\frac{dk}{2\pi}
1989: \,{\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
1990: \hspace{-0.3in}&& - \int^{+\infty}_{-\infty}
1991: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\lim_{N\to\infty}L\int^{q_N}_{k_N}
1992: \frac{dk}{2\pi}\,{\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0) = \nonumber\\
1993: \hspace{-0.3in}&&= - \frac{\sqrt{\alpha_0}}{2} + \int^{+\infty}_{-\infty}
1994: \frac{d\omega}{2\pi i}\,\lim_{L \to \infty}\int^{\infty}_{\pi/L}\frac{dk}{2\pi}\,
1995: \frac{d\delta(k)}{dk}\,
1996: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
1997: \hspace{-0.3in}&& + \int^{+\infty}_{-\infty}
1998: \frac{d\omega}{2\pi i}\,\lim_{L \to \infty}L\int^{2\pi/L}_{\pi/L}\frac{dk}{2\pi}\,
1999: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
2000: \hspace{-0.3in}&& - \int^{+\infty}_{-\infty}
2001: \frac{d\omega}{2\pi i}\lim_{L \to \infty}
2002: \lim_{N\to\infty}L\,\frac{k_N - q_N}{2\pi}\,
2003: {\ell n}(\alpha_0 + k^{*\,2} -
2004: \omega^2 -i\,0).
2005: \end{eqnarray}
2006: %
2007: For the last term we have applied the {\it mean value theorem} with
2008: $q_N - \delta(q_N)/L < k^* < q_N$. Since the difference $k_N - q_N =
2009: \delta(q_N)/L = \sqrt{\alpha_0}/\pi N$ is of order $O(1/N)$, this term
2010: vanishes in the limit $N \to \infty$\,\footnote{We would like to
2011: emphasize that exactly the term of this kind leads to the
2012: contribution of the finite {\it surface term}
2013: $-\,\sqrt{\alpha_0}/\pi$ in a regularization procedure using the
2014: expressions (\ref{label7.3}) without turning to the
2015: integral representation (\ref{label7.4}).}. As a result we get
2016: %
2017: \begin{eqnarray}\label{label7.10}
2018: \hspace{-0.3in}\Delta M^{(\rm p)}_s &=& - \frac{\sqrt{\alpha_0}}{2} +
2019: \int^{+\infty}_{-\infty}
2020: \frac{d\omega}{2\pi i}\lim_{L \to \infty}\int^{\infty}_{\pi/L}\frac{dk}{2\pi}\,
2021: \frac{d\delta(k)}{dk}\,
2022: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0)\nonumber\\
2023: \hspace{-0.3in}&& + \int^{+\infty}_{-\infty}
2024: \frac{d\omega}{2\pi i}\,\lim_{L \to \infty}L\int^{2\pi/L}_{\pi/L}\frac{dk}{2\pi}\,
2025: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0).
2026: \end{eqnarray}
2027: %
2028: Taking the limit $L \to \infty$ and applying to the last term the {\it
2029: mean value theorem} we arrive at the expression
2030: %
2031: \begin{eqnarray}\label{label7.11}
2032: \Delta M^{(\rm p)}_s &=& - \frac{\sqrt{\alpha_0}}{2} + \int^{+\infty}_{-\infty}
2033: \frac{d\omega}{4\pi i}\,{\ell n}(\alpha_0 - \omega^2 -i\,0)\nonumber\\
2034: &&+ \int^{+\infty}_{-\infty}
2035: \frac{d\omega}{2\pi i}\int^{\infty}_0\frac{dk}{2\pi}\,\frac{d\delta(k)}{dk}\,
2036: {\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0),
2037: \end{eqnarray}
2038: %
2039: which we transcribe into the form
2040: %
2041: \begin{eqnarray}\label{label7.12}
2042: \hspace{-0.3in}&&\Delta M^{(\rm p)}_s = - \frac{\sqrt{\alpha_0}}{2} + \int^{+\infty}_{-\infty}
2043: \frac{d\omega}{2\pi i}\int^{\infty}_0\frac{dk}{2\pi}\,\frac{d\delta(k)}{dk}\,
2044: {\ell n}( -\omega^2 -i\,0) + \int^{+\infty}_{-\infty}
2045: \frac{d\omega}{4\pi i}\,{\ell n}(\alpha_0 - \omega^2 -i\,0)\nonumber\\
2046: \hspace{-0.3in}&&+
2047: \int^{+\infty}_{-\infty}
2048: \frac{d\omega}{2\pi i}\int^{\infty}_0\frac{dk}{2\pi}\,\frac{d\delta(k)}{dk}\,
2049: [{\ell n}(\alpha_0 + k^2 - \omega^2 -i\,0) - {\ell n}( -\omega^2 -i\,0)].
2050: \end{eqnarray}
2051: %
2052: The next steps of the reduction of the r.h.s. of (\ref{label7.12}) to
2053: the form (\ref{label6.3}) are rather straightforward. First, one can
2054: easily show that
2055: %
2056: \begin{eqnarray}\label{label7.13}
2057: &&\int^{+\infty}_{-\infty}
2058: \frac{d\omega}{2\pi i}\int^{\infty}_0\frac{dk}{2\pi}\,\frac{d\delta(k)}{dk}\,
2059: {\ell n}( -\omega^2 -i\,0) + \int^{+\infty}_{-\infty}
2060: \frac{d\omega}{4\pi i}\,{\ell n}(\alpha_0 - \omega^2 -i\,0) = \nonumber\\
2061: &&= \int^{+\infty}_{-\infty}\frac{d\omega}{4\pi i}\,
2062: [{\ell n}(\alpha_0 - \omega^2 -i\,0) - {\ell n}( -\omega^2 -i\,0)] =
2063: \frac{\sqrt{\alpha_0}}{2}
2064: \end{eqnarray}
2065: %
2066: and, second, integrating over $\omega$ by parts the last integral in
2067: (\ref{label7.12}) can be reduced to the form
2068: %
2069: \begin{eqnarray}\label{label7.14}
2070: \Delta M^{(\rm p)}_s = -
2071: 2\sqrt{\alpha_0}\int^{+\infty}_{-\infty}\frac{dk}{2\pi}
2072: \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi
2073: i }\frac{1}{\alpha_0 - \omega^2 + k^2 - i\,0}.
2074: \end{eqnarray}
2075: %
2076: Thus, we have shown that the correction to the soliton mass, induced
2077: by Gaussian fluctuations around a soliton and calculated by means of
2078: the discretization procedure, agrees fully with that we have obtained
2079: in continuous space--time (\ref{label6.3}).
2080:
2081: Hence, the renormalization of the soliton mass, caused by Gaussian
2082: fluctuations calculated within the space--time discretization
2083: technique, coincides with the renormalization of the soliton mass in
2084: continuous space--time. We would like to emphasize that the obtained
2085: result (\ref{label7.14}) does not depend on the boundary conditions.
2086:
2087: The calculation of the functional determinant within the
2088: discretization procedure has confirmed the absence of the correction
2089: $-\,\sqrt{\alpha_0}/\pi$. This agrees with our assertion that such a
2090: correction does not appear due to Gaussian fluctuations around a
2091: soliton, corresponding to quantum fluctuations to first orders in
2092: $\alpha_0(\Lambda^2)$ and $\beta^2$.
2093:
2094: The reduction of $\Delta M^{(\rm p)}_s$ of Eq.(\ref{label7.1}) to the expression
2095: (\ref{label6.3}) can be carried out directly. First, summing over $n$
2096: within the {\it mode--counting} regularization procedure and taking
2097: the limit $L\to \infty$ we arrive from $\Delta M^{(\rm p)}_s$ of
2098: Eq.(\ref{label7.1}) at
2099: %
2100: \begin{eqnarray}\label{label7.15}
2101: \hspace{-0.3in} &&\Delta M^{(\rm p)}_s = \lim_{T \to \infty}\frac{1}{iT}
2102: \sum^{\infty}_{m = -\infty}\lim_{L\to \infty}\Big\{\frac{1}{2}\,
2103: \Big[{\ell n}\Big( -\frac{4\pi^2m^2}{T^2} + \Delta^2(L)\Big) -
2104: {\ell n}\Big(\alpha_0 -\frac{4\pi^2m^2}{T^2}\Big)\Big]\nonumber\\
2105: \hspace{-0.3in} &&+ \lim_{N\to \infty}\sum^N_{n = 1}
2106: \Big[{\ell n}\Big(\alpha_0 + k^2_n - \frac{4\pi^2m^2}{T^2}\Big) -
2107: {\ell n}\Big(\alpha_0 + q^2_n - \frac{4\pi^2m^2}{T^2}\Big)\Big]\Big\} =
2108: \nonumber\\
2109: \hspace{-0.3in} &&= \lim_{T \to \infty}\frac{1}{iT}
2110: \sum^{\infty}_{m = -\infty}\lim_{L\to \infty}\Big\{\frac{1}{2}
2111: \Big[{\ell n}\Big( -\frac{4\pi^2m^2}{T^2} + \Delta^2(L)\Big)
2112: - {\ell n}\Big(\alpha_0 - \frac{4\pi^2m^2}{T^2}\Big)\Big]\nonumber\\
2113: \hspace{-0.3in} &&+
2114: \lim_{N\to \infty}\Big[\int^{k_N}_{k_1}dk\frac{dn(k)}{d k}
2115: {\ell n}\Big(\alpha_0 + k^2 - \frac{4\pi^2m^2}{T^2}\Big) -
2116: \int^{q_N}_{q_1}dq \frac{dn(q)}{d q}
2117: {\ell n}\Big(\alpha_0 + q^2 - \frac{4\pi^2m^2}{T^2}\Big)\Big]\Big\} =\nonumber\\
2118: \hspace{-0.3in} &&= \lim_{T \to \infty}\frac{1}{iT}
2119: \sum^{\infty}_{m = -\infty}\lim_{L\to \infty}\Big\{\frac{1}{2}\Big[{\ell n}
2120: \Big( -\frac{4\pi^2m^2}{T^2}
2121: + \Delta^2(L)\Big) - {\ell n}\Big(\alpha_0 -
2122: \frac{4\pi^2m^2}{T^2}\Big)\Big]\nonumber\\
2123: \hspace{-0.3in} &&+ \lim_{N\to \infty}\Big[\int^{k_N}_{\pi/L}\frac{dk}{2\pi}\,
2124: \frac{d\delta(k)}{d k}\,{\ell n}\Big(\alpha_0 + k^2 -
2125: \frac{4\pi^2m^2}{T^2}\Big)+ L\int^{2\pi/L}_{\pi/L}\frac{dk}{2\pi}\,{\ell n}\Big(\alpha_0 + k^2 - \frac{4\pi^2m^2}{T^2}\Big)
2126: \nonumber\\
2127: \hspace{-0.3in} && - L\int^{q_N}_{k_N}\frac{dk}{2\pi}\,
2128: {\ell n}\Big(\alpha_0 - \frac{4\pi^2m^2}{T^2} + k^2\Big)\Big] = \nonumber\\
2129: \hspace{-0.3in} &&= \lim_{T \to \infty}\frac{1}{iT}
2130: \sum^{\infty}_{m = -\infty}\lim_{L\to \infty}\Big\{\frac{1}{2}\Big[{\ell n}\Big( -\frac{4\pi^2m^2}{T^2}
2131: + \Delta^2(L)\Big) - {\ell n}\Big(\alpha_0 -
2132: \frac{4\pi^2m^2}{T^2}\Big)\Big]\nonumber\\
2133: \hspace{-0.3in} &&+ \int^{\infty}_{\pi/L}\frac{dk}{2\pi}\,
2134: \frac{d\delta(k)}{d k}\,{\ell n}\Big(\alpha_0 + k^2 -
2135: \frac{4\pi^2m^2}{T^2}\Big) + L\int^{2\pi/L}_{\pi/L}\frac{dk}{2\pi}\,
2136: {\ell n}\Big(\alpha_0 + k^2 - \frac{4\pi^2m^2}{T^2}\Big)\Big\}=\nonumber\\
2137: \hspace{-0.3in} &&= \lim_{T \to \infty}\frac{1}{iT}
2138: \sum^{\infty}_{m = -\infty}\Big\{\frac{1}{2}
2139: \Big[{\ell n}\Big( -\frac{4\pi^2m^2}{T^2}\Big)
2140: - {\ell n}\Big(\alpha_0 - \frac{4\pi^2m^2}{T^2}\Big)\Big]\nonumber\\
2141: \hspace{-0.3in} &&+\int^{\infty}_0\frac{dk}{2\pi}\,
2142: \frac{d\delta(k)}{d k}\,{\ell n}\Big(\alpha_0 + k^2 -
2143: \frac{4\pi^2m^2}{T^2}\Big)
2144: + \frac{1}{2}\,{\ell n}\Big(\alpha_0 - \frac{4\pi^2m^2}{T^2} \Big)\Big\}=
2145: \nonumber\\
2146: \hspace{-0.3in} &&= \lim_{T \to \infty}\frac{1}{iT}
2147: \sum^{\infty}_{m = -\infty}\Big\{\int^{\infty}_0\frac{dk}{2\pi}\,
2148: \frac{d\delta(k)}{d k}\,{\ell n}\Big(\alpha_0 + k^2 -
2149: \frac{4\pi^2m^2}{T^2}\Big) + \frac{1}{2}\,
2150: {\ell n}\Big(- \frac{4\pi^2m^2}{T^2} \Big)\Big\}.
2151: \end{eqnarray}
2152: %
2153: Now we use the integral representation ${^5}$ and get
2154: %
2155: \begin{eqnarray}\label{label7.16}
2156: \hspace{-0.3in} &&\Delta M^{(\rm p)}_S = \lim_{T \to \infty}\frac{1}{iT}
2157: \sum^{\infty}_{m = -\infty}\int^{\infty}_0\frac{dk}{2\pi}\,
2158: \frac{2\sqrt{\alpha_0}}{\alpha_0 + k^2}\,
2159: \Big[{\ell n}\Big(- \frac{4\pi^2m^2}{T^2} \Big) -
2160: {\ell n}\Big(\alpha_0 + k^2 -
2161: \frac{4\pi^2m^2}{T^2}\Big) \Big] =
2162: \nonumber\\
2163: \hspace{-0.3in} &&=\lim_{T\to \infty}\int^{+\infty}_{-\infty}\frac{d\omega}{iT}\,
2164: \frac{dm(\omega)}{d\omega}\int^{\infty}_0\frac{dk}{2\pi}\,\frac{2\sqrt{\alpha_0}}{\alpha_0 + k^2}\,[{\ell n}(- \omega^2) -
2165: {\ell n}(\alpha_0 + k^2 - \omega^2)]=\nonumber\\
2166: \hspace{-0.3in} &&=\int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i}\int^{\infty}_0
2167: \frac{dk}{2\pi}\,\frac{2\sqrt{\alpha_0}}{\alpha_0 + k^2}\,
2168: [{\ell n}(- \omega^2) -
2169: {\ell n}(\alpha_0 + k^2 - \omega^2)] =\nonumber\\
2170: \hspace{-0.3in} &&= - 2\sqrt{\alpha_0}
2171: \int^{+\infty}_{-\infty}\frac{d\omega}{2\pi i}\int^{\infty}_{-\infty}
2172: \frac{dk}{2\pi}\,\frac{1}{\alpha_0 - \omega^2 + k^2 -i\,0}.
2173: \end{eqnarray}
2174: %
2175: For the other boundary conditions we get the same result.
2176:
2177: Thus, we have shown that the discretized version of the correction to
2178: the soliton mass reduces to the continuum result if one transcribes
2179: first the sum over the quantum number $n$ of the momenta of Gaussian
2180: and vacuum fluctuations into the corresponding integral over the
2181: momentum $k$.
2182:
2183: \section{Conclusion}
2184:
2185: We have investigated the renormalizability of the sine--Gordon model.
2186: We have analysed the renormalizability of the two--point Green
2187: function to second order in $\alpha$ and to all orders in $\beta^2$.
2188: We have shown that the divergences appearing in the sine--Gordon model
2189: can be removed by the renormalization of the dimensional coupling
2190: constant $\alpha_0(\Lambda^2)$. We remind that the coupling constant
2191: $\beta^2$ is not renormalizable. This agrees well with a possible
2192: interpretation of the coupling constant $\beta^2$ as $\hbar$
2193: \cite{SC75,FI1}. The quantum fluctuations calculated to first order in
2194: $\alpha_r(M^2)$, the renormalized dimensional coupling constant
2195: depending on the normalization scale $M$, and to arbitrary order in
2196: $\beta^2$ after removal of divergences form a physical coupling
2197: constant $\alpha_{\rm ph}$, which is finite and does not depend on the
2198: normalization scale $M$. We have argued that the total renormalized
2199: two--point Green function depends on the physical coupling constant
2200: $\alpha_{\rm ph}$ only. In order to illustrate this assertion (i) we
2201: have calculated the correction to the two--point Green function to
2202: second order in $\alpha_r(M^2)$ and to all orders in $\beta^2$ and
2203: (ii) we have solved the Callan--Symanzik equation for the two--point
2204: Green function with the Gell--Mann--Low function, defined to all
2205: orders in $\alpha_r(M^2)$ and $\beta^2$. We have found that the
2206: two--point Green function of the sine--Gordon field depends on the
2207: running coupling constant $\alpha_r(p^2) = \alpha_{\rm
2208: ph}(p^2/\alpha_{\rm ph})^{\tilde{\beta}^2/8\pi}$, where
2209: $\tilde{\beta}^2 = \beta^2/(1 + \beta^2/8\pi) < 1$ for any $\beta^2$.
2210:
2211: We have shown that the finite contribution of the quantum
2212: fluctuations, calculated to second order in $\alpha_{\rm ph}$ and to
2213: first order in $\beta^2$, leads to an effective Lagrangian
2214:
2215: $$
2216: {\cal L}(x) = \frac{1}{2}\,\partial_{\mu}\vartheta(x)
2217: \partial^{\mu}\vartheta(x) + \frac{\alpha_{\rm eff}}{\beta^2}\,
2218: (\cos\beta\vartheta(x) - 1)\eqno(3.30)
2219: $$
2220:
2221: \noindent with the effective coupling constant $\alpha_{\rm eff} =
2222: \alpha_{\rm ph}\,(1 - \beta^2/4\pi)$, which defines the soliton mass
2223:
2224: $$
2225: M_s = \frac{8\sqrt{\alpha_{\rm eff}}}{\beta^2} =
2226: \frac{8\sqrt{\alpha_{\rm ph}}}{\beta^2} -
2227: \frac{\sqrt{\alpha_{\rm ph}}}{\pi}.\eqno(3.31)
2228: $$
2229:
2230: \noindent The term $-\,\sqrt{\alpha_{\rm ph}}/\pi$ is a perturbative
2231: finite correction to the soliton mass, which coincides with the result
2232: obtained by Dashen {\it et al.} \cite{RD74,RD75}. Such a correction
2233: has been interpreted in the literature as a non--perturbative
2234: contribution leading to a singularity of the sine--Gordon model at
2235: $\beta^2 = 8\pi$ (see also \cite{LD78}). However, in our approach
2236: such a correction is a perturbative one valid for $\beta^2 \ll 8\pi$
2237: and does not provide any singularity for the sine--Gordon model in the
2238: non--perturbative regime $\beta^2 \sim 8\pi$. This confirms the
2239: conjecture by Zamolodchikov and Zamolodchikov \cite{AZ79} that a
2240: singularity of the sine--Gordon model at $\beta^2 = 8\pi$
2241: \cite{RD74,RD75,LD78} is a superficial one and depends on the
2242: regularization and renormalization procedure. This has been
2243: corroborated in \cite{FI6}.
2244:
2245:
2246: In addition to the analysis of the renormalizability of the
2247: sine--Gordon model with respect to quantum fluctuations relative to
2248: the trivial vacuum, we have analysed the renormalizability of the
2249: sine--Gordon model with respect to quantum fluctuations around a
2250: soliton. Following Dashen {\it et al.} \cite{RD74,RD75} and Faddeev
2251: and Korepin \cite{LD78} we have taken into account only Gaussian
2252: fluctuations.
2253:
2254: For the calculation of the effective Lagrangian, induced by Gaussian
2255: fluctuations, we have used the path--integral approach and integrated
2256: over the field $\varphi(x)$, fluctuating around a soliton. This has
2257: allowed to express the effective Lagrangian in terms of the functional
2258: determinant. For the calculation of the contribution of the
2259: functional determinant we have used the eigenfunctions and eigenvalues
2260: of the differential operator, describing the evolution of the field
2261: $\varphi(x)$. We have shown that the renormalized effective
2262: Lagrangian, induced by Gaussian fluctuations around a soliton,
2263: coincides completely with the renormalized Lagrangian of the
2264: sine--Gordon model, caused by quantum fluctuations around the trivial
2265: vacuum to first order in $\alpha_0$ and to second order in $\beta^2$.
2266: After the removal of divergences the total effective Lagrangian,
2267: caused by Gaussian fluctuations around a soliton, is equal to
2268: (\ref{label3.21})
2269:
2270: $$
2271: {\cal L}(x) = \frac{1}{2}\,\partial_{\mu}\vartheta(x)
2272: \partial^{\mu}\vartheta(x) +
2273: \frac{\alpha_{\rm ph}}{\beta^2}\,
2274: (\cos\beta\vartheta(x) - 1).\eqno(3.21)
2275: $$
2276:
2277: \noindent This implies that Gaussian fluctuations around a soliton do
2278: not produce any quantum corrections to the soliton mass. After the
2279: removal divergences the soliton mass is equal to the mass of a
2280: soliton, calculated without quantum corrections, with the replacement
2281: $\alpha_0 \to \alpha_{\rm ph}$. Hence, no non--perturbative
2282: singularities of the sine Gordon model at $\beta^2 = 8\pi$ can be
2283: induced by Gaussian fluctuations around a soliton.
2284:
2285: For the confirmation of our results, obtained in continuous
2286: space--time, we have calculated the functional determinant caused by
2287: Gaussian fluctuations around a soliton within the discretization
2288: procedure with periodic and anti--periodic boundary conditions and
2289: rigid walls. We have shown that the result of the calculation of the
2290: functional determinant (i) coincides with that we have obtained in
2291: continuous space--time and (ii) does not depend on the boundary
2292: conditions.
2293:
2294: \newpage
2295:
2296: \section*{Appendix. Solutions of the differential equation for
2297: Gaussian fluctuations around a soliton }
2298:
2299: Making a change of variables $\xi = \tanh(\sqrt{\alpha_0}\sigma)$ we
2300: reduce (\ref{label5.15}) to the form \cite{LL65}
2301:
2302: $$
2303: \frac{d}{d\xi}\Big[(1 - \xi^2)\frac{d\psi(\xi)}{d \xi}\Big] +\Big[s(s
2304: + 1) - \frac{\epsilon^2}{1 - \xi^2}\Big]\psi(\xi) = 0,\eqno({ \rm
2305: A}.1)
2306: $$
2307:
2308: \noindent where $s(s + 1) = 2$ and $\epsilon^2 = - k^2/\alpha_0 = 1 -
2309: \omega^2/\alpha_0$ \cite{LL65}.
2310:
2311: Substituting $\psi(\xi) = (1 - \xi^2)^{\epsilon/2}\,w(\xi)$ and
2312: denoting $u = (1 - \xi)/2$ we arrive at the equation \cite{LL65}
2313:
2314: $$
2315: u(1 - u)w\,'' + (\epsilon + 1)(1 - 2u)\,w\,' - (\epsilon - s)(\epsilon
2316: + s + 1)\,w = 0.\eqno({ \rm A}.2)
2317: $$
2318:
2319: \noindent The solution of this equation can be given in terms of hypergeometric
2320: functions $F(a,b; c; z)$ \cite{NL73} (see also \cite{HMF72}). It reads
2321:
2322: $$
2323: w(\xi) = w^{(1)}(\xi) + w^{(2)}(\xi) = C_1\,F\Big(\epsilon - s, \epsilon + s
2324: + 1; \epsilon + 1;\frac{1 - \xi}{2}\Big)
2325: $$
2326: $$
2327: + C_2\,\Big(\frac{1 - \xi}{2}\Big)^{-\epsilon} \,F\Big( - s, s + 1; 1
2328: - \epsilon; \frac{1 - \xi}{2}\Big),\eqno({ \rm A}.3)
2329: $$
2330:
2331: \noindent where $C_1$ and $C_2$ are the integration constants.
2332:
2333: The parameter $s$ acquires two values $s = -2, + 1$, which are
2334: solutions of the equation $s(s + 1) = 2$. Since for both case the
2335: hypergeometric functions coincide \cite{NL73}, setting $s = 1$ we
2336: obtain
2337:
2338: $$
2339: w(\xi) = w^{(1)}(\xi) + w^{(2)}(\xi) = C_1\,
2340: F\Big(\epsilon - 1, \epsilon + 2; \epsilon + 1;\frac{1 - \xi}{2}\Big)
2341: $$
2342: $$
2343: + C_2\,\Big(\frac{1 - \xi}{2}\Big)^{-\epsilon} \,F\Big( - 1, 2;
2344: 1 - \epsilon; \frac{1 - \xi}{2}\Big).\eqno({ \rm A}.4)
2345: $$
2346:
2347: \noindent For arbitrary $\epsilon$ the solution $w^{(2)}(\xi)$ can be
2348: reduced to the polynomial \cite{NL73}
2349:
2350: $$
2351: w^{(2)}(\xi) = C_2\,\Big(\frac{1 -
2352: \xi}{2}\Big)^{-\epsilon}\,F\Big( 2, -1; 1 - \epsilon; \frac{1 -
2353: \xi}{2}\Big) =
2354: $$
2355: $$
2356: = C_2\,\Big(\frac{1 -
2357: \xi}{2}\Big)^{-\epsilon}\,F\Big( - 1, 2; 1 - \epsilon; \frac{1 -
2358: \xi}{2}\Big) = C_2\,\Big(\frac{1 -
2359: \xi}{2}\Big)^{-\epsilon}\,\frac{\xi - \epsilon}{1 -
2360: \epsilon}.\eqno({ \rm A}.5)
2361: $$
2362:
2363: \noindent One can show that the solution $w^{(1)}(\xi)$ can be reduced
2364: to a polynomial too. For this aim we suggest to use the following
2365: relation for hypergeometric functions \cite{HMF72,NL73}
2366:
2367: $$
2368: F\Big(a,b;c;\frac{1 - \xi}{2}\Big) =
2369: \frac{\Gamma(c)\Gamma(c - a - b)}{\Gamma(c - a) \Gamma(c -
2370: b)}\,F\Big(a,b;a + b - c + 1; \frac{1 + \xi}{2}\Big)
2371: $$
2372: $$
2373: +
2374: \Big(\frac{1 + \xi}{2}\Big)^{c - a - b}\,\frac{\Gamma(c)\Gamma(a + b -
2375: c)}{\Gamma(a) \Gamma( b)}\,F\Big(c - a, c - b; c - a - b + 1;
2376: \frac{1 + \xi}{2}\Big).\eqno({ \rm A}.6)
2377: $$
2378:
2379: \noindent For the solution
2380: $w^{(1)}(\xi)$ we get
2381:
2382: $$
2383: w^{(1)}(\xi) = C_1\,F\Big(\epsilon - 1,
2384: \epsilon + 2; \epsilon + 1;\frac{1 - \xi}{2}\Big) =
2385: C_1\,\frac{\Gamma(\epsilon + 1)\Gamma(-\,\epsilon)}{\Gamma(-1)
2386: }\,F\Big(\epsilon - 1, \epsilon + 2; \epsilon + 1; \frac{1 +
2387: \xi}{2}\Big)
2388: $$
2389: $$
2390: + C_1\,\frac{\Gamma(\epsilon +
2391: 1)\Gamma(\epsilon)}{\Gamma(\epsilon - 1) \Gamma(\epsilon + 2)}\,\Big(\frac{1 +
2392: \xi}{2}\Big)^{-\epsilon}\,F\Big(2, - 1; 1 - \epsilon; \frac{1 +
2393: \xi}{2}\Big) = C_1\,\Big(\frac{1 +
2394: \xi}{2}\Big)^{-\epsilon}\,\frac{\epsilon + \xi}{1 +
2395: \epsilon}.\eqno({ \rm A}.7)
2396: $$
2397:
2398: \noindent Thus, the fluctuating field
2399: $\psi(\xi)$ is equal to
2400:
2401: $$
2402: \psi(\xi) =
2403: C_1\,2^{\,\epsilon}\,\Big(\frac{1 - \xi}{1 +
2404: \xi}\Big)^{\epsilon/2}\,\frac{\epsilon + \xi}{1 + \epsilon} +
2405: C_2\,2^{\,\epsilon}\,\Big(\frac{1 + \xi}{1 -
2406: \xi}\Big)^{\epsilon/2}\,\frac{ \xi - \epsilon }{1 -
2407: \epsilon}.\eqno({ \rm A}.8)
2408: $$
2409:
2410: \noindent In terms of $\sigma$ the classical
2411: solution for the fluctuating field reads
2412:
2413: $$
2414: \psi(\sigma) =
2415: C_1\,(\epsilon + \tanh(\sqrt{\alpha_0}\sigma))\,e^{\textstyle\,-
2416: \epsilon \sqrt{\alpha_0} \sigma} + C_2\,(- \epsilon +
2417: \tanh(\sqrt{\alpha_0}\sigma))\,e^{\textstyle\,+ \epsilon
2418: \sqrt{\alpha_0}\sigma},\eqno({ \rm A}.9)
2419: $$
2420:
2421: \noindent where we have redefined
2422: the integration constants. These solutions describe a bound state for
2423: $\epsilon = \pm 1$ and a scattering state for $\epsilon = \pm
2424: ik/\sqrt{\alpha_0}$. They are
2425:
2426: $$
2427: \psi_b(\sigma) = \sqrt{\frac{\sqrt{\alpha_0}}{2}}\,
2428: \frac{1}{\cosh(\sqrt{\alpha_0}\sigma)},
2429: $$
2430: $$
2431: \psi_k(\sigma) =
2432: \frac{i}{\sqrt{2\pi}}\,\frac{-ik +
2433: \sqrt{\alpha_0}\,\tanh(\sqrt{\alpha_0}\sigma)}{\sqrt{k^2 +
2434: \alpha_0}}\,e^{\textstyle\,+ ik\sigma}.\eqno({ \rm A}.10)
2435: $$
2436:
2437: \noindent The wave functions $\psi_k(\sigma)$, given by ({\rm A}.10),
2438: are normalized to the $\delta$--function as
2439:
2440: $$
2441: \int^{+\infty}_{-\infty}d\sigma\, \psi^*_{k\,'}(\sigma)
2442: \psi_{k}(\sigma) = \frac{1}{k\,'\,^2 -
2443: k^2}\,\Big(\psi^*_{k\,'}(\sigma) \frac{d}{d\sigma}\psi_{k}(\sigma) -
2444: \psi_{k}(\sigma)\frac{d}{d \sigma}
2445: \psi^*_{k\,'}(\sigma)\Big)\Big|^{+\infty}_{-\infty} =\delta(k\,' -
2446: k).\eqno({ \rm A}.11)
2447: $$
2448:
2449: \noindent The fluctuating field $\varphi(\tau,\sigma)$
2450: is equal to
2451:
2452: $$
2453: \varphi_{\omega b}(\tau,\sigma) =
2454: \frac{1}{\sqrt{2\pi}}\,\sqrt{\frac{\sqrt{\alpha_0}}{2}}\,
2455: \frac{1}{\cosh(\sqrt{\alpha_0}\sigma)}\, e^{\textstyle\,-i\omega \tau
2456: },
2457: $$
2458: $$
2459: \varphi_{\omega k}(\tau,\sigma) = \frac{i}{2\pi}\,\frac{-ik +
2460: \sqrt{\alpha_0}\,\tanh(\sqrt{\alpha_0}\sigma)}{\sqrt{k^2 +
2461: \alpha_0}}\,e^{\textstyle\,-i\omega \tau + ik\sigma}. \eqno({ \rm
2462: A}.12)
2463: $$
2464:
2465: \noindent They are normalized by
2466:
2467: $$
2468: \int^{+\infty}_{-\infty}\int^{+\infty}_{-\infty}d\tau\varphi^*_{\omega\,'
2469: b}(\tau,\sigma)\varphi_{\omega b}(\tau,\sigma) = \delta(\omega\,' -
2470: \omega),
2471: $$
2472: $$
2473: \int^{+\infty}_{-\infty}\int^{+\infty}_{-\infty}d\tau
2474: d\sigma\, \varphi^*_{\omega\,' k\,'}(\tau,\sigma) \varphi_{\omega
2475: k}(\tau,\sigma) = \delta(\omega\,' - \omega)\delta(k\,' - k).\eqno({
2476: \rm A}.13)
2477: $$
2478:
2479: \noindent The eigenfunction $\psi_b(\sigma)$ has the eigenvalue zero,
2480: $\omega = 0$. This corresponds to the bound state \cite{JR70}. The
2481: eigenfunction $\psi_b(\sigma)$ is normalized to unity
2482:
2483: $$
2484: \int^{+\infty}_{-\infty}d\sigma\,|\psi_b(\sigma)|^2 = 1.\eqno({ \rm
2485: A}.14)
2486: $$
2487:
2488: \noindent The solutions ({\rm A}.10) satisfy the completeness
2489: condition \cite{JR70}
2490:
2491: $$
2492: \int^{+\infty}_{-\infty}dk\,\psi^*_k(\sigma\,'\,)\psi_k(\sigma) +
2493: \psi_b(\sigma\,'\,)\psi_b(\sigma) = \delta(\sigma\,' - \sigma).
2494: \eqno({ \rm A}.15)
2495: $$
2496:
2497: \noindent The proof of the completeness condition ({\rm
2498: A}.15)
2499:
2500: $$
2501: \int^{+\infty}_{-\infty}dk\,\psi^*_k(\sigma\,'\,)\psi_k(\sigma) +
2502: \psi_b(\sigma\,'\,)\psi_b(\sigma) =
2503: \int^{+\infty}_{-\infty}\frac{dk}{2\pi}\,e^{\textstyle ik(\sigma -
2504: \sigma\,')}
2505: $$
2506: $$
2507: + \sqrt{\alpha_0}\,[\tanh(\sqrt{\alpha_0}\sigma) -
2508: \tanh(\sqrt{\alpha_0}\sigma\,'\,)]\int^{+\infty}_{-\infty}
2509: \frac{dk}{2\pi}\,\frac{ik}{k^2
2510: + \alpha_0}\,e^{\textstyle ik(\sigma - \sigma\,')}
2511: $$
2512: $$
2513: +
2514: \alpha_0\, [\tanh(\sqrt{\alpha_0}\sigma\,'\,)
2515: \tanh(\sqrt{\alpha_0}\sigma) - 1]
2516: \int^{+\infty}_{-\infty}\frac{dk}{2\pi}\,\frac{1}{k^2 +
2517: \alpha_0}\,e^{\textstyle ik(\sigma - \sigma\,')}
2518: $$
2519: $$
2520: +
2521: \frac{\sqrt{\alpha_0}}{2}\,\frac{1}{\cosh(\sqrt{\alpha_0}\sigma\,'\,)}\,\frac{1}{\cosh(\sqrt{\alpha_0}\sigma)}.
2522: \eqno({\rm A}.16)
2523: $$
2524:
2525: \noindent Integrating over $k$ we get
2526:
2527: $$
2528: \int^{+\infty}_{-\infty}dk\,\psi^*_k(\sigma\,'\,)\psi_k(\sigma) +
2529: \psi_b(\sigma\,'\,)\psi_b(\sigma) = \delta(\sigma\,' - \sigma) -
2530: \frac{\sqrt{\alpha_0}}{2}\,\frac{1}{\cosh(\sqrt{\alpha_0}\sigma\,'\,)}\,\frac{1}{\cosh(\sqrt{\alpha_0}\sigma)}
2531: $$
2532: $$
2533: \times\,e^{\textstyle\,-\sqrt{\alpha_0}|\sigma -
2534: \sigma\,'\,|}\,[\varepsilon(\sigma -
2535: \sigma\,'\,)\,\sinh(\sqrt{\alpha_0}(\sigma - \sigma\,'\,)) +
2536: \cosh(\sqrt{\alpha_0}(\sigma - \sigma\,'\,))]
2537: $$
2538: $$
2539: +
2540: \frac{\sqrt{\alpha_0}}{2}\,\frac{1}{\cosh(\sqrt{\alpha_0}
2541: \sigma\,'\,)}\,\frac{1}{\cosh(\sqrt{\alpha_0}\sigma)}
2542: = \delta(\sigma\,' - \sigma),\eqno({ \rm A}.17)
2543: $$
2544:
2545: \noindent where $\varepsilon(\sigma - \sigma\,'\,)$ is the
2546: sign--function. The term, proportional to
2547: $e^{\textstyle\,-\sqrt{\alpha_0}|\sigma - \sigma\,'\,|}$, is given by
2548: the contributions of the second and the third terms of the r.h.s. of
2549: ({\rm A}.16). For the derivation of ({\rm A}.17) we have used the
2550: relation
2551:
2552: $$
2553: \varepsilon(\sigma - \sigma\,'\,)\,\sinh(\sqrt{\alpha_0}((\sigma -
2554: \sigma\,'\,)) + \cosh(\sqrt{\alpha_0}(\sigma - \sigma\,'\,)) =
2555: e^{\textstyle\,+ \sqrt{\alpha_0}|\sigma - \sigma\,'\,|}.\eqno({ \rm
2556: A}.17)
2557: $$
2558:
2559: \noindent Thus, the contribution of the second and the third terms
2560: in the r.h.s. of ({\rm A}.16) cancel the contribution of the
2561: zero--mode $\psi_b(\sigma)$. This completes the proof of the
2562: completeness condition ({\rm A}.15).
2563:
2564:
2565: \newpage
2566:
2567:
2568: \begin{thebibliography}{9}
2569: \bibitem{SC75}
2570: S. Coleman, Phys. Rev. D {\bf 11}, 2088 (1975).
2571: \bibitem{FI6}
2572: M. Faber and A. N. Ivanov,
2573: J. Phys. A {\bf 36}, 7839 (2003) and references therein.
2574: \bibitem{IZ80}
2575: C. Itzykson and J.--B. Zuber,
2576: in {\it QUANTUM FIELD THEORY}, McGraw--Hill, New York, 1980.
2577: \bibitem{MP95}
2578: M. E. Peskin and D. V. Schroeder,
2579: in {\it QUANTUM FIELD THEORY}, Perseus Books,
2580: Reading, Massachusetts, 1995.
2581: \bibitem{SW96}
2582: S. Weinberg,
2583: in {\it THE QUANTUM THEORY OF FIELDS}, Vol. II {\it Modern Applications},
2584: Cambridge University Press, 1996.
2585: \bibitem{RD74}
2586: R. F. Dashen, B. Hasslacher, and A. Neveu,
2587: Phys. Rev. D {\bf 10}, 4130 (1974).
2588: \bibitem{RD75} R. F. Dashen, B. Hasslacher, and A. Neveu, Phys. Rev. D
2589: {\bf 11}, 3424 (1975).
2590: \bibitem{AZ79}
2591: Alexander B. Zamolodchikov and Alexey B. Zamolodchikov,
2592: Ann. of Phys. {\bf 120}, 253 (1979).
2593: \bibitem{LD78}
2594: L. D. Faddeev and V. E. Korepin,
2595: Phys. Rep. {\bf 42}, 1 (1978).
2596: \bibitem{RC62}
2597: R. Courant and D. Hilbert,
2598: in {\it METHODS OF MATHEMATICAL PHYSICS, Partial Differential Equations},
2599: Vol. II, Interscience Publishers, John Wiley $\&$ Sons, New York, 1962.
2600: \bibitem{JR70}
2601: J. Rubinstein,
2602: J. of Math. Phys. {\bf 11}, 258 (1970).
2603: \bibitem{NN65}
2604: N. N. Lebedev, I. P. Slalskaya, and Y. S. Uflyand,
2605: in {\it Problems of Mathematical Physics},
2606: Prentice--Hall, Inc., Englewood Cliffs, New Jersey, 1965, pp.55--102.
2607: \bibitem{MP95a}
2608: (see \cite{MP95} p.286)
2609: \bibitem{RR82}
2610: R. Rajaraman,
2611: in {\it Solitons and Instantons},
2612: North--Holland, 1982.
2613: \bibitem{AR97}
2614: A. Rebhan and P. van Nieuwenhuizen,
2615: Nucl. Phys. B {\bf 508}, 449 (1997).
2616: \bibitem{RJ74}
2617: L. Dolan and R. Jackiw,
2618: Phys. Rev. D {\bf 9}, 3320 (1974)
2619: \bibitem{FI1}
2620: M. Faber and A. N. Ivanov, Eur. Phys. J. C {\bf 20}, 723 (2001);
2621: hep-th/0105057.
2622: \bibitem{LL65}
2623: L. D. Landau and E. M. Lifshitz,
2624: in {\it QUANTUM MECHANICS}, Pergamon Press, New York, 1965.
2625: \bibitem{NL73}
2626: N. N. Lebedew,
2627: in {\it SPEZIELLE FUNKTIONEN UND IHRE ANWENDUNG},
2628: Wissenschaftsverlag, Bibliographisches Institut, Mannheim,
2629: 1973.
2630: \bibitem{HMF72}
2631: {\it HANDBOOK OF MATHEMATICAL FUNCTIONS, with Formulas,
2632: Graphs, and Mathematical Tables}, ed. by M. Abramowitz and
2633: I. E. Stegun, U.S. Department of Commerce, National Bureau of
2634: Standards, Applied Mathematics Series $\bullet$ 55, 1972.
2635: \end{thebibliography}
2636:
2637: \end{document}
2638:
2639:
2640:
2641:
2642:
2643:
2644:
2645:
2646:
2647:
2648:
2649:
2650:
2651:
2652:
2653:
2654:
2655:
2656:
2657:
2658:
2659:
2660:
2661:
2662:
2663:
2664:
2665:
2666:
2667:
2668: