Skip to main content

Abstract

In this chapter, we first discuss the stochastic calculus of multi-dimensional diffusion processes with semi-smooth functions, and we derive the Tanaka formula for multi-dimensional semi-smooth functions with the local time on the semi-smooth curve along its gradient direction. With this formula, we extend the relative optimization approach to stochastic control to multi-dimensional systems. Optimality conditions are derived for systems with semi-smooth value functions and no viscosity solution is involved. This approach provides new insights and motivates the research on stochastic control and stochastic calculus of multi-dimensional systems, in particular, for problems with non-smooth features and degenerate points. The analysis is intuitive and results are preliminary, and hopefully they would motivate new research topics.

In a sense, mathematics has been most advanced by those who distinguished themselves by intuition rather than by rigorous proofs [1].

Felix Klein

German Mathematician

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In most cases, we choose the word “curve.”

  2. 2.

    With no confusion, we use U to denote both a curve and a function.

  3. 3.

    Meaning the curve itself is smooth, not a curve containing smooth points of a function. In this sense, a semi-smooth curve is better to be called “a semi-smooth-point curve.”

  4. 4.

    Precisely, \(\{dx_1, dx_2 \}\) in this lemma are the coordinates with the smooth quadrants; they are different from the original coordinates of (5.1). For notational simplicity, instead of using \(\{ dx'_1 , dx'_2 \}\), we keep the same notation.

  5. 5.

    The results in Lemmas 5.7 and 5.8 are intuitively clear, but their proofs are technically cumbersome. So we just provide an intuitive explanation, and the detailed proofs have to be worked out.

  6. 6.

    The provenance of this quote is not clear. I first saw it in Øksendal’s book [24], according to “Quote Investigator,” the earliest instance of this quote is by Earl C. Kelley in “The Workshop Way of Learning,” Page 2, Harper and Brothers, New York, 1951.

  7. 7.

    Note that here the “\(\varDelta X(t)\)” is due to \(\varDelta x\), not \(\varDelta t\).

References

  1. Weyl H (2002) Topology and abstract algebra as to roads of mathematical comprehension. In: Shenitzer A, Stillwell J (eds) Mathematical evolutions. The Mathematical Association of America, p 149

    Google Scholar 

  2. Atar R, Budhiraja A, Williams RJ (2007) HJB equations for certain singularly controlled diffusions. Ann Appl Probab 17:1745–1776

    Article  MathSciNet  Google Scholar 

  3. Bapat RB (1991) Linear algebra and linear models, 2nd edn. Springer, Berlin

    Google Scholar 

  4. Fakhouri I, Ouknine Y (2017) Ren Y (2017) Reflected backward stochastic differential equations with jumps in time-dependent random convex domains. Published on line, Stochastics

    Google Scholar 

  5. Pilipenko A (2014) An introduction to stochastic differential equations with reflection. Lectures in pure and applied mathematics. Potsdam University Press, Potsdam

    Google Scholar 

  6. Ramanan K (2006) Reflected diffusions defined via the extended Skorokhod map. Electron J Probab 11:934–992

    Article  MathSciNet  Google Scholar 

  7. Stroock DW, Varadhan SRS (2007) Multidimensional diffusion processes. Springer, Berlin

    MATH  Google Scholar 

  8. Anulova SV, Liptser RS (1990) Diffusion approximation for processes with normal reflection. Theory Probab Appl 35:411–423

    Article  MathSciNet  Google Scholar 

  9. Lions PL, Sznitman AS (1984) Stochastic differential equations with reflecting boundary conditions. Commun Pure Appl Math 37:511–537

    Article  MathSciNet  Google Scholar 

  10. Sheu SS (1992) Continuity of multidimensional Brownian local times. Proc Am Math Soc 114:821–829

    Article  MathSciNet  Google Scholar 

  11. Taksar MI (1992) Skorohod problems with nonsmooth boundary conditions. J Comput Appl Math 40:233–251

    Article  MathSciNet  Google Scholar 

  12. Tanaka H (1979) Stochastic differential equations with reflecting boundary conditions in convex regions. Hiroshima Math J 9:163–177

    Article  MathSciNet  Google Scholar 

  13. Bass RF (1984) Joint continuity and representations of additive functionals of d-dimensional Brownian motion. Stoch Proc Appl 17:211–227

    Article  MathSciNet  Google Scholar 

  14. Bass RF, Khoshnevisan D (1992) Local times on curves and uniform invariance principles. Probab Theory Relat Fields 92:465–492

    Article  MathSciNet  Google Scholar 

  15. Peskir G (2005) A change-of-variable formula with local time on curves. J Theor Probab 18:499–535

    Article  MathSciNet  Google Scholar 

  16. Peskir G (2007) A change-of-variable formula with local time on surfaces. In: Sem. de Probab. XL. Lecture notes in mathematics, vol 1899. Springer, Berlin, pp 69–96

    Google Scholar 

  17. Imkeller P, Weisz F (1994) The asymptotic behaviour of local times and occupation integrals of the \(N\) parameter Wiener process in \(R^d\). Probab Theory Relat Fields 98:47–75

    Article  MathSciNet  Google Scholar 

  18. Uemura H (2004) Tanaka formula for multidimensional Brownian motion. J Theor Probab 17(2):347–366

    Article  MathSciNet  Google Scholar 

  19. Cao XR (2020) Stochastic control of multi-dimensional systems with relative optimization. IEEE Trans Autom Control. https://doi.org/10.1109/TAC.2019.2925469

    Article  Google Scholar 

  20. Fleming WH, Soner HM (2006) Controlled Markov processes and viscosity solutions, 2nd edn. Springer, Berlin

    MATH  Google Scholar 

  21. Ikeda N, Watanabe A (1989) Stochastic differential equations and diffusion processes. North-Holland Publishing Company, Amsterdam

    MATH  Google Scholar 

  22. Karatzas I, Shreve SE (1991) Brownian motion and stochastic calculus, 2nd edn. Springer, Berlin

    MATH  Google Scholar 

  23. Klebaner FC (2005) Introduction to stochastic calculus with applications, 2nd edn. Imperial College Press, London

    Book  Google Scholar 

  24. Øksendal B (2003) Stochastic differential equations: an introduction with applications, 6th edn. Springer, Berlin

    Book  Google Scholar 

  25. Nisio M (2015) Stochastic control theory - dynamic programming principle, 2nd edn. Springer, Berlin

    MATH  Google Scholar 

  26. Øksendal B, Sulem A (2007) Applied stochastic control of jump diffusions. Springer, Berlin

    Book  Google Scholar 

  27. Yong J, Zhou XY (1999) Stochastic controls - Hamilton systems and HJB equations. Springer, Berlin

    MATH  Google Scholar 

  28. Krylov NV (2001) Nonlinear elliptic and parabolic equations of the second order. Kluwer, Alphen aan den Rijn

    Google Scholar 

  29. Davis B (1998) Distribution of Brownian local time on curves. Bull Lond Math Soc 30(2):182–184

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Xi-Ren Cao .

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Cao, XR. (2020). Multi-dimensional Diffusion Processes. In: Relative Optimization of Continuous-Time and Continuous-State Stochastic Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-41846-5_5

Download citation

Publish with us

Policies and ethics