OSA's Digital Library

Optics Express

Optics Express

  • Editor: Michael Duncan
  • Vol. 13, Iss. 21 — Oct. 17, 2005
  • pp: 8469–8482
« Show journal navigation

Equivalent functions for the Fresnel integral

Yusuf Umul  »View Author Affiliations


Optics Express, Vol. 13, Issue 21, pp. 8469-8482 (2005)
http://dx.doi.org/10.1364/OPEX.13.008469


View Full Text Article

Acrobat PDF (229 KB)





Browse Journals / Lookup Meetings

Browse by Journal and Year


   


Lookup Conference Papers

Close Browse Journals / Lookup Meetings

Article Tools

Share
Citations

Abstract

Fresnel integral is modeled with three equivalent functions. The first function is derived by considering the sum of the first term of the Fresnel integral’s asymptotic expansion {(x)} and an exponential function which approaches to infinity at the zero of the Fresnel function’s argument and has the properties of a unit step function. The second one is the sum of a unit step function and the transition function defined for the simplified uniform theory of diffraction. The third function considers directly eliminating the infinity coming from (x). The amplitude and the phase of Fresnel integral and its equivalent functions are compared numerically. The result is applied to the modified theory of physical optics solution of the diffraction of edge waves from a half plane problem.

© 2005 Optical Society of America

1. Introduction

Fresnel integral has a wide range of application in the electromagnetic diffraction theory. The exact solution of the half plane problem is represented with the Fresnel integral by Sommerfeld [1

A. Sommerfeld , Optics ( Academic Press, New York , 1954 ).

]. Lewis, Boersma and Ahluwalia [2

D. S. Ahluwalia , R. M. Lewis , and J. Boersma , “ Uniform asymptotic theory of diffraction by a plane screen ,” SIAM J. Appl. Math. 16 , 783 - 807 ( 1968 ). [CrossRef]

, 3

R. M. Lewis and J. Boersma , “ Uniform asymptotic theory of edge diffraction theory ,” J. Math. Physics 10 , 2291 - 2305 ( 1969 ). [CrossRef]

] developed the uniform asymptotic theory of diffraction (UAT) by changing the geometrical optics fields with the related integral. Fresnel integral is also used in the uniform theory of diffraction (UTD), which is introduced by Kouyoumjian and Pathak [4

R. G. Kouyoumjian and P. H. Pathak , “ A uniform geometrical theory of diffraction for an edge in a perfectly conducting surface ,” Proceedings of IEEE 62 , 1448 - 1461 ( 1974 ). [CrossRef]

]. There are many programs in order to calculate the Fresnel integrals, but it requires much time for complex scattering problems. For this reason a new transition function is defined by Umul [5

Y. Z. Umul , “ Simplified uniform theory of diffraction ,” Opt. Lett. 30 , 1614 - 1616 ( 2005 ). [CrossRef] [PubMed]

] recently in order to express the related function of UTD with simple exponential expressions for the simplified theory of diffraction (SUTD).

It is the aim of this paper to define three equivalent functions instead of the Fresnel integral by using a function which will cancel the infinity coming from the pole of the first term in Fresnel function’s asymptotic expansion. The amplitude and the phase of the related functions will be compared numerically. The result will be applied to the modified theory of diffraction (MTPO) solution of the diffraction of edge waves from a half plane problem. This solution contains the integration of Fresnel function.

A time factor ejwt is assumed and suppressed throughout the paper.

2. Derivation of the methods

Three equivalent functions for the Fresnel integral will be derived by considering the asymptotic expansion of

F (x)u ( x) + F̂ (x)+0 ( x 32)
(1)

for |x| → ∞. F(x) is the Fresnel integral, defined by

F (x)= e j π4 π x e j t2dt
(2)

and (x) is the first term in its asymptotic expansion, which can be given as

F̂ (x)= e j ( x2+ π4) 2 πx
(3)

for |x| → ∞. u(-x) is the unit step function, which is equal to 1 for x<0 and 0 for x>0.

2.1 First method

The method relies on canceling the pole of (x) by defining a unit step function which approaches to infinity for x = 0. This is a similar approach with the transition function of UAT, which can be given as

F (x) F̂ (x)= e j π4 π x e j t2dt e j ( x2+ π4) 2 πx
(4)

