Showing 1–48 of 48 results for author: Fang, S

Asymptotic behavior for the fast diffusion equation with absorption and singularity

Authors: Shaomei Fang, Ming Mei, Yuming Qin

Abstract: This paper is concerned with the weak solution for the fast diffusion equation with absorption and singularity in the form of $u_t=\triangle u^m -u^p$. We first prove the existence and decay estimate of weak solution when the fast diffusion index satisfies $0<m<1$ and the absorption index is $p>1$. Then we show the asymptotic convergence of weak solution to the corresponding Barenblatt solution fo… ▽ More This paper is concerned with the weak solution for the fast diffusion equation with absorption and singularity in the form of $u_t=\triangle u^m -u^p$. We first prove the existence and decay estimate of weak solution when the fast diffusion index satisfies $0<m<1$ and the absorption index is $p>1$. Then we show the asymptotic convergence of weak solution to the corresponding Barenblatt solution for $\frac{n-1}{n}<m<1$ and $p>m+\frac{2}{n}$ via the entropy dissipation method combining the generalized Shannon's inequality and Csisz$\mathrm{\acute{a}}$r-Kullback inequality. The singularity of spatial diffusion causes us the technical challenges for the asymptotic behavior of weak solution. △ Less

Submitted 11 May, 2024; originally announced May 2024.

SOC-MartNet: A Martingale Neural Network for the Hamilton-Jacobi-Bellman Equation without Explicit inf H in Stochastic Optimal Controls

Authors: Wei Cai, Shuixin Fang, Tao Zhou

Abstract: In this work, we propose a martingale based neural network, SOC-MartNet, for solving high-dimensional Hamilton-Jacobi-Bellman (HJB) equations where no explicit expression is needed for the Hamiltonian $\inf_{u \in U} H(t,x,u, z,p)$, and stochastic optimal control problems with controls on both drift and volatility. We reformulate the HJB equations into a stochastic neural network learning process,… ▽ More In this work, we propose a martingale based neural network, SOC-MartNet, for solving high-dimensional Hamilton-Jacobi-Bellman (HJB) equations where no explicit expression is needed for the Hamiltonian $\inf_{u \in U} H(t,x,u, z,p)$, and stochastic optimal control problems with controls on both drift and volatility. We reformulate the HJB equations into a stochastic neural network learning process, i.e., training a control network and a value network such that the associated Hamiltonian process is minimized and the cost process becomes a martingale.To enforce the martingale property for the cost process, we employ an adversarial network and construct a loss function based on the projection property of conditional expectations. Then, the control/value networks and the adversarial network are trained adversarially, such that the cost process is driven towards a martingale and the minimum principle is satisfied for the control.Numerical results show that the proposed SOC-MartNet is effective and efficient for solving HJB-type equations and SOCP with a dimension up to $500$ in a small number of training epochs. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Semidefinite Programming Approximation for a Matrix Optimization Problem over an Uncertain Linear System

Authors: **tao Xu, Shu-Cherng Fang, Wenxun Xing

Abstract: A matrix optimization problem over an uncertain linear system on finite horizon (abbreviated as MOPUL) is studied, in which the uncertain transition matrix is regarded as a decision variable. This problem is in general NP-hard. By using the given reference values of system outputs at each stage, we develop a polynomial-time solvable semidefinite programming (SDP) approximation model for the proble… ▽ More A matrix optimization problem over an uncertain linear system on finite horizon (abbreviated as MOPUL) is studied, in which the uncertain transition matrix is regarded as a decision variable. This problem is in general NP-hard. By using the given reference values of system outputs at each stage, we develop a polynomial-time solvable semidefinite programming (SDP) approximation model for the problem. The upper bound of the cumulative error between reference outputs and the optimal outputs of the approximation model is theoretically analyzed. Two special cases associated with specific applications are considered. The quality of the SDP approximate solutions in terms of feasibility and optimality is also analyzed. Results of numerical experiments are presented to show the influences of perturbed noises at reference outputs and control levels on the performance of SDP approximation. △ Less

Submitted 30 October, 2023; v1 submitted 24 September, 2023; originally announced September 2023.

MSC Class: 90C22; 90C26; 90C30; 90C59; 93C05

Stochastic differential equations and stochastic parallel translations in the Wasserstein space

Authors: Hao Ding, Shizan Fang, Xiang-dong Li

Abstract: We will develop some elements in stochastic analysis in the Wasserstein space $\mathbb{P}_2(M)$ over a compact Riemannian manifold $M$, such as intrinsic It$ô$ formulae, stochastic regular curves and parallel translations along them. We will establish the existence of parallel translations along regular curves, or stochastic regular curves in case of $\mathbb{P}_2(\mathbb{T})$. Surprisingly enough… ▽ More We will develop some elements in stochastic analysis in the Wasserstein space $\mathbb{P}_2(M)$ over a compact Riemannian manifold $M$, such as intrinsic It$ô$ formulae, stochastic regular curves and parallel translations along them. We will establish the existence of parallel translations along regular curves, or stochastic regular curves in case of $\mathbb{P}_2(\mathbb{T})$. Surprisingly enough, in this last case, the equation defining stochastic parallel translations is a SDE on a Hilbert space, instead of a SPDE. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Geometry on the Wasserstein space over a compact Riemannian manifold

Authors: Hao Ding, Shizan Fang

Abstract: We will revisit the intrinsic differential geometry of the Wasserstein space over a Riemannian manifold, due to a series of papers by Otto, Villani, Lott, Ambrosio, Gigli, Savaré and so on. We will revisit the intrinsic differential geometry of the Wasserstein space over a Riemannian manifold, due to a series of papers by Otto, Villani, Lott, Ambrosio, Gigli, Savaré and so on. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Feedback Capacity of Parallel ACGN Channels and Kalman Filter: Power Allocation with Feedback

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we relate the feedback capacity of parallel additive colored Gaussian noise (ACGN) channels to a variant of the Kalman filter. By doing so, we obtain lower bounds on the feedback capacity of such channels, as well as the corresponding feedback (recursive) coding schemes, which are essentially power allocation policies with feedback, to achieve the bounds. The results are seen to red… ▽ More In this paper, we relate the feedback capacity of parallel additive colored Gaussian noise (ACGN) channels to a variant of the Kalman filter. By doing so, we obtain lower bounds on the feedback capacity of such channels, as well as the corresponding feedback (recursive) coding schemes, which are essentially power allocation policies with feedback, to achieve the bounds. The results are seen to reduce to existing lower bounds in the case of a single ACGN feedback channel, whereas when it comes to parallel additive white Gaussian noise (AWGN) channels with feedback, the recursive coding scheme reduces to a feedback "water-filling" power allocation policy. △ Less

Submitted 15 February, 2021; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: arXiv admin note: text overlap with arXiv:2001.03108

