Вы находитесь на странице: 1из 24

Elementos Finitos y B-Splines en

Problemas Elpticos Semilineales


Pedro C. Espinoza Haro
pcesp@correo.ulime.edu.pe
Universidad de Lima Facultad de
Ingeniera de Sistemas
Lima - Per
Introduccin
En el curso de Grficos por Computadora, de la
Facultad de Ingeniera de Sistemas, de la
Universidad de Lima, se desarrollan, entre otros
temas, los fundamentos matemticos, los
algoritmos y cdigos de las curvas de Bezier y de
la curvas con B-Splines, para explicar las
tecnologas inherentes al CAD, CAGD entre
otros.
Klaus Hllig [2] Finite Element Methods whit B-
Splines SIAM, Frontiers in Appl. Matah. 2003.
En este trabajo se explora por los mtodos de
Elementos Finitos (EF) y los B-Splines (BS) la
solucin aproximada del problema de Dirichlet,
(1)
donde la funcin f(s) es:
a) Localmente Lipchitziana, con un nmero finito
de ceros singulares:

; x !
; ! (
en u
en x u f x u
0
)) ( ( ) ( P
b) Tiene la condicin del rea positiva, es
decir la funcin es positiva en
y la integral sobre los intervalos:
..etc. son positivas.
] , 0 [
1
s
] , [
3 1
s s
] , [
5 3
s s
1. Polinomios interpolantes de una
variable.
Bases: polinomios de Lagrange.
En el caso unidimensional, los anlogos discretos
obtenidos mediante EF lineales y BS de orden
k=2, son exactamente los mismos y se muestra la
existencia de la solucin para este caso. Para los
EF cuadrticos y los BS de orden k=3, los
modelos discretos cambian radicalmente. Se
explora estos ltimos casos. Tambin para
regiones en el plano.
Ejemplo 2
Para tres nodos , los polinomios (base) de
Lagrange son:

!
2 0
2
1 0
1
0
t t
t x
t t
t x
x L

!
2 1
2
0 1
0
1
t t
t x
t t
t x
x L

!
1 2
1
0 2
0
2
t t
t x
t t
t x
x L
1.2 Para cada sucesin
de nodos , se tiene los polinomios de
Lagrange:
n
t t t ....
1 0
. ...., , 1 , 0 ;
0
n k
t t
t x
x L
j k
j
n
k j
j
k
!

4 !
{
!
2. Elementos Finitos Unidimensionales
2.1 Base: dado un h>0 , se definen:

e e
casos otros en
h x
h
h x
x
, 0
0 ,
) 0 (
) (
) (
0

e e
e e
caso otros en
h x h
h h
h x
h x
h
x
x
, 0
2 ,
2
) 2 (
0 ,
0
0
) (
1

2.2 Base del espacio de Elementos Finitos


cuadrticos

e e
casos otros en
h x
h h h
h x x
x
, 0
0 ,
) 2 / )( 0 2 / (
) )( 0 (
) (
1

e e
e e
casos otros en
h x h
h h h h
h x h x
h x
h h h
h x x
x
, 0
2 ,
) 2 )( 2 / 3 (
) 2 )( 2 / 3 (
0 ,
) 2 / )( 0 (
) 2 / )( 0 (
) (
2

3. Elementos Finitos Bidimensionales


Rectangulares
3.1 Los nodos son el producto cartesiano de los
de una dimensin con
La base de los EF asociados a estos nodos
es
El espacio de polinomios es el producto tensorial
)] , [( ) (
j i
t t n = L
n j i ,......, 0 , !
_ a n j i y x y x
j i j i
,......., 0 , , ) ( ) ( ) , (
,
= =
) ( ) ( y x
n n

Elementos Finitos bidimensionales
rectangulares
4. Funciones B-Spline de orden k, de una
variable
4.1 Son funciones formadas por trozos de
polinomios de un mismo grado, continuamente
acopladas y definidas a partir de un conjunto de
nmeros reales o nodos:
m k m k m k k
t t t t t t t = = = = = =
+ +
.... ..... ...
2 1 1 1 0
) ( ) ( ) (
1 , 1
1
1 ,
1
,
x B
t t
x t
x B
t t
t x
x B
k i
i k i
k i
k i
i k i
i
k i +
+ +
+

=
) ( ) (
1
, [ 1 ,
x x B
i i
t t i "
+
= _
5. B-Splines Bidimensionales de orden
k=3
Mallado es el producto cartesiano de las
mallas unidimensionales:
B_Splines bidimensionales asociada a estos
nodos
)] , [( ) (
j i
t t n ! 7
_ a n j i y x y x
j i j i
,......., 0 , , ) ( ) ( ) , (
,
! !
El espacio de las funciones B_Spline
generado por esta base ser el producto
tensorial y su dimensin
) ( ) ( y x
k k
& &
6. Problema de frontera Eptico
Semilineal
La forma dbil del problema (1) es
(2)
La aproximacin de la solucin dbil de (2)
por EF o BS, se hace con un espacio aprox
) ( , ) (
1
0
;

= \ \

; ;
H v v u f v u P
_ a ) ( ,....,
1
0 1
; ! H Gen V
n n
N N
Donde se busca un que
satisfaga la ecuacin
(3)
Elegida una base del espacio aproximante , el
problema (3) se reduce a resolver el siguiente
sistema de ecuaciones (Anlogo discreto de (1))
(4)

=
=
n
1 i
i i h
x u
n k u f u
k h k h
,...., 2 , 1 , ) ( . = = \ \

; ;
P
n
x , ) x ( f
~
h Ax T P =
es un vector n-dimensional cuya k-sima
componente es:
El anlogo discreto (4) es mucho ms complejo
que el anlogo discreto obtenido por
diferencias finitas Espinoza( [5] ).
Los mtodos empleados para el anlisis de un
anlogo discreto dependen de f(s) y de la
discretizacin elegida.

; ;
!
y ! ! dx x f dx x f x f
k
n
i
k i i k
N N N N ) ( ) ( ) (
1
) x (
El anlogo discreto de (4) por Diferencias
Finitas, estudiado por Peitgen, Saupe y
Schmitt ([8]) en el contexto de las teoras del
Grado Topolgico y de las Bifurcaciones
Globales.
Diferencias finitas, Mtodos Variacionales
puede verse en Espinoza ([5]).
El anlogo discreto por Elementos Finitos es
abordado por Glowinski ([7]) haciendo uso de
mtodos Variacionales cuando f es una
funcin no decreciente y que se anula en 0.
Ciarlet, Schultz y Varga ([3]) emplean la teora de
Operadores Montonos, pero cuando f tiene
derivada cont. con constantes de Lipschitzianidad
que dependen del primer autovalor del operador
Laplaciano.
En este trabajo, A es una M-Matriz y se
se hace uso de los Mtodos Variacionales para
estudiar la existencia de la soluciones de (4),
determinando que existen soluciones con
componentes estrictamente positivas y con
mximo valor en cada intervalo abierto.
Proposicin 1.7
Sea f como en (1) y
Entonces toda solucin x de (4) tiene
componentes positivas y est en

W Q
P

6
,
6
, ) s ( g / S min h
1 m 2
3
1
2
[ , s [ ] s , s [ .... ] s , s [ ] s , s [ || x ||
1 m 2 m 2 1 m 2 4 3 2 1
g
g
BIBLIOGRAFIA:
[1] A. Ambrosetti y P- Hess. Positive solutions of
Asymptotically linear elliptic eigenvalue problems".
Math. Anal. Appl. 73 (1980) 411-422.
[2] AK. J. Brown y H. Budin. On the existence of
positive solutions for a class of semi linear elliptic
boundary value problems SIAM J. Math Anal. Vol. 10,
N 5, (1979) 876-883.
[3] P.G. Ciarlet, M. H. Schultz y R.S. Varga
Numerical Methods of High-Order accuracy for Non
Linear Boundary Value Problems#. Numer. Math 13
(1969) 51-77.
[4] E.N. Dancer y K. Schimitt. On positive solutions of
semilinear elliptic equations (Pre-print).
[5] P.C. Espinoza Positive-ordered solutions of a discrete
analogue of a nonlinear elliptic eigenvalue problems,
SIAMJ. Numer. Anal. Vol. 31, N3 (1994) 760-767.
[6] D.G. de Figueiredo On the uniquenes of positives
solutions of the Dirichlet problem for se Nonl. Partial Diff.
Equations and Appl. Vol 7 (1989) p.p. 80-83.
H. Brezzis and J. Lions (editors) Pitman London
[7] R.Glowinski Numerical Method for Non Linear
Variational Problems Springer-Verlag, 1984.
[8]H. O. Peitgen, D. Saupe y K. Schmitt Nonlinear elliptic
boundary problems versus their finite aproximation:
numerically irrelevant solutions J. Reine Angew
Mathematik 322 (1981) 74-117.
[9] J.Sshroder M-matrices and generalizations using and
operator theory approach SIAM Review 20(1978) 213-
244.
[10] ] R.S. Varga Matirk iterative Analysis Engle wood
Cliffs. New Jersey 1962.

Вам также может понравиться