The primary result from this dissertation is following inequality: d(B) ≤ min(2^< wd(B),sup{λ^c(B): λ < wd(B)}) in ZFC, where B is a homogeneous complete Boolean algebra, d(B) is the density, wd(B) is the weak density, and c(B) is the cellularity of B. Chapter II of this dissertation is a general overview of homogeneous complete Boolean algebras. Assuming the existence of a weakly inaccessible cardinal, we give an example of a homogeneous complete Boolean algebra which does not attain its cellularity. In chapter III, we prove that for any integer n > 1, wd_2(B) = wd_n(B). Also in this chapter, we show that if X⊂B is κ—weakly dense for 1 < κ < sat(B), then sup{wd_κ(B):κ < sat(B)} = d(B). In chapter IV, we address the following question: If X is weakly dense in a homogeneous complete Boolean algebra B, does there necessarily exist b € B\{0} such that {x∗b: x ∈ X} is dense in B|b = {c € B: c ≤ b}? We show that the answer is no for collapsing algebras. In chapter V, we give new proofs to some well known results concerning supporting antichains. A direct consequence of these results is the relation c(B) < wd(B), …

Several basic topics from Algebraic Topology, including fundamental group and universal covering space are shown. The hyperbolic plane is defined, including its metric and show what the "straight" lines are in the plane and what the isometries are on the plane. A hyperbolic surface is defined, and shows that the two hole torus is a hyperbolic surface, the hyperbolic plane is a universal cover for any hyperbolic surface, and the quotient space of the universal cover of a surface to the group of automorphisms on the covering space is equivalent to the original surface.

The investigation of the multifractal spectrum of the equilibrium measure for a parabolic rational map with a Lipschitz continuous potential, φ, which satisfies sup φ < P(φ) x∈J(T) is conducted. More specifically, the multifractal spectrum or spectrum of singularities, f(α) is studied.

The purpose of this paper is to explore certain properties of Banach spaces. The first chapter begins with basic definitions, includes examples of Banach spaces, and concludes with some properties of continuous linear functionals. In the second chapter, dimension is discussed; then one version of the Hahn-Banach Theorem is presented. The third chapter focuses on dual spaces and includes an example using co, RI, and e'. The role of locally convex spaces is also explored in this chapter. In the fourth chapter, several more theorems concerning dual spaces and related topologies are presented. The final chapter focuses on reflexive spaces. In the main theorem, the relation between compactness and reflexivity is examined. The paper concludes with an example of a non-reflexive space.

The interplay between generalizations of Riezs' famous representation theorem and Radon-Nikodým type theorems has a long history. This paper will explore certain aspects of the theory of bounded linear operators on continuous function spaces, Radon-Nikodým type properties, and their connections.

The purpose of this paper is to generalize a theorem that characterizes absolute continuity of bounded finitely additive set functions in the form of an integral approximation. We show that his integral exists if the condition of absolute continuity is removed.

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.

This paper examines idam's conjuecture and some of its generalizations. In terms of Adam's conjecture, we prove Alspach and Parson's results f or Zpq and ZP2. More generally, we prove Babai's characterization of the CI-property, Palfy's characterization of CI-groups, and Brand's result for Zpr for polynomial isomorphism's. We also prove for the first time a characterization of the CI-property for 1 SG, and prove that Zn is a CI-Pn-group where Pn is the group of permutation polynomials on Z,, and n is square free.

This dissertation focuses on the properties of a domain which has the property that each ideal is a finite intersection of a π-ideal, the properties of a domain which have the property that each ideal is a finite product of π-ideal, and the containment relations of the resulting classes of ideals. Chapter 1 states definitions which are needed in later chapters. Chapters 2 and 3 focuses on domains which have the property that each ideal in D is a finite intersection of π-ideals while Chapter 4 focuses on domains with the property that each ideal is a finite product of π-ideals. Chapter 5 discusses the containment relations which occur as a result of Chapters 2 and 3.

The aim of this work is the study of the existence and multiplicity of sign changing nonradial solutions to elliptic boundary value problems on annular domains.

This thesis studies the existence, multiplicity, bifurcation and the stability of the solutions to semilinear elliptic boundary value problems. These problems are motivated both by the mathematical structure and the numerous applications in fluid mechanics chemical reactions, nuclear reactors, Riemannian geometry and elasticity theory. This study considers the problem for different classes of nonlinearities and obtain the existence and multiplicity of positive solutions.

