Antiderivative of 1/sqrt(lnx - c)

  • Thread starter rebeka
  • Start date
44
0

Main Question or Discussion Point

does anybody know the antiderivative of 1/(sqrt(lnx - (a constant))
 

Answers and Replies

Icebreaker
Try substituting u = lnx.
 
23
0
i don't think it is possible to solve that problem. could be wrong though
 
HallsofIvy
Science Advisor
Homework Helper
41,734
893
Hmmm, the substitution u= ln(x)- C, along the lines Icebreaker suggested, changes the integral to [tex]\int\frac{e^{u+C}du}{\sqrt{u}}[/tex] but I don't see any simple way to do that.

In fact, the "obvious" substitution [tex]u= \sqrt{ln(x)- C}[/tex] converts the
integral to [tex]2e^C\int e^{u^2}du[/tex] which has no elementary antiderivative!
 
saltydog
Science Advisor
Homework Helper
1,582
2
Your task, should you choose to accept it, is to show how Mathematica comes up with the following:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=-\frac{e^{c}\sqrt{\pi}\left(1-Erf\left[\sqrt{c-ln(x)}\right]\right)\sqrt{-c+ln(x)}}{\sqrt{c-ln(x)}}[/tex]

I'll try too.
 
Last edited:
lurflurf
Homework Helper
2,418
122
saltydog said:
Your task, should you choose to accept it, is to show how Mathematica comes up with the following:
You can verify the result if you like by showing the derivatives of each side are equal. Seeing how Mathematica comes up with it though is much harder and not very helpful. Mathematica does not do integral like a person would. If Integrate had a ShowSteps option what you would see would likely be ridiculuously long and complicated.
On the verification front
the substitution u=i Sqrt(log(x)-C) gives
[tex]\int \frac{1}{\sqrt{\log(x)-C}}dx=-2i e^c\int e^{-u^2}du[/tex]
Thus all that is needed to bridge to the mathematica result is to use (under suitable conditions)
sqrt(C-log(x))=i sqrt(log(x)-C)
 
Last edited:
saltydog
Science Advisor
Homework Helper
1,582
2
lurflurf said:
You can verify the result if you like by showing the derivatives of each side are equal. Seeing how Mathematica comes up with it though is much harder and not very helpful. Mathematica does not do integral like a person would. If Integrate had a ShowSteps option what you would see would likely be ridiculuously long and complicated.
Hello Lurflurf. The destination is not the objective but rather the journey. :smile:

"Equal rights for special functions." :smile:
 
lurflurf
Homework Helper
2,418
122
Of course erf's evil brother erfi could also be used.
 
saltydog
Science Advisor
Homework Helper
1,582
2
lurflurf said:
On the verification front
the substitution u=i Sqrt(log(x)-C) gives
[tex]\int \frac{1}{\sqrt{\log(x)-C}}dx=-2i e^c\int e^{-u^2}du[/tex]
Thus all that is needed to bridge to the mathematica result is to use (under suitable conditions)
sqrt(C-log(x))=i sqrt(log(x)-C)
Thanks Lurflurf. That's very helpful cus' I wasn't getting anywhere in the Real world. Still not happening for me but I'll continue working on it . . . it's a pleasant ride. :smile:
 
saltydog
Science Advisor
Homework Helper
1,582
2
I'm making progress with this. Using Lurflurf's substitution, I obtain:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=-2i e^c \int e^{-u^2}du,\quad u(x)=i\sqrt{ln(x)-c}[/tex]

Since:

[tex]Erf(t)=\frac{2}{\sqrt{\pi}}\int e^{-t^2}dt[/tex]

Then:

[tex]\int e^{-t^2}dt=\frac{\sqrt{\pi}}{2}Erf(t)[/tex]

Thus:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}dx=-i e^c\sqrt{\pi} Erf \left[i\sqrt{ln(x)-c}\right][/tex]

Now, as long as [itex] c\leq ln(x)[/itex],

[tex] Erf\left[i\sqrt{ln(x)-c}\right] [/tex]

will be a pure complex number (prove?) and thus the integral will be a positive real number.

I don't know how to calculate (numerical or otherwise) the value of erf(ai). Can someone please show me?

[tex]Erf[ia]=?[/tex]
 
saltydog
Science Advisor
Homework Helper
1,582
2
saltydog said:
I'm making progress with this. Using Lurflurf's substitution, I obtain:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=-2i e^c \int e^{-u^2}du,\quad u(x)=i\sqrt{ln(x)-c}[/tex]

