Abstract
This paper is the first study of the sample path behavior of processes with stationary independent increments taking values in a nondiscrete, locally compact, metrizable, totally disconnected Abelian group. After some preparatory results of independent interest we give a general integral criterion for a deterministic function to be a local modulus of right-continuity for the paths of the process and then study the sets of “fast” and “slow” points where the local growth of the process is anomalously large or small. We establish the lim sup behavior for the sequence of first exit times from a collection of concentric balls for an arbitrary process and show that no deterministic function can act as an exact lower envelope. Under appropriate conditions similar results hold for the related sojourn time sequence. We consider various candidates for measuring the variation of the paths of the process, show that they exist and coincide in our situation, and then determine the common value for a general process. Using earlier results we calculate the Hausdorff and packing dimensions of the image of an interval, exhibit the correct Hausdorff measure for this set, and establish a dichotomy that classifies measure functions into those that lead to a zero packing measure for the image and those that lead to an infinite packing measure. Lastly, we prove some uniform dimension results, which bound the dimension of the image of a set in terms of the dimension of the set itself. These results hold almost surely for all sets simultaneously.
Similar content being viewed by others
References
Parthasarthy, K. R. (1967).Probability Measures on Metric Spaces, Academic Press, New York.
Heyer, H. (1977).Probability Measures on Locally Compact Groups, Springer-Verlag, Berlin.
Port, S. C., and Stone, C. J. (1971a). Infinitely divisible processes and their potential theory, I.Ann. Inst. Fourier (Grenoble) 21(2), 157–275.
Port, S. C., and Stone, C. J. (1971b). Infinitely divisible processes and their potential theory, II.Ann. Inst. Fourier (Grenoble) 21(4), 179–265.
Mandelbrot, B. B. (1972). Renewal sets and random cutouts.Z. Wahrsch. verw. Gebiete 22, 145–157.
Shepp, L. A. (1972). Covering the line with random intervals.Z. Wahrsch. verw. Gebiete 23, 163–170.
Pontryagin, L. S. (1966).Topological Groups, 2nd ed. Trans. Arlen Brown, Gordon and Breath, New York.
Vilenkin, N. J. (1963). On a class of complete orthonormal systems.Amer. Math. Soc. Transl. 28, 1–35.
Taibleson, M. H. (1975).Fourier Analysis on Local Fields, Princeton University Press, Princeton, New Jersey.
Blumenthal, R. M., and Getoor, R. K. (1968).Markov Processes and Potential Theory, Academic Press, New York.
Itô, K. (1969).Stochastic Processes, Lecture Note Series No. 16, Mathematik Institut Aarhus Universitet.
Hawkes, J. Transition and resolvent densities for Lévy processes. Preprint, University College of Swansea, Great Britain.
Fristedt, B. E. (1974). Sample functions of stochastic processes with stationary, independent increments. InAdvances in Probability and Related Topics 3, Ney, P., and Port, S. C. (Eds.), Marcel Dekker, New York.
Barlow, M. T., and Perkins, E. A. (1984). Levels at which every Brownian excursion is exceptional. InSéminaire de Probabilités XVIII—Lecture Notes in Mathematics 1059, Springer-Verlag.
Greenwood, P., and Perkins, E. A. (1983). A conditional limit theorem for random walk, and Brownian local time on square root boundaries.Ann. Prob. 11, 227–261.
Perkins, E. A., and Taylor, S. J. (1987). Uniform measure results for the image of subsets under Brownian motion.Probab. Theory Rel. Fields 76, 257–289.
Fitzsimmons, P. J., Fristedt, B., and Shepp, L. A. (1985). The set of real numbers left uncovered by random covering intervals.Z. Wahrsch. verw. Gebiete 70, 175–189.
Kahane, J.-P. (1987). Intervalles aléatoires et décomposition des mesures.C. R. Acad. Sci. Paris 304, Sér.1, 551–554.
Fristedt, B. E., and Pruitt, W. E. (1971). Lower functions for increasing random walks and subordinators.Z. Wahrsch. verw. Gebiete 18, 167–182.
Taylor, S. J. (1967). Sample path properties of a transient stable process.J. Math. Mech. 16, 1229–1246.
Spitzer, F. (1976).Principles of Random Walk, 2nd ed., Springer-Verlag, Berlin.
Goffman, C., and Loughlin, J. J. (1972). Strong and weak φ-variation of Brownian motion.Indiana Univ. Math. J. 22, 135–138.
Fristedt, B. E., and Taylor, S. J. (1973). Strong variation for the sample functions of a stable process.Duke Math. J. 40, 259–278.
Rogers, C. A. (1970).Hausdorff Measures, Cambridge University Press.
Rogers, C. A., and Taylor, S. J. (1961). Functions continuous and singular with respect to a Hausdorff measure.Mathematika 8, 1–31.
Taylor, S. J., and Tricot, C. (1985). Packing measure and its evaluation for a Brownian path.Trans. Am. Math. Soc. 288, 679–699.
Pruitt, W. E. (1969). The Hausdorff dimension of the range of a process with stationary independent increments.J. Math. Mech. 19, 371–378.
Taylor, S. J. (1985). The use of packing measures in the analysis of random sets, inStochastic Processes and their Applications—Lecture Notes in Mathematics 1203, Springer-Verlag, Berlin.
Hawkes, J., and Pruitt, W. E. (1974). Uniform dimension results for processes with independent increments.Z. Wahrsch. verw. Gebiete 28, 277–288.
Hawkes, J. (1971). Some dimensions theorems for the sample functions of stable processes.Indiana Univ. Math. J. 20, 733–738.
Fristedt, B. E., and Pruitt, W. E. (1972). Uniform lower functions for subordinators.Z. Wahrsch. verw. Gebiete 24, 63–70.
Ohtsuka, M. (1957). Capacité d'ensembles de Cantor généralisés.Nagoya Math. J. 11, 151–160.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Evans, S.N. Local properties of Lévy processes on a totally disconnected group. J Theor Probab 2, 209–259 (1989). https://doi.org/10.1007/BF01053411
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053411