Ver el código de «Cálculo matricial»

{{Distinguir|cálculo vectorial}}

En [[matemáticas]], el '''cálculo matricial''' es una notación especializada para realizar [[cálculo multivariable]], especialmente sobre espacios de [[matrices]]. Recoge las distintas [[Derivada parcial|derivadas parciales]] de una única [[Función (matemática)|función]] con respecto a muchas [[Variable (matemática)|variables]], y/o de una [[función multivariable]] con respecto a una única variable, en [[Vector matematica fisica|vectores]] y matrices que pueden tratarse como entidades únicas. Esto simplifica enormemente operaciones como la búsqueda del máximo o el mínimo de una función multivariante y la resolución de sistemas de [[Ecuación diferencial|ecuaciones diferenciales]]. La notación empleada aquí se utiliza habitualmente en [[estadística]] e [[ingeniería]], mientras que la notación de índice tensorial es la preferida en [[física]].

Dos convenciones de notación opuestas dividen el campo del cálculo matricial en dos grupos distintos. Los dos grupos pueden distinguirse por si escriben la derivada de un [[Escalar (matemática)|escalar]] con respecto a un vector como un [[vector columna o como un vector fila.]] Ambas convenciones son posibles incluso cuando se hace la suposición común de que los vectores deben tratarse como vectores columna cuando se combinan con matrices (en lugar de vectores fila). Una única convención puede ser algo estándar en un único campo que utilice habitualmente el cálculo matricial (por ejemplo, la [[econometría]], la estadística, la [[Estimación estadística|teoría de la estimación]] y el [[aprendizaje automático]]). Sin embargo, incluso dentro de un mismo campo, puede haber autores que utilicen convenciones opuestas. Los autores de ambos grupos suelen escribir como si sus convenciones específicas fueran estándar. La combinación de resultados de distintos autores sin comprobar cuidadosamente que se han utilizado notaciones compatibles puede dar lugar a graves errores. Las definiciones de estas dos convenciones y las comparaciones entre ellas se recogen en la sección de convenciones de maquetación.

== Ámbito ==
El cálculo matricial se refiere a una serie de notaciones diferentes que utilizan matrices y vectores para recoger la derivada de cada componente de la variable dependiente con respecto a cada componente de la variable independiente. En general, la variable independiente puede ser un escalar, un vector o una matriz, mientras que la variable dependiente también puede ser cualquiera de ellos. Cada situación diferente dará lugar a un conjunto diferente de reglas, o a un [[cálculo]] distinto, utilizando el sentido más amplio del término. La notación matricial es una forma cómoda de recoger las numerosas derivadas de forma organizada.

Como primer ejemplo, consideremos el [[gradiente]] del [[cálculo vectorial]]. Para una función escalar de tres variables independientes, <math>f(x_1, x_2, x_3)</math>, la gradiente es dada por la ecuación vectorial

<math>\nabla f = \frac{\partial f}{\partial x_1} \hat{x}_1 + \frac{\partial f}{\partial x_2}  \hat{x}_2 +  \frac{\partial f}{\partial x_3} \hat{x}_3</math>

donde <math>\hat{x}_i</math>  representa un [[vector unitario]] en la <math>x_i</math> dirección para <math>1\le i \le 3</math>. Este tipo de derivada generalizada puede verse como la derivada de un escalar, ''f'', respecto a un vector <math>\mathbf{x}
</math>, y su resultado puede recogerse fácilmente en forma vectorial.

<math>\nabla f = \left( \frac{\partial f}{\partial \mathbf{x}} \right)^{\mathsf{T}} = 
  \begin{bmatrix}
    \frac{\partial f}{\partial x_1} &
    \frac{\partial f}{\partial x_2} &
    \frac{\partial f}{\partial x_3} \\
  \end{bmatrix}^\textsf{T}.</math>

Ejemplos más complicados incluyen la derivada de una función escalar con respecto a una matriz, conocida como matriz gradiente, que recoge la derivada con respecto a cada elemento de la matriz en la posición correspondiente de la matriz resultante. En ese caso, el escalar debe ser función de cada una de las variables independientes de la matriz. Como otro ejemplo, si tenemos un n-vector de variables dependientes, o funciones, de ''m'' variables independientes podríamos considerar la derivada del vector dependiente con respecto al vector independiente. El resultado podría recogerse en una matriz ''m×n'' formada por todas las combinaciones de derivadas posibles.

Hay un total de nueve posibilidades utilizando escalares, vectores y matrices. Observe que a medida que consideramos números más altos de componentes en cada una de las variables independientes y dependientes podemos quedarnos con un número muy grande de posibilidades. Los seis tipos de derivadas que pueden organizarse mejor en forma matricial se recogen en la siguiente tabla.<ref name=":0">{{Cita web|url=http://research.microsoft.com/en-us/um/people/minka/papers/matrix/|título=Old and New Matrix Algebra Useful for Statistics|fechaacceso=05 de febrero de 2016|apellido=Thomas P.|nombre=Minka, MIT Media Lab note (1997; revisado 12/00)|fecha=28 de diciembre del 2000|idioma=en}}</ref>
{| class="wikitable" style="text-align:center; width:35%;"
|+Tipos de derivadas matriciales
! scope="col" |Tipos
! scope="col" |Escalar
! scope="col" |Vector
! scope="col" |Matriz
|-
! scope="row" |Escalar
|<math>\frac{\partial y}{\partial x} </math>
|<math>\frac{\partial \mathbf{y}}{\partial x} </math>
|<math>\frac{\partial \mathbf{Y}}{\partial x} </math>
|-
! scope="row" |Vector
|<math>\frac{\partial y}{\partial \mathbf{x}} </math>
|<math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}} </math>| {{n/a|}}
|-
! scope="row" |Matriz
|<math>\frac{\partial y}{\partial \mathbf{X}} </math>| {{n/a|}}
| {{n/a|}}
|}
Aquí hemos utilizado el término "matriz" en su sentido más general, reconociendo que los vectores y los escalares son simplemente matrices con una columna y una fila, respectivamente. Además, hemos utilizado letras negritas para indicar vectores y mayúsculas para matrices. Esta notación se utiliza en todo el texto.

Observe que también podríamos hablar de la derivada de un vector respecto a una matriz, o de cualquiera de las otras celdas sin rellenar de nuestra tabla. Sin embargo, estas derivadas se organizan de forma más natural en un [[tensor]] de rango superior a 2, por lo que no encajan perfectamente en una matriz. En las tres secciones siguientes definiremos cada una de estas derivadas y las relacionaremos con otras ramas de las matemáticas. Consulte la sección de convenciones de disposición para ver una tabla más detallada.

=== Relación con otras derivadas ===
La derivada matricial es una notación conveniente para llevar la cuenta de las derivadas parciales para hacer cálculos. La [[derivada de Fréchet]] es la forma estándar en el entorno del [[análisis funcional]] para tomar derivadas con respecto a vectores. En el caso de que una función matricial de una matriz sea diferenciable en Fréchet, las dos derivadas coincidirán hasta la traslación de notaciones. Como ocurre en general con las [[Derivada parcial|derivadas parciales]], algunas fórmulas pueden extenderse bajo condiciones analíticas más débiles que la existencia de la derivada como cartografía lineal aproximante.

=== Usos ===
El cálculo matricial se utiliza para derivar estimadores estocásticos óptimos, que a menudo implican el uso de [[multiplicadores de Lagrange]]. Esto incluye la derivación de:

* [[Filtro de Kalman]]
* [[Filtro de Wiener]]
* [[Algoritmo esperanza-maximización|Algoritmo de maximización de esperanza para mezclas gaussianas]]
* [[Descenso del gradiente|Descenso gradiente]]

== Notación ==
Las derivadas vectoriales y matriciales presentadas en las secciones siguientes aprovechan al máximo la notación matricial, utilizando una única variable para representar un gran número de variables. En lo que sigue distinguiremos escalares, vectores y matrices por su tipo de letra. ''M(n,m)'' es el espacio de matrices [[Número real|reales]] ''n×m'' con ''n'' filas y ''m'' columnas. Dichas matrices se denotarán utilizando letras mayúsculas en negrita: '''A''', '''X''', '''Y''', etc. Un elemento de ''M(n,1)'', es decir, un [[vector columna]], se denota con una letra minúscula en negrita: '''a''', '''x''', '''y''', etc. Un elemento de ''M''(1,1) es un escalar, denotado con letra minúscula cursiva: ''a'', ''t'', ''x'', etc. '''X'''<sup>T</sup> es la [[Matriz transpuesta|transposición]] de la matriz, tr('''X''') es la [[Traza (álgebra lineal)|traza]] y det('''X''') o |'''X'''| es el [[Determinante (matemática)|determinante]]. Se supone que todas las funciones son de [[Función infinitamente diferenciable|clase de diferenciabilidad]] ''C''<sup>1</sup>, a menos que se indique lo contrario. Generalmente se utilizarán letras de la primera mitad del alfabeto (a, b, c, ...) para denotar constantes, y de la segunda mitad (t, x, y, ...) para denotar variables.

'''NOTA''': Como se ha mencionado anteriormente, existen notaciones que compiten entre sí para presentar [[Derivada parcial|sistemas de derivadas parciales]] en vectores y matrices, y no parece que esté surgiendo todavía ningún estándar. Las dos secciones introductorias siguientes utilizan la convención de disposición del numerador simplemente por conveniencia, para evitar complicar demasiado la discusión. En la sección siguiente se tratan las convenciones de disposición con más detalle. Es importante tener en cuenta lo siguiente:

# A pesar del uso de los términos "disposición del numerador" y "disposición del denominador", en realidad hay más de dos opciones notacionales posibles. La razón es que la elección de numerador frente a denominador (o, en algunas situaciones, numerador frente a mixto) puede hacerse independientemente para las derivadas escalar por vector, vector por escalar, vector por vector y escalar por matriz, y varios autores mezclan y combinan sus elecciones de disposición de diversas maneras.
# La elección de la disposición del numerador en las secciones introductorias no implica que ésta sea la opción "correcta" o "superior". Los distintos tipos de disposición tienen ventajas e inconvenientes. La combinación descuidada de fórmulas escritas en diferentes disposiciones puede dar lugar a errores graves, y la conversión de una disposición a otra requiere cuidado para evitar errores. Por ello, cuando se trabaja con fórmulas existentes, lo mejor es identificar el diseño utilizado y mantener la coherencia con él, en lugar de intentar utilizar el mismo diseño en todas las situaciones.

=== Alternativas ===
La [[notación de índice tensorial]] con su [[convenio de suma de Einstein]] es muy similar al cálculo matricial, excepto en que sólo se escribe un componente cada vez. Tiene la ventaja de que se pueden manipular fácilmente tensores de rango arbitrariamente alto, mientras que los tensores de rango superior a dos son bastante difíciles de manejar con la notación matricial. Todo el trabajo aquí puede hacerse en esta notación sin usar la notación matricial de una sola variable. Sin embargo, muchos problemas en la teoría de la estimación y otras áreas de la [[matemática aplicada]] darían lugar a demasiados índices como para poder seguirlos adecuadamente, lo que apunta a favor del cálculo matricial en esas áreas. Además, la notación de Einstein puede ser muy útil para demostrar las identidades presentadas aquí (véase la sección sobre [[Cálculo de ricci|diferenciación]]) como alternativa a la notación típica de elementos, que puede resultar engorrosa cuando se llevan las sumas explícitas. Nótese que una matriz puede considerarse un tensor de rango dos.

== Derivadas con vectores ==
{{Main|Cálculo vectorial}}
Dado que los vectores son matrices con una sola columna, las derivadas matriciales más sencillas son derivadas vectoriales.

Las notaciones desarrolladas aquí pueden acomodar las operaciones usuales del [[cálculo vectorial]] identificando el espacio ''M''(''n'',1) de ''n''-vectores con el [[espacio euclídeo]] '''R'''<sup>''n''</sup>, y el escalar ''M''(1,1) se identifica con '''R'''. El concepto correspondiente del cálculo vectorial se indica al final de cada [[Subsección alpina|subsección]].

'''NOTA''': La discusión en esta sección asume la convención de disposición del numerador con fines pedagógicos. Algunos autores utilizan convenciones diferentes. En la sección sobre convenciones de disposición se trata esta cuestión con más detalle. Las identidades que se dan más abajo se presentan en formas que pueden usarse en conjunción con todas las convenciones de disposición comunes.

