Physical Sciences and Mathematics Commons^™

A Numerical Method For Solving The Elliptic And Elasticity Interface Problems, Liqun Wang

Doctoral Dissertations

Interface problems arise when dealing with physical problems composed of different materials or of the same material at different states. Because of the irregularity along interfaces, many common numerical methods do not work, or work poorly, for interface problems. Matrix-coefficient elliptic and elasticity equations with oscillatory solutions and sharp-edged interfaces are especially complicated and challenging for most existing methods. An accurate and efficient method is desired.

In 1999, the boundary condition capturing method was proposed to deal with Poisson equations with interfaces whose variable coefficients and solutions may be discontinuous. In 2003, a weak formulation was derived. Built on previous …

Shape Reconstruction And Classification Using The Response Matrix, Wei Wang

Doctoral Dissertations

This dissertation presents a novel method for the inverse scattering problem for extended target. The acoustic or electromagnetic wave is scattered by the target and received by all the transducers around the target. The scattered field on all the transducers forms the response matrix which contains the information of the geometry of the target. The objective of the inverse scattering problem is to reconstruct the shape of the scatter using the Response Matrix.

There are two types of numerical methods for solving the inverse problem: the direct imaging method and the iterative method. Two direct imaging methods, MUSIC method and …

Preliminary Analysis Of An Agent-Based Model For A Tick-Borne Disease, Holly Gaff

Biological Sciences Faculty Publications

Ticks have a unique life history including a distinct set of life stages and a single blood meal per life stage. This makes tick-host interactions more complex from a mathematical perspective. In addition, any model of these interactions must involve a significant degree of stochasticity on the individual tick level. In an attempt to quantify these relationships, I have developed an individual-based model of the interactions between ticks and their hosts as well as the transmission of tick-borne disease between the two populations. The results from this model are compared with those from previously published differential equation based population models. …

Generalized Stirling Numbers And Generalized Stirling Functions, Tian-Xiao He

Tian-Xiao He

Here presented is a unified approach to Stirling numbers and their generalizations as well as generalized Stirling functions by using generalized factorial functions, k-Gamma functions, and generalized divided difference. Previous well-known extensions of Stirling numbers due to Riordan, Carlitz, Howard, Charalambides-Koutras, Gould-Hopper, Hsu-Shiue, Tsylova Todorov, Ahuja Enneking, and Stirling functions introduced by Butzer and Hauss, Butzer, Kilbas, and Trujilloet and others are included as particular cases of our generalization. Some basic properties related to our general pattern such as their recursive relations and generating functions are discussed. Three algorithms for calculating the Stirling numbers based on our generalization are also …

A “Peak” At The Algorithm Behind “Peaklet Analysis” Software, Bruce Kessler

Bruce Kessler

In response to a problem posed by faculty at the Applied Physics Institute at Western Kentucky University, the speaker has developed an algorithm for providing an automated analysis of spectrum data for the purpose of determining the elemental composition of the item generating the data. A full, non-provisional patent application has been filed on the idea, and a full marketing campaign has started to license software implementing the algorithm. This presentation will give a brief explanation of the mathematics in use in the algorithm, and will give some examples of the software in action.

A “Peak” At The Algorithm Behind “Peaklet Analysis” Software, Bruce Kessler

Mathematics Faculty Publications

In response to a problem posed by faculty at the Applied Physics Institute at Western Kentucky University, the speaker has developed an algorithm for providing an automated analysis of spectrum data for the purpose of determining the elemental composition of the item generating the data. A full, non-provisional patent application has been filed on the idea, and a full marketing campaign has started to license software implementing the algorithm. This presentation will give a brief explanation of the mathematics in use in the algorithm, and will give some examples of the software in action.

Brief Of Amicus Curiae In Support Of Affirmance, Ron D. Katznelson

Ron D. Katznelson

No abstract provided.

Modeling Of Bacillus Spores: Inactivation And Outgrowth, Alexis X. Hurst

Theses and Dissertations

