Editing Appendix/CGH/ParallelApertures (section)

=CGH:  Apertures that are Parallel to the Image Screen=

<table border="1" align="center" width="100%" colspan="8">
<tr>
  <td align="center" bgcolor="lightblue" colspan="4" cellpadding="8">
Computer Generated Holography
  </td>
</tr>
<tr>
  <td align="left" bgcolor="lightblue" width="25%" rowspan="2">
<ul>
<li>[[Appendix/CGH/Preface|Preface]]</li>
<li>[[Appendix/Ramblings/FourierSeries#One-Dimensional_Aperture|Fourier Series]]</li>
<li>[[Appendix/CGH/ParallelAperturesConsolidate|Consolidated Expressions]]</li>
<li>[[Appendix/QED|Feynmann's Path-Integral Formulation]]</li>
</ul>
  </td>
  <td align="center" bgcolor="lightblue" width="75%" rowspan="1" colspan="3" cellpadding="8">
Apertures Parallel to Image Screen
  </td>
</tr>
<tr>
  <td align="center" bgcolor="lightblue" width="25%"><br />[[Appendix/CGH/ParallelApertures|Part I: &nbsp; One-Dimensional Apertures]]
&nbsp;
  </td>
  <td align="center" bgcolor="lightblue" width="25%"><br />[[Appendix/CGH/ParallelApertures2D|Part II: &nbsp; Two-Dimensional Apertures]]
&nbsp;
  </td>
  <td align="center" bgcolor="lightblue"><br />[[Appendix/CGH/ParallelAperturesHolograms|Part III: &nbsp; Relevance to Holograms]]
&nbsp;
  </td>
</tr>
</table>

<!--
This chapter is intended primarily to replicate [http://www.phys.lsu.edu/faculty/tohline/phys4412/howto/slit1d.html &sect;I.A from the online class notes] &#8212; see also an associated [[Appendix/CGH/Preface|Preface]] and the original [http://www.phys.lsu.edu/faculty/tohline/phys4412/howto/ Table of Contents] &#8212; that I developed in conjunction with a course that I taught in 1999 on the topic of ''Computer Generated Holography (CGH)'' for a subset of LSU physics majors who were interested in computational science.
-->

Before diving into the mathematical underpinnings of digital (computer-generated) holography, it is instructive to view the following YouTube video. It presents an MIT lecture that demonstrates what diffraction patterns result from shining a laser beam through a "single-slit" or a "multiple-slit" experimental setup.

<table border="1" align="center" cellpadding="8">

<tr>
  <td align="center" colspan="2">
<b>YouTube</b> video: click [https://www.youtube.com/watch?v=KlKduOOHukU here]<br>''Optics: Fraunhofer diffraction &#8212; single and multiple slits''
  </td>
</tr>

<tr>
  <td align="center">
MIT Professor [https://web.archive.org/web/20070127204345/http://www.rle.mit.edu/rleonline/People/ShaoulEzekiel.html Shaoul Ezekiel]<br>
[[File:MITvideo_ProfShaoulEzekiel.png|300px|MITvideo:Professor Shaoul Ezekiel]]
  </td>
  <td align="center">
[[File:MITvideo_DiffractionPattern.png|350px|MITvideo_DiffractionPattern]]
  </td>
</tr>
</table>
<!--
<iframe width="560" height="315" src="https://www.youtube.com/embed/KlKduOOHukU?si=k2wwqKQ_SiCt1iQh" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen></iframe>
-->

==Propagation of Light==
Here we reference heavily the traveling, wave-like nature of light and, as is customary, use <math>c</math> to represent its speed of propagation through space.  Consider a single ray of light of wavelength, <math>\lambda</math>, that is traveling in the <math>x</math>-direction.  Its amplitude, <math>~a</math>, will vary with time in a sinusoidal fashion as described by the equation,
<div align="center">
<math>a(x) = a_0\cos\biggl(\frac{2\pi x}{\lambda} + \phi_0 \biggr) \, ,</math>
</div>
where:&nbsp; the light-wave's peak-to-peak brightness is <math>~2a_0</math>; <math>~\phi_0</math> is the "phase" that the oscillatory wave displays at a reference location, <math>x=0</math>, when the reference time, <math>t = 0</math>; and <math>x = ct</math>.  As is demonstrated, for example, in our [[Appendix/Ramblings/FourierSeries#ComplexExpression|accompanying discussion of various, equivalent, Fourier series expressions]], this equation can be usefully rewritten in a number of other forms.
<!--
<div align="center">
<math>~a(x) = a_0 e^{2\pi x/\lambda + \phi_0} \, .</math>
</div>
-->

==One-Dimensional Aperture==
===General Concept===
<table border="0" cellpadding="10" align="right"><tr><td align="center">
<table border="1" cellpadding="5">
<tr>
  <th align="center">Figure 1</th>
</tr>
<tr>
  <td align="center" bgcolor="lightgreen">[[File:Aperture3.gif|350px|Chapter1Fig1]]</td>
</tr>
</table>
</td></tr></table>
Consider the amplitude (and phase) of light that is incident at a location <math>y_1</math> on an image screen that is located a distance <math>Z</math> from a slit of width <math>w</math>.  First, as illustrated in Figure 1, consider the contribution due only to two rays of light:&nbsp; one coming from location <math>~Y_1</math> at the top edge of the slit (a distance <math>~D_1</math> from point <math>~y_1</math> on the screen) and another coming from location <math>~Y_2</math> at the bottom edge of the slit (a distance <math>~D_2</math> from the same point on the screen).

The complex number, <math>~A</math>, representing the light amplitude and phase at <math>~y_1</math> will be,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
a(Y_1) e^{i(2\pi D_1/\lambda + \phi_1)} + 
a(Y_2) e^{i(2\pi D_2/\lambda + \phi_2)} \, ,
</math>
  </td>
</tr>
</table>
</div>
where, <math>~\lambda</math> is the wavelength of the light, <math>~a(Y_j)</math> is the brightness of the light at point <math>~Y_j</math> on the aperture, and <math>~\phi_j</math> is the phase of the light as it leaves point <math>~Y_j</math>.

Now, if we consider for the moment that at all locations on the aperture, <math>~Y_j</math>, the light has a brightness <math>~a(Y_j) = 1</math> and a phase <math>~\phi_j = 0</math>, then,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~A_0 \biggl[1 + e^{i(2\pi/\lambda)(D_2 - D_1)}  \biggr] \, ,</math>
  </td>
</tr>
</table>
</div>
where, <math>~A_0 = e^{i(2\pi D_1/\lambda)}</math>.  So the question of whether the amplitude at <math>~y_1</math> on the image screen will be bright due to constructive interference or faint as a result of destructive interference comes down to a question of what the phase difference is between the two distances <math>~D_1</math> and <math>~D_2</math> where,
<div align="center" id="Distance">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~D_j</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
[(Y_j - y_1)^2 + Z^2  ]^{1 / 2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
[Z^2 + y_1^2 - 2y_1 Y_j + Y_j^2 ]^{1 / 2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
L \biggl[1 - \frac{2y_1 Y_j}{L^2} + \frac{Y_j^2}{L^2} \biggr]^{1 / 2}
</math>
  </td>
</tr>
</table>
</div>
and,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~L</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
[Z^2 + y_1^2  ]^{1 / 2} \, .
</math>
  </td>
</tr>
</table>
</div>

===Utility of FFT Techniques===
Let's rewrite the first of our above equations in a form that takes into account many more than just two points along the aperture.  That is,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\sum_j
a_j e^{i(2\pi D_j/\lambda + \phi_j)} 
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\sum_j
a_j \biggl[ \cos\biggl(\frac{2\pi D_j}{\lambda} + \phi_j \biggr) + i   \sin\biggl(\frac{2\pi D_j}{\lambda} + \phi_j \biggr) \biggr]
\, .
</math>
  </td>
</tr>
</table>

<table border="1" align="center" width="85%" cellpadding="8">
<tr><td align="left">
Note that this is identical to the expression,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\sum_j a_j
\biggl[\cos\phi_j + i \sin\phi_j \biggr] \biggl[ \cos\biggl(\frac{2\pi D_j}{\lambda} \biggr) + i   \sin\biggl(\frac{2\pi D_j}{\lambda}\biggr) \biggr]
\, .
</math>
  </td>
</tr>
</table>
</td></tr>
</table>

In the more restrictive case when we assume that everywhere along the aperture the phase <math>\phi_j = 0</math>, we have,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\sum_j
a_j e^{i(2\pi D_j/\lambda)} 
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\sum_j
a_j \biggl[ \cos\biggl(\frac{2\pi D_j}{\lambda} \biggr) + i   \sin\biggl(\frac{2\pi D_j}{\lambda} \biggr) \biggr]
\, ,
</math>
  </td>
</tr>
</table>

where, in each of these expressions, we have replaced <math>a(Y_j)</math> with <math>a_j</math>.  After acknowledging that the function, <math>A(y_1)</math>, is complex &#8212; with <math>\mathcal{R}e(A)</math> being given by the sum over cosine terms and <math>\mathcal{I}m(A)</math> being given by the sum over sine terms &#8212; it is clear that the brightness of each point on the image screen is given by (the square root of) <math>A</math> multiplied by its complex conjugate, <math>A^*</math>, that is, by the expression, <math>(A\cdot A^*)^{1 / 2}</math>.  Figures 2 &amp; 3 show how this brightness (amplitude) varies across the image screen for the case of a monochromatic light of wavelength, <math>\lambda = 500</math> nanometers, impinging on a single slit that is 1 mm in width; for all curves, the amplitude has been determined by summing over <math>j_\mathrm{max} = 51</math> equally spaced points across the slit.   The results displayed in Figure 2 are for an image screen that is placed <math>Z = 1</math> meter from the slit, while Figure 3 displays results for an image screen that is placed a distance, <math>Z = 10</math> m from the slit.

<div align="center" id="Figure2">
<table border="1" cellpadding="8" align="center">
<tr>
  <th align="center">Figure 2: &nbsp; <math>w = 1~\mathrm{mm}; Z = 1~\mathrm{m}; \lambda = 500~\mathrm{nm}; j_\mathrm{max} = 51</math></th>
</tr>
<tr>
  <td align="center">
[[File:SingleSlit01B.png|700px|First Plot of Single-Slit Diffraction Pattern]]
  </td>
</tr>
</table>
</div>

Two curves appear in both Figure 2 and Figure 3.  The solid green curve was obtained by plugging the precise, "nonlinear" determination of <math>D_j</math> &#8212; that is, the [[#Distance|mathematical expression for <math>D_j</math>, as given above]] &#8212; into the arguments of the trigonometric functions, while the dotted red curve was obtained by using the approximate, "linearized" expression for <math>D_j</math>, as will now be described.

<div align="center" id="Figure3">
<table border="1" cellpadding="8" align="center">
<tr>
  <th align="center">Figure 3: &nbsp; <math>w = 1~\mathrm{mm}; Z = 10~\mathrm{m}; \lambda = 500~\mathrm{nm}; j_\mathrm{max} = 51</math></th>
</tr>
<tr>
  <td align="center">
[[File:SingleSlit02B.png|700px|Second Plot of Single-Slit Diffraction Pattern]]
  </td>
</tr>
</table>
</div>


<span id="Simplify">If we assume that,</span> for all <math>j</math>,
<div align="center">
<math>\biggl| \frac{Y_j}{L}\biggr| \ll 1</math>
</div>
&#8212; in the present context, this generally will be equivalent to assuming that the width of the aperture is much much less than the distance <math>(Z)</math> separating the aperture from the image screen &#8212; we can drop the quadratic term in favor of the linear one in the above expression for <math>D_j</math> and deduce that,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>D_j</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>
L \biggl[1 - \frac{2y_1 Y_j}{L^2}  \biggr]^{1 / 2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>
L \biggl[1 - \frac{y_1 Y_j}{L^2}  \biggr] \, .
</math>
  </td>
</tr>
</table>

<span id="Fourier">Hence, we have,</span>

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>A_0 \sum_j
a_j e^{-i[2\pi y_1 Y_j/(\lambda L)]} 
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>A_0 \sum_j
a_j \biggl[ \cos\biggl(\frac{2\pi y_1 Y_j}{\lambda L} \biggr) - i  \sin\biggl(\frac{2\pi y_1 Y_j}{\lambda L} \biggr) \biggr]
\, ,
</math>
  </td>
</tr>
</table>

where, now, <math>A_0 = e^{i2\pi L/\lambda}</math>.  

Notice that this expression matches what we have [[Appendix/Ramblings/FourierSeries#Complex|referred to elsewhere as the ''Complex'' Fourier Series Expression]].  When written in this form, it should immediately be apparent why discrete Fourier transform techniques (specifically FFT techniques) are useful tools for evaluation of the complex amplitude, <math>A</math>.  See [[#Parallels_With_Standard_Fourier_Series|further elaboration below]].

===Analytic Result===

If we consider the limit where the aperture shown in Figure I.1 is divided into an infinite number of divisions, then we can convert the summation in the above equations into an integral running between the limits, Y<sub>2</sub> and Y<sub>1</sub>.  Specifically, linearized expression immediately above becomes,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>A_0~a_0 \int
e^{-i[2\pi y_1 Y/(\lambda L)]} dY
\, ,
</math>
  </td>
</tr>
</table>

where, again, we have returned to the case where the aperture is assumed to be uniformly bright and set a(Y) = a<sub>0</sub>dY.  (It should be understood that a<sub>0</sub> is the brightness of the aperture per unit length.)  If we now make the substitution,
<div align="center">
<math>\Theta \equiv \frac{2\pi y_1 Y}{\lambda L} \, ,</math>
</div>

this integral expression takes the form,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>A_0 \biggl[ \frac{a_0 w}{2\beta_1} \biggr] \int_{\Theta_2}^{\Theta_1}
e^{-i \Theta} d\Theta
\, ,
</math>
  </td>
</tr>
</table>
where the limits of integration are, respectively,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>\Theta_2</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{2\pi y_1 Y_2}{\lambda L} = \vartheta_1 - \beta_1
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\Theta_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{2\pi y_1 Y_1}{\lambda L} = \vartheta_1 + \beta_1
\, ,
</math>
  </td>
</tr>
</table>
and,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>\beta_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{\pi y_1}{\lambda L} \biggl[ Y_1 - Y_2 \biggr] = \frac{\pi y_1 w}{\lambda L} 
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\vartheta_1</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{\pi y_1}{\lambda L} \biggl[ Y_1 + Y_2 \biggr] 
\, .
</math>
  </td>
</tr>
</table>
This definite integral can be readily evaluated, giving,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A(y_1)</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>
(-i)^{-1} A_0 \biggl[ \frac{a_0 w}{2\beta_1} \biggr] \biggl[e^{-i\Theta_1} - e^{-i \Theta_2}  \biggr] 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
i A_0 \biggl[ \frac{a_0 w}{2\beta_1} \biggr] e^{-i\vartheta_1} \biggl[e^{-i\beta_1} - e^{+i \beta_1}  \biggr] 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[ A_0 ~a_0 ~w ~e^{-i\vartheta_1} \biggr]\frac{\sin\beta_1}{\beta_1} 
= \biggl[ A_0 ~a_0 ~w ~e^{-i\vartheta_1} \biggr] \mathrm{sinc}(\beta_1) \, .
</math>
  </td>
</tr>
</table>
The last two lines have been derived by realizing that, for any angle <math>\chi</math>,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>e^{-i\chi} - e^{+i\chi}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-2i\sin(\chi) \, ;
</math>
  </td>
</tr>
</table>
and the "sinc" function,

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>\mathrm{sinc}(\chi)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{\sin\chi}{\chi} \, .
</math>
  </td>
</tr>
</table>
Notice that the center of the aperture is used to define the origin of the Y (and y) coordinate axis so that Y<sub>2</sub> = -Y<sub>1</sub>, as illustrate in Figure I.1; then <math>\vartheta_1 = 0</math> and the amplitude, A(y<sub>1</sub>), has no complex component.  If the aperture is not centered as depicted in Figure I.1, the angle <math>\vartheta_1</math> simple serves to introduce a phase shift in the evaluation of the amplitude.

Although this problem was solved for a specific location, y<sub>1</sub>, on the image screen, we see that the sinc function solution can readily be evaluated for any other location on the screen without having to redo the integral.

===Location of the Dark Fringe(s)===

<span id="DarkFringe">As has been described</span> in [[#See_Also|multiple online references]], the locations across the image screen where complete ''destructive'' interference occurs can be determined straightforwardly using geometric relationships.  For example, in terms of the angle, <math>~\theta</math>, defined such that,
<div align="center">
<math>~\tan\theta = \frac{y_1}{Z} \, ,</math>
</div>
the distance from the central brightness peak to the first location where the brightness/amplitude goes to zero &#8212; ''i.e.'', the location of the first ''dark fringe'' &#8212; is given by the relation,
<div align="center">
<math>~\sin\theta = \frac{\lambda}{w} \, .</math>
</div>
(For each successive fringe, labeled by the positive integer, <math>~m</math>, the relation is, <math>~\sin\theta_m = m\lambda/w.</math>) Hence, acknowledging that usually <math>~\lambda/w \ll 1</math>, we find that,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~y_1\biggr|_{1^\mathrm{st} \mathrm{fringe}}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~Z \tan\theta = Z \sin\theta [ 1 - \sin^2\theta ]^{-1 / 2}</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{\lambda Z}{w} \biggl[ 1 - \biggl(\frac{\lambda }{w}\biggr)^2 \biggr]^{-1 / 2}</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~\frac{\lambda Z}{w} \, .</math>
  </td>
</tr>
</table>
</div>

In the context of Figure 3, this means that, <math>~y_1|_{1^\mathrm{st} \mathrm{fringe}} = 5</math> millimeters, while, in Figure 2, <math>~y_1|_{1^\mathrm{st} \mathrm{fringe}} = 0.5</math> millimeters &#8212; in both cases, this is in agreement with the plotted ''linearized'' amplitude curves.

===Parallels With Standard Fourier Series===

Let's draw parallels between the above discussion of the single-slit diffraction pattern and our [[Appendix/Ramblings/FourierSeries#Standard_Setup|separate presentation of the standard treatment of Fourier Transforms]].

<div align="center">
<table border="1" cellpadding="8" align="center">
<tr>
  <th align="center" width="50%">
[[Appendix/Ramblings/FourierSeries#Standard_Setup|Standard Fourier Transform Treatment]]
  </th>
  <td align="center">
'''Single-Slit (Linearized) Diffraction'''<br />
Replace <math>~L</math> with <math>~\mathcal{D}</math>
  </td>
</tr>
<tr>
  <td align="left">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_m</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2}{L_\mathrm{max}} \cdot \sum_{L=1}^{L_\mathrm{max}} \rho(\theta_L)  \cos\biggl[m \biggl(\frac{2\pi L}{L_\mathrm{max}}\biggr)\biggr] \, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~b_m</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2}{L_\mathrm{max}} \cdot \sum_{L=1}^{L_\mathrm{max}} \rho(\theta_L) \sin\biggl[m \biggl(\frac{2\pi L}{L_\mathrm{max}}\biggr)\biggr] \, .
</math>
  </td>
</tr>
</table>
It is sometimes useful to view <math>~a_m</math> and <math>~b_m</math> as, respectively, the real and imaginary components of a complex variable; for example,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~B(m)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~a_m - i~b_m \, ,</math>
  </td>
</tr>
</table>
in which case,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
'''Amplitude'''
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~[a_m^2 + b_m^2]^{1 / 2} \, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
'''Phase'''
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\tan^{-1}\biggl[\frac{-b_m}{a_m}  \biggr]</math>
  </td>
</tr>
</table>
  </td>
  <td align="left">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~A_0 
\biggl[ \mathcal{R}e(A) - i ~\mathcal{I}m(A) \biggr] \, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\mathcal{R}e[A(n\Delta y_1)]</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_j
a_j \cos\biggl[n\Delta y_1 \biggl(\frac{2\pi}{\lambda \mathcal{D}} \biggr)j\Delta Y \biggr]
\, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\mathcal{I}m[A(n\Delta y_1)]</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~ \sum_j
a_j \sin\biggl[n\Delta y_1 \biggl(\frac{2\pi}{\lambda \mathcal{D}} \biggr)j\Delta Y \biggr]
\, .
</math>
  </td>
</tr>
</table>
  </td>
</tr>
<tr>
  <td colspan="2" align="left">
A comparison between the two discussions reveals the following variable mappings:
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~m</math>
  </td>
  <td align="center">
<math>~\leftrightarrow</math>
  </td>
  <td align="left">
<math>~n</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~L</math>
  </td>
  <td align="center">
<math>~\leftrightarrow</math>
  </td>
  <td align="left">
<math>~j</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\frac{2\pi}{L_\mathrm{max}}</math>
  </td>
  <td align="center">
<math>~\leftrightarrow</math>
  </td>
  <td align="left">
<math>~\Delta y_1 \biggl(\frac{2\pi}{\lambda \mathcal{D}} \biggr) \Delta Y </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\rho(\theta_L)</math>
  </td>
  <td align="center">
<math>~\leftrightarrow</math>
  </td>
  <td align="left">
<math>~a(Y_j)</math>
  </td>
</tr>
</table>
  </td>
</tr>
</table>
</div>

----

Drawing from an [[Appendix/Ramblings/FourierSeries#ComplexExpression|accompanying discussion]], the corresponding ''complex'' Fourier series expression is,

<div align="center" id="ComplexExpression">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~f(x)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{2}\sum_{m = -\infty}^{m = + \infty} B(m) e^{i\omega_m x} \, ,
</math>
  </td>
</tr>
</table>
</div>
where, for <math>~m = 0, \pm 1, \pm 2,  \pm 3, \dots~,</math>
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\omega_m</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{m\pi }{L} \, .
</math>
  </td>
</tr>
</table>
</div>

In other words,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~f(x)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{2}\biggl[ B(m) e^{i\omega_m x}\biggr]_{m=0} +
\frac{1}{2} \sum_{m = 1}^{m = + \infty} \biggl[ B(m) e^{i\omega_m x} + B(-m)  e^{-i\omega_m x}\biggr]
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{B(0)}{2}\biggl[  \cos(\omega_m x) + i\sin(\omega_mx)\biggr]_{m=0} +
\frac{1}{2} \sum_{m = 1}^{m = + \infty} \biggl\{
(a_m - ib_m)\biggl[ \cos(\omega_m x) + i\sin(\omega_mx)\biggr] 
+ (a_m + ib_m)  \biggl[ \cos(\omega_m x) - i\sin(\omega_mx)\biggr]
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{B(0)}{2} +
\frac{1}{2} \sum_{m = 1}^{m = + \infty} \biggl\{
a_m \biggl[ \cos(\omega_m x) + i\sin(\omega_mx) \biggr]
- ib_m \biggl[ \cos(\omega_m x) + i\sin(\omega_mx)
\biggr] 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
+ a_m   \biggl[ \cos(\omega_m x) - i\sin(\omega_mx)\biggr]
+ ib_m \biggl[ \cos(\omega_m x) - i\sin(\omega_mx)\biggr]
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{B(0)}{2} +
\frac{1}{2} \sum_{m = 1}^{m = + \infty} \biggl\{
a_m \cos(\omega_m x) + i ~a_m \sin(\omega_mx) 
- i~b_m \cos(\omega_m x) + b_m\sin(\omega_mx)
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
+ a_m  \cos(\omega_m x) - i~a_m\sin(\omega_mx)
+ ib_m \cos(\omega_m x) + b_m\sin(\omega_mx)
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{B(0)}{2} +
\sum_{m = 1}^{m = + \infty} \biggl\{ a_m \cos(\omega_m x) + b_m\sin(\omega_mx) \biggr\} \, .
</math>
  </td>
</tr>
</table>
</div>


----
Now, carry out the inverse transform.

<div align="center">
<table border="1" cellpadding="8" align="center">
<tr>
  <th align="center" width="50%">
[[Appendix/Ramblings/FourierSeries#Standard_Setup|Standard Fourier Transform Treatment]]
  </th>
  <td align="center">
'''Single-Slit (Linearized) Diffraction'''<br />
Replace <math>~L</math> with <math>~\mathcal{D}</math>
  </td>
</tr>
<tr>
  <td align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\rho(\theta_L)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{a_0}{2} + \sum_{m=1}^{L_\mathrm{max}/2} \biggl\{ a_m \cos\biggl[m \biggl(\frac{2\pi L}{L_\mathrm{max}}\biggr)\biggr]
+ b_m\sin\biggl[m \biggl(\frac{2\pi L}{L_\mathrm{max}}\biggr)\biggr] \biggr\}
</math>
  </td>
</tr>
</table>
  </td>
  <td align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a(Y_j)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\mathcal{R}e(A_{n=0})}{2} + A_0 \sum_{n=1}^{n_\mathrm{max}/2} \biggl\{ \mathcal{R}e(A_n) \cos\biggl[n \biggl(\frac{2\pi j}{\lambda \mathcal{D}} \biggr)\Delta y_1  \Delta Y \biggr]
+ \mathcal{I}m(A_n)\sin\biggl[n\biggl(\frac{2\pi j}{\lambda \mathcal{D}} \biggr)\Delta y_1  \Delta Y \biggr] \biggr\}
</math>
  </td>
</tr>
</table>
  </td>
</tr>
</table>
</div>

===Parallels With Example #2===

This "one dimensional aperture" analysis should exhibit features that strongly resemble the features that appear in our accompanying discussion of the Fourier series associated with a "[[Appendix/Ramblings/FourierSeries#Example_.232|square wave]]".  In both cases &#8212; after performing both a Fourier transform ''and'' the inverse transform &#8212; the ultimate series expression that will represent the (square wave) amplitude across the aperture will take the form,

<div align="center" id="StandardExpression">

<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~f(x)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{a_0}{2} + \sum_{n=1}^{\infty} \biggl[ a_n\cos \biggl(\frac{n\pi x}{L}\biggr) + b_n\sin  \biggl(\frac{n\pi x}{L}\biggr) \biggr] \, .
</math>
  </td>
</tr>
</table>
</div>
This function clearly repeats itself at spatial intervals of <math>~x \pm 2L</math>.  Hence, we must acknowledge that, even if the initial state is intended to represent a ''single'' aperture, the inverse transform will produce an infinite set of identical apertures that are spaced (center-to-center) at intervals of <math>~2L</math>.  We can presumably arrange to have successive apertures of width, <math>~2c</math>, widely spaced from one another by picking a value of <math>~|c/L | \ll 1</math>.  (Reference, also, frame ''a'' of [[#Figure5|Figure 5]], below, which depicts a uniformly illuminated (yellow), ''two''-dimensional aperture whose horizontal width, as labeled, is <math>~2c_0 ;</math> the aperture has been cut into a mat of width, <math>~2L_0</math>.)

In the "square wave" analysis in which the brightness across the aperture is specified by a continuous function, the amplitude, <math>~a_n</math>, of each Fourier mode, <math>~n</math>, is given by the expression,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \int_{-c}^{c} \cos\biggl( \frac{n\pi x}{L} \biggr) dx
= \biggl(\frac{2c}{L} \biggr) \mathrm{sinc}(\alpha_n)\, ,
</math>
  </td>
</tr>
</table>
</div>
where, <math>~\alpha_n \equiv n\pi c/L</math>.
On the other hand, when a ''discrete'' Fourier transform is used, the analogous Fourier amplitude is given by the expression,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\mathcal{R}e[A(n\Delta y_1)]</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_{j=-j_\mathrm{max}}^{j_\mathrm{max}}
\cos\biggl[n\Delta y_1 \biggl(\frac{2\pi}{\lambda \mathcal{D}} \biggr)\frac{j c}{j_\mathrm{max}} \biggr] 
\, .
</math>
  </td>
</tr>
</table>
Comparing the two expressions, we recognize first that the integer, <math>~n</math>, has the same meaning in both; and, second, that <math>~x \leftrightarrow jc/j_\mathrm{max}</math>.  Therefore &#8212; after recognizing that <math>~\mathcal{D} \approx Z</math> &#8212; it must also be true that,
<div align="center">
<math>~\frac{1}{L} \leftrightarrow \frac{2\Delta y_1}{\lambda \mathcal{D}} \approx \frac{2\Delta y_1}{\lambda Z} \, .</math>
</div>

Next we notice, from the "square wave" analysis, that since the amplitude of the the diffraction pattern, <math>~a_n</math>, varies as <math>~\mathrm{sinc}(\alpha_n)</math>, the first dark fringe will arise when <math>~\alpha_n = \pi</math>, that is, when <math>~n = n_\pi \equiv L/c</math>.  But, [[#DarkFringe|as explained above]], from geometric arguments associated with the "one dimensional aperture" analysis, we expect the first dark fringe on the image screen to arise when,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{y_1}{Z}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{\lambda}{2c} </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow ~~~\frac{2}{\lambda Z}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{1}{y_1 c} </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow ~~~\frac{\Delta y_1}{y_1 c} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2\Delta y_1}{\lambda Z} ~~\rightarrow ~~ \frac{1}{L} </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow ~~~n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~ \frac{L}{c} ~~~\Rightarrow~~ n = n_\pi \, ,</math>
  </td>
</tr>
</table>
</div>
where this last relation has been derived by recognizing that, quite generally by design, <math>~y_1 = n\Delta y_1</math>.  So, these two separate ways of identifying the location of the first dark fringe agree with one another.


COMMENT: &nbsp;  Throughout our discussion of computer-generated holography, we will find it necessary to construct a discretized image screen and, hence, will need to discuss the corresponding discretized modal amplitude ("sinc") function.  This discretized amplitude function can be treated as a multiple-slit source function &#8212; reference, for example, frame ''c'' of [[#Figure5|Figure 5]], below, which displays a 6 &times; 6 horizontal &times; vertical aperture layout &#8212; and, via an ''inverse'' Fourier transform, be used to regenerate the original square-wave (or analogous) function.  This square wave of width, <math>~2c</math>, will necessarily be accompanied by multiple duplicate images that are spaced a (center-to-center) distance, <math>~2L</math>, apart.  The result that we have just derived tells us that the relative spacing of these duplicate images will be large, relative to the width of the original square wave, if the discretization of the image screen is done in such a way as to ensure that <math>~n_\pi</math> is a large number.

===More Attention to Detail===

====Theory====

Guided by our [[Appendix/Ramblings/FourierSeries#One-Dimensional_Aperture|accompanying discussion of the relationship between a one-dimensional aperture and the Fourier Series]], let's begin again with the [[#Utility_of_FFT_Techniques|above general summation expression]],
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_j
a_j e^{i(2\pi D_j/\lambda + \phi_j)} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~\sum_j
a_j \mathrm{exp}\biggl\{i\biggl[
\frac{2\pi L_1}{\lambda} - \frac{2\pi y_1 Y_j}{L_1 \lambda} + \phi_j
\biggr] \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_j
a_j \mathrm{exp}\biggl\{i\biggl[
\frac{2\pi L_1}{\lambda} - \frac{2\pi y_1 Y_0}{L_1 \lambda} - \frac{2\pi j y_1 \Delta Y}{L_1 \lambda} + \phi_j
\biggr] \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_j
a_j \mathrm{exp}\biggl\{i\biggl[
\frac{2\pi L_1}{\lambda} - \frac{2\pi y_1 Y_0}{L_1 \lambda} + \phi_j
\biggr] \biggr\} \biggl[ \cos\biggl(\frac{2\pi y_1 j \Delta Y}{\lambda L_1} \biggr) - i  \sin\biggl(\frac{2\pi y_1 j \Delta Y}{\lambda L_1} \biggr) \biggr]
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\mathrm{exp}\biggl\{i\biggl[
\frac{2\pi L_1}{\lambda} - \frac{2\pi y_1 Y_0}{L_1 \lambda} 
\biggr] \biggr\}
\sum_j a_j e^{i\phi_j} 
\biggl[ \cos\biggl(\frac{2\pi y_1 j \Delta Y}{\lambda L_1} \biggr) - i  \sin\biggl(\frac{2\pi y_1 j \Delta Y}{\lambda L_1} \biggr) \biggr] \, ,
</math>
  </td>
</tr>

</table>
</div>
where, <math>~0 \le j \le j_\mathrm{max}\, ,</math>
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~L_1</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~[ Z^2 + y_1^2 ]^{1 / 2} \approx Z \biggl(1 + \frac{y_1^2}{2Z^2}  \biggr) \, ,</math>
  </td>
</tr>
</table>
and we have inserted the following expression in order to identify discrete locations along the aperture,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~Y_j</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~Y_0 + j\Delta Y = -\frac{w}{2} + j\biggl(\frac{w}{j_\mathrm{max}}\biggr) \, .</math>
  </td>
</tr>
</table>

Now, let's adopt the following conventions:
<ol>
  <li>Specify the values of the parameters, <math>~\lambda, w, c/\mathfrak{L}_0,</math> and <math>~Z_0</math>, where,

<table border="0" align="center">
<tr><td align="center"><math>~\mathfrak{L} \equiv \lambda Z j_\mathrm{max}/(2w) </math> &nbsp;  &nbsp;  &hellip; hence &hellip;  &nbsp;   &nbsp; <math>~\mathfrak{L}_0 = \lambda Z_0 j_\mathrm{max}/(2w) \, .</math></td></tr>
</table>

  </li>
  <li>In specifying the properties of the light as it leaves the aperture, ensure that ''neither'' <math>~a_j</math> nor <math>~\phi_j</math> depends on the distance between the aperture and the image plane, <math>~Z</math>.</li>
  <li>It is best to evaluate the amplitude on the image screen over the range, <math>~-\mathfrak{L}_0 \le y_i \le \mathfrak{L}_0 \, .</math></li>
  <li>Expect the amplitude to be <math>~\sim 2c/\mathfrak{L}_0 \, .</math></li>
</ol>

With this in mind, the expression for the image-screen amplitude can be rewritten as,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~
\mathrm{exp}\biggl\{i\biggl[
\frac{2\pi Z}{\lambda}\biggl(1 + \cancelto{0}{\frac{y_1^2}{2Z^2}} \biggr) + \frac{\pi y_1 w}{Z \lambda} \biggl( \cancelto{1}{\frac{Z}{L_1} } \biggr)
\biggr] \biggr\}
\sum_j a_j e^{i\phi_j} 
\biggl\{ \cos\biggl[ \frac{(\pi j y_1 ) 2w}{\lambda Z j_\mathrm{max}} \biggl( \cancelto{1}{\frac{Z}{L_1} } \biggr) \biggr] - i  \sin\biggl[ \frac{(\pi j y_1 ) 2w}{\lambda Z j_\mathrm{max}} \biggl( \cancelto{1}{\frac{Z}{L_1} } \biggr) \biggr] \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~
\mathrm{exp}\biggl\{i\biggl[
\frac{2\pi Z}{\lambda}+ \frac{\pi y_1 w}{Z \lambda} 
\biggr] \biggr\}
\sum_j a_j e^{i\phi_j} 
\biggl\{ \cos\biggl( \frac{\pi j y_1  }{\mathfrak{L}}  \biggr) - i  \sin\biggl( \frac{\pi j y_1 }{\mathfrak{L}} \biggr) \biggr\} \, .
</math>
  </td>
</tr>

</table>
</div>

<table border="1" cellpadding="8" align="center" width="85%"><tr><td align="left">
<div align="center"><font color="red">First (Misguided) Attempt</font></div>
Next, let's set <math>~\phi_j = - 2\pi Z_0/\lambda</math>, which is independent of <math>~j</math> and therefore can be shifted outside of the summation.  We have, then,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~
\mathrm{exp}\biggl\{i\biggl[
\frac{2\pi (Z - Z_0)}{\lambda}+ \frac{\pi y_1 w}{Z \lambda} 
\biggr] \biggr\}
\sum_j a_j  
\biggl\{ \cos\biggl( \frac{\pi j y_1  }{\mathfrak{L}}  \biggr) - i  \sin\biggl( \frac{\pi j y_1 }{\mathfrak{L}} \biggr) \biggr\} \, .
</math>
  </td>
</tr>

</table>

</td></tr></table>

Let's set,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\phi_j</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~- \frac{2\pi Z_0}{\lambda} - \frac{\pi y_1 w}{Z_0 \lambda} \, ,</math>
  </td>
</tr>
</table>

which is independent of <math>~j</math> and therefore can be shifted outside of the summation.  We have, then,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~A(y_1)</math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~
\mathrm{exp}\biggl\{i\biggl[
\frac{2\pi (Z - Z_0)}{\lambda}+ \frac{\pi y_1 w}{Z \lambda} 
\biggr] \biggr\}
\sum_j a_j  
\biggl\{ \cos\biggl( \frac{\pi j y_1  }{\mathfrak{L}}  \biggr) - i  \sin\biggl( \frac{\pi j y_1 }{\mathfrak{L}} \biggr) \biggr\} \, .
</math>
  </td>
</tr>

</table>

Using this general expression, we should specifically expect the amplitude across the image plane at Z<sub>0</sub> to be a step function if we insert the expression,
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_j</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2}{j \pi} \sin\biggl( \frac{j\pi c}{\mathfrak{L}_0} \biggr)  = \biggl(\frac{2c}{\mathfrak{L}_0} \biggr) \mathrm{sinc}\biggl( \frac{j\pi c}{\mathfrak{L}_0} \biggr) \, .</math>
  </td>
</tr>
</table>

Hopefully, the amplitude of this image will die off quickly as we insert values of <math>~Z \ne Z_0 \, .</math>

====Example #1====

Let's try an example using the parameters listed at the top of Figure 4.

<div align="center" id="Figure4">
<table border="1" cellpadding="8" align="center">
<tr>
  <th align="center">Figure 4: &nbsp; <math>~w = 1~\mathrm{mm}; Z_0 = 10~\mathrm{m}; \lambda = 500~\mathrm{nm}; j_\mathrm{max} = 51</math></th>
</tr>
<tr>
  <td align="center">
[[File:SingleSlit02B.png|700px|Second Plot of Single-Slit Diffraction Pattern]]
  </td>
</tr>
</table>
</div>

==Feynman's Path-Integral Formulation==

<table border="1" align="center" cellpadding="8">
<tr>
  <td align="center">
<b>YouTube</b> video:<br/>[https://www.youtube.com/watch?v=P9nPMFBhzsI Richard P. Feynman's 1979 Lectures <br />at the University of Auckland, NZ]
  </td>
  <td align="center">
<b>YouTube</b> video:<br/>[https://www.youtube.com/watch?v=UWuhMJZaiZM Physics With Elliot]
  </td>
</tr>
<tr>
  <td align="center">
[[File:FeynmanQEDlectures.png|300px|Feynman's 1979 Lectures]]
  </td>
  <td align="center" rowspan="2">
[[File:PhysicsWithElliot.png|300px|Physics with Elliot]]
  </td>
</tr>
<tr>
  <td align="center">
[https://www.amazon.com/QED-Strange-Princeton-Science-Library/dp/0691164096/ref=sr_1_1?crid=1ADBUJG30AKMM&dib=eyJ2IjoiMSJ9.h8T7MwXbLQ08ID92udAhT1-50my9jd3nJw_2uq_xddWIwGurCHdI-oacYZ8DYMgoeifwfSOkGWh6qvfeFYpBgxryz5rmZ_CXORiUd2asVOyvP9kfTV5_BLZfcKgkOwt5bxHCdORlMptg2GYSdrD68riSRagC6JLhDzHr96BY7_14FQnqAZpVnwwnr2kcd_Qj.tiVQd_494Q652oUOPpy1DwZzpSn3dW1_29r_VJWwVzk&dib_tag=se&keywords=qed+the+strange+theory+of+light+and+matter&qid=1743344383&sprefix=strange+theory+of+%2Caps%2C110&sr=8-1 Book]<br />resulting from Auckland lectures<br /><b>QED: The Strange Theory of Light and Matter</b>
  </td>
</tr>
</table>


[[File:QEDFig24PowerPoint01.png|600px|center|Figure 24 in QED]]


[[File:ArrowEnsemble-Pt1.png|800px|center|Arrow Ensemble Part 1]]


[[File:ArrowEnsemble-Pt2.png|800px|center|Arrow Ensemble Part 2]]

==Multiple One-Dimensional Apertures==
Okay.  Let's piece together an image that is generated by a set of <math>~N</math>, identical one-dimensional apertures; each one is uniformly illuminated, but adjacent apertures will, in general, have different illuminations, <math>~\beta_m</math>.  Each aperture has width, <math>~2c</math>; and each is separated from its two neighboring apertures by a distance, <math>~2\nu</math>.  (Reference frames ''b'' and ''c'' of [[#Figure5|Figure 5]], below, which display, respectively, a 2 &times; 2 and 6 &times; 6 aperture-matrix layout in which all apertures are uniformly illuminated.)

===Two Slits===

Starting with just a pair of slits (as illustrated in frame ''b'' of [[#Figure5|Figure 5]]) and setting the x-direction zero point exactly midway between the two, we can expand upon the [[Appendix/Ramblings/FourierSeries#Example_.232|accompanying ''Example #2'' discussion]] to obtain,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ \int_{\nu}^{\nu +2c} \beta_{+1} \cos\biggl( \frac{n\pi x}{L} \biggr) dx
+ \int^{-\nu}_{-(\nu +2c)} \beta_{-1}\cos\biggl( \frac{n\pi x}{L} \biggr) dx \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ \int_{n\pi \nu/L}^{n\pi(\nu +2c)/L} \beta_{+1} \cos\theta  ~d\theta
+ \int^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} \beta_{-1}\cos\theta ~d\theta \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{\beta_{+1} \biggl[ \sin\theta \biggr]_{n\pi \nu/L}^{n\pi(\nu +2c)/L} 
+ \beta_{-1}\biggl[ \sin\theta \biggr]^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{\beta_{+1} \biggl[ \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr] 
+ \beta_{-1}\biggl[\sin\biggl( -~\frac{n\pi \nu}{L} \biggr)  - \sin\biggl( -~ \frac{n\pi \nu }{L} - \frac{2n\pi c}{L}\biggr)  \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\beta_{+1} +  \beta_{-1}}{n\pi} \biggl[ \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr]  \, ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~b_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ \int_{n\pi \nu/L}^{n\pi(\nu +2c)/L} \beta_{+1} \sin\theta  ~d\theta
+ \int^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} \beta_{-1}\sin\theta ~d\theta \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ - \beta_{+1} \biggl[ \cos\theta\biggr]_{n\pi \nu/L}^{n\pi(\nu +2c)/L} 
- \beta_{-1} \biggl[ \cos\theta \biggr]^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L}  \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ - \beta_{+1} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] 
- \beta_{-1} \biggl[ \cos\biggl( - \frac{n\pi\nu}{L} \biggr) - \cos\biggl( -~\frac{n\pi\nu}{L} - ~\frac{2n\pi c}{L} \biggr) \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~-~
\frac{1}{n\pi} \biggl\{ \beta_{+1} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] 
- \beta_{-1} \biggl[ \cos\biggl( \frac{n\pi\nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)  \biggr]  \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\beta_{-1} -  \beta_{+1}}{n\pi} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] \, .
</math>
  </td>
</tr>
</table>
</div>

Note that,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_0</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ \int_{\nu}^{\nu +2c} \beta_{+1} dx
+ \int^{-\nu}_{-(\nu +2c)} \beta_{-1} dx \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ \beta_{+1} \biggl[ \nu +2c - \nu \biggr]
+ \beta_{-1} \biggl[- \nu + (\nu +2c) \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2c(\beta_+ + \beta_-)}{L} \, .
</math>
  </td>
</tr>
</table>
</div>

Considering, first, the case where the two slits are illuminated equally <math>(~\beta_- = \beta_+)</math>, we see that <math>~b_n = 0</math>, so the amplitude is,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~|a_n|</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2}{n\pi} \biggl| \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr|
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2c}{L\chi_n} \biggl| \sin\biggl( \frac{\chi_n \nu }{c} + 2\chi_n \biggr) - \sin\biggl( \frac{\chi_n\nu}{c} \biggr) \biggr| 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2c}{L\chi_n} \biggl| \sin\biggl[ \biggl( \frac{\chi_n\nu }{c} + \chi_n \biggr) + \chi_n \biggr] - \sin\biggl[ \biggl( \frac{\chi_n\nu }{c} + \chi_n \biggr) - \chi_n \biggr] \biggr| 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{4c}{L} \biggl| \cos\biggl[ \chi_n \biggl( 1 + \frac{\nu }{c} \biggr) \biggr] \frac{\sin \chi_n }{\chi_n} \biggr| \, ,
</math>
  </td>
</tr>
</table>
</div>
where,
<div align="center">
<math>~\chi_n \equiv \frac{n\pi c}{L} \, .</math>
</div>

In the following animated figure, the red-dotted curve shows how <math>~\tfrac{L}{4c}|a_n|</math> varies with <math>~\chi_n/\pi</math> for a variety of values of the dimensionless parameter, <math>~0.01 \le \nu/c \le 5</math>, as recorded in the upper-right-hand corner of the plot.

<table border="1" align="center" cellpadding="8">
<tr>
  <th align="center"><font size="+1">Figure 4:</font>&nbsp; Double-Aperture Diffraction Pattern &#8212; Variable <math>~\nu/c</math></th>
</tr>
<tr>
  <td align="center">[[File:TwoSlit01.gif|center|Diffraction pattern for two-slit aperture]]</td>
</tr>
</table>

The static, dashed-black curve in the figure displays the function,
<div align="center">
<math>~\mathrm{sinc}(2\chi_n) = \frac{\sin(2\chi_n)}{2\chi_n} \, ,</math>
</div>
which is the proper amplitude behavior in the limit of <math>~\nu/c \rightarrow 0</math>.  The static, ''solid'' black curve in the figure displays the function, <math>~\mathrm{sinc}(\chi_n)</math>; by inspection, this curve serves as the upper envelope to the amplitude function for all values of the dimensionless parameter, <math>~\nu/c</math>.

===Two (or more) Slit Pairs===

Now, let's examine four identical slits.

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ 
\int_{(3\nu +2c)}^{(3\nu +4c)} \beta_{+2} \cos\biggl( \frac{n\pi x}{L} \biggr) dx + 
\int_{\nu}^{\nu +2c} \beta_{+1} \cos\biggl( \frac{n\pi x}{L} \biggr) dx + 
\int^{-\nu}_{-(\nu +2c)} \beta_{-1}\cos\biggl( \frac{n\pi x}{L} \biggr) dx +
\int^{-(3\nu +2c)}_{-(3\nu + 4c)} \beta_{-2} \cos\biggl( \frac{n\pi x}{L} \biggr) dx 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ 
\int_{n\pi(3\nu +2c)/L}^{n\pi(3\nu +4c)/L} \beta_{+2} \cos\theta ~ d\theta + 
\int_{n\pi\nu/L}^{n\pi(\nu +2c)/L} \beta_{+1} \cos\theta ~ d\theta + 
\int^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} \beta_{-1}\cos\theta ~d\theta +
\int^{-n\pi (3\nu +2c)/L}_{-n\pi (3\nu + 4c)/L} \beta_{-2} \cos\theta~ d\theta 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{
\beta_{+2} \biggl[ \sin\theta \biggr]_{n\pi(3\nu +2c)/L}^{n\pi(3\nu +4c)/L} + 
\beta_{+1} \biggl[ \sin\theta \biggr]_{n\pi \nu/L}^{n\pi(\nu +2c)/L} + 
\beta_{-1}\biggl[ \sin\theta \biggr]^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} +
\beta_{-2}\biggl[ \sin\theta \biggr]^{-n\pi (3\nu +2c)/L}_{-n\pi (3\nu + 4c)/L} 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{\beta_{+2} \biggl[ \sin\biggl( \frac{3n\pi \nu }{L} + \frac{4n\pi c}{L}\biggr) - \sin\biggl( \frac{3n\pi \nu }{L} + \frac{2n\pi c}{L} \biggr) \biggr] 
+ \beta_{-2}\biggl[\sin\biggl( -~ \frac{3n\pi \nu }{L} - \frac{2n\pi c}{L}\biggr)  - \sin\biggl( -~ \frac{3n\pi \nu }{L} - \frac{4n\pi c}{L}\biggr)  \biggr] 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
+ \beta_{+1} \biggl[ \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr] 
+ \beta_{-1}\biggl[\sin\biggl( -~\frac{n\pi \nu}{L} \biggr)  - \sin\biggl( -~ \frac{n\pi \nu }{L} - \frac{2n\pi c}{L}\biggr)  \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{
(\beta_{+2} + \beta_{-2}) \biggl[ \sin\biggl( \frac{3n\pi \nu }{L} + \frac{4n\pi c}{L}\biggr) - \sin\biggl( \frac{3n\pi \nu }{L} + \frac{2n\pi c}{L} \biggr) \biggr] 
+ (\beta_{+1}+ \beta_{-1}) \biggl[ \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr] 
\biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{(\beta_{+2} + \beta_{-2})}{n\pi} \biggl\{ \sin\biggl[ \frac{n\pi }{L} \biggr( 3\nu  + 4c \biggr) \biggr] - \sin\biggl[ \frac{n\pi }{L} \biggr( 3\nu  + 2c \biggr) \biggr] \biggr\} 
+ \frac{(\beta_{+1}+ \beta_{-1})}{n\pi} \biggl\{ \sin\biggl[ \frac{n\pi }{L} \biggr( \nu  + 2c \biggr) \biggr] - \sin\biggl[ \frac{n\pi }{L} \biggr( \nu \biggr)\biggr] \biggr\} \, .
</math>
  </td>
</tr>
</table>
</div>


Note that,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_0</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ 
\int_{ (3\nu +2c)}^{ (3\nu +4c)} \beta_{+2} dx + 
\int_{\nu}^{\nu +2c} \beta_{+1}  dx + 
\int^{-\nu}_{-(\nu +2c)} \beta_{-1} dx +
\int^{-(3\nu +2c)}_{-(3\nu + 4c)} \beta_{-2} dx 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{L} \biggl\{ 
\beta_{+2} \biggl[ (3\nu +4c) -  (3\nu +2c)  \biggr]
+ \beta_{+1} \biggl[ \nu +2c - \nu \biggr]
+ \beta_{-1} \biggl[- \nu + (\nu +2c) \biggr] 
+ \beta_{-2} \biggl[-(3\nu +2c) + (3\nu + 4c) \biggr] 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{ 2c(\beta_{-2}  + \beta_{-1} + \beta_{+1} + \beta_{+2} ) }{L} \, .
</math>
  </td>
</tr>
</table>
</div>

Therefore, for an arbitrary number of slit ''pairs'', <math>~j_\mathrm{slits}</math>, it appears as though,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_{j=1}^{j_\mathrm{slits}}
\frac{(\beta_{+j} + \beta_{-j})}{n\pi} \biggl\{ \sin\biggl\{ \frac{n\pi }{L} \biggr[ (2j-1)(\nu + c)  + c \biggr] \biggr\} - \sin\biggl\{ \frac{n\pi }{L} \biggr[ (2j-1)(\nu + c) - c \biggr] \biggr\} \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_{j=1}^{j_\mathrm{slits}}
\frac{2(\beta_{+j} + \beta_{-j})}{n\pi} \biggl\{ \cos\biggl[ \frac{n\pi (2j-1)(\nu + c) }{L} \biggr] \sin\biggl[ \frac{n\pi c}{L}  \biggr] \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\sum_{j=1}^{j_\mathrm{slits}}
\frac{2c(\beta_{+j} + \beta_{-j})}{L} \biggl\{ \cos \biggl[ \chi_n(2j-1)\biggl( 1 + \frac{\nu}{c} \biggr)  \biggr] \frac{\sin\chi_n}{\chi_n}  \biggr\} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\sum_{j=1}^{j_\mathrm{slits}} (\beta_{+j} + \beta_{-j})
\cos \biggl[ \chi_n(2j-1)\biggl( 1 + \frac{\nu}{c} \biggr)  \biggr] \, ,
</math>
  </td>
</tr>
</table>
</div>
where, as before, <math>~\chi_n \equiv (n\pi c/L)</math>, with the special case,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_0</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2c}{L} \sum_{j=1}^{j_\mathrm{slits}}
\biggl[ \beta_{+j} + \beta_{-j} \biggr] \, .
</math>
  </td>
</tr>
</table>
</div>

<table border="1" width="85%" cellpadding="8" align="center">
<tr>
  <td align="center">
Behavior of <math>~a_n</math> when <math>~\beta_{\pm j} = 1</math> for all <math>~j</math>, and in the limit, <math>~\frac{\nu}{c} \rightarrow 0</math>.
  </td>
</tr>
<tr><td align="left">
When <math>~j_\mathrm{slits} = 1</math>:

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  \cdot (2)
\cos \chi_n 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin(2\chi_n)}{(2\chi_n)}  
</math>
  </td>
</tr>
</table>
</div>
When <math>~j_\mathrm{slits} = 2</math>:

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{2c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ \sum_{j=1}^{2} (2)
\cos \biggl[ \chi_n(2j-1) \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ \cos \chi_n  +  \cos (3\chi_n ) \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ \cos \chi_n  +  4\cos^3\chi_n -3\cos\chi_n \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n \cos\chi_n}{\chi_n}  ~\biggl\{ 4\cos^2\chi_n - 2 \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n \cos\chi_n}{\chi_n}  ~\biggl\{ 2 - 4\sin^2\chi_n \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{8c}{L} \cdot \frac{\sin(4\chi_n )}{(4\chi_n)}  \, .
</math>
  </td>
</tr>
</table>
</div>
When <math>~j_\mathrm{slits} = 3</math>:

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ \sum_{j=1}^{3}
\cos \biggl[ \chi_n(2j-1) \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ 
\cos \chi_n  + \cos (3\chi_n ) + \cos (5\chi_n) 
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n}{\chi_n}  ~\biggl\{ 
\cos \chi_n  
+ [ 4\cos^3\chi_n - 3\cos\chi_n ] 
+ [ 16\cos^5\chi_n -20\cos^3\chi_n + 5\cos\chi_n  ]
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4c}{L} \cdot \frac{\sin\chi_n \cos\chi_n}{\chi_n}  ~\biggl\{ 
3   -16\cos^2\chi_n + 16\cos^4\chi_n
\biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{12c}{L} \cdot \frac{\sin(6\chi_n) }{6\chi_n}  
</math>
  </td>
</tr>
</table>
</div>
Therefore, it ''appears'' as though, for arbitrary values of <math>~j_\mathrm{slits} \ge 1</math>,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{4 j_\mathrm{slits}c}{L} \cdot \frac{\sin(2j_\mathrm{slits}\chi_n) }{(2 j_\mathrm{slits}\chi_n)}  
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{(2c)(2 j_\mathrm{slits})}{L} \cdot \mathrm{sinc} (2j_\mathrm{slits}\chi_n)  
</math>
  </td>
</tr>
</table>
</div>

----

I have not yet proven that the above, generalized expression for <math>~a_n</math> works for all values of <math>~j_\mathrm{slits}</math>.  To do so will likely involve enlisting the following two generalized trigonometric (''Multiple-angle'') relations that appear on p. 190 of my CRC handbook of ''Standard Mathematical Tables.''
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\sin(n\alpha)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
2\sin[(n-1)\alpha] \cos\alpha - \sin[(n-2)\alpha] \, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\cos(n\alpha)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
2\cos[(n-1)\alpha] \cos\alpha - \cos[(n-2)\alpha] \, .
</math>
  </td>
</tr>
</table>
</div>

</td></tr>
</table>

VARIOUS SCALINGS:

<ol>
<li>
Given that <math>~\beta</math> has units of brightness per unit length, with <math>~\beta_0</math> referring to the brightness per unit length that is incident on the single slit; and, given that in the above formulation each separate slit has a width of <math>~2c</math>, the ''total'' brightness emerging from a uniformly illuminated multi-slit configuration is, 
<div align="center">
<math>~b_\mathrm{tot} = 2j_\mathrm{slits}(2c\beta_0) \, .</math>
</div> 
Hence, in order for every configuration's total brightness to be the same &#8212; that is, to be equal to <math>~2c_0\beta_0,</math> where <math>~c_0</math> is the ''half''-width of the single slit &#8212; in each case we need to set <math>~c \rightarrow c_0/(2j_\mathrm{slits})</math>.
</li>
<li>As is illustrated by frame ''a'' of [[#Figure5|Figure 5]], below, the total width of the ''single'' slit is <math>~2c_0</math>, while &#8212; see [[#Figure5|frames ''b'' and ''c'' of Figure 5]] &#8212; the total width of the combined slit(s) is <div align="center">
<math>~C_\mathrm{tot} = (2j_\mathrm{slits})2c + (2j_\mathrm{slits}-1)2\nu \, .</math>
</div>
Hence, if we want the ''ratio'' of the slit width to the ''Fourier'' width, <math>~2L</math>, to be the same for each multi-slit example, in each case we need to set,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{C_\mathrm{tot}}{2L}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{c_0}{L_0}</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow ~~~ L \rightarrow \frac{L_0 C_\mathrm{tot}}{2c_0} </math>
  </td>
  <td align="center">
<math>~=</math>
  <td align="left">
<math>~\frac{L_0 }{c_0} \biggl[ (2j_\mathrm{slits})c + (2j_\mathrm{slits} -1) \nu \biggr]</math>
  </td>
</tr>
</table>
</div>
Or, put together, we have,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~ L </math>
  </td>
  <td align="center">
<math>~\rightarrow</math>
  <td align="left">
<math>~L_0 \biggl[ 1 + \frac{(2j_\mathrm{slits} -1) \nu}{ (2j_\mathrm{slits})c}\biggr]</math>
  </td>
</tr>
</table>
</div>
</li>
</ol>

<span id="Figure5">&nbsp;</span>
<table border="1" cellpadding="8" align="center">
<tr><th align="center"><font size="+1">Figure 5</font></th><tr>
<tr><td align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <th align="center">Frame a:&nbsp; Single Aperture</th>
  <th align="center">Frame b:&nbsp; Double Aperture <math>~(j_\mathrm{slits} = 1)</math></th>
  <th align="center">Frame c:&nbsp; Multiple Apertures <math>~(j_\mathrm{slits} = 3)</math></th>
</tr>
<tr>
  <td align="left">[[File:SingleSlit03.png|250px|center|Single Aperture]]</td>
  <td align="left">[[File:DoubleSlit04.png|center|250px|DoubleSlit]]</td>
  <td align="left">[[File:MultiSlit04.png|270px|center|Multiple Apertures]]</td>
</tr>
</table>
</td>
</tr></table>

Incorporating these normalizations, we have,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{c_0}{j_\mathrm{slits} L_0} \biggl[ 1 + \frac{(2j_\mathrm{slits} -1) \nu}{ (2j_\mathrm{slits})c}\biggr]^{-1} \frac{\sin\chi_n}{\chi_n}  ~\sum_{j=1}^{j_\mathrm{slits}} (\beta_{+j} + \beta_{-j})
\cos \biggl[ \chi_n(2j-1)\biggl( 1 + \frac{\nu}{c} \biggr)  \biggr] \, ,
</math>
  </td>
</tr>
</table>
</div>
and,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~a_0</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{c_0}{j_\mathrm{slits} L_0} \biggl[ 1 + \frac{(2j_\mathrm{slits} -1) \nu}{ (2j_\mathrm{slits})c}\biggr]^{-1} \sum_{j=1}^{j_\mathrm{slits}}
\biggl[ \beta_{+j} + \beta_{-j} \biggr] \, ,
</math>
  </td>
</tr>
</table>
</div>

where,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\chi_n \equiv \frac{n\pi c}{L}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{n \pi c_0}{ 2 j_\mathrm{slits} L_0} \biggl[ 1 + \frac{(2j_\mathrm{slits} -1) \nu}{ (2j_\mathrm{slits})c}\biggr]^{-1} 
\, .
</math>
  </td>
</tr>
</table>
</div>

<table border="1" align="center" cellpadding="5">
<tr>
  <th align="center">
<font size="+1">Figure 6</font>
  </th>
</tr>
<tr>
<th align="center">
<math>~\frac{c_0}{L_0} = \frac{1}{20} </math> &nbsp; &nbsp; and &nbsp; &nbsp; <math>~\frac{\nu}{c} = \frac{1}{10}</math>&nbsp; &nbsp; for various <math>~j_\mathrm{slits}</math>
</th>
</tr>
<tr><td align="center">
[[File:MultiSlits01.gif|center|Diffraction pattern for multi-slit aperture]]
</td></tr>
</table>

----

By generalizing, we also see that,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~b_n</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ \int_{n\pi \nu/L}^{n\pi(\nu +2c)/L} \beta_{+1} \sin\theta  ~d\theta
+ \int^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L} \beta_{-1}\sin\theta ~d\theta \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ - \beta_{+1} \biggl[ \cos\theta\biggr]_{n\pi \nu/L}^{n\pi(\nu +2c)/L} 
- \beta_{-1} \biggl[ \cos\theta \biggr]^{-n\pi \nu/L}_{-n\pi(\nu +2c)/L}  \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{n\pi} \biggl\{ - \beta_{+1} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] 
- \beta_{-1} \biggl[ \cos\biggl( - \frac{n\pi\nu}{L} \biggr) - \cos\biggl( -~\frac{n\pi\nu}{L} - ~\frac{2n\pi c}{L} \biggr) \biggr] \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~-~
\frac{1}{n\pi} \biggl\{ \beta_{+1} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] 
- \beta_{-1} \biggl[ \cos\biggl( \frac{n\pi\nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)  \biggr]  \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{\beta_{-1} -  \beta_{+1}}{n\pi} \biggl[ \cos\biggl( \frac{n\pi \nu}{L} + \frac{2n\pi c}{L} \biggr) - \cos\biggl( \frac{n\pi\nu}{L} \biggr)\biggr] \, .
</math>
  </td>
</tr>
</table>
</div>

Considering, first, the case where the two slits are illuminated equally <math>(~\beta_- = \beta_+)</math>, we see that <math>~b_n = 0</math>, so the amplitude is,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~|a_n|</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2}{n\pi} \biggl| \sin\biggl( \frac{n\pi \nu }{L} + \frac{2n\pi c}{L}\biggr) - \sin\biggl( \frac{n\pi \nu}{L} \biggr) \biggr|
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{2c}{L\chi} \biggl| \sin\biggl( \frac{\chi\nu }{c} + 2\chi \biggr) - \sin\biggl( \frac{\chi\nu}{c} \biggr) \biggr| \, ,
</math>
  </td>
</tr>
</table>
</div>
where,
<div align="center">
<math>~\chi \equiv \frac{n\pi c}{L} \, .</math>
</div>