Search NASA⌕ Search

SEARCH · Search NASA

Results for “boundary value problems”

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 397 records · Page 22

On the closedness and geometry of tensor network state sets

Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps are optimized over certain sets of TNS. Concerning algorithmic stability, it is important whether the considered sets are closed because, otherwise, the algorithms may approach a boundary point that is outside the TNS set and tensor elements diverge. Here we discuss the closedness and geometries of TNS sets, and we propose regularizations for optimization problems on non-closed TNS sets. We show that sets of matrix product states (MPS) with open boundary conditions, tree tensor network states, and the multiscale entanglement renormalization ansatz are always closed, whereas sets of translation-invariant MPS with periodic boundary conditions (PBC), heterogeneous MPS with PBC, and projected entangled pair states are generally not closed. The latter is done using explicit examples like the W state, states that we call two-domain states, and fine-grained versions thereof.

97 MATHEMATICS AND COMPUTING↗

First-principles simulation of solvation structure and deprotonation reactions of ore forming metal ions in very nonideal solutions

Advances in algorithms and computational performance achieved in this grant period have allowed the atomic level dynamical simulation of complex nanoscale materials using interparticle forces calculated directly from an accurate density functional solution to the electronic Schrödinger equation (ab-initio molecular dynamics, AIMD). Focus of this program was on the prediction and analysis of the properties of environmentally important ions in aqueous solutions. AIMD methods have provided chemical interpretations of these very complex systems with an unprecedented level of accuracy and detail. The structure of the solvation region neighboring a highly charged metal ion (e.g., 3+) in an aqueous solution is very different from that of bulk water. The many-body behaviors (polarization, charge transfer, etc.) of the ion-water and water-water interactions in this region are difficult to capture with conventional empirical potentials. However, a large numbers of waters (up to 128 waters) are required to fully describe chemical events in the extended hydrations shells and long simulation times are needed to reliably sample the system. Taken together this makes simulation at the 1 st principles level a very large computational problem. Our AIMD simulation results using these methods agree with the measured octahedral structure of the 1 st solvation shell of Al 3+ at the 1 st shell boundary and a calculated radius of 1.937 (exp. 1.9). Our calculated average 2 nd shell radius agrees remarkably well with the measured radius, 4.093 Å calculated vs. the measured value of 4.0-4.15 Å.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Spatially quasi-periodic water waves of finite depth

We present a numerical study of spatially quasi-periodic gravity-capillary waves of finite depth in both the initial value problem and travelling wave settings. We adopt a quasi-periodic conformal mapping formulation of the Euler equations, where one-dimensional quasi-periodic functions are represented by periodic functions on a higher-dimensional torus. We compute the time evolution of free surface waves in the presence of a background flow and a quasi-periodic bottom boundary and observe the formation of quasi-periodic patterns on the free surface. Two types of quasi-periodic travelling waves are computed: small-amplitude waves bifurcating from the zero-amplitude solution and larger-amplitude waves bifurcating from finite-amplitude periodic travelling waves. We derive weakly nonlinear approximations of the first type and investigate the associated small-divisor problem. We find that waves of the second type exhibit striking nonlinear behaviour, e.g. the peaks and troughs are shifted non-periodically from the corresponding periodic waves due to the activation of quasi-periodic modes.

Science & Technology - Other Topics↗

Predicting Ice Sheet and Climate Evolution at Extreme Scales

