Skip to main content
added 88 characters in body
Source Link
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

Let $P(t)=(t-t_1)(t-t_2)\dots(t-t_k)(t-a)$ where $(-1)^{k+1}t_1t_2\dots t_k a = b$ which has leading coefficient 1 and constant coefficient $b$. If you fix $b$, then $a$ is a rational function of the $t_i$. Treat the case where some $t_i=0$ with care. The other coefficients are $$x_i = (-1)^i \sigma_i(t_1,\dots,t_k,a) = (-1)^i\sum_{1\le j_1<\dots j_i\le k}t_{j_1}\dots t_{j_i} + (-1)^i a\sum_{1\le j_1<\dots j_{i-1}\le k}t_{j_1}\dots t_{j_{i-1}}$$ and the discriminant is $$ D=\prod_{i < j} (t_i-t_j)\cdot\prod_i (x_i-a).$$ Also let $$\sigma(t_1,\dots,t_k)=(\sigma_1(t_1,\dots,t_k,a),\dots\sigma_k(t_1,\dots,t_k,a)).$$ Denote by $s_i$ the Newton polynomials $\sum_{j}t_j^i+a^i$ which are related to the elementary symmetric function by $$ s_\ell-s_{\ell-1}\sigma_1+s_{k-2}\sigma_2+\dots+(-1)^{\ell-1}s_1\sigma_{\ell-1}+ (-1)^\ell\ell\sigma_k=0 \quad (\ell\leq n) $$$$ s_\ell-s_{\ell-1}\sigma_1+s_{k-2}\sigma_2+\dots+(-1)^{\ell-1}s_1\sigma_{\ell-1}+ (-1)^\ell\ell\sigma_\ell=0 \quad (\ell\leq k+1), $$ where $\sigma_{k+1}=b$. The corresponding mappings are related by a polynomial diffeomorphism $\psi$ (treating $a$ as a variable), given by: $$ \sigma:=(\sigma_1,\dots,\sigma_k):\Bbb R^k\to \Bbb R^k$$$$ \sigma:=(\sigma_1,\dots,\sigma_k, b):\Bbb R^{k+1}\to \Bbb R^{k+1}$$ $$s:=(s_1,\dots,s_k):\Bbb R^k\to \Bbb R^k$$$$s:=(s_1,\dots,s_k, s_{k+1}):\Bbb R^{k+1}\to \Bbb R^{k+1}$$

$$s:=\psi^n\circ\sigma^n $$ Note that the Jacobian (the determinant of the derivative) of $s$ is $(k+1)!$ times the Vandermonde determinant: $$\det(ds(t))=(k+1)!\,\prod_{i>j}(t_i-t_j)\cdot\prod_i(t_i-a),$$$$\det(ds(t,a))=(k+1)!\,\prod_{i>j}(t_i-t_j)\cdot\prod_i(t_i-a),$$ and even the derivative itself $d(s^n)(x)$$d(s)(x)$ equals the Vandermonde matrix up to factors $i$ in the $i$-th row.

From this you should be able to decide your question. I do not have time to this now.

Let $P(t)=(t-t_1)(t-t_2)\dots(t-t_k)(t-a)$ where $(-1)^{k+1}t_1t_2\dots t_k a = b$ which has leading coefficient 1 and constant coefficient $b$. If you fix $b$, then $a$ is a rational function of the $t_i$. Treat the case where some $t_i=0$ with care. The other coefficients are $$x_i = (-1)^i \sigma_i(t_1,\dots,t_k,a) = (-1)^i\sum_{1\le j_1<\dots j_i\le k}t_{j_1}\dots t_{j_i} + (-1)^i a\sum_{1\le j_1<\dots j_{i-1}\le k}t_{j_1}\dots t_{j_{i-1}}$$ and the discriminant is $$ D=\prod_{i < j} (t_i-t_j)\cdot\prod_i (x_i-a).$$ Also let $$\sigma(t_1,\dots,t_k)=(\sigma_1(t_1,\dots,t_k,a),\dots\sigma_k(t_1,\dots,t_k,a)).$$ Denote by $s_i$ the Newton polynomials $\sum_{j}t_j^i+a^i$ which are related to the elementary symmetric function by $$ s_\ell-s_{\ell-1}\sigma_1+s_{k-2}\sigma_2+\dots+(-1)^{\ell-1}s_1\sigma_{\ell-1}+ (-1)^\ell\ell\sigma_k=0 \quad (\ell\leq n) $$ The corresponding mappings are related by a polynomial diffeomorphism $\psi$, given by: $$ \sigma:=(\sigma_1,\dots,\sigma_k):\Bbb R^k\to \Bbb R^k$$ $$s:=(s_1,\dots,s_k):\Bbb R^k\to \Bbb R^k$$

