[Paper Review] The Theory of Stochastic Pseudo-differential Operators and Its Applications, I

Xu Liu, Xu Zhang|arXiv (Cornell University)|Mar 1, 2011

Stochastic processes and financial applications7 references3 citations

TL;DR

This paper introduces a novel theory of stochastic pseudo-differential operators (SPDOs) to analyze stochastic partial differential equations (SPDEs), establishing foundational results such as $L^p$-boundedness, invertibility of stochastic elliptic operators, and the Gårding inequality. It applies this framework to prove a Calderón-type uniqueness theorem for the Cauchy problem of SPDEs using a new stochastic Carleman estimate, extending classical uniqueness results to the stochastic setting with double-characteristic structures.

ABSTRACT

The purpose of this paper is to establish the theory of stochastic pseudo-differential operators and give its applications in stochastic partial differential equations. First, we introduce some concepts on stochastic pseudo-differential operators and prove their fundamental properties. Also, we present the boundedness theory, invertibility of stochastic elliptic operators and the Garding inequality. Moreover, as an application of the theory of stochastic pseudo-differential operators, we give a Calderon-type uniqueness theorem on the Cauchy problem of stochastic partial differential equations. The proof of the uniqueness theorem is based on a new Carleman-type estimate, which is adapted to the stochastic setting.

Motivation & Objective

• To develop a comprehensive theory of stochastic pseudo-differential operators (SPDOs) as a new analytical tool for stochastic partial differential equations (SPDEs).
• To extend classical pseudo-differential operator theory to the stochastic setting by incorporating time and sample path dependence through appropriate integrability and symbol calculus.
• To establish fundamental analytical properties such as $L^p$-boundedness, invertibility of stochastic elliptic operators, and the Gårding inequality for energy estimates.
• To apply the SPDO framework to prove a uniqueness result for the Cauchy problem of SPDEs, generalizing Calderón’s classical theorem to the stochastic case.
• To lay the groundwork for future development of stochastic microlocal analysis and singularity propagation theory for second-order stochastic hyperbolic equations.

Proposed method

• Define SPDOs using symbols, amplitudes, kernels, and uniformly properly supported operators, with time and sample path variables explicitly included in all definitions.
• Introduce asymptotic expansions of symbols and construct an algebra and generalized module structure for SPDOs to support symbolic calculus in the stochastic context.
• Establish $L^p$-boundedness theory for SPDOs, ensuring that operators map $L^p$ functions to $L^p$ functions under suitable symbol conditions.
• Prove the invertibility of stochastic elliptic operators and derive the Gårding inequality, which provides essential energy estimates for solutions of SPDEs.
• Develop a new stochastic Carleman-type estimate tailored to the SPDE setting, which is central to proving uniqueness in the Cauchy problem.
• Apply the SPDO framework to reduce the Cauchy problem to a system of equations involving SPDOs and use the Carleman estimate to derive a priori bounds, leading to uniqueness.

Experimental results

Research questions

• RQ1 How can the classical theory of pseudo-differential operators be extended to the stochastic setting to analyze SPDEs?
• RQ2 What are the fundamental analytical properties—such as boundedness, invertibility, and energy estimates—of stochastic pseudo-differential operators?
• RQ3 Can a Calderón-type uniqueness theorem be established for the Cauchy problem of SPDEs using a stochastic adaptation of the Carleman estimate?
• RQ4 What conditions on the coefficients of the SPDE (e.g., regularity in time and sample path) are sufficient to ensure uniqueness of solutions?
• RQ5 To what extent can the SPDO framework be used to study microlocal properties and singularity propagation in stochastic PDEs?

Key findings

• The theory of stochastic pseudo-differential operators is successfully established, including a full symbolic calculus with asymptotic expansions and module structure.
• The $L^p$-boundedness theory for SPDOs is proven, ensuring that operators with symbols in appropriate classes map $L^p$ functions to $L^p$ functions.
• The invertibility of stochastic elliptic operators is established, providing a foundation for solving SPDEs via parametrix methods.
• The Gårding inequality is derived for stochastic elliptic operators, enabling energy estimates crucial for existence and uniqueness results.
• A new stochastic Carleman-type estimate is constructed, which is instrumental in proving the uniqueness of solutions to the Cauchy problem for SPDEs with at most double characteristics.
• A Calderón-type uniqueness theorem is proven for the Cauchy problem of SPDEs under the condition that the principal symbols are in the space $ ilde{rak{X}}_ ho$ (or $ ilde{rak{X}}_ ho$), with the proof relying on the new Carleman estimate and SPDO techniques, extending classical results to the stochastic setting.