POTW Limit of a Nonnegative Continuous Function

  • Thread starter Thread starter Euge
  • Start date Start date
Click For Summary
If a nonnegative continuous function f on R² is uniformly continuous and the integral over any disk of radius r is bounded, then f approaches zero as x² + y² approaches infinity. The proof assumes that f does not tend to zero, leading to the existence of points where f remains above a certain threshold. By constructing non-overlapping balls around these points, it is shown that the integral of f over these regions must diverge, contradicting the boundedness assumption. Therefore, the conclusion is that f(x,y) must indeed converge to zero as the distance from the origin increases. This establishes a critical relationship between uniform continuity and the behavior of nonnegative functions at infinity.
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Let ##D_r\subset \mathbb{R}^2## be the disk of radius ##r## centered at the origin. If ##f : \mathbb{R}^2 \to [0,\infty)## is uniformly continuous such that ##\sup_{0 < r< \infty} \iint_{D_r} f(x,y)\, dx\, dy < \infty##, show that ##f(x,y) \to 0## as ##x^2 + y^2 \to \infty##.
 
  • Like
Likes jbergman and topsquark
Physics news on Phys.org
Since ##f## is uniformly continuous for every ##\epsilon >0## there exists ##\delta_{\epsilon} > 0## s.t. ##||(x_1,y_1)-(x_2,y_2)||<\delta ## implies ##|f(x_1,y_1)-f(x_2,y_2)|<\epsilon##.

Suppose that ##f## does not go to zero as ##x^2+y^2## goes to infinity. Since ##f## is non negative this means there exists some ##\epsilon >0## and a sequence of points ##(x_i,y_i)## such that ##x_i^2+y_i^2\to \infty ## and ##f(x_i,y_i)> 2 \epsilon##. Restrict to a subsequence such that ##\sqrt{x_i^2+y_i^2} > 2\delta_\epsilon \sqrt{x_{i-1}^2+y_{i-1}^2}##. Then the ball of radius ##\delta_{\epsilon}## around each ##(x_i,y_i)## do not intersect. We will call these balls ##B_i##

furthermore, on each ##B_i##, we have ##f> \epsilon## at every point, since it can be no more than ##\epsilon## smaller than ##f(x_i,y_i)\geq 2\epsilon##. Hence ##\int \int_{B_i}f(x,y)dx dy \geq \pi \delta_\epsilon^2 \epsilon##.

pick a sequence ##r_k## such that ##r_k>\sqrt{x_k^2+y_k^2}+\delta_{\epsilon}##. Then ##D_{r_k}## contains ##B_1,..., B_k## entirely, and since ## f## is non negative,

$$ \int\int_{D_{r_k}} f(x,y)dx dy \geq \sum_{i=}^k \int \int_{B_i} f(x,y)dx dx\geq k\pi \delta_{\epsilon} ^2\epsilon $$

the last expression is just some constant multiplied by ##k##, which goes to infinity as ##k## does. This contradicts the assumption that the supremum of the integral over all radii choices is finite. Hence ##f## must go to zero as ##x^2+y^2\to \infty##
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K