       Exploiting relationships in manipulations: example with conjugate relationship

• To: mathgroup at smc.vnet.net
• Subject: [mg131319] Exploiting relationships in manipulations: example with conjugate relationship
• From: Sune <sunenj at gmail.com>
• Date: Fri, 28 Jun 2013 04:12:33 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• Delivered-to: l-mathgroup@wolfram.com
• Delivered-to: mathgroup-outx@smc.vnet.net
• Delivered-to: mathgroup-newsendx@smc.vnet.net

```Hey all.

I'm trying to get Mathematica to simplify a list of expressions involving complex symbolic variables with certain relations among them, and to take advantage of these relations while simplifying.

To be more concrete, I could have a list such as

tel={2/15 Sqrt[\[Pi]] (5 ff+2 Sqrt ff),-I Sqrt[(2 \[Pi])/15] (ff[-1]+ff),1/15 Sqrt[\[Pi]] (10 ff-Sqrt (Sqrt ff[-2]+2 ff+Sqrt ff)),Sqrt[(2 \[Pi])/15] (ff[-1]-ff),-I Sqrt[(2 \[Pi])/15] (ff[-2]-ff),1/15 Sqrt[\[Pi]] (10 ff+Sqrt (Sqrt ff[-2]-2 ff+Sqrt ff))}

However, there's a conjugate symmetry among the variables ff[l][m] that would enable a simpler looking expression. Specifically, ff[l][m]=ff[l][-m] (-1)^m, and I would like to have Mathematica take advantage of that and reduce expressions such as

I Sqrt[(2 \[Pi])/15] (ff[-1]+ff)

to

-Sqrt[(2 \[Pi])/15] 2*Im(ff)

I've tried various combinations of ComplexExpand and FullSimplify;

ComplexExpand[
FullSimplify[tel,
And @@ Flatten[
Table[ff[l][m] == Conjugate[ff[l][-m]]*(-1)^m, {l, 0, 4, 2}, {m,
0, l}]]], Flatten[Table[ff[l][m] , {l, 2, 4, 2}, {m, -l, l}]]]

(And also version with the two outermost commands interchanged)
but it doesn't do what I want. Of course, it may be that the rules for simplify are such that my sought expression is not considered a simpler version of the same expression. Could that be the case? Otherwise, I'd appreciate any suggestions on how to implement relations such as these in manipulation of expressions.

Thanks,
Sune

```

• Prev by Date: Re: Rearranging the Terms of a Polynomial
• Next by Date: Re: malliavin calculus
• Previous by thread: Syzygy module computation
• Next by thread: Re: Exploiting relationships in manipulations: example