Class 3
\[f(x) = \int_1^x \frac{1}{t}\;dt\]
What are its properties?
Domain:
Derivative:
\(f(2) > 1\cdot \frac{1}{2} = \frac{1}{2}\)
\(f(4) > \frac{1}{2} + 2\cdot \frac{1}{4} = \frac{2}{2}\)
\(f(8) > \frac{2}{2} + 4\cdot \frac{1}{8} = \frac{3}{2}\)
\(f(16) > \frac{3}{2} + 8\cdot \frac{1}{16} = \frac{4}{2}\)
\(f\left(2^n\right) > \frac{1}{2} + \frac{1}{2} + \cdots + \frac{1}{2} = \frac{n}{2}\)
Also, \(f\) is increasing, so if \(x > 2^n\), \(f(x) > \frac{n}{2}\)
Therefore \[ \lim_{x\to\infty} f(x) = \infty\]
\(\displaystyle f(xy) = \int_1^{xy} \frac{1}{t}\;dt\) \(\displaystyle {} = \int_1^x \frac{1}{t}\;dt + \int_x^{xy} \frac{1}{t}\;dt\)
If \(r\) is a rational number, what is \(f\left(x^r\right)\)?
Domain: \((0,\infty)\)
\(f(1) = 0\)
\(f'(x) = \frac{1}{x}\)
\(f\) is increasing.
\(\displaystyle \lim_{x\to\infty} f(x) = \infty\)
\(\displaystyle \lim_{x\to 0} f(x) = -\infty\)
\(f(xy) = f(x) + f(y)\)
If \(r\) is rational, then \(f\left(x^r\right) = rf(x)\).
This function already has a name: the natural logarithm!