I would like to prove the following inequality involving the parabolic cylinder function $D_{-\nu}(x)$ for $\nu>0$:
$$ \frac{2\hspace{1pt}D_{-\nu+1}(x)}{D_{-\nu}(x)} \;<\; x+\sqrt{x^2+4\hspace{1pt}(\nu+1)} ,\quad x\ge 0 $$
The inequality seems to be tight as $x\to\infty$ (for fixed $\nu$), and as $\nu\to\infty$ (for fixed $x$).
I managed to reduce the proof of monotone likelihood ratio of the fixed input correlation coefficient distribution to this inequality.
Edit: I found a paper that actually proves this: https://onlinelibrary.wiley.com/doi/epdf/10.1111/sapm.12401.
fx = 2*ParabolicCylinderD[-v + 1, x]/ParabolicCylinderD[-v, x] - x - Sqrt[x^2 + 4*(v + 1)]; fx /. {v -> 1} // Plot[#, {x, 38, 40}, PlotRange -> Full] & fx /. {v -> 1, x -> 38.477}
I found that the inequality doesn't hold forv -> 1, x -> 38.477
, did I make some mistakes? $\endgroup$fx = 2*ParabolicCylinderD[-v + 1, x]/ParabolicCylinderD[-v, x] - x - Sqrt[x^2 + 4*(v + 1)] // N; fx /. {v -> 1} // Plot[#, {x, 50, 60}, PlotRange -> Full] & fx /. {v -> 1, x -> 54.41} // N
what aboutv -> 1, x -> 54.41
? $\endgroup$