Does a strong solution to a SDE imply lipschitz condition?Growth condition for Ito diffusionsIs the solution to a driftless SDE with Lipschitz variation a martingale?existence/uniqueness of solution and Ito's formulaExample of a regular strong solution of an SDE, which doesn't satisfy a Lyapunov condition?Is the distribution of an Ito diffusion at time t absolutely continuous wrt Lebesgue measure?Strong solution SDE - independence of initial conditiionExistence and uniqueness of solution of a non linear SDEHow to prove a solution of SDE with Lipschitz condition is unbounded?Is the solution to this (simple) Stochastic Differential Equation unique?SDE existence and uniqueness

Why does nature favour the Laplacian?

Don’t seats that recline flat defeat the purpose of having seatbelts?

How can I place the product on a social media post better?

What route did the Hindenburg take when traveling from Germany to the U.S.?

To say I met a person for the first time

A ​Note ​on ​N!

What is the strongest case that can be made in favour of the UK regaining some control over fishing policy after Brexit?

Mjolnir's timeline from Thor's perspective

Size of electromagnet needed to replicate Earth's magnetic field

Is there an official tutorial for installing Ubuntu 18.04+ on a device with an SSD and an additional internal hard drive?

In order to check if a field is required or not, is the result of isNillable method sufficient?

Please, smoke with good manners

Unexpected email from Yorkshire Bank

How does a program know if stdout is connected to a terminal or a pipe?

what is the sudo password for a --disabled-password user

Examples of non trivial equivalence relations , I mean equivalence relations without the expression " same ... as" in their definition?

How to stop co-workers from teasing me because I know Russian?

Pulling the rope with one hand is as heavy as with two hands?

Binary Numbers Magic Trick

How to solve constants out of the internal energy equation?

Is the 5 MB static resource size limit 5,242,880 bytes or 5,000,000 bytes?

What is the most expensive material in the world that could be used to create Pun-Pun's lute?

Is it possible to determine the symmetric encryption method used by output size?

Can SQL Server create collisions in system generated constraint names?



Does a strong solution to a SDE imply lipschitz condition?


Growth condition for Ito diffusionsIs the solution to a driftless SDE with Lipschitz variation a martingale?existence/uniqueness of solution and Ito's formulaExample of a regular strong solution of an SDE, which doesn't satisfy a Lyapunov condition?Is the distribution of an Ito diffusion at time t absolutely continuous wrt Lebesgue measure?Strong solution SDE - independence of initial conditiionExistence and uniqueness of solution of a non linear SDEHow to prove a solution of SDE with Lipschitz condition is unbounded?Is the solution to this (simple) Stochastic Differential Equation unique?SDE existence and uniqueness













2












$begingroup$


Consider $dX_t=b(X_t,t)dt+sigma(X_t,t)dB_t$. I know that,



$|b(x,t)-b(y,t)|+|sigma(x,t)-sigma(y,t)|leq D|x-y|$ for some constant D implies the existence and uniqueness of a strong solution. However in Oksendal, to show that $dX_t=sign(X_t)dB_t$ doesn't have a strong solution another proof is presented, even though $sign(x)$ fails the lipschitz condition. I have seen it at a couple of more places for this equation.



My question: Is Lipschitz condition an iff condition for a strong solution?










share|cite|improve this question











