[Date Index]
[Thread Index]
[Author Index]
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[0][0]+2 Sqrt[5] ff[2][0]),-I Sqrt[(2 \[Pi])/15] (ff[2][-1]+ff[2][1]),1/15 Sqrt[\[Pi]] (10 ff[0][0]-Sqrt[5] (Sqrt[6] ff[2][-2]+2 ff[2][0]+Sqrt[6] ff[2][2])),Sqrt[(2 \[Pi])/15] (ff[2][-1]-ff[2][1]),-I Sqrt[(2 \[Pi])/15] (ff[2][-2]-ff[2][2]),1/15 Sqrt[\[Pi]] (10 ff[0][0]+Sqrt[5] (Sqrt[6] ff[2][-2]-2 ff[2][0]+Sqrt[6] ff[2][2]))}
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[2][-1]+ff[2][1])
to
-Sqrt[(2 \[Pi])/15] 2*Im(ff[2][1])
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**
| |