Introducción a la teoría de Funciones Radiales - UNAM
Introducción a la teoría de Funciones Radiales - UNAM
Introducción a la teoría de Funciones Radiales - UNAM
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Sección 2: Métodos para <strong>la</strong> Quasinterpo<strong>la</strong>ción Multivariada 24<br />
2. Métodos para <strong>la</strong> Quasinterpo<strong>la</strong>ción Multivariada<br />
Asumamos primero que <strong>la</strong>s siguientes condiciónes sobre <strong>la</strong> Formu<strong>la</strong> <strong>de</strong> Green<br />
se cumple, (ver, Aubin, 1979)<br />
Sea el operador: Λ : H(Ω) → H ∗ 0(Ω), re<strong>la</strong>tivo a <strong>la</strong> forma bilineal continua<br />
F : H(Ω) × H(Ω) → R dada por:<br />
< Λu|v >= F (u, v) ∀u ∈ H(Ω), ∀v ∈ H0(Ω).<br />
Definimos esta dominio por H(Λ) = {u ∈ H(Ω) tal que Λu ∈ V (Ω)} y<br />
asumimos que <strong>la</strong> siguiente re<strong>la</strong>ción se cumple:<br />
don<strong>de</strong>,<br />
y<br />
∀ u ∈ H(Λ), ∀v ∈ H(Ω) F (u, v) = F Ω (u, v) + F ∂Ω (u, v) (21)<br />
F Ω (u, v) =< Λu|v > (22)<br />
F ∂Ω (u, v) =< δu|γv > (23)<br />
En <strong>la</strong> ecuación anterior δ y γ son operador traza apropiadamente <strong>de</strong>finidos.<br />
Sea E <strong>la</strong> solución fundamental <strong>de</strong>l operador Λ. De modo que <strong>la</strong> siguiente<br />
formu<strong>la</strong> es valida<br />
F Ω (Et, v) =< ΛEt|v >= ρt(v), ρt ∈ V (Ω) (24)<br />
Asumamos a<strong>de</strong>más que el espacio <strong>de</strong> polinomios P r (Ω) es un subconjunto<br />
<strong>de</strong>l espacio nulo <strong>de</strong> los operadores Λ, δ y γ, don<strong>de</strong> r <strong>de</strong>pen<strong>de</strong> <strong>de</strong> <strong>la</strong> forma<br />
particu<strong>la</strong>r <strong>de</strong> cada operador. A<strong>de</strong>más, sea F Ω h y Fh, alguna discretización<br />
completa <strong>de</strong> F Ω ,ver ecuación (22) y F , ver ecuación (21) respectivamente,<br />
en el sentido <strong>de</strong> que <strong>la</strong> siguiente re<strong>la</strong>ción:<br />
y<br />
se cump<strong>la</strong>.<br />
F Ω h (u, v) =< Λhu|vh >; F Ω h (p l1 , p l2 ) = 0 (25)<br />
Fh(u, v) =< uh|vh >; Fh(p l3 , p l4 ) = 0 (26)<br />
Asumiremos que, F ∂Ω<br />
h es una semidiscretización <strong>de</strong> <strong>la</strong> (23) en el sentido <strong>de</strong><br />
que <strong>la</strong> siguiente re<strong>la</strong>ción:<br />
F ∂Ω<br />
h (u, v) =< δu|γh(v) >; F ∂Ω<br />
h (u, p l5 ) = 0 (27)