Since f ∈ L 1 ( 0 , ∞ ) f \in L_1(0,\infty) f ∈ L 1 ( 0 , ∞ ) then ∫ 0 ∞ ∣ f ( x ) ∣ d x < ∞ \int_0^\infty |f(x)| dx < \infty ∫ 0 ∞ ∣ f ( x ) ∣ d x < ∞ and then
lim t → ∞ ∫ 0 t ∣ f ( x ) ∣ d x = A < ∞ ( ∀ e > 0 ) ( ∃ d > 0 ) ( ∀ t > 1 d ) { ∣ ∫ 0 t ∣ f ( x ) ∣ d x − A ∣ < e } − e < ∫ 0 t ∣ f ( x ) ∣ d x − A < e A − e < ∫ 0 t ∣ f ( x ) ∣ d x < A + e A − e t 2 < 1 t 2 ∫ 0 t ∣ f ( x ) ∣ d x < A + e t 2 lim t → ∞ A − e t 2 ≤ lim t → ∞ 1 t 2 ∫ 0 t ∣ f ( x ) ∣ d x ≤ lim t → ∞ A + e t 2 0 ≤ lim t → ∞ 1 t 2 ∫ 0 t ∣ f ( x ) ∣ d x ≤ 0 ⇒ 0 ≤ ∣ lim t → ∞ 1 t 2 ∫ 0 t f ( x ) d x ∣ ≤ lim t → ∞ 1 t 2 ∫ 0 t ∣ f ( x ) ∣ d x = 0 lim t → ∞ 1 t 2 ∫ 0 t f ( x ) d x = 0 \begin{array}{l}
\lim _ {t \rightarrow \infty} \int_ {0} ^ {t} | f (x) | d x = A < \infty \\
(\forall e > 0) (\exists d > 0) \left(\forall t > \frac {1}{d}\right) \left\{\left| \int_ {0} ^ {t} | f (x) | d x - A \right| < e \right\} \\
- e < \int_ {0} ^ {t} | f (x) | d x - A < e \\
A - e < \int_ {0} ^ {t} | f (x) | d x < A + e \\
\frac {A - e}{t ^ {2}} < \frac {1}{t ^ {2}} \int_ {0} ^ {t} | f (x) | d x < \frac {A + e}{t ^ {2}} \\
\lim _ {t \rightarrow \infty} \frac {A - e}{t ^ {2}} \leq \lim _ {t \rightarrow \infty} \frac {1}{t ^ {2}} \int_ {0} ^ {t} | f (x) | d x \leq \lim _ {t \rightarrow \infty} \frac {A + e}{t ^ {2}} \\
0 \leq \lim _ {t \rightarrow \infty} \frac {1}{t ^ {2}} \int_ {0} ^ {t} | f (x) | d x \leq 0 \Rightarrow 0 \leq \left| \lim _ {t \rightarrow \infty} \frac {1}{t ^ {2}} \int_ {0} ^ {t} f (x) d x \right| \leq \lim _ {t \rightarrow \infty} \frac {1}{t ^ {2}} \int_ {0} ^ {t} | f (x) | d x = 0 \\
\lim _ {t \rightarrow \infty} \frac {1}{t ^ {2}} \int_ {0} ^ {t} f (x) d x = 0 \\
\end{array} lim t → ∞ ∫ 0 t ∣ f ( x ) ∣ d x = A < ∞ ( ∀ e > 0 ) ( ∃ d > 0 ) ( ∀ t > d 1 ) { ∣ ∣ ∫ 0 t ∣ f ( x ) ∣ d x − A ∣ ∣ < e } − e < ∫ 0 t ∣ f ( x ) ∣ d x − A < e A − e < ∫ 0 t ∣ f ( x ) ∣ d x < A + e t 2 A − e < t 2 1 ∫ 0 t ∣ f ( x ) ∣ d x < t 2 A + e lim t → ∞ t 2 A − e ≤ lim t → ∞ t 2 1 ∫ 0 t ∣ f ( x ) ∣ d x ≤ lim t → ∞ t 2 A + e 0 ≤ lim t → ∞ t 2 1 ∫ 0 t ∣ f ( x ) ∣ d x ≤ 0 ⇒ 0 ≤ ∣ ∣ lim t → ∞ t 2 1 ∫ 0 t f ( x ) d x ∣ ∣ ≤ lim t → ∞ t 2 1 ∫ 0 t ∣ f ( x ) ∣ d x = 0 lim t → ∞ t 2 1 ∫ 0 t f ( x ) d x = 0
Comments