=== Vector-por-escalar ===
La [[derivada]] de un [[vector]] <math>\mathbf{y} = \begin{bmatrix}
    y_1 &
    y_2 &
    \cdots &
    y_m
  \end{bmatrix}^\mathsf{T}</math>, por un [[Escalar (matemática)|escalar]] x se escribe (en notación de disposición del numerador) como

<math>\frac{\partial \mathbf{y}}{\partial x} =
  \begin{bmatrix}
    \frac{\partial y_1}{\partial x}\\
    \frac{\partial y_2}{\partial x}\\
    \vdots\\
    \frac{\partial y_m}{\partial x}\\
  \end{bmatrix}.</math>

En [[cálculo vectorial]] la derivada de un vector y respecto a un escalar x se conoce como [[vector tangente]] del vector y, <math>\frac{\partial \mathbf{y}}{\partial x}</math>. Nótese aquí que y: '''R'''<sup>1</sup> → '''R'''<sup>''m''</sup>.

'''Ejemplo.''' Ejemplos sencillos de ello son el vector [[velocidad]] en el [[espacio euclídeo]], que es el [[vector tangente]] del [[Posición|vector posición]] (considerado en función del tiempo). Asimismo, la [[aceleración]] es el vector tangente de la velocidad.

=== Escalar-por-vector ===
La [[derivada]] de un [[Escalar (matemática)|escalar]] ''y'' por un vector <math>\mathbf{x} = \begin{bmatrix}
    x_1 &
    x_2 &
    \cdots &
    x_n
  \end{bmatrix}^\mathsf{T}</math>, es escrito (en notación de disposición del numerador) como

<math>\frac{\partial y}{\partial \mathbf{x}} =
  \begin{bmatrix}
    \frac{\partial y}{\partial x_1} &
    \frac{\partial y}{\partial x_2} &
    \cdots &
    \frac{\partial y}{\partial x_n}
  \end{bmatrix}.</math>

En [[cálculo vectorial]], el [[gradiente]] de un campo escalar ''f'' en el espacio '''R'''<sup>''n''</sup> (cuyas coordenadas independientes son las componentes de '''x''') es el transpuesto de la derivada de un escalar por un vector.

<math>\nabla f = \begin{bmatrix}\frac{\partial f}{\partial x_1} \\ \vdots \\ \frac{\partial f}{\partial x_n} \end{bmatrix} = \left( \frac{\partial f}{\partial \mathbf{x}} \right)^{\mathsf{T}}</math>

Por ejemplo, en física, el [[campo eléctrico]] es el [[gradiente]] vectorial negativo del [[potencial eléctrico]].

La [[derivada direccional]] de una función escalar ''f''('''x''') del vector espacial '''x''' en la dirección del vector unitario '''u''' (representado en este caso como un vector columna) se define utilizando el gradiente de la siguiente manera.

<math>\nabla_{\mathbf{u}}{f}(\mathbf{x}) = \nabla f(\mathbf{x}) \cdot \mathbf{u}</math>

Utilizando la notación que acabamos de definir para la derivada de un escalar con respecto a un vector podemos reescribir la derivada direccional como <math>\nabla_\mathbf{u} f = \frac{\partial f}{\partial \mathbf{x}} \mathbf{u}.</math>Este tipo de notación será útil para demostrar reglas de producto y reglas en cadena que resultan similares a las que conocemos para la [[derivada]] escalar.

=== Vector-por-vector ===
Cada uno de los dos casos anteriores puede considerarse como una aplicación de la derivada de un vector respecto de un vector, utilizando adecuadamente un vector de tamaño uno. De forma similar, encontraremos que las derivadas que implican matrices se reducirán a derivadas que implican vectores de forma correspondiente.

La derivada de una [[Campo vectorial función|función vectorial]] (un vector cuyas componentes son funciones)<math>\mathbf{y} = \begin{bmatrix}
    y_1 &
    y_2 &
    \cdots &
    y_m
  \end{bmatrix}^\mathsf{T}</math>con respecto a un vector de entrada, <math>\mathbf{x} = \begin{bmatrix}
    x_1 &
    x_2 &
    \cdots &
    x_n
  \end{bmatrix}^\mathsf{T}</math>se escribe (en notación de disposición del numerador) como

<math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}} =
  \begin{bmatrix}
    \frac{\partial y_1}{\partial x_1} & \frac{\partial y_1}{\partial x_2} & \cdots & \frac{\partial y_1}{\partial x_n}\\
    \frac{\partial y_2}{\partial x_1} & \frac{\partial y_2}{\partial x_2} & \cdots & \frac{\partial y_2}{\partial x_n}\\
    \vdots & \vdots & \ddots & \vdots\\
    \frac{\partial y_m}{\partial x_1} & \frac{\partial y_m}{\partial x_2} & \cdots & \frac{\partial y_m}{\partial x_n}\\
  \end{bmatrix}.</math>

En [[cálculo vectorial]], la derivada de una función vectorial y con respecto a un vector x cuyas componentes representan un espacio se conoce como [[Aplicación progrediente|''pushforward'' (o diferencial)]], o [[matriz jacobiana]].

El pushforward a lo largo de una función vectorial '''f''' con respecto al vector '''v''' en '''R'''<sup>''n''</sup> viene dado por <math>  d\,\mathbf{f}(\mathbf{v}) = \frac{\partial \mathbf{f}}{\partial \mathbf{v}} d\,\mathbf{v}.</math>

== Derivadas con matrices ==
Hay dos tipos de derivadas con matrices que se pueden organizar en una matriz del mismo tamaño. Se trata de la derivada de una matriz por un escalar y la derivada de un escalar por una matriz. Pueden ser útiles en problemas de minimización que se encuentran en muchas áreas de las matemáticas aplicadas y han adoptado los nombres de matriz tangente y matriz gradiente, respectivamente, después de sus análogos para los vectores.

'''Nota''': La discusión en esta sección asume la convención de disposición del numerador con fines pedagógicos. Algunos autores utilizan convenciones diferentes. En la sección sobre convenciones de disposición se trata este tema con más detalle. Las identidades que se dan más abajo se presentan en formas que pueden usarse en conjunción con todas las convenciones de disposición comunes.

=== Matriz-por-escalar ===
La derivada de una función matricial '''Y''' por un escalar x se conoce como '''matriz tangente''' y viene dada (en notación de disposición del numerador) por

<math>\frac{\partial \mathbf{Y}}{\partial x} =
\begin{bmatrix}
\frac{\partial y_{11}}{\partial x} & \frac{\partial y_{12}}{\partial x} & \cdots & \frac{\partial y_{1n}}{\partial x}\\
\frac{\partial y_{21}}{\partial x} & \frac{\partial y_{22}}{\partial x} & \cdots & \frac{\partial y_{2n}}{\partial x}\\
\vdots & \vdots & \ddots & \vdots\\
\frac{\partial y_{m1}}{\partial x} & \frac{\partial y_{m2}}{\partial x} & \cdots & \frac{\partial y_{mn}}{\partial x}\\
\end{bmatrix}.</math>

=== Escalar-por-matriz ===
La derivada de una función escalar y de una matriz ''p×q'' '''X''' de variables independientes, con respecto a la matriz '''X''', viene dada (en notación de disposición del numerador) por

<math>\frac{\partial y}{\partial \mathbf{X}} =
\begin{bmatrix}
\frac{\partial y}{\partial x_{11}} & \frac{\partial y}{\partial x_{21}} & \cdots & \frac{\partial y}{\partial x_{p1}}\\
\frac{\partial y}{\partial x_{12}} & \frac{\partial y}{\partial x_{22}} & \cdots & \frac{\partial y}{\partial x_{p2}}\\
\vdots & \vdots & \ddots & \vdots\\
\frac{\partial y}{\partial x_{1q}} & \frac{\partial y}{\partial x_{2q}} & \cdots & \frac{\partial y}{\partial x_{pq}}\\
\end{bmatrix}.
</math>

Ejemplos importantes de funciones escalares de matrices son la traza de una matriz y el determinante.

En analogía con el [[cálculo vectorial]], esta derivada suele escribirse de la siguiente manera.

<math>\nabla_\mathbf{X} y(\mathbf{X}) = \frac{\partial y(\mathbf{X})}{\partial \mathbf{X}} </math>

También por analogía con el [[cálculo vectorial]], la '''derivada direccional''' de un escalar ''f''('''X''') de una matriz '''X''' en la dirección de la matriz '''Y''' viene dada por

<math>\nabla_\mathbf{Y} f = \operatorname{tr} \left(\frac{\partial f}{\partial \mathbf{X}} \mathbf{Y}\right).</math>

Es la matriz gradiente, en particular, que encuentra muchos usos en los problemas de minimización en la [[Estimación estadística|teoría de la estimación]], en particular en la derivación del algoritmo del [[filtro de Kalman]], que es de gran importancia en el campo.

=== Otras derivadas matriciales ===
Los tres tipos de derivadas que no se han considerado son las de vectores por matrices, matrices por vectores y matrices por matrices. Estas derivadas no se consideran tan ampliamente y no existe una notación comúnmente aceptada.

== Convenciones de disposición ==
En esta sección se discuten las similitudes y diferencias entre las convenciones notacionales que se utilizan en los distintos campos que aprovechan el cálculo matricial. Aunque en gran medida hay dos convenciones consistentes, algunos autores encuentran conveniente mezclar las dos convenciones en formas que se discuten a continuación. Después de esta sección, las ecuaciones se enumerarán en las dos formas que compiten por separado.

La cuestión fundamental es que la derivada de un vector con respecto a otro vector, es decir <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>, a menudo se escribe de dos formas opuestas. Si el numerador y es de tamaño ''m'' y el denominador '''x''' de tamaño ''n'', entonces el resultado puede disponerse como una matriz ''m×n'' o como una matriz ''n×m'', es decir, los elementos de '''y''' dispuestos en columnas y los elementos de '''x''' dispuestos en filas, o viceversa. Esto nos lleva a las siguientes posibilidades:

# ''Disposición del numerador'', es decir, disposición en función de '''y''' y '''x'''<sup>T</sup>(es decir, contrariamente a '''x'''). A veces se denomina ''formulación jacobiana''. Esto corresponde a la presentación ''m×n'' del ejemplo anterior, lo que significa que el número de fila de <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>  es igual al tamaño del numerador <math>\mathbf{y}</math> y el número de columna de <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>  es igual al tamaño de '''x'''<sup>T</sup>.
# ''Disposición del denominador'', es decir, disposición en función de '''y'''<sup>T</sup> y '''x''' (es decir, contrariamente a '''y'''). A veces se denomina ''formulación hessiana''. Algunos autores denominan ''gradiente'' a esta disposición, a diferencia de la ''jacobiana'' (disposición del numerador), que es su transpuesta. (Sin embargo, ''[[gradiente]]'' significa más comúnmente la derivada <math>\frac{\partial y}{\partial \mathbf{x}}</math>, independientemente de la disposición). Esto corresponde a la disposición ''n×m'' del ejemplo anterior, lo que significa que el número de fila de <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math> es igual al tamaño de '''x''' (el denominador).
# Una tercera posibilidad que se ve a veces es insistir en escribir la derivada como <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}'}</math>,  (es decir, la derivada se toma con respecto a la transpuesta de '''x''') y siguen la disposición del numerador. Esto permite afirmar que la matriz se dispone según numerador y denominador. En la práctica, esto produce los mismos resultados que la disposición del numerador.

Al tratar el [[gradiente]] <math>\frac{\partial y}{\partial \mathbf{x}}</math>  y el caso contrario <math>\frac{\partial \mathbf{y}}{\partial x},</math>  tenemos los mismos problemas. Para ser coherentes, deberíamos hacer una de las siguientes cosas:

# Si elegimos la disposición del numerador para <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}},</math> deberíamos trazar el [[gradiente]] <math>\frac{\partial y}{\partial \mathbf{x}}</math> como un vector fila, y <math>\frac{\partial \mathbf{y}}{\partial x}</math> como vector columna.
# Si elegimos la disposición del denominador para <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}},</math> deberíamos trazar el [[gradiente]] <math>\frac{\partial y}{\partial \mathbf{x}}</math> como un vector columna, y <math>\frac{\partial \mathbf{y}}{\partial x}</math> como vector fila.
# En la tercera posibilidad anterior, escribimos <math>\frac{\partial y}{\partial \mathbf{x}'}</math> y <math>\frac{\partial \mathbf{y}}{\partial x},</math> y utilizamos la disposición del numerador.

