For the solution of the ODE $dy/dt=f(t,y)$, $f$ has to be Lipschitz for all $t$. So, if $f$ is a function that is not differentiable with respect to $y$ but Lipschitz, what can I say about $f_y$? Can I estimate some norm of it? I can't say $\lVert f_y\rVert_C$ because $f$ is not $C^1$, however, I can say that $f_y$ is defined in a weak sense and then this weak derivative is bounded (by the Lipschitz property) and I can estimate $\lVert f_y\rVert_{L^{\infty}}$ and have it bounded. Is that correct?
the derivative for a Lipschitz function
1
$\begingroup$
real-analysis
ordinary-differential-equations
-
0I just thought what does it mean to be Lipshitz in case of non differentiability. I understand that we don't know range for $y$ and thus can't say what the constant that bounds derivative is, but we just know it exists. – 2012-07-12
1 Answers
1
Yes, every Lipschitz function (on an open subset $\Omega\subset \mathbb R^n$) has a weak derivative which belongs to $L^\infty(\Omega)$. The $L^\infty$ norm of the derivative is bounded by the Lipschitz constant of the function.
Under appropriate assumptions on the geometry of $\Omega$ one can reverse this implication and obtain the global Lipschitz condition from the boundedness of the derivative.
-
0every lipschitz function has a derivative a.e. by Rademacher, how do we know it has a weak derivative? – 2015-09-16