Visit to download the full and correct content document: https://ebookmass.com/product/integral-equations-for-real-life-multiscale-electromagn etic-problems-electromagnetic-waves-francesca-vipiana/
More products digital (pdf, epub, mobi) instant download maybe you interests ...
Techniques of Functional Analysis for Differential and Integral Equations 1st Edition Paul Sacks
TheMaxwellequationsareasetoffourlaws:Faraday’slaw,Ampere’slaw,andthe electricandmagneticformsofGauss’slaw.Eachofthesetoffourequationsmay, inturn,bewritteninthefollowingthreedifferentforms:integral,differential,and boundaryforms.Ithasbeenargued[1]thattheintegralformsofMaxwell’sequations arethemostfundamentalinthesensethatallotherformsderivefromthem.Wedeal hereonlywithtime-harmonicproblemsandassumethatallsourceandfieldquantities varyas e j ω t ,effectivelyreplacingtheoperator ∂/∂ t by j ω inthetime-domainforms ofMaxwell’sequations[2].
2.1.1IntegralformofMaxwell’sequations
TheintegralformofMaxwell’sequationsforexp(j ω t )timedependenceis
where S isan open surfacewith closed boundary C .Ontheotherhand,if S isa closed surface,enclosingavolume V ,wecanalsowrite
Theelectricandmagneticfieldstrengthquantities,(E , H ),arerelatedtothecorrespondingfluxdensityquantities(D, B)viathe constitutiveequations involvingthe localpermittivityandpermeability,(ε , μ),respectively:
Intheproblemsconsideredhere,weassumethatthematerialparameters(ε , μ)are linear,piecewisehomogeneous,andisotropic.InthefirsttwoMaxwell’sequations, asshowninFigure2.1, S hasaunitnormal ˆ n andtheclosedcurve C hasaunit tangent ˆ chosensuchthattheunitvector ˆ u = ˆ ׈n isbothnormalto C andpoints awayfrom S .Inthelasttwoequations, S isa closed surfacewithunitnormal ˆ n,the boundaryofavolume V .Volumetricelectricandmagneticsourcecurrents J and M , withunits[A /m 2 ]and[V /m 2 ]appearin(2.1)and(2.2),respectively.Whilethere isnoexperimentalevidencefortheexistenceofmagneticmonopolesorcurrents, magneticcurrentsandchargesnotonlygiveanelegantsymmetrytoMaxwell’sequationsbutalsoprovideflexibleandmathematicallyconvenientmeansforrepresenting electromagneticfields.Magneticandelectriccurrentsmerelycomprisemagneticand electricchargesinmotion;thevolumechargedensitiesofthosechargeswedefineas m [Wb/m 3 ]and q [C/m 3 ],respectively.Theconservationofchargeprinciplestates thatineveryboundedregionofspace,electricchargeisconserved;forbothconvenienceandmathematicalsymmetries,weassumethatthissameconservationlawalso holdsformagneticcharges.Thus,thetotalchargeforeitherchargetypechangesina regiononlyaschargescrosstheregion’sboundaries(i.e.,enterorleavetheregion). Therate(in[C/s]),forexample,atwhichelectricchargesdecreaseinaregionmust
Figure2.1ThesurfaceSwithunitnormal ˆ n isboundedbythecurve ∂ S = C.The unitvectors ˆ and ˆ u lieinthetangentplaneofS; ˆ isalsotangenttoC while ˆ u isnormaltoCandpointsawayfromS.Thethreeunitvectors satisfy ˆ u × ˆ =ˆn andformamutuallyorthogonalright-handedtriad alongC.
equalthenetelectriccurrentflux(in[C/s])exitingtheregion’sboundaries.Magnetic chargesandcurrentsaresimilarlyrelated;bothresultsaresuccinctlysummarizedby the continuityequations,
where,fortime-harmonicquantities, j ω playstheroleof ∂/∂ t ,withbothsidesof (2.7)and(2.8)representingratesofdecreaseofthetotalchargein V .Thoughthecontinuityequationsfollowfromphysics,independentofMaxwell’sequations,thelatter areconsistentwiththem.Forexample,ifwereplacethefirstsurfaceintegralin(2.2) withthe closed boundarysurfaceof(2.3),thenthecontourintegralof(2.2)vanishes (i.e.,surface S nolongerhasaboundarycontour C ),and(2.7)follows.Similarly, (2.8)followsfromapplyingboth(2.1)and(2.4)toacommonclosedsurface S
Figure2.2GeometriesusedtoderiveboundaryformsofMaxwell’sequations pathwhoselongestsidesareparalleltoandonoppositesidesofamaterialboundary relatethefieldintensitycomponents(E , H )onoppositesidestoany surfacecurrent flux(Js , Ms )throughtherectanglethatmightbepresentontheboundary;fluxintegral contributionsfromfinitevolumetriccurrents(J , M )orthefluxfields(B, D)donot contributetothelimitastheareaenclosedbythepathvanishes,leavingonlysurface currentfluxcontributions.Thisresultsintheequations(2.15)and(2.16)belowwhere
ˆ n isnormaltotheinterfaceandpointsfromthe tothe + regionassociatedwitheach sideoftheinterface.Forthesecondpair,twosuchrectangularpathsperpendicularto oneanotherarethecross-sectionsofacylindricalpillboxofinfinitesimalheightsides andradius a (h << a)whosecircularendfacesareparalleltoandonoppositesides oftheinterfaceofthetwomedia.IntegratingthetwoGausslawsoverthevolume enclosedcapturesanysurfacechargedensitycontributionsfromtheinterface;volume chargeandcylindricalfacecontributionsvanishinthelimitastheheightvanishes, whereasthearea(π a2 )commontothetwofluxfaceandchargedensityintegrals cancels,resultingin(2.17)and(2.18)below. Ms = (E + E ) ׈n,(2.15) Js =ˆn × (H + H ),(2.16) qs =ˆn (D+ D ),(2.17) ms =ˆn · (B+ B ),(2.18)
where Ms and Js aremagneticandelectricsurfacecurrentdensitiesand qs and ms are electricandmagneticsurfacecurrentdensities,respectively.Similarly,theboundary formofthecontinuityequationsforvolumetriccurrents J and M ataninterfaceis obtainedas
ˆ n (J + J ) + ∇ s Js =−j ω qs ,(2.19)
ˆ n · (M + M ) + ∇ s · Ms =−j ω ms ,(2.20)
where ∇s · isthesurfacedivergenceoperator.Weremindthereaderthatthetwoline integralsontheLHSoftheintegralformsofFaraday’sandAmpere’slawshavethe units(V)and(A),respectively,asdothemagneticandelectricline(filament)currents K and I passingthroughanenclosedpath;hence,theunitsof surface currentdensities Ms and Js mustbe[V /m]and[A /m],while volumetric currentdensityunitsfor M and J are[V /m 2 ]and[A /m 2 ].Notealsothatadifferentialvolumetricintegralover afilamentcurrentproducesa dipolemoment result, Id ,where d isthedifferential lengthofthefilamentthatfallsinsidethedifferentialvolume.Thus,inthesense thattheydonotradiate,pointsourcesofcurrentareessentiallynon-existentbecause aradiatingcurrentelementmusthaveatleastsomenon-vanishinglength, d > 0. Sinceadipole’sorientationisalsoimportant,itsmomentisoftenexpressedinvector formas Id or Id .
Wehavealreadynotedthatif ω = 0,thetwoGausslawsareimpliedbythedifferential formsofFaraday’sandAmpere’slawsplusthecontinuityequations.Togetherwith theirbehavioratinfinity,thetwocurlequationsshouldbesufficienttodetermine (E , H )foragivenpairofcurrentsources(J , M ).Onestepinthisdirectionisto eliminateeither E or H betweenthetwo.Forexample,theeliminationofthemagnetic fieldiseasilyaccomplishedbytakingthecurlofbothsidesofFaraday’slaw,(2.9),and substitutingfromAmpere’slaw,(2.10),toeliminatethemagneticfield.Thisyields theso-calledvectorHelmholtzequationfortheelectricfield:
where k = ω √με = 2π/λ isthe wavenumber andwhere λ isthewavelengthofa wavepropagatinginthematerialifboth μ and ε arebothreal(i.e.,themedium islossless).Applyingthesameprocedure,butreversingtherolesofFaraday’sand Ampere’slaws,andeliminatingtheelectricfieldleadstothemagneticformofthe vectorHelmholtzequation:
Unfortunately,itstillremainsdifficulttofindgeneralsolutionsof(2.21)and(2.22). Itturnsoutthat potential representationsofthefieldsarebettersuitedtofinding solutionssincetheycanbechosentoautomaticallysatisfyconditionssuchasthe vanishingofacurlordivergence.Tothisend,wefirstnotethatsinceMaxwell’s equationsarelinear,thesourcepair(J , M )canbepartitionedintoasumofsimpler sourcepairsetsas(J , 0) + (0, M ),eachofwhichinvolvesbuta single currentspecies (electricormagnetic,respectively).Onceweobtainthefieldsduetoeachsingle currentspeciesactingalone,weobtainsolutionsforbothpresentbysuperposingthe resultsforeachspecies.Forexample,forelectriccurrentsonly,weset M = 0 and m = 0in(2.9)and(2.12),respectively,anddeterminethefields(E J , H J ),withthe superscriptindicatingthesourcetype.Forthiscase,andunderthemildhypothesisof derivativecontinuity[3],themagneticformofGauss’slaw, ∇ ∇· BJ = 0,impliesthat BJ =∇ ∇ ∇× A (andviceversa)foravector A wecallthe magneticvectorpotential since
weuseittodirectlydeterminemagneticfieldquantities, H J = 1 μ BJ = 1 μ ∇ ∇ ∇× A. A is notuniquelyspecified,however,sincebothitscurlanddivergencecanbespecified independently,accordingtotheHelmholtzdecompositiontheorem[4].Laterwewill alsospecify ∇ ∇ ∇· A soastosimplifythedefiningequationfor A;forthemoment, however,wesubstitutethisrepresentationof H into(2.9),andrearrangeto ∇ ∇ ∇× (E J + j ω A) = 0.Theidentity ∇ ∇ ∇× (∇ ∇ ∇ ) = 0 impliesthatif E J hastheform E J = j ω A −∇ ∇ ∇ ,itwouldautomaticallysatisfythiszerocurlcondition;butitcanalsobe shownthatunderrathermildrestrictions,every E J canalwaysbesorepresented[3]. Thenewlyintroducedfunction iscalledthe electricscalarpotential andthenegative signischosentoagreewiththefamiliarelectrostatic(i.e., ω → 0)representationfor E J involvingscalarpotentialonly.Insummary,wehavenowdevelopedthepotential fieldrepresentation(E J , H J ) = ( j ω A −∇ ∇ ∇ , 1 μ ∇ ∇ ∇× A)forthefieldsduetoelectric currentsources J actingalone.Similarly,formagneticcurrents M actingalone,the potentialfieldrepresentationis(E M , H M ) = ( 1 ε ∇ ∇ ∇× F , j ω F −∇ ∇ ∇ ),involving the electricvectorpotential F and magneticscalarpotential .Superposingthese results,weobtainfinallytheso-called mixedpotential representationof(E , H ) = (E J + E M , H J + H M ):
Substitutingthepotentialrepresentation(2.25)for(E J , H J )intoAmpere’slaw,using theidentity ∇ ∇ ∇× (∇ ∇× A) =∇ ∇ (∇ ∇ ∇·
2 A,andrearranging,weobtain
Similarly,substituting(E M , H M ),(2.26),intoFaraday’slaw,wefind
Despitestrongsimilaritiesbetweentheequationpair(2.21)and(2.22)andthepair (2.27)and(2.28),thelatterprovideanimportantopportunityforsimplificationsince thedivergencesof A and F remainyettobespecified.Ofmanypossibleso-called gauge choiceshere,theso-calledLorenzgauges,areobviousones:
sothat(2.27)and(2.28)immediatelysimplifyto ∇ 2 A + k 2 A =−μJ ,(2.31)
2 F + k 2 F =−ε M ,(2.32)
respectively.Equationsforthescalarpotentials and areeasilyobtainedbysubstituting(2.25)and(2.26)intothetwoGausslaws,(2.11)and(2.12),respectively, yielding
2 ψ + k 2 ψ =−f (r ),(2.35) forsomepotential ψ withscalarvolumesourcedensity f (r ).Wenotethesourceterm f (r )canbewrittenasasuperpositionorconvolutionintegral
f (r ) = V f (r )δ (r r ) dV ,(2.36)
where V includesatleastthe support of f (r ),supp (f (r )),thatis,thesmallestclosed regionoutsideofwhichthefunction f (r )vanishesidentically.Thus,thesetsupp (f (r )) iscompletelycontainedwithin V .Thethree-dimensionaldeltafunction δ (r r ) = δ (x x )δ (y y )δ (z z )representsa pointsourceofunitdensityat r ;noteits unitsare[1/m 3 ].Wewishtoexpress ψ asasource-weightedsumoverpointsource solutions,andtodosowefirstintroduceascalarfunction G (r , r ),asolutionofthe point-sourceequation
∇ 2 G + k 2 G =−δ (r r ),(2.37)
where G (r , r )representsagenericpotentialfieldat r duetoaunitdensitysource at r .Sincea(scalar)pointsourceisbothnon-directionaland(2.37)iscoordinate systemindependent,weshouldalsoexpectthesameof G ,i.e.,thatitdependsonly ontheradialseparation R =|r r | betweentheobservationpoint r andsourcepoint r .Wealsonotethatinalocalsphericalcoordinatesystemwithanoriginat r , ∇ 2 G = 1 R2 d dR R2 dG dR ,fromwhichoneeasilyverifiesthat
G (r , r ) = e jkR 4π R (2.38) satisfies(2.37)everywhereexceptpossiblyat R = 0(sincetheexpressionfor ∇ 2 involvesdivisionbyzerothere).Toalsoverifytheunitvolumeintegralbehaviorof the3Ddeltafunctionat R = 0,wemustexaminetheequalityofvolumeintegralsover
Integralequationsforreal-lifemultiscaleelectromagneticproblems termsonbothsidesof(2.37).Thenon-directionalnatureoftheproblemalsosuggests integratingoveravolumetrictestsphere, Va ,ofradius a centeredat R = 0,noting that ∇ 2 = ∇ · ∇ ,andevaluatingtheintegraloftheLaplaciantermviathedivergencetheorem.Indeed,onefinds Va (
Indeed,that(2.39)isasolutionof(2.35)iseasilyverifiedbydirectsubstitutionand useof(2.37)and(2.36).Weremarkthat,byimplication,theintegralin(2.39)must alsoincludeanycontributionsfromsurface,filament,orpointsourcespresent,which onewritesintheforms S G (r , r )fs (r ) dS , C G (r , r )f (r ) d ,or
● Notetheextenttowhichwerelyonlinearityandsuperposition:thefields(E , H ) arevectorcomponentsums,eachtermofwhichisasumofrealandimaginary parts,andconstructedasalinearsuperpositionofavectorpotential,thevectorvaluedgradientofascalarpotential,andthecurlofavectorpotential,i.e.,a
sumoverbothcurrentandchargeterms,respectively.Eachofthese,inturn,is aconvolutionintegral,i.e.,asumofapoint-sourceresponses G (r , r )weighted bysourcedensitiesoftheappropriatechargeorcurrentspeciesdefinedon V . Lateron,indiscretizingaproblem,wefurthersubdividethesourcedomainsinto collectionsofsimplersubdomains,eachwithsimplifiedlocalsourcerepresentations.Inthelattercase,however,thenewlevelofsumsistypicallyrepresented asmatrix–vectorproducts.
2.1.5Farfieldsandfarpotentials
Inthefarfield,itisconvenienttoexpressafieldobservationpoint r inspherical coordinatesas r = r (cos φ sin θ ˆ x + sin φ sin θ ˆ y + cos θ ˆ z )whoseoriginisat r = 0, assumednotfarfromorevenwithinthesourceregion.Atlargeradialdistances r =|r | fromallsourcepoints r ,theapproximation R =|r r |≈ r −ˆ r r where ˆ r = r /r , canbeusedinthelocallyvaryingphasefactorterminthenumeratorof G (r , r )while R ≈ r canbeusedinthedenominatortoapproximate G (r , r )as e jkr 4π r e jk r r inthefar vectorpotentials,yielding
Similarly,thefarscalarpotentialsare
Butsince
,wemaysimplyreplace
r inthefar field.CombinedwiththeLorenzgaugeconditions,itthenfollowsthatthegradients ofthescalarpotentialsareentirelyradiallydirectedandcompletelycancelradial componentsofthevectorpotentialcontributionstothefarfield;thus,inthefarfield, fields(E , H )becomecompletelytransversetotheobservationvector r andcanbe writtenas
Integralequationsforreal-lifemultiscaleelectromagneticproblems where η = √μ/ε isthelocalintrinsicimpedanceofthehostmedium.Forcompactnessabove,wehaveusedadyadicnotationfortermssuchas ˆ φ ˆ θ · A,forexample, whichisassumedtobeevaluatedas ˆ φ ( ˆ θ · A) = ˆ φ Aθ ,andtheunitvectorstransverse to ˆ r insphericalcoordinatesare
WenoteherethatthereexistsasecondsolutionofthefreespaceGreen’sfunction equation(2.37)thatisoftheform e+jkR 4π R ,butthesignchangeintheexponentialphase factorimpliesitrepresentsa(non-physical)incoming,ratherthananoutgoingwave. Inunboundedregionswithboundedsources,impositionoftheso-calledscalaror Sommerfeldradiationcondition [5–7]
guaranteesauniquesolutionandonethatinvolvesonlyoutgoingwavesolutions of(2.37).Itisclearthateachvectorcomponentof(2.40)and(2.41)satisfiesthe Sommerfeldcondition.Thetransversenatureandplane-wave-likerelationbetween far-fieldcomponents(E , H )aswellastheiroutgoingbehaviorarecapturedtogether intheso-called Silver–Müllerradiationconditions [8,9],
wecouldthenhaveuseddualitytodirectlyobtaintheelectricvectorpotential F duetomagneticcurrents.Aswasdone,superpositioncanthenbeusedtoobtain theresultwhenbothcurrentspeciesarepresent.Suchusesofdualitywilloftenbe impliedinsubsequentderivationsinthischapter.Whenusingduality,however,some caremustbeexercisedifboundaryconditionsarepresent.Forexample,thedualof theperfectelectricconductor(PEC)boundarycondition ˆ n × E = 0 istheperfect magneticconductor(PMC)boundarycondition ˆ n × H = 0;hereitisnotsimplythe variablesthatareexchanged,butthephysicalproblemparametersmustalsobedual totheoriginal.Furtherdiscussionofandusesfordualitymaybefoundin[2,10,11].
2.1.7Uniquenesstheorem
Consideraregion V boundedbyaclosedsurface S withunitoutwardnormal ˆ n, asshowninFigure2.3(a).Ourconcernisthefollowingquestion:“Givenasetof sources J and M ,underwhatconditionsaresolutionstoMaxwell’sequationsunique in V ?”Uniquenessquestionsareimportantnotonlyinestablishingwhetherornota givenproblemhasauniquesolutionin V butalsoindiscoveringwhatinformationis neededtoobtainauniquesolution.Uniquenesstheoremsalsodirectlyconnectfields inaregiontotheirsourcesandviceversa.Theyalsosuggestwhatchangescanbe madetoaproblemoutside V whilemaintainingthesamefieldsinside V andon S Oneoftheirmoreimportantuses,however,isinprovidingshortcutproofsortests forproposed,hypotheticalsolutionsofMaxwell’sequations.Wefindthemespecially usefulinprovingimageandsourceequivalenceprinciplesfrom“guesses,”based perhapsonexperienceorintuition.
Uniquenesstheoremsaregenerallyprovenbycontradiction.Thatis,assumethat thefieldsarenon-uniquesothattwofieldsolutions(E a , H a )and(E b , H b )existfor
(a)(b)
Figure2.3In(a),aninteriorregionVisboundedbyasurfaceSofboundedextent andwithoutwardunitnormal ˆ n.In(b),regionVisexteriortoSand boundedbyasurfaceS ∞ ofradiusrwithoutwardunitnormal ˆ n =ˆ r , wherer →∞.Thelocationofthecoordinateoriginforrisarbitrary, butmustbeafinitedistancefromS.
Integralequationsforreal-lifemultiscaleelectromagneticproblems thesameboundaryconditionson S andthesamesetofsources(J , M )in V .We assume(E a , H a ) = (E b , H b ),andeasilyfindthatthedifferencefields(δ E , δ H )= (E a E b , H a H b )mustsatisfythesource-freeFaradayandAmpere’slaws,
Next,weconsiderthatthenetoutwardcomplexpowerflow δ S across S ,which fromthePoyntingvector δ S = 1
,and(2.55).Below,wetreat separatelythecaseswherethehomogeneousmediumassociatedwith V islossy, unboundedandlossless,orboundedandlossless.Wealsoassumeoneofthefollowing threeboundaryconditionson S :
● Thetangentialelectricfield ˆ n × E isspecified(i.e., ˆ n × δ E = 0)on S .
● Thetangentialmagneticfield ˆ n × H isspecified(i.e., ˆ n × δ H = 0)on S .
● Thetangentialfield ˆ n × E isspecified(i.e., ˆ n × δ E = 0 )onaportionof S while ˆ n × H isspecified(i.e., ˆ n × δ H = 0 )ontheremainderof S .
Boundeddissipativemedia: Forlossyboundedmedia,atleastoneoftheterms μ or ε inthelastintegralontheright-handsideof(2.56)ispositive.Ifweassumefields interiorto V arenon-unique,then δ E or δ H cannotvanisheverywherein V .Butfor anyoftheaboveboundaryconditionsontheboundedsurface S ofFigure2.3(a),at leastoneof ˆ n × δ E or ˆ n × δ H vanishesateverypointof S ,and,hence,sodoesthe complexpowerflow δ S across S in(2.56).Inalossymedium,however,thisrepresents acontradictionsincefor ω> 0,thelastvolumeintegralin(2.56)mustbenegative ifeither μ or ε orbotharepositive,whereastheintegralsonthefirstlinevanish. Henceatleastoneofthedifferencefields, δ E or δ H ,mustalsovanishin V .But by(2.55),ifonevanishes,thenbothvanish.Thusfieldsinalossyregion V with boundary S areuniqueiftheysatisfyMaxwell’sequationsin V andoneoftheabove threeprescribedboundaryconditionson S
Bounded,losslessmedia: WeconsidernexttheboundedregionofFigure2.3(a)with alosslessinterior(μ = ε = 0)withboundary S enclosing V .Wenotefirstthatfor S boundedandclosed,theabovethreespecifiedboundaryconditionsdescribeacavity witheitherPECorPMCwalls,oramixtureofbothtypesofwalls.Next,wenotethat sincenosourcesarepresent,withlosslessmedia,andwithboundaryfieldssatisfying
17 eitherofthethreeboundaryconditionsspecifiedabove,thesurfaceintegral(bothreal andimaginaryparts)of(2.56)aswellasthelast(real-valued)volumeintegralvanish identically.Thenext-to-last(imaginary-valued)volumeintegralthenmustalsovanish, implyingeitherthat(a) δ E = δ H = 0,inturnimplyinguniqueness,or(b)thenettimeaveragedstoredelectricandmagneticenergiesin V mustexactlybalancein V .Butthis latterconditionisaknownpropertyofcavityresonatorswithPMCorPECconducting wallsattheirdiscreteresonancefrequencies.Thesewell-knownsource-freesolutions ofMaxwell’sequationsforinteriorproblemswithimpenetrableboundariescanexist atdiscretefrequenciesthatdependstronglyonthecavitygeometryand(lossless) materialproperties.Atcavityresonancefrequencies,nosourceisrequiredtosustain thefieldoscillations,norealaveragepowerisdissipatedorradiated,andassociated modalelectricandmagneticfieldsareinphasequadrature.Finally,thetime-average storedelectricandmagneticenergiesareequalandtheiramplitudesareproportional tothesquaredmagnitudesofthemodalfieldamplitudes.Thecavityproblemisof interestinsurfaceintegralequationmodelingincomputationalelectromagneticsfor twoprincipalreasons:
● Onewantstouseasurfaceintegralformulationtodeterminetheresonant frequenciesofaclosedcavityofshape S withimpenetrableboundaries.
Unboundedmedia: WeconsiderlastthesituationofFigure2.3(b)withaninterior boundary S andwith V anexteriorboundaryenclosedwithinasphericalboundary surface S ∞ ofradius r andoutwardnormal ˆ n =ˆ r .Wenowevaluatetheintegrals (2.56)inthelimitas r approachesinfinity.Notethatwemustfirstreplacetheoriginal Poyntingsurfaceintegralon S in(2.56)withthetwoboundaryintegrals, S + S ∞ , withthenegativesignappearinginthefirstintegralsince,for V now exterior to S ,the divergencetheoremrequiresanoutwardnormalto V thatnowpoints intoS .Again, theintegralon S vanishesforanyofthethreeboundaryconditionsspecifiedabove. Hence,(2.56)reducesto
AlemmabyRellich[7,12–14]forscalaracousticfieldshasbeenextendedtothe electromagneticcasewhichshowsthatiftheintegralontherightabovevanishes,all fieldswithin V mustvanish.Thatis,thevanishingoftheintegral(2.57)becomesthe conditionforuniquenessfortheunbounded,lossless,orlossycase.
