Fresnel approximation

In choosing a theory, one should pay attention to simplicity in hypotheses only. Simplicity in computation can be of no weight in the balance of probabilities. Nature is not embarrassed by difficulties of analysis. She avoids complication only in means. Nature seems to have proposed to do much with little: it is a principle that the development of physics constantly supports by new evidence.

Augustin-Jean Fresnel

The study of focused sources motivates the Fresnel ("paraxial") approximation. The Fresnel approximation is not limited to focused sources, however, and it allows for analytical ease in the study of general diffraction phenomena. Nor is the Fresnel approximation limited in z: indeed, a far-field approximation of the Fresnel approximation can be taken.

Contents:

← Return to home

Focused sources

Consider a spherical wave converging at z=d>0. The pressure field is then pω(x,y,z)=AeikRR=Aeikx2+y2+(dz)2x2+y2+(dz)2, where the dimensions of A are pressure × distance. At z=0, the pressure field is (1)pω(x,y,0)=Aeikx2+y2+d2x2+y2+d2. In the absence of diffraction (ray theory), any finite source at z=0 with the above phasing will focus at (x,y,z)=(0,0,d):

Let us assume that p0(x,y) or u0(x,y)0 for x2+y2a2, where a is the characteristic source radius, and that a2d2. This is to say that the so-called f-number: N=d/2a1/2α so N21.

The phase in Eq. (1) can be approximated by ikx2+y2+d2=ikd(1+x2+y2d2)1/2=ikd+ikx2+y22d+O(ka2/d3). Meanwhile, the amplitude is approximated as Ax2+y2+d2Ad, which has units of pressure (pressure × distance ÷ distance = pressure). So the source condition, Eq. (1), becomes pω(x,y,0)=Aeikddeik(x2+y2)/2d. Thus if u0(x,y),p0(x,y)= unfocused source distribution, focusing is achieved by multiplying by eik(x2+y2)/2d, or in axisymmetric form, eik(x2+y2)/2d. The factor Aeikd/d can be neglected because phase is a relative quantity, and because A/d is simply a pressure amplitude that can be included in the pressure source amplitude p0 or the velocity source amplitude u0=p0/ρ0c0. Reintroducing the time dependence renders focusing as time-advancing: eiωteikρ2/2d=eiω(t+ρ/2c0d). That is to say, focusing is achieved in the time domain by the transformation tt+ρ22c0d, i.e., the further from the origin, the earlier the waveform must be launched.

Field in the focal plane of a focused source.