No todos los libros de texto y artículos de matemáticas son consistentes en este aspecto. Es decir, a veces se utilizan diferentes convenciones en diferentes contextos dentro del mismo libro o documento. Por ejemplo, algunos eligen la disposición del denominador para los gradientes (presentándolos como vectores columna), pero la disposición del numerador para la derivada vectorial <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}.</math>

Del mismo modo, cuando se trata de derivadas escalares por matrices <math>\frac{\partial y}{\partial \mathbf{X}}</math> y derivadas matriz-por-escalar <math>\frac{\partial \mathbf{Y}}{\partial x},</math> entonces la disposición coherente del numerador se dispone según '''Y''' y '''X'''<sup>T</sup>, mientras que la disposición coherente del denominador se dispone según '''Y'''<sup>T</sup> y '''X'''. En la práctica, sin embargo, seguir una disposición del denominador para <math>\frac{\partial \mathbf{Y}}{\partial x},</math> y disponiendo el resultado según '''Y'''<sup>T</sup>, rara vez se ve porque da lugar a fórmulas malas que no se corresponden con las fórmulas escalares. Como resultado, a menudo se pueden encontrar las siguientes disposiciones:

# ''Disposición consistente del numerador'', que dispone <math>\frac{\partial \mathbf{Y}}{\partial x}</math> en función de '''Y''' y <math>\frac{\partial y}{\partial \mathbf{X}}</math> según '''X'''<sup>T</sup>.
# ''Disposición mixta'', que establece <math>\frac{\partial \mathbf{Y}}{\partial x}</math> según '''Y''' y <math>\frac{\partial y}{\partial \mathbf{X}}</math> según '''X'''.
# Utilizar la notación <math>\frac{\partial y}{\partial \mathbf{X}'},</math> con resultados iguales a la disposición coherente del numerador.

En las siguientes fórmulas manejamos las cinco combinaciones posibles <math>\frac{\partial y}{\partial \mathbf{x}}, \frac{\partial \mathbf{y}}{\partial x}, \frac{\partial \mathbf{y}}{\partial \mathbf{x}}, \frac{\partial y}{\partial \mathbf{X}}</math> y <math>\frac{\partial \mathbf{Y}}{\partial x}</math> por separado. También manejamos casos de derivadas escalares por escalares que implican un vector o matriz intermedia. (Esto puede surgir, por ejemplo, si una [[curva paramétrica]] multidimensional se define en términos de una variable escalar, y luego se toma una derivada de una función escalar de la curva con respecto al escalar que parametriza la curva). Para cada una de las distintas combinaciones, damos resultados de disposición del numerador y del denominador, excepto en los casos anteriores en los que la disposición del denominador rara vez se produce. En los casos de matrices en los que tiene sentido, damos resultados de disposición del numerador y de disposición mixta. Como se ha indicado anteriormente, los casos en los que los denominadores de vectores y matrices se escriben en notación de transposición son equivalentes a la disposición del numerador con los denominadores escritos sin la transposición.

Tenga en cuenta que varios autores utilizan diferentes combinaciones de disposiciones del numerador y del denominador para diferentes tipos de derivadas, y no hay garantía de que un autor utilice sistemáticamente la disposición del numerador o del denominador para todos los tipos. Compare las fórmulas siguientes con las citadas en la fuente para determinar la disposición utilizada para ese tipo concreto de derivada, pero tenga cuidado de no asumir que las derivadas de otros tipos siguen necesariamente el mismo tipo de disposición.

Cuando se toman derivadas con un denominador agregado (vectorial o matricial) para encontrar un máximo o un mínimo del agregado, debe tenerse en cuenta que el uso de la disposición del numerador producirá resultados que se transponen con respecto al agregado. Por ejemplo, al intentar hallar la estimación de [[máxima verosimilitud]] de una [[Distribución normal multivariada|distribución normal multivariante]] utilizando el cálculo matricial, si el dominio es un vector columna ''k×1'', entonces el resultado utilizando la disposición del numerador tendrá la forma de un vector fila ''1×k''. Por lo tanto, o bien los resultados deben transponerse al final o bien debe utilizarse la disposición del denominador (o disposición mixta).
:{|class="wikitable"
|+ Resultado de diferenciar varios tipos de agregados con otros tipos de agregados
! colspan=2 rowspan=2 |
! colspan=2 | Escalar ''y''
! colspan=2 | Vector columna '''y''' (tamaño ''m''×''1'')
! colspan=2 | Matriz '''Y''' (tamaño ''m''×''n'')
|-
! Notación !! Tipo
! Notación !! Tipo
! Notación !! Tipo
|-
! rowspan=2 | Escalar ''x''
! Numerador
| rowspan=2 style="text-align:center;" | <math>\frac{\partial y}{\partial x}</math>
| rowspan=2 | Escalar
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{y}}{\partial x}</math>
| Tamaño-''m'' [[vector columna]]
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{Y}}{\partial x}</math>
| ''m''×''n'' matriz
|-
! Denominador
| Tamaño-''m'' [[vector de fila]]
|
|-
! rowspan=2 | Vector columna '''x'''<br/>(tamaño ''n''×''1'')
! Numerador
| rowspan=2 style="text-align:center;" | <math>\frac{\partial y}{\partial \mathbf{x}}</math>
| Tamaño-''n'' [[vector de fila]]
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>
| ''m''×''n'' matriz
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{Y}}{\partial \mathbf{x}}</math>
| rowspan=2 |
|-
! Denominador
| Tamaño-''n'' [[vector de fila]]
| ''n''×''m'' matriz
|-
! rowspan=2 | Matriz '''X'''<br/>(tamaño ''p''×''q'')
! Numerador
| rowspan=2 style="text-align:center;" | <math>\frac{\partial y}{\partial \mathbf{X}}</math>
| ''q''×''p'' matriz
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{y}}{\partial \mathbf{X}}</math>
| rowspan=2 |
| rowspan=2 style="text-align:center;" | <math>\frac{\partial \mathbf{Y}}{\partial \mathbf{X}}</math>
| rowspan=2 |
|-
! Denominador
| ''p''×''q'' matriz
|}
Los resultados de las operaciones se transpondrán cuando se cambie entre la notación de disposición del numerador y la notación de disposición del denominador.

=== Notación numerador-disposición ===
Utilizando la notación numerador-disposición, tenemos:<ref name=":0" />

<math>\begin{align}
  \frac{\partial y}{\partial \mathbf{x}} &= \begin{bmatrix}
    \frac{\partial y}{\partial x_1} &
    \frac{\partial y}{\partial x_2} &
    \cdots                          &
    \frac{\partial y}{\partial x_n}
  \end{bmatrix}. \\
  \frac{\partial \mathbf{y}}{\partial x} &= \begin{bmatrix}
    \frac{\partial y_1}{\partial x} \\
    \frac{\partial y_2}{\partial x} \\
    \vdots                          \\
    \frac{\partial y_m}{\partial x} \\
  \end{bmatrix}. \\
  \frac{\partial \mathbf{y}}{\partial \mathbf{x}} &= \begin{bmatrix}
    \frac{\partial y_1}{\partial x_1} & \frac{\partial y_1}{\partial x_2} & \cdots & \frac{\partial y_1}{\partial x_n} \\
    \frac{\partial y_2}{\partial x_1} & \frac{\partial y_2}{\partial x_2} & \cdots & \frac{\partial y_2}{\partial x_n} \\
    \vdots                            & \vdots                            & \ddots & \vdots \\
    \frac{\partial y_m}{\partial x_1} & \frac{\partial y_m}{\partial x_2} & \cdots & \frac{\partial y_m}{\partial x_n} \\
  \end{bmatrix}. \\
  \frac{\partial y}{\partial \mathbf{X}} &= \begin{bmatrix}
    \frac{\partial y}{\partial x_{11}} & \frac{\partial y}{\partial x_{21}} & \cdots & \frac{\partial y}{\partial x_{p1}} \\
    \frac{\partial y}{\partial x_{12}} & \frac{\partial y}{\partial x_{22}} & \cdots & \frac{\partial y}{\partial x_{p2}} \\
    \vdots                             & \vdots                             & \ddots & \vdots \\
    \frac{\partial y}{\partial x_{1q}} & \frac{\partial y}{\partial x_{2q}} & \cdots & \frac{\partial y}{\partial x_{pq}} \\
  \end{bmatrix}.
\end{align}</math>

Las siguientes definiciones sólo se ofrecen en notación numerador-disposición:

<math>\begin{align}
  \frac{\partial \mathbf{Y}}{\partial x} &= \begin{bmatrix}
    \frac{\partial y_{11}}{\partial x} & \frac{\partial y_{12}}{\partial x} & \cdots & \frac{\partial y_{1n}}{\partial x} \\
    \frac{\partial y_{21}}{\partial x} & \frac{\partial y_{22}}{\partial x} & \cdots & \frac{\partial y_{2n}}{\partial x} \\
    \vdots                             & \vdots                             & \ddots & \vdots \\
    \frac{\partial y_{m1}}{\partial x} & \frac{\partial y_{m2}}{\partial x} & \cdots & \frac{\partial y_{mn}}{\partial x} \\
  \end{bmatrix}. \\
  d\mathbf{X} &= \begin{bmatrix}
    dx_{11} & dx_{12} & \cdots & dx_{1n} \\
    dx_{21} & dx_{22} & \cdots & dx_{2n} \\
    \vdots  & \vdots  & \ddots & \vdots \\
    dx_{m1} & dx_{m2} & \cdots & dx_{mn} \\
  \end{bmatrix}.
\end{align}</math>

