Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aproximacin de Campos Vectoriales Usando

Funciones de Base Radial

Daniel A. Cervantes Cabrera

Posgrado en Ciencias Matemticas UNAM

Seminario de Ecuaciones Diferenciales Parciales y Anlisis

Numrico, CIMAT-2012
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Tutores:
Dr. Pedro Gonzlez Casanova Herquez1
Dr. Christian Gout 2
1 Instituto de Matemticas UNAM
2 INSA Rouen Laboratoire de Mathmatiques.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Contenido

1 Aproximacin con Funciones Radiales

2 Aproximacin de Campos Vectoriales

3 Solucin Radial
Colocacin Asimtrica (Esquema Global)
Interpolacin Local Hermitiana (Esquema Local)

4 Conclusiones
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Funciones Radial

Tipos de Funciones Radiales

Definicin: Una funcin : Rd R se dice radial, si cumple
que (x) = (kxk) para alguna funcin : R+ R.

Ejemplos:
Nombre (r ) Parmetros Polinomio
MQ (1)d/2e (r 2 + c 2 )/2 > 0,
/ 2N de
TPS (1)1+/2 r log r > 0, 2N 1 + /2
Pot (1)d/2e r > 0,
/ 2N d/2e
2
G er c c>0 0
IMQ (r 2 + c 2 )/2 > 0,
/ 2N 0
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

El problema de interpolacin

Interpolacin con FBR

Problema: Dado un conjunto de N puntos dispersos
{(xj , f (x))}N
i=1 R
d+1 en un dominio de estudio , donde

xj Rd y f : R (no necesariamente conocida).

Encontrar una funcin s(x) tal que:

s(xj ) = f (xj ) i
Solucin con FBR:
N
X
s(x) = j (kx j k2 ) + p(k ) (x)
j=0

Donde {j }N
j=1 llamados centros.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

El problema de interpolacin

Interpolacin con FBR

Resulta:     
A P f
=
PT 0 0
Algunas funciones radiales son condicionalmente
positivas. As es necesario una condicin de ortogonalidad
N
X
j pn (xj ) = 0
j=1

Obtenemos un sistema simtrico positivo definido.

Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin con FBR

Ventajas
La dimensin del espacio Rd , no es obstculo para
calcular el interpolante.

Pruebas numricas y despliegue grfico han demostrado

que la calidad de estos interpolantes -en el caso aleatorio-
supera a otras tcnicas.

Igualmente, la aproximacin de derivadas parciales es

superior a la que se obtiene con otras tcnicas de
interpolacin.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin con FBR

Limitaciones
El sistema tiene un mal condicionamiento.

Estrategias propuestas:

Precondicionamiento del sistema (Dyn, Levin, and Rippa,

1986; Buhmann and Powell, 1990, L Ling, 2003).

Particin de dominios, con y sin traslape, (R. K. Beatson,

W. A. Light, and S. Billings, 2000)
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la solucin de EDPs