for |x| → ∞. Equation (4) has a pole at x = 0 and is equal to u(-x) everywhere except x = 0 according to Eq. (1). Equation (1) can be written as

F (x) F̂ (x)=u ( x) +g (x)
(5)

where g(x) is an unknown function which goes to infinity at x = 0 and is equal to zero, otherwise. A function can be introduced as

ϑ (x)= 1 1 e e j π42 πx
(6)

which has the same properties with Eq. (4) and represents u(-x)+ g(x). An equivalent function can be defined for the Fresnel integral as

E F1 (x)= ϑ (x)+ F̂ (x)
(7)

by considering Eqs. (5) and (6). The infinity of ϑ(x) is canceled by adding (x). A ∞ - ∞ indeterminacy is created as a result of this summation. As a result, the equivalent function can be defined by the equation of

EF (x)= 1 1 e e j π42 πx + e j ( x2+ π4) 2 πx
(8)

and can be used instead of the Fresnel integral.

It is important to note that the equivalent functions are correlated with the uniform theory of diffraction (UAT) physically. In a diffraction problem, unit step function represents the geometrical optics (GO) fields and (x) has relation with the geometrical theory of diffraction (GTD) coefficients. The equivalent function uses a modified form of unit step function in order to cancel the infinity coming from (x). This is the same approach with the modified GO terms of UAT. This is obvious from Eqs. (5) and (7).

The phase and amplitude of the Fresnel function will be compared with EF1 (x). The Fresnel integral can be written as

F (x)= F (x) e jF (x)
(9)

where |F(x) is defined as √F(x)F *(x). The amplitude and the phase functions are equal to

F (x)= [ 12 1 π 0xcos ( t2 π4)dt]2+ [ 1 π 0xsin ( t2 π4)dt]2
(10)

and

F (x)=t g 1 0xsin ( t2 π4)dt π2 0xcos ( t2 π4)dt
(11)

respectively. The Matlab codes of the Fresnel function and the integrals, written in Eq. (10) is given in the Appendix. It is also possible to express the equivalent function as

E F1 (x)= E F1 (x) e j E F1 (x)
(12)

for the amplitude and the phase functions can be written as

E F1 (x)= [2 πx f1 (x) + f3 (x)cos ( x2+ π4)]2+ [2 πx f2 (x) f3 (x)sin ( x2+ π4)]2 2 π x f3 (x)
(13)

and

E F1 (x)=t g 1 2 πx f2 (x) f3 (x)sin ( x2+ π4) 2 πx f1 (x) + f3 (x)cos ( x2+ π4)
(14)

respectively. The functions, defined in Eqs. (13) and (14) can be expressed as

f1 (x)= 1 e 2πxcos ( 2πx)
(15.a)
f2 (x)= e 2πxsin ( 2πx)
(15.b)
f3 (x)= 1 2e 2πxcos ( 2πx) + e 2 2πx
(15.c)

by considering Eq. (8). The amplitude and phase functions of F(x) and EF (x) will be compared in order to test their identity.

Fig. 1. The amplitude and phase errors

Figure 1 shows the variation of the amplitude and phase error functions versus the variable of x. The natural logarithm of the proportion of the Fresnel integral and the equivalent function can be written as

ln F (x) E F1 (x)= eA (x) +j eP (x)
(16)

where eA (x) shows the amplitude error of

eA (x)=ln F (x) E F1 (x)
(17)

and eP (x) represents the phase error as

eP (x)= F (x) E F1 (x).
(18)

Such a representation gives a physical understanding of the error. Equation (17) shows the deviation in amplitude. Equation (18) expresses the phase error directly in degrees and puts forward the amount of the point to point phase error. This representation is more meaningful from a logarithmic expression.

Figure 1(a) is the plot of the amplitude error. It can be observed that The maximum error change occurs in the interval of x ∈ [- 4,4] and maximum error is nearly 0.027.

Figure 1(b) shows the graph of the phase error function. The maximum errors occur in the interval of x ∈ [0,4] and has four maxima values, nearly equal to -1770.

It is important to note that the ripples, seen in Fig. 1(a) for x ≥ 4 are the result of the step size N, given in the Appendix. When N increases, the amplitude of the ripples will decrease, but it is apparent that computing time will increase. N is taken as 20.000 for the plots, given in Fig. 1.

