Renato Cardoso Mesquita

Departamento de Engenharia Eltrica UFMG

renato@ufmg.br
Problemas eletromagnticos modelagem
bsica;
Mtodos numricos baseados em malhas;
Introduo aos mtodos sem malha.
Nossos principais trabalhos na rea.
Concluses
Equaes de Maxwell:
= V D

.
0 . = VB

t
D
J H x
c
c
+ = V


t
B
E x
c
c
= V


Sem variao no tempo, s estamos
interessados no campo eltrico:
= V D

. 0 = V E x

0 . = VB

J H x

= V
Exemplo 1: Eletrosttica
Aplicao: micromotor
eletrosttico
As equaes ficam:
Relao entre D e E:
= V D

.
0 = V E x

E D c =

Permissividade eltrica
Se
==>
0 = V E x

V E V =

Potencial escalar eltrico!
Equao diferencial:
Equao de Poisson
c no constante
Geralmente descontnuo
( ) c = V V V

.
Condio de contorno de Dirichlet;
Condio de contorno de Neumann:
Condies de interface (descontinuidade)
g o
em V V I =
h n
em D
n
V
I =
c
c
c
c
c c I
c
c
=
c
c
em
n
V
n
V
2
2
1
1
c
c c I
c
c
=
c
c
em
n
V
n
V
2
2
1
1
( ) c = V V V

.
o
V V =
n
D
n
V
=
c
c
c
Equaes de Maxwell:
= V D

.
0 . = VB

t
D
J H x
c
c
+ = V


t
B
E x
c
c
= V


Exemplo de aplicao: radar
H B

=
t
D
H x
c
c
= V


t
B
E x
c
c
= V


( )
t
H
E x
c
c
= V



E D

c =
( )
t
E
H x
c
c
= V


c
( )
t
H
E x
c
c
= V

( )
t
E
H x
c
c
= V


c
( )
t
E
H x
c
c
= V


c
2
2
t
E
t
H
x
c
c
=
|
.
|

\
|
c
c
V

c
2
2
1
t
E
E x x
c
c
=
|
|
.
|

\
|
V V


c

Definir Condies de contorno;

Interface entre materiais descontnuos;
...
Parte-se das equaes de Maxwell;
Consideram-se as condies
especficas do problema;
EDPs do problema
Condies de contorno
Condies de interface (meios com
descontinuidade nas caractersticas fsicas)
Mtodos analticos:
S funcionam para problemas muito simples
(geometria simples, materiais lineares, ...)
Mtodos numricos
Baseados em malha:
Elementos finitos (FEM) elementos nodais e de aresta;
Diferenas finitas (FDM) domnio do tempo - FDTD;
Finite Integration Technique (FIT) ;
Elementos de contorno (BEM);
Mtodo dos momentos (MoM);
Sem malha
Mtodos sem malha (MM).
Boa parte dos mtodos numricos utilizados
(incluindo a maioria dos mtodos sem malha)
baseada no mtodo de Galerkin.
Forma forte Forma fraca
Discretizao pelo
mtodo de Galerkin
(W) (S)
(G)
Mtodos numricos:
fornecem funes
de base para o
mtodo de Galerkin
Forma Matricial
(M)
(S) Dados c e , determinar a funo V: O-> 9 que
satisfaa:
Dirichlet
Neumann
Interface
g
em V V I =
0
h n
em D
n
V
I =
c
c
c
k
em
n
V
n
V
I
c
c
=
c
c
2
2
1
1
c c
( ) c = V V V

.
Seja S o espao das funes admissveis e U o
espao das funes de teste:
S = { V | V eH
1
(O), V(x,y) = V
0
, (x,y) eI
g
}
U = {w | weH
1
(O), w(x,y) = 0, (x,y) eI
g
}
H
1
(O), espao de funes com derivada primeira
com quadrado integrvel
Produto interno em H
1
(O):
}
O
O >= < Vwd w V,
Montamos o resduo para a equao a ser resolvida
no domnio:
Efetuamos o produto interno com uma funo de
teste, weU. Foramos a ortogonalidade do
resultado, w e U:
( ) | | U w d w V w R e = O + V V >= <
}
O
0 . , c
( ) c + V V = V R .
( ) c = V V V

