Leibniz rule for double integral

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite












I'm attempting to differentiate the following double integral with respect to $u$:



$$I(u) = int_a^uint_b^v [(y-u) + (v - x)] f(x,y),dx ,dy$$



where $f(x,y)$ is the joint density function of RV $X$ and $Y$.



I'm trying to find $I'(u)$, that is, the derivative of $I$ with respect to $u$. I know this involves Leibniz integral rule, however I'm getting stuck on the double integral part.



If I let $g(x,y,u) = int_b^v [(y-u) + (v - x)] f(x,y),dx$ then I think the problem to solve is:



$$fracddubigg(int_a^ug(u,x,y),dybigg) = g(u,x,u) + int_a^ufracpartialpartial ug(u,x,y),dy$$



However I'm getting stuck evaluating the two expressions on the RHS.



Any help?







share|cite|improve this question

















  • 1




    this is related math.stackexchange.com/questions/304937/…
    – Vincent Law
    Jul 31 at 17:25














up vote
3
down vote

favorite












I'm attempting to differentiate the following double integral with respect to $u$:



$$I(u) = int_a^uint_b^v [(y-u) + (v - x)] f(x,y),dx ,dy$$



where $f(x,y)$ is the joint density function of RV $X$ and $Y$.



I'm trying to find $I'(u)$, that is, the derivative of $I$ with respect to $u$. I know this involves Leibniz integral rule, however I'm getting stuck on the double integral part.



If I let $g(x,y,u) = int_b^v [(y-u) + (v - x)] f(x,y),dx$ then I think the problem to solve is:



$$fracddubigg(int_a^ug(u,x,y),dybigg) = g(u,x,u) + int_a^ufracpartialpartial ug(u,x,y),dy$$



However I'm getting stuck evaluating the two expressions on the RHS.



Any help?







share|cite|improve this question

















  • 1




    this is related math.stackexchange.com/questions/304937/…
    – Vincent Law
    Jul 31 at 17:25












up vote
3
down vote

favorite









up vote
3
down vote

favorite











I'm attempting to differentiate the following double integral with respect to $u$:



$$I(u) = int_a^uint_b^v [(y-u) + (v - x)] f(x,y),dx ,dy$$



where $f(x,y)$ is the joint density function of RV $X$ and $Y$.



I'm trying to find $I'(u)$, that is, the derivative of $I$ with respect to $u$. I know this involves Leibniz integral rule, however I'm getting stuck on the double integral part.



If I let $g(x,y,u) = int_b^v [(y-u) + (v - x)] f(x,y),dx$ then I think the problem to solve is:



$$fracddubigg(int_a^ug(u,x,y),dybigg) = g(u,x,u) + int_a^ufracpartialpartial ug(u,x,y),dy$$



However I'm getting stuck evaluating the two expressions on the RHS.



Any help?







share|cite|improve this question













I'm attempting to differentiate the following double integral with respect to $u$:



$$I(u) = int_a^uint_b^v [(y-u) + (v - x)] f(x,y),dx ,dy$$



where $f(x,y)$ is the joint density function of RV $X$ and $Y$.



I'm trying to find $I'(u)$, that is, the derivative of $I$ with respect to $u$. I know this involves Leibniz integral rule, however I'm getting stuck on the double integral part.



If I let $g(x,y,u) = int_b^v [(y-u) + (v - x)] f(x,y),dx$ then I think the problem to solve is:



$$fracddubigg(int_a^ug(u,x,y),dybigg) = g(u,x,u) + int_a^ufracpartialpartial ug(u,x,y),dy$$



However I'm getting stuck evaluating the two expressions on the RHS.



Any help?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 31 at 18:16









Michael Hardy

204k23185460




204k23185460









asked Jul 31 at 17:14









measure_theory

676212




676212







  • 1




    this is related math.stackexchange.com/questions/304937/…
    – Vincent Law
    Jul 31 at 17:25












  • 1




    this is related math.stackexchange.com/questions/304937/…
    – Vincent Law
    Jul 31 at 17:25







1




1




this is related math.stackexchange.com/questions/304937/…
– Vincent Law
Jul 31 at 17:25




this is related math.stackexchange.com/questions/304937/…
– Vincent Law
Jul 31 at 17:25










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










Your approach is correct, so I'm going to let $g(u,v,y) = int_b^v [(y-u)+(v-x)]f(x,y)dx$ (note that this is not actually a function of $x$ since it gets integrated over, I think you may have had a typo). Then by the Liebnitz rule we have:
$$
fracddu int_a^u g(u,v,y)dy = g(u,v,u) + int_a^u fracddu g(u,v,y) dy
$$
The first part simplifies nicely:
$$
g(u,v,u) = int_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v (v-x)f(x,y) dx
$$
and the partial derivative of $g$:
$$
fracddu g(u,v,y) = fracdduint_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v fracddu[(y-u) + (v-x)]f(x,y)dx = -int_b^v f(x,y) dx
$$






