You are on page 1of 7

Adam et al.

, Int J Appl Exp Math 2016, 1: 108


http://dx.doi.org/10.15344/ijaem/2016/108

International Journal of
Applied & Experimental Mathematics
Review Article Open Access
Evaluation of Ray-Path Integrals in Geometrical Optics
John A Adam1* and Michael Pohrivchak1,2
Department of Mathematics & Statistics Old Dominion University, Norfolk, Virginia 23529, USA
1

The Naval Research Laboratory, Washington, DC, USA


2

Abstract Publication History:


Received: June 10, 2016
A brief summary of the physical context to this paper is provided, and the deviation angle undergone
Accepted: September 14, 2016
by an incident ray after k internal reflections inside a transparent unit sphere is formulated. For radially
inhomogeneous spheres (in particular) this angle is related to a ray-path integral; an improper integral Published: September 16, 2016
for which there are relatively few known exact analytical forms, even for simple refractive index profiles Keywords:
n(r). Thus for a linear profile the integral is a combination of incomplete elliptic integrals of the first and
third kinds (though not all are as complicated as this). The ray-path integral is evaluated for ten different Snell’s law, Geometrical optics,
n(r) profiles, many of which have not been provided elsewhere. In the appendix a mirage theorem is Bouguer’s formula, Refractive index
proved for horizontally stratified media. This illustrates the more general principle in geometrical optics,
namely that a ray path is always concave towards regions of higher refractive index.

Introduction: Snell’s law of refraction physics, Snell’s law of refraction defines the relationship between the
refractive index of a medium and the direction of the light ray at that
Solutions of spherical scattering problems have practical point. For continuously varying media, if θ(r) is the angle made by
applications in chemistry, physics, microbiology, meteorology, radar, the ray with some reference direction (depending on the coordinate
astronomy, and other fields. Many phenomena that we experience system used) and n(r) is the refractive index:
every day are related to the scattering of plane electromagnetic waves. (1)
n (r) sin θ (r) = constant.
Sound and light waves are scattered around objects that enable us to
hear the sound and be illuminated by the light. The scattering of plane For the special case of a boundary between two uniform media with
electromagnetic waves provides an explanation of why the sky is blue refractive indices n1 and n2 equation (1) reduces to
and how a rainbow is formed. There are several other reasons why it is (2)
n1 sin θ1 = n2 sin θ2 .
important to have a deep understanding of electromagnetic scattering
by radially inhomogeneous media. Methods that are employed in In practice, in physics texts at least, this is written in terms of the
angle of incidence (i), the angle of refraction (r) ~ and the relative
this area can be very useful in exploring the combustion of liquid
hydrocarbons, the injection of sprays in high pressure environments, refractive index θ1= i, θ2= r~ and n = n2 /n1 :
as well as the spraying and drying techniques utilized in the food,
sin i = n sinr~ . (3)
agricultural, and pharmaceutical industries. Another example where
the scattering of electromagnetic waves by a radially inhomogeneous
sphere is used is in biological studies to detect blood and bacteria cells. Note that the standard notation for the angle of refraction (r) is
~ to avoid confusion with the radial variable.
here being replaced by (r)
Medical imaging uses the scattering of plane electromagnetic waves to
identify and diagnose a range of health-related issues. Electromagnetic
scattering is also utilized in geophysical exploration to identify a new Using these results it can be shown that the deviation angle
deposit of a certain resource. Another example of the importance of undergone by an incident ray after k internal reflections inside a
electromagnetic scattering is in the area of nondestructive testing transparent unit sphere is, for constant refractive index n
of artifacts without causing damage to the environment or other Θ k ( i ) =2i + kπ − 2 ( k + 1) r ( i )
objects. The scattering of electromagnetic plane waves by a radially
inhomogeneous sphere is a vast field with many practical and research ≡ 2i + kπ − 2 ( k + 1) arcsin 
 sin i  . (4)

