Market consistent bid-ask option pricing under Dempster-Shafer uncertainty

We refer to the discrete-time market model under ambiguity introduced in [Cinfrignini, A., Petturiti, D. and Vantaggi, B., Dynamic bid-ask pricing under Dempster-Shafer uncertainty. J. Math. Econ., 2023a, 107, 102871], formed by a frictionless risk-free bond and a non-dividend paying stock with bid-ask spread. For a European derivative, we generalize the classical binomial pricing formula by allowing for bid-ask prices and investigate the properties of the ensuing replicating strategies. Next, for an American derivative, we propose a backward bid-ask pricing procedure and prove that the resulting discounted price processes are the bid-ask Choquet-Snell envelopes of the discounted payoff process, respectively. Moreover, for an American call option, we prove a generalization of the well-known Merton's theorem [Merton, R.C., Theory of rational option pricing. Bell J. Econ. Manage. Sci., 1973, 4, 141-183] holding for both the bid and the ask price processes. Finally, we introduce a market consistent calibration procedure and show the use of the calibrated model in bid-ask option pricing.