Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Applied Mathematics

PDF

Series

2010

Institution
Keyword
Publication

Articles 1 - 30 of 104

Full-Text Articles in Physical Sciences and Mathematics

A Sequel To “A Space Topologized By Functions From Omega To Omega”, Tetsuya Ishiu, Akira Iwasa Dec 2010

A Sequel To “A Space Topologized By Functions From Omega To Omega”, Tetsuya Ishiu, Akira Iwasa

Faculty Publications

We consider a topological space ⟨𝑋, 𝜏 (ℱ)⟩, where 𝑋 = {𝑝 ∗} ∪ [𝜔 Å~ 𝜔] and ℱ ⊆ 𝜔𝜔. Each point in 𝜔 Å~ 𝜔 is isolated and a neighborhood of 𝑝∗ has the form {𝑝∗}∪{⟨𝑖, 𝑗⟩ : 𝑖 ≥ 𝑛, 𝑗 ≥ 𝑓(𝑖)} for some 𝑛 ∈ 𝜔 and 𝑓 ∈ ℱ. We show that there are subsets ℱ and 𝒢 of 𝜔𝜔 such that ℱ is not bounded, 𝒢 is bounded, yet ⟨𝑋, 𝜏 (ℱ)⟩ and ⟨𝑋, 𝜏 (𝒢)⟩ are homeomorphic. This answers a question of the second author posed in A space topologized by functions …

Go to article

Quantitative Stability And Optimality Conditions In Convex Semi-Infinite And Infinite Programming, M J. Cánovas, M A. Lopez, Boris S. Mordukhovich, J Parra Dec 2010

Quantitative Stability And Optimality Conditions In Convex Semi-Infinite And Infinite Programming, M J. Cánovas, M A. Lopez, Boris S. Mordukhovich, J Parra

Mathematics Research Reports

This paper concerns parameterized convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional Banach (resp. finite-dimensional) spaces and that are indexed by an arbitrary fixed set T. Parameter perturbations on the right-hand side of the inequalities are measurable and bounded, and thus the natural parameter space is loo(T). Based on advanced variational analysis, we derive a precise formula for computing the exact Lipschitzian bound of the feasible solution map, which involves only the system data, and then show that this exact bound agrees with the coderivative norm of the aforementioned mapping. On one hand, in this …

Go to article

Solving A Generalized Heron Problem By Means Of Convex Analysis, Boris S. Mordukhovich, Nguyen Mau Nam, Juan Salinas Jr Dec 2010

Solving A Generalized Heron Problem By Means Of Convex Analysis, Boris S. Mordukhovich, Nguyen Mau Nam, Juan Salinas Jr

Mathematics Research Reports

The classical Heron problem states: on a given straight line in the plane, find a point C such that the sum of the distances from C to the given points A and B is minimal. This problem can be solved using standard geometry or differential calculus. In the light of modern convex analysis, we are able to investigate more general versions of this problem. In this paper we propose and solve the following problem: on a given nonempty closed convex subset of IR!, find a point such that the sum of the distances from that point to n given nonempty …

Go to article

The Möbius Geometry Of Hypersurfaces, Ii, Michael Bolt Dec 2010

The Möbius Geometry Of Hypersurfaces, Ii, Michael Bolt

University Faculty Publications and Creative Works

No abstract provided.

Go to article

The Möbius Geometry Of Hypersurfaces, Ii, Michael Bolt Dec 2010

The Möbius Geometry Of Hypersurfaces, Ii, Michael Bolt

University Faculty Publications and Creative Works

No abstract provided.

Go to article

Effect Of Network Structure On The Stability Margin Of Large Vehicle With Distributed Control, He Hao, Prabir Barooah, J. J. P. Veerman Dec 2010

Effect Of Network Structure On The Stability Margin Of Large Vehicle With Distributed Control, He Hao, Prabir Barooah, J. J. P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired trajectory of the formation; while every other vehicle uses linear controller which only depends on relative position and velocity from a few other vehicles, which are called its neighbors. A predetermined information graph defines the neighbor relationships. We limit our attention to information graphs that are D-dimensional lattices, and examine the stability margin of the closed loop, which is measured by the real part of the least stable eigenvalue of …

Go to article

The Carter Constant For Inclined Orbits About A Massive Kerr Black Hole: I. Circular Orbits, Peter G. Komorowski, Sree Ram Valluri, Martin Houde Nov 2010

