Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematics & 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,711 records · Page 95
All sourcesNASA NTRSDOE OSTI
DOE OSTI2014

Generalized Lions-Peetre interpolation construction and optimal embedding theorems for Sobolev spaces

In the paper, a new description of the generalized Lions-Peetre method of means is found, which enables one to evaluate the interpolation orbits of spaces constructed by this method. The list of these spaces includes all Lorentz spaces with functional parameters, Orlicz spaces, and spaces close to them. This leads in turn to new optimal embedding theorems for Sobolev spaces produced using the Lions-Peetre construction in rearrangement invariant spaces. It turns out that the optimal space of the embedding is also a generalized Lions-Peetre space whose parameters are explicitly evaluated. Bibliography: 18 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

The optimal rolling of a sphere, with twisting but without slipping

The problem of a sphere rolling on the plane, with twisting but without slipping, is considered. It is required to roll the sphere from one configuration to another in such a way that the minimum of the action is attained. We obtain a complete parametrization of the extremal trajectories and analyse the natural symmetries of the Hamiltonian system of the Pontryagin maximum principle (rotations and reflections) and their fixed points. Based on the estimates obtained for the fixed points we prove upper estimates for the cut time, that is, the moment of time when an extremal trajectory loses optimality. We consider the problem of re-orienting the sphere in more detail; in particular, we find diffeomorphic domains in the pre-image and image of the exponential map which are used to construct the optimal synthesis. Bibliography: 15 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

On the geometry of a smooth model of a fibre product of families of K3 surfaces

The Hodge conjecture on algebraic cycles is proved for a smooth projective model X of a fibre product X{sub 1}×{sub C}X{sub 2} of nonisotrivial 1-parameter families of K3 surfaces (possibly with degeneracies) X{sub k}→C (k=1,2) over a smooth projective curve C under the assumption that, for generic geometric fibres X{sub 1s} and X{sub 2s}, the ring End{sub Hg(X{sub 1{sub s)}}}NS{sub Q}(X{sub 1s}){sup ⊥} is an imaginary quadratic field, rankNS(X{sub 1s})≠18, and End{sub Hg(X{sub 2{sub s)}}}NS{sub Q}(X{sub 2s}){sup ⊥} is a totally real field or else rankNS(X{sub 1s})<rankNS(X{sub 2s}). Bibliography: 10 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Smooth solutions of the Navier-Stokes equations

We consider smooth solutions of the Cauchy problem for the Navier-Stokes equations on the scale of smooth functions which are periodic with respect to x∈R{sup 3}. We obtain existence theorems for global (with respect to t>0) and local solutions of the Cauchy problem. The statements of these depend on the smoothness and the norm of the initial vector function. Upper bounds for the behaviour of solutions in both classes, which depend on t, are also obtained. Bibliography: 10 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Stabilization of a locally minimal forest

The method of partial stabilization of locally minimal networks, which was invented by Ivanov and Tuzhilin to construct examples of shortest trees with given topology, is developed. According to this method, boundary vertices of degree 2 are not added to all edges of the original locally minimal tree, but only to some of them. The problem of partial stabilization of locally minimal trees in a finite-dimensional Euclidean space is solved completely in the paper, that is, without any restrictions imposed on the number of edges remaining free of subdivision. A criterion for the realizability of such stabilization is established. In addition, the general problem of searching for the shortest forest connecting a finite family of boundary compact sets in an arbitrary metric space is formalized; it is shown that such forests exist for any family of compact sets if and only if for any finite subset of the ambient space there exists a shortest tree connecting it. The theory developed here allows us to establish further generalizations of the stabilization theorem both for arbitrary metric spaces and for metric spaces with some special properties. Bibliography: 10 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Banach spaces that realize minimal fillings

It is proved that a real Banach space realizes minimal fillings for all its finite subsets (a shortest network spanning a fixed finite subset always exists and has the minimum possible length) if and only if it is a predual of L{sub 1}. The spaces L{sub 1} are characterized in terms of Steiner points (medians). Bibliography: 25 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

The structure of locally bounded finite-dimensional representations of connected locally compact groups

An analogue of a Lie theorem is obtained for (not necessarily continuous) finite-dimensional representations of soluble finite-dimensional locally compact groups with connected quotient group by the centre. As a corollary, the following automatic continuity proposition is obtained for locally bounded finite-dimensional representations of connected locally compact groups: if G is a connected locally compact group, N is a compact normal subgroup of G such that the quotient group G/N is a Lie group, N{sub 0} is the connected identity component in N, H is the family of elements of G commuting with every element of N{sub 0}, and π is a (not necessarily continuous) locally bounded finite-dimensional representation of G, then π is continuous on the commutator subgroup of H (in the intrinsic topology of the smallest analytic subgroup of G containing this commutator subgroup). Bibliography: 23 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Characterizing quasiconvex functions in terms of the Kronrod's tree of a function

As an application of Kronrod's construction of the tree of a function to convex analysis, a characterization of quasiconvex functions is obtained. Namely, a function is quasiconvex if and only if the associated function defined on the tree of the original function is quasiconvex. A new proof of one of the existence lemmas in Kronrod's construction of the tree of a function (the original proof of which turned out to be incorrect) is given. Bibliography: 4 titles. (paper)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Covering sets in R{sup m}

The paper investigates questions related to Borsuk's classical problem of partitioning a set in Euclidean space into subsets of smaller diameter, as well as to the well-known Nelson-Erdős-Hadwiger problem on the chromatic number of a Euclidean space. The results of the work are obtained using combinatorial and geometric methods alike. A new approach to the investigation of such problems is suggested; it leads to a collection of results which significantly improve all results known so far. Bibliography: 58 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Classification of billiard motions in domains bounded by confocal parabolas

We consider the billiard dynamical system in a domain bounded by confocal parabolas. We describe such domains in which the billiard problem can be correctly stated. In each such domain we prove the integrability for the system, analyse the arising Liouville foliation, and calculate the invariant of Liouville equivalence--the so-called marked molecule. It turns out that billiard systems in certain parabolic domains have the same closures of solutions (integral trajectories) as the systems of Goryachev-Chaplygin-Sretenskii and Joukowski at suitable energy levels. We also describe the billiard motion in noncompact domains bounded by confocal parabolas, namely, we describe the topology of the Liouville foliation in terms of rough molecules. Bibliography: 16 titles.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2014

Optimal recovery of linear operators in non-Euclidean metrics

The paper looks at problems concerning the recovery of operators from noisy information in non-Euclidean metrics. A number of general theorems are proved and applied to recovery problems for functions and their derivatives from the noisy Fourier transform. In some cases, a family of optimal methods is found, from which the methods requiring the least amount of original information are singled out. Bibliography: 25 titles.

97 MATHEMATICS AND COMPUTING↗
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↗