Applied Mathematics Commons^™

Non-Destructive Testing Of Thermal Resistances For A Single Inclusion In A 2-Dimensional Domain, Nicholas Christian, Mathew A. Johnson

Mathematical Sciences Technical Reports (MSTR)

In this paper we examine the inverse problem of determining the amount of corrosion/disbonding which has occurred on the boundary of a single circular (or nearly circular) inclusion D in a two dimensional domain W using Cauchy data for the steady-state heat equation. We develop an algorithm for reconsructing a function which qunatifies the level of corrosion/disbonding at each point in ¶W. We also address the issue of well-posedness and develop a simple regularization scheme. Then we provide several numerical examples. We shall show a simple procedure for recovering the center of D assuming that the boundary of W and …

Reconstruction Of An Unknown Boundary Portion From Cauchy Data In N-Dimensions, Kurt M. Bryan, Lester Caudill

Mathematical Sciences Technical Reports (MSTR)

We consider the inverse problem of determining the shape of some inacces­ sible portion of the boundary of a region in n dimensions from Cauchy data for the heat equation on an accessible portion of the boundary. The inverse problem is quite ill-posed, and nonlinear. We develop a Newton-like algorithm for solving the problem, with a simple and efficient means for computing the required derivatives, develop methods for regularizing the process, and provide computational examples

Determining The Length Of A One-Dimensional Bar, Natalya Yarlikina, Holly Walrath

Mathematical Sciences Technical Reports (MSTR)

In this paper we examine the inverse problem of determining the length of a one-dimensional bar from thermal measurements (temperature and heat flux) at one end of the bar (the "accessible" end); the other inaccessible end of the bar is assumed to be moving. We develop two different approaches to estimating the length of the bar, and show how one approach can also be adapted to find unknown boundary conditions at the inaccessible end of the bar.

When Abelian Groups Split, Rachel M. Thomas, Robert C. Rhoades

Mathematical Sciences Technical Reports (MSTR)

Let S be a hyperbolic surface tiled by kaleidoscopic triangles. Let R_e denote the set of fixed points by the reflection in an edge, e, of a triangle. We say that R_e is separating if S-R_e has two components. Once we have a tiling, we can define a group of orientation preserving transformations, G. We develop a method for determining when a reflection is separating using the group algebra of G. Using this method we give necessary and sufficient conditions for a mirror to be separating when G is abelian. We also conjecture, that …

Fixed Point And Two-Cycles Of The Discrete Logarithm, Joshua Holden

Mathematical Sciences Technical Reports (MSTR)

We explore some questions related to one of Brizolis: does every prime p have a pair (g, h) such that h is a fixed point for the discrete logarithm with base g? We extend this question to ask about not only fixed points but also two-cycles. Campbell and Pomerance have not only answered the fixed point question for sufficiently large p but have also rigorously estimated the number of such pairs given certain conditions on g and h. We attempt to give heuristics for similar estimates given other conditions on g and h and also in the case …

A Review Of Selected Works On Crack Indentification, Kurt M. Bryan

Mathematical Sciences Technical Reports (MSTR)

We give a short survey of some of the results obtained within the last 10 years or so concerning crack identification using impedance imaging techniques. We touch upon uniqueness results, continuous dependence results, and computational algorithms.

Characterizing A Defect In A One-Dimensional Bar, Cynthia Gangi, Sameer Shah

Mathematical Sciences Technical Reports (MSTR)

We examine the inverse problem of locating and describing an internal point defect in a one­ dimensional rod W by controlling the heat inputs and measuring the subsequent temperatures at the boundary of W. We use a variation of the forward heat equation to model heat flow through W, then propose algorithms for locating an internal defect and quantifying the effect the defect has on the heat flow. We implement these algorithms, analyze the stability of the procedures, and provide several computational examples.

Reconstruction Of Cracks With Unknown Transmission Condition From Boundary Data, F Ronald Ogborne Iii, Melissa E. Vellela

