1. Introduction
The theory of Bessel Functions (BF) [
1,
2] is almost three hundred years old. Their systematic investigation started in the XIX-th century, within the context of astronomical studies. Actually, they had been suggested a century before by Daniel Bernoulli and Leonard Euler in their researches on string vibrations (see e.g., [
3]).
These families of functions are characterized by a continuous variable and an index (not necessarily integer or real).
The Generalized Bessel Functions (GBF) [
4] are an extension of the ordinary Bessel. They are multivariable, single or multi-index functions and the relevant studies were initially developed during the first years of the last century [
5]. Their use in applications started many years later. During the sixties of XX-th century, Reiss rediscovered elementary examples of GBF while investigating problems in light-light and non-dipolar scattering [
6,
7]. More substantive applications started some years later and they have been employed in Classical/Quantum Electromagnetic Processes [
8,
9], laser physics [
10], Sonar and Radar [
11,
12], Crystallography [
13] … (For a partial list of references the reader is also addressed to [
14]).
In the following, we denote the two variable-one index cylindrical GBF by
. The most natural way of introducing these functions is through the associated generating function (
) and, in particular, by the use of Jacobi-Anger
, which reads
and naturally leads to the associated integral representation
The definition in terms of an infinite series, involving products of ordinary Bessel
also follows from Equation (
1). The special cases are obtained by keeping the values
and
,
One of the characterizing features of BF theory are the so called recurrence relations, namely the relationships involving the nearest neighbor indices. The same holds for GBF, whose characteristic recurrences can be obtained from either Equations (
1) and (
2) and reads [
4,
5,
6,
7]
An idea of the relevant behaviour in space is offered by
Figure 1. They offer a more complete idea of the relevant geometrical properties. The reflection property under the variable
x, namely
is evident from the plot of
(the
y-coordinate reflection
does not lead to a simple relation involving the indices and will not be reported here (for the relative comments see [
4,
5,
6,
7])).
The corresponding recurrence relations for the single variable case (say x), are obtained by setting . It is evident that the portion of recurrences associated with the y-variable, connects neighbor indices by steps of two. The list of properties is quite large, further identities will be discussed, whenever necessary, during the course of the paper, devoted to a description of their use in classical electro-magnetism. We will in particular deal with the theory of synchrotron radiation emission by ultra-relativistic charges in magnetic devices and the relevant outline is reported below.
In
Section 2 we review the theory of radiation emission in linearly polarized undulators and discuss the reasons why the insurgence of “second order” non dipolar contributions in the electron trajectories, naturally leads to the expansion of the Lienard-Wiechert (L-W) integrals [
15,
16] in terms of GBF. This paper, even though summarizing results obtained in the past, is an attempt of developing a systematic description of how GBF can be succesfully exploited in the theory of electromagnetic processes. In particular in those regarding the emission by relativistic charged particles, moving in elaborated magnetic structure as well as in multiphotn ionizatio or in the elaboration of extended methods for the solution of Dirac-Volkov problem. The plane of the paper is given below.
In
Section 2 we show how the use of GBF emerges through the study of the radion emitted by electrons in “ordinary” non dipolar structures.
In
Section 3 the procedure is extended to “exotic” undulator devices [
17], in which the electrons execute a non sinusoidal motion, with “higher order” non dipolar terms. The study of the emission process in these devices requires more general forms of GBF, involving more than two variables.
Section 3 also deals with the relevant impact on the theory and the design of Free Electron Lasers (FEL) [
18] with enhanced performances in terms of tunability [
19].
Finally
Section 4 contains a broader view to the problems touched in the previous parts and with the possibility of future upgrade of the mathematical tool and of the relevant applications.
Concluding comments are eventually contained in
Section 5, where we address further discussions on the relevant usefulness as, e.g., in the study of physical problems including the non linear Compton scattering.
2. Bremsstrahlung Radiation in Linearly Polarized Undulators and Emergence of GBF
A magnetic undulator is a device of the type reported in
Figure 2, exhibiting a structure provided by a double train of permanent magnets. Inside the open space the magnet arrangement determines a field directed along the vertical axis (
y), with an oscillating periodicity along the
z-axis, fixed by the magnet spatial disposition.
The Lorentz force, associated with the undulator field, impresses to the on axis injected electron-beam an oscillatory trajectory lying in the plane.
Without entering into further details concerning the effective field distribution, we note that on axis it can be cast in the simple form
where
is the peak on axis field,
the spatial oscillation period and
N the number of periods constituting the entire undulator. Equation (
6) is sufficient to evaluate the properties of the radiation emitted by the electrons, during their transit inside the undulator. The spectral properties of the emitted radiation are calculated through the L-W integral [
15]
where
are the trajectory and the velocity vector coordinates of the electrons,
is the observation unit vector specified by
Since the electron motion assumed to be ultra-relativistic, the radiation is emitted mostly in the forward direction and therefore
is of the order of
(where
is the electron relativistic factor). Hence the vector
can be approximated as
The electrons equation of motion can be easily solved and at the lowest order in
, thus getting (see Refs. [
10,
21,
22,
23] for the details of the computation)
with
The term oscillating at the frequency
represents what we have (obscurely) defined second order non dipolar contribution. If we use the above expression for
in the argument of the exponential appearing inside the L-W integral, we find
where
Expanding, in terms of two variable GBF, the second exponential in the first of Equation (
12), we obtain
The variables , enter within the domain consistent with the GBF correct definition, therefore there no caveats for their use within the expansion of the L-W exponential.
It is evident that the evaluation of the harmonic content of the radiation emitted by energetic electrons in linearly polarized undulators, is complicated by the fact that the motion is not a simple oscillation (with period
in the transverse direction, an extra modulation in the longitudinal (
z-direction) arises which determines the breaking of the dipole approximation. It is accordingly evident that
and therefore the usual harmonic pattern is recovered.
The complete evaluation of the L-W integral requires a significant amount of boring algebra, involving the properties of GBF summarized in Equation (
5), and can be found in [
10] where the following expression is given
with
It is evident that the last identities state that the undulator spectrum consists of a series of harmonics centered at
For
N very large, the harmonic spectral distribution, specified by
, can be replaced by a Dirac
function. The spectrum is therefore very narrow around around
, and the arguments of the GBF in Equation (
16) can be replaced by
The use of the further GBF identity
and the third of Equation (
5) yields that the radiation emitted on axis (
as
where
is the number of photons and
the fine structure constant. According to the above relations the on axis photon spectrum consists of a series of peaks centered at odd harmonics (
), with polarization directed along the
direction.
It is evident that the radiation emitted in the forward direction by an electron with relativistic factor
is characterized by a wavelength
and by the relevant harmonics
The tools allowing an extended tunability in these devices are the electron energy and the order of the harmonic. In an operating Synchrotron Radiation source or Free Electron Laser the first cannot be varied (except a modest range), while the use of the harmonics and/or “smart” rearrangement of the undulator configuration may allow a more significant extension of the radiated spectrum.
In the forthcoming section we discuss these aspects of the problem and present further elements aimed at corroborating the importance of the use of GBF in the study of bremsstrahlung processes in “exotic” undulator configurations.
3. Radiation Emission in Non Standard Undulator Structures and GBF
We have already underscored that the linearly polarized undulators are widely exploited in synchrotron radiation devices [
24] and Free Electron Lasers [
20]. The process of higher harmonic emission (in particular on axis) offers a useful tool to extend the relevant range of tunability. More advanced undulator schemes have been designed or suggested to enhance the performances of the emitted radiation, either in terms of tunability and polarization content.
About two decades ago, the use of bi-harmonic undulator (BHU) [
17,
18,
19] has been proposed as a device allowing the enhancement of the harmonic generation in undulator driven Synchrotron-Radiation and FEL devices.
In the case of an undulator exhibiting a field with linear orthogonal polarization, specified by the vector
It is easily guessed that, in such a magnetic structure, the electron trajectory acquires a large number of non dipolar contributions of order larger than two.
This has a clear consequence in terms of complexity of the problem to be studied, in part mitigated by the use of the GBF, in forms even more general of the type discussed in the introductory section.
Before getting into more specific details, we note that the polarization content of the harmonics radiated in a BHU, with field vector distribution as in (
24), exhibits two polarizations (along
x and
y), since the electron motion is ruled by two mutually orthogonal fields.
In dealing with this specific problem we should keep in mind that the spatial oscillation content of the field impresses an analogous modulation in the electron motion. In particular the electrons oscillate at the frequency
The obvious consequence is that we will deal with L-W integrals containing an oscillating exponent of the type
we arrange the exponential as
and note that
with
or in integral form
The relevant recurrence identities eventually yield
The associated 3-D plots are shown in
Figure 3 while in
Figure 4 we have reported 2-D plots displaying their behavior vs.
x for different values of
y and viceversa. In
Figure 3 the nature of GBF is more clearly displayed, along with the relevant symmetry property
.
By taking advantage of the semi-group property of the exponential function, we break the exponential as
after setting
and rearranging the indices, we end up with
with
where we have denoted by
a
variable GBF, whose properties are reported in references [
25,
26,
27,
28,
29].
Regarding the harmonics radiated on axis, owing to the fact that the variables corresponding to
are vanishing, we obtain the following expression for the spectral photon number
where
with
The last relations is an extension of Equation (
21) and includes the richer harmonic content in terms of harmonic and of polarization content (
stand for the polarization along the transverse directions
x and
y).
The discussion of this section has reinforced the idea, we wanted to convey, that the GBFs are a very effective tool to treat radiation problems in “non trivial” magnetic structures. The forthcoming concluding sections contains further elements stressing the relevant flexibilities in applications.
4. GBF and Electromagnetic Processes: Concluding Remarks
In the previous section we have discussed the case of a BHU whose field in the
x direction exhibits a spatial period
of that along the
y-axis. In the introductory part of this section, we consider a more general example. This slightly more cumbersome example is aimed at stressing the reliability of the method. The magnetic field we consider is
where
h is an integer and
d is a numerical factor, smaller or larger than unit and not necessarily an integer.
The spectral content of the on axis emitted radiation is fairly rich [
17,
18,
19] and the order of the harmonics depend on the polarization of the emitted harmonics, we have indeed
The derivation of the FEL evolution equations involves a rather awkward algebra, certainly mildly alleviated by the use of multi-variable Bessel functions.
If we follow the procedure we have outlined in the previous sections we end up with the following amplitudes for
x and
y polarizations
with
where
is a GBF defined through the
The case of allows the study of undulator radiation exhibiting on axis either even and odd harmonics, the first of which have alternate polarizations and relatively large intensities.
As anticipated the formalism we have outlined is also effective to study Free Electron Laser (FEL) devices operating with BHU.
Quantities of crucial importance, as e.g., the gain or the efficiency, can be expressed in terms of GBF.
Within this context the so called Pierce parameter [
30] accounting either for the FEL growth and efficiency, writes, in the case of an undulator exhibiting the field vector reported in Equation (
24), as it follows
where
J is the beam current density. Accordingly the gain length (namely the field intensity growth per unit length) reads
It is not necessary to go into further technicalities to appreciate the usefulness and the flexibility of the formalism. We have just scratched on the surfaces and omitted other important applications, which will be just mentioned below.
One interesting use of GBF emerges in studies associated with laser matter interaction. Here we like to quote an interesting interplay between Physics and Mathematics, appearing within such a context and regarding the “physical origin” of the recursion relation. The argument has been suggested by Loetstedt and Jentschura [
31].
To this aim we consider the Klein-Gordon equation regarding the interaction of a spinless particle with an external laser electromagnetic field, which in the notation of reference [
31] and in natural units (
) writes
with the vector potential
A specified by
with
the polarization vector and
Expanding Equation (
44), taking into account that
and
, we find
The relevant solution can therefore be written as
with
and
unspecified for the moment. If we plug (
48) into (
47) we obtain the following condition, to be satisfied by
in order that
be a solution of the Klein-Gordon Equation (
47)
where
which, after multiplying by
and integrating between
, yields the condition
The recurrence in Equation (
52) is the same as the first of Equation (
4), thus allowing the identification of
with
. The normalization of the wave function follows from the generating function, which yields
This form of
, which is that of the Volkov solution of Dirac equation, allows interesting speculations on the possibility of getting general solution of the quantum relativistic spin particles equation in a linearly polarized electro-magnetic wave. This aspect of the problem goes beyond the scope of the paper and the interested reader is addressed to the already quoted reference [
31].
Before concluding the paper, we like to mention the example of multi-photon ionization [
32]. In this type of processes, unlike what happens in ordinary photoelectric effect, many small photons are transformed into a “big one”. In
Figure 5 we have reported a multi-photon process in which many identical photons add up coherently to reach the level of ionization threshold.
Within this context a central role are played by the dressed Volkov states, accounting, as already mentioned before, for the electron states in a laser wave.
In mathematical terms, the problem is treated by considering an electron subject to a laser wave in terms of the Volkov (Schroedinger) states
with
the electron momentum and
the laser vector potential. After computing the wave function
the transition rates between a bound electronic and Volkov states are computed.
Without mentioning any further detail we note that the transition rates of these processes can be written as [
32,
33]
where
with
the peak laser electric field,
the laser angular frequency and
the ionization potential.
In this case too, the pivotal mathematical quantity is a two variable Bessel.
The examples discussed in the paper offer a limited, albeit effective scenario, of the usefulness of GBF in electromagnetic process. We hope that this review will provide the stimulus for a deeper study.
5. Final Comments
This article has gone through decades of theory of Bessel Functions of generalized type and relevant use in applications. We have noted that they harbored within a mathematical context, at the beginning of the last century and only later found applications in physical problems.
The book of by Appèl and Kampè dé Fèeriét [
5] yields a very illuminating view of their developments (along with applications to astronomy) during the first two decades of XX-th century.
In our discussion we have, for reasons of brevity, ignored important aspects of their use in Quantum Optics. We have excluded many and also more recent applications concerning, e.g., that relevant to light beams with angular momentum [
34]. Within this context, an important field of investigation is provided by the study of the emission of twisted photons by classical currents [
35], in which the use of GBF plays a significant role in the simplification of the associated computations.
An interesting view to the use of GBF in electromagnetic processes (classical and not) is offered by the references [
36,
37], which yield a general discussion on the problem which can be treated also in terms of GBF including those of fundamental nature like laser assisted bremsstrahlung [
38] and double non linear Compton Scattering [
38].
This last point offers the possibility of getting a closer link with the matter relevant to higher order harmonic operation in Free Electron laser device. In particular it has been pointed in reference [
39], reporting theoretical predictions on triple Compton scattering, that their experimental check is within the parameters range of the
X-FEL facility [
40].
Within this respect, we like to stress that the cross section of processes like 2 or 3 photon Compton scattering, could be enhanced if the scattering occurs inside the multi-harmonic FEL light generated with the previously quoted harmonic generation magnification. The optimization of the parameters for this type of experiments require a massive use of the GBF formalism, as it will be discussed in a forthcoming paper.