Exercises
ex01-helmholtz-derivation
EasyStarting from the vector wave equation :
(a) Show that for TM polarization () in a 2D geometry, the vector equation reduces to the scalar Helmholtz equation .
(b) For TE polarization (), derive the corresponding scalar equation and show it involves .
(c) Explain why TM is preferred for scalar imaging formulations.
For TM, .
In TE, the boundary conditions involve , complicating the formulation.
TM reduction
For and : (since for TM in 2D). The equation becomes .
TE derivation
From and , eliminating : , which gives .
TM preference
TM has continuous and at interfaces, yielding a standard Helmholtz equation. TE requires handling the coefficient, which complicates numerical discretization.
ex02-greens-function-properties
EasyFor the 2D free-space Green's function :
(a) Verify that satisfies for .
(b) Show that satisfies the Sommerfeld radiation condition.
(c) Derive the far-field asymptotic form using the large-argument expansion of .
The large-argument expansion is .
Helmholtz verification
satisfies for (Bessel's equation of order 0).
Radiation condition
For : as , so . Satisfied.
Far-field form
$
ex03-lippmann-schwinger-1d
EasyConsider 1D scattering: on with for and otherwise. Incident field: .
(a) Write the 1D Green's function: .
(b) Write the Lippmann-Schwinger equation for this problem.
(c) For , , compute for .
The Born scattered field for involves integrating over .
Lippmann-Schwinger equation
$
Born approximation for transmitted field
Replace inside:
For , : , about 5% of the incident field.
ex04-born-cylinder
MediumA circular cylinder of radius and uniform contrast is illuminated by a plane wave .
(a) Using the Born approximation, show that the far-field scattering amplitude is proportional to .
(b) Plot for .
(c) Compare with the exact Mie series for and .
The Fourier transform of a disk is an Airy pattern involving .
The scattering vector magnitude is .
Born scattering amplitude
K = 2\kappa_{0}\sin(\theta/2)$.
Lobe interpretation
The number of lobes increases with . The first null occurs at , i.e., .
ex05-fourier-coverage
MediumConsider a 2D scattering experiment with equally spaced illumination angles and equally spaced receiver angles on a circle of radius .
(a) Show that the sampled spatial frequencies lie on arcs of circles in Fourier space.
(b) Sketch the complete coverage for (10-degree spacing).
(c) Identify the "missing cone" for limited-angle configurations (, angles ).
(d) How does wideband illumination ( to ) change the coverage?
For fixed , the tips of trace a circle of radius .
Ewald sphere arcs
with . For fixed , varying traces an arc of radius centered at . The union over all fills a disk of radius .
Missing cone
Limited-angle configurations leave a "missing cone" in Fourier space corresponding to the directions not illuminated. This causes directional resolution degradation in the reconstruction.
ex06-rytov-slab
MediumA dielectric slab of thickness and contrast is illuminated at normal incidence.
(a) Compute the exact transmission coefficient .
(b) Compute the Born approximation at .
(c) Compute the Rytov phase .
(d) Compare , , and for and .
The exact where .
Born and Rytov comparison
For small , both Born and Rytov agree with exact. As increases with : Born deviates (accumulated amplitude error), while Rytov remains accurate (phase error stays bounded because is small). This demonstrates Rytov's advantage for large, weakly scattering objects.
ex07-dbim-steps
HardImplement DBIM for a 2D circular inhomogeneity with and , using 16 transmitters and 16 receivers.
(a) Generate synthetic data using MoM.
(b) Initialize with the Born approximation.
(c) Run DBIM for 10 iterations with Tikhonov regularization.
(d) Plot reconstructions at iterations 0, 1, 3, 5, 10 and track the relative error.
(e) Compare with BIM (free-space Green's function throughout).
For 2D MoM, use pulse basis functions and point matching.
The system matrix is .
Expected convergence
Born (iteration 0): ~30% error for . DBIM: error drops below 10% by iteration 5--8. BIM: slower convergence, reaching 10% error around iteration 15--20.
ex08-optical-theorem
MediumFor a 2D PEC cylinder of radius with (TM incidence):
(a) Compute the forward scattering amplitude using the Mie series.
(b) Compute via the optical theorem.
(c) Compute by integrating .
(d) Verify agreement (PEC: no absorption, so ).
Mie coefficients for TM PEC cylinder: .
Verification
Both methods should agree to numerical precision. The optical theorem provides a single-measurement check on the total scattering power.
ex09-fresnel-number
EasyA radar antenna of aperture m operates at GHz.
(a) Compute and the far-field distance .
(b) Compute the Fresnel number at m.
(c) Classify each case as Fraunhofer, Fresnel, or geometric optics.
(d) For automotive radar ( GHz, cm), find the Fraunhofer distance.
corresponds to .
Computation
| (GHz) | (cm) | (m) |
|---|---|---|
| 1 | 30 | 6.67 |
| 3 | 10 | 20 |
| 10 | 3 | 66.7 |
| 30 | 1 | 200 |
| 77 | 0.39 | 513 |
Automotive radar: m.
ex10-rcs-composite
MediumTwo circular PEC cylinders of radii and , separated by distance .
(a) For , compute monostatic RCS using independent scattering.
(b) For , explain why independent scattering fails.
(c) Identify angular directions of constructive/destructive interference.
For independent scattering, the total field is the sum with appropriate phase factors.
Independent vs coupled scattering
At , the cylinders are well-separated and their interactions are weak (Rayleigh regime, small RCS). At , mutual coupling is significant β the field scattered by one cylinder illuminates the other, producing additional scattering not captured by the independent model.
ex11-sensing-matrix-svd
HardFor a 2D Born imaging setup with transmitters and receivers on a circle, imaging a grid:
(a) Construct .
(b) Compute the SVD and plot singular values.
(c) Relate the number of significant singular values to Ewald sphere coverage.
(d) Compute the condition number vs frequency.
(e) Reconstruct a point scatterer with Tikhonov regularization.
The number of significant singular values area of Fourier coverage / Fourier cell size.
SVD analysis
The singular value spectrum decays gradually. The number of significant values is approximately the number of independent Fourier samples within the Ewald sphere, bounded by (number of measurements) and the grid resolution.
ex12-born-caire-derivation
MediumFollowing Caire's research note, derive the discrete sensing model starting from the Born integral.
(a) Starting from , apply the first-order Taylor expansion of the distances around .
(b) Define the transmit and receive wavenumber vectors , and show the integral becomes a Fourier transform of .
(c) Discretize on a grid of voxels to obtain .
The Taylor expansion is .
Wavenumber decomposition
After Taylor expansion, the phase becomes where . The integral is the Fourier transform of evaluated at .
ex13-contrast-source-inversion
ChallengeImplement CSI for a 2D phantom with two concentric cylinders (inner , outer ) using 24 Tx, 24 Rx at 1 GHz.
(a) Generate data via MoM.
(b) Implement CSI with alternating updates for and .
(c) Compare with Born inversion and DBIM in reconstruction quality and computation time.
(d) Add 10% noise and compare robustness.
CSI update: .
Expected results
CSI converges faster per wall-clock time than DBIM (no forward solves), but may require more iterations. Born fails badly for . DBIM provides the best reconstruction quality but is slowest. CSI offers the best speed-accuracy tradeoff.
ex14-greens-function-3d
EasyA point source at the origin radiates at GHz.
(a) Compute at cm, cm, and m.
(b) At what distance does the field magnitude drop to 1% of its value at cm?
(c) How many wavelengths fit between and m?
. At 5 GHz, cm.
Magnitude and distance
m, m, m.
1% level: m. Wavelengths in 1 m: .
ex15-reciprocity-measurements
MediumA monostatic radar system collects backscattering measurements from angles. A bistatic system uses transmitters and receivers.
(a) Without reciprocity, how many independent measurements does each system provide?
(b) With reciprocity, how many independent measurements remain?
(c) For , compute the reduction factor.
(d) How does this affect the condition number of ?
Reciprocity: .
Measurement counts
(a) Monostatic: measurements. Bistatic: measurements. (b) Monostatic: (already self-reciprocal). Bistatic: unique (upper triangle + diagonal) when . (c) For : from 256 to 136 unique measurements (47% reduction). (d) Reciprocity does not change the condition number β the redundant measurements carry no new information.