I understand the definition of Lipschitz functions when talking of functions of single variables. However, I have trouble understanding it when it is a multivariable function.
Suppose $f(t,x):D \times \mathbb{R} \to \mathbb{R}$ is continous in $t$ and locally Lipschitz in $x$ for each fixed $t \in D=[t_0,t_1]\subset \mathbb{R}$. Here $D$ is a closed finite interval. Does this imply that $f$ is locally Lipschitz in $x$ uniformly in $t \in D$?
I understand uniformly here means that for all $t \in D$ the Lipschitz constant is independent of $t$. Intuitively I don't think the implication holds. However, I have not been able to come up with a counter example.
One can built a counter example with
$$f:\left[ {0,1} \right] \times \mathbb{R} \to \mathbb{R}{\text{ such that }}f\left( {t,x} \right) = \left\{ {\begin{array}{*{20}{c}} {t\sin \left( {x/{t^2}} \right)}&{t \ne 0} \\ 0&{t = 0} \end{array}} \right.$$
This function is continuous in $t$ and even at zero since the limit as $t \to 0$ is indeed zero. This function is also continuously differentiable as the partial derivative with respect to $x$ given by $\cos \left(x/t\right) /t $ is also continuous except for exhibiting a pathology at $t=0$ (though it remains continuous as it grows unbounded).
Then by the Lipschitz condition, $$\left| {f\left( {t,x} \right) - f\left( {t,y} \right)} \right| = \left| {t\sin \left( {x/{t^2}} \right) - t\sin \left( {y/{t^2}} \right)} \right| \leqslant \left| t \right|\left| {\sin \left( {x/{t^2}} \right) - \sin \left( {y/{t^2}} \right)} \right|$$ The last term is bounded above by 2. Hence, $$\left| {f\left( {t,x} \right) - f\left( {t,y} \right)} \right| \leq 2\left| t \right| \Rightarrow \left| {x - y} \right|\frac{{\left| {f\left( {t,x} \right) - f\left( {t,y} \right)} \right|}}{{\left| {x - y} \right|}} \leqslant \frac{{2\left| t \right|}}{{\left| {x - y} \right|}}\left| {x - y} \right|$$ Then, $$\left| {f\left( {t,x} \right) - f\left( {t,y} \right)} \right| \leqslant L\left| {x - y} \right|{\text{ where }}L = \frac{{2\left| t \right|}}{{\left| {x - y} \right|}}$$ Clearly the value of $L$ depends on $t$ and also will grow arbitrarily large to satisfy the local Lipschitz continuity as $x \to y$. Thus there is no single value of $L$ that will serve as the Lipschitz constant for the entirety of the chosen domain.
Thanks to Prof. Nate Eldredge over at MathOverflow for the pointer.