Search Results

Haar Measure on the Cantor Ternary Set
The purpose of this thesis is to examine certain questions concerning the Cantor ternary set. The second chapter deals with proving that the Cantor ternary set is equivalent to the middle thirds set of [0,1], closed, compact, and has Lebesgue measure zero. Further a proof that the Cantor ternary set is a locally compact, Hausdorff topological group is given. The third chapter is concerned with establishing the existence of a Haar integral on certain topological groups. In particular if G is a locally compact and Hausdorff topological group, then there is a non-zero translation invariant positive linear form on G. The fourth chapter deals with proving that for any Haar integral I on G there exists a unique Haar measure on G that represents I.
Properties of Power Series Rings
This thesis investigates some of the properties of power series rings. The material is divided into three chapters. In Chapter I, some of the basic concepts of rings which are a prerequisite to an understanding of the definitions and theorems which follow are stated. Simple properties of power series rings are developed in Chapter II. Many properties of a ring R are preserved when we attach the indeterminant x to form the power series ring R[[x]]. Further results of power series rings are examined in Chapter III. An important result illustrated in this chapter is that power series rings possess some of the properties of rings of polynomials.
Ádám's Conjecture and Its Generalizations
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.
Hyperspaces of Continua
Several properties of Hausdorff continua are considered in this paper. However, the major emphasis is on developing the properties of the hyperspaces 2x and C(X) of a Hausdorff continuum X. Preliminary definitions and notation are introduced in Chapter I. Chapters II and III deal with the topological structure of the hyperspaces and the concept of topological convergence. Properties of 2x and C(X) are investigated in Chapter IV, while Chapters V and VI are devoted to the Hausdorff continuum X. Chapter VII consists of theorems pertaining to Whitney maps and order arcs in 2x. Examples of C(X) are provided in Chapter VIII. Inverse sequences of Hausdorff continua and of their hyperspaces are considered in Chapter IX.
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.
Explicit Multidimensional Solitary Waves
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.
Homotopies and Deformation Retracts
This paper introduces the background concepts necessary to develop a detailed proof of a theorem by Ralph H. Fox which states that two topological spaces are the same homotopy type if and only if both are deformation retracts of a third space, the mapping cylinder. The concepts of homotopy and deformation are introduced in chapter 2, and retraction and deformation retract are defined in chapter 3. Chapter 4 develops the idea of the mapping cylinder, and the proof is completed. Three special cases are examined in chapter 5.
The Use of the Power Method to Find Dominant Eigenvalues of Matrices
This paper is the result of a study of the power method to find dominant eigenvalues of square matrices. It introduces ideas basic to the study and shows the development of the power method for the most well-behaved matrices possible, and it explores exactly which other types of matrices yield to the power method. The paper also discusses a type of matrix typically considered impossible for the power method, along with a modification of the power method which works for this type of matrix. It gives an overview of common extensions of the power method. The appendices contain BASIC versions of the power method and its modification.
Algebraic Number Fields
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.
A Continuous, Nowhere-Differentiable Function with a Dense Set of Proper Local Extrema
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.
Duals and Reflexivity of Certain Banach Spaces
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 Eulerian Functions of Cyclic Groups, Dihedral Groups, and P-Groups
In 1935, Philip Hall developed a formula for finding the number of ways of generating the group of symmetries of the icosahedron from a given number of its elements. In doing so, he defined a generalized Eulerian function. This thesis uses Hall's generalized Eulerian function to calculate generalized Eulerian functions for specific groups, namely: cyclic groups, dihedral groups, and p- groups.
Weak and Norm Convergence of Sequences in Banach Spaces
We study weak convergence of sequences in Banach spaces. In particular, we compare the notions of weak and norm convergence. Although these modes of convergence usually differ, we show that in ℓ¹ they coincide. We then show a theorem of Rosenthal's which states that if {𝓍ₙ} is a bounded sequence in a Banach space, then {𝓍ₙ} has a subsequence {𝓍'ₙ} satisfying one of the following two mutually exclusive alternatives; (i) {𝓍'ₙ} is weakly Cauchy, or (ii) {𝓍'ₙ} is equivalent to the unit vector basis of ℓ¹.
The Cohomology for the Nil Radical of a Complex Semisimple Lie Algebra
Let g be a complex semisimple Lie algebra, Vλ an irreducible g-module with high weight λ, pI a standard parabolic subalgebra of g with Levi factor £I and nil radical nI, and H*(nI, Vλ) the cohomology group of Λn'I ⊗Vλ. We describe the decomposition of H*(nI, Vλ) into irreducible £1-modules.
The Torus Does Not Have a Hyperbolic Structure
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.
Convergence of Conditional Expectation Operators and the Compact Range Property
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.
Existence and Multiplicity of Solutions for Semilinear Elliptic Boundary Value Problems
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.
Concerning Integral Approximations of Bounded Finitely Additive Set Functions
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.
Overrings of an Integral Domain
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.
Steepest Descent for Partial Differential Equations of Mixed Type
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.
Uniqueness of Positive Solutions for Elliptic Dirichlet Problems
In this paper we consider the question of uniqueness of positive solutions for Dirichlet problems of the form - Δ u(x)= g(λ,u(x)) in B, u(x) = 0 on ϑB, where A is the Laplace operator, B is the unit ball in RˆN, and A>0. We show that if g(λ,u)=uˆ(N+2)/(N-2) + λ, that is g has "critical growth", then large positive solutions are unique. We also prove uniqueness of large solutions when g(λ,u)=A f(u) with f(0) < 0, f "superlinear" and monotone. We use a number of methods from nonlinear functional analysis such as variational identities, Sturm comparison theorems and methods of order. We also present a regularity result on linear elliptic equation where a coefficient has critical growth.
Weakly Dense Subsets of Homogeneous Complete Boolean Algebras
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), i.e., the weak density of a homogeneous complete Boolean algebra B is at least as big as the cellularity. Also in this chapter, we introduce discernible sets. We prove that a discernible set of cardinality no greater than c(B) cannot be weakly dense. In chapter VI, we prove the main result of this dissertation, i.e., d(B) ≤ min(2^< wd(B),sup{λ^c(B): λ < wd(B)}). In chapter VII, we list some unsolved problems concerning this dissertation.
Sufficient Conditions for Uniqueness of Positive Solutions and Non Existence of Sign Changing Solutions for Elliptic Dirichlet Problems
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.
Topics in Fractal Geometry
In this dissertation, we study fractal sets and their properties, especially the open set condition, Hausdorff dimensions and Hausdorff measures for certain fractal constructions.
Minimality of the Special Linear Groups
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∞.
Universal Branched Coverings
In this paper, the study of k-fold branched coverings for which the branch set is a stratified set is considered. First of all, the existence of universal k-fold branched coverings over CW-complexes with stratified branch set is proved using Brown's Representability Theorem. Next, an explicit construction of universal k-fold branched coverings over manifolds is given. Finally, some homotopy and homology groups are computed for some specific examples of Universal k-fold branched coverings.
Natural Smooth Measures on the Leaves of the Unstable Manifold of Open Billiard Dynamical Systems
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.
π-regular Rings
The dissertation focuses on the structure of π-regular (regular) rings.
Aspects of Universality in Function Iteration
This work deals with some aspects of universal topological and metric dynamic behavior of iterated maps of the interval.
Generalized Function Solutions to Nonlinear Wave Equations with Distribution Initial Data
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.
Multifractal Measures
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.
Polish Spaces and Analytic Sets
A Polish space is a separable topological space that can be metrized by means of a complete metric. A subset A of a Polish space X is analytic if there is a Polish space Z and a continuous function f : Z —> X such that f(Z)= A. After proving that each uncountable Polish space contains a non-Borel analytic subset we conclude that there exists a universally measurable non-Borel set.
On Groups of Positive Type
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.
The Continuous Wavelet Transform and the Wave Front Set
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.
Countable Additivity, Exhaustivity, and the Structure of Certain Banach Lattices
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.
Existence of a Sign-Changing Solution to a Superlinear Dirichlet Problem
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.
Steepest Sescent on a Uniformly Convex Space
This paper contains four main ideas. First, it shows global existence for the steepest descent in the uniformly convex setting. Secondly, it shows existence of critical points for convex functions defined on uniformly convex spaces. Thirdly, it shows an isomorphism between the dual space of H^{1,p}[0,1] and the space H^{1,q}[0,1] where p > 2 and {1/p} + {1/q} = 1. Fourthly, it shows how the Beurling-Denny theorem can be extended to find a useful function from H^{1,p}[0,1] to L_{p}[1,0] where p > 2 and addresses the problem of using that function to establish a relationship between the ordinary and the Sobolev gradients. The paper contains some numerical experiments and two computer codes.
A Topological Uniqueness Result for the Special Linear Groups
The goal of this paper is to establish the dependency of the topology of a simple Lie group, specifically any of the special linear groups, on its underlying group structure. The intimate relationship between a Lie group's topology and its algebraic structure dictates some necessary topological properties, such as second countability. However, the extent to which a Lie group's topology is an "algebraic phenomenon" is, to date, still not known.
A Numerical Method for Solving Singular Differential Equations Utilizing Steepest Descent in Weighted Sobolev Spaces
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.
Tensor Products of Banach Spaces
Tensor products of Banach Spaces are studied. An introduction to tensor products is given. Some results concerning the reciprocal Dunford-Pettis Property due to Emmanuele are presented. Pelczyriski's property (V) and (V)-sets are studied. It will be shown that if X and Y are Banach spaces with property (V) and every integral operator from X into Y* is compact, then the (V)-subsets of (X⊗F)* are weak* sequentially compact. This in turn will be used to prove some stronger convergence results for (V)-subsets of C(Ω,X)*.
Continuous, Nowhere-Differentiable Functions with no Finite or Infinite One-Sided Derivative Anywhere
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.
Primitive Substitutive Numbers are Closed under Rational Multiplication
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.
Using Steepest Descent to Find Energy-Minimizing Maps Satisfying Nonlinear Constraints
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 gradients are explored. A theorem relating the B-gradient to the theory of Lagrange multipliers is stated as well. Basic theorems regarding the continuous steepest descent given by the Sobolev and B-gradients are stated in Chapter 4, and conditions for convergence in the application to the liquid crystal problem are given as well. Finally, in Chapter 5, the algorithm is described and numerical results are examined.
Cycles and Cliques in Steinhaus Graphs
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.
Plane Curves, Convex Curves, and Their Deformation Via the Heat Equation
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.
Property (H*) and Differentiability in Banach Spaces
A continuous convex function on an open interval of the real line is differentiable everywhere except on a countable subset of its domain. There has been interest in the problem of characterizing those Banach spaces where the continuous functions exhibit similar differentiability properties. In this paper we show that if a Banach space E has property (H*) and B_E• is weak* sequentially compact, then E is an Asplund space. In the case where the space is weakly compactly generated, it is shown that property (H*) is equivalent for the space to admit an equivalent Frechet differentiable norm. Moreover, we define the SH* spaces, show that every SH* space is an Asplund space, and show that every weakly sequentially complete SH* space is reflexive. Also, we study the relation between property (H*) and the asymptotic norming property (ANP). By a slight modification of the ANP we define the ANP*, and show that if the dual of a Banach spaces has the ANP*-I then the space admits an equivalent Fréchet differentiability norm, and that the ANP*-II is equivalent to the space having property (H*) and the closed unit ball of the dual is weak* sequentially compact. Also, we show that in the dual of a weakly countably determined Banach space all the ANP-K'S are equivalent, and they are equivalent for the predual to have property (H*).
Descriptions and Computation of Ultrapowers in L(R)
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.
Applications of Rapidly Mixing Markov Chains to Problems in Graph Theory
In this dissertation the results of Jerrum and Sinclair on the conductance of Markov chains are used to prove that almost all generalized Steinhaus graphs are rapidly mixing and an algorithm for the uniform generation of 2 - (4k + 1,4,1) cyclic Mendelsohn designs is developed.
Characterizations of Some Combinatorial Geometries
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.
Physical Motivation and Methods of Solution of Classical Partial Differential Equations
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.
Back to Top of Screen