Capacitary measures for completely monotone kernels via singular control
Abstract
We give a singular control approach to the problem of minimizing an energy functional for measures with given total mass on a compact real interval, when energy is defined in terms of a completely monotone kernel. This problem occurs both in potential theory and when looking for optimal financial order execution strategies under transient price impact. In our setup, measures or order execution strategies are interpreted as singular controls, and the capacitary measure is the unique optimal control. The minimal energy, or equivalently the capacity of the underlying interval, is characterized by means of a nonstandard infinitedimensional Riccati differential equation, which is analyzed in some detail. We then show that the capacitary measure has two Dirac components at the endpoints of the interval and a continuous Lebesgue density in between. This density can be obtained as the solution of a certain Volterra integral equation of the second kind.
Keywords: Singular control, verification argument, capacity theory, infinitedimensional Riccati differential equation, optimal order execution, optimal trade execution, transient price impact
AMS Subject Classification: 49J15, 49K15, 31C15, 49N90, 91G80, 34G20
1 Introduction and statement of results
1.1 Background
Let be a function. The problem of minimizing the energy functional
over probability measures supported by a given compact set plays an important role in potential theory. A minimizing measure , when it exists, is called a capacitary measure, and the value is called the capacity of the set ; see, e.g., \citeasnounchoquet, \citeasnounfuglede, and \citeasnounlandkof. See also \citeasnounAikawaEssen or \citeasnounHelms for more recent books on potential theory.
In this paper, we develop a control approach to determining the capacitary distribution when is a compact interval and is a completely monotone function. In this approach, measures on will be regarded as singular controls and is the objective function. Our goal is to obtain qualitative structure theorems for the optimal control and characterize by means of certain differential and integral equations.
The intuition for this control approach, and in fact our original motivation, come from the problem of optimal order execution in mathematical finance. In this problem, one considers an economic agent who wishes to liquidate a certain asset position of shares within the time interval . This asset position can either be a long position () or a short position ). The order execution strategy chosen by the investor is described by the asset position held at time . In particular, one must have . Requiring the condition assures that the initial position has been unwound by time . The leftcontinuous path will be nonincreasing for a pure sell strategy and nondecreasing for a pure buy strategy. A general strategy can consist of both buy and sell trades and hence can be described as the sum of a nonincreasing and a nondecreasing strategy. That is, is a path of finite variation.
The problem the economic agent is facing is that his or her trades impact the price of the underlying asset. To model price impact, one starts by informally defining as the immediate price impact generated by the (possibly infinitesimal) trade executed at time . Next, it is an empirically wellestablished fact that price impact is transient and decays over time; see, e.g., \citeasnounMoroEtAl. This decay of price impact can be described informally by requiring that is the remaining impact at time of the impact generated by the trade . Here, is a nonincreasing function with , the decay kernel. Thus, is the price impact of the strategy , cumulated until time . This price impact creates liquidation costs for the economic agent, and one can derive that, under the common martingale assumption for unaffected asset prices, these costs are given by
(1) 
plus a stochastic error term with expectation independent of the specific strategy ; see \citeasnounGSS. Indeed, let us assume that asset prices are given by where is a continuous martingale and models the price impact of the trading strategy at time . Then, we assume that the order is made at the average price and costs , which corresponds to a block shape limit order book, see \citeasnounAFS2. Accumulating these costs over , integrating by parts twice, and taking expectations yields
where we have used the fact that , due to the martingale assumption on . Further details can be found in \citeasnounGSS.
Thus, minimizing the expected costs amounts to minimizing the functional over all leftcontinuous strategies that are of bounded variation and satisfy and . This problem was formulated and solved in the special case of exponential decay, , by \citeasnounow. The general case was analyzed by \citeasnounASS in discrete time and by \citeasnounGSS in the continuoustime setup we have used above. We refer to \citeasnounAFS2, \citeasnounAS, \citeasnounGSS2, \citeasnounPredoiuShaikhetShreve, \citeasnounSchiedSlynko, and \citeasnounGatheralSchiedSurvey for further discussions and additional references in the context of mathematical finance.
Clearly, the cost functional coincides with the energy functional of the measure . So finding an optimal order execution strategy is basically equivalent to determining a capacitary measure for . There is one important difference, however: capacitary measures are determined as minimizers of with respect to all nonnegative measures on with total mass , while may be a signed measure with given total mass . This difference can become significant if is only required to be positive definite in the sense of Bochner (which is essentially equivalent to for all ), because then minimizers of the unconstrained problem need not exist. It was first shown by \citeasnounASS, and later extended to continuous time by \citeasnounGSS, that a unique optimal order execution strategy exists and that is a monotone function of when is convex and nonincreasing. This result has the important consequence that the constrained problem of finding a capacitary measure is equivalent to the unconstrained problem of determining an optimal order execution strategy.
In this paper, we aim at describing the structure of capacitary measures/optimal order execution strategies. To this end, it is instructive to first look at two specific examples in which the optimizer is known in explicit form. \citeasnounow find that for exponential decay, , the capacitary measure has two singular components at and and a constant Lebesgue density on :
(2) 
Numerical experiments show that it is a common pattern that capacitary measures for nonincreasing convex kernels have two singular components at and and a Lebesgue density on . However, the capacitary measure for is the purely discrete measure
where [?, Proposition 2.14].
So it is an interesting question for which nonincreasing, convex kernels the capacitary measure has singular components only at and and is (absolutely) continuous on . It turns out that a sufficient condition is the complete monotonicity of , i.e., belongs to and is nonnegative in for . More precisely, we have the following result, which is in fact an immediate corollary of the main results in this paper.
Corollary 1.
Suppose that is completely monotone with . Then the capacitary measure has two Dirac components at and and is has a continuous Lebesgue density on .
1.2 Statement of main results
Our main results do not only give the preceding qualitative statement on the form of but they also provide quantitative descriptions of the Dirac components of and of its Lebesgue density on . To prepare for the statement of these results, let us first assume that , which we can do without loss of generality. Then we recall that by the celebrated Hausdorff–Bernstein–Widder theorem [?, Theorem IV.12a], is completely monotone if and only if it is the Laplace transform of a Borel probability measure on :
In particular, every exponential polynomial,
(3) 
with and is completely monotone. Another example is powerlaw decay,
which is a popular choice for the decay of price impact in the econophysics literature; see \citeasnounGatheral and the references therein. We assume henceforth that , which is equivalent to
(4) 
A crucial role will be played by the following infinitedimensional Riccati equation for functions ,
(5) 
where denotes the time derivative of , and the function satisfies the initial condition
(6) 
Remark 1.
When writing (5) in the form one sees that the functional is not a continuous map from some reasonable function space into itself, unless is concentrated on a compact interval. For instance, it involves the typically unbounded linear operator . Therefore, existence and uniqueness of solutions to (5), (6) does not follow by an immediate application of standard results such as the Cauchy–Lipschitz/Picard–Lindelöf theorem in Banach spaces [?, Theorem 3.4.1] or more recent ones such as those in \citeasnounTeixeira and the references therein. In fact, even in the simplest case in which reduces to a Dirac measure, the existence of global solution hinges on the initial condition; it is easy to see that solutions blow up when is not chosen in a suitable manner.
We now state a result on the global existence and uniqueness of (5), (6). It states that the solution takes values in the locally convex space endowed with topology of locally uniform convergence. For integers , the space will consist of all continuous functions which, when considered as functions for some compact subset of , belong to .
Theorem 1.
When the initial value problem (5), (6) admits a unique solution in the class of functions in that satisfy an inequality of the form
(7) 
where is a constant that may depend on and locally uniformly on . Moreover, has the following properties.

