ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

Size: px
Start display at page:

Download "ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska"

Transcription

1 Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. Gacovska-Barandovska Smirnov (1949) derived four limit classes of distributions for linearly normalized central order statistics. In this paper we investigate the possible limit distributions of the k-th upper order statistics with central rank using regular power norming sequences and obtain twelve limit classes. Keywords: k-th upper order statistic, Central rank, Power normalization, Regular norming sequence. AMS (2000) Subject Classification: 62G30, 62E20, 39B Introduction Below {k n } is a sequence of integers such that kn n θ (0, 1) and X k n,n is the k n -th upper central order statistic (u.c.o.s.) from a sample of iid rv s X 1,..., X n with a continuous df F, thus X n,n <... < X kn,n <... < X 1,n. We denote by GMA the group of all max-automorphisms on R with respect to the composition. They are strictly increasing continuous mappings and hence they preserve the max-operation in the sense that L(X Y ) = L(X) L(Y ). Let Φ denote the standard normal df and F = 1 F. In Pancheva and Gacovska (2013), abbreviated here as PG 13, the authors have proved the following

2 2 E. I. Pancheva, A. Gacovska-Barandovska Theorem 1. Let H be a non-degenerate df, kn n sequence of norming mappings in GMA. Then (1) F kn,n (G n (x)) := P ( G n 1 (X kn,n) < x ) w n if and only if θ (0, 1) and {G n} be a H(x) (2) n θ F (G n (x)) θ(1 θ) w n τ(x) where τ(x) is a non-decreasing function uniquely determined by the equation (3) H (x) = 1 τ(x) e x2 2 dx = Φ (τ(x)). 2π Let A be the group of all affine transformations on R, α(x) = ax + b, a > 0, b real and P be the group of all power transformations on R, p(x) = b x a sign(x) with a and b positive. We denote by l H = inf{x : H(x) > 0} the left endpoint of the support of H and by r H = sup{x : H(x) < 1} the right endpoint. Definition 1. A sequence {G n } GMA is a regular norming sequence on (l H, r H ) (0, ) if for all t (0, ) there exists g t (x) GMA such that (4) lim n G 1 [nt] G n(x) = g t (x), x (l H, r H ) and the correspondence t g t (x) is continuous 1-1 mapping. The last means that s t implies g s g t, for s, t > 0. Example 1. n thus a) A norming sequence {α n } A is regular iff t > 0 and a n A t > 0, b n b [nt] B t R, α 1 [nt] α n(x) = a n x + b n b [nt] A t x + B t. b) A norming sequence {p n } P is regular iff t > 0 and n a n A t > 0, ( bn b [nt] ) 1/a[nt] B t > 0,

3 On limit laws for central order statistics under power normalization 3 then p 1 [nt] p n(x) = ( bn x an b [nt] ) 1 sign(x) B t x At sign(x). Definition 2. A df F belongs to θ-normal domain of attraction of H (briefly θ-nda(h)) if (1) holds and ( kn n θ) n 0. A basic result to characterize the class of limit df s in (1) is the following theorem proved in PG 13. Theorem 2. If a df H has θ-nda with respect to a regular norming sequence {G n } GMA, then its corresponding function τ(x) satisfies for t (0, ) the following functional equation (5) t τ(x) = τ (gt (x)), x C (τ). Here C(τ) means the set of all continuity points of τ. Solving (5) with respect to τ, given that g t A, Smirnov (1949) derived four different classes of limit df s H = Φ τ, namely { 0, x < 0 1. H 1 (x) = Φ (cx α ; c > 0, α > 0. ), x 0 { Φ ( c x α ), x < 0 2. H 2 (x) = ; c > 0, α > 0. 1, x 0 { Φ ( c1 x α ), x < 0 3. H 3 (x) = ; c 1, c 2 > 0, α > 0. Φ (c 2 x α ), x 0 0, x < l H 1 4. H 4 (x) = 2, l H x < r H. 1, x r H Solving (5), given that g t GMA, Pancheva and Gacovska (2013) obtained 13 possible types of limit df s in (1). The aim of this note is to find the possible solutions of (5) with respect to τ if g t P and to list the corresponding limit laws H = Φ τ in (1). Let us first make precise the notion type(h) for a non-degenerate df H. We say that G g-type(h) if there exists a mapping φ GMA such that G = H φ (where g stands for general). In order to distinguish the cases φ A and φ P we define two subsets of the set g-type(h), namely

4 4 E. I. Pancheva, A. Gacovska-Barandovska α type(h) = {G : α A, G(x) = H(α(x))}, p type(h) = {G : p P, G(x) = H(p(x))}. In section 2 we make a short overview of the properties of τ and g t, needed further on and proved in PG 13. Then in section 3 we obtain 12 different p-types of limit laws. In section 4 we discuss the results. 2. Preliminaries In this section we cite without proof some of the main results of PG 13 needed in section 3 below. A. Properties of τ(x): We introduce two important subsets of the interval S = (l H, r H ), namely D = {x : τ(x) 0, τ(x), τ(x) + } and I = {x : τ(x) = 0}, D = S\I. Functional equation (3), H(x) = Φ(τ(x)), implies: 1. τ(x) is a non-decreasing function such that τ(x) = for x < l H and τ(x) = + for x > r H. For x I by definition τ(x) = 0, hence H(x) = 1/2. Defining the median of H by m H = sup{x : H(x) < 1/2}, we reach uniqueness of the median. 2. τ(x) is negative for x (l H, m H ) and τ(x) 0 for x (m H, r H ). Further, as a direct consequence of functional equation (5), t τ(x) = τ (g t (x)), we observe that for any fixed x that belongs to the interior of D the whole trajectory Γ x = {g t (x) : t (0, )} belongs to D. Now, it is not difficult to check the following D. Proposition 1. τ(x) is continuous and strictly increasing on the interior of B. Properties of g t (x) Observe that functional equation (5) gives no information for the value of g t in the boundary cases t = 0 and t =. For thoroughly determining the trajectory of g t through a point x in the interior of D we suppose that the following boundary conditions hold. BC 1. lim t 0 g t (x) = m { H. lh, x < m BC 2. lim t g t (x) = H, r H, x > m H

5 On limit laws for central order statistics under power normalization 5 By (5), these conditions are fulfilled if τ is everywhere continuous. Hence, as a consequence of the boundary conditions, every trajectory Γ x starts from m H and increases to r H if m H < x < r H, or decreases to l H if l H < x < m H. Furthermore, limit relation (4) entails that the family {g t : t (0, )} forms a continuous one-parameter group with respect to composition, with the half-group property (6) g t g s = g ts and identity element g 1, g 1 (x) = x. Then g 1 t = g 1/t. Denote by SuppH the support of the df H. For the subset I S we state the following possibilities: Proposition 2. Either I = (m H, r H ) or I = {m H }. In the first case l H = m H and SuppH = [m H, r H ) where H is the two jumps distribution with jump high 1/2, and in the second case SuppH = (l H, r H ), l H < m H < r H. P r o o f. Obviously the left endpoint of the interval I is m H. Assume the interval is I = (m H, a), m H < a < r H. For arbitrary x I, by the functional equation (5) it follows that τ(g t (x)) = 0 for all t > 0. Hence g t (x) < a for all t > 0 and this contradicts the boundary condition BC2. Thus I = (m H, r H ). We still have to prove that l H = m H. For arbitrary fixed x I, limit relation (2) implies [ n θ F (Gn (x)) ] 0, n. Let us assume that there exists a unique solution x θ of F (x) = θ. This assumption is in fact not restrictive, since we can always transform the initial model so that x θ falls into an interval where the continuous df F is strictly increasing. Now the limit relation above can be rewritten as [ n F (xθ ) F (G n (x)) ] 0, n, x I and it is equivalent to i) G n (x) x θ for F - almost all x I and n. Consequently for ε > 0 and n > n 0 (ε) x θ ε < G n (x) < x θ + ε. On the other hand, as known from the theory of central u.o.s ii) X a.s. kn,n x θ, n, implying P (x θ ε < X kn,n < x θ + ε) 1. Moreover, both sequences {G n } and {X kn,n} are comparable in the sense that iii) G 1 n (X kn,n) d Y, where Y has df H. The latter is equivalent to

6 6 E. I. Pancheva, A. Gacovska-Barandovska P (G 1 n (X kn,n) < x) Φ τ(x) = 1 2, for x I. On the base of i) and ii), for arbitrary ε > 0 one may choose n 0 = n 0 (ε), ε 1 = ε 1 (ε), ε 2 = ε 2 (ε), and ε i 0 as ε 0, such that for n > n 0 P (G n (x ε 1 ) X kn,n < G n (x + ε 2 )) 1 2. Indeed, by i) we obtain G 1 n (x θ ε) < x < G 1 n (x θ + ε). Hence one may choose ε 1 = ε 1 (ε), ε 2 = ε 2 (ε) such that x ε 1 < G 1 n (x θ ε) < x < G 1 n (x θ + ε) < x + ε 2. Then by ii) P (G n (x ε 1 ) < X kn,n < G n (x + ε 2 )) P (x θ ε < X kn,n < x θ + ε) 1. Hence for n large enough, n > n 0 (ε) we have P (G n (x ε 1 ) < X kn,n < G n (x + ε 2 )) 1 2. Applying iii) we conclude that 1 2 P (G n(x ε 1 ) < X kn,n < G n (x + ε 2 )) = P (G 1 n (X kn,n) < x + ε 2 ) P (G 1 n (X kn,n) < x ε 1 ) 1 2 Φ(τ(x ε 1)), since x + ε 2 I. It is clear that Φ(τ(x ε 1 )) = 0 hence x ε 1 < l H. Consequently m H x < l H + ε 1 for ε 1 arbitrary small. The last statement is a contradiction, hence l H = m H. The first case in proposition 2 we call singular since the support of H consists of the two endpoints only: l H and r H. Further on, we consider only the non singular case I = {m H }. Proposition 3. The three points l H, m H, r H are the only possible fixed points of the continuous one-parameter group {g t : t (0, )}. Assume the functional equation (5) holds, t τ(x) = τ (g t (x)). Obviously it implies: a) τ(x) < 0 for x (l H, m H ), thus g t is decreasing in t. Moreover g t is repulsive for t (0, 1), i.e. g t (x) > x, and g t is attractive for t > 1, i.e. g t (x) < x. b) τ(x) > 0 for x (m H, r H ), thus g t is increasing in t. Moreover g t is attractive for t (0, 1) and g t is repulsive for t > 1. Our next aim is to solve the half - group property (6) rewritten as functional equation g(t, g(s, x)) = g(ts, x). Proposition 4. Let {g t : t (0, )} be a continuous one-parameter group in GMA. If g t : (l H, r H ) (l H, r H ) satisfies a) and b), then there exist continuous

7 On limit laws for central order statistics under power normalization 7 and strictly increasing mappings h : (l H, m H ) (, ) and l : (m H, r H ) (, ) such that for t > 0: g t (x) = { h 1 (h(x) log t), x (l H, m H ) l 1 (l(x) + log t), x (m H, r H ). Next we substitute the explicit form of g t (x) in (5) and solve it with respect to τ(x). Denote S 1 = (l H, m H ) and S 2 = (m H, r H ). Proposition 5. Let {g t : t (0, )} be the continuous one-parameter group from Proposition 4. Suppose τ satisfies t τ(x) = τ(g t (x)) for t (0, ) and x (l H, r H ), given that τ(x) > 0 on S 2 and τ(x) < 0 on S 1. Then: τ(x) = { τ1 (x) = c 1 e h(x)/2, c 1 > 0, on S 1 τ 2 (x) = c 2 e l(x)/2, c 2 > 0, on S 2. After obtaining the explicit form of τ(x) we now state the characterization theorem for the limit distribution H = Φ τ. Theorem 3. The non-degenerate df H in the limit relation (1) may take one of the following four explicit forms: 0, x < m H = l H 1 1. H 1 (x) = 2, x = m H = l H Φ (τ 2 (x)), x (m H, r H ) 1, x r H 0, x l H Φ (τ 2. H 2 (x) = 1 (x)), x (l H, m H ) 1 2, x = m H = r H 1, x > m H = r H 0, x l H Φ (τ 3. H 3 (x) = 1 (x)), x (l H, m H ) Φ (τ 2 (x)), x (m H, r H ) 1, x r H

8 8 E. I. Pancheva, A. Gacovska-Barandovska 0, x < l H 1 4. H 4 (x) = 2, x (l H, r H ) 1, x r H. Note, in theorem 3 above, we use the notion form of H having in mind limit class H. 3. Power normalization In this section we suppose that there exists a sequence G n (x) = b n x an sign(x), a n and b n positive, to normalize the upper c.o.s. X kn,n in theorem 1 so that (7) F kn,n( b n x an sign(x) ) We observe that thus Hence, if t > 0 G 1 n (y) = w H(x), n. ( ) y 1/an sign(y), b n ( ) 1/a[nt] G 1 [nt] G bn n(x) = x an/ sign(x). b [nt] a n α t > 0, ( b n b [nt] ) 1/ β t > 0, then {G n } is a regular sequence and (8) G 1 [nt] G n(x) g t (x) = β t x αt sign(x) GMA. Proposition 6. If {G n } is a regular norming sequence in P, then the family {g t : t (0, )} defined in (8) forms a continuous one-parameter group with respect to composition with identity element g 1, g 1 (x) = x. P r o o f. Obviously α 1 = β 1 = 1, so g 1 is the identical mapping. Then gt 1 = g 1/t. We have to check the half-group property g t g s = g ts t, s > 0. Indeed: g t (g s (x)) = β t β αt s x αsαt sign(x),

9 On limit laws for central order statistics under power normalization 9 Hence (6) is true if equivalently g ts (x) = β ts x αts sign(x). (9) β ts = β t.β αt s = β αs t.β s and α ts = α t.α s hold and this is easy to be seen: α t α s a n a n a [ns] = a n a [nts] a [nts] a n a [ns] α ts, β ts ( bn b [nts] ) 1/a[nts] = [ ( bn b [ns] ) ] a[ns] 1/a[ns] /a [nts] ( ) 1/a[nts] b[ns]. βs αt β t b [nts] Let us look at (9) as functional equations for α t and β t. There are two possibilities, namely i) α t = 1 and β t = t b, b 0. or ii) α t = t a, a 0 and β t = e c (1 t a), c real. Consequently, in case i) the mapping g t (x) = t b x is affine without translation and in case ii) g t (x) = c x c ta sign(x), c = e c > 0, is a power mapping. We consider separately both cases. Case i). g t (x) = t b x, b 0. The fixed points of {g t : t (0, )} are the points, 0, +. On the other hand l H, m H, r H are the only possible fixed points, thus there are three possibilities for the SuppH: ( = l H, r H = m H = 0], [0 = l H = m H, r H = + ) and ( = l H, r H = + ). Case i 1 ). Let Supp H = ( = l H, r H = m H = 0]. Here τ < 0 and g t (x) = t b x is decreasing in t, hence b > 0. There is a continuous and strictly increasing h : (l H, m H ) (, + ) such that g t (x) = h 1 (h(x) log t). The solution of the functional equation h( t b x ) = h(x) log t, x < 0 is h(x) = 1 b log x and consequently τ 1(x) = c 1 e h(x)/2 = c 1 x 1/2b, c 1 some positive constant, and H 1 (x) = Φ( c 1 x α ), α = 1 2b > 0, c 1 > 0, x 0. Case i 2 ). Now Supp H = [l H = m H = 0, r H = ).

