skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Thursday, October 10 until 2:00 AM ET on Friday, October 11 due to maintenance. We apologize for the inconvenience.

Explore Research Products in the NSF-PAR

Title: Hilbert Expansion of the Boltzmann Equation with Specular Boundary Condition in Half-Space
Boundary effects play an important role in the study of hydrodynamic limits in the Boltzmann theory. Based on a systematic study of the viscous layer equations and the L2 to L∞ framework, we establish the validity of the Hilbert expansion for the Boltzmann equation with specular reflection boundary conditions, which leads to derivations of compressible Euler equations and acoustic equations in half-space.  more » « less
Award ID(s):
1810868
NSF-PAR ID:
10330726
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Archive for Rational Mechanics and Analysis
Volume:
241
Page Range / eLocation ID:
231-309
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; ( , ESAIM: Control, Optimisation and Calculus of Variations)
    Buttazzo, G. ; Casas, E. ; de Teresa, L. ; Glowinski, R. ; Leugering, G. ; Trélat, E. ; Zhang, X. (Ed.)
    When the temperature of a trapped Bose gas is below the Bose-Einstein transition temperature and above absolute zero, the gas is composed of two distinct components: the Bose-Einstein condensate and the cloud of thermal excitations. The dynamics of the excitations can be described by quantum Boltzmann models. We establish a connection between quantum Boltzmann models and chemical reaction networks. We prove that the discrete differential equations for these quantum Boltzmann models converge to an equilibrium point. Moreover, this point is unique for all initial conditions that satisfy the same conservation laws. In the proof, we then employ a toric dynamical system approach, similar to the one used to prove the global attractor conjecture, to study the convergence to equilibrium of quantum kinetic equations. 
    more » « less
  2. ; ; ; ; ; ; ; ; ; ; et al ( , Protein Science)
    Abstract

    The Adaptive Poisson–Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that have provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses the three key technology challenges for understanding solvation and electrostatics in biomedical applications: accurate and efficient models for biomolecular solvation and electrostatics, robust and scalable software for applying those theories to biomolecular systems, and mechanisms for sharing and analyzing biomolecular electrostatics data in the scientific community. To address new research applications and advancing computational capabilities, we have continually updated APBS and its suite of accompanying software since its release in 2001. In this article, we discuss the models and capabilities that have recently been implemented within the APBS software package including a Poisson–Boltzmann analytical and a semi‐analytical solver, an optimized boundary element solver, a geometry‐based geometric flow solvation model, a graph theory‐based algorithm for determining pKavalues, and an improved web‐based visualization tool for viewing electrostatics.

     
    more » « less
  3. ; ( , Communications on Pure and Applied Mathematics)
    Abstract

    Regularity and singularity of the solutions according to the shape of domains is a challenging research theme in the Boltzmann theory. In this paper, we prove an Hölder regularity in for the Boltzmann equation of the hard‐sphere molecule, which undergoes the elastic reflection in the intermolecular collision and the contact with the boundary of a convex obstacle. In particular, this Hölder regularity result is a stark contrast to the case of other physical boundary conditions (such as the diffuse reflection boundary condition and in‐flow boundary condition), for which the solutions of the Boltzmann equation develop discontinuity in a codimension 1 subset (Kim [Comm. Math. Phys. 308 (2011)]), and therefore the best possible regularity is BV, which has been proved by Guo et al. [Arch. Rational Mech. Anal. 220 (2016)].

     
    more » « less
  4. ; ; ; ( , Advances in Aerodynamics)
    Abstract

    In this paper, based on simplified Boltzmann equation, we explore the inverse-design of mesoscopic models for compressible flow using the Chapman-Enskog analysis. Starting from the single-relaxation-time Boltzmann equation with an additional source term, two model Boltzmann equations for two reduced distribution functions are obtained, each then also having an additional undetermined source term. Under this general framework and using Navier-Stokes-Fourier (NSF) equations as constraints, the structures of the distribution functions are obtained by the leading-order Chapman-Enskog analysis. Next, five basic constraints for the design of the two source terms are obtained in order to recover the NSF system in the continuum limit. These constraints allow for adjustable bulk-to-shear viscosity ratio, Prandtl number as well as a thermal energy source. The specific forms of the two source terms can be determined through proper physical considerations and numerical implementation requirements. By employing the truncated Hermite expansion, one design for the two source terms is proposed. Moreover, three well-known mesoscopic models in the literature are shown to be compatible with these five constraints. In addition, the consistent implementation of boundary conditions is also explored by using the Chapman-Enskog expansion at the NSF order. Finally, based on the higher-order Chapman-Enskog expansion of the distribution functions, we derive the complete analytical expressions for the viscous stress tensor and the heat flux. Some underlying physics can be further explored using the DNS simulation data based on the proposed model.

     
    more » « less
  5. ; ; ; ; ; ; ; ; ( , Fluids)
    Inlet and outlet boundary conditions (BCs) play an important role in newly emerged image-based computational hemodynamics for blood flows in human arteries anatomically extracted from medical images. We developed physiological inlet and outlet BCs based on patients’ medical data and integrated them into the volumetric lattice Boltzmann method. The inlet BC is a pulsatile paraboloidal velocity profile, which fits the real arterial shape, constructed from the Doppler velocity waveform. The BC of each outlet is a pulsatile pressure calculated from the three-element Windkessel model, in which three physiological parameters are tuned by the corresponding Doppler velocity waveform. Both velocity and pressure BCs are introduced into the lattice Boltzmann equations through Guo’s non-equilibrium extrapolation scheme. Meanwhile, we performed uncertainty quantification for the impact of uncertainties on the computation results. An application study was conducted for six human aortorenal arterial systems. The computed pressure waveforms have good agreement with the medical measurement data. A systematic uncertainty quantification analysis demonstrates the reliability of the computed pressure with associated uncertainties in the Windkessel model. With the developed physiological BCs, the image-based computation hemodynamics is expected to provide a computation potential for the noninvasive evaluation of hemodynamic abnormalities in diseased human vessels. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email