Sunday, April 8, 2018

calculus - Existence of Improper Integrals



I've tried to do the following question:



Spivak Chapter 14 Question 27:
The improper integral $\int_{-\infty}^{a} f$ is defined in the obvious way, as $\lim_{N\to -\infty} \int_{N}^a f$. But another kind of improper integral $\int_{-\infty}^{\infty} f$ is defined in a nonobvious way: it is $\int^{\infty}_{0} f +\int_{-\infty}^{0} f$, provided these improper integrals both exist.



a) Explain why $\int_{-\infty}^\infty \frac{1}{x^2+1}$ exists




b)Explain why $\int_{-\infty}^\infty x d{x}$ does not exist. (But notice that $\lim_{N\to \infty} \int_{-N}^N xd{x}$ does exist)



What I did:
For the first item, I just said that using the Fundamental Theorem of Calculus, we know that integral is $\tan^{-1} (\infty)-\tan^{-1} (-\infty)=\pi$. But I'm not sure it's correct and it seems, from the questions around it, that the book is looking for something from more fundamental stuff maybe (?).



For the second one, I don't understand how that's possible as it seems to be the very definition of this kind of integral from $-\infty \to \infty$. I've seen questions related to this item, but it's still not clear to me why the integral in question doesn't exist.


Answer



For the first integral, by definition $\int_{-\infty}^\infty\frac{dx}{x^2+1}$ exists if and only if the integral $\int_{0}^\infty\frac{dx}{x^2+1}$ exists because the function $x\mapsto \frac{1}{x^2+1}$ is even. To check this, we can use the fundamental theorem of calculus like you did:
\begin{align*}
\int_0^\infty\frac{dx}{x^2+1} \stackrel{\rm def}{=}\lim_{b\to\infty}\int_0^b\frac{dx}{x^2+1} = \lim_{b\to\infty}[\arctan(b)-\arctan(0)] = \pi/2.

\end{align*}
Or we can justify it with the integral test because the series $\sum_{n=0}^\infty\frac{1}{n^2+1}$ converges.



For the second one, by our definition of what $\int_{-\infty}^\infty x\,dx$ means, this integral exists if and only if both the integrals $\int_{-\infty}^0 x\,dx$ and $\int_{0}^\infty x\,dx$ are finite, but neither of these integrals is finite. However, that doesn't stop the following limit from existing:
\begin{align*}
\lim_{N\to\infty}\int_{-N}^Nx\,dx = \lim_{N\to\infty}\bigg[\frac{x^2}{2}\bigg]_{-N}^N = \lim_{N\to\infty}0 = 0.
\end{align*}


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...