is strictly positive.

is symmetric: for all .

for all .

.

For every , the kernel is nonnegative definite on , i.e.,
(8) 
The functions and satisfy local Lipschitz conditions in , locally uniformly in .
In Section 1.3 we will discuss computational aspects of the initial value problem (5), (6). In particular, we will discuss its solution when is an exponential polynomial of the form (3) and we will provide closedform solutions in the cases and .
We can now explain how to use singular control in approaching the minimization of or . To this end, using order execution strategies will be more convenient than using the formalism of the associated measures because of the natural dynamic interpretation of . Henceforth, a admissible strategy will be a leftcontinuous function of bounded variation such that . Our goal is to minimize the cost functional defined in (1) over all admissible strategies with fixed initial value . Clearly, this problem is not yet suitable for the application of control techniques since depends on the entire path of . We therefore introduce the auxiliary functions
(9) 
These functions will play the role of state variables that are controlled by the strategy .
Lemma 1.
For any admissible strategy , the function is uniformly bounded in and . Moreover,
(10) 
where denotes the jump of at .
Proof. Clearly, , where denotes the total variation of over . To obtain (10), we integrate by parts to get
Now we write as and apply Fubini’s theorem. ∎.
The form (10) of our cost functional is now suitable for the application of control techniques. To state our main result, we let be the solution of our infinitedimensional Riccati equation as provided by Theorem 1 and we define
(11) 
Theorem 2.
Let be the unique optimal strategy in the class of admissible strategies with initial value . Then
(12) 
Moreover, has jumps at and of size
and is continuously differentiable on . The derivative is the unique continuous solution of the Volterra integral equation
(13) 
where, for
(14) 
the function and the kernel are given by
(15) 
Let us recall that we know in addition from Theorem 2.20 in \citeasnounGSS that is monotone. The identity (12) immediately yields the following formula for the capacity of a compact interval.
Corollary 2.
If , the capacity of a compact interval is given by
1.3 Computational aspects
In general, the Riccati equation (5), (6) cannot be solved explicitly. A closedform solution exists, however, when is an exponential polynomial as in (3), i.e., when has a discrete support. Let us assume that , with , , and . All the input that is needed in Theorem 2 are the values , for . By Theorem 1, is a symmetric matrix that solves the following matrix Riccati equation:
(16) 
with , , and . According to \citeasnounLevin, the solution of this equation is given by
where and
In the special cases and , the solution of the Riccati equation (5), (6) becomes even easier and, to some extend, becomes explicit. We demonstrate this first for and then for :
Example 1.
Example 2.
In the case , we can assume that is of the form , where . Consider a solution of the matrix Riccati equation (16) with . We can simplify (16) by using the relation
(17) 
Indeed, the equation for then becomes
This is an autonomous ODE that, for the initial condition , is solved by
(18) 
where
We can notice that and .
Similarly,
which for the initial condition is solved by
(19) 
where
From (17) we can now easily compute .
Next, using once again (17), we find that solves
That is,
(20) 
We set , , and , so that . Then, we can check that is a solution of the fundamental system. By using a variation of parameters, we get that the solution of (20) satisfying is given by
with
Then, can be easily deduced from (17).
It remains to compute , which solves
We set and get after some calculations:
Thus, we finally get:
(21)  
This completes this example.
Given the solution of the Riccati equation, we can approximate the continuous time strategy by a discrete one as follows ( will denote the trading size at time ).

