Finding Bounds for x and y: Tips and Hints

[island-boy]

given
\frac{x + \sqrt{x^{2} - 4y}}{2} \geq 0
\frac{x - \sqrt{x^{2} - 4y}}{2} \geq 0

how do I find the bound of values of x and y?

my first answer were x\geq 0 and y\geq 0, but I discovered flaws in my solution.

any hints?

thanks.

 

[StatusX]

You have x-a>0 and x+a>0, where a>0. Do you want both of these satisfied at the same time? Because then the second one is superfluous. Either way, if you have x-a>0, then x>a, so x^2>a^2 But when you square, you introduce extraneous negative roots, so what you really want to say is (assuming a is positive) x>a iff x^2>a^2 AND x>0. Can you go from here?

 

[island-boy]

quick question...
why is the second one superfluous?

I'm writing this out here...
since a = \sqrt{x^{2} - 4y}
then
a^{2} = x^{2} - 4y

so assuming a is positive,
I have
x \geq \sqrt{x^{2} - 4y}
iff
x^{2} \geq x^{2} - 4y, which is the same as y \geq 0
and
x \geq 0

 

[StatusX]

It's superfluous in the sense that if (x,y) satisfy the second of your inequalities, they must also satisfy the first. You also need x^2-4y>0 so the square root is defined.

 

[island-boy]

my problem lies with the integration...this question came from this bigger problem of mine