applications [2].  n 
~
This formula arises because in addition to the deviation (i-r(i)) at
When rays propagate in inhomogeneous media, a condition that both the entry and exit points of the sphere, each reflection induces a
is sometimes placed on the applicability of geometrical optics is that ~
deviation of (π-2r(i)) radians. This formula (along with its extension
the refractive index profile in the medium must be slowly varying [7]. to radially inhomogeneous spheres) is of importance in the field of
Plasmas are an excellent example of media, which in limiting cases, geometric optics, especially as applied to ‘rainbows’ and higher-order
may exhibit poles, zeros or both in the refractive index. For example, bows, as well as so-called ‘zero-order’ bows (which exist only in
a cylindrically confined laboratory plasma may possess a resonance, nonhomogeneous media) [1-3]. Such bows exist at extrema of Θ k ( i ),
cutoff, or both at some finite radii. If the frequency of the incident i.e. when Θ'k ( i ) =0.
wave is much greater than the collision frequency of the plasma, *
Corresponding Author: Dr. John A Adam, Department of Mathematics &
as it occurs when the plasma is probed by a laser beam, then the Statistics Old Dominion University, Norfolk, Virginia 23529, USA, E-mail:
squared refractive index is essentially a real quantity, and it is infinite jadam@odu.edu
at a resonance and zero at a cutoff (this is equivalent to saying that
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in
collisions are neglected) [7]. The current and future applications of Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
plasmas provide reasons why the study of singular refractive index ijaem/2016/108
profiles is of considerable value.
Copyright: © 2016 Adam et al. This is an open-access article distributed
under the terms of the Creative Commons Attribution License, which permits
To set the scene, so to speak, some basic underlying physical unrestricted use, distribution, and reproduction in any medium, provided the
principles are stated here. As is well-known to students of elementary original author and source are credited.

Int J Appl Exp Math IJAEM, an open access journal


Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 2 of 7

Spherically Symmetric Media Equation (8) will be evaluated for ten distinct refractive index
profiles. That result can then be employed in equation (7), and the
In a spherically symmetric medium with refractive index n(r) it is resulting equation utilized to impose conditions on the refractive
readily shown that each ray path satisfies the following equation [2,4] index n (r) that permits a bow of any order to exist. This procedure
rn(r) sin ϕ = constant, (5) will be applied only to those refractive index profiles for which
Θ'k (θi ) is readily obtainable algebraically (though in some cases not
where ϕ is the angle between the radius vector r and the tangent to c

without difficulty). It should be noted at the outset that some of


the ray at that point, where r =|r|. The above expression may be thought the profiles discussed below can be singular within the unit sphere,
of as the optical analogue of the conservation of angular momentum depending on the particular choice of parameters. Nevertheless we
for a particle moving under the action of a central force. The result, will here choose the relevant parameters such that the profiles are
known as Bouguer’s formula (for Pierre Bouguer,1698-1758), implies non-singular within the refracting sphere (though it is not always
that all the ray paths r(θ) are curves lying in planes through the origin necessary to do so [5]).
where θ is the polar angle. By using elementary differential geometry,
we can establish that −1/ 2 Refractive Index Profiles
  dr  
2

=sin φ r (θ )  r 2 (θ ) +    (6)

  dθ   . Profile 1

In this paper we examine certain integrals that arise in the The refractive index profile considered is
mathematical theory of ray scattering by radially inhomogeneous 2n1r1/ c −1
spheres. Instead of i, θi will refer to the angle of incidence for the = n ( r ) = , n1 n (1) , (11)
1 + r 2/ c
incoming ray, r is the radial distance within a unit sphere (since any
where c is a positive real constant. This profile is singular at r = 0 for
sphere is easily scaled to r=1 by a redefinition of the original radius),
c > 1. It is also singular at r = 0 for c < 0. In order to avoid such singular
and Θk (θi)is the total angle of deviation undergone by the ray from
behavior it will be assumed that 0 < c ≤ 1. When c = 1, the refractive
its original direction after k internal reflections. Thus the subscripts
index profile in equation (11) results in the well-known Maxwell’s
0 and 1 are used to distinguish between the deviations of the exiting
fish-eye profile. Maxwell’s fish-eye profile was studied by James Clerk
ray for direct transmission and the primary bow, respectively. It
Maxwell in 1854, but without the spherical mirror. The reason why it
is a well-known result that the curvature of the ray path is towards
is called the fish-eye profile is because Maxwell thought of this profile
regions of higher refractive index n – a consequence of Snell’s law of
by considering the crystalline lens in fish. The fish-eye mirror makes a
refraction in continuously-varying media. This is a consequence of a
perfect lens, but it is a rather peculiar lens that contains both the object
general principle (the mirage theorem), a special but important case of
and the image inside the optical medium. The fish-eye mirror could
which is discussed in the Appendix. Thus if n'(r) < 0 an incoming ray
transfer embedded images with details significantly smaller than the
is concave towards the origin (i.e. it curves around it); if n'(r) > 0, it is
wavelength of light over distances much larger than the wavelength, a
concave away from it (or curves away from it). If 2∆(θi) is the angle
useful feature for nanolithography [14].
subtended at the center of the sphere by the ray path inside the sphere,
then for each internal reflection the ray undergoes an additional If we define the quantity
deviation of 2∆(θi). We shall refer to 2∆(θi) as the basis angle for the sin θi 1
ray path inside the sphere. Hence the total deviation for k internal
aˆ ≡ <
2n1 2
reflections is
it follows that
Θ k (θ i )= 2θ i − π + 2( k + 1) ∆ (θ i ) . (7) 1 ± 1 − 4aˆ 2 .
rc1/ c =
The quantity ∆(θi) is an improper definite integral to be defined 2aˆ
below for a unit sphere. Apart from a few specific n(r) profiles, It is readily demonstrated that the ‘+’ root corresponds to rc>1, i.e.
analytic expressions for ∆(θ ) are difficult to obtain. In this paper ∆(θ ) outside the unit sphere, so it follows that
i i c
is evaluated for ten such cases. It is interesting to note that even for  1 − 1 − 4aˆ 2 
simple n(r) profiles (such as the linear profile) the evaluation of the rc (θ ) =   (12)
 2 aˆ 