Colocacin Asimtrica
Si Rd , abierto, acotado. Dado un sistema de EDPs:
(
Lu(x) = f (x) x
Bu(x) = g(x) x

Sean dos conjuntos de datos dispersos:

= {i }N N
i=1 (centros), = {xi }i=1 (puntos de colocacin), en
donde {xi }N NI +NB
i=1 , {xi }i=NI +1 con N = NI + NB .
I
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs

Colocacin Asimtrica
Kansa (1990):
N
X
s(x) = j (kx j k)
j=1

Colocacin en el interior:
N
X
Lx s(xi ) = j L(kx j k)|x=xi = f (xi ) i = 1, . . . , NI
j=1
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs

Colocacin Asimtrica
Colocacin en la frontera:
N
X
x
B s(xi ) = j B(kx j k)|x=xi = g(xi ) i = NI + 1, . . . , N
j=1

Sistema de ecuaciones resultante:

 x   
L d
f

B x B g

El sistema no es simtrico.

La no singularidad del sistema es un problema abierto.

Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs

Colocacin Simtrica
Wu (1990) y Fasshauer (1996).
NI
X N
X

s(x) = j L (kx j k) + j B (kx j k)
j=1 j=NI +1

Con

L (kx j k) = L(kx k)|=j

B (kx j k) = B(kx k)|=j
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs

Colocacin Simtrica
Colocacin en los nodos interiores
NI
X
Lx s(xi ) = j Lx L (kxi j k)+
j=1
N
X
j Lx B (kxi j k) = f (xi )
j=NI +1

para i = 1, . . . , NI
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs

Colocacin Simtrica
Colocacin en los nodos frontera
N
X
B x s(xi ) = j B x L (kxi j k)
j=1
N
X
+ j B x B (kxi j k) = g(xi )
j=NB +1

para i = NI + 1, . . . , N
 x
L L I L x B I
  

f
x x =
B L B B B B g

es simtrico.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Comentarios
El sistema estrictamente positivo definido, i. e. no singular,
(Wu, Z. 1992, Fasshauer, G. 1996, Franke C., Schabak R.,
1998).

La velocidad de convergencia es aproximadamente igual a

la de los interpolantes menos el orden de diferenciacin de
los operadores o de la EDP, (Franke C., Schabak R.,
1998).

Nota: la no singularidad es consecuencia de utilizar un

aproximante radial de Hermite: forma bilineal simtrica y
coerciva.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

u(x,t) + Lu(x, t) = f (x, t) x , t > 0
t
Bu(x, t) = g(x, t) x , t > 0
con condicin inicial u(x, t) = u0 (t) t = 0.
Aproximacin con FBR simtrica:
NI
X
u(x, t) = (t)L (kx j k)+
j=1
N
X
(t)B (kx j k)
j=NI +1
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

Sustituyendo

d d
L d + B d + Lx L d
dt dt
+ Lx B d = f (xi , t), i = 1, . . . , NI

B x L F +B x B F = g(xi , t), i = NI + 1, . . . , N.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

Aplicando el esquema :
h i
L I + B I + tLx L I + tLx B I n+1 =
h
L I + B I t(1 )Lx L I
t(1 )Lx B I ] n + tf n+1

h i
B x L B + B x B B n+1 = g n+1
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

Definiendo
d := L d + B d
d := L b + B b

Entonces:
d + tLx
n+1 d (1 )tLc x
d n
     n+1 
tf
= +
x
B b 0 g n+1

Se puede reescribir en forma compacta

1 H
n+1 = H 1 F n+1
n + H
+ +
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

 

u = A donde A = d
n n
b

H
u n+1 = A 1 H
n + A
H 1 F n+1
+ +
H 1
H A
u +A
1 n H 1 F n+1
=A + +
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Aplicacin a la Solucin de EDPs no estacionaria

Colocacin Simtrica para EDPs no estacionaria

Wu, 1998, H+ es invertible para cualquier valor de para
un conjunto de puntos de colocacin son distintos.

El esquema de colocacin simtrica est bien definido.

+ puede ser
La simetra de la matriz de la matriz H
explotada para calcular la inversa numricamente.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Dominio del problema.

Sea Rd abierto, acotado y simplemente conexo.

= D N , N 6= es la parte de la frontera asociada a
la superficie del terreno. D el resto de la frontera.
n normal exterior a
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Dominio del problema.

Sea Rd abierto, acotado y simplemente conexo.

= D N , N 6= es la parte de la frontera asociada a
la superficie del terreno. D el resto de la frontera.
n normal exterior a
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Dominio del problema.

Sea Rd abierto, acotado y simplemente conexo.

= D N , N 6= es la parte de la frontera asociada a
la superficie del terreno. D el resto de la frontera.
n normal exterior a
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Minimizacin del funcional

Problema: Dado un campo vectorial inicial u 0 , generar un

campo vectorial u tan cercano a u 0 como sea posible, tal que
u n = 0 sobre N y u = 0.
Sasaki, et al.,
El campo vectorial aproximado es resultado de la
minimizacin del funcional
Z
1
J= {S(u u 0 ) (u u 0 ) + ( u)}
2

Donde es el multiplicador de Lagrange

Escalas de los componentes de velocidad
2
1 0 0
S = 0 22 0
0 0 32
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Minimizacin del funcional

Problema: Dado un campo vectorial inicial u 0 , generar un

campo vectorial u tan cercano a u 0 como sea posible, tal que
u n = 0 sobre N y u = 0.
Sasaki, et al.,
El campo vectorial aproximado es resultado de la
minimizacin del funcional
Z
1
J= {S(u u 0 ) (u u 0 ) + ( u)}
2

Donde es el multiplicador de Lagrange

Escalas de los componentes de velocidad
2
1 0 0
S = 0 22 0
0 0 32
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Minimizacin del funcional

