1. INTRODUCTION
Compton scattering of a laser beam with relativistic electrons has become an efficient source of highly polarized, nearly monoenergetic, and tunable high-energy photons. These Compton photon beams have various industrial, medical, and scientific applications. Therefore, it is of great importance to theoretically predict spectral and spatial distributions of Compton photon beams, and to control their properties using the incident beam parameters. While the theory of a Compton process induced by a monochromatic plane wave laser field is well documented in the literature (for recent reviews, see Di Piazza et al., Reference Di Piazza, Müller, Hatsagortsyan and Keitel2012; Ehlotzky et al., Reference Ehlotzky, Krajewska and Kamiński2009; Rashchupkin et al., Reference Rashchupkin, Lebed' and Padusenko2012), there is a need to fully understand the situation when a finite laser pulse collides with the target particles.
In the first analysis of a Compton process beyond the monochromatic plane wave approximation, the scattering by a Klein-Gordon particle was considered (Neville & Rohrlich, Reference Neville and Rohrlich1971). The Compton scattering by a Dirac particle for long laser pulses, in which case the slowly-varying envelope approximation is justified, was considered (Narozhny & Fofanov, Reference Narozhny and Fofanov1996). For intense, few-cycle pulses, which are used in modern experimental setups, a more adequate treatment of the temporal structure of an incident laser pulse is necessary. Such a treatment has been used in very recent papers (Boca et al., Reference Boca, Dinu and Florescu2012a, Reference Boca, Dinu and Florescu2012b; Boca & Florescu, Reference Boca and Florescu2009; Reference Boca and Florescu2011; Heinzl et al., Reference Heinzl, Seipt and Kämpfer2010; Krajewska & Kamiński, Reference Krajewska and Kamiński2012a; Mackenroth & Di Piazza, Reference Mackenroth and Di Piazza2011; Mackenroth et al., Reference Mackenroth, Di Piazza and Keitel2010; Seipt & Kämpfer, Reference Seipt and Kämpfer2011). In these papers, the laser field has been modeled by a plane-wave-fronted pulse (PWFP), which has finite extension in the propagation direction but has infinite extension in the transverse direction. As argued (Bulanov et al., Reference Bulanov, Esirkepov, Hayashi, Kando, Kiriyama, Koga, Kondo, Kotaki, Pirozhkov, Bulanov, Zhidkov, Chen, Neely, Kato, Narozhny and Korn2011), this approximation is justified for highly energetic electrons moving in a laser pulse, since the action of the laser ponderomotive force pushing these electrons aside with respect to the pulse propagation direction can be neglected. For completeness, let us also mention that such a description has been proposed by Neville and Rohrlich (Reference Neville and Rohrlich1971).
Various aspects of Compton scattering; including the carrier-envelope phase effects, the shape effects, the sensitivity of the Compton radiation to the incident pulse duration, were analyzed (Boca et al., Reference Boca, Dinu and Florescu2012a, Reference Boca, Dinu and Florescu2012b; Boca & Florescu, Reference Boca and Florescu2009; Reference Boca and Florescu2011; Heinzl et al., Reference Heinzl, Seipt and Kämpfer2010; Krajewska & Kamiński, Reference Krajewska and Kamiński2012a; Mackenroth & Di Piazza, Reference Mackenroth and Di Piazza2011; Mackenroth et al., Reference Mackenroth, Di Piazza and Keitel2010; Seipt & Kämpfer, Reference Seipt and Kämpfer2011). However, in only one of these papers were the electron spin effects in Compton scattering by a pulsed laser field explicitly studied (Boca et al., Reference Boca, Dinu and Florescu2012b). Prior investigations of spin effects in Compton scattering concerned a monochromatic plane wave field (Bolshedvorsky & Polityko, Reference Bolshedvorsky and Polityko2000; Ivanov et al., Reference Ivanov, Kotkin and Serbo2004; Panek et al., Reference Panek, Kamiński and Ehlotzky2002). It followed from these investigations that the processes which are not accompanied by the electron spin flip dominate above those which are. It is the aim of the present paper to check whether this is also the case for the Compton process induced by a finite pulse. More importantly, we will investigate whether the spin effects vary with the incident pulse duration or with its carrier-envelope phase. For this purpose, we will consider the linearly polarized laser field impinging on the target electron. This is in contrast to the situation analyzed in (Boca et al., Reference Boca, Dinu and Florescu2012b), where the circularly polarized laser pulse was considered. Let us also note that a lot of effort has been made in the literature to describe the classical counterpart of Compton scattering, which is Thomson scattering (Lau et al., Reference Lau, He, Umstadter and Kowalczyk2003; Popa, Reference Popa2011; Reference Popa2012; Umstadter, Reference Umstadter2003). It appears that for some parameters of the colliding beams, the Compton scattering spectra averaged over the electron spin give exactly the same results as Thomson scattering (Boca & Florescu, Reference Boca and Florescu2011; Heinzl et al., Reference Heinzl, Seipt and Kämpfer2010; Seipt & Kämpfer, Reference Seipt and Kämpfer2011), i.e., for those parameters the spin effects do not play a significant role.
2. THEORY
In this paper, the formulas are given in units such that ħ = 1, whereas the numerical results are presented in relativistic units in which ħ = m e = c = 1, where m e is the electron rest mass. We use the light-cone coordinates (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a). Namely, for a given space direction determined by a unit vector n and for an arbitrary four-vector a we keep the following notations: a ∥ = n · a, a − = a 0 − a ∥, a + = (a 0 + a ∥)/2, and a ⊥ = a − a ∥n. For the four-vectors, we use both the contravariant (a 0, a 1, a 2, a 3) and the standard (a 0, a x, a y, a z) notations.
Using the S-matrix formalism of quantum electrodynamics (QED), we derive that the probability amplitude for the Compton process, 
$e_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^ - \to e_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^ -+ {\rm \gamma} _{{\bi K} {\rm \sigma}}$, with the initial and final electron momenta and spin polarizations p iλi and p fλf, respectively, equals
$${\cal A}\lpar e_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^ - \to e_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^ -+ {\rm \gamma} _{{\bi K} {\rm \sigma} } \rpar =- ie\int d^4 x\, j_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} \comma \,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar ++ \rpar } \lpar x\rpar \cdot A_{{\bi K} {\rm \sigma} }^{\lpar - \rpar } \lpar x\rpar \comma$$where Kσ denotes the Compton photon momentum and polarization. Here, we consider the case when both the laser pulse and the Compton photon are linearly polarized. In Eq. (1),
$$A_{{\bi K} {\rm \sigma} }^{\lpar - \rpar } \lpar x\rpar =\sqrt {\displaystyle{1 \over {2 {\rm \varepsilon} _0 {\rm \omega} _{\bi K} V}}} \, {\rm \varepsilon} _{{\bi K} {\rm \sigma} } e^{iK \cdot x}\comma$$where V is the quantization volume, ɛ0 is the vacuum electric permittivity, ωK = cK 0 = c|K| (K · K = 0), and ɛKσ = (0, ɛKσ) is the polarization four-vector satisfying the conditions,
$${K} \cdot {\rm \varepsilon} _{{\bi K} {\rm \sigma} }=0\comma \; \quad {\rm \varepsilon} _{{\bi K} {\rm \sigma} } \cdot {\rm \varepsilon} _{{\bi K} {\rm \sigma} ^{\prime}}=- {\rm \delta} _{{\rm \sigma} {\rm \sigma} ^{\prime}}\comma$$
for σ, σ′ = 1, 2. Moreover, 
$j_{{\bi p}_{{\rm f}} {\rm \lambda} _{{\rm f}} \comma {\bi p}_{{\rm i}} {\rm \lambda} _{{\rm i}} }^{\lpar + + \rpar }(x)$ is the matrix element of the electron current operator with its ν-component equal to
$$[ j_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} \comma {\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar ++ \rpar } \lpar x\rpar \rsqb ^{\rm \nu}=\mathop {\bar {\rm \psi} }\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \lpar x\rpar {\rm \gamma} ^{\rm \nu} {\rm \psi} _{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar +\rpar } \lpar x\rpar .$$Here, ψpλ(+)(x) is the Volkov solution of the Dirac equation coupled to the electromagnetic field (Krajewska & Kamiński, Reference Krajewska and Kamiński2010; Volkov, Reference Volkov1935):
$${\rm \psi} _{\,{\bi p}{\rm \lambda} }^{\lpar +\rpar } \lpar x\rpar =\sqrt {\displaystyle{{m_{\rm e} c^2 } \over {VE_{\bi p} }}} \left(1 - \displaystyle{e \over {2k \cdot p}} \not\!\;\!\!\!\!\!\! {A} \!\!\not \!\;\!\!\!\!\!{k} \right)u_{\,{\bi p}{\rm \lambda} }^{\lpar +\rpar } e^{ - iS_p^{\lpar +\rpar } \lpar x\rpar }\comma$$with
$$S_p^{\lpar + \rpar } \lpar x\rpar = p \cdot x \;+ \int_{}^{k \cdot x} {\left[{\displaystyle{{eA\lpar {\rm \phi} \rpar \cdot p} \over {k \cdot p}} - \displaystyle{{e^2 A^2 \lpar {\rm \phi} \rpar } \over {2k \cdot p}}} \right]} d{\rm \phi} .$$Moreover, E p = cp 0, p = (p 0, p), p · p = m e2c 2, and u pλ(+) are the free-electron bispinor normalized such that
$$\mathop {\bar u}\nolimits_{\,{\bi p}{\rm \lambda} }^{\lpar +\rpar } u_{\,{\bi p}{\rm \lambda} ^{\prime}}^{\lpar +\rpar }={\rm \delta} _{{\rm \lambda} {\rm \lambda} ^{\prime}}.$$The four-vector potential A(k · x) in Eq. (5) represents an external electromagnetic radiation generated by lasers, in the case when a transverse variation of the laser field in a focus is negligible (Bulanov et al., Reference Bulanov, Esirkepov, Hayashi, Kando, Kiriyama, Koga, Kondo, Kotaki, Pirozhkov, Bulanov, Zhidkov, Chen, Neely, Kato, Narozhny and Korn2011). In other words, A(k · x) represents the plane-wave-fronted pulse. In this case, k · A(k · x) = 0 and k · k = 0, which allows one to exactly solve the Dirac equation in the electromagnetic field.
From now on, we use the Coulomb gauge for the radiation field, in which case the electric and magnetic field components are equal to
$${\bf {\cal E}}\lpar k \cdot x\rpar =- {\rm \partial} _t {\bi A}\lpar k \cdot x\rpar =- ck^0 {\bi A}^{\prime}\lpar k \cdot x\rpar \comma$$
$${\bf {\cal B}}\lpar k \cdot x\rpar ={\bf \nabla} \times {\bi A}\lpar k \cdot x\rpar =- {\bi k} \times {\bi A}^{\prime}\lpar k \cdot x\rpar \comma$$where “prime” means the derivative with respect to k · x. Because the electric field generated by lasers has to fulfill the following condition,
$$\int_{ - \infty }^\infty \, {\bf {\cal E}}\lpar ck^0 t - {\bi k} \cdot {\bi r}\rpar dt=0\comma$$we have also that
$$\mathop {\rm {lim}}\limits_{t \to - \infty } {\bi A}\lpar ck^0 t - {\bi k} \cdot {\bi r}\rpar =\mathop {\rm {lim}}\limits_{t \to \infty } {\bi A}\lpar ck^0 t - {\bi k} \cdot {\bi r}\rpar .$$If a pulse lasts for a period T p, its fundamental frequency is defined as ω = 2π/T p and the laser field four-vector is k = k 0(1, n). Here, ω = ck 0 whereas n is a unit vector defining a direction of the laser pulse propagation. In order to interpret the momentum p in the Volkov solution (5) as the asymptotic momentum of the free electron, we take
$$A\lpar k \cdot x\rpar =A_0 {\rm \varepsilon} f\lpar k \cdot x\rpar \comma$$with the shape function f(k · x) such that f(k · x) = 0 for k · x < 0 and for k · x > 2π. In addition, ɛ is the linear polarization vector of the laser field such that ɛ2 = −1 and k · ɛ = 0. Note that the last conditions do not uniquely determine ɛ. It can be shown that the transformation:
$${\rm \varepsilon} \to {\rm \varepsilon}+a\lpar k \cdot x\rpar k\comma$$with an arbitrary differentiable function a(k · x), does not violate these conditions provided that k · k = 0, which is indeed the case. Note that Eq. (13) is a special case of the gauge transformation. The observable quantities, like the probability distributions that we derive below, should be invariant with respect to such a transformation. The invariance with respect to the gauge transformation, Eq. (13), permits us to choose ɛ as the spacelike vector, since its zeroth-component can be canceled by the gauge transformation,
$${\rm \varepsilon} \to {\rm \varepsilon} - \displaystyle{{{\rm \varepsilon} ^0 } \over {k^0 }}k.$$The same concerns ɛKσ. For this reason, we keep ɛ and ɛKσ as the spacelike four-vectors.
The probability amplitude for the Compton process (1) becomes
$${{\cal A}}\lpar e_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^ - \to e_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^ - + {\rm \gamma} _{{\bi K} {\rm \sigma} } \rpar = i\sqrt {\displaystyle{{2\pi {\rm \alpha} c\lpar m_{\rm e} c^2 \rpar ^2 } \over {E_{\,{\bi p}_{\rm f} } E_{\,{\bi p}_{\rm i} } {\rm \omega} _{\bi K} V^3 }}} \, {\cal A}\comma$$where α is the fine-structure constant, α = e 2/(4πɛ0c), and
$$\eqalign{ {\cal A}=&\int d^4 x\, e^{ - i\lpar S_{\,{\bi p}_{\rm i} }^{\lpar +\rpar } \lpar x\rpar - S_{\,{\bi p}_{\rm f} }^{\lpar +\rpar } \lpar x\rpar - K \cdot x\rpar } \cr & \times \mathop {\bar u}\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \lpar 1 - {\rm \mu} \displaystyle{{m_{\rm e} c} \over {2p_{\rm f} \cdot k}}f\lpar k \cdot x\rpar \not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k}\rpar \not \!\;\!\!\!\!\!{{\rm \varepsilon}} _{{\bi K} {\rm \sigma} } \cr & \times \lpar 1+{\rm \mu} \displaystyle{{m_{\rm e} c} \over {2p_{\rm i} \cdot k}}f\lpar k \cdot x\rpar \not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k}\rpar u_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar +\rpar } .}$$Here, we have introduced the scaled amplitude of the vector potential,
$${\rm \mu} =\displaystyle{{\vert eA_0 \vert } \over {m_{\rm e} c}}\comma$$which measures the peak intensity of the laser field. After some algebraic manipulations, we find that a phase present in Eq. (16) equals
$$S_{\,{\bi p}_{\rm i} }^{\lpar +\rpar } \lpar x\rpar - S_{\,{\bi p}_{\rm f} }^{\lpar +\rpar } \lpar x\rpar - K \cdot x=\lpar \mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f} - K\rpar \cdot x+G\lpar k \cdot x\rpar \comma$$where the laser-dressed momenta have been introduced,
$$\bar p=p - {\rm \mu} m_{\rm e} c\, \displaystyle{{\,{p} \cdot {\rm \varepsilon} } \over {\,{p} \cdot k}}\langle f\rangle k+\displaystyle{1 \over 2}\lpar {\rm \mu} m_{\rm e} c\rpar ^2 \displaystyle{{\langle f^2\rangle } \over {\,{p} \cdot k}}k.$$
Since 
$\bar p$ is polarization-dependent one observes asymmetries in angular distributions of the Compton photons (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a). Here, we understand that
$$\langle f^j\rangle=\displaystyle{1 \over {T_p }}\int\limits_{{\bi k} \cdot {\bi r}/ck^0 }^{T_p+{\bi k} \cdot {\bi r}/ck^0 } \, dt\, [ f\lpar ck^0 t - {\bi k} \cdot {\bi r}\rpar \rsqb ^j\comma$$where j = 1, 2. In Eq. (18), we have also introduced
$$\eqalign{ G\lpar k \cdot x\rpar &=\;\int_0^{k \cdot x} \, d{\rm \phi} \left[ - {\rm \mu} m_{\rm e} c \left( \displaystyle{{\,{p}_{\rm i} \cdot {\rm \varepsilon} } \over {\,{ p}_{\rm i} \cdot k}} - \displaystyle{{\,{ p}_{\rm f} \cdot {\rm \varepsilon} } \over {\,{ p}_{\rm f} \cdot k}}\right) \lpar f\lpar {\rm \phi} \rpar -\langle f\rangle \rpar \right. \cr & \quad \left. +\displaystyle{1 \over 2}\lpar {\rm \mu} m_{\rm e} c\rpar ^2 \left(\displaystyle{1 \over {\,{ p}_{\rm i} \cdot k}} - \displaystyle{1 \over {\,{ p}_{\rm f} \cdot k}}\right) (\,f^2 \lpar {\rm \phi} \rpar -\langle f^2\rangle \rpar \right] .}$$Note that the space-time integral (16) can be expressed in term of integrals
$$C^{\lpar n\rpar }=\;\int d^4 x [ f\lpar k \cdot x\rpar \rsqb ^n e^{ - i\lpar \mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f} - K\rpar \cdot x - {\rm i}G\lpar k \cdot x\rpar }\comma$$where n = 0, 1, 2. Passing to the light-cone variables (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a) we see that the integral over x − is limited to the finite region, 0 ⩽ x − ⩽ 2π/k 0, provided that n is not equal to 0. For n = 0, we need to transform the respective integral to a more suitable form, which is done by applying the Boca-Florescu transformation (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a). This leads to
$$\eqalign{C^{\lpar 0\rpar } &= \,\int d^4 x \left( {\tilde af}\lpar k \cdot x\rpar +{\tilde bf}^2 \lpar k \cdot x\rpar \right) \cr & \quad \times e^{ - i\lpar \mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f} - K\rpar \cdot x - {\rm i}G\lpar k \cdot x\rpar }\comma \; }$$where
$$\tilde a= \displaystyle{{k^0 } \over {Q^0 }}{\rm \mu} m_{\rm e} c \left( \displaystyle{{\,{p}_{\rm i} \cdot {\rm \varepsilon} } \over {\,{p}_{\rm i} \cdot k}} - \displaystyle{{\,{p}_{\rm f} \cdot {\rm \varepsilon} } \over {\,{ p}_{\rm f} \cdot k}}\right) \comma$$
$$\tilde b= - \displaystyle{{k^0 } \over {2Q^0 }}\lpar {\rm \mu} m_{\rm e} c\rpar ^2 \left( \displaystyle{1 \over {\,{p}_{\rm i} \cdot k}} - \displaystyle{1 \over {\,{p}_{\rm f} \cdot k}}\right) \comma$$with the four-vector Q defined as
$$Q=p_{\rm i} - p_{\rm f} - K.$$
The above equations define parameters ã and 
, provided that Q 0 ≠ 0. We will show below that this condition is always satisfied (see, Eq. (35)).
Note that the laser-dressed momenta (19) are gauge-dependent, as they change their values if the gauge transformation, Eq. (13), with a constant a is applied. For the first time, such a definition of the laser-dressed momenta has been introduced in the context of Compton scattering (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a). At the same time, we would like to note that in the formulation presented above only the difference 
$\mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f}$ appears. The point being that this difference is gauge-invariant. Therefore, we can redefine the laser-dressed momenta such that
$$\bar p \to \bar p - s_0\, k - s_1 {\rm \varepsilon}\comma$$
with, in principle, arbitrary real constants s 0 and s 1. These constants can still depend on time-averaged shape functions (namely, 〈f〉 or 〈f 2〉), however they should vanish for a vanishing laser field in order to keep the correspondence to the free particle case. Note that the new definition (27) preserves the difference 
$\mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f}$. Therefore, one can use this fact to define the gauge-invariant laser-dressed momenta. By making the substitution ɛ → ɛ + ak (where a is constant), we find that the dressed momenta do not depend on a provided that s 1 = −μm ec〈f〉, while retaining an arbitrary s 0. Let us stress, however, that such a modification of the momentum dressing does not affect any observable quantity, and should be considered only as a mathematical operation.
G(k · x), given by Eq. (21), is a periodic function of k · x, meaning that G(0) = G(2π). Hence, we can make the following Fourier expansion,
$$[ f\lpar k \cdot x\rpar \rsqb ^n e^{ - iG\lpar k \cdot x\rpar }=\sum\limits_{N=- \infty }^\infty \, G_N^{\lpar n\rpar } e^{ - iNk \cdot x} .$$Using this series expansion we can rewrite Eq. (16) such that
$${\cal A}=\sum\limits_N \, D_N \int d^4 xe^{ - i\lpar \mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f} - K+Nk\rpar \cdot x}\comma$$where
$$\eqalign{D_N&= \mathop {\bar u}\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \not \!\;\!\!\!\!\!{{\rm \varepsilon}} _{{\bi K} {\rm \sigma} } u_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar +\rpar } G_N^{\lpar 0\rpar } \cr & +\displaystyle{1 \over 2}{\rm \mu} m_{\rm e} c\left( \displaystyle{1 \over {\,{p}_{\rm i} \cdot k}}\mathop {\bar u}\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \not \!\;\!\!\!\!\!{{\rm \varepsilon}} _{{\bi K} {\rm \sigma} } \!\!\not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k}u_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar +\rpar } \right. \cr & \left.- \displaystyle{1 \over {\,{p}_{\rm f} \cdot k}}\mathop {\bar u}\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k} \!\!\not \!\;\!\!\!\!\!{{\rm \varepsilon}} _{{\bi K} {\rm \sigma} } u_{\,{\bi p}_{\rm i} {\rm \lambda} _{\rm i} }^{\lpar +\rpar } \right) G_N^{\lpar 1\rpar } \cr & - \displaystyle{{\lpar {\rm \mu} m_{\rm e} c\rpar ^2 } \over {4\lpar p_{\rm i} \cdot k\rpar \lpar p_{\rm f} \cdot k\rpar }}\mathop {\bar u}\nolimits_{\,{\bi p}_{\rm f} {\rm \lambda} _{\rm f} }^{\lpar +\rpar } \not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k} \!\!\not \!\;\!\!\!\!\!{{\rm \varepsilon}} _{{\bi K} {\rm \sigma} } \!\!\not \!\;\!\!\!\!\!{{\rm \varepsilon}} \!\!\not \!\;\!\!\!\!\!{k}u_{\,{\bi p}_{i} {\rm \lambda}_{i}}^{\lpar +\rpar }G_N^{\lpar 2\rpar }\comma \; }$$
and where G N(0) must be replaced by ã G N(1) + G N(2), as it follows from the Boca-Florescu transformation (23). Now, performing the space-time integration in Eq. (29) and keeping in mind that 0 ⩽ x − ⩽ 2π/k 0, we arrive at
$${\cal A}=\sum\limits_N \, \lpar 2\pi \rpar ^3 {\rm \delta} ^{\lpar 1\rpar } \lpar P_N^ - \rpar {\rm \delta} ^{\lpar 2\rpar } \lpar {\bi P}_N^ \bot \rpar D_N \displaystyle{{1 - e^{ - 2\pi iP_N^+/k^0 } } \over {iP_N^+}}\comma$$where
$$P_N=\mathop {\bar p}\nolimits_{\rm i} - \mathop {\bar p}\nolimits_{\rm f} - K+Nk.$$Note that P N− and P N⊥ are independent of N.
2.1. Compton-Photon Energy Distribution
In order to solve the momentum conservation conditions imposed by the delta functions in Eq. (31), let us introduce the four-vector w = p i − K, so that
$$\,{p}_{\rm f}^0=p_{\rm f}^\parallel+w^ -\comma \; \quad {\bi p}_{\rm f}^ \bot={\bi w} ^\bot .$$Since the electron mass is different from zero, it follows from the first equation that w − > 0, and
$$\,{ p}_{\rm f}^\parallel=\displaystyle{{\lpar m_{\rm e} c\rpar ^2 - \lpar w^ - \rpar ^2+{\bi w}_ \bot ^2 } \over {2w^ - }}=\displaystyle{{K \cdot p_{\rm i} } \over {w^ - }}+w^\parallel\comma$$which means that
$$Q^0=p_{\rm i}^0 - p_{\rm f}^0 - K^0=p_{\rm i}^\parallel - p_{\rm f}^\parallel - K^\parallel=- \displaystyle{{\,{p}_{\rm i} \cdot K} \over {w^ - }} \lt 0.$$This is exactly the applicability condition for the Boca-Florescu transformation.
Since P N⊥ and P N− do not depend explicitly on N, and
$$\int d^3 p_{\rm f} \, {\rm \delta} ^{\lpar 1\rpar } \lpar P_N^ - \rpar {\rm \delta} ^{\lpar 2\rpar } \lpar {\bi P}_N^ \bot \rpar =\displaystyle{{k^0 p_{\rm f}^0 } \over {k \cdot p_{\rm f} }}\comma$$we derive the differential distribution of energy emitted as Compton photons with polarization σ in the space direction n K, provided that the initial and final electron momentum and spin polarization are p iλi and p fλf, respectively,
$$\eqalign{\displaystyle{{d^3 E_C \lpar {\bi n_K} {\rm \sigma}\semicolon \; {\bi p}_{\rm i} {\rm \lambda} _{\rm i}\semicolon \; {\bi p}_{\rm f} {\rm \lambda} _{\rm f} \rpar } \over {d {\rm \omega} _{\bi K} d^2 {\rm \Omega} _{\bi K} }} & = \displaystyle{{{\rm \alpha} \lpar m_{\rm e} c\rpar ^2k^0 \lpar K^0 \rpar ^2 } \over {\lpar 2\pi \rpar ^2 p_{\rm i}^0 \lpar k \cdot p_{\rm f} \rpar }} \cr & \quad\times \left\vert \sum\limits_N \, D_N \displaystyle{{1 - e^{ - 2\pi iP_N^0 /k^0 } } \over {P_N^0 }} \right\vert^2.}$$Here, one has to remember that the electron final four-momentum p f is such that
$$\,{\bi p}_{\rm f}^ \bot ={\bi w}^ \bot\comma$$
$$\,{p}_{\rm f}^\parallel =\displaystyle{{\lpar m_{\rm e} c\rpar ^2+\lpar {\bi w}^ \bot \rpar ^2 - \lpar w^ - \rpar ^2 } \over {2w^ - }}\comma$$
$$\,{ p}_{\rm f}^0 =\displaystyle{{\lpar m_{\rm e} c\rpar ^2+\lpar {\bi w}^ \bot \rpar ^2+\lpar w^ - \rpar ^2 } \over {2w^ - }}\comma$$which follows from the four-momentum conservation conditions. One can also check that the above solution of the momentum conservation conditions, P N− = 0 and P N⊥ = 0, satisfies the on-mass shell relation, p f · p f = (m ec)2.
2.2. Electron Probability Distribution
In order to obtain the energy-angular distribution of the final electrons scattered in the Compton process we have to solve the above-mentioned momentum conservation conditions for the given initial and final electron momenta. Elementary algebra shows that the Compton photon momentum K is
$$K^0=\displaystyle{{\lpar q^ - \rpar ^2+\lpar {\bi q}^ \bot \rpar ^2 } \over {2q^ - }}\comma \; \, K^\parallel=- \displaystyle{{\lpar q^ - \rpar ^2 - \lpar {\bi q}^ \bot \rpar ^2 } \over {2q^ - }}\comma \; \, {\bi K}^ \bot={\bi q}^ \bot\comma$$where q = p i − p f. Since the propagation of the Compton photon cannot be parallel to the propagation of the laser beam (hence K − > 0), we get the condition q − > 0, which puts restrictions on the final electron momentum. Indeed, it leads to the inequality
$$x^2 \sin^2 {\rm \theta} _{\rm f} - 2xp_{\rm i}^ - \cos {\rm \theta} _{\rm f}+\lpar m_{\rm e} c\rpar ^2 - \lpar p_{\rm i}^ - \rpar ^2 \lt \; 0\comma$$in which x = |p f| > 0, and θf is the angle between the momentum p f and the direction of propagation of the laser pulse. In order to have real solutions of this inequality, we get the restrictions for θf,
$$\lpar p_{\rm i}^ - \rpar ^2 - \lpar m_{\rm e} c\rpar ^2 \sin^2 {\rm \theta} _{\rm f} \gt 0\comma$$as well as for x,
$$\max\lpar 0\comma \; x_ - \rpar \lt x= \vert {\bi p}_{\rm f} \vert \lt \max\lpar 0\comma \; x_+\rpar \comma$$where
$$x_ \pm=\displaystyle{{\,{p}_{\rm i}^ - \cos {\rm \theta} _{\rm f} \pm \sqrt {\lpar p_{\rm i}^ - \rpar ^2 - \lpar m_{\rm e} c\rpar ^2 \sin^2 {\rm \theta} _{\rm f} } } \over {\sin^2 {\rm \theta} _{\rm f} }}.$$Using standard methods based on the scattering matrix element, we can derive the expression for the energy-angular probability distribution of final electrons. Since
$$\int d^3K{\rm \delta} ^{\lpar 1\rpar } \lpar P_N^ - \rpar {\rm \delta} ^{\lpar 2\rpar } \lpar {\bi P}_N^ \bot \rpar =\displaystyle{{k^0K^0 } \over {k \cdot K}}\comma$$we obtain that this distribution is given as
$$\eqalign{\displaystyle{{d^3 P\lpar p_{\rm f}\semicolon \; {\rm \lambda} _{\rm i}\comma \; {\rm \lambda} _{\rm f}\comma \; {\rm \sigma} \rpar } \over {dE_{\,{\bi p}_{\rm f} } d^2 {\rm \Omega} _{\rm f} }} & =\displaystyle{{{\rm \alpha} \lpar m_{\rm e} c\rpar ^2 k^0 \vert {\bi p}_{\rm f} \vert} \over {\lpar 2\pi \rpar ^2 E_{\,{\bi p}_{\rm i} } \lpar k \cdot K\rpar }}\cr & \quad\times \left\vert \sum\limits_{N=- \infty }^\infty \, D_N \displaystyle{{1 - e^{ - 2\pi iP_N^+/k^0 } } \over {P_N^+}} \right\vert ^2\comma \; }$$where λi, λf, and σ label the spins of the initial and final electrons, and the polarization of the Compton photon, respectively.
2.3. Shape Function
For a particular realization of the theory derived above, we choose the laser pulse determined by the four-vector potential,
$$A\lpar k \cdot x\rpar =A_0 B{\rm \varepsilon} f\lpar k \cdot x\rpar .$$Here, A 0 is related to the parameter μ (Eq. (17)), whereas the constant B is adjusted such that the energy contained in the laser pulse is constant (irrespective of its duration). For the shape function, we choose
$$\eqalign{\,f^\prime \lpar k \cdot {\bi x}) & = N_A \sin^2 \left( \displaystyle{{k_L \cdot x} \over {2N_{\rm {osc}} }} \right) \sin\lpar k_L \cdot x+{\rm \chi} \rpar \cr & =N_A \sin^2 \left( \displaystyle{{k \cdot x} \over 2} \right) \sin\lpar N_{\rm {osc}} k \cdot x+ {\rm \chi} \rpar \comma \; }$$for 0 ⩽ k L · x ⩽ 2πN osc, and 0 otherwise. The pulse duration equals T p = 2πN osc/ωL, hence k L = (ωL/c)(1, n) = N osck. Moreover, ωL is the carrier frequency of the laser pulse whereas N osc (where N osc = 1, 2, …) defines the number of field oscillations contained in the pulse. Here, χ is the carrier-envelope phase. Note that the shape function (49) determines the electric and magnetic fields of the laser pulse, Eqs. (8) and (9). Thus, the shape function for the four-vector potential equals
$$\,f\lpar k \cdot x\rpar =\,\int_0^{k \cdot x} \, d {\rm \phi} f^\prime \lpar {\rm \phi} \rpar \comma$$and vanishes for k · x < 0 and k · x > 2π. In Eq. (49), the normalization constant N A is defined such that
$$\displaystyle{1 \over {T_{\rm p} }}\int_{{\bi k} \cdot {\bi r}/ck^0 }^{T_{\rm p}+{\bi k} \cdot {\bi r}/ck^0 } \, {\rm d}t[ f ^{\prime} \lpar ck^0 t - {\bi k} \cdot {\bi r}\rpar \rsqb ^2=\displaystyle{1 \over 2}\comma$$
where “prime” still means the derivative with respect to the argument k · x. Therefore, if we keep the energy within the pulse fixed, we need to scale the maximum value of the vector potential by 
$\sqrt {N_{{\rm osc}} }$ when changing the number of laser field oscillations within the pulse, N osc. In other words, 
$B=\sqrt {N_{{\rm osc}} }$ has to be chosen in Eq. (48).
3. SPIN EFFECTS
3.1. Compton-Photon Energy Distribution
The relativistic quantum theory formulated in Section 2 is relativistically invariant, and so we can arbitrarily choose the reference system in which we perform our calculations. For numerical illustration, we consider the reference system such that the laser pulse propagates along the z-axis (n = e z) and the electron has the initial momentum p i = −10−4m ece z, i.e., we consider the head-on configuration. More importantly, since we choose p i ≠ 0, it is meaningful to define the electron helicity. The carrier frequency of the incident laser pulse in the chosen reference frame is ωL = 0.1m ec 2, and so the process must be treated on quantum-mechanical grounds. In addition, we consider a laser pulse characterized by the parameters μ = 10 and χ = 0. We assume that the Compton photon is scattered in the direction n K specified by the polar and azimuthal angles θK = 0.2π and φK = 0 (in radians) which defines unambiguously the (xz)-plane, that we call the scattering plane.
We consider the linearly polarized vectors of the laser pulse ɛ and the Compton photon ɛK in four different configurations, each of them either lying in the (xz)-plane or being perpendicular to this plane. From now on, λi and λf will denote the initial and final helicities of the electron. They can be +1 if the electron spin projection on its propagation direction is 
$+{\textstyle{1 \over 2}}$, and −1 otherwise. In the presented figures, we will show the results for two cases: when the electron helicity does not change during the process (λiλf = +1) and when it does change (λiλf = −1) due to the Compton photon emission. The results for different pulse durations will be shown.
In Figure 1, we show the energy spectra of Compton radiation which is emitted when the laser pulse polarization vector lies in the scattering plane, and the laser pulse contains four oscillations (N osc = 4). Comparing all panels, we observe the dominant contribution for those Compton photons which are also polarized in the scattering plane (see, the upper panels). In this case, the process which conserves helicity of the colliding electron dominates for small energies of emitted photons, when ωK < 2m ec 2. For larger Compton photon energies, ωK > 2m ec 2, both processes (with and without the electron spin flip) seem to occur with comparable probabilities. To see a more detailed structure of these distributions we present them in Figure 2 over a very narrow range of ωK. These distributions exhibit very rapid oscillations, which is a typical feature of the Compton radiation spectra (Boca & Florescu, Reference Boca and Florescu2009; Krajewska & Kamiński, Reference Krajewska and Kamiński2012a; Panek et al., Reference Panek, Kamiński and Ehlotzky2002; Seipt & Kämpfer, Reference Seipt and Kämpfer2011). Interestingly, there are some energies ωK for which the Compton radiation is predominantly emitted in the process that does not conserve the colliding electron helicity. This is in contrast to the case when Compton scattering is induced by a monochromatic plane wave laser field (Panek et al., Reference Panek, Kamiński and Ehlotzky2002) or even by a finite laser pulse of circular polarization (Boca et al., Reference Boca, Dinu and Florescu2012b). We anticipate therefore that this effect is most pronounced for a linearly polarized laser pulse colliding with a target electron.
(Color online) The energy spectra of Compton photons (37) emitted in the head-on collision of a short laser pulse and the relativistic electron. The laser pulse propagates in the z-direction whereas its polarization vector ɛ is in the (xz)-plane. In addition, the central frequency of the laser field is ωL = 0.1m ec 2, its strength is determined by the parameter μ = 10, and the carrier-envelope phase is χ = 0. The results are for the four-cycle laser pulse (N osc = 4). The electron initial momentum is p i = −10−4m ece z. The Compton photon is detected in the direction specified by the polar and azimuthal angles θK = 0.2π and φK = 0 (in radians). While the upper panels are for the case when both the laser pulse and the Compton photon are polarized in the same direction, the lower panels are for the case when both vectors are perpendicular to each other. At the same time, the left column represents the results for the case when the electron helicity is conserved during the process (λiλf = +1), while the right column represents the results for the case when the electron helicity flips due to the Compton photon emission (λiλf = −1).
(Color online) The same as in the top panels of Figure 1 but over a small region of Compton photon energies. The detailed comparison of energy spectra is shown for the Compton process which conserves helicity of the colliding electron (solid line) and which does not (dashed line). For some energies, the Compton radiation is predominantly emitted in the process which does not conserve the target electron helicity.
As one can see in Figure 1, the emission of photons polarized perpendicularly to the scattering plane is suppressed as compared to the emission of photons polarized in that plane. On contrary, in Figure 3 we demonstrate that photon emission in both directions is comparable. We would like to stress that this is a purely quantum effect and so it cannot be observed in Thomson scattering. Here, similar to Figure 1, the no-spin-flipping process is by far more efficient over the shown range of Compton photon energies, i.e., when ωK < 2m ec 2.
(Color online) The same as in Figure 1 but the polarization vector of the incident laser pulse ɛ is perpendicular to the (xz)-plane.
Note that Figure 2 unveils regimes in which the Compton radiation is mostly emitted via a spin-flipping process. The question arises whether the demonstrated frequency differences could be resolved experimentally. To answer this question, let us keep in mind that the presented spectra relate to a particular choice of the reference frame. The parameters used in this section, when transformed to the laboratory frame (LAB), correspond to the head-on collision of a Ti:Sapphire laser beam (ωLLAB = 1.548 eV) with a highly relativistic electron such that |p iLAB| = 7.9 GeV/c. Due to their interaction, a highly energetic photon is produced; for instance, with energy ωKLAB = 3 GeV and at the angle θKLAB = π − 6 × 10−5π if ωK = 2m ec 2 and θK = 0.2π. What is however more important (see, Figure 2), the spin-flipping configuration is preferable over the energy interval of Compton photons roughly 0.03m ec 2 (in the chosen reference frame) or, equivalently, 45 MeV (in the laboratory frame). We believe therefore that even in view of finite energy spread and emittance of available electron beams, it is possible to resolve such differences experimentally.
As we have mentioned above, the characteristic property of Compton radiation spectra are very rapid oscillations. These oscillations are due to multiphoton interferences which are characteristic for other strong-field QED processes as well. For the Compton scattering by a long laser pulse, we also observe an additional structure, as shown in Figure 4. The results presented in Figure 4 are for the 32-cycle pulse polarized in the scattering plane. In this case, there appears an additional structure in the region of low-energy Compton photons. The same is present in Figure 5 where the 32-cycle pulse is polarized in the direction perpendicular to the scattering plane. We suspect that this structure results from a destructive interference between the Compton radiation emitted during the raise of the pulse and its fall off, which does not occur for short pulses (see, Figs. 1 and 2). Moreover, in Figure 5 we observe that the envelope of oscillations exhibits additional modulations. Other than that, the other features discussed above for Compton scattering by a four-cycle pulse stay the same, i.e., they do not depend on the pulse duration. Note that the aforementioned modulations (Fig. 5) are typical multiphoton modulations observed for processes induced by long laser pulses. Such multiphoton peaks in Compton scattering has been observed (Boca & Florescu, Reference Boca and Florescu2009, Reference Boca and Florescu2011; Seipt & Kämpfer, Reference Seipt and Kämpfer2011; Krajewska & Kamiński, Reference Krajewska and Kamiński2012a).
(Color online) The same as in Figure 1 but for the 32-cycle incident laser pulse (N osc = 32).
(Color online) The same as in Figure 4 but the polarization vector of the laser pulse ɛ is perpendicular to the (xz)-plane.
3.2. Electron Probability Distribution
Next, we would like to discuss the electron probability distributions, as they allow one to establish a closer connection to an experiment measuring only the properties of scattered electrons and letting the scattered photons to pass unobserved. The presented electron distributions were calculated based on theory introduced in Section 2.2. As specified in the previous section, λi and λf denote here the initial and final electron helicities; in particular, λiλf = 1 relates to the process which conserves the electron spin whereas λiλf = −1 is for otherwise.
In Figure 6, we show the probability distributions of final electron which is scattered off a short laser pulse in the counterpropagating setup; namely, we choose the reference frame in which the pulse propagates in the z-direction (n = e z) whereas the initial electron moves with the opposite momentum p i = −10−4m ece z. In the chosen reference frame, the carrier frequency of the laser pulse is ωL = 0.1m ec 2. The maximum strength of the field is characterized by the parameter μ = 10, and the carrier-envelope phase is χ = 0. The Compton photon is scattered in the y-direction, while the final electron direction is described by the angles θf = 0.2π and ϕf = 0 (in radians). This time, we define the scattering plane with respect to the initial and final electron momenta, which is still the (xz)-plane. As one can see in Figure 6, the electron scattering occurs predominantly through the no-spin-flipping process, which happens for both considered configurations. If we change the carrier-envelope phase to χ = π/2, as presented in Figure 7, the spin-flipping process becomes dominant if ɛK∥ɛ. Therefore, one can control the properties of the process by changing the phase χ.
(Color online) The probability distributions of final electron after it scatters off a short laser pulse, Eq. (47). The presented results are in the reference frame in which the laser pulse propagates in the z-direction, μ = 10, ωL = 0.1m ec 2, N osc = 4, χ = 0, and the polarization vector points in the y-direction. The electron initial momentum is p i = −10−4m ece z, and the polar and azimuthal angles of the final electron are θf = 0.2π and φf = 0 (in radians).
(Color online) The same as in Figure 6 but for χ = π/2.
In closing this section, we would like to point out that usually the process with λiλf = −1 is suppressed with respect to the no-spin-flipping process. However, for some particular geometries, in particular, when the laser-field polarization is perpendicular to the scattering plane, we have found the opposite situation. This has been illustrated in Figure 7 (upper row) but it is even more clear in Figure 8. In the latter case, the results are shown in a different reference frame, in which the initial momentum of the electron is p i = −m ece z. In particular, when comparing the panels in the upper row of Figure 8, one observes roughly an order of magnitude enhancement of the probability distribution for the spin-flipping process. Even though less pronounced, such an enhancement is also observed in the lower panel of this figure over the whole range of energies.
(Color online) The same as in Figure 7 but in the reference frame where p i = −m ece z. For the considered parameters, the spin-flipping process dominates.
4. REMARKS ON THE ELECTRON ACCELERATION
A lot of attention in literature has been devoted to electron acceleration by lasers, which includes wakefield acceleration in plasma (Esarey et al., Reference Esarey, Schroeder and Leemans2009; Malka, Reference Malka2012; Tajima & Dawson, Reference Tajima and Dawson1979; Umstadter, Reference Umstadter2003), electron acceleration by a standing wave (Galkin et al., Reference Galkin, Korobkin, Romanovskiy, Trofimov and Shiryaev2012; Korobkin et al., Reference Korobkin, Romanovskiy, Trofimov and Shiryaev2013), or Thomson scattering in an all-optical setup (Kulagin et al., Reference Kulagin, Cherepenin, Hur, Lee and Suk2008). Here, we would like to comment on the possibility of electron acceleration via the Compton process.
As is known from classical electrodynamics, electrons interacting with a plane-wave-fronted pulse cannot be accelerated or decelerated. We meet a completely different situation in QED, where during the Compton process energies of the initial and final electrons differ from each other. Usually, when studying the Compton effect, one is mostly interested in efficient creation of photons as energetic as possible. This goal is achieved by decelerating the high-energy electron. The natural question arises: Is it possible to accelerate already high-energy electron beams by means of the Compton process in short laser pulses? The answer to this question (within the PWFP approximation) is positive, as follows from our discussion of the conservation conditions. Indeed, let us choose the reference frame, the computational reference frame, in which electrons are initially at rest, hence 
$p_{\rm i}^ -=m_{\rm e} c$. In this frame, there are restrictions imposed on possible momenta of final electrons
$$0 \lt \vert {\bi p}_{\rm f} \vert \lt p_{\max}=2m_{\rm e} c\displaystyle{{\cos{\rm \theta} _{\rm f} } \over {\sin^2 {\rm \theta} _{\rm f} }}\comma$$where cosθf > 0 and θf is the angle between the laser pulse and final electron propagation directions. Therefore, the electron energy cannot exceed its maximum value equal to
$$E_{\max}=m_{\rm e} c^2 \lpar 1+2 \cot^2 {\rm \theta} _{\rm f} \rpar \comma$$which is larger than the initial electron energy m ec 2. By making the Lorentz boost along the laser field propagation such that its central frequency ωL scales to the laboratory one as
$${\rm \omega} _{\rm L}^{\rm LAB}={\rm \gamma} \lpar 1 - {\rm \beta} \rpar {\rm \omega} _{\rm L}=\sqrt {\displaystyle{{1 - {\rm \beta} } \over {1+{\rm \beta} }}} \, {\rm \omega} _{\rm L}\comma$$the above maximum energy transforms into
$$E_{\max}^{\rm LAB}=m_{\rm e} c^2 {\rm \gamma} [ 1+2\lpar 1 - {\rm \beta} \rpar \cot^2 {\rm \theta} _{\rm f} \rsqb .$$Hence, the maximum relative gain of energy by electrons in the Compton scattering is
$${\rm \delta} _{\max}^{\rm LAB}=\displaystyle{{E_{\max}^{\rm LAB} } \over {m_{\rm e} c^2 {\rm \gamma} }} - 1=2\lpar 1 - {\rm \beta} \rpar \cot^2 {\rm \theta} _{\rm f} \gt0\comma$$and can be arbitrary large for sufficiently small θf.
In Figure 9 we present the relative gain of the electron energy in the laboratory frame as a function of the momentum of a scattered electron in the computational frame. We observe that for sufficiently small scattering angles θf the electron can significantly be accelerated, but this process is accompanied by the enormous increase of the Compton photon energy, even larger than the initial electron energy. Due to this fact, probabilities for the acceleration process are many orders of magnitude smaller than the probabilities in which electrons are decelerated. In this sense, although possible, the Compton scattering in short laser pulses cannot be considered as an efficient mechanism for the acceleration of electrons.
(Color online) The upper row presents the relative energy gain of electrons in the laboratory reference frame, δLAB = E p fLAB/E p iLAB − 1, as functions of the electron final momentum in the computational reference frame, for two central laser frequencies and scattering angles (also in the computational reference frame). The lower row presents the ratio of emitted Compton photon energy to the initial electron energy in the laboratory reference frame. In both cases the central laser frequency in the laboratory frame is ωLLAB = 1.548eV, which uniquely determines the γ and β parameters for the Lorentz transformation between these two reference frames, Eq. (54).
5. CONCLUSIONS
We investigated the Compton scattering by short laser pulses, with the emphasis on spin effects. The head-on configuration of the colliding electron and the laser pulse was considered. The laser pulse was treated as a plane-wave-fronted field, which is along the lines developed in our recent papers (Krajewska & Kamiński, Reference Krajewska and Kamiński2012a; Reference Krajewska and Kamiński2012b). Using this model to describe the incident laser field, we demonstrated that the Compton photon energy spectra are very rapidly oscillating functions which are modulated if the incident laser pulse is long enough. Our numerical results showed that, in general, the Compton photon emission is most pronounced if the polarization vector of the emitted radiation is in the scattering plane and there is no spin-flip of the colliding electron. There exists, however, some energy intervals where the Compton photon emission with the electron spin-flip is dominant; in contrast to Compton scattering by a monochromatic plane wave laser field (Panek et al., Reference Panek, Kamiński and Ehlotzky2002). As we demonstrated, the same is true for the electron energy spectra. When analyzing the latter, we pointed out that there is a possibility to manipulate with spin effects by changing the carrier-envelope phase of the incident laser pulse. Finally, we discussed the possibility of electron acceleration by means of Compton scattering by short laser pulses.
ACKNOWLEDGMENTS
This work is supported by the Polish National Science Center (NCN) under Grant No. 2012/05/B/ST2/02547.