integral is quite challenging, in fact a great deal of elementary (and
on occasion quite sophisticated) analysis is required to obtain explicit from which the following remarkably simple result is obtained,
closed-form expressions for ∆(θi). c . (13)
∆ (θ i ) = π
2
From equations (5) and (6) the formula for ∆(θi) is Hence, for the refractive index given by profile 1 we find that
Θ k (θ i ) = 2θ i − π + 2 ( k + 1) ∆ (θ i ) = 2θ i − π + ( k + 1) cπ
1
dr
∆ (θ i ) =
sin θ i ∫ 1/ 2
,
(8) (14)
rc (θi ) r  r n ( r ) − sin θ i 
2 2 2
  = π [( k + 1) c − 1] + 2θ i .
where the lower limit rc (θi)is the point at which the integrand is Note that for this profile, Θk' (θi ) = 2 for any value of i. Thus, no
singular, being the largest solution of bow exists for any order k, a quite remarkable conclusion given the
( i ) ( c ( i ))
r θ n r θ = sin θ
c i
(9) mathematical complexity of the profile (11) as compared with a
constant refractive index (for which bows do exist).
provided 0<rc<1.The quantity rc(θi) is the radial point of closest
approach to the center of the sphere which is sometimes called the Profile 2
turning point. As noted earlier, for a kth-order bow to exist at some Consider next the refractive index profile
critical angle of incidence θic it is necessary and sufficient that 1/ 2 1/ 2

( ) 0.
 r2   r2 
Θ'k θ ic = (10) n ( r )= n ( 0 ) 1 − 2  ≡ n0  1 − 2  . (15)
 L   L 

Int J Appl Exp Math IJAEM, an open access journal


Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 3 of 7

This is known (not surprisingly) as the parabolic refractive index will be physically interesting). These roots will be denoted by r1, r2, and
profile, and was examined by [11,12]. It has been used in studies of rc where rc < min (r1, r2) if r1 and r2 are real. After a great deal of algebra
cylindrical optical fibers where r is the distance from the optical fiber the basis internal angle ∆(θi) can be expressed succinctly in terms of
axis. L2 is a constant that can be determined from knowledge of the Π (φ , α 2 , p ) the incomplete elliptic integral of the third kind, where
core and surface refractive indices. Let n (1) ≡ n1 > 1. Then we find
sin φ
dt
that (
Π φ,α , p =
2
) ∫ (22)
L2 =
n02
. 0 1−α t
2 2
( ) (1 − t )(1 − p t )
2 2 2

n02 − n12 and 1/ 2 1/ 2


 r2 − r2   rc2 − r2 2  r2
2

sin φ =  c2 α
2
Let K = sin θi . Using equation (9) it is found that , p = and = 1 − . (23)
2   r2 − r2  2
 rc − r2   c 1  rc
n02 ±  n04 − 4 ( n02 − n12 ) K 2  .
1/ 2

rc2 = From equation (8) we obtain


2 ( n02 − n12 ) ∆ (θ i )
=
Kj
Π (φ , α 2 , p ) . (24)
For the unit sphere the radial point of closest approach is bounded b rc rc2 − r12
2