=== Notación denominador-disposición ===
Usando la notación denominador-disposición, tenemos:<ref>{{Cita libro|apellidos=Felippa|nombre=Carlos A.|título=ASEN 5007: Introduction To Finite Element Methods|fechaacceso=05 de febrero de 2016|editorial=University of Colorado|ubicación=Boulder, Colorado|capítulo=Appendix D, Linear Algebra: Determinants, Inverses, Rank|url-capítulo=http://www.colorado.edu/engineering/cas/courses.d/IFEM.d/IFEM.AppD.d/IFEM.AppD.pdf|idioma=en}} Utiliza la definición [[Matriz hessiana|hessiana]] ([[Matriz transpuesta|transpuesta]] a la [[Matriz y determinante jacobianos|jacobiana]]) de las derivadas vectoriales y matriciales.</ref>

<math>\begin{align}
  \frac{\partial y}{\partial \mathbf{x}} &= \begin{bmatrix}
    \frac{\partial y}{\partial x_1}\\
    \frac{\partial y}{\partial x_2}\\
    \vdots\\
    \frac{\partial y}{\partial x_n}\\
  \end{bmatrix}. \\
  \frac{\partial \mathbf{y}}{\partial x} &= \begin{bmatrix}
    \frac{\partial y_1}{\partial x} &
    \frac{\partial y_2}{\partial x} &
    \cdots &
    \frac{\partial y_m}{\partial x}
  \end{bmatrix}. \\
  \frac{\partial \mathbf{y}}{\partial \mathbf{x}} &= \begin{bmatrix}
    \frac{\partial y_1}{\partial x_1} & \frac{\partial y_2}{\partial x_1} & \cdots & \frac{\partial y_m}{\partial x_1} \\
    \frac{\partial y_1}{\partial x_2} & \frac{\partial y_2}{\partial x_2} & \cdots & \frac{\partial y_m}{\partial x_2} \\
    \vdots                            & \vdots                            & \ddots & \vdots \\
    \frac{\partial y_1}{\partial x_n} & \frac{\partial y_2}{\partial x_n} & \cdots & \frac{\partial y_m}{\partial x_n}\\
  \end{bmatrix}. \\
  \frac{\partial y}{\partial \mathbf{X}} &= \begin{bmatrix}
    \frac{\partial y}{\partial x_{11}} & \frac{\partial y}{\partial x_{12}} & \cdots & \frac{\partial y}{\partial x_{1q}}\\
    \frac{\partial y}{\partial x_{21}} & \frac{\partial y}{\partial x_{22}} & \cdots & \frac{\partial y}{\partial x_{2q}}\\
    \vdots                             & \vdots                             & \ddots & \vdots\\
    \frac{\partial y}{\partial x_{p1}} & \frac{\partial y}{\partial x_{p2}} & \cdots & \frac{\partial y}{\partial x_{pq}}\\
  \end{bmatrix}.
\end{align}</math>

== Identidades ==
Como se ha indicado anteriormente, en general, los resultados de las operaciones se transpondrán al cambiar entre la notación de disposición del numerador y la notación de disposición del denominador.

Para entender mejor todas las identidades que aparecen a continuación, hay que tener en cuenta las reglas más importantes: la [[regla de la cadena]], la [[Regla del producto (cálculo)|regla del producto]] y la [[regla de la suma]]. La regla de la suma se aplica universalmente, y la regla del producto se aplica en la mayoría de los casos siguientes, siempre que se mantenga el orden de los productos matriciales, ya que los productos matriciales no son conmutativos. La regla de la cadena se aplica en algunos de los casos, pero lamentablemente no se aplica en las derivadas matriz por escalar ni en las derivadas escalar por matriz (en este último caso, se trata sobre todo del operador de [[Traza (álgebra lineal)|traza]] aplicado a matrices). En este último caso, la regla del producto tampoco se puede aplicar directamente, pero se puede hacer el equivalente con un poco más de trabajo utilizando las identidades diferenciales.

Las siguientes identidades adoptan las siguientes convenciones:

* los escalares, a, b, c, d, y e son constantes respecto de, y los escalares, u, y v son funciones de una de x, '''x''', o '''X''';
* los vectores '''a, b, c, d''' y '''e''' son constantes con respecto de, y los vectores '''u''' y '''v''' son funciones de x, '''x''' o '''X''';
* las matrices '''A, B, C, D''' y '''E''' son constantes con respecto de, y las matrices U y V son funciones de x, '''x''' o '''X'''.

=== Identidades vector-por-vector ===
Esto se presenta en primer lugar porque todas las operaciones que se aplican a la diferenciación vector-por-vector se aplican directamente a la diferenciación escalar-por-vector o escalar simplemente reduciendo el vector apropiado en el numerador o denominador a un escalar.

:{|class="wikitable" style="text-align: center;"
|+ Identidades: vector-por-vector <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>
! scope="col" width="150" | Condición 
! scope="col" width="10" | Expresión 
! scope="col" width="100" | Disposición del numerador, es decir, por '''y''' y '''x'''<sup>T</sup> 
! scope="col" width="100" | Disposición del denominador, es decir, por '''y'''<sup>T</sup> y '''x'''
|-
| '''a''' no es una función de '''x''' || <math>\frac{\partial \mathbf{a}}{\partial \mathbf{x}} =</math> ||colspan=2| <math>\mathbf{0}</math>
|-
| || <math>\frac{\partial \mathbf{x}}{\partial \mathbf{x}} =</math> || colspan=2|<math>\mathbf{I}</math>
|-
| '''A''' no es una función de '''x''' || <math>\frac{\partial \mathbf{A}\mathbf{x}}{\partial \mathbf{x}} =</math> || <math>\mathbf{A}</math> || <math>\mathbf{A}^\top</math>
|-
| '''A''' no es una función de '''x''' || <math>\frac{\partial \mathbf{x}^\top \mathbf{A}}{\partial \mathbf{x}} =</math> || <math>\mathbf{A}^\top</math> || <math>\mathbf{A}</math>
|-
| ''a'' no es una función de '''x''',<br />'''u''' = '''u'''('''x''') || <math>\frac{\partial a\mathbf{u}}{\partial\, \mathbf{x}}  =</math>
| colspan=2|<math>a\frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math>
|-
| ''v'' = ''v''('''x'''), <br /> '''a''' no es una función de '''x'''|| <math>\frac{\partial v\mathbf{a}}{\partial \mathbf{x}} =</math> || <math>\mathbf{a}\frac{\partial v}{\partial \mathbf{x}}  </math> || <math>\frac{\partial v}{\partial \mathbf{x}} \mathbf{a}^\top</math>
|-
|''v'' = ''v''('''x'''), '''u''' = '''u'''('''x''') || <math>\frac{\partial v\mathbf{u}}{\partial \mathbf{x}} =</math> || <math>v \frac{\partial \mathbf{u}}{\partial \mathbf{x}} + \mathbf{u}\frac{\partial v}{\partial \mathbf{x}}  </math> || <math>v\frac{\partial \mathbf{u}}{\partial \mathbf{x}}  +  \frac{\partial v}{\partial \mathbf{x}} \mathbf{u}^\top</math>
|-
| '''A''' no es una función de '''x''',<br />'''u''' = '''u'''('''x''') || <math>\frac{\partial \mathbf{A}\mathbf{u}}{\partial \mathbf{x}} =</math> || <math>\mathbf{A}\frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math> || <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}\mathbf{A}^\top</math>
|-
|  '''u''' = '''u'''('''x'''), '''v''' = '''v'''('''x''')  || <math>\frac{\partial (\mathbf{u} + \mathbf{v})}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}} + \frac{\partial \mathbf{v}}{\partial \mathbf{x}}</math>
|-
| '''u''' = '''u'''('''x''') || <math>\frac{\partial \mathbf{g(u)}}{\partial \mathbf{x}} =</math> || <math>\frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math> || <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}}</math>
|-
| '''u''' = '''u'''('''x''') || <math>\frac{\partial \mathbf{f(g(u))}}{\partial \mathbf{x}} =</math> || <math>\frac{\partial \mathbf{f(g)}}{\partial \mathbf{g}} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math> || <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{f(g)}}{\partial \mathbf{g}}</math>
|}

=== Identidad escalar-por-vector ===

Las identidades fundamentales se sitúan por encima de la línea negra gruesa.

:{|class="wikitable" style="text-align: center;"
|+ Identidades: escalar-por-vector  <math>\frac{\partial y}{\partial \mathbf{x}} = \nabla_\mathbf{x} y</math>
! scope="col" width="150" | Condición 
! scope="col" width="200" | Expresión 
! scope="col" width="200" | Disposición del numerador, es decir, por '''x'''<sup>T</sup>; el resultado es el vector de fila 
! scope="col" width="200" | Disposición del denominador, es decir, por '''x'''; el resultado es el vector de columna
|-
| ''a'' no es una función de '''x''' || <math>\frac{\partial a}{\partial \mathbf{x}}  =</math>
| <math>\mathbf{0}^\top</math> <ref name=":1">Aquí, <math>\mathbf{0}</math> se refiere al vector columna de los 0, de tamaño ''n'', donde ''n'' es la longitud de '''x'''.</ref>||<math>\mathbf{0}</math> <ref name=":1" />
|-
| ''a'' no es una función de '''x''', <br />''u'' = ''u''('''x''') || <math>\frac{\partial au}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>a\frac{\partial u}{\partial \mathbf{x}}</math>
|-
| ''u'' = ''u''('''x'''), ''v'' = ''v''('''x''') || <math>\frac{\partial (u+v)}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>\frac{\partial u}{\partial \mathbf{x}} + \frac{\partial v}{\partial \mathbf{x}} </math>
|-
| ''u'' = ''u''('''x'''), ''v'' = ''v''('''x''') || <math>\frac{\partial uv}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>u\frac{\partial v}{\partial \mathbf{x}} + v\frac{\partial u}{\partial \mathbf{x}} </math>
|-
| ''u'' = ''u''('''x''') || <math>\frac{\partial g(u)}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>\frac{\partial g(u)}{\partial u} \frac{\partial u}{\partial \mathbf{x}} </math>
|-
| ''u'' = ''u''('''x''') || <math>\frac{\partial f(g(u))}{\partial \mathbf{x}}  =</math>
| colspan=2|<math>\frac{\partial f(g)}{\partial g} \frac{\partial g(u)}{\partial u} \frac{\partial u}{\partial \mathbf{x}} </math>
|-
| '''u''' = '''u'''('''x'''), '''v''' = '''v'''('''x''')
| <math>\frac{\partial (\mathbf{u} \cdot \mathbf{v})}{\partial \mathbf{x}} = \frac{\partial \mathbf{u}^\top \mathbf{v}}{\partial \mathbf{x}} =</math>
| <math>\mathbf{u}^\top\frac{\partial \mathbf{v}}{\partial \mathbf{x}} + \mathbf{v}^\top\frac{\partial \mathbf{u}}{\partial \mathbf{x}} </math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}, \frac{\partial \mathbf{v}}{\partial \mathbf{x}}</math>  en la disposición de numerador
| <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}\mathbf{v} + \frac{\partial \mathbf{v}}{\partial \mathbf{x}}\mathbf{u}</math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}, \frac{\partial \mathbf{v}}{\partial \mathbf{x}}</math>  en la disposición de denominador
|-
| '''u''' = '''u'''('''x'''), '''v''' = '''v'''('''x'''),<br /> '''A''' no es una función de  '''x'''
| <math>\frac{\partial (\mathbf{u} \cdot \mathbf{A}\mathbf{v})}{\partial \mathbf{x}} = \frac{\partial \mathbf{u}^\top\mathbf{A}\mathbf{v}}{\partial \mathbf{x}} =</math>
| <math>\mathbf{u}^\top\mathbf{A}\frac{\partial \mathbf{v}}{\partial \mathbf{x}} + \mathbf{v}^\top \mathbf{A}^\top\frac{\partial \mathbf{u}}{\partial \mathbf{x}} </math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}, \frac{\partial \mathbf{v}}{\partial \mathbf{x}}</math>  en la disposición de numerador
| <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}\mathbf{A}\mathbf{v} + \frac{\partial \mathbf{v}}{\partial \mathbf{x}}\mathbf{A}^\top\mathbf{u}</math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}, \frac{\partial \mathbf{v}}{\partial \mathbf{x}}</math> en la disposición de denominador
|-
|
| <math>\frac{\partial^2 f}{\partial\mathbf{x} \partial\mathbf{x}^\top} =</math>
| <math>\mathbf{H}^\top</math>
| <math>\mathbf{H}</math>, la [[matriz hessiana]]<ref name="matrix-cookbook"/>
|- style="border-top: 3px solid;"
| '''a''' no es una función de '''x''' || <math>\frac{\partial (\mathbf{a}\cdot\mathbf{x})}{\partial \mathbf{x}} = \frac{\partial (\mathbf{x}\cdot\mathbf{a})}{\partial \mathbf{x}} =</math> <br /> <br /> <math>\frac{\partial \mathbf{a}^\top\mathbf{x}}{\partial \mathbf{x}} = \frac{\partial \mathbf{x}^\top\mathbf{a}}{\partial \mathbf{x}} =</math> || <math>\mathbf{a}^\top</math> || <math>\mathbf{a}</math> 
|-
| '''A''' no es una función de '''x''' <br />'''b''' no es una función de  '''x''' || <math>\frac{\partial \mathbf{b}^\top\mathbf{A}\mathbf{x}}{\partial \mathbf{x}} =</math> || <math>\mathbf{b}^\top\mathbf{A}</math> || <math>\mathbf{A}^\top\mathbf{b}</math> 
|-
| '''A''' no es una función de '''x''' || <math>\frac{\partial \mathbf{x}^\top\mathbf{A}\mathbf{x}}{\partial \mathbf{x}} =</math> || <math>\mathbf{x}^\top\left(\mathbf{A} + \mathbf{A}^\top\right)</math> || <math>\left(\mathbf{A} + \mathbf{A}^\top\right)\mathbf{x}</math>
|-
| '''A''' no es una función de '''x''' <br />'''A''' es [[Matriz simétrica|simétrica]]|| <math>\frac{\partial \mathbf{x}^\top\mathbf{A}\mathbf{x}}{\partial \mathbf{x}} =</math> || <math>2\mathbf{x}^\top\mathbf{A}</math> || <math>2\mathbf{A}\mathbf{x}</math>
|-
| '''A''' no es una función de '''x''' || <math>\frac{\partial^2 \mathbf{x}^\top\mathbf{A}\mathbf{x}}{\partial\mathbf{x} \partial\mathbf{x}^\top} =</math> || colspan=2|<math>\mathbf{A} + \mathbf{A}^\top</math>
|-
| '''A''' no es una función de '''x''' <br />'''A''' es [[Matriz simétrica|simétrica]][[symmetric matrix|symmetric]] || <math>\frac{\partial^2 \mathbf{x}^\top\mathbf{A}\mathbf{x}}{\partial\mathbf{x} \partial\mathbf{x}^\top} =</math> || colspan=2|<math>2\mathbf{A}</math>
|-
| || <math>\frac{\partial (\mathbf{x} \cdot \mathbf{x})}{\partial \mathbf{x}} = \frac{\partial \mathbf{x}^\top\mathbf{x}}{\partial \mathbf{x}} = \frac{\partial \left\Vert \mathbf{x} \right\Vert^2}{\partial \mathbf{x}} =</math> || <math>2\mathbf{x}^\top </math> || <math>2\mathbf{x}</math>
|-
| '''a''' no es una función de '''x''', <br />'''u''' = '''u'''('''x''')
| <math>\frac{\partial (\mathbf{a} \cdot \mathbf{u})}{\partial \mathbf{x}} = \frac{\partial \mathbf{a}^\top\mathbf{u}}{\partial \mathbf{x}} =</math>
| <math>\mathbf{a}^\top\frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math> en disposición de numerador
| <math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}\mathbf{a}</math>
<math>\frac{\partial \mathbf{u}}{\partial \mathbf{x}}</math> en disposición de denominador
|-
| '''a''', '''b''' no son  funciones de '''x''' || <math>\frac{\partial \;  \textbf{a}^\top\textbf{x}\textbf{x}^\top\textbf{b}}{\partial \; \textbf{x}} = </math> || <math>\textbf{x}^\top\left(\textbf{a}\textbf{b}^\top + \textbf{b}\textbf{a}^\top\right)</math> || <math>\left(\textbf{a}\textbf{b}^\top + \textbf{b}\textbf{a}^\top\right)\textbf{x}</math>
|-
| '''A''', '''b''', '''C''', '''D''', '''e''' no son  funciones de '''x''' || <math>\frac{\partial \; (\textbf{A}\textbf{x} + \textbf{b})^\top \textbf{C} (\textbf{D}\textbf{x} + \textbf{e})}{\partial \; \textbf{x}} = </math> || <math>(\textbf{D}\textbf{x} + \textbf{e})^\top \textbf{C}^\top \textbf{A} +  (\textbf{A}\textbf{x} + \textbf{b})^\top \textbf{C} \textbf{D}</math> || <math> \textbf{D}^\top \textbf{C}^\top (\textbf{A}\textbf{x} + \textbf{b}) + \textbf{A}^\top\textbf{C}(\textbf{D}\textbf{x} + \textbf{e})</math>
|-
| '''a''' no es una función de '''x''' || <math>\frac{\partial \; \|\mathbf{x} - \mathbf{a}\|}{\partial \; \mathbf{x}} = </math> ||<math>\frac{(\mathbf{x} - \mathbf{a})^\top}{\|\mathbf{x} - \mathbf{a}\|}</math>||<math>\frac{\mathbf{x} - \mathbf{a}}{\|\mathbf{x} - \mathbf{a}\|}</math>
|}

