The Dirichlet form is a generalization of the Laplacian, heavily used in the study of many diffusion-like processes. In this paper we present a nonstandard representation theorem for the Dirichlet form, showing that the usual Dirichlet form can be well-approximated by a hyperfinite sum. One of the main motivations for such a result is to provide a tool for directly translating results about Dirichlet forms on finite or countable state spaces to results on more general state spaces, without having to translate the details of the proofs. As an application, we prove a generalization of a well-known comparison theorem for Markov chains on finite state spaces, and also relate our results to previous generalization attempts.
Let $U$ be an open set of $\mathbb{R}^n$, $m$ a positive Radon measure on $U$ such that ${\rm supp}[m]=U$, and $(P_t)_{t>0}$ a strongly continuous contraction sub-Markovian semigroup on $L^2(U;m)$. We investigate the structure of $(P_t)_{t>0}$. (i) Denote respectively by $(A,D(A))$ and $(\hat A,D(\hat A))$ the generator and the co-generator of $(P_t)_{t>0}$. Under the assumption that $C^{\infty}_0(U)\subset D(A)\cap D(\hat A)$, we give an explicit Lévy-Khintchine type representation of $A$ on $C^{\infty}_0(U)$. (ii) If $(P_t)_{t>0}$ is an analytic semigroup and hence is associated with a semi-…
In classical PDE theory, Widder's theorem gives a representation for nonnegative solutions of the heat equation on $\mathbb{R}^n$. We show that an analogous theorem holds for local weak solutions of the canonical "heat equation" on a symmetric local Dirichlet space satisfying a local parabolic Harnack inequality.
We prove the existence and a new representation formula for the gradient of the semigroup associated to an Ornstein-Uhlenbeck in a bounded convex domain in d dimensions.
We study superpositions and direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin, Radon measure space, and admitting carré du champ operator. In this case, the representation is only projectively unique.
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.
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 …
We consider the obstacle problem with irregular barriers for semilinear elliptic equation involving measure data and operator corresponding to a general quasi-regular Dirichlet form. We prove existence and uniqueness of a solution as well as its representation as an envelope of a supersolution to some related partial differential equation. We also prove regularity results for the solution and the Lewy-Stampacchia inequality.
It is shown in [10] that a regular and local Dirichlet form on an interval can be represented by so-called effective intervals with scale functions. This paper focuses on how to operate on effective intervals to obtain regular Dirichlet subspaces. The first result is a complete characterization for a Dirichlet form to be a regular subspace of such a Dirichlet form in terms of effective intervals. Then we give an explicit road map how to obtain all regular Dirichlet subspaces from a local and regular Dirichlet form on an interval, by a series of intuitive operations on the effective intervals i…
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 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…
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.
In this short article, we shall study one-dimensional local Dirichlet spaces. One result, which has its independent interest, is to prove that irreducibility implies the uniqueness of symmetrizing measure for right Markov processes. The other result is to give a representation for any 1-dim local, irreducible and regular Dirichlet space and a necessary and sufficient condition for a Dirichlet space to be regular subspace of another Dirichlet space.
Consider the regular Dirichlet extension $(\mathcal{E},\mathcal{F})$ for one-dimensional Brownian motion, that $H^1(\mathbb{R})$ is a subspace of $\mathcal{F}$ and $\mathcal{E}(f,g)=\frac12\mathbf{D}(f,g)$ for $f,g\in H^1(\mathbb{R})$. Both $H^1(\mathbb{R})$ and $\mathcal{F}$ are Hilbert spaces under $\mathcal{E}_α$ and hence there is $α$-orthogonal compliment $\mathcal{G}_α$. We give the explicit expression for functions in $\mathcal{G}_α$ which then can be described by another two spaces. On the two spaces, there is a natural Dirichlet form in the wide sense and by the darning method, their …
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…
We show that the chaos representation of some Compound Poisson Type processes displays an underlying intrinsic combinatorial structure, partly independent of the chosen process. From the computational viewpoint, we solve the arising combinatorial complexity by means of the moments/cumulants duality for the laws of the corresponding processes, themselves measures on distributional spaces, and provide a combinatorial interpretation of the associated 'extended' Fock spaces. From the theoretical viewpoint, in the case of the Gamma measure, we trace back such complexity to its 'simplicial part', i.…
The Schlömilch integral, a generalization of the Dirichlet integral on the simplex, and related probability distributions are reviewed. A distribution that unifies several generalizations of the Dirichlet distribution is presented, with special cases including the scaled Dirichlet distribution and certain Dirichlet mixture distributions. Moments and log-ratio covariances are found, where tractable. The normalization of the distribution motivates a definition, in terms of a simplex integral representation, of complete homogeneous symmetric polynomials of fractional degree.
