Hunt process: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Complete rewrite, history of Hunt process from 1957 to present, summarised Hunt's `hypothesis (A)', full definition from Sharpe. Included the old refs as they relate to Dirichlet forms. Remove stub category.
Connection to other Markov processes. Summarise the diagram in Getoor(75) and Çinlar's "Markovian bestiary".
Line 48: Line 48:
:(viii) ''(quasi-left continuity)'' For every <math>x\in E</math>, if <math>(T_n)</math> is an increasing sequence of stopping times with limit <math>T</math>, then <math>\mathbb P^x(\lim_{n\to\infty} X_{T_n} = X_T | T < \infty) = 1</math>.
:(viii) ''(quasi-left continuity)'' For every <math>x\in E</math>, if <math>(T_n)</math> is an increasing sequence of stopping times with limit <math>T</math>, then <math>\mathbb P^x(\lim_{n\to\infty} X_{T_n} = X_T | T < \infty) = 1</math>.
Sharpe<ref name="Sharpe book"></ref> shows in Lemma 2.6 that conditions (i)-(v) imply measurability of the map <math>x\mapsto \mathbb P^x(X_t\in B)</math> for all <math>B\in\mathcal E</math>, and in Theorem 7.4 that (vi)-(vii) imply the strong Markov property with respect to <math>(\mathcal G_t)</math>.
Sharpe<ref name="Sharpe book"></ref> shows in Lemma 2.6 that conditions (i)-(v) imply measurability of the map <math>x\mapsto \mathbb P^x(X_t\in B)</math> for all <math>B\in\mathcal E</math>, and in Theorem 7.4 that (vi)-(vii) imply the strong Markov property with respect to <math>(\mathcal G_t)</math>.

==Connection to other Markov processes==
The following inclusions hold among various classes of Markov process:<ref>Getoor (1975), p55</ref><ref>Çinlar (2011), p515</ref>
<div style="text-align: center;">
{[[Levy process|Lévy]]} <math>\subset</math>
{[[Ito process|Itô]]} <math>\subset</math>
{[[Feller process|Feller]]} <math>\subset</math>
{[[Hunt process|Hunt]]} <math>\subset</math>
{special standard} <math>\subset</math>
{standard} <math>\subset</math>
{[[Borel right process|right]]} <math>\subset</math>
{[[strong Markov process|strong Markov]]}
</div>


==See also==
==See also==
Line 64: Line 77:
* Blumenthal, Robert M. and Getoor, Ronald K. "Markov Processes and Potential Theory". Academic Press, New York, 1968.
* Blumenthal, Robert M. and Getoor, Ronald K. "Markov Processes and Potential Theory". Academic Press, New York, 1968.
* Chung, Kai Lai and Walsh, John B. "Markov Processes, Brownian Motion, and Time Symmetry". Springer. 2005. {{ISBN|0-387-22026-7}}.
* Chung, Kai Lai and Walsh, John B. "Markov Processes, Brownian Motion, and Time Symmetry". Springer. 2005. {{ISBN|0-387-22026-7}}.
* [[Erhan Cinlar|Çinlar, Erhan]]. "Probability and Stochastics ". Springer, New York. 2011. {{ISBN|978-0-387-87858-4}}
* Getoor, Ronald K. "Markov Processes: Ray Processes and Knight Processes". Springer Berlin, Heidelberg. 1975. {{ISBN|978-3-540-07140-2}}.
* Getoor, Ronald K. "Markov Processes: Ray Processes and Knight Processes". Springer Berlin, Heidelberg. 1975. {{ISBN|978-3-540-07140-2}}.
* Hunt, G. A. "Markoff Processes and Potentials. I, II, III." , Illinois J. Math. '''1''' (1957) 44–93; '''1''' (1957), 313–369; '''2''' (1958), 151–213.
* Hunt, G. A. "Markoff Processes and Potentials. I, II, III." , Illinois J. Math. '''1''' (1957) 44–93; '''1''' (1957), 313–369; '''2''' (1958), 151–213.

Revision as of 12:46, 10 February 2024

In probability theory, a Hunt process is a type of Markov process, named for mathematician Gilbert A. Hunt who first defined them in 1957. Hunt processes were important in the study of probabilistic potential theory until they were superseded by right processes in the 1970s.

