MADNESS
0.10.1
|
The source is here.
We seek the ground state of the 3D Schrodinger equation
with
As usual, we rewrite the differential equation into integral form
but unfortunately we are left with two problems.
First, recall that application of the inverse of the differential operator corresponds to convolution with the Green's function to the Helmholtz equation that satisfies
In 3D, we have
that MADNESS can currently only apply efficiently for real and since only for negative energies (hence bound states). But for the harmonic oscillator there are no free particle states and the zero of energy is not chosen to describe the lowest energy of a free particle but simply as the zero of potential energy. To solve this problem we can shift the zero of energy down by subtracting a constant ( ) from both sides of the equation, hence making the effective ground state energy negative.
How negative do we need to make the energy? To answer this we need to discuss the second problem. The fixed-point iteration described by the integral equation only reliably converges to the ground state if the potential is negative everywhere the wave function is significant. The exact solution is (with $E=$1.5) that becomes 1e-6 (but how small is small enough?) at where is 14.0. So let's take this as the value of and try the fixed point iteration. Bad news. It starts converging (slowly) to the right answer but then diverges and even damping (step restriction) does not solve the problem. We have to make the shift large enough to make the potential negative in the entire volume to avoid the divergence, but this makes the convergence really slow.
The fix is to not rely upon the simple fixed point iteration but to use an equation solver to force convergence. This also enables us to choose the size of the shift to optimize the rate of convergence (empirically is best) rather than being forced to pick a large value. We use the very easy to use solver in mra/nonlinsol.h .
[Aside. It is possible to apply the operator for positive energies, but efficient application requires separate treatment of the singular and the long-range oscillatory terms, and the latter is presently not a production capability of MADNESS. If you need this, let us know.]