Let $f$ and $g$ two function bounded such that : $$f: [0,1] \to \mathbb{R}$$ $$g: [0,1] \to \mathbb{R}$$ Let : $$\varphi(u)=\sup_{x\in[0,1]}(f(x)+u\ g(x)),\quad u \in \mathbb{R}$$ Show that $\varphi$ is Lipschitz continuous.

We have to show that

$$\forall(x,y)\in R^2,~|\varphi(x)-\varphi(y)|\le k~|x-y|.$$

$f$ and $g$ are two bounded function then $\exists M\in \mathbb{R}$ such that $\forall x\in [0 ,1]$ we have $|f(x)| \leq M $ and $|g(x)| \leq M$. Let $u,v\in \mathbb{R}$. Let $x\in [0,1]$. we have : $$f(x) + u.g(x) = f(x) + v.g(x) + (u -v)g(x)\leq \varphi(v) + |u -v|.M$$

How can I goes to $\sup$ to say :

$$\varphi(u)\leq \varphi(v) + |u-v|.M$$.

Edit :

is that because of $f,g$ are bounded over compact $[0,1]$ then supremum of $f(x) + u.g(x)$ exists. but the problem is that $\sqrt{x}$ is bounded over compact $[0,1]$ and see this $\sqrt{x}$ isn't Lipschitz function

  • $\begingroup$ What do you mean with "sup" of a constant in the definition of $\varphi$? Also,$f,g$ are only defined on $[0,1]$, but it seems as if you are plugging in arbitrary real numbers. $\endgroup$ – PhoemueX Jan 11 '15 at 10:57
  • $\begingroup$ Can you specify over what set the supremum is over? If it is over $u \in \mathbb{R}$, then $\phi$ should not depend on $u$. $\endgroup$ – Empiricist Jan 11 '15 at 11:03
  • $\begingroup$ @PhoemueX it was just typo why you didn't fix it $\endgroup$ – Educ Jan 11 '15 at 11:36
  • $\begingroup$ @SRX i just forget to add supremum over $[0,1]$ $\endgroup$ – Educ Jan 11 '15 at 11:38
  • 1
    $\begingroup$ It was honestly not clear to me what you were asking. If you had written $x$ and $u$ instead of just $u$, I might have guessed. Now the question looks fine. $\endgroup$ – PhoemueX Jan 11 '15 at 13:08

Notational confusion nonwithstanding, it is clear from the proof you began that the function you consider is $$\varphi(u)=\sup_{x\in[0,1]}(f(x)+u\ g(x)),\quad u \in \mathbb{R}$$ Following what you already did, let $M=\sup_{[0,1]}|g|$ (no need to worry about $f$). Fix $u$ and $v$ and note that for all $x\in [0,1]$ $$ f(x)+u\ g(x) \le (f(x)+v\ g(x))+M|u-v| \le \varphi(v)+M|u-v| \tag{1} $$ Formula (1) says that the number $\varphi(v)+M|u-v|$ is an upper bound for the set $\{f(x)+u\ g(x):x\in[0,1]\}$. The supremum, by definition, is the least upper bound. Hence, $$ \varphi(u)\le \varphi(v)+M|u-v| \tag{2} $$ Repeat the above with $u,v$ interchanged to get $$ \varphi(v)\le \varphi(u)+M|u-v| \tag{3} $$ Finally, combine (2) and (3) to obtain $$ |\varphi(u)- \varphi(v)|\le M|u-v| \tag{4} $$

  • $\begingroup$ we have that $M=\sup_{[0,1]}|g|$ since g is bounded over $[0,1]$ and you add $|.|$ because we don't know if g is increasing or decreasing am i right $\endgroup$ – Educ Jan 11 '15 at 16:02
  • $\begingroup$ Yes, the supremum is finite because a continuous function on $[0,1]$ is bounded. I put absolute value because $g$ could take positive or negative values. It does not matter if it's increasing or decreasing. $\endgroup$ – user147263 Jan 11 '15 at 16:14
  • $\begingroup$ they said only that are bounded over compact not continuous how did you know they are continuous $\endgroup$ – Educ Jan 11 '15 at 17:21
  • $\begingroup$ Okay, they are bounded and that's the only thing I used. Forget that I said "continuous". $\endgroup$ – user147263 Jan 11 '15 at 17:57
  • $\begingroup$ but can we say that they are continuous $\endgroup$ – Educ Jan 11 '15 at 18:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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