=== Identidades vector-por-escala ===

:{|class="wikitable" style="text-align: center;"
|+ Identidades: vector-por-escala <math>\frac{\partial \mathbf{y}}{\partial x}</math>
! scope="col" width="150" | Condición 
! scope="col" width="100" | Expresión 
! scope="col" width="100" | Disposición de numerador, es decir, por '''y''', el resultado es el vector columna 
! scope="col" width="100" | '''Disposición de denominador, es decir, por y'''<sup>T</sup>, el resultado es el vector fila
|-
| '''a''' no es una función de ''x'' || <math>\frac{\partial \mathbf{a}}{\partial x} =</math> ||colspan=2| <math>\mathbf{0}</math><ref name=":1" />
|-
| ''a'' no es una función de ''x'',<br />'''u''' = '''u'''(''x'') || <math>\frac{\partial a\mathbf{u}}{\partial x}  =</math>
| colspan=2|<math>a\frac{\partial \mathbf{u}}{\partial x}</math>
|-
| '''A''' no es una función de ''x'',<br />'''u''' = '''u'''(''x'') || <math>\frac{\partial \mathbf{A}\mathbf{u}}{\partial x} =</math> || <math>\mathbf{A}\frac{\partial \mathbf{u}}{\partial x}</math> || <math>\frac{\partial \mathbf{u}}{\partial x}\mathbf{A}^\top</math>
|-
| '''u''' = '''u'''(''x'') || <math>\frac{\partial \mathbf{u}^\top}{\partial x} =</math>
| colspan=2|<math>\left(\frac{\partial \mathbf{u}}{\partial x}\right)^\top</math>
|-
| '''u''' = '''u'''(''x''), '''v''' = '''v'''(''x'') || <math>\frac{\partial (\mathbf{u} + \mathbf{v})}{\partial x}  =</math>
| colspan=2|<math>\frac{\partial \mathbf{u}}{\partial x} + \frac{\partial \mathbf{v}}{\partial x}</math>
|-
| '''u''' = '''u'''(''x''), '''v''' = '''v'''(''x'') || <math>\frac{\partial (\mathbf{u}^\top \times \mathbf{v})}{\partial x}  =</math>
||<math>\left(\frac{\partial \mathbf{u}}{\partial x}\right)^\top \times \mathbf{v} + \mathbf{u}^\top \times \frac{\partial \mathbf{v}}{\partial x}</math>
||<math>\frac{\partial \mathbf{u}}{\partial x} \times \mathbf{v} + \mathbf{u}^\top \times \left(\frac{\partial \mathbf{v}}{\partial x}\right)^\top</math>
|-
| rowspan=2|'''u''' = '''u'''(''x'') || rowspan=2|<math>\frac{\partial \mathbf{g(u)}}{\partial x} =</math> || <math>\frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{u}}{\partial x}</math> || <math>\frac{\partial \mathbf{u}}{\partial x} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}}</math>
|-
|colspan=2|Supone una disposición coherente de la matriz; véase más abajo.
|-
| rowspan=2|'''u''' = '''u'''(''x'') || rowspan=2|<math>\frac{\partial \mathbf{f(g(u))}}{\partial x} =</math> || <math>\frac{\partial \mathbf{f(g)}}{\partial \mathbf{g}} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{u}}{\partial x}</math> || <math>\frac{\partial \mathbf{u}}{\partial x} \frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}} \frac{\partial \mathbf{f(g)}}{\partial \mathbf{g}}</math>
|-
|colspan=2|Supone una disposición coherente de la matriz; véase más abajo.
|-
| '''U''' = '''U'''(''x''), '''v''' = '''v'''(''x'') || <math>\frac{\partial (\mathbf{U} \times \mathbf{v})}{\partial x}  =</math>
||<math>\frac{\partial \mathbf{U}}{\partial x} \times \mathbf{v} + \mathbf{U} \times \frac{\partial \mathbf{v}}{\partial x}</math>
||<math>\mathbf{v}^\top \times \left(\frac{\partial \mathbf{U}}{\partial x}\right) + \frac{\partial \mathbf{v}}{\partial x} \times \mathbf{U}^\top</math>
|}

'''NOTA''': Las fórmulas que implican las derivadas vector-por-vector <math>\frac{\partial \mathbf{g(u)}}{\partial \mathbf{u}}</math> y <math>\frac{\partial \mathbf{f(g)}}{\partial \mathbf{g}}</math> (cuyas salidas son matrices) suponen que las matrices se disponen de forma coherente con la disposición de los vectores, es decir, matriz de disposición-numerador cuando vector de disposición-numerador y viceversa; de lo contrario, transponen las derivadas vector-por-vector.

=== Identidades escalar-por-matriz ===

Obsérvese que no existen equivalentes exactos de la [[Regla del producto (cálculo)|regla del producto]] escalar y de la [[regla de la cadena]] cuando se aplican a funciones de matrices con valores matriciales. Sin embargo, la regla del producto de este tipo sí se aplica a la forma diferencial (véase más adelante), y ésta es la forma de derivar muchas de las identidades que aparecen a continuación y que implican la función [[Traza (álgebra lineal)|traza]], combinada con el hecho de que la función traza permite la transposición y la permutación cíclica, es decir:
:<math>\begin{align}
     \operatorname{tr}(\mathbf{A}) &= \operatorname{tr}\left(\mathbf{A^\top}\right) \\
  \operatorname{tr}(\mathbf{ABCD}) &= \operatorname{tr}(\mathbf{BCDA}) = \operatorname{tr}(\mathbf{CDAB}) = \operatorname{tr}(\mathbf{DABC})
\end{align}</math>

Por ejemplo, para computar  <math>\frac{\partial \operatorname{tr}(\mathbf{AXBX^\top C})}{\partial \mathbf{X}}:</math>

