-
Connection-Aware P2P Trading: Simultaneous Trading and Peer Selection
Authors:
Cheng Feng,
Kedi Zheng,
Lanqing Shan,
Hani Alers,
Lampros Stergioulas,
Hongye Guo,
Qixin Chen
Abstract:
Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can re…
▽ More
Peer-to-peer (P2P) trading is seen as a viable solution to handle the growing number of distributed energy resources in distribution networks. However, when dealing with large-scale consumers, there are several challenges that must be addressed. One of these challenges is limited communication capabilities. Additionally, prosumers may have specific preferences when it comes to trading. Both can result in serious asynchrony in peer-to-peer trading, potentially impacting the effectiveness of negotiations and hindering convergence before the market closes. This paper introduces a connection-aware P2P trading algorithm designed for extensive prosumer trading. The algorithm facilitates asynchronous trading while respecting prosumer's autonomy in trading peer selection, an often overlooked aspect in traditional models. In addition, to optimize the use of limited connection opportunities, a smart trading peer connection selection strategy is developed to guide consumers to communicate strategically to accelerate convergence. A theoretical convergence guarantee is provided for the connection-aware P2P trading algorithm, which further details how smart selection strategies enhance convergence efficiency. Numerical studies are carried out to validate the effectiveness of the connection-aware algorithm and the performance of smart selection strategies in reducing the overall convergence time.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Prediction Model For Wordle Game Results With High Robustness
Authors:
Jiaqi Weng,
Chunlin Feng
Abstract:
In this study, we delve into the dynamics of Wordle using data analysis and machine learning. Our analysis initially focused on the correlation between the date and the number of submitted results. Due to initial popularity bias, we modeled stable data using an ARIMAX model with coefficient values of 9, 0, 2, and weekdays/weekends as the exogenous variable. We found no significant relationship bet…
▽ More
In this study, we delve into the dynamics of Wordle using data analysis and machine learning. Our analysis initially focused on the correlation between the date and the number of submitted results. Due to initial popularity bias, we modeled stable data using an ARIMAX model with coefficient values of 9, 0, 2, and weekdays/weekends as the exogenous variable. We found no significant relationship between word attributes and hard mode results.
To predict word difficulty, we employed a Backpropagation Neural Network, overcoming overfitting via feature engineering. We also used K-means clustering, optimized at five clusters, to categorize word difficulty numerically. Our findings indicate that on March 1st, 2023, around 12,884 results will be submitted and the word "eerie" averages 4.8 attempts, falling into the hardest difficulty cluster.
We further examined the percentage of loyal players and their propensity to undertake daily challenges. Our models underwent rigorous sensitivity analyses, including ADF, ACF, PACF tests, and cross-validation, confirming their robustness. Overall, our study provides a predictive framework for Wordle gameplay based on date or a given five-letter word. Results have been summarized and submitted to the Puzzle Editor of the New York Times.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Joint Oscillation Dam** and Inertia Provision Service for Converter-Interfaced Generation
Authors:
Cheng Feng,
Linbin Huang,
Xiuqiang He,
Yi Wang,
Florian Dörfler,
Qixin Chen
Abstract:
As renewable generation becomes more prevalent, traditional power systems dominated by synchronous generators are transitioning to systems dominated by converter-interfaced generation. These devices, with their weaker dam** capabilities and lower inertia, compromise the system's ability to withstand disturbances, pose a threat to system stability, and lead to oscillations and poor frequency resp…
▽ More
As renewable generation becomes more prevalent, traditional power systems dominated by synchronous generators are transitioning to systems dominated by converter-interfaced generation. These devices, with their weaker dam** capabilities and lower inertia, compromise the system's ability to withstand disturbances, pose a threat to system stability, and lead to oscillations and poor frequency response performance. While some new converter-interfaced generations are capable of providing superior dam** and fast frequency control, there is a lack of effective measures to incentivize manufacturers to adopt them. To address this gap, this paper defines the joint oscillation dam** and inertia provision services at the system level, seeking to encourage converter-interfaced generation to provide enhanced dam** and fast frequency response capabilities. Our approach is anchored in a novel convex parametric formulation that combines oscillation mode and frequency stability constraints. These constraints ensure a sufficient dam** ratio for all oscillation modes and maintain transient frequency trajectories within acceptable limits. They are designed to integrate smoothly into various operational and planning optimization frameworks. Using this formulation, we introduce a joint service for oscillation dam** and inertia provision based on a cost-minimization problem. This facilitates the optimal allocation of dam** and virtual inertia to converters, achieving both small-signal stability and frequency stability. Furthermore, we investigate the economic effects of introducing this service into a new ancillary service market, assessing its impact on system operations and cost-efficiency. Numerical tests highlight the service's efficacy in ensuring both small-signal stability and frequency stability, and offer insights into potential economic benefits.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Entrance measures for semigroups of time-inhomogeneous SDEs: possibly degenerate and expanding
Authors:
Chunrong Feng,
Baoyou Qu,
Huaizhong Zhao
Abstract:
In this article, we solve the problem of the long time behaviour of transition probabilities of time-inhomogeneous Markov processes and give a unified approach to stochastic differential equations (SDEs) with periodic, quasi-periodic, almost-periodic forcing and much beyond. We extend Harris's ``small set'' method to the time-inhomogeneous situation with the help of Hairer-Mattingly's refinement o…
▽ More
In this article, we solve the problem of the long time behaviour of transition probabilities of time-inhomogeneous Markov processes and give a unified approach to stochastic differential equations (SDEs) with periodic, quasi-periodic, almost-periodic forcing and much beyond. We extend Harris's ``small set'' method to the time-inhomogeneous situation with the help of Hairer-Mattingly's refinement of Harris's recurrence to a one-step contraction of probability measures under the total variation distance $ρ_β$ weighted by some appropriate Lyapunov function and a constant $β>0$. We show that the convergence to an entrance measure under $ρ_β$ implies the convergence both in the total variation distance and the Wasserstein distance $\mathcal{W}_1$. For SDEs with locally Lipschitz and polynomial growth coefficients, in order to establish the local Doeblin condition, we obtain a nontrivial lower bound estimates for the fundamental solution of the corresponding Fokker-Planck equation. The drift term is allowed to be possibly non-weakly-dissipative, and the diffusion term can be degenerate over infinitely many large time intervals. This causes the system to be expanding over many periods of large time durations, the convergence to the entrance measure is generally only subgeometric. As an application we obtain the existence and uniqueness of quasi-periodic measure. We then lift the quasi-periodic Markovian semigroup to a cylinder on a torus and obtain a unique invariant measure and its ergodicity.
△ Less
Submitted 15 July, 2023;
originally announced July 2023.
-
An Improved Multi-Stage Preconditioner on GPUs for Compositional Reservoir Simulation
Authors:
Li Zhao,
Chen-Song Zhang,
Chun-Sheng Feng,
Shi Shu
Abstract:
The compositional model is often used to describe multicomponent multiphase porous media flows in the petroleum industry. The fully implicit method with strong stability and weak constraints on time-step sizes is commonly used in the mainstream commercial reservoir simulators. In this paper, we develop an efficient multi-stage preconditioner for the fully implicit compositional flow simulation. Th…
▽ More
The compositional model is often used to describe multicomponent multiphase porous media flows in the petroleum industry. The fully implicit method with strong stability and weak constraints on time-step sizes is commonly used in the mainstream commercial reservoir simulators. In this paper, we develop an efficient multi-stage preconditioner for the fully implicit compositional flow simulation. The method employs an adaptive setup phase to improve the parallel efficiency on GPUs. Furthermore, a multi-color Gauss-Seidel algorithm based on the adjacency matrix is applied in the algebraic multigrid methods for the pressure part. Numerical results demonstrate that the proposed algorithm achieves good parallel speedup while yields the same convergence behavior as the corresponding sequential version.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
TreePIR: Efficient Private Retrieval of Merkle Proofs via Tree Colorings with Fast Indexing and Zero Storage Overhead
Authors:
Son Hoang Dau,
Quang Cao,
Rinaldo Gagiano,
Duy Huynh,
Xun Yi,
Phuc Lu Le,
Quang-Hung Luu,
Emanuele Viterbo,
Yu-Chih Huang,
**gge Zhu,
Mohammad M. Jalalzai,
Chen Feng
Abstract:
A Batch Private Information Retrieval (batch-PIR) scheme allows a client to retrieve multiple data items from a database without revealing them to the storage server(s). Most existing approaches for batch-PIR are based on batch codes, in particular, probabilistic batch codes (PBC) (Angel et al. S&P'18), which incur large storage overheads. In this work, we show that \textit{zero} storage overhead…
▽ More
A Batch Private Information Retrieval (batch-PIR) scheme allows a client to retrieve multiple data items from a database without revealing them to the storage server(s). Most existing approaches for batch-PIR are based on batch codes, in particular, probabilistic batch codes (PBC) (Angel et al. S&P'18), which incur large storage overheads. In this work, we show that \textit{zero} storage overhead is achievable for tree-shaped databases. In particular, we develop TreePIR, a novel approach tailored made for private retrieval of the set of nodes along an arbitrary root-to-leaf path in a Merkle tree with no storage redundancy. This type of trees has been widely implemented in many real-world systems such as Amazon DynamoDB, Google's Certificate Transparency, and blockchains. Tree nodes along a root-to-leaf path forms the well-known Merkle proof. TreePIR, which employs a novel tree coloring, outperforms PBC, a fundamental component in state-of-the-art batch-PIR schemes (Angel et al. S&P'18, Mughees-Ren S&P'23, Liu et al. S&P'24), in all metrics, achieving $3\times$ lower total storage and $1.5$-$2\times$ lower computation and communication costs. Most notably, TreePIR has $8$-$160\times$ lower setup time and its polylog-complexity indexing algorithm is $19$-$160\times$ faster than PBC for trees of $2^{10}$-$2^{24}$ leaves.
△ Less
Submitted 4 June, 2024; v1 submitted 10 May, 2022;
originally announced May 2022.
-
A well-balanced scheme for Euler equations with singular sources
Authors:
Changsheng Yu,
Tiegang Liu,
Chengliang Feng
Abstract:
Numerical methods for the Euler equations with a singular source are discussed in this paper.
The stationary discontinuity induced by the singular source and its coupling with the convection of fluid presents challenges to numerical methods.
We show that the splitting scheme is not well-balanced and leads to incorrect results; in addition, some popular well-balanced schemes also give incorrect…
▽ More
Numerical methods for the Euler equations with a singular source are discussed in this paper.
The stationary discontinuity induced by the singular source and its coupling with the convection of fluid presents challenges to numerical methods.
We show that the splitting scheme is not well-balanced and leads to incorrect results; in addition, some popular well-balanced schemes also give incorrect solutions in extreme cases due to the singularity of source.
To fix such difficulties, we propose a solution-structure based approximate Riemann solver, in which the structure of Riemann solution is first predicted and then its corresponding approximate solver is given.
The proposed solver can be applied to the calculation of numerical fluxes in a general finite volume method, which can lead to a new well-balanced scheme.
Numerical tests show that the discontinuous Galerkin method based on the present approximate Riemann solver has the ability to capture each wave accurately.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
Riemann problem of Euler equations with singular sources
Authors:
Changsheng Yu,
Tiegang Liu,
Chengliang Feng
Abstract:
This paper is concerned with the Riemann problem of one-dimensional Euler equations with a singular source.
The exact solution of this Riemann problem contains a stationary discontinuity induced by the singular source, which is different from all the simple waves in the Riemann solution of classical Euler equations.
We propose an eigenvalue-based monotonicity criterion to select the physical c…
▽ More
This paper is concerned with the Riemann problem of one-dimensional Euler equations with a singular source.
The exact solution of this Riemann problem contains a stationary discontinuity induced by the singular source, which is different from all the simple waves in the Riemann solution of classical Euler equations.
We propose an eigenvalue-based monotonicity criterion to select the physical curve of this stationary discontinuity.
By including this stationary discontinuity as an elementary wave, the structure of Riemann solution becomes diverse, e.g. the number of waves is not fixed and interactions between two waves become possible.
Under the double CRP framework, we prove all possible structures of the Riemann solution.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
Riemann problem for constant flow with single-point heating source
Authors:
Changsheng Yu,
Chengliang Feng,
Zhiqiang Zeng,
Tiegang Liu
Abstract:
This work focuses on the Riemann problem of Euler equations with global constant initial conditions and a single-point heating source, which comes from the physical problem of heating one-dimensional inviscid compressible constant flow. In order to deal with the source of Dirac delta-function, we propose an analytical frame of double classic Riemann problems(CRPs) coupling, which treats the fluids…
▽ More
This work focuses on the Riemann problem of Euler equations with global constant initial conditions and a single-point heating source, which comes from the physical problem of heating one-dimensional inviscid compressible constant flow. In order to deal with the source of Dirac delta-function, we propose an analytical frame of double classic Riemann problems(CRPs) coupling, which treats the fluids on both sides of the heating point as two separate Riemann problems and then couples them. Under the double CRPs frame, the solution is self-similar, and only three types of solution are found. The theoretical analysis is also supported by the numerical simulation. Furthermore, the uniqueness of the Riemann solution is established with some restrictions on the Mach number of the initial condition.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Universality of parametric Coupling Flows over parametric diffeomorphisms
Authors:
Junlong Lyu,
Zhitang Chen,
Chang Feng,
Wen**g Cun,
Shengyu Zhu,
Yanhui Geng,
Zhijie Xu,
Yongwei Chen
Abstract:
Invertible neural networks based on Coupling Flows CFlows) have various applications such as image synthesis and data compression. The approximation universality for CFlows is of paramount importance to ensure the model expressiveness. In this paper, we prove that CFlows can approximate any diffeomorphism in C^k-norm if its layers can approximate certain single-coordinate transforms. Specifically,…
▽ More
Invertible neural networks based on Coupling Flows CFlows) have various applications such as image synthesis and data compression. The approximation universality for CFlows is of paramount importance to ensure the model expressiveness. In this paper, we prove that CFlows can approximate any diffeomorphism in C^k-norm if its layers can approximate certain single-coordinate transforms. Specifically, we derive that a composition of affine coupling layers and invertible linear transforms achieves this universality. Furthermore, in parametric cases where the diffeomorphism depends on some extra parameters, we prove the corresponding approximation theorems for our proposed parametric coupling flows named Para-CFlows. In practice, we apply Para-CFlows as a neural surrogate model in contextual Bayesian optimization tasks, to demonstrate its superiority over other neural surrogate models in terms of optimization performance.
△ Less
Submitted 8 February, 2022; v1 submitted 6 February, 2022;
originally announced February 2022.
-
Parallel Multi-Stage Preconditioners with Adaptive Setup for the Black Oil Model
Authors:
Li Zhao,
Chunsheng Feng,
Chensong Zhang,
Shi Shu
Abstract:
The black oil model is widely used to describe multiphase porous media flow in the petroleum industry. The fully implicit method features strong stability and weak constraints on time step-sizes; hence, commonly used in the current mainstream commercial reservoir simulators. In this paper, a CPR-type preconditioner with an adaptive "setup phase" is developed to improve parallel efficiency of petro…
▽ More
The black oil model is widely used to describe multiphase porous media flow in the petroleum industry. The fully implicit method features strong stability and weak constraints on time step-sizes; hence, commonly used in the current mainstream commercial reservoir simulators. In this paper, a CPR-type preconditioner with an adaptive "setup phase" is developed to improve parallel efficiency of petroleum reservoir simulation. Furthermore, we propose a multi-color Gauss-Seidel (GS) algorithm for algebraic multigrid method based on the coefficient matrix of strong connections. Numerical experiments show that the proposed preconditioner can improve the parallel performance for both OpenMP and CUDA implements. Moreover, the proposed algorithm yields good parallel speedup as well as same convergence behavior as the corresponding single-threaded algorithm. In particular, for a three-phase benchmark problem, the parallel speedup of the OpenMP version is over 6.5 with 16 threads and the CUDA version reaches more than 9.5.
△ Less
Submitted 4 September, 2022; v1 submitted 6 January, 2022;
originally announced January 2022.
-
A Fisher-KPP model with a nonlocal weighted free boundary: analysis of how habitat boundaries expand, balance or shrink
Authors:
Chunxi Feng,
Mark A. Lewis,
Chuncheng Wang,
Hao Wang
Abstract:
In this paper, we propose a novel free boundary problem to model the movement of single species with a range boundary. The spatial movement and birth/death processes of the species found within the range boundary are assumed to be governed by the classic Fisher-KPP reaction-diffusion equation, while the movement of a free boundary describing the range limit is assumed to be influenced by the weigh…
▽ More
In this paper, we propose a novel free boundary problem to model the movement of single species with a range boundary. The spatial movement and birth/death processes of the species found within the range boundary are assumed to be governed by the classic Fisher-KPP reaction-diffusion equation, while the movement of a free boundary describing the range limit is assumed to be influenced by the weighted total population inside the range boundary and is described by an integro-differential equation. Our free boundary equation is a generalization of the classical Stefan problem that allows for nonlocal influences on the boundary movement so that range expansion and shrinkage are both possible. In this paper we prove that the new model is well posed and possesses steady state. We show that the spreading speed of the range boundary is smaller than that for the equivalent problem with a Stefan condition. This implies that the nonlocal effect of the weighted total population on the boundary movement slows down the spreading speed of the population. While the classical Stefan condition categorizes asymptotic behavior via a spreading-vanishing dichotomy, the new model extends this dichotomy to a spreading-balancing-vanishing trichotomy. We specifically analyze how habitat boundaries expand, balance or shrink. When the model is extended to have two free boundaries, we observe the steady state scenario, asymmetric shifts, or even boundaries moving synchronously in the same direction. These are newly discovered phenomena in the free boundary problems for animal movement.
△ Less
Submitted 12 January, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
The PAT model of population dynamics
Authors:
Z. C. Feng,
Y. Charles Li
Abstract:
We introduce a population-age-time (PAT) model which describes the temporal evolution of the population distribution in age. The surprising result is that the qualitative nature of the population distribution dynamics is robust with respect to the birth rate and death rate distributions in age, and initial conditions. When the number of children born per woman is 2, the population distribution app…
▽ More
We introduce a population-age-time (PAT) model which describes the temporal evolution of the population distribution in age. The surprising result is that the qualitative nature of the population distribution dynamics is robust with respect to the birth rate and death rate distributions in age, and initial conditions. When the number of children born per woman is 2, the population distribution approaches an asymptotically steady state of a kink shape; thus the total population approaches a constant. When the number of children born per woman is greater than 2, the total population increases without bound; and when the number of children born per woman is less than 2, the total population decreases to zero.
△ Less
Submitted 26 November, 2021;
originally announced November 2021.
-
Ergodic Numerical Approximation to Periodic Measures of Stochastic Differential Equations
Authors:
Chunrong Feng,
Yu Liu,
Huaizhong Zhao
Abstract:
In this paper, we consider numerical approximation to periodic measure of a time periodic stochastic differential equations (SDEs) under weakly dissipative condition. For this we first study the existence of the periodic measure $ρ_t$ and the large time behaviour of $\mathcal{U}(t+s,s,x) := \mathbb{E}φ(X_{t}^{s,x})-\intφdρ_t,$ where $X_t^{s,x}$ is the solution of the SDEs and $φ$ is a test functio…
▽ More
In this paper, we consider numerical approximation to periodic measure of a time periodic stochastic differential equations (SDEs) under weakly dissipative condition. For this we first study the existence of the periodic measure $ρ_t$ and the large time behaviour of $\mathcal{U}(t+s,s,x) := \mathbb{E}φ(X_{t}^{s,x})-\intφdρ_t,$ where $X_t^{s,x}$ is the solution of the SDEs and $φ$ is a test function being smooth and of polynomial growth at infinity. We prove $\mathcal{U}$ and all its spatial derivatives decay to 0 with exponential rate on time $t$ in the sense of average on initial time $s$. We also prove the existence and the geometric ergodicity of the periodic measure of the discretized semi-flow from the Euler-Maruyama scheme and moment estimate of any order when the time step is sufficiently small (uniform for all orders). We thereafter obtain that the weak error for the numerical scheme of infinite horizon is of the order $1$ in terms of the time step. We prove that the choice of step size can be uniform for all test functions $φ$. Subsequently we are able to estimate the average periodic measure with ergodic numerical schemes.
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
Differentiable maps with isolated critical points are not necessarily open in infinite dimensional spaces
Authors:
Chunrong Feng,
Liangpan Li
Abstract:
Jean Saint Raymond asked whether continuously differentiable maps with isolated critical points are necessarily open in infinite dimensional (Hilbert) spaces. We answer this question negatively by constructing counterexamples in various settings.
Jean Saint Raymond asked whether continuously differentiable maps with isolated critical points are necessarily open in infinite dimensional (Hilbert) spaces. We answer this question negatively by constructing counterexamples in various settings.
△ Less
Submitted 5 April, 2021;
originally announced April 2021.
-
Expected Exit Time for Time-Periodic Stochastic Differential Equations and Applications to Stochastic Resonance
Authors:
Chunrong Feng,
Huaizhong Zhao,
Johnny Zhong
Abstract:
In this paper, we derive a parabolic partial differential equation for the expected exit time of non-autonomous time-periodic non-degenerate stochastic differential equations. This establishes a Feynman-Kac duality between expected exit time of time-periodic stochastic differential equations and time-periodic solutions of parabolic partial differential equations. Casting the time-periodic solution…
▽ More
In this paper, we derive a parabolic partial differential equation for the expected exit time of non-autonomous time-periodic non-degenerate stochastic differential equations. This establishes a Feynman-Kac duality between expected exit time of time-periodic stochastic differential equations and time-periodic solutions of parabolic partial differential equations. Casting the time-periodic solution of the parabolic partial differential equation as a fixed point problem and a convex optimisationproblem, we give sufficient conditions in which the partial differential equation is well-posed in a weak and classical sense. With no known closed formulae for the expected exit time, we show our method can be readily implemented by standard numerical schemes. With relatively weak conditions (e.g. locally Lipschitz coefficients), the method in this paper is applicable to wide range of physical systems including weakly dissipative systems. Particular applications towards stochastic resonance will be discussed.
△ Less
Submitted 11 March, 2021; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Transition Waste Optimization for Coded Elastic Computing
Authors:
Hoang Dau,
Ryan Gabrys,
Yu-Chih Huang,
Chen Feng,
Quang-Hung Luu,
Eidah Alzahrani,
Zahir Tari
Abstract:
Distributed computing, in which a resource-intensive task is divided into subtasks and distributed among different machines, plays a key role in solving large-scale problems. Coded computing is a recently emerging paradigm where redundancy for distributed computing is introduced to alleviate the impact of slow machines (stragglers) on the completion time. We investigate coded computing solutions o…
▽ More
Distributed computing, in which a resource-intensive task is divided into subtasks and distributed among different machines, plays a key role in solving large-scale problems. Coded computing is a recently emerging paradigm where redundancy for distributed computing is introduced to alleviate the impact of slow machines (stragglers) on the completion time. We investigate coded computing solutions over elastic resources, where the set of available machines may change in the middle of the computation. This is motivated by recently available services in the cloud computing industry (e.g., EC2 Spot, Azure Batch) where low-priority virtual machines are offered at a fraction of the price of the on-demand instances but can be preempted on short notice. Our contributions are three-fold. We first introduce a new concept called transition waste that quantifies the number of tasks existing machines must abandon or take over when a machine joins/leaves. We then develop an efficient method to minimize the transition waste for the cyclic task allocation scheme recently proposed in the literature (Yang et al. ISIT'19). Finally, we establish a novel solution based on finite geometry achieving zero transition wastes given that the number of active machines varies within a fixed range.
△ Less
Submitted 14 March, 2023; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Random quasi-periodic paths and quasi-periodic measures of stochastic differential equations
Authors:
Chunrong Feng,
Baoyou Qu,
Huaizhong Zhao
Abstract:
In this paper, we define random quasi-periodic paths for random dynamical systems and quasi-periodic measures for Markovian semigroups. We give a sufficient condition for the existence and uniqueness of random quasi-periodic paths and quasi-periodic measures for stochastic differential equations and a sufficient condition for the density of the quasi-periodic measure to exist and to satisfy the Fo…
▽ More
In this paper, we define random quasi-periodic paths for random dynamical systems and quasi-periodic measures for Markovian semigroups. We give a sufficient condition for the existence and uniqueness of random quasi-periodic paths and quasi-periodic measures for stochastic differential equations and a sufficient condition for the density of the quasi-periodic measure to exist and to satisfy the Fokker-Planck equation. We obtain an invariant measure by considering lifted flow and semigroup on cylinder and the tightness of the average of lifted quasi-periodic measures. We further prove that the invariant measure is unique, and thus ergodic.
△ Less
Submitted 11 March, 2021; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Superfast amplification and superfast nonlinear saturation of perturbations as the mechanism of turbulence
Authors:
Y. Charles Li,
Richard D. J. G. Ho,
Arjun Berera,
Z. C. Feng
Abstract:
Ruelle predicted that the maximal amplification of perturbations in homogeneous isotropic turbulence is exponential $e^{σ\sqrt{Re} t}$ (where $σ\sqrt{Re}$ is the maximal Liapunov exponent). In our earlier works, we predicted that the maximal amplification of perturbations in fully developed turbulence is faster than exponential $e^{σ\sqrt{Re} \sqrt{t} +σ_1 t}$. That is, we predicted superfast init…
▽ More
Ruelle predicted that the maximal amplification of perturbations in homogeneous isotropic turbulence is exponential $e^{σ\sqrt{Re} t}$ (where $σ\sqrt{Re}$ is the maximal Liapunov exponent). In our earlier works, we predicted that the maximal amplification of perturbations in fully developed turbulence is faster than exponential $e^{σ\sqrt{Re} \sqrt{t} +σ_1 t}$. That is, we predicted superfast initial amplification of perturbations. Built upon our earlier numerical verification of our prediction, here we conduct a large numerical verification with resolution up to $2048^3$ and Reynolds number up to $6210$. Our direct numerical simulation here confirms our analytical prediction. Our numerical simulation also demonstrates that such superfast amplification of perturbations leads to superfast nonlinear saturation. We conclude that such superfast amplification and superfast nonlinear saturation of ever existing perturbations serve as the mechanism for the generation, development and persistence of fully developed turbulence.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Solving Large-Scale 0-1 Knapsack Problems and its Application to Point Cloud Resampling
Authors:
Duanshun Li,
**g Liu,
Noseong Park,
Dongeun Lee,
Giridhar Ramachandran,
Ali Seyedmazloom,
Kook** Lee,
Chen Feng,
Vadim Sokolov,
Rajesh Ganesan
Abstract:
0-1 knapsack is of fundamental importance in computer science, business, operations research, etc. In this paper, we present a deep learning technique-based method to solve large-scale 0-1 knapsack problems where the number of products (items) is large and/or the values of products are not necessarily predetermined but decided by an external value assignment function during the optimization proces…
▽ More
0-1 knapsack is of fundamental importance in computer science, business, operations research, etc. In this paper, we present a deep learning technique-based method to solve large-scale 0-1 knapsack problems where the number of products (items) is large and/or the values of products are not necessarily predetermined but decided by an external value assignment function during the optimization process. Our solution is greatly inspired by the method of Lagrange multiplier and some recent adoptions of game theory to deep learning. After formally defining our proposed method based on them, we develop an adaptive gradient ascent method to stabilize its optimization process. In our experiments, the presented method solves all the large-scale benchmark KP instances in a minute whereas existing methods show fluctuating runtime. We also show that our method can be used for other applications, including but not limited to the point cloud resampling.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Existence of Geometric Ergodic Periodic Measures of Stochastic Differential Equations
Authors:
Chunrong Feng,
Huaizhong Zhao,
Johnny Zhong
Abstract:
Periodic measures are the time-periodic counterpart to invariant measures for dynamical systems and can be used to characterise the long-term periodic behaviour of stochastic systems. This paper gives sufficient conditions for the existence, uniqueness and geometric convergence of a periodic measure for time-periodic Markovian processes on a locally compact metric space in great generality. In par…
▽ More
Periodic measures are the time-periodic counterpart to invariant measures for dynamical systems and can be used to characterise the long-term periodic behaviour of stochastic systems. This paper gives sufficient conditions for the existence, uniqueness and geometric convergence of a periodic measure for time-periodic Markovian processes on a locally compact metric space in great generality. In particular, we apply these results in the context of time-periodic weakly dissipative stochastic differential equations, gradient stochastic differential equations as well as Langevin equations. We will establish the Fokker-Planck equation that the density of the periodic measure sufficiently and necessarily satisfies. Applications to physical problems shall be discussed with specific examples.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Ergodicity of Invariant Capacity
Authors:
Chunrong Feng,
Panyu Wu,
Huaizhong Zhao
Abstract:
In this paper, we investigate capacity preserving transformations and their ergodicity. We show that for any measurable transformation $θ$ there always exists a $θ$-invariant capacity. We investigate some limit properties under capacity spaces and then give the concept of ergodicity for a capacity preserving transformation. Based on this definition, we give several characterizations of ergodicity.…
▽ More
In this paper, we investigate capacity preserving transformations and their ergodicity. We show that for any measurable transformation $θ$ there always exists a $θ$-invariant capacity. We investigate some limit properties under capacity spaces and then give the concept of ergodicity for a capacity preserving transformation. Based on this definition, we give several characterizations of ergodicity. In particular, we obtain a type of Birkhoff's ergodic theorem and prove that the ergodicity of $θ$ with respect to an upper probability is equivalent to the strong law of large numbers.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
A Sufficient and Necessary Condition of PS-ergodicity of Periodic Measures and Generated Ergodic Upper Expectations
Authors:
Chunrong Feng,
Baoyou Qu,
Huaizhong Zhao
Abstract:
This paper contains two parts. In the first part, we study the ergodicity of periodic measures of random dynamical systems on a separable Banach space. We obtain that the periodic measure of the continuous time skew-product dynamical system generated by a random periodic path is ergodic if and only if the underlying noise metric dynamical system at discrete time of integral multiples of the period…
▽ More
This paper contains two parts. In the first part, we study the ergodicity of periodic measures of random dynamical systems on a separable Banach space. We obtain that the periodic measure of the continuous time skew-product dynamical system generated by a random periodic path is ergodic if and only if the underlying noise metric dynamical system at discrete time of integral multiples of the period is ergodic. For the Markov random dynamical system case, we prove that the periodic measure of a Markov semigroup is PS-ergodic if and only if the trace of the random periodic path at integral multiples of period either entirely lies on a Poincaré section or completely outside a Poincaré section almost surely. In the second part of this paper, we construct sublinear expectations from periodic measures and obtain the ergodicity of the sublinear expectations from the ergodicity of periodic measures. We give some examples including the ergodicity of the discrete time Wiener shift of Brownian motions. The latter result would have some independent interests.
△ Less
Submitted 11 March, 2021; v1 submitted 10 June, 2018;
originally announced June 2018.
-
Anticipating Random Periodic Solutions--II. SPDEs with Multiplicative Linear Noise
Authors:
Chunrong Feng,
Yue Wu,
Huaizhong Zhao
Abstract:
In this paper, we study the existence of random periodic solutions for semilinear stochastic partial differential equations with multiplicative linear noise on a bounded open domain ${\cal O}\subset {\mathbb R}^d$ with smooth boundary. We identify them with the solutions of coupled forward-backward infinite horizon stochastic integral equations in $L^2({\cal O})$. We then use generalized Schauder'…
▽ More
In this paper, we study the existence of random periodic solutions for semilinear stochastic partial differential equations with multiplicative linear noise on a bounded open domain ${\cal O}\subset {\mathbb R}^d$ with smooth boundary. We identify them with the solutions of coupled forward-backward infinite horizon stochastic integral equations in $L^2({\cal O})$. We then use generalized Schauder's fixed point theorem, the relative compactness of Wiener-Sobolev spaces in $C^0([0, T], L^2(Ω\times{\cal O}))$ and a localization argument to prove the existence of solutions of the infinite horizon integral equations, which immediately implies the existence of the random periodic solution to the corresponding SPDEs. As an example, we apply our result to the stochastic Allen-Cahn equation with a periodic potential and prove the existence of a random periodic solution using a localisation argument.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Ergodicity of Sublinear Markovian Semigroups
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
In this paper, we study the ergodicity of invariant sublinear expectation of sublinear Markovian semigroup. For this, we first develop an ergodic theory of an expectation-preserving map on a sublinear expectation space. Ergodicity is defined as any invariant set either has $0$ capacity itself or its complement has $0$ capacity. We prove, under a general sublinear expectation space setting, the equ…
▽ More
In this paper, we study the ergodicity of invariant sublinear expectation of sublinear Markovian semigroup. For this, we first develop an ergodic theory of an expectation-preserving map on a sublinear expectation space. Ergodicity is defined as any invariant set either has $0$ capacity itself or its complement has $0$ capacity. We prove, under a general sublinear expectation space setting, the equivalent relation between ergodicity and the corresponding transformation operator having simple eigenvalue $1$, and also with Birkhoff type strong law of large numbers if the sublinear expectation is regular. For sublinear Markov process, we prove that its ergodicity is equivalent to the Markovian semigroup having eigenvalue $1$ and it is simple in the space of bounded measurable functions. As an example we show that $G$-Brownian motion $\{B_t\}_{t\geq 0}$ on the unit circle has an invariant expectation and is ergodic if and only if ${\mathbb E}(-(B_1)^2)<0$. Moreover, it is also proved in this case that the invariant expectation is regular and the canonical stationary process has no mean-uncertainty under the invariant expectation.
△ Less
Submitted 7 July, 2021; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Short term unpredictability of high Reynolds number turbulence --- rough dependence on initial data
Authors:
Z. C. Feng,
Y. Charles Li
Abstract:
Short term unpredictability is discovered numerically for high Reynolds number fluid flows under periodic boundary conditions. Furthermore, the abundance of the short term unpredictability is also discovered. These discoveries support our theory that fully developed turbulence is constantly driven by such short term unpredictability.
Short term unpredictability is discovered numerically for high Reynolds number fluid flows under periodic boundary conditions. Furthermore, the abundance of the short term unpredictability is also discovered. These discoveries support our theory that fully developed turbulence is constantly driven by such short term unpredictability.
△ Less
Submitted 26 June, 2019; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Error estimates on a finite volume method for diffusion problems with interface on Eulerian grids
Authors:
Jie Peng,
Shi Shu,
Haiyuan Yu,
Chunsheng Feng,
Mingxian Kan,
Ganghua Wang
Abstract:
The finite volume methods are frequently employed in the discretization of diffusion problems with interface. In this paper, we firstly present a vertex-centered MACH-like finite volume method for solving stationary diffusion problems with strong discontinuity and multiple material cells on the Eulerian grids. This method is motivated by Frese [No. AMRC-R-874, Mission Research Corp., Albuquerque,…
▽ More
The finite volume methods are frequently employed in the discretization of diffusion problems with interface. In this paper, we firstly present a vertex-centered MACH-like finite volume method for solving stationary diffusion problems with strong discontinuity and multiple material cells on the Eulerian grids. This method is motivated by Frese [No. AMRC-R-874, Mission Research Corp., Albuquerque, NM, 1987]. Then, the local truncation error and global error estimates of the degenerate five-point MACH-like scheme are derived by introducing some new techniques. Especially under some assumptions, we prove that this scheme can reach the asymptotic optimal error estimate $O(h^2 |\ln h|)$ in the maximum norm. Finally, numerical experiments verify theoretical results.
△ Less
Submitted 6 September, 2016; v1 submitted 3 September, 2016;
originally announced September 2016.
-
Numerical Approximation of Random Periodic Solutions of Stochastic Differential Equations
Authors:
Chunrong Feng,
Yu Liu,
Huaizhong Zhao
Abstract:
In this paper, we discuss the numerical approximation of random periodic solutions (r.p.s.) of stochastic differential equations (SDEs) with multiplicative noise. We prove the existence of the random periodic solution as the limit of the pull-back flow when the starting time tends to $-\infty$ along the multiple integrals of the period. As the random periodic solution is not explicitly constructib…
▽ More
In this paper, we discuss the numerical approximation of random periodic solutions (r.p.s.) of stochastic differential equations (SDEs) with multiplicative noise. We prove the existence of the random periodic solution as the limit of the pull-back flow when the starting time tends to $-\infty$ along the multiple integrals of the period. As the random periodic solution is not explicitly constructible, it is useful to study the numerical approximation. We discretise the SDE using the Euler-Maruyama scheme and moldiflied Milstein scheme. Subsequently we obtain the existence of the random periodic solution as the limit of the pull-back of the discretised SDE. We prove that the latter is an approximated random periodic solution with an error to the exact one at the rate of $\sqrt {Δt}$ in the mean-square sense in Euler-Maruyama method and $Δt$ in the Milstein method. We also obtain the weak convergence result for the approximation of the periodic measure.
△ Less
Submitted 15 September, 2017; v1 submitted 14 December, 2015;
originally announced December 2015.
-
Random Periodic Solutions of SPDEs via Integral Equations and Wiener-Sobolev Compact Embedding
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
In this paper, we study the existence of random periodic solutions for semilinear SPDEs on a bounded domain with a smooth boundary. We identify them as the solutions of coupled forward-backward infinite horizon stochastic integral equations on $L^2(D)$ in general cases. For this we use Mercer's Theorem and eigenvalues and eigenfunctions of the second order differential operators in the infinite ho…
▽ More
In this paper, we study the existence of random periodic solutions for semilinear SPDEs on a bounded domain with a smooth boundary. We identify them as the solutions of coupled forward-backward infinite horizon stochastic integral equations on $L^2(D)$ in general cases. For this we use Mercer's Theorem and eigenvalues and eigenfunctions of the second order differential operators in the infinite horizon integral equations. We then use the argument of the relative compactness of Wiener-Sobolev spaces in $C^0([0, T], L^2(Ω\times D))$ and generalized Schauder's fixed point theorem to prove the existence of a solution of the integral equations. This is the first paper in literature to study random periodic solutions of SPDEs. Our result is also new in finding semi-stable stationary solution for non-dissipative SPDEs, while in literature the classical method is to use the pull-back technique so researchers were only able to find stable stationary solutions for dissipative systems.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Pathwise Random Periodic Solutions of Stochastic Differential Equations
Authors:
Chunrong Feng,
Huaizhong Zhao,
Bo Zhou
Abstract:
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify these as the solutions of coupled forward-backward infinite horizon stochastic integral equations in general cases. We then use the argument of the relative compactness of Wiener-Sobolev spaces in $C^0([0, T], L^2(Ω))$ and generalized Schauder's fixed point theorem to pr…
▽ More
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify these as the solutions of coupled forward-backward infinite horizon stochastic integral equations in general cases. We then use the argument of the relative compactness of Wiener-Sobolev spaces in $C^0([0, T], L^2(Ω))$ and generalized Schauder's fixed point theorem to prove the existence of a solution of the coupled stochastic forward-backward infinite horizon integral equations. The condition on $F$ is then further weakened by applying the coupling method of forward and backward Gronwall inequalities. The results are also valid for stationary solutions as a special case when the period $τ$ can be an arbitrary number.\
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Anticipating Random Periodic Solutions--I. SDEs with Multiplicative Linear Noise
Authors:
Chunrong Feng,
Yue Wu,
Huaizhong Zhao
Abstract:
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify them as solutions of coupled forward-backward infinite horizon stochastic integral equations (IHSIEs), using the "substitution theorem" of stochastic differential equations with anticipating initial conditions. In general, random periodic solutions and the solutions of I…
▽ More
In this paper, we study the existence of random periodic solutions for semilinear stochastic differential equations. We identify them as solutions of coupled forward-backward infinite horizon stochastic integral equations (IHSIEs), using the "substitution theorem" of stochastic differential equations with anticipating initial conditions. In general, random periodic solutions and the solutions of IHSIEs, are anticipating. For the linear noise case, with the help of the exponential dichotomy given in the multiplicative ergodic theorem, we can identify them as the solutions of infinite horizon random integral equations (IHSIEs). We then solve a localised forward-backward IHRIE in $C(\mathbb{R}, L^2_{loc}(Ω))$ using an argument of truncations, the Malliavin calculus, the relative compactness of Wiener-Sobolev spaces in $C([0, T], L^2(Ω))$ and Schauder's fixed point theorem. We finally measurably glue the local solutions together to obtain a global solution in $C(\mathbb{R}, L^2(Ω))$. Thus we obtain the existence of a random periodic solution and a periodic measure.
△ Less
Submitted 27 April, 2016; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Random Periodic Processes, Periodic Measures and Ergodicity
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
Ergodicity of random dynamical systems with a periodic measure is obtained on a Polish space. In the Markovian case, the idea of Poincaré sections is introduced. It is proved that if the periodic measure is PS-ergodic, then it is ergodic. Moreover, if the infinitesimal generator of the Markov semigroup only has equally placed simple eigenvalues including $0$ on the imaginary axis, then the periodi…
▽ More
Ergodicity of random dynamical systems with a periodic measure is obtained on a Polish space. In the Markovian case, the idea of Poincaré sections is introduced. It is proved that if the periodic measure is PS-ergodic, then it is ergodic. Moreover, if the infinitesimal generator of the Markov semigroup only has equally placed simple eigenvalues including $0$ on the imaginary axis, then the periodic measure is PS-ergodic and has positive minimum period. Conversely if the periodic measure with the positive minimum period is PS-mixing, then the infinitesimal generator only has equally placed simple eigenvalues (infinitely many) including $0$ on the imaginary axis. Moreover, under the spectral gap condition, PS-mixing of the periodic measure is proved. The ``equivalence" of random periodic processes and periodic measures is established. This is a new class of ergodic random processes. Random periodic paths of stochastic perturbation of the periodic motion of an ODE is obtained.
△ Less
Submitted 18 February, 2020; v1 submitted 8 August, 2014;
originally announced August 2014.
-
On the Mori-Szekely conjectures for the Borel-Cantelli lemma
Authors:
Chunrong Feng,
Liangpan Li
Abstract:
The purpose of this note is to show by constructing counterexamples that two conjectures of Móri and Székely for the Borel-Cantelli lemma are false.
The purpose of this note is to show by constructing counterexamples that two conjectures of Móri and Székely for the Borel-Cantelli lemma are false.
△ Less
Submitted 1 April, 2013;
originally announced April 2013.
-
Numerical Study of Geometric Multigrid Methods on CPU--GPU Heterogeneous Computers
Authors:
Chunsheng Feng,
Shi Shu,
**chao Xu,
Chen-Song Zhang
Abstract:
The geometric multigrid method (GMG) is one of the most efficient solving techniques for discrete algebraic systems arising from elliptic partial differential equations. GMG utilizes a hierarchy of grids or discretizations and reduces the error at a number of frequencies simultaneously. Graphics processing units (GPUs) have recently burst onto the scientific computing scene as a technology that ha…
▽ More
The geometric multigrid method (GMG) is one of the most efficient solving techniques for discrete algebraic systems arising from elliptic partial differential equations. GMG utilizes a hierarchy of grids or discretizations and reduces the error at a number of frequencies simultaneously. Graphics processing units (GPUs) have recently burst onto the scientific computing scene as a technology that has yielded substantial performance and energy-efficiency improvements. A central challenge in implementing GMG on GPUs, though, is that computational work on coarse levels cannot fully utilize the capacity of a GPU. In this work, we perform numerical studies of GMG on CPU--GPU heterogeneous computers. Furthermore, we compare our implementation with an efficient CPU implementation of GMG and with the most popular fast Poisson solver, Fast Fourier Transform, in the cuFFT library developed by NVIDIA.
△ Less
Submitted 11 January, 2013; v1 submitted 21 August, 2012;
originally announced August 2012.
-
A Resolution of the Paradox of Enrichment
Authors:
Z. C. Feng,
Y. Charles Li
Abstract:
The paradox of enrichment was observed by M. Rosenzweig in a class of predator-prey models. Two of the parameters in the models are crucial for the paradox. These two parameters are the prey's carrying capacity and prey's half-saturation for predation. Intuitively, increasing the carrying capacity due to enrichment of the prey's environment should lead to a more stable predator-prey system. Analyt…
▽ More
The paradox of enrichment was observed by M. Rosenzweig in a class of predator-prey models. Two of the parameters in the models are crucial for the paradox. These two parameters are the prey's carrying capacity and prey's half-saturation for predation. Intuitively, increasing the carrying capacity due to enrichment of the prey's environment should lead to a more stable predator-prey system. Analytically, it turns out that increasing the carrying capacity always leads to an unstable predator-prey system that is susceptible to extinction from environmental random perturbations. This is the so-called paradox of enrichment. Our resolution here rests upon a closer investigation on a dimensionless number $H$ formed from the carrying capacity and the prey's half-saturation. By recasting the models into dimensionless forms, the models are in fact governed by a few dimensionless numbers including $H$. The effects of the two parameters: carrying capacity and half-saturation are incorporated into the number $H$. In fact, increasing the carrying capacity is equivalent (i.e. has the same effect on $H$) to decreasing the half-saturation which implies more aggressive predation. Since there is no paradox between more aggressive predation and instability of the predator-prey system, the paradox of enrichment is resolved.
We also further explore spatially dependent models for which the phase space is infinite dimensional. The spatially independent limit cycle which is generated by a Hopf bifurcation from an unstable steady state, is linearly stable in the infinite dimensional phase space. Numerical simulations indicate that the basin of attraction of the limit cycle is riddled. This shows that spatial perturbations can sometimes (neither always nor never) remove the paradox of enrichment near the limit cycle!
△ Less
Submitted 11 March, 2013; v1 submitted 21 April, 2011;
originally announced April 2011.
-
On the Borel-Cantelli Lemma and its Generalization
Authors:
Chunrong Feng,
Liangpan Li,
Jian Shen
Abstract:
Let $\{A_n\}_{n=1}^{\infty}$ be a sequence of events on a probability space $(Ω,\mathcal{F},\mathbf{P})$. We show that if $\lim_{m\to\infty}\sum_{n=1}^{m}w_n\mathbf{P}(A_n)=\infty$ where each $w_n\in\mathbb{R}$, then \[{\mathbf{P}}(\limsup A_n)\geq\limsup_{n\to\infty} \frac{\displaystyle\big(\sum_{k=1}^n{w_k\mathbf{P}}(A_k)\big)^2}{\displaystyle\sum_{i=1}^n\sum_{j=1}^nw_iw_j{\mathbf{P}}(A_i\cap…
▽ More
Let $\{A_n\}_{n=1}^{\infty}$ be a sequence of events on a probability space $(Ω,\mathcal{F},\mathbf{P})$. We show that if $\lim_{m\to\infty}\sum_{n=1}^{m}w_n\mathbf{P}(A_n)=\infty$ where each $w_n\in\mathbb{R}$, then \[{\mathbf{P}}(\limsup A_n)\geq\limsup_{n\to\infty} \frac{\displaystyle\big(\sum_{k=1}^n{w_k\mathbf{P}}(A_k)\big)^2}{\displaystyle\sum_{i=1}^n\sum_{j=1}^nw_iw_j{\mathbf{P}}(A_i\cap A_j)}.\]
△ Less
Submitted 30 September, 2009;
originally announced October 2009.
-
Variation and Rough Path Properties of Local Times of Lévy Processes
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
In this paper, we will prove that the local time of a Lévy process is of finite $p$-variation in the space variable in the classical sense, a.s. for any $p>2$, $t\geq 0$, if the Lévy measure satisfies $\int_{R\setminus \{0\}}(|y|^{3\over 2}\wedge 1)n(dy)<\infty$, and is a rough path of roughness $p$ a.s. for any $2<p<3$ under a slightly stronger condition for the Lévy measure. Then for any funct…
▽ More
In this paper, we will prove that the local time of a Lévy process is of finite $p$-variation in the space variable in the classical sense, a.s. for any $p>2$, $t\geq 0$, if the Lévy measure satisfies $\int_{R\setminus \{0\}}(|y|^{3\over 2}\wedge 1)n(dy)<\infty$, and is a rough path of roughness $p$ a.s. for any $2<p<3$ under a slightly stronger condition for the Lévy measure. Then for any function $g$ of finite $q$-variation ($1\leq q <3$), we establish the integral $\int_{-\infty}^{\infty}g(x)dL_t^x$ as a Young integral when $1\leq q<2$ and a Lyons' rough path integral when $2\leq q<3$. We therefore apply these path integrals to extend the Tanaka-Meyer formula for a continuous function $f$ if $\nabla ^-f$ exists and is of finite $q$-variation when $1\leq q<3$, for both continuous semi-martingales and a class of Lévy processes.
△ Less
Submitted 17 June, 2009; v1 submitted 13 November, 2008;
originally announced November 2008.
-
Two-parameter $p, q$-variation Paths and Integrations of Local Times
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter $p, q$-variation path integrals. Our condition of locally bounded $p,q$-variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time…
▽ More
In this paper, we prove two main results. The first one is to give a new condition for the existence of two-parameter $p, q$-variation path integrals. Our condition of locally bounded $p,q$-variation is more natural and easy to verify than those of Young. This result can be easily generalized to multi-parameter case. The second result is to define the integral of local time $\int_{-\infty}^\infty\int_0^t g(s,x)d_{s,x}L_s(x)$ pathwise and then give generalized It$\hat {\rm o}$'s formula when $\nabla^-f(s,x)$ is only of bounded $p,q$-variation in $(s,x)$. In the case that $g(s,x)=\nabla^-f(s,x)$ is of locally bounded variation in $(s,x)$, the integral $\int_{-\infty}^\infty\int_0^t \nabla^-f(s,x)d_{s,x}L_s(x)$ is the Lebesgue-Stieltjes integral and was used in Elworthy, Truman and Zhao \cite{Zhao}. When $g(s,x)=\nabla^-f(s,x)$ is of only locally $p, q$-variation, where $p\geq 1$,$q\geq 1$, and $2q+1>2pq$, the integral is a two-parameter Young integral of $p,q$-variation rather than a Lebesgue-Stieltjes integral. In the special case that $f(s,x)=f(x)$ is independent of $s$, we give a new condition for Meyer's formula and $\int_{-\infty}^\infty L_t(x)d_x\nabla^-f(x)$ is defined pathwise as a Young integral. For this we prove the local time $L_t(x)$ is of $p$-variation in $x$ for each $t\geq 0$, for each $p>2$ almost surely ($p$-variation in the sense of Lyons and Young, i.e. $\sup\limits_{E: \ a finite partition of [-N,N]} \sum\limits_{i=1}^m|L_t(x_i)-L_t(x_{i-1})|^p<\infty$).
△ Less
Submitted 3 August, 2006; v1 submitted 19 September, 2005;
originally announced September 2005.
-
A Generalized It$\hat {\rm o}$'s Formula in Two-Dimensions and Stochastic Lebesgue-Stieltjes Integrals
Authors:
Chunrong Feng,
Huaizhong Zhao
Abstract:
A generalized It${\hat {\rm o}}$ formula for time dependent functions of two-dimensional continuous semi-martingales is proved. The formula uses the local time of each coordinate process of the semi-martingale, left space and time first derivatives and second derivative $\nabla_1^- \nabla_2^-f$ only which are assumed to be of locally bounded variation in certain variables, and stochastic Lebesgu…
▽ More
A generalized It${\hat {\rm o}}$ formula for time dependent functions of two-dimensional continuous semi-martingales is proved. The formula uses the local time of each coordinate process of the semi-martingale, left space and time first derivatives and second derivative $\nabla_1^- \nabla_2^-f$ only which are assumed to be of locally bounded variation in certain variables, and stochastic Lebesgue-Stieltjes integrals of two parameters.The two-parameter integral is defined as a natural generalization of the It${\hat {\rm o}}$ integral and Lebesgue-Stieltjes integral through a type of It${\hat {\rm o}}$ isometry formula.
△ Less
Submitted 8 September, 2005; v1 submitted 10 May, 2005;
originally announced May 2005.