Physical Sciences and Mathematics Commons^™

Multipoint Boundary Value Problems For Functional Differential Equations, Paul W. Eloe, Johnny Henderson, Denise Taunton

Mathematics Faculty Publications

No abstract provided.

Stability Properties And Integrability Of The Resolvent Of Linear Volterra Equations, Muhammad Islam, Paul W. Eloe

Mathematics Faculty Publications

Integrability of the resolvent and the stability properties of the zero solution of linear Volterra integrodifferential systems are studied. In particular, it is shown that, the zero solution is uniformly stable if and only if the resolvent is integrable in some sense. It is also shown that, the zero solution is uniformly asymptotically stable if and only if the resolvent is integrable and an additional condition in terms of the resolvent and the kernel is satisfied. Finally, the integrability of the resolvent is obtained under an explicit condition.

Singularity Of Super-Brownian Local Time At A Point Catalyst, Donald A. Dawson, Klaus Fleischmann, Yi Li, Carl Mueller

Mathematics and Statistics Faculty Publications

No abstract provided.

Smooth Densities For Degenerate Stochastic Delay Equations With Hereditary Drift, Denis R. Bell, Salah-Eldin A. Mohammed

Articles and Preprints

We establish the existence of smooth densities for solutions of R^d-valued stochastic hereditary differential systems of the form

dx(t) = H(t,x)dt + g(t, x(t - r))dW(t).

In the above equation, W is an n-dimensional Wiener process, r is a positive time delay, H is a nonanticipating functional defined on the space of paths in R^d and g is an n x d matrix-valued function defined on [0, ∞) x R^d, such that gg^* has …

An Exploration Of Doubly Transitive Designs In Affine Space, Michelle Persons

Honors Theses, 1963-2015

Through a combination of linear algebra, geometry, and algebraic structures, one can prove that certain families of geometric designs have groups of automorphisms that are doubly transitive. These geometric designs can be defined as edge colorings of complete graphs. Automorphisms of these geometric designs are permutations of the vertices of the graphs, which are also permutations of the colors of the edges such that given two edges of the same color, their images are also the same color. All cases considered are on the vector space Fn for a field F and the group of automorphisms is a subgroup of …

Singular Boundary Value Problems For Quasi-Differential Equations, Paul W. Eloe, Johnny Henderson

Mathematics Faculty Publications

Solutions are obtained of boundary value problems for Lny+f(x,L0y,…,Ln−2y), satisfying L2y(0)=Ln−1y(1)=0, 0≤i≤n−2, where Li, denotes the ith quasiderivative, and where f(x,y1,…,yn−1) has singularities at yi=0, 1≤i≤n−1.

A Note On Reordering Ordered Topological Spaces And The Existence Of Continuous, Strictly Increasing Functions, Joe Mashburn

Mathematics Faculty Publications

The origin of this paper is in a question that was asked of the author by Michael Wellman, a computer scientist who works in artificial intelligence at Wright Patterson Air Force Base in Dayton, Ohio. He wanted to know if, starting with Rn and its usual topology and product partial order, he could linearly reorder every finite subset and still obtain a continuous function from Rⁿ into R that was strictly increasing with respect to the new order imposed on Rⁿ. It is the purpose of this paper to explore the structural characteristics of ordered topological spaces …

Galois Module Structure Of Ideals In Wildly Ramified Cyclic Extensions Of Degree P2, Gove Griffith Elder

Mathematics Faculty Publications

For L/K, any totally ramified cyclic extension of degree p2 of local fields which are finite extensions of the field of p-adic numbers, we describe the Zp[Gal(L/K)]-module structure of each fractional ideal of L explicitly in terms of the 4p+1 indecomposable Zp[Gal(L/K)]-modules classified by Heller and Reiner. The exponents are determined only by the invariants of ramification.

Spectral Properties Of Operators Having Dense Orbits, Valentin Matache

Mathematics Faculty Publications

In the following H will denote a separable, infinite-dimensional, complex Hilbert space. The term operator will always mean linear, bounded operator on H. By invariant subspace we mean closed, invariant linear manifold. For a given operator T, the set of all invariant subspaces of T will be denoted LatT, since obviously it is a lattice. The set of all operators commuting with T is denoted {T}'. A subspace will be called hyperinvariant for T if it is invariant under any operator in {T}'.

Behavior Of The Solutions To A Functional Equation Which Equates A Function's Inverse To Its Reciprocal, Robert Rudolph Anschuetz

Retrospective Theses and Dissertations

This thesis explores the behavior of solutions of the functional equation f-1(x)= 1/f(x) for x ε Dom(f), where f is a real-valued function of a real variable. It is quite common to mistake the notation f^-1, which means the inverse of f with respect to composition with the inverse of f with respect to multiplication, usually denoted by 1/f. This thesis shows that although f^-1 and 1/f are usually different function, they do indeed sometimes represent the same function. This thesis will also provide …

Trace And Eigenvalue Inequalities Of Ordinary And Hadamard Products For Positive Semidefinite Hermitian Matrices, Bo-Ying Wang, Fuzhen Zhang

Mathematics Faculty Articles

Let Aand Bbe $n \times n$ positive semidefinite Hermitian matrices, let $\alpha $ and $\beta $ be real numbers, let $ \circ $ denote the Hadamard product of matrices, and let $A_k $ denote any $k \times k$ principal submatrix of A. The following trace and eigenvalue inequalities are shown: \[ \operatorname{tr}(A \circ B)^\alpha \leq \operatorname{tr}(A^\alpha \circ B^\alpha ),\quad\alpha \leq 0\,{\text{ or }}\,\alpha \geq 1, \]\[ \operatorname{tr}(A \circ B)^\alpha \geq \operatorname{tr}(A^\alpha \circ B^\alpha ),\quad 0 \leq \alpha \leq 1, \]\[ \lambda^{1/ \alpha } (A^\alpha \circ B^\alpha ) \leq \lambda ^{1/\beta } (A^\beta \circ B^\beta ),\quad\alpha \leq \beta ,\alpha \beta \ne …

Metode De Calcul În Analiza Matematică, Florentin Smarandache, C. Dumitrescu

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Analysis Of A Recurrence Arising From A Construction For Nonblocking Networks, Nicholas Pippenger

All HMC Faculty Publications and Research

Define f on the integers n > 1 by the recurrence f(n) = min( n, min_m|n( 2f(m) + 3f(n/m) ). The function f has f(n) = n as its upper envelope, attained for all prime n.

The goal of this paper is to determine the corresponding lower envelope. It is shown that this has the form f(n) ~ C(log n)^{1 + 1/γ} for certain constants γ and C, in the sense that for any ε > 0, the inequality f(n) ≤ (C + ε)(log n)^{1 + 1/γ} holds for infinitely many n, while f(n) ≤ (C + ε)(log …

Optimal Klappenspiel, Arthur T. Benjamin, Derek Stanford '93

All HMC Faculty Publications and Research

The game Klappenspiel ("flipping game") is a traditional German game of flipping tiles according to dice rolls. In this paper, we derive the optimal strategy for this game by using dynamic programming. We show that the probability of winning using the optimal strategy is 0.30%.

Analysis Of A Recurrence Arising From A Construction For Non-Blocking Networks, Nicholas Pippenger

All HMC Faculty Publications and Research

Define f on the integers $n > 1$ by the recurrence $f( n ) = \min \{ n,\min _{m|n} 2f( m ) + 3f( n/m ) \}$. The function f has $f( n ) = n$ as its upper envelope, attained for all prime n. The goal of this paper is to determine the corresponding lower envelope. It is shown that this has the form $f( n ) \sim C( \log n )^{1 + 1/\gamma } $ for certain constants $\gamma $ and C, in the sense that for any $\varepsilon > 0$, the inequality $f( n ) \leq ( …

The Composition Of Operator-Valued Measurable Functions Is Measurable, Albert Badrikian, G. W. Johnson, Il Yoo

Department of Mathematics: Faculty Publications

Given separable Frechet spaces, E, F , and G , let L(E, F), L(F, G), and L(E, G) denote the space of continuous linear operators from E to F , F to G, and E to G, respectively. We topologize these spaces of operators by any one of a family of topologies including the topology of point-wise convergence and the topology of compact convergence. We will show that if (X, F) is any measurable space and both A: X → L(E, F) and B: X → L(F, G) are Borelian, then the operator composition BA: X → L(E, G) is …

Generalized Geynman Integrals: The 𝓛(L2, L2) Theory, Chull Park, David Skough

Department of Mathematics: Faculty Publications

In this paper we develop an 𝓛(L₂(R), L₂(R)) theory for the Feynman integral of functionals of general stochastic processes.

Multiquadric Interpolation: Surface Fitting In Three-Dimensional Space, Michelle Ruse

Presidential Scholars Theses (1990 – 2006)

Using mathematics to solve a problem does not always yield a perfect or absolute answer but may instead yield an approximate solution. We can try to approximate the solution as precisely as possible by using the mathematical tools and skills that are available to us or we could try to discover new methods which would enable us to find good approximations. It is important that we have precise approximating tools to begin with, so that we may preserve as much accuracy as possible.

We can find such problems in the world around us. For instance, if we try to construct …

Analysis Of Rule Sets Generated By The Cn2, Id3, And Multiple Convergence Symbolic Learning Methods, Elizabeth M. Boll, Daniel C. St. Clair

Mathematics and Statistics Faculty Research & Creative Works

The ability to learn has long been an area of interest to researchers in artificial intelligence. Symbolic inductive learning algorithms have evolved as a class of algorithms that can be used to learn concepts from training examples. The knowledge acquired is represented in the form of rules. Since symbolic learning methods develop distinctive sets of rules when given identical training data, questions arise as to the quality of the different rule sets produced. The results of this research provide techniques for comparing and analyzing rule sets. Numerous rule sets were generated using three well-known symbolic learning methods; Quinlan's ID3, Clark …

Rapid Rural Appraisal Of Household Adaptations To The Coastal Zone Of Ecuador, Jennifer A. Pereira

Marine Affairs Theses and Major Papers

It has become clear to those interested in development that the household is an integral institution linking the individual to the society and the environment. Understanding the functioning of this institution will facilitate improvements in planning, evaluation, and output of development projects. Development projects suffer from a lack of efficient research methods for collecting socioeconomic information regarding the household. It has been proposed that Rapid Rural Appraisal (RRA), a method of field work that is timely, flexible, and places an emphasis on local participation, may be an appropriate method for collecting these types of data. RRA was originally developed for …

Ensuring The Satisfaction Of A Temporal Specification At Run-Time, Grace Tsai, Matt Insall, Bruce M. Mcmillin

Mathematics and Statistics Faculty Research & Creative Works

A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In such a system, severe consequences can occur if the run-time behavior does not conform to the expected behavior or specifications. In this paper, we present a formal approach to ensure satisfaction of the specifications in the operational environment as follows. First we specify behavior of the systems using Interval Temporal Logic (ITL). Next we give algorithms for trace checking of programs in such systems. Finally, we present a fully distributed run-time evaluation system which causally orders the events of the system during its execution and checks …

New Mathematical Properties Of The Banzhaf Value, Irinel C. Dragan

Mathematics Technical Papers

In a paper by P. Dubey and L.S. Shapley an axiomatic definition of the Banzhaf value has been extracted from an axiomatic definition of the Banzhaf power index (see [6]). Briefly speaking, the Banzhaf value axioms can be obtained from the Shapley value axioms by replacing efficiency by a similar axiom. This fact suggest that other recently discovered properties of the Shapley value can lead to similar properties for the Banzhaf value and this is the motivation for the present work.

A General Theory Of Geodesics With Applications To Hyperbolic Geometry, Deborah F. Logan

UNF Graduate Theses and Dissertations

In this thesis, the geometry of curved surfaces is studied using the methods of differential geometry. The introduction of manifolds assists in the study of classical two-dimensional surfaces. To study the geometry of a surface a metric, or way to measure, is needed. By changing the metric on a surface, a new geometric surface can be obtained. On any surface, curves called geodesics play the role of "straight lines" in Euclidean space. These curves minimize distance locally but not necessarily globally. The curvature of a surface at each point p affects the behavior of geodesics and the construction of geometric …

Monte Carlo Methods For Confidence Bands In Nonlinear Regression, Shantonu Mazumdar

UNF Graduate Theses and Dissertations

Confidence Bands for Nonlinear Regression Functions can be found analytically for a very limited range of functions with a restrictive parameter space. A computer intensive technique, the Monte Carlo Method will be used to develop an algorithm to find confidence bands for any given nonlinear regression functions with a broader parameter space.

The logistic regression function with one independent variable and two parameters will be used to test the validity and efficiency of the algorithm. The confidence bands for this particular function have been solved for analytically by Khorasani and Milliken (1982). Their derivations will be used to test the …

Research Announcement: Recursive Construction For Families Of Difference Sets, James A. Davis, Jonathan Jedwab

Department of Math & Statistics Faculty Publications

A (v, k, λ) difference set is a k-element subset D of a group G of order v for which the multiset {d₁d₂^-1 : d1, d_2, ∈ D} contains each nonzero element of G exactly λ times; n = k-λ.

On The Minimum Of Independent Geometrically Distributed Random Variables, Gianfranco Ciardo, Lawrence Leemis, David Nicol

Arts & Sciences Articles

The expectations E[X(1)], E[Z(1)], and E[Y(1)] of the minimum of n independent geometric, modified geometric, or exponential random variables with matching expectations differ. We show how this is accounted for by stochastic variability and how E[X(1)]/E[Y(1)] equals the expected number of ties at the minimum for the geometric random variables. We then introduce the “shifted geometric distribution”, and show that there is a unique value of the shift for which the individual shifted geometric and exponential random variables match expectations both individually and in …

Uniformly Antisymmetric Functions And K5, Krzysztof Ciesielski

Faculty & Staff Scholarship

A function f from reals to reals (f:R-->R) is a uniformly antisymmetric function if there exists a gage function g:R-->(0,1) such that |f(x-h)-f(x+h)| is greater then or equal to g(x) for every x from R and 0R-->N, (see [K. Ciesielski, L. Larson, Uniformly antisymmetric functions, Real Anal. Exchange 19 (1993-94), 226-235]) while it is unknown whether such function can have a finite or bounded range. It is not difficult to show that there exists a uniformly antisymmetric function with an n-element range if and only if there exists a …

Cardinal Invariants Concerning Functions Whose Sum Is Almost Continuous, Krzysztof Ciesielski

Faculty & Staff Scholarship

Let A stand for the class of all almost continuous functions from R to R and let A(A) be the smallest cardinality of a family F ⊆ R R for which there is no g: R → R with the property that f + g ∈ A for all f ∈ F. We define cardinal number A(D) for the class D of all real functions with the Darboux property similarly. It is known, that c < A(A) ≤ 2 c [10]. We will generalize this result by showing that the cofinality of A(A) is greater that c. Moreover, we will show that it is pretty much all that can be said about A(A) in ZFC, by showing that A(A) can be equal to any regular cardinal between c + and 2c and that it can be equal to 2c independently of the cofinality of 2c . This solves a problem of T. Natkaniec [10, Problem 6.1, p. 495]. We will also show that A(D) = A(A) and give a combinatorial characterization of this number. This solves another problem of Natkaniec. (Private communication.)

Right Angle Electrical Connector And Insertion Tool Therefor, Stephen L. Clark, Glenn J. Pontius

Mathematics and Statistics Faculty Research & Creative Works

Disclosed is a multi-row right angle connector and a press block for installing the connector on a mounting substrate without soldering the contact pins. The connector legs comprise "eye of the needle" compliant interfaces that make electrical contact with the interior surfaces of the substrate's plated through holes. The press block is designed for use with a four-row right angle receptacle and locates rows 2, 3, and 4 on respective true grid positions and serves as a means for transmitting force from an external press to the contact pin tails. The contact tails in rows 2, 3, and 4 have …

Describing And Distinguishing Knots, Lisa A. Padgett

Theses Digitization Project

No abstract provided.