by 0 ≤ rc < 1, rc ∈ R. Therefore we can determine that


Kj
Further restrictions are imposed on rc(θi) that are dependent on the
Θ k (θ i ) = 2θ i − π + 2 ( k + 1)
2 2 2
(
Π φ , α , p . (25) )
b rc rc r
values of n0 and n1. Two cases will be summarized here.
As can be seen from this expression, the calculation of Θk ( θi )
involves highly complicated calculations that will not be provided here.
Case 1 (1< n1< n0)
Profile 4
This corresponds to the refractive index decreasing monotically
from the center. It can be shown that Consider the linear profile
1/2

 0  0 ( 0 1 )  ,
 n 2 −  n 4 − 4 n 2 − n 2 K 2 1/2 
n(r) = a+br,
(26)
rc =   (16)
 2 ( n02 − n12 )  where a and b are constants. This linear refractive index profile has
  been utilized with respect to absorption measurements of nonlinear
subject to the constraint optical liquids in the visible and near-infrared spectral region [15].
4
(
n0 > 4 n0 − n12
)
2 . (17) Surprisingly, the algebraic complexity for this seemingly innocuous
profile is even worse than that for profile 3. For this reason we state
only the final result for ∆(θi). In what follows let
Case 2 (1<n0<n1) a b
=A = ,B and= q sin θ i , θ i > 0 . (27)
q q
This corresponds to the refractive index increasing monotically We also define
from the center. It can be shown that the very same result (16) holds
1  2
in this second case also. Consequently the basis for the interior angle k= −
4 B 
A ± i A2 + 4 B 4 B − A2  .

( (28) )( )
of deviation is
The positive root is taken if 4B - A2 > 0 and the negative root if
   
+ π . 4B -A2 < 0.
2 2
1  n0 − 2 K
∆ (θ i ) arcsin  4 1/ 2   (18)
2  n − 4 ( n02 − n12 ) K 2  2 1/ 2
   0    Let  


sin φ=   −
A + A 2
+ 4 B(   − 1 A − A2 + 4 B r + 1  
 2  ) ( )
Therefore, for the refractive index profile 2, we find  1   (29)
Θ k (θ i ) = 2θ i − π + 2 ( k + 1) ∆ (θ i ) (19)



 k A − A + 4B  
2
( 2
  2 A + A + 4B r − 1  


) ( )
and

= 2θ i + ( k − 1)
π 
+ ( k + 1) arcsin 
2
n0 − 2 K
2 
. α =2
k A−( A2 + 4 B ). (30)
  n04 − 4 ( n02 − n12 ) K 2  
1/ 2
2 2
A+ A + 4B
As in all these profiles, conditions for the existence of kth-order The final result is
bows can be found by seeking extrema of Θ k (θi ) .
 A + A + 4 B 
2 Bk
2

∆ (θ i ) =   F (φ , k ) − A + 4 B Π ( φ , α , k )  , (31)
2 2

Profile 3 B  2 
 
where as in equation (22), ∏ (ϕ, α2, k) is the incomplete elliptic
Consider next the profile integral of the third kind, and
n ( r )= a − br 2 (20) sin φ dt (32)
F (φ , k ) = ∫
where a and b are real constants. This profile in particular has been
0
(1 − t )(1 − k t )
2 2 2

