Академический Документы
Профессиональный Документы
Культура Документы
AFCRC-TN-56-799
ASTIA
DOCUMENT
aE ET
^
^
:^
"
P R/J
^,
I
|J
TY
^^
70
,<
^^CCCXX+
NEW YORK
Institute of
UNIVERSITY
Mothemotical Sciences
DOUGLAS
CONTRACT
No. AF 19(604)1717
OCTOBER 1956
S.
Alffi
S.
Morris Kline
Project Director
Octobar,
1956
The research reported in this document has been made possible
through support and sponsorship extended by the Air Force Cambridge
It is published
Research Center, under Contract No. A^9(6bU)l717.
for technical information only aid does not necessarily represent
recommendations or conclusions of the sponsoring agency.
New York, 1956
Table of Contents
Pag e
1.
Introduction
2.
3.
10
U.
lU
$.
22
6.
32
7,
36
Appendix
38
References
U3
Distribution List
Abstract
n
for large k.
g(x,y)e^^(^*y)dydx
The asymp-
totic form of the double integral is given by the sum of asymptotic series
in integral and fractional powers of 1/k, and each of these series is deter-
asymptotically is reduced to the problem of evaluating a single Fourier integral asymptotically and known results for the latter case are applied.
1 -
Introduction
In problems of the diffraction theory of optics
Physically, g(x,y)
wavelength of some source which gives rise to the field represented by the double
integral.
In the applications mentioned above one is interested in the value of the integral
Kajr5)en'-
It is clear
from the formal uses of the method of stationary phase that the asyn?)totic series
representation of (1) is a
sura
tion.
Recently Focke
"-
-'
The neutralizer is
a function of x and y which sejrves the p\irpose of isolating the vario\is critical
points so that one might determine the contributiji each makes to the asymptotic
* See, for example, the review articles by E. Wolf'a recent thesis by J. Berghuis
'-
and
H. Bremraer'-
-I
and also
-^
M,
2 -
Both Focke and the present paper assume that the functions g and f of the
integral are analytic in and on the boundary of the region D.
Braun'-
-^ ,
using
the method of van der Corput, assumes only that f and g have a finite number of
continuous derivatives; he obtains explicit results only for some types of interior
critical points, and indicates the method to be employed for some boundary critical
points*
The method and the resxilts are complicated but may be the best obtainable
totic evaluation of the integral J obtained by Berghuis '--'', Bremmeriand Kontorovitch and MuraveV-
forthcoming report by
N.
are germane.
J,
Siege! '"'^-',
integral J asymptotically.
The present paper is designed to show that the asymptotic expansion of the
h(t)
(2)
e^^dt,
h(t) e^g^^^dt
(3)
Ia
has been extensively investigated.
-'
foiros
(2)
- 3 -
Theorem.
If
(5f(t)
0<X<i,0<n.<
l,then
0(k"")
as k -^oo,
whera
'^
"'
S^O
B (k) N
r IW)
"^
and
(k~
da
\l,.a)^-\i^)\
if X
-I
'-
dp"
Ji^o
-J
1.
If the original integral (2) is to be considered over a larger domain a < a < p < b,
then, of course, it is to be decomposed into subdomains in each of which the above
theorem applies.
A^(k) and Bj.(k) become infinite series and the order of the remainder becomes less
than any power of
lA
More-
the contour lines of f(x,y), that is, the lines f(x,y) = const., determines the
critical points.
In diffraction
optics f(x,y) represents an optical distance from the source to a given point in
the image space along a ray whose first two direction cosines in the inage space
are x and y.
of critical points from a knowledge of the rays and to interpret the contribution
of each critical point in terms of the behavior of rays.
of the successive coefficients of the various asymptotic series arising from the
sirT5)ler
- u -
of this paper.
2.
^^^
where g and f are real analytic functions, thus possessing derivatives of all
orders, at all points interior to and on the boundary of D,
The boundary of D
boundary.
M+e
iU)
e^^
e'-^6(t-f)dt.
Hence
(5)
J -
//
I
e^^dxdy
e^^5(t-f)dt dxdy.
(6)
e^^
J
g 5(t-f)dxdydt,
*We write m-6 and M+e merely to emphasize that the behavior of f at the end-points
m and M is significant.
(7)
'^
5-
^^h(t)dt,
'
where
(8)
h(t)
g(x,y) 5 J
J
t -
r(x,y)l
dxdy.
evaluating the single Fourier integral on the right side of equation (7).
The
totic expansion of an integral of the form (7) only from those critical values of
t, possibly including the end points
ra
In the case of
infinities the theorem gives the form of the expansion only for integrable algebraic
singularities of h(t).
this paper, namely (8) above, h(ra-e) h(M+6) 0, we need consider just those
valTies of t within the closed interval (ra,M).
It is intuitively clear - the precise analysis will be given later - that the
For example, if
and f
hood will be smooth and change smoothly with t, so that h(t) and its successive derivatives will be continuous insofar as contributions to h(t) from this neighborhood
Independently, A. Erd^lyi has extended his theorem to the case of logarithmic singu-
His resiolts appear in the Journal of the Society for Industrial and Applied Ifethematics, March, 1956.
- 6 -
of (x ,y
are concerned.
t > t
and f
is a relative
analytic at t t
maximm
are con-
of t will depend upon the behavior of the contour lines f (x,y) = t only in the
Similar
remarks apply to integrals of more than two variables when the curves f = const,
ra
in
When -n < arg k < 0, we need consider only the behavior of h(t) near t = M.
Since, as is indicated by the preceding intuitive evidence, the significant
behavior of h(t) will depend upon its behavior in tte neighborhoods of certain
critical points of D we shall develop some new forms for h(t) which will be useful
Let D
h^(t)
"
We now set
G(X,1
G(X,Y)
5^
we have
t - F(X,Y)}.
dX dY.
Then, letting
- 7 -
F(x,y)
Fq(X,Y)
F^(X,Y)
(9)
F^(X,Y),
F.
where D
Let
^>^($,
Y(X,Y),
y?)
and
/v (^,
h^(t) -
(10)
>^
^(4,>^)
MMleJ
t^C -
"J^)
Then
^^U,ri)[dE,dyi
a(4,>|)
j^
domain.
kT^
h^(t)
(11)
Then
as the increment.
.f
kl)I/^(^,^)|iM)i)5;U,r|)5(^>(t-Od4d.?
)
where 6
further
\ie
(12)
J
(?,>?) 6^^^(t-4)d4d>^
The double integral may be regarded as a repeated integral with respect to 5 and
~>7
(13)
W(?,o) 6'''^t-)dS,
where
^, (c)
domain D
-I
* c in the
j "R(t,>^)dT^
where
e,
v^-
" t.
and
^p ^^
For arbitrary t,
>^,
and
v^p
^^^
>j
^ functions of t.
Thus
(12).
(11) when r = 1.
f(x)5'(t-x)dx
Tiiis
namely,
f(x)6 t-x)dx
f(t).
4
When we apply the above property to the case r
"i^
1 in (13) we obtain
considerably greater.
-r)
- 9 -
4o
^^2^^^
-^2
^ Km'
at"'
^2(^)
^2(t)
t)
Its merit
instead of t - f(x,y),
variations of it.
ftowever it will be
),
wMch
4-,
and 4.
C-i
which is
what will actually be needed later, is determined by the behavior of h (t) for
Hence we need not consider the value of h (t) for t
or t 5
4t
- 10
a(x,r)
(-1)
rl
f^
^(^'.^
-
g^^.,n(x-x^)"(^-^o)"
'ZL
p=0 q
^p.^^-V'^o)'
Therefore
If we now introduce
x,he
t for C we shall have the integrand required in (ih), apart fl-om the Jacobian.
If, in particular, it should be the case in (9) that
(16)
X - X^ - K^ii)
n^iri)
and
I - Y^ - K-^U) >]2^\)
and f
the same condition holds, the boundary is analytic, and f(x,y) const,
is
11
(in the case of coincidence of part of f(x,y) - const, with the boundary) will
Now let t
|t-t
<
5,
such that for any t in this neighborhood f(x,y) - t does not contain any critical
Let
points or arcs.
f(x,y)
>^ -
T(x,y),
and
gonal trajectories Y(x,y) are defined even for (x,y) outside of but sufficiently
near D
where
|t-t
<
h^(t)
6,
>
G(C,>|)6(t-0|[f^d4dv^
\(t)
V^>
(18)
Vi(t)
'^''^^'Ml'^'
^
<
5 will
12 -
%(t)
'^.(t)
e=t
V,iX)
^,(t)
Fig. lb
Fig. la
"0
"^ i^"*^^
is
an arc which cuts the boundary of D, that is, it is not tangent there, then the
subdoraain f(x,y) = t with |t-t
(4,y^
-plane bounded
on the left and right by verticaj. line segments, and above and below by arcs
^-(t) and
'y\^{t)f
points of intersection.
= t
If
the
The family of orthogonal trajectories will exist and yield the necessary analy-
curve f(x,y) = t
i.ito
at which f (x,y) =
(4,"7)
only in an (x,y)
0.
as interior points.
of domains and the integral (8) will be a sum of integrals. To treat the transfor-
which f
C?,"*^
t^ on
0.
13
|t-t
" t
< 5.
by one or
more arcs such that for any value of t in this interval f(x,y)
bounded by these
will be decom-
solating arc
We require that these arcs be
analytic
^xo,yo)
f(x,y) = t
.y)=t
^(x,y)=t
isolating arc
).
Moreover, it follows
that the non-analytic form of h (t) is independent of the choice of the arcs
points (x,y).
Further,
if t
>riilch
irtiich
- t
is determined by
t^
~~
"
"
'
^______
The precise choice of the shapes of these arcs will be specified in considering
the analyticity condition to be imposed on these arcs. The deoompoaiticn of the path
f(x,y)
t into two parts will be needed to treat only some of the critical points
to be considered later.
-11*
li.
\is
use the term non-stationary point for points (x,y) at which at least
non-stationary point (x ,y
and f
is not zero.
through it inter-
There may,
k'l
boundary is analytic at (x ,y
(x ,y
^"*^
through
*"^*
C.
choose new coordinates X, Y such that for the transform F(X,T) of f(x,y), F^^ or
SF/dS. at (X ,Y
0, Fq^(Xq,Yq) - 0, the
boundary (^(x,y) -
becomes the X K)
X - X
au -
^y v
mOf
m^
1
Since
f(x,y) = foo * fio^^-^o^ *
^^y-^o^
FockeW^
p. 38.
*'"
>
- 15 -
(19)
t^qU . r^^u^
r(u,v)
Fqq
^(u,v)
^3_qU +
r^^u.
F(X,Y) . F^,
F,oX
?^/
F,,XY
F^^^^ *
>
^0
^ ^'
0.
F,
we shall
F(X,Y)
and iPt 4 in (9) be the new F.
idei
(21)
hc^- ^02^
C cos
'>!
1/2
2
VI
'
sin
(V^
^10
v;e
is defined by
line through (0,0), the line for which F(X,Y) " *_ " ^nnt '^^^ "o* coincide with
could be
the curvature of the boundary at the point (0,0). The case of F^^ =
-I,
- 16
r^
h(t.F,J.
00'
o'
(?2)
r-0
3t
(t-Foo)'/'
UU
.._
^-
(^-Foo)'^'^'
v-"^
"10^02
10
02
=''-'
^"''\t&-^-^'-^'^'^
lines in D
\i^-^QO>
and therefore
Csee Fig. 3).
'
vanishes unless
\i
is even.
Also F
is zero if
2p + q
< 3r in view of
Fig.
Hence
2in
r2^^
h rt.F
- "T"
T"
(t-Fpo)"'*^/^
'^^
mr
(^.^.^.i/g) |Xl
l>m-^r-\-l/<::;^Al
r*
10 "02'
2(m+r-K)
X-p,2m+2r-2\-q ^r,p,q
The application of Erdelyi's theorem now shows that the contribution of this
00
^'""^
ikF^
'00
^r^^p
2 ""
2"'
'l^^^^TT-TT?
in (2U
2(m+r-X)
m+r
Xl(in+r-X- ^)
|:^
^K^r^^rrJT-rr
10
'
2ra
Vp,2.2r-2..q^r,p,q
'02
17
V/e
(J'ig.
li) .
The domaLn D^
We
= 0.
In
aU
t near t
of f
and f
(x ,y ) and (x ,y
0*0
Fig. U
is an interior
o'-'o
point of D .
^
o
itself is the
difference of an analytic function and the value of h (t) for the path lying
in BCD.
But the domain BCD occupies the same position with respect to the axis
Hence the final result is the same as (2U)..
X =
and F
<
(t-F,^)"^V2
00'
^^
^'"^
a/2
02
F^,
(23) is altered
by having
respectively
^gpia^e^j by -(-l)"'(F^-t)'""'^/^ and (-^-o)^^^
02'
00
However because the contour line and boundary will possess the sane
curvature at (X ,Y
we have
>]
thus:
F^/
F^^XY
F3/
^10 ^ '
- 18 -
Then h^Ct) -
for t < F
00*
For t > 0,
h(t-F^^)
(25)
r-0 at^
\-0 n-0
''"&
:x^
10
^0
=X-n.u.a^...a^^
^-Pt^-q ^>V,<i
F(X,Y)=to
(Xo;<o^
However
Fig. 5
will depend upon the length of arc over which the boundary of D and the contour
line f(x,y) - t
U.3
coincide.
will fall along the upper half of the T-axis and along
I > 0, T >
near X^ - 0, T^ - 0.
and Y(x,y) = 0.
discontinuously, we
haw
at (x^,y^)
19 -
0,
does not
(26)
and
i
'x
0.
^y
1,
y - y
CU + dV,
+ d
9r
0,
and make the positive u-axis and positive v-axis lie along the tangents to D
In terms of u and v, then, the expansions of
at (x ,y ),
^(u,v)
^^^n
+ ^20""'
T(U,V)
Tp^V
?(u,v)
foo
fgQU
<j({x,-y)
r^iuv . ^^2'
* fj^^uv *
Tq^v
and
(27)
wherein f^^
y*
and T^^
f^QU * fp^v
j^
f^QU
because of (26).
To make the boundary arcs of P near (x^,y^) coincide with the X- and Y-axes
ws let
^inX
'10'
'20'
^9n^
''Ol' *
^20"
^lo^
10
20
VJe
F(X,T)
Fqo * F^qX
Fq^T . ...
Then
F^^ / 0,
F^^ f 0.
Y
Let
.t>F00
(X
^
,Y
o'
the transformation
X -
t<
cos'^ ri
Y = |i- sin01
10
>|
Fig. 6
for t <
Now h (t)
O
F^-,
lie outside of
C)U
(111)
to obtain
^r
00
2(t-F._)
00
Li
V- cos
.
|j.
(28)
7~
^0 ^Q
Since F
r,P,q
"0
'
q < 2r we obtain
(t-F-.)"''*^
^-Pt^-^-q
for p
CO
o*
G,
m+r
6y\
^Pq
,,,
2\+l
^
sm 2|j.-2\+l
.
V|
-vo
,.,
Xl(nn-r-X.)i
4*i F^'-^-l
m+r-X
& ^
p^U
q=
X-p,in+r-X-q ^r,p,(
Hence the contribution of the point (^^,7^) to the asymptotic expansion of (1) is
00
(29)
feb
ik^oO* T^
'^
('""^^
m.r
?<) fe)
,..
...
F^*V:^-^^
X
fe)
m.r-V
X-p,m+r-X-q r,p,q
21 -
When
y
F-ifs
<
is shown in Fip. 7.
roundinp (0,0).
D^ is the X-axis,
h (t-F
00
for paths in
D^^,
When F, <
>
D-^^
taken over the contour lines lying in D,^ , we shaDl obtain the correct
form of h (t-F
changed.
D^^
Fqj^
<
Fig. 7
U.U
point an (x^,y^) where the direction of the tangent to the boundary of n changes
discontinuously and one part of the boundary coincides with the contour line
f(x,y) - const,
through (x^,y^).
a series cf powers of
22
5.
By
F(X,Y)
(30)
Fqo * F2o(X-X^)^ *
In a small neighborhood D
of (X ,Y
"^oZ^^'V^
curves surrounding (Xg,!^) (see Fig. 8). We shall use (l?) and (lU) to calculate
h (t) in D
Suppose,
Then let
FCXY) = t
- X
Fig. 8
^1/2 cos
X - X "
^20
80 that
(31)
NOW h(t-FQQ) -
K'
F2o(X-X^)'
>
.^'^
Fo2(^-^o^'
oo
Nix/2
(32)
r
B^
E. Vp,li-X-q
q-O
^r,p,q
F.
00
cosN_sin^l_j:V-
23 -
r,P,q
TTc
(^20^^02
00
2rn
S^o
ho
Furthermore, in view of
are even.
F.
^(^-^oo)
|j.-X
OC
(t-F^^;
""
x-o
m+r-x
^20 ^02
2r-t-2m-2x
r
^.
(33)
&
ho
'^'2\-p,2r.2ir.-2\-q
^,p,q
asymptotic expansion of
J is
ikF
00
1^20^02'
('"^^^
7
T7?
k-
2m
m+r
rO
\=0
(\- ^)l(m+r-X. ^)
jm+ r-X
^20 ^02
\
2r*2m-2X
(3U)
p0
When Fp <
ql^T
and F^ < C, the result is the rame as (33) except that t >
X-Xo=-d
Fig. 9a
F^-p
5.2
'^2X-p,2r+2m-2X-q ^r,p,q
f^f.^
2
f^
<
0.
- 2U -
FpQ >
X - X
spending
'to
Let
yj
we shall see in a moment that we need consider only that part of the path which
Fig. 9b
i^
C35)
J
G(X,Y)P^(X,Y)6(t-F )dXdY.
If we transform from X, Y to C,
>^
let
y|
- 2$ -
(t-OK(4)d4
^(t)
We see therefore that each term of (lU) can be regarded as caning from
such as (35).
a term
to both the X- and Y-axes, such as an hyperbola of Fig. 9a, and if we use the
expansion (l5) for the first three factors of the integrand, then we need retain
only those terms in the expansion which contain even powers of both X-X
and I-Y
Moreover, for these terms the integral (Hi) is four times the integral taken over
the path in the {K>^) plane (see Fig. 9b) corresponding to that part of the hyper-
(36)
writ.
/f20^'-
^_^
- ^02
- 26 -
^^"(W^
,n
""'^
^n
T^/^Hd)/ ^20
where T
T <
^~^oo*
^^'^ ^^"^^
for
By integration,
d2-l(F,,d2.T)"-l/2
^in,n
"
2^_^
"
+ 2n
2in
m,n
fr n > 1,
^^m,n-l
SSTST
(-l)"(2n-l)(2n-3)... 1
2mV^ )
( 2m+i;n-i! ) . . .
km+i;n;
^
^
\,o
Further,
m,o
^20
20
"'"' >0
Once again the first term may be neglected insofar as contribution to the asymptotic expansion is concerned, so that
Sn,c
(2'"-l)(^-3)...l
2m(5m-2)... 2
Since
/*
T
"^0,0
^0,0
"
^17^
F20
d >
-,2
(d^ - T/F,,)^-^^
^s
-[TTiTr17?
1^1
^20
and since the numerator in the logarithmic factor will not contribute to the
27 -
(m-fn)l?nF2j
Y"
::!_
?To
at'"
tMD Il^b
^"
(-1)''
r-m-
p-0
(t-F^^)
r-r-w
v-..^, .^-..20
^^02^"^02^^
q'=0
replace
(t-F,,)^*^loglt-F,,|
by
/ISO, F
(37)
r,p,q
-Oifp+q
if p + q
00
<
3r, so
2m
(t-F-^)"
2X
2Ll2f.-2>^
r
p=0
h^
2\-p,2r+2m-2X-q ^r,D,q
hi
- 28
5.3
be a double point,
that is f
- f
Oi
^ - ^20(^-^0^^ *
(38)
F30^^-^o)
^21^^'h^
(^'''o^
^^U-^n^'-^y
W^'V^'
=
const,
"^
^ - ^o
from X - X
00
- -d to
X - X
d.
For
t>F0Q
Fig. 10
If F, 2
^12
3Fq^
- ,
j'
(X - X ), to eliminate the
o
F-,r,
i^
term.
However, the argument given in Section 3.2 concerning symmetry of the path of
In this case we see frcm the symmetry of the
that we nee
and use
Y Uj l,Yi
(lU) we obtain
r
CO
.^
^" ^^
(39)
v.'e
r,^\T-F2oV|')^^-'^/-'
CO
00
^^
^-'^
^^03 ^03
T)
Retaining only terms which contribute to the asymptotic expansion (cf. section
5.2), we find that
(-
j)U-3)!(m
^-
^)ir2o
(T - F^^
2
ri
')
"-^^^
dn
'^m,3s+2
Now d is independent of T.
(T - F20
V|
d>|
Hence
(T - F2Q
dn
aside from a term which is continuous and has continuous derivatives for values
- 30 -
For T >
(T/F,^)^/^
/^''20^
-2/3
(T-F^qVI
d>,
-J
io
00
/""
,,,
-2/3
(T-F2o>| ^)
^^
_2/3
^^-^20^^
1
/?
(T/F^o)"/'
^j
VV^
T/Fpy
-2/3
0,-1/6
-/
(cos
'^
sin
'^^
@ cos
'^ 9) d
(- |)i
jl/^n^/^
20
(-|)i3n^/^T-^/^
.^
1>.
1/2
(- j)l 21-20
>|
a/
-T/F2Q
'
,.2n
,,,-1/6
,.
(-T)-^/6
(T-^20n
2)
)
dv^
.
-
-i
-^
,1,1
1/g
'^
T>0
^^^' '^20
-b
^^^^ ^^20
The first terra in the integrand on the right may be integrated by a standard
integral leading to Gamma functions and the second by a standard integral in-
may be used to
Before letting the upper limit become infinite we subtract the term (-F _r^
)""
from the integrand. This term does not involve T and hence does not contribute to
the asymptotic expansion. However, it causes the integral with the infinite upper
limit to converge.
<^^
- 31 -
asymptotic expansion.
apart from terms which do not contribute to the
where
for
Hence
n - 3s + 2,
of h^(t) is given by
Therefore the significant part
\^ ^ - l
^
CO
(>.- ^)i{\t^)i\t-?^\
gP 00
00
^
.^H(t.F^).(-i)
H(F,,.t)
7^
^
(UC)
&
(X.
&
,.
r.u f>"l^
r^.x.p.
-^^-q^r.P*'^
imply
Hence
3"^"^
).(^-Mi
r,.r-4):Fi:W..i)/3-X
^--rr^^
^;;r2o
.-u
'
q-U
--
JJ
^^(^-^00^ "
r
p-O
1^-^00
r
where terms in which m
H(t-F^o)
^-^)
"^'OO-^)^
E r
G2K-p,m-3X-q^,p,q
(Ul)
2X
*
^0
"'3r-3X
''^-P^3r-3V-q Pr,p,q
- 32 -
= 3s+2 are
absent,
m+2
in J r +2
When
Fj,^
6.
-,
<
and F
in
L
I
II
-,
in J r
"1+2
-,
^7
and F^ <
Fp^ <
in+2
in J r m+2
we must replace e
r "1+2
-.
and replace
(iol)
:x,y)
has a maximum or minimum relative to all neighboring interior and boundary points
of n.
To treat such a point our first step will be to make the boundary of D in
the neighborhood of the point the axis of coordinates and, at the same time, to
reduce the second-degree terms in the Taylor's expansion of f(x,y) around the
).
ah + bk
ch + dk
(U2)
y - y
Hence
Otherwise his
- 33
and
. (2f^Qh . (^i^^v
(2(h,k)
gr^/
. Qf^^hk
(?^,
(/^^
...
D,
where
d -
^,
9'j^o^02
altered.
thsi
9^o/)
U^n^^9n^
d '"^01 20
<^.n^
10
'^Ol'^PO*
Suppose (x ,y
/ C
.1
^(^10^02^
^k
*^
^^
>
and f
> 0, so
^(^"^^
(U3)
^ ^^ ^ ""^^^
>
^00 * ^20^' *
V' *
and
. (y,^F +
10'
9f(E,Ic)
Now
<2f(K",Ic)
X - QliK,^),
^,^h k
^^S^
boundary of D
is the orig-
(UU)
^^Ji^
'20'
Let
Y = k.
y we obtain
Y.
Fig. 11
- 3U -
(U5)
F(X,Y) . Fqo
where
F^^^,
^9n ^no>
**
^F^/
F^/
...
to X -
to
J. ,
0,
2r-2^-t-2m
(U6)
^
where
0,
[p]
^0
^2r^n'-2ti-P,2n-q ^r,p,q
(W)
If (x ,y
of (U7) is
a-lso
'?^*"
2^
p-Cr
P^^
q=0
reversed.
^'2r+m-2^-p,2ji-q ^r,p,q
F^,-,
<
- 35 -
6.2
f
XX yy
xy
< 0.
Section 6.1 to obtain the form (U5) for F(X,Y) while making the boundary curve
the Y-axis* (see Fip. 12).
except that the paths of intepration lie only in the first and fourth quadrants,
Hence we may neglect only those terms in the Taylor's expansion of
^'^1
Instead of
(36) we obtain
nPi-1/2
^(^-^oo^
(i..8)
-'Eh
z.
r=0 9t^ 4
1/2
^^-^oq)
(^^)
rV
(^20 1
^^02 ^"^02^
T=UT
T7T
|o'-p>^-^'^>p'^'^
boundary of D
Fig. 12
M-In
VJe
assume that d ^ 0}
this assumption means that the boundary of the domain D does not coincide with either
^il^^'^Q^^y-yQ^* ^o2^^""^o^
"
^"^^*
36
7.
^^ replaced by \^20^r)2^^^^
/ ^'
"^^^^
result
A pirime ob-
jective of the general theory has been to derive the asymptotic form of time har-
monic solutions of Maxwell's equations (or the scalar second order hyperbolic
equation) from conditions imposed on the coefficients of the differential equations
and the initial and boundary conditions.
totic series as well as to calculate it this theory uses the concept of the pulse
respect to t one can write down at once by means of a general theorem the asymptotic
series solution of Maxwell's equations'-
-J,
totic form of the integrals considered in this paper, one can write down the corresponding pulse solution, proceed to detennine its behavior in the neighborhood of
its singularities, and then apply the general theoran to obtain the asymptotic
Fourier integrals asymptotically back to the problem of the single Fourier integral
and the utilizes Erdelyi's theorem.
cisely the pulse solution of the peneral theory though it is not obtained in the
- 37 -
cerned, the present paper is more general in some resjaects and less general in
However the
readily that the contribution of each critical point to the asymptotic value of
the double integral is determined by a smaJl neighborhood of the critical point
and by using the form (lU) for h (t) one obtains more expeditiously the actual
- 38 -
Appendix
Firstly we discuss
I
< X < 1,
where
T^\?)
5l(t)
'
Let
X^(t)
\^^^
'
e^^(t-a)''"^ log(t-a)
^"^
ico
f Vi^^)
'^^
>
is defined by u t + iy (y > 0)
The integral
gives
I
A
N-1
(Al)
il
9f^''^(a)X
Wx
,(a)
nO
Now
a
00
inn
oo
^*^^
\(^^
'
inn
^^^^
TK^TJT
y"'^''^(t+iy-a)^"^iog(t*iy-c
-a)dy,
J
'O
Therefore
Hence
00
lka+
X-
zl
39
inCn+^-l)
Since
oo
00
y^ e-y dy,
'o
o
(A3)
00
i
I
zJ
,z
y"
>
-y
log y dy
'
1
'o
Thus
00
y^
lop y dy
"^
zi
T(z)
where
Y(z)
51_
zl
Y(z+1)
X^
For example,
Y(z)
and
Y(C)
-Y,
Ija)
"
iTi(n+X-l)
r-^
(n^X-2)I
(n-l)l k"*^--^
Also
|t*iy-a|^'^ < (t-a)^"^
and
^ 2
j.
^pg k ^ Y(n
^ X-2)
-Uo
|l/2
log(t-a)
|log(t+ iy-Gc)| -
log Jl
-^n
+ i
(t-ar
X/2
<
9-
< ,
n + log(t-a) + log
. .
^1
v/w
2v^/2
-J^-p^
log(t.a) *
tan'"^
'
/^'-
2/\
Therefore
(A5)
x(t) 9^^\t)dt
O(k-N).
^^'^^p)
e^^*'(t-a)^"V(t) log(t-a) dt
I
ika+
^ ^
2J-
in(n+\)
-^^-Sltlhni}
^i-iogk. Y(n..-1)
n-0
(2(t)
(il^^Ma) -
<
ti
< 1^ then
/"^a)
>
Oi^).
Ul -
a
^ ^
-
When
a
(jl
ikp+
2"
i"(n-t^)
("-^--^)^
JT(n.^x-l)-log k-
^i.U^")(p).
0(V
repulte.
Theorem
It is
0<X<1, 0<n<lj
e ^''^(t-a
.,
ika+
p-
)''"'(
then
p-t)'^"V(t) log(t-a)dt
jr
n{n+\)
(n4>.-l)i
,n
in - logk
ikp-t-
T(n*X-l)l
j(p-a)^-^ CKa)
in(n-ti)
(n.n-Dl
k=0
jr
nl k"*^^
^^(p-a)^-^
m)
log(p-aJ^
Oi^)*
e^^*
9l(t)
We restrict attention to
lop(t-c) dt,
where a <
<
From
Theorem 3j
B
ikc+
^ in(n+l)
iin
log k +
T(n)U^"\c)
OCk"^);
- U3 -
References
[I]
Wolf, E.
London
[2]
Bremmer, H.
)U rf raction
[3j
Berphuis, J.
Bremmer, H.
Focke, J.
Erdelyl, A.
3,
O.N.R. 1955.
P]
Luneberg, R.K.
[9]
19UU.
Operational calculus; Cambridge Univ. Press, Cambridge,
and Bremmer, H.
1950, p. 82.
[lO] Braun, G.
Z\ir
V.
Courant, R.
[12]
Siegel, K.M.,et.al.
[lh\
Kontorovitch,M.I.
ar.
Connandar
Air Force Missile Test Center
Patrick Air Korce Base, Horlda
ATTN! Teolmlcal Library
Cormander
Air Research and Development Contand
WasHngton
ATTNi
25,
D.C
RDDL
Commander
Air Research and Development Coranand
Washington 25, D.C.
ATTN! Lt. Col. R.K. Bowker, HDTDHC-1
Director
Air University Library
Haxvell Air torco itase, Alabama
at
CR-li582
Headquarters, USAK
Director of Research and Development
Washington 25, D.C.
Arm-. AFDPD
Commander
Wright Air Development Center
Wright- Patterson Air Force Base, Oliio
Ami: Mr. Walter J. Fortune, WCLHS-6
Commander
Wright Air Development Center
Wrii;ht-Fatteraon Air force Base, Ohio
ATTN: WCLNT-5, N. Draganjac
ComTiander
Comander
Rome Air Development Center
Griffiss Air Force Base
Rome, Kew York
ATTN: RCSST-3
Commander
Rome Air Develoiment Center
Olfiss Air Force iiase
Rome, New York
ATTN: RCtRA-1, D. Mather
Commander
Holloman Air Res. and Dev. Center
Holloman Air Force Base, New Mexico
ATTN
HDOI
I
Director
Evans Signal Laboratory
Belnar, New Jersey
ATTOi Mr. O.C. Woodyard
Director
Ballistics Research Laboratory
Aberdeen Proving Ground, Maryland
ATTN: Ballistics Measurement Ub.
Commander
Director
U.S. Naval Research Laboratory
Washington 25, D.C.
AX TO: Code 1110
Director
U.S. Naval Research Laboratory
Washington 25, D.C.
ATTO: Code 2021
Director
U.S. Naval Research Laboratory
Washington 25, D.C.
ATDI:
Code 5250, J. Bohnert
Commanding Officer and Director
U.S. Navy Underwater Sound Lab.
t1(t Trumbull , New London, Conn.
ATTN: Mr. CM. Dunn
Department of Commerce
WasW-ntrton 25, D.C.
ATTN: Dr. A.O. HcNlsh
Librarian
U.S. Naval Postgraduate School
Monterey, California
Ub.
Director
National Bureau of Standards
Central Radio Prop. Laboratory
Boulder, Colorado
ATTO: Division Ih.O
Library
Division of Public Documents
U.S. Government Printing Office
Washinijton 25, D.C.
(2)Commanfier
0)CommBnder
Air Force Cambridge Researc'i Center
Laurence G. Hanscom Field
Bedford, Masc.
ATTN: CRRD- R.E. Hlatt
Relif
Director
Evans Signal Laboratory
Belmar, New Jersey
ATTOi Technical Document Center
(10) Commander
L.G. Hanscon Air Field
Bedford, Mass.
CROOTR-2
Commanding Tieneral
SC Engineering laboratories
Fort Monmouth, New Jersey
ATTN: SChL Technical Documents Center
Bay 2C122
SIGcJ)
Commander
U.S. Naval Air Missile lest Center
Point Hugu, California
ATTN: Code 366; ^-6
Ubrary
ACF Electronics
Ub.
Chief Engineer
Bjorksten Research laboratories. Inc.
P.O. Box 265
Madison 1, Wisconsin
Attn: F.B. Korsgard, Treasurer
Dome
Canton, Mass.
ATTN: W.R. Cuming
The Emerson Electric Mfg. Company
8100 Florissant Avenue
St. Louis 21, Missouri
ATTO: Mr. E. Breslin,
Fairchlld Aircraft
Division Falrchild Eng. and Airplan
Corp.
Hagerstown, Maryland
ATTO: Library
Gabriel Electronics
Division Gabriel Company
Needham Heights, Mass.
Miss Elaine Foss, Ubrarian
ATTN:
Hallicrafters Corporation
UiO West 5th Avenue
Chicago, Illinois
ATTO:
Ubrary
Washington 5, D.C.
Lincoln Laboratory
P.O. Box 73
Lexington 73, Massachusetts
ATTO: Henry Straus, Document Rm., A-229
Lockheed Aircraft Corporation
ffissile Systems Division
7701 Woodley Avenue
Van Nuys, California
ATTN; MSD Ubrary -902, Dept. 82-10
E.A. Blasi, Head, Antenna Lab.
Document Room
Melpar, Inc.
3000 Arlington Boulevard
Falls Church, Virginia
ATTN: Engineering, Technical
Ub.
Ub.
DL - J
Microwave Radiation Company
19223 So. Hamilton Street
Gardena, California
ATTN: Nr. Horrlo J. Ehrlich, tTea.
Sandia Corporation
P.O. Box 5800
Classified Document Division
Albuquerque, New Mexico
Sperry Gyroscope Company
Great Neck, L.I., New Yolk
ATTN: Engineering Library
Florence W. Tumbull,
Engr. Librarian
Radiation Laboratory
Johns Hopkins University
1315 St. Paul Street
Baltimore 2, Maryland
Raytteon laboratory
Wayland, Massachusetts
ATTO: Document lib., John E. Halsh
Dept. 897U, Antenna
Rano-Wooldrid^ Corporation
Rantic Corporation
Carlabasos, California
ATTN: Technical Library
Croalmd
Antenna Section
Electrlcil Engr. Research laboratory
University of Illinois
Urbana, Illinois
ATTO: EERL Ubrary, Room 210,
Dr. R.H. DuHamol
RCA Laboratories
Princeton, New Jersey
ATTN: W.8S Fern Cloak, Librarian
Research Library
College of Engineering
University of Horlda
GainesvlUe, Florida
ATTN: Engineorlng Sciences Library
Professor M.H. Latour
(ZjThe
Mrs. J.H.
Sanders Associates
137 Canal Street
Nashua, New Hampshire
ATTN: N.R. Wild, Library
University of MichlBan
Electronic Defense Group
Engineering Research Institute
Ann Arbor, Michigan
ATTN: J.A. Boyd, Supervisor
University of Minnesota
Minneapolis, Minnesota
Engineering Library
ATTN: HeH Librarian
Microwave laboratory
Electrical Engineering Dept.
Northwestern Dniversity
Evanston, Illinois
AnU: Prof. R.E. Bean
Antenna laboratory
Department of Electrical Engineering
Ohio State University
Columbus, Ohio
ATTN: Dr. T.E. Tice
Oklahoma University Research Found.
Norman, Oklahoma
ATTNi Technical Library
Professor CL. Farrar
Microwave Research Institute
55 Johnson Street
Brooklyn 1, New York
AJTN! Dr.. A. A. OUner
University of Texas
Electrical Engr. Research Lab.
P.O. Box 8026, Univ. Station
Austin 12, Itexas
ATTII:
John R. Gerhardt
Dept. of Physics
University of Texas
Austin 12, Texas
ATTN: Physics Library
Claude W. Horton
Tufts University
Medford 55, Massachusetts
ATTN: Research lab. of Physical
Electronics
Professor Charles R. Hingins
University of Toronto
Dept. of Electrical Engineering
Toronto, Ontario, Canada
ATTO: Prof, 'jeorge Sinclair
University of Washington
Dept. of Electrical Engineering
Seattle, V^'ashington
ATTN:
Prof. G. Held
University of Tennessee
Knoxville, Tennessee
ATIN: Dr. Fred A. Ficken
Microwave laboratory
55 Johnson Street
Brooklyn, New York
ATTN:
Wayne University
Detroit, Michigan
ATTN:
Professor A.F. Stevenson
Mathematics Department
Stanford University
Stanford, California
ATTN: Dr. Harold Levine
University of Minnesota
Minneapolis llj, Minnesota
ATTO: Prof. Paul C. Rosenbloora
Department of Mathematics
University of Pennsylvania
Philadelphia li. Pa.
ATTN: Professor Bernard Epstein
Applied Physics Laboratory
The Johns Hopkins University
8621 Georgia Avenue
Silver Spring, Maryland
ATTN: Dr. B.S. Gouray
(2)Exchange and Gift Division
The Library of Congress
Washington 25, D.C.
University of Minnesota
The University Library
Minneapolis 111, Minnesota
ATTO: Exchange Division
Professor Bernard Friedman
55 Hilltop Avenue
New Rochelle, New York
Lincoln Laboratory
^fassachusetts Institute of Tech.
P.O. Box 73
Lexington 73, Mass.
AITN: Dr. Shou Chin Wang, Rm. C-351
Melpar, Inc.
3000 Arlington Boulevard
Falls Church, W.rginia
ATTN:
Mr. K.S. Kelleher, Section Head
Robert Brockhurst
Woods Hole Oceanographic Inst.
Woods Hole, (tessachusetts
Columbia University
Hudson Laboratories
P.O. Box 239
Palisade Street
Dobbs Ferry, New York
ATTN: Dr. M.W. Johnson
lii5
(3) Mr.
Brandeis University
Waltham, Massachusetts
ATTO: Ubrary
General Electric Company
Microwave laboratory
Electronics Division
Stanford Industrial Park
Palo Alto, California
ATM: Library
South Street
Southbridge, I'lassachusetts
.San
Electrical EnRineerinj;
Callfomla Institute of Tech.
Pasadena, Califomia
ATTOi Dr. Georges 0. Weill
Naval Research Laboratory
Washine;ton 25, D.C.
ATTNi Dr. Henry J. Passerinl
Code 5278 A
W.L. Maxon
li60 W. 3l,th Street
New York, N.Y.
ATTO; Dr. Ifarry Hochstadt
Date Due