Concepto matemático
En álgebra lineal , una matriz de Vandermonde , llamada así en honor a Alexandre-Théophile Vandermonde , es una matriz con los términos de una progresión geométrica en cada fila: una matriz
con entradas , la potencia j del número , para todos los índices basados en cero y . [1] Algunos autores definen la matriz de Vandermonde como la transpuesta de la matriz anterior. [2] [3]
El determinante de una matriz de Vandermonde cuadrada (cuando ) se denomina determinante de Vandermonde o polinomio de Vandermonde . Su valor es:
Esto no es cero si y solo si todos son distintos (no hay dos iguales), lo que hace que la matriz de Vandermonde sea invertible .
Aplicaciones
El problema de interpolación polinómica consiste en encontrar un polinomio que satisfaga para los puntos de datos dados . Este problema se puede reformular en términos de álgebra lineal mediante la matriz de Vandermonde, de la siguiente manera. calcula los valores de en los puntos mediante una multiplicación de matrices , donde es el vector de coeficientes y es el vector de valores (ambos escritos como vectores columna):
Si y son distintos, entonces V es una matriz cuadrada con determinante distinto de cero, es decir, una matriz invertible . Por lo tanto, dados V e y , se puede encontrar el requerido resolviendo sus coeficientes en la ecuación : [4]
.
Es decir, la función de los coeficientes en los valores de los polinomios es una función lineal biyectiva con la matriz V y el problema de interpolación tiene una solución única. Este resultado se denomina teorema de unisolvencia y es un caso especial del teorema chino del resto para polinomios .
En estadística , la ecuación significa que la matriz de Vandermonde es la matriz de diseño de la regresión polinomial .
En el análisis numérico , la solución de la ecuación de forma ingenua mediante eliminación gaussiana da como resultado un algoritmo con complejidad temporal O( n 3 ). Aprovechando la estructura de la matriz de Vandermonde, se puede utilizar el método de diferencias divididas de Newton [5] (o la fórmula de interpolación de Lagrange [6] [7] ) para resolver la ecuación en tiempo O( n 2 ), que también da la factorización UL de . El algoritmo resultante produce soluciones extremadamente precisas, incluso si está mal condicionado . [2] (Véase interpolación polinómica ).
El determinante de Vandermonde se utiliza en la teoría de representación del grupo simétrico . [8]
Cuando los valores pertenecen a un campo finito , el determinante de Vandermonde también se denomina determinante de Moore y tiene propiedades que son importantes en la teoría de los códigos BCH y los códigos de corrección de errores Reed-Solomon .
La transformada discreta de Fourier se define mediante una matriz de Vandermonde específica, la matriz DFT , donde se eligen como raíces n -ésimas de la unidad . La transformada rápida de Fourier calcula el producto de esta matriz con un vector en el tiempo. [9]
En la teoría física del efecto Hall cuántico , el determinante de Vandermonde muestra que la función de onda de Laughlin con factor de llenado 1 es igual a un determinante de Slater . Esto ya no es cierto para factores de llenado distintos de 1 en el efecto Hall cuántico fraccionario .
En la geometría de los poliedros , la matriz de Vandermonde proporciona el volumen normalizado de caras arbitrarias de politopos cíclicos . Específicamente, si es una cara del politopo cíclico correspondiente a , entonces
Determinante
El determinante de una matriz cuadrada de Vandermonde se llama polinomio de Vandermonde o determinante de Vandermonde . Su valor es el polinomio
que no es cero si y sólo si todos son distintos.
El determinante de Vandermonde se denominaba anteriormente a veces discriminante , pero en la terminología actual el discriminante de un polinomio es el cuadrado del determinante de Vandermonde de las raíces . El determinante de Vandermonde es una forma alternada en , lo que significa que intercambiar dos cambia el signo y, por lo tanto, depende del orden para . Por el contrario, el discriminante no depende de ningún orden, por lo que la teoría de Galois implica que el discriminante es una función polinómica de los coeficientes de .
La fórmula del determinante se demuestra a continuación de tres maneras. La primera utiliza propiedades polinómicas, especialmente la propiedad de factorización única de polinomios multivariados . Aunque conceptualmente es simple, involucra conceptos no elementales de álgebra abstracta . La segunda prueba se basa en los conceptos de álgebra lineal de cambio de base en un espacio vectorial y el determinante de una función lineal . En el proceso, calcula la descomposición LU de la matriz de Vandermonde. La tercera prueba es más elemental pero más complicada, y utiliza solo operaciones elementales de fila y columna .
Primera demostración: Propiedades de los polinomios
La primera prueba se basa en las propiedades de los polinomios.
Por la fórmula de Leibniz , es un polinomio en el , con coeficientes enteros. Todas las entradas de la -ésima columna tienen grado total . Por lo tanto, nuevamente por la fórmula de Leibniz, todos los términos del determinante tienen grado total
(es decir, el determinante es un polinomio homogéneo de este grado).
Si, para , se sustituye por , se obtiene una matriz con dos filas iguales, que tiene, por tanto, un determinante cero. Por lo tanto, considerar el determinante como univariante en el teorema del factor implica que es un divisor de Por lo tanto, se deduce que para todos y , es un divisor de
Esto se reforzará ahora para mostrar que el producto de todos esos divisores de es un divisor de En efecto, sea un polinomio con como factor, entonces para algún polinomio Si es otro factor de entonces se vuelve cero después de la sustitución de por Si el factor se vuelve cero después de esta sustitución, ya que el factor permanece distinto de cero. Entonces, por el teorema del factor, divide y divide
Iterando este proceso partiendo de uno se obtiene que es divisible por el producto de todos con que es
donde es un polinomio. Como el producto de todos y tienen el mismo grado , el polinomio es, de hecho, una constante. Esta constante es una, porque el producto de las entradas diagonales de es , que es también el monomio que se obtiene al tomar el primer término de todos los factores en Esto demuestra que y termina la prueba.
Segunda prueba: mapas lineales
Sea F un campo que contiene todos los polinomios y el espacio vectorial F de los polinomios de grado menor o igual a n con coeficientes en F . Sea
sea el mapa lineal definido por
- .
La matriz de Vandermonde es la matriz de con respecto a las bases canónicas de y
Cambiar la base de equivale a multiplicar la matriz de Vandermonde por una matriz de cambio de base M (desde la derecha). Esto no cambia el determinante, si el determinante de M es1 .
Los polinomios , , , …, son mónicos de grados respectivos 0, 1, …, n . Su matriz sobre la base monomial es una matriz triangular superior U (si los monomios están ordenados en grados crecientes), con todas las entradas diagonales iguales a uno. Esta matriz es, por tanto, una matriz de cambio de base de determinante uno. La matriz de sobre esta nueva base es
- .
Por lo tanto, el determinante de Vandermonde es igual al determinante de esta matriz, que es el producto de sus entradas diagonales.
Esto demuestra la igualdad deseada. Además, se obtiene la descomposición LU de V como .
Tercera prueba: operaciones de filas y columnas
La tercera prueba se basa en el hecho de que si a una columna de una matriz se le suma el producto por un escalar de otra columna, entonces el determinante permanece inalterado.
Así, al restar a cada columna –excepto a la primera– la columna anterior multiplicada por , no se modifica el determinante. (Estas restas se deben hacer comenzando por la última columna, para restar una columna que aún no ha sido modificada). Esto da la matriz
Aplicando la fórmula de expansión de Laplace a lo largo de la primera fila, obtenemos , con
Como todas las entradas en la fila -ésima de tienen un factor de , se pueden sacar estos factores y obtener
- ,
donde es una matriz de Vandermonde en . Al iterar este proceso sobre esta matriz de Vandermonde más pequeña, se obtiene eventualmente la expresión deseada de como el producto de todos los tales que .
Rango de la matriz de Vandermonde
- Una matriz de Vandermonde rectangular m × n tal que m ≤ n tiene rango m si y solo si todos los x i son distintos.
- Una matriz de Vandermonde rectangular m × n tal que m ≥ n tiene rango n si y solo si hay n de las x i que son distintas.
- Una matriz cuadrada de Vandermonde es invertible si y sólo si las x i son distintas. Se conoce una fórmula explícita para la inversa (véase más abajo). [10] [3] [11]
Matriz de Vandermonde inversa
Como se explicó anteriormente en Aplicaciones, el problema de interpolación polinómica para satisfacer es equivalente a la ecuación matricial , que tiene la solución única . Existen otras fórmulas conocidas que resuelven el problema de interpolación, que deben ser equivalentes a la única , por lo que deben dar fórmulas explícitas para la matriz inversa . En particular, la interpolación de Lagrange muestra que las columnas de la matriz inversa
son los coeficientes de los polinomios de Lagrange
donde . Esto se demuestra fácilmente: los polinomios satisfacen claramente mientras que , por lo que podemos calcular el producto , la matriz identidad.
Matrices de Vandermonde confluentes
Como se describió anteriormente, una matriz de Vandermonde describe el problema de interpolación de álgebra lineal de encontrar los coeficientes de un polinomio de grado basado en los valores , donde son puntos distintos . Si no son distintos, entonces este problema no tiene una solución única (y la matriz de Vandermonde correspondiente es singular). Sin embargo, si especificamos los valores de las derivadas en los puntos repetidos, entonces el problema puede tener una solución única. Por ejemplo, el problema
donde , tiene una solución única para todos los que tienen . En general, supongamos que son números (no necesariamente distintos) y, para simplificar, supongamos que los valores iguales son adyacentes:
donde y son distintos. Entonces el problema de interpolación correspondiente es
La matriz correspondiente para este problema se llama matriz de Vandermonde confluente , dada de la siguiente manera. Si , entonces para un único (que denota ). Sea
Esta generalización de la matriz de Vandermonde la hace no singular , de modo que existe una única solución para el sistema de ecuaciones y posee la mayoría de las demás propiedades de la matriz de Vandermonde. Sus filas son derivadas (de algún orden) de las filas originales de Vandermonde.
Otra forma de derivar esta fórmula es tomando un límite de la matriz de Vandermonde a medida que las de se aproximan entre sí. Por ejemplo, para obtener el caso de , tome reste la primera fila de la segunda en la matriz de Vandermonde original, y sea : esto produce la fila correspondiente en la matriz de Vandermonde confluente. Esto deriva el problema de interpolación generalizada con valores dados y derivadas como un límite del caso original con puntos distintos: dar es similar a dar para pequeñas . Los geómetras han estudiado el problema de rastrear puntos confluentes a lo largo de sus líneas tangentes, conocido como compacitificación del espacio de configuración .
Véase también
Referencias
- ^ Roger A. Horn y Charles R. Johnson (1991), Temas de análisis matricial , Cambridge University Press. Véase la sección 6.1 .
- ^ ab Golub, Gene H.; Van Loan, Charles F. (2013). Cálculos matriciales (4.ª ed.). The Johns Hopkins University Press. págs. 203–207. ISBN 978-1-4214-0859-0.
- ^ ab Macon, N.; A. Spitzbart (febrero de 1958). "Inversas de matrices de Vandermonde". The American Mathematical Monthly . 65 (2): 95–100. doi :10.2307/2308881. JSTOR 2308881.
- ^ François Viète (1540-1603), Fórmulas de Vieta, https://en.wikipedia.org/wiki/Vandermonde_matrix/Vieta%27s_formulas
- ^ Björck, Å.; Pereyra, V. (1970). "Solución de sistemas de ecuaciones de Vandermonde". American Mathematical Society . 24 (112): 893–903. doi : 10.1090/S0025-5718-1970-0290541-1 . S2CID 122006253.
- ^ Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). "Sección 2.8.1. Matrices de Vandermonde". Recetas numéricas: el arte de la computación científica (3.ª ed.). Nueva York: Cambridge University Press. ISBN 978-0-521-88068-8.
- ^ Inversa de la matriz de Vandermonde (2018), https://proofwiki.org/wiki/Vandermonde_matrix/Inverse_of_Vandermonde_Matrix
- ^ Fulton, William ; Harris, Joe (1991). Teoría de la representación. Un primer curso . Textos de posgrado en matemáticas , Lecturas de matemáticas. Vol. 129. Nueva York: Springer-Verlag. doi :10.1007/978-1-4612-0979-9. ISBN . 978-0-387-97495-8. Sr. 1153249. OCLC 246650103. La lección 4 revisa la teoría de representación de grupos simétricos, incluido el papel del determinante de Vandermonde .
- ^ Gauthier, J. "Evaluación multipunto rápida en n puntos arbitrarios". Universidad Simon Fraser, Tech. Rep (2017).
- ^ Turner, L. Richard (agosto de 1966). Inversa de la matriz de Vandermonde con aplicaciones (PDF) .
- ^ "Inversa de la matriz de Vandermonde". 2018.
Lectura adicional
- Ycart, Bernard (2013), "Un caso de eponimia matemática: el determinante de Vandermonde", Revue d'Histoire des Mathématiques , 13 , arXiv : 1204.4716 , Bibcode :2012arXiv1204.4716Y.
Enlaces externos
- Matriz de Vandermonde en ProofWiki