Derivative of cumulative function

AI Thread Summary
To find the derivative of the function F(x) = P[Y ≤ g(x)], the first step is to express it in terms of the cumulative distribution function H(y) and the density function h(y). The derivative can be calculated using the chain rule, resulting in F'(x) = h(g(x)) * g'(x). The sign of F'(x) depends on the sign of g'(x), as h(g(x)) is always positive. This approach confirms the correct application of differentiation in the context of probability functions.
toltol
Messages
3
Reaction score
0
Hi everybody,

Can someone tell me the formula to I should use to find the derivative of the following function, with respect to x:

F(x)=Probability[Y<=g(x)]

dF(x)/dx = ??

Thank you for your help.

Toltol
 
Last edited:
Physics news on Phys.org
Well, first step, let h(y) be the density function for Y, and let H(y) be the cumulative distribution function for Y. Now we have
F(x)=P(Y<=g(x))
=\int_{-\infty}^{g(x)} h(y) dy
=H(g(x))
Now, can you differentiate that?
 
Thank you mXSCNT.

If F(x)=P[Y<=g(x)]=H[g(x)]

Thus, the derivative is:

F'(x)=dH[g(x)]/dg(x) . dg(x)/x

The term dH[g(x)]/dg(x) is >0; Thus, the sign of F'(x) is the sign of dg(x)/x.

Am I ok?

Thank you,
Toltol
 
H'(g(x)) g'(x) = h(g(x)) g'(x)
 
Thank you mXSCNT.

It's OK.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top