UNT Libraries - Browse


Characterizations of Some Combinatorial Geometries

Description: We give several characterizations of partition lattices and projective geometries. Most of these characterizations use characteristic polynomials. A geometry is nonโ€”splitting if it cannot be expressed as the union of two of its proper flats. A geometry G is upper homogeneous if for all k, k = 1, 2, ... , r(G), and for every pair x, y of flats of rank k, the contraction G/x is isomorphic to the contraction G/y. Given a signed graph, we define a corresponding signedโ€”graphic geometry. We give a characterization of supersolvable signed graphs. Finally, we give the following characterization of nonโ€”splitting supersolvable signed-graphic geometries : If a non-splitting supersolvable ternary geometry does not contain the Reid geometry as a subgeometry, then it is signedโ€”graphic.
Date: August 1992
Creator: Yoon, Young-jin

The Computation of Ultrapowers by Supercompactness Measures

Description: The results from this dissertation are a computation of ultrapowers by supercompactness measures and concepts related to such measures. The second chapter gives an overview of the basic ideas required to carry out the computations. Included are preliminary ideas connected to measures, and the supercompactness measures. Order type results are also considered in this chapter. In chapter III we give an alternate characterization of 2 using the notion of iterated ordinal measures. Basic facts related to this characterization are also considered here. The remaining chapters are devoted to finding bounds fwith arguments taking place both inside and outside the ultrapowers. Conditions related to the upper bound are given in chapter VI.
Date: August 1999
Creator: Smith, John C.

A Continuous, Nowhere-Differentiable Function with a Dense Set of Proper Local Extrema

Description: In this paper, we use the following scheme to construct a continuous, nowhere-differentiable function ๐‘“ which is the uniform limit of a sequence of sawtooth functions ๐‘“โ‚™ : [0, 1] โ†’ [0, 1] with increasingly sharp teeth. Let ๐‘‹ = [0, 1] x [0, 1] and ๐น(๐‘‹) be the Hausdorff metric space determined by ๐‘‹. We define contraction maps ๐‘คโ‚ , ๐‘คโ‚‚ , ๐‘คโ‚ƒ on ๐‘‹. These maps define a contraction map ๐‘ค on ๐น(๐‘‹) via ๐‘ค(๐ด) = ๐‘คโ‚(๐ด) โ‹ƒ ๐‘คโ‚‚(๐ด) โ‹ƒ ๐‘คโ‚ƒ(๐ด). The iteration under ๐‘ค of the diagonal in ๐‘‹ defines a sequence of graphs of continuous functions ๐‘“โ‚™. Since ๐‘ค is a contraction map in the compact metric space ๐น(๐‘‹), ๐‘ค has a unique fixed point. Hence, these iterations converge to the fixed point-which turns out to be the graph of our continuous, nowhere-differentiable function ๐‘“. Chapter 2 contains the background we will need to engage our task. Chapter 3 includes two results from the Baire Category Theorem. The first is the well known fact that the set of continuous, nowhere-differentiable functions on [0,1] is a residual set in ๐ถ[0,1]. The second fact is that the set of continuous functions on [0,1] which have a dense set of proper local extrema is residual in ๐ถ[0,1]. In the fourth and last chapter we actually construct our function and prove it is continuous, nowhere-differentiable and has a dense set of proper local extrema. Lastly we iterate the set {(0,0), (1,1)} under ๐‘ค and plot its points. Any terms not defined in Chapters 2 through 4 may be found in [2,4]. The same applies to the basic properties of metric spaces which have not been explicitly stated. Throughout, we will let ๐’ฉ and ๐•ฝ denote the natural numbers and the real numbers, respectively.
Date: December 1993
Creator: Huggins, Mark C. (Mark Christopher)

Continuous, Nowhere-Differentiable Functions with no Finite or Infinite One-Sided Derivative Anywhere

