In this article, we develop a new approach to functional quantization, which consists in discretizing only a finite subset of the Karhunen-Loève coordinates of a continuous Gaussian semimartingale X.Using filtration enlargement techniques, we prove that the conditional distribution of X knowing its first Karhunen-Loève coordinates is a Gaussian semimartingale with respect to a bigger filtration. This allows us to define the partial quantization of a solution of a stochastic differential equation with respect to X by simply plugging the partial functional quantization of X in the SDE.Then we provide an upper bound of the L p -partial quantization error for the solution of SDEs involving the L p+ε -partial quantization error for X, for ε > 0. The a.s. convergence is also investigated.Incidentally, we show that the conditional distribution of a Gaussian semimartingale X, knowing that it stands in some given Voronoi cell of its functional quantization, is a (non-Gaussian) semimartingale. As a consequence, the functional stratification method developed in [6] amounted, in the case of solutions of SDEs, to using the Euler scheme of these SDEs in each Voronoi cell. (1) is an optimal quantizer of X. The corresponding quantization error is denoted by
A solution toOne usually drops the p subscript in the quadratic case (p = 2). This problem, initially investigated as a signal discretization method [10], has then been introduced in numerical probability to devise cubature methods [24] or to solve multidimensional stochastic control problems [3]. Since the early 2000's, the infinite-dimensional setting has been extensively investigated from both constructive numerical and theoretical viewpoints with a special attention paid to functional quantization, especially in the quadratic case [18] but also in some other Banach spaces [29]. Stochastic processes are viewed as random variables taking values in functional spaces.