I have already f(x,y) where
f(x,y) = \lambda^{2} e^{-\lambda x} \frac{1}{\sqrt{x^{2} - 4y}

with
\frac{x + \sqrt{x^{2} - 4y}}{2} \geq 0
and
\frac{x - \sqrt{x^{2} - 4y}}{2} \geq 0

I need to get f(x)
so I have to get
\int f(x,y) dy


thanks again for the help.

 

[island-boy]

can anyone confirm that the bounds for y is
\frac{x^{2}}{4} \geq y \geq 0?

thanks

 

[StatusX]

Yes, that looks right.

 

[island-boy]

thanks for the help, StatusX

and
x \geq 0, right?

I have sent you a PM, btw.

 

[island-boy]

Here's the complete question and my step by step solution:
For some reason, there seems to be something wrong with my solution,

I hope you guys can check what I did wrong

--------------

The question asks me to find E(Y|X)

I'm given the following:
u and v are independent exponential distributions
thus
f(u) = \lambda e^{-\lambda u}, u \geq 0
and
f(v) = \lambda e^{-\lambda v}, v \geq 0

I am also given the following facts:
x = u+v
and
y = uv

 

[island-boy]

my solution is as follows:

since u and v are independent,
I have f(u,v) = f(u)f(v)
thus
f(u,v) = \lambda^{2} e^{-\lambda(u+v)}
for
u \geq 0<br /> v \geq 0

I need f(x,y)
this is solved through transformation of variables

thus
f(x,y) = \lambda^{2} e^{-\lambda(x)} |J|

where J is the Jacobian
|J| = |\frac{\partial u}{\partial x} \frac{\partial v}{\partial y} - \frac{\partial u}{\partial y}\frac{\partial v}{\partial x}|

since x = u+v and y =uv

I was able to solve for u and v in terms of x and y

where
u = \frac{x + \sqrt{x^{2} - 4y}}{2}
v = \frac{x - \sqrt{x^{2} - 4y}}{2}
or vice versa

 

[island-boy]

solving I was able to get
\frac{\partial u}{\partial x} = \frac{1}{2} + \frac{x}{2}(x^{2} - 4y)^{-\frac{1}{2}}
\frac{\partial u}{\partial y} = -(x^{2} - 4y)^{-\frac{1}{2}}
\frac{\partial v}{\partial x} = \frac{1}{2} - \frac{x}{2}(x^{2} - 4y)^{-\frac{1}{2}}
\frac{\partial v}{\partial y} = (x^{2} - 4y)^{-\frac{1}{2}}

thus
|J| = (x^{2} - 4y)^{-\frac{1}{2}}

and
f(x,y) = \lambda^{2} e^{-\lambda x} (x^{2} - 4y)^{-\frac{1}{2}}

with bounds
x \geq 0
\frac{x^{2}}{4} \geq y \geq 0
(as solved from above)

 

[island-boy]

my BIG BIG problem is when I checked whether f(x,y) is a distribution
I got:

\int_{0}^{\infty}\int_{0}^{\frac{x^{2}}{4}}\lambda^{2} e^{-\lambda x} (x^{2} - 4y)^{-\frac{1}{2}} dy dx = \frac{1}{2} \neq 1

Is there anything I did wrong?

I checked and triple-checked my solution already, and I can't find anything wrong with it!

help please!

 

[island-boy]

my solution for the integral:

\int_{0}^{\infty}\int_{0}^{\frac{x^{2}}{4}}\lambda ^{2} e^{-\lambda x} (x^{2} - 4y)^{-\frac{1}{2}} dy dx


= \int_{0}^{\infty}\lambda^{2} e^{-\lambda x} \int_{0}^{\frac{x^{2}}{4}}(x^{2} - 4y)^{-\frac{1}{2}} dy dx
= \int_{0}^{\infty}\lambda^{2} e^{-\lambda x} [-\frac{1}{2}(x^{2} - 4y)^{\frac{1}{2}} ]_{0}^{\frac{x^{2}}{4}}dx
= \int_{0}^{\infty}\lambda^{2} e^{-\lambda x} [-\frac{1}{2}(-x)dx
= \int_{0}^{\infty}\frac{\lambda^{2}x e^{-\lambda x}}{2}dx

using integration by parts
= \frac{\lambda^{2}}{2}([\frac{-x e^{-\lambda x}}{\lambda}]_{0}^{\infty} - \int_{0}^{\infty}\frac{e^{-\lambda x}{\lambda} dx)
=\frac{\lambda^{2}}{2} (0 - \int_{0}^{\infty}\frac{e^{-\lambda x}{\lambda} dx)
= \frac{\lambda^{2}}{2}(-\frac{1}{\lambda^{2}}[e^{-\lambda x}]_{0}^{\infty})
= -\frac{1}{2}(0-1)
= \frac{1}{2}

 

[StatusX]

So what you want to do is evaluate the integral:

\int_0^\infty \int_0^\infty \lambda^2 e^{-\lambda(u+v)} du dv

by looking at the integrand in (x,y) space instead of (u,v) space, where x=u+v and y=uv. Is that correct?

If so, you're correct in the way you've approached the problem. You want to find the jacobian to transform du dv to dx dy, and then find the region in (x,y) space corresponding to the 1st quadrant in (u,v) space.

I think the problem is that x and y, as defined, do not uniquely determine a point (u,v). Because the defining equation are symmetric with respect to u and v, if (u,v) corresponds to the point (x,y), so does (v,u). In other words, x and y are bad coordinates.

That being said, this isn't a huge problem. As long as you restrict to one side of the line u=v (eg, the set of points (u,v) with 0 \leq u \leq v), x and y are still good coordinates. Luckily, the integral will be the same on each side of the line, so you can just compute the integral over one side and then double it.

The key point is to be careful with square roots. For example, x^2-4y = (u-v)^2 is true, but \sqrt{x^2-4y}= u-v is not true unless u>v, and if v>u this becomes \sqrt{x^2-4y}= v-u. Once you pick a side, you can pick the sign of the square root. In fact, by implicitly taking the positive root, you already integrated over the region u>v>0, and so your result of 1/2 makes perfect sense: you only integrated over half the first quadrant.

 

[island-boy]

statusX,
thank you very much for the assitance.

I finally was able to get the correct form:

it should be:
f(x,y) = 2 \lambda^{2} e^{-\lambda x} (x^{2} - 4y)^{-\frac{1}{2}}

correct?