Skip to main content
Bounty Ended with 50 reputation awarded by Marcel
added 12 characters in body
Source Link
thedude
  • 1.5k
  • 7
  • 22

I tried to use the eigenfunction approach, but did not get the desired result. I will post the answer anyway in case someone can help.

The Jack polynomial $J_\lambda(z_1,...,z_N)$ satisfies $$ D(\alpha)J_\lambda(z)=\frac{\alpha}{2}\sum_{i=1}^N z_i^2J_\lambda^{ii}(z)+\sum_{i\neq j}^N\frac{ z_i^2}{z_i-z_j}J_\lambda^{i}(z)=e_\lambda J_\lambda(z),$$ where I omited the superscript $(\alpha)$ and denoted $J^{i}$ the derivative with respect to the $i$th argument and by $J^{ii}$ the second derivative. Substituting $z_i=1/x_i$ after the derivatives, we have $$ \frac{\alpha}{2}\sum_{i=1}^N \frac{1}{x_i^2}J^{ii}(x^{-1})+\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})=e_\lambda J_\lambda(x^{-1}).$$$$ \frac{\alpha}{2}\sum_{i=1}^N \frac{1}{x_i^2}J^{ii}(x^{-1})+\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})=e_\lambda J_\lambda(x^{-1}). \quad (*)$$

Now let $f_\lambda(x)=\det(x)^sJ_\lambda(x^{-1})$ and apply $D(\alpha)$ to this, in the hope of obtaining $e_{\widetilde{\lambda}}f_\lambda$ as a result.

We have $$ D(\alpha)f_\lambda(x)=\frac{\alpha}{2}\sum_{i=1}^N x_i^2f_\lambda^{ii}(x)+\sum_{i\neq j}^N\frac{x_i^2}{x_i-x_j}f_\lambda^{i}(x),$$ which is $$\left(\frac{\alpha}{2}s(s-1)N+\frac{sN(N-1)}{2}\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\frac{\alpha}{2}\sum_i \frac{1}{x_i^2}J_\lambda^{ii}(x^{-1}).$$

Using (2)$(*)$ to replace the second derivatives, we get $$ \frac{N}{2}s(\alpha s-\alpha+N-1)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\left(e_\lambda J_\lambda(x^{-1})-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})\right),$$ or $$\left(e_\lambda+\frac{N}{2}s(\alpha s-\alpha+N-1)\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}\right)\det(x)^sJ_\lambda^{i},$$ or $$ D(\alpha)f_\lambda(x)=\left(e_\lambda+\frac{Ns}{2}(\alpha (s-1)+N-1)\right)f_\lambda-\sum_{i=1}^N(\alpha(s-1)+N-1)\frac{1}{x_i}\det(x)^sJ_\lambda^{i}.$$

This is NOT what we would like. I do not know where the mistake is.

As for the eigenvalue, we have $\widetilde{\lambda}=(s-\lambda_N,...,s-\lambda_1)$, and $|\widetilde{\lambda}|=sN-|\lambda|$. We know that $$ e_\lambda=\alpha b(\lambda')-b(\lambda)+(N-1)|\lambda|,$$ with $b(\lambda)=\sum_i(i-1)\lambda_i$ and $b(\lambda')=\sum_i\lambda_i(\lambda_i-1)/2$. So I get $$e_{\widetilde{\lambda}}= e_{\lambda}+\alpha\frac{s(s-1)N}{2}+\frac{sN(N-1)}{2}-(\alpha s+N-1)|\lambda|.$$

I tried to use the eigenfunction approach, but did not get the desired result. I will post the answer anyway in case someone can help.

The Jack polynomial $J_\lambda(z_1,...,z_N)$ satisfies $$ D(\alpha)J_\lambda(z)=\frac{\alpha}{2}\sum_{i=1}^N z_i^2J_\lambda^{ii}(z)+\sum_{i\neq j}^N\frac{ z_i^2}{z_i-z_j}J_\lambda^{i}(z)=e_\lambda J_\lambda(z),$$ where I omited the superscript $(\alpha)$ and denoted $J^{i}$ the derivative with respect to the $i$th argument and by $J^{ii}$ the second derivative. Substituting $z_i=1/x_i$ after the derivatives, we have $$ \frac{\alpha}{2}\sum_{i=1}^N \frac{1}{x_i^2}J^{ii}(x^{-1})+\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})=e_\lambda J_\lambda(x^{-1}).$$

