I want to conjugate the above function. It's not working using the below code. Please help. All variables are real and greater than zero.
Refine[Conjugate[
Exp[(I \[Pi])/4 - x^2/2 - y^2/2 +
Sqrt[2] E^(I \[Theta]) y \[Alpha] Sqrt[1 - \[Eta]] -
1/2 E^(2 I \[Theta]) \[Alpha]^2 (1 - \[Eta])]], {Element[x,
Reals], Element[y, Reals], Element[\[Theta], Reals],
Element[\[Eta], Reals], Element[\[Alpha], Reals], x > 0, y > 0}]
Edited:
When I use complex expand as per the suggestion of one of the comments, I am getting a weird Arg!! Is there a way to eliminate it and look the results nicer? Complex Expand is really nice.
Conjugate[ Exp[(I \[Pi])/4 - x^2/2 - y^2/2 + Sqrt[2] E^(I \[Theta]) y \[Alpha] Sqrt[1 - \[Eta]] - 1/2 E^(2 I \[Theta]) \[Alpha]^2 (1 - \[Eta])]] // Refine // ComplexExpand
? $\endgroup$