Fundamental Limits of Controlled Stochastic Dynamical Systems: An Information-Theoretic Approach

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we examine the fundamental performance limitations in the control of stochastic dynamical systems; more specifically, we derive generic $\mathcal{L}_p$ bounds that hold for any causal (stabilizing) controllers and any stochastic disturbances, by an information-theoretic analysis. We first consider the scenario where the plant (i.e., the dynamical system to be controlled) is linear t… ▽ More In this paper, we examine the fundamental performance limitations in the control of stochastic dynamical systems; more specifically, we derive generic $\mathcal{L}_p$ bounds that hold for any causal (stabilizing) controllers and any stochastic disturbances, by an information-theoretic analysis. We first consider the scenario where the plant (i.e., the dynamical system to be controlled) is linear time-invariant, and it is seen in general that the lower bounds are characterized by the unstable poles (or nonminimum-phase zeros) of the plant as well as the conditional entropy of the disturbance. We then analyze the setting where the plant is assumed to be (strictly) causal, for which case the lower bounds are determined by the conditional entropy of the disturbance. We also discuss the special cases of $p = 2$ and $p = \infty$, which correspond to minimum-variance control and controlling the maximum deviations, respectively. In addition, we investigate the power-spectral characterization of the lower bounds as well as its relation to the Kolmogorov-Szegö formula. △ Less

Submitted 3 June, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: Note that this is an extended version of the original submission "Fundamental Limits on the Maximum Deviations in Control Systems: How Short Can Distribution Tails be Made by Feedback?"; arXiv admin note: text overlap with arXiv:1912.05541

The Spectral-Domain $\mathcal{W}_2$ Wasserstein Distance for Elliptical Processes and the Spectral-Domain Gelbrich Bound

Authors: Song Fang, Quanyan Zhu

Abstract: In this short note, we introduce the spectral-domain $\mathcal{W}_2$ Wasserstein distance for elliptical stochastic processes in terms of their power spectra. We also introduce the spectral-domain Gelbrich bound for processes that are not necessarily elliptical. In this short note, we introduce the spectral-domain $\mathcal{W}_2$ Wasserstein distance for elliptical stochastic processes in terms of their power spectra. We also introduce the spectral-domain Gelbrich bound for processes that are not necessarily elliptical. △ Less

Submitted 6 January, 2021; v1 submitted 7 December, 2020; originally announced December 2020.

Independent Elliptical Distributions Minimize Their $\mathcal{W}_2$ Wasserstein Distance from Independent Elliptical Distributions with the Same Density Generator

Authors: Song Fang, Quanyan Zhu

Abstract: This short note is on a property of the $\mathcal{W}_2$ Wasserstein distance which indicates that independent elliptical distributions minimize their $\mathcal{W}_2$ Wasserstein distance from given independent elliptical distributions with the same density generators. Furthermore, we examine the implications of this property in the Gelbrich bound when the distributions are not necessarily elliptic… ▽ More This short note is on a property of the $\mathcal{W}_2$ Wasserstein distance which indicates that independent elliptical distributions minimize their $\mathcal{W}_2$ Wasserstein distance from given independent elliptical distributions with the same density generators. Furthermore, we examine the implications of this property in the Gelbrich bound when the distributions are not necessarily elliptical. Meanwhile, we also generalize the results to the cases when the distributions are not independent. The primary purpose of this note is for the referencing of papers that need to make use of this property or its implications. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Fundamental Stealthiness-Distortion Tradeoffs in Dynamical Systems under Injection Attacks: A Power Spectral Analysis

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we analyze the fundamental stealthiness-distortion tradeoffs of linear Gaussian dynamical systems under data injection attacks using a power spectral analysis, whereas the Kullback-Leibler (KL) divergence is employed as the stealthiness measure. Particularly, we obtain explicit formulas in terms of power spectra that characterize analytically the stealthiness-distortion tradeoffs as… ▽ More In this paper, we analyze the fundamental stealthiness-distortion tradeoffs of linear Gaussian dynamical systems under data injection attacks using a power spectral analysis, whereas the Kullback-Leibler (KL) divergence is employed as the stealthiness measure. Particularly, we obtain explicit formulas in terms of power spectra that characterize analytically the stealthiness-distortion tradeoffs as well as the properties of the worst-case attacks. Furthermore, it is seen in general that the attacker only needs to know the input-output behaviors of the systems in order to carry out the worst-case attacks. △ Less

Submitted 11 May, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Independent Gaussian Distributions Minimize the Kullback-Leibler (KL) Divergence from Independent Gaussian Distributions

Authors: Song Fang, Quanyan Zhu

Abstract: This short note is on a property of the Kullback-Leibler (KL) divergence which indicates that independent Gaussian distributions minimize the KL divergence from given independent Gaussian distributions. The primary purpose of this note is for the referencing of papers that need to make use of this property entirely or partially. This short note is on a property of the Kullback-Leibler (KL) divergence which indicates that independent Gaussian distributions minimize the KL divergence from given independent Gaussian distributions. The primary purpose of this note is for the referencing of papers that need to make use of this property entirely or partially. △ Less

Submitted 3 December, 2020; v1 submitted 4 November, 2020; originally announced November 2020.

Channel Leakage, Information-Theoretic Limitations of Obfuscation, and Optimal Privacy Mask Design for Streaming Data

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we first introduce the notion of channel leakage as the minimum mutual information between the channel input and channel output. As its name indicates, channel leakage quantifies the minimum information leakage to the malicious receiver. In a broad sense, it can be viewed as a dual concept of channel capacity, which characterizes the maximum information transmission to the targeted… ▽ More In this paper, we first introduce the notion of channel leakage as the minimum mutual information between the channel input and channel output. As its name indicates, channel leakage quantifies the minimum information leakage to the malicious receiver. In a broad sense, it can be viewed as a dual concept of channel capacity, which characterizes the maximum information transmission to the targeted receiver. We obtain explicit formulas of channel leakage for the white Gaussian case, the colored Gaussian case, and the fading case. We then utilize this notion to investigate the fundamental limitations of obfuscation in terms of privacy-distortion tradeoffs (as well as privacy-power tradeoffs) for streaming data; particularly, we derive analytical tradeoff equations for the stationary case, the non-stationary case, and the finite-time case. Our results also indicate explicitly how to design the privacy masks in an optimal way. △ Less

Submitted 29 September, 2020; v1 submitted 11 August, 2020; originally announced August 2020.

Comments: The title was changed from "Channel Leakage and Information Theoretic Privacy-Distortion Tradeoffs for Streaming Data" to the current one on 29th September 2020

Feedback Capacity and a Variant of the Kalman Filter with ARMA Gaussian Noises: Explicit Bounds and Feedback Coding Design

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we relate a feedback channel with any finite-order autoregressive moving-average (ARMA) Gaussian noises to a variant of the Kalman filter. In light of this, we obtain relatively explicit lower bounds on the feedback capacity for such colored Gaussian noises, and the bounds are seen to be consistent with various existing results in the literature. Meanwhile, this variant of the Kalma… ▽ More In this paper, we relate a feedback channel with any finite-order autoregressive moving-average (ARMA) Gaussian noises to a variant of the Kalman filter. In light of this, we obtain relatively explicit lower bounds on the feedback capacity for such colored Gaussian noises, and the bounds are seen to be consistent with various existing results in the literature. Meanwhile, this variant of the Kalman filter also leads to explicit recursive coding schemes with clear structures to achieve the lower bounds. In general, our results provide an alternative perspective while pointing to potentially tighter bounds for the feedback capacity problem. △ Less