used to extend the Airy rainbow theory to nonuniform spheres [1, is the incomplete elliptic integral of the first kind. From equation
10]. It transpires that the critical radius rc satisfies the cubic equation (31) we can compute the deviation angle Θk ( θi ) given by equation
br 3 − ar + K = 0 (21) (7). Again, though, the analytic expression for Θk ( θi ) is extremely
complicated and will not be presented here.
so care must be taken in evaluating the three roots (not all of which

Int J Appl Exp Math IJAEM, an open access journal


Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 4 of 7

Profile 5 Using the formula

Consider next the refractive index profile


arccos z =
− i log z + i 1 − z ( 2

) (43)
∆(θi) may also be expressed as
n1r1/ b −1 ( 2 − r 2/ b ) (33)
1/ 2
n(r ) = n (1) > 1 .
, n1 =
=∆ (θ )
α
arccos
 1 − α ( α + β )  + arccos ( α + β ) .
This profile is singular at r=0 if one of the following conditions is i

1−α
2  β  (44)
satisfied:
a sin θ  1 − a ( a + b ) a sin θ 
2

b < 0; b > 1. = arccos


 + arccos [( a + b ) sin θ ] ,
i i

 b sin θ
i

a sin θ − 1
2 2

i
i

In order for a kth-order bow to exist, b > 2. Consequently, the where we have utilized the definitions for α and β . Once more,
second singularity condition b > 1 will be met in order to guarantee the expression for Θk ( θi ) follows quite naturally. More details of this
the existence of a zero-order bow. When b = 1, this profile corresponds profile may be found [19].
to a Luneburg lens [14]. Defining
sin θi (34) Profile 7
a≡ ,
n1
it follows that Next we examine the refractive index profile
2± 4 − 4a
2 a
rc
2/b
= 1
=± 1− a .
2 (35) n( r ) = , (45)
r ln(br )
2
Because 0< rc < r < 1 the negative root must prevail, since a2 < 1 so where a and b again are constants. This profile is singular at r=0
that rc Є R. Hence and r = b-1 and is undefined if b ≤ 0 . This refractive index profile has
applications in radio wave propagation [13]. If
(36)
( ) a
b/2
rc (θi ) = 1 − 1 − a 2 . m≡ ,
sin θi
Ultimately, the relatively simple result is then rc(θi) is given by
b
∆ (θ i ) = (π − arcsin a ) , (37) rc (θi ) = b −1e m . (46)
2 The basis angle is
and hence
 sin θ i  .
∆ (θi ) =
− a 2 csc 2 θi − ( ln b ) ,
2
Θ (θ i ) = 2θ i + π ( k + 1) b − 1 − ( k + 1) b arcsin  (47)

 n1  (38)
As above, for a kth-order bow to exist for some critical angle of and therefore, for this refractive index profile, a kth-order bow
incidence θk, it is necessary and sufficient that exists if
( k + 1) a 2 csc 2 θ i cot θ i
Θik θic =
0. ( ) 1+
a csc θ i − ( ln b )
2 2 2
− 0. c c (48)

Thus the condition for extrema is that c

Since θi c is in the first quadrant, and the trigonometric functions


 ( n − 1) 
1/ 2
2
(39) are all positive in the first quadrant, equation (48) cannot be satisfied.
.
1
cos θic = 2  Thus a kth-order bow cannot exist for this refractive index profile.
 ( k + 1) b − 4 
2 2

The consequences of this equation for k-th order bows can be Profile 8
readily inferred. In particular, for a zero-order bow (k=0), if we restrict
ourselves to the least potentially singular case b>0, then a zero-order Consider the similar refractive index profile
bow can exist for this profile if b ≥ 2n1. Note that a zero-order bow a
n( r ) = , (49)
cannot exist if n1=1. r ln(br )
where a and b once more are real constants. This refractive index
Profile 6 profile also has applications in radio wave propagation [13]. It is
singular at r = 0, r = b-1 and undefined for b ≤ 0, as was the case for the
Consider the ‘reciprocal linear’ refractive index profile given by
previous profile in equation (45). In addition, it is purely imaginary in
n (=
r) ( ar + b ) (40)
−1
, the domain (0, b-1) Note that now
(50)
where again a and b are constants, and previously considered by rc (θi ) = b e .
−1 m 2

Gould and Burman [9] and Adam and Laven [18]. It has applications Consequently, after judious use of inverse trigonometric functions,
in atmospheric and terrestrial physics [9]. The profile is singular when it transpires that
r = -b/a. It is readily shown that
 a
2
 2 ln b sin 2 θ − 1  .
β b ∆ (θ i ) =
−  ln b a csc θ i − ln b + csc θ i arccos 
2 2 2
  (51)
rc (θ i ) where α a=
,= sin θ i , β α . (41)  a2 
i
=  2
1−α a Hence
One resulting form of the basis angle ∆(θi) is:
2 ln b   2 ln b sin 2 θ − 1  .(52) 
 1 − α 2 1 − (α + β ) 2 + 1 − α (α + β )  = ∆ (θ i ) a csc θ i cot θ i 
' 2 2
+ arccos  
α  + π − arcsin (α + β ) .
∆ (θi ) ln   a2  
i

 a csc θ i − ln b
2 2

1−α 2  β  2
  (42)
Int J Appl Exp Math IJAEM, an open access journal
Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 5 of 7

A kth-order bow exists if connection with a general explanation of both the rainbow ray and

( )
 2 ln b 2 ln b  the glory ray phenomena in meteorological optics. Specifically, it
1 + ( k + 1) a csc θ cot θ  sin θ − 1  =0 . (53)
2 2 2
+ arccos has been invoked to suggest that melting ice crystals may be strong
 a csc θ − ln b 
ic ic 2 ic
2
a
2

ic contributors to the so-called ‘glory ray’. In addition, this refractive


The second term in equation (53) is positive due to the definition of index profile was studied to provide a more general explanation of
θi . In order for it to be satisfied, the last term must be negative, i.e. the both the rainbow ray and the glory ray phenomena by analyzing the
c
inverse cosine function must be negative. However, for the set of real scattering processes of inhomogeneous particles [17].
numbers, the inverse cosine function is always positive. Therefore, as
with the previous profile, a kth-order bow cannot exist for this profile. By means of a judicious change of variable, this profile can be
transformed into the standard one for a constant refractive index.
Profile 9 Hence if K = sin θi we find that
dr dr
1 1

Consider the similar refractive index profile = ∆ (θ i ) K = ∫ ∫ (62)


2 2 (η +1)

( ar + br −1 + c )
α r
2 p
1/2 r (θ ) r −K r Ar − 1
n(r ) = (54)
−2 c i
rc (θ i )

, where p = 2(η+1). Hence


where a, b, and c are real constants. This profile has applications in 2/ p
K (63)
atmospheric and terrestrial physics as investigated by [9]. Obviously it rc (θ i ) =   .
is singular at r = 0. Let K = sin θi. Then α 
−b ± b 2 − 4c ( a − K 2 ) In order to evaluate the integral in equation (62), make the change
rc (θi ) = . (55)
of variables
2c 2 p (64)
It must be the case that 0 ≤ rc(θi)<1 and rc(θi) Є R. In order to v = Ar
guarantee that the radial point of closest approach to the center of the noting that
sphere, rc(θi), is a real quantity, it is required that 1/ 2 K
v ( rc =
(θ i ) ) A ( r (θ=
)) (65)
1/ 2 p/2
A= 1
b > 4c ( a − K ).
c i
2 2
α
with v (1) = A. Using these substitutions, the basis deviation angle
There are numerous cases for this profile where we can study the becomes 1/ 2
1
behavior of the constants that would determine whether we choose 2
A
dv 1   α η +1 
the positive or negative sign in equation (55). Since we require that = ∆ (θ i ) = arcsec  r  ∫
(66)
p 2
η + 1 
  K 

n(r) Є R, we will not consider the case where all three constants are 1 v v −1 (
r θ ) c i

negative. Regardless of whether c > 0 or c < 0, the first condition above where η≠-1. Therefore, if
would result in the following inequality n r ≡ nb , 0 ≤ r ≤ b; ( ) (67)

a ≤ K2 < a +b+c. (56)


= α r n , b ≤ r ≤ a, (68)
In other words it is required that a+b+c>1. Since 0 < K2 ≤ 1, it by continuity at r = b,
(69)
follows that
(57) α ≡ nbb −η
a > a − K 2 ≥ a −1 .
and so
But a - K2 < 0 (and from the equation for ∆(θi) K2≠ a) this inequality 1  n  (70)
is satisfied only if a <1. Using a-K2 ≥ a-1 in the condition b2 > 4c(a-K2)
∆ (θ i ) = arcsec  b η  .
implies that
η +1  Kb 
Hence
2 ( k + 1)  n 
b 2 > 4c ( a − 1) . (58)
Θ k (θ i ) = 2θ i − π + arcsec  b η (71)
.
Without loss of generality, we assume that a < 0, b > 0, and c > 0. As Since
η +1  Kb 
a result, we must take the positive root in equation (55). We note that − 1 cos θ
∆ (θ i ) =
' i

a and b must be small and large enough, respectively, so that it is real η +1 α 2 − K2


for all values of r in the domain. Thus we obtain the result a kth-order bow exists if ∆'(θi) = - (k +1)-1. Hence, for the refractive

∆ (θ i )
=
K
arccos  −
 (
2 a−K
2 )+b
 , (59)
index profile given by the profile (61), a kth-order bow exists if

 b − 4c ( a − K )  ( k + 1) − (η + 1) α
2 2 2 2 2 2
K −a  (72)
sin θ i =
and hence it follows that c
( k + 1) − (η + 1) 2 2

Θ k (θ i ) = 2θ i − π + 2 ( k + 1)
K 
arccos  −
(
2 a−K
2
)+b

 . (60) where η ≠ 1. The implications of this equation for zero-order bows
 b − 4c ( a − K )  (k = 0) in particular are discussed in [19].
2 2 2
K −a
Profile 10 Conclusion

Finally, consider the power-law refractive index profile A ray-geometric study of the optical properties of radially
inhomogeneous media involves evaluation of a certain improper
n(r ) = αr , n
(61) integral; the ray-path integral. This is an improper integral with
where η is of either sign, 0<b<r≤a, and α >0. This profile is obviously relatively few known exact analytical forms, even for simple refractive
singular at r=0 if η <0. In order for a zero-order bow to exist, it will index profiles n(r). In this paper we have evaluated the integral for
be shown that η <0. This refractive index profile has been used in ten different n(r) profiles. Many of these have not been provided
elsewhere (further mathematical details are discussed in [19]). These
Int J Appl Exp Math IJAEM, an open access journal
Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 6 of 7

results are of considerable interest in a variety of optics-related fields. (80) is Snell’s law of refraction for a continuously-varying refractive
In the accompanying appendix we derive the mirage theorem for index in a plane-stratified medium, a special case of equation (1).
horizontally stratified media. This illustrates a fundamental principle Solving equation (79) as an initial-value problem for rays passing
in geometrical optics, one which undergirds the evaluation of the ray- through the point (x0, y0) it follows that the ray trajectory satisfies
path integral, namely that the path of a ray is always concave towards
y dξ
regions of higher refractive index. This also explains, in general terms, ±K ∫
x − x0 = (81)
2 1/2
the reasons for both inferior and superior mirages observed in nature. y0
 n (ξ ) − K 
2

Appendix: The Mirage Theorem where K > 0 without loss of generality. Note the similarity between
this integral and that in equation (8). Finally we can prove
Fermat’s principle of least time
The mirage theorem: the ray path is concave towards regions of
For simplicity we will content ourselves with proving the theorem higher refractive index
for a horizontally stratified medium [20] because of the obvious
connection with mirages, but it can be generalized (but the name Proof: From equation (79) it follows that
mirage theorem is taken from [20]). Suppose that the speed of light – n2 ( y ) (82)
or sound, for that matter; acoustic mirages are also possible, though
y '2 + 1 = 2
K
less easily recognized – depends on position in the medium in which Differentiating this with respect to y it follows that
the continuous refractive index varies vertically, i.e. n=n(y), and so can
be characterized by the position along the ray trajectory parametrized  n ( y ) n' ( y )  (83)
( x)  y ( x) −
' ''
y =0,
by arc length s. Let the propagation time from say, (0,0) to x1,0 be T. K2
 
Then since
ds so for y' ≠ 0 the sign of y'' is the sign of n'. Thus if n'>0 (n increases
= c( s ) (73)
vertically), y''>0 and the curve is concave upward; if n'<0 (n decreases
dt
we write vertically), y''<0 and the curve is concave downward. These are
T s ( x1 )
ds (74) necessary and sufficient conditions.
T
= ∫=
dt ∫ c( s )
0 0 Competing Interests
If the speed varies in a given manner, c = c(y) say, where y is the
altitude above the surface of a locally flat earth, then we can write c in The authors declare that they have no competing interests.
terms of the refractive index n(y), such that Author Contributions
c0
c( y) = (75) Both the authors substantially contributed to the study conception
n( y) and design as well as the acquisition and interpretation of the data and
where c0 is (for light) the speed of light in vacuo. Thus the refractive drafting the manuscript.
index of a medium, if constant, can be defined as the ratio of the speed
of light in vacuo to the speed in the medium. The corresponding References
integral for the travel time T can be written
1/ 2 1. Adam JA (2011) Zero-order bows in radially inhomogeneous spheres:
1   dy   dx ≡ x f y ( x ) , y ' ( x ) dx
2

