Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f:\mathbb{R}\rightarrow\mathbb{R}$ be a continuous function and $g:\mathbb{R}\rightarrow\mathbb{R}$ be a Lipschitz function. Would you help me to prove that the system of differential equation

$$ x'=g(x)$$ $$y'=f(x)y $$

with initial value $x(t_0)=x_0$ and $y(t_0)=y_0$ has a unique solution.

Could I prove the uniqueness solution of $x'=g(x)$, $x(t_0)=x_0$ by Gronwall Inequality first then use the result to prove the second?

share|improve this question
    
My answer is suppose $(x_1(t),y_1(t))$ and $(x_2(t),y_2(t))$ is solution. First, write $x_1(t)=x_0+\int_{t_0}^t x'(s) ds$ the do the same for $x_2(t)$ and get $|x_1-x_2|=|\int_{t_0}^t g(x_1)-g(x_2) ds| \leq K \int_{t_0}^t |x_1-x_2| ds$. I doubt about this separation process. –  beginner Oct 18 '12 at 9:28

1 Answer 1

Your reasonning is correct. Since $g$ is Lipschitz and the first equation of the system involves only $x$, there is a unique solution $x(t)$ such that $x(t_0)=x_0$.

The second equation becomes $$ y'=f(x(t))\,y,\quad y(t_0)=y_0. $$ It is a linear equation and has a unique solution, given by $$ y(t)=y_0e\,^{\int_{t_0}^t f(x(s))ds}. $$

share|improve this answer
    
No simultaneous method to show directly that (x_1,y_1)=(x_2,y_2)? –  beginner Oct 18 '12 at 9:51
    
Since $f$ is assumedcontinuous, I do not see a way of proving uniqueness simultaneously (this does not mean that it can't be done). You first show uniqueness of $x$, and then of $y$. –  Julián Aguirre Oct 18 '12 at 10:00

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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