Transvectant

In mathematical invariant theory, a transvectant is an invariant formed from n invariants in n variables using Cayley's Ω process.

Definition

If Q1,...,Qn are functions of n variables x = (x1,...,xn) and r  0 is an integer then the rth transvectant of these functions is a function of n variables given by

where Ω is Cayley's Ω process, the tensor product means take a product of functions with different variables x1,..., xn, and tr means set all the vectors xk equal.

Partial transvectants

Examples

The zeroth transvectant is the product of the n functions.

The first transvectant is the Jacobian determinant of the n functions.

The second transvectant is a constant times the completely polarized form of the Hessian of the n functions.

Footnotes

    gollark: And I think that should actually be encoded in the type.
    gollark: But, as it also says, it has to be treated specially and cannot be entirely used like a normal pointer.
    gollark: Also, the README here seems to suggest just using a pointer.
    gollark: If it actually had a reasonable import system, you would not have to worry about stuff colliding very much.
    gollark: The other one just used `int*`.

    References

    • Olver, Peter J. (1999), Classical invariant theory, Cambridge University Press, ISBN 978-0-521-55821-1
    • Olver, Peter J.; Sanders, Jan A. (2000), "Transvectants, modular forms, and the Heisenberg algebra", Advances in Applied Mathematics, 25 (3): 252–283, CiteSeerX 10.1.1.46.803, doi:10.1006/aama.2000.0700, ISSN 0196-8858, MR 1783553
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.