This research models and analyzes the thermochemical damage produced in Bacillus spores by short, high-temperature exposures as well the repair process within damaged Bacillus spores. Thermochemical damage in spores is significantly due to reaction with water, hydrolysis reactions. Applying heat to the spore causes absorbed and chemically bound water molecules become mobile within the spore. These mobile water molecules react by hydrolysis reactions to degrade DNA and enzyme molecules in the spore. In order to survive the thermal inactivation, the spore must repair the damaged DNA during spore germination. The DNA repair process, as well as other germination functions, is …

Quantitative Interpretation Of A Genetic Model Of Carcinogenesis Using Computer Simulations, Donghai Dai, Brandon Beck, Xiaofang Wang, Cory Howk, Yi Li

Mathematics and Statistics Faculty Publications

The genetic model of tumorigenesis by Vogelstein et al. (V theory) and the molecular definition of cancer hallmarks by Hanahan and Weinberg (W theory) represent two of the most comprehensive and systemic understandings of cancer. Here, we develop a mathematical model that quantitatively interprets these seminal cancer theories, starting from a set of equations describing the short life cycle of an individual cell in uterine epithelium during tissue regeneration. The process of malignant transformation of an individual cell is followed and the tissue (or tumor) is described as a composite of individual cells in order to quantitatively account for intra-tumor …

A Primer On Chaos And Fractals, Bruce Kessler

Bruce Kessler

This is a prelude to a performance of the play "Arcadia" exclusively for the science and math majors of Lipscomb University. One of the main characters of the story is a mathematical genius, and has realized the power and limitations of iterations in generating mathematical models and structures, although she is living in the early 1800's. This talk gives an introduction to the ideas of chaos theory, fractals, and randomness.

A Primer On Chaos And Fractals, Bruce Kessler

Mathematics Faculty Publications

This is a prelude to a performance of the play "Arcadia" exclusively for the science and math majors of Lipscomb University. One of the main characters of the story is a mathematical genius, and has realized the power and limitations of iterations in generating mathematical models and structures, although she is living in the early 1800's. This talk gives an introduction to the ideas of chaos theory, fractals, and randomness.

Complete Characterizations Of Local Weak Sharp Minima With Applications To Semi-Infinite Optimization And Complementarity, Boris S. Mordukhovich, Naihua Xiu, Jinchuan Zhou

Mathematics Research Reports

In this paper we identify a favorable class of nonsmooth functions for which local weak sharp minima can be completely characterized in terms of normal cones and subdifferentials, or tangent cones and subderivatives, or their mixture in finite-dimensional spaces. The results obtained not only significantly extend previous ones in the literature, but also allow us to provide new types of criteria for local weak sharpness. Applications of the developed theory are given to semi-infinite programming and to semi-infinite complementarity problems.

A Modification Of Extended Homoclinic Test Approach To Solve The (3+1)-Dimensional Potential-Ytsf Equation, Mohammad Najafi, Mohammad Taghi Darvishi

mohammad najafi

By means of the extended homoclinic test approach (EHTA) one can solve some nonlinear partial differential equations (NLPDEs) in their bilinear forms. When an NLPDE has no bilinear closed form we can not use this method. We modify the idea of EHTA to obtain some analytic solutions for the (3+1)-dimensional potential-Yu- Toda-Sasa-Fukuyama (YTSF) equation by obtaining a bilinear closed form for it. By comparison of this method and other analytic methods, like HAM, HTA and three-wave methods, we can see that the new idea is very easy and straightforward

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.

Projective-Planar Graphs With No K3,4-Minor, John Maharry, Dan Slilaty

Mathematics and Statistics Faculty Publications

An exact structure is described to classify the projective‐planar graphs that do not contain a K3, 4‐minor.

Sharp Asymptotics Of The Lp Approximation Error For Interpolation On Block Partitions, Yuliya Babenko, Tatyana Leskevich, Jean-Marie Mirebeau

Faculty Articles

Adaptive approximation (or interpolation) takes into account local variations in the behavior of the given function, adjusts the approximant depending on it, and hence yields the smaller error of approximation. The question of constructing optimal approximating spline for each function proved to be very hard. In fact, no polynomial time algorithm of adaptive spline approximation can be designed and no exact formula for the optimal error of approximation can be given. Therefore, the next natural question would be to study the asymptotic behavior of the error and construct asymptotically optimal sequences of partitions. In this paper we provide sharp asymptotic …