A main research objectives of PISCEES is the development of formal methods for quantifying uncertainties in ice sheet modeling. Uncertainties in simulating and projecting mass loss from the polar ice sheets arise primarily from initial conditions, surface and basal boundary conditions, and model parameters. In general terms, two main chains of uncertainty propagation may be identified: 1. inverse propagation of observation and/or prior onto posterior control variable uncertainties; 2. forward propagation of prior or posterior control variable uncertainties onto those of target output quantities of interest (e.g., climate indices or ice sheet mass loss). A related goal is the development of computationally efficient methods for producing initial conditions for an ice sheet that are close to available present-day observations and essentially free of artificial model drift, which is required in order to be useful for model projections (“initialization problem”). To be of maximum value, such optimal initial states should be accompanied by “useful” uncertainty estimates that account for the different sources of uncerainties, as well as the degree to which the optimum state is constrained by available observations. The PISCEES proposal outlined two approaches for quantifying uncertainties. The first targets the full exploration of the uncertainty in model projections with sampling-based methods and a workflow managed by DAKOTA (the main delivery vehicle for software developed under QUEST). This is feasible for low-dimensional problems, e.g., those with a handful of global parameters to be inferred. This approach can benefit from derivative/adjoint information, but it is not necessary, which is why it often referred to as “non-intrusive”. The second approach makes heavy use of derivative information from model adjoints to address quantifying uncertainty in high-dimensions (e.g., basal boundary conditions in ice sheet models). The use of local gradient, or Hessian information (i.e., second derivatives of the cost function), requires additional code development and implementation, and is thus often referred to as an “intrusive” approach. Within PISCEES, MIT has been tasked to develop methods for derivative-based UQ, the ”intrusive” approach discussed above. These methods rely on the availability of first (adjoint) and second (Hessian) derivative code, developed through intrusive methods such as algorithmic differentiation (AD). While representing a significant burden in terms of code development, derivative-baesd UQ is able to cope with very high-dimensional uncertainty spaces. That is, unlike sampling methods (all variations of Monte Carlo), calculational burden is independent of the dimension of the uncertainty space. This is a significant advantage for spatially distributed uncertainty fields, such as threedimensional initial conditions, three-dimensional parameter fields, or two-dimensional surface and basal boundary conditions. Importantly, uncertainty fields for ice sheet models generally fall into this category.

97 MATHEMATICS AND COMPUTING↗

Inertial impedance of coalescence during collision of liquid drops

The fluid dynamics of the collision and coalescence of liquid drops has intrigued scientists and engineers for more than a century owing to its ubiquitousness in nature, e.g. raindrop coalescence, and industrial applications, e.g. breaking of emulsions in the oil and gas industry. The complexity of the underlying dynamics, which includes occurrence of hydrodynamic singularities, has required study of the problem at different scales – macroscopic, mesoscopic and molecular – using stochastic and deterministic methods. In this work, a multi-scale, deterministic method is adopted to simulate the approach, collision, and eventual coalescence of two drops where the drops as well as the ambient fluid are incompressible, Newtonian fluids. The free boundary problem governing the dynamics consists of the Navier–Stokes system and associated initial and boundary conditions that have been augmented to account for the effects of disjoining pressure as the separation between the drops becomes of the order of a few hundred nanometres. This free boundary problem is solved by a Galerkin finite element-based algorithm. The interplay of inertial, viscous, capillary and van der Waals forces on the coalescence dynamics is investigated. It is shown that, in certain situations, because of inertia two drops that are driven together can first bounce before ultimately coalescing. This bounce delays coalescence and can result in the computed value of the film drainage time departing significantly from that predicted from existing scaling theories.

Mechanics↗

Asymptotic theory of double layer and shielding of electric field at the edge of illuminated plasma

The method of matched asymptotic expansions is applied to the problem of a collisionless plasma generated by UV illumination localized in a central part of the plasma in the limiting case of small Debye length λ{sub D}. A second-approximation asymptotic solution is found for the double layer positioned at the boundary of the illuminated region and for the un-illuminated plasma for the plane geometry. Numerical calculations for different values of λ{sub D} are reported and found to confirm the asymptotic results. The net integral space charge of the double layer is asymptotically small, although in the plane geometry it is just sufficient to shield the ambipolar electric field existing in the illuminated region and thus to prevent it from penetrating into the un-illuminated region. The double layer has the same mathematical nature as the intermediate transition layer separating an active plasma and a collisionless sheath, and the underlying physics is also the same. In essence, the two layers represent the same physical object: a transonic layer.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

fPINNs: Fractional Physics-Informed Neural Networks

Physics-informed neural networks (PINNs), introduced, are effective in solving integer-order partial differential equations (PDEs) based on scattered and noisy data. PINNs employ standard feedforward neural networks (NNs) with the PDEs explicitly encoded into the NN using automatic differentiation, while the sum of the mean-squared PDE residuals and the mean-squared error in initial-boundary conditions is minimized with respect to the NN parameters. Here we extend PINNs to fractional PINNs (fPINNs) to solve space-time fractional advection-diffusion equations (fractional ADEs), and we study systematically their convergence, hence explaining both fPINNs and PINNs for the first time. Specifically, we demonstrate their accuracy and effectiveness in solving multidimensional forward and inverse problems with forcing terms whose values are only known at randomly scattered spatio-temporal coordinates (black-box (BB) forcing terms). A novel element of the fPINNs is the hybrid approach that we introduce for constructing the residual in the loss function using both automatic differentiation for the integer-order operators and numerical discretization for the fractional operators. This approach bypasses the difficulties stemming from the fact that automatic differentiation is not applicable to fractional operators because the standard chain rule in integer calculus is not valid in fractional calculus. To discretize the fractional operators, we employ the Grünwald--Letnikov (GL) formula in one-dimensional fractional ADEs and the vector GL formula in conjunction with the directional fractional Laplacian in two- and three-dimensional fractional ADEs. We first consider the one-dimensional fractional Poisson equation and compare the convergence of the fPINNs against the finite difference method (FDM). We present the solution convergence using both the mean L 2 error as well as the standard deviation due to sensitivity to NN parameter initializations. Using different GL formulas we observe first-, second-, and third-order convergence rates for small size training sets but the error saturates for larger training sets. We explain these results by analyzing the four sources of numerical errors due to discretization, sampling, NN approximation, and optimization. The total error decays monotonically (below 10 –5 for a third-order GL formula) but it saturates beyond that point due to the optimization error. We also analyze the relative balance between discretization and sampling errors and observe that the sampling size and the number of discretization points (auxiliary points) should be comparable to achieve the highest accuracy. As we increase the depth of the NN up to certain value, the mean error decreases and the standard deviation increases, whereas the width has essentially no effect unless its value is either too small or too large. We next consider time-dependent fractional ADEs and compare white-box (WB) and BB forcing. We observe that for the WB forcing, our results are similar to the aforementioned cases; however, for the BB forcing fPINNs outperform FDM. Subsequently, we consider multidimensional time-, space-, and space-time-fractional ADEs using the directional fractional Laplacian and we observe relative errors of 10 –3 ~ 10 –4 . Lastly, we solve several inverse problems in one, two, and three dimensions to identify the fractional orders, diffusion coefficients, and transport velocities and obtain accurate results given proper initializations even in the presence of significant noise.

97 MATHEMATICS AND COMPUTING↗

Natural Circulation and Linear Stability Analysis for Liquid-Metal Reactors with the Effect of Fluid Axial Conduction

The effect of fluid axial thermal conduction on one-dimensional liquid metal natural circulation and its linear stability was performed through nondimensional analysis, steady-state assessment, and linear perturbation evaluation. The Nyquist criterion and a root-search method were employed to find the linear stability boundary of both forward and backward circulations. The study provided a relatively complete analysis method for one-dimensional natural circulation problems with the consideration of fluid axial heat conduction. The results suggest that fluid axial heat conduction in a natural circulation loop should be considered only when the modified Peclet number is {approx}1 or less, which is significantly smaller than the practical value of a lead liquid metal-cooled reactor.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Sign Problem in Tensor-Network Contraction

We investigate how the computational difficulty of contracting tensor networks depends on the sign structure of the tensor entries. Using results from computational complexity, we observe that the approximate contraction of tensor networks with only positive entries has lower computational complexity as compared to tensor networks with general real or complex entries. This raises the question of how this transition in computational complexity manifests itself in the hardness of different tensor-network-contraction schemes. We pursue this question by studying random tensor networks with varying bias toward positive entries. First, we consider contraction via Monte Carlo sampling and find that the transition from hard to easy occurs when the tensor entries become predominantly positive; this can be understood as a tensor-network manifestation of the well-known negative-sign problem in quantum Monte Carlo. Second, we analyze the commonly used contraction based on boundary tensor networks. The performance of this scheme is governed by the number of correlations in contiguous parts of the tensor network (which by analogy can be thought of as entanglement). Remarkably, we find that the transition from hard to easy—i.e., from a volume-law to a boundary-law scaling of entanglement—already occurs for a slight bias of the tensor entries toward a positive mean, scaling inversely with the bond dimension D , and thus the problem becomes easy the earlier the larger D occurs. This is in contrast both to expectations and to the behavior found in Monte Carlo contraction, where the hardness at fixed bias increases with the bond dimension. To provide insight into this early breakdown of computational hardness and the accompanying entanglement transition, we construct an effective classical statistical-mechanical model that predicts a transition at a bias of the tensor entries of 1 / D , confirming our observations. We conclude by investigating the computational difficulty of computing expectation values of tensor-network wave functions (projected entangled-pair states, PEPSs) and find that in this setting, the complexity of entanglement-based contraction always remains low. We explain this by providing a local transformation that maps PEPS expectation values to a positive-valued tensor network. This not only provides insight into the origin of the observed boundary-law entanglement scaling but also suggests new approaches toward PEPS contraction based on positive decompositions. Published by the American Physical Society 2025

