Talk:Polarization of an algebraic form
![]() | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
The polar form of f is a polynomial
- F(u(1), u(2), ..., u(d))
which is linear separately in each u(i) (i.e., F is multilinear) and such that
- F(u,u, ..., u)=f(u).
Is this supposed to be a definition of the polar form? In this case, I tend to believe that we need a condition more - namely, F should be symmetric in its d (vectorial) variables. Is this correct? - darij
I've added |_{\lambda=0} to the end of the construction of the polar form of f, as per p. 41 of Procesi's "Lie Groups". It might be confusing since there are multiple \lambda, but it's cleaner to write the one to indicate that they are all zero.209.189.246.35 (talk) 16:23, 3 June 2011 (UTC) — Preceding unsigned comment added by 209.189.246.35 (talk) 16:21, 3 June 2011 (UTC)
Mathematica code for the given two examples in the article
[edit]Here, I would like to show the mathematica code of the example given in the article.
- The first example is
and the polarization of f is which can be obtianed by the following mathematica code
f[x_, y_] := x^2 + 3 x y + 2 y^2 Coefficient[ f[λ1 x1 +λ2 x2, λ1 y1 + λ2 y2], λ1 λ2 ]/Exponent[f[x, y], x]! // ExpandAll
- Similarly, the second example can be obtianed by
g[x_, y_] := x^3 + 2 x y^2 Coefficient[ g[λ1 x1 + λ2 x2 +λ3 x3, λ1 y1 + λ2 y2 +λ3 y3], λ1 λ2 λ3 ]/Exponent[g[x, y], x]! // ExpandAll
The output will be
I hope this will explain the words in article" F is a constant multiple of the coefficient of λ1 λ2...λd in the expansion of f(λ1u(1) + ... + λdu(d))."