.
(W) Dados , V
0
e D
n
, determinar V e S, tal que
Interpretao fundamental: ortogonalidade do
resduo em relao ao espao das funes de teste
U w d wD d w d V w
h
n
e I O = O V V
} } }
I O O
c .
( ) | | U w d w V w R e = O + V V >= <
}
O
0 . , c
Construir uma aproximao de dimenso finita
para os espaos S e U S
h
e U
h
, onde
S
h
c S , U
h
c U
Se u
h
e S
h
e w
h
e U
h
, ento:
V
h
(x,y) = V
0
,(x,y) eI
g
w
h
(x, y) = 0, (x,y) eI
g
( ) S g U d g y x V S V
h
n
h h h h
e e + = e

=
, , ,
1
o o
o
o

( ) U c y x w U w
n
h h h
e = e

=
o o
o
o
, ,
1
(a no ser por g
h
, S
h
e U
h
so
compostos pela mesmas funes)
Reescrever a forma fraca em termos de V
h
e w
h
:
(G) Dados , V
0
e D
n
(como em W), determinar V
h
=
y
h
+g
h
, onde g
h
e S
h
e y
h
e U
h
, tal que:
h h h h
n
h
h h h
U w d g w d D w
d w d y w
h
e O V V I
O = O V V
} }
} }
O I
O O
.
.
c
c
U d y
n
h
e =

=
o o
o
o
,
1
O mtodo de Galerkin, como apresentado,
tambm conhecido como mtodo de Bubnov-
Galerkin;
Se as funes de base de S
h
fossem diferentes das
de U
h
, teramos o mtodo de Petrov-Galerkin.
As funes de S
h
precisam satisfazer
explicitamente as condies de contorno de
Dirichlet!
A escolha das funes de base no arbitrria.
Interpretao fundamental: Resduo ortogonal ao
espao de aproximao
( ) | |
h h h h h h
U w d w V w R e = O + V V >= <
}
O
0 . , c
S
h
V
h
R
h
V
S

o
Para que o mtodo
funcione, a escolha das
funes
o
deve ser feita
de modo que S
h
aproxime
S de forma consistente.
Como escolher estas funes de maneira
sistemtica a questo fundamental que os
mtodos numricos tentam responder
Como determinar as funes de base (
o
) necessrias
para construir as funes de U
h
e S
h
?
No mtodo de elementos finitos, isto simples:
Criam-se funes chapu, N
A
, associadas a cada n A
da malha.
As funes so iguais a 1 naquele n e 0 nos demais
(propriedade do delta de Kronecker, o
ij
).
Na nomeclatura do MEF estas funes so denominadas
funes de forma.
O
etc ...
1
2
3
1
N
3
(x,y)
Funo de forma
Possuem suporte compacto: s so diferentes de zero em
uma pequena parcela do domnio;
Formam uma partio da unidade:
Satisfazem o delta de Kronecker: N
i
(x
j
) = o
ij
fcil impor condies de contorno de Dirichlet (ou seja, fcil
gerar funes que pertenam a S
h
.
Satisfazem a condio de reproduo de um campo
linear:
Possuem consistncia de ordem 1 (conseguem reproduzir
polinmios de primeira ordem).
x x N
n
i
i
=

=
, 1 ) (
1
, ) (
1
x x x N
i
n
i
i
=

=
Gera-se a aproximao da soluo usando as
funes de forma geradas na malha de elementos
finitos:
Substituindo as expresses das aproximaes na
forma de Galerkin, obtm-se o sistema matricial,
(M) [K][d] = [f]
O V V =
}
O
d N N
B A
. K
AB
c
B
B
n A A A
g K d D N d N f
h
g
AB } }