History

Background

In the 1930-50s the work of mathematicians such as Joseph Doob, William Feller, Mark Kac, and Shizuo Kakutani developed connections between Markov processes and potential theory.[1]

In 1957-8 Gilbert A. Hunt published a triplet of papers[2] which significantly deepened that connection. The impact of these papers on the probabilist community of the time was significant. Joseph Doob said that "Hunt’s great papers on the potential theory generated by Markov transition functions revolutionized potential theory."[3] Ronald Getoor described them as "a monumental work of nearly 170 pages that contained an enormous amount of truly original mathematics."[4] More recently, Marc Yor wrote that Hunt's papers were "fundamental memoirs which were renewing at the same time potential theory and the theory of Markov processes by establishing a precise link, in a very general framework, between an important class of Markov processes and the class of kernels in potential theory which French probabilists had just been studying."[5]

One of Hunt's contributions was to group together several properties that a Markov process should have in order to be studied via potential theory, which he together called "hypothesis (A)". A stochastic process satisfies hypothesis (A) if the following three assumptions hold:[2]

First assumption: is a Markov process on a Polish space with càdlàg paths.
Second assumption: satisfies the strong Markov property.
Third assumption: is quasi-left continuous on .

Processes satisfying hypothesis (A) soon became known as Hunt processes. If the third assumption is slightly weakened so that quasi-left continuity holds only on the lifetime of , then is called a "standard processes", a term that was introduced by Eugene Dynkin.[6][7]

Rise and fall

The textbook "Markov Processes and Potential Theory"[8] (1968) by Blumenthal and Getoor codified standard and Hunt processes as the archetypal Markov processes.[a] Over the next decade probabilistic potential theory was concerned almost exclusively with these processes.

Of the three assumptions contained in Hunt's hypothesis (A), the most restrictive is quasi-left continuity. Getoor and Glover write: "In proving many of his results, Hunt assumed certain additional regularity hypotheses about his processes. ... It slowly became clear that it was necessary to remove many of these regularity hypotheses in order to advance the theory."[9] Already in the 1960s attempts were being made to assume quasi-left continuity only when necessary.[10]

In 1970, Chung-Tuo Shih extended two of Hunt's fundamental results,[b] and in particular completely removed the need for left limits (and thus also quasi-left continuity).[11] This led to the definition of right processes as the new class of Markov processes for which potential theory could work.[12] Already in 1975, Getoor wrote that Hunt processes were "mainly of historical interest".[13] By the time that Michael Sharpe published his book "General Theory of Markov Processes" in 1988, Hunt and standard processes were obsolete in probabilistic potential theory.[12]

Hunt processes are still studied by mathematicians, most often in relation to Dirichlet forms.[14][15][16]

Definition

Brief definition

A Hunt process is a strong Markov process on a Polish space that is càdlàg and quasi-left continuous; that is, if is an increasing sequence of stopping time with limit , then

Verbose definition

Let be a Radon space and the -algebra of universally measurable subsets of , and let be a Markov semigroup on that preserves . A Hunt process is a collection satisfying the following conditions:[17]

(i) is a filtered measurable space, and each is a probability measure on .
(ii) For every , is an -valued stochastic process on , and is adapted to .
(iii) (normality) For every , .
(iv) (Markov property) For each , for all .
(v) is a collection of maps such that for each , and
(vi) is augmented and right continuous.
(vii) (right-continuity) For every , every , and every -excessive (with respect to ) function , the map is almost surely right continuous under .
(viii) (quasi-left continuity) For every , if is an increasing sequence of stopping times with limit , then .

Sharpe[17] shows in Lemma 2.6 that conditions (i)-(v) imply measurability of the map for all , and in Theorem 7.4 that (vi)-(vii) imply the strong Markov property with respect to .

Connection to other Markov processes

The following inclusions hold among various classes of Markov process:[18][19]

{Lévy} {Itô} {Feller} {Hunt} {special standard} {standard} {right} {strong Markov}

See also

