MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

The problem is follow, I want to know weather there is a function $u\in \text{C}^{0}\left((-1,1)\right)$ but not $\text{C}^1((-1,1))$, such that $\lim\limits_{h\rightarrow 0^+}\frac{|u(x+h)-u(x)|}{\left|h\right|^{1/2}}=\sqrt{|x|},\forall x\in(-1,1)$.

I get this problem while constructing a counterexample for the problem:

If $\alpha+\beta=1,u\in\text{C}^{0,\alpha}(\Omega),$and $v=\frac{u(x+he)-u(x)}{|h|^\alpha}\in\text{C}^{0,\beta}(\Omega)$,where $e$ is a unit vector and $h$ is a small real number, then $u \in\text{C}^1(\Omega)$.

share|cite|improve this question

closed as off-topic by Michael Renardy, Andrey Rekalo, Daniel Moskovich, Willie Wong, Andrés E. Caicedo Jul 12 '13 at 5:54

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Michael Renardy, Willie Wong, Andrés E. Caicedo
If this question can be reworded to fit the rules in the help center, please edit the question.

Your second statement is rather strange. If $u$ is an arbitrary function from $\text{C}^{0,1/2}(\Omega)$ then $v\in \text{C}^{0,1/2}(\Omega_h)$, $\Omega_h=\{x\in\Omega\,|\,\text{dist}(x,\partial \Omega)>h\}$. But, generally speaking, $v$ wouldn't belong to $\text{C}^{1}(\Omega_h)$. – Andrew Jul 5 '13 at 16:21
You are right.I just want to construct such a function. And the function $u$ satisfies the equation I described is one. – Thomas Jul 6 '13 at 5:04
I think I made a mistake. There should be a exponent $\alpha$. – Thomas Jul 6 '13 at 5:08
For any such function the right derivative would be equal $+\infty$ for $x\ne0$: $$ \lim\limits_{h\rightarrow 0^+}\frac{u(x+h)-u(x)}{h}= \lim\limits_{h\rightarrow 0^+}\sqrt{|x|}{h^{-1/2}}=+\infty. $$ So it is not of $C^1$. – Andrew Jul 6 '13 at 8:46
You are right. But what I need is the existence of such a function. – Thomas Jul 7 '13 at 9:46

There is no such function. Any function with the property postulated would be monotone increasing on (0,1). But then it would have to be differentiable almost everywhere, which contradicts the assumption.

share|cite|improve this answer
Thanks for your answer. It is helpful. But what if I don't need $u$ to be monotone increasing on $(0,1)$. Just like the question I change,$\lim\limits_{h\rightarrow 0^+}\frac{|u(x+h)-u(x)|}{\left|h\right|^{1/2}}=\sqrt{|x|},\forall x\in(-1,1)$. Then $u$ may not be monotone increasing, in this case. – Thomas Jul 7 '13 at 9:52

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