Hola Irina!
La idea es la siguiente, cuando recibimos con un detector envolvente la salida del mismo es la envolvente de la señal a la entrada por lo que usualmente es útil pensarlo en fase y cuadratura y así tomar el modulo del fasor. Luego, el DC tachado es un DC block que lo que hace es sacar la continua, es por eso que la expresión final es la envolvente - la esperanza de la envolvente.
La idea es la siguiente, cuando recibimos con un detector envolvente la salida del mismo es la envolvente de la señal a la entrada por lo que usualmente es útil pensarlo en fase y cuadratura y así tomar el modulo del fasor. Luego, el DC tachado es un DC block que lo que hace es sacar la continua, es por eso que la expresión final es la envolvente - la esperanza de la envolvente.
Adjunto abajo una imagen con cuentas que espero ayuden a entender. Cualquier cosa no dudes en volver a preguntar.
Saludos,
Julieta