The Carter Constant For Inclined Orbits About A Massive Kerr Black Hole: I. Circular Orbits, Peter G. Komorowski, Sree Ram Valluri, Martin Houde

Physics and Astronomy Publications

In an extreme binary black hole system, an orbit will increase its angle of inclination (ι) as it evolves in Kerr spacetime. We focus our attention on the behaviour of the Carter constant (Q) for near-polar orbits, and develop an analysis that is independent of and complements radiation-reactionmodels. For a Schwarzschild black hole, the polar orbits represent the abutment between the prograde and retrograde orbits at whichQis at its maximum value for given values of the latus rectum (˜l ) and the eccentricity (e). The introduction of spin (S˜ = |J|/M2) to themassive black hole causes this boundary, or abutment, …

Go to article

Computational Biology, Harvey Greenberg, Allen Holder Nov 2010

Computational Biology, Harvey Greenberg, Allen Holder

Mathematical Sciences Technical Reports (MSTR)

Computational biology is an interdisciplinary field that applies the techniques of computer science, applied mathematics, and statistics to address biological questions. OR is also interdisciplinary and applies the same mathematical and computational sciences, but to decision-making problems. Both focus on developing mathematical models and designing algorithms to solve them. Models in computational biology vary in their biological domain and can range from the interactions of genes and proteins to the relationships among organisms and species.

Go to article

Lipchitzian Stability Of Parametric Variational Inequalities Over Generalized Polyhedra In Banach Spaces, Liqun Ban, Boris S. Mordukhovich, Wen Song Nov 2010

Lipchitzian Stability Of Parametric Variational Inequalities Over Generalized Polyhedra In Banach Spaces, Liqun Ban, Boris S. Mordukhovich, Wen Song

Mathematics Research Reports

This paper concerns the study of solution maps to parameterized variational inequalities over generalized polyhedra in reflexive Banach spaces. It has been recognized that generalized polyhedral sets are significantly different from the usual convex polyhedra in infinite dimensions and play an important role in various applications to optimization, particularly to generalized linear programming. Our main goal is to fully characterize robust Lipschitzian stability of the aforementioned solutions maps entirely via their initial data. This is done on the base of the coderivative criterion in variational analysis via efficient calculations of the coderivative and related objects for the systems under consideration. …

Go to article

The Positive Solutions Of The Matukuma Equation And The Problem Of Finite Radius And Finite Mass, Jurgen Batt, Yi Li Nov 2010

The Positive Solutions Of The Matukuma Equation And The Problem Of Finite Radius And Finite Mass, Jurgen Batt, Yi Li

Mathematics and Statistics Faculty Publications

This work is an extensive study of the 3 different types of positive solutions of the Matukuma equation 1r2(r2ϕ′)′=−rλ−2(1+r2)λ/2ϕp,p>1,λ>0 : the E-solutions (regular at r = 0), the M-solutions (singular at r = 0) and the F-solutions (whose existence begins away from r = 0). An essential tool is a transformation of the equation into a 2-dimensional asymptotically autonomous system, whose limit sets (by a theorem of H. R. Thieme) are the limit sets of Emden–Fowler systems, and serve as a characterization of the different solutions. The emphasis lies on the study of the M …

Go to article

Engineering Flow States With Localized Forcing In A Thin, Marangoni-Driven Inclined Film, Rachel Levy, Stephen Rosenthal '09, Jeffrey Wong '11 Nov 2010

Engineering Flow States With Localized Forcing In A Thin, Marangoni-Driven Inclined Film, Rachel Levy, Stephen Rosenthal '09, Jeffrey Wong '11

All HMC Faculty Publications and Research

Numerical simulations of lubrication models provide clues for experimentalists about the development of wave structures in thin liquid films. We analyze numerical simulations of a lubrication model for an inclined thin liquid film modified by Marangoni forces due to a thermal gradient and additional localized forcing heating the substrate. Numerical results can be explained through connections to theory for hyperbolic conservation laws predicting wave fronts from Marangoni-driven thin films without forcing. We demonstrate how a variety of forcing profiles, such as Gaussian, rectangular, and triangular, affect the formation of downstream transient structures, including an N wave not commonly discussed in …

Go to article

Curvedland: An Applet For Illustrating Curved Geometry Without Embedding, Gary Felder, Stephanie Erickson Oct 2010

Curvedland: An Applet For Illustrating Curved Geometry Without Embedding, Gary Felder, Stephanie Erickson

Physics: Faculty Publications

