Behavior of ComplexExpand

• To: mathgroup at yoda.physics.unc.edu
• Subject: Behavior of ComplexExpand
• From: Levent Kitis <lk3a at kelvin.seas.virginia.edu>
• Date: Wed, 4 Aug 93 17:34:27 -0400

```Does someone have an explanantion for the discrepancy between
Out[2] and  Out[3]?

In[2]:= ComplexExpand[ Conjugate[ Exp[a I] ] ]

Out[2]= Cos[a] + I Sin[a]

In[3]:= ComplexExpand[ Exp[a I] ]

Out[3]= Cos[a] + I Sin[a]

If a is replaced with a numerical value the same situation persists:

In[6]:= ComplexExpand[ Conjugate[ Exp[2 I] ] ] == ComplexExpand[ Exp[2 I] ]

Out[6]= True

But ComplexExpand works with a little help:

In[10]:= ComplexExpand[ Conjugate[z], {z} ]

Out[10]= -I Im[z] + Re[z]

In[11]:= ComplexExpand[ Conjugate[z], {z}] /. {z -> Exp[2 I]}

Out[11]= Cos[2] - I Sin[2]

and with a symbolic argument a:

In[13]:= ComplexExpand[ Conjugate[z], {z}] /. {z -> Exp[a I]}

Out[13]= -I Im[E^(I a)] + Re[E^(I a)]

In[14]:= ComplexExpand[%]

Out[14]= Cos[a] - I Sin[a]

and this too works:

In[15]:= ComplexExpand[ Conjugate[Exp[a I]], {Exp[a I]}]

Out[15]= Cos[a] - I Sin[a]

In[17]:= ComplexExpand[ Conjugate[Exp[a I]], {a I}]

Out[17]= Cos[a] + I Sin[a]

Why shouldn't In[2] be equivalent to In[17] ? All this in Version 2.0.

Levent

```

• Prev by Date: Nodal
• Next by Date: Re: Non-linear optimization