n ( y ) 1 +  ∫0 { } , (76)
x1
direct and inverse problems. Appl Opt 50: F50-F59.
T = ∫  
1

c0 0
  dx   2. Adam JA (2013) Rainbows’ in homogeneous and radially inhomogeneous
spheres: connections with ray, wave, and potential scattering theory. In: Toni
the integrand being explicitly independent of x. The resulting path B (Ed) Advances in interdisciplinary mathematical research: applications to
traced out by the ray is a consequence of Fermat’s Principle of Least engineering, physical and life sciences, Springer Proceed Math Statis 37:
Springer, USA 57-96.
Time. From the Euler-Lagrange equation for f
df d  df  (77)
3. Adam JA (2015) Scattering of Electromagnetic Plane Waves in Radially
−  =0 Inhomogeneous Media: Ray Theory, Exact Solutions and Connections
dy dx  dy '  with Potential Scattering Theory. In: Kokhanovsky AA (Ed) Light Scattering
Reviews 9, Springer, USA 101–132.
In view of fact that the integrand does not depend explicitly on x,
this equation reduces to the following first-order partial differential 4. Born M, Wolf E (1999) Principles of Optics: Electromagnetic Theory of
Propagation, Interference and Diffraction of Light. (7th edition), Cambridge:
equation: Cambridge University Press, UK.
 df  (78)
