Related papers: Verification of some functional inequalities via p…
The present work constitutes a first step towards establishing a systematic framework for treating variational problems that depend on a given input function through a mixture of its derivatives of different orders in different directions.…
A method for constructing homogeneous Lyapunov functions of degree 1 from polynomial invariant sets is presented for linear time varying systems, homogeneous dynamic systems and the class of nonlinear systems that can be represented as…
In Liang et al (2009), the current authors demonstrated that BSDEs can be reformulated as functional differential equations, and as an application, they solved BSDEs on general filtered probability spaces. In this paper the authors continue…
This paper presents an automated algorithm to analyze the stability of piecewise affine (PWA) dynamical systems due to their broad applications. We parametrize the Lyapunov function as a PWA function, with polytopic regions defined by the…
We introduce a practical method to enforce partial differential equation (PDE) constraints for functions defined by neural networks (NNs), with a high degree of accuracy and up to a desired tolerance. We develop a differentiable…
We present a new approach to solving polynomial ordinary differential equations by transforming them to linear functional equations and then solving the linear functional equations. We will focus most of our attention upon the first-order…
We give necessary integral conditions and sufficient ones for the existence of a general concept of $\mu$-dichotomy for evolution operators defined on the half-line which includes as particular cases the well-known concepts of nonuniform…
The paper proposes a control-theoretic framework for verification of numerical software systems, and puts forward software verification as an important application of control and systems theory. The idea is to transfer Lyapunov functions…
We propose a class of locally Lipschitz functions with piecewise structure for use as Lyapunov functions for hybrid dynamical systems. Subject to some regularity of the dynamics, we show that Lyapunov inequalities can be checked only on a…
We use Vessiot theory and exterior calculus to solve partial differential equations(PDEs) of the type uyy = F(x, y,u,ux,uy,uxx,uxy) and associated evolution equations. These equations are represented by the Vessiot distribution of vector…
We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family…
In this paper, we study inequalities involving polynomials and quasimodular forms. More precisely, we focus on the monotonicity of the functions of the form $t \mapsto t^m F(it)$ where $F$ is a quasimodular form and $m > 0$. As an…
In this paper, by using a characterization of functions having fractional derivative, we propose a rigorous fractional Lyapunov function candidate method to analyze stability of fractional-order nonlinear systems. First, we prove an…
This paper presents some new propositions related to the fractional order $h$-difference operators, for the case of general quadratic forms and for the polynomial type, which allow proving the stability of fractional order $h$-difference…
In this paper, we present a methodology for stability analysis of a general class of systems defined by coupled Partial Differential Equations (PDEs) with spatially dependent coefficients and a general class of boundary conditions. This…
Recent works have shown that deep neural networks can be employed to solve partial differential equations, giving rise to the framework of physics informed neural networks. We introduce a generalization for these methods that manifests as a…
Probability measures satisfying a Poincar{\'e} inequality are known to enjoy a dimension free concentration inequality with exponential rate. A celebrated result of Bobkov and Ledoux shows that a Poincar{\'e} inequality automatically…
We propose the first learning scheme for functional differential equations (FDEs). FDEs play a fundamental role in physics, mathematics, and optimal control. However, the numerical analysis of FDEs has faced challenges due to its…
This paper focuses on the study of a mathematical program with equilibrium constraints, where the objective and the constraint functions are all polynomials. We present a method for finding its global minimizers and global minimum using a…
Using measure-capacity inequalities we study new functional inequalities, namely L^q-Poincar\'{e} inequalities and L^q-logarithmic Sobolev inequalities. As a consequence, we establish the asymptotic behavior of the solutions to the…