Re: Simple expression won't simplify

*To*: mathgroup at smc.vnet.net*Subject*: [mg48982] Re: [mg48952] Simple expression won't simplify*From*: Bob Hanlon <hanlonr at cox.net>*Date*: Fri, 25 Jun 2004 17:52:27 -0400 (EDT)*Reply-to*: hanlonr at cox.net*Sender*: owner-wri-mathgroup at wolfram.com

Add an assumption to the simplification of the result of the integration expr=Sqrt[a]*Sqrt[m^2/(m^2+t^2*a^2*h^2)]/Sqrt[(m^2*a)/ (m^2+t^2*a^2*h^2)]; Simplify[expr, a>=0] 1 expr // Simplify[#, a>=0]& 1 Bob Hanlon > > From: p at dirac.org (Peter Jay Salzman) To: mathgroup at smc.vnet.net > Date: 2004/06/25 Fri AM 02:58:16 EDT > To: mathgroup at smc.vnet.net > Subject: [mg48982] [mg48952] Simple expression won't simplify > > I have a sperically symmetric wavefunction Bra[r_,t_] and its complex > conjugate Ket[r_,t_]. They're complex, but not overly complicated. > Basically a time dependent Gaussian. > > When I do (parsed for readability): > > 4 Pi Integrate > [ > r^2 Bra[r,t] Ket[r,t], {r, 0, Infinity}, > Assumptions -> { Re[m^2*\[Alpha]/(m^2 + t^2*\[Alpha]^2*\[HBar]^2)] > 0 } > ] // FullSimplify > > I get: > > m^2 > sqrt{ a } sqrt{ ------------------- } > m^2 + t^2 a^2 h^2 > > --------------------------------------- > m^2 a > sqrt{ ------------------- } > m^2 + t^2 a^2 h^2 > > > How do I coax Mathematica to admit this expression is 1? > > Thanks! > Pete > >