Mathematical models in biology are highly simplified representations of a complex underlying reality and there is always a high degree of uncertainty with regards to model function specification. This uncertainty becomes critical for models in which the use of different functions fitting the same dataset can yield substantially different predictions—a property known as structural sensitivity. Thus, even if the model is purely deterministic, then the uncertainty in the model functions carries through into uncertainty in model predictions, and new frameworks are required to tackle this fundamental problem. Here, we consider a framework that uses partially specified models in which some functions are not represented by a specific form. The main idea is to project infinite dimensional function space into a low-dimensional space taking into account biological constraints. The key question of how to carry out this projection has so far remained a serious mathematical challenge and hindered the use of partially specified models. Here, we propose and demonstrate a potentially powerful technique to perform such a projection by using optimal control theory to construct functions with the specified global properties. This approach opens up the prospect of a flexible and easy to use method to fulfil uncertainty analysis of biological models.
A new class of differential variational inequalities (DVIs), governed by a variational inequality and an evolution equation formulated in infinite-dimensional spaces, is investigated in this paper. More precisely, based on Browder’s result, optimal control theory, measurability of set-valued mappings and the theory of semigroups, we establish that the solution set of DVI is nonempty and compact. In addition, the theoretical developments are accompanied by an application to differential Nash games.
Quantifying uncertainty in partially specified biological models: how can optimal control theory help us?