Now let $f_\lambda(x)=\det(x)^sJ_\lambda(x^{-1})$ and apply $D(\alpha)$ to this, in the hope of obtaining $e_{\widetilde{\lambda}}f_\lambda$ as a result.

We have $$ D(\alpha)f_\lambda(x)=\frac{\alpha}{2}\sum_{i=1}^N x_i^2f_\lambda^{ii}(x)+\sum_{i\neq j}^N\frac{x_i^2}{x_i-x_j}f_\lambda^{i}(x),$$ which is $$\left(\frac{\alpha}{2}s(s-1)N+\frac{sN(N-1)}{2}\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\frac{\alpha}{2}\sum_i \frac{1}{x_i^2}J_\lambda^{ii}(x^{-1}).$$

Using (2) to replace the second derivatives, we get $$ \frac{N}{2}s(\alpha s-\alpha+N-1)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\left(e_\lambda J_\lambda(x^{-1})-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})\right),$$ or $$\left(e_\lambda+\frac{N}{2}s(\alpha s-\alpha+N-1)\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}\right)\det(x)^sJ_\lambda^{i},$$ or $$ D(\alpha)f_\lambda(x)=\left(e_\lambda+\frac{Ns}{2}(\alpha (s-1)+N-1)\right)f_\lambda-\sum_{i=1}^N(\alpha(s-1)+N-1)\frac{1}{x_i}\det(x)^sJ_\lambda^{i}.$$

This is NOT what we would like. I do not know where the mistake is.

As for the eigenvalue, we have $\widetilde{\lambda}=(s-\lambda_N,...,s-\lambda_1)$, and $|\widetilde{\lambda}|=sN-|\lambda|$. We know that $$ e_\lambda=\alpha b(\lambda')-b(\lambda)+(N-1)|\lambda|,$$ with $b(\lambda)=\sum_i(i-1)\lambda_i$ and $b(\lambda')=\sum_i\lambda_i(\lambda_i-1)/2$. So I get $$e_{\widetilde{\lambda}}= e_{\lambda}+\alpha\frac{s(s-1)N}{2}+\frac{sN(N-1)}{2}-(\alpha s+N-1)|\lambda|.$$

I tried to use the eigenfunction approach, but did not get the desired result. I will post the answer anyway in case someone can help.

The Jack polynomial $J_\lambda(z_1,...,z_N)$ satisfies $$ D(\alpha)J_\lambda(z)=\frac{\alpha}{2}\sum_{i=1}^N z_i^2J_\lambda^{ii}(z)+\sum_{i\neq j}^N\frac{ z_i^2}{z_i-z_j}J_\lambda^{i}(z)=e_\lambda J_\lambda(z),$$ where I omited the superscript $(\alpha)$ and denoted $J^{i}$ the derivative with respect to the $i$th argument and by $J^{ii}$ the second derivative. Substituting $z_i=1/x_i$ after the derivatives, we have $$ \frac{\alpha}{2}\sum_{i=1}^N \frac{1}{x_i^2}J^{ii}(x^{-1})+\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})=e_\lambda J_\lambda(x^{-1}). \quad (*)$$

Now let $f_\lambda(x)=\det(x)^sJ_\lambda(x^{-1})$ and apply $D(\alpha)$ to this, in the hope of obtaining $e_{\widetilde{\lambda}}f_\lambda$ as a result.

We have $$ D(\alpha)f_\lambda(x)=\frac{\alpha}{2}\sum_{i=1}^N x_i^2f_\lambda^{ii}(x)+\sum_{i\neq j}^N\frac{x_i^2}{x_i-x_j}f_\lambda^{i}(x),$$ which is $$\left(\frac{\alpha}{2}s(s-1)N+\frac{sN(N-1)}{2}\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\frac{\alpha}{2}\sum_i \frac{1}{x_i^2}J_\lambda^{ii}(x^{-1}).$$

Using $(*)$ to replace the second derivatives, we get $$ \frac{N}{2}s(\alpha s-\alpha+N-1)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\left(e_\lambda J_\lambda(x^{-1})-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})\right),$$ or $$\left(e_\lambda+\frac{N}{2}s(\alpha s-\alpha+N-1)\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}\right)\det(x)^sJ_\lambda^{i},$$ or $$ D(\alpha)f_\lambda(x)=\left(e_\lambda+\frac{Ns}{2}(\alpha (s-1)+N-1)\right)f_\lambda-\sum_{i=1}^N(\alpha(s-1)+N-1)\frac{1}{x_i}\det(x)^sJ_\lambda^{i}.$$