We have written a Java applet to illustrate the meaning of curved geometry. The applet provides a mapping interface similar to MapQuest or Google Maps; features include the ability to navigate through a space and place permanent point objects and/or shapes at arbitrary positions. The underlying two-dimensional space has a constant, positive curvature, which causes the apparent paths and shapes of the objects in the map to appear distorted in ways that change as you view them from different relative angles and distances.

Go to article

On The Lqg Theory With Bounded Control, D. V. Iourtchenko, J. L. Menaldi, A. S. Bratus Oct 2010

On The Lqg Theory With Bounded Control, D. V. Iourtchenko, J. L. Menaldi, A. S. Bratus

Mathematics Faculty Research Publications

We consider a stochastic optimal control problem in the whole space, where the corresponding HJB equation is degenerate, with a quadratic running cost and coeffcients with linear growth. In this paper we provide a full mathematical details on the key estimate relating the asymptotic behavior of the solution as the space variable goes to infinite.

Go to article

Generalized Newton's Method Based On Graphical Derivatives, T Hoheisel, C Kanzow, Boris S. Mordukhovich, Hung M. Phan Oct 2010

Generalized Newton's Method Based On Graphical Derivatives, T Hoheisel, C Kanzow, Boris S. Mordukhovich, Hung M. Phan

Mathematics Research Reports

This paper concerns developing a numerical method of the Newton type to solve systems of nonlinear equations described by nonsmooth continuous functions. We propose and justify a new generalized Newton algorithm based on graphical derivatives, which have never been used to derive a Newton-type method for solving nonsmooth equations. Based on advanced techniques of variational analysis and generalized differentiation, we establish the well-posedness of the algorithm, its local superlinear convergence, and its global convergence of the Kantorovich type. Our convergence results hold with no semismoothness assumption, which is illustrated by examples. The algorithm and main results obtained in the paper …

Go to article

Existence Of Solutions For A Semilinear Wave Equation With Non-Monotone Nonlinearity, Alfonso Castro, Benjamin Preskill '09 Oct 2010

Existence Of Solutions For A Semilinear Wave Equation With Non-Monotone Nonlinearity, Alfonso Castro, Benjamin Preskill '09

All HMC Faculty Publications and Research

For double-periodic and Dirichlet-periodic boundary conditions, we prove the existence of solutions to a forced semilinear wave equation with asymptotically linear nonlinearity, no resonance, and non-monotone nonlinearity when the forcing term is not flat on characteristics. The solutions are in L∞ when the forcing term is in L∞ and continous when the forcing term is continuous. This is in contrast with the results in [4], where the non-enxistence of continuous solutions is established even when forcing term is of class C∞ but is flat on a characteristic.

Go to article

A Class Of Discontinuous Petrov–Galerkin Methods. Part Iv: The Optimal Test Norm And Time-Harmonic Wave Propagation In 1d., Jeffrey Zitelli, Leszek Demkowicz, Jay Gopalakrishnan, D. Pardo, V. M. Calo Oct 2010

A Class Of Discontinuous Petrov–Galerkin Methods. Part Iv: The Optimal Test Norm And Time-Harmonic Wave Propagation In 1d., Jeffrey Zitelli, Leszek Demkowicz, Jay Gopalakrishnan, D. Pardo, V. M. Calo

Mathematics and Statistics Faculty Publications and Presentations

The phase error, or the pollution effect in the finite element solution of wave propagation problems, is a well known phenomenon that must be confronted when solving problems in the high-frequency range. This paper presents a new method with no phase errors for one-dimensional (1D) time-harmonic wave propagation problems using new ideas that hold promise for the multidimensional case. The method is constructed within the framework of the discontinuous Petrov–Galerkin (DPG) method with optimal test functions. We have previously shown that such methods select solutions that are the best possible approximations in an energy norm dual to any selected test …

Go to article

Deformation Waves In Microstructured Materials: Theory And Numerics, Juri Engelbrecht, Arkadi Berezovski, Mihhail Berezovski Sep 2010

Deformation Waves In Microstructured Materials: Theory And Numerics, Juri Engelbrecht, Arkadi Berezovski, Mihhail Berezovski

Publications

A linear model of the microstructured continuum based on Mindlin theory is adopted which can be represented in the framework of the internal variable theory. Fully coupled systems of equations for macro-motion and microstructure evolution are represented in the form of conservation laws. A modification of wave propagation algorithm is used for numerical calculations. Results of direct numerical simulations of wave propagation in periodic medium are compared with similar results for the continuous media with the modelled microstructure. It is shown that the proper choice of material constants should be made to match the results obtained by both approaches

