There was a sign error somewhere, you should be getting + lambda and - (m-1). Regarding the integral from 0 to 1, since the powers involved are even you can do that and double it rather than −1 to 1 (sorry if this doesn’t map exactly onto your calculation, I didn’t read all the details).
I agree, that K is symmetric around our point of integration, big the prior phi is not. We integrate over e-(nk)*phi, wich does not have have to be symetric, right?
Yes, good point, but if the prior is positive it drops out of the asymptotic as it doesn’t contribute to the order of vanishing, so you can just ignore it from the start.
There was a sign error somewhere, you should be getting + lambda and - (m-1). Regarding the integral from 0 to 1, since the powers involved are even you can do that and double it rather than −1 to 1 (sorry if this doesn’t map exactly onto your calculation, I didn’t read all the details).
Ok, the sign error was just in the end, taking the -log of the result of the integral vs. taking the log. fixed it, thanks.
Thanks, Ill look for the sign-error!
I agree, that K is symmetric around our point of integration, big the prior phi is not. We integrate over e-(nk)*phi, wich does not have have to be symetric, right?
Yes, good point, but if the prior is positive it drops out of the asymptotic as it doesn’t contribute to the order of vanishing, so you can just ignore it from the start.