CADL` AG` ROUGH DIFFERENTIAL EQUATIONS WITH REFLECTING BARRIERS ANDREW L. ALLAN, CHONG LIU, AND DAVID J. PROMEL¨ Abstract. We investigate rough differential equations with a time-dependent reflecting lower barrier, where both the driving (rough) path and the barrier itself may have jumps. Assuming the driving signals allow for Young integration, we provide existence, uniqueness and stability results. When the driving signal is a c`adl`ag p-rough path for p ∈ [2, 3), we establish existence to general reflected rough differential equations, as well as uniqueness in the one-dimensional case. Key words: p-variation, rough path, rough differential equation, reflecting barrier, Sko- rokhod problem, Young integration. MSC 2020 Classification: 60H10, 60L20. 1. Introduction Stochastic differential equations (SDEs) with reflecting barriers or boundary conditions have a long history in probability theory going back to Skorokhod [Sko61]. Since the early works [Sko61, McK63, Wat71, EK75, Tan79] regarding reflected diffusions in a half-space, there has been a considerable effort to deal with various generalizations, such as more intri- cate boundary conditions (see e.g. [LS84, Sai87]) or more complex stochastic processes, like fractional Brownian motion (see e.g. [FR13]) and general semimartingales (see e.g. [MR85, LS13, FS17a]). Associated properties of these reflected diffusions have been widely studied as well, such as approximation results and support theorems, see e.g. [LS03, AS13, RW16]. The theoretical study of reflected SDEs and of the closely related Skorokhod problem has been additionally motivated by their many applications, such as in queuing theory and statistical physics, see e.g. [MM95, BN02]. A fresh perspective on stochastic differential equations was initiated by Lyons, providing a pathwise analysis of SDEs, first using Young integration [Lyo94], and then by introducing the theory of rough paths [Lyo98], which allows one to treat various random noises, such as arXiv:2008.00794v2 [math.PR] 16 Aug 2021 fractional Brownian motion and continuous semimartingales. The rough path approach to stochastic differential equations has been celebrated for offering many advantages and new insights; for an overview see for instance the introductory textbook [FH14]. A first pathwise analysis of reflected SDEs was presented by [FR13, FS15a] using Young integration, and by [BMCR14, Aid15] using the more powerful theory of rough paths. The aim of the present work is to provide a pathwise analysis of differential equations re- flected at a c`adl`ag time-dependent barrier L: [0, T ] → Rn of finite p-variation. More precisely, for a c`adl`ag path A: [0, T ] → Rd of finite q-variation and a c`adl`ag path X: [0, T ] → Rd of finite p-variation with q ∈ [1, 2) and p ∈ [2, 3) satisfying 1/q + 1/p > 1, we study the differential equation (1.1) dYt = f1(Yt)dAt + f2(Yt)dXt +dKt, t ∈ [0, T ], Date: August 17, 2021. 1 2 ALLAN, LIU, AND PROMEL¨ i i where the solution Y is reflected at the time-dependent barrier L, that is, Yt ≥ Lt for i = 1,...,n, and the reflector term K: [0, T ] → Rn is a non-decreasing process fulfilling a standard minimality condition. In the first part of the paper we suppose that the second vector field is trivial, i.e. f2 = 1. In this case classical Young integration [You36] is sufficient to define the remaining integral in (1.1), and we can thus treat (1.1) as a reflected Young differential equation. Under standard assumptions on the vector field, we show the existence and uniqueness of a solution to (1.1) using a Banach fixed point argument. Moreover, we prove that the solution map (A, X) 7→ (Y, K) is locally Lipschitz continuous with respect to both the p-variation distance and to the Skorokhod J1 p-variation distance. These results provide a comprehensive pathwise analysis of reflected Young differential equations. In particular, our results complement the existing literature (cf. [FR13, Aid15, FS15a]) in terms of the pathwise stability of the solution map, which constitutes one of the central advantages of a pathwise analysis of SDEs. For instance, pathwise stability results allow one to prove support and approximation results, as well as large deviation principles for stochastic differential equations, cf. [FV10]. In the second part we consider general vector fields f1 and f2. In this case Young integra- tion is no longer sufficient. We therefore assume that X is a c`adl`ag p-rough path in order to define the second integral in (1.1) as a rough integral, turning (1.1) into a reflected rough differential equation (reflected RDE). For this purpose we rely on the c`adl`ag rough path the- ory of forward integration recently introduced in [FS17b, FZ18], a generalization of the now classical theory of continuous rough paths which also allows processes with jumps. Indeed, general semimartingales can be lifted to c`adl`ag rough paths, as well as many other stochastic processes, such as suitable Gaussian processes, Dirichlet processes and Markov processes, see [FZ18, CF19, LP18]. Hence, a c`adl`ag rough path approach to (1.1) significantly enlarges the class of well-posed reflected SDEs. As already pointed out in [Aid15] and [DGHT19a], reflected rough differential equations face significant new challenges compared to the treat- ment of classical RDEs, the main reason being the lack of regularity of the Skorokhod map, particularly its lack of Lipschitz continuity of the space of controlled paths (see Section 3 below). We establish the existence of a solution to the reflected RDE (1.1) based on Schauder’s fixed point theorem and p-variation estimates for the Skorokhod map due to [FS15a]. While Schauder’s fixed point theorem is a classical argument in the context of differential equations, the present setting allowing driving signals A and X with jumps requires careful analysis, particularly in the introduction of a suitable compact set on the space of c`adl`ag controlled paths. So far existence results for reflected RDEs are only known for continuous driving signals, see [BMCR14, Aid15, DGHT19a, RTT20]. Similar results have been obtained in the context of sweeping processes with pathwise perturbations [CMDF17, FS15b] and path- dependent rough differential equations [Aid16, Ana20], both also covering reflected RDEs. We then prove the uniqueness of the solution to the reflected rough differential equa- tion (1.1) in the one-dimensional case, that is, when the solution Y is real-valued. For multidimensional reflected RDEs a general uniqueness result cannot hold, as observed by Gassiat [Gas21], who provides a linear RDE in n = 2 dimensions reflected at 0 with infin- itely many solutions. For one-dimensional reflected RDEs driven by continuous rough paths uniqueness was obtained by [DGHT19a] in the case L = 0 and by [RTT20] in the case of time-dependent barriers L . The approach of [DGHT19a] (as well as [RTT20]) relies funda- mentally on the sewing lemma and the rough Gr¨onwall inequality of [DGHT19b], for which the continuity of the driving paths seems to be crucial, see Remark 4.5. Therefore, in order CADL` AG` ROUGH DIFFERENTIAL EQUATIONS WITH REFLECTING BARRIERS 3 to treat the c`adl`ag setting, our proof of uniqueness utilizes a novel approach based on a con- tradiction argument. Remarkably, this proof is rather transparent and is surprisingly short, particularly in the special case of continuous driving paths. Organization of the paper: In Section 2 we provide existence, uniqueness and stability results for reflected differential equations driven by signals allowing for Young integration. In Section 3 we prove the existence of solutions to multidimensional reflected rough differential equations. Finally, we provide a uniqueness result for one-dimensional reflected RDEs in Section 4. Acknowledgment: A. L. Allan gratefully acknowledges financial support by the Swiss Na- tional Science Foundation via Project 200021 184647. C. Liu gratefully acknowledges support from the Early Postdoc.Mobility Fellowship (No. P2EZP2 188068) of the Swiss National Sci- ence Foundation, and from the G. H. Hardy Junior Research Fellowship in Mathematics awarded by New College, Oxford. 1.1. Basic notation. Let us start by introducing some standard definitions and notation used throughout the paper. A partition P = P([s,t]) of the interval [s,t] is a set of essentially disjoint intervals covering [s,t], i.e. P = {[ui, ui+1] : s = u0 < u1 < · · · < un = t}. The mesh size of a partition P is given by |P|:= max{|ui+1 − ui| : i = 0,...,n − 1}. Given a metric space (E, d), the set D([0, T ]; E) denotes the space of all c`adl`ag (right-continuous with left-limits) paths from [0, T ] into E. For p ≥ 1, the p-variation of X ∈ D([0, T ]; E) over the interval [s,t] is defined by 1 p kXk := sup d(X , X )p , p,[s,t] u v P⊂[s,t] [u,vX]∈P where the supremum is taken over all finite partitions P of the interval [s,t], and the sum denotes the summation over all intervals [u, v] ∈ P. Recall that, for every s ∈ [0, T ], the function [s, T ] ∋ t 7→ kXkp,[s,t] is non-decreasing and right-continuous with kXkp,[s,s]:= p limt↓skXkp,[s,t]= 0 (see [FZ18, Lemma 7.1]), and the function (s,t) 7→ kXkp,[s,t] is super- p p p additive, i.e. kXkp,[s,u]+kXkp,[u,t]≤ kXkp,[s,t] for 0 ≤ s ≤ u ≤ t ≤ T . See [CG98, Section 2.2] for these and further properties of p-variation seminorms. Moreover, we set1 kXkp,[s,t):= supkXkp,[s,u]. u<t A path X ∈ D([0, T ]; E) is said to have finite p-variation for some p ∈ [1, ∞) if kXkp,[0,T ]< ∞.