$$s:=\psi^n\circ\sigma^n $$ Note that the Jacobian (the determinant of the derivative) of $s$ is $(k+1)!$ times the Vandermonde determinant: $$\det(ds(t))=(k+1)!\,\prod_{i>j}(t_i-t_j)\cdot\prod_i(t_i-a),$$ and even the derivative itself $d(s^n)(x)$ equals the Vandermonde matrix up to factors $i$ in the $i$-th row.

From this you should be able to decide your question. I do not have time to this now.

Let $P(t)=(t-t_1)(t-t_2)\dots(t-t_k)(t-a)$ where $(-1)^{k+1}t_1t_2\dots t_k a = b$ which has leading coefficient 1 and constant coefficient $b$. If you fix $b$, then $a$ is a rational function of the $t_i$. Treat the case where some $t_i=0$ with care. The other coefficients are $$x_i = (-1)^i \sigma_i(t_1,\dots,t_k,a) = (-1)^i\sum_{1\le j_1<\dots j_i\le k}t_{j_1}\dots t_{j_i} + (-1)^i a\sum_{1\le j_1<\dots j_{i-1}\le k}t_{j_1}\dots t_{j_{i-1}}$$ and the discriminant is $$ D=\prod_{i < j} (t_i-t_j)\cdot\prod_i (x_i-a).$$ Also let $$\sigma(t_1,\dots,t_k)=(\sigma_1(t_1,\dots,t_k,a),\dots\sigma_k(t_1,\dots,t_k,a)).$$ Denote by $s_i$ the Newton polynomials $\sum_{j}t_j^i+a^i$ which are related to the elementary symmetric function by $$ s_\ell-s_{\ell-1}\sigma_1+s_{k-2}\sigma_2+\dots+(-1)^{\ell-1}s_1\sigma_{\ell-1}+ (-1)^\ell\ell\sigma_\ell=0 \quad (\ell\leq k+1), $$ where $\sigma_{k+1}=b$. The corresponding mappings are related by a polynomial diffeomorphism $\psi$ (treating $a$ as a variable), given by: $$ \sigma:=(\sigma_1,\dots,\sigma_k, b):\Bbb R^{k+1}\to \Bbb R^{k+1}$$ $$s:=(s_1,\dots,s_k, s_{k+1}):\Bbb R^{k+1}\to \Bbb R^{k+1}$$

$$s:=\psi^n\circ\sigma^n $$ Note that the Jacobian (the determinant of the derivative) of $s$ is $(k+1)!$ times the Vandermonde determinant: $$\det(ds(t,a))=(k+1)!\,\prod_{i>j}(t_i-t_j)\cdot\prod_i(t_i-a),$$ and even the derivative itself $d(s)(x)$ equals the Vandermonde matrix up to factors $i$ in the $i$-th row.

From this you should be able to decide your question. I do not have time to this now.

Bounty Ended with 150 reputation awarded by Per Alexandersson
Source Link
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

Let $P(t)=(t-t_1)(t-t_2)\dots(t-t_k)(t-a)$ where $(-1)^{k+1}t_1t_2\dots t_k a = b$ which has leading coefficient 1 and constant coefficient $b$. If you fix $b$, then $a$ is a rational function of the $t_i$. Treat the case where some $t_i=0$ with care. The other coefficients are $$x_i = (-1)^i \sigma_i(t_1,\dots,t_k,a) = (-1)^i\sum_{1\le j_1<\dots j_i\le k}t_{j_1}\dots t_{j_i} + (-1)^i a\sum_{1\le j_1<\dots j_{i-1}\le k}t_{j_1}\dots t_{j_{i-1}}$$ and the discriminant is $$ D=\prod_{i < j} (t_i-t_j)\cdot\prod_i (x_i-a).$$ Also let $$\sigma(t_1,\dots,t_k)=(\sigma_1(t_1,\dots,t_k,a),\dots\sigma_k(t_1,\dots,t_k,a)).$$ Denote by $s_i$ the Newton polynomials $\sum_{j}t_j^i+a^i$ which are related to the elementary symmetric function by $$ s_\ell-s_{\ell-1}\sigma_1+s_{k-2}\sigma_2+\dots+(-1)^{\ell-1}s_1\sigma_{\ell-1}+ (-1)^\ell\ell\sigma_k=0 \quad (\ell\leq n) $$ The corresponding mappings are related by a polynomial diffeomorphism $\psi$, given by: $$ \sigma:=(\sigma_1,\dots,\sigma_k):\Bbb R^k\to \Bbb R^k$$ $$s:=(s_1,\dots,s_k):\Bbb R^k\to \Bbb R^k$$

$$s:=\psi^n\circ\sigma^n $$ Note that the Jacobian (the determinant of the derivative) of $s$ is $(k+1)!$ times the Vandermonde determinant: $$\det(ds(t))=(k+1)!\,\prod_{i>j}(t_i-t_j)\cdot\prod_i(t_i-a),$$ and even the derivative itself $d(s^n)(x)$ equals the Vandermonde matrix up to factors $i$ in the $i$-th row.

From this you should be able to decide your question. I do not have time to this now.