Otra forma asumiendo que usamos la noción común de derivada en espacios multidimensionales: observemos que
\( \displaystyle{
f(W)= x^\top W^\top Wx=Wx \cdot Wx=\|W x\|^2
} \)
donde el punto \( \,\cdot\, \) representa el producto interior euclídeo de vectores. Si definimos las funciones
\( \displaystyle{
g(A)=Ax,\quad b(x,y)=x\cdot y,\quad i(x)=(x,x)
} \)
entonces tanto \( g \) como \( i \) son lineales y \( b \) es bilineal, por tanto \( \partial g(A)=g,\, \partial i(x)=i \) y \( \partial b(x,y)=b(\,\cdot\, ,y)+b(x,\,\cdot\, ) \), y como \( f=b \circ i\circ g \) entonces de la regla de la cadena nos queda que
\( \displaystyle{
\begin{align*}
\partial f(W)A&=\partial (b \circ i\circ g)(W)A\\
&=(\partial b \circ i\circ g)(W) (\partial i \circ g)(W)\partial g(W)A\\
&=(\partial b \circ i\circ g)(W) (\partial i \circ g)(W)g(A)\\
&=(\partial b \circ i\circ g)(W) i(g(A))\\
&=(\partial b \circ i\circ g)(W)(Ax,Ax)\\
&=\partial b (Wx,Wx)(Ax,Ax)\\
&=b(Wx,Ax)+b(Ax,Wx)\\
&=2 b(Wx,Ax)\\
&=2 Wx\cdot Ax\\
&= 2x^\top W^\top Ax
\end{align*}
} \)
que debe ser lo mismo que le sale a Luis.