Sobre un nuevo determinante funcional. (Q1440697)

Aus einer Funktion \(f(x,y)\), die als hinreichend oft partiell differenzierbar vorausgesetzt wird, wird die Determinante \[ D_m[f]=\begin{vmatrix} f & \frac{\partial f}{\partial y} & \frac{\partial^2f}{\partial y^2} & \dots & \frac{\partial^mf}{\partial y^m} \\ \frac{\partial f}{\partial x} & \frac{\partial^2f}{\partial x \partial y} & \frac{\partial^3f}{\partial x \partial y^2} & \dots & \frac{\partial^{m+1}f}{\partial x \partial y^m} \\ \vdots \\ \frac{\partial^mf}{\partial x^m} & \frac{\partial^{m+1}f}{\partial x^m \partial y} & \frac{\partial^{m+2}f}{\partial x^m \partial y^2} & \dots & \frac{\partial^{2m}f}{\partial x^m \partial y^m} \end{vmatrix} \] gebildet, und es wird bewiesen: Die notwendige und hinreichende Bedingung dafür, daß\ die Funktion \(f(x,y)\) die bilineare Gestalt \(\sum_{i=1}^m X_i(x)Y_i(y)\) hat, ist das Verschwinden von \(D_m[f]\).