14
Adaptive M ultigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design PeterDeuflhard l2 , FrankSchmidt l , TilmannFriese,andLinZschiedrich l 1 Konrad-Zuse-Zentrumfur InformationstechnikBerlin, Germany URL:http://www.zib.de 2 FreieUniversitiitBerlin,FachbereichMathematikundInformatik,Germany Abstract. Thispaperhasbeenmotivatedby the needforafastrobustadaptive multigrid method to solve the vectorial Maxwell eigenvalue problem arising from the designofopticalchips.Ournonlinearmultigridmethodsarebasedonapre- viousmethodfor the scalar Helmholtz equation, which must be modified to cope with the nullspaceoftheMaxwelloperatordue to the divergencecondition. We present two different approaches. First, we present a multigrid algorithm based on an edgeelementdiscretizationoftime-harmonicMaxwell'sequations,including the divergencecondition. Second, anexpliciteliminationoflongitudinalmagnetic componentsleads to anodaldiscretizationknown to avoiddiscrete spurious modes also and a vectorial eigenvalue problem, for which we present a multigrid solver. Numericalexamplesshow that the edgeelementdiscretizationclearlyoutperforms the nodalelementapproach. AMS Subject Classification: 65N25, 65N30, 65N55 Keywords: Maxwell's equations, eigenvalue problem, edge elements, multigrid methods,waveguide,opticalchipdesign 1 Eigenvalue Problems for Optical Waveguide Design Integrated optical components like semiconductor lasers, optical switches, and filters are essential parts of modern fiber-optical networks, see [7], [8, ch. 2]. Figure 1 shows a mounted MQW-Iaser of the latest technological generation. Eachofthemconsistsofvarioussub-components,whichareconnectedby waveguides.Therefore,thedesignofopticalwaveguides is acentraltask.The analysisofopticalwaveguides is basedontheknowledgeoftheirguidedmodes andpropagationconstants.Aschematicrepresentationofanopticalchip is given in Fig. 2. Theoptical beam propagates in z-direction. The geometry ofthechipitself is regarded as invariable in this direction. Guided modes are modes that exhibitanintensitydistributioninvariantinz-directionand withfinitelateralextension.Informerwork we hadsimplifiedthebasic vec- torialMaxwell'sequationssuch that ascalarHelmholtzeigenvalueproblem arose [7]. Asindustrialopticalcomponentsgetmoreandmorecomplex [17]' W. Jäger et al. (eds.), Mathematics - Key Technology for the Future © Springer-Verlag Berlin Heidelberg 2003

Mathematics — Key Technology for the Future || Adaptive Multigrid Methods for the Vectorial Maxwell Eigenvalue Problem for Optical Waveguide Design

Embed Size (px)

Citation preview

Adaptive Multigrid Methodsfor the Vectorial Maxwell Eigenvalue Problemfor Optical Waveguide Design

Peter Deuflhardl2 , Frank Schmidtl , Tilmann Friese, and Lin Zschiedrichl

1 Konrad-Zuse-Zentrum fur Informationstechnik Berlin, GermanyURL: http://www.zib.de

2 Freie Universitiit Berlin, Fachbereich Mathematik und Informatik, Germany

Abstract. This paper has been motivated by the need for a fast robust adaptivemultigrid method to solve the vectorial Maxwell eigenvalue problem arising fromthe design of optical chips. Our nonlinear multigrid methods are based on a pre­vious method for the scalar Helmholtz equation, which must be modified to copewith the null space of the Maxwell operator due to the divergence condition. Wepresent two different approaches. First, we present a multigrid algorithm basedon an edge element discretization of time-harmonic Maxwell's equations, includingthe divergence condition. Second, an explicit elimination of longitudinal magneticcomponents leads to a nodal discretization known to avoid discrete spurious modesalso and a vectorial eigenvalue problem, for which we present a multigrid solver.Numerical examples show that the edge element discretization clearly outperformsthe nodal element approach.

AMS Subject Classification: 65N25, 65N30, 65N55

Keywords: Maxwell's equations, eigenvalue problem, edge elements, multigridmethods, waveguide, optical chip design

1 Eigenvalue Problems for Optical Waveguide Design

Integrated optical components like semiconductor lasers, optical switches,and filters are essential parts of modern fiber-optical networks, see [7], [8,ch. 2]. Figure 1 shows a mounted MQW-Iaser of the latest technologicalgeneration.Each of them consists of various sub-components, which are connected by

