Integral of $int{frac{1}{sqrt{x(1+x^2)}}dx}$
$begingroup$
I was trying to solve the following question:
Evaluate: $$int{frac{1}{sqrt{x(1+x^2)}}dx}$$
This is an unsolved question in my sample papers book and so I believe it should have an elementary primitive.
But, I don't know how to start this. I want a hint to get started with this. Thanks!
integration indefinite-integrals
$endgroup$
|
show 5 more comments
$begingroup$
I was trying to solve the following question:
Evaluate: $$int{frac{1}{sqrt{x(1+x^2)}}dx}$$
This is an unsolved question in my sample papers book and so I believe it should have an elementary primitive.
But, I don't know how to start this. I want a hint to get started with this. Thanks!
integration indefinite-integrals
$endgroup$
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
1
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
1
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08
|
show 5 more comments
$begingroup$
I was trying to solve the following question:
Evaluate: $$int{frac{1}{sqrt{x(1+x^2)}}dx}$$
This is an unsolved question in my sample papers book and so I believe it should have an elementary primitive.
But, I don't know how to start this. I want a hint to get started with this. Thanks!
integration indefinite-integrals
$endgroup$
I was trying to solve the following question:
Evaluate: $$int{frac{1}{sqrt{x(1+x^2)}}dx}$$
This is an unsolved question in my sample papers book and so I believe it should have an elementary primitive.
But, I don't know how to start this. I want a hint to get started with this. Thanks!
integration indefinite-integrals
integration indefinite-integrals
edited Jan 24 at 11:34
rv7
asked Jan 24 at 11:01
rv7rv7
10311
10311
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
1
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
1
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08
|
show 5 more comments
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
1
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
1
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
1
1
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
1
1
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08
|
show 5 more comments
2 Answers
2
active
oldest
votes
$begingroup$
Several CAS I used for $$I=int{frac{dx}{sqrt{x(1+x^2)}}}$$ express it as an awful elliptic integral but
it can be "simplified" as $$I=2 sqrt{x} ,, _2F_1left(frac{1}{4},frac{1}{2};frac{5}{4};-x^2right)+C$$ where appears the Gaussian or ordinary hypergeometric function.
If you want an acceptable approximation of it for the integral for $0 leq x leq 2$ , you could use the following Padé approximant built at $x=0$
$$2 sqrt x,, frac{1+frac{96645617 }{53568140}x^2+frac{31538874293
}{31069521200}x^4+frac{3758605721543 }{20195188780000}x^6+frac{791037744588979
}{123594555333600000}x^8} {1+frac{102002431 }{53568140}x^2+frac{108481355723
}{93208563600}x^4+frac{384016013641 }{1553476060000}x^6+frac{30608751719
}{2485561696000}x^8}$$ which is in error of $6.86times 10^{-6}text{ %}$ at $x=1$ but $1.13times 10^{-2}text{ %}$ at $x=2$.
For infinitely large values of the upper bound, we can expand the interand and integrate termwise to get
$$color{blue}{frac{Gamma left(frac{1}{4}right)^2}{2 sqrt{pi }}-sum_{n=0}^infty binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}}$$ which gives the asymptotics and simple ways to approximate the value of the definite integral. For example, using $color{red}{10}$ terms only in the summation gives for fiteen significant figures
$$left(
begin{array}{ccc}
x & text{approximation} & text{exact} \
1.0 & color{blue}{1.85}008944498406 & 1.85407467730137 \
1.5 & color{blue}{2.136962}08793742 & 2.13696267480776 \
2.0 & color{blue}{2.32606419}317845 & 2.32606419421172 \
2.5 & color{blue}{2.46224022503}003 & 2.46224022503732 \
3.0 & color{blue}{2.565720296556}84 & 2.56572029655697 \
3.5 & color{blue}{2.64754771012530} & 2.64754771012530
end{array}
right)$$ and all of this being easy to compute since
$$a_n=binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}implies a_{n+1}=-frac{(2 n+1) (4 n+1)}{2 (n+1) (4 n+5) x^2}, a_n$$
$endgroup$
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
add a comment |
$begingroup$
We can also express the solution in terms of the Beta Function and the Incomplete Beta Function as I cover here:
begin{align}
I&= int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt\
&=frac{1}{2} left[ Bleft(frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) - Bleft(frac{1}{1 + x^2};frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) right] \
&=frac{1}{2} left[ Bleft( frac{1}{4} , frac{1}{4} right) - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{align}
Using the relationship between the Beta function and the Gamma Function we find that:
begin{equation}
Bleft( frac{1}{4} , frac{1}{4} right) = frac{Gammaleft(frac{1}{4}right)Gammaleft(frac{1}{4}right)}{Gammaleft(frac{1}{4} + frac{1}{4}right)} = frac{Gammaleft(frac{1}{4}right)^2}{Gammaleft(frac{1}{2}right)} = frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}}
end{equation}
Thus our integral $I$ becomes:
begin{equation}
I = int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt = frac{1}{2} left[ frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}} - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{equation}
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085740%2fintegral-of-int-frac1-sqrtx1x2dx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Several CAS I used for $$I=int{frac{dx}{sqrt{x(1+x^2)}}}$$ express it as an awful elliptic integral but
it can be "simplified" as $$I=2 sqrt{x} ,, _2F_1left(frac{1}{4},frac{1}{2};frac{5}{4};-x^2right)+C$$ where appears the Gaussian or ordinary hypergeometric function.
If you want an acceptable approximation of it for the integral for $0 leq x leq 2$ , you could use the following Padé approximant built at $x=0$
$$2 sqrt x,, frac{1+frac{96645617 }{53568140}x^2+frac{31538874293
}{31069521200}x^4+frac{3758605721543 }{20195188780000}x^6+frac{791037744588979
}{123594555333600000}x^8} {1+frac{102002431 }{53568140}x^2+frac{108481355723
}{93208563600}x^4+frac{384016013641 }{1553476060000}x^6+frac{30608751719
}{2485561696000}x^8}$$ which is in error of $6.86times 10^{-6}text{ %}$ at $x=1$ but $1.13times 10^{-2}text{ %}$ at $x=2$.
For infinitely large values of the upper bound, we can expand the interand and integrate termwise to get
$$color{blue}{frac{Gamma left(frac{1}{4}right)^2}{2 sqrt{pi }}-sum_{n=0}^infty binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}}$$ which gives the asymptotics and simple ways to approximate the value of the definite integral. For example, using $color{red}{10}$ terms only in the summation gives for fiteen significant figures
$$left(
begin{array}{ccc}
x & text{approximation} & text{exact} \
1.0 & color{blue}{1.85}008944498406 & 1.85407467730137 \
1.5 & color{blue}{2.136962}08793742 & 2.13696267480776 \
2.0 & color{blue}{2.32606419}317845 & 2.32606419421172 \
2.5 & color{blue}{2.46224022503}003 & 2.46224022503732 \
3.0 & color{blue}{2.565720296556}84 & 2.56572029655697 \
3.5 & color{blue}{2.64754771012530} & 2.64754771012530
end{array}
right)$$ and all of this being easy to compute since
$$a_n=binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}implies a_{n+1}=-frac{(2 n+1) (4 n+1)}{2 (n+1) (4 n+5) x^2}, a_n$$
$endgroup$
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
add a comment |
$begingroup$
Several CAS I used for $$I=int{frac{dx}{sqrt{x(1+x^2)}}}$$ express it as an awful elliptic integral but
it can be "simplified" as $$I=2 sqrt{x} ,, _2F_1left(frac{1}{4},frac{1}{2};frac{5}{4};-x^2right)+C$$ where appears the Gaussian or ordinary hypergeometric function.
If you want an acceptable approximation of it for the integral for $0 leq x leq 2$ , you could use the following Padé approximant built at $x=0$
$$2 sqrt x,, frac{1+frac{96645617 }{53568140}x^2+frac{31538874293
}{31069521200}x^4+frac{3758605721543 }{20195188780000}x^6+frac{791037744588979
}{123594555333600000}x^8} {1+frac{102002431 }{53568140}x^2+frac{108481355723
}{93208563600}x^4+frac{384016013641 }{1553476060000}x^6+frac{30608751719
}{2485561696000}x^8}$$ which is in error of $6.86times 10^{-6}text{ %}$ at $x=1$ but $1.13times 10^{-2}text{ %}$ at $x=2$.
For infinitely large values of the upper bound, we can expand the interand and integrate termwise to get
$$color{blue}{frac{Gamma left(frac{1}{4}right)^2}{2 sqrt{pi }}-sum_{n=0}^infty binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}}$$ which gives the asymptotics and simple ways to approximate the value of the definite integral. For example, using $color{red}{10}$ terms only in the summation gives for fiteen significant figures
$$left(
begin{array}{ccc}
x & text{approximation} & text{exact} \
1.0 & color{blue}{1.85}008944498406 & 1.85407467730137 \
1.5 & color{blue}{2.136962}08793742 & 2.13696267480776 \
2.0 & color{blue}{2.32606419}317845 & 2.32606419421172 \
2.5 & color{blue}{2.46224022503}003 & 2.46224022503732 \
3.0 & color{blue}{2.565720296556}84 & 2.56572029655697 \
3.5 & color{blue}{2.64754771012530} & 2.64754771012530
end{array}
right)$$ and all of this being easy to compute since
$$a_n=binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}implies a_{n+1}=-frac{(2 n+1) (4 n+1)}{2 (n+1) (4 n+5) x^2}, a_n$$
$endgroup$
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
add a comment |
$begingroup$
Several CAS I used for $$I=int{frac{dx}{sqrt{x(1+x^2)}}}$$ express it as an awful elliptic integral but
it can be "simplified" as $$I=2 sqrt{x} ,, _2F_1left(frac{1}{4},frac{1}{2};frac{5}{4};-x^2right)+C$$ where appears the Gaussian or ordinary hypergeometric function.
If you want an acceptable approximation of it for the integral for $0 leq x leq 2$ , you could use the following Padé approximant built at $x=0$
$$2 sqrt x,, frac{1+frac{96645617 }{53568140}x^2+frac{31538874293
}{31069521200}x^4+frac{3758605721543 }{20195188780000}x^6+frac{791037744588979
}{123594555333600000}x^8} {1+frac{102002431 }{53568140}x^2+frac{108481355723
}{93208563600}x^4+frac{384016013641 }{1553476060000}x^6+frac{30608751719
}{2485561696000}x^8}$$ which is in error of $6.86times 10^{-6}text{ %}$ at $x=1$ but $1.13times 10^{-2}text{ %}$ at $x=2$.
For infinitely large values of the upper bound, we can expand the interand and integrate termwise to get
$$color{blue}{frac{Gamma left(frac{1}{4}right)^2}{2 sqrt{pi }}-sum_{n=0}^infty binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}}$$ which gives the asymptotics and simple ways to approximate the value of the definite integral. For example, using $color{red}{10}$ terms only in the summation gives for fiteen significant figures
$$left(
begin{array}{ccc}
x & text{approximation} & text{exact} \
1.0 & color{blue}{1.85}008944498406 & 1.85407467730137 \
1.5 & color{blue}{2.136962}08793742 & 2.13696267480776 \
2.0 & color{blue}{2.32606419}317845 & 2.32606419421172 \
2.5 & color{blue}{2.46224022503}003 & 2.46224022503732 \
3.0 & color{blue}{2.565720296556}84 & 2.56572029655697 \
3.5 & color{blue}{2.64754771012530} & 2.64754771012530
end{array}
right)$$ and all of this being easy to compute since
$$a_n=binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}implies a_{n+1}=-frac{(2 n+1) (4 n+1)}{2 (n+1) (4 n+5) x^2}, a_n$$
$endgroup$
Several CAS I used for $$I=int{frac{dx}{sqrt{x(1+x^2)}}}$$ express it as an awful elliptic integral but
it can be "simplified" as $$I=2 sqrt{x} ,, _2F_1left(frac{1}{4},frac{1}{2};frac{5}{4};-x^2right)+C$$ where appears the Gaussian or ordinary hypergeometric function.
If you want an acceptable approximation of it for the integral for $0 leq x leq 2$ , you could use the following Padé approximant built at $x=0$
$$2 sqrt x,, frac{1+frac{96645617 }{53568140}x^2+frac{31538874293
}{31069521200}x^4+frac{3758605721543 }{20195188780000}x^6+frac{791037744588979
}{123594555333600000}x^8} {1+frac{102002431 }{53568140}x^2+frac{108481355723
}{93208563600}x^4+frac{384016013641 }{1553476060000}x^6+frac{30608751719
}{2485561696000}x^8}$$ which is in error of $6.86times 10^{-6}text{ %}$ at $x=1$ but $1.13times 10^{-2}text{ %}$ at $x=2$.
For infinitely large values of the upper bound, we can expand the interand and integrate termwise to get
$$color{blue}{frac{Gamma left(frac{1}{4}right)^2}{2 sqrt{pi }}-sum_{n=0}^infty binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}}$$ which gives the asymptotics and simple ways to approximate the value of the definite integral. For example, using $color{red}{10}$ terms only in the summation gives for fiteen significant figures
$$left(
begin{array}{ccc}
x & text{approximation} & text{exact} \
1.0 & color{blue}{1.85}008944498406 & 1.85407467730137 \
1.5 & color{blue}{2.136962}08793742 & 2.13696267480776 \
2.0 & color{blue}{2.32606419}317845 & 2.32606419421172 \
2.5 & color{blue}{2.46224022503}003 & 2.46224022503732 \
3.0 & color{blue}{2.565720296556}84 & 2.56572029655697 \
3.5 & color{blue}{2.64754771012530} & 2.64754771012530
end{array}
right)$$ and all of this being easy to compute since
$$a_n=binom{-frac{1}{2}}{n}frac{ x^{-2 n-frac{1}{2}}}{2 n+frac{1}{2}}implies a_{n+1}=-frac{(2 n+1) (4 n+1)}{2 (n+1) (4 n+5) x^2}, a_n$$
edited Jan 26 at 7:07
answered Jan 25 at 11:25
Claude LeiboviciClaude Leibovici
123k1157135
123k1157135
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
add a comment |
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
You can express it in terms of the Beta and Incomplete Beta Function too: math.stackexchange.com/questions/3057298/…
$endgroup$
– DavidG
Jan 26 at 2:30
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
@DavidG. You are right ! I knew your answer in the linked post and ... I did not remember (problem of age for sure); Why don't you write an answer her for this specific case. If you don't want to do it, let me know and I should edit my answer quoting your work. Cheers.
$endgroup$
– Claude Leibovici
Jan 26 at 2:43
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
$begingroup$
Hi @Claude Leibovici! I hear ya - age does that to a person haha. I will post up my solution.
$endgroup$
– DavidG
Jan 26 at 7:02
add a comment |
$begingroup$
We can also express the solution in terms of the Beta Function and the Incomplete Beta Function as I cover here:
begin{align}
I&= int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt\
&=frac{1}{2} left[ Bleft(frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) - Bleft(frac{1}{1 + x^2};frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) right] \
&=frac{1}{2} left[ Bleft( frac{1}{4} , frac{1}{4} right) - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{align}
Using the relationship between the Beta function and the Gamma Function we find that:
begin{equation}
Bleft( frac{1}{4} , frac{1}{4} right) = frac{Gammaleft(frac{1}{4}right)Gammaleft(frac{1}{4}right)}{Gammaleft(frac{1}{4} + frac{1}{4}right)} = frac{Gammaleft(frac{1}{4}right)^2}{Gammaleft(frac{1}{2}right)} = frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}}
end{equation}
Thus our integral $I$ becomes:
begin{equation}
I = int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt = frac{1}{2} left[ frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}} - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{equation}
$endgroup$
add a comment |
$begingroup$
We can also express the solution in terms of the Beta Function and the Incomplete Beta Function as I cover here:
begin{align}
I&= int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt\
&=frac{1}{2} left[ Bleft(frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) - Bleft(frac{1}{1 + x^2};frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) right] \
&=frac{1}{2} left[ Bleft( frac{1}{4} , frac{1}{4} right) - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{align}
Using the relationship between the Beta function and the Gamma Function we find that:
begin{equation}
Bleft( frac{1}{4} , frac{1}{4} right) = frac{Gammaleft(frac{1}{4}right)Gammaleft(frac{1}{4}right)}{Gammaleft(frac{1}{4} + frac{1}{4}right)} = frac{Gammaleft(frac{1}{4}right)^2}{Gammaleft(frac{1}{2}right)} = frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}}
end{equation}
Thus our integral $I$ becomes:
begin{equation}
I = int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt = frac{1}{2} left[ frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}} - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{equation}
$endgroup$
add a comment |
$begingroup$
We can also express the solution in terms of the Beta Function and the Incomplete Beta Function as I cover here:
begin{align}
I&= int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt\
&=frac{1}{2} left[ Bleft(frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) - Bleft(frac{1}{1 + x^2};frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) right] \
&=frac{1}{2} left[ Bleft( frac{1}{4} , frac{1}{4} right) - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{align}
Using the relationship between the Beta function and the Gamma Function we find that:
begin{equation}
Bleft( frac{1}{4} , frac{1}{4} right) = frac{Gammaleft(frac{1}{4}right)Gammaleft(frac{1}{4}right)}{Gammaleft(frac{1}{4} + frac{1}{4}right)} = frac{Gammaleft(frac{1}{4}right)^2}{Gammaleft(frac{1}{2}right)} = frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}}
end{equation}
Thus our integral $I$ becomes:
begin{equation}
I = int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt = frac{1}{2} left[ frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}} - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{equation}
$endgroup$
We can also express the solution in terms of the Beta Function and the Incomplete Beta Function as I cover here:
begin{align}
I&= int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt\
&=frac{1}{2} left[ Bleft(frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) - Bleft(frac{1}{1 + x^2};frac{1}{2} - frac{-frac{1}{2} + 1}{2} , frac{-frac{1}{2} + 1}{2} right) right] \
&=frac{1}{2} left[ Bleft( frac{1}{4} , frac{1}{4} right) - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{align}
Using the relationship between the Beta function and the Gamma Function we find that:
begin{equation}
Bleft( frac{1}{4} , frac{1}{4} right) = frac{Gammaleft(frac{1}{4}right)Gammaleft(frac{1}{4}right)}{Gammaleft(frac{1}{4} + frac{1}{4}right)} = frac{Gammaleft(frac{1}{4}right)^2}{Gammaleft(frac{1}{2}right)} = frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}}
end{equation}
Thus our integral $I$ becomes:
begin{equation}
I = int frac{1}{sqrt{xleft(1 + x^2right)}}:dx = int_0^x frac{t^{-frac{1}{2}}}{left(t^2 + 1 right)^{frac{1}{2}}} :dt = frac{1}{2} left[ frac{Gammaleft(frac{1}{4}right)^2}{sqrt{pi}} - Bleft(frac{1}{1 + x^2};frac{1}{4} , frac{1}{4} right) right]
end{equation}
edited Jan 26 at 9:55
answered Jan 26 at 7:20
DavidGDavidG
2,4961726
2,4961726
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085740%2fintegral-of-int-frac1-sqrtx1x2dx%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
I don't think that it has an elementary primitive.
$endgroup$
– José Carlos Santos
Jan 24 at 11:03
$begingroup$
@JoséCarlosSantos No, it has one.
$endgroup$
– rv7
Jan 24 at 11:15
1
$begingroup$
@rv7 How do you know that it has an elementary primitive since you don't know how to start? Also did you write it correctly?
$endgroup$
– Zacky
Jan 24 at 11:17
$begingroup$
You can evaluate the integral from $0$ to $infty$ and get a nice closed form. I am not sure if it has an elementary primitive.
$endgroup$
– Larry
Jan 24 at 11:20
1
$begingroup$
The substitution $x=tan t$ reduces the problem to $int 2^{-1/2}csc^{1/2} 2t dt$, which is unlikely to be elementary.
$endgroup$
– J.G.
Jan 24 at 12:08