6
$\begingroup$

I was asked to study the following map: let $I=[0,1]$ and let $f(s)=\log(1+s^2)$ for any $s\in\mathbb R$. For every $u\in L^1(I,\mathbb R)$ we set $(F(u))(x)=\int_0^xf(u(t))\mathrm d t.$

First of all I had shown that $F$ maps $L^1(I,\mathbb R)$ into itself. Then the second point was to show that $F$ is Lipschitz continuous from $L^1(I,\mathbb R)$ into itself with Lipschitz constant less than or equal than $1$, and I've done that.

Finally the problem asked to show that the Lipschitz constant couldn't be less than $1$. My first approach was to use the Caccioppoli Banach lemma to derive a sort of a contradiction. However if you study the integral equation $\begin{cases}u(x)=\int_0^x\log(1+u(t)^2)\mathrm d t\\ u(0)=0,\end{cases}$ then by unicity of the solution one sees that $u\equiv 0$ is the only fixed point... if I am not mistaken.

Then i tried to find a sequence of function $u_\lambda\in L^1(I,\mathbb R)$, with $\lambda<1$ such that, $\|Fu_\lambda\|_{L^1}>\lambda\|u_\lambda\|_{L^1}$, but i had no success.

Can anybody help me please? thank you...

EDIT: As I have written in the comment after DId answer, I don't think that his method matches my idea of proceeding in the exercise.. as it is written, it sounds troublesome to me.. Can anyone help me in finishing the problem?

Ps: sorry for accepting the answer, but as I wrote in the comment, I rushed in checking the detail because that kind of functions were also my first candidate to solve the exercise. However, let me again thank Did for answering.

1 Answers 1

3

Consider $u_{a,b}=a\mathbf 1_{(0,b)}$ with $0\lt b\lt 1\leqslant a$, and $\ell(a)=\log(1+a^2)$.

Then $\|u_{a,b}-u_{1,b}\|_1=(a-1)b$ and $F(u_{a,b})(x)=\ell(a)\min\{x,b\}$ hence $ \|F(u_{a,b})-F(u_{1,b})\|_1=(\ell(a)-\ell(1))\int_0^1\min\{x,b\}\mathrm dx=(\ell(a)-\ell(1))b(1-\tfrac12b). $ Since $\ell'(1)=1$, $\|F(u_{a,b})-F(u_{1,b})\|_1\sim (a-1)b=\|u_{a,b}-u_{1,b}\|_1$ when $a\to1^+$ and $b\to0$. In particular, no inequality $\|F(u)-F(v)\|_1\leqslant c\|u-v\|_1$ may hold for every integrable functions $u$ and $v$, if $c\lt1$.

On the other hand, $\ell$ is $1$-Lipschitz hence, for every $x$ in $(0,1)$, $ |F(u)(x)-F(v)(x)|\leqslant\int_0^1|\ell(u)-\ell(v)|\leqslant\int_0^1|u-v|=\|u-v\|_1. $ This shows that $F$ is $1$-Lipschitz but not $c$-Lipschitz for any $c\lt1$.

  • 0
    Please do not feel sorry, my previous hint was misleading hence I am the one who should apologize. See revised version.2012-05-30