Notación matemática
La notación multiíndice es una notación matemática que simplifica las fórmulas utilizadas en el cálculo multivariable , las ecuaciones diferenciales parciales y la teoría de distribuciones , al generalizar el concepto de un índice entero a una tupla ordenada de índices.
Definición y propiedades básicas
Un multiíndice n -dimensional es una tupla
de números enteros no negativos (es decir, un elemento del conjunto de números naturales de dimensión - , denotado ).
Para multiíndices y , se define:
- Suma y diferencia de componentes
- Orden parcial
- Suma de componentes (valor absoluto)
- Factorial
- Coeficiente binomial
- Coeficiente multinomial
- dónde .
- Fuerza
- .
- Derivada parcial de orden superior
- donde (ver también 4-gradiente ). A veces también se utiliza la notación. [1]
Algunas aplicaciones
La notación de índices múltiples permite la extensión de muchas fórmulas del cálculo elemental al caso de múltiples variables correspondiente. A continuación se presentan algunos ejemplos. En todos los siguientes, (o ), y (o ).
- Teorema multinomial
- Teorema multibinomial
- Nótese que, dado que x + y es un vector y α es un multiíndice, la expresión de la izquierda es la abreviatura de ( x 1 + y 1 ) α 1 ⋯( x n + y n ) α n .
- Fórmula de Leibniz
- Para funciones fluidas y ,
- Serie de Taylor
- Para una función analítica en variables se tiene De hecho, para una función suficientemente suave, tenemos la expansión de Taylor similar donde el último término (el resto) depende de la versión exacta de la fórmula de Taylor. Por ejemplo, para la fórmula de Cauchy (con resto entero), se obtiene
- Operador diferencial parcial lineal general
- Un operador diferencial parcial lineal formal de orden -ésimo en variables se escribe como
- Integración por partes
- Para funciones suaves con soporte compacto en un dominio acotado se tiene Esta fórmula se utiliza para la definición de distribuciones y derivadas débiles .
Un ejemplo de teorema
Si son multiíndices y , entonces
Prueba
La prueba se sigue de la regla de potencia para la derivada ordinaria ; si α y β están en , entonces
Supongamos que , y . Entonces tenemos que
Para cada uno en , la función sólo depende de . En lo anterior, cada diferenciación parcial se reduce por tanto a la diferenciación ordinaria correspondiente . Por lo tanto, de la ecuación ( 1 ), se deduce que se anula si para al menos uno en . Si este no es el caso, es decir, si como índices múltiples, entonces
para cada y se deduce el teorema. QED
Véase también
Referencias
- ^ Reed, M.; Simon, B. (1980). Métodos de física matemática moderna: análisis funcional I (edición revisada y ampliada). San Diego: Academic Press. pág. 319. ISBN 0-12-585050-6.
- Saint Raymond, Xavier (1991). Introducción elemental a la teoría de operadores pseudodiferenciales . Cap. 1.1. CRC Press. ISBN 0-8493-7158-9
Este artículo incorpora material de la derivada multiíndice de una potencia en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .