GEORGIAN MATHEMATICAL JOURNAL: Vol. 3, No. 2, 1996, 153-176 THE SKOROKHOD OBLIQUE REFLECTION PROBLEM IN A CONVEX POLYHEDRON M. SHASHIASHVILI Abstract. The Skorokhod oblique reflection problem is studied in the case of n-dimensional convex polyhedral domains. The natural sufficient condition on the reflection directions is found, which together with the Lipschitz condition on the coefficients gives the existence and uniqueness of the solution. The continuity of the corresponding solution mapping is established. This property enables one to construct in a direct way the reflected (in a convex polyhedral domain diffusion processes possessing the nice properties. 1. Introduction. This paper is concerned with the Skorokhod oblique reflection problems that have applications in queuing and storage theory ([1], [2],[3]. The Skorokhod problem was used for constructing the reflected diffusion processes in an n-dimensional domain G by Tanaka [4], Lions and Sznitman [5], and Saisho [6]. These authors obtained solutions to the Skorokhod problem under the following assumptions: Tanaka [4] G convex and a normal direction of reflection; Lions and Sznitman [5] G smooth save at convex corners and a normal direction of reflection, or G smooth and smoothly varying direction of reflection together with the admissibility condition on G; Saisho [6] as in [5], but without the admissibility condition and only for the case of normal direction of reflection. The case of convex corners with oblique reflection has received a good deal of attention lately. The case of G = R n + (i.e., of the nonnegative orthant has been considered by Harrison and Reiman [7]. Under some restrictions on possible directions of reflection they have obtained the existence, uniqueness, and Lipschitz continuity of the solution mapping. 1991 Mathematics Subject Classification. 60J60, 60J50. Key words and phrases. Skorokhod oblique reflection problem, convex polyhedron, maximal functions, reflected diffusion processes. 153 1072-947X/96/0300-0153$09.50/0 c 1996 Plenum Publishing Corporation
154 M. SHASHIASHVILI The Lipschitz continuity of the solution mapping to the Skorokhod problem with oblique reflection has been extensively investigated recently by Dupuis and Ishii [8] for the case where G is a convex polyhedral domain. Dupius and Ishii [8], as well as Harrison and Reiman [7], supposed that the reflection directions are constant for each boundary hyperplane forming the faces of the polyhedron. The aim of the present paper is to investigate and solve the Skorokhod oblique reflection problem for a convex polyhedral domain when the reflection directions are the functions of state and control, where the control strategy can depend on the whole past trajectory. 2. Statement of the Skorokhod and the Modified Skorokhod problems. Principal Assumption Let G denote the bounded convex polyhedral domain in R n defined by G = {x R n : n i x > c i, i = 1,..., N}, (1 where G is assumed to be non-empty, and each of the faces F i of the polyhedron G has dimension n 1. Here n i is a unit vector normal to the hyperplane H i = {x R n : n i x = c i }, i = 1,..., N, F i is a part of H i, F i = {x G : n i x = c i }, i = 1,..., N, n i x denotes the inner product of the vectors n i and x. Let a bounded closed subset U of the space R m be given, which plays the role of a set of possible controls, and for each pair (x, u, x H i, u U, let the vector q i (x, u be defined. By this vector is meant the reflection direction at the point x, x H i, and for the control u, u U. Naturally, each of the vector-valued function q i (x, u, i = 1,..., N, is supposed to be the continuous function of the pair (x, u. The following condition of normalization of the length of the vector q i (x, u will considerably simplify the presentation of the main results n i q i (x, u = 1, x H i, u U, i = 1,..., N. (2 In the sequel we shall need to extend vector-valued functions q i (x, u for arbitrary values x R n. Trivially, we define q i (x, u = q i (pr Hi x, u, x R n, u U. Suppose also that we are given a vector-valued function b(t, x, u, t 0, x G, u U (with values in R n which is assumed to be continuous as a function of the triple (t, x, u. Since the set G U is a compact subset of R n R m, it is not a serious restriction to suppose that the function b(t, x, u is bounded by a constant C, b(t, x, u C, t 0, x G, u U. (3
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 155 Of course, the functions q i (x, u, i = 1,..., N are bounded in the set G U. Let they be bounded by the same constant C, q i (x, u C, x G, u U, i = 1,..., N. (4 We will need one more nondecreasing continuous real-valued function A t with A 0 = 0 which has the meaning of an integrator function. Consider now the space C(R +, R n, i.e., the space of all continuous n- dimensional functions x = x( = x t, t 0, defined on the time interval [0,, and then define the control strategy u = u t = u t (x( = u t (x[0, t], where for each x = x t, t 0, the corresponding function u = u t (x[0, t] is supposed to be continuous in t and takes its values in the set U of controls. The control strategy is naturally assumed to depend continuously on the trajectory x = x t, t 0, in the following sense: if for some time interval [0, t] sup x n s x s 0 0 s t n then necessarily sup u s (x n [0, s] u s (x[0, s] 0. 0 s t n Now we are ready to formulate the Skorokhod oblique reflection problem in a convex polyhedron G. Given x = x t C(R +, R n with the initial condition x 0 G, find a pair (z, y = (z t, y t t 0 of the continuous functions z = z t and y = y t with values in R n and R N, respectively, which jointly satisfy the following conditions: (1 z t G, t 0, (2 z t = x t + 0 b(s, z s, u s da s + 0 q k (z s, u s dy k s, t 0, where u = u s = u s (z[0, s]; (3 every component-function y k t, k = 1,..., N, is nondecreasing with y k 0 = 0, k = 1,..., N, and satisfies the requirement 0 (5 I(n i z s > c i dy i s = 0, i = 1,..., N, t 0, (6 i.e., yt i increases only at those times t, when n i z t = c i, i.e., when the function z = z t, t 0, is at the face F i. For the solution of this problem we shall follow the method of Hiroshi Tanaka in [4]. Namely, we generalize this problem for functions x = x t from the space D(R +, R n (the space of all n-dimensional right continuous functions with left-hand limits on the time interval [0,, prove the existence of the solution of this problem for a
156 M. SHASHIASHVILI certain subspace of D(R +, R n, and then pass to the solution of the initial problem. To this end we have to assume: (a there is a given nondecreasing right continuous real-valued function A = A t with A 0 = 0 (the integration function; (b the control strategy u = u t = u t (x[0, t] can be extended continuously for the functions x = x t D(R +, R n in the following sense: for each x = x t D(R +, R n the function u t (x[0, t] should be right continuous with left-hand limits (with values in U, and if sup xs n x s 0, 0 s t n where x n = x n t D(R +, R n, x = x t C(R +, R n, then necessarily sup u s (x n [0, s] u s (x[0, s] 0. 0 s t n Thus the modified Skorokhod oblique reflection problem can be formulated as follows: For the function x = x t D(R +, R n with the initial condition x 0 G we seek a pair (z, y = (z t, y t t 0 of functions belonging to the spaces D(R +, R n and D(R +, R N such that they jointly satisfy the following conditions: (1 z t G, t 0, (2 z t = x t + 0 b(s, z s, u s da s + 0 q k (z s, u s dy k s, t 0, (3 every component-function y k t is nondecreasing with y k 0 = 0 and satisfies 0 (7 I(n i z s > c i dy i s = 0, i = 1,..., N, t 0, (8 Now we shall give a condition which turns out to be sufficient for the existence of the solution of the Skorokhod and the modified Skorokhod problem (for a certain subclass of functions. We may call this condition the principal assumption, since it is proved to be crucial in all constructions given in this paper. For each x G denote by I(x the set of those indices i k for which x F ik. The principal assumption consists in the following: For each x G with I(x = (i 1,..., i m we require the existence of positive numbers a 1,..., a m, λ with 0 < λ < 1 such that for an arbitrary control u U we have a k q il (x, u n ik < λa l, l = 1,..., m. (9,k l
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 157 From the fact that the set G U is compact and the functions q i (x, u, i = 1,..., N, are continuous it is easy to see that the principal assumption (9 provides (for fixed x G the existence of r > 0 such that,k l a k q il (y, u n ik < λa l, l = 1,..., m, when y B(x, r = {y : y x < r}. On the other hand, from the definition of I(x we have n il x c il = 0, l = 1,..., m, n j x c j > 0, j = i 1,..., i m. Obviously, by reducing r > 0 we have n j x c j > 3r, j = i 1,..., i m, a k q il (y, u n ik < λa l, l = 1,..., m,,k l (10 for all y B(x, 2r, u U. Thus, for every fixed x G there do exist positive numbers a 1,..., a m, λ, 0 < λ < 1, and r > 0 such that for all y B(x, 2r and u U the condition (10 does hold. Take now the open covering B(x, r of the compact set G. Then there exists its finite covering B(x p, r p, p = 1,..., M, i.e., G M p=1 B(x p, r p, where each point x p (with the corresponding r p possesses the property (10. It is interesting (and useful for verification in practical problems that this condition is, in fact, equivalent to the condition (9, i.e., our principal assumption (9, which is the assumption on the uncountable number of points of the boundary G, is actually the assumption on a finite number of points x p, p = 1,..., M, of the boundary: we require the existence of a finite covering B(x p, r p, p = 1,..., M of the boundary G, where x p G, such that for each point x p, p = 1,..., M, with I(x p = (i 1,..., i m there do exist positive numbers a 1,..., a m, λ, 0 < λ < 1, such that for all y B(x p, 2r p and u U the condition n j x p c j > 3r p, j i 1,..., i m, a k q il (y, u n ik < λa l, l = 1,..., m,,k l (11
158 M. SHASHIASHVILI holds. Indeed, let y G; then necessarily y B(x p, r p for some p = 1,..., M. Suppose I(x p = (i 1,..., i m. Then by (11,k l a k q il (y, u n ik < λa l, l = 1,..., m, for all controls u U. If we now show that I(y I(x p, then, obviously, the corresponding subset of a 1,..., a m will suffice for a boundary point y G, i.e., the requirement (9 will be true. Take j I(y. We have to show that j I(x p. Let us have on the contrary j I(x p. Then n j x p c j > 3r p ; hence n j y c j = n j (y x p +n j x p c j > r p +3r p = 2r p > 0. Thus j I(y, which is a contradiction. Denote further B = M B(x p, r p. Then G = G B+(G\B B+(G\B. p=1 G\B is a closed set, and G B. Therefore G\B G. Thus a closed set is a subset of an open set; hence there exists its open neighborhood O ε (G\B such that O ε (G\B G. Let us denote δ > 0 as follows: δ = min C min(r 1,..., r M m(p max a k(p p=1,...,m (1 λ(p min,...,m(p, ε 2 a k + 1 (12 where m(p, a k (p, λ(p are the numbers from the condition (11 for a boundary point x p. 3. Existence of a Solution of a Modified Skorokhod Problem for Step-Functions with Small Jumps The purpose of this paragraph is to give an algorithm for the construction of the solution of the modified Skorokhod problem for the data x = x t, A = A t being the step-functions. We recall that in this case there exists a time sequence 0 = t 0 < t 1 < < t r < tending to infinity, such that (x t, A t = (x tr, A tr if t r t < t r+1, r = 0, 1,.... Theorem 1. Let the condition (11 hold. Then for any pair (x, A = (x t, A t t 0 of the step-functions with the initial condition x 0 G, A 0 = 0 and sufficiently small jumps x t +C A t < δ, t 0 (where δ > 0 has been defined in (12, there exists a solution of the modified Skorokhod problem. Proof. Since the function (x t, A t is constant on the time interval [t r, t r+1, we can define (z t, y t = (z tr, y tr on the same time interval. Therefore the main problem consists in defining the function (z t, y t at times t r, r =
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 159 0, 1,.... At the initial moment t = 0 we have (z 0, y 0 = (x 0, 0. At the other moments t r we have to find pairs (z tr, y tr such that: (1 z tr G, y tr 0, (2 z tr = z tr 1 + x tr + b(t r, z tr 1, u tr A tr + + q k (z tr 1, u tr yt k r, (3 I(n i z tr > c i y i t r = 0, i = 1,..., N. (13 The key observation for solving the problem (13 consists in the fact that, as it turns out, this problem is equivalent to the following one: solve first the system y i t r [ = max 0, (n i z tr 1 c i ( n i x tr + n i b(t r, z tr 1, u tr A tr n i q k (z tr 1, u tr yt k r ], i = 1,..., N, (14, k i at time t r, and then define z tr from z tr = z tr 1 + x tr + b(t r, z tr 1, u tr A tr + + q k (z tr 1, u tr yt k r. (15 Indeed, suppose (13 holds for (z tr, y tr. Then, taking the inner product with vectors n i, i = 1,..., N, we obtain n i z tr c i = (n i z tr 1 c i + n i x tr + n i b(t r, z tr 1, u tr A tr + +n i q i (z tr 1, u tr yt i r + n i q k (z tr 1, u tr yt k r, where, k i n i z tr c i 0, y i t r 0, i = 1,..., N, (n i z tr c i y i t r = 0, i = 1,..., N, n i q i (z tr 1, u tr = 1, i = 1,..., N.
160 M. SHASHIASHVILI Now, to prove that each of these systems (for i = 1,..., N is equivalent to y i t r [ = max 0, (n i z tr 1 c i (n i x tr + +n i b(t r, z tr 1, u tr At r, k i n i q k (z tr 1, u tr y k t r ], it suffices only to note that for real numbers x, y, z the following two conditions are equivalent: { { z 0, y 0, zy = 0, y = max(0, x, z = x + y, z = x + y, Suppose on the contrary that (14 (15 hold. Taking in (15 again the inner product with vectors n i, i = 1,..., N, we get n i z tr c i = n i z tr 1 c i + n i x tr + n i b(t r, z tr 1, u tr A tr + + n i q k (z tr 1, u tr yt k r + yt i r, i = 1,..., N., k =i But as we have just seen, this, together with (14, gives n i z tr c i 0, y i t r 0, (n i z tr c i y i t r = 0, i = 1,..., N. In their turn, the last relations together with (15 are, obviously, the same as the relations (13. Therefore we have to suggest a method of solution of the system (14 (15. This method will be given by induction. Suppose we have defined the pair (, z Tp, where takes its values from t 0, t 1,..., t r 1, t r,.... Assume that = t r 1 (for some r = 1,.... Then the algorithm will be proposed to define the next values z tr,..., z Tp+1 until the time +1, where the terms of this sequence and the time +1 are defined simultaneously. Define { min(j : 1 j M, z j p = Tp B(x j, r j if such a j exists, M + 1, otherwise. Since z Tp B + (G\B, obviously, z Tp G\B if j p = M + 1, z B(x j p, r jp if j p M.
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 161 Suppose first that j p = M + 1; then z Tp G\B. In this case it is easy to define the sequence (z tr, y tr,..., (z tr+k, y tr+k until z tr+k O δ (G\B. Indeed, we define y tr = 0,..., y tr+k = 0, z tr = z tr 1 + x tr + b(t r, z tr 1, u tr A tr,... z tr+k = z tr+k 1 + x tr+k + b(t r+k, z tr+k 1, u tr+k A tr+k, and have z tr+k 1 O δ (G\B, x tr+k + C A tr+k < δ, Therefore z tr+k O 2δ (G\B G. In this case +1 is defined as follows: +1 = inf{t r : t r >, z tr O δ (G\B}. Suppose now the second case, i.e., when j p M and z Tp B(x jp, z jp. Then z T is situated near the boundary G. So the construction of the p next values of the solution z tr, z tr+1,... is indeed a serious problem. For simplicity, we denote the pair (x jp, r jp by (x, r, and the corresponding ball by B(x, r. Let I(x = (i 1,..., i m. By our assumption (11 we have n j x c j > 3r, j i 1,..., i m, a k q il (y, u n ik < λa l, l = 1,..., m,,k l (16 for all y B(x, 2r and all u U. We begin by considering the following auxiliary system: [ y i k tr = max 0, (n ik z tr 1 c ik ( n ik x tr + n ik b(t r, z tr 1, u tr A tr n ik q il (z tr 1, u tr y i l t r ], k = 1,..., m. (17 l=1,l =k We shall show that this system has a unique solution. Rewrite it in a simpler way: where [ y k = max 0, b k l=1,l k n ik q il y l], k = 1,..., m, (18 b k = (n ik z tr 1 c ik ( n ik x tr + n ik b(t r, z tr 1, u tr A tr, y k = y i k tr, q il = q il (z tr 1, u tr.
162 M. SHASHIASHVILI Consider the space R m with the metric d(y, ỹ = a k y k ỹ k and introduce the mapping ψy of this space into itself, We have [ (ψy k = max 0, b k (ψy k (ψỹ k l=1,l k l=1,l k n ik q il y l], k = 1,..., m. n ik q il y l ỹ l, k = 1,..., m. Multiplying the above inequality by a k and then taking the sum, we get (using the inequalities (16 ( a k (ψy k (ψỹ k a k = ( m l=1,k l m l=1,l k n ik q il y l ỹ l = a k n ik q il y l ỹ l < λ a l y l ỹ l. Thus d(ψ(y, ψ(ỹ < λd(y, ỹ, i.e., the mapping ψy is a contraction establishing thus the existence and uniqueness of the solution of the auxiliary system (17 (18. Using the unique solution ( y i 1 tr,..., y i m tr of this system, we can now establish that the vector ( yt 1 r,..., yt N r, where y j t r = 0, j i 1,..., i m, solves the system (14. In fact, we have only to verify that [ max 0, (n j z tr 1 c j (n j x tr + n j b(t r, z tr 1, u tr A tr l=1 l=1 n j q il (z tr 1, u tr y i l t r ] = 0, j i 1,..., i m. To this end we have to bound the sum m l=1 yi l t r. Obviously, n ik z tr 1 0, k = 1,..., m; hence from (17 we can write c ik y i k tr x tr + C A tr + l=1, l k k = 1,..., m. n ik q il (z tr 1, u tr y i l t r,
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 163 Multiplying these inequalities by a k and then taking the sum, we obtain m y i k tr a k (1 λ min a ( x tr + C A tr, k,...,m but by the assumption of Theorem 1, x t + C A t < δ, t 0. Therefore We have m y i k tr < a k δ. (1 λ min a k n j z tr 1 c j = n j (z tr 1 x + n j x c j > 2r + 3r = r, hence n j z tr 1 c j + n j x tr + n j b(t r, z tr 1, u tr A tr + m + n j q il (z tr 1, u tr y i l t r > r δ C a k δ 0 (1 λ min a k l=1 by the definition of δ in (12. Therefore the vector ( y 1 t r,..., y N t r is indeed the solution of (14. Then z tr is defined from (15. The same procedure works recurrently and gives the values ( y tr+1, z tr+1,..., ( y tr+k, z tr+k until it turns out that z tr+k B(x jp, 2r jp, i.e., z = z t r 1 B(x jp, r jp,..., z tr+k 1 B(x jp, 2r jp, z tr+k B(x jp, 2r jp. We define +1 = inf{t r : t r >, z tr B(x jp, 2r jp }. In general, the definition of +1 admits the form { inf ( t r : t r >, z tr B(x jp, 2r jp if jp M, +1 = inf ( t r : t r >, z tr O δ (G\B (19 if j p = M + 1. Thus by induction we have given the algorithm of the solution of the system (14 (15 which, in fact, results in the solution of the modified Skorokhod problem (7 (8. Let us consider now the time interval [, +1 ] and suppose first that j p M. Denote for simplicity B(x jp, r jp = B(x, r; as previously I(x = (i 1,..., i m. We have the following equation: z t z s = x t x s + s b(v, z v, u v da v + s q k (z v, u v dy k v.
164 M. SHASHIASHVILI From our construction of the solution y j t +1. Therefore = 0, j i 1,..., i m, t z t z s = x t x s + s b(v, z v, u v da v + l=1 Multiplying this equality by the vectors n ik, k = 1,..., m, + s s q il (z v, u v dy i l v. n ik z t c ik = n ik z s c ik + n ik (x t x s + n ik b(v, z v, u v da v + n ik q il (z v, u v l=1, l =k dy i l v + (y i k t y i k s, k = 1,..., m, where n ik z s c ik 0, n ik z s c ik 0, y i k t and s I(n ik z v c ik > 0d(y i k v s y i k s are nondecreasing in t, y i k s = 0, we get that the pair (n ik z t c ik, y i k t y i k s, s t +1 is the solution of the one-dimensional Skorokhod problem ([4], [10] for the function n ik z t c ik + n ik (x t x s + y i k t y i k s + l=1, l k = sup max s u t s s n ik b(v, z v, u v da v + n ik q il (z v, u v dy i l v. As is well known ([4], [10], the solution of this problem can be written explicitly in terms of a maximal function [ 0, (n ik z s c ik n ik (x u x s u s n ik b(v, z v, u v da v sup x u x s + C(A t A s + s u t l=1, l k u l=1, l k s ] n ik q il (z v, u v dy i l v s n ik q il (z v, u v dy i l v. Multiplying this inequality by a k and taking the sum, we obtain (y i k t y i k s m a k ( sup x u x s + C(A t A s, (1 λ min a k s u t
Hence THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 165 m (yt k ys k a k ( sup x u x s + C(A t A s. (1 λ min a k s u t Using this inequality in the above-mentioned equation, we get z t z s (1 + C m a k ( sup x u x s + C(A t A s. (1 λ min a k s u t From the definition of δ these bounds admit the form z t z s min(r 1,..., r M ( sup x u x s + C(A t A s, δ s u t (yt k ys k min(r 1,..., r M ( sup x u x s + C(A t A s, C δ s u t (20 where s t +1, p = 0, 1,... If j p = M + 1, i.e., z Tp G\B, then we have y k t = 0, k = 1,... N, t +1. Hence in this case these bounds are also true. 4. Existence of the Solution of the Skorokhod Problem for Arbitrary Continuous Data Theorem 2. Suppose the assumption (11 holds. Then there exists the solution of the Skorokhod problem for every continuous pair of functions (X, A = (X t, A t t 0 with x 0 G, A 0 = 0. For arbitrary 0 s t T it satisfies the inequality i=1 (y i t y i s min(r 1,..., r M Cδ (( T h + 1 sup s u,v t x u x v + C(A t A s, z t z s min(r 1,..., r M (( T h + 1 sup s u,v t where h > 0 is defined from the condition δ x u x v + C(A t A s, x,a T (h < δ 2 4 min(r 1,..., r M, where x,a T (h = sup 0 s,t T t s h (21 ( x t x s + C A t A s. (22
166 M. SHASHIASHVILI Proof. We define the time sequence ( R0 k = 0, R1 k = inf t > 0 : x t x 0 + C(A t A 0 > 1 1,... k ( Rm k = inf t > Rm 1 k : x t x R k m 1 + C(A t A R k m 1 > 1 m,... k for each k = 1, 2,.... It is easy to see that lim m R k m = +, k = 1, 2,.... From the definition of these times we can write sup R k m 1 t<rk m ( x t x R k m 1 +C(A t A R k m 1 1 k k = 1, 2,..., m = 1, 2,.... Hence, defining the step-functions (X k, A k = (X k t, A k t t 0, where (X k, A k t = (X R k m 1, A R k m 1 if R k m 1 t < R k m, k = 1, 2,..., m = 1, 2,... we see that this sequence of step-functions (x k, A k converges uniformly to the continuous pair (x, A sup t 0( x k t x t + C(A k t A t 1 k and from the continuity of the function (x, A we have x R k m x R k m 1 + C(A A Rm k R 1, k = 1, 2,..., m = 1, 2,.... m 1 k k Therefore x k t +C At k 1 k, t 0, k = 1, 2,.... If we take k so large that 1 k δ, then Theorem 1 ensures the existence of a solution of the modified Skorokhod problem for the step-functions (x k, A k = (x k t, A k t. For this case denote this solution by (z k, y k = (zt k, yt k t 0 and rewrite the inequalities (20 as i=1 (y k,i t ys k,i min(r 1,..., r m Cδ ( sup x k u x k s + C(A k t As k, s u t zt k zs k min(r 1,..., r M ( sup xu k x k δ s + C(At k A k s, s u t (23 where Tp k s t Tp+1, k p = 0, 1,.... Here z k T B(x p k jp, r jp if j p M, G\B if j p = M + 1 and z k T k p T k p+1 = { inf ( t : t > T k p, z k t B(x jp, 2r jp if jp M, inf ( t : t > T k p, z k t O δ (G\B if j p = M + 1.
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 167 From the definition of times T k P we get z k T k p+1 z k T k p min(r 1,..., r M if j p M, z k T k p+1 z k T k p δ if j p = M + 1. In any case we have z k z k Tp+1 k T δ, k = 1, 2,..., p = 0, 1,.... p k Hence from the inequality (23 we obtain δ 2 min(r 1,..., r m ( sup x k u x k T + p k C(Ak T A k p+1 k T. p k It is easy to verify that Therefore we get δ 2 sup T k p u T k p+1 T k p u T k p+1 x k u x k T k p + C(Ak T k p+1 A k T k p 4 k + + sup x u x T k p + C(A T k p+1 A T k p. Tp k u +1 k min(r 1,..., r M 4 k + sup T k p u T k p+1 x u x T k p + C(A T k p+1 A T k p. From this, starting from sufficiently large k with k 8 min(r 1,..., r M have δ 2 4 min(r 1,..., r M sup ( x t x s + C A t A s. Tp k s,t +1 k δ 2 we Fix T > 0 arbitrarily large and introduce the modulus of continuity of (x, A = (x t, A t t 0 on the time interval [0, T ]: x,a T (h = sup then if h > 0 is so small that 0 s,t T t s h ( x t x s + C A t A s ; x,a T (h < δ 2 4 min(r 1,..., r M then T k p+1 T implies T k p+1 T k p > h. Thus on the time interval [0, T ] there may lie at most T h intervals [T k p, T k p+1], p = 0, 1,....
168 M. SHASHIASHVILI This fact, together with the bounds (23, implies i=1 (y k,i t ys k,i min(r 1,..., r M Cδ (( T h + 1 sup x k u x k v + C(A k t A k s, s u,v t zt k zs k min(r 1,..., r M (( T δ h + 1 sup x k u x k v + C(A k t As k s u,v t (24 for any s t from the interval [0, T ], 0 s t T. The sequence (x k, A k = (x k t, A k t t 0 converges uniformly to the function (x, A = (x t, A t t 0, and therefore it converges also in the Skorokhod metric. From the bounds (24 and the criterion of relative compactness in the Skorokhod metric [9] we obtain that the sequence (z k, y k = (zt k, yt k is relatively compact. Let us choose its convergent subsequence, which for simplicity we denote again by (z k, y k. Then there exists a scaling sequence λ k (t such that sup λ k (t t 0, 0 t T k ( sup z k λk (t z t + yλ k k (t y t 0, 0 t T k where (z t, y t t 0 is a pair of functions which are right continuous with lefthand limits, z t and y t are respectively n-dimensional and y t N-dimensional, and the component-functions y i t, i = 1,..., N, are nondecreasing. Performing a time change t λ k (t in the inequalities (24 and then making k tend to infinity, we shall have i=1 (y i t y i s min(r 1,..., r m Cδ (( T h + 1 sup s u,v t x u x v + C(A t A s z t z s min(r 1,..., r M (( T δ h + 1 sup x u x v + C(A t A s s u,v t, where 0 s t T. In this inequality let s tend to t. Then, obviously, we have (25 (yt i yt i = 0, z t z t = 0. i=1
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 169 Hence the pair (z t, y t is continuous in t. In this case the convergence in the Skorokhod metric is equivalent to the uniform convergence (on bounded time interval, i.e., we have sup ( zt k z t + yt k y t 0. 0 t T k Let us show that the pair (z t, y t t 0 is the solution of the Skorokhod problem for the functions (x t, A t. We have (1 zt k G, t 0, (2 z k t = x k t + 0 b(s, zk s, u k s da k s + N j=1 0 q j(zs k, u k s dy k,j s, where u k s = u s (z k [0, s], (3 0 I(n i z k s c i > 0dy k,i s = 0, i = 1,..., N. Passing to the limit in the first relation, we obtain z t G, t 0. The third relation is obviously equivalent to the following one: (3 For every bounded continuous function f(x with f(0 = 0 we should have 0 f(n i z k s c i > 0dy k,i s = 0, i = 1,..., N. Consider the time interval [0, T ]. The function b(t, x, u is continuous, and therefore uniformly continuous on [0, T ] G U. The same is true for the functions q j (x, u, j = 1,..., N. They are uniformly continuous on G U. From the continuity of the control strategy u = u s = u s (z(0, s] we have sup u k s u s 0, 0 s T k sup u k s u s 0. 0<s T k Using now these uniform continuity properties and Helly s theorem on passing to the limit in the Stieltjes integrals, it is not difficult to pass to the limit in the relations (2 and (3 and to get that the continuous pair (z t, y t t 0 is indeed the solution of the Skorokhod problem. 5. Uniqueness of the Solution of the Skorokhod Problem and the Continuity of the Solution Mapping under the Natural Lipschitz Condition Theorem 3. Let the assumption (11 hold and suppose the vector-valued functions b(t, x, u and q j (x, u, j = 1,..., N, to be Lipschitz continuous in (x, u: for every T > 0 and arbitrary t T, b(t, x, u b(t, x, ũ L T ( x x + u ũ, q j (x, u q j ( x, ũ L( x x + u ũ. j = 1,..., N. (26
170 M. SHASHIASHVILI Suppose also that the control strategy u t (z[0, t] is Lipschitz continuous: sup u t (z[0, t] u t ( z[0, t] K T sup z t z t. (27 0 t T 0 t T Then for every pair of continuous functions (x, A = (x t, A t t 0 with x 0 G, A 0 = 0 there does exist a unique solution of the Skorokhod problem, and the solution mapping (x, A (x, A, z, y is continuous in the uniform topology (on bounded time intervals. Proof. Let (z, y = (z t, y t, ( z, ỹ = ( z t, ỹ t be two solutions of the Skorokhod problem for the pair (x, A. By analogy with (19 define the following time sequences: { inf ( t : t >, z t B(x jp, 2r jp if jp M, +1 = inf ( t : t >, z t O δ (G\B if j p = M + 1, p = 0, 1,..., where j p = { min(j : 1 j M, z Tp B(x j, r j if such a j exists, M + 1 otherwise, { ( inf t : t > Tp, z t, B(x jp 2r jp if j p M, +1 = inf ( t : t >, z t O δ (G\B if j p = M + 1, p = 0, 1,..., { min(j : 1 j M, j p = z Tp B(x j, r j if such a j exists, M + 1 otherwise. Obviously, z Tp+1 z Tp δ, z Tp+1 z Tp δ, p = 0, 1,.... Hence on the time interval [0, T ] there are only a finite number of times T 0, T 1,...,,..., T0, T 1,...,,..., T 0 = 0, T0 = 0. Fix the time interval [0, T ]. By induction we shall prove that +1 = +1 and ( z, ỹ = (z, y on the time interval [, +1 ]. For this purpose we assume ( z, ỹ = (z, y on the time interval [0, ] = [0, ]. Consider the value z = z T T G. Then p p (1 z B(x j p, r jp if j p M, (2 z G\B if j p = M + 1. Suppose the first case, i.e., z Tp B(x jp, r jp. Then +1 = inf ( t : t >, z t B(x jp, 2r jp, +1 = inf ( t : t >, z t B(x jp, 2r jp.
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 171 Define now T p+1 = min(+1, +1. For simplicity denote again the ball B(x jp, r jp by B(x, r. Let I(x = (i 1,..., i m. Then we have z = z B(x, r,,k l,k l a k q il (z t, u t n ik < λa l, a k q il ( z t, ũ t n ik < λa l, l = 1,..., m, when t < Tp+1, and also n j z t c j > r > 0, n j z t c j > r > 0, j i 1,..., i m. Hence y j t = y j Tp, ỹ j t = ỹ j Tp, j i 1,..., i m, t < Tp+1. Therefore we have z t = z + x t x + b(s, z s, u s da s + z t = z + x t x Tp + b(s, z s, ũ s da s + l=1 l=1 q il (z s, u s dy i l s, q il ( z s, ũ s dỹ s i l. Multiplying these equations by the vectors n ik, k = 1,..., m, we get + l=1, l k n ik z t c ik = n ik z c i k + +n ik (x t x Tp + + l=1, l k n ik b(s, z s, u s da s + n ik q il (z s, u s dy i l s + (y i k t n ik z t c ik = n ik z c i k + +n ik (x t x Tp + y i k Tp, n ik b(s, z s, ũ s da s + i n ik q il ( z s, ũ s dỹ l i s + (ỹ k i t ỹ k T, k = 1,..., m, p t < T p+1. Now we essentially use the variational lemma of maximal functions [10] which implies that d(y i k s ỹ s i k f k v n ik (b(v, z v, u v
172 M. SHASHIASHVILI b(v, z v, ũ v da v + l=1,l k l=1,l =k f k v n ik q il (z v, u v dy i l v f k v n ik q il ( z v, ũ v dỹ v i l, k = 1,..., m, where f k v, k = 1,..., m, are Borel measurable functions with two values ±1. Multiplying again these inequalities by a k, taking the sum and using then the Lipschitz continuity properties (26 (27, we obtain a k d(y i k s Further we have z t z t = ỹ s i k m a k (1 λ (L + L T (1 + K T sup s v ( z s z s d A v + l=1 (b(s, z s, u s b(s, z s, ũ s da s + q il ( z s, ũ s dy i l s + l=1 y i l v. (28 l=1 (q il (z s, u s q il ( z s, ũ s d(y i l s ỹ s i l. Taking into account the previous bound (28, we get z t z t sup s v A t = (L + L T (1 + k T (1 + C m z s z s da v, t < T p+1, where a ( k (1 λ min a k A t + l=1 y i l t. Using now the Gronwall inequality, we have sup Tp s t z s z s = 0, t < T p+1 and from the inequality (28 it follows that d(y i k s ỹ s i k = 0, i.e., y i k i t = ỹ k t, t < Tp+1. Thus (z t, y t = ( z t, ỹ t on t < Tp+1. From the continuity we obtain z T p+1 = z T p+1, which implies +1 = +1. In fact, suppose on the contrary that +1 +1 and let +1 < +1 (the case +1 < +1 can be considered similarly. Then z Tp+1 B(x, 2r, i.e., z Tp+1 B(x, 2r, which
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 173 by the very definition is a contradiction. Thus +1 = +1, ( z, ỹ = (z, y on t < +1. The same is true for the second case, j p = M + 1, which can be easily verified. Now we shall prove that the solution mapping (x, A (x, A, z, y is continuous. Let (x m, A m = (x m t, A m t t 0 be a sequence of continuous pairs converging to the pair (x, A = (x t, A t t 0 : sup ( x m t x t + At m A t 0 0 t T m for arbitrary T > 0. Let (z m, y m = (z m t, y m t t 0 be the unique solution of the corresponding Skorokhod problem. From the inequality (21 we have i=1 (y m,i t ys m,i min(r 1,..., r M Cδ sup x m u x m v + C(A m t A m s s u,v t z m t z m s min(r 1,..., r M δ (( T h m + 1 (( T h m + 1 sup x m u x m v + C(A m t As m s u,v t where h m > 0 is defined from the condition xm,a m T (h m δ < 2 4 min(r 1,...,r M, where xm,a m T (h m m = sup t x m s + C A m t A m s. Obviously, xm,a m T (h x,a T ( x 0 s,t T t s h m (h 2 sup 0 t T Therefore, choosing h > 0 from the condition and taking m so large that we have x,a T (h < δ 2 8 min(r 1,..., r M sup ( x m t x t + C At m A t < 0 t T,, ( x m t x t + C A m t A t. xm,a m δ 2 T (h < 4 min(r 1,..., r M. δ 2 16 min(r 1,..., r M,
174 M. SHASHIASHVILI Thus h m can be chosen independent of m : h m = h. Therefore, by the Arzela Ascoli theorem the sequence (x m, A m, z m, y m is relatively compact. Now we shall show that (z m, y m converges to (z, y, where (z, y is the solution of the Skorokhod problem for (x, A. Choose an arbitrary subsequence m of m. Then by the relative compactness there does exist its own subsequence m such that (x m, A m, z m, y m is convergent to some (x, A, z, ỹ. By the standard arguments analogous to those used in the proof of Theorem 2, it is not difficult to show that ( z, ỹ is the solution of the Skorokhod problem for a pair (x, A. But the solution is unique, and therefore ( z, ỹ = (z, y. Thus, whatever the subsequence m may be, there exists its own subsequence m such that (x m, A m, z m, y m converges to one and the same limit (x, A, z, y. But this means that the sequence (x m, A m, z m, y m itself converges to (x, A, z, y. Thus we have established the continuity of the solution mapping. 6. Reflected Diffusion Processes in an n-dimensional Polyhedral Domain Let (Ω, F, P be any probability space on which there is given an m- dimensional standard Brownian motion B = (B t t 0, where B t = (B 1 t,..., B m t, B 0 = 0. Define now an n-dimensional stochastic process X = (X t t 0, X t = (X 1 t,..., X n t with the initial condition X 0 (w = x, where x G, as follows: X t (w = x + σ j B j t (w, where σ j is the jth column of the matrix σ = (σ kj k = 1,..., n, j = 1,..., m. We seek a pair of continuous processes (z, y = (z t, y t t 0, where z t = (zt 1,..., zt n, y t = (yt 1,..., yt N, which jointly satisfy (P a.s. the following conditions: (1 z t G, t 0, (2 z t =x+ m j=1 σ jb j t + 0 b(z sds + N 0 q k(z s dys k, t 0, (29 (3 the component functions yt, i i = 1,..., N, are nondecreasing processes with y0 i = 0, i = 1,..., N, and with the property j=1 0 I(n i z s > c i dy i s = 0, i = 1,..., N. Let us introduce the σ-algebras F t = σ(x s, s t, t 0.
THE SKOROKHOD OBLIQUE REFLECTION PROBLEM 175 Theorem 4. Let the assumption (11 hold and the functions b(x, q k (x, k = 1,..., N, be Lipschitz continuous, b(x b( x L x x, q k (x q k ( x L x x, k = 1,..., N. Then there exists (P a.s. the unique solution of the system (29, which is adapted to F t, z t is a strong Markov process with stationary transition probabilities. Proof. First we consider the corresponding Skorokhod problem for an arbitrary continuous n-dimensional function x = x t, t 0, x 0 G. As we know from Theorem 3, there exists the unique solution (z, y = (z t, y t t 0 of the problem, and if we introduce the mappings z = Φ(x, y = ψ(x, then they will be continuous in the uniform topology. Further, the restrictions of z and y to [0, t] depend only on the restrictions of x to [0, t]. From the uniqueness of the solution we obtain the following shift property of the mappings Φ and ψ: z s+t = Φ(z s + (x s + x s t, y s+t = y s + ψ(z s + (x s + x s t. Let us now define the continuous processes z t (w = Φ(X(w t, y t (w = ψ(x(w t, where X t (w = x + σ j B j t (w. Then we obtain the solution (z t, y t of the system (29, which is obviously unique. From the continuity of the above-mentioned mappings we get that the processes z t and y t are adapted to the filtration F t. Let τ(w be an arbitrary F t +-stopping time. Then we have z τ+t = Φ(z τ + (X τ + X τ t. Now, since z τ is F τ +-measurable and the process (X τ+u X τ, u 0, is independent of the σ-algebra F τ + (by the Markov property of the Brownian motion B = B t, t 0, with respect to the filtration Ft B, having the + probability distribution which is also independent of τ, we assert that z = z t, t 0, is indeed a strong Markov process with stationary transition probabilities. j=1 References 1. J. M. Harrison, The diffusion approximation for tandem queues in heavy traffic. Adv. Appl. Probab. 10(1978, 886 905. 2. -, Brownian motion and stochastic flow systems. Wiley, New York, 1985.
176 M. SHASHIASHVILI 3. M. I. Reiman, Open queuing networks in heavy traffic. Math. Oper. Res. 9(1984, 441 458. 4. H. Tanaka, Stochastic differential equations with reflecting boundary conditions in convex regions. Hiroshima Math. J. 9(1979, 163 177. 5. P. L. Lions and A. S. Sznitman, Stochastic differential equations with reflecting boundary conditions. Comm. Pure Appl. Math. 37(1984, 511 537. 6. Y. Saisho, Stochastic differential equations for multi-dimensional domain with reflecting boundary. Probab. Theory Relat. Fields 74(1987 455 477. 7. J. M. Harrison and M. I. Reiman, Reflected Brownian motion on an orthant. Ann. Probab. 9(1981, 302 308. 8. P. Dupuis and H. Ishii, On Lipschitz continuity of the solution mapping to the Skorokhod problem, with applications. Stochastics Stochastics Rep. 35(1991, 31 62. 9. T. Lindvall, Weak convergence of probability measures and random functions in the function space D[0,. J. Appl. Probab. 10(1973, 109 121. 10. M. A. Shashiashvili, A lemma of variational distance between maximal functions with application to the Skorokhod problem in a nonnegative orthant with state-dependent reflection directions. Stochastics Stochastics Rep. 48(1994, 161 194. (Received 26.04.1994 Author s address: Laboratory of Stochastic Analysis and Statistical Decisions I. Javakhishvili Tbilisi State University 2, University St., Tbilisi 380043 Republic of Georgia