waveguides. Therefore, the design of optical waveguides is a central task. Theanalysis of optical waveguides is based on the knowledge of their guided modesand propagation constants. A schematic representation of an optical chip isgiven in Fig. 2. The optical beam propagates in z-direction. The geometryof the chip itself is regarded as invariable in this direction. Guided modesare modes that exhibit an intensity distribution invariant in z-direction andwith finite lateral extension. In former work we had simplified the basic vec­torial Maxwell's equations such that a scalar Helmholtz eigenvalue problemarose [7]. As industrial optical components get more and more complex [17]'

W. Jäger et al. (eds.), Mathematics - Key Technology for the Future© Springer-Verlag Berlin Heidelberg 2003

280 Peter Deuflhard et al.

Fig. I. Si-Submount with MQW laser in material system InGaAsPflnP. (OsramOS)

x

Fig. 2. Schematic optical waveguide

including sharp and. significant jumps in the permittivity of the waveguidematerials, this approximation turns out to be too crude. Therefore we haveto return to the exact Maxwell's equations as a mathematical model. Thisleads again to an eigenvalue problem, which, however, is much more complexand is the topic of this paper.

Starting from Maxwell's equations in a source and current free mediumand assuming time-harmonic dependence of the electromagnetic field withangular frequency w the electric and magnetic fields

E(x, y, z, t) = E(x, y, z) . eiwt , H(x, y, z, t) = H(x, y, z) . eiwt

Multigrid for Maxwell Eigenvalue Problem 281

must satisfy the time-harmonic Maxwell equations

curl E = -iwp;lI., div EE = 0curlH = iWEE, div j.£H = O.

Herein E = E(X, y) denotes the permittivity and j.£ the permeability of thematerial. For simplicity, we assume j.£ to be constant, E= ED - ia/W complex,and drop the wiggles, so that E ---+ E, H ---+ H. From the equations above wethen may derive (by direct substitution)

curl C1curl H - w2j.£H = 0,

divj.£H = 0,

(1)

where only the magnetic field is involved. Motivated by the z-invariance ofour geometry, we seek solutions of equation (1), which depend harmonicallyon z, i.e.

H(x, y, z) = H(x, y) . e-ikzz .

Here kz is the propagation constant, which is the eigenvalue of interest. In thefollowing, we again drop the hat, so that H ---+ H. Let us introduce a referencepermittivity EO, the relative permittivity Er = E/Eo and the correspondingreference wave number k5 = EOj.£W2 , which is assumed to be given. Uponsplitting the magnetic field into a transversal part H.L (x, y) and a longitudinalpart Hz(x, y),

H(x, y) = H.L(x, y) + Hz(x, y) . ez,

equation (1) is equivalent to the eigenvalue problem

V'.L X E;lV'.L X H.L - k5H.L = -k;E;lH.L + ikzE;lV'.LHz (2)

-V'.L ·E;lV'.LHz -k5Hz =ikzV'.L ·E;lH.L (3)

V'.L . H.L = ikzHz . (4)

In principle, Maxwell eigenvalue problems divide into two classes. In the so­called resonance problem

we ask for an eigenvalue ko or w, respectively. The structure of this problemis rather simple - the left hand side of equation (5) is a selfadjoint operatorin the case of loss-free media and the right hand side consists of a positivedefinite mass term. However, this is not the appropriate problem in integratedoptics. There the task is to determine the propagation constant k z , which

282 Peter Deuflhard et al.

appears implicitly in equation (5). By introducing Uz = kz/i·Hz this so calledwaveguide problem also allows an explicit eigenvalue problem formulation,

[\7.1 x E;l\7.1 x -k5 E;l\7.1 ] [Huz.1] =

o - \7 .1 . E; 1 \7.1 - k5(6)

-k2 . [ E;l 0] [H.1]z \7. E-1 0 U '.1 r z

with a non-selfadjoint operator on the left and a singular operator on theright hand side. In view of a numerical approximation we have to choosea finite domain of discretization and hence boundary conditions must beprescribed. This is a rather complex issue in the case of optical waveguides,because in many problems boundary conditions are not explicitly given onfinite domains. If only guided modes are sought, the magnetic field decaysexponentially fast to zero outside a finite domain, so we may prescribe zeroboundary conditions on a sufficiently large domain.