Waves In Microstructured Solids: A Unified Viewpoint Of Modelling, Arkadi Berezovski, Juri Engelbrecht, Mihhail Berezovski

Publications

The basic ideas for describing the dispersive wave motion in microstructured solids are discussed in the one-dimensional setting because then the differences between various microstructure models are clearly visible. An overview of models demonstrates a variety of approaches, but the consistent structure of the theory is best considered from the unified viewpoint of internal variables. It is shown that the unification of microstructure models can be achieved using the concept of dual internal variables.

On The Stability Of A Microstructure Model, Mihhail Berezovski, Arkadi Berezovski

Publications

The asymptotic stability of solutions of the Mindlin-type microstructure model for solids is analyzed in the paper. It is shown that short waves are asymptotically stable even in the case of a weakly non-convex free energy dependence on microdeformation.

Tangential Extremal Principles For Finite And Infinite Systems Of Sets, Ii: Applications To Semi-Infinite And Multiobjective Optimization, Boris S. Mordukhovich, Hung M. Phan

Mathematics Research Reports

This paper contains selected applications of the new tangential extremal principles and related results developed in [20] to calculus rules for infinite intersections of sets and optimality conditions for problems of semi-infinite programming and multiobjective optimization with countable constraints.

On The (Non)-Integrability Of The Perturbed Kdv Hierarchy With Generic Self-Consistent Sources, Vladimir Gerdjikov, Georgi Grahovski, Rossen Ivanov

Conference papers

Non-holonomic deformations of integrable equations of the KdV hierarchy are studied by using the expansions over the so-called "squared solutions" (squared eigenfunctions). Such deformations are equivalent to perturbed models with external (self-consistent) sources. In this regard, the KdV6 equation is viewed as a special perturbation of KdV equation. Applying expansions over the symplectic basis of squared eigenfunctions, the integrability properties of the KdV hierarchy with generic self-consistent sources are analyzed. This allows one to formulate a set of conditions on the perturbation terms that preserve the integrability. The perturbation corrections to the scattering data and to the corresponding action-angle variables …

Real Sequences And Series, Adeshina I. Adekunle Mr

Adeshina I. Adekunle MR

No abstract provided.

Which Chessboards Have A Closed Knight's Tour Within The Rectangular Prism?, Joseph Demaio, Mathew Bindia

Faculty Articles

A closed knight's tour of a chessboard uses legal moves of the knight to visit every square exactly once and return to its starting position. In 1991 Schwenk completely classified the m x n rectangular chessboards that admit a closed knight's tour. In honor of the upcoming twentieth anniversary of the publication of Schwenk's paper, this article extends his result by classifying the i x j x k rectangular prisms that admit a closed knight's tour.

Modeling, Analysis, And Simulation Of Discrete-Continuum Models Of Step-Flow Epitaxy: Bunching Instabilities And Continuum Limits, Nicholas O. Kirby

University of Kentucky Doctoral Dissertations

Vicinal surfaces consist of terraces separated by atomic steps. In the step-flow regime, deposited atoms (adatoms) diffuse on terraces, eventually reaching steps where they attach to the crystal, thereby causing the steps to move. There are two main objectives of this work. First, we analyze rigorously the differences in qualitative behavior between vicinal surfaces consisting of infinitely many steps and nanowires whose top surface consists of a small number of steps bounded by a reflecting wall. Second, we derive the continuum model that describes the macroscopic behavior of vicinal surfaces from detailed microscopic models of step dynamics.

We use the …

Lead-Acid Battery Model Under Discharge With A Fast Splitting Method, R. Corban Harwood, Valipuram S. Manoranjan, Dean B. Edwards

Faculty Publications - Department of Mathematics

