广义积分习题课————证明题
1
\[\int_1^{+\infty}\sin x^2dx\sim \int_1^{+\infty} \sin x\frac{dx}{\sqrt{x}} 收敛(\frac{1}{2}<1),\lim_{x \to +\infty} \sin x^2:DNE \\ 非负函数:f(x)=\begin{cases}0 \quad & x \in \mathbb{R}/\mathbb{Z} \\ 1 \quad &x \in \mathbb{Z}\end{cases} \]
2
\[反证法,不妨假设 \lim_{x \to +\infty}f(x)=C \ne 0 \\ 则 \int_a^{+\infty}f(x)dx \sim \int_a^{+\infty} Cdx 发散,所以假设不成立,所以C=0 \]
3
\[假设f(x)无界,则\forall M,\exists N,s.t. \exists x>N,|f(x)|>M,则 \int_a^{+\infty}f(x)dx 发散,产生矛盾,所以 f(x) 有界 \\ 又因为 f(x) 单调,所以 \lim_{x \to +\infty}f(x)存在 \\ 又因为 \int_a^{+\infty}f(x)dx 收敛,所以 \lim_{x \to +\infty}f(x)=0 \]
\[不妨设 f(x) 单调递增 \\ f(A_1)(A_2-A_1)\le \int_{A_1}^{A_2}f(x)dx \le f(A_2)(A_2-A_1) \\ \Rightarrow \min(|f(A_2)(A_2-A_1)|,|f(A_1)(A_2-A_1)|)<\epsilon \Rightarrow |f(\zeta)|<\frac{\epsilon}{A_2-A_1} \Rightarrow \lim_{x\to +\infty}f(x)=0 \]
4
\[不妨设 f(x) 单调递增 \\ 则\forall x>M, |xf(x)| \le \left| \int_{x}^{2x}f(t)dt \right|<\epsilon \Rightarrow \lim_{x \to +\infty}xf(x)=0 \]
5
\[f(t)-f(a)=\int_a^{t}f'(x)dx,\int_a^{+\infty}f'(x)dx=\lim_{x \to+\infty}f(x)-f(a) 存在,所以\lim_{x \to +\infty}f(x) 存在 \\ 又因为 \int_a^{+\infty}f(x)dx 收敛,所以 \lim_{x \to +\infty}f(x)=0 \]
6
\[首先有 \lim_{x \to +\infty}xf(x)=0 \\ 所以:\int_a^{+\infty} xf'(x)dx=xf(x)\bigg|_a^{+\infty}-\int_a^{+\infty}f(x)dx=0-af(a)-\int_a^{+\infty}f(x)dx 收敛 \]
7
\[\lim_{x \to +\infty} \frac{f^2(x)}{|f(x)|}=0,\int_a^{+\infty}|f(x)|dx收敛 \Rightarrow \int_a^{+\infty}f^2(x)dx 收敛 \]
\[\int_a^{+\infty}|f(x)|dx收敛 \\ \lim_{x \to +\infty}f(x)=0 \Rightarrow \forall x>M,|f(x)|<1 \Rightarrow f^2(x)=|f(x)| \cdot |f(x)|<|f(x)| \Rightarrow \int_{A_1}^{A_2}f^2(x)<\int_{A_1}^{A_2}|f(x)|dx<\epsilon \\ 所以\int_a^{+\infty}f^2(x)dx收敛 \]
8
\[\forall \epsilon>0,\exists \delta>0,s.t.\forall |x-y|<\delta,|f(x)-f(y)|<\epsilon \\ A \to +\infty:|f(A)|<\left| \int_A^{A+1}f(x)dx \right|<\epsilon \Rightarrow \lim_{x \to +\infty}f(x)=0 \]
9
\[\lim_{x \to 0^+}\left[xf(x)\right]=\lim_{x \to 0^+} \left|\int_{x}^{2x} f(t)dt \right|=0 \]