Re: Simple expression won't simplify
- To: mathgroup at smc.vnet.net
- Subject: [mg48976] Re: Simple expression won't simplify
- From: Jens-Peer Kuska <kuska at informatik.uni-leipzig.de>
- Date: Fri, 25 Jun 2004 17:52:18 -0400 (EDT)
- Organization: Universitaet Leipzig
- References: <cbgjg5$cfg$1@smc.vnet.net>
- Reply-to: kuska at informatik.uni-leipzig.de
- Sender: owner-wri-mathgroup at wolfram.com
Hi, Sqrt[m^2/(m^2 + t^2*\[Alpha]^2*\[HBar]^2)]* (Sqrt[\[Alpha]]/Sqrt[(m^2*\[Alpha])/(m^2 + t^2*\[Alpha]^2* \[HBar]^2)]) /. Sqrt[a_]*Sqrt[b_] :> Sqrt[a*b] Regards Jens Peter Jay Salzman wrote: > > 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