Levy processes: Capacity and Hausdorff dimension

We use the recently-developed multiparameter theory of additive Levy processes to establish novel connections between an arbitrary Levy process X in R-d, and a new class of energy forms and their corresponding capacities. We then apply these connections to solve two long-standing problems in the folklore of the theory of Levy processes. First, we compute the Hausdorff dimension of the image X(G) of a nonrandorn linear Borel set G subset of R+, where X is all arbitrary Levy process in Rd. Our work completes the various earlier efforts of Taylor [Proc. Cambridge Phil. Soc. 49 (1953) 31-391, McKean [Duke Math. J. 22 (1955) 229-234], Blumenthal and Getoor [Illinois J. Math. 4 (1960) 370-375, J. Math. Mech. 10 (1961) 493-516], Millar [Z. Wahrsch. verw. Gebiete 17 (1971) 53-73], Pruitt [J. Math. Mech. 19 (1969) 371-378], Pruitt and Taylor [Z Wahrsch. Verw Gebiete 12 (1969) 267-289], Hawkes[Z. Wahrsch. verw Gebiete 19 (1971) 90-102, J. London Math. Soc. (2) 17 (1978) 567-576, Probab. Theory Related Fields 112 (1998) 1-11], Hendricks [Ann. Math. Stat. 43 (1972) 690-694, Ann. Probab. 1 (1973) 849-853], Kahane [Publ. Math. Orsay (83-02) (1983) 74-105, Recent Progress in Fourier Analysis (1985b) 65-121] Becker-Kern, Meerschaert and Scheffler [Monatsh. Math. 14 (2003) 91 -101] and Khoshnevisan, Xiao and Zhong [Ann. Probab. 31 (2003a) 1097-1141], where dim X(G) is computed under various conditions oil G, X or both. We next solve the following problem [Kahane (1983) Publ. Math. Orsay (83-02) 74-105]: When X is at? isotropic stable process, what is a necessary. and sufficient analytic condition on any two disjoint Borel sets F, G subset of R+ such that with positive probability, X (F) boolean AND X (G) is nonempty)? Prior to this article, this was understood only in the case that X is a Brownian motion [Khoshnevisan (1999) Trans. Amer Math. Soc. 351 2607-2622]. Here, we present a solution to Kahane's problem for an arbitrary Levy process X, provided the distribution of X(t) is mutually absolutely continuous with respect to the Lebesgue measure on Rd for all t > 0. As a third application of these methods, we compute the Hausdorff dimension and capacity of the preimage X-1(F) of a nonrandom Borel set F F subset of R-d under very mild conditions on the process X. This completes the work of Hawkes [Probab. Theory, Related Fields 112 (1998) 1-11] that covers the special case where X is a subordinator.