Submitted 3 June, 2021; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: Note that this is an extended version of the original submission "A Connection between Feedback Capacity and Kalman Filter for Colored Gaussian Noises"

Relativistic Control: Feedback Control of Relativistic Dynamics

Authors: Song Fang, Quanyan Zhu

Abstract: Strictly speaking, Newton's second law of motion is only an approximation of the so-called relativistic dynamics, i.e., Einstein's modification of the second law based on his theory of special relativity. Although the approximation is almost exact when the velocity of the dynamical system is far less than the speed of light, the difference will become larger and larger (and will eventually go to i… ▽ More Strictly speaking, Newton's second law of motion is only an approximation of the so-called relativistic dynamics, i.e., Einstein's modification of the second law based on his theory of special relativity. Although the approximation is almost exact when the velocity of the dynamical system is far less than the speed of light, the difference will become larger and larger (and will eventually go to infinity) as the velocity approaches the speed of light. Correspondingly, feedback control of such dynamics should also take this modification into consideration (though it will render the system nonlinear), especially when the velocity is relatively large. Towards this end, we start this note by studying the state-space representation of the relativistic dynamics. We then investigate on how to employ the feedback linearization approach for such relativistic dynamics, based upon which an additional linear controller may then be designed. As such, the feedback linearization together with the linear controller compose the overall relativistic feedback control law. We also provide discussions on, e.g., controllability, state feedback and output feedback, as well as PID control, in the relativistic setting. △ Less

Submitted 13 January, 2021; v1 submitted 6 December, 2019; originally announced December 2019.

Fundamental Limitations in Sequential Prediction and Recursive Algorithms: $\mathcal{L}_{p}$ Bounds via an Entropic Analysis

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we obtain fundamental $\mathcal{L}_{p}$ bounds in sequential prediction and recursive algorithms via an entropic analysis. Both classes of problems are examined by investigating the underlying entropic relationships of the data and/or noises involved, and the derived lower bounds may all be quantified in a conditional entropy characterization. We also study the conditions to achieve… ▽ More In this paper, we obtain fundamental $\mathcal{L}_{p}$ bounds in sequential prediction and recursive algorithms via an entropic analysis. Both classes of problems are examined by investigating the underlying entropic relationships of the data and/or noises involved, and the derived lower bounds may all be quantified in a conditional entropy characterization. We also study the conditions to achieve the generic bounds from an innovations' viewpoint. △ Less

Submitted 11 May, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1910.06742. text overlap with arXiv:1912.05541

Generic Bounds on the Maximum Deviations in Sequential Prediction: An Information-Theoretic Analysis

Authors: Song Fang, Quanyan Zhu

Abstract: In this paper, we derive generic bounds on the maximum deviations in prediction errors for sequential prediction via an information-theoretic approach. The fundamental bounds are shown to depend only on the conditional entropy of the data point to be predicted given the previous data points. In the asymptotic case, the bounds are achieved if and only if the prediction error is white and uniformly… ▽ More In this paper, we derive generic bounds on the maximum deviations in prediction errors for sequential prediction via an information-theoretic approach. The fundamental bounds are shown to depend only on the conditional entropy of the data point to be predicted given the previous data points. In the asymptotic case, the bounds are achieved if and only if the prediction error is white and uniformly distributed. △ Less

Submitted 11 May, 2021; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.04765. text overlap with arXiv:2001.03813

Vorticity, Helicity, Intrinsinc geometry for Navier-Stokes equations

Authors: Shizan Fang, Zhongmin Qian

Abstract: We will consider the Navier-Stokes equation on a Riemannian manifold M with Ricci tensor bounded below, the involved Laplacian operator is De Rham-Hodge Laplacian. The novelty of this work is to introduce a family of connections which are related to solutions of the Navier-Stokes equation, so that vorticity and helicity can be linked through the associated time-dependent Ricci tensor in intrinsic… ▽ More We will consider the Navier-Stokes equation on a Riemannian manifold M with Ricci tensor bounded below, the involved Laplacian operator is De Rham-Hodge Laplacian. The novelty of this work is to introduce a family of connections which are related to solutions of the Navier-Stokes equation, so that vorticity and helicity can be linked through the associated time-dependent Ricci tensor in intrinsic way in the case where dim(M) = 3. MSC 2010: 35Q30, 58J65 △ Less

Submitted 11 October, 2019; originally announced October 2019.

Two-Way Coding and Attack Decoupling in Control Systems Under Injection Attacks

Authors: Song Fang, Karl Henrik Johansson, Mikael Skoglund, Henrik Sandberg, Hideaki Ishii

Abstract: In this paper, we introduce the concept of two-way coding, which originates in communication theory characterizing coding schemes for two-way channels, into control theory, particularly to facilitate the analysis and design of feedback control systems under injection attacks. Moreover, we propose the notion of attack decoupling, and show how the controller and the two-way coding can be co-designed… ▽ More In this paper, we introduce the concept of two-way coding, which originates in communication theory characterizing coding schemes for two-way channels, into control theory, particularly to facilitate the analysis and design of feedback control systems under injection attacks. Moreover, we propose the notion of attack decoupling, and show how the controller and the two-way coding can be co-designed to nullify the transfer function from attack to plant, rendering the attack effect zero both in transient phase and in steady state. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: arXiv admin note: text overlap with arXiv:1901.05420

Nash embedding, shape operator and Navier-Stokes equation on a Riemannian manifold

Authors: Shizan Fang

Abstract: What is the suitable Laplace operator on vector fields for the Navier-Stokes equation on a Riemannian manifold? In this note, by considering Nash embedding, we will try to elucidate different aspects of different Laplace operators such as de Rham-Hodge Laplacian as well as Ebin-Marsden's Laplacian. A probabilistic representation formula for Navier-Stokes equations on a general compact Riemannian m… ▽ More What is the suitable Laplace operator on vector fields for the Navier-Stokes equation on a Riemannian manifold? In this note, by considering Nash embedding, we will try to elucidate different aspects of different Laplace operators such as de Rham-Hodge Laplacian as well as Ebin-Marsden's Laplacian. A probabilistic representation formula for Navier-Stokes equations on a general compact Riemannian manifold is obtained when de Rham-Hodge Laplacian is involved. MSC 2010: 35Q30, 58J65 △ Less

Submitted 11 October, 2019; v1 submitted 29 July, 2019; originally announced July 2019.

Generic Variance Bounds on Estimation and Prediction Errors in Time Series Analysis: An Entropy Perspective

Authors: Song Fang, Mikael Skoglund, Karl Henrik Johansson, Hideaki Ishii, Quanyan Zhu

Abstract: In this paper, we obtain generic bounds on the variances of estimation and prediction errors in time series analysis via an information-theoretic approach. It is seen in general that the error bounds are determined by the conditional entropy of the data point to be estimated or predicted given the side information or past observations. Additionally, we discover that in order to achieve the predict… ▽ More In this paper, we obtain generic bounds on the variances of estimation and prediction errors in time series analysis via an information-theoretic approach. It is seen in general that the error bounds are determined by the conditional entropy of the data point to be estimated or predicted given the side information or past observations. Additionally, we discover that in order to achieve the prediction error bounds asymptotically, the necessary and sufficient condition is that the "innovation" is asymptotically white Gaussian. When restricted to Gaussian processes and 1-step prediction, our bounds are shown to reduce to the Kolmogorov-Szegö formula and Wiener-Masani formula known from linear prediction theory. △ Less

Submitted 11 May, 2021; v1 submitted 9 April, 2019; originally announced April 2019.

Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction

Authors: Song Fang, Karl Henrik Johansson, Mikael Skoglund, Henrik Sandberg, Hideaki Ishii

Abstract: In this paper, we introduce the method of two-way coding, a concept originating in communication theory characterizing coding schemes for two-way channels, into (networked) feedback control systems under injection attacks. We first show that the presence of two-way coding can distort the perspective of the attacker on the control system. In general, the distorted viewpoint on the attacker side as… ▽ More In this paper, we introduce the method of two-way coding, a concept originating in communication theory characterizing coding schemes for two-way channels, into (networked) feedback control systems under injection attacks. We first show that the presence of two-way coding can distort the perspective of the attacker on the control system. In general, the distorted viewpoint on the attacker side as a consequence of two-way coding will facilitate detecting the attacks, or restricting what the attacker can do, or even correcting the attack effect. In the particular case of zero-dynamics attacks, if the attacks are to be designed according to the original plant, then they will be easily detected; while if the attacks are designed with respect to the equivalent plant as viewed by the attacker, then under the additional assumption that the plant is stabilizable by static output feedback, the attack effect may be corrected in steady state. △ Less

Submitted 17 January, 2019; v1 submitted 16 January, 2019; originally announced January 2019.

Small time asymptotics for Brownian motion with singular drift

Authors: Zhen-Qing Chen, Shizan Fang, Tusheng Zhang

Abstract: We establish a small time large deviation principle and a Varadhan type asymptotics for Brownian motion with singular drift on $\bR^d$ with $d\geq 3$ whose infinitesimal generator is $\frac12 Δ+ μ\cdot \nabla$, where each $μ_i$ of $μ= (μ_1, \cdots, μ_d)$ is a measure in some suitable Kato class. We establish a small time large deviation principle and a Varadhan type asymptotics for Brownian motion with singular drift on $\bR^d$ with $d\geq 3$ whose infinitesimal generator is $\frac12 Δ+ μ\cdot \nabla$, where each $μ_i$ of $μ= (μ_1, \cdots, μ_d)$ is a measure in some suitable Kato class. △ Less

Submitted 7 August, 2018; originally announced August 2018.

MSC Class: Primary 60H15; Secondary 93E20; 35R60

A Frequency-Domain Characterization of Optimal Error Covariance for the Kalman-Bucy Filter

Authors: Song Fang, Hideaki Ishii, Jie Chen, Karl Henrik Johansson

Abstract: In this paper, we discover that the trace of the division of the optimal output estimation error covariance over the noise covariance attained by the Kalman-Bucy filter can be explicitly expressed in terms of the plant dynamics and noise statistics in a frequency-domain integral characterization. Towards this end, we examine the algebraic Riccati equation associated with Kalman-Bucy filtering usin… ▽ More In this paper, we discover that the trace of the division of the optimal output estimation error covariance over the noise covariance attained by the Kalman-Bucy filter can be explicitly expressed in terms of the plant dynamics and noise statistics in a frequency-domain integral characterization. Towards this end, we examine the algebraic Riccati equation associated with Kalman-Bucy filtering using analytic function theory and relate it to the Bode integral. Our approach features an alternative, frequency-domain framework for analyzing algebraic Riccati equations and reduces to various existing related results. △ Less

Submitted 23 July, 2018; originally announced July 2018.

On non-elliptic symplectic manifolds

Authors: Shouwen Fang, Hongyu Wang

Abstract: Let $M$ be a closed symplectic manifold of dimension $2n$ with non-ellipticity. We can define an almost Kähler structure on $M$ by using the given symplectic form. Hence, we have a $\G=π_1(M)$-invariant almost Kähler structure on the universal covering, $\ti M$, of $M$. Using Darboux coordinate charts, we globally deform the given almost Kähler structure on $\ti M$ off a Lebesgue measure zero subs… ▽ More Let $M$ be a closed symplectic manifold of dimension $2n$ with non-ellipticity. We can define an almost Kähler structure on $M$ by using the given symplectic form. Hence, we have a $\G=π_1(M)$-invariant almost Kähler structure on the universal covering, $\ti M$, of $M$. Using Darboux coordinate charts, we globally deform the given almost Kähler structure on $\ti M$ off a Lebesgue measure zero subset to obtain a $\G$-invariant Lipschitz Kähler flat structure on $\ti M$ which is $\G$-homotopy equivalent to the given almost Kähler structure. Analogous to Teleman's $L^2$-Hodge decomposition on PL manifolds or Lipschitz Riemannian manifolds, we give a $L^2$-Hodge decomposition theorem on $\ti M$ with respect to the Lipschitz Kähler flat metric. Using an argument of Gromov, we give a vanishing theorem for $L^2$ harmonic $p$-forms, $p\not=n$ (resp. a non-vanishing theorem for $L^2$ harmonic $n$-forms) on $\ti M$, then the signed Euler characteristic satisfies $(-1)^nχ(M)\geq0$ (resp. $(-1)^nχ(M)>0$). Similarly, for any closed even dimensional Riemannian manifold $(M, g)$, we can construct a $\G$-invariant Lipschitz Kähler flat structure on the universal covering, $(\ti M, \ti g)$, of $(M, g)$ which is $\G$-homotopy equivalent to and quasi-isometric to the metric $\ti g$. As an application, using Gromov's method we show that the Chern-Hopf conjecture holds true in closed even dimensional Riemannian manifolds with nonpositive curvature (resp. strictly negative curvature), it gives a positive answer to a Yau's problem due to S. S. Chern and H. Hopf. △ Less

Submitted 3 July, 2024; v1 submitted 1 July, 2018; originally announced July 2018.

Comments: 72 pages, Comments are welcome

MSC Class: 53D05; 57R20; 57R17

Spectral Decimation for Families of Self-Similar Symmetric Laplacians on the Sierpinski Gasket

Authors: Sizhen Fang, Dylan A. King, Eun Bi Lee, Robert S. Strichartz

Abstract: We construct a one-parameter family of Laplacians on the Sierpinski Gasket that are symmetric and self-similar for the 9-map iterated function system obtained by iterating the standard 3-map iterated function system. Our main result is the fact that all these Laplacians satisfy a version of spectral decimation that builds a precise catalog of eigenvalues and eigenfunctions for any choice of the pa… ▽ More We construct a one-parameter family of Laplacians on the Sierpinski Gasket that are symmetric and self-similar for the 9-map iterated function system obtained by iterating the standard 3-map iterated function system. Our main result is the fact that all these Laplacians satisfy a version of spectral decimation that builds a precise catalog of eigenvalues and eigenfunctions for any choice of the parameter. We give a number of applications of this spectral decimation. We also prove analogous results for fractal Laplacians on the unit Interval, and this yields an analogue of the classical Sturm-Liouville theory for the eigenfunctions of these one-dimensional Laplacians. △ Less

Submitted 29 March, 2020; v1 submitted 6 September, 2017; originally announced September 2017.

MSC Class: 31C45 (Primary); 42C99 (Secondary)

Large time behavior of solutions for a Cauchy problem on nonlinear conservation laws with large initial data in the whole space

Authors: Lingyu **, Lang Li, Shaomei Fang

Abstract: We consider the Cauchy problem on a nonlinear conversation law with large initial data. By Green's function methods, energy methods, Fourier analysis, frequency decomposition, pseudo-differential operators, we obtain the global existence and the optimal decay estimate of $t$. We consider the Cauchy problem on a nonlinear conversation law with large initial data. By Green's function methods, energy methods, Fourier analysis, frequency decomposition, pseudo-differential operators, we obtain the global existence and the optimal decay estimate of $t$. △ Less

Submitted 25 June, 2017; originally announced June 2017.

Comments: 32 pages

The Brezis-Nirenberg Result for the Fractional Elliptic Problem with Singular Potential

Authors: Lingyu **, Lang Li, Shaomei Fang

Abstract: In this paper, we are concerned with the following type of fractional problems: $$ \begin{cases}\dis (-Δ)^{s} u-μ\frac{u}{|x|^{2s}}-λu=|u|^{2^*_{s}-2}u+f(x,u), &\text{in} Ω,\ \ \, u=0\,&\text{in} \R^N\backslashΩ \end{cases} \eqno {(*)} $$ where $s\in (0,1)$, $2^*_{s}=2N/(N-2s)$ is the critical Sobolev exponent, $f(x,u)$ is a lower order perturbation of critical Sobolev nonlinearity… ▽ More In this paper, we are concerned with the following type of fractional problems: $$ \begin{cases}\dis (-Δ)^{s} u-μ\frac{u}{|x|^{2s}}-λu=|u|^{2^*_{s}-2}u+f(x,u), &\text{in} Ω,\ \ \, u=0\,&\text{in} \R^N\backslashΩ \end{cases} \eqno {(*)} $$ where $s\in (0,1)$, $2^*_{s}=2N/(N-2s)$ is the critical Sobolev exponent, $f(x,u)$ is a lower order perturbation of critical Sobolev nonlinearity. We obtain the existence of the solution for (*) through variational methods. In particular we derive a Brézis-Nirenberg type result when $f(x,u)=0$. △ Less

Submitted 23 May, 2017; originally announced May 2017.

A Global Compact Result for a Fractional Elliptic Problem with Critical Sobolev-Hardy Nonlinearities on ${\mathbb R}^N$

Authors: Lingyu **, Shaomei Fang

Abstract: In this paper, we are concerned with the following type of elliptic problems: $$ (-Δ)^α u+a(x) u=\frac{|u|^{2^*_{s}-2}u}{|x|^s}+k(x)|u|^{q-2}u, u\,\in\,H^α({\mathbb R}^N), $$ where $2<q< 2^*$, $0<α<1$, $0<s<2α$, $2^*_{s}=2(N-s)/(N-2α)$ is the critical Sobolev-Hardy exponent, $2^*=2N/(N-2α)$ is the critical Sobolev exponent, $a(x),k(x)\in C({\mathbb R}^N)$. Through a compactness analysis of the f… ▽ More In this paper, we are concerned with the following type of elliptic problems: $$ (-Δ)^α u+a(x) u=\frac{|u|^{2^*_{s}-2}u}{|x|^s}+k(x)|u|^{q-2}u, u\,\in\,H^α({\mathbb R}^N), $$ where $2<q< 2^*$, $0<α<1$, $0<s<2α$, $2^*_{s}=2(N-s)/(N-2α)$ is the critical Sobolev-Hardy exponent, $2^*=2N/(N-2α)$ is the critical Sobolev exponent, $a(x),k(x)\in C({\mathbb R}^N)$. Through a compactness analysis of the functional associated to the problem, we obtain the existence of positive solutions under certain assumptions on $a(x),k(x)$. △ Less

Submitted 28 February, 2017; originally announced March 2017.

MSC Class: 35J10; 35J20; 35J60

The global existence and time-decay for the solution of the fractional pseudo-parabolic equation

Authors: Lingyu **, Lang Li, Shaomei Fang

Abstract: We consider the Cauchy problem of fractional pseudo-parabolic equation on the whole space $R^n,n\geq 1$. Here, the fractional order $α$ is related to the diffusion-type source term behaving as the usual diffusion term on the high frequency part. It has a feature of regularity-gain and regularity-loss for $0<α< 1$ and $α> 1$, respectively. We establish the global existence and time-decay rates for… ▽ More We consider the Cauchy problem of fractional pseudo-parabolic equation on the whole space $R^n,n\geq 1$. Here, the fractional order $α$ is related to the diffusion-type source term behaving as the usual diffusion term on the high frequency part. It has a feature of regularity-gain and regularity-loss for $0<α< 1$ and $α> 1$, respectively. We establish the global existence and time-decay rates for small-amplitude classical solutions to the Cauchy problem for $α>0$. In the case that $0<α< 1$ , we introduce the time-weighted energy method to overcome the weakly dissipative property of the equation. △ Less

Submitted 24 March, 2017; v1 submitted 30 December, 2016; originally announced December 2016.

Generalized stochastic Lagrangian paths for the Navier-Stokes equation

Authors: Marc Arnaudon, Ana Bela Cruzeiro, Shizan Fang

Abstract: In the note added in proof of the seminal paper [Groups of diffeomorphisms andthe motion of an incompressible fluid, Ann. of Math. 92 (1970), 102-163], Ebinand Marsden introduced the so-called correct Laplacian for the Navier-Stokes equationon a compact Riemannian manifold. In the spirit of Brenier's generalized flows forthe Euler equation, we introduce a class of semimartingales on a compact Riem… ▽ More In the note added in proof of the seminal paper [Groups of diffeomorphisms andthe motion of an incompressible fluid, Ann. of Math. 92 (1970), 102-163], Ebinand Marsden introduced the so-called correct Laplacian for the Navier-Stokes equationon a compact Riemannian manifold. In the spirit of Brenier's generalized flows forthe Euler equation, we introduce a class of semimartingales on a compact Riemannianmanifold. We prove that these semimartingales are critical points to the correspondingkinetic energy if and only if its drift term solves weakly the Navier-Stokes equationdefined with Ebin-Marsden's Laplacian. We also show that for the torus case,classical solutions of the Navier-Stokes equation realize the minimum of the kineticenergy in a suitable class. △ Less

Submitted 23 February, 2016; v1 submitted 11 September, 2015; originally announced September 2015.

Remarks on spectral gaps on the Riemannian path space

Authors: Shizan Fang, Bo Wu

Abstract: In this paper, we will give some remarks on links between the spectral gap of the Ornstein-Uhlenbeck operator on the Riemannian path space with lower and upper bounds of the Ricci curvature on the base manifold; this work was motivated by a recent work of A. Naber on the characterization of the bound of the Ricci curvature by analysis of path spaces. In this paper, we will give some remarks on links between the spectral gap of the Ornstein-Uhlenbeck operator on the Riemannian path space with lower and upper bounds of the Ricci curvature on the base manifold; this work was motivated by a recent work of A. Naber on the characterization of the bound of the Ricci curvature by analysis of path spaces. △ Less

Submitted 30 August, 2015; originally announced August 2015.

MSC Class: 60D05

Constantin and Iyer's representation formula for the Navier--Stokes equations on manifolds

Authors: Shizan Fang, Dejun Luo

Abstract: The purpose of this paper is to establish a probabilistic representation formula for the Navier--Stokes equations on compact Riemannian manifolds. Such a formula has been provided by Constantin and Iyer in the flat case of $\mathbb R^n$ or of $\mathbb T^n$. On a Riemannian manifold, however, there are several different choices of Laplacian operators acting on vector fields. In this paper, we shall… ▽ More The purpose of this paper is to establish a probabilistic representation formula for the Navier--Stokes equations on compact Riemannian manifolds. Such a formula has been provided by Constantin and Iyer in the flat case of $\mathbb R^n$ or of $\mathbb T^n$. On a Riemannian manifold, however, there are several different choices of Laplacian operators acting on vector fields. In this paper, we shall use the de Rham--Hodge Laplacian operator which seems more relevant to the probabilistic setting, and adopt Elworthy--Le Jan--Li's idea to decompose it as a sum of the square of Lie derivatives. △ Less

Submitted 13 April, 2017; v1 submitted 26 August, 2015; originally announced August 2015.

Comments: 26 pages. We add Section 4 discussing the Killing vector fields on Riemannian symmetric spaces which satisfy the conditions in Section 3

Journal ref: Potential Analysis 48 (2018), no. 2, 181-206

Isoperimetric inequality along the twisted Kähler-Ricci flow

Authors: Shouwen Fang, Tao Zheng

Abstract: We prove a uniform isoperimetric inequality for all time along the twisted Kähler-Ricci flow on Fano manifolds. We prove a uniform isoperimetric inequality for all time along the twisted Kähler-Ricci flow on Fano manifolds. △ Less

Submitted 2 November, 2017; v1 submitted 20 February, 2015; originally announced February 2015.

Comments: 12 pages, accepted by Differential Geometry and its Applications

MSC Class: 53C21; 53C44

The (logarithmic) Sobolev inequalities along geometric flow and applications

Authors: Shouwen Fang, Tao Zheng

Abstract: For some class of geometric flows, we obtain the (logarithmic) Sobolev inequalities and their equivalence up to different factors directly and also obtain the long time non-collapsing and non-inflated properties, which generalize the results in the case of Ricci flow or List-Ricci flow or harmonic-Ricci flow. As applications, for mean curvature flow in Lorentzian space with nonnegative sectional c… ▽ More For some class of geometric flows, we obtain the (logarithmic) Sobolev inequalities and their equivalence up to different factors directly and also obtain the long time non-collapsing and non-inflated properties, which generalize the results in the case of Ricci flow or List-Ricci flow or harmonic-Ricci flow. As applications, for mean curvature flow in Lorentzian space with nonnegative sectional curvature and twisted Kähler-Ricci flow on Fano manifolds, we get the results above. △ Less

Submitted 18 March, 2017; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 35pages,correct some typos

MSC Class: 53C21; 53C44

Journal ref: J. Math. Anal. Appl. 434 (2016), no. 1, 729-764

Inoue surfaces and the Chern-Ricci flow

Authors: Shouwen Fang, Valentino Tosatti, Ben Weinkove, Tao Zheng

Abstract: We investigate the Chern-Ricci flow, an evolution equation of Hermitian metrics, on Inoue surfaces. These are non-Kahler compact complex surfaces of type Class VII. We show that, after an initial conformal change, the flow always collapses the Inoue surface to a circle at infinite time, in the sense of Gromov-Hausdorff. We investigate the Chern-Ricci flow, an evolution equation of Hermitian metrics, on Inoue surfaces. These are non-Kahler compact complex surfaces of type Class VII. We show that, after an initial conformal change, the flow always collapses the Inoue surface to a circle at infinite time, in the sense of Gromov-Hausdorff. △ Less

Submitted 29 January, 2015; originally announced January 2015.

Comments: 23 pages

MSC Class: 53C44; 53C55; 32W20; 32J15

Journal ref: J. Funct. Anal. 271 (2016), no. 11, 3162-3185

An upper bound of the heat kernel along the harmonic-Ricci flow

Authors: Shouwen Fang, Tao Zheng

Abstract: In this paper, we first derive a Sobolev inequality along the harmonic-Ricci flow. We then prove a linear parabolic estimate based on the Sobolev inequality and Moser's iteration. As an application, we will obtain an upper bound estimate for the heat kernel under the flow. In this paper, we first derive a Sobolev inequality along the harmonic-Ricci flow. We then prove a linear parabolic estimate based on the Sobolev inequality and Moser's iteration. As an application, we will obtain an upper bound estimate for the heat kernel under the flow. △ Less

Submitted 26 February, 2015; v1 submitted 4 January, 2015; originally announced January 2015.

Comments: 16pages. arXiv admin note: text overlap with arXiv:1412.3200 by other authors

MSC Class: 53C21; 53C44

Three Laws of Multivariable Feedback Systems, Extended Spectral Flatness (Extended Wiener Entropy), 'Uncertainty Principles' in Variance Minimization, and Performance Limitations in Minimum Variance Estimation/Filtering

Authors: Song Fang

Abstract: In this paper, three laws are obtained for multiple-input multiple-output feedback systems, which are in entropy domain, frequency domain, and time domain, respectively. The system setup is that with causal plants and causal controllers. Those laws characterize the performance limitations of such systems imposed by the feedback mechanism. Some new notions are proposed to facilitate the analysis: n… ▽ More In this paper, three laws are obtained for multiple-input multiple-output feedback systems, which are in entropy domain, frequency domain, and time domain, respectively. The system setup is that with causal plants and causal controllers. Those laws characterize the performance limitations of such systems imposed by the feedback mechanism. Some new notions are proposed to facilitate the analysis: negentropy rate, extended spectral flatness (extended Wiener entropy), Gaussianity-whiteness measure (joint Shannon-Wiener entropy), etc. Two approaches are adopted: the integrated approach and the divided approach. And 'uncertainty principles' are found in minimum variance control. Besides, performance limitations in minimum variance estimation and filtering are obtained. In the end, the special case of linear time-invariant feedback systems is discussed. △ Less

Submitted 19 December, 2014; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: This paper has been withdrawn by the author due to personal reasons

Limitations of state estimation: absolute lower bound of minimum variance estimation/filtering, Gaussianity-whiteness measure (joint Shannon-Wiener entropy), and Gaussianing-whitening filter (maximum Gaussianity-whiteness measure principle)

Authors: Song Fang

Abstract: This paper aims at obtaining performance limitations of state estimation in terms of variance minimization (minimum variance estimation and filtering) using information theory. Two new notions, negentropy rate and Gaussianity-whiteness measure (joint Shannon-Wiener entropy), are proposed to facilitate the analysis. Topics such as Gaussianing-whitening filter (the maximum Gaussianity-whiteness meas… ▽ More This paper aims at obtaining performance limitations of state estimation in terms of variance minimization (minimum variance estimation and filtering) using information theory. Two new notions, negentropy rate and Gaussianity-whiteness measure (joint Shannon-Wiener entropy), are proposed to facilitate the analysis. Topics such as Gaussianing-whitening filter (the maximum Gaussianity-whiteness measure principle) are also discussed. △ Less

Submitted 19 December, 2014; v1 submitted 4 November, 2014; originally announced November 2014.

Comments: This paper has been withdrawn by the author due to personal reasons

Double Well Potential Function and Its Optimization in The n-dimensional Real Space -- Part I

Authors: Shu-Cherng Fang, David Yang Gao, Gang-Xuan Lin, Ruey-Lin Sheu, Wen-Xun Xing

Abstract: A special type of multi-variate polynomial of degree 4, called the double well potential function, is studied. When the function is bounded from below, it has a very unique property that two or more local minimum solutions are separated by one local maximum solution, or one saddle point. Our intension in this paper is to categorize all possible configurations of the double well potential functions… ▽ More A special type of multi-variate polynomial of degree 4, called the double well potential function, is studied. When the function is bounded from below, it has a very unique property that two or more local minimum solutions are separated by one local maximum solution, or one saddle point. Our intension in this paper is to categorize all possible configurations of the double well potential functions mathematically. In part I, we begin the study with deriving the double well potential function from a numerical estimation of the generalized Ginzburg-Landau functional. Then, we solve the global minimum solution from the dual side by introducing a geometrically nonlinear measure which is a type of Cauchy-Green strain. We show that the dual of the dual problem is a linearly constrained convex minimization problem, which is mapped equivalently to a portion of the original double well problem subject to additional linear constraints. Numerical examples are provided to illustrate the important features of the problem and the map** in between. △ Less

Submitted 22 October, 2014; originally announced October 2014.

Comments: 20 pages, 1 figure, to appear in Mathematics and Mechanics of Solids. Part II of the paper can be found at arXiv:1404.1963

MSC Class: 90C20; 90C22; 90C26

Three laws of feedback systems: entropy rate never decreases, generalized Bode integral, absolute lower bound in variance minimization, Gaussianity-whiteness measure (joint Shannon-Wiener entropy), Gaussianing-whitening control, and beyond

Authors: Song Fang

Abstract: This paper aims at obtaining universal laws and absolute lower bounds of feedback systems using information theory. The feedback system setup is that with causal plants and causal controllers. Three laws (entropy rate never decreases, generalized Bode integral, and absolute lower bound in variance minimization) are obtained, which are in entropy domain, frequency domain, and time domain, respectiv… ▽ More This paper aims at obtaining universal laws and absolute lower bounds of feedback systems using information theory. The feedback system setup is that with causal plants and causal controllers. Three laws (entropy rate never decreases, generalized Bode integral, and absolute lower bound in variance minimization) are obtained, which are in entropy domain, frequency domain, and time domain, respectively. Those laws characterize the fundamental limitations of such systems imposed by the feedback mechanism. Two new notions, negentropy rate and Gaussianity-whiteness measure (joint Shannon-Wiener entropy), are proposed to facilitate the analysis. Topics such as whiteness-Gaussianity-variance decomposition, Gaussianing-whitening control (the maximum Gaussianity-whiteness measure principle), whitening control (spectrum/spectral flattening control), generalized Bode plot, and so on are also discussed. The special case of linear time-invariant feedback systems is considered in the end. △ Less

Submitted 19 December, 2014; v1 submitted 20 October, 2014; originally announced October 2014.

Comments: This paper has been withdrawn by the author due to personal reasons

Best $L_1$ approximation of Heaviside-type functions in Chebyshev and weak-Chebyshev spaces

Authors: Laurent Gajny, Olivier Gibaru, Eric Nyiri, Shu-Cherng Fang

Abstract: In this article, we study the problem of best $L_1$ approximation of Heaviside-type functions in Chebyshev and weak-Chebyshev spaces. We extend the Hobby-Rice theorem into an appropriate framework and prove the unicity of best $L_1$ approximation of Heaviside-type functions in an even-dimensional Chebyshev space under the condition that the dimension of the subspace composed of the even functions… ▽ More In this article, we study the problem of best $L_1$ approximation of Heaviside-type functions in Chebyshev and weak-Chebyshev spaces. We extend the Hobby-Rice theorem into an appropriate framework and prove the unicity of best $L_1$ approximation of Heaviside-type functions in an even-dimensional Chebyshev space under the condition that the dimension of the subspace composed of the even functions is half the dimension of the whole space. We also apply the results to compute best $L_1$ approximations of Heaviside-type functions by polynomials and Hermite polynomial splines with fixed knots. △ Less

Submitted 26 October, 2015; v1 submitted 1 July, 2014; originally announced July 2014.

MSC Class: 41A10; 41A15; 41A50; 41A52

Double Well Potential Function and Its Optimization in the n-dimensional Real Space - Part II

Authors: Yong Xia, Ruey-Lin Sheu, Shu-Cherng Fang, Wenxun Xing

Abstract: In contrast to taking the dual approach for finding a global minimum solution of a double well potential function, in Part II of the paper, we characterize a local minimizer, local maximizer, and global minimizer directly from the primal side. It is proven that, for a ``nonsingular" double well function, there exists at most one local, but non-global, minimizer and at most one local maximizer. Mor… ▽ More In contrast to taking the dual approach for finding a global minimum solution of a double well potential function, in Part II of the paper, we characterize a local minimizer, local maximizer, and global minimizer directly from the primal side. It is proven that, for a ``nonsingular" double well function, there exists at most one local, but non-global, minimizer and at most one local maximizer. Moreover, when it exists, the local maximizer is ``surrounded" by local minimizers in the sense that the norm of the local maximizer is strictly less than that of any local minimizer. We also establish some necessary and sufficient optimality conditions for the global minimizer, local non-global minimizer and local maximizer by studying a convex secular function over specific intervals. These conditions lead to three algorithms for identifying different types of critical points of a given double well function. △ Less

Submitted 7 April, 2014; originally announced April 2014.

Comments: 27pages

Sobolev estimates for optimal transport maps on Gaussian spaces

Authors: Shizan Fang, Vincent Nolot

Abstract: We will study variations in Sobolev spaces of optimal transport maps with the standard Gaussian measure as the reference measure. Some dimension free inequalities will be obtained. As application, we construct solutions to Monge-Ampere equations in finite dimension, as well as on the Wiener space. We will study variations in Sobolev spaces of optimal transport maps with the standard Gaussian measure as the reference measure. Some dimension free inequalities will be obtained. As application, we construct solutions to Monge-Ampere equations in finite dimension, as well as on the Wiener space. △ Less

Submitted 20 July, 2012; originally announced July 2012.

Comments: 24 pages

Stochastic differential equations with coefficients in Sobolev spaces

Authors: Shizan Fang, Dejun Luo, Anto Thalmaier

Abstract: We consider Itô SDE $\d X_t=\sum_{j=1}^m A_j(X_t) \d w_t^j + A_0(X_t) \d t$ on $\R^d$. The diffusion coefficients $A_1,..., A_m$ are supposed to be in the Sobolev space $W_\text{loc}^{1,p} (\R^d)$ with $p>d$, and to have linear growth; for the drift coefficient $A_0$, we consider two cases: (i) $A_0$ is continuous whose distributional divergence $δ(A_0)$ w.r.t. the Gaussian measure $γ_d$ exists,… ▽ More We consider Itô SDE $\d X_t=\sum_{j=1}^m A_j(X_t) \d w_t^j + A_0(X_t) \d t$ on $\R^d$. The diffusion coefficients $A_1,..., A_m$ are supposed to be in the Sobolev space $W_\text{loc}^{1,p} (\R^d)$ with $p>d$, and to have linear growth; for the drift coefficient $A_0$, we consider two cases: (i) $A_0$ is continuous whose distributional divergence $δ(A_0)$ w.r.t. the Gaussian measure $γ_d$ exists, (ii) $A_0$ has the Sobolev regularity $W_\text{loc}^{1,p'}$ for some $p'>1$. Assume $\int_{\R^d} \exp\big[λ_0\bigl(|δ(A_0)| + \sum_{j=1}^m (|δ(A_j)|^2 +|\nabla A_j|^2)\bigr)\big] \dγ_d<+\infty$ for some $λ_0>0$, in the case (i), if the pathwise uniqueness of solutions holds, then the push-forward $(X_t)_# γ_d$ admits a density with respect to $γ_d$. In particular, if the coefficients are bounded Lipschitz continuous, then $X_t$ leaves the Lebesgue measure $\Leb_d$ quasi-invariant. In the case (ii), we develop a method used by G. Crippa and C. De Lellis for ODE and implemented by X. Zhang for SDE, to establish the existence and uniqueness of stochastic flow of maps. △ Less

Submitted 18 January, 2010; originally announced January 2010.

Comments: 31 pages

MSC Class: 60H10 (Primary); 34F05 (Secondary); 60J60; 37C10

Transportation Cost Inequality on Path Spaces with Uniform Distance

Authors: Shizan Fang, Feng-Yu Wang, Bo Wu

Abstract: Starting from a sequence of independent Wright-Fisher diffusion processes on $[0,1]$, we construct a class of reversible infinite dimensional diffusion processes on $\DD_\infty:= \{{\bf x}\in Let $M$ be a complete Riemnnian manifold and $μ$ the distribution of the diffusion process generated by $\ff 1 2\DD+Z$ where $Z$ is a $C^1$-vector field. When $\Ric-\nn Z$ is bounded below and $Z… ▽ More Starting from a sequence of independent Wright-Fisher diffusion processes on $[0,1]$, we construct a class of reversible infinite dimensional diffusion processes on $\DD_\infty:= \{{\bf x}\in Let $M$ be a complete Riemnnian manifold and $μ$ the distribution of the diffusion process generated by $\ff 1 2\DD+Z$ where $Z$ is a $C^1$-vector field. When $\Ric-\nn Z$ is bounded below and $Z$ has, for instance, linear growth, the transportation-cost inequality with respect to the uniform distance is established for $μ$ on the path space over $M$. A simple example is given to show the optimality of the condition. △ Less

Submitted 19 December, 2007; originally announced December 2007.

Comments: to appear in Stochastic Processes and Applications

MSC Class: 60J60; 58J60

Global flows for stochastic differential equations without global Lipschitz conditions

Authors: Shizan Fang, Peter Imkeller, Tusheng Zhang

Abstract: We consider stochastic differential equations driven by Wiener processes. The vector fields are supposed to satisfy only local Lipschitz conditions. The Lipschitz constants of the drift vector field, valid on balls of radius $R$, are supposed to grow not faster than $\log R$, while those of the diffusion vector fields are supposed to grow not faster than $\sqrt{\log R}.$ We regularize the stocha… ▽ More We consider stochastic differential equations driven by Wiener processes. The vector fields are supposed to satisfy only local Lipschitz conditions. The Lipschitz constants of the drift vector field, valid on balls of radius $R$, are supposed to grow not faster than $\log R$, while those of the diffusion vector fields are supposed to grow not faster than $\sqrt{\log R}.$ We regularize the stochastic differential equations by associating with them approximating ordinary differential equations obtained by discretization of the increments of the Wiener process on small intervals. By showing that the flow associated with a regularized equation converges uniformly to the solution of the stochastic differential equation, we simultaneously establish the existence of a global flow for the stochastic equation under local Lipschitz conditions. △ Less

Submitted 27 March, 2007; originally announced March 2007.

Comments: Published at http://dx.doi.org/10.1214/009117906000000412 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0162 MSC Class: 60H10; 34F05 (Primary) 60G48; 37C10; 37H10 (Secondary)

Journal ref: Annals of Probability 2007, Vol. 35, No. 1, 180-205

Stochastic differential equtions with non-lipschitz coefficients:II. Dependence with respect to initial values

Authors: Shizan Fang, Tusheng Zhang

Abstract: The existence of the unique strong solution for a class of stochastic differential equations with non-Lipschitz coefficients was established recently. In this paper, we shall investigate the dependence with respect to the initial values. We shall prove that the non confluence of solutions holds under our general conditions. To obtain a continuous version, the modulus of continuity of coefficient… ▽ More The existence of the unique strong solution for a class of stochastic differential equations with non-Lipschitz coefficients was established recently. In this paper, we shall investigate the dependence with respect to the initial values. We shall prove that the non confluence of solutions holds under our general conditions. To obtain a continuous version, the modulus of continuity of coefficients is assumed to be less than $\dis |x-y|\log{1\over|x-y|}$. In this case, it will give rise to a flow of homeomorphisms if the coefficients are compactly supported. △ Less

Submitted 4 November, 2003; originally announced November 2003.

Comments: 14 pages

MSC Class: 60H10

Stochastic differential equations with non-lipschitz coefficients: I. Pathwise uniqueness and large deviation

Authors: Shizan Fang, Tusheng Zhang

Abstract: We study a class of stochastic differential equations with non-Lipschitzian coefficients.A unique strong solution is obtained and a large deviation principle of Freidln-Wentzell type has been established. We study a class of stochastic differential equations with non-Lipschitzian coefficients.A unique strong solution is obtained and a large deviation principle of Freidln-Wentzell type has been established. △ Less

Submitted 4 November, 2003; originally announced November 2003.

Comments: A short version will be published in C. R. Acad. Paris

MSC Class: 60H10