The motivation of this paper is to prove verification theorems for stochastic optimal control of finite dimensional diffusion processes without control in the diffusion term, in the case that the value function is assumed to be continuous in time and once differentiable in the space variable ($C^{0,1}$) instead of once differentiable in time and twice in space ($C^{1,2}$), like in the classical results. For this purpose, the replacement tool of the Itô formula will be the Fukushima-Dirichlet decomposition for weak Dirichlet processes. Given a fixed filtration, a weak Dirichlet process is the sum of a local martingale $M$ plus an adapted process $A$ which is orthogonal, in the sense of covariation, to any continuous local martingale. The mentioned decomposition states that a $C^{0,1}$ function of a weak Dirichlet process with finite quadratic variation is again a weak Dirichlet process. That result is established in this paper and it is applied to the strong solution of a Cauchy problem with final condition. Applications to the proof of verification theorems will be addressed in a companion paper.
Nakao's stochastic integrals for continuous additive functionals of zero energy are extended from the symmetric Dirichlet forms setting to the non-symmetric Dirichlet forms setting. Ito's formula in terms of the extended stochastic integrals is obtained.
In this paper, a class of generalized backward doubly stochastic differential equations whose coefficient contains the subdifferential operators of two convex functions (also called generalized backward doubly stochastic variational inequalities) are considered. By means of a penalization argument based on Yosida approximation, we establish the existence and uniqueness of the solution. As an application, this result is used to derive existence result of stochastic viscosity solution for a class of multivalued stochastic Dirichlet-Neumann problems.
This survey paper is a structured concise summary of four of our recent papers on the stochastic regularity of diffusions that are associated to regular strongly local (but not necessarily symmetric) Dirichlet forms. Here by stochastic regularity we mean the question whether a diffusion associated to a Dirichlet form as mentioned above can be started and identified as a solution to an explicit stochastic differential equation for explicitly given starting points. Beyond the stochastic regularity, we consider its applications to strong existence and pathwise uniqueness of singular stochastic di…
Stochastic Porous Media Equations With Nonhomogeneous Dirichlet Boundary Conditions
École d’actuariat, Université Laval（拉瓦尔大学精算学院）；School of Mathematics and Statistics, Shandong University（山东大学数学与统计学院）；Normandie University, INSA de Rouen Normandie, LMI (EA 3226-FR CNRS 3335)（诺曼底大学鲁昂国立应用科学学院）；Research Center for Mathematics and Interdisciplinary Sciences, Shandong University（山东大学数学与交叉科学研究中心）
We characterise the class of distributions of random stochastic matrices $X$ with the property that the products $X(n)X(n-1) ... X(1)$ of i.i.d. copies $X(k)$ of $X$ converge a.s. as $n \rightarrow \infty$ and the limit is Dirichlet distributed. This extends a result by Chamayou and Letac (1994) and is illustrated by several examples that are of interest in applications.
After recalling basic features of the theory of symmetric quasi regular Dirichlet forms we show how by applying it to the stochastic quantization equation, with Gaussian space-time noise, one obtains weak solutions in a large invariant set. Subsequently, we discuss non symmetric quasi regular Dirichlet forms and show in particular by two simple examples in infinite dimensions that infinitesimal invariance, does not imply global invariance. We also present a simple example of non-Markov uniqueness in infinite dimensions.
Strong and Markov uniqueness problems in $L^2$ for Dirichlet operators on rigged Hilbert spaces are studied. An analytic approach based on a--priori estimates is used. The extension of the problem to the $L^p$-setting is discussed. As a direct application essential self--adjointness and strong uniqueness in $L^p$ is proved for the generator (with initial domain the bounded smooth cylinder functions) of the stochastic quantization process for Euclidean quantum field theory in finite volume $Λ\subset \R^2$.
The present paper continues the study of infinite dimensional calculus via regularization, started by C. Di Girolami and the second named author, introducing the notion of "weak Dirichlet process" in this context. Such a process $\X$, taking values in a Hilbert space $H$, is the sum of a local martingale and a suitable "orthogonal" process. The new concept is shown to be useful in several contexts and directions. On one side, the mentioned decomposition appears to be a substitute of an Itô type formula applied to $f(t, \X(t))$ where $f:[0,T] \times H \rightarrow \R$ is a $C^{0,1}$ function and…
This paper is devoted to present a method of proving verification theorems for stochastic optimal control of finite dimensional diffusion processes without control in the diffusion term. The value function is assumed to be continuous in time and once differentiable in the space variable ($C^{0,1}$) instead of once differentiable in time and twice in space ($C^{1,2}$), like in the classical results. The results are obtained using a time dependent Fukushima - Dirichlet decomposition proved in a companion paper by the same authors using stochastic calculus via regularization. Applications, exampl…
We study diffusion processes and stochastic flows which are time-changed random perturbations of a deterministic flow on a manifold. Using non-symmetric Dirichlet forms and their convergence in a sense close to the Mosco-convergence, we prove that, as the deterministic flow is accelerated, the diffusion process converges in law to a diffusion defined on a different space. This averaging principle also holds at the level of the flows. Our contributions in this article include: a proof of an original averaging principle for stochastic flows of kernels; the definition and study of a convergence o…
We study the problem of existence, uniqueness and regularity of probabilistic solutions of the Cauchy problem for nonlinear stochastic partial differential equations involving operators corresponding to regular (nonsymmetric) Dirichlet forms. In proofs we combine the methods of backward doubly stochastic differential equations with those of probabilistic potential theory and Dirichlet forms.
We present recent advances on Dirichlet forms methods either to extend financial models beyond the usual stochastic calculus or to study stochastic models with less classical tools. In this spirit, we interpret the asymptotic error on the solution of an sde due to the Euler scheme in terms of a Dirichlet form on the Wiener space, what allows to propagate this error thanks to functional calculus.
Let $(\mathcal{E},D(\mathcal{E}))$ be a quasi-regular semi-Dirichlet form and $(X_t)_{t\geq0}$ be the associated Markov process. For $u\in D(\mathcal{E})_{loc}$, denote $A_t^{[u]}:=\tilde{u}(X_{t})-\tilde{u}(X_{0})$ and $F^{[u]}_t:=\sum_{0<s\leq t}(\tilde u(X_{s})-\tilde u(X_{s-}))1_{\{|\tilde u(X_{s})-\tilde u(X_{s-})|>1\}}$, where $\tilde{u}$ is a quasi-continuous version of $u$. We show that there exist a unique locally square integrable martingale additive functional $Y^{[u]}$ and a unique continuous local additive functional $Z^{[u]}$ of zero quadratic variation such that $$A_t^{[u]}=Y_t^…
A representation formula for solutions of stochastic partial differential equations with Dirichlet boundary conditions is proved. The scope of our setting is wide enough to cover the general situation when the backward characteristics that appear in the usual formulation are not even defined in the Itô sense.
Backward stochastic partial differential equations of parabolic type with variable coefficients are considered in smooth domains. Existence and uniqueness results are given in weighted Sobolev spaces allowing the derivatives of the solutions to blow up near the boundary.
This paper first summarizes the foundations of stochastic calculus via regularization and constructs through this procedure Itô and Stratonovich integrals. In the second part, a survey and new results are presented in relation with finite quadratic variation processes, Dirichlet and weak Dirichlet processes.
We consider a controlled state equation of parabolic type on the halfline $(0,+\infty)$ with boundary conditions of Dirichlet type in which the unknown is equal to the sum of the control and of a white noise in time. We study finite horizon and infinite horizon optimal control problem related by menas of backward stochastic differential equations.
We consider the following quasi-linear parabolic system of backward partial differential equations: $(\partial_t+L)u+f(\cdot,\cdot,u, \nabla uσ)=0$ on $[0,T]\times \mathbb{R}^d\qquad u_T=ϕ$, where $L$ is a possibly degenerate second order differential operator with merely measurable coefficients. We solve this system in the framework of generalized Dirichlet forms and employ the stochastic calculus associated to the Markov process with generator $L$ to obtain a probabilistic representation of the solution $u$ by solving the corresponding backward stochastic differential equation. The solution …
In this paper we discuss existence and uniqueness for a one-dimensional time inhomogeneous stochastic differential equation directed by an $\mathbb{F}$-semimartingale $M$ and a finite cubic variation process $ξ$ which has the structure $Q+R$, where $Q$ is a finite quadratic variation process and $R$ is strongly predictable in some technical sense: that condition implies, in particular, that $R$ is weak Dirichlet, and it is fulfilled, for instance, when $R$ is independent of $M$. The method is based on a transformation which reduces the diffusion coefficient multiplying $ξ$ to 1. We use general…
We consider the following quasi-linear parabolic system of backward partial differential equations on a Banach space $E$: $(\partial_t+L)u+f(\cdot,\cdot,u, A^{1/2}\nabla u)=0$ on $[0,T]\times E,\qquad u_T=ϕ$, where $L$ is a possibly degenerate second order differential operator with merely measurable coefficients. We solve this system in the framework of generalized Dirichlet forms and employ the stochastic calculus associated to the Markov process with generator $L$ to obtain a probabilistic representation of the solution $u$ by solving the corresponding backward stochastic differential equat…
In this paper, we study the sufficient conditions for the existence of solutions of first-order Hamiltonian stochastic impulsive differential equations under Dirichlet boundary value conditions. By using the variational method, we first obtain the corresponding energy functional. And by using Legendre transformation, we obtain the conjugation of the functional. Then the existence of critical point is obtained by mountain pass lemma. Finally, we assert that the critical point of the energy functional is the mild solution of the first order Hamiltonian stochastic impulsive differential equation.…
In this paper, we are interested in numerical solution of some linear boundary value problems with Dirichlet boundary part, by the means of simulation of random walks. We use a probabilistic interpretation of solution $u$, assuming that the coefficient and the boundary data are sufficiently smooth, and applying Itô's formula. From these stochastic representations of solution, we extend some algorithms obtained for standard boundary conditions to the quasi-linear source of the type $f(u)= a\,u^3$. For positive and negative parameter $a$, we then obtain numerical results by applying the stochast…
We apply improved elliptic regularity results to a concrete symmetric Dirichlet form and various non-symmetric Dirichlet forms with possibly degenerate symmetric diffusion matrix. Given the (non)-symmetric Dirichlet form, using elliptic regularity results and stochastic calculus we show weak existence of the corresponding singular stochastic differential equation for any starting point in some subset E of R^d. As an application of our approach we can show the existence of n-regularized Liouville Brownian motion only via Dirichlet form theory starting from all points in R^2.
In this paper, we prove the existence of martingale solutions to the stochastic heat equation taking values in a Riemannian manifold, which admits Wiener (Brownian bridge) measure on the Riemannian path (loop) space as an invariant measure using a suitable Dirichlet form. Using the Andersson-Driver approximation, we heuristically derive a form of the equation solved by the process given by the Dirichlet form. Moreover, we establish the log-Sobolev inequality for the Dirichlet form in the path space. In addition, some characterizations for the lower bounds of the Ricci curvature are presented r…
We prove a stochastic representation formula for the viscosity solution of Dirichlet terminal-boundary value problem for a degenerate Hamilton-Jacobi-Bellman integro-partial differential equation in a bounded domain. We show that the unique viscosity solution is the value function of the associated stochastic optimal control problem. We also obtain the dynamic programming principle for the associated stochastic optimal control problem in a bounded domain.
For given strongly local Dirichlet forms with possibly degenerate symmetric (sub)-elliptic matrix, we show the existence of weak solutions to the stochastic differential equations (associated with the Dirichlet forms) starting from all points in $\R^d$. More precisely, using heat kernel estimates, stochastic calculus, and Dirichlet form theory, we obtain the pointwise existence of weak solutions to the stochastic differential equations which have possibly unbounded and discontinuous drift. We also present some conditions that the weak solutions become pathwise unique strong solutions and provi…
We consider space-time quantum fields with exponential/trigonometric interactions. In the context of Euclidean quantum field theory, the former and the latter are called the Hoegh-Krohn model and the Sine-Gordon model, respectively. The main objective of the present paper is to construct infinite dimensional diffusion processes which solve modified stochastic quantization equations for these quantum fields on the two-dimensional torus by the Dirichlet form approach and to prove strong uniqueness of the corresponding Dirichlet operators.
We consider the weakly asymmetric simple exclusion process on the discrete space $\{1,...,n-1\}$, in contact with stochastic reservoirs, both with density $ρ\in{(0,1)}$ at the extremity points, and starting from the invariant state, namely the Bernoulli product measure of parameter $ρ$. Under time diffusive scaling $tn^2$ and for $ρ=\frac12$, when the asymmetry parameter is taken of order $1/ \sqrt n$, we prove that the density fluctuations at stationarity are macroscopically governed by the energy solution of the stochastic Burgers equation with Dirichlet boundary conditions, which is shown t…
The present paper continues the study of infinite dimensional calculus via regularization, started by C. Di Girolami and the second named author, introducing the notion of weak Dirichlet process in this context. Such a process X, taking values in a Banach space H, is the sum of a local martingale and a suitable orthogonal process. The concept of weak Dirichlet process fits the notion of convolution type processes, a class including mild solutions for stochastic evolution equations on infinite dimensional Hilbert spaces and in particular of several classes of stochastic partial differential equ…
A class of stochastic processes, called "weak Dirichlet processes", is introduced and its properties are investigated in detail. This class is much larger than the class of Dirichlet processes. It is closed under C^1$-transformations and under absolutely continuous change of measure. If a weak Dirichlet process has finite energy, as defined by Graversen and Rao, its Doob-Meyer type decomposition is unique. The developed methods have been applied to a study of generalized martingale convolutions.
The method of potential solutions of Fokker-Planck equations is used to develop a transport equation for the joint probability of N coupled stochastic variables with the Dirichlet distribution as its asymptotic solution. To ensure a bounded sample space, a coupled nonlinear diffusion process is required: the Wiener-processes in the equivalent system of stochastic differential equations are multiplicative with coefficients dependent on all the stochastic variables. Individual samples of a discrete ensemble, obtained from the stochastic process, satisfy a unit-sum constraint at all times. The pr…
The method of potential solutions of Fokker-Planck equations is used to develop a transport equation for the joint probability of N stochastic variables with Lochner's generalized Dirichlet distribution (R.H. Lochner, A Generalized Dirichlet Distribution in Bayesian Life Testing, Journal of the Royal Statistical Society, Series B, 37(1):pp. 103-113, 1975) as its asymptotic solution. Individual samples of a discrete ensemble, obtained from the system of stochastic differential equations, equivalent to the Fokker-Planck equation developed here, satisfy a unit-sum constraint at all times and ensu…
A stochastic optimal control problem driven by an abstract evolution equation in a separable Hilbert space is considered. Thanks to the identification of the mild solution of the state equation as $ν$-weak Dirichlet process, the value processes is proved to be a real weak Dirichlet process. The uniqueness of the corresponding decomposition is used to prove a verification theorem. Through that technique several of the required assumptions are milder than those employed in previous contributions about non-regular solutions of Hamilton-Jacobi-Bellman equations.
This paper considers a forward BSDE driven by a random measure, when the underlying forward process X is special semimartingale, or even more generally, a special weak Dirichlet process. Given a solution (Y, Z, U), generally Y appears to be of the type u(t, X\_t) where u is a deterministic function. In this paper we identify Z and U in terms of u applying stochastic calculus with respect to weak Dirichlet processes.
Consider the following equation $$\partial_t u_t(x)=\frac{1}{2}\partial _{xx}u_t(x)+λσ(u_t(x))\dot{W}(t,\,x)$$ on an interval. Under Dirichlet boundary condition, we show that in the long run, the second moment of the solution grows exponentially fast if $λ$ is large enough. But if $λ$ is small, then the second moment eventually decays exponentially. If we replace the Dirichlet boundary condition by the Neumann one, then the second moment grows exponentially fast no matter what $λ$ is. We also provide various extensions.
For a class of stochastic differential equations with reflection for which a certain ${\mathbb{L}}^p$ continuity condition holds with $p>1$, it is shown that any weak solution that is a strong Markov process can be decomposed into the sum of a local martingale and a continuous, adapted process of zero $p$-variation. When $p=2$, this implies that the reflected diffusion is a Dirichlet process. Two examples are provided to motivate such a characterization. The first example is a class of multidimensional reflected diffusions in polyhedral conical domains that arise as approximations of certain s…
The Dirichlet forms related to various infinite systems of interacting Brownian motions are studied. For a given random point field $ μ$, there exist two natural infinite-volume Dirichlet forms $ (\mathcal{E}^{\mathsf{upr}},\mathcal{D}^{\mathsf{upr}})$ and $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ on $ L^2(\mathsf{S} ,μ) $ describing interacting Brownian motions each with unlabeled equilibrium state $ μ$. The former is a decreasing limit of a scheme of such finite-volume Dirichlet forms, and the latter is an increasing limit of another scheme of such finite-volume Dirichlet for…
We prove the sets of polynomials on configuration spaces are cores of Dirichlet forms describing interacting Brownian motion in infinite dimensions. Typical examples of these stochastic dynamics are Dyson's Brownian motion and Airy interacting Brownian motion. Both particle systems have logarithmic interaction potentials, and naturally arise from random matrix theory. The results of the present paper will be used in a forth coming paper to prove the identity of the infinite-dimensional stochastic dynamics related to the random matrix theories constructed by apparently different methods: the me…
We study a finite-element based space-time discretisation for the 2D stochastic Navier-Stokes equations in a bounded domain supplemented with no-slip boundary conditions. We prove optimal convergence rates in the energy norm with respect to convergence in probability, that is convergence of order (almost) 1/2 in time and 1 in space. This was previously only known in the space-periodic case, where higher order energy estimates for any given (deterministic) time are available. In contrast to this, in the Dirichlet-case estimates are only known for a (possibly large) stopping time. We overcome th…
We consider a kind of stochastic exit time optimal control problems, in which the cost function is defined through a nonlinear backward stochastic differential equation. We study the regularity of the value function for such a control problem. Then extending Peng's backward semigroup method, we show the dynamic programming principle. Moreover, we prove that the value function is a viscosity solution to the following generalized Hamilton-Jacobi-Bellman equation with Dirichlet boundary: \[ \left\{ \begin{array} [c]{l} \inf\limits_{v\in V}\left\{\mathcal{L}(x,v)u(x)+f(x,u(x),\nabla u(x) σ(x,v),v)…
This paper develops systematically the stochastic calculus via regularization in the case of jump processes. In particular one continues the analysis of real-valued càdlàg weak Dirichlet processes with respect to a given filtration. Such a process is the sum of a local martingale and an adapted process $A$ such that $[N,A] = 0$, for any continuous local martingale $N$. Given a function $u:[0,T] \times \mathbb{R} \to \mathbb{R}$, which is of class $C^{0,1}$ (or sometimes less), we provide a chain rule type expansion for $u(t,X_t)$ which stands in applications for a chain Itô type rule.
We study a linear quadratic problem for a system governed by the heat equation on a halfline with Dirichlet boundary control and Dirichlet boundary noise. We show that this problem can be reformulated as a stochastic evolution equation in a certain weighted L2 space. An appropriate choice of weight allows us to prove a stronger regularity for the boundary terms appearing in the infinite dimensional state equation. The direct solution of the Riccati equation related to the associated non-stochastic problem is used to find the solution of the problem in feedback form and to write the value funct…
In a previous report, the second and third authors gave general theorems for unique strong solutions of infinite-dimensional stochastic differential equations (ISDEs) describing the dynamics of infinitely many interacting Brownian particles. One of the critical assumptions is the \lq\lq IFC" condition. The IFC condition requires that, for a given weak solution, the scheme consisting of the finite-dimensional stochastic differential equations (SDEs) related to the ISDEs exists. Furthermore, the IFC condition implies that each finite-dimensional SDE has unique strong solutions. Unlike other assu…
We prove weak existence of Euler equation (or Navier-Stokes equation) perturbed by a multiplicative noise on bounded domains of $\mathbb R^2$ with Dirichlet boundary conditions and with periodic boundary conditions. Solutions are $H^1$ regular. The equations are of transport type.
We prove existence and uniqueness of stochastic representations for solutions to elliptic and parabolic boundary value and obstacle problems associated with a degenerate Markov diffusion process. In particular, our article focuses on the Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance and a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Hesto…
In this article we prove the continuity of the deterministic function $u:[0,T]\times \mathcal{\bar{D}}\rightarrow \mathbb{R}$, defined by $u(t,x):=Y_{t}^{t,x}$, where the process $(Y_{s}^{t,x})_{s\in[t,T]}$ is given by the generalized multivalued backward stochastic differential equation: \begin{equation*} \left\{ \begin{array}{l} -dY_{s}^{t,x}+\partial φ(Y_{s}^{t,x})ds+\partialψ(Y_{s}^{t,x})dA_{s}^{t,x}\ni f(s,X_{s}^{t,x},Y_{s}^{t,x})ds \\ \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;+g(s,X_{s}^{t,x},Y_{s}^{t,x})dA_{s}^{t,x}-Z_{s}^{t,x}dW_{s}~,\;t\leq s < T, \\ {Y_{T}=h(X_{T}^{t,x}).} \end{array} \r…
We provide a simple proof, as well as several generalizations, of a recent result by Davis and Suh, characterizing a class of continuous submartingales and supermartingales that can be expressed in terms of a squared Brownian motion and of some appropriate powers of its maximum. Our techniques involve elementary stochastic calculus, as well as the Doob-Meyer decomposition of continuous submartingales. These results can be used to obtain an explicit expression of the constants appearing in the Burkholder-Davis-Gundy inequalities. A connection with some balayage formulae is also established.
The main result of this note is the existence of martingale solutions to the stochastic heat equation (SHE) in a Riemannian manifold by using suitable Dirichlet forms on the corresponding path/loop space. Moreover, we present some characterizations of the lower bound of the Ricci curvature by functional inequalities of various associated Dirichlet forms.
A stochastic variational inequality is proposed to model an elasto-plastic oscillator excited by a filtered white noise. We prove the ergodic properties of the process and characterize the corresponding invariant measure. This extends Bensoussan-Turi's method (Degenerate Dirichlet Problems Related to the Invariant Measure of Elasto-Plastic Oscillators, AMO, 2008) with a significant additional difficulty of increasing the dimension. Two points boundary value problem in dimension 1 is replaced by elliptic equations in dimension 2. In the present context, Khasminskii's method (Stochastic Stabilit…