Mathematical Sciences Technical Reports (MSTR)

We examine the problem of Identifying both the location and constitutive law governing electrical current flow across a one-dimensional linear crack in a two dimensional region when the crack only partially blocks the flow of current. We develop a a constructive numerical procedure for solving the inverse problem and provide computational examples.

Fast Reconstruction Of Cracks Using Boundary Measurements, Nicholas A. Trainor, Rachel M. Krieger

Mathematical Sciences Technical Reports (MSTR)

This paper develops a fast algorithm for locating one or more perfectly insulating, pair-wise disjoint, linear cracks in a homogeneous two-dimensional electrical conductor, using boundary measurements.

The Order At 2 Of The Odd-Partition Function, Chris Mehelich

Mathematical Sciences Technical Reports (MSTR)

Abstract. We evaluate the odd-partition function p₂(n) modulo 4 by elementary methods and analyze the asymptotic distribution of p₂(n) modulo 4. We use the theory of modular forms to obtain necessary and sufficient conditions for the order at 2 of p₂(n) to equal any given value between 0 and 4 inclusive.

Separability Of Tilings, Nicholas Baeth, Jason Deblois, Lisa Powell

Mathematical Sciences Technical Reports (MSTR)

A tiling by triangles of an orientable surfaces is called kaleidoscopic if the local reflection in any edge of a triangle extends to a global isometry of the surface. Given such a global reflection the fixed point subset of the reflection consists of embedded circles (ovals) whose union is called the mirror of the reflection. The reflection is called separating if removal of the mirror disconnects the surface into two components. We consider surfaces such that the orientation preserving subgroup of the tiling group generated by the reflection is cyclic or abelian. A complete classification of those surfaces with separating …

Solvability Of A Parabolic Boundary Value Problem With Internal Jump Condition, Kurt M. Bryan, Lester Caudill

Mathematical Sciences Technical Reports (MSTR)

We examine a model for the propagation of heat through a one-dimensional object with an interior ''flaw". The flaw is modeled as a nonlinear relationship between the flux and temperature jump at an interior point of the object. Under realistic hypotheses, the resulting nonlinear initial boundary value problem is shown to have a unique and suitably smooth solution.

Singular Solutions To A Nonlinear Elliptic Boundary Value Problem Originating From Corrosion Modeling, Kurt M. Bryan, Michael Vogelius

Mathematical Sciences Technical Reports (MSTR)

We consider a nonlinear elliptic boundary value problem on a planar domain. The exponential type nonlinearity in the boundary condition is one that frequently appears in the modeling of electrochemical systems. For the case of a disk we construct a family of exact solutions that exhibit limiting logarithmic singularities at certain points on the boundary. Based on these solutions we develop two criteria that we believe predict the possible locations of the boundary singularities on quite general domains.

Maximally Disjoint Solutions Of The Set Covering Problem, David J. Rader, Peter L. Hammer

Mathematical Sciences Technical Reports (MSTR)

This paper is concerned with finding two solutions of a set covering problem that have a minimum number of variables in common. We show that this problem is NP­ complete, even in the case where we are only interested in completely disjoint solutions. We describe three heuristic methods based on the standard greedy algorithm for set covering problems. Two of these algorithms find the solutions sequentially, while the third finds them simultaneously. A local search method for reducing the overlap of the two given solutions is then described. This method involves the solution of a reduced set covering problem. Finally, …

Stability And Reconstruction For An Inverse Problem For The Heat Equations, Kurt M. Bryan, Lester Caudill

Mathematical Sciences Technical Reports (MSTR)

We examine the inverse problem of determining the shape of some unknown portion of the boundary of a region W from measurements of the Cauchy data for solutions to the heat equation on W. By suitably linearizing the inverse problem we obtain uniqueness and continuous dependence results. We propose an algorithm for recovering estimates of the unknown portion of the surface and use the insight gained from a detailed analysis of the inverse problem to regularize the inversion. Several computational examples are presented.