2.2 Second method

The property of

F (x)=u ( x) +sgn (x)F ( x)
(19)

will be taken into account in order to derive the second equivalent function. sgn(x) is the signum function, which is defined as

sgn (x)= { 1 x0 1 x0.
(20)

The transition function of SUTD can be written as

f (x)=p (x) ( 1 e π x)
(21)

where

p (x)= e j π4 e x
(22)

which is given in Ref. [5

Y. Z. Umul , “ Simplified uniform theory of diffraction ,” Opt. Lett. 30 , 1614 - 1616 ( 2005 ). [CrossRef] [PubMed]

]. The transition function of UTD can be expressed as

T (x)= F ( x) F̂ ( x)
(23)

and the term of F(|x|) can be evaluated as

F ( x)=f (x) F̂ ( x)
(24)

by equating Eq. (23) to Eq. (21). As a result one obtains

E F2 (x)=u ( x) +sgn (x)f (x) F̂ ( x)
(25)

when Eq. (24) is combined with Eq. (19).

The relation of the equivalent function with uniform theory of diffraction (UTD) was discussed in Ref. [5

Y. Z. Umul , “ Simplified uniform theory of diffraction ,” Opt. Lett. 30 , 1614 - 1616 ( 2005 ). [CrossRef] [PubMed]

]. Eq. (25) is derived from Eq. (19), which is the general expression of a UTD scattered field forsgn (x) = (x)/(|x|). SUTD transition function is used instead of UTD transition function in order to model the Fresnel integral.

The equivalent function in Eq. (25) can be written as

E F2 (x)= E F2 (x) e j E F2 (x)
(26)

where |E F2(x)| and ∠E F2(x) are the amplitude and phase functions of E F2(x), respectively. |E F2(x) can be represented as

E F2 (x)= [ q1 (x)]2+ [ q2 (x)]2
(27)

and the phase function can be written as

E F2 (x)=t g 1 q1 (x) q2 (x)
(28)

where

q1 (x)=sgn (x) 1 e π x 2 π xsin ( π4 e x π4 x2)

q2 (x)=u (x) +sgn (x) 1 e π x 2 π xcos ( π4 e x π4 x2)
(29)

which can be evaluated from Eq. (25). The formula of

ln F (x) E F2 (x)= eA (x)+j eP (x)
(30)

will be used in determining the error comparison of the equivalent function and the Fresnel integral. eA (x) and ep (x) were defined by Eqs. (17) and (18) and are valid for the present case when the Eqs. (27) and (28) are considered.

Fig. 2. The amplitude and phase errors of F(x) and E F2(x)

Figure 2 shows the variation of amplitude and phase errors versus x. The maximum amplitude error does not exceed 0,02 and exists in the neighborhood of x=0 according to Fig. 2(a). It is observed from Fig. 2(b) that there are two error maxima, which occur at x=1,03 and x=2,67. The phase error values at these points are nearly equal to ∓180°. N is taken as 50.000 for the related plots.

2.3 Third method

An equivalent representation for the function g(x), given in Eq. (5), will be defined as a third step. As mentioned before, g(x) is equal to zero everywhere except x=0, where it approaches to infinity. Such a function can be defined by

g1 (x)=sgn ( x) e e j π42 π x 1 e e j π42 π x
(31)

and the equivalent Fresnel function can be written as

E F3 (x)=u ( x)+ F̂ (x)+ g1 (x)
(32)

by using Eq. (31) in Eq. (5).

There is no uniform theory in literature that has the same approach with the third equivalent function. A function of g(x), which gives the exact Fresnel function when added to the term of u(- x)+(x), is described. Since its properties are known (although the function g 1(x) which shows a similar variation is defined. This function eliminates the infinity of (x) and when added to u(-x), gives an equivalent function for the Fresnel integral. A new uniform approach for diffraction can be derived by using this concept.

E F3(x) can be expressed as

E F3 (x)= E F3 (x) e j E F3 (x)
(33)

for the amplitude function is equal to

E F3 (x)= gr (x)+ gi (x)
(34)

and the phase function can be obtained as

E F3 (x)=t g 1 gi (x) gr (x).
(35)

The functions in Eqs.(34) and (35) can be defined as

gr (x)=u ( x) + cos ( x2+ π4) 2 πx sgn ( x) e 2π x e 2π x cos 2π x f2 ( x)
(36)

and

gi (x)= sin ( x2+ π4) 2 πx sgn ( x) e 2π x sin 2π x f3 ( x)
(37)

where f 3(x) was given in Eq. (15.c). The error functions can be derived by taking the natural logarithm of the proportion of the Fresnel integral and the equivalent function which can be written as

ln F (x) E F3 (x)= eA (x)+j eP (x)
(38)

where eA (x) shows the amplitude error of

eA (x)=ln F (x) E F3 (x)
(39)

and eP (x) represents the phase error as

eP (x)= F (x) E F3 (x).
(40)
Fig. 3. The amplitude and phase errors of F(x) and E F3(x)

Figure 3 shows the variation of the amplitude and phase errors, given in Eqs.(39) and (40), with respect to x. It can be observed that the maxima of amplitude error are assembled in the neighborhood of the value where the argument of the function is zero. This is the result of the fact that equivalent functions are constructed by using the large argument expansion of the Fresnel integral.

Fig. 4. Comparison of the amplitude and phase errors of the equivalent functions

Figure 4 shows the variation of Eqs. (16), (30) and (38) versus x. It can be observed that E F2(x) shows a better error performance against the other functions. The phase error of E F2(x) is also more acceptable than the others. In terms of computation cost, all of the equivalent functions require the same computing time, approximately 2 seconds. It requires one minute to compute the Fresnel integral given in the Appendix for N=50.000. The computation time will decrease if lesser terms are considered for N, but this time the amplitude of the ripples, seen in the amplitude plots for x>5, increases. This causes more error in evaluations.

It can be seen from Fig. 4 that the error variation of E F1(x) and E F3(x) are about the

E F2 (x) E F3 (x)= ϑ (x) u ( x) g1 (x)
(41)

from their definitions. The equation of

E F2 (x) E F3 (x)= ϑ (x) { ϑ (x) x0 e Kx 1 e Kx x0
(42)

can be obtained for K = exp (/4)2√π. It is apparent that Eq. (42) is equal to zero for x<0 and approaches to zero for x>0.

The equivalent functions are compared with the Fresnel integral for real argument up to here. A comparison for complex argument will be performed in order to test their validity. The formula derived in Eq. (16) will be taken into account for the first equivalent function. The argument will be taken as x exp (/3).

Fig. 5. Error plot for the complex argument Fresnel function

Figure 5 shows the variation of the amplitude error in a logarithmic scale versus x. It can be observed that the error has increased, compared to the real argument case. This is not a physical state especially that can be met in diffraction problems but it is important to know the behavior of the equivalent functions for a mathematical point of view.

The first equivalent function will be compared with the Fresnel integral for pure imaginary argument as a second step.

Fig. 6. Amplitude error for pure imaginary argument

Figure 6 depicts the plot of amplitude error according to an imaginary argument [E F1(jx)] with respect to x. It can be seen that the variation of the amplitude error is the same with the one, plotted in Fig. 1.

3. Numerical example: Scattering of edge waves from a PEC half plane

A physical optics scattering problem will be observed in this section in order to the scattering of edge diffracted waves from a half plane will be examined by using the method of modified theory of diffraction. The geometry of the problem is given in Fig. 7.

Fig. 7. Geometry of the two half plane problem.

A magnetic polarized plane wave with unit amplitude is illuminating the first half plane. The second half plane is lying in the shadow region of the first half plane. It is obvious that only the edge diffracted waves reach the second plane. The main objective of this analysis is to obtain an integral which contains Fresnel function. The computation time of the integral is expected to increase, but it will be shown that this defeat can be eliminated by using equivalent functions instead of Fresnel integral.

The MTPO integral of reflected fields will be considered. The edge diffracted waves of the first half plane can be written as

Hdi= ez [ e jk ρ1cos ( ϕ1 ϕ0)sgn ( ξ1)F ( ξ1)+ e jk ρ1cos ( ϕ1 ϕ0)sgn ( ξ2)F ( ξ2)]
(43)

where

ξ1= 2k ρ1cos ϕ1 ϕ02

ξ2= 2k ρ1cos ϕ1+ ϕ02
(44)

which are the detour parameters of UTD. ρ 1 and ϕ 1 are the cylindrical coordinate quantities of the first half plane and are related to the second half plane coordinates as

ρ1= ρ2+ L2 2Lρsinϕ
(45.a)
ϕ1= cos 1 ρcosϕ ρ1
(45.b)

for L is the distance between the half planes. MTPO surface current can be found by considering the boundary condition of J es= n× Ht as

JMTPO=2 Hdiz S' ( excos βα2 eysin βα2)
(46)

where the modified unit vector of the second surface is equal to n1=cos ( u+α) ex + sin ( u+α) ey for u= π2 α+β2. The integral of the reflected magnetic field can be written as

Hr= e j π4 2 2πj 0× ( JMTPO e jkR kR)dx'
(47)

where the curl operation will be applied according to the observation point coordinates [6

Y. Z. Umul , “ Modified theory of physical optics ,” Opt. Express 12 , 4959 - 4972 ( 2004 ), http://www.opticsexpress.org/abstract.cfm?URI=OPEX-12-20-4959 . [CrossRef] [PubMed]

]. The resultant integral can be expressed as

Hr= ez ke j π4 2π 0 Hdiz S'sin β+α2 e jkR kRdx'
(48)

where Hdiz represents the value of the incident field on the reflection surface and is equal to

Hdiz S'= e jk R1cos ( ϕ1 ϕ0)sgn ( 2k R1cos ϕ1 ϕ02)F ( 2k R1cos ϕ1 ϕ02)+ ( ϕ0 ϕ0)
(49)

for R 1 is the value of ρ 1 on the surface. The related quantities are equal to

R1= ( x')2+ L2
(50.a)
ϕ1= 2πα
(50.b)

on the surface of reflection. α is equal to tg -1(L/x´). Equation (48) will be plotted for the Fresnel integral and the first equivalent function, used in Eq. (49).

Fig. 8. Reflected magnetic field from the second half plane

Figure 8 depicts the variation of the reflected magnetic field from the second half plane versus observation angle. L is taken as 3λ and ϕ 0 is equal to 30°. It can be seen that using the equivalent functions in Eqs. (48) and (49) instead of Fresnel integrals, gives the same result by requiring lesser computation time. N is equal to 20000 for this computation.

Fig. 9. Scattering integral for L=λ/2 and L=10λ

Figure 9 shows the variation of the scattering integral in Eq. (48) with respect to the observation angle for L=λ/2 and L=10λ. ϕ 0 is equal to π/3. It can be seen that the plots, obtained for the Fresnel integral and E F1(x) are in harmony. The ripples, observed in the first plot of Fig.9, are the result of the step size. Fresnel integral is plotted for 5000 terms in these graphs. If the value of N is increased, these ripples will become smaller and vanish. A computation cost analysis will be given below.

Fig. 10. Scattering integral for a) ϕ 0 = π/6 , b) ϕ 0 =5π/6

Figure 10 shows the variation of the scattering integral of Eq. (48) versus the observation angle for ϕ 0 = π/6 , ϕ 0 = 5π/6 and L=5λ. It can be observed that the two integrals, evaluated for the Fresnel function and the first equivalent function are in harmony.

It is important to give information about the computation cost. Equation (48) contains the sum of two Fresnel integrals and this means that there are two “for loops”, each containing another “for loop”. The integral in Eq. (48) is computed by a “for loop” which consists of the sum of 700 terms. The time, required for the evaluation of Eq. (48), is nearly 90 seconds when N has the value of 5000 at the Fresnel integral code, given in the Appendix. This value causes some cripples at the plots as can be seen from Figs. 9 and 10. If the value of N is increased, the time of computation will also increase. It takes only 4 seconds to evaluate the integral, given in Eq. (48), when the equivalent functions are used instead of the Fresnel function in the integral.

4. Conclusion

In this work, three equivalent functions are derived for the Fresnel integral. It is stated that the first two functions are related with UAT and UTD approaches. The third equivalent function attempts to eliminate the infinity coming from (x) and can be thought as a variation of UTD since UTD makes uniform the diffraction field by multiplying the diffraction coefficient by a transition function which has a zero at the transition region. This approach creates a 0/0 indeterminacy. The concept of the third equivalent function is to eliminate the related infinity by creating a ∞ - ∞ indeterminacy.

The numerical comparisons show that the functions represent the Fresnel integral with a very good degree of correctness. The equivalent functions consist of the sum of two or three basic functions. It is always easy to deal with these functions for numerical or analytic evaluations. Fresnel integrals can be found in many simulation programs, but there is always a need of integral evaluation and this creates a problem when dealing with the diffraction of complex bodies.

Appendices

Appendix

The Matlab code, used for the plot of the Fresnel integral can be introduced as follows;

Fresnel integral

The Matlab code can be written as

for the Fresnel integral, defined in Eq. (2).

References and links

1.

A. Sommerfeld , Optics ( Academic Press, New York , 1954 ).

2.

D. S. Ahluwalia , R. M. Lewis , and J. Boersma , “ Uniform asymptotic theory of diffraction by a plane screen ,” SIAM J. Appl. Math. 16 , 783 - 807 ( 1968 ). [CrossRef]

3.

R. M. Lewis and J. Boersma , “ Uniform asymptotic theory of edge diffraction theory ,” J. Math. Physics 10 , 2291 - 2305 ( 1969 ). [CrossRef]

4.

R. G. Kouyoumjian and P. H. Pathak , “ A uniform geometrical theory of diffraction for an edge in a perfectly conducting surface ,” Proceedings of IEEE 62 , 1448 - 1461 ( 1974 ). [CrossRef]

5.

Y. Z. Umul , “ Simplified uniform theory of diffraction ,” Opt. Lett. 30 , 1614 - 1616 ( 2005 ). [CrossRef] [PubMed]

6.

Y. Z. Umul , “ Modified theory of physical optics ,” Opt. Express 12 , 4959 - 4972 ( 2004 ), http://www.opticsexpress.org/abstract.cfm?URI=OPEX-12-20-4959 . [CrossRef] [PubMed]

OCIS Codes
(000.3860) General : Mathematical methods in physics
(080.0080) Geometric optics : Geometric optics
(080.2720) Geometric optics : Mathematical methods (general)

ToC Category:
Research Papers

History
Original Manuscript: July 14, 2005
Revised Manuscript: October 3, 2005
Published: October 17, 2005

Citation
Yusuf Umul, "Equivalent functions for the Fresnel integral," Opt. Express 13, 8469-8482 (2005)
http://www.opticsinfobase.org/oe/abstract.cfm?URI=oe-13-21-8469


Sort:  Journal  |  Reset  

References

  1. A. Sommerfeld, Optics (Academic Press, New York, 1954).
  2. D. S. Ahluwalia, R. M. Lewis and J. Boersma, �??Uniform asymptotic theory of diffraction by a plane screen,�?? SIAM J. Appl. Math. 16, 783-807 (1968). [CrossRef]
  3. R. M. Lewis and J. Boersma, �??Uniform asymptotic theory of edge diffraction theory,�?? J. Math. Physics 10, 2291-2305 (1969). [CrossRef]
  4. R. G. Kouyoumjian and P. H. Pathak, �??A uniform geometrical theory of diffraction for an edge in a perfectly conducting surface,�?? Proceedings of IEEE 62, 1448-1461 (1974). [CrossRef]
  5. Y. Z. Umul, �??Simplified uniform theory of diffraction,�?? Opt. Lett. 30, 1614-1616 (2005). [CrossRef] [PubMed]
  6. Y. Z. Umul, �??Modified theory of physical optics,�?? Opt. Express 12, 4959-4972 (2004), <a href="http://www.opticsexpress.org/abstract.cfm?URI=OPEX-12-20-4959.">http://www.opticsexpress.org/abstract.cfm?URI=OPEX-12-20-4959.</a> [CrossRef] [PubMed]

Cited By

Alert me when this paper is cited

OSA is able to provide readers links to articles that cite this paper by participating in CrossRef's Cited-By Linking service. CrossRef includes content from more than 3000 publishers and societies. In addition to listing OSA journal articles that cite this paper, citing articles from other participating publishers will also be listed.


« Previous Article  |  Next Article »

OSA is a member of CrossRef.

CrossCheck Deposited