O
I
e
I O =
q

( )
A
n
A
A
h
N d y x V

=
=
1
,
Observaes:
1- K simtrica, positiva definida e esparsa
2- O processo de clculo das matrizes e vetores
pode ser efetuado elemento por elemento
Partio (cobertura) do domnio;
Define a conectividade entre os ns.
Estruturada:
adaptao mais
difcil geometria
No estruturada: adapta-se mais
facilmente geometria
So mais complexas de serem geradas.
Malhas de baixa qualidade (tringulos ou
tetraedros distorcidos, muito distantes dos
equilteros) podem gerar grandes erros na
soluo.
Gerar uma malha 3D de qualidade para o
mtodo de elementos finitos, para geometrias
arbitrrias ainda um dos grandes problemas
na aplicao do mtodo de elementos finitos.
Obter as funes de forma para o mtodo de
Galerkin sem usar uma malha.
Usam apenas ns (pontos) espalhados sobre
o domnio
Eliminar a malha pode gerar mtodos
mais simples para problemas muito
complexos:
Geometrias 3D complexas;
Implementao de adaptatividade;
Problemas envolvendo movimento e
geometria varivel:
Mquinas eltricas;
Otimizao de forma e problemas inversos.
No caso dos mtodos sem malha, a determinao das
funes de forma no to simples.
desejvel que elas satisfaam as mesmas condies do
MEF:
Suporte compacto (se no satisfizerem, o sistema de equaes
obtido no ser esparso);
Partio da unidade (se no satisfizerem, no sero capazes de
reproduzir um termo constante da soluo);
Condio de reproduo de campo linear , ou seja, tenham, no
mnimo, consistncia de ordem 1
Delta de Kronecker (nem sempre satisfazem neste caso, teremos
dificuldades de impor condies de contorno de Dirichlet);
Possam ser obtidas a partir de uma distribuio arbitrria de ns ;
O algoritmo para sua obteno seja computacionalmente eficiente;
Vrias estratgias foram desenvolvidas.
J testamos:
Smoothed Particle Hydrodynamics (SPH)
Reproducing Kernel Particle Method (RKPM)
Moving Least Squares (MLS)
Point Interpolation Method (PIM)
Radial Point Interpolation Method (RPIM)
Radial PIM com reproduo polinomial (RPIMp)
Funes de Shepard .
...
Desenvolvidos originalmente por matemticos
para ajuste de superfcies e regresso de dados.
O mtodo um dos mais utilizados atualmente
para a construo de funes de forma de
mtodos sem malha.
Principais caractersticas:
A funo de aproximao gerada contnua e suave em
todo o domnio;
O mtodo capaz de gerar uma aproximao com a
ordem de consistncia que se desejar.
Seja u(x) uma funo definida em um domnio .
Sua aproximao em um ponto x u
h
(x).
Aproximao por MLS:
a(x) :
Note que a(x) varia com x!
p(x) o vetor de funes de base
normalmente monmios de baixa ordem
possvel enriquecer a base com outras funes.
O vetor de coeficientes a(x) determinado usando os
valores de u(x) em um conjunto de ns includos no
domnio de suporte de x.
O domnio de suporte de x determina o nmero de ns
(n) que so usados localmente para aproximar o valor de
u(x) no ponto x.
Dado o conjunto dos n valores da funo sendo
aproximada nos n ns do domnio de suporte:
u
1
, u
2
,,u
n
, em x
1
, x
2
,,x
n
Pode-se calcular o valor da funo aproximada
nestes ns:
Um funcional de resduos ponderados
construdo utilizando os valores aproximados da
funo e os parmetros nodais :
u
I
= u(x
I
),
Funcional:
Exemplo de funes peso
No MLS, em um ponto arbitrrio x, a(x) minimiza
o resduo ponderado.
A condio de minimizao requer que:
Mas
Portanto:
A a matriz de momentos (ponderada).
Onde:
Resolvendo o sistema:
Mas:
Portanto:
Mas, como:
Obtem-se as funes de forma para o MLS:
O requisito n>>m geralmente evita a
singularidade da matriz de momentos
ponderados, de maneira que A
1
exista.
Exemplos de funo de forma obtidas por MLS:
Suas derivadas de primeira ordem:
OBS: no satisfazem o delta de
Kronecker, mas formam uma
partio da unidade!
A consistncia da aproximao MLS depende da
ordem do polinmio completo utilizado (p(x)).
Se a ordem k, as funes de forma do MLS possuem
consistncia C
k
.
Propriedade importante: qualquer funo que
aparea na base do MLS reproduzida
exatamente
Se soubermos a priori algo sobre o comportamento da
soluo, este comportamento poder ser includo na
aproximao, pela simples adio dele base do MLS
(desde que se garanta que a matriz A continuar
inversvel)
De posse das funes de forma geradas pelo
MLS, substitui-las na forma fraca.
Obtm-se sistema matricial semelhante ao do
MEF:
Ku=f
Obs: necessrio integrar em todo domnio
Gerar uma malha de integrao;
EFG no um mtodo totalmente sem malha.
O u V u V =
}
O
d
B A
. K
AB
c
B
B
n A A A
g K d D N d N f
h
g
AB } }

