Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Mathematical Computing”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,585 records · Page 88
All sourcesNASA NTRSDOE OSTI
DOE OSTI2014

Joint discrete universality of Hurwitz zeta functions

We obtain a joint discrete universality theorem for Hurwitz zeta functions. Here the parameters of zeta functions and the step of shifts of these functions approximating a given family of analytic functions are connected by some condition of linear independence. Nesterenko's theorem gives an example satisfying this condition. The universality theorem is applied to estimate the number of zeros of a linear combination of Hurwitz zeta functions. Bibliography: 20 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

On new constructions in the Blaschke-Bol problem

We find several essentially new constructions of hexagonal 3-webs based on a combination of quadratic and linear families of circles. They are used to construct 5 new types of hexagonal 3-webs, which is an advance in the solution of the Blaschke-Bol problem (1938) on the classification of such webs. Unlike many known examples, in our proofs we give an explicit parallelizing diffeomorphism. We give a brief survey of all known examples of hexagonal 3-webs and their properties. In conclusion, we formulate several conjectures and open problems. Bibliography: 13 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Second-order infinitesimal bendings of surfaces of revolution with flattening at the poles

We study infinitesimal bendings of surfaces of revolution with flattening at the poles. We begin by considering the minimal possible smoothness class C{sup 1} both for surfaces and for deformation fields. Conditions are formulated for a given harmonic of a first-order infinitesimal bending to be extendable into a second order infinitesimal bending. We finish by stating a criterion for nonrigidity of second order for closed surfaces of revolution in the analytic class. We also give the first concrete example of such a nonrigid surface. Bibliography: 15 entries.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2015

The existence of semiregular solutions to elliptic spectral problems with discontinuous nonlinearities

This paper is concerned with the existence of semiregular solutions to the Dirichlet problem for an equation of elliptic type with discontinuous nonlinearity and when the differential operator is not assumed to be formally self-adjoint. Theorems on the existence of semiregular (positive and negative) solutions for the problem under consideration are given, and a principle of upper and lower solutions giving the existence of semiregular solutions is established. For positive values of the spectral parameter, elliptic spectral problems with discontinuous nonlinearities are shown to have nontrivial semiregular (positive and negative) solutions. Bibliography: 32 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2017

Trigonometric polynomial approximation, K-functionals and generalized moduli of smoothness

Best approximation and approximation by families of linear polynomial operators (FLPO) in the spaces L{sub p}, 0<p⩽+∞, are investigated for periodic functions of an arbitrary number of variables in terms of the generalized modulus of smoothness generated by a periodic generator which, near the origin, is assumed to be close in a certain sense to some homogeneous function of positive order. Direct and inverse theorems (Jackson- and Bernstein-type estimates) are proved; conditions on the generators are obtained under which the approximation error by an FLPO is equivalent to an appropriate modulus of smoothness. These problems are solved by going over from the modulus to an equivalent K-functional. The general results obtained are applied to classical objects in the theory of approximation and smoothness. In particular, they are applied to the methods of approximation generated by Fejér, Riesz and Bochner-Riesz kernels, and also to the moduli of smoothness and K-functionals corresponding to the conventional, Weyl and Riesz derivatives and to the Laplace operator. Bibliography: 24 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

Weighted inequalities for quasilinear integral operators on the semi-axis and applications to Lorentz spaces

A precise characterization of inequalities in weighted Lebesgue spaces with positive quasilinear integral operators of iterative type on the half-axis is given. All cases of positive integration parameters are treated, including the case of supremum. Applications to the solution of the well-known problem of the boundedness of the Hardy-Littlewood maximal operator in weighted Lorentz Γ-spaces are given. Bibliography: 41 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

On some problems related to the Hilbert-Smith conjecture

The Hilbert-Smith conjecture claims that if a compact group G acts freely on a manifold, then it is a Lie group. For a finite-dimensional orbit space a reduction of the Hilbert-Smith conjecture to certain other problems in geometric topology is presented; in these the key problem is the existence of an essential sequence of lens spaces of increasing dimension. Bibliography: 52 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2017

Necessary and sufficient conditions for the existence and uniqueness of a bounded solution of the equation ((dx(t))/(dt))=f(x(t)+h{sub 1}(t))+h{sub 2}(t)

Necessary and sufficient conditions for a bounded solution of the nonlinear scalar differential equation dx(t)/dt=f(x(t)+h{sub 1}(t))+h{sub 2}(t), t∈R, to exist and be unique are presented in the case when f(x) is a continuous function and the functions h{sub 1}(t) and h{sub 2}(t) are bounded and continuous. The case when h{sub 1}(t) and h{sub 2}(t) are almost periodic functions is also investigated. Bibliography: 31 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Collective Dispersal Leads to Variance in Fitness and Maintains Offspring Size Variation within Marine Populations

Variance in fitness is well known to influence the outcome of evolution but is rarely considered in the theory of marine reproductive strategies. In coastal environments, turbulent mesoscale eddies can collect larvae into packets, resulting in collective dispersal. Larvae in packets return to the coast or are lost offshore in groups, producing variance in fitness. Using a Markov process to calculate fixation probabilities for competing phenotypes, we examine the evolution of offspring size and spawning duration in species with benthic adults and pelagic offspring. The offspring size that provides mothers with the highest mean fitness also generates the greatest variance in fitness, but pairwise invasion plots show that bet-hedging strategies are not evolutionarily stable; maximizing expected fitness correctly predicts the unique evolutionarily stable strategy. Nonetheless, fixation can take a long time. We find that selection to increase spawning duration as a risk avoidance strategy to reduce the negative impacts of stochastic recruitment success can allow multiple offspring sizes to coexist in a population for extended periods. This has two important consequences for offspring size: (1) coexistence occurs over a broader range of sizes and is longer when spawning duration is longer because longer spawning durations reduce variation in fitness and increase the time to fixation, and (2) longer spawning durations can compensate for having a nonoptimal size and even allow less optimal sizes to reach fixation. Collective dispersal and longer spawning durations could effectively maintain offspring size variation even in the absence of good and bad years or locations. Finally, empirical comparisons of offspring size would therefore not always reflect environment-specific differences in the optimal size.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2022

