1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Double int needs a good T-form, got one?

  1. Jul 24, 2006 #1


    User Avatar
    Homework Helper

    I found this problem on www.problemcorner.org:

    Prove that

    [tex]\int_{0}^{1}\int_{0}^{1} f(xy)(1-x)^{m-1}y^{m}(1-y)^{n-1} \, dx \, dy = \frac{\Gamma (m)\Gamma (n)}{\Gamma (m+n)}\int_{0}^{1} f(z)(1-z)^{m+n-1} \, dz[/tex]​

    where f(xy) is an arbitrary function of xy.

    My work: The beta integral gives [tex] B(m,n) =\frac{\Gamma (m)\Gamma (n)}{\Gamma (m+n)}=\int_{0}^{1}t^{m-1}(1-t)^{n-1} \, dt[/tex]

    hence the the righthand-side of the given problem becomes:

    [tex]\frac{\Gamma (m)\Gamma (n)}{\Gamma (m+n)}\int_{0}^{1} f(z) (1-z)^{m+n-1} \, dz= \int_{0}^{1}\int_{0}^{1} f(z) (1-z)^{m+n-1}t^{m-1}(1-t)^{n-1} \, dz \, dt [/tex]​

    also, as for the lefthand-side of the given problem I have considered applying the change of variables [tex]w=xy\Rightarrow dw = y dx[/tex] so that [tex] 0\leq x\leq 1\Rightarrow 0\leq w\leq y[/tex] and the integral becomes

    [tex]\int_{0}^{1}\int_{0}^{1} f(xy)(1-x)^{m-1}y^{m}(1-y)^{n-1} \, dx \, dy = \int_{0}^{1}\int_{0}^{y} f(w)\left( 1-\frac{w}{y} \right) ^{m-1}y^{m}(1-y)^{n-1} \, \frac{dw}{y} \, dy [/tex]
    [tex]= \int_{0}^{1}\int_{0}^{y} f(w)\left( y-w \right) ^{m-1}(1-y)^{n-1} \, dw \, dy[/tex]​

    but now what? the alternative change of variables [tex]w=xy\Rightarrow dw = x dy[/tex] so that [tex] 0\leq y\leq 1\Rightarrow 0\leq w\leq x[/tex] yields instead this

    [tex]\int_{0}^{1}\int_{0}^{1} f(xy)(1-x)^{m-1}y^{m}(1-y)^{n-1} \, dx \, dy = \int_{0}^{1}\int_{0}^{x} f(w)(1-x)^{m-1} \left( \frac{w}{x} \right) ^{m}\left( 1-\frac{w}{x} \right) ^{n-1} \, \frac{dw}{x} \, dx [/tex]​

    which also seems to be somewhat lacking. Should I try expanding by the binomial theorem (I do not assume that m and n are integers, but rather that their real parts are > 0) ?

    Any thoughts? A transformation of variables of the form T:{u=u(x,y), v=v(u,v)} perhaps ?
    Last edited: Jul 24, 2006
  2. jcsd
  3. Jul 25, 2006 #2


    User Avatar
    Homework Helper
    Gold Member

    I give up on this.

    You should try the calculus forums, you might have a better chance of getting help there.
  4. Jul 25, 2006 #3


    User Avatar
    Science Advisor
    Homework Helper

    Almost there. Change the order of integration to 'protect' the f(w) (the idea being a change of variables on y won't muck up our f(w)):

    [tex]= \int_{0}^{1} f(w)\left(\int_{w}^{1}\left( y-w \right) ^{m-1}(1-y)^{n-1} \, dy\right) \, dw[/tex]

    and work on the inner integral. We'd like to get the interval of integration of the inner integral to go from 0 to 1 rather than w to 1, so try a change of variables on y with this in mind. Or you might want to think of trying to match up the terms with "n" in the exponents between this integral and the right hand side (after you substituted the beta integral that is, the one with the "t" and "z" in it).
  5. Jul 27, 2006 #4


    User Avatar
    Homework Helper

    Thanks shmoe!!!

    Almost indeed! Recall (or look it up in the CRC table integrals as I did) that

    [tex]\int_{a}^{b} (y-a)^{m-1}(b-y)^{n-1} \, dy = (b-a)^{m+n-1} B(m,n) = (b-a)^{m+n-1}\frac{\Gamma (m)\Gamma (n)}{\Gamma (m+n)}[/tex]

    for [tex]b>a, \Re (m)>0, \Re (n)>0[/tex]


    [tex] \int_{0}^{1} f(w)\left(\int_{w}^{1}\left( y-w \right) ^{m-1}(1-y)^{n-1} \, dy\right) \, dw = \frac{\Gamma (m)\Gamma (n)}{\Gamma (m+n)}\int_{0}^{1} f(w)(1-w)^{m+n-1} \, dw [/tex]

    as required.

    Thanks shmoe!!! you kick-ass.
  6. Jul 27, 2006 #5


    User Avatar
    Science Advisor
    Homework Helper

    Happy to help, it's a cute looking problem.

    No cheating required!! :tongue:

    Try the change of variables t=1-(1-y)/(1-w) on the inner "y" integral.

    A similar change of variables would likely prove what you found in CRC, something linear to take the interval [a,b] to [0,1]. (I haven't tried the details on this one but I'd wager it will work)
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Double int needs a good T-form, got one?
  1. I got one problem (Replies: 3)

  2. Double int reversing (Replies: 3)