Since:

[tex]Erf(t)=\frac{2}{\sqrt{\pi}}\int e^{-t^2}dt[/tex]

Then:

[tex]\int e^{-t^2}dt=\frac{\sqrt{\pi}}{2}Erf(t)[/tex]

Thus:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}dx=-i e^c\sqrt{\pi} Erf \left[i\sqrt{ln(x)-c}\right][/tex]

Now, as long as [itex] c\leq ln(x)[/itex],

[tex] Erf\left[i\sqrt{ln(x)-c}\right] [/tex]

will be a pure complex number (prove?) and thus the integral will be a positive real number.

I don't know how to calculate (numerical or otherwise) the value of erf(ai). Can someone please show me?

[tex]Erf[ia]=?[/tex]
Alright, I got it by considering the Riemann sum:

[tex]Erf(ia)=\frac{2}{\sqrt{\pi}}\int_0^{ia} e^{-t^2}dt=\frac{2i}{\sqrt{\pi}}\int_0^a e^{t^2}dt[/tex]

Thus, applying this to the problem above we have:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=-ie^c\sqrt{\pi} Erf \left[ i\sqrt{ln(x)-c}\right][/tex]

Now:

[tex]
\begin{align*}
Erf \left[i\sqrt{ln(x)-c}\right]&=\frac{2}{\sqrt{\pi}}\int_0^{i\sqrt{ln(x)-c}} e^{-t^2}dt \\
&=\frac{2i}{\sqrt{\pi}}\int_0^{\sqrt{ln(x)-c}} e^{t^2}dt
\end{align}
[/tex]

Thus we finally have:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=2e^c\int_0^{\sqrt{ln(x)-c}} e^{t^2}dt[/tex]
 
Last edited:
saltydog
Science Advisor
Homework Helper
1,582
2
saltydog said:
Thus we finally have:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=2e^c\int_0^{\sqrt{ln(x)-c}} e^{t^2}dt[/tex]
Well, wait. That's just substituting a tough integral for a more-tough one. So, let's do this:

Let:

[tex]Sa[x,c]=\int_0^{\sqrt{ln(x)-c}} e^{t^2}dt;\quad x>0\quad\text{and}\quad ln(x)\geq c[/tex]

Then:

[tex]\int \frac{dx}{\sqrt{ln(x)-c}}=2e^cSa(x,c)[/tex]

See, that's much better. :smile:
 
lurflurf
Homework Helper
2,418
122
saltydog said:
I don't know how to calculate (numerical or otherwise) the value of erf(ai). Can someone please show me?

[tex]Erf[ia]=?[/tex]
Your to quick but I'll say this anyway.
[tex]erf(i a)=-i erfi(a)=-i\frac{2}{\sqrt{\pi}}\int_0^a e^{z^2} dz[/tex]
for fun put the integral into mathematica differently and try to get a result in terms of erfi.
like
integral=exp(C)sqrt(pi)efi(sqrt(x))
Also when trying to get the same form as mathematica
u=i sqrt(log(x)-C)=sqrt(-log(x)+C)
 
Last edited:
saltydog
Science Advisor
Homework Helper
1,582
2
lurflurf said:
Your to quick but I'll say this anyway.
[tex]erf(i a)=-i erfi(a)=-i\frac{2}{\sqrt{\pi}}\int_0^a e^{z^2} dz[/tex]
for fun put the integral into mathematica differently and try to get a result in terms of erfi.
like
integral=exp(C)sqrt(pi)efi(sqrt(x))
Also when trying to get the same form as mathematica
u=i sqrt(log(x)-C)=sqrt(-log(x)+C)
I don't think it's a minus i right? That is:

[tex]erf[i a]=\frac{2i}{\sqrt{\pi}}\int_0^a e^{z^2} dz[/tex]

I mean you're better at this than me. :smile:
 
lurflurf
Homework Helper
2,418
122
saltydog said:
I don't think it's a minus i right? That is:

[tex]erf[i a]=\frac{2i}{\sqrt{\pi}}\int_0^a e^{z^2} dz[/tex]
Drats I was thinking sdrawkcab.
erf(i a)=i erfi(a)
I mixed that up with
erfi(a)=-i erf(i a)
to produce the error.
 

Related Threads for: Antiderivative of 1/sqrt(lnx - c)

  • Last Post
2
Replies
28
Views
2K
  • Last Post
Replies
9
Views
54K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
41K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
5
Views
71K
  • Last Post
Replies
16
Views
23K
Replies
5
Views
2K
Top