Unbounded function with integrable weak derivative

556 Views Asked by At

I was wondering whether it is possible to construct a function $\space f:\left( -1,1 \right) \rightarrow \mathbb{R} \space$ such that following holds:

(1) $\space f \in L^1 \left ( -1,1 \right )$

(2) $\space f \notin L^{\infty} \left ( -1,1 \right )$

(3) $\space$there is a weak derivative $\mathrm{D}f$ of the function $f$ on $ \left ( -1,1 \right )$

(4) $\space \mathrm{D}f \in L^1 \left ( -1,1 \right )$.

In other words: $\space f \space$ belongs to the Sobolev space $\space W^{1,1} \left ( -1,1 \right ) \space$ but doesn't belong to $L^{\infty} \left ( -1,1 \right )$.

$\space$

I know that this is not possible in terms of classical derivatives, but I'm curious whether it can be done weakly. Unfortunately my knowledge of Sobolev spaces is not deep enough to solve this problem.

I will appreciate any help.

2

There are 2 best solutions below

2
On BEST ANSWER

This situation can not happen in $1$D. This is because $W^{1,1}(I)$, where $I$ is an open interval, coincides with the space of absolutely continuous functions. As absolute continuity implies uniform continuity you can continuously extend your function to $\overline I$ by Heine-Cantor theorem, and easily infer the boundedness.

You can find a function with the desired properties in higher dimensions. Namely, you are looking for some set open, bounded $D$ with Lipschitz boundary such that $W^{1,1}(D)$ is not embedded in $L^\infty(D)$.

Sobolev embeddigs theorem say that, given $D\subset \mathbb{R}^n$

$$W^{k,p}(D) \hookrightarrow W^{h,q}(D)$$ if and only if $$\frac{kp-n}{p} \ge \frac{hq-n}{q}$$ with strict inequality if $q=\infty$ (unless $n=1$, in which the large inequality suffices).

In particular, as soon as $W^{k,p}$ magic number $(kp-n)/p$ is non positive, you do not have the embedding in $L^\infty$.

0
On

No such functions exist, and this is a particular case of the Sobolev embedding theorem (https://en.wikipedia.org/wiki/Sobolev_inequality).