In the focal plane z=d, consider a focused velocity source u(x,y,0,t)=u0(x,y)eik(x2+y2)/2deiωt. The Rayleigh integral evaluated at the focal plane is (R)pω(x,y,d)=ikρ0c02πu0(x0,y0)eik(x02+y02)/2deikRRdx0dy0, where ikR=ik(xx0)2+(yy0)2+d2=ikd(1+x2+y2d22xx0+yy0d2+x02+y02d2)1/2=ikd+ikx2+y22dikxx0+yy0d+ikx02+y022d+O(ka2/d3). In the amplitude, let 1/R1/d. Equation (R) becomes (2)pω(x,y,d)=ikρ0c02πdeikd+ik(x2+y2)/2du0(x0,y0)eikxx0/dikyy0/ddx0dy0, the magnitude of which is (3)|pω(x,y,d)|=kρ0c02πd|U0(kx/d,ky/d)|, or in axisymmetric form, since U0(κ)=2πU0H(κ), (3')|pω(ρ,d)|=kρ0c0d|U0H(kρ/d)|, That is to say, the field in the focal plane is but a spatial mapping of the far field into the focal plane: both are given in terms of the 2D spatial Fourier transform of the source condition.

Field at the the focal point of a focused source.

Further insight can be gained from assessing the field at the focal point (x,y,z)=(0,0,d), Eq. (3) becomes |pω(0,0,d)|=kρ0c02πdQ Let Q=u¯0S, where S is the surface area of the source, and where the mean source particle velocity is u¯0=QS=U0(0,0)S=1SSu0(x,y)dS. Then, since |pω(0,0,d)|=kρ0c02πdQ, the ratio of the pressure at the focal point to that in a plane wave with mean source particle velocity is |pω(0,0,d)|ρ0c0u¯0=kS2πd=Sλd. Define G=Sλd= focusing gain, which for a uniform circular piston of surface area S=πa2 reduces to G=ka22d=z0d. Note: the geometric focus at (x,y,z)=(0,0,d) is typically further beyond the location of the maximum axial amplitude.

The so-called ''spot size'' for a source of characteristic size a corresponds to the k-space ''radius.'' From Eqs. (2) or (3'), in the focal plane, this corresponds to kρd1a or ρdka=adka2aG. Thus beam radius is reduced by 1/G in the focal plane.

Focal point in the time domain.

Recall Eq. (3), copied below for convenience |pω(x,y,d)|=kρ0c02πd|U0(kx/d,ky/d)|. In the time domain, the field at the focal point is |pω(0,0,0,t)|=iωρ0Q2πdei(kdωt)=ρ0Q˙(td/c0)2πd. The expansion of ikR led to linear order led to the discarding of a term that was O(ka4/d3). So ka48d3=14ka22da2d2=G4(ad)2. For diagnostic medical ultrasound, G=4, a/d18. So G4(ad)21022π In Lucas and Muir [JASA 72, 1289 (1982)], G40 and ad14, so G4(ad)0.62π.

Example: Focused Gaussian source

The source condition for a Gaussian is u0(ρ)=u0eρ2/a2, and its 2D spatial Fourier transform is U0(κ)=2πH{u0(ρ)}=2πu00eρ2/a2J0(κρ)ρdρ=πa2u0eκ2a2/4. From Eq. (3), the field in the focal plane is |pω(x,y,d)|=kρ0c02πd|U0(kx/d,ky/d)|=ka2ρ0c0u02deκ2a2ρ2/4d2 or, upon normalizing, |pω(ρ,d)|ρ0c0u0=Geρ2/(a/G)2, where G=ka2/2d. Thus the amplitude is seen to by magnified by G, and the beamwidth is shrunk by G.

This is only a sneak-peak into Gaussian beams, which are covered in more depth below.

Fresnel approximation

Begin with the Rayleigh integral (1)pω(x,y,z)=ikρ0c02πu0(x0,y0)eikRRdx0dy0. Now expand R in powers of 1/z (rather than 1/r, as was done in the Fraunhofer approximation): kR=k(xx0)2+(yy0)2+z2=kz[1+(xx0)2z2+(yy0)2z2]1/2=kz+k2z[(xx0)2+(yy0)2]+ H.O.T.. Terminating the above at O(1/z) for the phase is less restrictive than the Fraunhofer approximation because we have retained the term k(x02+y02)2z, i.e., it is not required that ka2/2z1 as in the Fraunhofer approximation. Now the restriction appears to be k8z3[(xx0)2+(yy0)2]2ka48z32π or zaka16π or za(ka)1/3, though this restriction can be weaker as the main contribution to the integral can come from points (x0,y0)(x,y) due to phase variations. Substituting the approximation of kR into (1) gives (2)pω(x,y,z)=ikρ0c02πeikzzu0(x0,y0)eik2z[(xx0)2+(yy0)2]dx0dy0. For axisymmetric sources, u0(x,y)=u0(ρ), so (xx0)2+(yy0)2=(ρρ0)(ρρ0)=ρ2+ρ022ρρ0cosϕ0 for ρ=ρex. Thus ϕ=0, so Eq. (2) becomes pω(ρ,z)=ikρ0c02πeikzzeikρ2/2z0u0(ρ0)eikρ02/2zρ0dρ002πei(kρρ0/z)cosϕ0dϕ0. Taking the angular integral results in a Bessel function 2πJ0(kρρ0/z): (3)pω(ρ,z)=ikρ0c0eikzzeikρ2/2z0u0(ρ0)J0(kρρ0/z)eikρ02/2zρ0dρ0. In general, pω(x,y,z)=qω(x,y,z)eikz, where qω varies slowly on the scale of a wavelength. In other words, if pω is a plane wave, then qω is a constant (the most slowly varying function).

Example: Pressure source in the Fresnel approximation

How does the paraxial approximation change for a pressure source? Recall the (exact) second Rayleigh integral: (1)pω(x,y,z)=ikz2πp0(x0,y0)(11ikR)eikRR2dx0dy0. Since in the paraxial approximation kR1 and Rz, Eq. (1) becomes pω(x,y,z)=ik2πp0(x0,y0)eikRR2dx0dy0, which is equivalent to the Rayleigh integral for a velocity source, if p0(x,y)=ρ0c0u(x,y). So, the paraxial approximation cannot tell the difference between a pressure and velocity source. That is to say, in the paraxial approximation it is consistent to use the plane wave impedance relation to convert from a velocity source to a pressure source. Further, the solutions do not distinguish between rigid and free baffles, i.e., the paraxial approximation can describe radiation from a source in free space, as well as it can describe radiation from a baffled or rigid surface.

Example: Paraxial field of unfocused Gaussian beam

Earlier, the field in the focal plane of a Gaussian beam was calculated. Now the paraxial field of an unfocused Gaussian beam is calculated. The source condition is p0(ρ)=p0eρ2/a2. The Fresnel approximation becomes pω(ρ,z)=ikeikzzeikρ2/2z0p0(ρ0)J0(kρρ0/z)e=ikρ02/2zρ0dρ0=ikeikzzeikρ2/2zH{e(1+z0/iz)ρ2/a2}|κ=kρ/z, where z0=ka2/2, H{eρ2/b2}=b22eκ2b2/4, and b2=a21+z0/iz. After taking the Hankel transform, one obtains p(ρ,z)=p0eikz1+iz/z0exp{ρ2/a21+iz/z0}, which equals the source condition at z=0. Note that the Gaussian beam is of the form pω(ρ,z)=qω(ρ,z)eikz.

Far field of Fresnel approximation

From Eq. (2), for zz0=12ka2, one obtains pω(x,y,z)=ikρ0c02πeikzzeik(x2+y2)/2zu0(x0,y0)ei(kxx0/z0+kyy0/z0)dx0dy0. Thus the far field of the Fresnel approximation is (4)pω(x,y,z)=ikρ0c02πeikzzeik(x2+y2)/2zU0(kx/z,ky/z). For an axisymmetric beam, the far-field approximation of the Fresnel approximation reads pω(z,θ)=ikρ0c0eikzzei12kztan2θUH(ktanθ). Compare Eq. (4) with the Fraunhofer approximation in spherical coordinates, (5)pω(r,θ,ϕ)=ikρ0c02πeikrrU0(kα,kβ), where α=x/r=sinθcosϕ,β=y/r=sinθsinϕ, where Eq. (5) is exact for all (θ,ϕ). Some important distinctions between Eqs. (4) and (5) are made:

Gaussian beams

The properties of Gaussian beams, which were introduced in the above examples, are now studied in more depth.

Unfocused Gaussian beam

As derived above, the unfocused Gaussian beam is given in cylindrical coordinates by pω(ρ,z)=p0eikz1+iz/z0exp{ρ2/a21+iz/z0}, which is p0(ρ) for z=0. Note that the solution is in the form qω(ρ,z)=pω(ρ,z)eikz, where qω(ρ,z) is slowly varying over the scale of a wavelength. The magnitude of the Gaussian beam is |pω(ρ,z)|=p0eikz1+z/z0exp{ρ2/a21+(z/z0)2}p0eρ2/a2,zz0z0zp0e(z0/z)2ρ2/a2,zz0=z0zp0e(katanθ)2/4,tanθ=ρ/z, and the amplitude profile as a function of z is sketched below on a dB scale:

Focused Gaussian beam

Inclusion of focusing modifies the source condition to

p0(ρ)=p0eρ2/a2eikρ2/2d=p0e(1+ika2/2d)ρ2/a2=p0e(1+iG)ρ2/a2,G=ka2/2d=p0eρ2/a~2,a~2=a21+iG. To obtain the focused Gaussian beam solution, simply replace a2 by a~2 in the unfocused solution. The quantities ρ2/a2 and iz/z0 become ρ2/a2p2/a2=(1+iG)ρ2/a2izz0izz0ka~2=i(1+iG)zz0=iGGzd=izGdzd. The pressure field is therefore (G)pω(ρ,z)=p0eikz1z/d+iz/Gdexp{(1+iG)ρ2/a21z/d+iz/Gd}. The field in the focal plane is found by setting z=d in Eq. (G): pω(ρ,d)=iGp0eG2ρ2/a2ei(kd+Gρ2/a2)|p(ρ,d)|p0=GeG2ρ2/a2=Geρ2/(a/G)2. The axial field is found by setting z=0 in Eq. (G): pω(0,z)=p0eiϕ(z)(1z/d)2+(z/d)2/G2,where ϕ(z)=kzarctanz/dG(1z/d). Sketches of the axial magnitude and phase of the focused Gaussian beam are shown below:

Calculation of the physical maximum in a focused Gaussian beam

The physical maximum of the field in a Gaussian beam does not correspond to geometric focus (except in the ray theory limit of ka). To find where the physical maximum of the axial field occurs, take the derivative of the axial pressure magnitude with respect to z: 1p0d|pω(0,z)|dz=1z/dz/G2dd[(1z/d)2+(z/d)2/G2]3/2=0zd=11+G2.

Some values of the above relation are tabulated below:

G z/d=1/(1+G2)
10 0.99
5 0.96
2 0.80

Circular piston

The uniform circular piston is now considered. It will be seen that the discontinuous edges of the piston introduce complications in the Fresnel approximation:

The velocity source condition for the uniform circular piston is u0(ρ)={u0,ρa0,ρ>a. In this case, the Fresnel diffraction integral reads pω(ρ,z)=ikρ0c0u0eikzzeikρ2/2z0J0(kρρ0/z)eikρ02/2zρ0dρ0. For the axial field, ρ=0, so the Bessel function 1. Meanwhile, let xikρ02/2z and ρ0dρ0=(z/ik)dy. The integral becomes (1)pω(0,z)=ρ0c0u0eikz0ika2/2zexdx=ρ0c0u0eikz(1eika2/2z). Compare Eq. (1) to the exact solution of the Helmholtz equation derived by Rayleigh for the (exact) axial field of a uniform circular piston: pω(0,z)=ρ0c0u0(eikzeikz2+a2)(2)=ρ0c0u0eikz[1eik(z2+a2z)] Now expand Eq. (2) in powers of 1/z: k(z2+a2z)=kz[(1+az)1/21]=kz[(1+a22z2a48z4+)1]=ka22zka48z3+O(1/z5). Thus Eq. (1) (2) for ka48z32π(z/a)3ka/16πz/a(ka)1/3, which is the very condition of the Fresnel approximation. This suggests that the Fresnel approximation can be taken a priori (before any calculations have been made made), or a posteriori (after an exact result has been found).

Note that Eq. (2) is singular z=0, because the complex exponential as its argument approaches executes circles in the complex plane: pω(0,z)ρ0c0u0=eikzeiz0/z(eiz0/2zeiz0/2z),z0=ka2/2=i2ei(kz+z0/2z)sin(z0/2z). So pω(0,z)ρ0c0u0=2|sin(z0/2z)|=z0/z,z z0. The far field starts at z/z0=1/π.

Meanwhile, the far field of the Fresnel approximation is given by pω(z,θ)=ikρ0c0eikzzeikρ2/2zUH(ktanθ). In this case, for the the uniform circular piston UH(κ)=H{u0(ρ)}=u0H{circ(ρ/a)}=u0a222J1(κa)κa. The far field of the Fresnel approximation for a uniform circular piston is pω(z,θ)ρ0c0u0=iz0zeikzei(kz/2)tan2θ2J1(katanθ)katanθ. Meanwhile, for the sake of comparison, note that the Fraunhofer approximation of the uniform circular piston is given in spherical coordinates by pω(r,θ)ρ0c0u0=iz0reikr2J1(kasinθ)kasinθ

See here for Dr. Hamilton's handwritten notes on the axial pressure of the focused circular piston. This was not covered formally in class, but is uploaded here for reference.

Rectangular piston

The field due to a rectangular piston is now calculated in the paraxial approximation.

Since the source pressure in the paraxial approximation is related to particle velocity through the plane wave impedance relation, p=ρ0c0u, the following source condition is considered: p0(x,y)=p0,x[a,a],y[b,b]. The field is given in Cartesian coordinates by pω(x,y,z)=ikp02πeikzzIxIy where Ix=aaeik(xx0)2/2zdx0,Iy=bbeik(yy0)2/2zdy0. To take the integrals above, let t2=ik2z(xx0)2=ki2z(xx0)2xx0=i2zkt,dx0=i2zkdt. The x integral becomes Ix=i2zkk/i2z(x+a)k/i2z(xa)et2dt. The integral evaluates to αβet2dt={0β0α}et2dt=π2(erfβerfα), where erfz=2π0zet2dt=error function1,z. Substituting in the appropriate limits of integration, Ix becomes Ix=i2zkπ2{erf[ki2z(xa)]erf[ki2z(x+a)]}. Since the error function is odd, i.e., ()erf(z)=erf(z), Ix can be written as Ix=12i2πzk{erf[zaiz(1+x/a)]+erf[zaiz(1x/a)]}, where za=ka2/2 and zb=kb2/2. The expression for Iy is very similar.

The pressure field is therefore pω(x,y,z)=14p0eikz{erf[zaiz(1+x/a)]+erf[zaiz(1x/a)]}(1)×{erf[zbiz(1+y/b)]+erf[zbiz(1y/b)]}. The axial field is found by setting x=y=0: (2)pω(0,0,z)=p0eikzerfzaizerfzbiz. Note that zaiz=±(1i)za2z, but either sign gives the same result in Eqs. (1) and (2) by Eq. ().

Derivation of parabolic equation (paraxial equation)

The Fresnel approximation is now considered from the perspective of partial differential equations. Consider the Helmholtz equation: (1)2pω+k2pω=0. Let (2)q(x,y,z)=qω(x,y,z)eikz. q is slowly varying in z relative to the wavelength. Equation (2) is now inserted into Eq. (1). The appropriate derivatives are first taken: pωz=(qωz+ikqω)eikz2pωz2=(2qωz2+i2kqωzk2qω)eikz. Equation (1) becomes (1')2qωz2+i2kqωz+2qω=0, where 2 is the Laplacian in the transverse direction, e.g., 2/x2+2/y2 in Cartesian coordinates. Note that 2qω/z2i2kqω/zqω/z02kqω/z01kz01(ka)21.

Thus Eq. (1') is approximated by (3)i2kqωz+2qω=0. Equation (3) is called the parabolic approximation of the Helmholtz equation. The parabolic equation is first order in z, reducing the elliptic equation (Helmholtz equation) to a parabolic equation.

Note that in the time domain, the parabolic equation is 2pzτ=c022p, where p=p(x,y,z,τ), and τ=tz/c0.

To solve Eq. (3), one can use the standard Fourier acoustics procedure. See Dr. Hamilton's notes here in which the Fresnel diffraction integral is recovered.