:<math>\begin{align}
  d\operatorname{tr}(\mathbf{AXBX^\top C})
    &= d\operatorname{tr}\left(\mathbf{CAXBX^\top}\right) = \operatorname{tr}\left(d\left(\mathbf{CAXBX^\top}\right)\right) \\
    &= \operatorname{tr}\left(\mathbf{CAX} d(\mathbf{BX^\top}\right) + d\left(\mathbf{CAX})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left(\mathbf{CAX} d\left(\mathbf{BX^\top}\right)\right) + \operatorname{tr}\left(d(\mathbf{CAX})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left(\mathbf{CAXB} d\left(\mathbf{X^\top}\right)\right) + \operatorname{tr}\left(\mathbf{CA}(d\mathbf{X})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left(\mathbf{CAXB} (d\mathbf{X})^\top\right) + \operatorname{tr}(\mathbf{CA}\left(d\mathbf{X})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left(\left(\mathbf{CAXB} (d\mathbf{X})^\top\right)^\top\right) + \operatorname{tr}\left(\mathbf{CA}(d\mathbf{X})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left((d\mathbf{X})\mathbf{B^\top X^\top A^\top C^\top}\right) + \operatorname{tr}\left(\mathbf{CA}(d\mathbf{X})\mathbf{BX^\top}\right) \\
    &= \operatorname{tr}\left(\mathbf{B^\top X^\top A^\top C^\top}(d\mathbf{X})\right) + \operatorname{tr}\left(\mathbf{BX^\top}\mathbf{CA}(d\mathbf{X})\right) \\
    &= \operatorname{tr}\left(\left(\mathbf{B^\top X^\top A^\top C^\top} + \mathbf{BX^\top}\mathbf{CA}\right)d\mathbf{X}\right) \\
 &= \operatorname{tr}\left(\left(\mathbf{C A X B} + \mathbf{A^\top C^\top X B^\top }\right)^\top d\mathbf{X}\right) 
\end{align}</math>

En ese sentido,

:<math>\frac{\partial \left(\mathbf{AXBX^\top C}\right)}{\partial \mathbf{X}} = \mathbf{B^\top X^\top A^\top C^\top} + \mathbf{B X^\top C A}.</math> (disposición de numerador)
:<math>\frac{\partial \left(\mathbf{AXBX^\top C}\right)}{\partial \mathbf{X}} = \mathbf{C A X B} + \mathbf{A^\top C^\top X B^\top}.</math> (disposición de denominador)

(Para el último paso, véase la sección Conversión de forma diferencial a derivada).

:{|class="wikitable" style="text-align: center;"
|+ Identidades: escalar-por-matriz <math>\frac{\partial y}{\partial \mathbf{X}}</math>
! scope="col" width="175" | Condición 
! scope="col" width="10" | Expresión 
! scope="col" width="100" | Disposición de numerador, es decir, por '''X'''<sup>T</sup> 
! scope="col" width="100" | Disposición de denominador, es decir, por '''X'''
|-
| ''a'' no es una función de  '''X''' || <math>\frac{\partial a}{\partial \mathbf{X}}  =</math>
| <math>\mathbf{0}^\top</math> <ref name=":2">Aquí, <math>\mathbf{0}</math> se refiere a la matriz de todos los 0, de la misma forma que '''X'''.</ref>||<math>\mathbf{0}</math> <ref name=":2" />
|-
| ''a'' no es una función de  '''X''', ''u'' = ''u''('''X''') || <math>\frac{\partial au}{\partial \mathbf{X}}  =</math>
| colspan=2|<math>a\frac{\partial u}{\partial \mathbf{X}}</math>
|-
| ''u'' = ''u''('''X'''), ''v'' = ''v''('''X''') || <math>\frac{\partial (u+v)}{\partial \mathbf{X}}  =</math>
| colspan=2|<math>\frac{\partial u}{\partial \mathbf{X}} + \frac{\partial v}{\partial \mathbf{X}} </math>
|-
| ''u'' = ''u''('''X'''), ''v'' = ''v''('''X''') || <math>\frac{\partial uv}{\partial \mathbf{X}}  =</math>
| colspan=2|<math>u\frac{\partial v}{\partial \mathbf{X}} + v\frac{\partial u}{\partial \mathbf{X}} </math>
|-
| ''u'' = ''u''('''X''') || <math>\frac{\partial g(u)}{\partial \mathbf{X}}  =</math>
| colspan=2|<math>\frac{\partial g(u)}{\partial u} \frac{\partial u}{\partial \mathbf{X}} </math>
|-
| ''u'' = ''u''('''X''') || <math>\frac{\partial f(g(u))}{\partial \mathbf{X}}  =</math>
| colspan=2|<math>\frac{\partial f(g)}{\partial g} \frac{\partial g(u)}{\partial u} \frac{\partial u}{\partial \mathbf{X}} </math>
|-
| rowspan=2|'''U''' = '''U'''('''X''') || rowspan=2|<ref name="matrix-cookbook" />&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial g(\mathbf{U})}{\partial X_{ij}} =</math> 
|| <math>\operatorname{tr}\left( \frac{\partial g(\mathbf{U})}{\partial \mathbf{U}} \frac{\partial \mathbf{U}}{\partial X_{ij}}\right)</math>
|| <math>\operatorname{tr}\left( \left(\frac{\partial g(\mathbf{U})}{\partial \mathbf{U}}\right)^\top \frac{\partial \mathbf{U}}{\partial X_{ij}}\right)</math>
|-
| colspan=2|Ambas formas asumen la disposición de ''numerador'' para <math>\frac{\partial \mathbf{U}}{\partial X_{ij}},</math> <br />
es decir, la disposición mixta se utiliza si es que se usa la disposición de denominador '''X.'''
|- style="border-top: 3px solid;"
| '''''a''''' y '''''b''''' no son funciones de '''X''' ||<math>\frac{\partial \mathbf{a}^\top\mathbf{X}\mathbf{b}}{\partial \mathbf{X}}  =</math>
|<math>\mathbf{b}\mathbf{a}^\top</math>||<math>\mathbf{a}\mathbf{b}^\top</math>
|-
| '''''a''''' y '''''b''''' no son funciones de '''X''' ||<math>\frac{\partial \mathbf{a}^\top \mathbf{X}^\top \mathbf{b}}{\partial \mathbf{X}}  =</math>
|<math>\mathbf{a}\mathbf{b}^\top</math>||<math>\mathbf{b}\mathbf{a}^\top</math>
|-
| '''''a''''', '''''b''''' y '''C''' no son funciones de '''X''' ||<math>\frac{\partial (\mathbf{X}\mathbf{a} + \mathbf{b})^\top \mathbf{C}(\mathbf{X} \mathbf{a} + \mathbf{b})}{\partial \mathbf{X}}  =</math>
|<math>\left(\left(\mathbf{C} + \mathbf{C}^\top\right)(\mathbf{X} \mathbf{a} + \mathbf{b})\mathbf{a}^\top\right)^\top</math>||<math>\left(\mathbf{C} + \mathbf{C}^\top\right)(\mathbf{X} \mathbf{a} + \mathbf{b})\mathbf{a}^\top</math>
|-
| '''''a''''', '''''b''''' y '''C''' no son funciones de '''X''' ||<math>\frac{\partial (\mathbf{X}\mathbf{a})^\top \mathbf{C}(\mathbf{X}\mathbf{b})}{\partial \mathbf{X}}  =</math>
|<math>\left(\mathbf{C}\mathbf{X}\mathbf{b}\mathbf{a}^\top + \mathbf{C}^\top\mathbf{X}\mathbf{a}\mathbf{b}^\top\right)^\top</math>||<math>\mathbf{C}\mathbf{X}\mathbf{b}\mathbf{a}^\top + \mathbf{C}^\top\mathbf{X}\mathbf{a}\mathbf{b}^\top</math>
|- style="border-top: 3px solid;"
| || <math>\frac{\partial \operatorname{tr}(\mathbf{X})}{\partial \mathbf{X}} =</math> || colspan=2|<math>\mathbf{I}</math>
|-
| '''U''' = '''U'''('''X'''), '''V''' = '''V'''('''X''') || <math>\frac{\partial \operatorname{tr}(\mathbf{U} + \mathbf{V})}{\partial \mathbf{X}} =</math> || colspan=2|<math>\frac{\partial \operatorname{tr}(\mathbf{U})}{\partial \mathbf{X}} + \frac{\partial \operatorname{tr}(\mathbf{V})}{\partial \mathbf{X}}</math>
|-
| ''a'' no es una función de '''X''',<br /> '''U''' = '''U'''('''X''') || <math>\frac{\partial \operatorname{tr}(a\mathbf{U})}{\partial \mathbf{X}} =</math> || colspan=2|<math>a\frac{\partial \operatorname{tr}(\mathbf{U})}{\partial \mathbf{X}}</math>
|-
| '''g'''('''X''') es cualquier polinomio con coeficientes escalares o cualquier función matricial definida por una serie polinómica infinita (por ejemplo e<sup>'''X'''</sup>, sin('''X'''), cos('''X'''), ln('''X'''), entre otros, utilizando una serie de Taylor); ''g''(''x'')es la función escalar equivalente, ''g''&prime;(''x'') es su derivada, y '''g'''&prime;('''X''') es la función matricial correspondiente. || <math>\frac{\partial \operatorname{tr}(\mathbf{g(X)})}{\partial \mathbf{X}} =</math> || <math>\mathbf{g}'(\mathbf{X})</math> || <math>\left(\mathbf{g}'(\mathbf{X})\right)^\top</math>
|-
| '''A''' no es una función de  '''X''' || <ref>{{cite web|url=https://web.stanford.edu/~jduchi/projects/matrix_prop.pdf|title=Properties of the Trace and Matrix Derivatives|access-date=05 de febrero de 2016|last=Duchi|first=John C|publisher=Stanford University|idioma=en}}</ref>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}(\mathbf{AX})}{\partial \mathbf{X}} = \frac{\partial \operatorname{tr}(\mathbf{XA})}{\partial \mathbf{X}} =</math> || <math>\mathbf{A}</math> || <math>\mathbf{A}^\top</math>
|-
| '''A''' no es una función de  '''X''' || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}\left(\mathbf{AX^\top}\right)}{\partial \mathbf{X}} = \frac{\partial \operatorname{tr}\left(\mathbf{X^\top A}\right)}{\partial \mathbf{X}} =</math> || <math>\mathbf{A}^\top</math> || <math>\mathbf{A}</math>
|-
| '''A''' no es una función de  '''X''' || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}\left(\mathbf{X^\top AX}\right)}{\partial \mathbf{X}} =</math> || <math>\mathbf{X}^\top\left(\mathbf{A} + \mathbf{A}^\top\right)</math> || <math>\left(\mathbf{A} + \mathbf{A}^\top\right)\mathbf{X}</math>
|-
| '''A''' no es una función de  '''X''' || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}(\mathbf{X^{-1}A})}{\partial \mathbf{X}} =</math> || <math>-\mathbf{X}^{-1}\mathbf{A}\mathbf{X}^{-1}</math> || <math>-\left(\mathbf{X}^{-1}\right)^\top\mathbf{A}^\top\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| '''A''', '''B''' no son funciones de '''X''' || <math>\frac{\partial \operatorname{tr}(\mathbf{AXB})}{\partial \mathbf{X}} = \frac{\partial \operatorname{tr}(\mathbf{BAX})}{\partial \mathbf{X}} =</math> || <math>\mathbf{BA}</math> || <math>\mathbf{A^\top B^\top}</math>
|-
| '''A''', '''B''', '''C''' no son funciones de '''X''' || <math>\frac{\partial \operatorname{tr}\left(\mathbf{AXBX^\top C}\right)}{\partial \mathbf{X}} = </math> || <math>\mathbf{BX^\top CA} + \mathbf{B^\top X^\top A^\top C^\top}</math> || <math>\mathbf{A^\top C^\top XB^\top} + \mathbf{CAXB}</math>
|-
| ''n'' es un número entero positivo || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}\left(\mathbf{X}^n\right)}{\partial \mathbf{X}} =</math> || <math>n\mathbf{X}^{n-1}</math> || <math>n\left(\mathbf{X}^{n-1}\right)^\top</math>
|-
| '''A''' no es función de '''X''',<br /> ''n'' es un número entero positivo || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}\left(\mathbf{A}\mathbf{X}^n\right)}{\partial \mathbf{X}} =</math> || <math>\sum_{i=0}^{n-1} \mathbf{X}^i\mathbf{A}\mathbf{X}^{n-i-1}</math> || <math>\sum_{i=0}^{n-1} \left(\mathbf{X}^i\mathbf{A}\mathbf{X}^{n-i-1}\right)^\top</math>
|-
| || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}\left(e^\mathbf{X}\right)}{\partial \mathbf{X}} =</math> || <math>e^\mathbf{X}</math> || <math>\left(e^\mathbf{X}\right)^\top</math>
|-
| || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \operatorname{tr}(\sin(\mathbf{X}))}{\partial \mathbf{X}} =</math> || <math>\cos(\mathbf{X})</math> || <math>(\cos(\mathbf{X}))^\top</math>
|- style="border-top: 3px solid;"
| || <ref>Véase [[Determinante (matemática)|Determinante]] para la derivación.</ref>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial |\mathbf{X}|}{\partial \mathbf{X}} =</math> || <math>\operatorname{cofactor}(X)^\top = |\mathbf{X}|\mathbf{X}^{-1}</math> ||<math>\operatorname{cofactor}(X) = |\mathbf{X}|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| ''a'' no es una función de '''X''' || <ref name="matrix-cookbook"/><math>\frac{\partial \ln |a\mathbf{X}|}{\partial \mathbf{X}} =</math><ref>The constant ''a'' disappears in the result.  This is intentional.  In general,

:<math>\frac{d\ln au}{dx} = \frac{1}{au}\frac{d(au)}{dx} = \frac{1}{au}a\frac{du}{dx} = \frac{1}{u}\frac{du}{dx} = \frac{d\ln u}{dx}.</math>
or, also

:<math>\frac{d\ln au}{dx} = \frac{d(\ln a + \ln u)}{dx} = \frac{d\ln a}{dx} + \frac{d\ln u}{dx} = \frac{d\ln u}{dx}.</math></ref>
 || <math>\mathbf{X}^{-1}</math> ||<math>\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| '''A''', '''B''' no son funciones de '''X''' || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp; <math>\frac{\partial |\mathbf{AXB}|}{\partial \mathbf{X}} =</math> || <math>|\mathbf{AXB}|\mathbf{X}^{-1}</math> ||<math>|\mathbf{AXB}|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| ''n'' es un número entero positivo || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp;<math>\frac{\partial \left|\mathbf{X}^n\right|}{\partial \mathbf{X}} =</math> || <math>n\left|\mathbf{X}^n\right|\mathbf{X}^{-1}</math> ||<math>n\left|\mathbf{X}^n\right|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| (véase pseudo-inverso) || <ref name="matrix-cookbook"/> &nbsp;&nbsp;&nbsp;&nbsp; <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\mathbf{X}^{+}</math> ||<math>2\left(\mathbf{X}^{+}\right)^\top</math>