f − yi  =
' 
K 5. Alexopoulos, NG (1974) On the refractive properties of media with poles or
 dy 
zeros in the index of refraction. IEEE Trans Ant Prop 22: 242–251.
where K is a constant. This equation has the solution
n( y ) 6. Alexopoulos NG (1972) Scattering from inhomogeneous cylindrically
=k (79) symmetric lenses with a line infinity in the index of refraction. J Optical Soc
(1 + y '2 )1/2 Ame 62: 1088-1094.

7. Alexopoulos NG (1974) On the refractive properties of media with poles or


A simple diagram shows that zeros in the index of refraction. IEEE Trans Antennas Propag 22: 242-251.
n ( y ) sin θ = k (80) 8. Alexopoulos NG (1971) Scattering from inhomogeneous lenses with
where θ is the angle between the vertical direction y and the singular points. J Opt Soc Ame 61: 876-878.
ray path. Note that K > 0 because it is the value of the refractive 9. Gould RN, Burman R (1964) Some electromagnetic wave functions for
index when the tangent to the ray path is zero, i.e. it is horizontal. propagation in stratified media. J Atmospheric Terrest Phys 26: 335-340.

Int J Appl Exp Math IJAEM, an open access journal


Volume 1. 2016. 108
Citation: Adam JA, Pohrivchak M (2016) Evaluation of Ray-Path Integrals in Geometrical Optics. Int J Appl Exp Math 1: 108. doi: http://dx.doi.org/10.15344/
ijaem/2016/108

Page 7 of 7

10. Vetrano MR, van Beeck JPAJ, Riethmuller ML (2005) Generalization of the
rainbow Airy theory to nonuniform spheres. Optics Lett 30: 658-660.

11. Lock JA, Laven P, Adam JA (2015) Scattering of a Plane Electromagnetic


Wave by a Generalized Luneburg Sphere. Part 1: Ray Scattering. J Quant
Spectro Rad Trans 162: 154-163.

12. Adams MJ (1981) An Introduction to Optical Waveguides. New York USA.

13. Westcott BS (1968) Electromagnetic wave propagation in spherically


stratified isotropic media. Electronic Lett 4: 572-573.

14. Leonhardt U, Philbin T (2010) Geometry and Light: The Science of


Invisibility. Mineola NY: Dover Publications 278.

15. Kedenburg S, Vieweg, M, Gissibl, T Giessen H (2012) Linear refractive


index and absorption measurements of nonlinear optical liquids in the
visible and near-infrared spectral region. J Opt Soc Am 2: 1588-1611.

16. Brockman CL (1974) High Frequency Electromagnetic Wave Backscattering


from Radially Inhomogeneous Dielectric Spheres. University of California.

17. Brockman CL, Alexopoulos NG (1977) Geometric optics of inhomogeneous


particles: glory ray and the rainbow revisited Appl Opt 16: 166-174.

18. Adam JA, Laven P (2007) Rainbows from inhomogeneous transparent


spheres: a ray-theoretic approach. Appl Opt 46: 922-929.

19. Pohrivchak MA (2014) Ray and wave-theoretic approach to electromagnetic


scattering from radially inhomogeneous spheres and cylinders. ph.d
dissertation, Old Dominion University USA.

20. Adam JA (2017) Rays, Waves and Scattering: Topics in Classical


Mathematical Physics. Princeton, NJ: Princeton University Press, USA, in
press.

Int J Appl Exp Math IJAEM, an open access journal


Volume 1. 2016. 108

You might also like