Computer-Generated Holography (CGH)

PHYS4412 (Computational Science II)
Department of Physics & Astronomy
Louisiana State University

II.B Two-Dimensional, Rectangular Aperture Tilted (about the x-axis)
at an angle y relative to the Image Screen

This discussion combines details from Chapter I.B in which we discussed a two-dimensional aperture oriented parallel to the image screen, and Chapter II.A in which a one-dimensional aperture was tilted with respect to the image screen.

General Concept

Consider the amplitude (and phase) of light that is incident at a location (x1,y1) on an image screen whose center is located a distance Z from a rectangular aperture of width w and height h but which is tilted about its x-axis by an angle y relative to the image screen. By analogy with equations (I.B-1) and (II.A-2), the complex number A representing the light amplitude and phase at (x1,y1) will be,

A (x1,y1)  =  S S aj,k exp[ i ( 2p Dj,k/ l + fj,k ) ] ,
j k
[Equation 1]

where, now, the distance Dj,k is given by the expression,

Dj,k º [ ( Xj - x1 )2 + ( Yk - y1 cosy )2 + ( Z - y1 siny )2 ]1/2
= { [ (Z - y1 siny)2 + x12 + (y1 cosy)2 ] - 2 ( x1 Xj + y1 cosy Yk ) + Xj2 + Yk2 }1/2
= L [ 1 - 2 ( x1 Xj + y1 cosy Yk ) / L2 + ( Xj2 + Yk2) / L2 ]1/2 ,

[Equation 2]
and,
L º { ( Z - y1 siny )2 + x12 + ( y1 cosy )2 }1/2
  =   [ Z2 + x12 + y12 - 2 Z y1 siny ]1/2 .
[Equation 3]


Comparison with Leseberg & Frère

Here we depart somewhat from the sequence of steps that have been taken in earlier chapters in order to compare our result for the tilted 2-D, rectangular aperture with the published result of Leseberg & Frère (1988). Considering the situation when | Xj / L | << 1 and | Yk / L | << 1, we will use the binomial expansion to approximate the square root in equation (2), but will not yet drop the quadratic terms in favor of the linear ones. That is, we will for the moment employ the approximation,

Dj,k » L [ 1 - ( x1 Xj + y1 cosy Yk ) / L2 + (1/2) ( Xj2 + Yk2) / L2 ] .
[Equation 4]

With this approximation, equation (1) becomes,

A (x1,y1) » A0 S S aj,k exp{i fj,k } exp{ i [p/(lL)] [ (Xj2 + Yk2) - 2(x1Xj + y1cosyYk) ] },
j k
[Equation 5]

where A0 = exp[i(2p L / l ) ]. Now, as in Chapter I.B, we would like to consider the case where the rectangular aperture is divided into an infinite number of divisions in both the X and Y dimensions and convert the summations in equation (5) into integrals whose limits in both directions are given by the edges of the aperture. Without assuming that the aperture is uniformly bright [i.e., setting aj,k = a0(X,Y) dX dY], and by not yet prescribing the phase f across the aperture, equation (5) becomes,

A (x1,y1) » A0 ò   ò a0(X,Y) exp{i f(X,Y) } exp{ i [p/(lL)] [ (X2 + Y2)
- 2(x1X + y1Y cosy) ] } dX dY .
[Equation 6]

In order to see the correspondence between this expression and the Leseberg & Frère (1988) discussion, it is important to realize that Leseberg & Frère used a slightly different coordinate notation than has been used here in the derivation of equation (6). As illustrated earlier in our Figure 2, we have chosen to measure the separation (Z) between the aperture and the image screen along a coordinate axis that runs through the center of the aperture and lies perpendicular to the aperture, whereas Leseberg & Frère have measured this separation (they called it z0) along a coordinate axis that runs through the center of the aperture but lies perpendicular to the image screen. Hence, the following transformations must be used:

Leseberg
&
Frère
This
derivation
x = x1
y = y1 - Z siny
z0 = Z cosy

It is also necessary to utilize the following notational relationships:

Leseberg
&
Frère
This
derivation
r = D
r0 = L
u0 = a0
x' = X
y' = Y

Making these substitutions, equation (6) becomes,

