In 2015, Guglielmi and Badia discussed optimal strategies in a particular type of service system with two strategic servers. In their setup, each server can be either active or inactive and an active server can be requested to transmit a sequence of packets. The servers have varying probabilities of successfully transmitting when they are active, and both servers receive a unit reward if the sequence of packets is transmitted successfully. Guglielmi and Badia provided an analysis of optimal strategies in four scenarios: where each server does not know the other’s successful transmission probability; one of the two servers is always inactive; each server knows the other’s successful transmission probability and they are willing to cooperate.

Unfortunately, the analysis by Guglielmi and Badia contained some errors. In this paper we correct these errors. We discuss three cases where both servers (I) communicate and cooperate; (II) neither communicate nor cooperate; (III) communicate but do not cooperate. In particular, we obtain the unique Nash equilibrium strategy in Case II through a Bayesian game formulation, and demonstrate that there is a region in the parameter space where there are multiple Nash equilibria in Case III. We also quantify the value of communication or cooperation by comparing the social welfare in the three cases, and propose possible regulations to make the Nash equilibrium strategy the socially optimal strategy for both Cases II and III.

The withdrawal of water with a free surface through a line sink from a two-dimensional, vertical sand column is considered using the hodograph method and a novel spectral method. Hodograph solutions are presented for slow flow and for critical, limiting steady flows, and these are compared with spectral solutions to the steady problem. The spectral method is then extended to obtain unsteady solutions and hence the evolution of the phreatic surface to the steady solutions when they exist. It is found that for each height of the interface there is a unique critical coning value of flow rate, but also that the value obtained is dependent on the flow history.

We consider fluid in a channel of finite height. There is a circular hole in the channel bottom, through which fluid of a lower density is injected and rises to form a plume. Viscous boundary layers close to the top and bottom of the channel are assumed to be so thin that the viscous fluid effectively slips along each of these boundaries. The problem is solved using a novel spectral method, in which Hankel transforms are first used to create a steady-state axisymmetric (inviscid) background flow that exactly satisfies the boundary conditions. A viscous correction is then added, so as to satisfy the time-dependent Boussinesq Navier–Stokes equations within the fluid, leaving the boundary conditions intact. Results are presented for the “lazy” plume, in which the fluid rises due only to its own buoyancy, and we study in detail its evolution with time to form an overturning structure. Some results for momentum-driven plumes are also presented, and the effect of the upper wall of the channel on the evolution of the axisymmetric plume is discussed.

We present a Rayleigh–Ritz method for the approximation of fluid flow in a curved duct, including the secondary cross-flow, which is well known to develop for nonzero Dean numbers. Having a straightforward method to estimate the cross-flow for ducts with a variety of cross-sectional shapes is important for many applications. One particular example is in microfluidics where curved ducts with low aspect ratio are common, and there is an increasing interest in nonrectangular duct shapes for the purpose of size-based cell separation. We describe functionals which are minimized by the axial flow velocity and cross-flow stream function which solve an expansion of the Navier–Stokes model of the flow. A Rayleigh–Ritz method is then obtained by computing the coefficients of an appropriate polynomial basis, taking into account the duct shape, such that the corresponding functionals are stationary. Whilst the method itself is quite general, we describe an implementation for a particular family of duct shapes in which the top and bottom walls are described by a polynomial with respect to the lateral coordinate. Solutions for a rectangular duct and two nonstandard duct shapes are examined in detail. A comparison with solutions obtained using a finite-element method demonstrates the rate of convergence with respect to the size of the basis. An implementation for circular cross-sections is also described, and results are found to be consistent with previous studies.

We analyse the vorticity production of lake-scale circulation in wind-induced shallow flows using a linear elliptic partial differential equation. The linear equation is derived from the vorticity form of the shallow-water equation using a linear bed friction formula. The features of the wind-induced steady-state flow are analysed in a circular basin with topography as a concave paraboloid, having a quadratic pile in the middle of the basin. In our study, the size of the pile varies by a size parameter. The vorticity production due to the gradient in the topography (and the distance of the boundary) makes the streamlines parallel to topographical contours, and beyond a critical size parameter, it results in a secondary vortex pair. We compare qualitatively and quantitatively the steady-state circulation patterns and vortex evolution of the flow fields calculated by our linear vorticity model and the full, nonlinear shallow-water equations. From these results, we hypothesize that the steady-state topographical vorticity production in lake-scale wind-induced circulations can be described by the equilibrium of the wind friction field and the bed friction field. Moreover, the latter can also be considered as a linear function of the velocity vector field, and hence the problem can be described by a linear equation.

