Métodos Numéricos en Magnetoestática
Métodos Numéricos en Magnetoestática
Gonzalo Casaravilla
Universidad de la Repblica - Uruguay
1 Introduccin
Las ecuaciones de Maxwell [1][2] resumen las leyes del electromagnetismo clsico.
Bsicamente son ecuaciones en derivadas parciales (PDE) y en su forma mas general
involucra las tres dimensiones y el tiempo. Desde sus orgenes han surgido diversos
mtodos de anlisis y clculo basados en formulaciones matemticas de elevada
complejidad, ya sea en el dominio del tiempo o la frecuencia.
Si nos atenemos al objeto inicial de este trabajo y se analizan, por ejemplo, los mtodos
de clculo de los esfuerzos estticos dentro de transformadores, encontramos cuatro
mtodos de clculo. El mtodo de Rogowski , el mtodo de Rabins (Serie Simple de
Fourier cuyos coeficientes son funciones de Bessel y Struve), el Mtodo de Roth (Serie
Doble de Fourier), el mtodo de las Imgenes y finalmente el ya mencionado FE [7][8].
Queda por tanto planteada las duda de si las FD son adecuadas o no para resolver
problemas magnetoestticos (o sus anlogos electroestticos)
Respecto a las PED que aparecen en Electromagnetismo se puede decir que son
generalmente ecuaciones Elpticas que se reducen a los tres tipos bsicos de Laplace,
Poisson y Helmholtz [9][10][11] [12][13].
En cuanto a las condiciones de borde, existen casos de los tres tipos Neumann, Dirichlet
y, Mixtas [9][10][11] [12][13]. En temas magnticos generalmente hay condiciones de
borde en las que el campo magntico es perpendicular a una determinada frontera, por
lo que la condicin de borde termina siendo que alguna derivada parcial se anule
(Neumann). En cambio para casos en los que intervienen temas Elctricos (potenciales
elctricos), las condiciones terminan siendo imponer un valor en la frontera (Dirichlet).
Finalmente en problemas mixtos en donde queremos considerar campos magnticos y
elctricos aparecen naturalmente condiciones de borde mixtas.
2 Magnetoesttica
D
HIERRO BT: Baja tensin
H = J+ Ampere AIRE AT: Alta tensin
t
B = 0 Gauss Bobinado BT 1
donde Bobinado BT 2
D
Si no hay desplazamiento de cargas libres, = 0 , por lo que la ecuacin de Ampere
t
queda H = J
Por otra parte, de la ecuacin de Gauss se tiene 1 que existe A tal que
B = A
Donde A se define como el potencial vector de B
Por otra parte en el aire se tiene que B = 0 J por lo tanto
( A) = 0 J
Desarrollando esta expresin para problemas con simetra plana (2D), como por
ejemplo transformadores del tipo Core Type y Shell Type cuyo corte podra ser el
que nuestra la Figura 1, se tiene que
v r r
i j k
A( x, y ) r A( x, y ) r
( A) = = i j
x y z y x
0 0 A( x, y )
v r r
i j k
2 A( x, y ) 2 A( x, y ) r r
( A) = = + k = J ( x , y ) k
x y z x y 2
2 0
A( x, y ) A( x, y )
0
y x
2 A( x, y ) 2 A( x, y )
+ = 0 J ( x, y )
x 2 y 2
1
Se puede demostrar que ( A) = 0 A
A( x, y ) r A( x, y ) r
B = A = i j
y x
A( x, y ) r A( x, y ) r A( x, y ) A( x, y ) r A( x, y ) r
A = i+ j+ k= i+ j
x y z x y
resulta para este caso particular que
0 1
B= ( A)
1 0
Para el hierro, se supone que =, por lo cual se puede demostrar [1][2] a partir de las
propias ecuaciones de Gauss y Ampere que el campo magntico B del lado del aire en
las interfaces hierro-aire, es perpendicular a las mismas, hecho que debe ser tenido en
cuenta como condicin de borde en la resolucin de la ecuacin diferencial.
r A( x, y ) r A( x, y ) r
B = A = i j
y x
por lo que, por ejemplo, la condicin de borde en una frontera vertical ser que la
componente vertical de campo B sea nula, resultando
A( x, y )
By = =0
x
y j
j=1
i=1 i=n
i
x
2 A Ai 1, j 2 Ai , j + Ai +1, j
= + O(x 2 )
x i , j
2
x 2
Ai 1, j 2 Ai , j + Ai +1, j Ai , j 1 2 Ai , j + Ai , j +1
+ = 0 J ( x, y )
x 2
y 2
Si definimos el vector S como una columna de dimensin mn con las incgnitas Aij
ordenados por las filas de la grilla tal como sigue
S1 A1, j
. .
S=S con S j = Ai , j
. .
S m An, j
Por tanto podremos ir formando la matriz Q (mn x mn) que determina el sistema de
ecuaciones a resolver tal que QS = G siendo G el trmino independiente de la
ecuacin de Poisson (-oJ(x,y)).
Por ejemplo, para cada punto interior de la grilla (i,j), se aplica la discretizacin vista.
Tal cmo fue definido S, resulta que para cada punto (i,j) queda definida la fila k=i+n(j-
1) en la que se calcularn los trminos de la matriz Q.
1 1
= = = -2( + )
x 2 y 2
En resumen, para cada elemento interior de la grilla (i,j) tendremos que se definen
algunos elementos de la fila k=i+n(j-1) de la matriz Q, siendo los dems nulos.
k-n k k+n
[1..n]...[1....i....n ][1....i - 1 i i + 1.....n ][1....i....n ]...[1..n]
A 1,1
k 0............0 0.......0 0.........0 0.............0 Ai , j = 0 J (i, j )
An ,m
A 2 A y 2
Ai ,2 = Ai ,1 + .y + 2 . + O(y 3 )
y i ,1 y i ,1 2
123
=0
A
2
(Ai,2 Ai,1 ) ( )
= 2 + O y
y 2 i ,1 y 2
Ai 1,1 2 Ai ,1 + Ai +1,1 (A Ai ,1 )
+2 = 0 J ( x, y ) = 0 J (i,1)
i, 2
x 2 y 2
j=m
j=1
j=1
i=1 i=n
x i
Figura 3. Condiciones en la frontera j=1
Por tanto podemos determinar para los (n-2) puntos en consideracin perteneciente a
dicho borde, las filas de la matriz Q que quedan determinadas. Como j=1, las filas que
estaremos determinando son las filas k=2 .. (n-2) del vector S1.
k k+n
[1..........i - 1 i i + 1.....n ] [1....i....n ]........[1..n]
A1,1
k 0......0 0.........0 2 0.............0 Ai ,1 = 0 J (i,1)
An ,1
(A A1,1 ) (A A1,1 )
2 2 ,1
+2 1, 2
= 0 J ( x, y ) = 0 J (1,1)
x 2
y 2
j=m
j=1
j=1
i=1 i=n
i=1
x
Figura 4. Discretizacin del vrtice 1,1
k k+n
[1 2........n][1.......n]......... ..[1..n]
k = 1 2 0...0 2 0......................0 A 1,1 0 J (1,1)
=
An ,1
Como resumen se podra ver a que lugares de la matriz Q contribuye cada zona de la
grilla
En este punto surge la pregunta: Hay alguna forma de seleccionar a priori la grilla y
tener asegurada la convergencia numrica del mtodo de diferencias finitas?. Para
intentar contestar esta pregunta se intentar analizar si el criterio de Von Neumann
responde la pregunta planteada.
N
A( xi , y j ) = Ai( j ) = E w( j ) e si s = 1
w=1
E w( j +1) w
G = ( j)
1 =
Ew N
E w( j +1) E w( j )
Si nos atenemos a la definicin de G y asumimos que resulta
E w( j ) E w( j 1)
2 cos 2 G 1 2 + G y 2
+ =0 G 2 2(a + 1)G + 1 = 0 con a = (cos 1)
x 2 y 2 x 2
Revisando los criterios de seleccin de grilla de los mtodos numricos como el FDTD,
resulta evidente, y posiblemente lo nico que se puede hacer, la adopcin de criterios
prcticos como es el de Courant, por el cual se selecciona una grilla que no avance ms
que una fraccin de longitud de onda de la frecuencia mas alta presente en el fenmeno
estudiado [14][15][16].
Usa Diferencias Finitas (las define como avanzadas) con Interpolacin Cubica.
5 Conclusiones
Del anlisis del estado del arte actual se concluye que Difrencias Finitas son adecuadas
y son utilizadas casi exclusivamente para resolver problemas electromagnticos
transitorios en los que interviene el tiempo mediante el mtodo Diferencias Finitas en el
Dominio del Tiempo. Respecto a como se resuelven problemas de magnetoesttica (o
electroesttica), el mtodo de Diferencias Finitas es el mas usado.
6 Bibliografa
[8] Leakage Flux and Force Calculation on Power Transformer Winding under Short-
circuit: 2D and 3D Methods based on the Theory of Images and the Finite Element
Method Compared to Measurements. A. Kladas etc all. IEEE Transactions on
Magnetics, Sept. 1994.
[15] Charlie Chen, Tae-Woo Lee, Narayanan Murugesan, Susan Hagness. Generalized
FDTD-ADI: An Unconditionally stable Full-Wave Maxwells equations. Solver for
VLSI Interconnect Modelinghttp://vlsi.ece.wisc.edu/research/2000iccad01.pdf
[16] Brunel University, UK. The Finite Difference Time Domain Algorithm
http://www.nmr.mgh.harvard.edu/~adunn/papers/dissertation/node32.html
De la misma forma que se analiz j=1, para la frontera j=m se discretiza igual con la
salvedad que la discretizacin en y sufre un cambio en el orden en los subndices (se
calcula el valor de Ai,m-1 en funcin de A i,m) resultando
A 2 A y 2
Ai ,m1 = Ai ,m + .( y ) + 2 . + O (y 3 )
y i ,m y i , m 2
123
=0
A 2
(Ai,m1 Ai ,m )
2
y i ,m
2
y 2
Ai 1,m 2 Ai ,m + Ai +1,m
+2
(A i ,m 1 Ai ,m )
= 0 J ( x, y ) = 0 J (i, m)
x 2 y 2
k-n k
[1..n].........[1....i....n ]. [1..........i - 1 i i + 1.....n ]
A1, m
k = i + n(m - 1) 0...............0 2 0.........0 0....0 Ai ,m = 0 J (i, m)
An, m
Con razonamientos similares se puede ver como quedan las filas de Q correspondientes
a las condiciones de borde verticales, i=1 e i=n.
Por lo tanto podemos determinar para los (n-2) puntos en consideracin de dicho borde
las filas de la matriz Q. Como i=1, las filas que estaremos determinando son las filas
k=1+n(j-1) lo cual corresponde a las primeras filas de S 2, S3..., Sm-1.
kn k k+n
[1..n]....[1......n] [1. ..........n ] [1......n]...[1..n]
k = 1 + n(j - 1) 0...0 0.....0 2 0....0 0.............0 A1, j 0 J (1, j )
=
An , j
(A
n 1, j An, j ) An , j 1 2 An , j + An , j +1
2 + = 0 J ( x, y ) = 0 J (n, j )
x 2
y 2
kn k k+n
[1..n]....[1......n] [1. ..........n ] [1......n]...[1..n]
A1, j 0 J (1, j )
=
k = n + n(j - 1) 0............0 0....0 2 0....0 0.....0 An, j
(A A1,m ) (A 1, m 1 A1,m )
+2 = 0 J ( x, y ) = 0 J (1, m)
2 ,m
2
x 2
y 2
k-n k
[1..n]............... [1 ..........n][1..............n]
k = 1 + n(m - 1) 0..................... 0.....0 2 0....0 A 1,m 0 J (1, m)
=
An ,m
(A
n 1,1 An,1 ) (A An,1 )
2 +2 n, 2
= 0 J ( x, y ) = 0 J (n,1)
x 2
y 2
k k+n
[1 ...............n][1.............n]....[1..n]
A1,1
=
k = n 0...0 2 0.....0 2 0....0 An,1 0 J (n,1)
(A
n 1, m An, m ) (A n , m 1 An, m )
2 +2 = 0 J ( x, y ) = 0 J ( n , m )
x 2 y 2
k-n k
[1.....n]....[1.....n][1................n]
A 1,m
=
k = nm 0............0 2 0.....0 2 An ,m 0 J (n, m)
1.- PDETOOL
Permite determinar diversas fronteras (crculos, rectngulos, elipses, etc..) y para cada
una de las fronteras permite seleccionar si es de tipo Dirichlet o Neumann.
Por ejemplo para resolver un problema como el plantado en este trabajo, la mayor
dificultad pasa en los casos en que J es variable con las coordenadas x e y, dado que la
especificacin de la fuente J(x,y) debe ser una expresin analtica. Si por el contrario y
ms comn, J es constante en ciertas regiones, se pueden definir las mismas y
especificar cuanto vale J en cada una de ellas.
Por ejemplo supongamos que tenemos la ventana de transformador en donde hay dos
arrollamientos iguales tal como muestra la figura (las figuras son las pantallas de la
propia interface de PDETOOL)
J=(1/4)*(sign(x+0.5)-sign(x+0.3)).*(sign(y+0.3)-sign(y-0.5))+(-1/4)*(sign(x+0.1)-
sign(x-0.1)).*(sign(y+0.3)-sign(y-0.5))
Notar que esta forma permitira especificar tantos bobinados como sean necesarios.
Sin embargo, para este caso es ms fcil especificar para la zona 1, J=0, para la zona 2
J=-1 y para la zona J=+1.
2.- POISOLV
Por ejemplo, en el mismo problema recin visto, se puede ver la forma de especificar las
condiciones de frontera las cuales se pueden ver en la definicin de la matriz b que
sigue:
Luego solo restara definir la grilla de clculo para lo cual se cuenta con una funcin
matlab (poimesh) que trabaja de la siguiente menera:
[p,e,t]=poimesh(g,nx,ny);
% nx y ny es la cantidad de subdivisiones en x e y
% de la grilla.
% p es un par de filas con los valores x,y de todos los
% nodos de
% la grilla ordenado desde la izquierda abajo recorriendo
% las filas
% desde izquierda a derecha etc..
% En cada columna de t estn los vrtices de cada tringulo
% de la mesh
Por ltimo slo resta especificar el trmino independiente de la ecuacin de Poisson que
como ya se ha dicho debe ser en forma analtica o por subzonas.
u=poisolv(b,p,e,t,f);