A (x,y) » A0 ò   ò u0(x',y') exp{i f(x',y') } exp{ i [p/(lr0)] [ (x'2 + y'2)
- 2(xx' + yy' cosy + z0y' siny ) ] } dx' dy' .
[Equation 7]

Finally, we note that Leseberg and Frère considered the specific case where "the object is illuminated by an on-axis plane wave,"1 and in so doing, adopted the following phase function f(x',y') for the light leaving the aperture:

f(x',y') = ( 2p / l ) y' siny
= [ 2p / ( l r0 ) ] r0 y' siny .
[Equation 8]1

In this particular case, then, equation (7) becomes,

A (x,y) » A0 ò   ò u0(x',y') exp{ i [2p/(l) y' siny] } exp{ i [p/(lr0)] [ (x'2 + y'2) ] }
exp{ - i [ 2p/(lr0)] [xx' + yy' cosy + z0 y' siny ] } dx' dy'
= A0 ò   ò u0(x',y') exp{ i [p/(lr0)] [ (x'2 + y'2) ] }
exp{ - i [ 2p/(lr0)] [xx' + yy' cosy + ( z0 - r0 ) y' siny ] } dx' dy' ,
[Equation 9]

which is identical to equation (2) of Leseberg & Frère (1988).

Now the principal point of this derivation has been to demonstrate that the form of our integral expression (6) [or of Leseberg & Frère's equivalent expression shown here as equation (9)], is the same as the form of equation (I.B-6) for the untilted rectangular aperture. That is, in both cases, the last exponential term under the integrals can be written as,

exp{ - i [ 2p/(lL)] [ n X + m Y ] } dX dY ,
[Equation 10]

where n and m are coefficients that do not depend on X or Y (i.e., on the intrinsic shape or extent of the aperture). Hence, as Leseberg & Frère put it, "... the Fourier transform and the coordinate transformation can be implemented independent of each other." A similar point has been made by Rabal, Bolognini, & Sicre (1985), although their comments were targeted towards experimental applications. As our discussion at the end of Chapter II.A points out, this idea can even begin to be appreciated in the context of a one-dimensional slit.


Discussion

Coordinate Transformation Independence

The discovery that the Fourier transform and the coordinate transformation can be implemented independent of each other is an extremely important result. It means that, once the holographic pattern produced by a specific aperture has been calculated once, you should be able to "fly around that aperture," viewing it from any other direction in space (any other angle y) without having to recalculate the holographic pattern.

It does not appear as though Leseberg & Frère actually viewed their result from this perspective, however. They were not looking for ways to speed up the calculation of a "fly-by" sequence, but rather for ways to speed up the calculation of the holographic pattern in the first place! What they discussed, therefore, were ways in which the extended surface of a nonsimple structure might be broken down into a series of (presumably connected) small, rectangular apertures that are each oriented at a different angle to the image screen.

Here we will complete the double integral in equation (6) analytically and offer that result as a mechanism for speeding up the calculation of the holographic pattern, then return to the Leseberg & Frère result later as a mechanism to implement rapid "fly-by" capabilities once multiple apertures have been pieced together to construct the surface of a three-dimensional object.


Analytical Prescription

If we drop from equation (6) [or eq. (7) or eq. (9)] the terms that are quadratic in X (= x') and Y (= y') in favor of the terms that are linear in these variables, respectively, and assume that the aperture is uniformly illuminated (i.e., set u0 = a0 cosy = constant),2 then the integrals can be completed analytically. (As Leseberg & Frère [1988] point out, even when the Fourier transform is completed numerically, "it is usual to neglect the additional quadratic phase factor [on the image screen]." If the intensity across the image screen is then turned into a transparent hologram, when light is shown back through the hologram, "the complex conjugate of this phase appears in the reconstructed image." But, as Leseberg & Frère put it, "this is of no concern for an intensity recording as performed by most detecting devices.")

Comparison with Patorski (1983)

Employing these approximations in equation (9), for example, the expression to be integrated is,

A (x,y) » A0 a0 cosy ò   ò exp{ i [2p/(l) y' siny] }
exp{ - i [ 2p/(lr0)] [xx' + yy' cosy + z0 y' siny ] } dx' dy' .
[Equation 11]

Using the shorthand notation, k º 2p/l, p º x/r0, and q º y/r0, equation (11) may also be written in the form,

A (x,y) » A0 a0 cosy ò   ò exp{ i [k y' siny] }
exp{ - i k [px' + qy' cosy + (z0/r0) y' siny ] } dx' dy' ,
[Equation 12]

which is precisely the same as Patorski's (1983) equation (2).3 Finally, writing this equation in the form of expression (10), we obtain,

A (x,y) » A0 a0 cosy   ò   ò exp{ - i k [px' + y'(q cosy + (z0/r0) siny - siny ) ] } dx' dy'
= A0 a0 cosy   ò exp{ - i nP x' } dx'   ò exp{ - i mP y' } dy' .
[Equation 13]
where,

nP º kp ,
mP º k [q cosy + (z0/r0) siny - siny ] ,
[Equation 14]

and the subscript "P" is being used to indicate that these are the wave numbers derived by Patorski (1983). Now, as in Chapter I.B, it seems clear that the limits of integration should be from X2 to X1 in the x' (= X) coordinate, and in the y' (= Y) coordinate the limits should be from Y2 to Y1. Employing these limits, then, both of these integrals can be completed in the same fashion as described in Chapter I.A for the 1D slit, giving,

A (x,y) » A0 a0 (w h) cosy e( - i Q1 ) e( - i J1 ) sinc( a1 ) sinc( b1 ) ,
[Equation 15]

where,

a1 º nP [ X1 - X2 ] / 2 = nP h / 2 ,
Q1 º nP [ X1 + X2 ] / 2 ,
b1 º mP [ Y1 - Y2 ] / 2 = mP w / 2 ,
J1 º mP [ Y1 + Y2 ] / 2 .
[Equation 16]

Assuming the aperture is centered on the image screen -- i.e., Y2 = - Y1 and X2 = - X1 -- the two phase angles Q1 = J1 = 0, and equation (15) becomes,

A (x,y) » A0 a0 (w h) cosy sinc( a1 ) sinc( b1 ) ,
[Equation 17]

which is identical to Patorski's (1983) equation (6) in all but one respect. In the y' (= Y) coordinate direction, Patorski set his integration limit to Y1 = (w/2)cosy whereas we have set ours to Y1 = (w/2). Hence the argument of the second sinc function in Patorski's expression differs from ours by a factor of cosy. We believe that our limits are the correct ones because, independent of the direction from which you look, the integration is done in the coordinate system of the aperture and therefore should always have the same limits. This aspect of the problem is, in part, what permits us to implement the Fourier transform and the coordinate transformation independent of one another, as discussed above. As explained in footnote 2, below, we agree with Patorski that a factor of cosy should enter the calculation when considering the brightness per unit area of the light that is incident on the aperture, but this factor should not be introduced into the limits of integration because tilting the aperture does not alter the aperture's inherent size or shape.

A Formulation More Appropriate for CGH

Having shown the correspondence between our derivation and similar ones presented previously by Leseberg & Frère (1988) and Patorski (1983), we now return to our original notation in equation (6), and apply the same conditions regarding the property of light leaving the surface of the aperture as we have employed in earlier chapters. That is to say, we will assume that the aperture is uniformly illuminated and that the phase f = 0 across the entire aperture. As we also drop the terms that are quadratic in X and quadratic in Y, equation (6) becomes,

A (x1,y1) » A0 a0 ò   ò exp{ - i [2p/(lL)] [ x1X + y1Y cosy ] } dX dY .
= A0 a0   ò exp{ - i n X } dX   ò exp{ - i m Y } dY .
= A0 a0 (w h) e[ - i (Q1 + J1 ) ] sinc( a1 ) sinc( b1 ) ,
[Equation 18]

where,

n º [2px1/(lL)] ,
m º [2py1/(lL)] cosy ,
a1 º n [ X1 - X2 ] / 2 = n h / 2 ,
Q1 º n [ X1 + X2 ] / 2 ,
b1 º m [ Y1 - Y2 ] / 2 = m w / 2 ,
J1 º m [ Y1 + Y2 ] / 2 .
[Equation 19]

In the spirit of the discussion at the end of Chapter II.A, we also note that this result may be presented in the following general form:

A (xa,ya,za) » A0 a0 (w h) e[ - i (Q1 + J1 ) ] sinc( a1 ) sinc( b1 ) ,
[Equation 20]

where,

a1 = ka xa,
Q1 = kQ xa,
b1 = kb ya,
J1 = kJ ya,

ka º p ( l L )-1 [ X1 - X2 ] ,
kQ º p ( l L )-1 [ X1 + X2 ] ,
kb º p ( l L )-1 [ Y1 - Y2 ] ,
kJ º p ( l L )-1 [ Y1 + Y2 ] ,

and,

L = [ za2 + ya2 + xa2 ]1/2.
[Equation 21]

Then we simply note that for any point (x1,y1) on a flat image plane that is tilted with respect to the rectangular aperture as illustrated in Figure II.2, xa = x1, ya = ( y1 cosy ), and za = ( Z - y1 siny ) .


Footnotes

1Initially, it seemed a bit odd to me that Leseberg & Frère would prescribe f(x',y') in this particular way. This phase function makes sense if the light that is illuminating the rectangular surface (the aperture) originates as a coherent source from the image screen; but then one would not expect the light to bounce off of the surface and head directly back to the image screen. Eventually I realized that Leseberg & Frère picked up this particular prescription for f from the article by Patorski (1983). As an experimentalist, Patorski was pointing his coherent source of light directly at the image screen, then inserting a tilted, transparent aperture between the light source and the screen. Hence, the object [aperture] was being "illuminated by an on-axis plane wave."

2 If a0 is the brightness per unit area of the coherent plane wave whose propagation vector is perpendicular to the image screen, as assumed by Patorski (1983), then when the tilted transparent aperture is inserted between the light source and the screen, the brightness per unit area on the aperture will be u0(x,y) = a0 cosy. In conjunction with equation (8), therefore, the complex amplitude of light that is incident (and, in this case, also leaving) the aperture will be,

I(x,y) = a0 cosy exp{ i (2p/l) y' siny } .

3In order to see the correspondence between our equation (12) and Patorski's equation (2), note that Patorski uses the angle b instead of y, and that the ratio (z0/r0) = [ 1 - (p2 + q2) ]1/2. Also, there are two typesetting mistakes in Patorski's equation (2): in one place the coefficient "g" appears instead of a "q", and a factor of y' has been inadvertently omitted from the last term inside the exponential.

| Tohline's Home Page | PHYS 2411 | PHYS 4412 |
| CGH index | Preface | 1D Slit |