SEARCH · Search NASA
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.
The rate of convergence in the strong law of large numbers for sequences of nonnegative random variables is studied without the independence assumption. Conditions for which an analog of the Baum–Katz theorem holds are obtained.
We consider a class of quasielliptic operators in R{sup n} and establish the isomorphism property in special weighted Sobolev spaces. In more general weighted spaces, we obtain the unique solvability conditions for quasielliptic equations and prove estimates for solutions. Based on the obtained results, we study the solvability of the initial problem for equations that are not solvable with respect to the higher order derivative.
We study the free boundary problem for the plasma–vacuum interface in the case where the plasma density is strictly positive up to the boundary. For the linearized problem we derive the so-called tame estimates which can be used for proving the existence of solutions to the nonlinear problem by the Nash-Moser method.
We develop a new method for studying inverse problems of mathematical physics by using systems of equations of ray expansion of solutions to parabolic and hyperbolic equations with variable coefficients.
We prove the existence of the derivative of the acoustic single layer potential and study some properties of the operator generated by this derivative in generalized Hölder spaces.
We study traces of functions in Sobolev–Lorentz spaces on Lipschitz hypersurfaces. Some aspects concerning the (n − 1)-absolute continuity are studied.
We consider an inverse problem of determination of the time-dependent leading coefficient of a two-dimensional heat-conduction equation with nonlocal overdetermination condition. The existence and uniqueness conditions are established for the classical solution of the analyzed problem.
Let F be a discrete Morse function on a simplicial complex L. We construct a discrete Morse function Δ(F) on the barycentric subdivision Δ(L). The constructed function Δ(F) “behaves the same way” as F, i.e., has the same number of critical simplices and the same gradient path structure.
For an arbitrary periodic Borel measure μ we prove order O(ε) operator-norm resolvent estimates for the solutions to scalar elliptic problems in L{sup 2}(ℝ{sup d}, dμ{sup ε}) with ε-periodic coefficients, ε > 0. Here, μ{sup ε} is the measure obtained by ε-scaling of μ. Our analysis includes the case of a measure absolutely continuous with respect to the standard Lebesgue measure, as well as the case of “singular” periodic structures (or “multistructures”), when μ is supported by lower-dimensional manifolds.
Vector bundles of rank 2 on the projective line over ℤ are considered. It is assumed that such a bundle E is trivial on a generic fiber, and its restriction to any special fiber is isomorphic either to O{sup 2} or to O(−1)⊕O(1). Under these assumptions it is proved that an exact sequence of the form 0→O(−2) → E →O(2) → 0 exists.
The paper investigates the divisibility of the permanent function of (1,−1)-matrices by different powers of 2. It is shown that the Kräuter–Seifter bound is the best possible one for generic(1,−1)-matrices.
The following generalization of the theorem on forming a matroid from parts is proved: If a finite set is subdivided into some blocks, each of which is supplied with a matroid structure, and the ranks of every union of certain blocks are prescribed and satisfy the conditions on the rank function of a matroid, then the rank function can be extended to all the subsets of the original set in such a way that the latter becomes a matroid.
The semiring C{sup ∞}(X) of all continuous functions on an arbitrary topological space X with values in the topological semiring (0,∞] is studied. General properties of semirings C{sup ∞}(X) are considered. Properties of lattices of ideals and congruences of semirings C{sup ∞}(X) over the P-spaces X, the F-spaces X, and the finite discrete spaces are proved.
The concepts of an association scheme and a coherent configuration are generalized by analyzing a relationship between S-rings (Schur rings) and association schemes. In this connection, Tamaschke’s results on S-rings and other generalizations of association schemes are discussed.
We study solutions in integers of an implicit linear inhomogeneous first order difference equation bx{sub n+1} = ax{sub n} + f{sub n}. Based on the p-adic topology on the ring of integers, we obtain a criterion for the existence of solutions and show that for a = 1 a typical (in the natural topological sense) equation has no integer solutions.
We study the problem for a homogeneous partial differential equation of the second order with respect to time with given homogeneous two-point conditions in this variable and, in general, of the infinite order in the other (space) variable. It is proved that the analyzed problem possesses solely the trivial solution if the characteristic determinant is not identically equal to zero. In the case where the set of zeros of the characteristic determinant of this problem is nonempty, we propose a method for the construction of nontrivial solutions of the problem.
To fit sparse linear associations, a LASSO sparsity inducing penalty with a single hyperparameter provably allows to recover the important features (needles) with high probability in certain regimes even if the sample size is smaller than the dimension of the input vector (haystack). More recently learners known as artificial neural networks (ANN) have shown great successes in many machine learning tasks, in particular fitting nonlinear associations. Small learning rate, stochastic gradient descent algorithm and large training set help to cope with the explosion in the number of parameters present in deep neural networks. Yet few ANN learners have been developed and studied to find needles in nonlinear haystacks. Driven by a single hyperparameter, our ANN learner, like for sparse linear associations, exhibits a phase transition in the probability of retrieving the needles, which we do not observe with other ANN learners. To select our penalty parameter, we generalize the universal threshold of Donoho and Johnstone (Biometrika 81(3):425–455, 1994) which is a better rule than the conservative (too many false detections) and expensive cross-validation. In the spirit of simulated annealing, we propose a warm-start sparsity inducing algorithm to solve the high-dimensional, non-convex and non-differentiable optimization problem. We perform simulated and real data Monte Carlo experiments to quantify the effectiveness of our approach.
The TOUGH+Millstone simulator has been developed for the analysis of coupled flow, thermal and geomechanical processes associated with the formation and/or dissociation of CH 4 hydrates in geological media. It is composed of two constituent codes: (a) a significantly enhanced version of the TOUGH+HYDRATE simulator, v2.0, that accounts for all known flow, physical, thermodynamic and chemical processes associated with the behavior of hydrate-bearing systems undergoing changes and includes the most recent advances in the description of the system properties, coupled seamlessly with (b) Millstone v1.0, a new code that addresses the conceptual, computational and mathematical shortcomings of earlier codes used to describe the geomechanical response of these systems. The capabilities of the TOUGH+Millstone code are demonstrated in the simulation and analysis of the system flow, thermal and geomechanical behavior during gas production from a realistic complex offshore hydrate deposit. In the second part of this series, we describe the Millstone geomechanical simulator. The hydrate-dependent, rate-based poromechanical formulation is presented and solved using a finite element discretization. A novel multimesh coupling scheme is introduced, wherein interpolators are automatically built to transfer data between the finite difference discretization of TOUGH+ and the finite element discretization of Millstone. We provide verification examples against analytic solutions for poroelasticity and a simplified demonstration problem for mechanically induced phase change in a hydrate sediment.