2 Variational Formulations and Discretizations

We present two different variational formulations of the system (2)-(4). Thesetwo approaches differ by the incorporation of the divergence condition (4)and the treatment of the Hz-component. In the first approach we discretizethe transversal components H.1 with linear edge elements, Hz with nodalelements and set up a discrete analog of Maxwell's equations. In the secondapproach we eliminate the Hz-component by the divergence condition andchoose a nodal element discretization for H.1' For a discussion of these ap­proaches see [10]. In order to avoid confusions with the standard notationfor Sobelev spaces we write U.1 instead of H.1 and introduce U z = l/i .Hz.Recall that Eis in general not smooth. So the computational domain may besplit up according to

n = n1 u ... unN ,

where E is now smooth on each subdomain ni . The boundary between ni

and nj is denoted by Tij . Furthermore we introduce the inner products by(V.1' U.1) = In V.1 . U.1 dn and also (vz,uz) = In vzuzdn.

Edge element discretization. In this approach we set up a direct discreteanalog to problem (5) and additional to the divergence condition (4). Theweak form of the waveguide eigenvalue problem is to find kz , U.1, uz , suchthat for any V.1 E Ho(curl,n) and Vz E Hb(n)

(\7.1 X Vl..,E;l\7.1 x U.1) + kz ' (V.1,E;l\7.1uz)

+k;' (V.1,E;lU.1) = +k6' (V.1,U.1) (7)

(\7.1Vz,E;l\7.1Uz) + kz ' (\7.1Vz,E;lU.1) = k6' (vz,uz) (8)

(\7.1Vz,U.1) = kz . (vz,uz )· (9)

Multigrid for Maxwell Eigenvalue Problem 283

In order to derive these equations, we use the continuity ofEz = E;1V'.1 XU.l,so that all line integrals over r ij and r ji cancel in the interior of D.

It is an important fact that a solution (U.l, uz ) E Ho(curl, D) x H6(D)of the equations (7), (8) with finite kz and ko also satisfies the divergencecondition (9). This can be seen by the special choice V.l = -l/kz . V' .1Vz EHo(curl, D) and inserting equation (8) into (7).Given a regular triangulation of D, the structure of (7)-(9) can be passed

on to a discrete version by using edge elements ([16] ,[4], [1]) for the transversalcomponents and nodal elements for U z . Let V.l c Ho(curl, D), Vz c H6(D)be the corresponding linear finite element spaces with bases 'l/Jl ... 'l/Jm and¢1 ... ¢p, Here m is the number of interior edges and p is the number of innerpoints of the triangulation. We introduce the system matrices

(A.l)jk = (V'.l X 'l/Jj,E;lV'.l x 'l/Jk), (Az)jk = (V'.l¢j,f;lV'.l¢k) ,(B.l)jk = ('l/Jj,E;l'l/Jk) , (Mz)jk = (¢j,¢k) (10)(Ml-)jk = ('l/Jj,'l/Jk).

The weak gradient of ¢j is an element of V.l, so we may define G to be thematrix representation (for the above bases) of the linear map

V'.l : Vz ---+ V.i.

In this way we arrive at the discretized version of (7)-(8)

[Al- + k~' B.l kz ' Bl-G] [~.l] = kg. [Ml- 0 ] [~.l] , (11)kz . G B.l Az Uz 0 Mz Uz

, .. I "-.--"

Ares Mres

and the discrete divergence condition

[ G ] * [M.l 0 ] [U.l] = 0-I 0 kz ' M z U z . (12)

As in the continuous system, the divergence condition (12) automaticallyholds for a solution (Ul-,uz) of (13) with finite kz and ko. Problem (11) is astandard eigenvalue problem Aresu = >'Mresu for>' = k5 with a selfadjointmatrix Ares and a positive definite mass matrix Mres . Here the unknownpropagation constant kz appears implicitly. As above for the continuousproblem, we may rearrange equation (11) by substituting Uz = kz . Uz wearrive at an explicit eigenvalue problem

([Al-B.LG] -kg. [M.l 0]) [Ul-] =-k;. [ ~.l 0] [U.l] (13)o Az 0 Mz Uz G B.L 0 Uz

, V I '-v-""

A Bfor kz . Since the above matrix B is singular, this formulation is not well suitedfor the construction of a multigrid method. That is why, in the following, wewill focus on a multigrid algorithm for equation (11), which we will solve forkz , subject to the divergence condition (12).

284 Peter Deuflhard et al.

Nodal element discretization. We use the divergence condition (4) tosubstitute Hz in (2), which gives the modified transversal equation [10]

V1. X f;lV1. x U1. - f;lV1. (V1. . U1.) - k6U1. = -k;Clu1., (14)

where only the transverse field U1.is involved. The corresponding weak prob­lem now reads

+(15)

for all v1. E Hb(D) x H6(D).As above all line integrals involving Ez = elV1. x U1. vanish in the

interior of D. This is not the case for the second sum in (15), because V1. .U1. = ikzHz is continuous and hence f;lV1. ·U1. may jump across Tij . In (15)not only the curl operator but also the div operator act on U1., which inhibitsthe use of linear edge elements for the transversal field. A finite elementdiscretization based on the linear nodal elements space V1. C H6(D) x H6(D)is yielding straightforward the algebraic system

(16)

with a non-symmetric matrix A and a canonical mass matrix M.

3 M ultigrid Algorithms

In an adaptive finite element discretization of the above problems we have aset of sequentially refined triangulations {1h} of Jl with corresponding finiteelement spaces Vh C Ho(curl, D) x H6(D) resp. Vh C H6(Jl) x H6(D). Ineach case this yields an algebraic eigenvalue problem Ahu = A . Bhu. As in[12][13] we generalize this problem for the ability to calculate simultaneouslya certain number q of clustered or degenerate eigenvalues with smallest realpart. Hence we seek a q - dimensional invariant subspace Uh , in particular

(17)

As mentioned above the structure of equation (17) depends on the chosendiscretization. The edge element discretization for the waveguide problem(13) leads to a singular matrix Bh , whereas a nodal basis discretization ofthe modified transversal equation (14) and the resonance problem (11) give acanonical mass matrix Bh . There exist different multigrid solvers for the above

Multigrid for Maxwell Eigenvalue Problem 285

problem with a positive del1nite B [14], [5], [6]. Here we present the methoddeveloped in [12] for the Helmholtz eigenvalue problem. The formulationof the waveguide problem based on the modified transversal equation fitsperfectly into this multigrid concept. Therefore we can extend this algorithmdirectly to the vectorial case. Unfortunately, this is not true for magneticor lossy materials. In these cases the mass matrix Bh is no longer positivedefinite.

3.1 General Concept

In the following we suppress the subindex h and assume B to be a positivedefinite operator. The backbone of our method is a peg-like iterative eigen­value solver for problem (17), see [11]. The main advantage of this methodis that it allows the handling of subspaces whose B-orthonormality will notbe destroyed by the algorithm. As in [12] we use this method as a smoother.This method reduces the high-frequency error on each grid very effectivelyand gets inefficient after a few iterations. How does the smoother works?Recall that the above eigenvalue problem admits a Schur decomposition

AQ = BQK, Q'BQ = rd.

Herein K = diag (Ki ) is a block diagonal matrix, with upper triangular blocksKi . To each Ki corresponds an invariant subspace E j • The subspaces Ej arechosen so that they possess no non-trivial invariant subspace. The matrices Ki

depend on the chosen B - orthonormal basis, while trace K j does not dependon it. Any q-dimensional invariant subspace Y is the sum of particular E;,say

Y=K +···+K11 lny'

To Y corresponds the upper tria.ngula.r matrix Z = diagl=l...ny (Kit)' Hencewe may define trace Y =: trace Z. We characterize the sought q-dimensionalinvariant subspace U with corresponding upper triangular matrix T by

trace U = min {trace Y IY is q-dimensional invariant subspace}

Details of this algorithm are given in Algorithm 1.Given an initial guess U(O), T(O) for the sought q-dimensional invariant

subspace on the finest grid we construct a correction space P in a peg-likemanner. We use for example a Jacobi iteration step as the preconditioningmatrix C- 1 . Now, we correct U(O) by solving a small projected eigenvalueproblem (Ritz step). Assuming that the q smallest eigenvalues are sufficientlywell approximated such that there is a spectral gap between the q firsteigenvalues and the remaining ones of the projected system, the Schur de­composition in Algorithm 1 supplies upper triangular matrices T(k) E <Jjqx q,

Ts E <Jjqx q with

Re(T~~)) S ... S Re(TW) S Re(Ts,n) S ... S Re(Ts,qq).

