Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Picard's and Peano's Theorem

  1. Apr 12, 2007 #1

    JasonRox

    User Avatar
    Homework Helper
    Gold Member

    What are they? I can't find it on the internet or in my two different textbooks. It's not anywhere in the index.

    Also, what is the Cauchy problem?

    That's from our review. I don't know what the Picard Theorem is (I think I know what it is just by reading the above.), but most importantly what is the Cauchy Problem?

    Thanks.
     
  2. jcsd
  3. Apr 12, 2007 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    The 'Cauchy problem' is exactly what you give: the "initial value" problem: Solve x'(t)= f(t,x) with the condition x(t0)= x0.

    Picard's theorem is what you probably guessed:

    Given any point in the plane, (x0, y0), and a function f(x,y), continuous on some neighborhood of (x0, y0) and Lipschitz in y on that neighborhood, then there exist a unique function y(x) satisfying y'= f(x,y) and y(x0)= y0.

    A "neighborhood" of a point is an open set containing that point.

    A function, f(x), is "Lipschitz" on a set if and only if there exist a positive number C such that for any x, y in that set, |f(x)-f(y)|< C|x-y|.

    It's easy to see that if f(x) is Lipschitz on a set then it is continuous at every point of that set. You can use the mean value theorem to show that if a function is differentiable at every point of a set, then it is Lipschitz on the set (notice that, while "continuous" and "differentiable" are defined at points, Lipschitz is defined on a set). Many introductory differential equations texts say "differentiable with respect to y at every point of the set" which is "sufficient" (since that function must be Lipschitz) but not necessary since there exist functions that are Lipschitz on a set but not differentiable.

    If f(x,y) is continuous but not Lipschitz on a set, then there may be many functions satisfying the differential equation and "initial condition". For example, f(x,y)= y1/3 is continuous on any neighborhood of (0,0) but is not Lipschitz on such a neighborhood. dy/dx= y1/3 can be integrated as y-1/3dy= dx so
    (3/2)y2/3= x+ C so y(x)= (2/3)(x+ C)3/2. Taking C= 0, y(x)= (2/3)x3/2 satisfies that equation as well as y(0)= 0. But y(x)= 0 for all x also obviously satisfies that equation as well as y(0)= 0. In fact, given any a, y(x)= (2/3)(x-a)3/2 satisfies that equation as well as y(a)= 0. Taking any negative number b, the function defined as y(x)= (2/3)(x-b)3/2 if x< b, y(x), y(x)= 0 if b< x< a, y(x)= (2/3)(x-a)3/2 satisfies the differential equation (even at x=b and x= a) and y(0)= 0.
     
    Last edited: Apr 12, 2007
  4. Apr 12, 2007 #3

    JasonRox

    User Avatar
    Homework Helper
    Gold Member

    Thanks a lot. I appreciate it.

    It's what I guessed for the Picard's theorem. Now, I got the Cauchy problem out of the way too.
     
  5. Apr 12, 2007 #4

    JasonRox

    User Avatar
    Homework Helper
    Gold Member

    Another question...

    What is that?
     
  6. Apr 13, 2007 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Picard's method for solving an initial value problem really formed the basis for his proof.

    Given dx/dt= f(x,t), x(t0)= X0
    for a sequence as follows.
    x0(t)= X0 (i.e. is a constant function)
    Solve dx/dt= f(X0,t) by integrating to get x1(t) (choosing the constant of integration so that x1(t0)= X0)

    Now solve dx/dt= f(x1(t),t) by integrating. Iterate, getting a sequence of functions {xn(t)} that, if it converges, converges to the solution to the initial value problem.

    For example, suppose the differential equation is dx/dt= x, x(0)= 1.
    1) Solve dx/dt= 1, x(0)= 1: Integrating, x(t)= t+ C and x(0)= C= 1 so
    x(t)= t+ 1.
    2) Solve dx/dt= t+ 1, x(0)= 1: Integrating, x(t)= (1/2)t2+ t+ C and x(0)= C= 1 so x(t)= (1/2)t^2+ t+ 1.
    3) Solve dx/dt= (1/2)t^2+ t+ 1, x(0)= 1: Integrating, x(t)= (1/6)t^3+ (1/2)t+ t+ C and x(0)= C= 1 so x(t)= (1/6)t^3+ (1/2)t^2+ t+ 1.

    You see what's happening: with each iteration we get one more term in the Taylor's series for ex which is, of course, the solution to this problem.

    This mimics the sequence method used in Picard's proof of his theorem.
     
  7. Apr 13, 2007 #6

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    its a limit process for finding successively better approximatiions to a solkution by iterating.
     
  8. Nov 15, 2008 #7
    Hi,
    sorry about bringing an old post up, but i need help about this example. I've an exam this monday and I looked at last years', there were some questions about Cauchy-Lipschitz-Picard theorem with this example. Question 1 is:

    Using "Existence and Uniqueness" theorem, is it possible to show that the problem y' = y1/5 , y(0) = 0 has only one solution?

    Question 2 is the same but the function is:
    f(x,y) is defined,

    (4x2y)/(x4 + y2), (x,y) is not (0,0)
    0, (x,y) = (0,0)


    y' = f(x,y)
    y(0) = 0


    Since f(x,y) is continuous and differentiable, and it's derivative is continuous, I couldn't figure out how to show ||f(x, y1) - f(x, y2)|| <= N ||y1-y2|| (as it seems from the quote, first one is cannot be written like this?)

    I'm sorry if i did sth wrong, but I don't have much time, so I just asked it here.

    Thanks
     
    Last edited: Nov 16, 2008
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Picard's and Peano's Theorem
  1. Picard's Iteration (Replies: 4)

  2. Picard iteration! (Replies: 5)

  3. Picard's Iteration (Replies: 7)

Loading...