Go to article

Coarser Connected Metrizable Topologies, Lynne Yengulalp Sep 2010

Coarser Connected Metrizable Topologies, Lynne Yengulalp

Mathematics Faculty Publications

We show that every metric space, X, with w(⩾) c has a coarser connected metrizable topology.

Go to article

A Generalised Kummer's Conjecture, M. J.R. Myers Sep 2010

A Generalised Kummer's Conjecture, M. J.R. Myers

University Faculty Publications and Creative Works

Kummer's conjecture predicts the rate of growth of the relative class numbers of cyclotomic fields of prime conductor. We extend Kummer's conjecture to cyclotomic fields of conductor n, where n is any natural number. We show that the Elliott-Halberstam conjecture implies that this generalised Kummer's conjecture is true for almost all n but is false for infinitely many n.

Go to article

A Generalised Kummer's Conjecture, M. J.R. Myers Sep 2010

A Generalised Kummer's Conjecture, M. J.R. Myers

University Faculty Publications and Creative Works

Kummer's conjecture predicts the rate of growth of the relative class numbers of cyclotomic fields of prime conductor. We extend Kummer's conjecture to cyclotomic fields of conductor n, where n is any natural number. We show that the Elliott-Halberstam conjecture implies that this generalised Kummer's conjecture is true for almost all n but is false for infinitely many n. Copyright © 2010 Glasgow Mathematical Journal Trust.

Go to article

G-Lattices For An Unrooted Perfect Phylogeny, Monica Grigg Aug 2010

G-Lattices For An Unrooted Perfect Phylogeny, Monica Grigg

Mathematical Sciences Technical Reports (MSTR)

We look at the Pure Parsimony problem and the Perfect Phylogeny Haplotyping problem. From the Pure Parsimony problem we consider structures of genotypes called g-lattices. These structures either provide solutions or give bounds to the pure parsimony problem. In particular, we investigate which of these structures supports an unrooted perfect phylogeny, a condition that adds biological interpretation. By understanding which g-lattices support an unrooted perfect phylogeny, we connect two of the standard biological inference rules used to recreate how genetic diversity propagates across generations.

Go to article

A Spectral Approach To Protein Structure Alignment, Yosi Shibberu, Allen Holder Aug 2010

A Spectral Approach To Protein Structure Alignment, Yosi Shibberu, Allen Holder

Mathematical Sciences Technical Reports (MSTR)

We present two algorithms that use spectral methods to align protein folds. One of the algorithms is suitable for database searches, the other for difficult alignments. We present computational results for 780 pairwise alignments used to classify 40 proteins as well as results for a separate set of 36 protein alignments used for comparison to four other alignment algorithms. We also provide a mathematically rigorous development of the intrinsic geometry underlying our spectral approach.

Go to article

Mutation Size Optimizes Speciation In An Evolutionary Model, Nathan Dees, Sonya Bahar Aug 2010

Mutation Size Optimizes Speciation In An Evolutionary Model, Nathan Dees, Sonya Bahar

Physics Faculty Works

The role of mutation rate in optimizing key features of evolutionary dynamics has recently been investigated in various computational models. Here, we address the related question of how maximum mutation size affects the formation of species in a simple computational evolutionary model. We find that the number of species is maximized for intermediate values of a mutation size parameter μ; the result is observed for evolving organisms on a randomly changing landscape as well as in a version of the model where negative feedback exists between the local population size and the fitness provided by the landscape. The same result …

Go to article

Bilinear Programming And Protein Structure Alignment, J. Cain, D. Kamenetsky, N. Lavine Aug 2010

Bilinear Programming And Protein Structure Alignment, J. Cain, D. Kamenetsky, N. Lavine

Mathematical Sciences Technical Reports (MSTR)

Proteins are a primary functional component of organic life, and understanding their function is integral to many areas of research in biochemistry. The three-dimensional structure of a protein largely determines this function. Protein structure alignment compares the structure of a protein with known function to that of a protein with unknown function. A protein’s three-dimensional structure can be transformed through a smooth piecewise-linear sigmoid function to a real symmetric contact matrix that represents the functional significance of certain parts of the protein. We address the protein alignment problem as a minimization of the 2-norm difference of two proteins’ contact matrices. …

Go to article

A Global Characterization Of Tubed Surfaces In ℂ2, Michael Bolt Aug 2010

A Global Characterization Of Tubed Surfaces In ℂ2, Michael Bolt