286 Peter Deuflhard et al.

Algorithm 1 Dohler peg as smoother with v iteration steps

Require: U(O), T(O) {initial guess}G = C-1 (AU(O) - BU(O)T(O»)P =G {initial correction space}for k = 0 to v do

I

A= [U(k) p] A [U(k) p]I {projected problem}

B= [U(k) p] B [U(k) p]

[

- _] I _ [ __ ] (T(k) 0 )US A US = o Ts {Schur decomposition}[u sl' B[U S] = Id

U(k+l) = [U(k) p] U{update of U}

S = [U(k) p] SG =C-1 (AU(k) - BU(k)T(k»)

solve for X: TsX - XT(k) = _pi (AG - BGT(k») {Sylvester equation}

p =G+SX {new correction space}end for

This correction procedure is motivated by the minimal principle above. Afterthe correction of U we have to construct a new correction space P which isdone similar to the peg-method again.The proposed correction space P in Algorithm 1 is generated by a multipli­

cation of the current U with the discrete second order "differential operator"(A [.J - B [.J T) and hence high-frequency errors are overstressed in P. Butfortunately, by the multigrid structure we can force low-frequency correctionsto appear in P. So, given the prolongation matrix It from any coarse gridto the current fine grid, we restrict the eigenvalue problem to the subspace[U It ], especially

I I

[U I7I] A[U It] u= [U I7I] B[U I7I] UT, " 'v v

A B

(18)

and carry out Algorithm 1 for this restricted problem. Alternatively, thisprocedure may be interpreted in the sense that we just use the coarse gridbasis I7I to construct low-frequency correction spaces P (see Algorithm 1).On the coarsest level we may use an exact solver or the iterative method

(1) with a fixed number of iterations as well.

Multigrid for Maxwell Eigenvalue Problem 287

3.2 Edge Element Method for Waveguide Problem

Algorithm 1 is based on the Schur decomposition of a small restricted eigen­value problem which can only be done if Bh is a positive definite matrix.But this is not the case in our variational formulation (13). Therefore wego one step back to equation (5) and its discrete analog (11) in which thedesired value kz appears implicitly within the selfadjoint eigenvalue problemAres(kz)u = kgMresu. The idea now is to solve this equation for kz by aNewton-like iteration. To keep the notation simple, we outline this algo­rithm for the case of a single non-degenerate eigenvalue kz in the self-adjointcase (q = 1). Assume that we can solve Ares(kz)u = (kg + 8) . Mresu in aneighborhood of the exact value for kz and that the "disturbed" normalizedeigenvector u = u(kz) depends smoothly on kz. The disturbed resonance wavenumber is given by the Rayleigh quotient

and kz is determined via the condition 8(kz ) = O. On the basis of

we may construct a Newtion-like iteration dropping the 0 (8)-thus arrivingat the iteration

The convergence properties of such an iteration are roughly the same asfor a simplified Newton iteration [9, chapter 2]. Numerical tests also show,that this Newton-like iteration converges very fast, if we use the k z obtainedfrom the coarser grid as the initial guess. In order to get an algorithm ofmultigrid complexity we need a multigrid solver for the resonance problemAres(kz)u = (kg + 8) . Mresu.

3.3 Edge Element Method for Resonance Problem

Even the selfadjoint resonance problem (11) fits well into our multigrid con­cept, some difficulties may arise due to the null space of the operator Aresand to the fact that we are only interested in positive eigenvalues close to kg.Therefore a method which minimizes the Rayleigh quotient will converge tothis null space. As can be seen in equation (5), the null space consists in thecontinuous case of 3D-curl-free vector fields

288 Peter Deuflhard et al.

This null space is closely tied to the divergence condition (4), see [3]. In fact,by solving the Poisson problem

-Ll1-ip + k;ip = (ikzHz - \71- .H1-),one can split the magnetic field into 3D-div-free and curl-free parts (Helmholtzdecomposition)

[H1-] [\71-ip] [H1-]Hz = -ikzip + Hz .'"-v-" --.......-.-curl-free diy-free

The curl-free part is non-physical and violates the divergence condition.Following [15], [2, p. 122] we remove that part throughout the multigridalgorithm, whenever it arises (projection to the div-free subspace).

4 Numerical Examples

The above two algorithms have been implemented in our fully adaptivesoftware package ModeLab. In order to compare the nodal with the edgeelement discretization on the same hierarchy of grids we restrict ourselves touniform mesh refinements for the following problems. In each problem chooseko = 211"/1.55 and the smallest eigenvalue is computed (q = 1). Recall, thatthe refractive of an material is defined via n2 = f. r . In case of the edge elementdiscretization we solve for kz by a Newton iteration. In each Newton step wesolve a resonance problem by our multigrid algorithm. In the Tables 1-3 wegive the required cycles per Newton step to reduce the error to a relativeresidual of 10-5 .

Rectangular core Waveguide. The geometry consists of a rectangularcore of relative size 1 : 2 and n = 0.7 embedded in a medium with nmedium =0.5. As can be seen in Table 1, the approximation of the eigenvalue kz is muchbetter in the edge element discretization. In this example the Maxwell solu­tion differs significantly from the Helmholtz approximation, which provides

edge nodalLevel cycles kz cycles kz

1 - 2.5558 - 2.53622 3+1 2.5555 3 2.54743 3+1 2.5554 3 2.55184 2+0 2.5554 3 2.5537

Table 1. Rectangular core waveguide. Required cycles of our multigrid-method andapproximated eigenvalue on each level and Newton iteration. The relative residualerror is reduced to 10-5

Multigrid for Maxwell Eigenvalue Problem 289

-2

32o-3 '-_~_~_~_~_~-.l

-3 -2 -,32o-3 L..-_~"":::::__~_=-_~--'

-3 -2 -,

Fig. 3. Rectangular core waveguide. Isolines of the Hz-components computed withthe edge element discretization. The rectangular core is plotted in grey

kz = 2.5724. In Fig. 3 the Hz-components of the two orthogonal eigenfunc­tions of smallest eigenvalue are plotted. In the Helmholtz approximation thesecomponents are assumed to be zero.

Rib waveguide. The geometry is sketched in Fig. 2. Outside the waveguidewe have a medium of n = 1. The relative permittivity of the horizontal stripewith a width of 0.2 is n = 3.38. This strip is embedded in a material ofpermittivity n = 3.17 at distance 0.2 to the medium. The rectangular ribhas a size of 2.4 x 1. Again, the edge element discretization approximatesthe eigenvalues far better than the nodal one (Table 2). Furthermore thenumber of cycles diminishes in each step for the edge element discretization.The magnetic field strength is plotted in Fig. 4. You can see a singularity-likeHz-distribution at the corner of the ribs.

edge nodalLevel cycles kz cycles kz

1 - 12.9685 - 12.95722 19+2 12.9672 6 12.96243 9+0 12.9669 12 12.96474 6+0 12.9668 10 12.9658

Table 2. Rib waveguide (compare Table 1)

Circular optical fiber. The optical fiber consists of a circular core withdiameter 2 and permittivity n = 1.55 embedded in a medium of permittivitynmedium = 1.5. Due to rotational symmetry the lowest eigenvalue is twice

1098

290 Peter Deuflhard et al.

4

3.8

3.6

3.4

3.2

3

2.8

2.6

2.4

2.2

2 26 8 9 10 6

Fig. 4. Rib waveguide. Isolines of H~ (left) and Hi (right)

degenerated. As can be seen in Table 3 both variants converge after a smallnumber of cycles per level. As in the above two examples the edge elementdiscretization approximates the eigenvalue better. In Fig. 5 we plot the H z ­

components of two orthogonal eigenfunctions.

edge nodal

Level cycles kz cycles kz

1 - 6.1308 - 6.12952 3+1 6.1317 2 6.13073 3+0 6.1313 2 6.13104 2+0 6.1313 2 6.1311

Table 3. Circular optical fiber (compare Table 1)

5 Conclusions

The multigrid concept developed earlier for the scalar Helmholtz equationhas been extended herein to vectorial time-harmonic Maxwell's equationsin non-magnetic materials. The algorithm depends on the chosen finite el­ement discretization of the magnetic field. Using the divergence condition

Multigrid for Maxwell Eigenvalue Problem 291

3 3

22

0 0

-1 -1

-2 -2

-3 -3-3 -2 -1 0 2 3 -3 -2 -1 0 2 3

Fig. 5. Circular optical fiber. Isolines of H; of two orthogonal eigenfunctions

one can eliminate the Hz-component, which leads to a modified transversalMaxwell equation, which may be discretized by nodal elements. Alternatively,we have directly discretized Maxwell's equations by linear edge elements forthe transversal components and nodal elements for the Hz-component thussetting up a discrete analog of the continuous Maxwell equations. For bothvariants a multigrid algorithm has been presented. It is shown experimentallythat the edge element discretization approximates the eigenvalues clearly bet­ter already on rather coarse grids. All our codes are collected in the softwarepackage ModeLab, which also includes adaptive mesh refinements.

References

1. Beck, R, Deuflhard, P., Hiptmair, R, Hoppe, R H. W., and Wohlmuth, B.:Adaptive Multilevel Methods for Edge Element Discretizations of Maxwell'sEquations. Surv. Math. Ind. 9 (1999) 271-312

2. Borm, S.: Mehrgitterverfahren fUr die Simulation zylindersymmetrischerelektromagnetischer Felder. Dissertation, Chistian-Albrechts-Universitat Kiel,(2000)

3. Boffi, D., Fernandes, P., Gastaldi, L. and Perugia, 1.: Computational models ofelectromagnetic resonators: Analysis of edge element approximations. SIAM J.Numer. Anal. 36, (1999) 1264-1290

4. Bossavit, A.: Edge-Elements for Scattering Problems. IEEE Transaction onMagnetics 25 (1989) 2816-2821

5. Bramble, J. H., Knyazev, A. V. and Pasciak J. E.: A Subspace preconditioningalgorithm for eigenvector/eigenvalue computation. Advances in Compo Math.6 (1996) 159-189

6. Chai, Z., Mandel, J. and McCormick. S. F.: Multigrid methods for nearlysingular linear equations and eigenvalue problems. SIAM J. Numer. Anal. 34(1997) 178-200

292 Peter Deuflhard et al.

7. Deuflhard, P., Friese, T., Schmidt F., Marz R, and Nolting, H.-P.: EffizienteEigenmodenberechnung fur den Entwurf integriert-optischer Chips. In K.­H. Hoffmann, W. Jager, Th. Lohmann, and H. Schunck, editors, Mathematik­Schliisseltechnologie fur die Zukunft, Springer Verlag (1996) 267-279

8. Deuflhard, P.: Differential Equations in Technology and Medicine. Computa­tional Concepts, Adaptive Algorithms, and Virtual Labs. Computational Math­ematics Driven by Industrial Applications. Lecture Notes in Mathematics vol.1739, Springer-Verlag (2000) 69-125

9. Deuflhard, P.: Newton Methods for Nonlinear Problems. Affine Invariance andAdaptive Algorithms. Springer-Verlag, to be published (2001)

10. Dillon, B. M. and Webb, J. P.: A Comparison of Formulations for the Vec­tor Finite Element Analysis of Waveguides. IEEE 'Thansactions on MicrowaveTheory and Techniques 42 (1994) 308-316

11. Dahler, B.: Ein neues Gradientenverfahren zur simultanen Berechnung der kle­insten und grassten Eigenwerte des allgemeinen Eigenwertproblems. Numer.Math. 40 (1982) 79-91

12. Friese, T.: Eine nichtlineare Mehrgitter-Methode fUr das Eigenwertproblemlinearer, nicht-selbstadjungierter Operatoren. Dissertation, FU Berlin, Fach­bereich Mathematik und Informatik, 1997.

13. Friese, T., Deuflhard, P. and Schmidt, F. A Multigrid Method for the ComplexHelmholtz Eigenvalue Problem. In C.-H. Lai, P. E. Bji1Srstad, M. Cross and O. B.Widlund, editors, Domain Decomposition Methods in Sciences and Engineering(DD11), pp.18-26, DDM.org, 1999.

14. Hackbusch, W.: Multi-Grid Methods and Applications. Springer-Verlag, NewYork,1985.

15. Hiptmair, R: Multigrid method for Maxwell's equations. SIAM J. Numer. Anal.36 (1998) 204-225

16. Nedelec, J. C.: Mixed Finite Elements in R 3 . Numer. Math. 35 (1980) 315-34117. Marz, R: Integrated Optics. Design and Modelling. Artech House, Boston,London, 1995