Hi, ich frage mich, wie man auf diese Integraldarstellung des Erwartungswertes kommt. Ich meine dabei nur das Markierte (aber habe für den Zusammehang mal den ganzen Beweis eingefügt). Ich verstehe vor allem nicht, wie man auf die Integralgrenzen kommt und ob die Gleichverteilung hier eine Rolle spielt.

Text erkannt:
Beweis. Mit (7.13) gilt fu¨r u∈[0,1] und k∈N0P(Tx−⌊Tx⌋≤u∥Tx⌋=k)=P(k≤Tx<k+1)P(k≤Tx≤k+u)=P(Tx+k≤1)P(Tx+k≤u)=qx+kuqx+k=qx+kuqx+k=u
Dies hängt nicht von k ab und somit ist Tx−⌊Tx⌋ unabhängig von ⌊Tx⌋ und gleichverteilt auf [0,1]. Wegen v=1+i1 und r=log(1+i) folgt dann mit (8.2), der Unabhängigkeit und (8.1)
Aˉx=E[vTx]=E[vTx−⌊Tx⌋−1v[Tx⌋+1]=E[vTx−⌊Tx]−1]E[v⌊Tx⌋+1]=0∫1vt−1dtAx=0∫1vetlog(v)dtAx=[vlog(v)etlog(v)]t=01Ax=vlog(v)v−1Ax=−r1(1−v1)Ax=riAx
Es wäre super nett, wenn mir jemand helfen könnte.
VG