Beruflich Dokumente
Kultur Dokumente
e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 11, Issue 1 Ver. III (Jan - Feb. 2015), PP 04-11
www.iosrjournals.org
Abstract:In this work, we study a two grid finite element methods for solving coupled partial differential
equations of Time-Harmonic Maxwells equations. A brief survey of finite element methods for Maxwells
equation and related fundamentals, such as Sobolev spaces, elliptic regularity results, finite element methods for
Second order problems and its algorithms were reviewed. The method is based on discretization using continuous
H 1 -conforming elements for decoupling systems of partial differential equations. With this method, the solution
of the coupled equations on a fine grid is reduced to the solution of coupled equations on a much coarser grid
together with the solution of decoupled equations on the fine grid.
Keywords: Time-Harmonic Maxwells equation, finite element methods, two-grid scheme, fine and coarser
grids.
I.
Introduction
Maxwells equations consist of two pairs of coupled partial deferential equations relating to four fields,
two of which model the sources of electromagnetism. These equations characterized the fundamental relations
between the electric field and magnetic field as recognized by the founder [James Clark Maxwell(1831-1879)] of
the Modern theory of electromagnetism. However, the modern version of the Maxwells equations has two
fundamental field vector functions E ( x, t ) and H ( x, t ) in the classical electromagnetic field, with space
variable x R and time variable t R. The distribution of electric charges is given by a scalar charge
3
density function ( x, t ) and the current is described by the current density function J ( x, t ).
This paper is concerned with the discretization of time-harmonic Maxwell equations with finite
elements. The analysis of Maxwells equations for simplified cases can be reduced to the solution of the
Helmholtz equation, which in turn can be discretized using standard
II.
Literature Review
Given that
u u = f in
, n u = 0 on }
(1)
( u, v) (u, v) = ( f , v)
(2)
2
for all H 0 (curl; ), where (.,.) denotes the inner product of [ L2 ()] . Hence the space
H 0 (curl; ) is defined as follows:
H (curl; ) = { = 1 [ L2 ()]2 : = 2 1 L2 ()
x1 x2
2
H 0 (curl; ) = { H (curl; ) : n = 0 on
where n is the unit outer normal.
(3)
(4)
hence the convergence analysis of both the numerical scheme and its solvers are more complicated. For any
u H 0 (curl; ) due to the well-known Helmholtz decomposition[18, 16], we have the following orthogonal
DOI: 10.9790/5728-11130411
www.iosrjournals.org
4 |Page
(5)
u = u
1
where u H 0 (curl; ) H (div ; ) and H 0 (). The space H (div ; ) is defined as follows:
H (div; ) = { [ L2 ()]2 : =
1 2
L2 ()}
x1 x2
(6)
H (div ; ) = { H (div; ) : = 0}
1
It is trivial to show that H 0 () satisfies
( , ) = ( f , )
1
for all H 0 (),
(7)
(8)
(8) is the variational form of the Poisson problem. Many successful schemes have
been developed for solving this problem. Considering u as the weak solution of the following reduced curl-curl
problem [39], then Find u H 0 (curl; ) H (div ; ) such that
( u, ) (u, ) = ( f , )
(9)
Unlike the non-elliptic curl-curl problem (1), the reduced problem (9) is an elliptic problem. In particular, the
solution
analysis.
u has elliptic regularity under the assumption that f [ L2 ()]2 , which greatly simplifies the
III.
E =
E =
H =
H = 0
H
t
R3
occupied by the
(10)
(11)
E
J
t
(12)
(13)
where is the electric permitivity, and is the magnetic permeability. Equation (10) is called
Faradays law and describes how the changing of magnetic field affects the electric field. The equation (12) is
referred as Ampres law. The divergence conditions (11) and (13) are Gauss laws of electric displacement and
magnetic induction respectively.
Let the radiation frequency be , such that > 0, then we can find solutions of the Maxwells equations of
the form
E ( x, t ) = exp it E ( x)
H ( x, t ) = exp it H ( x)
(14)
(15)
J ( x, t ) = exp it J ( x)
( x, t ) = exp
it
(16)
( x)
(17)
DOI: 10.9790/5728-11130411
www.iosrjournals.org
5 |Page
H
= it exp it H ( x)
t
(18)
E = iH ( x)
(19)
E =
(20)
E
= iw exp iwt E ( x)
t
(21)
H = iE J
(22)
H = 0
(23)
It can be observed that when the charge is consumed, the divergence conditions (20) and (23) are always
satisfied, provided that the equations (19) and (22) holds. Then combining the equations (13) and (22) we have
E 2 E = iJ
(24)
and
H 2 H = J
(25)
Considering equation (1) with perfectly conducting boundary condition for the curl-curl problem
(24)-(25), where R is a bounded polygonal domain, R is a constant, and f [ L2 ()] . The
curl-curl problem (1) appears in the semi-discretization of electric fields in the time-dependent (time-domain)
Maxwells equations when > 0 and the time-harmonic (frequency domain) Maxwells equations when
0. If the vector equation is written as the scalar-valued in the real and imaginary parts respectively, we
obtain the following equivalent coupled equations and the boundary condition:
u1 1u1 2u2 = f1 in
(26)
2
u2 1u2 2u1 = f 2 in
u j = 0, j = 1,2,
IV.
(27)
(28)
Variational Formulation
The variational formulation can be obtained in terms of either electric field E or magnetic field H .
This depends upon the choice in which one of the equations (24)-(25) is to be satisfied weakly when discretized in
the distributional sense, and the other one strongly. Hence, in the E -field formulation, we select weak sense by
multiplying the curl-curl coupled equation (26) by a suitable test function 1 and integrate over the domain
to obtain
(29)
Therefore, we get
1u1dx = 1 f1dx
(30)
(u ) = f
1 = 0
(u1 1 ) = ( f1 1 )
(32)
www.iosrjournals.org
6 |Page
(u2 2 ) = ( f 2 2 )
(33)
Combining (29) and (31) and expressing in terms of inner products, yields
(34)
(35)
( , u) = ( 1 u1 ) ( 2 u2 )
(36)
and
(37)
where
(f1 1 ) (f 2 2 ) = ( f , )
(u, ) = (u, ) N (u, )
(38)
(39)
(u, ) = ( f , ) u, H 0 (curl; )
V.
(40)
Theorem(Regularity Result)
Assume that
f L2 () x L2 (), V L () x L (), 0 V1 ( x)
Then the variational problem (40) has a unique solution
H 2 () x H 2 ()
(41)
and
PP2
P fP0
(42)
Proof. By the bilinear and linear continuous operators which implies the linearity and boundedness of a set, we
have
| a(u, w) |
P uP1PwP1 , u, w H 01 () x H 01 ()
Hence, by the Lax Milgram Lemma, the weak formulation(40) has a unique solution such that
1 H 01 () H 01 (). Also, from the regularity theory for the second-order elliptic equations as proposed by
Evans C. Lawrence, we have
PP
H 2 ( L2 ( ))
C (PfP 2
L ( )
PP 2
L ( )
(43)
where the constant C depends only on the domain . This simply means that
PP2
P 1P0 Pf 2P0
Set u = in (40), we have
PP1
P fP0
(44)
(45)
VI.
Definition (Triangulation)
h
0
1
0
finite-dimensional subspace of the Hilbert space H 0 . Then the finite element approximation of the equation (42)
is defined as
Find
DOI: 10.9790/5728-11130411
www.iosrjournals.org
7 |Page
( h , uh ) = ( f , uh ) h S0h S0h
VII.
(46)
P hPs h 2sPP2
s = 0,1
(47)
( h , uh ) = 0 uh S0h S0h
then we have
(48)
(49)
Let
In order to show uniqueness of the solution, the auxiliary problem in equations (28)- (30) are written as
u1 ( x) V1 ( x)u1 ( x) V2 ( x)u2 ( x) = g1 ( x) x
u2 ( x) V1 ( x)u2 ( x) V2 ( x)u1 ( x) = g 2 ( x) x
u j ( x) = 0,
j = 1,2
x
VIII.
(50)
(51)
(52)
Theorem(Uniqueness Of Solution)
u H 2 () H 01 () x H 2 () H 01 ()
such that
(w, u) = (g, w) w H 01 () x H 01 ()
(53)
and
PuP2
P gP0
(54)
h
0
h
0
be the interpolation of
PehP0 hPehP1
Therefore, (47) follows from (48) and (55), which means that
(eh , ) = ( , h )
(56)
P hP0
P ehP0
(57)
P hP0
P ehP1
(58)
hence we get
P hP0 h 2PP2
(59)
IX.
Two grid method is a discretization technique for nonlinear equations based on two grids of different
sizes. The main idea is to use a coarse grid space to produce a rough approximation of the solution of nonlinear
problems. This method involves a nonlinear problem being solved on the coarse grid with grid size H and a
linear problem on the fine grid with grid size h << H .
X.
The finite element discretization (46) corresponds to a coupled system of equations in the general case.
Thus, to reduce the rigour another finite element space S0 ( S0 H 0 ()) defined on a coarser
H
DOI: 10.9790/5728-11130411
www.iosrjournals.org
8 |Page
XI.
Algorithm A1
(60)
(61)
It can be observed from step 2 that the linear system is decoupled and consists of two separate Poisson
equations. However, on the coarser space it is required that a coupled system is solved in step 1, since the
H
smallness of the S 0 rather than the dimension of S 0 is evident. It therefore follows that
optimal accuracy in
h.
Theorem
P h*P1H 2
(62)
Consequently,
P h*P1h H 2
(63)
h in H 1 -norm for H 2
*
Proof. Let eh = h and eh = h h , it then follows that by (61) and (46) we have
(eh , uh ) N ( h H , uh ) = 0 uh S0h S0h
(64)
then,
PehP12 (eh , eh )
P h H P0PehP0
and then
PehP1
P h H P0
(65)
P h H P0 P hP0 P H P0
we get
P h H P0 h 2 H 2
(66)
Therefore, (62) follows from (65) and the above inequality. Also, (63) follows from (47), (62) and the following
inequality:
XIII.
Let
Algorithm A2
= 0. Assume that S S has been obtained, then hk 1 S0h S0h is defined as follows:
0
h
k
h
Step 3. Find eH S0 S0
H
h
0
h
0
such that
Step 4. Find
k 1
h
(67)
S S such that
h
0
h
0
( hk 1 , uh ) = (f , uh ) N ( hk eH , uh ), uh S0h S0h
XIV.
Under the assumption (41),
P h P H
k
h 1
k 1
k
h
Theorem
, k 1
DOI: 10.9790/5728-11130411
(68)
(69)
www.iosrjournals.org
9 |Page
P hkP1h H k 1 , k 1
(70)
in
H 1 -norm if H = h
1
k 1
( h hk 1 , uh ) = N ( h ( hk eH ), uh ), uh S0h S0h
k 1
which, by taking uh = h h , gives
P h hk 1P12 ( h hk 1 , h hk 1 )
(71)
P h ( hk eH )P0P h hk 1P0 ,
and then
P h hk 1P1
P h ( hk eH )P0
(72)
( h ( hk eH ), ) = 0, S0H S0H
(73)
P h ( hk eH )P12 ( h ( 1k eH ), h ( hk eH ))
= ( h ( hk eH ), h hk )
P h ( hk eH )P1P h hkP1 ,
and then
P h ( hk eH )P1
P h hkP1
(74)
k
h
H
0
H
0
be the interpolation
P h ( hk eH )P02 = ( h ( hk eH ), u) = ( h ( hk eH ), u u I )
P h ( hk eH )P1Pu u I P1
HP h ( hk eH )P1PuP2
HP h ( hk eH )1PP h ( hk eH )P0
which implies that
P h ( hk eH )P0 HP h ( hk eH )P1
(75)
(76)
h1 is the solution *h obtained by Algorithm A1, thus, (68) follows from (76) and (62).
Furthermore, (70) follows from (68), (47) and the following inequality:
1
k 1
H
0
XV.
Comments
Using the Maxiwell equation as an illustration, we presented in this paper a new two-grid discretization
technique to decouple systems of partial differential equations. This new application of the two-grid decoupling
technique can obviously be extended in many different ways, for different discretizations such as finite volume
and finite difference methods for other types of partial differential equations.
DOI: 10.9790/5728-11130411
www.iosrjournals.org
10 |Page
J. Xu and A. Zhou, Local and parallel finite element algorithms based on two-grid discretizations, Math. Comp. 69 (2000), 881-909.
M. Marion and J. Xu, Error estimates on a new nonlinear Galerkin method based on two-grid finite elements, SIAM J. Numer. Anal.,
32, 4(1995), 1170-1184.
J. Xu, A novel two-grid method for semilinear equations, SIAM J. Sci. Comput., 15, 1(1994), 231-237.
P. G. Ciarlet, The finite element method for elliptic problems, North-Holland, Amsterderm, 1978.
R. P. Fedorenko, A relaxation method for elliptic difference equations, USSR Computational Math Phys...1(5) 1092-1096,(1961).
M. Marion and J. Xu, Error estimates on a new nonlinear Galerkin method based on two grid finite elements, SIAM J. Numer. Anal.,
32,4(1995), 1170-1184.
J. Jin, S. Shu, and J. Xu, A two-grid discretization method for decoupling systems of partial differential equations (Volume
75,Number 256, October 2006, pages 1617-1626)
P. Solin, Partial Differential Equations and the Finite element method (2006).
S. Larson and V. Thomee, partial differential equations with numerical methods (2009)
J. Xu, Two grid finite element discretization techniques for linear and nonlinear partial differential equation, SIAM, J. Numer. Anal,
33, 5(1996). 1757-1777.
C. B. Susanne and L. R. Scott, The Mathematical Theory of finite element methods, Third edition (2008)
L. C. Evans Partial differential equations, Graduate studies in Mathematics volume 19(1997)
Bossavit. Discretization of electromagnetic problems: the generalized finite differences In P.G. Ciarlet, W.H.A. Schilders, and
E.J.W. Ter Maten, editors, Handbook of Numerical Analysis, Vol. XIII, pages 105-197, North-Holland, Amsterdam, 2005.
L. Demkowicz. Finite element methods for Maxwells equations. In E. Stein, R. de Borst, and T. J. R. Hughes, editors, Encyclopedia
of Computational Mechanics, pages 723-737. Wiley, Weinheim, 2004
R. Hiptmair. Finite elements in computational electromagnetic. Acta Numer., 11:237-339, 2002
P. Monk. Finite Element Methods for Maxwells Equations. Oxford University Press, New York, 2003
R3
DOI: 10.9790/5728-11130411
www.iosrjournals.org
11 |Page