Search Results

Ideals in Quadratic Number Fields
The purpose of this thesis is to investigate the properties of ideals in quadratic number fields, A field F is said to be an algebraic number field if F is a finite extension of R, the field of rational numbers. A field F is said to be a quadratic number field if F is an extension of degree 2 over R. The set 1 of integers of R will be called the rational integers.
Ideals in Semigroups
This thesis investigates ideals in semigroups.
Improper Integrals
In this paper a definitions shall be given for different types of improper integrals and several theorems concerning them shall be proved.
Inequalities and Set Function Integrals
This thesis investigates some inequalities and some relationships between function properties and integral properties.
Infinitary Combinatorics and the Spreading Models of Banach Spaces
Spreading models have become fundamental to the study of asymptotic geometry in Banach spaces. The existence of spreading models in every Banach space, and the so-called good sequences which generate them, was one of the first applications of Ramsey theory in Banach space theory. We use Ramsey theory and other techniques from infinitary combinatorics to examine some old and new questions concerning spreading models and good sequences. First, we consider the lp spreading model problem which asks whether a Banach space contains lp provided that every spreading model of a normalized block basic sequence of the basis is isometrically equivalent to lp. Next, using the Hindman-Milliken-Taylor theorem, we prove a new stabilization theorem for spreading models which produces a basic sequence all of whose normalized constant coefficient block basic sequences are good. When the resulting basic sequence is semi-normalized, all the spreading models generated by the above good sequences must be uniformly equivalent to lp or c0. Finally, we investigate the assumption that every normalized block tree on a Banach space has a good branch. This turns out to be a very strong assumption and is equivalent to the space being 1-asymptotic lp. We also show that the stronger assumption that every block basic sequence is good is equivalent to the space being stabilized 1-asymptotic lp.
Infinite Matrices
This paper will be mostly concerned with matrices of infinite order with elements which lie in Hilbert Space. All the properties of real and complex numbers and all the properties of infinite series and infinite sequences that are not listed will be assumed.
Infinite Planar Graphs
How many equivalence classes of geodesic rays does a graph contain? How many bounded automorphisms does a planar graph have? Neimayer and Watkins studied these two questions and answered them for a certain class of graphs. Using the concept of excess of a vertex, the class of graphs that Neimayer and Watkins studied are extended to include graphs with positive excess at each vertex. The results of this paper show that there are an uncountable number of geodesic fibers for graphs in this extended class and that for any graph in this extended class the only bounded automorphism is the identity automorphism.
Infinitely Many Solutions of Semilinear Equations on Exterior Domains
We prove the existence and nonexistence of solutions for the semilinear problem ∆u + K(r)f(u) = 0 with various boundary conditions on the exterior of the ball in R^N such that lim r→∞u(r) = 0. Here f : R → R is an odd locally lipschitz non-linear function such that there exists a β > 0 with f < 0 on (0, β), f > 0 on (β, ∞), and K(r) \equiv r^−α for some α > 0.
Integrability, Measurability, and Summability of Certain Set Functions
The purpose of this paper is to investigate the integrability, measurability, and summability of certain set functions. The paper is divided into four chapters. The first chapter contains basic definitions and preliminary remarks about set functions and absolute continuity. In Chapter i, the integrability of bounded set functions is investigated. The chapter culminates with a theorem that characterizes the transmission of the integrability of a real function of n bounded set functions. In Chapter III, measurability is defined and a characterization of the transmission of measurability by a function of n variables is provided, In Chapter IV, summability is defined and the summability of set functions is investigated, Included is a characterization of the transmission of summability by a function of n variables.
Integrals Defined on a Field of Sets
The purpose of this paper is to define an integral for real-valued functions which are defined on a field of sets and to demonstrate several properties of such an integral.
Integration of Vector Valued Functions
This paper develops an integral for Lebesgue measurable functions mapping from the interval [0, 1] into a Banach space.
Interpolation and Approximation
In this paper, there are three chapters. The first chapter discusses interpolation. Here a theorem about the uniqueness of the solution to the general interpolation problem is proven. Then the problem of how to represent this unique solution is discussed. Finally, the error involved in the interpolation and the convergence of the interpolation process is developed. In the second chapter a theorem about the uniform approximation to continuous functions is proven. Then the best approximation and the least squares approximation (a special case of best approximation) is discussed. In the third chapter orthogonal polynomials as discussed as well as bounded linear functionals in Hilbert spaces, interpolation and approximation and approximation in Hilbert space.
Introduction to the Theory of Games
The purpose of this thesis is to provide a beginning graduate student in mathematics with the general theory underlying competition between rational, intelligent opponents. This competition can be described as a game of opposing strategies; hence, the name game theory.
Intuition versus Formalization: Some Implications of Incompleteness on Mathematical Thought
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.
Invariant Differential Derivations for Modular Reflection Groups
The invariant theory of finite reflection groups has rich connections to geometry, topology, representation theory, and combinatorics. We consider finite reflection groups acting on vector spaces over fields of arbitrary characteristic, where many arguments of classical invariant theory break down. When the characteristic of the underlying field is positive, reflections may be nondiagonalizable. A group containing these so-called transvections has order which is divisible by the characteristic of the underlying field, so is in the modular setting. In this thesis, we examine the action on differential derivations, which include products of differential forms and derivations, and identify the structure of the set of invariants under the action of groups fixing a single hyperplane, groups with maximal transvection root spaces acting on vector spaces over prime fields, as well as special linear groups and general linear groups over finite fields.
An Invariant Integral Over a Compact Topological Group
The purpose of this paper is to develop an invariant integral for a compact topological group and, then to use that integral to prove the fundamental Peter-Weyl Theorem.
Invariants of Polynomials Modulo Frobenius Powers
Rational Catalan combinatorics connects various Catalan numbers to the representation theory of rational Cherednik algebras for Coxeter and complex reflection groups. Lewis, Reiner, and Stanton seek a theory of rational Catalan combinatorics for the general linear group over a finite field. The finite general linear group is a modular reflection group that behaves like a finite Coxeter group. They conjecture a Hilbert series for a space of invariants under the action of this group using (q,t)-binomial coefficients. They consider the finite general linear group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. Often conjectures about reflection groups are solved by considering the local case of a group fixing one hyperplane and then extending via the theory of hyperplane arrangements to the full group. The Lewis, Reiner and Stanton conjecture had not previously been formulated for groups fixing a hyperplane. We formulate and prove their conjecture in this local case.
Inverse Limit Spaces
Inverse systems, inverse limit spaces, and bonding maps are defined. An investigation of the properties that an inverse limit space inherits, depending on the conditions placed on the factor spaces and bonding maps is made. Conditions necessary to ensure that the inverse limit space is compact, connected, locally connected, and semi-locally connected are examined. A mapping from one inverse system to another is defined and the nature of the function between the respective inverse limits, induced by this mapping, is investigated. Certain restrictions guarantee that the induced function is continuous, onto, monotone, periodic, or open. It is also shown that any compact metric space is the continuous image of the cantor set. Finally, any compact Hausdorff space is characterized as the inverse limit of an inverse system of polyhedra.
Invertible Ideals and the Strong Two-Generator Property in Some Polynomial Subrings
Let K be any field and Q be the rationals. Define K^1[X] = {f(X) e K[X]| the coefficient of X in f(X) is zero} and Q^1β[X] = {f(X) e Q[X]| the coefficent of β1(X) in the binomial expansion of f(X) is zero}, where {β1(X)}^∞ i=0 are the well-known binomial polynomials. In this work, I establish the following results: K^1[X] and Q^1β[X] are one-dimensional, Noetherian, non-Prüfer domains with the two-generator property on ideals. Using the unique factorization structure of the overrings K[X] and Q[X], the nonprincipal ideal structures of both rings are characterized, and from this characterization, necessary and sufficient conditions are found for a nonprincipal ideal to be invertible. The nonprincipal invertible ideals are then characterized in terms of the coefficients of the generators, and an explicit formula for the inverse of any proper invertible ideal is found. Finally, the class groups of both rings are shown to be torsion free abelian groups. Let n be any nonnegative integer. Results similar to the above are found in the generalizations of these two rings, K^n[X] and q^nβ[X], where the coefficients on the first n nonconstant basis elements are zero. For the domains K^1[X] and Q^1β[X], the property of strong two-generation is explored in detail and the following results are established: 1. K^1[X] and Q^1β[X] are not strongly two-generated, 2. In either ring, any polynomial with a constant term, or of degree two or three is a strong two-generator. 3. In K^1[X] any polynomial divisible by X^4 is not a strong two-generator, 4. An ideal I in K^1[X] or Q^1β[X] is strongly two-generated if and only if it is invertible.
An Investigation of Points About the Circle of Convergence
This paper will be concerned with the convergence of complex power series.
The Investigation of Some Properties of the Gamma Function
The purpose of this paper is to prove the existence of the Gamma function and to give some other properties of the function.
Irreducible Modules for Yokonuma-Type Hecke Algebras
Yokonuma-type Hecke algebras are a class of Hecke algebras built from a Type A construction. In this thesis, I construct the irreducible representations for a class of generic Yokonuma-type Hecke algebras which specialize to group algebras of the complex reflection groups and to endomorphism rings of certain permutation characters of finite general linear groups.
Iterative Solution of Linear Boundary Value Problems
The investigation is initially a continuation of Neuberger's work on linear boundary value problems. A very general iterative procedure for solution of these problems is described. The alternating-projection theorem of von Neumann is the mathematical starting point for this study. Later theorems demonstrate the validity of numerical approximation for Neuberger's method under certain conditions. A sampling of differential equations within the scope of our iterative method is given. The numerical evidence is that the procedure works well on neutral-state equations, for which no software is written now.
Kleinian Groups in Hilbert Spaces
The theory of discrete groups acting on finite dimensional Euclidean open balls by hyperbolic isometries was borne around the end of 19th century within the works of Fuchs, Klein and Poincaré. We develop the theory of discrete groups acting by hyperbolic isometries on the open unit ball of an infinite dimensional separable Hilbert space. We present our investigations on the geometry of limit sets at the sphere at infinity with an attempt to highlight the differences between the finite and infinite dimensional theories. We discuss the existence of fixed points of isometries and the classification of isometries. Various notions of discreteness that were equivalent in finite dimensions, no longer turn out to be in our setting. In this regard, the robust notion of strong discreteness is introduced and we study limit sets for properly discontinuous actions. We go on to prove a generalization of the Bishop-Jones formula for strongly discrete groups, equating the Hausdorff dimension of the radial limit set with the Poincaré exponent of the group. We end with a short discussion on conformal measures and their relation with Hausdorff and packing measures on the limit set.
The Laplace Transformation
A set of definitions, theorems and proofs to describe the Laplace transformation.
Lattices
Because lattice theory is so vast, the primary purpose of this paper will be to present some of the general properties of lattices, exhibit examples of lattices, and discuss the properties of distributive and modular lattices.
The Lebesgue and Equivalent Integrals
The purpose of this thesis is to present a study of the Lebesgue definite integral, defined in four different ways.
Lebesgue Linear Measure
This paper discusses the concept of a general definition of measure, and shows that the Lebesgue measure satisfies the requirements set forth for the ideal definition.
Lebesgue-Stieltjes Measure and Integration
The purpose of the thesis is to investigate an approach to Lebesgue-Stieltjes measure and integration.
Level Curves of the Angle Function of a Positive Definite Symmetric Matrix
Given a real N by N matrix A, write p(A) for the maximum angle by which A rotates any unit vector. Suppose that A and B are positive definite symmetric (PDS) N by N matrices. Then their Jordan product {A, B} := AB + BA is also symmetric, but not necessarily positive definite. If p(A) + p(B) is obtuse, then there exists a special orthogonal matrix S such that {A, SBS^(-1)} is indefinite. Of course, if A and B commute, then {A, B} is positive definite. Our work grows from the following question: if A and B are commuting positive definite symmetric matrices such that p(A) + p(B) is obtuse, what is the minimal p(S) such that {A, SBS^(-1)} indefinite? In this dissertation we will describe the level curves of the angle function mapping a unit vector x to the angle between x and Ax for a 3 by 3 PDS matrix A, and discuss their interaction with those of a second such matrix.
Linear Algebras
This paper is primarily concerned with the fundamental properties of a linear algebra of finite order over a field. A discussion of linear sets of finite order over a field is used as an introduction to these properties.
Linear and Planar Jordan Content
This paper considers the concept of inner and outer content, which was introduced by Camille Jordan and Giuseppe Peano near the end of the nineteenth century.
Linear First-Order Differential-Difference Equations of Retarded Type with Constant Coefficients
This paper is concerned with equations in which all derivatives are ordinary rather than partial derivatives. The customary meanings of differential order and difference order of an equation are observed.
Linear Operators
This paper is a study of linear operators defined on normed linear spaces. A basic knowledge of set theory and vector spaces is assumed, and all spaces considered have real vector spaces. The first chapter is a general introduction that contains assumed definitions and theorems. Included in this chapter is material concerning linear functionals, continuity, and boundedness. The second chapter contains the proofs of three fundamental theorems of linear analysis: the Open Mapping Theorem, the Hahn-Banach Theorem, and the Uniform Boundedness Principle. The third chapter is concerned with applying some of the results established in earlier chapters. In particular, the concepts of compact operators and Schauder bases are introduced, and a proof that an operator is compact if and only if its adjoint is compact is included. This chapter concludes with a proof of an important application of the Open Mapping Theorem, namely, the Closed Graph Theorem.
Linear Order
This paper will be concerned with some fundamental properties of a line. In particular, fundamental ordering properties of a line segment are covered.
Linear Programming Using the Simplex Method
This thesis examines linear programming problems, the theoretical foundations of the simplex method, and how a liner programming problem can be solved with the simplex method.
Linear Spaces
The purpose of this paper is to present the results of a study of linear spaces with special emphasis of linear transformations, norms, and inner products.
Linear Transformations in Linear Spaces
This thesis is a study of linear spaces and linear transformations in normed linear spaces. The notion of a field, in particular the complex number field, is assumed in this paper.
Localized Radial Solutions for Nonlinear p-Laplacian Equation in RN
We establish the existence of radial solutions to the p-Laplacian equation ∆p u + f(u)=0 in RN, where f behaves like |u|q-1 u when u is large and f(u) < 0 for small positive u. We show that for each nonnegative integer n, there is a localized solution u which has exactly n zeros. Also, we look for radial solutions of a superlinear Dirichlet problem in a ball. We show that for each nonnegative integer n, there is a solution u which has exactly n zeros. Here we give an alternate proof to that which was given by Castro and Kurepa.
The Lp Spaces of Equivalence Classes of Lebesgue Integrable Functions
The purpose of the paper is to prove that the Lp spaces, p ≥ 1, of equivalence classes of functions are Banach spaces.
Lyapunov Exponents, Entropy and Dimension
We consider diffeomorphisms of a compact Riemann Surface. A development of Oseledec's Multiplicative Ergodic Theorem is given, along with a development of measure theoretic entropy and dimension. The main result, due to L.S. Young, is that for certain diffeomorphisms of a surface, there is a beautiful relationship between these three concepts; namely that the entropy equals dimension times expansion.
Manifolds, Vector Bundles, and Stiefel-Whitney Classes
The problem of embedding a manifold in Euclidean space is considered. Manifolds are introduced in Chapter I along with other basic definitions and examples. Chapter II contains a proof of the Regular Value Theorem along with the "Easy" Whitney Embedding Theorem. In Chapter III, vector bundles are introduced and some of their properties are discussed. Chapter IV introduces the Stiefel-Whitney classes and the four properties that characterize them. Finally, in Chapter V, the Stiefel-Whitney classes are used to produce a lower bound on the dimension of Euclidean space that is needed to embed real projective space.
Mathematical Modeling of Charged Liquid Droplets: Numerical Simulation and Stability Analysis
The goal of this thesis is to study of the evolution of 3D electrically charged liquid droplets of fluid evolving under the influence of surface tension and electrostatic forces. In the first part of the thesis, an appropriate mathematical model of the problem is introduced and the linear stability analysis is developed by perturbing a sphere with spherical harmonics. In the second part, the numerical solution of the problem is described with the use of the boundary elements method (BEM) on an adaptive mesh of triangular elements. The numerical method is validated by comparison with exact solutions. Finally, various numerical results are presented. These include neck formation in droplets, the evolution of surfaces with holes, singularity formation on droplets with various symmetries and numerical evidence that oblate spheroids are unstable.
Maximum Likelihood Estimation of Logistic Sinusoidal Regression Models
We consider the problem of maximum likelihood estimation of logistic sinusoidal regression models and develop some asymptotic theory including the consistency and joint rates of convergence for the maximum likelihood estimators. The key techniques build upon a synthesis of the results of Walker and Song and Li for the widely studied sinusoidal regression model and on making a connection to a result of Radchenko. Monte Carlo simulations are also presented to demonstrate the finite-sample performance of the estimators
The Maximum Size of Combinatorial Geometries Excluding Wheels and Whirls as Minors
We show that the maximum size of a geometry of rank n excluding the (q + 2)-point line, the 3-wheel W_3, and the 3-whirl W^3 as minor is (n - 1)q + 1, and geometries of maximum size are parallel connections of (q + 1)-point lines. We show that the maximum size of a geometry of rank n excluding the 5-point line, the 4-wheel W_4, and the 4-whirl W^4 as minors is 6n - 5, for n ≥ 3. Examples of geometries having rank n and size 6n - 5 include parallel connections of the geometries V_19 and PG(2,3).
Maximum-Sized Matroids with no Minors Isomorphic to U2,5, F7, F7¯, OR P7
Let M be the class of simple matroids which do not contain the 5-point line U2,5 , the Fano plane F7 , the non-Fano plane F7- , or the matroid P7 , as minors. Let h(n) be the maximum number of points in a rank-n matroid in M. We show that h(2)=4, h(3)=7, and h(n)=n(n+1)/2 for n>3, and we also find all the maximum-sized matroids for each rank.
The Mean Integral
The purpose of this paper is to examine properties of the mean integral. The mean integral is compared with the regular integral. If [a;b] is an interval, f is quasicontinuous on [a;b] and g has bounded variation on [a;b], then the man integral of f with respect to g exists on [a;b]. The following theorem is proved. If [a*;b*] and [a;b] each is an interval and h is a function from [a*;b*] into R, then the following two statements are equivalent: 1) If f is a function from [a;b] into [a*;b*], gi is a function from [a;b] into R with bounded variation and (m)∫^b_afdg exists then (m)∫^b_ah(f)dg exists. 2) h is continuous.
Means and Mean Value Theorems
This study covers means, mean value theorems of the differential calculus, and mean value theorems of integral calculus.
Measurable Selection Theorems for Partitions of Polish Spaces into Gδ Equivalence Classes
Let X be a Polish space and Q a measurable partition of X into Gδ equivalence classes. In 1978, S. M. Srivastava proved the existence of a Borel cross section for Q. He asked whether more can be concluded in case each equivalence class is uncountable. This question is answered here in the affirmative. The main result of the author is a proof that shows the existence of a Castaing Representation for Q.
Measure Functions
This thesis examines measure functions. A measure function has as its domain of definition a class of sets. It also must satisfy a certain additive condition. To state a concise definition of a measure function, it is convenient to define set function and completely additive set function.
Back to Top of Screen