Uniqueness For A Boundary Identification Problem In Thermal Imaging, Kurt M. Bryan, Lester F. Caudill

Mathematical Sciences Technical Reports (MSTR)

An inverse problem for a parabolic initial-boundary value problem is considered. The goal is to determine an unknown portion of the boundary of a region in Rⁿ from measurements of Dirichlet data on a known portion of the boundary. It is shown that under reasonable hypotheses uniqueness results hold.

Effective Behavior Of Clusters Of Microscopic Cracks Inside A Homogeneous Conductor, Kurt M. Bryan, Michael Vogelius

Mathematical Sciences Technical Reports (MSTR)

We study the effective behaviour of a periodic array of microscopic cracks inside a homoge­neous conductor. Special emphasis is placed on a rigorous study of the case in which the corresponding effective conductivity becomes nearly singular, due to the fact that adjacent cracks nearly touch. It is heuristically shown how thin clusters of such extremely close cracks may macroscopically appear as a single crack. The results have implications for our earlier work on impedance imaging.

Population Genetics: Estimation Of Distributions Through Systems Of Non-Linear Differential Equations, Nacer E. Abrouk, Robert J. Lopez

Mathematical Sciences Technical Reports (MSTR)

In stochastic population genetics, the fundamental quantity used for describing the genetic composition of a Mendelian population is the gene frequency. The process of change in the gene frequency is generally modeled as a stochastic process satisfying a stochastic differential equation. The drift and diffusion coefficients in this equation reflect such mechanisms as mutation, selection, and migration that affect the population. Except in very simple cases, it is difficult to determine the probability law of the stochastic process of change in gene frequency. We present a method for obtaining approximations of this process, enabling us to study models more realistic …

A Variable Time-Step Midpoint Scheme For Hamiltonian Systems, Yosi Shibberu

Mathematical Sciences Technical Reports (MSTR)

A smooth time-step selection formula for the midpoint method is derived which minimize deviations in the Hamiltonian function along piecewise-linear phase space trajectories of autonomous Hamiltonian systems. The time-step formula is implemented in a second order pre­dictor/corrector scheme and applied to Kepler's problem. The formula significantly improves energy conservation as well as the accuracy of the configuration space trajectory. Peak errors in position and momentum coordinates are not significantly reduced, but the time behavior of the errors is markedly more regular.

An Elementary Proof That Finite Groups Lack Unique Product Structures, Matthew Cushman

Mathematical Sciences Technical Reports (MSTR)

We provide an elementary proof that no nontrivial finite group has a unique m-element product structure for any m greater than or equal to 2.

Distinct Products Of Triples In Finite Groups, Curtis Z. Mitchell

Mathematical Sciences Technical Reports (MSTR)

Let G be a finite group and let D_i(G) be the proportion of triples ( x , y , z ) of elements in G such that the cardinality of { xyz , xzy , yxz, yzx , zxy , zyx } is i. In this paper we show that:

i) The average value of D_i is either 1 or at least 53/32.

ii) D₂= 0 ==> D₃ = D₄ = D₅ = D₆ = 0;

iii) D₃= 0 ==> D₄ = D₅ = 0

An Inverse Problem In Thermal Language, Kurt M. Bryan, Lester Caudill

Mathematical Sciences Technical Reports (MSTR)

This paper examines uniqueness and stability results for an inverse problem in thermal imaging. The goal is to identify an unknown boundary of an object by applying a heat flux and measuring of the induced temperature on the boundary of the sample. The problem is studied both in the case in which one has of data at every point on the boundary of the region and the case in which only finitely many measurements are available. An inversion procedure is developed and used to study the stability of the inverse problem for various experimental configurations.

Robot Space Coordinate Representation Of Objects In Euclidean Space, Justin Gallagher

Mathematical Sciences Technical Reports (MSTR)

