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
for |x| → ∞. F(x) is the Fresnel integral, defined by
and F̂(x) is the first term in its asymptotic expansion, which can be given as
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 F̂(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
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
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
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
by considering Eqs. (
5) and (
6). The infinity of
ϑ(
x) is canceled by adding
F̂(
x).
A ∞ - ∞ indeterminacy is created as a result of this summation. As a result, the equivalent function can be defined by the equation of
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
F̂(
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
F̂(
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
where |F(x) is defined as √F(x)F
*(x). The amplitude and the phase functions are equal to
and
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
for the amplitude and the phase functions can be written as
and
respectively. The functions, defined in Eqs. (
13) and (
14) can be expressed as
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
where eA
(x) shows the amplitude error of
and eP
(x) represents the phase error as
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 -177
0.
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
will be taken into account in order to derive the second equivalent function. sgn(x) is the signum function, which is defined as
The transition function of SUTD can be written as
where
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
and the term of F(|x|) can be evaluated as
by equating Eq. (
23) to Eq. (
21). As a result one obtains
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) =
F̂(
x)/
F̂(|
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
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
and the phase function can be written as
where
which can be evaluated from Eq. (
25). The formula of
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
and the equivalent Fresnel function can be written as
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)+F̂(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 F̂(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
for the amplitude function is equal to
and the phase function can be obtained as
The functions in Eqs.(
34) and (
35) can be defined as
and
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
where eA
(x) shows the amplitude error of
and eP
(x) represents the phase error as
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
from their definitions. The equation of
can be obtained for
K = exp (
jπ/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 (
jπ/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
where
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
for L is the distance between the half planes. MTPO surface current can be found by considering the boundary condition of
∣S´ as
where the modified unit vector of the second surface is equal to . The integral of the reflected magnetic field can be written as
where the curl operation will be applied according to the observation point coordinates [
6]. The resultant integral can be expressed as
where Hdiz
∣
S´
represents the value of the incident field on the reflection surface and is equal to
for R
1 is the value of ρ
1 on the surface. The related quantities are equal to
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 F̂(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.