Propagation inside a bianisotropic waveguide as an evolution...

LUND UNIVERSITY

PO Box 117221 00 Lund+46 46-222 00 00

Propagation inside a bianisotropic waveguide as an evolution problem

Ioannidis, Andreas; Kristensson, Gerhard; Sjöberg, Daniel

2012

Link to publication

Citation for published version (APA):Ioannidis, A., Kristensson, G., & Sjöberg, D. (2012). Propagation inside a bianisotropic waveguide as anevolution problem. Abstract from Modern Mathematical Methods in Science and Technology, Kalamata, Greece.

Total number of authors:3

General rightsUnless other specific re-use rights are stated the following general rights apply:Copyright and moral rights for the publications made accessible in the public portal are retained by the authorsand/or other copyright owners and it is a condition of accessing publications that users recognise and abide by thelegal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private studyor research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal

Read more about Creative commons licenses: https://creativecommons.org/licenses/Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will removeaccess to the work immediately and investigate your claim.

https://portal.research.lu.se/portal/en/publications/propagation-inside-a-bianisotropic-waveguide-as-an-evolution-problem(62e4c1f3-e083-4550-b3e4-253467ae77de).html

PROPAGATION INSIDE A BIANISOTROPIC WAVEGUIDE

AS AN EVOLUTION PROBLEM

A. D. IOANNIDIS, G. KRISTENSSON AND D. SJÖBERG

Abstract

The free source Maxwell system for the bianisotropic medium, in a fixed frequencyω > 0 and with time convention e−iωt, is represented by the equation

(0.1) ∇× Je = iωMe

where e := (E,H)T is the electromagnetic (E/M) field; it is defined in a domainΩ ⊂ IR3, depend on ω and take values in C6. We denote

J :=

[

0 −I3I3 0

]

The matrix

M :=

[

ε ξ

ζ µ

]

characterizes the medium inside Ω and its entries are complex functions of thefrequency ω and the position r ∈ Ω. The Gauss law implies that

(0.2) ∇ ·Me = 0

Assume that the boundary Γ := ∂Ω is smooth enough; usually Lipschitz is sufficientfor most of the applications. Let n̂ be the exterior normal to Γ. For a wide classof boundaries, metallic for example, the perfect electric conductor (PEC) boundarycondition for the electric field, n̂×E = 0 on Γ, applies.Let now A = (Ax, Ay, Az)

T be a vector field in Ω; it can be represented as A =

(A⊥, Az)T

where A⊥ := Axx̂ + Ayŷ is the transverse and Az the longitudinal part.It is easily seen that the curl operator reads

(0.3) ∇×A =

[

W 00 0

]

∂z

(

A⊥Az

)

−

[

0 W∇⊥∇⊥ ·W 0

](

A⊥Az

)

where

W :=

[

0 −11 0

]

= ẑ× I3

and ∇⊥ := ∂xx̂+ ∂yŷ is the formal transverse gradient.An infinite waveguide is a cylinder

Ω = Ω⊥ × IR

where Ω⊥ ⊂ IR2 is a domain with Γ⊥. Observe that the wall of the waveguide is

Γ = Γ⊥ × IR and n̂ coincides with its transverse part and is the exterior normal

1

2 A. D. IOANNIDIS, G. KRISTENSSON AND D. SJÖBERG

to Γ⊥, whereas τ̂ := W ν̂ is the tangent vector. The PEC boundary condition nowreads

(0.4) τ̂ ·E⊥ = 0 , Ez = 0 on Γ

The fact that the longitudinal variable z runs IR allows us to formulate theMaxwell system as an evolution equation with respect to this variable. Indeed,letting

C :=

[

0 W∇⊥∇⊥ ·W 0

]

the Maxwell system is written

∂zVe = (A0 + iωM)e

where V := ẑ × J and A0 := CJ. Define now a Hilbert space X of functions of thetransverse variables and consider the E/M field e as vector–valued a function

e : IR ∋ z 7→ e(·, ·, z) ∈ X

Then A0 can be realized as an unbounded operator in X and the PEC conditionsare incorporated in the domain of A0. Actually, if we separate u ∈ X into “electric”and “magnetic” part

u =:

(

ue

uh

)

,

then A0 is given explicitly by

(0.5) A0u =

−W∇⊥uhz

−∇⊥ ·Wuh⊥

W∇⊥uez

∇⊥ ·Wue⊥

The first step is to prove that A0 is the generator of a strongly continuous groupin X. The second is to realize Maxwell system as a perturbed abstract degenerateevolution problem

(0.6) Ve′(z) = (A0 + iωM(ω))e(z)

and apply relevant perturbation arguments in order to establish well-posedness. Theresearch presented here implements exactly this program.

School of Computer Science, Physics and Mathematics, Linnæus University, 35195

Växjö, Sweden

E-mail address: andreas.ioannidis@lnu.se

Department of Electrical and Information Technology, University of Lund,

P.O. Box 118, 22100 Lund, Sweden

E-mail address: {gerhard.kristensson, daniel.sjoberg}@eit.lth.se