0
$\begingroup$

Consider a function $f: \mathbb{R}^n \times \mathbb{R}^m \rightarrow \mathbb{R}_{\geq 0}$ continuous in the $1^{st}$ argument, locally bounded in the $2^{nd}$ one.

We consider a $\delta$-neighborhood of $x \in \mathbb{R}^n$, i.e. $\mathbb{B}(x,\delta)$ (closed ball with center $x$ and radius $\delta$), and we see the $2^{nd}$ argument as a $\delta$-dependent parameter $\theta_\delta \in \mathbb{R}^m$. We study

$$ \max_{y \in \mathbb{B}(x,\delta)} \{ f(x,\theta_\delta)-f(y,\theta_\delta) \} $$

We assume that for any $x \in \mathbb{R}^n$ we have $ \delta \mapsto f(x,\theta_\delta)-f(y,\theta_\delta) $ non-decreasing if $y \in \mathbb{B}(x,\delta)$. Therefore, for any $x \in \mathbb{R}^n$, also $\delta \mapsto \max_{y \in \mathbb{B}(x,\delta)} \{ f(x,\theta_\delta)-f(y,\theta_\delta) \}$ is non-decreasing.

Say if the following proposition is true (if not, find a counterexample).

$$ \forall \epsilon > 0 \ \exists \delta >0 \text{ such that } \max_{y \in \mathbb{B}(x,\delta)} \{ f(x,\theta_\delta)-f(y,\theta_\delta) \} < \epsilon $$

Note: the proposition would hold for fixed $\delta$-independent $\theta$ as $x \mapsto f(x,\theta)$ is continuous. I suspect the proposition is true also for $\theta_\delta$ because the smaller $\delta$ is the smaller $\max_{y \in \mathbb{B}(x,\delta)} \{ f(x,\theta_\delta)-f(y,\theta_\delta) \}$ is.

  • 0
    I don't understand "Therefore, for any $x \in \mathbb{R}^n$, also $\delta \mapsto \max_{y \in \mathbb{B}(x,\delta)} \{ f(x,\theta_\delta)-f(y,\theta_\delta) \}$ is non-decreasing". There's one positive and one negative term; one is non-decreasing in $\delta$, the other non-increasing in $\delta$; then why should the maximum be non-decreasing?2012-05-02
  • 0
    You are right: there is a typo in the question statement: for any (x,y) $\delta \mapsto f(x,\theta_\delta) - f(y,\theta_\delta)$ is non-decreasing.2012-05-02
  • 0
    A minor point: How do you know the maximum exists? Shouldn't it be the supremum?2012-05-02
  • 0
    I was thinking it exists because $y$ belongs to a compact set and the function is locally bounded. Am I wrong?2012-05-02
  • 0
    Which compact set are you referring to? Doesn't $\mathbb B(x,\delta)$ refer to the open ball about $x$ with radius $\delta$? If it doesn't, you should introduce the notation; I think that's what it usually refers to.2012-05-02
  • 0
    Of course I meant $\mathbb{B}(x,\delta)$ is the closed ball centered at $x$ with radius $\delta$. I think that such notation is usual.2012-05-02
  • 0
    Your latest edit doesn't make sense. a) In "for any $(x,y) \in \mathbb{R}^n \times \mathbb{B}(x,\delta)$", $x$ can't be used on the right-hand side of an expression defining the possible values of $x$. The formulation in your comment under my question doesn't have this problem. b) Now that $\delta$ is used in the definition of $x$ and $y$, what does it mean to then say that $\delta \mapsto f(x,\theta_\delta)-f(y,\theta_\delta)$ is non-decreasing? It would have to be non-decreasing for fixed $x$ and $y$, but you now made those dependent on $\delta$.2012-05-02

1 Answers 1

1

This is true, but perhaps more trivially so than you wanted it to be. Since $\delta \mapsto f(x,\theta_\delta)-f(y,\theta_\delta)$ is non-decreasing for every $(x,y) \in \mathbb{R}^n \times \mathbb{R}^n$, so is $\delta \mapsto f(y,\theta_\delta)-f(x,\theta_\delta)$, and thus it is in fact constant (with respect to $\delta$). Thus we can evaluate it at any fixed value of $\delta$, and as you already remarked, continuity in the first argument then implies the proposition.

  • 0
    Then I would say $\max_{y \in \mathbb{B}(x,\delta)}\{f(x,\theta_\delta)-f(y,\theta_\delta) \} \leq \max_{y \in \mathbb{B}(x,\delta)}\{f(x,\theta_{\bar{\delta}})-f(y,\theta_{\bar{\delta}}) \} < \epsilon$, for any $\bar{\delta} \geq \delta$. Do you think this works?2012-05-02
  • 0
    @Adam: I think there was a misunderstanding. My point was that the expression inside the braces doesn't actually depend on $\delta$, so we have no just $\le$ but equality, and this holds for any $\bar\delta$, not just for $\bar{\delta} \geq \delta$. Perhaps you meant $y\in\mathbb B(x,\bar\delta)$ on the right-hand side?2012-05-02
  • 0
    No, I didn't mean that. Notice that the proposition was like "[...] there exists $\delta$ such that...". Moreover, I think that the expression inside the brackets does depend on $\delta$.2012-05-02
  • 0
    @Adam: If you disagree with my argument that the expression doesn't depend on $\delta$, you should point out where you think it goes wrong. There's little point in asking a question and then just ignoring the main argument in the answer.2012-05-02
  • 0
    Sorry, I didn't want to be "not-kind". (1) Do you think my inequalities work? (2) I think that "the expression inside the brackets", i.e. $f(x,\theta_\delta) - f(y,\theta_\delta)$ does depend on $\delta$ because it's a $\theta_\delta$. In fact, if $f(x,\theta_\delta) - f(y,\theta_\delta)$ is not decreasing for decreasing $\delta$, then it can go to $\infty$ for small $\delta$s and the proposition would be false.2012-05-02
  • 0
    @Adam: I'm sorry, I think there must be a misunderstanding about the argument in my answer. The argument was supposed to be that since this function is non-decreasing for every $(x,y)$, it is in particular non-decreasing for both $(x,y)$ and $(y,x)$, and since these two functions differ only by a sign, they can only both be non-decreasing if they're in fact constant.2012-05-02
  • 0
    Now I see.. I meant for any $x \in \mathbb{R}^n$ and $y \in \mathbb{B}(x,\delta)$2012-05-02