O I
e
I O =
q

Usa uma estratgia diferente da do MLS;

Nmero de ns no domnio de suporte igual ao
nmero de monmios usados na base;
Vantagem:
Satisfaz delta de Kronecker imposio de condies
de contorno facilitada;
Desvantagens:
Existem distribuies de ns em que no se consegue
determinar as funes de forma (matriz singular)
usar funes de base radial ao invs de polinmios
RPIM e RPIMp ;
Descontinuidades das funes de forma (difcil usar
uma forma fraca global);
Se as funes de forma no so contnuas,
melhor usar formas fracas locais;
Os domnios onde as formas fracas so satisfeitas
so superpostos e cobrem o domnio global
Para isso, utiliza-se uma formulao do tipo
Petrov-Galerkin;
Funes de teste diferentes das funes de forma;
Funes de teste escolhidas de maneira a simplificar e
facilitar a formulao;
Grande flexibilidade para escolha tanto das funes de
forma quanto das funes de teste;
Domnios das funes de forma podem ser
distintos dos das funes de teste
Integrao local mtodo verdadeiramente sem
malha.
Meshless Local Petrov-Galerkin - MLPG
Mtodo sem malha, segue construo
semelhante ao do mtodo de elementos
finitos
Porm utiliza uma estratgia diferente para
obter as funes de forma, onde no se usa
uma malha.
As funes so computacionalmente mais
complicadas;
Algumas no satisfazem as condies do delta de
Kronecker.
Diversas maneiras de obter as funes de forma
(MLS, PIM, RPIM, RPIMp, SPH, RKPM, Shepard,).
O mtodo ainda est em sua infncia.
Problemas / questes:
imposio de condies de contorno;
melhoria de desempenho computacional;
quais as melhores formulaes para problemas
especficos em eletromagnetismo (baixas e altas
freqncias / domnio do tempo )?
etc.
Apresentaremos algumas das solues
geradas em nosso grupo de pesquisa na
UFMG.
-0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6
-0.5
-0.4
-0.3
-0.2
-0.1
0
0.1
0.2
0.3
0.4
0.5
Distribuio de Ns
N
Y(cm)
X(cm)
Viana, Simone A. ; Mesquita, R.C. . Moving least square
reproducing kernel method for electromagnetic field
computation. IEEE Transactions on Magnetics, New York, v. 35,
n. 3, p. 1372-1375, 1999.
PARREIRA, Guilherme F. ; FONSECA, Alexandre R.; LISBOA,
Adriano C. ; SILVA, Elson Jos da ; MESQUITA, R. C. . Efficient
Algorithms and Data Structures for Element-free Galerkin
Method. IEEE Transactions on Magnetics, New York, v. 42, n.
4, p. 659-662, 2006.
EFG
Fonseca, Alexandre R. ; Viana, Simone A. ; Silva, Elson J. ;
Mesquita, R.C. . Imposing boundary conditions in the
Meshless local Petrov Galerkin method. IET Science
Measurement & Technology, v. 2, p. 387, 2008.
Boundary nodes
Inner nodes
m
j
Nodes that influence the
node m shape-function.
Nodes that influence the
node j shape-function.
O
j
j i k
|
i
1
|
j
|
k
O
m
|
m
|
n
|
l
m l n
MLPG
Guimares, Frederico G. ; Saldanha, Rodney R. ; Mesquita,
Renato C. ; Lowther, David A. ; Ramirez, Jaime A. . A Meshless
Method for Electromagnetic Field Computation Based on the
Multiquadric Technique. IEEE Transactions on Magnetics, v.
43, p. 1281-1284, 2007.
0 20 40 60 80 100
0
10
20
30
40
50
60
70
80
90
100
25 30 35 40 45 50 55 60
10
15
20
25
30
35
40
45
50
Coppoli, Eduardo H. R. ;
MESQUITA, R. C. ; Silva, Renato S.
Periodic Boundary Conditions in
Element Free Galerkin Method.
COMPEL The International
Journal for Computation and
Mathematics in Electrical and
Electronic Engineering, vol. 28, p.
922-934, 2009
E.H.R. Coppoli, R. C. Mesquita, R.
S. Silva - Field-Circuit Coupling
With Element-Free Galerkin
Method, 14th Biennial IEEE
Conference on Electromagnetic
Field Computation CEFC
(Chicago, maio 2010).
EFG com interpolating
moving least squares
FONSECA, Alexandre R. ; MENDES, Miguel L. ; Mesquita, Renato
C. ; SILVA, Elson J. da . Mesh Free Parallel Programming for
Electromagnetic Problems. Journal of Microwaves ,
Optoelectronics and Electromagnetic Applications, vol. 8, p.
101S-113S, 2009.
Update Electric
Field Thread 1
Join Threads
Update Magnetic
Field Thread 1
Update
Field Thread 2
Magnetic Update
Field Thread N
Magnetic
Initialize nodes
Update Electric
Field Thread 2
Update Electric
Field Thread N
Join Threads
j
K
f
i
SPEM
MLPG
Alexandre R. Fonseca, Bruno C.
Corra, Elson J. Silva and Renato C.
Mesquita - Improving the Mixed
Formulation for Meshless Local
PetrovGalerkin Method, IEEE
Transactions on Magnetics (2010),
v. 46, p. 2907-2910, 2010.
Nicomedes, Williams L. ; MOREIRA,
Fernando Jos da Silva ; MESQUITA, R. C.
. Electromagnetic Scattering Problem
Solving by an Integral Meshless-Based
Approach. Aceito para publicao no
COMPEL Journal of Computations and
Mathematics in Electrical Engineering,
2010 .
Nicomedes, Williams L. ; MESQUITA,
R.C., Moreira, Fernando J. S. - 2D
Scattering Integral Field Equation
Solution through an IMLS Meshless-
Based Approach, IEEE Transactions on
Magnetics, 2010, v. 46, p. 2783-2786,
2010
Bruno C. Corra, Elson J. Silva, Alexandre R. Fonseca, Diogo B. Oliveira
& Renato C. Mesquita - Meshless Local Petrov-Galerkin in Solving
Microwave Guide Problems, 14th Biennial IEEE Conference on
Electromagnetic Field Computation CEFC (Chicago, EUA, maio 2010)
Case Iris RPIMP 2D (GHz) FEM 3D (GHz)
1 a/8 9.255 9.251
2 a/4 9.168 9.169
3 a/2 8.765 8.768
4 7a/8 8.6 7.585
Frequency [Hz]
|
E
|