Notes

  1. ^ "Ever since the publication of the book by Blumenthal and Getoor, standard processes have been the central class of Markov processes in probabilistic potential theory", Chung, Walsh (2005), p277
  2. ^ Propositions 2.1-2 of "Markoff Processes and Potentials I". Blumenthal and Getoor had previously extended these from Hunt processes to standard processes in Theorem III.6.1 of their 1968 book.

References

  1. ^ Blumenthal, Getoor (1968), vii
  2. ^ a b Hunt, G.A. "Markoff Processes and Potentials. I, II, III". Illinois J. Math. 1 (1957) 44–93; 1 (1957), 313–369; 2 (1958), 151–213.
  3. ^ Snell, J. Laurie (1997). "A Conversation with Joe Doob". Statistical Science. 12 (4): 301–311. doi:10.1214/ss/1030037961.
  4. ^ Getoor, Ronald (1980). "Review: Probabilities and potential, by C. Dellacherie and P. A. Meyer". Bull. Amer. Math. Soc. (N.S.). 2 (3): 510–514. doi:10.1090/s0273-0979-1980-14787-4.
  5. ^ Yor, Marc (2006). "The Life and Scientific Work of Paul André Meyer (August 21st, 1934 - January 30th, 2003) "Un modèle pour nous tous"". Memoriam Paul-André Meyer. Lecture Notes in Mathematics. Vol. 1874. doi:10.1007/978-3-540-35513-7_2.
  6. ^ Blumenthal, Getoor (1968), 296
  7. ^ Dynkin, E.B. (1960). "Transformations of Markov Processes Connected with Additive Functionals" (PDF). Berkeley Symp. on Math. Statist. and Prob. 4 (2): 117–142.
  8. ^ Blumethal, Robert K.; Getoor, Ronald K. (1968). Markov Processes and Potential Theory. New York: Academic Press.
  9. ^ Getoor, R.K.; Glover, J. (September 1984). "Riesz decompositions in Markov process theory". Transactions of the American Mathematical Society. 285 (1): 107–132.
  10. ^ Chung, K.L.; Walsh, John B. (1969), "To reverse a Markov process", Acta Mathematica, 123: 225–251, doi:10.1007/BF02392389
  11. ^ Shih, Chung-Tuo (1970). "On extending potential theory to all strong Markov processes". Ann. Inst. Fourier (Grenoble). 20 (1): 303–415. doi:10.5802/aif.343.
  12. ^ a b Meyer, Paul André (1989). "Review: "General theory of Markov processes" by Michael Sharpe". Bull. Amer. Math. Soc. (N.S.). 20 (21): 292–296. doi:10.1090/S0273-0979-1989-15833-3.
  13. ^ Getoor (1973), 56
  14. ^ Fukushima, Masatoshi; Oshima, Yoichi; Takeda, Masayoshi (1994). Dirichlet Forms and Symmetric Markov Processes. De Gruyter. doi:10.1515/9783110889741.
  15. ^ Applebaum, David (2009), Lévy Processes and Stochastic Calculus, Cambridge Studies in Advanced Mathematics, Cambridge University Press, p. 196, ISBN 9780521738651
  16. ^ Krupka, Demeter (2000), Introduction to Global Variational Geometry, North-Holland Mathematical Library, vol. 23, Elsevier, pp. 87ff, ISBN 9780080954295
  17. ^ a b Sharpe, Michael (1988). General Theory of Markov Processes. Academic Press, San Diego. ISBN 0-12-639060-6.
  18. ^ Getoor (1975), p55
  19. ^ Çinlar (2011), p515

Sources

  • Blumenthal, Robert M. and Getoor, Ronald K. "Markov Processes and Potential Theory". Academic Press, New York, 1968.
  • Chung, Kai Lai and Walsh, John B. "Markov Processes, Brownian Motion, and Time Symmetry". Springer. 2005. ISBN 0-387-22026-7.
  • Çinlar, Erhan. "Probability and Stochastics ". Springer, New York. 2011. ISBN 978-0-387-87858-4
  • Getoor, Ronald K. "Markov Processes: Ray Processes and Knight Processes". Springer Berlin, Heidelberg. 1975. ISBN 978-3-540-07140-2.
  • Hunt, G. A. "Markoff Processes and Potentials. I, II, III." , Illinois J. Math. 1 (1957) 44–93; 1 (1957), 313–369; 2 (1958), 151–213.