Estoy tratando de probar esta propiedad de la distribución de pareto: Sea f(x) una distribución de pareto
$$ f(x)=\alpha \frac{x_m^\alpha}{x^{\alpha+1}} $$
por lo que tenemos la fdc que es
$$ CDF(x)=\int_{x_m}^{x}\alpha \frac{t_m^\alpha}{t^{\alpha+1}}dt=1-\frac{x_m^\alpha}{x^\alpha} $$
entonces la probabilidad de que $x>x_0$ es
$$ P(x>x_0)=1-CDF(x)=\frac{x_m^\alpha}{x^\alpha} $$
y así tenemos
$$ \frac{P(x>x_0)}{f(x)}=\frac{x}{\alpha} $$
Ahora estoy tratando de probarlo con R.
library(PtProcess)
dd<-rpareto(10000,1.5,0.01)
cdf<-ecdf(dd)
df<-density(dd)
ff<-(1-cdf(df$x))/df$y
Si se traza ff
plot(df$x,ff)
No obtengo la línea recta correcta. Supongo que esto se debe a la forma en que funciona density() y ecdf(). Necesito esta forma de la prueba (una evaluación a posteriori de fd y cdf) para realizar la misma prueba sobre una muestra de datos de origen desconocido. Supongo que necesito una forma de binar la función ecdf() de la misma manera que hist() es la versión de binar de la densidad.
Así que mi pregunta es:
- ¿Existe una función binada equivalente a ecdf() como hist() es la función binada de density()?
- ¿o puedo simular ecdf() con hist()?