10 10 E. I. Pancheva, A. Gacovska-Barandovska Here τ 2 (x) = c 2 e l(x)/2 > 0, g t (x) = l 1 (l(x) + log t) = t b x, l : (m H, r H ) (, + ). The functional equation l(t b x) = l(x) + log(x) entails the solution l(x) = 1 b log x. Thus 0 < τ 2(x) = c 2 e l(x)/2 = c 2 x α, α = 1 2b, c 2 > 0, x > 0 and g t (x) is increasing in t, hence b > 0, attractive for t (0, 1) and repulsive for t > 1. Consequently, H 2 (x) = Φ(c 2 x α ), α > 0, c 2 > 0, x 0 has a jump 1/2 at l H = m H = 0. Case i 3 ). Take Supp H = (l H =, r H = + ). In the same { way as above one obtains for some positive constants c 3 and c 3 Φ( c3 x H 3 (x) = α ), x < 0 Φ(c 3 xα ), x 0 i.e. H 3 is continuous and strictly increasing on (, + ), m H = 0, H 3 (0) = 1/2. Remark. In case i) the affine mapping g t (x) = t b x =: A t x + B t has coefficients A t 1 and B t = 0. Thus the two jumps Smirnov s distribution does not appear here as limiting df. Case ii). g t (x) = c x c ta sign(x), c > 0, a 0. We observe that: 1) the fixed points of the group {g t (x) : t (0, )} are the 5 points:, c, 0, +c, + ; 2) the equation chain τ(x) = τ(c x c ta sign(x)) = 0 implies that the median m H { c, 0, +c}; 3) in view of Proposition 3 the support of the limit df H may be one of the 7 intervals (, c), ( c, 0), (0, c), (c, ), (, 0), ( c, c), (0, ); 4) in view of functional equation (5) g t (x) is repulsive for x (l H, m H ), t (0, 1) and also for x (m H, r H ), t > 1; g t (x) is attractive for x (m H, r H ), t (0, 1) and also for x (l H, m H ), t > 1; g t (x) is decreasing in t if x (l H, m H ) and increasing in t if x (m H, r H ). Having in mind these properties we consider the different cases for SuppH separately. Assume below c = 1 for simplicity, without loss of generality. Case ii 1 ). SuppH = (l H =, m H = r H = 1] and g t (x) = x ta. The boundary condition m H = lim t 0 x ta = 1 implies a > 0. Recall, for x (l H, m H ) g t (x) = h 1 (h(x) log t), so we have to solve the functional equation h( x ta ) = h(x) log t. It has the solution h(x) = 1 a log log x where

11 On limit laws for central order statistics under power normalization 11 h : (, 1) (, + ) is strictly increasing. Then τ 4 (x) = c 4 e h(x)/2 = c 4 (log x ) α, α = 1 2a > 0, c 4 > 0 and the corresponding limit df has the explicit form H 4 (x) = Φ( c 4 (log x ) α ), x 1, H 4 ( 1) = Φ(0) = 1/2. Case ii 2 ). SuppH = ( 1, 0) and g t (x) = x ta. For the median m H = lim t 0 x ta we obtain m H = 1 for a > 0 and m H = 0 for a < 0. Thus this case gives rise to two different limit df s H 5 and H 6 : a) SuppH 5 = [l H = m H = 1, r H = 0) and g t (x) = x ta, a > 0. Recall, that τ(x) > 0 in the interval (m H, r H ) and g t (x) = l 1 (l(x) + log t), l : ( 1, 0) (, + ). Now the solution of the functional equation l( x ta ) = l(x) + log t, a > 0 is l(x) = 1 a log log x. Hence τ 5 (x) = c 5 e l(x)/2 = c 5 log x α, α = 1 2a > 0, c 5 > 0 and the corresponding limit df has the explicit form H 5 (x) = Φ(c 5 log x α ), x ( 1, 0), H 5 ( 1) = Φ(0) = 1/2. b) SuppH 6 = (l H = 1, m H = r H = 0] and g t (x) = x ta, a < 0. In the interval (l H = 1, m H = 0) τ < 0 and g t (x) = h 1 (h(x) log t). We have to solve the functional equation h( x ta ) = h(x) log t where a < 0 and x ( 1, 0). Its solution is h(x) = 1 a log log x. We observe that indeed h : ( 1, 0) (, + ) is strictly increasing. Then τ 6 (x) = c 6 e h(x)/2 = c 6 log x α, α = 1 2 a > 0, c 6 > 0 and correspondingly H 6 (x) = Φ( c 6 log x α ), x ( 1, 0), H 6 (0) = Φ(0) = 1/2. Case ii 3 ). SuppH = (0, 1) and g t (x) = x ta. For the median m H = lim t 0 x ta we obtain m H = 1 for a > 0 and m H = 0 for a < 0. Thus also this case gives rise to another two different limit df s H 7 and H 8 : a) SuppH 7 = [l H = m H = 0, r H = 1) and g t (x) = x ta, a < 0. In this interval τ(x) > 0 and g t (x) = l 1 (l(x) + log t) is increasing in t. As a solution of the functional equation l(x ta ) = l(x) + log t we obtain l(x) = log log x. Then 1 a

12 12 E. I. Pancheva, A. Gacovska-Barandovska τ 7 (x) = c 7 e l(x)/2 = c 7 log x α > 0, α = 1 2 a > 0, c 7 > 0 and H 7 (x) = Φ(c 7 log x α ), x (0, 1), H 7 (0) = Φ(0) = 1/2, H 7 (1) = Φ( ) = 1. b) SuppH 8 = (l H = 0, m H = r H = 1] and g t (x) = x ta, a > 0. Here τ < 0 and g t (x) = h 1 (h(x) log t). The solution of the functional equation h(x ta ) = h(x) log t is now h(x) = 1 a log log x. Then τ 8 (x) = c 8 e h(x)/2 = c 8 log x α, α = 1 2a > 0, c 8 > 0 and H 8 (x) = Φ( c 8 log x α ), x (0, 1), H 8 (0) = Φ( ) = 0, H 8 (1) = Φ(0) = 1/2. Case ii 4 ). SuppH = [1, ) and g t (x) = x ta. The median m H = lim t 0 x ta in this case is m H = 1, hence a > 0. In the interval (l H = m H = 1, ) τ(x) is positive, hence g t (x) = l 1 (l(x) + log t) and we have to solve l(x ta ) = l(x) + log t for x > 1, a > 0, t > 0. The solution is l(x) = 1 a log(log x). Then τ 9 (x) = c 9 e l(x)/2 = c 9 (log x) α > 0, α = 1 2a > 0, c 9 > 0, and H 9 (x) = Φ(c 9 (log x) α ), x (1, ), H 9 (1) = Φ(0) = 1/2, H 9 ( ) = Φ( ) = 1. Case ii 5 ). SuppH = (, 0) and g t (x) = x ta. Here m H = lim t 0 x ta = 1, hence a > 0. For x (, 1) τ(x) is negative, thus g t (x) = h 1 (h(x) log t) where h : (l H, m H ) (, ). For x ( 1, 0) τ(x) is positive and so g t (x) = l 1 (l(x) + log t) where l : (m H, r H ) (, ). The solutions of the functional equations h( x ta ) = h(x) log t, x (, 1) and l( x ta ) = l(x) + log t, x ( 1, 0) are: h(x) = 1 a log log x, resp. l(x) = 1 a log log x. Then τ 10 (x) = c 10 e h(x)/2 = c 10 (log x ) α for x 1, c 10 > 0, α = 1 2a > 0 and τ 10 (x) = c 10 el(x)/2 = c 10 log x α for x ( 1, 0), c 10 > 0. Consequently