The method of steepest descent is applied to a nonlinearly constrained optimization problem which arises in the study of liquid crystals. Let Ω denote the region bounded by two coaxial cylinders of height 1 with the outer cylinder having radius 1 and the inner having radius ρ. The problem is to find a mapping, u, from Ω into R^3 which agrees with a given function v on the surfaces of the cylinders and minimizes the energy function over the set of functions in the Sobolev space H^(1,2)(Ω; R^3) having norm 1 almost everywhere. In the variational formulation, the norm 1 condition is emulated by a constraint function B. The direction of descent studied here is given by a projected gradient, called a B-gradient, which involves the projection of a Sobolev gradient onto the tangent space for B. A numerical implementation of the algorithm, the results of which agree with the theoretical results and which is independent of any strong properties of the domain, is described. In chapter 2, the Sobolev space setting and a significant projection in the theory of Sobolev gradients are discussed. The variational formulation is introduced in Chapter 3, where the issues of differentiability and existence of …

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.

This thesis investigates various theorems on polynomials over the rationals, algebraic numbers, algebraic integers, and quadratic fields. The material selected in this study is more of a number theoretical aspect than that of an algebraic structural aspect. Therefore, the topics of divisibility, unique factorization, prime numbers, and the roots of certain polynomials have been chosen for primary consideration.

In this paper we study the uniqueness of positive solutions as well as the non existence of sign changing solutions for Dirichlet problems of the form $$\eqalign{\Delta u + g(\lambda,\ u) &= 0\quad\rm in\ \Omega,\cr u &= 0\quad\rm on\ \partial\Omega,}$$where $\Delta$ is the Laplace operator, $\Omega$ is a region in $\IR\sp{N}$, and $\lambda>0$ is a real parameter. For the particular function $g(\lambda,\ u)=\vert u\vert\sp{p}u+\lambda$, where $p={4\over N-2}$, and $\Omega$ is the unit ball in $\IR\sp{N}$ for $N\ge3$, we show that there are no sign changing solutions for small $\lambda$ and also we show that there are no large sign changing solutions for $\lambda$ in a compact set. We also prove uniqueness of positive solutions for $\lambda$ large when $g(\lambda,\ u)=\lambda f(u)$, where f is an increasing, sublinear, concave function with f(0) $<$ 0, and the exterior boundary of $\Omega$ is convex. In establishing our results we use a number of methods from non-linear functional analysis such as rescaling arguments, methods of order, estimation near the boundary, and moving plane arguments.

We define and construct bicentric circles with respect to three-sided polygons. Then using inherent properties of these circles, we explore both tangent properties, and areas generated from bicentric circles.

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 …

Lehr (1991) proved that, if M(q, r) denotes the set of real numbers whose expansion in base-r is q-automatic i.e., is recognized by an automaton A = (Aq, Ar, ao, δ, φ) (or is the image under a letter to letter morphism of a fixed point of a substitution of constant length q) then M(q, r) is closed under addition and rational multiplication. Similarly if we let M(r) denote the set of real numbers α whose base-r digit expansion is ultimately primitive substitutive, i.e., contains a tail which is the image (under a letter to letter morphism) of a fixed point of a primitive substitution then in an attempt to generalize Lehr's result we show that the set M(r) is closed under multiplication by rational numbers. We also show that M(r) is not closed under addition.

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.

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.

The method of steepest descent is used to solve partial differential equations of mixed type. In the main hypothesis for this paper, H, L, and S are Hilbert spaces, T: H -> L and B: H -> S are functions with locally Lipshitz Fréchet derivatives where T represents a differential equation and B represents a boundary condition. Define ∅(u) = 1/2 II T(u) II^2. Steepest descent is applied to the functional ∅. A new smoothing technique is developed and applied to Tricomi type equations (which are of mixed type). Finally, the graphical outputs on some test boundary conditions are presented in the table of illustrations.

In this paper we construct explicit examples of solutions to certain nonlinear wave equations. These semilinear equations are the simplest equations known to possess localized solitary waves in more that one spatial dimension. We construct explicit localized standing wave solutions, which generate multidimensional localized traveling solitary waves under the action of velocity boosts. We study the case of two spatial dimensions and a piecewise-linear nonlinearity. We obtain a large subset of the infinite family of standing waves, and we exhibit several interesting features of the family. Our solutions include solitary waves that carry nonzero angular momenta in their rest frames. The spatial profiles of these solutions also furnish examples of symmetry breaking for nonlinear elliptic equations.

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.

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.