This is NOT what we would like. I do not know where the mistake is.

As for the eigenvalue, we have $\widetilde{\lambda}=(s-\lambda_N,...,s-\lambda_1)$, and $|\widetilde{\lambda}|=sN-|\lambda|$. We know that $$ e_\lambda=\alpha b(\lambda')-b(\lambda)+(N-1)|\lambda|,$$ with $b(\lambda)=\sum_i(i-1)\lambda_i$ and $b(\lambda')=\sum_i\lambda_i(\lambda_i-1)/2$. So I get $$e_{\widetilde{\lambda}}= e_{\lambda}+\alpha\frac{s(s-1)N}{2}+\frac{sN(N-1)}{2}-(\alpha s+N-1)|\lambda|.$$

Source Link
thedude
  • 1.5k
  • 7
  • 22

I tried to use the eigenfunction approach, but did not get the desired result. I will post the answer anyway in case someone can help.

The Jack polynomial $J_\lambda(z_1,...,z_N)$ satisfies $$ D(\alpha)J_\lambda(z)=\frac{\alpha}{2}\sum_{i=1}^N z_i^2J_\lambda^{ii}(z)+\sum_{i\neq j}^N\frac{ z_i^2}{z_i-z_j}J_\lambda^{i}(z)=e_\lambda J_\lambda(z),$$ where I omited the superscript $(\alpha)$ and denoted $J^{i}$ the derivative with respect to the $i$th argument and by $J^{ii}$ the second derivative. Substituting $z_i=1/x_i$ after the derivatives, we have $$ \frac{\alpha}{2}\sum_{i=1}^N \frac{1}{x_i^2}J^{ii}(x^{-1})+\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})=e_\lambda J_\lambda(x^{-1}).$$

Now let $f_\lambda(x)=\det(x)^sJ_\lambda(x^{-1})$ and apply $D(\alpha)$ to this, in the hope of obtaining $e_{\widetilde{\lambda}}f_\lambda$ as a result.

We have $$ D(\alpha)f_\lambda(x)=\frac{\alpha}{2}\sum_{i=1}^N x_i^2f_\lambda^{ii}(x)+\sum_{i\neq j}^N\frac{x_i^2}{x_i-x_j}f_\lambda^{i}(x),$$ which is $$\left(\frac{\alpha}{2}s(s-1)N+\frac{sN(N-1)}{2}\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\frac{\alpha}{2}\sum_i \frac{1}{x_i^2}J_\lambda^{ii}(x^{-1}).$$

Using (2) to replace the second derivatives, we get $$ \frac{N}{2}s(\alpha s-\alpha+N-1)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}\right)\det(x)^sJ_\lambda^{i}(x^{-1}) +\det(x)^s\left(e_\lambda J_\lambda(x^{-1})-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}J^{i}(x^{-1})\right),$$ or $$\left(e_\lambda+\frac{N}{2}s(\alpha s-\alpha+N-1)\right)\det(x)^sJ_\lambda(x^{-1})+\left(\sum_{i=1}^N\frac{\alpha(1-s)}{x_i}-\sum_j\frac{1}{x_i-x_j}-\sum_{i\neq j}^N\frac{x_j}{x_i(x_j-x_i)}\right)\det(x)^sJ_\lambda^{i},$$ or $$ D(\alpha)f_\lambda(x)=\left(e_\lambda+\frac{Ns}{2}(\alpha (s-1)+N-1)\right)f_\lambda-\sum_{i=1}^N(\alpha(s-1)+N-1)\frac{1}{x_i}\det(x)^sJ_\lambda^{i}.$$

This is NOT what we would like. I do not know where the mistake is.

As for the eigenvalue, we have $\widetilde{\lambda}=(s-\lambda_N,...,s-\lambda_1)$, and $|\widetilde{\lambda}|=sN-|\lambda|$. We know that $$ e_\lambda=\alpha b(\lambda')-b(\lambda)+(N-1)|\lambda|,$$ with $b(\lambda)=\sum_i(i-1)\lambda_i$ and $b(\lambda')=\sum_i\lambda_i(\lambda_i-1)/2$. So I get $$e_{\widetilde{\lambda}}= e_{\lambda}+\alpha\frac{s(s-1)N}{2}+\frac{sN(N-1)}{2}-(\alpha s+N-1)|\lambda|.$$