相关论文: Discrete time pontryagin principles in banach spac…

We study several numerical discretization techniques for the one-space plus one-time dimensional Dirac equation, including finite difference and space-time finite element methods. Two finite difference schemes and several space-time finite…

In Banach space theory, the ``local theory'' refers to the collection of finite dimensional methods and ideas which are used to study infinite dimensional spaces (see e.g. [P4,TJ]). It is natural to try to develop an analogous theory in the…

We consider nonlinear impulsive systems on Banach spaces subjected to disturbances and look for dwell-time conditions guaranteeing the the ISS property. In contrary to many existing results our conditions cover the case where both…

Providing finite-time probabilistic safety and reach-avoid guarantees is crucial for safety-critical stochastic systems. Existing state-of-the-art barrier methods often rely on a restrictive boundedness assumption for auxiliary functions,…

It is well known that in the calculus of variations and in optimization there exist many formulations of the fundamental propositions on the attainment of the infima of sequentially weakly lower semicontinuous coercive functions on…

We prove a Pontryagin Maximum Principle for optimal control problems in the space of probability measures, where the dynamics is given by a transport equation with non-local velocity. We formulate this first-order optimality condition using…

A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…

Discretizing variational principles, as opposed to discretizing differential equations, leads to discrete-time analogues of mechanics, and, systematically, to geometric numerical integrators. The phase space of such variational…

The essence of the notion of lineability and spaceability is to find linear structures in somewhat chaotic environments. The existing methods, in general, use \textit{ad hoc} arguments and few general techniques are known. Motivated by the…

We extend the framework by Kawamura and Cook for investigating computational complexity for operators occurring in analysis. This model is based on second-order complexity theory for functions on the Baire space, which is lifted to metric…

We establish sharp large deviation principles for cumulative rewards associated with a discrete-time renewal model, supposing that each renewal involves a broad-sense reward taking values in a real separable Banach space. The framework we…

The existence of a Banach limit as a translation invariant positive continuous linear functional on the space of bounded scalar sequences which is equal to 1 at the constant sequence (1,1,...,1,...) is proved in a first course on functional…

By means of fixed point index theory for multi-valued maps, we provide an analogue of the classical Birkhoff--Kellogg Theorem in the context of discontinuous operators acting on affine wedges in Banach spaces. Our theory is fairly general…

We present a novel framework for optimal control in both classical and quantum systems. Our approach leverages the Dirac--Bergmann algorithm: a systematic method for formulating and solving constrained dynamical systems. In contrast to the…

Quasi-invariant and pseudo-differentiable measures on a Banach space $X$ over a non-Archimedean locally compact infinite field with a non-trivial valuation are defined and constructed. Measures are considered with values in $\bf R$.…

We consider both discrete and continuous "uncertain horizon" deterministic control processes, for which the termination time is a random variable. We examine the dynamic programming equations for the value function of such processes,…

Exploiting our previous results on higher order controlled Lagrangians in [Nonlinear Anal. {\bf 207} (2021), 112263], we derive here an analogue of the classical first order Pontryagin Maximum Principle (PMP) for cost minimising problems…

In the present manuscript we consider the Boltzmann equation that models a polyatomic gas by introducing one additional continuous variable, referred to as microscopic internal energy. We establish existence and uniqueness theory in the…

A formalism is proposed to generate (the first step of) a discrete spacetime: spacetime with an inbuilt length scale. We follow the celebrated Landau theory of liquid - solid phase transition induced by Spontaneous Symmetry Breaking by a…

We review the current state of the homogeneous Banach space problem. We then formulate several questions which arise naturally from this problem, some of which seem to be fundamental but new. We give many examples defining the bounds on the…