Chen, Jielun (ORCID:0000000178411545)↗

Magnetic surfaces in an axisymmetric torus

A method is developed for specifying the boundary equilibrium magnetic surface in an axially symmetric torus by using the absolute values of the magnetic field B = B{sub s}({theta}) and the gradient of the poloidal flux vertical bar vertical bar {nabla}{Psi} vertical bar = vertical bar {nabla}{Psi} vertical bar {sub s}({theta}) in a special flux coordinate system. By setting two surface constants (e.g., the safety factor q and dp/d{Psi}) and matching the absolute values of the magnetic field and the flux gradient on a closed magnetic surface, it is possible to find all equilibrium magnetic functions (including n {center_dot} {nabla} ln B and the local shear s) and all constants (including the toroidal current J and the shear d{mu}/d{Psi}) on this surface. Such a non-traditional formulation of the boundary conditions in solving the stability problem in an axisymmetric torus allows one to impose intentional conditions on plasma confinement and MHD stability at the periphery of the system.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Ion-acoustic cnoidal waves in a quantum plasma

Nonlinear ion-acoustic cnoidal wave structures are studied in an unmagnetized quantum plasma. Using the reductive perturbation method, a Korteweg-de Vries equation is derived for appropriate boundary conditions and nonlinear periodic wave solutions are obtained. The corresponding analytical solution and numerical plots of the ion-acoustic cnoidal waves and solitons in the phase plane are presented using the Sagdeev pseudo-potential approach. The variations in the nonlinear potential of the ion-acoustic cnoidal waves are studied at different values of quantum parameter H{sub e} which is the ratio of electron plasmon energy to electron Fermi energy defined for degenerate electrons. It is found that both compressive and rarefactive ion-acoustic cnoidal wave structures are formed depending on the value of the quantum parameter. The dependence of the wavelength and frequency on nonlinear wave amplitude is also presented.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

The Finite Deformation Dynamic Sphere Test Problem

In this manuscript we describe test cases for the dynamic sphere problem in presence of finite deformations. The spherical shell in exam is made of a homogeneous, isotropic or transverse isotropic material and elastic and elastic-plastic material behaviors are considered. Twenty cases, (a) to (t), are thus defined combining material types and boundary conditions. The inner surface radius, the outer surface radius and the material's density are kept constant for all the considered test cases and their values are r i = 10mm, r o = 20mm and p = 1000Kg/m 3 respectively.

36 MATERIALS SCIENCE↗

RADIATIVELY EFFICIENT MAGNETIZED BONDI ACCRETION

We have carried out a numerical study of the effect of large-scale magnetic fields on the rate of accretion from a uniform, isothermal gas onto a resistive, stationary point mass. Only mass, not magnetic flux, accretes onto the point mass. The simulations for this study avoid complications arising from boundary conditions by keeping the boundaries far from the accreting object. Our simulations leverage adaptive refinement methodology to attain high spatial fidelity close to the accreting object. Our results are particularly relevant to the problem of star formation from a magnetized molecular cloud in which thermal energy is radiated away on timescales much shorter than the dynamical timescale. Contrary to the adiabatic case, our simulations show convergence toward a finite accretion rate in the limit in which the radius of the accreting object vanishes, regardless of magnetic field strength. For very weak magnetic fields, the accretion rate first approaches the Bondi value and then drops by a factor of {approx}2 as magnetic flux builds up near the point mass. For strong magnetic fields, the steady-state accretion rate is reduced by a factor of {approx}0.2 {beta}{sup 1/2} compared to the Bondi value, where {beta} is the ratio of the gas pressure to the magnetic pressure. We give a simple expression for the accretion rate as a function of the magnetic field strength. Approximate analytic results are given in the Appendices for both time-dependent accretion in the limit of weak magnetic fields and steady-state accretion for the case of strong magnetic fields.

