Академический Документы
Профессиональный Документы
Культура Документы
RadiationLaboratory,Departmentof ElectricalEngineering
andComputerSciences,
Universityof Michigan,Ann Arbor
(ReceivedFebruary 2, 1987' revisedJune 12, 1987' acceptedJuly 7, 1987.)
Some commonly used formulas in dyadic analysisare reviewed and summarizedin this article. In
particular, we have derived the dyadic-dyadicversion of two vector-dyadicGreen's theorems.The
applicationof thesetheoremsto electromagnetics
is illustratedby two examples.
1.
INTRODUCTION
F = F,,
Dyadic analysisas a branch of applied mathematics was enunciated by American physicist J. W.
Gibbs after he introduced vector analysis.In his original treatise [Gibbs and Wilson, 1913], many basic
definitions in dyadic analysiswere given, but none of
the integral theorems were discussed.The use of
dyadic analysis in electromagneticsappeared in the
book by Morse and Feshbach[1953] and the one by
Collin [1960]. Van Bladel, to whom this article is
dedicated, was the first author to provide a list of
formulas in dyadic analysis in his book ElectromagneticFields [Van Bladel, 1964].
In view of the growing interest of applying dyadic
Green's function technique to electromagneticproblems in recent years, it seemsdesirable to supplement
Van Bladel's list and collect them in one place for the
convenienceof people interestedin this technique. In
order to present a logical development of various
formulas with different degree of complexity, we
decide to start from the very basic definition of
dyadic analysis. Some repetition of elementary material is therefore unavoidable. Finally, we introduce
two dyadic-dyadic Green's theorems which have not
appeared before. Two examples are given to show
the application of thesetheorems.
2.
DYADIC
ALGEBRA
(1)
i=1
variables.
Now
we consider
three
distinct
vector
functions
denoted by
3
F= Foi ,
j=1,2,3
(2)
i=1
(3)
j=l
pression
for Fj defined
by (2)into(3),then canbe
written
in the form
3
F=
i=1
Fu,
(4)
j=l
is not
The transposeoff
The transpose
of , denotedby []r, is definedby
Copyright 1987 by the American Geophysical Union.
= E
j=l
1283
= E E
i=1
j=l
= E E
i=1
j--1
(5)
1284
TAI:
DYADIC
ANALYSIS
AND
APPLICATIONS
Comparingthe expressions
for F givenby (3) and (4), notedby F a, is definedby
we seethat the positionsof Fj and :j have been
interchanged,
or thescalarcomponents
Fo in F have F.a= F(. a)= aF,,= , , a,F,
3
j=l
beenreplaced
byFji in IF] r, hence
thename"trans2.3. Symmetricaland antisymmetricaldyadic
functions
i=lj=l
(10)
i=1j=3
pose."
a. [F] :
F s, is
characterized
by Fo = F, hence
a. F s = Fs. a
a'Fa=
-Fa'a
a.i=l.
(7)
(12)
(13)
If F s = I, the idemfactor,then
characterized
by Fj - --Fi, henceFu -- 0, and
[Fa]T-" --F a
( )
(6)
A symmetricaldyadic thereforehas only six distinct
scalar components.
[F]. a
a= a
(14)
vectorproduct,denotedby a x F, is definedby
2.4. ldemfactor
a x = (a x Fj)j
(15)
j=l
i =j
Fij=0
i -j
by
3
F x a = Fj(j x a)
(16)
j=l
or
Flj =
whereij denotes
theKronecker
deltafunction.
This
or more clearly,
(17)
(8)
i=1
tieswiththreedifferentvectorfunctions
%, i.e.,
a.(b x %)= -b.(a x %):(a x b).%
three distinct
(9)
j=l
(18)
withj = 1, 2, 3. We purposely
placethefunctionc at
the posterior position in order to derive the desired
(a x :)= (a x b). :
(19)
TAI'
DYADIC
ANALYSIS
AND
APPLICATIONS
1285
higher level involving one dyadic and two vectors. 3.2. Vector-dyadic Green'ssecondidentity
We can elevate the vector function b to a dyadic in
One of the most useful theorems in dyadic analysis
the last two terms of (19) by considering three disis the vector-dyadic Green's secondidentity, which is
tinct equations of the form
a generalization of the vector Green's secondidentity
-[a x :]r. bj = [:]r. (a x bj)
(20) first introduced by Stratton [1941]. The latter states
that
for
two
continuous
differentiable
vector
func-
(21)
f,l[P'VxVxQ-(VxVxP)'Q]d
v
The previous sectionsmainly deal with dyadic algebra. In the following sectionswe introduce definitions and formulas involving differentiation and integration of dyadic functions,which is the main body
of dyadic analysis.
3.
DYADIC
ANALYSIS
=-ff[(fix
VxP).
Q+P.(fix
VxQ)]
ds(27)
s
unit normal
vector to the
at theposterior
position
ofeachofthethreevector
equations and summing the three equations, we
obtain
[P.V
xVxQ-(V
xVxP)-O]dv
v
V-'=(V.F)*
cFu (22)
= x/*
j=l
i=1
x -
(V xFj)*j=
j:l
(VF ux*,)*J
i=1
=_ff[,fi
x,xP).
Q+(fix
P).
VxQ]as (28)
j=l
(23)
j=l
VF= (VFj)j
=
j=l
i=1
j=l
(24)3.3.
Dyadic-dyadicGreen'ssecondidentity
which is a dyadic.
{[V
xVxQ]r.
p_
[Q]r.
VxVxP}
dv
F = WI
then
=-ff
,fix
vxPj)
+[vxQ]r.
(fix
Pj)}
ds
v.()- = v.() = =v
(25)
and
j=l
j=
V x (i)= V x (W)i = V x i
j=l
1286
TAI' DYADIC
obtain
([v x v x Q].P-[Q].v
x v x P)
fff(A.
VxB-B.VxA)
dV=
fffi.(B
xA)
dS
(34)
{[Q]. (a x v x P) + Iv x Q]. (a x P} as
ff[(V
xP)-(V
xQ)P-VxVxQ]av
=ff(fi
xP).
VxQds
APPLICATIONS
(30)
ff[,v
xP).
VxQ--P-VxVxQ]dv
V x V x E- k2E = ico#J
(35)
=f(fi
xP).
xQdS
s
(31)
(36)
: ;.,IEV
xQ]T-(
xP)
ds
$
where I denotes the idemfactor and g(R- R') denotes the three dimensional delta function, which is
characterizedby
(32)
fF(R)g(R
--R')
dV
=F(R')
R'inV
v
(37)
ff F(r)a(R
--R')
dV=0
f{[]T,
VxA-[Vx]T.
]}dv
(33)
s
R'notin
TAI'
DYADIC
ANALYSIS
AND
APPLICATIONS
1287
E(R')
=iwla
fffJ(R,.
e(R,
g')
--{[fi
xVxE(R)].
Je(R,
R')]
s
V x V x Geo(R,Ro)- k2Geo(R,
Ro)= i6(R -- Ro)
(42)
(43)
[Jeo(ga,ab)]T - Je0(gb,
ga)
The surface integral drops out because of the radiation condition. Equation (44) is a mathematical
statement of the symmetrical property of the freespaceelectric dyadic Green's function. Since R and
R are arbitrary, we normally write (44) in the form
E(R)ico#
ffJ(R').
Je(R
t,R)
d19
t
[Jeo(R
t, R)]T= Jeo(R,Rt)
(45)
(44)
(46)
(47)
The symmetrical
propertyof C.eXis similarto that of
- [Ge(R',
R)'l
r.[fi'
xV'xE(R')3
with
P = V x Ge1(R, R)
LimR[V x Jeo(R,
R')-- ikt x eo(R,R')']-- 0
Q = a e2(g, ga)
it is not difficult
to show that
IV x Ge2(Rt,,R,)]r= V x Ge(R,,Rt,)
or
(48)
1288
and x Ge we obtain
E(R)
=ico#
fff C.
el(R,
R').
J(R')
dr'
--
Acknowledgments.
Suggestions
by a reviewer
in addingad-
ditional
references
andpolishing
thebriginal
manuscript
are
(49)
greatly appreciated.
wavediffraction
byan aperture
in aninfiniteplaneconducting
screen,Commun.
PureAppl.Math., 3, 355-391, 1950.
5.
CONCLUSION
Stratton,J. A.,Electromagnetic
Theory,p. 250,McGraw-Hill,New
In thisarticlewereviewandcompile
a fairlycom- York, 1941.
pletelist of identities
in dyadicanalysis.
Two exam- Tai, C. T., DyadicGreen's
Functions
in Electromagnetic
Theory,
vancefurtherresearch
in dyadicanalysis.
It isa privi-
246pp.,InternationalTextbooks,Scranton,Pa., 1971.
Van Bladel,J.,Electromagnetic
Fields,pp.506-511,McGraw-Hill,
New York, 1964.