Theoretical and numerical studies of inverse source problem for the linear parabolic equation with sparse boundary measurements

We consider the inverse source problem in the parabolic equation, where the unknown source possesses the semi-discrete formulation. Theoretically, we prove that the flux data from any nonempty open subset of the boundary can uniquely determine the semi-discrete source. This means the observed area can be extremely small, and that is the reason we call it sparse boundary data. For the numerical reconstruction, we formulate the problem from the Bayesian sequential prediction perspective and conduct the numerical examples which estimate the space-time-dependent source state by state. To better demonstrate the method’s performance, we solve two common multiscale problems from two models with a long source sequence. The numerical results illustrate that the inversion is accurate and efficient.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Approximate symmetries of guiding-centre motion

In a strong, inhomogeneous magnetic field, charged particle dynamics may be studied in the guiding-centre approximation, which is known to be Hamiltonian. When the magnetic field is quasisymmetric, the first-order guiding-centre (FGC) Hamiltonian structure admits a continuous symmetry, and therefore a conserved quantity in addition to the energy. Since the FGC system is only an approximation, it is also interesting to consider approximate symmetries of the guiding-centre Hamiltonian structure. We find that any approximate spatial symmetry coincides with quasisymmetry to leading order. For approximate phase-space symmetries, we derive weaker conditions than quasisymmetry. The latter include 'weak quasisymmetry' as a subcase, recently proposed by Rodríguez et al. Our results, however, show that weak quasisymmetry is necessarily non-spatial at first order. Finally, we demonstrate that if the magnetic field is constrained to satisfy magnetohydrostatic force balance then an approximate symmetry must agree with quasisymmetry to leading order.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

Sparsifying priors for Bayesian uncertainty quantification in model discovery

We propose a probabilistic model discovery method for identifying ordinary differential equations governing the dynamics of observed multivariate data. Our method is based on the sparse identification of nonlinear dynamics (SINDy) framework, where models are expressed as sparse linear combinations of pre-specified candidate functions. Promoting parsimony through sparsity leads to interpretable models that generalize to unknown data. Instead of targeting point estimates of the SINDy coefficients, we estimate these coefficients via sparse Bayesian inference. The resulting method, uncertainty quantification SINDy (UQ-SINDy), quantifies not only the uncertainty in the values of the SINDy coefficients due to observation errors and limited data, but also the probability of inclusion of each candidate function in the linear combination. UQ-SINDy promotes robustness against observation noise and limited data, interpretability (in terms of model selection and inclusion probabilities) and generalization capacity for out-of-sample forecast. Sparse inference for UQ-SINDy employs Markov chain Monte Carlo, and we explore two sparsifying priors: the spike and slab prior, and the regularized horseshoe prior. UQ-SINDy is shown to discover accurate models in the presence of noise and with orders-of-magnitude less data than current model discovery methods, thus providing a transformative method for real-world applications which have limited data.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2016

Efficient molecular dynamics using geodesic integration and solvent–solute splitting

We present an approach to Langevin dynamics in the presence of holonomic constraints based on decomposition of the system into components representing geodesic flow, constrained impulse and constrained diffusion. We show that a particular ordering of the components results in an integrator that is an order of magnitude more accurate for configurational averages than existing alternatives. Moreover, by combining the geodesic integration method with a solvent–solute force splitting, we demonstrate that stepsizes of at least 8 fs can be used for solvated biomolecules with high sampling accuracy and without substantially altering diffusion rates, approximately increasing by a factor of two the efficiency of molecular dynamics sampling for such systems. The methods described in this article are easily implemented using the standard apparatus of modern simulation codes.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Peak effect and dynamics of stripe- and pattern-forming systems on a periodic one-dimensional substrate

Here we examine the ordering, pinning, and dynamics of two-dimensional pattern-forming systems interacting with a periodic one-dimensional substrate. In the absence of the substrate, particles with competing long-range repulsion and short-range attraction form anisotropic crystal, stripe, and bubble states. When the system is tuned across the stripe transition in the presence of a substrate, we find that there is a peak effect in the critical depinning force when the stripes align and become commensurate with the substrate. Under an applied drive, the anisotropic crystal and stripe states can exhibit soliton depinning and plastic flow. When the stripes depin plastically, they dynamically reorder into a moving stripe state that is perpendicular to the substrate trough direction. We also find that when the substrate spacing is smaller than the widths of the bubbles or stripes, the system forms pinned stripe states that are perpendicular to the substrate trough direction. The system exhibits multiple reentrant pinning effects as a function of increasing attraction, with the anisotropic crystal and large bubble states experiencing weak pinning but the stripe and smaller bubble states showing stronger pinning. We map out the different dynamic phases as a function of filling, the strength of the attractive interaction term, the substrate strength, and the drive, and demonstrate that the different phases produce identifiable features in the transport curves and particle orderings.

97 MATHEMATICS AND COMPUTING↗