We first set and , .

Suppose that and that and have been computed. Then, we set thanks to (59):

Set .
Alternatively, we could have approximated the minimization of the cost (1) by the following discrete problem. Let , , and consider
(22) 
The solution of this problem is obviously given by , where for . From a financial point of view, the minimization problem (22) gives the optimal strategy when it is only possible to trade at the times , while the original problem (1) allows to trade continuously. In potential theory, it corresponds to computing the capacitary distribution of the set . It was shown in the proof of Theorem 2.20 in \citeasnounGSS that for these cap2acitary distributions converge in the weak topology of probability measures to the capacitary distribution constructed in Theorem 2. Explicit solutions of (22) for the choices and were given in \citeasnounAFS1 and \citeasnounASS (note, however, that is not completely monotone).
We have computed and plotted the solutions given by both methods in Figure 2 for , , and . They are already rather close together for , and they merge when . Let us discuss briefly the time complexity of the two methods. The one given by (22) gets very slow when gets large since it involves the inversion of a matrix. Instead, when has a discrete support, the matrix Riccati equation can be solved quickly and the algorithm above has a time complexity, which is much faster. However, this is no longer true when does not have discrete support. In that case, we have to approximate by a discrete measure, which means that we have to increase . Doing so, will slow down the algorithm based on the Riccati equation. A rigorous treatment of the convergence rate and time complexity of both algorithms is beyond the scope of this paper and is left for future research.
2 Proofs
2.1 Proof of Theorem 1
Let us write (5) in the form , where
(23) 
Lemma 2.
Proof. Let be any compact interval containing . Then defined in (23) maps into itself. Moreover, is Lipschitz continuous with respect to the supnorm on every bounded subset of . Hence, the Cauchy–Lipschitz/Picard–Lindelöf theorem in Banach spaces implies the existence of a unique local solution for some maximal time [?, Theorem 3.4.1]. We will show below that . Then, if is another compact interval, the restriction of to must coincide with due to the uniqueness of solutions. This consistency then implies the existence and uniqueness of solutions . Moreover, the uniqueness of solutions and the fact that both (5) and (6) are symmetric in and implies that for all , which is property (b) in Theorem 1.
We now fix an interval . Before proving that , we will show that
(24) 
This then will establishes property (c) in the statement of Theorem 1 for . Then we will use (24) to derive some estimates on that will yield and .
To prove (24), we let and . We have
(25) 
This is a (nonhomogeneous) affine ODE of the form , where the operator
is a continuous map from into the space of bounded linear operators on for each . Hence this ODE admits a unique solution in with initial condition . But (25) is solved by , which which establishes (24).
For the next step, we let
Since is a continuous map from into and , we must have . Due to (24) we have on that