$endgroup$
















    2












    $begingroup$


    Consider $dX_t=b(X_t,t)dt+sigma(X_t,t)dB_t$. I know that,



    $|b(x,t)-b(y,t)|+|sigma(x,t)-sigma(y,t)|leq D|x-y|$ for some constant D implies the existence and uniqueness of a strong solution. However in Oksendal, to show that $dX_t=sign(X_t)dB_t$ doesn't have a strong solution another proof is presented, even though $sign(x)$ fails the lipschitz condition. I have seen it at a couple of more places for this equation.



    My question: Is Lipschitz condition an iff condition for a strong solution?










    share|cite|improve this question











    $endgroup$














      2












      2








      2


      3



      $begingroup$


      Consider $dX_t=b(X_t,t)dt+sigma(X_t,t)dB_t$. I know that,



      $|b(x,t)-b(y,t)|+|sigma(x,t)-sigma(y,t)|leq D|x-y|$ for some constant D implies the existence and uniqueness of a strong solution. However in Oksendal, to show that $dX_t=sign(X_t)dB_t$ doesn't have a strong solution another proof is presented, even though $sign(x)$ fails the lipschitz condition. I have seen it at a couple of more places for this equation.



      My question: Is Lipschitz condition an iff condition for a strong solution?










      share|cite|improve this question











      $endgroup$




      Consider $dX_t=b(X_t,t)dt+sigma(X_t,t)dB_t$. I know that,



      $|b(x,t)-b(y,t)|+|sigma(x,t)-sigma(y,t)|leq D|x-y|$ for some constant D implies the existence and uniqueness of a strong solution. However in Oksendal, to show that $dX_t=sign(X_t)dB_t$ doesn't have a strong solution another proof is presented, even though $sign(x)$ fails the lipschitz condition. I have seen it at a couple of more places for this equation.



      My question: Is Lipschitz condition an iff condition for a strong solution?







      stochastic-calculus stochastic-integrals stochastic-analysis






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited 4 hours ago







      Who cares

















      asked 4 hours ago









      Who caresWho cares

      16713




      16713




















          1 Answer
          1






          active

          oldest

          votes


















          4












          $begingroup$

          No, Lipschitz continuity is not a necessary condition for the existence of a strong solution. There is, for instance, the following general result which goes back to Zvonkin:




          Let $(B_t)_t geq 0$ be a one-dimensional Bownian motion. If the coefficients of the SDE $$dX_t = b(t,X_t) , dt + sigma(t,X_t) , dB_t, qquad X_0 = x_0, tag1$$ are bounded, $b$ is measurable, $sigma$ is continuous and there exist constants $C>0$ and $epsilon>0$ such that $$|sigma(t,x)-sigma(t,y)| leq C sqrtx-y quad textand quad |sigma(t,x)| geq epsilon$$ for all $t geq 0$, $x,y in mathbbR$, then the SDE $(1)$ has a (unique) strong solution.




          Note that the result does not require any regularity assumptions on the drift $b$ (except from measurability) and only Hölder continuity of order $1/2$ for the diffusion coefficient $sigma$.



          A nice overview on known existence and uniqueness results for SDEs can be found in the book Singular Stochastic Differential Equations by Cherny & Engelbert.






          share|cite|improve this answer









          $endgroup$













            Your Answer








            StackExchange.ready(function()
            var channelOptions =
            tags: "".split(" "),
            id: "69"
            ;
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function()
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled)
            StackExchange.using("snippets", function()
            createEditor();
            );

            else
            createEditor();

            );

            function createEditor()
            StackExchange.prepareEditor(
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader:
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            ,
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            );



            );













            draft saved

            draft discarded


















            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3204672%2fdoes-a-strong-solution-to-a-sde-imply-lipschitz-condition%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown

























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            4












            $begingroup$

            No, Lipschitz continuity is not a necessary condition for the existence of a strong solution. There is, for instance, the following general result which goes back to Zvonkin:




            Let $(B_t)_t geq 0$ be a one-dimensional Bownian motion. If the coefficients of the SDE $$dX_t = b(t,X_t) , dt + sigma(t,X_t) , dB_t, qquad X_0 = x_0, tag1$$ are bounded, $b$ is measurable, $sigma$ is continuous and there exist constants $C>0$ and $epsilon>0$ such that $$|sigma(t,x)-sigma(t,y)| leq C sqrtx-y quad textand quad |sigma(t,x)| geq epsilon$$ for all $t geq 0$, $x,y in mathbbR$, then the SDE $(1)$ has a (unique) strong solution.




            Note that the result does not require any regularity assumptions on the drift $b$ (except from measurability) and only Hölder continuity of order $1/2$ for the diffusion coefficient $sigma$.



            A nice overview on known existence and uniqueness results for SDEs can be found in the book Singular Stochastic Differential Equations by Cherny & Engelbert.






            share|cite|improve this answer









            $endgroup$

















              4












              $begingroup$

              No, Lipschitz continuity is not a necessary condition for the existence of a strong solution. There is, for instance, the following general result which goes back to Zvonkin:




              Let $(B_t)_t geq 0$ be a one-dimensional Bownian motion. If the coefficients of the SDE $$dX_t = b(t,X_t) , dt + sigma(t,X_t) , dB_t, qquad X_0 = x_0, tag1$$ are bounded, $b$ is measurable, $sigma$ is continuous and there exist constants $C>0$ and $epsilon>0$ such that $$|sigma(t,x)-sigma(t,y)| leq C sqrtx-y quad textand quad |sigma(t,x)| geq epsilon$$ for all $t geq 0$, $x,y in mathbbR$, then the SDE $(1)$ has a (unique) strong solution.




              Note that the result does not require any regularity assumptions on the drift $b$ (except from measurability) and only Hölder continuity of order $1/2$ for the diffusion coefficient $sigma$.



              A nice overview on known existence and uniqueness results for SDEs can be found in the book Singular Stochastic Differential Equations by Cherny & Engelbert.






              share|cite|improve this answer









              $endgroup$















                4












                4








                4





                $begingroup$

                No, Lipschitz continuity is not a necessary condition for the existence of a strong solution. There is, for instance, the following general result which goes back to Zvonkin:




                Let $(B_t)_t geq 0$ be a one-dimensional Bownian motion. If the coefficients of the SDE $$dX_t = b(t,X_t) , dt + sigma(t,X_t) , dB_t, qquad X_0 = x_0, tag1$$ are bounded, $b$ is measurable, $sigma$ is continuous and there exist constants $C>0$ and $epsilon>0$ such that $$|sigma(t,x)-sigma(t,y)| leq C sqrtx-y quad textand quad |sigma(t,x)| geq epsilon$$ for all $t geq 0$, $x,y in mathbbR$, then the SDE $(1)$ has a (unique) strong solution.




                Note that the result does not require any regularity assumptions on the drift $b$ (except from measurability) and only Hölder continuity of order $1/2$ for the diffusion coefficient $sigma$.



                A nice overview on known existence and uniqueness results for SDEs can be found in the book Singular Stochastic Differential Equations by Cherny & Engelbert.






                share|cite|improve this answer









                $endgroup$



                No, Lipschitz continuity is not a necessary condition for the existence of a strong solution. There is, for instance, the following general result which goes back to Zvonkin:




                Let $(B_t)_t geq 0$ be a one-dimensional Bownian motion. If the coefficients of the SDE $$dX_t = b(t,X_t) , dt + sigma(t,X_t) , dB_t, qquad X_0 = x_0, tag1$$ are bounded, $b$ is measurable, $sigma$ is continuous and there exist constants $C>0$ and $epsilon>0$ such that $$|sigma(t,x)-sigma(t,y)| leq C sqrtx-y quad textand quad |sigma(t,x)| geq epsilon$$ for all $t geq 0$, $x,y in mathbbR$, then the SDE $(1)$ has a (unique) strong solution.




                Note that the result does not require any regularity assumptions on the drift $b$ (except from measurability) and only Hölder continuity of order $1/2$ for the diffusion coefficient $sigma$.



                A nice overview on known existence and uniqueness results for SDEs can be found in the book Singular Stochastic Differential Equations by Cherny & Engelbert.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 3 hours ago









                sazsaz

                83.1k863132




                83.1k863132



























                    draft saved

                    draft discarded
















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid


                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.

                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3204672%2fdoes-a-strong-solution-to-a-sde-imply-lipschitz-condition%23new-answer', 'question_page');

                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    Popular posts from this blog

                    How to create a command for the “strange m” symbol in latex? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)How do you make your own symbol when Detexify fails?Writing bold small caps with mathpazo packageplus-minus symbol with parenthesis around the minus signGreek character in Beamer document titleHow to create dashed right arrow over symbol?Currency symbol: Turkish LiraDouble prec as a single symbol?Plus Sign Too Big; How to Call adfbullet?Is there a TeX macro for three-legged pi?How do I get my integral-like symbol to align like the integral?How to selectively substitute a letter with another symbol representing the same letterHow do I generate a less than symbol and vertical bar that are the same height?

                    Българска екзархия Съдържание История | Български екзарси | Вижте също | Външни препратки | Литература | Бележки | НавигацияУстав за управлението на българската екзархия. Цариград, 1870Слово на Ловешкия митрополит Иларион при откриването на Българския народен събор в Цариград на 23. II. 1870 г.Българската правда и гръцката кривда. От С. М. (= Софийски Мелетий). Цариград, 1872Предстоятели на Българската екзархияПодмененият ВеликденИнформационна агенция „Фокус“Димитър Ризов. Българите в техните исторически, етнографически и политически граници (Атлас съдържащ 40 карти). Berlin, Königliche Hoflithographie, Hof-Buch- und -Steindruckerei Wilhelm Greve, 1917Report of the International Commission to Inquire into the Causes and Conduct of the Balkan Wars

                    Category:Tremithousa Media in category "Tremithousa"Navigation menuUpload media34° 49′ 02.7″ N, 32° 26′ 37.32″ EOpenStreetMapGoogle EarthProximityramaReasonatorScholiaStatisticsWikiShootMe