skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the Determinant Problem for the Relativistic Boltzmann Equation
Abstract This article considers a long-outstanding open question regarding the Jacobian determinant for the relativistic Boltzmann equation in the center-of-momentum coordinates. For the Newtonian Boltzmann equation, the center-of-momentum coordinates have played a large role in the study of the Newtonian non-cutoff Boltzmann equation, in particular we mention the widely used cancellation lemma [1]. In this article we calculate specifically the very complicated Jacobian determinant, in ten variables, for the relativistic collision map from the momentum p to the post collisional momentum $$p'$$ p ′ ; specifically we calculate the determinant for $$p\mapsto u = \theta p'+\left( 1-\theta \right) p$$ p ↦ u = θ p ′ + 1 - θ p for $$\theta \in [0,1]$$ θ ∈ [ 0 , 1 ] . Afterwards we give an upper-bound for this determinant that has no singularity in both p and q variables. Next we give an example where we prove that the Jacobian goes to zero in a specific pointwise limit. We further explain the results of our numerical study which shows that the Jacobian determinant has a very large number of distinct points at which it is machine zero. This generalizes the work of Glassey-Strauss (1991) [8] and Guo-Strain (2012) [12]. These conclusions make it difficult to envision a direct relativistic analog of the Newtonian cancellation lemma in the center-of-momentum coordinates.  more » « less
Award ID(s):
2055271 1764177
PAR ID:
10347926
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Communications in Mathematical Physics
Volume:
384
Issue:
3
ISSN:
0010-3616
Page Range / eLocation ID:
1913 to 1943
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract This is a continuation, and conclusion, of our study of bounded solutions u of the semilinear parabolic equation $$u_t=u_{xx}+f(u)$$ u t = u xx + f ( u ) on the real line whose initial data $$u_0=u(\cdot ,0)$$ u 0 = u ( · , 0 ) have finite limits $$\theta ^\pm $$ θ ± as $$x\rightarrow \pm \infty $$ x → ± ∞ . We assume that f is a locally Lipschitz function on $$\mathbb {R}$$ R satisfying minor nondegeneracy conditions. Our goal is to describe the asymptotic behavior of u ( x ,  t ) as $$t\rightarrow \infty $$ t → ∞ . In the first two parts of this series we mainly considered the cases where either $$\theta ^-\ne \theta ^+$$ θ - ≠ θ + ; or $$\theta ^\pm =\theta _0$$ θ ± = θ 0 and $$f(\theta _0)\ne 0$$ f ( θ 0 ) ≠ 0 ; or else $$\theta ^\pm =\theta _0$$ θ ± = θ 0 , $$f(\theta _0)=0$$ f ( θ 0 ) = 0 , and $$\theta _0$$ θ 0 is a stable equilibrium of the equation $${{\dot{\xi }}}=f(\xi )$$ ξ ˙ = f ( ξ ) . In all these cases we proved that the corresponding solution u is quasiconvergent—if bounded—which is to say that all limit profiles of $$u(\cdot ,t)$$ u ( · , t ) as $$t\rightarrow \infty $$ t → ∞ are steady states. The limit profiles, or accumulation points, are taken in $$L^\infty _{loc}(\mathbb {R})$$ L loc ∞ ( R ) . In the present paper, we take on the case that $$\theta ^\pm =\theta _0$$ θ ± = θ 0 , $$f(\theta _0)=0$$ f ( θ 0 ) = 0 , and $$\theta _0$$ θ 0 is an unstable equilibrium of the equation $${{\dot{\xi }}}=f(\xi )$$ ξ ˙ = f ( ξ ) . Our earlier quasiconvergence theorem in this case involved some restrictive technical conditions on the solution, which we now remove. Our sole condition on $$u(\cdot ,t)$$ u ( · , t ) is that it is nonoscillatory (has only finitely many critical points) at some $$t\ge 0$$ t ≥ 0 . Since it is known that oscillatory bounded solutions are not always quasiconvergent, our result is nearly optimal. 
    more » « less
  2. We give a geometric construction of representations of parahoric subgroups P P of a reductive group G G over a local field which splits over an unramified extension. These representations correspond to characters θ \theta of unramified maximal tori and, when the torus is elliptic, are expected to give rise to supercuspidal representations of G G . We calculate the character of these P P -representations on a special class of regular semisimple elements of G G . Under a certain regularity condition on θ \theta , we prove that the associated P P -representations are irreducible. This generalizes a construction of Lusztig from the hyperspecial case to the setting of an arbitrary parahoric. 
    more » « less
  3. In this paper we derive the best constant for the following L ∞<#comment/> L^{\infty } -type Gagliardo-Nirenberg interpolation inequality ‖<#comment/> u ‖<#comment/> L ∞<#comment/> ≤<#comment/> C q , ∞<#comment/> , p ‖<#comment/> u ‖<#comment/> L q + 1 1 −<#comment/> θ<#comment/> ‖<#comment/> ∇<#comment/> u ‖<#comment/> L p θ<#comment/> , θ<#comment/> = p d d p + ( p −<#comment/> d ) ( q + 1 ) , \begin{equation*} \|u\|_{L^{\infty }}\leq C_{q,\infty ,p} \|u\|^{1-\theta }_{L^{q+1}}\|\nabla u\|^{\theta }_{L^p},\quad \theta =\frac {pd}{dp+(p-d)(q+1)}, \end{equation*} where parameters q q and p p satisfy the conditions p > d ≥<#comment/> 1 p>d\geq 1 , q ≥<#comment/> 0 q\geq 0 . The best constant C q , ∞<#comment/> , p C_{q,\infty ,p} is given by C q , ∞<#comment/> , p = θ<#comment/> −<#comment/> θ<#comment/> p ( 1 −<#comment/> θ<#comment/> ) θ<#comment/> p M c −<#comment/> θ<#comment/> d , M c ∫<#comment/> R d u c , ∞<#comment/> q + 1 d x , \begin{equation*} C_{q,\infty ,p}=\theta ^{-\frac {\theta }{p}}(1-\theta )^{\frac {\theta }{p}}M_c^{-\frac {\theta }{d}},\quad M_c≔\int _{\mathbb {R}^d}u_{c,\infty }^{q+1} dx, \end{equation*} where u c , ∞<#comment/> u_{c,\infty } is the unique radial non-increasing solution to a generalized Lane-Emden equation. The case of equality holds when u = A u c , ∞<#comment/> ( λ<#comment/> ( x −<#comment/> x 0 ) ) u=Au_{c,\infty }(\lambda (x-x_0)) for any real numbers A A , λ<#comment/> > 0 \lambda >0 and x 0 ∈<#comment/> R d x_{0}\in \mathbb {R}^d . In fact, the generalized Lane-Emden equation in R d \mathbb {R}^d contains a delta function as a source and it is a Thomas-Fermi type equation. For q = 0 q=0 or d = 1 d=1 , u c , ∞<#comment/> u_{c,\infty } have closed form solutions expressed in terms of the incomplete Beta functions. Moreover, we show that u c , m →<#comment/> u c , ∞<#comment/> u_{c,m}\to u_{c,\infty } and C q , m , p →<#comment/> C q , ∞<#comment/> , p C_{q,m,p}\to C_{q,\infty ,p} as m →<#comment/> + ∞<#comment/> m\to +\infty for d = 1 d=1 , where u c , m u_{c,m} and C q , m , p C_{q,m,p} are the function achieving equality and the best constant of L m L^m -type Gagliardo-Nirenberg interpolation inequality, respectively. 
    more » « less
  4. We introduce a two-particle correlation observable that measures multiplicity-momentum correlations and may facilitate an estimate of the level of equilibration of the medium created in relativistic nuclear collisions. We calculate that multiplicity-momentum correlations should vanish in equilibrium in the Grand Canonical Ensemble, therefore non-zero measured values may indicate that the system has not reached local thermal equilibrium. Information about the level of equilibration of the system is important because many state-of-the-art models assume local equilibration either directly or through the use of an equation of state that makes this assumption. We make estimates of multiplicity-momentum correlations using PYTHIA/Angantyr and find positive values comparable in magnitude to well-measured correlations of transverse momentum fluctuations. We then outline a formalism that can use multiplicity-momentum correlations and correlations of transverse momentum fluctuations to quantify the level of partial thermalization of the system. 
    more » « less
  5. null (Ed.)
    Following a suggestion of Peter Scholze, we construct an action of G m ^ \widehat {\mathbb {G}_m} on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the p p -adic modular curve whose ring of functions is Serre’s space of p p -adic modular functions. This action is a local, p p -adic analog of a global, archimedean action of the circle group S 1 S^1 on the lattice-unstable locus of the modular curve over C \mathbb {C} . To construct the G m ^ \widehat {\mathbb {G}_m} -action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates q q ; along the way we also prove a natural generalization of Dwork’s equation τ = log ⁡ q \tau =\log q for extensions of Q p / Z p \mathbb {Q}_p/\mathbb {Z}_p by μ p ∞ \mu _{p^\infty } valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of G m ^ \widehat {\mathbb {G}_m} integrates the differential operator θ \theta coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and p p -adic L L -functions. 
    more » « less