|-
| (véase pseudo-inverso) || <ref name="matrix-cookbook"/>&nbsp;&nbsp;&nbsp;&nbsp; <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}^{+}} =</math> || <math>-2\mathbf{X}</math> || <math>-2\mathbf{X}^\top</math>
|-
| '''A''' no es una función de '''X''',<br />'''X''' es cuadrado e invertible || <math>\frac{\partial \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\mathbf{X}^{-1} = 2\left|\mathbf{X^\top}\right||\mathbf{A}||\mathbf{X}|\mathbf{X}^{-1}</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
| '''A''' no es una función de '''X''',<br />'''X''' no es cuadrado,<br />'''A''' es simétrico || <math>\frac{\partial \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\left(\mathbf{X^\top A^\top X}\right)^{-1}\mathbf{X^\top A^\top}</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\mathbf{AX}\left(\mathbf{X^\top AX}\right)^{-1}</math>
|-
| '''A''' no es función de '''X''',<br />'''X''' no es cuadrado,<br />'''A''' no es simétrico || <math>\frac{\partial |\mathbf{X^\top}\mathbf{A}\mathbf{X}|}{\partial \mathbf{X}} =</math>
| <math>\begin{align}
  \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|
    \Big(&\left(\mathbf{X^\top AX}\right)^{-1}\mathbf{X^\top A} + {} \\
         &\left(\mathbf{X^\top A^\top X}\right)^{-1}\mathbf{X^\top A^\top}\Big)
\end{align}</math>
| <math>\begin{align}
  \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|
    \Big(&\mathbf{AX}\left(\mathbf{X^\top AX}\right)^{-1} + {} \\
         &\mathbf{A^\top X}\left(\mathbf{X^\top A^\top X}\right)^{-1}\Big)
\end{align}</math>
|}

=== Identidades matriz-por-escala ===

:{|class="wikitable" style="text-align: center;"
|+ Identidades: matriz-por-escala <math>\frac{\partial \mathbf{Y}}{\partial x}</math>
! scope="col" width="175" | Condición 
! scope="col" width="100" | Expresión 
! scope="col" width="100" | Disposición de numerador, es decir, por '''Y'''
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial a\mathbf{U}}{\partial x} =</math> || <math>a\frac{\partial \mathbf{U}}{\partial x}</math>
|-
| '''A''', '''B''' no son funciones de ''x'',<br /> '''U''' = '''U'''(''x'') || <math>\frac{\partial \mathbf{AUB}}{\partial x} =</math> || <math>\mathbf{A}\frac{\partial \mathbf{U}}{\partial x}\mathbf{B}</math>
|-
| '''U''' = '''U'''(''x''), '''V''' = '''V'''(''x'') || <math>\frac{\partial (\mathbf{U}+\mathbf{V})}{\partial x} =</math> || <math>\frac{\partial \mathbf{U}}{\partial x} + \frac{\partial \mathbf{V}}{\partial x}</math>
|-
| '''U''' = '''U'''(''x''), '''V''' = '''V'''(''x'') || <math>\frac{\partial (\mathbf{U}\mathbf{V})}{\partial x} =</math> || <math>\mathbf{U}\frac{\partial \mathbf{V}}{\partial x} + \frac{\partial \mathbf{U}}{\partial x}\mathbf{V}</math>
|-
| '''U''' = '''U'''(''x''), '''V''' = '''V'''(''x'') || <math>\frac{\partial (\mathbf{U} \otimes \mathbf{V})}{\partial x} =</math> || <math>\mathbf{U} \otimes \frac{\partial \mathbf{V}}{\partial x} + \frac{\partial \mathbf{U}}{\partial x} \otimes \mathbf{V}</math>
|-
| '''U''' = '''U'''(''x''), '''V''' = '''V'''(''x'') || <math>\frac{\partial (\mathbf{U} \circ \mathbf{V})}{\partial x} =</math> || <math>\mathbf{U} \circ \frac{\partial \mathbf{V}}{\partial x} + \frac{\partial \mathbf{U}}{\partial x} \circ \mathbf{V}</math>
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial \mathbf{U}^{-1}}{\partial x} =</math> || <math>-\mathbf{U}^{-1} \frac{\partial \mathbf{U}}{\partial x}\mathbf{U}^{-1}</math>
|-
| '''U''' = '''U'''(''x,y'') || <math>\frac{\partial^2 \mathbf{U}^{-1}}{\partial x \partial y} =</math> || <math>\mathbf{U}^{-1}\left(\frac{\partial \mathbf{U}}{\partial x}\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial y} - \frac{\partial^2 \mathbf{U}}{\partial x \partial y} + \frac{\partial \mathbf{U}}{\partial y}\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)\mathbf{U}^{-1}</math>
|-
| '''A''' no es una función de ''x'', '''g'''('''X''') es cualquier polinomio con coeficientes escalares, o cualquier función de matriz definida por una serie polinómica infinita (e.g. e<sup>'''X'''</sup>, sin('''X'''), cos('''X'''), ln('''X'''), entre otros); ''g''(''x'') es una función escalar equivalente, ''g''&prime;(''x'') es su derivado y '''g'''&prime;('''X''') es la función matricial correspondiente || <math>\frac{\partial \, \mathbf{g}(x\mathbf{A})}{\partial x} =</math> || colspan=2|<math>\mathbf{A}\mathbf{g}'(x\mathbf{A}) = \mathbf{g}'(x\mathbf{A})\mathbf{A}</math>
|-
| '''A''' no es una función de ''x'' || <math>\frac{\partial e^{x\mathbf{A}}}{\partial x} =</math> || <math>\mathbf{A}e^{x\mathbf{A}} = e^{x\mathbf{A}}\mathbf{A}</math>
|}

Véase también [[Derivada de la aplicación exponencial]].

=== Identidades escalar-por-escalar ===

==== Con vectores implicados ====

:{|class="wikitable" style="text-align: center;"
|+ Identidades: escalar-por-escalar, con vectores implicados
! scope="col" width="150" | Condición 
! scope="col" width="10" | Expresión 
! scope="col" width="150" | Cualquier disposición (se supone que el [[Producto escalar|producto punto]] ignora la disposición de filas frente a columnas)
|-
| '''u''' = '''u'''(''x'') || <math>\frac{\partial g(\mathbf{u})}{\partial x} =</math> || <math>\frac{\partial g(\mathbf{u})}{\partial \mathbf{u}} \cdot \frac{\partial \mathbf{u}}{\partial x}</math>
|-
| '''u''' = '''u'''(''x''), '''v''' = '''v'''(''x'') || <math>\frac{\partial (\mathbf{u} \cdot \mathbf{v})}{\partial x}  =</math>
|<math>\mathbf{u} \cdot \frac{\partial \mathbf{v}}{\partial x} + \frac{\partial \mathbf{u}}{\partial x} \cdot \mathbf{v} </math>
|}

==== Con matrices implicadas ====

:{|class="wikitable" style="text-align: center;"
|+Identidades: escalar-por-escalar, con matrices implicadas<ref name="matrix-cookbook">{{cite book|last1=Petersen|first1=Kaare Brandt|first2=Michael Syskind|last2=Pedersen|title=The Matrix Cookbook|url=http://matrixcookbook.com|fechaarchivo=02 de marzo del 2010|urlarchivo=https://web.archive.org/web/20100302210536/http://www.imm.dtu.dk/pubdb/views/edoc_download.php/3274/pdf/imm3274.pdf|fechaacceso=05 de febrero del 2016|idioma=en}} Este libro usa una disposición mixta, es decir, por '''Y''' en <math>\frac{\partial \mathbf{Y}}{\partial x},</math> por '''X''' en <math>\frac{\partial y}{\partial \mathbf{X}}.</math></ref>
! scope="col" width="175" | Condición 
! scope="col" width="100" | Expresión 
! scope="col" width="100" | Disposición coherente del numerador, es decir, por '''Y''' y '''X'''<sup>T</sup> 
! scope="col" width="100" | Disposición mixta, es decir, por '''Y''' y '''X'''
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial |\mathbf{U}|}{\partial x} =</math> || colspan=2|<math>|\mathbf{U}|\operatorname{tr}\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)</math>
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial \ln|\mathbf{U}|}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)</math>
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial^2 |\mathbf{U}|}{\partial x^2} =</math>
| colspan=2 | <math>|\mathbf{U}|\left[
  \operatorname{tr}\left(\mathbf{U}^{-1}\frac{\partial^2 \mathbf{U}}{\partial x^2}\right) +
  \operatorname{tr}^2\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right) -
  \operatorname{tr}\left(\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)^2\right)
\right]</math>
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial g(\mathbf{U})}{\partial x} =</math> || <math>\operatorname{tr}\left( \frac{\partial g(\mathbf{U})}{\partial \mathbf{U}} \frac{\partial \mathbf{U}}{\partial x}\right)</math>
|| <math>\operatorname{tr}\left( \left(\frac{\partial g(\mathbf{U})}{\partial \mathbf{U}}\right)^\top \frac{\partial \mathbf{U}}{\partial x}\right)</math>
|-
| '''A''' no es una función de ''x'', '''g'''('''X''') es cualquier polinomio con coeficientes escalares, o cualquier función matricial definida por una serie polinómica infinita (es decir, e<sup>'''X'''</sup>, sin('''X'''), cos('''X'''), ln('''X'''), entre otras); ''g''(''x'') es la función escalar equivalente, ''g''&prime;(''x'') es su derivado, y '''g'''&prime;('''X''') es la función matricial correspondiente. || <math>\frac{\partial \operatorname{tr}(\mathbf{g}(x\mathbf{A}))}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}\mathbf{g}'(x\mathbf{A})\right)</math>
|-
| '''A''' no es una función de ''x'' || <math>\frac{\partial \operatorname{tr}\left(e^{x\mathbf{A}}\right)}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}e^{x\mathbf{A}}\right)</math>
|}

=== Identidades en forma diferencial ===

A menudo es más fácil trabajar en forma diferencial y luego volver a convertir a derivadas normales. Esto sólo funciona bien utilizando la disposición del numerador. En estas reglas, "a" es un escalar.

:{|class="wikitable" style="text-align: center;"
|+ Identidades diferenciales: escalar que implican matrices<ref name=":0" /><ref name="matrix-cookbook"/>
! Condición !! Expresión !! Resultado (disposición del numerador)
|-
| || <math>d(\operatorname{tr}(\mathbf{X})) =</math> || <math>\operatorname{tr}(d\mathbf{X})</math>
|-
| || <math>d(|\mathbf{X}|) =</math> || <math>|\mathbf{X}|\operatorname{tr}\left(\mathbf{X}^{-1}d\mathbf{X}\right) = \operatorname{tr}(\operatorname{adj}(\mathbf{X})d\mathbf{X})</math>
|-
| || <math>d(\ln|\mathbf{X}|) =</math> || <math>\operatorname{tr}\left(\mathbf{X}^{-1}d\mathbf{X}\right)</math>
|}

