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
>
>