Applied Mathematics Commons^™

Smallest Eigenvalues For A Right Focal Boundary Value Problem, Paul W. Eloe, Jeffrey T. Neugebauer

Mathematics Faculty Publications

We establish the existence of smallest eigenvalues for the fractional linear boundary value problems D^α₀₊u+λ₁p(t)u = 0 and D^α₀₊u+λ₂q(t)u = 0, 0

Sphere Representations, Stacked Polytopes, And The Colin De Verdière Number Of A Graph, Lon Mitchell, Lynne Yengulalp

Mathematics Faculty Publications

We prove that a k-tree can be viewed as a subgraph of a special type of (k + 1)- tree that corresponds to a stacked polytope and that these “stacked” (k + 1)-trees admit representations by orthogonal spheres in R k+1. As a result, we derive lower bounds for Colin de Verdi`ere’s µ of complements of partial k-trees and prove that µ(G) + µ(G) > |G| − 2 for all chordal G.

Existence Of Periodic Solutions For A Quantum Volterra Equation, Muhammad Islam, Jeffrey T. Neugebauer

Mathematics Faculty Publications

The objective of this paper is to study the periodicity properties of functions that arise in quantum calculus, which has been emerging as an important branch of mathematics due to its various applications in physics and other related fields. The paper has two components. First, a relation between two existing periodicity notions is established. Second, the existence of periodic solutions of a q-Volterra integral equation, which is a general integral form of a first order q-difference equation, is obtained. At the end, some examples are provided. These examples show the effectiveness of the relation between the two periodicity notions that …

Positive Solutions For A Singular Fourth Order Nonlocal Boundary Value Problem, John M. Davis, Paul W. Eloe, John R. Graef, Johnny Henderson

Mathematics Faculty Publications

Positive solutions are obtained for the fourth order nonlocal boundary value problem, u⁽⁴⁾=f(x,u), 0 < x < 1, u(0) = u''(0) = u'(1) = u''(1) - u''(2/3)=0, where f(x,u) is singular at x = 0, x=1, y=0, and may be singular at y=∞. The solutions are shown to exist at fixed points for an operator that is decreasing with respect to a cone.

Almost Automorphic Solutions Of Delayed Neutral Dynamic Systems On Hybrid Domains, Murat Adıvar, Halis Can Koyuncuoğlu, Youssef Raffoul

Mathematics Faculty Publications

We study the existence of almost automorphic solutions of the delayed neutral dynamic system on hybrid domains that are additively periodic. We use exponential dichotomy and prove uniqueness of projector of exponential dichotomy to obtain some limit results leading to sufficient conditions for existence of almost automorphic solutions to neutral system. Unlike the existing literature we prove our existence results without assuming boundedness of the coefficient matrices in the system. Hence, we significantly improve the results in the existing literature. Finally, we also provide an existence result for an almost periodic solutions of the system.

Stochastic Models Of Evidence Accumulation In Changing Environments, Alan Veliz-Cuba, Zachary P. Kilpatrick, Krešimir Josić

Mathematics Faculty Publications

Organisms and ecological groups accumulate evidence to make decisions. Classic experiments and theoretical studies have explored this process when the correct choice is fixed during each trial. However, we live in a constantly changing world. What effect does such impermanence have on classical results about decision making? To address this question we use sequential analysis to derive a tractable model of evidence accumulation when the correct option changes in time. Our analysis shows that ideal observers discount prior evidence at a rate determined by the volatility of the environment, and the dynamics of evidence accumulation is governed by the information …

Necessary And Sufficient Conditions For Stability Of Volterra Integro-Dynamic Equation Systems On Time Scales, Youssef Raffoul

Mathematics Faculty Publications

In this research we establish necessary and sufficient conditions for the stability of the zero solution of scalar Volterra integro-dynamic equation on general time scales. Our approach is based on the construction of suitable Lyapunov functionals. We will compare our findings with known results and provides application to quantum calculus.

From Subcompact To Domain Representable, William Fleissner, Lynne Yengulalp

Mathematics Faculty Publications

No abstract provided.

Infographics And Mathematics: A Mechanism For Effective Learning In The Classroom, Ivan Sudakov, Thomas Bellsky, Svetlana Usenyuk, Victoria V. Polyakova

Physics Faculty Publications

This work discusses the creation and use of infographies in an undergraduate mathematics course. Infographies are a visualization of information combining data, formulas, and images. This article discusses how to form an infographic and uses infographics on topics within mathematics and climate as examples. It concludes with survey data from undergraduate students on both the general use of infographics and on the specific infographics designed by the authors.

Efficient Thermal Image Segmentation Through Integration Of Nonlinear Enhancement With Unsupervised Active Contour Model, Fatema Albalooshi, Evan Krieger, Paheding Sidike, Vijayan K. Asari

Electrical and Computer Engineering Faculty Publications

Thermal images are exploited in many areas of pattern recognition applications. Infrared thermal image segmentation can be used for object detection by extracting regions of abnormal temperatures. However, the lack of texture and color information, low signal-to-noise ratio, and blurring effect of thermal images make segmenting infrared heat patterns a challenging task. Furthermore, many segmentation methods that are used in visible imagery may not be suitable for segmenting thermal imagery mainly due to their dissimilar intensity distributions.

Thus, a new method is proposed to improve the performance of image segmentation in thermal imagery. The proposed scheme efficiently utilizes nonlinear intensity …

Video-To-Video Pose And Expression Invariant Face Recognition Using Volumetric Directional Pattern, Vijayan K. Asari, Almabrok Essa

Electrical and Computer Engineering Faculty Publications

Face recognition in video has attracted attention as a cryptic method of human identification in surveillance systems. In this paper, we propose an end-to-end video face recognition system, addressing a difficult problem of identifying human faces in video due to the presence of large variations in facial pose and expression, and poor video resolution. The proposed descriptor, named Volumetric Directional Pattern (VDP), is an oriented and multi-scale volumetric descriptor that is able to extract and fuse the information of multi frames, temporal (dynamic) information, and multiple poses and expressions of faces in input video to produce feature vectors, which are …

Qualitative Theory Of Functional Differential And Integral Equations, Muhammad Islam, Cemil Tunc, Mouffak Benchohra, Bingwen Lui, Samir H. Saker

Mathematics Faculty Publications

Functional differential equations arise in many areas of science and technology: whenever a deterministic relationship involving some varying quantities and their rates of change in space and/or time (expressed as derivatives or differences) is known or postulated. This is illustrated in classical mechanics, where the motion of a body is described by its position and velocity as the time varies. In some cases, this differential equation (called an equation of motion) may be solved explicitly. In fact, differential equations play an important role in modelling virtually every physical, technical, biological, ecological, and epidemiological process, from celestial motion, to bridge design, …

Bounded, Asymptotically Stable, And L^1 Solutions Of Caputo Fractional Differential Equations, Muhammad Islam

Mathematics Faculty Publications

The existence of bounded solutions, asymptotically stable solutions, and L¹ solutions of a Caputo fractional differential equation has been studied in this paper. The results are obtained from an equivalent Volterra integral equation which is derived by inverting the fractional differential equation. The kernel function of this integral equation is weakly singular and hence the standard techniques that are normally applied on Volterra integral equations do not apply here. This hurdle is overcomed using a resolvent equation and then applying some known properties of the resolvent. In the analysis Schauder's fixed point theorem and Liapunov's method have been employed. …

Sobriety In Delta Not Sober, Joe Mashburn

Mathematics Faculty Publications

We will show that the space delta not sober defined by Coecke and Martin is sober in the Scott topology, but not in the weakly way below topology.

A Generalization Of Poincaré-Cartan Integral Invariants Of A Nonlinear Nonholonomic Dynamical System, Muhammad Usman, M. Imran

Mathematics Faculty Publications

Based on the d'Alembert-Lagrange-Poincar\'{e} variational principle, we formulate general equations of motion for mechanical systems subject to nonlinear nonholonomic constraints, that do not involve Lagrangian undetermined multipliers. We write these equations in a canonical form called the Poincar\'{e}-Hamilton equations, and study a version of corresponding Poincar\'{e}-Cartan integral invariant which are derived by means of a type of asynchronous variation of the Poincar\'{e} variables of the problem that involve the variation of the time. As a consequence, it is shown that the invariance of a certain line integral under the motion of a mechanical system of the type considered characterizes the …

Lyapunov Functionals That Lead To Exponential Stability And Instability In Finite Delay Volterra Difference Equations, Catherine Kublik, Youssef Raffoul

Mathematics Faculty Publications

We use Lyapunov functionals to obtain sufficient conditions that guarantee exponential stability of the zero solution of the finite delay Volterra difference equation.

Also, by displaying a slightly different Lyapunov functional, we obtain conditions that guarantee the instability of the zero solution. The highlight of the paper is the relaxing of the condition |a(t)| < 1. Moreover, we provide examples in which we show that our theorems provide an improvement of some recent results.

Every Scattered Space Is Subcompact, William Fleissner, Vladimir Tkachuk, Lynne Yengulalp

Mathematics Faculty Publications

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every Čech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense G_δ-subsets of Cantor cubes are subcompact.

A Spectral Order For Infinite Dimensional Quantum Spaces, Joe Mashburn

Mathematics Faculty Publications

In this paper we extend the spectral order of Coecke and Martin to infinite-dimensional quantum states. Many properties present in the finite-dimensional case are preserved, but some of the most important are lost. The order is constructed and its properties analysed. Most of the useful measurements of information content are lost. Shannon entropy is defined on only a part of the model, and that part is not a closed subset of the model. The finite parts of the lattices used by Birkhoff and von Neumann as models for classical and quantum logic appear as subsets of the models for infinite …

The Effects Of Variable Viscosity On The Peristaltic Flow Of Non-Newtonian Fluid Through A Porous Medium In An Inclined Channel With Slip Boundary Conditions, Ambreen Afsar Khan, R. Ellahi, Muhammad Usman

Mathematics Faculty Publications

The present paper investigates the peristaltic motion of an incompressible non-Newtonian fluid with variable viscosity through a porous medium in an inclined symmetric channel under the effect of the slip condition. A long wavelength approximation is used in mathematical modeling. The system of the governing nonlinear partial differential equation has been solved by using the regular perturbation method and the analytical solutions for velocity and pressure rise have been obtained in the form of stream function. In the obtained solution expressions, the long wavelength and low Reynolds number assumptions are utilized. The salient features of pumping and trapping phenomena are …

When Cp(X) Is Domain Representable, William Fleissner, Lynne Yengulalp

Mathematics Faculty Publications

Let M be a metrizable group. Let G be a dense subgroup of M^X . If G is domain representable, then G = MX . The following corollaries answer open questions. If X is completely regular and C_p(X) is domain representable, then X is discrete. If X is zero-dimensional, T₂ , and C_p(X;D) is subcompact, then X is discrete.

An Implicit Interface Boundary Integral Method For Poisson’S Equation On Arbitrary Domains, Catherine Kublik, Nicolay M. Tanushev, Richard Tsai

Mathematics Faculty Publications

We propose a simple formulation for constructing boundary integral methods to solve Poisson’s equation on domains with smooth boundaries defined through their signed distance function. Our formulation is based on averaging a family of parameterizations of an integral equation defined on the boundary of the domain, where the integrations are carried out in the level set framework using an appropriate Jacobian. By the coarea formula, the algorithm operates in the Euclidean space and does not require any explicit parameterization of the boundaries. We present numerical results in two and three dimensions.

A Study Of The Gam Approach To Solve Laminar Boundary Layer Equations In The Presence Of A Wedge, Rahmat Ali Khan, Muhammad Usman

Mathematics Faculty Publications

We apply an easy and simple technique, the generalized ap- proximation method (GAM) to investigate the temperature field associated with the Falkner-Skan boundary-layer problem. The nonlinear partial differ- ential equations are transformed to nonlinear ordinary differential equations using the similarity transformations. An iterative scheme for the non-linear ordinary differential equations associated with the velocity and temperature profiles are developed via GAM. Numerical results for the dimensionless ve- locity and temperature profiles of the wedge flow are presented graphically for different values of the wedge angle and Prandtl number.

A Meshless Numerical Solution Of The Family Of Generalized Fifth-Order Korteweg-De Vries Equations, Syed Tauseef Mohyud-Din, Elham Negahdary, Muhammad Usman

Mathematics Faculty Publications

In this paper we present a numerical solution of a family of generalized fifth-order Korteweg-de Vries equations using a meshless method of lines. This method uses radial basis functions for spatial derivatives and Runge-Kutta method as a time integrator. This method exhibits high accuracy as seen from the comparison with the exact solutions.

Bounded Solutions Of Almost Linear Volterra Equations, Muhammad Islam, Youssef Raffoul

Mathematics Faculty Publications

Fixed point theorem of Krasnosel’skii is used as the primary mathematical tool to study the boundedness of solutions of certain Volterra type equations. These equations are studied under a set of assumptions on the functions involved in the equations. The equations will be called almost linear when these assumptions hold.

A New Undergraduate Curriculum On Mathematical Biology At University Of Dayton, Muhammad Usman, Amit Singh

Mathematics Faculty Publications

The beginning of modern science is marked by efforts of pioneers to understand the natural world using a quantitative approach. As Galileo wrote, "the book of nature is written in the language of mathematics". The traditional undergraduate course curriculum is heavily focused on individual disciplines like biology, physics, chemistry, mathematics rather than interdisciplinary courses. This fragmented teaching of sciences in majority of universities leave biology outside the quantitative and mathematical approaches. The landscape of biomedical science has transformed dramatically with advances in high throughput experimental approaches, which led to the huge amount of data. The best possible approach to generate …

Global Well-Posedness And Asymptotic Behavior Of A Class Of Initial-Boundary-Value Problems Of The Kdv Equation On A Finite Domain, Ivonne Rivas, Muhammad Usman, Bingyu Zhang

Mathematics Faculty Publications

In this paper, we study a class of initial boundary value problem (IBVP) of the Korteweg- de Vries equation posed on a ?nite interval with nonhomogeneous boundary conditions. The IBVP is known to be locally well-posed, but its global L2 a priori estimate is not available and therefore it is not clear whether its solutions exist globally or blow up in finite time. It is shown in this paper that the solutions exist globally as long as their initial value and the associated boundary data are small, and moreover, those solutions decay exponentially if their boundary data decay exponentially.

Research In Mathematics Educational Technology: Current Trends And Future Demands, Shannon O. Driskell, Robert N. Ronau, Christopher R. Rakes, Sarah B. Bush, Margaret L. Niess, David K. Pugalee

Mathematics Faculty Publications

This systematic review of mathematics educational technology literature identified 1356 manuscripts addressing the integration of educational technology into mathematics instruction. The manuscripts were analyzed using three frameworks (Research Design, Teacher Knowledge, and TPACK) and three supplementary lenses (Data Sources, Outcomes, and NCTM Principles) to produce a database to support future research syntheses and meta-analyses. Preliminary analyses of student and teacher outcomes (e.g., knowledge, cognition, affect, and performance) suggest that the effects of incorporating graphing calculator and dynamic geometry technologies have been abundantly studied; however, the usefulness of the results was often limited by missing information regarding measures of validity, reliability, …

Fully Nonlinear Boundary Value Problems With Impulse, Paul Eloe, Muhammad Usman

Mathematics Faculty Publications

An impulsive boundary value problem with nonlinear boundary conditions for a second order ordinary differential equation is studied. In particular, sufficient conditions are provided so that a compression- expansion cone theoretic fixed point theorem can be applied to imply the existence of positive solutions. The nonlinear forcing term is assumed to satisfy usual sublinear or superlinear growth as t → ∞ or t → 0 +. The nonlinear impulse terms and the nonlinear boundary terms are assumed to satisfy the analogous asymptotic behavior.

Prospective Teachers' Use Of Representations In Solving Statistical Tasks With Dynamic Statistical Software, Hollylynne Lee, Shannon O. Driskell, Suzanne R. Harper, Keith R. Leatham, Gladis Kersaint, Robin L. Angotti

Mathematics Faculty Publications

This study examined a random stratified sample (n=62) of prospective teachers' work across eight institutions on three tasks that utilized dynamic statistical software. Our work was guided by considering how teachers may utilize their statistical knowledge and technological statistical knowledge to engage in cycles of investigation. Although teachers did not tend to take full advantage of dynamic linking capabilities, they utilized a large variety of graphical representations and often added statistical measures or other augmentations to graphs as part of their analysis.

Non-Normality Points Of Β X\X, William Fleissner, Lynne Yengulalp

Mathematics Faculty Publications

We seek conditions implying that (β X\X) \ {y} is not normal. Our main theorem: Assume GCH and all uniform ultrafilters are regular. If X is a locally compact metrizable space without isolated points, then (β X\X) \ {y} is not normal for all y ∈ β X\X. In preparing to prove this theorem, we generalize the notions “uniform”, “regular”, and “good” from set ultrafilters to z-ultrafilters. We discuss non-normality points of the product of a discrete space and the real line. We topologically embed a nonstandard real line into the remainder of this product space.