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 $||f_y||_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 $||f_y||_{\mathbb{L}^{\infty}}$ and have it bounded. Is that correct?
the derivative for a Lipschitz function
1
$\begingroup$
real-analysis
ordinary-differential-equations
-
0In the ODE $dy/dt=f(t,y)$ the function $f$ is understood to be given, while $y$ is a solution we don't know yet. It seems that your question has nothing to do with the function $y(t)$, hence it's not really a question about the differential equation. Is this correct? – 2012-07-11
-
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