Abstract Wiener Space and Gaussian Free Fields

Total Page:16

File Type:pdf, Size:1020Kb

Abstract Wiener Space and Gaussian Free Fields SPHERICAL AVERAGES OF GAUSSIAN FREE FIELDS LINAN CHEN Abstract. In this note we study the properties of the spherical average (circle average if dim=2) of Gaussian free elds as a stochastic process parametrized by the radius. In particular, we give explicit formulas for the covariance of the Gaussian family which consists of the spherical averages as well as certain functionals of the spherical averages. We further prove the Markov property for various processes involving the spherical averages. These results are useful in the study of point-wise approximation of generic element of Gaussian free elds. 1. Introduction: Abstract Wiener Space and Gaussian Free Fields The theory of Abstract Wiener Space (AWS), rst introduced by Gross [3], provides an analytical foundation to construct and study Gaussian measures in innite dimensions. To be specic, given a real separable Banach space E, a non- degenerate centered Gaussian measure W on E is a Borel probability measure such that for every x∗ 2 E∗nf0g, the functional x 2 E 7! hx; x∗i 2 R has non-degenerate centered Gaussian distribution under W, where E∗ is the space of bounded linear functionals on E, and h·; x∗i is the action of x∗ 2 E∗ on E. Further assume H is a real separable Hilbert space which is continuously embedded in E as a dense subspace. Then E∗ can also be continuously and densely embedded into H, and for any ∗ ∗, there exists a unique such that ∗ for x 2 E hx∗ 2 H hh; x i = (h; hx∗ )H all h 2 H. Under this setting if the Gaussian measure W on E has the following Fourier transform: 2 ! kh ∗ k W [exp (i h·; x∗i)] = exp − x H for all x∗ 2 E∗; E 2 or equivalently, if h·; x∗i under W is a centered Gaussian random variable with variance 2 for every ∗ ∗, then the triple is called an Abstract khx∗ kH x 2 E (H; E; W) ∗ ∗ Wiener Space. Moreover, since fhx∗ : x 2 E g is dense in H, the mapping ∗ 2 I : hx∗ 2 H 7! I (hx∗ ) := h·; x i 2 L (W) can be uniquely extended as a linear isometry between H and L2 (W). The ex- tended isometry, also denoted by I, is called the Paley-Wiener map and its images fI (h): h 2 Hg, known as the Paley-Wiener integrals, form a centered Gaussian family whose covariance is given by W for all E [I (h) I (g)] = (h; g)H h; g 2 H: Date: September 2014. Key words and phrases. Abstract Wiener Space, Gaussian Free Fields, Spherical Averages, Bessel Functions. 1 SPHERICAL AVERAGES OF GAUSSIAN FREE FIELDS 2 It is clear that although W is a measure on E, it is the inner product of H that fully determines the covariance structure of W. H is known as the Cameron-Martin space. In fact, the theory of AWS says that given any separable Hilbert space H, one can always nd E and W such that the triple (H; E; W) forms an AWS. On the other hand, given a separable Banach space E, a non-degenerate centered Gaussian measure W on E must exist in the form of an AWS. For further discussions on the construction and the properties of AWS, we refer to [3], [4] and x8 of [5]. We now apply the general theory of AWS to study Gaussian measures on function or generalized function spaces. To be specic, given s 2 R and ν 2 N, ν ≥ 2, consider the following inner product on 1 ν , the space of compactly supported Cc (R ) smooth functions on ν : for every 1 ν , R φ, 2 Cc (R ) s (φ, ) := ((I − ∆) φ, ) 2 ν s L (R ) s 1 2 ^ ^ = ν 1 + jξj φ (ξ) (ξ)dξ; (2π) ˆ ν R where denotes the Fourier transform. The closure of 1 ν under is the ^· Cc (R ) (·; ·)s Sobolev space Hs := Hs (Rν ) which will be taken as the Cameron-Martin space. According to above, there exists a separable Banach space Θs := Θs (Rν ) and the Gaussian measure Ws := Ws (Rν ) on Θs such that the triple (Hs; Θs; Ws) forms an AWS, to which we refer as the dim-ν order-s Gaussian free eld (GFF). It's clear that the covariance of such a GFF is characterized by the kernel of the operator s (I − ∆) on Rν . For some special values of (ν; s) we have rather explicit formulations of the abstract theory introduced above. For example, when ν+1 , it's proven that s = 2 ν+1 Θ 2 can be taken as ν+1 ν jθ (x)j Θ 2 := θ 2 C (R ) : lim = 0 ; jxj!1 log (e + jxj) equipped with the norm θ jθ (x)j kθk ν+1 := = sup : Θ 2 ν log (e + |·|) u x2R log (e + jxj) So the dim- order- ν+1 GFF actually consists of continuous functions. By the Riesz ν 2 ν+1 ? representation theorem, every λ 2 Θ 2 is characterized as a Borel measure on Rν with the property that log (e + jxj) jλj (dx) < 1: ˆ ν R ν+1 − ν+1 In addition, if we identify the dual space of H 2 with H 2 , then λ can also be − ν+1 treated as an element in H 2 and ν+1 1 − 2 2 2 2 ^ kλk− ν+1 = ν 1 + jξj λ (ξ) dξ 2 (2π) ˆ ν R 1−ν π 2 = ν+1 exp (− jx − yj) λ (dx) λ (dy) : ¨ ν ν Γ 2 R ×R This further implies that the map 1−ν − ν+1 π 2 (1.1) 2 λ 7! hλ := (I − ∆) λ = ν+1 exp (− jx − yj) λ (dy) ; ˆ ν Γ 2 R SPHERICAL AVERAGES OF GAUSSIAN FREE FIELDS 3 ν+1 ν+1 ∗ gives the unique element hλ 2 H 2 such that the action of λ 2 Θ 2 restricted ν+1 ν+1 on H 2 , denoted by h·; λi ν+1 , coincides with (·; hλ) ν+1 on H 2 . Moreover, H 2 2 − ν+1 ν+1 being an isometry between H 2 and H 2 , the map (1.1) naturally extends to − ν+1 λ 2 H 2 and we still denote the image by hλ. Therefore, all the Paley-Wiener n − ν+1 o integrals, written as I (hλ): λ 2 H 2 , forms a centered Gaussian family with the covariance ν+1 W 2 E [I (hλ) I (hη)] = (hλ; hη) ν+1 = (λ, η) ν+1 2 − 2 − ν+1 for every λ, η 2 H 2 : Finally, for general , s2 is the isometric image of s1 under the s1; s2 2 R H H s1−s2 Bessel-type operator (I − ∆) 2 . Therefore, if s ν+1 − s ν+1 Θ := (I − ∆) 4 2 Θ 2 ; and s − ν+1 + s ν+1 W := (I − ∆) 4 2 W 2 ; ? then the triple (Hs; Θs; Ws) forms the dim-ν order-s GFF. The formulations above ν+1 − s will follow accordingly by the action of (I − ∆) 4 2 . It's also clear from this aspect that with xed dimension, the larger the order s is, the more regular the GFF is; on the other hands, when s is xed, the higher the dimension is, the more singular the GFF becomes. In most of the cases that of interest to us, a generic element of GFF is only a tempered distribution which is not dened pointwise. 2. Spherical Averages of Gaussian Free Fields Throughout this note, we assume s ≥ 1 and ν ≥ 2. As shown in the previous section, for most (ν; s), if θ is a generic element of the dim-ν order-s GFF, i.e., θ is sampled from Θs under Ws, θ is only a generalized function and θ (x) may not be dened. Hence, to study the behavior of θ, we will need some proper approximations of pointwise value of θ. To achieve this, we consider the average of θ over a sphere (circle in the case when ν = 2) centered at x with radius t > 0. To make this precise, we need to introduce some notations. Let S (x; t) be the ν −1 dimensional sphere centered at ν with radius , x the surface measure x 2 t > 0 σt ν R on , νπ 2 ν−1 the surface area of with , and S (x; t) αν (t) := ν t S (x; t) αν := αν (1) Γ( 2 +1) σx nally σ¯x := t the average over S (x; t). We simply omit x when x is the t αν (t) origin. Under this setting, we have the following simple fact about x (proof is σ¯t omitted). Lemma 1. For every ν and , x −s ν and its Fourier transform x 2 R t > 0 σ¯t 2 H (R ) is given by ν (2π) 2 2−ν x i(x,ξ) ν 2 σ¯ct (ξ) = e R · (t jξj) J ν−2 (t jξj) αν 2 for every ν , where is the standard Bessel function of the rst kind. ξ 2 R Jµ Since x −s ν , we can apply x to the GFF element in the sense of σ¯t 2 H (R ) σ¯t θ x the Paley-Wiener integral. Namely X (θ) := I h x (θ) is well-dened for W- t σ¯t a.e. θ 2 Θs as a Gaussian random variable, which, heuristically speaking, gives SPHERICAL AVERAGES OF GAUSSIAN FREE FIELDS 4 the spherical average of θ.
Recommended publications
  • Path Regularity and Tightness of Capac- Ities
    Applications of Compact Superharmonic Func- tions: Path Regularity and Tightness of Capac- ities Lucian Beznea and Michael R¨ockner Abstract. We establish relations between the existence of the L-superharmonic functions that have compact level sets (L being the generator of a right Markov process), the path regularity of the process, and the tightness of the induced capacities. We present several examples in infinite dimensional situations, like the case when L is the Gross-Laplace operator on an abstract Wiener space and a class of measure-valued branching process associated with a nonlinear perturbation of L. Mathematics Subject Classification (2000). Primary 60J45, 31C15; Secondary 47D07, 60J40, 60J35. Keywords. resolvent of kernels, tight capacity, Lyapunov function, right pro- cess, standard process. 1. Introduction A major difficulty in the stochastic analysis in infinite dimensions is the lack of the local compactness of the state space. The developments from the last two decades, in particular the theory of quasi-regular Dirichlet forms (cf. [14]), indicated, as an adequate substitute, the existence of a nest of compact sets, or equivalently, the tightness property of the associated capacity. However, in applications it is sometimes not easy to verify such a property, for example, because the capacity is not expressed directly in terms of the infinitesimal generator L of the theory. It happens that a more convenient property is the existence of an L-superharmonic function having compact level sets; such a function was called compact Lyapunov. The aim of this paper is to give an overview on the relations between the existence of a compact Lyapunov function, the path regularity of the process, and the tightness of the induced capacities.
    [Show full text]
  • Gaussian Measures in Traditional and Not So Traditional Settings
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 33, Number 2, April 1996 GAUSSIAN MEASURES IN TRADITIONAL AND NOT SO TRADITIONAL SETTINGS DANIEL W. STROOCK Abstract. This article is intended to provide non-specialists with an intro- duction to integration theory on pathspace. 0: Introduction § Let Q1 denote the set of rational numbers q [0, 1], and, for a Q1, define the ∈ ∈ translation map τa on Q1 by addition modulo 1: a + b if a + b 1 τab = ≤ for b Q1. a + b 1ifa+b>1 ∈ − Is there a probability measure λQ1 on Q1 which is translation invariant in the sense that 1 λQ1 (Γ) = λQ1 τa− Γ for every a Q1? To answer∈ this question, it is necessary to be precise about what it is that one is seeking. Indeed, the answer will depend on the level of ambition at which the question is asked. For example, if denotes the algebra of subsets Γ Q1 generated by intervals A ⊆ [a, b] 1 q Q1 : a q b Q ≡ ∈ ≤ ≤ for a b from Q1, then it is easy to check that there is a unique, finitely additive way to≤ define λ on .Infact, Q1 A λ 1 [a, b] 1 = b a, for a b from Q1. Q Q − ≤ On the other hand, if one is more ambitious and asks for a countably additive λQ1 on the σ-algebra generated by (equivalently, all subsets of Q1), then one is asking A for too much. In fact, since λQ1 ( q ) = 0 for every q Q1, countable additivity forces { } ∈ λ 1 (Q1)= λ 1 q =0, Q Q { } q 1 X∈Q which is obviously irreconcilable with λQ1 (Q1) = 1.
    [Show full text]
  • A Divergence Theorem for Hilbert Space
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 164, February 1972 A DIVERGENCE THEOREM FOR HILBERT SPACE BY VICTOR GOODMAN« Abstract. Let B be a real separable Banach space. A suitable linear imbedding of a real separable Hubert space into B with dense range determines a probability measure on B which is known as abstract Wiener measure. In this paper it is shown that certain submanifolds of B carry a surface measure uniquely defined in terms of abstract Wiener measure. In addition, an identity is obtained which relates surface integrals to abstract Wiener integrals of functions associated with vector fields on regions in B. The identity is equivalent to the classical divergence theorem if the Hubert space is finite dimensional. This identity is used to estimate the total measure of certain surfaces, and it is established that in any space B there exist regions whose boundaries have finite surface measure. 1. Introduction. Let B be a real separable Banach space with norm || • ||. Con- sider a linear imbedding i of a real separable Hubert space into B with dense range. Gross [5] has shown that if the function \¿- || is a measurable norm on the Hubert space, then the space B carries a Borel probability measure px uniquely characterized by the identity Px({xeB : iy,xy < r}) = (2Tr\¿*y\2)-1'2 f exp [-(2\¿*y\2Y1s2]ds. J —00 Here, y is any element of the topological dual space of B, ¿* is the adjoint of the imbedding map, and | • | is the norm on the dual Hubert space. The space B, to- gether with the Hubert space and the imbedding, is said to be an abstract Wiener space, andpx is said to be abstract Wiener measure on B.
    [Show full text]
  • Infinite Dimension
    Tel Aviv University, 2006 Gaussian random vectors 10 2 Basic notions: infinite dimension 2a Random elements of measurable spaces: formu- lations ......................... 10 2b Random elements of measurable spaces: proofs, andmorefacts .................... 14 2c Randomvectors ................... 17 2d Gaussian random vectors . 20 2e Gaussian conditioning . 24 foreword Up to isomorphism, we have for each n only one n-dimensional Gaussian measure (like a Euclidean space). What about only one infinite-dimensional Gaussian measure (like a Hilbert space)? Probability in infinite-dimensional spaces is usually overloaded with topo- logical technicalities; spaces are required to be Hilbert or Banach or locally convex (or not), separable (or not), complete (or not) etc. A fuss! We need measurability, not continuity; a σ-field, not a topology. This is the way to a single infinite-dimensional Gaussian measure (up to isomorphism). Naturally, the infinite-dimensional case is more technical than finite- dimensional. The crucial technique is compactness. Back to topology? Not quite so. The art is, to borrow compactness without paying dearly to topol- ogy. Look, how to do it. 2a Random elements of measurable spaces: formulations Before turning to Gaussian measures on infinite-dimensional spaces we need some more general theory. First, recall that ∗ a measurable space (in other words, Borel space) is a set S endowed with a σ-field B; ∗ B ⊂ 2S is a σ-field (in other words, σ-algebra, or tribe) if it is closed under finite and countable operations (union, intersection and comple- ment); ∗ a collection closed under finite operations is called a (Boolean) algebra (of sets); Tel Aviv University, 2006 Gaussian random vectors 11 ∗ the σ-field σ(C) generated by a given set C ⊂ 2S is the least σ-field that contains C; the algebra α(C) generated by C is defined similarly; ∗ a measurable map from (S1, B1) to (S2, B2) is f : S1 → S2 such that −1 f (B) ∈ B1 for all B ∈ B2.
    [Show full text]
  • Probability Measures on Infinite-Dimensional Stiefel Manifolds
    JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2017012 ©American Institute of Mathematical Sciences Volume 9, Number 3, September 2017 pp. 291–316 PROBABILITY MEASURES ON INFINITE-DIMENSIONAL STIEFEL MANIFOLDS Eleonora Bardelli‡ Microsoft Deutschland GmbH, Germany Andrea Carlo Giuseppe Mennucci∗ Scuola Normale Superiore Piazza dei Cavalieri 7, 56126, Pisa, Italia Abstract. An interest in infinite-dimensional manifolds has recently appeared in Shape Theory. An example is the Stiefel manifold, that has been proposed as a model for the space of immersed curves in the plane. It may be useful to define probabilities on such manifolds. Suppose that H is an infinite-dimensional separable Hilbert space. Let S ⊂ H be the sphere, p ∈ S. Let µ be the push forward of a Gaussian measure γ from TpS onto S using the exponential map. Let v ∈ TpS be a Cameron–Martin vector for γ; let R be a rotation of S in the direction v, and ν = R#µ be the rotated measure. Then µ, ν are mutually singular. This is counterintuitive, since the translation of a Gaussian measure in a Cameron– Martin direction produces equivalent measures. Let γ be a Gaussian measure on H; then there exists a smooth closed manifold M ⊂ H such that the projection of H to the nearest point on M is not well defined for points in a set of positive γ measure. Instead it is possible to project a Gaussian measure to a Stiefel manifold to define a probability. 1. Introduction. Probability theory has been widely studied for almost four cen- turies. Large corpuses have been written on the theoretical aspects.
    [Show full text]
  • A Note on the Malliavin-Sobolev Spaces Peter Imkeller, Thibaut Mastrolia, Dylan Possamaï, Anthony Réveillac
    A note on the Malliavin-Sobolev spaces Peter Imkeller, Thibaut Mastrolia, Dylan Possamaï, Anthony Réveillac To cite this version: Peter Imkeller, Thibaut Mastrolia, Dylan Possamaï, Anthony Réveillac. A note on the Malliavin-Sobolev spaces. Statistics and Probability Letters, Elsevier, 2016, 109, pp.45-53. 10.1016/j.spl.2015.08.020. hal-01101190 HAL Id: hal-01101190 https://hal.archives-ouvertes.fr/hal-01101190 Submitted on 8 Jan 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. A note on the Malliavin-Sobolev spaces Peter Imkeller∗ Thibaut Mastrolia† Dylan Possamaï‡ Anthony Réveillac§ January 8, 2015 Abstract In this paper, we provide a strong formulation of the stochastic Gâteaux differentiability in order to study the sharpness of a new characterization, introduced in [6], of the Malliavin- Sobolev spaces. We also give a new internal structure of these spaces in the sense of sets inclusion. Key words: Malliavin calculus, Wiener space, functional analysis, stochastic Gâteaux differentiability. AMS 2010 subject classification: Primary: 60H07; Secondary: 46B09. 1 Introduction Consider the classical W 1,2(Rd) Sobolev space on Rd (d 1) consisting of mappings f which are square integrable and which admit a square integra≥ ble weak derivative.
    [Show full text]
  • On Abstract Wiener Measure*
    Balram S. Rajput Nagoya Math. J. Vol. 46 (1972), 155-160 ON ABSTRACT WIENER MEASURE* BALRAM S. RAJPUT 1. Introduction. In a recent paper, Sato [6] has shown that for every Gaussian measure μ on a real separable or reflexive Banach space {X, || ||) there exists a separable closed sub-space I of I such that μ{X) = 1 and μ% == μjX is the σ-extension of the canonical Gaussian cylinder measure μ^ of a real separable Hubert space <%f such that the norm ||-||^ = || \\/X is contiunous on g? and g? is dense in X. The main purpose of this note is to prove that ll llx is measurable (and not merely continuous) on Jgf. From this and the Sato's result mentioned above, it follows that a Gaussian measure μ on a real separable or reflexive Banach space X has a restriction μx on a closed separable sub-space X of X, which is an abstract Wiener measure. Gross [5] has shown that every measurable norm on a real separ- able Hubert space <%f is admissible and continuous on Sίf We show con- versely that any continuous admissible norm on J£? is measurable. This result follows as a corollary to our main result mentioned above. We are indebted to Professor Sato and a referee who informed us about reference [2], where, among others, more general results than those included here are proved. Finally we thank Professor Feldman who supplied us with a pre-print of [2].* We will assume that the reader is familiar with the notions of Gaussian measures and Gaussian cylinder measures on Banach spaces.
    [Show full text]
  • Change of Variables in Infinite-Dimensional Space
    Change of variables in infinite-dimensional space Denis Bell Denis Bell Change of variables in infinite-dimensional space Change of variables formula in R Let φ be a continuously differentiable function on [a; b] and f an integrable function. Then Z φ(b) Z b f (y)dy = f (φ(x))φ0(x)dx: φ(a) a Denis Bell Change of variables in infinite-dimensional space Higher dimensional version Let φ : B 7! φ(B) be a diffeomorphism between open subsets of Rn. Then the change of variables theorem reads Z Z f (y)dy = (f ◦ φ)(x)Jφ(x)dx: φ(B) B where @φj Jφ = det @xi is the Jacobian of the transformation φ. Denis Bell Change of variables in infinite-dimensional space Set f ≡ 1 in the change of variables formula. Then Z Z dy = Jφ(x)dx φ(B) B i.e. Z λ(φ(B)) = Jφ(x)dx: B where λ denotes the Lebesgue measure (volume). Denis Bell Change of variables in infinite-dimensional space Version for Gaussian measure in Rn − 1 jjxjj2 Take f (x) = e 2 in the change of variables formula and write φ(x) = x + K(x). Then we obtain Z Z − 1 jjyjj2 <K(x);x>− 1 jK(x)j2 − 1 jjxjj2 e 2 dy = e 2 Jφ(x)e 2 dx: φ(B) B − 1 jxj2 So, denoting by γ the Gaussian measure dγ = e 2 dx, we have Z <K(x);x>− 1 jjKx)jj2 γ(φ(B)) = e 2 Jφ(x)dγ: B Denis Bell Change of variables in infinite-dimensional space Infinite-dimesnsions There is no analogue of the Lebesgue measure in an infinite-dimensional vector space.
    [Show full text]
  • Graduate Research Statement
    Research Statement Irina Holmes October 2013 My current research interests lie in infinite-dimensional analysis and geometry, probability and statistics, and machine learning. The main focus of my graduate studies has been the development of the Gaussian Radon transform for Banach spaces, an infinite-dimensional generalization of the classical Radon transform. This transform and some of its properties are discussed in Sections 2 and 3.1 below. Most recently, I have been studying applications of the Gaussian Radon transform to machine learning, an aspect discussed in Section 4. 1 Background The Radon transform was first developed by Johann Radon in 1917. For a function f : Rn ! R the Radon transform is the function Rf defined on the set of all hyperplanes P in n given by: R Z Rf(P ) def= f dx; P where, for every P , integration is with respect to Lebesgue measure on P . If we think of the hyperplane P as a \ray" shooting through the support of f, the in- tegral of f over P can be viewed as a way to measure the changes in the \density" of P f as the ray passes through it. In other words, Rf may be used to reconstruct the f(x, y) density of an n-dimensional object from its (n − 1)-dimensional cross-sections in differ- ent directions. Through this line of think- ing, the Radon transform became the math- ematical background for medical CT scans, tomography and other image reconstruction applications. Besides the intrinsic mathematical and Figure 1: The Radon Transform theoretical value, a practical motivation for our work is the ability to obtain information about a function defined on an infinite-dimensional space from its conditional expectations.
    [Show full text]
  • Conditional Analytic Feynman Integrals on Abstract Wiener Spaces 481
    proceedings of the american mathematical society Volume 112, Number 2, June 1991 CONDITIONAL ANALYTICFEYNMAN INTEGRALS ON ABSTRACTWIENER SPACES DONG MYUNG CHUNG (Communicated by R. Daniel Mauldin) Abstract. In this paper we define the concept of a conditional analytic Feyn- man integral of a function F on an abstract Wiener space B given a function X and then establish the existence of the conditional Feynman integral for all functions in the Fresnel class on B . We also use the conditional Feynman integral to provide a fundamental solution to the Schrödinger equation. 1. Introduction Let H be a real separable infinite-dimensional Hilbert space with inner prod- uct (•, •) and norm | • |. Let || • || be a measurable norm on H with respect to the Gauss measure m on H (see [12]). It is shown [12] that || • || is weaker than | • | on H. Let B denote the completion of H with respect to 11• 11. Let i denote the natural injection from H into B. The adjoint /* of / is one-to-one and maps B* continuously onto a dense subset of H*. Thus we have a triple B* C H = H* c B and (x, y) = (x, y) for ail x in H and y in B*, where (•, •) denotes the natural dual pairing between B and B*. By a well-known result of Gross, m o r has a unique countably-additive exten- sion v to the Borel c-algebra ¿%(B) of B. The triple (H, B, v) is called an abstract Wiener space. For more details, see [7, 12]. Let R" and C denote an «-dimensional Euclidean space and the complex numbers, respectively.
    [Show full text]
  • Absolute Continuity of Gaussian Measures Under Certain Gauge Transformations
    ABSOLUTE CONTINUITY OF GAUSSIAN MEASURES UNDER CERTAIN GAUGE TRANSFORMATIONS ANDREA R. NAHMOD1, LUC REY-BELLET2, SCOTT SHEFFIELD3, AND GIGLIOLA STAFFILANI4 ABSTRACT. We prove absolute continuity of Gaussian measures associated to complex Brownian bridges under certain gauge transformations. As an application we prove that the invariant measure obtained by Nahmod, Oh, Rey-Bellet and Staffilani in [20], and with respect to which they proved that the periodic derivative nonlinear Schrodinger¨ equa- tion Cauchy initial value problem is almost surely globally well-posed, coincides with the weighted Wiener measure constructed by Thomann and Tzvetkov [24]. Thus, in particular we prove the invariance of the measure constructed in [24]. 1. INTRODUCTION This note is a continuation of the paper [20]. There we construct an invariant weighted Wiener measure associated to the periodic derivative nonlinear Schrodinger¨ equation (DNLS) (2.1) in one dimension and establish global well-posedness for data living in its support. In particular almost surely for data in a certain Fourier-Lebesgue space scaling 1 − like H 2 (T); for small > 0. Roughly speaking, this is achieved by introducing a gauge transformation G (2.12) and considering the gauged DNLS equation (GDNLS) (2.13) in or- der to obtain the necessary estimates. We then constructed an invariant weighted Wiener measure µ, which we proved to be invariant under the flow of the GDNLS, and used it to show the almost surely global well-posedness for the GDNLS initial value problem. To go back to the original DNLS equation we applied the inverse gauge transformation G−1 and obtained a new invariant measure µ ◦ G =: γ with respect to which almost surely global well-posedness was then proved for the DNLS Cauchy initial value problem5.
    [Show full text]
  • A Note on the Malliavin-Sobolev Spaces
    A note on the Malliavin-Sobolev spaces Peter Imkeller∗ Thibaut Mastrolia† Dylan Possamaï‡ Anthony Réveillac§ November 8, 2018 Abstract In this paper, we provide a strong formulation of the stochastic Gâteaux differentiability in order to study the sharpness of a new characterization, introduced in [6], of the Malliavin- Sobolev spaces. We also give a new internal structure of these spaces in the sense of sets inclusion. Key words: Malliavin calculus, Wiener space, functional analysis, stochastic Gâteaux differentiability. AMS 2010 subject classification: Primary: 60H07; Secondary: 46B09. 1 Introduction Consider the classical W 1,2(Rd) Sobolev space on Rd (d 1) consisting of mappings f which are square integrable and which admit a square integra≥ ble weak derivative. This space is known to be the completion of continuously differentiable functions with respect to the Sobolev seminorm. As proved by Nikodym, f is an element of W 1,2(Rd) if and only if there exist versions of f along particular directions (see [8, (C) page 717] for a precise statement) whose Radon-Nikodym derivatives are square integrable. In an infinite- dimensional framework, similar characterizations can also be obtained. For instance, consider the classical Wiener space (Ω, ) defined as the space of continuous functions Ω, on [0,T ] (with T a fixed positive real number)F vanishing at 0, and where is the σ-algebra of Borel F sets on Ω, for the topology induced by the uniform norm. Let P0 be the Wiener measure on Ω, that is the unique measure on (Ω, ) which makes the coordinate process W a standard F arXiv:1501.01777v1 [math.PR] 8 Jan 2015 Brownian motion.
    [Show full text]