Several Identities Involving the Falling And

Total Page:16

File Type:pdf, Size:1020Kb

Several Identities Involving the Falling And Acta Univ. Sapientiae, Mathematica, 8, 2 (2016) 282{297 DOI: 10.1515/ausm-2016-0019 Several identities involving the falling and rising factorials and the Cauchy, Lah, and Stirling numbers Feng Qi Institute of Mathematics, Henan Polytechnic University, China College of Mathematics, Inner Mongolia University for Nationalities, China Department of Mathematics, College of Science, Tianjin Polytechnic University, China email: [email protected] Xiao-Ting Shi Fang-Fang Liu Department of Mathematics, Department of Mathematics, College of Science, College of Science, Tianjin Polytechnic University, China Tianjin Polytechnic University, China email: [email protected] email: [email protected] Abstract. In the paper, the authors find several identities, including a new recurrence relation for the Stirling numbers of the first kind, in- volving the falling and rising factorials and the Cauchy, Lah, and Stirling numbers. 1 Notation and main results It is known that, for x 2 R, the quantities x(x - 1) ··· (x - n + 1); n ≥ 1 n-1 Γ(x + 1) hxin = = (x - `) = 1; n = 0 Γ(x - n + 1) `=0 Y 2010 Mathematics Subject Classification: 11B73, 11B83 Key words and phrases: identity, Cauchy number, Lah number, Stirling number, falling factorial, rising factorial, Fa`adi Bruno formula 282 Identities involving Cauchy, Lah, and Stirling numbers 283 and x(x + 1) ··· (x + n - 1); n ≥ 1 n-1 Γ(x + n) (x)n = = (x + `) = 1; n = 0 Γ(x) `=0 Y are respectively called the falling and rising factorials, where n!nz Γ(z) = lim n ; z 2 n f0; -1; -2; : : : g n C k=0(z + k) is the classical gamma!1 function,Q see [1, p. 255, 6.1.2]. For removable singulari- Γ(x+m) ties of the ratio Γ(x+n) for x 2 R and m; n 2 Z, please read [23, Theorem 1.1] and closely related references therein. According to [4, pp. 293{294], there are two kinds of Cauchy numbers which may be defined respectively by 1 1 Cn = hxin d x and cn = (x)n d x: (1) Z0 Z0 The Cauchy numbers Cn and cn play important roles in some fields, such as approximate integrals, the Laplace summation formula, and difference- differential equations, and are also related to some famous numbers such as the Stirling, Bernoulli, and harmonic numbers. For recent conclusions on the Cauchy numbers, please read the papers [17, 18, 21, 30]. It is known that the coefficients expressing rising factorials (x)n in terms of falling factorials hxik are called the Lah numbers, denoted by L(n; k). Precisely speaking, n n n-k (x)n = L(n; k)hxik and hxin = (-1) L(n; k)(x)k: (2) k=1 k=1 X X They can be computed by n - 1n! L(n; k) = k - 1 k! and have an interesting meaning in combinatorics: they count the number of ways a set of n elements can be partitioned into k nonempty linearly ordered subsets. For more and recent results on the Lah numbers L(n; k), please refer to [13, 15, 16]. 284 F. Qi, X.-T. Shi, F. -F. Liu The Stirling numbers of the first kind s(n; k) may be generated by n n k n-k k hxin = s(n; k)x and (x)n = (-1) s(n; k)x : (3) k=0 k=0 X X The combinatorial meaning of the unsigned Stirling numbers of the first kind (-1)n-ks(n; k) can be interpreted as the number of permutations of f1; 2; : : : ; ng with k cycles. Recently there are some new results on the Stirling numbers of the first kind s(n; k) obtained in [17, 20, 21, 22]. An infinitely differentiable function f is said to be completely monotonic on an interval I if it satisfies (-1)nf(n)(x) ≥ 0 for x 2 I and n ≥ 0. See [38, Definition 1.3] and [40, Chapter XII]. An infinitely differentiable function f : I ⊆ (- ; ) [0; ) is called a Bernstein function on I if its derivative f0(t) is completely monotonic on I. See [38, Definition 3.1]. The1 class1 of! completely1 monotonic functions may be characterized by [40, Theorem 12b] which reads that a necessary and sufficient condition that f(x) -xt should be completely monotonic for 0 < x < is that f(x) = 0 e d α(t), where α(t) is non-decreasing and the integral converges for 0 < x < . The R1 Bernstein functions on (0; ) can be characterized1 by the assertion that a function f :(0; ) R is a Bernstein function if and only if it admits1 the representation 1 1 !f(x) = a + bx + 1 - e-xt d µ(t); (4) Z01 where a; b ≥ 0 and µ is a Radon measure on (0; ) satisfying 0 minf1; tg d µ(t) < : See [38, Theorem 3.2]. The triplet (a; b; µ) determines f uniquely and R1 vice versa. The representing measure µ and the1 characteristic triplet (a; b; µ) from1 the expression (4) are often called the L´evymeasure and the L´evytriplet of the Bernstein function f. The formula (4) is called the L´evy-Khintchine representation of f. It was obtained inductively in [32, Lemma 2.1] that the derivatives of the functions 1α h (t) = 1 + ; t > 0; α 2 (-1; 1) α t and h (t) h (t) H (t) = α - α-1 α α α - 1 may be computed by (-1)i 1α i-1 ii - 1 h(i)(t) = 1 + k! (α) tk (5) α ti(1 + t)i t k k i-k k=0 X Identities involving Cauchy, Lah, and Stirling numbers 285 and (-1)i 1α i-1 i + 1i - 1 H(i)(t) = 1 + k! (α) tk; α ti(1 + t)i+1 t k k i-k k=0 X for i 2 N. Consequently, 1. if α 2 (0; 1), the function hα(t) is completely monotonic on (0; ); 2. if α 2 (-1; 0), the function h (t) is a Bernstein function on (0; ); α 1 3. if α 2 (0; 1), the function H (t) is completely monotonic on (0; ). α 1 With the help of [32, Lemma 2.1], it was derived in [32, Theorem 1.1] that the 1 weighted geometric mean λ 1-λ Gx;y;λ(t) = (x + t) (y + t) is a Bernstein function of t > - minfx; yg, where λ 2 (0; 1) and x; y 2 R with x 6= y. For more and detailed information on this topic, please refer to [2, 12, 22, 26, 32, 33, 34, 35, 36, 42] and closely related references therein. In combinatorics, the Bell polynomials of the second kind (also called the partial Bell polynomials) Bn;k(x1; x2; : : : ; xn-k+1) are defined by n-k+1 n! x `i B (x ; x ; : : : ; x ) = i n;k 1 2 n-k+1 n-k+1 i! 1≤i≤n i=1 `i! i=1 `i2Xf0g[N Y n i=1 i`i=n Q n `i=k P i=1 P for n ≥ k ≥ 0, see [4, p. 134, Theorem A]. The Fa`adi Bruno formula may be described in terms of the Bell polynomials of the second kind Bn;k by dn n f ◦ g(x) = f(k)(g(x))B g0(x); g00(x); : : : ; g(n-k+1)(x); (6) d xn n;k k=0 X see [4, p. 139, Theorem C]. The aims of this paper are, by virtue of the famous Fa`adi Bruno formula (6), to find a new form for derivatives of the function hα(t), and then, by comparing this new form with (5), to derive some identities involving the falling and rising factorials and the Cauchy, Lah, and Stirling numbers. Our main results may be summarized up as the following theorem. 286 F. Qi, X.-T. Shi, F. -F. Liu Theorem 1 For i 2 N and α 2 R, i-1 " i-k # (-1)i 1α i - m h(i)(t) = 1 + L(i; m)hαi tk: (7) α ti(1 + t)i t k m k=0 m=1 X X Consequently, the identities 1 n n + k - m (α) = L(n + k; m)hαi ; (8) n n+kn+k-1 k m k! k k m=1 X 1 n n + k - m c = L(n + k; m)C ; (9) n n+kn+k-1 k m k! k k m=1 X 1 n n n + k - m c = (-1)m-` L(n + k; m)L(m; `)c ; n n+kn+k-1 k ` k! k k `=1 m=` X X (10) and (-1)n-` n n + k - m s(n; `) = L(n + k; m)s(m; `) (11) n+kn+k-1 k k! k k m=` X hold for all k; ` ≥ 0 and n 2 N. In next section, we will give a proof of Theorem1. In the final section, we will list some remarks for explaining and interpreting the significance of identities obtained in Theorem1. 2 Proof of Theorem1 Now we are in a position to prove formulas or identities listed in Theorem1. The Bell polynomials of the second kind Bn;k(x1; x2; : : : ; xn-k+1) satisfy 2 n-k+1 k n Bn;k abx1; ab x2; : : : ; ab xn-k+1 = a b Bn;k(x1; x2; : : : ; xn-k+1) (12) and Bn;k(1!; 2!; 3!;:::; (n - k + 1)!) = L(n; k); (13) see [4, p. 135], where a and b are any complex numbers. Identities involving Cauchy, Lah, and Stirling numbers 287 α 1 Taking in (6) f(u) = (1 + u) and u = g(t) = t , employing (12) and (13), interchanging the order of the double sum, and simplifying yield i 1 2! (i - k + 1)! h(i)(t) = hαi (1 + u)α-kB - ; ;:::; (-1)i-k+1 α k i;k t2 t3 ti-k+2 k=1 X i 1α-k 1 1i = hαi 1 + - B (1!; 2!;:::; (i - k + 1)!) k t tk t i;k k=1 X (-1)i 1α i = 1 + L(i; k)hαi (1 + t)i-k ti(1 + t)i t k k=1 X (-1)i 1α i-1 = 1 + L(i; i - m)hαi (1 + t)m ti(1 + t)i t i-m m=0 X (-1)i 1α i-1 k k = 1 + L(i; i - k)hαi tj ti(1 + t)i t i-k j k=0 j=0 X X (-1)i 1α i-1 i-1 k = 1 + L(i; i - k)hαi tj ti(1 + t)i t i-k j j=0 k=j X X (-1)i 1α i-1 i-1 q = 1 + L(i; i - q)hαi tk ti(1 + t)i t i-q k k=0 q=k X X (-1)i 1α i-1 i-k i - m = 1 + L(i; m)hαi tk: ti(1 + t)i t m k k=0 m=1 X X Comparing this with the formula (5) reveals ii - 1 i-k i - m k! (α) = L(i; m)hαi : (14) k k i-k m k m=1 X From this, the identity (8) follows immediately.
Recommended publications
  • Some Integral Inequalities for Operator Monotonic Functions on Hilbert Spaces Received May 6, 2020; Accepted June 24, 2020
    Spec. Matrices 2020; 8:172–180 Research Article Open Access Silvestru Sever Dragomir* Some integral inequalities for operator monotonic functions on Hilbert spaces https://doi.org/10.1515/spma-2020-0108 Received May 6, 2020; accepted June 24, 2020 Abstract: Let f be an operator monotonic function on I and A, B 2 SAI (H) , the class of all selfadjoint op- erators with spectra in I. Assume that p : [0, 1] ! R is non-decreasing on [0, 1]. In this paper we obtained, among others, that for A ≤ B and f an operator monotonic function on I, Z1 Z1 Z1 0 ≤ p (t) f ((1 − t) A + tB) dt − p (t) dt f ((1 − t) A + tB) dt 0 0 0 1 ≤ [p (1) − p (0)] [f (B) − f (A)] 4 in the operator order. Several other similar inequalities for either p or f is dierentiable, are also provided. Applications for power function and logarithm are given as well. Keywords: Operator monotonic functions, Integral inequalities, Čebyšev inequality, Grüss inequality, Os- trowski inequality MSC: 47A63, 26D15, 26D10. 1 Introduction Consider a complex Hilbert space (H, h·, ·i). An operator T is said to be positive (denoted by T ≥ 0) if hTx, xi ≥ 0 for all x 2 H and also an operator T is said to be strictly positive (denoted by T > 0) if T is positive and invertible. A real valued continuous function f (t) on (0, ∞) is said to be operator monotone if f (A) ≥ f (B) holds for any A ≥ B > 0. In 1934, K. Löwner [7] had given a denitive characterization of operator monotone functions as follows: Theorem 1.
    [Show full text]
  • Pathological Real-Valued Continuous Functions
    Pathological Real-Valued Continuous Functions by Timothy Miao A project submitted to the Department of Mathematical Sciences in conformity with the requirements for Math 4301 (Honour's Seminar) Lakehead University Thunder Bay, Ontario, Canada copyright c (2013) Timothy Miao Abstract We look at continuous functions with pathological properties, in particular, two ex- amples of continuous functions that are nowhere differentiable. The first example was discovered by K. W. T. Weierstrass in 1872 and the second by B. L. Van der Waerden in 1930. We also present an example of a continuous strictly monotonic function with a vanishing derivative almost everywhere, discovered by Zaanen and Luxemburg in 1963. i Acknowledgements I would like to thank Razvan Anisca, my supervisor for this project, and Adam Van Tuyl, the course coordinator for Math 4301. Without their guidance, this project would not have been possible. As well, all the people I have learned from and worked with from the Department of Mathematical Sciences at Lakehead University have contributed to getting me to where I am today. Finally, I am extremely grateful for the support that my family has given during all of my education. ii Contents Abstract i Acknowledgements ii Chapter 1. Introduction 1 Chapter 2. Continuity and Differentiability 2 1. Preliminaries 2 2. Sequences of functions 4 Chapter 3. Two Continuous Functions that are Nowhere Differentiable 6 1. Example given by Weierstrass (1872) 6 2. Example given by Van der Waerden (1930) 10 Chapter 4. Monotonic Functions and their Derivatives 13 1. Preliminaries 13 2. Some notable theorems 14 Chapter 5. A Strictly Monotone Function with a Vanishing Derivative Almost Everywhere 18 1.
    [Show full text]
  • The Fixed-Point Theorem 8 March 2013 Lecturer: Andrew Myers
    CS 6110 Lecture 21 The Fixed-Point Theorem 8 March 2013 Lecturer: Andrew Myers We saw that the semantics of the while command are a fixed point. We also saw that intuitively, the semantics are the limit of a series of approximations capturing a finite number of iterations of the loop, and giving a result of ? for greater numbers of iterations. In order to take a limit, we need greater structure, which led us to define partial orders. But ordering is not enough. 1 Complete partial orders (CPOs) Least upper bounds Given a partial order (S; v), and a subset B ⊆ S, y is an upper bound of B iff 8x 2 B:x v y. In addition, y is a least upper bound iff y is an upper bound and y v z for all upper bounds z of B. We may abbreviate “least upper bound” as LUB or lub. We notate the LUB of a subset B as F B. We may also make this an infix operator, F F writing i21::m xi = x1 t ::: t xm = fxigi21::m. This is also known as the join of elements x1; : : : ; xm. Chains A chain is a pairwise comparable sequence of elements from a partial order (i.e., elements x0; x1; x2 ::: F such that x0 v x1 v x2 v :::). For any finite chain, its LUB is its last element (e.g., xi = xn). Infinite chains (!-chains, i.e. indexed by the natural numbers) may also have LUBs. Complete partial orders A complete partial order (CPO)1 is a partial order in which every chain has a least upper bound.
    [Show full text]
  • Fixpoints and Applications
    H250: Honors Colloquium – Introduction to Computation Fixpoints and Applications Marius Minea [email protected] Fixpoint Definition Given f : X → X, a fixpoint (fixed point) of f is a value c with f (c) = c. A function may have 0, 1, or many fixpoints. Examples: fixpoint for a real-valued function: intersection with y = x fixpoint for a permutation of 1 .. n Think of the function as a transformation (which may be repeated) Fixpoint: no change Intuitive Examples All-pairs shortest paths in graph Simpler: Path relation in graph Questions: When do such computations terminate? How to express this with fixpoints? Partially Ordered Sets Recall: partial order on a set: reflexive antisymmetric transitive A set A together with a partial order v on A is called a partially ordered set (poset) hA, vi Lattices Many familiar partial orders have additional properties: - any two elements have a unique least upper bound (join t) least x with a v x and b v x - any two elements have a unique greatest lower bound (meet u) A poset with these properties is called a lattice. Inductively: any finite set has a least upper / greatest lower bound. Complete lattice: any subset has least upper/greatest lower bound. =⇒ lattice has a top > and bottom ⊥ element. Iterating a function Define f n(x) = f ◦ f ◦ ... ◦ f (x). | {z } n times On a finite set, iteration will - close a cycle, or - reach a fixpoint (particular case) For an infinite set, iteration may be infinite (none of the above) Monotonic Functions Given a poset hS, vi, a function f : S → S is monotonic if it is either - increasing, ∀x∀y : x v y → f (x) v f (y) - decreasing, ∀x∀y : x v y → f (x) w f (y) Knaster-Tarski Fixpoint Theorem A monotonic function on a complete lattice has a least fixpoint and a greatest fixpoint.
    [Show full text]
  • Monotonic Restrictions
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF MATHEnlATICAL ANALYSIS AND APPLICATIONS 41, 384-390 (1973) Monotonic Restrictions CATHERINE V. SMALLWOOD Department of Mathematics, Polytechnic of North London, London, England Submitted by Leon Mirsky 1. In 1935 Erdijs and Szekeres [3] proved that every real sequence of ns + 1 terms possessesa monotonic subsequenceof 71+ 1 terms. (In fact, this result is best possible.) The theorem was subsequently proved very simply by Seidenberg [5] and, more recently, by Blackwell [2]. It implies that every real sequenceof n terms has a monotonic subsequenceof at least dn terms. Thus, every finite sequence of real numbers contains a comparatively long monotonic subsequence.The question naturally arises whether a similar result holds for infinite sequences.Although, of course, every infinite sequence of real numbers contains an infinite monotonic subsequence,we shall see that there are sequencesall of whose monotonic subsequencesare very sparse, with “density function” much less than l/dn. In Section 2 we investigate an analogous problem for real valued functions on an interval. We again find that these may possessonly very small “sets of monotonicity”, though the precise formulation of results depends on the class of functions considered. THEOREM 1. Let fi , fi , f. ,... be a sequence of positive functions on (1,2, 3,...) such that, for each r, fr(n) + co as n -+ co. Then there exists a sequence S of real numberswith the property that, ;f T is any monotonic sub- sequence of S and VT(n) is the number of elements of T amongthejrst n elements of S, w-+0 as n+c0 f An) for I = 1,2,..
    [Show full text]
  • Some Properties of the Set of Discontinuity Points of a Monotonic Function of Several Variables
    Folia Mathematica Acta Universitatis Lodziensis Vol. 11, No. 1, pp. 53–57 c 2004 for University ofL´od´zPress SOME PROPERTIES OF THE SET OF DISCONTINUITY POINTS OF A MONOTONIC FUNCTION OF SEVERAL VARIABLES WANDA LINDNER‡ Abstract. In the note [1] the neccesary and sufficient condition for a set E ⊂ R2 to be the set of discontinuity points for some nondecreasing function f : R2 → R has been proved. The problem of the similar characterization for the function of more than two variables is still open. This paper provides the neccesary condition for the set E ⊂ Rn to be the set of discontinuity points of some nondecreasing function. 1. Introduction n Let x = (x1,x2,...,xn), y = (y1,y2,...,yn) ∈ R . Definition 1. We say, that x ≺ y iff (xi <yi) for every i ∈ {1, 2,...,n}. Definition 2. We say, that x y iff (xi ≤ yi) for every i ∈ {1, 2,...,n}. If one of the following relations occurs: x y or y x we say, that this points are comparable. Definition 3. The function f : Rn → R is called nondecreasing iff for every x, y ∈ Rn x y ⇒ f(x) ≤ f(y). Definition 4. The function f : Rn → R is called increasing iff for every x, y ∈ Rn (x 6= y) ∧ (x y) ⇒ f(x) <f(y). Proposition 1. The function f : Rn → R is nondecreasing (increasing) iff it is nondecreasing (increasing) as the function of one variable, with the others fixed. ‡Technical University ofL´od´z, Institute of Mathematics, Al. Politechniki 11, 90–924 L´od´z. Poland.
    [Show full text]
  • Continuous Random Variables If X Is a Random Variable (Abbreviated to R.V.) Then Its Cumulative Distribution Function (Abbreviated to C.D.F.) F Is Defined By
    MTH4106 Introduction to Statistics Notes 7 Spring 2012 Continuous random variables If X is a random variable (abbreviated to r.v.) then its cumulative distribution function (abbreviated to c.d.f.) F is defined by F(x) = P(X 6 x) for x in R. We write FX (x) if we need to emphasize the random variable X. (Take care to distinguish between X and x in your writing.) We say that X is a continuous random variable if its cdf F is a continuous function. In this case, F is differentiable almost everywhere, and the probability density function (abbreviated to p.d.f.) f of F is defined by dF f (x) = for x in . dx R Again, we write fX (x) if we need to emphasize X. If a < b and X is continuous then Z b P(a < X 6 b) = F(b) − F(a) = f (x)dx a = P(a 6 X 6 b) = P(a < X < b) = P(a 6 X < b). Moreover, Z x F(x) = f (t)dt −∞ and Z ∞ f (t)dt = 1. −∞ The support of a continuous random variable X is {x ∈ R : fX (x) 6= 0}. 1 The median of X is the solution of F(x) = 2 ; the lower quartile of X is the solution 1 3 of F(x) = 4 ; and the upper quartile of X is the solution of F(x) = 4 . The top decile 1 of X is the solution of F(x) = 9/10; this is the point that separates the top tenth of the distribution from the lower nine tenths.
    [Show full text]
  • B, Be Two Real Numbers and Consider a Function F: La,B[ + ~, T + F(T) and a Point to E La,B[
    APPENDIX I DINI DERIVATIVES AND MONOTONIC FUNCTIONS 1. The Dini Derivatives 1.1. Let a, b, a < b, be two real numbers and consider a function f: la,b[ + ~, t + f(t) and a point to E la,b[. We assume that the reader is familiar with the notions of lim sup f (t) and lim inf f (t) . t .... to t + to The same concepts of lim sup and inf, but for t + to + mean simply that one considers, in the limiting processes, only the values of t > to' A similar meaning is attached to Remember that, without regularity assumptions on f, any lim sup or inf exists if we accept the possible values + 00 or - 00. The extended real line will be designated here­ after by !Ji. Thus~ =!Ji' U {_oo} U {+oo}. The four Dini deriv~tives of f at to are now de­ fined by the following equations: + f (t) - f(tO) D f(tO) lim sup t + t o+ t - to f (t) - f(tO) D+f(t ) lim inf O t - t + t o+ to f (t) - f (to) lim sup t _ t t + t o- 0 346 APPENDIX I: DINI DERIVATIVES AND MONOTONIC FUNCTIONS f(t) - f(tO) D_f (to) = lim inf ____--101- t + t o- t - to They are called respectively the upper right, lower right, upper left and lower left derivatives of f at to' Further, the function t + D+f(t) on ]a,b[ into ~ is called the upper right derivative of f on the interval ]a,b[, and similarly for D+, D- and D.
    [Show full text]
  • A Note on the Main Theorem for Absolutely Monotonic Functions
    On the correctness of the main theorem for absolutely monotonic functions Sitnik S.M. Abstract We prove that the main theorem for absolutely monotonic functions on (0, ∞) from the book Mitrinovi´cD.S., Peˇcari´cJ.E., Fink A.M. "Classical And New Inequalities In Analysis", Kluwer Academic Publishers, 1993, is not valid without additional restrictions. In the classical book [1], chapter XIII, page 365, there is a definition of absolutely monotonic on (0, ∞) functions. Definition. A function f(x) is said to be absolutely monotonic on (0, ∞) if it has derivatives of all orders and k f ( )(x) > 0, x ∈ (0, ∞), k =0, 1, 2,.... (1) For absolutely monotonic functions the next integral representation is essen- tial: ∞ xt f(x)= e dσ(t), (2) Z0 where σ(t) is bounded and nondecreasing and the integral converges for all x ∈ (0, ∞). Also the basic set of inequalities is considered. Let f(x) be an absolutely monotonic function on (0, ∞). Then k k k 2 f ( )(x)f ( +2)(x) > f ( +1)(x) , k =0, 1, 2,.... (3) After this definition in the book [1] the result which we classify as the main theorem for absolutely monotonic functions on (0, ∞) is formulated (theorem 1, page 366). arXiv:1202.1210v2 [math.CA] 15 Aug 2014 The main theorem for absolutely monotonic functions. The above definition (1), integral representation (2) and basic set of inequal- ities (3) are equivalent. It means: (1) ⇔ (2) ⇔ (3). (4) In the book [1] for (1) ⇔ (2) the reference is given to [2], and an equivalence (2) ⇔ (3) is proved, it is in fact a consequence of Chebyschev inequality.
    [Show full text]
  • Integration with Respect to Functions of Unbounded
    INTEGRATION WITH RESPECT TO FUNCTIONS OF UNBOUNDED VARIATION J.K. Brooks - D.Candeloro 31/12/2001 1 Introduction R b In this paper we shall study the problem of constructing an integral (C) a fdg, where f and g are real valued functions defined on an interval [a, b] and g is a continuous function, not necessarily of bounded variation. Of special interest is the case when B is normalized Brownian motion on [0,T ] and g is the continuous Brown- ian sample path B(·, ω). One of our main results is that if f is continuous, then R T f(B(·, ω)) is B(·, ω)−integrable (Definition 5.5) and (C) 0 f(B(t, ω))dB(t, ω) is equal to ((S) R T −0f(B)dB)(ω), the Stratonovitch stochastic integral, for each path ω. Thus for such integrands, a pathwise integration is possible for the Stratonovitch stochastic integral. As a result, if f ∈ C1, then by means of Itˆo’s formula, a pathwise integration R t can be given for (I) 0 f(B)dB, the Itˆo stochastic integral (section 2). The (C) appearing before the above integrals is in honor of R. Caccioppoli, who studied in [1] an integration theory with respect to continuous functions of un- bounded variation. Although Caccioppoli’s paper has serious gaps, he formulated an ingenious approach involving an approximating sequence (gn) of continuous func- tions of bounded variation which converges to g. In our paper we shall present a construction of a “generating sequence” of functions (gn) which occur in [1].
    [Show full text]
  • Single Crossing Differences on Distributions
    Single-Crossing Differences on Distributions∗ Navin Kartiky SangMok Leez Daniel Rappoportx November 2, 2018 Abstract We study when choices among lotteries are monotonic (with respect to some or- der) in an expected-utility agent’s preference parameter or type. The requisite property turns out to be that the expected utility difference between any pair of lotteries is single- crossing in the agent’s type. We characterize the set of utility functions that have this property; we identify the orders over lotteries that generate choice monotonicity for any such utility function. We discuss applications to cheap-talk games, costly signal- ing games, and collective choice problems. Our analysis provides some new results on monotone comparative statics and aggregating single-crossing functions. Keywords: monotone comparative statics, choice under uncertainty, interval equilibria ∗We thank Nageeb Ali, Federico Echenique, Mira Frick, Ben Golub, Ryota Iijima, Ian Jewitt, Alexey Kush- nir, Shuo Liu, Daniele Pennesi, Jacopo Perego, Lones Smith, Bruno Strulovici, and various audiences for helpful comments. yDepartment of Economics, Columbia University. E-mail: [email protected] zDepartment of Economics, Washington University in St. Louis. E-mail: [email protected] xBooth School of Business, University of Chicago. E-mail: [email protected] 1 Contents 1. Introduction3 1.1. Overview.......................................3 1.2. Related Literature..................................6 2. Main Results8 2.1. Single-Crossing Expectational Differences....................8 2.2. Strict Single-Crossing Expectational Differences................ 17 2.3. Monotone Comparative Statics.......................... 17 3. Applications 20 3.1. Cheap Talk with Uncertain Receiver Preferences................ 20 3.2. Collective Choice.................................. 23 3.3. Costly Signaling................................... 25 4. Extensions 28 4.1.
    [Show full text]
  • Sufficient Conditions for Monotone Hazard Rate an Application to Latency-Probability Curves
    JOURNAL OF MATHEMATICAL PSYCHOLOGY 8, 303-332 (1971) Sufficient Conditions for Monotone Hazard Rate An Application to Latency-Probability Curves EWART A. C. THOMAS The University of Michigan, Ann Arbor, Michigan 48104 It is assumed that when a subject makes a response after comparing a random variable with a fixed criterion, his response latency is inversely related to the distance between the value of the variable and the criterion. This paper then examines the relationship to response probability of (a) response latency, (b) difference between two latencies and (c) dispersion of latency, and also some properties of the latency distribu- tion. It is shown that the latency-probability curve is decreasing if and only if the hazard function of the underlying distribution is increasing and, by using a fundamental lemma, sufficient conditions are obtained for monotone hazard rate. An inequality is established which is satisfied by the slope of the Receiver Operating Characteristic under these sufficient conditions. Finally, a Latency Operating Charac- teristic is defined and it is suggested that such a plot can be useful in assessing the consistency between latency data and theory. I. INTRODUCTION Many authors have remarked that an analysis of the response times from a signal detection experiment can yield valuable information about the nature of the detection process (e.g. Carterette, 1966; Green and Lute, 1967; Laming, 1969). The method of such an analysis depends on the assumed detection and response time models, and on the response time statistic being observed, though the dependence on the former is more fundamental than that on the latter.
    [Show full text]