share|cite|improve this answer























  • I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
    – measure_theory
    Jul 31 at 17:32











  • OK I shall edit accordingly.
    – Dark Malthorp
    Jul 31 at 17:34










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: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2868266%2fleibniz-rule-for-double-integral%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










Your approach is correct, so I'm going to let $g(u,v,y) = int_b^v [(y-u)+(v-x)]f(x,y)dx$ (note that this is not actually a function of $x$ since it gets integrated over, I think you may have had a typo). Then by the Liebnitz rule we have:
$$
fracddu int_a^u g(u,v,y)dy = g(u,v,u) + int_a^u fracddu g(u,v,y) dy
$$
The first part simplifies nicely:
$$
g(u,v,u) = int_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v (v-x)f(x,y) dx
$$
and the partial derivative of $g$:
$$
fracddu g(u,v,y) = fracdduint_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v fracddu[(y-u) + (v-x)]f(x,y)dx = -int_b^v f(x,y) dx
$$






share|cite|improve this answer























  • I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
    – measure_theory
    Jul 31 at 17:32











  • OK I shall edit accordingly.
    – Dark Malthorp
    Jul 31 at 17:34














up vote
2
down vote



accepted










Your approach is correct, so I'm going to let $g(u,v,y) = int_b^v [(y-u)+(v-x)]f(x,y)dx$ (note that this is not actually a function of $x$ since it gets integrated over, I think you may have had a typo). Then by the Liebnitz rule we have:
$$
fracddu int_a^u g(u,v,y)dy = g(u,v,u) + int_a^u fracddu g(u,v,y) dy
$$
The first part simplifies nicely:
$$
g(u,v,u) = int_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v (v-x)f(x,y) dx
$$
and the partial derivative of $g$:
$$
fracddu g(u,v,y) = fracdduint_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v fracddu[(y-u) + (v-x)]f(x,y)dx = -int_b^v f(x,y) dx
$$






share|cite|improve this answer























  • I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
    – measure_theory
    Jul 31 at 17:32











  • OK I shall edit accordingly.
    – Dark Malthorp
    Jul 31 at 17:34












up vote
2
down vote



accepted







up vote
2
down vote



accepted






Your approach is correct, so I'm going to let $g(u,v,y) = int_b^v [(y-u)+(v-x)]f(x,y)dx$ (note that this is not actually a function of $x$ since it gets integrated over, I think you may have had a typo). Then by the Liebnitz rule we have:
$$
fracddu int_a^u g(u,v,y)dy = g(u,v,u) + int_a^u fracddu g(u,v,y) dy
$$
The first part simplifies nicely:
$$
g(u,v,u) = int_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v (v-x)f(x,y) dx
$$
and the partial derivative of $g$:
$$
fracddu g(u,v,y) = fracdduint_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v fracddu[(y-u) + (v-x)]f(x,y)dx = -int_b^v f(x,y) dx
$$






share|cite|improve this answer















Your approach is correct, so I'm going to let $g(u,v,y) = int_b^v [(y-u)+(v-x)]f(x,y)dx$ (note that this is not actually a function of $x$ since it gets integrated over, I think you may have had a typo). Then by the Liebnitz rule we have:
$$
fracddu int_a^u g(u,v,y)dy = g(u,v,u) + int_a^u fracddu g(u,v,y) dy
$$
The first part simplifies nicely:
$$
g(u,v,u) = int_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v (v-x)f(x,y) dx
$$
and the partial derivative of $g$:
$$
fracddu g(u,v,y) = fracdduint_b^v [(y-u) + (v-x)]f(x,y)dx = int_b^v fracddu[(y-u) + (v-x)]f(x,y)dx = -int_b^v f(x,y) dx
$$







share|cite|improve this answer















share|cite|improve this answer



share|cite|improve this answer








edited Jul 31 at 18:57


























answered Jul 31 at 17:28









Dark Malthorp

667212




667212











  • I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
    – measure_theory
    Jul 31 at 17:32











  • OK I shall edit accordingly.
    – Dark Malthorp
    Jul 31 at 17:34
















  • I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
    – measure_theory
    Jul 31 at 17:32











  • OK I shall edit accordingly.
    – Dark Malthorp
    Jul 31 at 17:34















I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
– measure_theory
Jul 31 at 17:32





I made a typo in the OP. The $f(x,y)$ should be distributed through to $(y-u)$. I think this just changes the last line of your answer a bit.
– measure_theory
Jul 31 at 17:32













OK I shall edit accordingly.
– Dark Malthorp
Jul 31 at 17:34




OK I shall edit accordingly.
– Dark Malthorp
Jul 31 at 17:34












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2868266%2fleibniz-rule-for-double-integral%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?