Integral involving the Associated Laguerre polynomials











up vote
1
down vote

favorite












I'm trying to solve this integral



$int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n-1} dx = dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



I started with integration by parts where



$u = $ $L^n_p L^n_{p'} e^{-x}$



$dv = x^{n-1} $



After some simplifications, I got the following:$\$



$ I = frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx + frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



The integral



$frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



is already known, which is equal to



$dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



after multiply it with $frac{1}{n}$ it becomes



$dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



All of that was okay, the issue here is with the rest integrals



$frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx $



I assumed that $p = p'$ so that this integral can be solved, so it becomes:



$frac{-2}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p} e^{-x} x^{n} dx $



This integral must be equal to zero, so that the final result is $dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



But I'm not sure with respect to what should I integrate? It's obvious not with respect to p nor n, there's some other substitution, but I have no idea what should that be.










share|cite|improve this question






















  • $int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
    – Mariusz Iwaniuk
    Nov 17 at 18:02










  • From where did that assumption comes?
    – Lamyaa Hamad
    Nov 17 at 18:33










  • My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
    – Mariusz Iwaniuk
    Nov 17 at 20:10










  • Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
    – Lamyaa Hamad
    Nov 17 at 21:31










  • No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
    – Mariusz Iwaniuk
    Nov 17 at 21:49















up vote
1
down vote

favorite












I'm trying to solve this integral



$int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n-1} dx = dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



I started with integration by parts where



$u = $ $L^n_p L^n_{p'} e^{-x}$



$dv = x^{n-1} $



After some simplifications, I got the following:$\$



$ I = frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx + frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



The integral



$frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



is already known, which is equal to



$dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



after multiply it with $frac{1}{n}$ it becomes



$dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



All of that was okay, the issue here is with the rest integrals



$frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx $



I assumed that $p = p'$ so that this integral can be solved, so it becomes:



$frac{-2}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p} e^{-x} x^{n} dx $



This integral must be equal to zero, so that the final result is $dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



But I'm not sure with respect to what should I integrate? It's obvious not with respect to p nor n, there's some other substitution, but I have no idea what should that be.










share|cite|improve this question






















  • $int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
    – Mariusz Iwaniuk
    Nov 17 at 18:02










  • From where did that assumption comes?
    – Lamyaa Hamad
    Nov 17 at 18:33










  • My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
    – Mariusz Iwaniuk
    Nov 17 at 20:10










  • Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
    – Lamyaa Hamad
    Nov 17 at 21:31










  • No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
    – Mariusz Iwaniuk
    Nov 17 at 21:49













up vote
1
down vote

favorite









up vote
1
down vote

favorite











I'm trying to solve this integral



$int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n-1} dx = dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



I started with integration by parts where



$u = $ $L^n_p L^n_{p'} e^{-x}$



$dv = x^{n-1} $



After some simplifications, I got the following:$\$



$ I = frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx + frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



The integral



$frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



is already known, which is equal to



$dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



after multiply it with $frac{1}{n}$ it becomes



$dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



All of that was okay, the issue here is with the rest integrals



$frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx $



I assumed that $p = p'$ so that this integral can be solved, so it becomes:



$frac{-2}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p} e^{-x} x^{n} dx $



This integral must be equal to zero, so that the final result is $dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



But I'm not sure with respect to what should I integrate? It's obvious not with respect to p nor n, there's some other substitution, but I have no idea what should that be.










share|cite|improve this question













I'm trying to solve this integral



$int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n-1} dx = dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



I started with integration by parts where



$u = $ $L^n_p L^n_{p'} e^{-x}$



$dv = x^{n-1} $



After some simplifications, I got the following:$\$



$ I = frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx + frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



The integral



$frac{1}{n} int_{0}^{infty} L^n_p L^n_{p'} e^{-x} x^{n} dx$



is already known, which is equal to



$dfrac{(p!)^3}{(p-n)!} delta_{pp'}$



after multiply it with $frac{1}{n}$ it becomes



$dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



All of that was okay, the issue here is with the rest integrals



$frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p'} e^{-x} x^{n} dx + frac{-1}{n} int_{0}^{infty} frac{d}{dx} L^n_{p'} L^n_p e^{-x} x^{n} dx $



I assumed that $p = p'$ so that this integral can be solved, so it becomes:



$frac{-2}{n} int_{0}^{infty} frac{d}{dx} L^n_p L^n_{p} e^{-x} x^{n} dx $



This integral must be equal to zero, so that the final result is $dfrac{1}{n} dfrac{(p!)^3}{(p-n)!} delta_{pp'} $



But I'm not sure with respect to what should I integrate? It's obvious not with respect to p nor n, there's some other substitution, but I have no idea what should that be.







definite-integrals special-functions orthogonal-polynomials






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 17 at 15:35









Lamyaa Hamad

61




61












  • $int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
    – Mariusz Iwaniuk
    Nov 17 at 18:02










  • From where did that assumption comes?
    – Lamyaa Hamad
    Nov 17 at 18:33










  • My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
    – Mariusz Iwaniuk
    Nov 17 at 20:10










  • Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
    – Lamyaa Hamad
    Nov 17 at 21:31










  • No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
    – Mariusz Iwaniuk
    Nov 17 at 21:49


















  • $int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
    – Mariusz Iwaniuk
    Nov 17 at 18:02










  • From where did that assumption comes?
    – Lamyaa Hamad
    Nov 17 at 18:33










  • My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
    – Mariusz Iwaniuk
    Nov 17 at 20:10










  • Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
    – Lamyaa Hamad
    Nov 17 at 21:31










  • No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
    – Mariusz Iwaniuk
    Nov 17 at 21:49
















$int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
– Mariusz Iwaniuk
Nov 17 at 18:02




$int_0^{infty } L_p^n(x) L_r^n(x) exp (-x) x^{n-1} , dx=left( begin{array}{cc} { & begin{array}{cc} frac{Gamma (n+p+1)}{n p!} & pleq r \ frac{Gamma (n+r+1)}{n r!} & p>r \ end{array} \ end{array} right)$ for: n > 0, p >= 0, r >= 0 and $nin mathbb{Z}$,$pin mathbb{Z}$,$rin mathbb{Z}$
– Mariusz Iwaniuk
Nov 17 at 18:02












From where did that assumption comes?
– Lamyaa Hamad
Nov 17 at 18:33




From where did that assumption comes?
– Lamyaa Hamad
Nov 17 at 18:33












My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
– Mariusz Iwaniuk
Nov 17 at 20:10




My solution(CAS me helped to solve) is true only with this assumption what to write in the comment above.
– Mariusz Iwaniuk
Nov 17 at 20:10












Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
– Lamyaa Hamad
Nov 17 at 21:31




Well yeah, I know it's true only with this assumption. But what I'm trying to say is what steps were taken to get this conclusion? I didn't understand where did these conditions come from. Kindly, I need more explanation.
– Lamyaa Hamad
Nov 17 at 21:31












No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
– Mariusz Iwaniuk
Nov 17 at 21:49




No steps was taken,I'm only putt random values to my solution and on the basis of this I have drawn conclusions.
– Mariusz Iwaniuk
Nov 17 at 21:49















active

oldest

votes











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',
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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002478%2fintegral-involving-the-associated-laguerre-polynomials%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002478%2fintegral-involving-the-associated-laguerre-polynomials%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

ComboBox Display Member on multiple fields

Is it possible to collect Nectar points via Trainline?