> phi := r -> exp(-alpha*r^2);
> assume(alpha>0);We break up the variational energy into three pieces, as usual:
> Kip := -hbar^2/(2*mu)*int(int(int(phi(r)*diff(r^2*diff(phi(r),r),r) *sin(theta),r=0..infinity),theta=0..Pi),phi=0..2*Pi);
> Vip := -Z*e^2/(4*Pi*epsilon0)*int(int(int(phi(r)^2*r*sin(theta), r=0..infinity),theta=0..Pi),phi=0..2*Pi);
> ip := int(int(int(phi(r)^2*r^2*sin(theta),r=0..infinity), theta=0..Pi),phi=0..2*Pi);
> Evar := (Kip+Vip)/ip;
> solve(diff(Evar,alpha)=0,alpha);
> assign(alpha=1/18*Z^2*e^4*mu^2/(Pi^3*hbar^4*epsilon0^2));We can now evaluate the variational energy:
> simplify(Evar);
> assume(Z>0); > assume(e>0); > assume(mu>0); > assume(hbar>0); > assume(epsilon0>0); > simplify(%);
> Eexact := -Z^2*e^4*mu/(32*Pi^2*epsilon0^2*hbar^2);
> simplify((Eexact-Evar)/Eexact);
> evalf(%);