I am trying to find rigorous justification for the following.
If we have the following inequality $$ \int_{X}^{\infty}u(x)\mbox{d}x \le \int_{X}^{\infty}v(x)\mbox{d}x $$ If we now multiply both sides with $\exp(-k(x))$ as in $$ \int_{X}^{\infty}\exp(-k(x))u(x)\mbox{d}x \le \int_{X}^{\infty}\exp(-k(x))v(x)\mbox{d}x $$ then the inequality is preserved.
My initial thoughts were to collect the terms $$ 0 \le \int_{X}^{\infty}(v(x) - u(x))\mbox{d}x $$ and the then try use integration by parts after multiplying with $\exp(-k(x))$ to show the RHS will be satisfy the inequality, but that lead me to circular kind of argument. Also i do not know if $v(x)$ is differentiable.
How can this be rigorously justified ? If these conditions do not suffice, what additional conditions are minimally needed so this will hold.
Thank you
It is not true as it is stated at this moment. Take $u(x)=\mathbf{1}_{[0,1]}$ and $v(x)=\mathbf{1}_{[1,3]}$. It is clear that it satisfies the condition mentioned. Now take $k(x)=x$ and $X=0$ to get: \begin{align} I:=\int_0^\infty \exp(-x)u(x)\,dx=1-e^{-1} \end{align} while: \begin{align} J:=\int^\infty_0 \exp(-x)v(x)\,dx=e^{-1}-e^{-3} \end{align} Since $2e^{-1}<1$, we have $e^{-1}<1-e^{-1}$. Hence $e^{-1}-e^{-3}<1-e^{-1}$ and that implies $J<I$.