[Paper Review] On Structure of Regular Subspaces of One-dimensional Brownian Motion

Liping Li, Jiangang Ying|arXiv (Cornell University)|Dec 5, 2014

Mathematical Dynamics and Fractals3 citations

TL;DR

This paper investigates the structure of regular subspaces in one-dimensional Brownian motion by characterizing them through measure-dense sets $G$. It shows that the trace of the regular subspace on the boundary $F = G^c$ retains a regular subspace property and decomposes the trace of Brownian motion on $F$ into a non-local part (from the subspace) and a local part (from its orthogonal complement), which corresponds to a time-changed Brownian motion after a darning transform.

ABSTRACT

The main purpose of this paper is to explore the structure of regular subspaces of 1-dim Brownian motion. As outlined in \cite{FMG} every such regular subspace can be characterized by a measure-dense set $G$. When $G$ is open, $F=G^c$ is the boundary of $G$ and, before leaving $G$, the diffusion associated with the regular subspace is nothing but Brownian motion. Their traces on $F$ still inherit the inclusion relation, in other words, the trace Dirichlet form of regular subspace on $F$ is still a regular subspace of trace Dirichlet form of one-dimensional Brownian motion on $F$. Moreover we have proved that the trace of Brownian motion on $F$ may be decomposed into two part, one is the trace of the regular subspace on $F$, which has only the non-local part and the other comes from the orthogonal complement of the regular subspace, which has only the local part. Actually the orthogonal complement of regular subspace corresponds to a time-changed Brownian motion after a darning transform.

Motivation & Objective

• To understand the structural properties of regular subspaces within one-dimensional Brownian motion.
• To characterize regular subspaces using measure-dense sets $G$ and their complements $F = G^c$.
• To analyze the trace of regular subspaces on the boundary $F$ and their inclusion relations with the trace of the original Brownian motion.
• To decompose the trace of Brownian motion on $F$ into orthogonal components: one non-local (from the subspace), one local (from its complement).
• To identify the orthogonal complement of a regular subspace as corresponding to a time-changed Brownian motion after a darning transform.

Proposed method

• Characterize regular subspaces of 1D Brownian motion via a measure-dense set $G$.
• Define the boundary $F = G^c$ and study the trace Dirichlet forms on $F$.
• Establish that the trace of the regular subspace on $F$ remains a regular subspace of the trace of the original Brownian motion on $F$.
• Decompose the trace Dirichlet form of Brownian motion on $F$ into two orthogonal parts: one associated with the regular subspace (non-local), and one with its complement (local).
• Apply the darning transform to show that the orthogonal complement corresponds to a time-changed Brownian motion.
• Use inclusion relations and orthogonal decomposition in Dirichlet form theory to derive structural results on the boundary.

Experimental results

Research questions

• RQ1 How can regular subspaces of one-dimensional Brownian motion be systematically characterized?
• RQ2 What is the nature of the trace of a regular subspace on the boundary $F = G^c$ of a measure-dense set $G$?
• RQ3 How does the trace of the full Brownian motion on $F$ decompose into components related to the regular subspace and its complement?
• RQ4 What is the role of the orthogonal complement of a regular subspace in the trace Dirichlet form on $F$?
• RQ5 Can the orthogonal complement be represented as a time-changed Brownian motion via a darning transform?

Key findings

• The trace of a regular subspace on $F = G^c$ is itself a regular subspace of the trace of one-dimensional Brownian motion on $F$.
• The trace of Brownian motion on $F$ admits a decomposition into two orthogonal parts: a non-local part arising from the regular subspace and a local part from its orthogonal complement.
• The orthogonal complement of the regular subspace corresponds to a time-changed Brownian motion after applying a darning transform.
• The non-local part of the trace decomposition is entirely attributable to the regular subspace's structure on $F$.
• The local part of the decomposition originates exclusively from the orthogonal complement, which inherits a local Dirichlet form structure.
• The inclusion and orthogonality relations between the trace forms are preserved under the decomposition, confirming structural consistency.