Existence and uniqueness for the evolutionary impulse control problem using an asynchronous algorithms

Impulse control problems pose significant challenges in decision making under uncertainty, particularly in scenarios where actions must be taken at irregular intervals or in response to abrupt changes in the environment. Ensuring both the existence and uniqueness of optimal control policies in such settings is paramount for practical implementation and theoretical understanding. In this study, we investigate the existence and uniqueness of solutions for impulse control problems utilizing asynchronous algorithms. This study presents a novel demonstration concerning the uniqueness and existence of Partially Quasi-Variational Inequalities (PQVIs). Our approach unfolds through a four-step methodology, leveraging distinctive features of a discrete iterative technique. This methodology integrates semi-implicit techniques with respect to the variable t and employs spatial approximation via finite element methods. We establish a pivotal connection between a fixed-point mapping and the discrete EQVIs system, utilizing it to formulate a discrete algorithm featuring a semi-implicit time scheme. Furthermore, we introduce a monotone iterative scheme inspired by Bensoussan’s algorithm and rigorously confirm several of its properties through mathematical proofs. This work contributes to advancing the understanding and application of iterative techniques in solving PQVIs, offering insights into their uniqueness and existence.