Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $C$ be the space of continuous and nondecreasing functions defined on $[0,1]$ and endowed with the sup norm. Let $T:C\rightarrow C$ be a continuous mapping, and consider the following expression: $$ U(Tz(x);z)=\int_{0}^{Tz(x)}\left[\int_{0}^{1}F(z(\xi))f(\xi)d\xi+\int_{s\in \Gamma(t,z)}\left\{F(t)-F(z(s))\right\}f(s)ds\right]^{n-1}dt $$ where $\Gamma(t,z)=\{s:[0,1]|s\geq z(t)\}$, and $F:[0,1]\rightarrow [0,1]$ is continuously differentiable and increasing; $F'=f$, $f(s)>0, s\in[0,1]$ and $f(s)=0,\,s\notin [0,1]$, $x\in[0,1]$, and $n>2$.

Suppose that I've managed to show that there exists a constant $K$ such that $$ ||U(Tz(x);z)-U(Ty(x);y)||\leq K||z-y|| \qquad z,y\in C $$ holds true.

What I want is to make a claim about $T$. Particularly, I'd like to show whether is true or not that the following hold:

$$ ||Tz(x)-Ty(x)||\leq C||z-y|| \quad z,y\in C $$ where $C$ is a constant independent of $z$ and $y$.

Does anyone has any idea how I can prove/disprove this? I have no clue whatsoever on how to proceed, and I do need some help to get through it. Can someone help me or point me the right direction on how to tackle this problem?

Any help/suggestion/insight/reference is greatly appreciated it!

share|cite|improve this question
up vote 0 down vote accepted

In the earlier question we saw that $|U(Ty(x);z)-U(Ty(x);y)|\le M\|z-y\|$. By the triangle inequality, $|U(Tz(x);z)-U(Ty(x);z)|\le (M+K)\|z-y\|$. On the other hand, $$|U(Tz(x);z)-U(Ty(x);z)|\ge \left|\int_{Ty(x)}^{Tz(x)} \left[1-\int_{s}^{1}F(z(\xi))f(\xi)d\xi\right]^{n-1}ds \right| \\ \ge |Tz(x)-Ty(x)|\min_{[Ty(x),Tz(x)]} \left[1-\int_{s}^{1}F(z(\xi))f(\xi)d\xi\right]^{n-1}$$ So if you can estimate the minimum from below by a positive number, you win. In other words, you need an upper bound on $\int_{s}^{1}F(z(\xi))f(\xi)d\xi$ which is less than $1$.

share|cite|improve this answer
Thanks Leonid, but I've changed the question a bit. In particular, notice the change in U (it's no longer the same as before). All what you said would work perfectly if I manage to show Lipschitz continuity of this U. But believe, I've been working for longer than a month on this and I can't prove/disprove it. Could you help me please? – Cristian Jul 11 '12 at 23:12
Leonid: sorry for the earlier confusion in the expression I gave you (the one in the question now is the correct one). The early question you mentioned allowed me to show the existence of the constant $K$ (using some equalities between the expressions)...but I am stuck here...and it's been almost two months thinking about it without any success... – Cristian Jul 11 '12 at 23:21
@Cristian Well, some of what I said still makes sense: if the integrand is bounded from below, then the difference of $U$ is bounded from below in terms of $|Tz(x)-Ty(x)|$, which gives a handle on a latter quality. But this is the point where I'm tuning out. You asked 7 questions on MSE, all with similar-looking, convoluted and unmotivated integral estimates. I've had enough. – user31373 Jul 11 '12 at 23:30
I appreciate your patience and help. I am not a mathematician and all my convoluted and unmotivated integrals come from a game theory model. I've studied by myself the math to solve these issues but there is too much going on (in terms of math) that I just don't get. This is why I asked help from mathematicians and you've been more than kind with your time to give some answers to my questions. It wasn't my intention to bother anyone so I apologize to you if I did it. Thanks. – Cristian Jul 11 '12 at 23:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.