Description: In this paper, we study continuous functions with no finite or infinite one-sided derivative anywhere. In 1925, A. S. Beskovitch published an example of such a function. Since then we call them Beskovitch functions. This construction is presented in chapter 2, The example was simple enough to clear the doubts about the existence of Besicovitch functions. In 1932, S. Saks showed that the set of Besicovitch functions is only a meager set in C[0,1]. Thus the Baire category method for showing the existence of Besicovitch functions cannot be directly applied. A. P. Morse in 1938 constructed Besicovitch functions. In 1984, Maly revived the Baire category method by finding a non-empty compact subspace of (C[0,1], || โ€ข ||) with respect to which the set of Morse-Besicovitch functions is comeager.
Date: December 1994
Creator: Lee, Jae S. (Jae Seung)

The Continuous Wavelet Transform and the Wave Front Set

Description: In this paper I formulate an explicit wavelet transform that, applied to any distribution in S^1(R^2), yields a function on phase space whose high-frequency singularities coincide precisely with the wave front set of the distribution. This characterizes the wave front set of a distribution in terms of the singularities of its wavelet transform with respect to a suitably chosen basic wavelet.
Date: December 1993
Creator: Navarro, Jaime

Countable Additivity, Exhaustivity, and the Structure of Certain Banach Lattices

Description: The notion of uniform countable additivity or uniform absolute continuity is present implicitly in the Lebesgue Dominated Convergence Theorem and explicitly in the Vitali-Hahn-Saks and Nikodym Theorems, respectively. V. M. Dubrovsky studied the connection between uniform countable additivity and uniform absolute continuity in a series of papers, and Bartle, Dunford, and Schwartz established a close relationship between uniform countable additivity in ca(ฮฃ) and operator theory for the classical continuous function spaces C(K). Numerous authors have worked extensively on extending and generalizing the theorems of the preceding authors. Specifically, we mention Bilyeu and Lewis as well as Brooks and Drewnowski, whose efforts molded the direction and focus of this paper. This paper is a study of the techniques used by Bell, Bilyeu, and Lewis in their paper on uniform exhaustivity and Banach lattices to present a Banach lattice version of two important and powerful results in measure theory by Brooks and Drewnowski. In showing that the notions of exhaustivity and continuity take on familiar forms in certain Banach lattices of measures they show that these important measure theory results follow as corollaries of the generalized Banach lattice versions. This work uses their template to generalize results established by Bator, Bilyeu, and Lewis.
Date: August 1999
Creator: Huff, Cheryl Rae

Cycles and Cliques in Steinhaus Graphs

Description: In this dissertation several results in Steinhaus graphs are investigated. First under some further conditions imposed on the induced cycles in steinhaus graphs, the order of induced cycles in Steinhaus graphs is at most [(n+3)/2]. Next the results of maximum clique size in Steinhaus graphs are used to enumerate the Steinhaus graphs having maximal cliques. Finally the concept of jumbled graphs and Posa's Lemma are used to show that almost all Steinhaus graphs are Hamiltonian.
Date: December 1994
Creator: Lim, Daekeun

Descriptions and Computation of Ultrapowers in L(R)

Description: The results from this dissertation are an exact computation of ultrapowers by measures on cardinals $\aleph\sb{n},\ n\in w$, in $L(\IR$), and a proof that ordinals in $L(\IR$) below $\delta\sbsp{5}{1}$ represented by descriptions and the identity function with respect to sequences of measures are cardinals. An introduction to the subject with the basic definitions and well known facts is presented in chapter I. In chapter II, we define a class of measures on the $\aleph\sb{n},\ n\in\omega$, in $L(\IR$) and derive a formula for an exact computation of the ultrapowers of cardinals by these measures. In chapter III, we give the definitions of descriptions and the lowering operator. Then we prove that ordinals represented by descriptions and the identity function are cardinals. This result combined with the fact that every cardinal $<\delta\sbsp{5}{1}$ in $L(\IR$) is represented by a description (J1), gives a characterization of cardinals in $L(\IR$) below $\delta\sbsp{5}{1}. Concrete examples of formal computations are shown in chapter IV.
Date: August 1995
Creator: Khafizov, Farid T.

