Professional Documents
Culture Documents
29-44
Publicación semestral de carácter técnico-científico / Universidad EIA, Envigado (Colombia)
RESUMEN
En este artículo se deduce de manera original una fórmula de interpolación en el espacio real de m dimensiones
(ℝ𝑚), inspirada en la conocida fórmula de Lagrange para funciones reales (𝐹(𝑥)) de una variable, es decir en la recta real
ℝ. Los resultados que aquí se obtienen no parecen ser muy conocidos, al menos, en los medios universitarios de Colom-
bia. El autor los ha buscado durante mucho tiempo, sin hallarlos. Finalmente tuvo que deducirlos por sí solo.
PALABRAS CLAVE: análisis numérico; integracion numérica; Geometría Analítica del Espacio; Cuerpos convexos.
ABSTRACT
In this article, a formula is deduced in an original manner for interpolation in the real space of m dimensions (ℝ𝑚),
inspired by the well-known Lagrange formula for real functions (𝐹(𝑥)) of a variable on the real line ℝ. The results that
are shown here do not seem well known, at least not in Colombian university journals. These results have been searched
by the author for some time, and he has not found them. In the end, he had to deduce them himself.
KEYWORDS: Numerical Analysis; Numerical Integration; Analytic Geometry in Space; Convex polyhedra.
RESUMO
Este artigo se deduz de uma forma original uma fórmula de interpolação no espaço real de 𝑚 dimensões reais
(ℝ𝑚), inspirada pela conhecida fórmula de Lagrange para funções reais (𝐹(𝑥)) de uma variável, ou seja, na reta real ℝ.
Os resultados aqui obtidos não parecem ser bem conhecidos, pelo menos na academia da Colômbia. O autor os tem pro-
curado por um longo tempo, sem encontrá-los. Finalmente teve que deduzi-los sozinho.
PALAVRAS-CHAVE: Análise Numérica; Integração Numérica; Geometria Analítica no Espaço; Poliedros convexos.
DOI: http:/dx.doi.org/10.14508/reia.2016.13.25.29-44
La interpolación de Lagrange en el espacio ℝ𝒎
𝑥1 ≠ 𝑥2 ≠ ⋯ ≠ 𝑥𝑛. Lo designamos como 𝑝(𝑥) y se le 𝑥𝑖 , polinomio que, como se sabe, es único aunque
denomina “el polinomio de colocación” de los datos puede presentarse en varias formas.
𝑥𝑖 con los valores 𝑢𝑖. Los libros de Análisis Numéri- Se suele abreviar el lado derecho de la fórmula
co presentan distintas maneras de escribir ese po- (1.03), conviviendo en adoptar la notación
linomio. Una vez conocido el polinomio 𝑝𝑛(𝑥), se le
π(𝑥) = (𝑥 − 𝑥1)(𝑥 − 𝑥2) … (𝑥 − 𝑥𝑁−1)
usaría (siguiendo a Newton) para estimar el valor (1.04)
de u en un punto arbitrario x. Es obvio que, dada la (𝑥 − 𝑥𝑁) � ≡(𝑥 − 𝑥𝑖)
𝑖=1
definición de 𝑝(𝑥), las abscisas 𝑥𝑖 y sus valores co-
rrespondientes 𝑢𝑖 cumplen las N identidades y además
(𝑥−𝑥1)(𝑥−𝑥𝑖) … (𝑥− 𝑥𝑖−1)(𝑥− 𝑥𝑖+1)…(𝑥 − 𝑥𝑁)
𝑝(𝑥1) = 𝑢1 li(𝑥)= (1.05)
(𝑥i−𝑥1) (𝑥i−𝑥2) … (𝑥i−𝑥𝑖–1) (𝑥i−𝑥𝑖+1)… (𝑥i−𝑥𝑁)
𝑝(𝑥2) = 𝑢2
Resulta obvio que el denominador de 𝑙𝑖(𝑥) es
(1.01)
⋮
(𝑥𝑖 − 𝑥1)(𝑥𝑖 − 𝑥2) … (𝑥𝑖 − 𝑥𝑖−1)(𝑥𝑖 − 𝑥𝑖+1)
𝑝(𝑥𝑁) = 𝑢𝑁 (1.06)
… (𝑥𝑖 − 𝑥𝑛) = 𝜋′(𝑥𝑖)
y que, en los N puntos 𝑥𝑖(𝑖 = 1,2, … , 𝑁), ocurri- en donde 𝜀(𝑥1) = 0 = 𝜀(𝑥2) = ⋯ 𝜀(𝑥𝑁) = 0. Y
ría que los valores de la función 𝐹(𝑥) coinciden con quienes usan la Matemática para fines mundanos
los del polinomio de colocación 𝑝(𝑥𝑖): escriben
(𝑥−𝑥3)(𝑦−𝑦1)− (𝑥−𝑥1)(𝑦−𝑦3)
+ z2 + Por otra parte el área del triángulo 𝑃 𝑃2 𝑃3 es
(𝑥2−𝑥3)(𝑦2−𝑦1)−(𝑥2−𝑥1)(𝑦2−𝑦3) (3.05)
𝑥 𝑦 1
(𝑥−𝑥1)(𝑦−𝑦2)− (𝑥−𝑥2)(𝑦−𝑦1) 1
A023 = — 𝑥2 𝑦2 1 (3.06)
+ z3 =L(𝑥, y) 2
(𝑥3−𝑥1)(𝑦3−𝑦2)−(𝑥3−𝑥2)(𝑦3−𝑦1) 𝑥3 𝑦3 1
Ahora se puede notar que tanto los numerado- = (1⁄2)[(𝑥−𝑥2)(𝑦−𝑦3)−(𝑥−𝑥3)(𝑦− 𝑦2)] (3.08 A)
res como los denominadores de las fracciones que Se ve también que
están al lado derecho de (2.05) tienen un claro signi-
ficado geométrico, que se muestra en la figura anexa. (1⁄2)[(𝑥 − 𝑥3)(𝑦 − 𝑦1) − (𝑥 − 𝑥1)
𝑥1 𝑦1 1
Figura 1 (𝑦 − 𝑦3 )] = (1⁄2) 𝑥 𝑦 1 = (3.09)
𝑥3 𝑦3 1
(1⁄2) 𝐴103 = (1⁄2)𝐴103
en donde
Además
𝐴023 > 0 ; 𝐴103 > 0 ; 𝐴120 < 0 Pero si se hace una permutación impar, esos
números cambian de signo:
c. Uno de ellos positivo y dos negativos. Por
𝐴023=– 𝐴203 =–𝐴032 ; 𝐴103= ––𝐴310=𝐴031
ejemplo en la Figura 3 es: (3.14)
𝐴023 < 0 ; 𝐴103 > 0 ; 𝐴120 < 0 𝐴120 = –𝐴012 = –𝐴201
- Si (𝑃𝑜𝑃𝑖𝑃𝑗 ) ∩ (𝑃1𝑃2𝑃3) sí es vacía se pondrá: 𝑄1(𝑥1, 𝑦1, 𝑧1) , 𝑄(𝑥2, 𝑦2, 𝑧2) , 𝑄(𝑥3, 𝑦3, 𝑧3)
𝑠𝑖𝑔𝑛 𝐴𝑜𝑖𝑗 = −1 dados en el espacio euclidiano ℝ3, cuyas pro-
y esto sin importar el orden en que escribamos yecciones en el plano 𝑂𝑋𝑌 son
los tres subíndices. 𝑃1(𝑥1,𝑦1) , 𝑃2(𝑥2,𝑦2) , 𝑃3(𝑥3,𝑦3)
Debe advertirse que cada área 𝐴𝑖𝑗𝑘 y cuyas coordenadas no anulan el determinan-
𝑥1 𝑥 2 𝑥 3 te (3.04)
𝐴𝑖𝑗𝑘 = 𝑦1 𝑦2 𝑦3
𝑥1 𝑦1 z1
1 1 1 Δ= 𝑥2 𝑦2 z2
conserva su valor algebraico y numérico, in- 𝑥3 𝑦3 z3
cluyendo el signo, cuando se hace una permutación
por esos tres puntos 𝑄1, 𝑄2, 𝑄3 pasa un plano
par de los subíndices, y también cuando se hace una
único de ℝ3, cuya ecuación es de primer grado en x
traslación paralela del sistema de coordenadas, y
aun cuando este sistema de coordenadas gira en el y de primer grado en y, y que se puede escribir en la
plano. Estas propiedades se demuestran algebrai- forma (3.10)
camente, y se comprueban por mera observación 𝐴023 𝐴103 𝐴120
𝑧(𝑥,𝑦)= 𝑧1 + 𝑧2+ 𝑧3 (4.01)
geométrica. 𝐴123 𝐴123 𝐴123
en donde:
Figura 4
Área del triángulo referencial
𝐴123: 𝑃1𝑃2𝑃3, que consideramos po-
sitivo
Punto genérico de 𝑂𝑋𝑌 que
es proyección del punto ge-
𝑃(𝑥, 𝑦):
nérico 𝑄(𝑥, 𝑦, 𝑧), el que recorre
el plano que describimos
Área del triángulo 𝑃0𝑃1𝑃2, con (4.02)
𝐴102:
signo dado por (3.13) y (3.14)
Área del triángulo 𝑃0𝑃1𝑃2, con
𝐴103:
signo dado por (3.13) y (3.14)
En la Figura 4 puede advertirse de inmediato
Área del triángulo 𝑃0𝑃1𝑃2, con
que, por la semejanza de los triángulos, se puede es- 𝐴120:
signo dado por (3.13) y (3.14)
cribir que
𝐴012 0.5×𝑃1𝑃2 × 𝐻3𝑃 𝐻𝑃 k𝑃 𝐴123 = 𝐴012 + 𝐴103 + 𝐴120
= = 3 = 3
𝐴312 0.5×𝑃1𝑃2 × 𝐻3𝑃3 𝐻 𝑃 k 𝑃 Dicha ecuación puede escribirse también
3 3 3 3
k1𝑃 k2𝑃 k3𝑃 𝑃1(𝑥1, 𝑦1), 𝑃2(𝑥2, 𝑦2), 𝑃3(𝑥2, 𝑦3), 𝑃4(𝑥4, 𝑦4)
𝑧(𝑥,𝑦)= 𝑧1 + 𝑧2+ 𝑧3 (4.03)
k1𝑃1 k2𝑃2 k3𝑃3 como los mostramos en la figura anexa. Así
donde los segmentos k1𝑃 , k2𝑃 , k3𝑃 llevan mismo, en esa región del plano hay una función
signo “más” o signo “menos” según las convenciones continua y diferenciable 𝑓(𝑥, 𝑦), que en esos puntos
(3.13) y (3.14).
adopta los cuatro valores
Si en la ecuación
𝑓(𝑥1, 𝑦1) =𝑧1 ; 𝑓(𝑥2, 𝑦2) = 𝑧2 ; 𝑓(𝑥3, 𝑦3)
𝐴023 𝐴103 𝐴120
𝑧(𝑥,𝑦)= 𝑧1 + 𝑧2+ 𝑧2 (4.01 B)
𝐴123 𝐴123 𝐴123 = 𝑧3 ; 𝑓(𝑥4,𝑦4)
𝐴103 = 𝐴031 → 0
𝐴120 = 𝐴012 → 0
Es bien sabido que las tres medianas del trián- Consideremos todos los triángulos que pue-
gulo 𝑃1𝑃2𝑃3 se cortan en un mismo punto situado a
den formarse con los 4 puntos dados, y que tengan
los 2/3 de sus longitudes, medidas desde los vérti-
ces respectivos. Ese punto coincide con el centro de un vértice en 𝑃1. El número de tales triángulos es
gravedad G del triángulo, y determina con los vérti- el mismo de las combinaciones de los 4-1 puntos,
ces tres triángulos que son distintos de 𝑃1, tomados dos a dos (sin importar el
𝑧(𝑥𝐺, 𝑦𝐺) = (𝑧1 + 𝑧2 + 𝑧3)⁄3 orden), el cual es
Las mismas consideraciones llevan a encon- Existe también un único polinomio de coloca-
trar que ción (con cuatro coeficientes) para los cuatro pun-
tos 𝑄1, 𝑄2, 𝑄3, 𝑄4 que tenga la forma cuadrática en 𝑥
𝑝(𝑥2, 𝑦2) = 𝑧2 (5.06.2)
y lineal en 𝑦.
𝑝(𝑥 , 𝑦 ) = 𝑧 (5.06.3) 𝑓20(𝑥, 𝑦) = 𝛾20𝑥2 + 𝛾10𝑥 + 𝛾01 𝑦 + 𝛾00 (6.04)
3 3 3
𝑝(𝑥 , 𝑦 ) = 𝑧 (5.06.4)
4 4 4 pero que es anisotrópico.
Ello significa que el polinomio (5.04), que Este queda determinado unívocamente por
contiene hasta diez coeficientes, pasa por los cua- cuatro ecuaciones análogas a las ecuaciones (5.02)
tro puntos 𝑄1(𝑥1, 𝑦1, 𝑧1), 𝑄2(𝑥1, 𝑦1, 𝑧1), 𝑄3(𝑥3, 𝑦3, 𝑧3), o por una ecuación de Vandermonde análoga a la
𝑄4(𝑥4, 𝑦4, 𝑧4), situados en el espacio tridimensional Ecuación 6.03, salvo que la columna en 𝑥 𝑦 se cam-
ℝ3. Las proyecciones de esos puntos son 𝑃1(𝑥1, 𝑦1), bia por una columna en 𝑥2.
𝑃2(𝑥2, 𝑦2), 𝑃3(𝑥3, 𝑦3), 𝑃4(𝑥4, 𝑦4). Existe otro polinomio
Así pues, 𝑝(𝑥, 𝑦) satisface los 4 puntos dados. 𝑓02(𝑥, 𝑦) = 𝛿02 𝑦2 + 𝛿01 𝑦 + 𝛿10𝑥 + 𝛿00 (6.05)
Pero ya no podemos decir que es el polinomio de
Lineal en x y cuadrático en y, anisotrópico, que
tercer grado que pasa por tales puntos.
está unívocamente determinado por otras cuatro con-
6. No sobra recordar que el polinomio en 𝑥, 𝑦, diciones de la forma de las ecuaciones (5.02), y dado
de los cuatro puntos 𝑄1, 𝑄2, 𝑄3, 𝑄4, que además es implícita y unívocamente por otra ecuación de Van-
isotrópico en ambas variables, es dermonde de forma semejante a la (5.03), pero donde
la columna en 𝑥𝑦 se cambia por una columna en 𝑦2.
𝑓11(𝑥, 𝑦) = 𝛽11𝑥𝑦 + 𝛽10 𝑥 + 𝛽01𝑦 + 𝛽00 (6.01)
puesto que sus cuatro coeficientes 𝛽𝑖𝑗 están de- 7. Volviendo ahora a la función 𝑓(𝑥, 𝑦) que
finidos unívocamente por las cuatro condiciones presentamos al comienzo del numeral 5, es ahora
claro que podemos escribirla en la forma
𝛽11 𝑥1 𝑦1 + 𝛽10 𝑥1 + 𝛽01𝑦1 + 𝛽00 = 𝑧1
𝑓(𝑥, 𝑦) = 𝑝(𝑥, 𝑦) + ∅ (𝑥) �𝐴𝑜ℎ𝑘 (7.01)
𝛽 𝑥 𝑦 +𝛽 𝑥 +𝛽 𝑦 + 𝛽 =𝑧
11 2 2 10 2 01 2 00 2 en donde (ℎ, 𝑘) es una de la seis parejas que
(6.02)
𝛽 𝑥 𝑦 +𝛽 𝑥 +𝛽 𝑦 +𝛽 =𝑧 pueden extraerse de la cuaterna (1,2,3,4). En la ex-
11 3 3 10 3 01 3 00 3
presión anterior, estamos escribiendo el error de
𝛽 𝑥 𝑦 +𝛽 𝑥 +𝛽 𝑦 + 𝛽 =𝑧 interpolación 𝜀(𝑥, 𝑦) como
11 4 4 10 4 01 4 00 4
𝜀(𝑥, 𝑦) = ∅(𝑥) ∙ 𝐴023(𝑥, 𝑦) ∙ 𝐴034(𝑥, 𝑦) ∙
También es sabido que el polinomio (5.01) 𝐴024(𝑥, 𝑦) ∙ 𝐴041(𝑥, 𝑦) ∙ 𝐴031(𝑥, 𝑦) ∙ 𝐴012(𝑥, 𝑦)
está definido, de manera implícita pero unívoca, por
la ecuación debido a que esta última expresión cumple las
condiciones exigidas de que
𝑓11(𝑥, 𝑦) 𝑥 𝑦 𝑥 𝑦 1
𝑧1 𝑥1 𝑦1 𝑥1 𝑦1 1 𝑓(𝑥1, 𝑦1) = 𝑝(𝑥1, 𝑦1)=𝑧1 ; 𝑓(𝑥2, 𝑦2) = 𝑝(𝑥2, 𝑦2) = 𝑧2
𝑧2 𝑥2 𝑦2 𝑥2 𝑦2 1 =0 (6.03) 𝑓(𝑥3, 𝑝3 = 𝑝(𝑥3, 𝑦3)=𝑧3 ; 𝑓(𝑥4, 𝑦4) = 𝑝(𝑥4, 𝑦4) =𝑧4
𝑧3 𝑥3 𝑦3 𝑥3 𝑦3 1
8. Un ejemplo. Consideremos, como ejemplo
𝑧4 𝑥4 𝑦4 𝑥4 𝑦4 1 de lo anterior una función 𝑓(𝑥, 𝑦), definida en una
región del plano que contiene los cuatro puntos
cuyo determinante se suele llamar determi-
nante de Vandermonde. 𝑃1(0,0) , 𝑃2(𝑎,0) , 𝑃3(𝑎, 𝑏) , 𝑃4(0,𝑏)
que se muestra en la figura anexa. 𝐴023 𝐴034 𝐴024 𝐴034 𝐴041 𝐴031
𝑝(𝑥, 𝑦) = 𝑧1 + 𝑧2 +
𝐴123 𝐴134 𝐴124 𝐴234 𝐴241 𝐴231
Figura 6 (8.03)
𝐴041 𝐴012 𝐴042 𝐴012 𝐴023 𝐴013
+ 𝑧3 + 𝑧4
𝐴341 𝐴312 𝐴342 𝐴412 𝐴423 𝐴413
𝐴041 =𝑏𝑥⁄2 𝐴013 = −𝐴031= 𝑏(𝑎𝑦⁄𝑏 −𝑥) En el centro del rectángulo es 𝑥 = 𝑎⁄2 , 𝑦 𝑏⁄2
y resulta 𝑝(𝑎/2, 𝑏⁄2) = 0
𝐴012 = 𝑎𝑦⁄2
Que en el centro del rectángulo el polinomio
Pero, como ya se vio: interpolador de Lagrange se anula.
9. Otra fórmula para el rectángulo 𝑃1, 𝑃2, 𝑃3, 𝑃4. 5. LA FÓRMULA DE LAGRANGE EN
Una fórmula de interpolación unívocamente deter-
VARIAS DIMENSIONES
minada por los cuatro vértices de cualquier cuadri-
látero debe tener cuatro coeficientes. Ella podría ser
de la forma En el estudio de muchos temas y problemas
de Geografía, Meteorología, Economía, Demografía
𝑧 = 𝑐00 + 𝑐10 ∙ 𝑥 + 𝑐01 ∙ 𝑦 + 𝑐11 ∙ 𝑥𝑦 y otras ciencias del mundo real, surge la situación
en que se conocen varios datos (en general, m da-
si pedimos que la interpolación sea isotrópi-
tos) para cada uno de N puntos, puntos en los cua-
ca, es decir, que no le atribuya potencias a una de
les una variable u, que depende de aquellos datos,
las dos variables que la otra no tenga en la fórmula.
toma valores conocidos; y se trata de determinar el
Se tiene así, como ya se explicó, el determinante de
valor que tiene u en otro punto —distinto de los ya
Vandermonde.
conocidos— a partir de sus valores en los puntos
𝑧(𝑥, 𝑦) 1 𝑥 𝑦 𝑥𝑦 conocidos. Por ejemplo: sería el caso de un geó-
grafo que estudia la distribución de temperaturas
𝑧1 1 𝑥1 𝑦1 𝑥1𝑦1
ambientes en un país, y dispone del valor de dicha
𝑧2 1 𝑥2 𝑦2 𝑥2𝑦2 =0 temperatura en diez lugares (𝑁 = 10), y para cada
𝑧3 1 𝑥3 𝑦3 𝑥3𝑦3 lugar conoce cinco datos (𝑚 = 5) de los cuales
depende su temperatura: la latitud, la altura sobre
𝑧4 1 𝑥4 𝑦4 𝑥4𝑦4
el nivel del mar, la humedad relativa, la pluviosidad
Fácilmente se calcula que 𝑝(𝑥, 𝑦) reproduce los y la insolación.
valores de 𝑓(𝑥, 𝑦) en las cuatro esquinas del rectán- El problema del geógrafo consistiría en deter-
gulo de la figura. En efecto: sustituyendo las coorde- minar mediante cálculo numérico la temperatura
nadas correspondientes en la fórmula (8.04) o en su media anual en otro lugar de ese país, distinto de las
forma equivalente (8.05), y haciendo las operacio- ciudades mencionadas.
nes algebraicas indicadas se encuentra que En este trabajo se expone un método para
𝑝(0,0) = 𝑧1 =𝑓(0,0) 𝑝(𝑎, 0) = 𝑧2 = 𝑓(𝑎,0) construir una versión de la fórmula de Lagrange en
𝑝(𝑎, 𝑏) = 𝑧3 =𝑓(𝑎,𝑏) 𝑝(0, 𝑏) = 𝑧4 = 𝑓(0,𝑏) un espacio de varias dimensiones (sea, en general,
de m dimensiones) y para emplearla en el cálculo
Sobre los puntos del perímetro y sobre las dia- numérico con variables reales.
gonales se tiene:
Para decirlo formalmente: se tienen N pun-
𝑎) en 𝑃1𝑃2: 𝑦 = 0 ; 𝑏) en 𝑃2𝑃3: 𝑥 = 𝑎 ; tos en un espacio ℝ𝑚 formado por m variables
𝑐) en 𝑃3𝑃4: 𝑦 = 𝑏 ; 𝑑) en 𝑃4𝑃1: 𝑥 = 0 reales 𝑥1, 𝑥2, …,𝑥 𝑚. Tales puntos son 𝑃1(𝑥11, 𝑥12, … , 𝑥1𝑚),
𝑒) en 𝑃1𝑃3; 𝑦 = 𝑏𝑥⁄𝑎 𝑓) en 𝑃2𝑃4 ∶ 𝑦 = 𝑏(1 − 𝑥⁄𝑎) … 𝑃𝑖 (𝑥1𝑖 , 𝑥2𝑖 , … , 𝑥𝑖𝑚), … , 𝑃𝑁(𝑥𝑁1 , 𝑥𝑁2 , … , 𝑥𝑁𝑚) y per-
tenecen a un espacio que está dotado de la métrica
Por lo tanto, la fórmula de interpolación (8.04)
euclidiana usual. En esos puntos y en una región D
adopta las siguientes expresiones:
continua y compacta que los contiene, está definida
una función
𝑝(𝑎, 0) = 𝑧1(1 − 𝑥⁄𝑎)2 +
, sobre el lado 𝑃1𝑃2 𝑢(𝑥1, 𝑥2, … , 𝑥𝑚)
𝑧2(𝑥⁄𝑎)2
𝑝(𝑎, 𝑦) = 𝑧2(1 − 𝑦⁄𝑏)2 + que es continua y diferenciable, y que adopta
, sobre el lado 𝑃2𝑃3
𝑧3(𝑦⁄𝑏)2 los N valores numéricos (conocidos).
en donde 𝑗𝑖1, 𝑗𝑖2, … , 𝑗𝑖𝑚 es una permutación donde 𝜖(𝑥′, … , 𝑥𝑚) es el error de interpolación
ordenada que se extrae de la sucesión ordenada es de la forma:
{1,2, … , 𝑖 − 1, 𝑖 + 1, … , 𝑁} 𝑁 𝑣
𝜖(𝑥′,…,𝑥 𝑚 )= � � [𝑉(𝑃𝑖𝑃𝑗𝑖1… 𝑃𝑗𝑖𝑚) 𝑉(𝑃 𝑃𝑗𝑖1… 𝑃𝑗𝑖𝑚]∅(𝑃)⁄𝑁!
1
𝑧(𝑥,𝑦) 𝑝(𝑥, 𝑦) — [𝑧1(𝑏 𝑦)(𝑎 𝑥) 𝑧2𝑥(𝑏 𝑦) 𝑧3𝑥𝑦 𝑧4(𝑎 𝑥)𝑦]
𝑎𝑏
7. ALGORITMO DE CÁLCULO
El procedimiento para calcular valores interpo-
lados en una región de un espacio real de varias di-
mensiones (ℝ𝑚) puede seguir el siguiente algoritmo.
Se considera el problema en un espacio de m
dimensiones, donde se tienen
a. N puntos 𝑃1, 𝑃2, … , 𝑃𝑁, de coordenadas
conocidas.
Se trata de valorar a z en el punto
b. los N valores numéricos que tiene una va-
𝑃(𝑥, 𝑦)
riable u en esos puntos, y que son: 𝑢1, … , 𝑢𝑁 respec-
En este caso (ℝ2, 𝑚 = 2) los simplex-es que tivamente.
son necesarios y suficientes para calcular z en P, son
Y se trata de calcular el valor que adopta (apro-
cuatro triángulos
ximado, o exacto) la variable u en un punto P distin-
𝑃1𝑃2𝑃3 , 𝑃1𝑃2𝑃4 , 𝑃2𝑃3𝑃4 , 𝑃3𝑃4𝑃1 to de los N puntos dados.
cuyas áreas miden: Procedimiento:
𝐴123=𝑎𝑏⁄2 , 𝐴234=𝑎𝑏⁄2 , 𝐴341=𝑎𝑏⁄2 1. Anotar las 𝑁 × 𝑚 coordenadas numéricas
, 𝐴412=𝑎𝑏⁄2 de los puntos 𝑃𝑖:
𝑥1, 𝑥12, … 𝑥1𝑚; 𝑥12, 𝑥22, … ; 𝑥2𝑚; … . ; 𝑥𝑁1 , 𝑥𝑁2 , … , 𝑥𝑁𝑚 fórmula de Lagrange que se rememora en este do-
cumento.
de los N puntos. Son datos conocidos.
-- La fórmula de Lagrange en 1 dimensión se
2. Anotar los N valores (también conocidos)
usa para calcular o para estimar valores 𝑝(𝑥) de una
𝑢1, 𝑢2, … , 𝑢𝑁 función de 1 variable independiente, cuyos valores
numéricos se conocen en varios puntos de 𝑥, y que
3. Tomar 𝑃1 y formar los �𝑁 − 1 � = 𝑣, cuer-
𝑚 son 𝑢(𝑥1), 𝑢(𝑥2), … , (𝑥𝑁). La fórmula expresa a 𝑓(𝑥)
pos simplex-es, de dimensión 𝑚, que se pueden en un valor de 𝑥 distinto de los conocidos, como
construir con los restantes 𝑁 −1 puntos. Se les de- 𝑁 (𝑥−𝑥 ) … (𝑥−𝑥 ) (𝑥−𝑥 ) … (𝑥−𝑥 )
1 𝑖−1 𝑖+1 𝑁
𝑝(𝑥)= � 𝑢(𝑥𝑖)
nominará (𝑃1𝑃𝑗11𝑃12 … 𝑃𝑗𝑚1), … , (𝑃1𝑃𝑗11𝑃12, … , 𝑃𝑗1𝑚), (𝑥i−𝑥1) … (𝑥i−𝑥𝑖−𝑁) (𝑥i−𝑥𝑖+1) … (𝑥i−𝑥𝑁)
𝑖=1
donde los subíndices 𝑗1 ≠ 1 y cada uno adopta los
𝐾
donde los valores de 𝑢(𝑥𝑖) son obtenidos me-
valores que hay en la colección {1,2, … , 𝑁} omitien-
diante una fórmula explícita computable, o son me-
do el valor 1.
diciones empíricas observadas.
4. Calcular los respectivos hipervolúmenes
-- En el caso del plano ℝ2, si se tienen los valo-
usando el determinante que se presentó más arriba.
res 𝑧1, 𝑧2, 𝑧3 y 𝑧4 de una variable dependiente (o valo-
5. Formar y calcular numéricamente los 𝑣 res observados empíricamente) en puntos 𝑃1, 𝑃2, 𝑃3,
cuocientes 𝑃4, una función de esa misma variable en otro punto
𝑉(𝑃𝑃𝑗11 … 𝑃𝑗1𝑚) ÷ 𝑉(𝑃1𝑃𝑗11 … 𝑃𝑗1𝑚) 𝑧(𝑥, 𝑦) distinto de los conocidos, con la fórmula de-
y multiplicarlos entre sí. El resultado numérico ducida aquí, se puede estimar por
es 𝑞1. 𝐴023 ∙ 𝐴034 𝐴034 ∙ 𝐴041
𝑧(𝑥, 𝑦) = 𝑧1 + 𝑧2
𝐴123 ∙ 𝐴134 𝐴234 ∙ 𝐴241
6. Tomar sucesiva y ordenadamente a 𝑃2, 𝑃3,
… , 𝑃𝑁 y hacerle a cada uno los tres pasos, 3, 4 y 5. 𝐴041 ∙ 𝐴012 𝐴012 ∙𝐴023
+ 𝑧3 + 𝑧4
Los resultados respectivos son 𝑞2, 𝑞3, … ,𝑞𝑁. 𝐴341 ∙ 𝐴312 𝐴412 ∙ 𝐴423
7. Construir y calcular numéricamente la suma donde cada 𝐴𝑖𝑗𝑘 es el área positivamente orien-
𝑞1𝑢1 + 𝑞2𝑢2 + ⋯ + 𝑞𝑁𝑢𝑁 tada del triángulo 𝑃𝑖 𝑃𝑗 𝑃𝑘 que está dada por el deter-
minante.
8. El valor interpolado que se busca es
𝑢(𝑃) ≅ 𝑞1𝑢1 + ⋯ + 𝑞𝑁𝑢𝑁 1 1 xi yi
𝐴i𝑗𝑘= — 1 xj yj
2
8. CONCLUSIONES 1 xk yk
𝑣 𝑉(0, 𝑗 , … , 𝑗 )
1 𝑚
𝑞ℎ = �
𝑉(ℎ, 𝑗1, … , 𝑗𝑚)
𝑘=1
REFERENCIAS
Mineur, H. (1952). Techniques de Calcul Numérique. Paris.
Librairie Polytechnique Ch. Béranger. 605 p.
Scarborough, J. B. (1966). Numerical Mathematical Analy-
sis. Baltimore. The John Hopkins Press. 600 p.