13 On limit laws for central order statistics under power normalization 13 H 10 (x) = { Φ( c10 (log x ) α ), x (, 1) Φ(c 10 log x α ), x ( 1, 0). Case ii 6 ). SuppH = ( 1, 1) and g t (x) = x ta sign(x). In this case l H = 1 < m H = 0 < r H = 1 and g t (x) has to be decreasing in t for x (l H, m H ) and increasing in t for x (m H, r H ). Hence a < 0. For x ( 1, 0) τ(x) < 0 and g t (x) = h 1 (h(x) log t). For x (0, 1) τ(x) > 0 and g t (x) = l 1 (l(x) + log t). We have to solve the functional equations h( x ta ) = h(x) log t, x ( 1, 0) and l(x ta ) = l(x) + log t, x (0, 1). The solutions are respectively h(x) = 1 1 a log log x and l(x) = a log log x. Denote α = 1 2 a > 0. Consequently: τ 11 (x) = c 11 e h(x)/2 = c 11 log x α for x ( 1, 0) c 11 > 0, and τ 11 (x) = c 11 el(x)/2 = c 11 log x α for x (0, 1), c 11 > 0. Finally we obtain the explicit form of the limit distribution H 11, namely H 11 (x) = { Φ( c11 log x α ), x ( 1, 0) Φ(c 11 log x α ), x (0, 1). Case ii 7 ). SuppH = (0, ) and g t (x) = x ta. Again, from the monotonicity properties of g t (x) we conclude that a > 0 and m H = 1. As solutions of the corresponding functional equations h(x ta ) = h(x) log t, x (0, 1) and l(x ta ) = l(x) + log t, x (1, ) we obtain h(x) = 1 a log log x and l(x) = 1 a log(log x) respectively. Put now α = 1 2a > 0 and observe that τ 12 (x) = c 12 e h(x)/2 = c 12 log x α for x (0, 1), c 12 > 0, and τ 12 (x) = c 12 el(x)/2 = c 12 (log x)α for x 1, c 12 > 0. Finally we obtain the explicit form of the last limit distribution H 12, namely H 12 (x) = { Φ( c12 log x α ), x (0, 1) Φ(c 12 (log x)α ), x 1. At the end of this section let us gather all results concerning the model described

14 14 E. I. Pancheva, A. Gacovska-Barandovska above in the following Theorem 4. Let F be a continuous df. Assume that the limit relation F kn,n (G n (x)) = P ( G n 1 (X kn,n) < x ) w n H(x) holds for a non-degenerate df H, where i) {G n } is a regular norming sequence which corresponding function g t in (4) satisfies the boundary conditions BC1 and BC2; ii) {k n } is a sequence of integers satisfying the condition ( kn n θ) n 0 for a θ (0, 1). Then the limit df H belongs to one of the following 12 limit classes: { Φ( c1 x H 1 (x) = ), 1, x < 0 x 0 ; α > 0, c 1 > 0. { 0, H 2 (x) = Φ(c 2 x α ), x < 0 x 0 ; α > 0, c 2 > 0. { Φ( c3 x H 3 (x) = ), Φ(c 3 xα ), x < 0 x 0 ; α, c 3, c 3 > 0. { Φ( c4 (log x ) H 4 (x) = ), 1, x < 1 x 1 ; α > 0, c 4 > 0. 0, x < 1 H 5 (x) = Φ(c 5 log x α ), 1 x < 0 1, x 0 ; α > 0, c 5 > 0. H 6 (x) = H 7 (x) = H 8 (x) = 0, x < 1 Φ( c 6 log x α ), 1 x < 0 1, x 0 0, x < 0 Φ(c 7 log x α ), 0 x < 1 1, x 1 0, x < 0 Φ( c 8 log x α ), 0 x < 1 1, x 1 ; α > 0, c 6 > 0. ; α > 0, c 7 > 0. ; α > 0, c 8 > 0.

15 On limit laws for central order statistics under power normalization 15 { 0, x < 1 H 9 (x) = Φ(c 9 (log x) α ), x 1 ; α > 0, c 9 > 0. Φ( c 10 (log x ) α ), x < 1 H 10 (x) = H 11 = H 12 = Φ(c 10 log x α ), 1 x < 0 1, x 0 0, x < 1 Φ( c 11 log x α ), 1 x < 0 Φ(c 11 log x α ), 0 x < 1 1, x 1 0, x < 0 Φ( c 12 log x α ), 0 x < 1 Φ(c 12 (log x)α ), x 1 ; α, c 10, c 10 > 0. ; α, c 11, c 11 > 0. ; α, c 12, c 12 > 0. In their paper (2011) Barakat and Omar wrote:... power normalization and linear normalization of central order statistics are leading to the same families of limit df s. The theorem above contains limit dfs for power normalization such as the dfs H 10, H 11 or H 12 which do not belong to the family of limit dfs for linear normalization. We leave to the reader to check that the limit dfs in Theorem 4 have non-empty domain of attraction. 4. Conclusions We have seen that the class of a limit law depends on the solution of functional equation (5). Let us consider the possibilities for τ(x) = Φ 1 H(x): for x (l H, m H ) < τ(x) < 0 or τ(x) ; for x (m H, r H ) 0 < τ(x) < or τ(x) 0 or τ(x). Formally, these possibilities result in 6 different combinations, namely 1. < τ(x) < 0 for x (l H, m H ) and 0 < τ(x) < for x (m H, r H ), 2. < τ(x) < 0 for x (l H, m H ) and τ(x) for x (m H, r H ), 3. τ(x) for x (l H, m H ) and 0 < τ(x) < for x (m H, r H ), 4. < τ(x) < 0 for x (l H, m H ) and τ(x) 0 for x (m H, r H ), 5. τ(x) for x (l H, m H ) and τ(x) 0 for x (m H, r H ), 6. τ(x) for x (l H, m H ) and τ(x) for x (m H, r H ). Let us go bottom-up. The last case 6 is of no interest for us since it corresponds to a degenerate df H. Case 5 can not appear if using power normalization since {g t } can not act as a translation group. In case 4 SuppH is a disconnected set,

16 16 E. I. Pancheva, A. Gacovska-Barandovska namely SuppH = (l H, m H )+{r H } which case is impossible if using regular norming sequences. Case 3 results in a df H with jump 1/2 at l H = m H, continuous and strictly increasing on (l H, r H ). In case 2 the limit df H has a jump 1/2 at r H = m H being continuous and strictly increasing on (l H, r H ). Case 1 leads to an everywhere continuous df H. Note, with a power transformation p(x) = b x a sign(x), a and b positive, one can not transform e.g. SuppH 5 = ( 1, 0) to SuppH 7 = (0, 1) although H 5 and H 7 both belong to case 3. On the other hand, there is always a mapping g GMA which transforms into each other two distributions of the same form (case). Consequently, the limit df s of Theorem 4 give rise to 12 different limit classes. They all belong to 3 different g-types described in cases 1, 2 and 3 above. 5. Acknowledgment The authors are grateful to the anonymous referee for his valuable remarks. R E F E R E N C E S 1. Balkema A. A., de Haan L., Limit distributions for order statistics I, Theory Probab. Appl., 23(1), 1978, (p ). 2. Balkema A. A., de Haan L., Limit distributions for order statistics II, Theory Probab. Appl., 23(1), 1978, (p ). 3. Balkema A. A., New power limits for extremes, EXTREMES, 16, 2013, (p ). 4. Pancheva E., Gacovska A., Asymptotic behaviour of central order statistics under monotone normalization, Theory Probab. Appl., 28(1), 2013, (p ). 5. Smirnov N. V., Limit distributions for the terms of a variational series, Tr. Mat. Inst. Steklov, Barakat H. M., Omar A. R., Limit theorems for intermediate and central order statistics under nonlinear normalization, J. Statist. Plann. Inference, 141, 2011, (p ).

17 On limit laws for central order statistics under power normalization 17 E. I. Pancheva Institute of Mathematics and Informatics, BAS, Acad. G. Bonchev Str., Bl. 8, 113 Sofia, Bulgaria A. Gacovska-Barandovska Institute of Mathematics, Faculty of Natural Sciences and Mathematics, Ss. Cyril and Methodius University, Gazi Baba, bb Skopje, Macedonia

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

The Mean Value Theorem

The Mean Value Theorem The Mean Value Theorem THEOREM (The Extreme Value Theorem): If f is continuous on a closed interval [a, b], then f attains an absolute maximum value f(c) and an absolute minimum value f(d) at some numbers

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

INTRODUCTORY SET THEORY

INTRODUCTORY SET THEORY M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

Practice with Proofs

Practice with Proofs Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

More information

2.3 Convex Constrained Optimization Problems

2.3 Convex Constrained Optimization Problems 42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

More information

15 Limit sets. Lyapunov functions

15 Limit sets. Lyapunov functions 15 Limit sets. Lyapunov functions At this point, considering the solutions to ẋ = f(x), x U R 2, (1) we were most interested in the behavior of solutions when t (sometimes, this is called asymptotic behavior

More information

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

More information

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

More information

Note on some explicit formulae for twin prime counting function

Note on some explicit formulae for twin prime counting function Notes on Number Theory and Discrete Mathematics Vol. 9, 03, No., 43 48 Note on some explicit formulae for twin prime counting function Mladen Vassilev-Missana 5 V. Hugo Str., 4 Sofia, Bulgaria e-mail:

More information

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of Rou-Huai Wang 1. Introduction In this note we consider semistable

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

More information

Direct Methods for Solving Linear Systems. Matrix Factorization

Direct Methods for Solving Linear Systems. Matrix Factorization Direct Methods for Solving Linear Systems Matrix Factorization Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin City University c 2011

More information

Lecture 13 Linear quadratic Lyapunov theory

Lecture 13 Linear quadratic Lyapunov theory EE363 Winter 28-9 Lecture 13 Linear quadratic Lyapunov theory the Lyapunov equation Lyapunov stability conditions the Lyapunov operator and integral evaluating quadratic integrals analysis of ARE discrete-time

More information

24. The Branch and Bound Method

24. The Branch and Bound Method 24. The Branch and Bound Method It has serious practical consequences if it is known that a combinatorial problem is NP-complete. Then one can conclude according to the present state of science that no

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

Stochastic Inventory Control

Stochastic Inventory Control Chapter 3 Stochastic Inventory Control 1 In this chapter, we consider in much greater details certain dynamic inventory control problems of the type already encountered in section 1.3. In addition to the

More information

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity MA4001 Engineering Mathematics 1 Lecture 10 Limits and Dr. Sarah Mitchell Autumn 2014 Infinite limits If f(x) grows arbitrarily large as x a we say that f(x) has an infinite limit. Example: f(x) = 1 x

More information

ON SOME ANALOGUE OF THE GENERALIZED ALLOCATION SCHEME

ON SOME ANALOGUE OF THE GENERALIZED ALLOCATION SCHEME ON SOME ANALOGUE OF THE GENERALIZED ALLOCATION SCHEME Alexey Chuprunov Kazan State University, Russia István Fazekas University of Debrecen, Hungary 2012 Kolchin s generalized allocation scheme A law of

More information

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for Higher-Order Adjacent Derivative

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Random graphs with a given degree sequence

Random graphs with a given degree sequence Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.

More information

Rolle s Theorem. q( x) = 1

Rolle s Theorem. q( x) = 1 Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

CHAPTER 7 GENERAL PROOF SYSTEMS

CHAPTER 7 GENERAL PROOF SYSTEMS CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes

More information

TOPIC 4: DERIVATIVES

TOPIC 4: DERIVATIVES TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Fuzzy Differential Systems and the New Concept of Stability

Fuzzy Differential Systems and the New Concept of Stability Nonlinear Dynamics and Systems Theory, 1(2) (2001) 111 119 Fuzzy Differential Systems and the New Concept of Stability V. Lakshmikantham 1 and S. Leela 2 1 Department of Mathematical Sciences, Florida

More information

H/wk 13, Solutions to selected problems

H/wk 13, Solutions to selected problems H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.

More information

1 The Concept of a Mapping

1 The Concept of a Mapping Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 1 The Concept of a Mapping The concept of a mapping (aka function) is important throughout mathematics. We have been dealing

More information

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 425, PRACTICE FINAL EXAM SOLUTIONS. MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

1 Introduction, Notation and Statement of the main results

1 Introduction, Notation and Statement of the main results XX Congreso de Ecuaciones Diferenciales y Aplicaciones X Congreso de Matemática Aplicada Sevilla, 24-28 septiembre 2007 (pp. 1 6) Skew-product maps with base having closed set of periodic points. Juan

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

Degree Hypergroupoids Associated with Hypergraphs

Degree Hypergroupoids Associated with Hypergraphs Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

More information

Homework # 3 Solutions

Homework # 3 Solutions Homework # 3 Solutions February, 200 Solution (2.3.5). Noting that and ( + 3 x) x 8 = + 3 x) by Equation (2.3.) x 8 x 8 = + 3 8 by Equations (2.3.7) and (2.3.0) =3 x 8 6x2 + x 3 ) = 2 + 6x 2 + x 3 x 8

More information

Solving Linear Systems, Continued and The Inverse of a Matrix

Solving Linear Systems, Continued and The Inverse of a Matrix , Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

Principle of Data Reduction

Principle of Data Reduction Chapter 6 Principle of Data Reduction 6.1 Introduction An experimenter uses the information in a sample X 1,..., X n to make inferences about an unknown parameter θ. If the sample size n is large, then

More information

Nonparametric adaptive age replacement with a one-cycle criterion

Nonparametric adaptive age replacement with a one-cycle criterion Nonparametric adaptive age replacement with a one-cycle criterion P. Coolen-Schrijner, F.P.A. Coolen Department of Mathematical Sciences University of Durham, Durham, DH1 3LE, UK e-mail: Pauline.Schrijner@durham.ac.uk

More information

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0,

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0, Homework #02, due 1/27/10 = 9.4.1, 9.4.2, 9.4.5, 9.4.6, 9.4.7. Additional problems recommended for study: (9.4.3), 9.4.4, 9.4.9, 9.4.11, 9.4.13, (9.4.14), 9.4.17 9.4.1 Determine whether the following polynomials

More information

Class Meeting # 1: Introduction to PDEs

Class Meeting # 1: Introduction to PDEs MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x

More information

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

More information

Handout #1: Mathematical Reasoning

Handout #1: Mathematical Reasoning Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

More information

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH 31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

Metric Spaces. Chapter 1

Metric Spaces. Chapter 1 Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

More information

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

More information

Reducibility of Second Order Differential Operators with Rational Coefficients

Reducibility of Second Order Differential Operators with Rational Coefficients Reducibility of Second Order Differential Operators with Rational Coefficients Joseph Geisbauer University of Arkansas-Fort Smith Advisor: Dr. Jill Guerra May 10, 2007 1. INTRODUCTION In this paper we

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000

More information

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

More information

The Heat Equation. Lectures INF2320 p. 1/88

The Heat Equation. Lectures INF2320 p. 1/88 The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem

FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem Opuscula Mathematica Vol. 32 No. 4 2012 http://dx.doi.org/10.7494/opmath.2012.32.4.751 FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS Mateusz Nikodem Abstract. We develop the problem of fault-tolerant

More information

Adaptive Online Gradient Descent

Adaptive Online Gradient Descent Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

More information

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian Pasquale

More information

The sum of digits of polynomial values in arithmetic progressions

The sum of digits of polynomial values in arithmetic progressions The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: stoll@iml.univ-mrs.fr

More information

Degrees that are not degrees of categoricity

Degrees that are not degrees of categoricity Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara

More information

3. Mathematical Induction

3. Mathematical Induction 3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)

More information

s-convexity, model sets and their relation

s-convexity, model sets and their relation s-convexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM-2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

An example of a computable

An example of a computable An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

Lecture 4: BK inequality 27th August and 6th September, 2007

Lecture 4: BK inequality 27th August and 6th September, 2007 CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound

More information

Concentration inequalities for order statistics Using the entropy method and Rényi s representation

Concentration inequalities for order statistics Using the entropy method and Rényi s representation Concentration inequalities for order statistics Using the entropy method and Rényi s representation Maud Thomas 1 in collaboration with Stéphane Boucheron 1 1 LPMA Université Paris-Diderot High Dimensional

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Local periods and binary partial words: An algorithm

Local periods and binary partial words: An algorithm Local periods and binary partial words: An algorithm F. Blanchet-Sadri and Ajay Chriscoe Department of Mathematical Sciences University of North Carolina P.O. Box 26170 Greensboro, NC 27402 6170, USA E-mail:

More information

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-enumeration DEGREES MARIYA I. SOSKOVA AND IVAN N. SOSKOV 1. Introduction One of the most basic measures of the complexity of a

More information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

arxiv:1112.0829v1 [math.pr] 5 Dec 2011

arxiv:1112.0829v1 [math.pr] 5 Dec 2011 How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly

More information

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +... 6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence

More information

1 Completeness of a Set of Eigenfunctions. Lecturer: Naoki Saito Scribe: Alexander Sheynis/Allen Xue. May 3, 2007. 1.1 The Neumann Boundary Condition

1 Completeness of a Set of Eigenfunctions. Lecturer: Naoki Saito Scribe: Alexander Sheynis/Allen Xue. May 3, 2007. 1.1 The Neumann Boundary Condition MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 11: Laplacian Eigenvalue Problems for General Domains III. Completeness of a Set of Eigenfunctions and the Justification

More information

Probability Generating Functions

Probability Generating Functions page 39 Chapter 3 Probability Generating Functions 3 Preamble: Generating Functions Generating functions are widely used in mathematics, and play an important role in probability theory Consider a sequence

More information

15. Symmetric polynomials

15. Symmetric polynomials 15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.

More information

About the inverse football pool problem for 9 games 1

About the inverse football pool problem for 9 games 1 Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

More information

SCORE SETS IN ORIENTED GRAPHS

SCORE SETS IN ORIENTED GRAPHS Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in

More information

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand Notes V General Equilibrium: Positive Theory In this lecture we go on considering a general equilibrium model of a private ownership economy. In contrast to the Notes IV, we focus on positive issues such

More information

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

More information

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, 112612, UAE

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, 112612, UAE International Journal of Pure and Applied Mathematics Volume 101 No. 3 2015, 401-405 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v101i3.7

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

Linear Equations in One Variable

Linear Equations in One Variable Linear Equations in One Variable MATH 101 College Algebra J. Robert Buchanan Department of Mathematics Summer 2012 Objectives In this section we will learn how to: Recognize and combine like terms. Solve

More information

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra 54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue

More information

Rend. Istit. Mat. Univ. Trieste Suppl. Vol. XXX, 111{121 (1999) Fuzziness in Chang's Fuzzy Topological Spaces Valentn Gregori and Anna Vidal () Summary. - It is known that fuzziness within the concept

More information

Cartesian Products and Relations

Cartesian Products and Relations Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

More information