Existence of a Sign-Changing Solution to a Superlinear Dirichlet Problem

Description: We study the existence, multiplicity, and nodal structure of solutions to a superlinear elliptic boundary value problem. Under specific hypotheses on the superlinearity, we show that there exist at least three nontrivial solutions. A pair of solutions are of one sign (positive and negative respectively), and the third solution changes sign exactly once. Our technique is variational, i.e., we study the critical points of the associated action functional to find solutions. First, we define a codimension 1 submanifold of a Sobolev space . This submanifold contains all weak solutions to our problem, and in our case, weak solutions are also classical solutions. We find nontrivial solutions which are local minimizers of our action functional restricted to various subsets of this submanifold. Additionally, if nondegenerate, the one-sign solutions are of Morse index 1 and the sign-changing solution has Morse index 2. We also establish that the action level of the sign-changing solution is bounded below by the sum of the two lesser levels of the one-sign solutions. Our results extend and complement the findings of Z. Q. Wang ([W]). We include a small sample of earlier works in the general area of superlinear elliptic boundary value problems.
Date: August 1995
Creator: Neuberger, John M. (John Michael)

A Generalization of Sturmian Sequences: Combinatorial Structure and Transcendence

Description: We investigate a class of minimal sequences on a finite alphabet Ak = {1,2,...,k} having (k - 1)n + 1 distinct subwords of length n. These sequences, originally defined by P. Arnoux and G. Rauzy, are a natural generalization of binary Sturmian sequences. We describe two simple combinatorial algorithms for constructing characteristic Arnoux-Rauzy sequences (one of which is new even in the Sturmian case). Arnoux-Rauzy sequences arising from fixed points of primitive morphisms are characterized by an underlying periodic structure. We show that every Arnoux-Rauzy sequence contains arbitrarily large subwords of the form V^2+ฮต and, in the Sturmian case, arbitrarily large subwords of the form V^3+ฮต. Finally, we prove that an irrational number whose base b-digit expansion is an Arnoux-Rauzy sequence is transcendental.
Date: August 1998
Creator: Risley, Rebecca N.

Generalized Function Solutions to Nonlinear Wave Equations with Distribution Initial Data

Description: In this study, we consider the generalized function solutions to nonlinear wave equation with distribution initial data. J. F. Colombeau shows that the initial value problem u_tt - ฮ”u = F(u); m(x,0) = U_0; u_t (x,0) = i_1 where the initial data u_0 and u_1 are generalized functions, has a unique generalized function solution u. Here we take a specific F and specific distributions u_0, u_1 then inspect the generalized function representatives for the initial value problem solution to see if the generalized function solution is a distribution or is more singular. Using the numerical technics, we show for specific F and specific distribution initial data u_0, u_1, there is no distribution solution.
Date: August 1996
Creator: Kim, Jongchul

Intuition versus Formalization: Some Implications of Incompleteness on Mathematical Thought

Description: This paper describes the tension between intuition about number theory and attempts to formalize it. I will first examine the root of the dilemma, Godel's First Incompleteness Theorem, which demonstrates that in any reasonable formalization of number theory, there will be independent statements. After proving the theorem, I consider some of its consequences on intuition, focusing on Freiling's "Dart Experiment" which is based on our usual notion of the real numbers as a line. This experiment gives an apparent refutation of the Axiom of Choice and the Continuum Hypothesis; however, it also leads to an equally apparent paradox. I conclude that such paradoxes are inevitable as the formalization of mathematics takes us further from our initial intuitions.
Date: August 1994
Creator: Lindman, Phillip A. (Phillip Anthony)

Minimality of the Special Linear Groups

