ONE DIMENSIONAL BROWNIAN MOTION WITH HOLDING AND JUMPING BOUNDARY

Let a particle start at some point in the unit interval I := [0, 1] and undergo Brownian motion in I until it hits one of the end points. At this instant the particle stays put for a finite holding time with an exponential distribution and then jumps back to a point inside I with a probability density μ0 or μ1 parametrized by the boundary point it was from. The process starts afresh. The same evolution repeats independently each time. Many probabilistic aspects of this diffusion process are investigated in the paper [10]. The authors in the cited paper call this process diffusion with holding and jumping (DHJ). Our simple aim in this paper is to analyze the eigenvalues of a nonlocal boundary problem arising from this process.

On the continuity of lattice isomorphisms on C(X, I)

We investigate topological conditions on a compact Hausdorff space Y, such that any lattice isomorphism φ : C(X, I) → C(Y, I), where X is a compact Hausdorff space and I is the unit interval [0, 1], is continuous. It is shown that in either of cases that the set of G δ points of Y has a dense pseudocompact subset or Y does not contain the Stone-Čech compactification of ℕ, such a lattice isomorphism is a homeomorphism.

On approximation by random Lüroth expansions

In this paper, we employ a random dynamical systems approach to study generalized Lüroth series expansions of numbers in the unit interval. We prove that for each [Formula: see text] with [Formula: see text] Lebesgue almost all numbers in [Formula: see text] have uncountably many universal generalized Lüroth series expansions with digits less than or equal to [Formula: see text], so expansions in which each possible block of digits occurs. In particular this means that Lebesgue almost all [Formula: see text] have uncountably many universal generalized Lüroth series expansions using finitely many digits only. For [Formula: see text] we show that typically the speed of convergence to an irrational number [Formula: see text] of the corresponding sequence of Lüroth approximants is equal to that of the standard Lüroth approximants. For other rational values of [Formula: see text] we use stationary measures to study the typical speed of convergence of the approximants and the digit frequencies.

Càdlàg Functions

This chapter considers the space D of functions on the unit interval that are continuous on the right and with left limits, known as càdlàg functions. D contains and extends the space C, but is nonseparable under the uniform metric so to work with it calls for new techniques. By defining a new topology for D (the Skorokhod topology), families of measures on D can be constructed and sufficient conditions for weak convergence of partial sum processes specified.

Measures on Metric Spaces

This chapter lays the foundations for functional limit theory, considering the case of general metric spaces from a topological standpoint. The issues of separability and measurability and techniques for assigning measures in metric spaces are then discussed, developing tools to replace the methods of characteristic functions and the inversion theorem used for real sequences. The key cases of function spaces are studied and in particular the case C of continuous functions on the unit interval. Weiner measure (Brownian motion) is defined as the leading case of a measure on C.

Integral representations for local dilogarithm and trilogarithm functions

We show new integral representations for dilogarithm and trilogarithm functions on the unit interval. As a consequence, we also prove (1) new integral representations for Apéry, Catalan constants and Legendre \(\chi\) functions of order 2, 3, (2) a lower bound for the dilogarithm function on the unit interval, (3) new Euler sums.

Dimension spectra of lines1

This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp ( L ) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim ( a , b ) is equal to the effective packing dimension Dim ( a , b ), then sp ( L ) contains a unit interval. We also show that, if the dimension dim ( a , b ) is at least one, then sp ( L ) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite.

Assessing Proof Reading Comprehension Using Summaries

In this paper, we explore the role of mathematical proof summaries as a tool for capturing students’ reading comprehension of a given proof. We present an interview study based on mathematicians’ pairwise evaluations of student-produced summaries of a proof demonstrating the uncountability of the open unit interval. We present a thematic analysis, exploring features of mathematicians’ pairwise decision-making and their priorities in evaluating summaries. We argue that the students’ proof summaries shared several properties with traditional modes of proof-writing and were frequently evaluated against similar conventions. We consider the consequences for research and practice with proof comprehension and conclude that proof summaries have the potential to form the basis of a new approach to assessment in this area.