In this paper, we revisit our previous work in which we derive an effective macroscale description suitable to describe the growth of biological tissue within a porous tissue-engineering scaffold. The underlying tissue dynamics is described as a multiphase mixture, thereby naturally accommodating features such as interstitial growth and active cell motion. Via a linearization of the underlying multiphase model (whose nonlinearity poses a significant challenge for such analyses), we obtain, by means of multiple-scale homogenization, a simplified macroscale model that nevertheless retains explicit dependence on both the microscale scaffold structure and the tissue dynamics, via so-called unit-cell problems that provide permeability tensors to parameterize the macroscale description. In our previous work, the cell problems retain macroscale dependence, posing significant challenges for computational implementation of the eventual macroscopic model; here, we obtain a decoupled system whereby the quasi-steady cell problems may be solved separately from the macroscale description. Moreover, we indicate how the formulation is influenced by a set of alternative microscale boundary conditions.

The Kuramoto–Sivashinsky equation is a prototypical chaotic nonlinear partial differential equation (PDE) in which the size of the spatial domain plays the role of a bifurcation parameter. We investigate the changing dynamics of the Kuramoto–Sivashinsky PDE by calculating the Lyapunov spectra over a large range of domain sizes. Our comprehensive computation and analysis of the Lyapunov exponents and the associated Kaplan–Yorke dimension provides new insights into the chaotic dynamics of the Kuramoto–Sivashinsky PDE, and the transition to its one-dimensional turbulence.

The Douglas–Rachford method has been employed successfully to solve many kinds of nonconvex feasibility problems. In particular, recent research has shown surprising stability for the method when it is applied to finding the intersections of hypersurfaces. Motivated by these discoveries, we reformulate a second order boundary value problem (BVP) as a feasibility problem where the sets are hypersurfaces. We show that such a problem may always be reformulated as a feasibility problem on no more than three sets and is well suited to parallelization. We explore the stability of the method by applying it to several BVPs, including cases where the traditional Newton’s method fails.

Rayleigh–Taylor instability occurs when a heavier fluid overlies a lighter fluid, and the two seek to exchange positions under the effect of gravity. We present a linearized theory for arbitrary three-dimensional (3D) initial disturbances that grow in time, and calculate the evolution of the interface for early times. A new spectral method is introduced for the fully 3D nonlinear problem in a Boussinesq fluid, where the interface between the light and heavy fluids is approximated with a smooth but rapid density change in the fluid. The results of large-scale numerical calculation are presented in fully 3D geometry, and compared and contrasted with the early-time linearized theory.

We introduce a model for the execution of large market orders in limit order books, and use a linear combination of self-exciting Hawkes processes to model asset-price dynamics, with the addition of a price-impact function that is concave in the order size. A criterion for a general price-impact function is introduced, which is used to show how specification of a concave impact function affects order execution. Using our model, we examine the immediate and permanent impacts of large orders, analyse the potential for price manipulation, and show the effectiveness of the time-weighted average price strategy. Our model shows that price depends on the balance between the intensities of the Hawkes process, which can be interpreted as a dependence on order-flow imbalance.

Explicit solutions are rarely available for water wave scattering problems. An analytical procedure is presented here to solve the boundary value problem associated with wave scattering by a complete vertical porous barrier with two gaps in it. The original problem is decomposed into four problems involving vertical solid barriers. The decomposed problems are solved analytically by using a weakly singular integral equation. Explicit expressions are obtained for the scattering amplitudes and numerical results are presented. The results obtained can be used as a benchmark for other wave scattering problems involving complex geometrical structures.

Options with extendable features have many applications in finance and these provide the motivation for this study. The pricing of extendable options when the underlying asset follows a geometric Brownian motion with constant volatility has appeared in the literature. In this paper, we consider holder-extendable call options when the underlying asset follows a mean-reverting stochastic volatility. The option price is expressed in integral forms which have known closed-form characteristic functions. We price these options using a fast Fourier transform, a finite difference method and Monte Carlo simulation, and we determine the efficiency and accuracy of the Fourier method in pricing holder-extendable call options for Heston parameters calibrated from the subprime crisis. We show that the fast Fourier transform reduces the computational time required to produce a range of holder-extendable call option prices by at least an order of magnitude. Numerical results also demonstrate that when the Heston correlation is negative, the Black–Scholes model under-prices in-the-money and over-prices out-of-the-money holder-extendable call options compared with the Heston model, which is analogous to the behaviour for vanilla calls.

