c 2000 Society for Industrial and Applied Mathematics
|
|
- Monica Walton
- 6 years ago
- Views:
Transcription
1 SIAM J. CONTROL OPTIM. Vol. 38, No. 2, pp c 2000 Society fo Industial and Applied Mathematics NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS A. S. LEWIS AND R. E. LUCCHETTI Abstact. Given a nonlinea function h sepaating a convex and a concave function, we povide vaious conditions unde which thee exists an affine sepaating function whose gaph is somewhee almost paallel to the gaph of h. Such esults blend Fenchel duality with a vaiational pinciple and ae closely elated to the Clake Ledyaev mean value inequality. Key wods. sandwich theoem, squeeze theoem, Fenchel duality, vaiational pinciple, mean value inequality, Clake subdiffeential AMS subject classifications. 49J52, 90C46, 26D07 PII. S Intoduction. The cental theoems in this pape blend two completely distinct types of esult, both fundamental in optimization theoy: Fenchel duality and vaiational pinciples. The simplest vesion of Fenchel duality states that fo any convex functions f and g on R n satisfying f g, a egulaity condition implies the set L def = y R n : f (y)+g ( y) 0} is nonempty (whee f is the Fenchel conjugate of f). Geometically, this means thee exists an affine function sandwiched between f and g. On the othe hand, one of the easiest examples of a vaiational pinciple states that if h is a locally Lipschitz function bounded below on R n, then h has abitaily small Clake subgadients: 0 cl (Im h). Geometically, thee ae points whee the gaph of h is almost hoizontal (in a cetain nonsmooth sense). The theoems we discuss hee combine the featues of both esults above. We conside functions f, g, and h as befoe, now satisfying f h g, and unde vaious egulaity conditions we pove L cl (Im h). Geometically, thee ae affine functions between f and g whose gaphs ae somewhee almost paallel to the gaph of h. As we show by means of vaious examples, the existence of a suitable affine sepaating function depends on both local and asymptotic popeties of the thee functions. Hence the egulaity conditions we need to impose combine assumptions on the domains of the pimal functions, f and g, and of thei conjugates, f and g, as well as local and global gowth conditions on h. Received by the editos Febuay 18, 1998; accepted fo publication (in evised fom) May 27, 1999; published electonically Febuay 9, This eseach was patially suppoted by the Natual Sciences and Engineeing Reseach Council of Canada. Depatment of Combinatoics and Optimization, Univesity of Wateloo, Wateloo, Ontaio, Canada N2L 3G1 (aslewis@oion.uwateloo.ca; aslewis). Politecnico di Milano, Facoltá di Ingegneia di Como, P.le Gebetto 6, Como, Italy (el@komodo.ing.unico.it). 613
2 614 A. S. LEWIS AND R. E. LUCCHETTI The key tool fo ou esults is a ecent, somewhat supising mean value inequality of Clake Ledyaev [3], ephased as a hybid sandwich theoem in [6]. We illustate the application of this type of esult with two appaently simple but athe emakable consequences. Fist, any convex function f and locally Lipschitz function h f satisfy domf cl (Im h). Second (a squeeze theoem ), any locally Lipschitz functions p h q with p(0) = h(0) = q(0) satisfy p(0) h(0) q(0). We have not been able to find simple poofs o efeences fo eithe of these two esults. 1 With the exception of this last squeeze theoem, ou esults do not appea to be substantially easie with the assumption that h is smooth (in which case h educes to the singleton h). We believe they povide futhe evidence of the depth, applicability, and fundamental natue of the Clake Ledyaev inequality in optimization theoy. 2. Notation and peliminay esults. We begin by eviewing some basic ideas fom convex analysis (see [7]). Given a convex set A R n, we denote by aff A the smallest affine space containing A and by i A the set of the intenal points of A aff A (with the induced topology). Obseve that i A is a nonempty convex set. Given a function f : R n [, ], we denote its effective domain by and by epi f its epigaph, the set dom f def = x R n : f(x) < } epi f def = (x, ) R n R : f(x)}, a convex set if and only if f is convex. The hypogaph of the function g is instead hyp( g) def = (x, ) R n R : g(x)}, again a convex set if and only if g is convex. The epigaph of f is closed if and only if f is lowe semicontinuous in the usual sense. We shall wite f Γ 0 to mean that epi f is nonempty, closed, and convex and does not contain vetical lines. Fo a set A, let I A be the indicato function of the set A, 0 if x A, I A (x) = othewise. In paticula, I kb denotes the indicato function of the ball centeed at 0 R n and with adius k. 1 Subsequent investigations evealed altenative appoaches to the last theoem independent of the Clake Ledyaev esult [1]. Nonetheless, the oiginal appoach we pesent hee emains attactive fo its tanspaency.
3 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 615 The Fenchel conjugate of a function f : R n [, ] is the function f : R n [, ] defined by f (y) def = sup y, x f(x)}, x R n a convex lowe semicontinuous function (even if f is not) which belongs to Γ 0 if f does. Futhemoe, f = f, poviding f Γ 0. The function f is said to be cofinite if its conjugate f satisfies dom f = R n. f(x) It is easy to see this is equivalent to saying that lim x x = [5, Chapte 10, Poposition 1.3.8]. The subdiffeential of a convex function f at a point x dom f is the closed convex set f(x) def = y R n : f(z) f(x)+ y, z x fo all z R n }. The fundamental connection between the subdiffeentials of a function and of its Fenchel conjugate is shown by the following Fenchel identity: y f(x) f (x)+f (y)= y, x. It follows, in paticula, that y f(x) if and only if x f (y), poviding f Γ 0. Given two functions p, q : R n [, ], we define the infimal convolution between them by (p q)(x) = inf y R np(y)+q(x y)}, a convex function if p and q ae, possibly assuming the value, and that may fail to be lowe semicontinuous. Finally, fo a function p Γ 0, we denote by p k def = p k, the infimal convolution between p and k : this function is the lagest k-lipschitz function minoizing p. Fo moe about convex functions, the inteested eade is invited to consult [4], [5], [7]. Next we biefly conside the subdiffeential of a locally Lipschitz function h : U R, whee U is an open subset of R n. This notion is not uniquely defined in the liteatue, and hee we make the choice of the Clake subdiffeential (see [2]) which is moe suited fo ou scopes, as an example in the final section will show. To define it, fist let us intoduce the notion of genealized diectional deivative of h at the point x in the diection v: h (x, v) def = lim sup z x t 0 h(z + tv) h(z). t The function v h (x, v) is eveywhee finite, subadditive, and positively homogeneous; hence, in paticula, it is continuous and convex. Then the subdiffeential of h at x is defined as h(x) def = y R n : y, v h (x, v) fo all v R n }, a nonempty closed convex set. Moeove, if k is a Lipschitz constant fo h, the subdiffeential is nom-bounded by k. In paticula, the multifunction h is bounded on
4 616 A. S. LEWIS AND R. E. LUCCHETTI bounded sets. Obseve that the Clake subdiffeential of h at x is the same set as the (convex) subdiffeential of the function v h (x, v) atv= 0, a simple but useful popety we shall use thoughout this pape. Fo moe about nonsmooth analysis fo locally Lipschitz functions, the inteested eade is invited to consult [2]. In this pape we shall deal with two convex functions f,g Γ 0 and a locally Lipschitz function h such that f h g. Fo a moment, let us focus on the poblem of nonemptyness of the set L def = y R n : f (y)+g ( y) 0}. This set can be chaacteized in a moe geometic way, as the following easy poposition states. Poposition 2.1. Let f,g Γ 0. Then, fo y R n, if and only if thee exists a R such that f (y)+g ( y) 0 f(x) a + y, x g(x) fo all x R n. Thus the poblem of nonemptyness of L is equivalent to finding an affine sepaato lying below f and above g. This can be stated in tems of a sepaation poblem fo the sets epi f and hyp( g). The assumption f gensues that i epif i hyp( g) =, (see [4, Chapte 4, Poposition 1.1.9]) and this in tun implies that epi f and hyp( g) can be sepaated by a hypeplane [4, Chapte 3, Theoem 4.1.4]. Howeve, it can happen that the only sepaating hypeplane is vetical, which unfotunately says nothing about nonemptyness of L. The fist esult stating that L is nonempty is the following well-known Fenchel duality theoem [7, Theoem 31.1], which in ou setting can be ephased in the following way. Theoem 2.1. Let f,g Γ 0 be such that f gand suppose Then thee exists y R n such that i (dom f) i (dom g). f (y)+g ( y) 0. We illustate the ole of the assumption on the domains of f and g with the help of the following fou examples, whee the set L is always empty. Example 2.1. x if x 0, f(x) = othewise, 0 if x =0, g(x) = othewise. Hee i (dom f) i (dom g) =.
5 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 617 Example if uv 1,u 0, f(u, v) = othewise, 0 if u 0,v =0, g(u, v) = othewise. Hee we have dom f dom g =. Example 2.3. u if v = 1, f(u, v) = othewise, 0 if v =0, g(u, v) = othewise. Hee the distance between dom f and dom g is 1. In the last two examples the domains of f and g do not intesect, while in the fist example a cucial ole is played by the fact that inf(f + g) = 0. In the following example inf(f + g) > 0, and yet thee is no affine sepaato. Obseve that such an example could not be povided in one dimension [4, Chapte 1, Remak 3.3.4]. Example uv if u, v 0, f(u, v) = othewise, 1 2 uv if u 0,v 0, g(u, v) = othewise. A staightfowad calculation shows f (u,v 1 if u )= 0,u v 1, othewise, Thus the set L is empty. g (u,v 1 if u )= 0,u v 1, othewise. 3. Sandwich theoems. We tun now to the case of thee functions f, g, and h, such that f and g ae convex, h is locally o globally Lipschitz, and f h g. Examples 2.2, 2.3, and 2.4 show that the existence of a locally Lipschitz function h between f and g (take h(x, y) = xy in all cases) does not change the situation: thee is no affine sepaato. Fist let us ecall now some known esults. Theoem 3.1 (see [6, Theoem 2]). Let C be a nonempty convex compact set in R n.letf,g Γ 0 and with domains contained in C. Leth:R n Rbe Lipschitz on a neighbohood of C. Suppose moeove f h gon C.
6 618 A. S. LEWIS AND R. E. LUCCHETTI Then thee exist c C and y h(c) such that f (y)+g ( y) 0. Boundedness of C can be elaxed at the expense of equiing moe about the functions f and g and/o about the function h. Specifically, we have the following two esults. Theoem 3.2 (see [6, Theoem 7]). Let C be a nonempty closed convex set in R n.letf,g Γ 0 be cofinite, with domains contained in C. Moeove suppose int (dom f) int (dom g). Let h : R n R be locally Lipschitz on a neighbohood of C and suppose f h g on C. Then thee exist c C and y h(c) such that f (y)+g ( y) 0. Theoem 3.3 (see [6, Theoem 8]). Let C be a nonempty closed convex set in R n. Let f,g Γ 0 be cofinite, with domains contained in C. Let h : R n R be globally Lipschitz on a neighbohood of C and suppose f h gon C. Then thee exist c C and y h(c) such that f (y)+g ( y) 0. Obseve one does not need a qualification condition on the domains of f and g if h is globally Lipschitz. In the last two theoems, howeve, cofiniteness is equied, which can be egaded as a (stong) qualification condition on the domains of the conjugates. The fist esult we want to pove deals simply with the existence of the affine sepaato. To pove it, we need the following poposition about egulaizing Fenchel poblems. Poposition 3.1. Suppose p, q Γ 0 and Then, fo all lage k, we have and ( ) i (dom p) i (dom q). inf(p + q) = inf(p k + q k ) agmin(p + q) = agmin(p k + q k ). Poof. To pove the fist equality, we need to pove only inf(p + q) inf(p k + q k ). Thee is nothing to pove if inf(p + q) =. Theefoe, let us assume it is finite. (It cannot be because of ( ).) By Fenchel duality, thee is y R n such that Take k> y. Then inf(p + q) =p (y)+q ( y).
7 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 619 inf(p + q) =p (y)+q ( y)=(p +I kb )(y)+(q +I kb )( y) =(p k ) (y)+(q k ) ( y) inf z R n((p k) (z)+(q k ) ( z)) = inf(p k + q k ) inf(p + q). This shows the fist equality and also that y as above is optimal fo the poblem of minimizing, on R n,(p k ) ( )+(q k ) ( ). Now, witing down optimality conditions, we obtain, using k> y, x agmin(p + q) p(x)+q(x)= p (y) q ( y), x p (y) q ( y), x (p + I kb )(y) (q + I kb )( y), x (p k ) (y) (q k ) ( y), x agmin(p k + q k ). We begin ou sequence of main esults by poving some vaiants of Fenchel duality, whee the usual egulaity condition is eplaced by the existence of a Lipschitz sepaato. Theoem 3.4. Fo f,g Γ 0, suppose i (dom f ) i ( dom g ). Suppose futhe thee exists a locally Lipschitz function h such that f h g. Then thee is y R n such that f (y)+g ( y) 0. (Moeove, if inf(f + g) =0, then such a y can be found in the ange of h.) Poof. Fom Poposition 3.1, applied to p = f and q( ) =g ( ), we have and inf((f ) k ( )+(g ) k ( )) = inf(f ( )+g ( )) agmin((f ) k ( )+(g ) k ( )) = agmin(f ( )+g ( )) fo all lage k. Apply Theoem 3.1 to the functions f + I kb, h, and g + I kb, fo lage k, and the set C = kb, tofindy k Im h such that If (f ) k (y k )+(g ) k ( y k ) 0. y k agmin((f ) k ( )+(g ) k ( )) (as in the case when inf(f + g) = 0), then we deduce f (y k )+g ( y k ) 0 and we conclude. Othewise, fo all lage k, 0 > inf((f ) k ( )+(g ) k ( )) = inf(f ( )+g ( )).
8 620 A. S. LEWIS AND R. E. LUCCHETTI Thus thee is y R n such that f (y)+g ( y) 0, as equied. We povided hee the esult when inf(f + g) = 0 fo the sake of completeness. Howeve obseve that unde the assumptions of Theoem 3.4 inf f + g is attained. In this cicumstance the squeeze theoem in the next section will povide a moe pecise esult. With espect to the ole of the assumptions in Theoem 3.4, Example 2.1 shows the set L can be empty if we do not assume the existence of a locally Lipschitz function sandwiched between f and g, while Example 2.2 shows the necessity of the qualification condition i (dom f ) i ( dom g ). We tun now to the poblem of poviding conditions unde which the slope of an affine sepaato can be found in the closue of the ange of the Clake subdiffeential of the sepaating function h. To do this, we pove fist the following poposition. Poposition 3.2. Suppose f,g Γ 0 satisfy f g.fok=1,2,..., define and L k def = y R n :(f ) k (y)+(g ) k ( y) 0} L def = y R n : f (y)+g ( y) 0}. Then L k is a deceasing collection of closed convex sets containing L, and If moeove the condition y k L k, y k y implies y L. 0 int (dom f dom g) holds, then the sets L k fo lage k ae all contained in a compact set. Poof. Since (f ) k (f ) k+1 f, clealy L L k+1 L k, fo all k>0. Let us pove that, if y k is such that y k y and then (f ) k (y k )+(g ) k ( y k ) 0 fo all k, f (y)+g ( y) 0. Fom Poposition 2.1 thee exists a k R such that f(x) a k + y k,x g(x) fo all x kb. It is easy to show the sequence a k } is bounded, so it has some cluste a R. (Use the boundedness of y k } and the existence of an element x dom f dom g.) It follows that f(x) a + y, x g(x) fo all x R n, so y L. We have poved the fist pat of the claim. Now define a function v(w) = inf x Rn(f(x + w)+g(x))
9 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 621 and a sequence of functions deceasing pointwise to v, v k (w) = inf x R n((f + I kb)(x + w)+(g+i kb )(x)). Obseve that (v k ) (y) =(f ) k (y)+(g ) k ( y) and v (y) =f (y)+g ( y) and that dom v = dom f dom g, so that 0 int (dom v). Since v is continuous at 0, thee exist eals >0 and α and a cube C such that B C int(dom v) and v α 1onC. Hence, fo lage k we have v k α on each vetex of C and hence on B, so(v k ) (w) w α fo all points w in R n, and theefoe L k (α/)b. We ae now eady fo a new esult. Theoem 3.5. Fo f,g Γ 0, and locally Lipschitz h : R n R satisfying f h g, suppose Then 0 int (dom f dom g). y cl (Im h):f (y)+g ( y) 0. Poof. Apply Theoem 3.1 to the functions f + I kb h (g+i kb ), fo lage k. Then thee exists y k Im ( h):(f ) k (y k )+(g ) k ( y k ) 0. By Poposition 3.2 the sequence (y k ) clustes and any cluste point satisfies the equied popety. We intend now to pove that the constaint qualification in Theoem 3.5 can be eplaced by an assumption involving the gowth of f and h at infinity. To do this, we need the following poposition. Poposition 3.3. Fo f Γ 0 and locally Lipschitz h satisfying f h, suppose f(x) lim inf x x > max Then, fo all lage k, f k h. Poof. Let 0 <a<band c be such that lim sup x h(x) x, 0 }. f(x) x b, h(x) x a, fo all x such that x c. Then thee exists bf R such that f(x) + b x fo all x R n, and f has bounded level sets. Fo the sake of contadiction, suppose thee exists, fo each k N, x k such that f k (x k ) <h(x k ). Two cases can occu. (i) (x k ) is unbounded. Taking a subsequence, we can suppose x k. Fo k>b,wehavef k (x k ) +b x k. It follows that a x k h(x k )>f k (x k ) +b x k,
10 622 A. S. LEWIS AND R. E. LUCCHETTI a contadiction. (ii) (x k ) is bounded. Again taking a subsequence, we can suppose x k x. Pick m> x and so that h is -Lipschitz on mb. Since f has compact level sets, fo each k thee is y k such that h(x k ) >f k (x k )=f(y k )+k x k y k.ash(x k ) h(x), fo lage k one has f(y k ) f(y k )+k x k y k h(x)+1. Thus (y k ) is bounded and, taking anothe subsequence, we can suppose y k y. Since k x k y k h(x)+1 inf f fo all k, we deduce y = x. Thus, fo lage k, x k,y k mb, so h(x k ) h(y k )+ x k y k f(y k )+k x k y k <h(x k ), a contadiction. Theoem 3.6. Fo f,g Γ 0 and locally Lipschitz h : R n R satisfying f h g, suppose Then lim inf x } f(x) x > max h(x) lim sup x x, 0. y cl (Im h):f (y)+g ( y) 0. Poof. Fom Poposition 3.3, f k h gfo lage k. Since we know dom f k dom g = R n, Theoem 3.5 implies thee exists y cl Im h with f (y)+g ( y) (f k ) (y)+g ( y) 0. The poof of the theoem above elies on the fact that we ae able to constuct a function p Γ 0 such that f p h and whose domain contains intenal points. Howeve, to do this is not always possible, as the following example shows. Example 3.1. Let 0 if v =0, f (u, v) = othewise and h(u, v) = uv. Suppose the convex function p satisfies f p h. Then clealy p(u, 0)=0fo all u. Fo any eal u and v and positive intege, 1 p(u, v) =1 p(u, v)+ 1p(u, 0) ( p u, v ) ( = p u, v ) + p(, 0) ( u + 2p, v ) 2 2 (u + )v 2 v 2
11 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 623 as. Hence p(u, v) =+ wheneve v 0,sop=f. The next esult deals with the case of h being globally Lipschitz. Theoem 3.7. Fo f,g Γ 0 and globally Lipschitz h : R n R, suppose f h g. Then y cl (Im h):f (y)+g ( y) 0. Poof. Apply Theoem 3.3 to the functions f + I kb, h, and g + I kb to obtain the existence of y k Im h such that (f + I kb ) (y k )+(g+i kb ) ( y k ) 0. Since h is globally Lipschitz, (y k ) has a cluste point y. Then we conclude with the help of Poposition 3.2. The next example shows that in geneal no y Im h satisfies f (y)+g ( y) 0. Example 3.2. Let f (x) = x, 1+x 2 if x 0, g(x)= othewise, x exp( x) if x 0, h(x) = 2x 1 othewise. Then all the assumptions of Theoem 3.5 ae fulfilled, and moeove h is globally Lipschitz. We end the section by poving a unilateal esult which can be egaded as a genealized vaiational pinciple. Theoem 3.8. Fo f Γ 0 and locally Lipschitz h : R n R, suppose f h. Then cl (Im h) dom f. Poof. Choose any point z dom f and eal k> z. Define g( ) =I kb ( ) inf kb h and apply Theoem 3.5. The special case f = 0 gives the well-known vaiational esult that a locally Lipschitz function h which is bounded above satisfies 0 cl (Im h). 4. Squeeze theoems. In this section we specialize the situation studied befoe. We shall make the futhe assumption that thee is a point whee the thee functions ae equal. In this case, as we shall see, we ae able to povide moe pecise esults. We shall stat with the following easy poposition, that we state without poof. Poposition 4.1. Fo f,g Γ 0 satisfying f g, suppose thee exists x such that f(x) = g(x). Then y : f (y)+g ( y) 0}= f(x) g(x). We pove now a convex squeeze theoem. Theoem 4.1. Fo f,g Γ 0 and locally Lipschitz h : R n R satisfying f h g, suppose thee exists x R n such that f(x) = g(x). Then f(x) h(x) g(x).
12 624 A. S. LEWIS AND R. E. LUCCHETTI Poof. Without loss of geneality, we can suppose x = 0. Fo each positive intege, asf h gon 1 B, we can apply Theoem 3.1 to find x 1 B and y h(x ) with By Poposition 4.1 (f + I 1 B ) (y )+(g+i1 B ) ( y ) 0. y (f + I 1 B )(0) (g+i1 B )(0) = f(0) g(0). Since h is locally bounded, thee exists a subsequence (y k )of(y ) conveging to some y, and since x k 0 and h is closed, y h(0). The next squeeze theoem deals instead with thee locally Lipschitz functions. To pove it, we need the following poposition. Poposition 4.2. Let f : R n R be locally Lipschitz and suppose δ>0. Then f(0) + f (0,x)+δ x >f(x) fo all small nonzeo x. Poof. Suppose that f(0) = 0, that f is k-lipschitz nea 0, and that, fo the sake of contadiction, thee is a sequence (x ) such that x 0 fo all and x 0, with Thus f (0,x )+δ x f(x ). f (0, Suppose, without loss of geneality, It follows that lim sup f (0, ) x + δ f(x ) x x. x x d. Then ) x f(x ) + δ lim sup x x f( x d)+f(x ) f( x d) = lim sup x f( x d)+k x x d ) lim sup x f (0,d). f (0,d)+δ f (0,d), which is impossible. Theoem 4.2. Suppose f, h, g : R n R ae thee locally Lipschitz functions such that f h g. Moeove, suppose f(x) =g(x)fo some x. Then f(x) h(x) g(x). Poof. Suppose, without loss of geneality, f(0) = h(0) = g(0) = 0. By Poposition 4.2, fo each N, thee exists ε > 0 such that f (0,x)+ x ( h(x) ( g) (0,x)+ x )
13 NONSMOOTH DUALITY, SANDWICH, AND SQUEEZE THEOREMS 625 fo all x such that x ε. Now, take ε<ε. Then f (0,x)+ x +I εb (x) h(x) ( ( g) (0,x)+ x ) +I εb (x) fo all x R n. We can then apply Theoem 4.1 to get an element y such that ( y f (0, )+ ) +I εb ( ) (0) h(0) ( ( g) (0, )+ ) +I εb ( ) (0) = ( f(0) + 1 ) B h(0) ( g(0) + 1 ) B. Since y h(0), the sequence (y ) is bounded and any of its cluste points does the job. Coollay 4.1. Let f 1 f 2 f k : R n R be locally Lipschitz. Suppose f 1 (0) = =f k (0). Then k f i (0), i=1 povided at least one of the following conditions holds: k =1,2,3; at least one f i is smooth; n =1,2. Poof. The cases k = 2 and the case when f i is smooth follow fom the sum ule applied to f 1 f 2 and f j f i, espectively. The case k = 3 is Theoem 4.2 and the cases n = 1,2 ae consequences of Theoem 4.2 and Helly s theoem. 5. Final emaks. We have seen some sandwich and squeeze theoems, dealing with convex and locally Lipschitz functions. While the convex subdiffeential is standad, thee ae seveal notions of subdiffeential fo locally Lipschitz functions. Hee we use the Clake subdiffeential athe than, fo instance, the appoximate subdiffeential, because the latte is not suitable fo the esults we seek. Conside the following simple example. Example 5.1. Let f (x) =I [ 1,1] (x), and g(x) = x +I [ 1,1] (x), h(x) = x. Then f h gand h is (globally) Lipschitz. Howeve L = y : f (y)+g (y) 0}=0}, while the appoximate subdiffeential of h is the set 1, 1}. Finally, hee is a list of questions we leave to the inteested eade.
14 626 A. S. LEWIS AND R. E. LUCCHETTI imply imply Question 1. Does Question 2. Does i (dom f) i (dom g) L cl (Im h)? i (dom f ) i ( dom g ) L cl (Im h)? Question 3. 2 Does the nonsmooth squeeze esult of Coollay 4.1 hold moe geneally fo any n, k? REFERENCES [1] J. M. Bowein and S. P. Fitzpatick, Duality Inequalities and Sandwiched Functions, pepint, [2] F. H. Clake, Optimization and Nonsmooth Analysis, John Wiley and Sons, New Yok, [3] F. H. Clake and Yu. S. Ledyaev, Mean value inequalities, Poc. Ame. Math. Soc., 122 (1994), pp [4] J. B. Hiiat-Uuty and C. Lemaéchal, Convex Analysis and Minimization Algoithms I, Gundlehen Math. Wiss., 305, Spinge Velag, Belin, [5] J. B. Hiiat-Uuty and C. Lemaéchal, Convex Analysis and Minimization Algoithms II, Gundlehen Math. Wiss., 306, Spinge Velag, Belin, [6] A. S. Lewis and D. Ralph, A nonlinea duality esult equivalent to the Clake Ldyaev mean value inequality, Nonlinea Anal., 26 (1996), pp [7] R. T. Rockafella, Convex Analysis, Pinceton Univesity Pess, Pinceton, NJ, Afte this pape was submitted, this question was esolved in the affimative in [1].
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationSOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS
Fixed Point Theoy, Volume 5, No. 1, 2004, 71-80 http://www.math.ubbcluj.o/ nodeacj/sfptcj.htm SOME SOLVABILITY THEOREMS FOR NONLINEAR EQUATIONS G. ISAC 1 AND C. AVRAMESCU 2 1 Depatment of Mathematics Royal
More informationBrief summary of functional analysis APPM 5440 Fall 2014 Applied Analysis
Bief summay of functional analysis APPM 5440 Fall 014 Applied Analysis Stephen Becke, stephen.becke@coloado.edu Standad theoems. When necessay, I used Royden s and Keyzsig s books as a efeence. Vesion
More informationJournal of Inequalities in Pure and Applied Mathematics
Jounal of Inequalities in Pue and Applied Mathematics COEFFICIENT INEQUALITY FOR A FUNCTION WHOSE DERIVATIVE HAS A POSITIVE REAL PART S. ABRAMOVICH, M. KLARIČIĆ BAKULA AND S. BANIĆ Depatment of Mathematics
More informationA THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM
A THREE CRITICAL POINTS THEOREM AND ITS APPLICATIONS TO THE ORDINARY DIRICHLET PROBLEM DIEGO AVERNA AND GABRIELE BONANNO Abstact. The aim of this pape is twofold. On one hand we establish a thee citical
More informationAsymptotically Lacunary Statistical Equivalent Sequence Spaces Defined by Ideal Convergence and an Orlicz Function
"Science Stays Tue Hee" Jounal of Mathematics and Statistical Science, 335-35 Science Signpost Publishing Asymptotically Lacunay Statistical Equivalent Sequence Spaces Defined by Ideal Convegence and an
More informationKOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS
Jounal of Applied Analysis Vol. 14, No. 1 2008), pp. 43 52 KOEBE DOMAINS FOR THE CLASSES OF FUNCTIONS WITH RANGES INCLUDED IN GIVEN SETS L. KOCZAN and P. ZAPRAWA Received Mach 12, 2007 and, in evised fom,
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationResearch Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function
Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationMethod for Approximating Irrational Numbers
Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations
More informationOn decompositions of complete multipartite graphs into the union of two even cycles
On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics
More informationGROWTH ESTIMATES THROUGH SCALING FOR QUASILINEAR PARTIAL DIFFERENTIAL EQUATIONS
Annales Academiæ Scientiaum Fennicæ Mathematica Volumen 32, 2007, 595 599 GROWTH ESTIMATES THROUGH SCALING FOR QUASILINEAR PARTIAL DIFFERENTIAL EQUATIONS Teo Kilpeläinen, Henik Shahgholian and Xiao Zhong
More informationTHE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.
THE ONE THEOEM JOEL A. TOPP Abstact. We pove a fixed point theoem fo functions which ae positive with espect to a cone in a Banach space. 1. Definitions Definition 1. Let X be a eal Banach space. A subset
More informationCOLLAPSING WALLS THEOREM
COLLAPSING WALLS THEOREM IGOR PAK AND ROM PINCHASI Abstact. Let P R 3 be a pyamid with the base a convex polygon Q. We show that when othe faces ae collapsed (otated aound the edges onto the plane spanned
More informationA generalization of the Bernstein polynomials
A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This
More informationA NOTE ON VERY WEAK SOLUTIONS FOR A CLASS OF NONLINEAR ELLIPTIC EQUATIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol3 15 2007, 41 45 A NOTE ON VERY WEAK SOLUTIONS FOR A CLASS OF NONLINEAR ELLIPTIC EQUATIONS LI JULING AND GAO HONGYA Abstact We pove a new a pioi estimate fo vey weak
More informationNOTE. Some New Bounds for Cover-Free Families
Jounal of Combinatoial Theoy, Seies A 90, 224234 (2000) doi:10.1006jcta.1999.3036, available online at http:.idealibay.com on NOTE Some Ne Bounds fo Cove-Fee Families D. R. Stinson 1 and R. Wei Depatment
More informationJENSEN S INEQUALITY FOR DISTRIBUTIONS POSSESSING HIGHER MOMENTS, WITH APPLICATION TO SHARP BOUNDS FOR LAPLACE-STIELTJES TRANSFORMS
J. Austal. Math. Soc. Se. B 40(1998), 80 85 JENSEN S INEQUALITY FO DISTIBUTIONS POSSESSING HIGHE MOMENTS, WITH APPLICATION TO SHAP BOUNDS FO LAPLACE-STIELTJES TANSFOMS B. GULJAŠ 1,C.E.M.PEACE 2 and J.
More informationFixed Point Results for Multivalued Maps
Int. J. Contemp. Math. Sciences, Vol., 007, no. 3, 119-1136 Fixed Point Results fo Multivalued Maps Abdul Latif Depatment of Mathematics King Abdulaziz Univesity P.O. Box 8003, Jeddah 1589 Saudi Aabia
More informationDeterministic vs Non-deterministic Graph Property Testing
Deteministic vs Non-deteministic Gaph Popety Testing Lio Gishboline Asaf Shapia Abstact A gaph popety P is said to be testable if one can check whethe a gaph is close o fa fom satisfying P using few andom
More informationA solution to a problem of Grünbaum and Motzkin and of Erdős and Purdy about bichromatic configurations of points in the plane
A solution to a poblem of Günbaum and Motzkin and of Edős and Pudy about bichomatic configuations of points in the plane Rom Pinchasi July 29, 2012 Abstact Let P be a set of n blue points in the plane,
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More information3.1 Random variables
3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated
More informationSolution to HW 3, Ma 1a Fall 2016
Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.
More informationFractional Zero Forcing via Three-color Forcing Games
Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that
More informationOn the global uniform asymptotic stability of time-varying dynamical systems
Stud. Univ. Babeş-Bolyai Math. 59014), No. 1, 57 67 On the global unifom asymptotic stability of time-vaying dynamical systems Zaineb HajSalem, Mohamed Ali Hammami and Mohamed Mabouk Abstact. The objective
More informationRegularity for Fully Nonlinear Elliptic Equations with Neumann Boundary Data
Communications in Patial Diffeential Equations, 31: 1227 1252, 2006 Copyight Taylo & Fancis Goup, LLC ISSN 0360-5302 pint/1532-4133 online DOI: 10.1080/03605300600634999 Regulaity fo Fully Nonlinea Elliptic
More informationMeasure Estimates of Nodal Sets of Polyharmonic Functions
Chin. Ann. Math. Se. B 39(5), 08, 97 93 DOI: 0.007/s40-08-004-6 Chinese Annals of Mathematics, Seies B c The Editoial Office of CAM and Spinge-Velag Belin Heidelbeg 08 Measue Estimates of Nodal Sets of
More informationMultiple Criteria Secretary Problem: A New Approach
J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and
More informationCENTRAL INDEX BASED SOME COMPARATIVE GROWTH ANALYSIS OF COMPOSITE ENTIRE FUNCTIONS FROM THE VIEW POINT OF L -ORDER. Tanmay Biswas
J Koean Soc Math Educ Se B: Pue Appl Math ISSNPint 16-0657 https://doiog/107468/jksmeb01853193 ISSNOnline 87-6081 Volume 5, Numbe 3 August 018, Pages 193 01 CENTRAL INDEX BASED SOME COMPARATIVE GROWTH
More informationMath 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs
Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let
More informationON VON NEUMANN-JORDAN TYPE CONSTANT AND SUFFICIENT CONDITIONS FOR FIXED POINTS OF MULTIVALUED NONEXPANSIVE MAPPINGS
Gulf Jounal of Mathematics Vol 4, Issue 06) - ON VON NEUMANN-JORDAN TYPE CONSTANT AND SUFFICIENT CONDITIONS FOR FIXED POINTS OF MULTIVALUED NONEXPANSIVE MAPPINGS MINA DINARVAND Abstact In the pesent pape,
More informationarxiv: v1 [math.ca] 31 Aug 2009
axiv:98.4578v [math.ca] 3 Aug 9 On L-convegence of tigonometic seies Bogdan Szal Univesity of Zielona Góa, Faculty of Mathematics, Compute Science and Econometics, 65-56 Zielona Góa, ul. Szafana 4a, Poland
More informationResults on the Commutative Neutrix Convolution Product Involving the Logarithmic Integral li(
Intenational Jounal of Scientific and Innovative Mathematical Reseach (IJSIMR) Volume 2, Issue 8, August 2014, PP 736-741 ISSN 2347-307X (Pint) & ISSN 2347-3142 (Online) www.acjounals.og Results on the
More informationAn intersection theorem for four sets
An intesection theoem fo fou sets Dhuv Mubayi Novembe 22, 2006 Abstact Fix integes n, 4 and let F denote a family of -sets of an n-element set Suppose that fo evey fou distinct A, B, C, D F with A B C
More informationOn the Poisson Approximation to the Negative Hypergeometric Distribution
BULLETIN of the Malaysian Mathematical Sciences Society http://mathusmmy/bulletin Bull Malays Math Sci Soc (2) 34(2) (2011), 331 336 On the Poisson Appoximation to the Negative Hypegeometic Distibution
More informationQuasi-Randomness and the Distribution of Copies of a Fixed Graph
Quasi-Randomness and the Distibution of Copies of a Fixed Gaph Asaf Shapia Abstact We show that if a gaph G has the popety that all subsets of vetices of size n/4 contain the coect numbe of tiangles one
More informationLecture 28: Convergence of Random Variables and Related Theorems
EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An
More informationq i i=1 p i ln p i Another measure, which proves a useful benchmark in our analysis, is the chi squared divergence of p, q, which is defined by
CSISZÁR f DIVERGENCE, OSTROWSKI S INEQUALITY AND MUTUAL INFORMATION S. S. DRAGOMIR, V. GLUŠČEVIĆ, AND C. E. M. PEARCE Abstact. The Ostowski integal inequality fo an absolutely continuous function is used
More informationConnectedness of Ordered Rings of Fractions of C(X) with the m-topology
Filomat 31:18 (2017), 5685 5693 https://doi.og/10.2298/fil1718685s Published by Faculty o Sciences and Mathematics, Univesity o Niš, Sebia Available at: http://www.pm.ni.ac.s/ilomat Connectedness o Odeed
More informationNew problems in universal algebraic geometry illustrated by boolean equations
New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic
More informationRADIALLY SYMMETRIC SOLUTIONS TO THE GRAPHIC WILLMORE SURFACE EQUATION
RADIALLY SYMMETRIC SOLUTIONS TO THE GRAPHIC WILLMORE SURFACE EQUATION JINGYI CHEN AND YUXIANG LI Abstact. We show that a smooth adially symmetic solution u to the gaphic Willmoe suface equation is eithe
More informationAdditive Approximation for Edge-Deletion Problems
Additive Appoximation fo Edge-Deletion Poblems Noga Alon Asaf Shapia Benny Sudakov Abstact A gaph popety is monotone if it is closed unde emoval of vetices and edges. In this pape we conside the following
More informationFunctions Defined on Fuzzy Real Numbers According to Zadeh s Extension
Intenational Mathematical Foum, 3, 2008, no. 16, 763-776 Functions Defined on Fuzzy Real Numbes Accoding to Zadeh s Extension Oma A. AbuAaqob, Nabil T. Shawagfeh and Oma A. AbuGhneim 1 Mathematics Depatment,
More informationarxiv: v1 [math.co] 4 May 2017
On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has
More informationBounds for Codimensions of Fitting Ideals
Ž. JOUNAL OF ALGEBA 194, 378 382 1997 ATICLE NO. JA966999 Bounds fo Coensions of Fitting Ideals Michał Kwiecinski* Uniwesytet Jagiellonski, Instytut Matematyki, ul. eymonta 4, 30-059, Kakow, Poland Communicated
More informationLecture 18: Graph Isomorphisms
INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will
More informationDuality between Statical and Kinematical Engineering Systems
Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.
More informationSOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES
italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics
More informationON SPARSELY SCHEMMEL TOTIENT NUMBERS. Colin Defant 1 Department of Mathematics, University of Florida, Gainesville, Florida
#A8 INTEGERS 5 (205) ON SPARSEL SCHEMMEL TOTIENT NUMBERS Colin Defant Depatment of Mathematics, Univesity of Floida, Gainesville, Floida cdefant@ufl.edu Received: 7/30/4, Revised: 2/23/4, Accepted: 4/26/5,
More informationRADIAL POSITIVE SOLUTIONS FOR A NONPOSITONE PROBLEM IN AN ANNULUS
Electonic Jounal of Diffeential Equations, Vol. 04 (04), o. 9, pp. 0. ISS: 07-669. UL: http://ejde.math.txstate.edu o http://ejde.math.unt.edu ftp ejde.math.txstate.edu ADIAL POSITIVE SOLUTIOS FO A OPOSITOE
More informationThe first nontrivial curve in the fučĺk spectrum of the dirichlet laplacian on the ball consists of nonradial eigenvalues
enedikt et al. ounday Value Poblems 2011, 2011:27 RESEARCH Open Access The fist nontivial cuve in the fučĺk spectum of the diichlet laplacian on the ball consists of nonadial eigenvalues Jiřĺ enedikt 1*,
More informationThis aticle was oiginally published in a jounal published by Elsevie, the attached copy is povided by Elsevie fo the autho s benefit fo the benefit of the autho s institution, fo non-commecial eseach educational
More informationA STABILITY RESULT FOR p-harmonic SYSTEMS WITH DISCONTINUOUS COEFFICIENTS. Bianca Stroffolini. 0. Introduction
Electonic Jounal of Diffeential Equations, Vol. 2001(2001), No. 02, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.swt.edu o http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) A STABILITY RESULT
More informationA Bijective Approach to the Permutational Power of a Priority Queue
A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation
More informationNumerical approximation to ζ(2n+1)
Illinois Wesleyan Univesity Fom the SelectedWoks of Tian-Xiao He 6 Numeical appoximation to ζ(n+1) Tian-Xiao He, Illinois Wesleyan Univesity Michael J. Dancs Available at: https://woks.bepess.com/tian_xiao_he/6/
More informationSTUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS HAVING THE SAME LOGARITHMIC ORDER
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA doi: 104467/20843828AM170027078 542017, 15 32 STUDY OF SOLUTIONS OF LOGARITHMIC ORDER TO HIGHER ORDER LINEAR DIFFERENTIAL-DIFFERENCE EQUATIONS WITH COEFFICIENTS
More informationMath 124B February 02, 2012
Math 24B Febuay 02, 202 Vikto Gigoyan 8 Laplace s equation: popeties We have aleady encounteed Laplace s equation in the context of stationay heat conduction and wave phenomena. Recall that in two spatial
More informationMATH 415, WEEK 3: Parameter-Dependence and Bifurcations
MATH 415, WEEK 3: Paamete-Dependence and Bifucations 1 A Note on Paamete Dependence We should pause to make a bief note about the ole played in the study of dynamical systems by the system s paametes.
More informationarxiv: v1 [math.na] 8 Feb 2013
A mixed method fo Diichlet poblems with adial basis functions axiv:1302.2079v1 [math.na] 8 Feb 2013 Nobet Heue Thanh Tan Abstact We pesent a simple discetization by adial basis functions fo the Poisson
More informationOn a quantity that is analogous to potential and a theorem that relates to it
Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich
More informationThe VC-dimension of Unions: Learning, Geometry and Combinatorics
The VC-dimension of Unions: Leaning, Geomety and Combinatoics Mónika Csikós Andey Kupavskii Nabil H. Mustafa Abstact The VC-dimension of a set system is a way to captue its complexity, and has been a key
More informationLacunary I-Convergent Sequences
KYUNGPOOK Math. J. 52(2012), 473-482 http://dx.doi.og/10.5666/kmj.2012.52.4.473 Lacunay I-Convegent Sequences Binod Chanda Tipathy Mathematical Sciences Division, Institute of Advanced Study in Science
More informationA CHARACTERIZATION ON BREAKDOWN OF SMOOTH SPHERICALLY SYMMETRIC SOLUTIONS OF THE ISENTROPIC SYSTEM OF COMPRESSIBLE NAVIER STOKES EQUATIONS
Huang, X. and Matsumua, A. Osaka J. Math. 52 (215), 271 283 A CHARACTRIZATION ON BRAKDOWN OF SMOOTH SPHRICALLY SYMMTRIC SOLUTIONS OF TH ISNTROPIC SYSTM OF COMPRSSIBL NAVIR STOKS QUATIONS XIANGDI HUANG
More informationA Comparison and Contrast of Some Methods for Sample Quartiles
A Compaison and Contast of Some Methods fo Sample Quatiles Anwa H. Joade and aja M. Latif King Fahd Univesity of Petoleum & Mineals ABSTACT A emainde epesentation of the sample size n = 4m ( =, 1, 2, 3)
More informationON LACUNARY INVARIANT SEQUENCE SPACES DEFINED BY A SEQUENCE OF MODULUS FUNCTIONS
STUDIA UNIV BABEŞ BOLYAI, MATHEMATICA, Volume XLVIII, Numbe 4, Decembe 2003 ON LACUNARY INVARIANT SEQUENCE SPACES DEFINED BY A SEQUENCE OF MODULUS FUNCTIONS VATAN KARAKAYA AND NECIP SIMSEK Abstact The
More informationworking pages for Paul Richards class notes; do not copy or circulate without permission from PGR 2004/11/3 10:50
woking pages fo Paul Richads class notes; do not copy o ciculate without pemission fom PGR 2004/11/3 10:50 CHAPTER7 Solid angle, 3D integals, Gauss s Theoem, and a Delta Function We define the solid angle,
More informationSome Remarks on the Boundary Behaviors of the Hardy Spaces
Soe Reaks on the Bounday Behavios of the Hady Spaces Tao Qian and Jinxun Wang In eoy of Jaie Kelle Abstact. Soe estiates and bounday popeties fo functions in the Hady spaces ae given. Matheatics Subject
More informationThe Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr
The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid
More informationOn the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University
Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,
More informationUsing Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu
Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of
More informationNONLINEAR OSCILLATIONS OF SECOND ORDER DIFFERENTIAL EQUATIONS OF EULER TYPE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Numbe 1, Octobe 1996 NONLINEAR OSCILLATIONS OF SECOND ORDER DIFFERENTIAL EQUATIONS OF EULER TYPE JITSURO SUGIE AND TADAYUKI HARA (Communicated
More informationarxiv: v1 [math.co] 6 Mar 2008
An uppe bound fo the numbe of pefect matchings in gaphs Shmuel Fiedland axiv:0803.0864v [math.co] 6 Ma 2008 Depatment of Mathematics, Statistics, and Compute Science, Univesity of Illinois at Chicago Chicago,
More informationSemicanonical basis generators of the cluster algebra of type A (1)
Semicanonical basis geneatos of the cluste algeba of type A (1 1 Andei Zelevinsky Depatment of Mathematics Notheasten Univesity, Boston, USA andei@neu.edu Submitted: Jul 7, 006; Accepted: Dec 3, 006; Published:
More informationStanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012
Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,
More informationApplication of Parseval s Theorem on Evaluating Some Definite Integrals
Tukish Jounal of Analysis and Numbe Theoy, 4, Vol., No., -5 Available online at http://pubs.sciepub.com/tjant/// Science and Education Publishing DOI:.69/tjant--- Application of Paseval s Theoem on Evaluating
More informationHölder Continuity for Local Minimizers of a Nonconvex Variational Problem
Jounal of Convex Analysis Volume 10 003), No., 389 408 Hölde Continuity fo Local Minimizes of a Nonconvex Vaiational Poblem Giovanni Cupini Dipatimento di Matematica U. Dini, Univesità di Fienze, Viale
More informationTHE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee
Koean J. Math. 23 (2015), No. 3, pp. 427 438 http://dx.doi.og/10.11568/kjm.2015.23.3.427 THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX Jaejin Lee Abstact. The Schensted algoithm fist descibed by Robinson
More informationSurveillance Points in High Dimensional Spaces
Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationSUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER
Discussiones Mathematicae Gaph Theoy 39 (019) 567 573 doi:10.7151/dmgt.096 SUFFICIENT CONDITIONS FOR MAXIMALLY EDGE-CONNECTED AND SUPER-EDGE-CONNECTED GRAPHS DEPENDING ON THE CLIQUE NUMBER Lutz Volkmann
More informationApproximating Maximum Diameter-Bounded Subgraph in Unit Disk Graphs
Appoximating Maximum Diamete-Bounded Subgaph in Unit Disk Gaphs A. Kaim Abu-Affash 1 Softwae Engineeing Depatment, Shamoon College of Engineeing Bee-Sheva 84100, Isael abuaa1@sce.ac.il Paz Cami Depatment
More informationConstruction and Analysis of Boolean Functions of 2t + 1 Variables with Maximum Algebraic Immunity
Constuction and Analysis of Boolean Functions of 2t + 1 Vaiables with Maximum Algebaic Immunity Na Li and Wen-Feng Qi Depatment of Applied Mathematics, Zhengzhou Infomation Engineeing Univesity, Zhengzhou,
More informationChromatic number and spectral radius
Linea Algeba and its Applications 426 2007) 810 814 www.elsevie.com/locate/laa Chomatic numbe and spectal adius Vladimi Nikifoov Depatment of Mathematical Sciences, Univesity of Memphis, Memphis, TN 38152,
More informationEuclidean Figures and Solids without Incircles or Inspheres
Foum Geometicoum Volume 16 (2016) 291 298. FOUM GEOM ISSN 1534-1178 Euclidean Figues and Solids without Incicles o Insphees Dimitis M. Chistodoulou bstact. ll classical convex plana Euclidean figues that
More informationTOPOLOGICAL DIVISOR OF ZERO PERTURBATION FUNCTIONS
Jounal of Pue and Applied Mathematics: Advances and Applications Volume 4, Numbe, 200, Pages 97-4 TOPOLOGICAL DIVISOR OF ZERO PERTURBATION FUNCTIONS Dépatement de Mathématiques Faculté des Sciences de
More informationAbsorption Rate into a Small Sphere for a Diffusing Particle Confined in a Large Sphere
Applied Mathematics, 06, 7, 709-70 Published Online Apil 06 in SciRes. http://www.scip.og/jounal/am http://dx.doi.og/0.46/am.06.77065 Absoption Rate into a Small Sphee fo a Diffusing Paticle Confined in
More informationf h = u, h g = v, we have u + v = f g. So, we wish
Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,
More informationESSENTIAL NORM OF AN INTEGRAL-TYPE OPERATOR ON THE UNIT BALL. Juntao Du and Xiangling Zhu
Opuscula Math. 38, no. 6 (8), 89 839 https://doi.og/.7494/opmath.8.38.6.89 Opuscula Mathematica ESSENTIAL NORM OF AN INTEGRAL-TYPE OPERATOR FROM ω-bloch SPACES TO µ-zygmund SPACES ON THE UNIT BALL Juntao
More informationExceptional regular singular points of second-order ODEs. 1. Solving second-order ODEs
(May 14, 2011 Exceptional egula singula points of second-ode ODEs Paul Gaett gaett@math.umn.edu http://www.math.umn.edu/ gaett/ 1. Solving second-ode ODEs 2. Examples 3. Convegence Fobenius method fo solving
More informationLocalization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix
Jounal of Sciences, Islamic Republic of Ian (): - () Univesity of Tehan, ISSN - http://sciencesutaci Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matix H Ahsani
More informationCentral Coverage Bayes Prediction Intervals for the Generalized Pareto Distribution
Statistics Reseach Lettes Vol. Iss., Novembe Cental Coveage Bayes Pediction Intevals fo the Genealized Paeto Distibution Gyan Pakash Depatment of Community Medicine S. N. Medical College, Aga, U. P., India
More information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More information6 PROBABILITY GENERATING FUNCTIONS
6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to
More information1. Summation. Let X be a set Finite summation. Suppose Y is a set and + : Y Y Y. is such that
1. Summation. Let X be a set. 1.1. Finite summation. Suppose Y is a set and is such that + : Y Y Y (i) x + (y + z) (x + y) + z wheneve x, y, z Y ; (ii) x + y y + x wheneve x, y Y ; (iii) thee is 0 Y such
More informationEQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS
EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in
More informationOn a generalization of Eulerian numbers
Notes on Numbe Theoy and Discete Mathematics Pint ISSN 1310 513, Online ISSN 367 875 Vol, 018, No 1, 16 DOI: 10756/nntdm018116- On a genealization of Euleian numbes Claudio Pita-Ruiz Facultad de Ingenieía,
More informationLinear Systems With Coeæcient Matrices. Having Fields of Values. Ren-Cang Li. Department of Mathematics. University of California at Berkeley
Linea Systems With Coeæcient Matices Having Fields of Values Not Containing The Oigin æ Ren-Cang Li Depatment of Mathematics Univesity of Califonia at Bekeley Bekeley, Califonia 9470 Mach 9, 994 Compute
More information