Bonjour.
Je ne suis pas certain de bien comprendre ce que tu cherches.
La fonction redressée se trace à partir de la fonction d' origine en " redressant" les alternances négatives.
Si tu cherches une formule, on pourrait dire que la fonction redressée, en double alternance, est la valeur absolue de la fonction d' origine.
Est- ce la réponse à ta question ?