University Faculty Publications and Creative Works

Let M3 S C2 be a three times differentiable real hypersurface. The Levi form of M transforms under biholomorphism, and when restricted to the complex tangent space, the skew-Hermitian part of the second fundamental form transforms under Möbius transformations. The surfaces for which these forms are constant multiples of each other were identified in previous work, provided the constant is not unimodular. Here it is proved that if the surface is assumed to be complete and if the constant is unimodular, then the surface is tubed over a strongly convex curve. The converse statement is true, too, and is easily …

Go to article

A Global Characterization Of Tubed Surfaces In ℂ2, Michael Bolt Aug 2010

A Global Characterization Of Tubed Surfaces In ℂ2, Michael Bolt

University Faculty Publications and Creative Works

Let M3 S C2 be a three times differentiable real hypersurface. The Levi form of M transforms under biholomorphism, and when restricted to the complex tangent space, the skew-Hermitian part of the second fundamental form transforms under Möbius transformations. The surfaces for which these forms are constant multiples of each other were identified in previous work, provided the constant is not unimodular. Here it is proved that if the surface is assumed to be complete and if the constant is unimodular, then the surface is tubed over a strongly convex curve. The converse statement is true, too, and is easily …

Go to article

Elements Of Study On Dynamic Materials, Marine Rousseau, Gerard A. Maugin, Mihhail Berezovski Jul 2010

Elements Of Study On Dynamic Materials, Marine Rousseau, Gerard A. Maugin, Mihhail Berezovski

Publications

As a preliminary study to more complex situations of interest in small-scale technology, this paper envisages the elementary propagation properties of elastic waves in one-spatial dimension when some of the properties (mass density, elasticity) may vary suddenly in space or in time, the second case being of course more original. Combination of the two may be of even greater interest. Toward this goal, a critical examination of what happens to solutions at the crossing of pure space-like and time-like material discontinuities is given together with simple solutions for smooth transitions and numerical simulations in the discontinuous case. The effects on …

Go to article

The Generation Of Domestic Electricity Load Profiles Through Markov Chain Modelling, Aidan Duffy, Fintan Mcloughlin, Michael Conlon Jul 2010

The Generation Of Domestic Electricity Load Profiles Through Markov Chain Modelling, Aidan Duffy, Fintan Mcloughlin, Michael Conlon

Conference Papers

Micro-generation technologies such as photovoltaics and micro-wind power are becoming increasing popular among homeowners, mainly a result of policy support mechanisms helping to improve cost competiveness as compared to traditional fossil fuel generation. National government strategies to reduce electricity demand generated from fossil fuels and to meet European Union 20/20 targets is driving this change. However, the real performance of these technologies in a domestic setting is not often known as high time resolution models for domestic electricity load profiles are not readily available. As a result, projections in terms of reducing electricity demand and financial paybacks for these micro-generation …

Go to article

Symmetries Of The Central Vestibular System: Forming Movements For Gravity And A Three-Dimensional World, Gin Mccollum, Douglas Hanes Jul 2010

Symmetries Of The Central Vestibular System: Forming Movements For Gravity And A Three-Dimensional World, Gin Mccollum, Douglas Hanes

Mathematics and Statistics Faculty Publications and Presentations

Intrinsic dynamics of the central vestibular system (CVS) appear to be at least partly determined by the symmetries of its connections. The CVS contributes to whole-body functions such as upright balance and maintenance of gaze direction. These functions coordinate disparate senses (visual, inertial, somatosensory, auditory) and body movements (leg, trunk, head/neck, eye). They are also unified by geometric conditions. Symmetry groups have been found to structure experimentally-recorded pathways of the central vestibular system. When related to geometric conditions in three-dimensional physical space, these symmetry groups make sense as a logical foundation for sensorimotor coordination.

Go to article

Boundary Type Quadrature Formulas Over Axially Symmetric Regions, Tian-Xiao He Jul 2010

Boundary Type Quadrature Formulas Over Axially Symmetric Regions, Tian-Xiao He

Scholarship

A boundary type quadrature formula (BTQF) is an approximate integration formula with all its of evaluation points lying on the Boundary of the integration domain. This type formulas are particularly useful for the cases when the values of the integrand functions and their derivatives inside the domain are not given or are not easily determined. In this paper, we will establish the BTQFs over sonic axially symmetric regions. We will discuss time following three questions in the construction of BTQFs: (i) What is the highest possible degree of algebraic precision of the BTQF if it exists? (ii) What is the …

Go to article

Next Last