1. Introduction
Many interesting applications of the first-order optical systems for information
processing have been proposed in the past decade. Some particular first-order
optical systems, performing fractional Fourier transform, are used for shift-variant
filtering, noise reduction, encryption [
1
H. M. Ozaktas, Z. Zalevsky, and M. Alper Kutay, The Fractional Fourier Transform with Applications in Optics
and Signal Processing, John Wiley&Sons, NY, USA
(2001).
].
Fig. 1. Graphical representation for the phase structure associated to the gyrator
kernel for α = π/4, x
o =
y
o = 0 (a) and
2x
o = y
o = 1 (b).
These figures (a) and (b) correspond to the exponential argument of the
kernel.
Another ones serve as mode converters which permit to obtain the helicoidal vortex
Laguerre- Gaussian (LG) mode after the propagation of the Hermite-Gaussian (HG) beam
through these systems [
2
M. W. Beijersbergen, L. Allen, H. E. L. O. Van der Veen, and J. P. Woerdman, “Astigmatic laser mode converters and
transfer of orbital angular momentum,”
Opt. Commun.
96, 123–132
(1993). [CrossRef]
,
3
E. G. Abramochkin and V. G. Volostnikov, “Beam transformations and
nontransformed beams,” Opt. Commun.
83, 123–135
(1991). [CrossRef]
,
4
E. G. Abramochkin and V. G. Volostnikov, “Generalized Gaussian
beams,” J. Opt. A.: Pure Appl. Opt.
6, S157–S161
(2004). [CrossRef]
]. Besides LG modes, other stable modes
carrying the fractional topological charge [
4
E. G. Abramochkin and V. G. Volostnikov, “Generalized Gaussian
beams,” J. Opt. A.: Pure Appl. Opt.
6, S157–S161
(2004). [CrossRef]
,
5
G. F. Calvo, “Wigner representation and geometric
transformations of optical orbital angular momentum spatial
modes,” Opt. Lett.
30, 1207–1209
(2005). [CrossRef] [PubMed]
] can be obtained by generalized mode converter which can be
described by the gyrator transform (called in [
6
R. Simon and K. B. Wolf, “Structure of the set of paraxial
optical systems,” J. Opt. Soc. Am. A
17, 342–355
(2000). [CrossRef]
,
7
K. B. Wolf, Geometric Optics on Phase Space,
Springer-Verlag, Berlin
(2004).
] as a cross-gyrator). The gyrator transform as well as the
fractional Fourier transform belong to the class of the linear canonical integral
transforms. But in the contrast to the fractional Fourier transform (see for example [
1
H. M. Ozaktas, Z. Zalevsky, and M. Alper Kutay, The Fractional Fourier Transform with Applications in Optics
and Signal Processing, John Wiley&Sons, NY, USA
(2001).
] and references there in), the gyrator operation is still
little known for the optical community. The purpose of this paper is to establish
the main properties of the gyrator transform that opens the perspective of its
application for optical information processing together with fractional Fourier
transform. Including the gyrator transform in the list of image processing tools we
enlarge a number of phase space domains for more appropriate image representation,
filtering operation,holographic recording etc. As an example of gyrator action we
demonstrate its application as a generator of stable modes living on the main
meridian of the Poincaré spheres [
5
G. F. Calvo, “Wigner representation and geometric
transformations of optical orbital angular momentum spatial
modes,” Opt. Lett.
30, 1207–1209
(2005). [CrossRef] [PubMed]
].
Gyrator operation is mathematically defined as a linear canonical integral transform
which produces the rotation in position-spatial frequency planes
(
x,
qy
) and
(
y,
qx) [
6
R. Simon and K. B. Wolf, “Structure of the set of paraxial
optical systems,” J. Opt. Soc. Am. A
17, 342–355
(2000). [CrossRef]
,
7
K. B. Wolf, Geometric Optics on Phase Space,
Springer-Verlag, Berlin
(2004).
] of phase space. Thus the gyrator transform (GT) at
parameterα, which will be called below as a rotation angle, of a
two-dimensional function
fi
(
r
i),
associated in first order optics with complex field amplitude, can be written in the
following form
where
r
t
i,o
= (
xi,o
,
yi,o
)
indicates the input and output coordinates, respectively. Notice that
t stands for transposition operation. For α = 0 it
corresponds to the identity transform, for α = π/2 it reduces
to the Fourier transform with rotation of the coordinates at π/2, for
α = π the reverse transform described by the kernel
δ(
r
o +
r
i) is
obtained, meanwhile for α = 3π/2 it corresponds to the inverse
Fourier transform with rotation of the coordinates at π /2. For other
angles α the kernel of the GT
Kα(
xi
,
yi
,
xo
,
yo
) has a constant amplitude and a hyperbolic
phase structure, which is shown in Fig. 1 for the angle α =
π/4 and output coordinates
xo
=
yo
= 0 (see
Fig. 1(a)) and 2
xo
=
yo
= 1 (see
Fig. 1(b)).
Since the GT belongs to the class of the linear integral canonical transforms its
kernel is parametrized by the symplectic 4×4 matrix
T(α) [
6
R. Simon and K. B. Wolf, “Structure of the set of paraxial
optical systems,” J. Opt. Soc. Am. A
17, 342–355
(2000). [CrossRef]
,
7
K. B. Wolf, Geometric Optics on Phase Space,
Springer-Verlag, Berlin
(2004).
]
where
which describes in the paraxial approximation the ray transformation in this system.
Notice that r
t = (x,y) is
the ray position and q
t
= (qx
,qy
) is the
ray slope, and bold capital here and further indicates matrix notation.
Based on the matrix formalism for first-order lossless optical systems, it has been
recently shown [
8
J. A. Rodrigo, T. Alieva, and M. L. Calvo, “Optical system design for
ortho-symplectic transformations in phase space,”
J. Opt. Soc. Am. A
23, 2494–2500
(2006). [CrossRef]
] that the GT for the large range of angles α can
be realized by an optimized flexible optical system which contains only three
generalized lenses with fixed distance between them. The angle α is
changed by rotation of the cylindrical lenses which form the generalized lenses.
Other possibility is to use the spatial light modulator for variable lens
performance. Explicit equations for these generalized lenses as a function of the
transformation angle α can be found in [
8
J. A. Rodrigo, T. Alieva, and M. L. Calvo, “Optical system design for
ortho-symplectic transformations in phase space,”
J. Opt. Soc. Am. A
23, 2494–2500
(2006). [CrossRef]
].
2. Basic properties of the gyrator operation
In order to work properly with the GT and to design the corresponding optical system
for its experimental realization we need to know its basic properties. As in the
case of the Fourier transform (FT) or the fractional FT [
9
T. Alieva, V. Lopez, F. Agullo Lopez, and L. B. Almeida, “The fractional Fourier transform in
optical propagation problems,” J. Mod.
Opt.
41, 1037–1044
(1994). [CrossRef]
] the main theorems such as scaling, shift, modulation, etc.
have to be formulated.
From the equations Eq. (
1) - (
3) it is easy to see that the GT is periodic and additive with
respect to parameter α. The last can be proved directly by the
multiplication of the ray transformation matrices which parametrized the kernel:
T(α)
T(β) =
T(α + β ). The inverse GT corresponds to the GT
at angle -α. As it follows from Eq. (
1) the inverse transform can be also written as
and then R
α
[R
α
[fi
(-xi
,yi
)](-xo
,yo
)]
(r) = fi
(r).
It is known that the Parseval relation holds for entire class of the canonical
integral transforms and therefore for the gyrator operation which belongs to it. It
is easy to demonstrate this relation for the case of the gyrator operation, as it is
shown in Eq. (
5):
The shift of the function fi
at vector
vt
=
(vx
,vy
) leads to the
shift of its GT (for the angle α) at vcosα and
additional linear phase modulation:
where
v͂t
=
(
vy
,
vx
), see
appendix for more details. We observe that the shift of the amplitude of the GT
∣R
α[
fi
(
r
i-
v)](
r
o)∣
= ∣R
α
[
fi
(
r
i)](
r
o
-
vcosα)∣ is the same as for the case of two
dimensional symmetric fractional FT at angle α [
9
T. Alieva, V. Lopez, F. Agullo Lopez, and L. B. Almeida, “The fractional Fourier transform in
optical propagation problems,” J. Mod.
Opt.
41, 1037–1044
(1994). [CrossRef]
].
The effect of plane wave modulation
exp(-i2π
k
t
r
i)
of the function fi
(r
i) is also
similar to the fractional FT case. It leads to the shift of its GT (for the angle
α) at -k͂ sin α and additional linear
phase modulation:
where k
t =
(kx
,ky
) and k͂
t
= (ky
,kx
).
Scaling theorem can be formulated in the following form (see appendix section):
where σα = sgn(sinα),
σβ = sgn(sinβ),
It means that the GT at angle α of the scaled function
fi
(
Sr
i) corresponds to the
GT at angle β of the initial function
fi
(
ri
) with
additional scaling of the output coordinates and hyperbolic phase modulation. The
scaling property for the GT is similar to one for the Fresnel transform or for the
symmetrical fractional FT. Indeed during the Fresnel diffraction the change of the
aperture scale leads to the observation of the same diffraction pattern (except of
the corresponding scaling and chirp phase modulation) at another propagation
distance. The principal difference is in the phase modulation which has hyperbolic
form for the GT and chirp form for Fresnel or fractional FT transforms. Moreover in
the case of GT there are two particular cases of scaling parameters
sx
=
s =
s
-1
y and
sx
=
s = -
s
-1
y when the
expression Eq. (
8) is significantly reduced.
Thus if sx
= s =
s
-1
y the scaling does not change the
transformation angle β = α, the output scaling is the same as
the input one and there is no additional phase modulation
This scaling property will be demonstrated in section 4.1 in application to
generation of elliptical vortex beams.
If sx
= s =
-s
-1
y then the angles relation reduces to
cot β = -cotα and therefore β = π
-α.
The Eq. (
8) can be written as
or using the additive property of the GT as
In particular for
s = 1 we obtain the expression similar to Eq. (
4).
3. Gyrator transform of selected functions
As it occurs for the Fourier transform the GT of only selected functions can be
expressed analytically. The fundamental functions: Dirac delta, 1, hyperbolic wave,
plane wave, spherical wave, Gaussian and Hermite-Gaussian mode and their GTs are
displayed in
Table 1. The following notations are used along the Table:
vt
= (
vx
,
vy
),
k
t =
2π(
kx
,
ky
),
a > 0,
b and
c are
real numbers, and
is the operator of coordinate rotation at angle -π/4.
Table 1. Selected functions and their gyrator transforms
|
fi
(r
i) |
fo
(r
o)
=
Rα[fi
(r
i)](r
o) |
|---|
| δ
(r
i-v) |
|
| exp(i2πcxiyi
) |
|
| 1 |
|
| exp(-i
k
t
i
ri) |
|
| exp(-iπb
r
2
i
) |
|
| exp(-πa
r
2
i
) |
|
|
|
|
Let us consider in detail some particular cases from
Table 1 (see appendix for intermediate calculation). The
first row of
Table 1 shows that the GT for δ(
r
i
-
v) corresponds to the gyrator kernel as the output function,
Kα
(
r
i
=
v,
r
o), and therefore the product of
hyperbolic and plane waves.
Correspondingly the GT of a hyperbolic wave (see row 2,
Table 1) transforms to Dirac function for angle such that
cotα = -
c. It is an important result because it means
that GT can be used for localization of waves with hyperbolic phase front. For
c = tanα the plane wavefront,
fo
(
r
o) =
∣sinα∣
-1, is obtained at the output
of the GT system. For other angles the hyperbolic wave transforms to the hyperbolic
one. We underline only two particular cases, when the expressions for the GT of
hyperbolic wave are simplified. Thus for the values of parameter
c
= cotα and
c = (1+cotα)/(cotα-1)
we obtain
fo
(
r
o) =
exp(
iπ(cotα-tanα)
xo
yo
)/∣sinα∣
and
fo
(
r
o) = exp(i2π
xo
yo
)/∣sinα∣
respectively. Note that for
c = 0
(
fi
(
r
i) = 1) the GT also
corresponds to a hyperbolic wavefront as it is indicated at the third row of the
Table 1.
The gyrator transform of a plane wave (row 4,
Table1) corresponds to a product of the plane wave, with
spatial frequency scaled by 1/cosα and the hyperbolic wave.
For the spherical wavefront (row 5,
Table 1) its GT corresponds to a product of the spherical
wave, affected by the scaling factor and the hyperbolic wave. The hyperbolic
contribution cancels for angles corresponding to position and rotated FT domains
α = π (2
n+1)/2
(
fo
(
r
o) = exp
iπ
r
2
o/
b
/
ib) and α =π
n (
fo
(
r
o) = exp
-
iπb
r
2
o)), where
n is an integer.
The GT of a Gaussian function (row 6,
Table 1) corresponds to the Gaussian function with hyperbolic
phase modulation. In the case
a = 1 the additional phase shift
vanishes and output function corresponds to the input function exp
(-
πr
2
o). This result indicates
that exp (-
πr
2
o)is an
eigenfunction of the GT for any transformation angle α.
It has been shown in [
10
M. Bastiaans and T. Alieva, “First-order optical systems with
unimodular eigenvalues,” J. Opt. Soc. Am.
A
23, 1875–1883
(2006). [CrossRef]
] that the GT at angle α can be represented as a
fractional separable Fourier transform at angles (α,-α) with
rotation of the input and output coordinates (
x,
y)
at π/4 and -π/4 correspondingly. From that follows (see
reference [
11
T. Alieva and M. Bastiaans, “Mode mapping in paraxial lossless
optics,” Opt. Lett.
30, 1461–1463
(2005). [CrossRef] [PubMed]
]) that the eigenfunctions for the GT are the eigenfunctions
of the fractional FT rotated at angle -π/4. Since the Hermite Gaussian
modes:
where
Hm
is the Hermite polynomial and
w
is the beam waist, form the complete orthogonal set of eigenfunctions for the
separable fractional FT for
w = 1 then the HG modes rotated at
-π/4 form the set of the orthogonal eigenfunctions for the GT (row 7,
Table 1).
For α = ±π/4 the kernel of the GT is reduced to
In this case as it was shown (for example in [
3
E. G. Abramochkin and V. G. Volostnikov, “Beam transformations and
nontransformed beams,” Opt. Commun.
83, 123–135
(1991). [CrossRef]
,
4
E. G. Abramochkin and V. G. Volostnikov, “Generalized Gaussian
beams,” J. Opt. A.: Pure Appl. Opt.
6, S157–S161
(2004). [CrossRef]
]) that the
HGm,n
(
r;
w) for
w = 1 mode transforms
into the helicoidal LG mode:
where Ll
p
is the Laguerre polynomial,
p = min(m,n) and
l = ∣m-n∣.
The topological charge of the vortex mode is given by
±l.
For the transformation angle α = 3π/4, 5π/4 as it
follows from Eq. (
4) and Eq. (
11)
HGm,n
(
r;1) mode
transforms to -
LG
-
p,l(
r;1) and
-
LG
+
p,l(
r;1), respectively.
Finally we consider the GT of periodic functions. It is well-known that a periodic
function fi
(r
i) with periods
k
-1
x,
k
-1
y can be written as a Fourier
expansion
Then the GT of a periodic function is given by
Using the expression for the GT of a plane wave (row 4,
Table 1) we derive that
An interesting result is obtained for angles which satisfy the relation
l =
kxky
tanα
l
, where
l is an integer. Then Eq. (
19) is reduced to
which can be considered as a Talbot effect for the gyrator transform.
Finally as an example,
figure 2 shows the squared moduli (intensity distribution in
the case of optical realization) of the GT for the circle function
circ(
ri
/ρ)
(ρ = 1.6) for different transformation angles α = 0,
7π/36, π/4, 11π/36, π/2, (a-e)
respectively. This image sequence
Fig. 2(a-e) demonstrates the evolution from the input
function
Fig. 2(a) to its rotated Fourier transform obtained for
α = π/2,
Fig. 2(e). We observe how the rotational symmetry in the
position (α = 0) and FT domain (α = π/2) changes to
the rectangular one for other angles.
Fig. 2. Intensity distributions corresponding to the GT of the circle function are
displayed for different transformation angles α = 0
(a),7π/36 (b), π/4 (c), 11π/36 (d), and
π/2 (e).Note that for α = π/2 the rotated
Fourier transform is obtained.
4. Gyrator transform applications
The above mentioned properties of the GT make it a useful tool for optical
information processing. The GT provides an image representation in a new phase-space
domain which was not explored yet for signal analysis and synthesis. In particular
it can be used for hyperbolic wave detection, shift-variant filtering, encryption,
beam characterization, generation of stable modes with specific properties. The
application of the GT for all these tasks certainly demands extensive studies. Here
we will consider only the mode transformation under the GT. In particular we will
consider the gyrator transformation of the Hermite-Gaussian modes. There is a double
interest to these modes. First of all they appear as a natural modes in laser
resonators of rectangular symmetry and propagate in a free space without changing
their intensity form. On the other hand the HG modes forms a complete orthonormal
set and therefore often are used as a basis for image representation. The GT of the
HG modes generates other stable modes, which also propagate in free space without
changing their intensity form and the knowledge of these modes permits to represent
any image in the corresponding GT domain.
4.1. Hermite-Gaussian mode evolution under the gyrator transform
Let us consider the evolution oh the HG mode (14) under the GT. Since the GT for
different angles can be performed by optical system constructed from three
generalized lenses (assembled set of cylindrical lenses) and two fixed free
space intervals [
8
J. A. Rodrigo, T. Alieva, and M. L. Calvo, “Optical system design for
ortho-symplectic transformations in phase space,”
J. Opt. Soc. Am. A
23, 2494–2500
(2006). [CrossRef]
] the numerical simulations of the GT can follow this
recipe. Using free space propagation algorithm under Fresnel diffraction regime
and phase modulation functions for the generalized lenses we calculated the
output patterns for the GT system. The parameters used in these numerical
simulations are the following: wavelength λ = 532
nm,
w = 0.73
mm, and spatial resolution
20
μm.
During last decade various optical schemes were proposed for the generation of
the vortex beams which carry the orbital angular momentum (OAM). Mostly the
conversion of Hermite-Gaussian (
HGm,n
) modes of
different orders to the helicoidal Laguerre-Gaussian
(
LGp,l
) ones were considered [
2
M. W. Beijersbergen, L. Allen, H. E. L. O. Van der Veen, and J. P. Woerdman, “Astigmatic laser mode converters and
transfer of orbital angular momentum,”
Opt. Commun.
96, 123–132
(1993). [CrossRef]
]. It was also shown that it is possible to generate the
stable modes with fractional orbital angular momentum [
4
E. G. Abramochkin and V. G. Volostnikov, “Generalized Gaussian
beams,” J. Opt. A.: Pure Appl. Opt.
6, S157–S161
(2004). [CrossRef]
,
5
G. F. Calvo, “Wigner representation and geometric
transformations of optical orbital angular momentum spatial
modes,” Opt. Lett.
30, 1207–1209
(2005). [CrossRef] [PubMed]
]. The GT can be seen as a flexible mode converter where
modes of the same order but different OAM are obtained by varying the angle
α. As it was indicated in the previous section the mode conversion
from
HGm,n
to
LGp,l
, and
viceversa, is achieved when α
=π/4+
nπ/2 (
n integer),
meanwhile other modes are obtained for the rest of angle values if α
≠
πn/2.
Fig. 3. Intensity (up row) and phase (low row) of the GT of
HG
1,0 mode for different angles
α. Figure (a) corresponds to transformation angle
α = 0, π/4, π/2, 3π/4,
π, 5π/4,3π/2,7π/4. (b)
Intermediate sequence between angle α = 0 and α
=π/4 is displayed. (2.5 MB) Movie: mode transformation for
different angles α, where the input mode is
HG
1,0. [
Media 1]
In
Figure 3 the mode conversion from
HGm,n
mode of order
m = 1,
n = 0 to helicoidal
LG
p=0,l=1
is displayed for different values of angle α. The first and the
second rows correspond to the intensity and phase distribution, respectively.
The intensity distribution is normalized to the
maximum intensity value of the input signal
(α = 0), and phase values are represented for
[-π,π ] region. Mode conversion from
HG
1,0 (α = 0) to
LG
±
0,1 is obtained for
α = π/4, 3π/4, 5π/4,7π/4,
as it has been explained in Section 3. For α = π/2,
π, 3π/2 the output mode corresponds to
HG
1,0 rotated at π/2, π,
3π/2 with additional phase shift
exp(
i2α), respectively. Therefore the mode
conversion from
HG
1,0 to
HG
0,1 is obtained for α = π/2,
3π/2. In
Fig. 3(b) the intermediate modes obtained by the GT of
HG
1,0 for α = [0, π/4] are
displayed. The modes obtained for every particular angle α are stable
and possess fractional OAM [
5
G. F. Calvo, “Wigner representation and geometric
transformations of optical orbital angular momentum spatial
modes,” Opt. Lett.
30, 1207–1209
(2005). [CrossRef] [PubMed]
]. In general the action of the GT is associated with the
movement along the main meridian of the Poincaré spheres.
4.2. Influence of scaling and shift properties to mode transformation
Let us now consider how the scaling of the input HG mode affects on the mode
generation. Based on the scaling theorem (8) and choosing scaling parameters
sx
=
s =
s
-1
y in order to avoid the change of
the transformation angle and additional phase modulation, we observe (see
Fig. 4) that for α = π/4 the
transformation of the rotational symmetric intensity distribution typical for
the LG mode into elliptical one (
Fig. 4c,
Fig. 4f).
Figures 4 (a) and
(d) correspond to the input signal
HG
1,0 scaled by
s = 1/2 and
s = 2, respectively.
Figures 4 (b, c) and
(e, f) are the corresponding output modes for
α =π/5 and α =π/4. Therefore the GT
of scaled HG mode is an alternative for generation of the elliptic LG beams [
14
V. V. Kotlyar, S. N. Khonina, A. A. Almazov, V. A. Soifer, K. Jefimovs, and J. Turunen, “Elliptic Laguerre-Gaussian
beams,” J. Opt. Soc. Am. A
23, 43–56,
(2006). [CrossRef]
].
Fig. 4. Intensity (up row) and phase (low row) for different angles of the GT of
HG
1,0 affected by scaling factors
sx = s =
s
-1
y : s =
1/2 (a, b, c) and s = 2 (d, e ,f), respectively.
When the input function is not centred at the optical
a
xi
s we can apply the shifting theorem, Eq. (
6), to obtain the output function. Notice that if the input
signal is shifted at
v
t =
(
vx
,
vy
) the output
signal is shifted at
vt
cosα and affected by
an additional linear phase modulation. The GT at angle α =
π/5 and α = π/4 of
HG
1,0 for different shifting parameters is displayed
in
Fig. 5.
Figures 5 (b, c) and
(e, f) are the output modes obtained from the
HG
1,0 mode shifted by
vt
= (1
mm,0) (
Fig. 5a) and
vt
=
(1
mm,-1
mm) (
Fig. 5c), respectively.
4.3. Gyrator transform of HG mode composition
Up till now we have considered the transformation of only one HG mode.
Nevertheless the composition of HG modes of the same order
(n+m=const) also produces
a stable configuration after gyrator transformation. Thus for example the
combination of HG
3,0 and
HG
0,3 modes:
Fig. 5. Intensity (up row) and phase (low row) of the GT (for the angle
α) of HG
1,0 mode shifted by
vt
= (1mm,0) (a, b, c)
and vt
=
(1mm,-1mm) (d, e, f).
HG3 +
HG
0,3 (
Fig. 6a) leads for α=π/4 to the odd
Laguerre-Gaussian beams, which is the sum of two helicoidal LG modes with
opposite OAMvalues:
LG
+
0,3+
LG
-
0,3 (
Fig. 6e). For other angles α =π/8,
π/5, 2π/9 the intermediate modes are obtained (
Fig. 6 b, c, d).
5. Conclusion
A little known operation for two-dimensional signal manipulation, called gyrator
transform, has been studied. The main properties of the GT such as shift, scaling,
plane wave modulation, Parseval theorem, and other relevant properties have been
formulated. The GTs of the selected functions have been also found. The gyrator
operation promises to be a useful tool in image processing, holography, beam
characterization, quantum information, new mode generation, etc. For example, here
it has been demonstrated its application for stable mode generator. The experimental
scheme for optical implementation of the GT has been recently constructed by the
authors. The preliminary results, not displayed in this paper, demonstrate very good
agreement with theoretical predictions which opens new perspectives for different
applications.
Fig. 6. Intensity (up row) and phase (low row) distributions for GT of the
HG
3,0+
HG
0,3
input mode are displayed for different angles α = 0 (input
mode),π/8, π/5, 2π/9, π/4
(
LG
+
0,3+
LG
-
0,3mode).
(2.8 MB) Movie: mode transformation for different angles α, where
the input mode is
HG
3,0 +
HG
0,3. [
Media 2]
Appendices
Appendix
In this appendix we demonstrate the shift and scaling theorems associated to
the gyrator transformation and present the main intermediate calculations
for the GT of the selected functions from the
Table 1, which were discussed previously.
Shift theorem for gyrator transform
The kernel of the GT (Eq. (
1)) is parametrized by the symplectic matrix
T(α) as we have mentioned previously, Eq. (
2) and (
3). Therefore the Eq. (
1) can be rewritten as follows:
Here t stands for transposition operation. In order to
demonstrate the shift theorem it is suitable to apply this equation
(21). Considering that the input function is affected by a shift which
is indicated by means of the vector vt
=
(vx
,vy
), where u =
r
i-v, we derive
The kernel exp(iπϕ) is simplified
as
where the following relations (I is a unity 2×2
matrix) have been used
The equation (
23) has two exponential functions. The first one
corresponds to an additional phase factor that can be extracted from the
integral in Eq. (
22), and the second one corresponds to the gyrator
kernel where the coordinate
r
o is replaced by
r
o-
Xv. Doing this we obtain the
shift theorem as it was formulated in (6)
where v͂ =
(vy
,vx
). Finally, it is demonstrated that the shift of the function
fi
at vector
vt
= (vx
,vy
) leads to the shift of its GT
(for the angle α) at vcosα and additional linear
phase modulation.
Scaling theorem for gyrator transform
For the case of the scaling theorem the input function is affected by a
scaling factor
fi
(
Sr
i) =
fi
(
sxxi
,
sy
yi
). Therefore applying a change
of variable
x´
i =
sxxi
,
y´
i =
syyi
for the equation Eq. (
1), we obtain:
The next step is to define cotβ = cot
(α)/sxsy
, then
the last equation is rewritten as follows:
where σα = sgn(sinα),
σβ = sgn(sinβ). In order
to obtain this equation the definition of the GT and simple
trigonometric relations have been used.We conclude that the GT at angle
α of a scaled input function
fi
(Sr
i),
corresponds to the GT at angle β of the initial function
fi(r
i) with additional
scaling of the output coordinates and affected by a hyperbolic phase
modulation.
Gyrator transform of selected functions, Table 1
Here we present the main intermediates calculations for the GT of the
functions from
Table 1.The GT of the Dirac delta function (row 1,
Table 1) is obtained directly applying the
properties of the δ -function.
The GT of hyperbolic wavefront (row 2,
Table 1) and the constant function 1 in
particular (
c = 0) (row 3,
Table 1) is calculated as follows:
where we used that
The last expression, Eq. (
28), is simplified using the trigonometric
relations
A simple change of variable:
x´
o =
xo
+
ky
sinα,
and
y´
o =
yo
+
kx
sinα and the Eq. (
29) allow to calculate the GT of a plane wave (row
4,
Table 1).
The next two functions correspond to a spherical wavefront and a Gaussian
function, (row 5 and 6
Table 1, respectively) and can be derived as
particular cases of the GT of function
fi
(
r
i)= exp
(γ
r
2
i, where
γ = -π (
a+
ib)
and
a ≥0. According to Eq. (
1) the GT of
fi
(
r
i) = exp
(γ
r
2
i) is given by
where
The last expression in Eq. (
32) has been obtained using the following equation
where Re(μ) ≤ 0, for calculation the integral with
respect to
yi
. Therefore Re(γ)
≤ 0 must be satisfied. Using a change of variable
t =
xi
√γ, we again apply
the Eq. (
33) for integration with respect to
xi
and derive that
where d =
1+(πcot(α)/γ)2. Then the
GT of fi
(r
i) = exp
(γr
2
i is given by
Finally the GT of the spherical wave and Gaussian function (row 5 and 6
of the
Table 1) are obtained from Eq. (
35) for γ =
-π
a and γ =
-iπ
b, respectively.
Acknowledgements
Spanish Ministry of Education and Science is acknowledged for financial support,
project TEC 2005-02180/MIC.
References and links
1. |
H. M. Ozaktas, Z. Zalevsky, and M. Alper Kutay, The Fractional Fourier Transform with Applications in Optics
and Signal Processing, John Wiley&Sons, NY, USA
(2001). |
2. |
M. W. Beijersbergen, L. Allen, H. E. L. O. Van der Veen, and J. P. Woerdman, “Astigmatic laser mode converters and
transfer of orbital angular momentum,”
Opt. Commun.
96, 123–132
(1993). [CrossRef] |
3. |
E. G. Abramochkin and V. G. Volostnikov, “Beam transformations and
nontransformed beams,” Opt. Commun.
83, 123–135
(1991). [CrossRef] |
4. |
E. G. Abramochkin and V. G. Volostnikov, “Generalized Gaussian
beams,” J. Opt. A.: Pure Appl. Opt.
6, S157–S161
(2004). [CrossRef] |
5. |
G. F. Calvo, “Wigner representation and geometric
transformations of optical orbital angular momentum spatial
modes,” Opt. Lett.
30, 1207–1209
(2005). [CrossRef] [PubMed] |
6. |
R. Simon and K. B. Wolf, “Structure of the set of paraxial
optical systems,” J. Opt. Soc. Am. A
17, 342–355
(2000). [CrossRef] |
7. |
K. B. Wolf, Geometric Optics on Phase Space,
Springer-Verlag, Berlin
(2004). |
8. |
J. A. Rodrigo, T. Alieva, and M. L. Calvo, “Optical system design for
ortho-symplectic transformations in phase space,”
J. Opt. Soc. Am. A
23, 2494–2500
(2006). [CrossRef] |
9. |
T. Alieva, V. Lopez, F. Agullo Lopez, and L. B. Almeida, “The fractional Fourier transform in
optical propagation problems,” J. Mod.
Opt.
41, 1037–1044
(1994). [CrossRef] |
10. |
M. Bastiaans and T. Alieva, “First-order optical systems with
unimodular eigenvalues,” J. Opt. Soc. Am.
A
23, 1875–1883
(2006). [CrossRef] |
11. |
T. Alieva and M. Bastiaans, “Mode mapping in paraxial lossless
optics,” Opt. Lett.
30, 1461–1463
(2005). [CrossRef] [PubMed] |
12. |
M. Abramowitz and I. A. Stegun, eds., Pocketbook of Mathematical Functions,
Frankfurt am Main, Germany
(1984). |
13. |
I. S. Gradshteyn and I.M. Ryzhik, Table of integrals, series and products,
Academic Press, NY, USA
(1996). |
14. |
V. V. Kotlyar, S. N. Khonina, A. A. Almazov, V. A. Soifer, K. Jefimovs, and J. Turunen, “Elliptic Laguerre-Gaussian
beams,” J. Opt. Soc. Am. A
23, 43–56,
(2006). [CrossRef] |