-

e
l
e
c
t
r
i
c


f
i
e
l
d

[
V
/
m
]
0 0.01 0.02 0.03 0.04 0.05 0.06
0
0.005
0.01
0.015
0.02
0 0.01 0.02 0.03 0.04 0.05 0.06
0
0.005
0.01
0.015
0.02
0 0.01 0.02 0.03 0.04 0.05 0.06
0
0.005
0.01
0.015
0.02
0 0.01 0.02 0.03 0.04 0.05 0.06
0
0.005
0.01
0.015
0.02
Ainda no publicado (trabalho do aluno Williams Nicomedes)
2009 SBMO/IEEE MTT International
Microwave & Optoelectronics Conference
(IMOC 2009 novembro, 2009):
Williams L. Nicomedes, Renato C. Mesquita and
Fernando J. S. Moreira - A Local Boundary Integral
Equation (LBIE) Method in 2D Electromagnetic Wave
Scattering, and a Meshless Discretization Approach
(p. 133-137).
Williams L. Nicomedes, Renato C. Mesquita and
Fernando J. S. Moreira - The Unimoment Method
and a Meshless Local Boundary Integral Equation
(LBIE) Approach in 2D Electromagnetic Wave
Scattering (p. 514-518).
Williams L. Nicomedes, Renato C. Mesquita, Fernando J. S.
Moreira - A Meshless Local Boundary Integral Equation Method
for Three Dimensional Scalar Problems. 14th Biennial IEEE
Conference on Electromagnetic Field Computation CEFC
(Chicago, EUA, maio 2010). Aceito para publicao no IEEE
Transactions on Magnetics.
PARREIRA, Guilherme Fonseca ; SILVA, Elson Jos da ; FONSECA,
Alexandre Ramos ; MESQUITA, R. C. . The Element-free Galerkin
Method in 3-Dimensional Electromagnetic Problems. IEEE
Transactions on Magnetics, v. 42, n. 4, p. 711-714, 2006.
Luciano C. A. Pimenta, Miguel L. Mendes, Renato C. Mesquita, and Guilherme
A. S. Pereira, Fluids in Electrostatic Fields: An Analogy for Multi-Robot
Control, IEEE Transactions on Magnetics, v. 43, 2007.
Luciano C. A. Pimenta ; Nathan Michael ; MESQUITA, R. C. ; Guilherme A. S.
Pereira ; Vijay Kumar . Control of Swarms Based on Hydrodynamic Models.
IEEE International Conference on Robotics and Automation, 2008.
Nasses Z. Lima; Renato C. Mesquita; Marcos
L. Assis Jr., Framework for meshless methods
using generic programming, 14th Biennial
IEEE Conference on Electromagnetic Field
Computation CEFC (Chicago, EUA, maio
2010)
Mtodos sem malha so alternativa interessante
aos mtodos baseados em malhas;
H muito ainda para desenvolver:
Gerar implementaes ainda mais eficientes;
Investigar as formulaes mais adequadas para os
diversos tipos de problemas eletromagnticos;
Novos tipos de funes de interpolao:
Por exemplo, seria possvel desenvolver o equivalente aos
elementos de aresta (funes de interpolao vetoriais)
sem uma malha?
Estamos trabalhando ativamente nessas
questes!
Ao mesmo tempo, h muitas questes
matemticas em aberto:
Vrios dos mtodos ainda no tm estimativas tericas
de convergncia;
Existem algumas tcnicas que desenvolvemos que no
temos certeza se funcionariam corretamente em todas
situaes;
um campo vasto de pesquisa para
Engenheiros, Matemticos, Fsicos, ...
renato@ufmg.br