Description: Let F denote the field of real numbers, complex numbers, or a finite algebraic extension of the p-adic field. We prove that the special linear group SLn(F) with the usual topology induced by F is a minimal topological group. This is accomplished by first proving the minimality of the upper triangular group in SLn(F). The proof for the upper triangular group uses an induction argument on a chain of upper triangular subgroups and relies on general results for locally compact topological groups, quotient groups, and subgroups. Minimality of SLn(F) is concluded by appealing to the associated Lie group decomposition as the product of a compact group and an upper triangular group. We also prove the universal minimality of homeomorphism groups of one dimensional manifolds, and we give a new simple proof of the universal minimality of Sโˆž.
Date: December 1997
Creator: Hayes, Diana Margaret

Multifractal Measures

Description: The purpose of this dissertation is to introduce a natural and unifying multifractal formalism which contains the above mentioned multifractal parameters, and gives interesting results for a large class of natural measures. In Part 2 we introduce the proposed multifractal formalism and study it properties. We also show that this multifractal formalism gives natural and interesting results when applied to (nonrandom) graph directed self-similar measures in Rd and "cookie-cutter" measures in R. In Part 3 we use the multifractal formalism introduced in Part 2 to give a detailed discussion of the multifractal structure of random (and hence, as a special case, non-random) graph directed self-similar measures in R^d.
Date: May 1994
Creator: Olsen, Lars

Natural Smooth Measures on the Leaves of the Unstable Manifold of Open Billiard Dynamical Systems

Description: In this paper, we prove, for a certain class of open billiard dynamical systems, the existence of a family of smooth probability measures on the leaves of the dynamical system's unstable manifold. These measures describe the conditional asymptotic behavior of forward trajectories of the system. Furthermore, properties of these families are proven which are germane to the PYC programme for these systems. Strong sufficient conditions for the uniqueness of such families are given which depend upon geometric properties of the system's phase space. In particular, these results hold for a fairly nonrestrictive class of triangular configurations of scatterers.
Date: December 1998
Creator: Richardson, Peter A. (Peter Adolph), 1955-

A Numerical Method for Solving Singular Differential Equations Utilizing Steepest Descent in Weighted Sobolev Spaces

Description: We develop a numerical method for solving singular differential equations and demonstrate the method on a variety of singular problems including first order ordinary differential equations, second order ordinary differential equations which have variational principles, and one partial differential equation.
Date: August 1995
Creator: Mahavier, William Ted

On Groups of Positive Type

Description: We describe groups of positive type and prove that a group G is of positive type if and only if G admits a non-trivial partition. We completely classify groups of type 2, and present examples of other groups of positive type as well as groups of type zero.
Date: August 1995
Creator: Moore, Monty L.

Physical Motivation and Methods of Solution of Classical Partial Differential Equations

Description: We consider three classical equations that are important examples of parabolic, elliptic, and hyperbolic partial differential equations, namely, the heat equation, the Laplace's equation, and the wave equation. We derive them from physical principles, explore methods of finding solutions, and make observations about their applications.
Date: August 1995
Creator: Thompson, Jeremy R. (Jeremy Ray)

Plane Curves, Convex Curves, and Their Deformation Via the Heat Equation

Description: We study the effects of a deformation via the heat equation on closed, plane curves. We begin with an overview of the theory of curves in R3. In particular, we develop the Frenet-Serret equations for any curve parametrized by arc length. This chapter is followed by an examination of curves in R2, and the resultant adjustment of the Frenet-Serret equations. We then prove the rotation index for closed, plane curves is an integer and for simple, closed, plane curves is ยฑ1. We show that a curve is convex if and only if the curvature does not change sign, and we prove the Isoperimetric Inequality, which gives a bound on the area of a closed curve with fixed length. Finally, we study the deformation of plane curves developed by M. Gage and R. S. Hamilton. We observe that convex curves under deformation remain convex, and simple curves remain simple.
Date: August 1998
Creator: Debrecht, Johanna M.