By the evenness of , the semiclassical action integral is twice its integral over the positive half-axis. If , then
If , split the integral at :
The first integral is
In the second, put and then . It becomes
After simplification,
This is the action integral for a linear-to-square-root potential.
The graph begins at the origin, is continuous and strictly increasing, passes through , and tends to infinity. Therefore for every and , the equation
has exactly one solution by the intermediate value theorem and strict monotonicity.
For fixed , the right-hand side of the quantization equation tends to zero with . If
the unique energy satisfies , so the first branch of the action integral for a linear-to-square-root potential applies exactly. Solving
gives
Thus this formula is valid whenever
For , the outer part of the action integral for a linear-to-square-root potential dominates:
The WKB quantization condition therefore gives
Taking the power yields the asymptotic equivalence
Hence