:{|class="wikitable" style="text-align: center;"
|+ Identidades diferenciales: matriz<ref name=":0" /><ref name="matrix-cookbook"/><ref>{{cite journal|url=https://pdfs.semanticscholar.org/c74c/5e11ed05246c12165ce7e4b6222bd32d68dc.pdf|title=An extended collection of matrix derivative results for forward and reverse mode algorithmic differentiation|last1=Giles|first1=Michael B.|date=2008|publicación=|idioma=en|archive-url=https://web.archive.org/web/20200227075201/https://pdfs.semanticscholar.org/c74c/5e11ed05246c12165ce7e4b6222bd32d68dc.pdf|archive-date=2020-02-27|s2cid=|url-status=}}</ref><ref>[https://www.ias.edu/sites/default/files/sns/files/1-matrixlog_tex(1).pdf Nota inédita (en inglés)] por S Adler (IAS) </ref>
! Condición !! Expresión !! Resultado (disposición del numerador)
|-
|'''A''' no es una función de '''X''' || <math>d(\mathbf{A}) =</math> || <math>0</math>
|-
|''a'' no es una función de '''X''' || <math>d(a\mathbf{X}) =</math> || <math>a\,d\mathbf{X}</math>
|-
| || <math>d(\mathbf{X} + \mathbf{Y}) =</math> || <math>d\mathbf{X} + d\mathbf{Y}</math>
|-
| || <math>d(\mathbf{X}\mathbf{Y}) =</math> || <math>(d\mathbf{X})\mathbf{Y} + \mathbf{X}(d\mathbf{Y})</math>
|-
| ([[producto de Kronecker]])  || <math>d(\mathbf{X} \otimes \mathbf{Y}) =</math> || <math>(d\mathbf{X})\otimes\mathbf{Y} + \mathbf{X}\otimes(d\mathbf{Y})</math>
|-
| ([[producto de Hadamard]]) || <math>d(\mathbf{X} \circ \mathbf{Y}) =</math> || <math>(d\mathbf{X})\circ\mathbf{Y} + \mathbf{X}\circ(d\mathbf{Y})</math>
|-
| || <math>d\left(\mathbf{X}^\top\right) =</math> || <math>(d\mathbf{X})^\top</math>
|-
|
|<math>d\left(\mathbf{X}^{-1}\right) =</math>
|<math>-\mathbf{X}^{-1}\left(d\mathbf{X}\right)\mathbf{X}^{-1}</math>
|-
| ([[matriz traspuesta conjugada]]) || <math>d\left(\mathbf{X}^{\rm H}\right) =</math> || <math>(d\mathbf{X})^{\rm H}</math>
|-
| ''n'' es un número entero positivo || <math>d\left(\mathbf{X}^n\right) =</math> || <math>\sum_{i=0}^{n-1} \mathbf{X}^i (d\mathbf{X})\mathbf{X}^{n-i-1}</math>
|-
| 
| <math>d \left(e^\mathbf{X}\right) =</math>
| <math> \int_0^1 e^{a\mathbf{X}} (d\mathbf{X}) e^{(1-a)\mathbf{X}} \, da </math>
|-
|
| <math>d \left(\log{X}\right) =</math>
| <math> \int_0^\infty (\mathbf{X}+z \, \mathbf{I})^{-1} (d\mathbf{X}) (\mathbf{X}+z \, \mathbf{I})^{-1} \, dz </math>
|-
| <math>\mathbf{X} = \sum_i \lambda_i \mathbf{P}_i</math> es [[Descomposición en valores propios de una matriz|diagonalizable]] <br>
<math>\mathbf{P}_i \mathbf{P}_j = \delta_{ij} \mathbf{P}_i </math> <br>
''f'' es [[Función diferenciable|diferenciable]] en todo valor propio <math>\lambda_i</math>
| <math>d \left(f(\mathbf{X})\right) =</math>
| <math>\sum_{ij} \mathbf{P}_i (d\mathbf{X}) \mathbf{P}_j \begin{cases}
  f'(\lambda_i) & \lambda_i = \lambda_j \\
  \frac{f(\lambda_i) - f(\lambda_j)}{\lambda_i - \lambda_j} & \lambda_i \neq \lambda_j 
\end{cases} </math>
|}
En la última fila, <math>\delta_{ij}</math> es el [[delta de Kronecker]] y <math>(\mathbf{P}_k)_{ij} = (\mathbf{Q})_{ik} (\mathbf{Q}^{-1})_{kj}</math>  es el conjunto de operadores de proyección ortogonales que se proyectan sobre el ''k''-ésimo vector propio de '''X'''.
'''Q''' es la matriz de [[Descomposición en valores propios de una matriz|vectores propios]] de <math>\mathbf{X} = \mathbf{Q} \mathbf{\Lambda} \mathbf{Q}^{-1}</math>, y <math>(\mathbf{\Lambda})_{ii} = \lambda_i</math> son los valores propios. La función matricial <math>f(\mathbf{X})</math> se [[Descomposición en valores propios de una matriz|define en términos de la función escalar]] <math>f(x)</math> para matrices diagonalizables mediante 
<math>f(\mathbf{X}) = \sum_i f(\lambda_i) \mathbf{P}_i </math>  donde <math>\mathbf{X} = \sum_i \lambda_i \mathbf{P}_i</math> con <math>\mathbf{P}_i \mathbf{P}_j = \delta_{ij} \mathbf{P}_i </math>.

Para convertir a la forma derivada normal, primero se convierte a una de las siguientes formas canónicas, y luego se utilizan estas identidades:

{{anchor|convert_differential_derivative}}
:{|class="wikitable" style="text-align: center;"
|+ Conversión de la forma diferencial a la forma derivada<ref name=":0" />
! Forma diferencial canónica !! Forma derivada equivalente (disposición del numerador)
|-
| <math>dy = a\,dx</math> || <math>\frac{dy}{dx} = a</math>
|-
| <math>dy = \mathbf{a}^\top d\mathbf{x}</math> || <math>\frac{dy}{d\mathbf{x}} = \mathbf{a}^\top</math>
|-
| <math>dy = \operatorname{tr}(\mathbf{A}\,d\mathbf{X})</math> || <math>\frac{dy}{d\mathbf{X}} = \mathbf{A}</math>
|-
| <math>d\mathbf{y} = \mathbf{a}\,dx</math> || <math>\frac{d\mathbf{y}}{dx} = \mathbf{a}</math>
|-
| <math>d\mathbf{y} = \mathbf{A}\,d\mathbf{x}</math> || <math>\frac{d\mathbf{y}}{d\mathbf{x}} = \mathbf{A}</math>
|-
| <math>d\mathbf{Y} = \mathbf{A}\,dx</math> || <math>\frac{d\mathbf{Y}}{dx} = \mathbf{A}</math>
|}

== Aplicaciones ==
El [[cálculo diferencial]] matricial se utiliza en estadística y econometría, en particular para el análisis estadístico de [[Distribución conjunta|distribuciones multivariantes]], especialmente la [[distribución normal multivariada]] y otras [[distribuciones elípticas]].<ref>{{Harvtxt|Fang|Zhang|1990}}</ref><ref>{{Harvtxt|Pan|Fang|2007}}</ref><ref>{{Harvtxt|Kollo|von Rosen|2005}}</ref>

Se utiliza en el [[Análisis de la regresión|análisis de regresión]] para calcular, por ejemplo, la [[fórmula de regresión por mínimos cuadrados ordinarios]] para el caso de múltiples [[Variables dependientes e independientes|variables explicativas]].<ref>{{Harvtxt|Magnus|Neudecker|2019}}</ref> También se utiliza en sensibilidad local y diagnóstico estadístico.<ref>{{Harvtxt|Liu|et al.|2022}}</ref>

== Véase también ==
{{Portal|Matemáticas}}

* [[Integral multiplicativa]]

== Referencias ==
<references />

== Bibliografía ==

* {{Cita libro|apellidos=Fang|nombre=Kai-Tai|título=Generalized multivariate analysis|año=1990|editorial=Science Press (Beijing) and Springer-Verlag (Berlin)|isbn=3540176519|idioma=en|nombre2=Yao-Ting|apellidos2=Zhang}}
* {{Cita libro|apellidos=Kollo|nombre=Tõnu|título=Advanced multivariate statistics with matrices|año=2005|editorial=Springer|isbn=978-1-4020-3418-3|ubicación=Dordrecht|idioma=en|nombre2=Dietrich|apellidos2=von Rosen}}
* {{Cita libro|apellidos=Pan|nombre=Jianxin|título=Growth curve models and statistical diagnostics|año=2007|editorial=Science Press|isbn=9780387950532|ubicación=Beijing|página=en|nombre2=Kaitai   <!-- In English, inconsistent with other publications -->|apellidos2=Fang}}
* {{Cita libro|apellidos=Magnus|nombre=Jan|título=Matrix differential calculus with applications in statistics and econometrics|año=2019|editorial=John Wiley|isbn=9781119541202|ubicación=New York|idioma=en|nombre2=Heinz|apellidos2=Neudecker}}
* {{Cita libro|apellidos=Liu|nombre=Shuangzhe|título=Matrix differential calculus with applications in the multivariate linear model and its diagnostics|año=2022|editorial=Journal of Multivariate Analysis|páginas=104849|idioma=en|nombre2=Victor|apellidos2=Leiva|nombre3=Dan|apellidos3=Zhuang|nombre4=Tiefeng|apellidos4=Ma|nombre5=Jorge I.|apellidos5=Figueroa-Zúñiga|volumen=188|doi=10.1016/j.jmva.2021.104849}}

== Lectura adicional ==

* {{Cita libro|apellidos=Abadir, Karim M., 1964-|nombre=Magnus, Jan R.|título=Matrix algebra|año=2005|editorial=Cambridge University Press|isbn=978-0-511-64796-3|ubicación=Cambridge|idioma=en|oclc=569411497}}
* {{Cita libro|apellidos=Lax|nombre=Peter D.|título=Linear algebra and its applications|año=2007|editorial=Wiley-Interscience|isbn=978-0-471-75156-4|ubicación=Hoboken, N.J.|idioma=en|capítulo=9. Calculus of Vector- and Matrix-Valued Functions|edición=2}}
* {{Cita publicación|título=On the concept of matrix derivative|apellidos=Magnus|nombre=Jan R.|fecha=2010|publicación=Journal of Multivariate Analysis|volumen=101|número=9|páginas=2200–2206|idioma=en|doi=10.1016/j.jmva.2010.05.005}}

== Enlaces externos ==

=== Software ===

* [http://www.matrixcalculus.org/ MatrixCalculus.org], un sitio web para evaluar expresiones de cálculo matricial simbólicamente
* [https://math.ucsd.edu/~ncalg/ NCAlgebra], un paquete de [[Mathematica]] de código abierto que tiene algunas funcionalidades de cálculo matricial
* [[SymPy]] admite derivadas matriciales simbólicas en su [https://docs.sympy.org/latest/modules/matrices/expressions.html módulo de expresión matricial], así como derivadas tensoriales simbólicas en su [https://docs.sympy.org/latest/modules/tensor/array_expressions.html módulo de expresión de matrices].

=== Información ===

* {{Cita web|url=http://www.psi.toronto.edu/matrix/calculus.html|título=Matrix Reference Manual|fechaacceso=3 de agosto de 2023|fechaarchivo=30 de junio de 2012|urlarchivo=https://web.archive.org/web/20120630192238/http://www.psi.toronto.edu/matrix/calculus.html|deadurl=yes}} (en inglés), Mike Brookes, [[Imperial College London]]
* {{Cita web|url=http://www.atmos.washington.edu/~dennis/MatrixCalculus.pdf|título=Matrix Differentiation (and some other stuff)}} (en inglés), Randal J. Barnes, Departamento de Ingeniería Civil, Universidad de Minnesota
* {{Cita web|url=http://www4.ncsu.edu/~pfackler/MatCalc.pdf|título=Notes on Matrix Calculus}} (en inglés),  Paul L. Fackler, [[Universidad Estatal de Carolina del Norte|North Carolina State University]].
* [https://wiki.inf.ed.ac.uk/twiki/pub/CSTR/ListenSemester1_2006_7/slide.pdf Matrix Differential Calculus] {{Wayback|url=https://wiki.inf.ed.ac.uk/twiki/pub/CSTR/ListenSemester1_2006_7/slide.pdf |date=20120916044332 }} (presentación en diapositivas, en inglés), Zhang Le, [[Universidad de Edimburgo|University of Edinburgh]].
* {{Cita web|url=http://www.econ.ku.dk/metrics/Econometrics2_05_II/LectureNotes/matrixdiff.pdf|título=Introduction to Vector and Matrix Differentiation|fechaacceso=3 de agosto de 2023|fechaarchivo=26 de mayo de 2012|urlarchivo=https://web.archive.org/web/20120526142207/http://www.econ.ku.dk/metrics/Econometrics2_05_II/LectureNotes/matrixdiff.pdf|deadurl=yes}} (en inglés, notas sobre diferenciación matricial, en el contexto de [[econometría]]), Heino Bohn Nielsen
* {{Cita web|url=http://mpra.ub.uni-muenchen.de/1239/1/MPRA_paper_1239.pdf|título=A note on differentiating matrices}} (en inglés, notas sobre diferenciación matricial), Pawel Koval, del Munich Personal RePEc Archive.
* {{Cita web|url=http://www.personal.rdg.ac.uk/~sis01xh/teaching/CY4C9/ANN3.pdf|título=Vector/Matrix Calculus}} (en inglés, más notas sobre diferenciación de matriz)
* {{Cita web|url=http://www.cs.nyu.edu/~roweis/notes/matrixid.pdf|título=Matrix identities}} (notas sobre la diferenciación de matrices, en inglés), Sam Roweis

{{Control de autoridades}}
[[Categoría:Teoría de matrices]]
[[Categoría:Álgebra lineal]]
[[Categoría:Cálculo multivariable]]
[[Categoría:Matrices]]