1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

I Lipschitz Condition

  1. Jun 7, 2018 #1
    Hi, as I see Lipschitz condition is written as:

    |f(x)-f(x')| <= M*|x-x'|

    and minimum M is called Lipschitz constant. I would like to ask how the minimum M is found out? For instance for many convergence theorem include Lipschitz condition and no say something about value of M but how M is derived how we can reach out its value??
     
  2. jcsd
  3. Jun 7, 2018 #2

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    There is usually no need to know the value of ##M##, only that it's uniformly continuous. Sometimes, it's important to know, whether ##M<1## in which case we get a fixed point, but in general, only the fact, that ##M## is independent of the point is important, at which continuity is examined Otherwise, it depends on the case, so there is no general answer possible, except, that it isn't important, except eventually in numeric algrithms.
     
  4. Jun 8, 2018 #3
    In some situations where we need convergence, for instance |f(x)-f(x')| <= M*b*|x-x'| may be obtained for relevant situation and we can say M*b < 1 by the way b is a variable we need to determine in order to obtain convergence. Thus if we want to know b and we want M*b < 1 then we need to know the range of M but in that case how do we know M?? without M we can not determine range of b to ensure convergence...
     
  5. Jun 8, 2018 #4

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    Again, there is no general answer which applies to all cases. You can try to estimate ##M## by the approximation ##\dfrac{f(x)-f(x_0)}{x-x_0}=f\,'(x_0)+r(x_0)##. But in general, you only have continuity, so it depends on the example.
     
  6. Jun 8, 2018 #5

    Mark44

    Staff: Mentor

    To be crystal clear here, "it" in the "it's uniformly continuous" part refers to the function f, not the constant M.

    BTW, I edited the thread level from A to I.
     
  7. Jun 13, 2018 #6
    For instance in that link http://www.mast.queensu.ca/~speicher/Section7.pdf and at the bottom of page 4, you will see that in order to ensure the contraction mapping then Lipschitz constant multiplied by (b-a) must be less than 1 = L*(b-a)<1, so in order to decide on how to pick the b and a to ensure contraction mapping we have to know Lipschitz constant "L". Here in that case we have to definitely know the L but how we again determine it ??
     
  8. Jun 13, 2018 #7

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    Yes.
    That depends on the example. In yours: What is ##f\,?##
     
  9. Jun 13, 2018 #8

    Mark44

    Staff: Mentor

    What he said -- you can't determine the constant without knowing the function involved.
     
  10. Jun 14, 2018 #9
    I have not seen that "L" is determining for a given specific "f"
    So could you explain to me how to find L for a specific "f" you improvise for this time? Also if there is a General way to find L for arbitrary function could you lead the way for me for instance explaining the process of finding constant "L"?
     
  11. Jun 14, 2018 #10

    Mark44

    Staff: Mentor

    Here's an easy one: f(x) = 2x on the interval [0, 4]. See if you can figure out a value for L.
     
  12. Jun 14, 2018 #11

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    ... and then compare it with ##g(x) := \dfrac{1}{x}## on ##(0,1]##.
     
  13. Jun 15, 2018 #12
    Let say by the mean value theorem ( f (x)- f (y) )/ (x-y) <= f'(z) for x < z < y and we need to find bound L with | f'(z)|<=L, so in order to find maximum of f' we need to equate f'' to 0 and f''' must be < 0 BUT for GENERAL NONLINEAR f I consider we should use some kind of iterations like newton methods. For instance in the equation f'' = 0 let's say we reached some local point BUT the value just found from f" = 0 using iteration may not satisfy f"' < 0 so then what happens?? We iterate and until satisfy 2 conditions ?? We iterate until almost infinity??
     
  14. Jun 15, 2018 #13

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    Don't use these theorems, simply look for ##|f(x)-f(y)|< L\cdot |x-y|## with ##f(x)=2x## which should be quite easy, and then for ##f(x)=\frac{1}{x}## which might be a bit of a problem. What does Lipschitz continuity mean in words?
     
  15. Jun 15, 2018 #14
    My previous question relates to how to find constant L in general nonlinear cases of f (for instance x(t)^22 + x* dx/dt)?? What would you do @fresh_42 ??? I try to grasp the main logic that is why asking
     
  16. Jun 15, 2018 #15

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    Again, there is no general way. Given an example, a function might or might not be Lipschitz continuous. And if, it depends on the function and eventually the interval which constant can be chosen.

    Your differential equation is ambiguous, a) because you left out brackets which are necessary in a linear notation and that's why we use LaTeX, cp. https://www.physicsforums.com/help/latexhelp/, and b) because it is no equation, and thus defines no function(s).

    It is hard to answer, if there is none.
     
  17. Jun 15, 2018 #16

    Mark44

    Staff: Mentor

    In addition to what @fresh_42 said about this not being an equation, this sure looks like a typo - ##x(t)^{22}## seems odd. Also, why do you have x(t) (to the power 22) in one place, and just x in the other term?
     
  18. Jun 17, 2018 #17
    I just wrote the equation x(t)^22 + x(t)* dx/dt = 0 to give weird nonlinear case while finding lipschitz constant. By the way, I believe we do not have a chance to determine lipschitz constant when we have weird nonlinear equations. Thus we may not know whether or not we reach the exactly converged point for those equations because of the lack of determined Lipschitz constant. So what should we do to ensure convergence exactly?? what kind of tool should we use to make ourselves know the iterations are going to converge when we have weird nonlinear equations??
    I mean lipschitz condition measures the convergence is going to be provided in future but when lipschitz can not be determined for complicated function then what are the other methods to see the convergence is going to be provided in future??
     
    Last edited: Jun 17, 2018
  19. Jun 17, 2018 #18

    fresh_42

    User Avatar
    2017 Award

    Staff: Mentor

    Attend a lecture in numerical analysis.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted