9
$\begingroup$

Is the following function real analytic in $t>0$:

$$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$

where $-a$ and $b$ are positive, and $c\not=a$?

I have consulted a large table of integrals looking for a closed form (for $t=1$), but without success.

Motivation:

This question arised during my efforts to show non-degeneracy of certain integrable systems. Real analyticity would make showing the non-degeneracy quite easy.

$\endgroup$
  • 2
    $\begingroup$ You don't need a closed form to show analyticity. You could try and prove a power series expansion. $\endgroup$ – Anthony Quas Aug 28 '15 at 17:28
  • $\begingroup$ @AnthonyQuas Thank you very much for this comment. I have edited the question, which is now more explicit. $\endgroup$ – H. Berbeleque Aug 28 '15 at 17:41
1
$\begingroup$

Yes. As Anthony points out, you just expand in a power series at the singularities (everything is fine away from $0$ and $1$) and see what happens. What you see is that the integrand has a $1/\sqrt{x}$ singularity at both ends, so all is well. (as for actual expanding in a power series, I was lazy and used Mathematica)

$\endgroup$
  • 2
    $\begingroup$ Could you please explain, how to link it to the real-analyticity in $t$, $t>0$? It is possible to subtract $f_0(t)/\sqrt{x}+f_1(t)/\sqrt{1-x}$ ($f_0$ and $f_1$ real analytic) from the integrand, so to make it bounded. But then it appears to me (I have plotted the graph for some choice of parameters) that the remainder looks like $\sqrt{x}$, and $\int_0^1\sqrt{x+t^2}dx$ is not real analytic in $t$, as @Robert Israel pointed out, in the answer to my other question. $\endgroup$ – H. Berbeleque Aug 29 '15 at 6:59
  • $\begingroup$ @H.Berbeleque The singularity (in both cases) is at $0,$ and you only ask for real analyticity for $t>0.$ $\endgroup$ – Igor Rivin Aug 29 '15 at 12:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.