Skip to main content
added 185 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

You wish to approximateQ: The OP seeks a "reasonable approximation" for large or small $\rho_0$ of the function $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$$$P(x)= \int_0^{x} e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0)\,d\rho,\;\;x\geq 0.$$

 

ForConsider the kernel $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$ For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}(\rho)=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$

For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}(\rho)=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

Q: The OP seeks a "reasonable approximation" for large or small $\rho_0$ of the function $$P(x)= \int_0^{x} e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0)\,d\rho,\;\;x\geq 0.$$

 

Consider the kernel $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$ For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}(\rho)=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

added 4 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$

For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$$$p_{\rm small}(\rho)=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$$$p_{\rm large}(\rho)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$

For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$

For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}(\rho)=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

plots for small and large rho0 approximations
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$ For

For small $\rho_0\ll 1$$\rho_0$ a Taylor series in powers of $\rho_0$ is accurate. Let me consider the opposite regime of, $$p_{\rm small}=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$. An an asymptotic expansion of the Bessel function gives $$p_{\rm approximate}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$ This large-$\rho_0$ approximation to$$p_{\rm large}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ is already quite accurate for $\rho_0= 3$, see the plotexact expression (blue = exact, orange = approximate, almost indistuishable for) and the approximation $\rho_0=3$(orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$ For $\rho_0\ll 1$ a Taylor series in powers of $\rho_0$ is accurate. Let me consider the opposite regime of large $\rho_0$. An asymptotic expansion of the Bessel function gives $$p_{\rm approximate}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$ This large-$\rho_0$ approximation to $\int_0^x p(\rho)\,d\rho$ is already quite accurate for $\rho_0= 3$, see the plot (blue = exact, orange = approximate, almost indistuishable for $\rho_0=3$).

You wish to approximate $$p_{\rm exact}(\rho)=e^{-\rho^2-\rho_0^2} \rho I_0(2\rho \rho_0).$$

For small $\rho_0$ a Taylor series in powers of $\rho_0$ is accurate, $$p_{\rm small}=e^{-\rho^2} \rho (1+\rho^2 \rho_0^2-\rho_0^2).$$ For large $\rho_0$ an asymptotic expansion of the Bessel function gives $$p_{\rm large}(\rho_0)=\frac{1}{2\sqrt{\pi}}e^{-\rho^2-\rho_0^2}e^{2\rho\rho_0}.$$

In the plots below I compare $\int_0^x p(\rho)\,d\rho$ for the exact expression (blue) and the approximation (orange). It turns out the approximations $p_{\rm small}$ and $p_{\rm large}$ are already quite accurate for $\rho_0\lesssim 0.5$ and $\rho_0\gtrsim 3$, respectively.

Left plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm small}(\rho)\,d\rho$ for $\rho_0=0.5$. Right plot: comparison of $\int_0^x p_{\rm exact}(\rho)\,d\rho$ and $\int_0^x p_{\rm large}(\rho)\,d\rho$ for $\rho_0=3$. The approximations (orange) are almost indistinguishable from the exact answer (blue).

added 138 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading
added 39 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading
deleted 4 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading
added 184 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading