Table of Contents
Fetching ...

Dynamic Systems Coupled with Solutions of Stochastic Nonsmooth Convex Optimization

Jianfeng Luo, Xiaojun Chen

TL;DR

This work studies ODEs dynamically coupled with a stochastic nonsmooth convex optimization problem, formulating the system as $\dot{x}(t)=\mathbb{E}[f(t,x,y,\xi)]$ with $y(t)$ solving a convex program under a convex constraint $K(t,x(t))$. It develops a comprehensive convergence framework built on a regularization approach, the sample average approximation (SAA), and an implicit time-stepping scheme, proving existence of solutions and convergence (in probability) of discrete approximations to the original problem. Key results include a linear-growth bound for the optimal control, convergence of the regularized problem to the least-norm solution, and rigorous convergence of SAA and time-stepping schemes to weak (or classic) solutions of the coupled system. Theoretical findings are complemented by a numerical example demonstrating parameter-estimation in time-varying ODEs, with empirical evidence that increasing sample size and decreasing regularization yield improved accuracy.

Abstract

In this paper, we study ordinary differential equations (ODE) coupled with solutions of a stochastic nonsmooth convex optimization problem (SNCOP). We use the regularization approach, the sample average approximation and the time-stepping method to construct discrete approximation problems. We show the existence of solutions to the original problem and the discrete problems. Moreover, we show that the optimal solution of the SNCOP with a strong convex objective function admits a linear growth condition and the optimal solution of the regularized SNCOP converges to the least-norm solution of the original SNCOP, which are crucial for us to derive the convergence results of the discrete problems. We illustrate the theoretical results and applications for the estimation of the time-varying parameters in ODE by numerical examples.

Dynamic Systems Coupled with Solutions of Stochastic Nonsmooth Convex Optimization

TL;DR

This work studies ODEs dynamically coupled with a stochastic nonsmooth convex optimization problem, formulating the system as with solving a convex program under a convex constraint . It develops a comprehensive convergence framework built on a regularization approach, the sample average approximation (SAA), and an implicit time-stepping scheme, proving existence of solutions and convergence (in probability) of discrete approximations to the original problem. Key results include a linear-growth bound for the optimal control, convergence of the regularized problem to the least-norm solution, and rigorous convergence of SAA and time-stepping schemes to weak (or classic) solutions of the coupled system. Theoretical findings are complemented by a numerical example demonstrating parameter-estimation in time-varying ODEs, with empirical evidence that increasing sample size and decreasing regularization yield improved accuracy.

Abstract

In this paper, we study ordinary differential equations (ODE) coupled with solutions of a stochastic nonsmooth convex optimization problem (SNCOP). We use the regularization approach, the sample average approximation and the time-stepping method to construct discrete approximation problems. We show the existence of solutions to the original problem and the discrete problems. Moreover, we show that the optimal solution of the SNCOP with a strong convex objective function admits a linear growth condition and the optimal solution of the regularized SNCOP converges to the least-norm solution of the original SNCOP, which are crucial for us to derive the convergence results of the discrete problems. We illustrate the theoretical results and applications for the estimation of the time-varying parameters in ODE by numerical examples.

Paper Structure

This paper contains 8 sections, 11 theorems, 67 equations, 1 figure.

Key Result

Theorem 2.3

\newlabelexistence-weak0 Suppose that Assumption assumption-interior-point holds. Then there exists $T_0>0$ such that problem OCDE-1-OCDE-2 has at least a weak solution $(x^*,y^*)$ on $[0,T]$ for any $T\leq T_0$.

Figures (1)

  • Figure :

Theorems & Definitions (23)

  • Definition 2.1
  • Theorem 2.3
  • Proof 1
  • Theorem 2.5
  • Proof 2
  • Remark 2.6
  • Proposition 3.1
  • Proof 3
  • Theorem 3.2
  • Proof 4
  • ...and 13 more