Robot motion control strategies generally center around trajectory planning schemes which are point-to-point. This paper explores the problem of planning robot trajectories which sweep an area in a two-link robot's work space. A diffeomorphism which transforms the linear coordinates of Euclidean space to the non-linear angular coordinates which represent the displacements of the joint motors is developed. It is used to determine the distortion of an object's area at different locations in the robot's work space and for different robot link length geometries. Study of such distortions may lead to an optimization scheme by which the placement of the object …

Reconstruction Of Multiple Cracks From Experimental, Electrostatic Boundary Measurements, Kurt M. Bryan, Valdis Liepa, Michael Vogelius

Mathematical Sciences Technical Reports (MSTR)

We demonstrate the viability of using Electrical Impedance Tomography (EIT) for the reconstruction of multiple macroscopic cracks in a conductive medium.

Approximation Methods For Singular Diffusions Arising In Genetics, Nacer E. Abrouk

Mathematical Sciences Technical Reports (MSTR)

Stochastic models in population genetics leading to diffusion equations are considered. When the drift and the square of the diffusion coefficients are polynomials, an infinite system of ordinary differential equations for the moments of the diffusion process can be derived using the Martingale property. An example is provided to show how the classical Fokker-Planck Equation approach may not be appropriate for this derivation. A Gauss-Galerkin method for approximating the laws of the diffusion, originally proposed by Dawson (1980), is examined. In the few special cases for which exact solutions are known, comparison shows that the method is accurate and the …

Time-Discretization Of Hamiltonian Dynamical Systems, Yosi Shibberu

Mathematical Sciences Technical Reports (MSTR)

Difference equations for Hamiltonian systems are derived from a discrete variational principle. The difference equations completely determine piecewise-linear, continuous trajectories which exactly conserve the Hamiltonian function at the midpoints of each linear segment. A generating function exists for transformations between the vertices of the trajectories. Existence and uniqueness results are present as well as simulation results for a simple pendulum and an inverse square law system.

Tracking Plasma Lactate Concentration In Vivo With A Catheter-Tip L-Lactate Sensor, Brett T. Weinzapfel, Mark D. Ball, Lee R. Waite, Nacer E. Abrouk, Shun P. Lim

Mathematical Sciences Technical Reports (MSTR)

To circumvent the problems of repeated blood sampling for in vitro analysis, a catheter-tip L-lactate sensor has been developed. The sensor was tested in anesthetized pigs (n=6). The sensor in vivo tracked the lactate concentration non-linearly, seeming to obey Michaelis-Menten kinetics. Calibration time was short, typically 1.5 min per lactate standard. Furthermore, time drift was small, typically -1.3% to -3.3% per hour of in vivo use.

Vertex Coloring For Weighted Graphs With Application To Timetabling, Lynn Kiaer, Jay Yellen

Mathematical Sciences Technical Reports (MSTR)

This paper applies the methods of vertex coloring to timetabling problems

Data On Four-Rewriteability In Finite Groups, Sharon A. Kineke

Mathematical Sciences Technical Reports (MSTR)

A four-tuple of elements, (x₁,x₂,x₃,x₄), from a finite group, G, is said to be

rewriteable (see [l], [2], [3]) by p where p is an element of the symmetric group on four symbols, if
x₁x₂x₃x₄ = x_p(l)x_p(2)x_p(3)x_p(4)

The entry at the intersection of the G-th row and j-th column of each table on the succeeding three pages is the number of four-tuples from G which are rewriteable by exactly j permutations in the symmetric group …

Undergraduates, The Right Questions, And Cayley Produce Results, Gary J. Sherman

Mathematical Sciences Technical Reports (MSTR)

During the summers of 1989, 1990, and 1991, eighteen undergraduates participated in a National Science Foundation Research Experiences for Undergraduates program at Rose-Hulman for which the author was the principal investigator. This paper provides some examples of the mathematics discovered during these three summers and discusses the philosophy, environment and process which made these discoveries possible.