Problema: Dado un campo vectorial inicial u 0 , generar un

campo vectorial u tan cercano a u 0 como sea posible, tal que
u n = 0 sobre N y u = 0.
Sasaki, et al.,
El campo vectorial aproximado es resultado de la
minimizacin del funcional
Z
1
J= {S(u u 0 ) (u u 0 ) + ( u)}
2

Donde es el multiplicador de Lagrange

Escalas de los componentes de velocidad
2
1 0 0
S = 0 22 0
0 0 32
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico.
Minimizacin del funcional

Problema: Dado un campo vectorial inicial u 0 , generar un

campo vectorial u tan cercano a u 0 como sea posible, tal que
u n = 0 sobre N y u = 0.
Sasaki, et al.,
El campo vectorial aproximado es resultado de la
minimizacin del funcional
Z
1
J= {S(u u 0 ) (u u 0 ) + ( u)}
2

Donde es el multiplicador de Lagrange

Escalas de los componentes de velocidad
2
1 0 0
S = 0 22 0
0 0 32
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico
Ecuaciones Euler-Lagrange

EDP Elptica
Sasaki et al., las ecuaciones de Euler-Lagrange, obtenidas
al hacer J = 0 estn dadas por:
(
u = u 0 + S 1
u n = 0

Jurez et al., muestran que que debe satisfacer la

siguiente EDP elptica:

1 0
(S ) = u en

= 0 sobre D

1
S n = u 0 n sobre N
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Modelo Matemtico
Ecuaciones Euler-Lagrange

EDP Elptica
Sasaki et al., las ecuaciones de Euler-Lagrange, obtenidas
al hacer J = 0 estn dadas por:
(
u = u 0 + S 1
u n = 0

Jurez et al., muestran que que debe satisfacer la

siguiente EDP elptica:

1 0
(S ) = u en

= 0 sobre D

1
S n = u 0 n sobre N
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Contenido

1 Aproximacin con Funciones Radiales

2 Aproximacin de Campos Vectoriales

3 Solucin Radial
Colocacin Asimtrica (Esquema Global)
Interpolacin Local Hermitiana (Esquema Local)

4 Conclusiones
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Aproximacion con RBF

Dados los conjuntos = {i }N N
i=1 (centros), = {xi }i=1
(puntos de colocacin), en donde {xi }N d
i=1 ,
I

{xi }N NN
NI +1 D y {xi }NI +ND +1 N con N = NI + ND + NN .
D

del multiplicador , se puede

La aproximacin radial
definir como
N
X

(x) = j j (r ) con r = kx j k
j=1
1
en este caso usaremos: (r ) = p
1 + (cr )2
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Aproximacion con RBF

Dados los conjuntos = {i }N N
i=1 (centros), = {xi }i=1
(puntos de colocacin), en donde {xi }N d
i=1 ,
I

{xi }N NN
NI +1 D y {xi }NI +ND +1 N con N = NI + ND + NN .
D

del multiplicador , se puede

La aproximacin radial
definir como
N
X

(x) = j j (r ) con r = kx j k
j=1
1
en este caso usaremos: (r ) = p
1 + (cr )2
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Sustituyendo el aproximardor en la EDP

Sustituyendo el aproximador resulta:
x
L i,j
f
i,j = 0
B x i,j g

donde:

Lx i,j = (S 1 (kx j k))|x=xi

i,j = (kxi j k)|
B x i,j = B(kx j k)|x=xi

para i, j = 0, . . . , N.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Ejemplo
Aproximar el campo solenoidal u(x, z) = (x, z) definido en
= (1, 2) (0, 1).

Tomando u 0 (x, z) = (x, 0), 1 = 1, 3 = 0.001

Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Resultados utilizando la descomposicin SVD

c N (A)
u L2 Error
1 20 2.5e+10 2.3e-06 6.6e-01
1 60 1.1e+15 6.6e-06 7.0e-01
1 200 3.0e+23 2.0e-06 1.8e-03
0.1 20 3.1e+19 2.4e-06 4.9e-01
0.1 60 2.8e+23 1.7e-06 2.2e-05
0.1 200 4.1e+22 1.6e-06 3.7e-06
0.01 20 2.3e+19 1.7e-06 3.0e-04
0.01 60 2.7e+20 1.8e-06 1.8e-06
0.01 200 9.2e+20 1.1e-06 1.7e-06
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Colocacin Asimtrica (Esquema Global)

Colocacin Asimtrica
Esquema Global

Discusin
La descomposicin SVD truncada permite atenuar los
errores de causados por el alto condicionamiento.
Limitaciones:
No se puede aplicar en problemas a gran escala.
Orden del algoritmo es de O(N 3 )
Principio de incertidumbre de Schaback.
Fenmeno de Runge

Posibles alternativas:
Esquemas de descomposicin de dominio.
Tcnicas basadas en aproximaciones locales.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Contenido

1 Aproximacin con Funciones Radiales

2 Aproximacin de Campos Vectoriales

3 Solucin Radial
Colocacin Asimtrica (Esquema Global)
Interpolacin Local Hermitiana (Esquema Local)

4 Conclusiones
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Procedimiento
Stevens, Power et al.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Procedimiento
Una sistema de EDP:
(
Lu(x) = f (x), x
Bu(x) = g(x), x

es aproximado sobre sc = {xi }N sc

i=1 , con los subsistemas:

u(xi ) = hi xi sc

Lu(x) = f (x) x pdec

Bu(x) = g(x) x fc

en donde hi son incgnitas por determinar.

Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Procedimiento
Cada subsistema tiene asociado un aproximador radial
simtrico:
Nsc Npdec Nfc
(k ) (k ) (k )
X X X
(k )
u (x) = j j (r )+ j L j (r )+ j B (r )+pn (x)
j j j

Lo que implica Nsc sistemas lineales

A(k ) (k ) = d (k )

En donde

(k ) (h1 , . . . , hnsc ) = [A(k ) ]1 d (k ) (h1 , . . . , hnsc )

Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Procedimiento
As cada interpolador local tiene la forma:

(k ) (x) = H (k ) (x) (k ) (h1 , . . . , hnsc )

u
= H (k ) (x)[A(k ) ]1 d (k ) (h1 , . . . , hnsc )

en donde nsc , nmero de centros de solucin en la bola.

h i
H (k ) (x) = (kx k) L (kx k) B (kx k) xn 1
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Procedimiento
Finalmente los subsistemas son acoplados en otro sistema
lineales global con matriz dispersa cuyas incgnitas son los
valores hi , es decir:

(k ) (x)]|x=xi = f (xi )
L[u


  h1 f (x1 )
.. . .
. .. = ..
hNsc f (xNsc )
De donde obtenemos:
u(xi ) = hi
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Aproximacin del campo vectorial

El campo vectorial est dado por: u = u 0 + S 1 . As, es
necesario aproximar (x) = (x (x), y (x)).

Nuestra propuesta:

(x)|x=xi = hi xi sc

L(x) = f (x) x
pdec
(x) = 0 x D



B(x) = g(x) x
N

con = x o y .
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Aproximacin del campo vectorial

De donde cada aproximador con FBR local tiene la forma:

Nsc Npdec
(k ) j (r ) (k )
X X
(k
)
(x) = j + j L j (r )

j j
ND NN
(k )
X X
+ (k ) (r ) + j B (r ) + pn (x)
j j

con = x o y .
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Interpolacin Local Hermitiana (Esquema Local)

Interpolacin Local Hermitiana

Esquema Local

Resultados: Tomando c = 0.1

Radius Global (Ay )
u L2 Error Max local (ALoc
y )

.2 4.6e+10 4.3e+00 3.7e+00 1.2e+22

.3 1.0e+16 1.9e-01 5.4e+00 3.7e+28
.4 3.6e+20 3.1e-01 5.6e-01 1.6e+29
.5 3.1e+16 6.2e-01 5.4e-01 4.1e+29
.6 6.8e+14 8.2e-03 1.0e-05 4.7e+30
.7 3.0e+14 6.3e-03 7.7e-03 2.8e+30
.8 1.6e+15 4.4e-03 1.2e-01 5.1e+29
.9 2.9e+20 4.4e-01 3.1e-01 7.6e+29
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Conclusiones

Conclusiones
El esquema LHI permite abordar problemas de
aproximacin de campos vectoriales a gran escala.

El aproximador con FBR de LHI es flexible y se le puede

incorporar diferentes operadores que dependen del
problema.

El error es equivalente en los dos esquemas.

Existe un principio de incertidumbre, entre el radio de la

bola y el error obtenido.
Aproximacin con Funciones Radiales Aproximacin de Campos Vectoriales Solucin Radial Conclusiones

Fin

Gracias!!