The numerical entropy production (NEP) for shallow water equations (SWE) is discussed and implemented as a smoothness indicator. We consider SWE in three different dimensions, namely, one-dimensional, one-and-a-half-dimensional, and two-dimensional SWE. An existing numerical entropy scheme is reviewed and an alternative scheme is provided. We prove the properties of these two numerical entropy schemes relating to the entropy steady state and consistency with the entropy equality on smooth regions. Simulation results show that both schemes produce NEP with the same behaviour for detecting discontinuities of solutions and perform similarly as smoothness indicators. An implementation of the NEP for an adaptive numerical method is also demonstrated.

This paper is concerned with the problem of existence and uniqueness of weak and classical solutions for a fourth-order semilinear boundary value problem. The existence and uniqueness for weak solutions follows from standard variational methods, while similar uniqueness results for classical solutions are derived using maximum principles.

Some optimal choices for a parameter of the Dai–Liao conjugate gradient method are proposed by conducting matrix analyses of the method. More precisely, first the $\ell _{1}$ and $\ell _{\infty }$ norm condition numbers of the search direction matrix are minimized, yielding two adaptive choices for the Dai–Liao parameter. Then we show that a recent formula for computing this parameter which guarantees the descent property can be considered as a minimizer of the spectral condition number as well as the well-known measure function for a symmetrized version of the search direction matrix. Brief convergence analyses are also carried out. Finally, some numerical experiments on a set of test problems related to constrained and unconstrained testing environment, are conducted using a well-known performance profile.

We study the problem of choosing the best subset of $p$ features in linear regression, given $n$ observations. This problem naturally contains two objective functions including minimizing the amount of bias and minimizing the number of predictors. The existing approaches transform the problem into a single-objective optimization problem. We explain the main weaknesses of existing approaches and, to overcome their drawbacks, we propose a bi-objective mixed integer linear programming approach. A computational study shows the efficacy of the proposed approach.

We investigate convergence in the cone of completely monotone functions. Particular attention is paid to the approximation of and by exponentials and stretched exponentials. The need for such an analysis is a consequence of the fact that although stretched exponentials can be approximated by sums of exponentials, exponentials cannot in general be approximated by sums of stretched exponentials.

A new linear and conservative finite difference scheme which preserves discrete mass and energy is developed for the two-dimensional Gross–Pitaevskii equation with angular momentum rotation. In addition to the energy estimate method and mathematical induction, we use the lifting technique as well as some well-known inequalities to establish the optimal $H^{1}$-error estimate for the proposed scheme with no restrictions on the grid ratio. Unlike the existing numerical solutions which are of second-order accuracy at the most, the convergence rate of the numerical solution is proved to be of order $O(h^{4}+\unicode[STIX]{x1D70F}^{2})$ with time step $\unicode[STIX]{x1D70F}$ and mesh size $h$. Numerical experiments have been carried out to show the efficiency and accuracy of our new method.

We consider a theoretical model for the flow of Newtonian fluid through a long flexible-walled channel which is formed from four compliant and rigid compartments arranged alternately in series. We drive the flow using a fixed upstream flux and derive a spatially one-dimensional model using a flow profile assumption. The compliant compartments of the channel are assumed subject to a large external pressure, so the system admits a highly collapsed steady state. Using both a global (linear) stability eigensolver and fully nonlinear simulations, we show that these highly collapsed steady states admit a primary global oscillatory instability similar to observations in a single channel. We also show that in some regions of the parameter space the system admits a secondary mode of instability which can interact with the primary mode and lead to significant changes in the structure of the neutral stability curves. Finally, we apply the predictions of this model to the flow of blood through the central retinal vein and examine the conditions required for the onset of self-excited oscillation. We show that the neutral stability curve of the primary mode of instability discussed above agrees well with canine experimental measurements of the onset of retinal venous pulsation, although there is a large discrepancy in the oscillation frequency.

We propose a new adaptive and composite Barzilai–Borwein (BB) step size by integrating the advantages of such existing step sizes. Particularly, the proposed step size is an optimal weighted mean of two classical BB step sizes and the weights are updated at each iteration in accordance with the quality of the classical BB step sizes. Combined with the steepest descent direction, the adaptive and composite BB step size is incorporated into the development of an algorithm such that it is efficient to solve large-scale optimization problems. We prove that the developed algorithm is globally convergent and it R-linearly converges when applied to solve strictly convex quadratic minimization problems. Compared with the state-of-the-art algorithms available in the literature, the proposed step size is more efficient in solving ill-posed or large-scale benchmark test problems.