Results 1 to 2 of 2

Thread: existence of solutions using Gronwall

  1. #1
    Senior Member
    Joined
    Feb 2008
    Posts
    410

    existence of solutions using Gronwall

    I must complete the following exercise by the end of tonight:

    Let $\displaystyle f\in C((a,b)\times\mathbb{R}^n,\mathbb{R}^n)$ such that

    $\displaystyle |f(t,x)|\leq p(t)|x|+q(t)$, $\displaystyle (t,x)\in(a,b)\times\mathbb{R}^n$,

    where $\displaystyle p,q$ are continuous on $\displaystyle (a,b)$. Show that the solutions of the IVP

    $\displaystyle x'=f(t,x)$, $\displaystyle x(t_0)=x_0$

    exist on $\displaystyle (a,b)$.
    It is suggested that we use the following formulation of the Gronwall inequality:

    Suppose that $\displaystyle u(t)$ is a continuous solution of

    $\displaystyle \displaystyle u(t)\leq f(t)+\int_{t_0}^t h(s)u(s)ds$, $\displaystyle t\geq t_0$,

    where $\displaystyle f,h$ are continuous and $\displaystyle h(t)\geq 0$ for $\displaystyle t\geq t_0$. Then

    $\displaystyle \displaystyle u(t)\leq f(t)+\int_{t_0}^t f(s)h(s)\exp\left(\int_s^t h(\sigma)d\sigma\right)ds$, $\displaystyle t\geq t_0$.
    Also, I suspect (though I am not certain) that the following theorem, part of the unit of this exercise, might be useful:

    Let $\displaystyle D=(a,b)\times\mathbb{R}^n$, $\displaystyle -\infty\leq a<b\leq\infty$, $\displaystyle t_0\in(a,b)$, $\displaystyle f\in C(D,\mathbb{R}^n)$, and $\displaystyle f$ is bounded. Then every solution of $\displaystyle x'=f(t,x)$, $\displaystyle x(t_0)=x_0$, exists on $\displaystyle (a,b)$.
    Any help would be much appreciated!
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member bkarpuz's Avatar
    Joined
    Sep 2008
    From
    R
    Posts
    481
    Thanks
    2
    Quote Originally Posted by hatsoff View Post
    I must complete the following exercise by the end of tonight:
    ...
    Any help would be much appreciated!
    This may help you
    http://www.mathhelpforum.com/math-he...ons-91772.html
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. existence and uniqueness of nth-order IVP solutions
    Posted in the Differential Equations Forum
    Replies: 2
    Last Post: Sep 8th 2010, 02:51 PM
  2. Proof of Gronwall's Inequality
    Posted in the Differential Equations Forum
    Replies: 3
    Last Post: Jul 27th 2010, 09:01 AM
  3. Existence of Solutions to ODEs
    Posted in the Differential Equations Forum
    Replies: 3
    Last Post: Jul 17th 2010, 01:44 AM
  4. Showing the existence of solutions
    Posted in the Calculus Forum
    Replies: 13
    Last Post: Jan 18th 2010, 11:57 AM
  5. Existence and uniqueness of global solutions
    Posted in the Differential Equations Forum
    Replies: 4
    Last Post: Jun 11th 2009, 10:27 AM

Search Tags


/mathhelpforum @mathhelpforum