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}} $$
entonces tenemos la función de distribución acumulada 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 grafico ff
plot(df$x,ff)
No obtengo la recta correcta. Supongo que esto se debe a la forma en que funciona density() y ecdf(). Necesito esta forma de prueba (una evaluación a posteriori de fd y cdf) para realizar la misma prueba en una muestra de datos de origen desconocido. Supongo que necesito una forma de binning de la función ecdf() de la misma manera que hist() es la versión binning de density.
Entonces mi pregunta es:
- ¿Existe una función binneada equivalente de ecdf() como hist() es la función binneada de density()?
- ¿o puedo simular ecdf() con hist()?