A mathematical model of a valve-regulated lead-acid battery under discharge is presented as simplified from a standard electrodynamics model. This nonlinear reaction–diffusion model of a battery cell is solved using an operator splitting method to quickly and accurately simulate sulfuric acid concentration. This splitting method incorporates one-sided approximation schemes to preserve continuity over material interfaces encompassing discontinuous parameters. Numerical results are compared with measured data by calculating battery voltage from modeled acid concentration as derived from the Nernst equation.

Specification Of Structural Viewer And Analytical Tool (Jecp/Svat), Xingzhong Li

Nebraska Center for Materials and Nanoscience: Faculty Publications

Java Electron Crystallography Package (JECP) is a collection of programs for crystallography and electron diffraction analysis. The package is designed and written by Dr. X.Z. Li. The software can be used as a research tool as well as a teaching aid. The need of a structural viewer/an analytical tool, using the same input data format as the JECP and proJECT software, becomes obvious with the growth of the JECP and proJECT programs and users. There exist many programs for structural design and/or display in various levels developed by individual, research group or software company. Some of them are expensive software …

How Do Neurons Work Together? Lessons From Auditory Cortex, Kenneth D. Harris, Peter Bartho, Paul Chadderton, Carina Curto, Jaime De La Rocha, Liad Hollender, Vladimir Itskov, Artur Luczak, Stephan Marguet, Alfonso Renart, Shuzo Sakata

Department of Mathematics: Faculty Publications

Recordings of single neurons have yielded great insights into the way acoustic stimuli are represented in auditory cortex. However, any one neuron functions as part of a population whose combined activity underlies cortical information processing. Here we review some results obtained by recording simultaneously from auditory cortical populations and individual morphologically identified neurons, in urethane-anesthetized and unanesthetized passively listening rats. Auditory cortical populations produced structured activity patterns both in response to acoustic stimuli, and spontaneously without sensory input. Population spike time patterns were broadly conserved across multiple sensory stimuli and spontaneous events, exhibiting a generally conserved sequential organization lasting approximately …

Neural Spike Renormalization. Part I — Universal Number 1, Bo Deng

Department of Mathematics: Faculty Publications

For a class of circuit models for neurons, it has been shown that the transmembrane electrical potentials in spike bursts have an inverse correlation with the intra-cellular energy conversion: the fewer spikes per burst the more energetic each spike is. Here we demonstrate that as the per-spike energy goes down to zero, a universal constant to the bifurcation of spike-bursts emerges in a similar way as Feigenbaum’s constant does to the period-doubling bifurcation to chaos generation, and the new universal constant is the first natural number 1.

Neural Spike Renormalization. Part Ii — Multiversal Chaos, Bo Deng

Department of Mathematics: Faculty Publications

Reported here for the first time is a chaotic infinite-dimensional system which contains infinitely many copies of every deterministic and stochastic dynamical system of all finite dimensions. The system is the renormalizing operator of spike maps that was used in a previous paper to show that the first natural number 1 is a universal constant in the generation of metastable and plastic spike-bursts of a class of circuit models of neurons.

An Entropy Proof Of The Kahn-Lovasz Theorem, Jonathan Cutler, A. J. Radcliffe

Department of Mathematics: Faculty Publications

Bregman [2], gave a best possible upper bound for the number of perfect matchings in a balanced bipartite graph in terms of its degree sequence. Recently Kahn and Lovasz [8] extended Bregman’s theorem to general graphs. In this paper, we use entropy methods to give a new proof of the Kahn-Lovasz theorem. Our methods build on Radhakrishnan’s [9] use of entropy to prove Bregman’s theorem.

Short-Term Facilitation May Stabilize Parametric Working Memory Trace, Vladimir Itskov, David Hansel, Misha Tsodyks

Department of Mathematics: Faculty Publications

Networks with continuous set of attractors are considered to be a paradigmatic model for parametric working memory (WM), but require fine tuning of connections and are thus structurally unstable. Here we analyzed the network with ring attractor, where connections are not perfectly tuned and the activity state therefore drifts in the absence of the stabilizing stimulus. We derive an analytical expression for the drift dynamics and conclude that the network cannot function as WM for a period of several seconds, a typical delay time in monkey memory experiments. We propose that short-term synaptic facilitation in recurrent connections significantly improves the …