# How to show that functions of this type are strictly decreasing

Let $f:[0,\infty)\to \mathbf{R}$ be defined by $$f(x) = \frac{1}{x+1} \int_x^\infty g(r,x) dr,$$ where $g(r,x)$ is a "nice" function and all of this makes sense.

Suppose that I want to show that $f(x)$ is strictly decreasing. In my particular problem, this should be the case and I'm trying to prove it.

One way would be to show that the derivative is negative.

How to derive $f$?

Are there other ways to prove that $f$ is strictly decreasing (assuming it is)?

-
Derive using Fundamental theorem of Calculus. – user21436 Mar 11 '12 at 12:57
Sadly, English is inconsistent even in mathematics. The operation of finding the derivative of a function is called differentiation, and you are asking how to differentiate $f$. – Rahul Mar 11 '12 at 13:37
As for your actual question, I believe you will need to differentiate under the integral sign. – Rahul Mar 11 '12 at 13:40
What is $g$ in your particular problem? – Davide Giraudo Mar 11 '12 at 15:26
Hey Davide, $g$ is a complicated function. If I put it here, I'm afraid somebody will write the answer down for me. Nothing wrong with that of course, but I'd rather try to do it myself. I didn't know the "differentiate under the integral sign" so I'm understanding that now. – seporhau Mar 11 '12 at 15:55

There are three ways in which the function $f$ depends on $x$, and the derivative contains one term for each of them:

$$\begin{eqnarray} f'(x) &=& -\frac1{(x+1)^2}\int_x^\infty g(r,x)\mathrm dr \\ &&+\frac1{x+1}g(x,x) \\ && +\frac1{x+1}\int_x^\infty\frac{\partial}{\partial x}g(r,x)\mathrm dr\;. \end{eqnarray}$$

[Edit in response to the comment:]

I'll assume that you meant $g(r,x) = \exp(-r^2) (r-x)^{-1/2}$, since the version with a $t$ in the denominator wouldn't cause problems at $r=x$.

In such a case, you could obtain a result by replacing the lower bound of the integral by $x+\epsilon$; then two of the terms would go to infinity as $\epsilon\to0$, and you could cancel them before taking that limit. However, a simpler approach would be to substitute:

$$\frac1{x+1}\int_x^\infty \frac{\mathrm e^{-r^2}}{\sqrt{r-x}}\mathrm dr=\frac1{x+1}\int_0^\infty\frac{\mathrm e^{-(u+x)^2}}{\sqrt u}\mathrm du\;.$$

Now the bound doesn't depend on $x$, and the integral of the derivative of the integrand with respect to $x$ is well-defined. Of course you can always make this substitution, but unless $g(r,x)$ contains $r-x$, it just rearranges the terms without reducing the work.

-
What would you mean by $g(x,x)$ if $g(r,x) = \exp(-r^2) (t-x)^{-1/2}$ or something like that? The integral from $x$ to $\infty$ is well-defined in this case, but the value $g(x,x)$ is not well-defined. What to do? – seporhau Mar 11 '12 at 15:59
@seporhau: I edited the answer in response to your comment. – joriki Mar 11 '12 at 16:18
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/118880/how-to-show-that-functions-of-this-type-are-strictly-decreasing", "fetch_time": 1462447795000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-18/segments/1461860126502.50/warc/CC-MAIN-20160428161526-00111-ip-10-239-7-51.ec2.internal.warc.gz", "warc_record_offset": 187286216, "warc_record_length": 18644, "token_count": 855, "char_count": 2848, "score": 4.03125, "int_score": 4, "crawl": "CC-MAIN-2016-18", "snapshot_type": "longest", "language": "en", "language_score": 0.9290720820426941, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00053-of-00064.parquet"}