2

I found the following definition in a source while reading Existence and Uniqueness of solution of IVP

While understanding the concept of Existence and Uniqueness Theorem for Initial Value Problems of System of Ordinary Differential Equations, I first came across "vector - valued functions" and the condition for the uniqueness of solution in vector valued function (Lipschitz Condition for Vector Valued Function).

As mentioned in the picture attached above, we have always checked the Lipschitz condition in the vector variable $\mathbf{x}$ for the vector valued function $\mathbf{X}$.

My question here is that can we not show the Lipschitz condition for the scalar variable $t$ instead of the vector variable $\mathbf{x}$?

I also tried one example of a vector valued function $f\left( x, \mathbf{y} \right) = \left( 3x + 2y_1, y_1 - y_2 \right)$ where $\mathbf{y} = \left( y_1, y_2 \right)$.

To check the Lipschitz condition in the scalar variable x, I proceeded as follows:-

$$\left| f\left( x_2, \mathbf{y} \right) - f\left( x_1, \mathbf{y} \right) \right| = \left| \left( 3 \left( x_2 - x_1 \right), 0 \right) \right| \leq 3 \left| x_2 - x_1 \right|$$

So, I would like to ask here that is this approach correct? Or do we have to always check Lipschitz condition for vector valued function in the vector variable?

Note: The picture attached above has a phrase iff, however I think it is because the article talks about system of differential equations and the uniqueness of the solution to the system. But, in this question, I ask in general if we can check Lipschitz condition for the scalar variable.

Aniruddha Deshmukh
  • 3,997
  • 1
  • 13
  • 33
  • this question makes no sense. The definition itself says it involves the vector variable. So you must check it on the vector variable. – dezdichado Oct 12 '17 at 06:51
  • But what if we check it on the scalar variable? – Aniruddha Deshmukh Oct 12 '17 at 06:53
  • What do you like to know? If checking the Lipschitz-condition on the scalar variable is sufficient for the function to be Lipschitz on the vector variable? Or do you want to know, if you can prove existence and/or uniqueness, if you just have a Lipschitz condition in the scalar variable? In both cases the answer would be in general no, for example $f(x,t)=\sqrt{x}$ with initial condition $x(0)=0$. (No uniqueness and no Lipschitz condition in $x$ in this case ) – humanStampedist Oct 12 '17 at 09:36
  • All your views over the question are absolutelt correct. But, as far as I have learnt, Lipschitz condition is to be satisfied in a particular variable. Here in the definition there is an iff condition involving the vector variable. Threfore, I think that it would mean we cannot have Lipschitz condition in scalar variable. And that is my question. Can we have Lipschitz condition in the scalar variable for the vector valued function so given to us? – Aniruddha Deshmukh Oct 12 '17 at 11:48
  • The definition needs a Lipschitz condition in the vector variable. It does not specify anything about the scalar variable. So it does not matter whether $f$ is Lipschitz in the scalar variable or not. – humanStampedist Oct 12 '17 at 14:09
  • 1
    Alright! So, we may conclude the discussion that as per the context given, we can check Lipschitz condition in any variable may it be scalar or vector. Here, since we are talking about the existence and uniqueness of solution to a system of differential equations, we consider the vector variable. – Aniruddha Deshmukh Oct 12 '17 at 14:33

0 Answers0