79 ASTRONOMY AND ASTROPHYSICS↗

Higher order and asymmetry effects on saturation of magnetic islands

Higher order asymptotic matching procedure is developed to derive the nonlinear equation for saturated magnetic island with the symmetric profile of the equilibrium current. The theory extends the previous results to include higher order effects such as nonlinear modification of the equilibrium current and asymmetry in the boundary conditions in the outer region. It is shown that due to a finite width of the nonlinear region, the magnitude of the magnetic flux at the rational surface is different from the asymptotic value found from the outer solution, resulting in the suppression of the island growth for higher values of Δ{sup ′} parameter.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Study of continuous-wave domain fluorescence diffuse optical tomography for quality control on agricultural produce

The importance of monitoring the quality of vegetables and fruits is prosperity by giving a competitive advantage for producer and providing a more healthy food for consumer. Diffuse Optical Tomography (DOT) is offering the possibility to detect the internal defects of the agricultural produce quality. Fluorescence diffuse optical tomography (FDOT) is the development of DOT, offering the possibilities to improve spatial resolution and to contrast image. The purpose of this research is to compare FDOT and DOT in forward analysis with continuous wave approach. The scattering and absorbing parameters of potatoes are used to represent the real condition. The object was illuminated by the NIR source from some positions on the boundary of object. A set of NIR detector are placed on the peripheral position of the object to measure the intensity of propagated or emitted light. In the simulation, we varied a condition of object then we analyzed the sensitivity of forward problem. The result of this study shows that FDOT has a better sensitivity than DOT and a better potential to monitor internal defects of agricultural produce because of the contrast value between optical and fluorescence properties of agricultural produce normal tissue and defects.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Extension of the PINN diffusion model to k-eigenvalue problems

This paper extends our recent work on the Physics-Informed Neural Networks (PINN) approach for the fixed source diffusion models and applies it to the diffusion theory based k-eigenvalue problems. To make the PINN equitable for the eigenvalue problems, we introduce a novel integral regularization term to the loss function in the framework, and allow the direct inference of the principal eigenvalue and the associated eigenfunction. The regularization term enforces a pre-defined value on the integration of the model predictions, and this value can be directly related to a physical property of the system. We also introduce an additional learnable parameter to approximate the principal eigenvalue. As a proof of principle, we solve the one-group two-dimensional k-eigenvalue neutron diffusion equation in this work. We then provide two numerical examples to demonstrate the applicability of the PINN approach. In each example, we solve the k-eigenvalue diffusion equation in a multi-region configuration constrained with a set of Robin boundary conditions for generality. We use a FEM solution based on the power-iteration method to verify the results of the PINN solution. The results showed relative percentage error in the predicted eigenvalue of about 0.77% and about 1.2% for example 1 and example 2, respectively. The mean absolute error in the predicted flux for example 1 is ∼ 0.002 and for example 2 is ∼ 0.0024. These results indicate some preliminary successes of the PINN application to k-eigenvalue problems. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

A Probabilistic Approach to Interior Regularity of Fully Nonlinear Degenerate Elliptic Equations in Smooth Domains

We consider the value function of a stochastic optimal control of degenerate diffusion processes in a domain D. We study the smoothness of the value function, under the assumption of the non-degeneracy of the diffusion term along the normal to the boundary and an interior condition weaker than the non-degeneracy of the diffusion term. When the diffusion term, drift term, discount factor, running payoff and terminal payoff are all in the class of C{sup 1,1}( D-bar ) , the value function turns out to be the unique solution in the class of C{sub loc}{sup 1,1}(D) Intersection C{sup 0,1}( D-bar ) to the associated degenerate Bellman equation with Dirichlet boundary data. Our approach is probabilistic.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