MultipleSearching
- 1
- 0
I'm following this paper by Kitaev on SL(2,R) representations and I'm having a problem in the normalization of the continuous eigenfunctions (eqs. (67)-(70)), which satisfy
[tex]\langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67}[/tex]
The singular contribution of the integral arises at the endpoint [itex]u=1[/itex] of the integral, and in the limit [itex]u \to 1[/itex], the function [itex]f_s(u)[/itex] takes on the form
[tex]f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}[/tex]
[itex]f_{s'}(u)[/itex] is also given by this expression but with [itex]s \to s'[/itex], where [itex]s, s' \in \mathbb{R}^+[/itex] and where [itex]a_s, a_{s'} \in \mathbb{C}[/itex] are complex coefficients in terms of [itex]s, s'[/itex], respectively, given by
[tex]a_s = \frac{\Gamma(-2i s)}{\Gamma\left(\frac{1}{2} - i s + l\right) \Gamma\left(\frac{1}{2} - i s + r\right)}.[/tex]
Using these approximations, they immediately present in equation (70) the normalization condition
[tex]\langle f_s | f_{s'} \rangle = 4 \pi |a_s|^2 \delta(s - s'). \tag{70}[/tex]
which is what I'm trying to obtain. My attempt at solving this involved splitting the integral into two, as follows
[tex]\int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du = \int_{0}^{1 - e^{-1/\varepsilon}} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) , du + \int_{1 - e^{-1/\varepsilon}}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du[/tex]
and solving for the latter, which contains the divergent part. I used the [itex]u \to 1[/itex] approximation presented above and simplified the expression to a sum of 4 terms. Each term is an integral of the form (singular endpoint – problem arises here)
[tex]\mathcal{I} = \int_{1 - e^{-1/\varepsilon}}^{1} (1-u)^{i(s + s') - 1} , du = -\frac{i e^{-i(s + s')/\varepsilon}}{s + s'}.[/tex]
After integrating all terms and using the following identities (in the distributional sense)
[tex]\lim_{a \to \infty} \frac{\sin(a x)}{\pi x} = \delta(x), \quad \lim_{a \to \infty} \cos(a x) = 0,[/tex]
I got
[tex]\mathcal{I} = -4 \pi |a_s|^2 \delta(s - s').[/tex]
I believe the problem comes from the way I solved the [itex]\mathcal{I}[/itex] integral, which leads to a sign discrepancy between what I obtained and the paper.
I've also tried the integral
[tex]\int_{0}^{1 - e^{-1/\varepsilon}} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du[/tex]
Eventhough we're using an asymptotic expansion for [itex]u \to 1[/itex], I considered these limits since the dominant contribution to the Dirac delta function lies near [itex]u=1[/itex]. This produces the correct sign for the normalization as seen in Kitaev's paper, but it also yields non-Dirac delta terms that don't cancel out. Namely
[tex]\int_0^1 \frac{2 du}{(1-u)^2} f_s(u) f_{s'}^*(u) = 4 \pi |a_s|^2 \delta(s-s') + \frac{4 \Im(a_s a_{s'})}{s+s'} + \frac{4 \Im(a_s a_{s'}^*)}{s-s'}[/tex]
[tex]\langle f_s | f_{s'} \rangle = \int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du. \tag{67}[/tex]
The singular contribution of the integral arises at the endpoint [itex]u=1[/itex] of the integral, and in the limit [itex]u \to 1[/itex], the function [itex]f_s(u)[/itex] takes on the form
[tex]f_s(u) \approx a_s (1-u)^{1/2 + i s} + a_s^* (1-u)^{1/2 - i s}. \tag{70}[/tex]
[itex]f_{s'}(u)[/itex] is also given by this expression but with [itex]s \to s'[/itex], where [itex]s, s' \in \mathbb{R}^+[/itex] and where [itex]a_s, a_{s'} \in \mathbb{C}[/itex] are complex coefficients in terms of [itex]s, s'[/itex], respectively, given by
[tex]a_s = \frac{\Gamma(-2i s)}{\Gamma\left(\frac{1}{2} - i s + l\right) \Gamma\left(\frac{1}{2} - i s + r\right)}.[/tex]
Using these approximations, they immediately present in equation (70) the normalization condition
[tex]\langle f_s | f_{s'} \rangle = 4 \pi |a_s|^2 \delta(s - s'). \tag{70}[/tex]
which is what I'm trying to obtain. My attempt at solving this involved splitting the integral into two, as follows
[tex]\int_{0}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du = \int_{0}^{1 - e^{-1/\varepsilon}} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) , du + \int_{1 - e^{-1/\varepsilon}}^{1} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du[/tex]
and solving for the latter, which contains the divergent part. I used the [itex]u \to 1[/itex] approximation presented above and simplified the expression to a sum of 4 terms. Each term is an integral of the form (singular endpoint – problem arises here)
[tex]\mathcal{I} = \int_{1 - e^{-1/\varepsilon}}^{1} (1-u)^{i(s + s') - 1} , du = -\frac{i e^{-i(s + s')/\varepsilon}}{s + s'}.[/tex]
After integrating all terms and using the following identities (in the distributional sense)
[tex]\lim_{a \to \infty} \frac{\sin(a x)}{\pi x} = \delta(x), \quad \lim_{a \to \infty} \cos(a x) = 0,[/tex]
I got
[tex]\mathcal{I} = -4 \pi |a_s|^2 \delta(s - s').[/tex]
I believe the problem comes from the way I solved the [itex]\mathcal{I}[/itex] integral, which leads to a sign discrepancy between what I obtained and the paper.
I've also tried the integral
[tex]\int_{0}^{1 - e^{-1/\varepsilon}} \frac{2}{(1-u)^2} f_s(u)^* f_{s'}(u) \, du[/tex]
Eventhough we're using an asymptotic expansion for [itex]u \to 1[/itex], I considered these limits since the dominant contribution to the Dirac delta function lies near [itex]u=1[/itex]. This produces the correct sign for the normalization as seen in Kitaev's paper, but it also yields non-Dirac delta terms that don't cancel out. Namely
[tex]\int_0^1 \frac{2 du}{(1-u)^2} f_s(u) f_{s'}^*(u) = 4 \pi |a_s|^2 \delta(s-s') + \frac{4 \Im(a_s a_{s'})}{s+s'} + \frac{4 \Im(a_s a_{s'}^*)}{s-s'}[/tex]
Last edited: