Next Article in Journal
A Novel Color Image Encryption Algorithm Based on Hybrid Two-Dimensional Hyperchaos and Genetic Recombination
Previous Article in Journal
Research on Adhesion Pull-Off Behavior of Rigid Flat Punch and Viscoelastic Substrate
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solutions of a Neutron Transport Equation with a Partly Elastic Collision Operators

by
Abdul-Majeed Al-Izeri
and
Khalid Latrach
*,†
Clermont Auvergne Université, Centre National de la Recherche Scientifique, Laboratoire de Mathématiques Blaise Pascal, F-63000 Clermont-Ferrand, France
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2024, 12(22), 3455; https://doi.org/10.3390/math12223455
Submission received: 24 September 2024 / Revised: 22 October 2024 / Accepted: 2 November 2024 / Published: 5 November 2024

Abstract

:
In this paper, we derive sufficient conditions that guarantee an description of long-time asymptotic behavior of the solution to the Cauchy problem governed by a linear neutron transport equation with a partially elastic collision operator under periodic boundary conditions. Our strategy involves showing that the strongly continuous semigroups e t ( T + K e ) t 0 and e t ( T + K c + K e ) t 0 , generated by the operators T + K e and T + K c + K e , respectively, have the same essential type. According to Proposition 1, it is sufficient to show that remainder term in the Dyson–Philips expansion is compact. Our analysis focuses on the compactness properties of the second-order remainder term in the Dyson–Phillips expansion related to the problem. We first show that R 2 ( t ) is compact on L 2 ( Ω × V , d x d v ) , and, using an interpolation argument (see Proposition 2), we establish the compactness of R 2 ( t ) on L p ( Ω × V , d x d v ) -spaces for 1 < p < + . To the best of our knowledge, outside the one-dimensional case, this result is known only for vaccum boundary conditions in the multidimensional setting. However, our result, Theorem 1, is new for periodic boundary conditions.

1. Introduction

The purpose of this work is to discuss the long-time asymptotic behavior of the solution to the following Cauchy problem for partly elastic collisions operators, as introduced by E. W. Larsen and P. F. Zweifel [1]:
φ t ( x , v , t ) = v . φ x ( x , v , t ) σ ( v ) φ ( x , v , t ) + V k c ( x , v , v ) φ ( x , v , t ) d v + j = 1 l S N 1 k d j ( x , ρ j , ω , ω ) φ ( x , ρ j ω , t ) d ω + S N 1 k e ( x , ρ , ω , ω ) φ ( x , ρ ω , t ) d ω φ ( x , v , 0 ) = φ 0 ( x , v ) .
with periodic boundary conditions
φ ( x , v , t ) x i = a i = φ ( x , v , t ) x i = a i .
where ( x , v ) Ω × V , with Ω being an open subset of R N given by
Ω = i = 1 N ( a i , a i ) , a i > 0 , i = 1 , · · · , N
where the speed v in V is written in the form v = ρ ω , ω S N 1 ( S N 1 is the unit sphere of R N ) and ρ I : = [ ρ min , ρ max ] , where ρ max < + . The velocity space is equipped with the Lebesgue measure d v = ρ N 1 d ρ d ω , where d ω is the Lebesgue measure on the unit sphere S N 1 . The function φ ( x , v , t ) represents the number density of particles with position x and velocity v at time t. The function 0 σ ( · ) L ( V , d v ) is called the collision frequency and the functions k c ( · , · , · ) , k e ( · , · , · , · ) and k d j ( · , · , · , · ) , j = 1 , · · · , l , denote the scattering kernels of operators K c , K e , and K d = j = 1 l K d j , which we define below.
In this model, the collision operator consists of three terms:
K = K c + K e + K d .
The collision operator K c denotes the classical collision operator involved in the classical neutron transport theory (see, for example, [2]); this can be expressed by
K c φ ( x , v ) = V k c ( x , v , v ) φ ( x , v ) d v
and it corresponds physically to fission, high energy elastic slowing down, and thermal inelastic scattering. K e is an elastic operator for low energy neutrons describing microscopic events in which the kinetic energy is conserved and velocities are changed only in their direction. It is given by
K e φ ( x , v ) = S N 1 k e ( x , ρ , ω , ω ) φ ( x , ρ ω ) d ω
Finally, K d represents high energy inelastic scattering and is described by a downshift operator of the form
K d φ ( x , v ) = j = 1 l K d j φ ( x , v ) = j = 1 l S N 1 k d j ( x , ρ j , ω , ω ) φ ( x , ρ j ω ) d ω ,
where K d j ( j = 1 , , l ) describes an event in which a discrete energy E j is lost by a neutron at x with an initial speed e j ( ρ ) and final speed ρ . The speed e j ( ρ ) is defined by
E j = 1 2 M e j 2 ( ρ ) 1 2 M ρ 2 ,
where M is the mass of neutrons.
Finally, by K e , we denote the operator
K e φ ( x , v ) = S N 1 k e ( x , ρ , ω , ω ) φ ( x , ρ ω ) d ω
called the elastic collision operator. It describes the collisions, which do not vary the kinetic energy of the neutrons, they act only through the angular part of the variable of velocity.
Let us notice that the spectral properties of the operator T + K c + K e + K d was first studied by E. W. Larsen and P. F. Zweifel in [1] in the space L 1 . It was considered afterwards by M. Sbihi [3,4] for vacuum boundary conditions (zero incoming flow) and for reentry boundary conditions in [5]. This work intends to investigate the properties of solutions to Problem (1) with periodic boundary conditions in a box of finite measure. Our approach is based on the spectral theory of the semigroup generated by the operator T + K c + K e + K d . Due to certain technical difficulties, we restrict our analysis to partially elastic collision operators. So, we suppose that K d = 0 ; therefore, the collision operator is written as K = K c + K e . Hence, the Cauchy problem (1) and (2) may be written abstractly on the spaces L p ( Ω × V , d x d v ) , p ( 1 , + ) in the form
φ t ( t , x , v ) = ( T + K c + K e ) φ ( t , x , v ) , φ ( 0 , x , v ) = φ 0 ( x , v ) , φ ( x , v , t ) x i = a i = φ ( x , v , t ) x i = a i
where φ 0 denotes the initial data.
It is well known that T generates a C 0 -semigroup. As K c and K e are bounded operatiors, the operator T + K c + K e also generates a C 0 -semigroup, denoted by e t ( T + K c + K e ) t 0 . This semigroup provides a solution to the Cauchy problem (3) for any initial data φ 0 that belongs to D ( T ) . So, in order to obtain more information about the solution, in particular about its behavior over long times ( t + ), knowledge of the spectral properties of e t ( T + K c + K e ) t 0 plays a central role. We point out that the spectral properties of e t ( T + K c ) t 0 and its generator are, for now, multidimensional bounded geometry that is well understood for absorbing boundary conditions (see, for example, [6], Chapter 4 and the references therein). The case of no-reentry boundary conditions has been considered in particular cases, especially in slab geometry, and a few papers have dealt with higher dimensions (see, for example, [7]).
We first recall the concept of essential type for a strongly continuous semigroup on a Banach space. Let X be a Banach space and let B be an operator belonging to L ( X ) . We define the essential resolvent set of B by
ρ e s s ( B ) = ρ ( B ) { λ σ ( B ) ; λ is an isolated eigenvalue of finite multiplicity }
where ρ ( B ) is the resolvent set of B. The essential spectral radius of B is defined by
r e s s ( B ) = sup { | λ | ; λ ρ e s s ( B ) }
where r e s s ( · ) denotes the essential spectral radius. Let A be the generator of a strongly continuous semigroup ( U ( t ) ) t 0 on X with type ω (see, for example, [8], Definition 5.6, p. 40). Following Voigt ([9], Lemma 2.1, p. 157) there exists a real ω e s s [ , ω ] (called the essential type) such that
r e s s ( U ( t ) ) = e ω e s s t for all t 0 .
Because B L ( X ) , following the classical perturbation theory (see, for example, [8], Section 1, p. 157), the operator A + B generates also a strongly continuous semigroup on X. It is given by the Dyson-Philips expansion, that is,
e t ( A + B ) = j = 0 U j ( t ) ,
where
U 0 = e t A a a a and a a a a z U j + 1 ( t ) = 0 t U 0 ( t ) B U j 1 ( t s ) d s
and the remainder term of order n, R n ( t ) , of the Dyson–Philips expansion is given by
R n ( t ) = s 1 + s 2 + . . . + s n t , s i 0 U ( s 1 ) B . . . B U ( s n ) B V t i = 1 n s i d s 1 . . . d s n .
According to Proposition 1, if some remainder term of the Dyson–Philips expansion R n ( t ) ( n 1 ) for all t 0 is compact, then the operators U ( t ) and V ( t ) have the same essential type and, therefore, the same spectral radius, that is, r e s s ( V ( t ) ) = r e s s ( U ( t ) ) . We note that the stability of the essential type via the compactness of the remainder terms of the Dyson–Philips expansion R n ( t ) was extensively investigated, in particular, in neutron transport theory (see, for example, [3,9,10,11,12] and the references therein). Hence, σ V ( t ) μ C : | μ | > r e s s ( U ( t ) ) consists primarily of finitely many eigenvalues. If such eigenvalues exist, then, according to the spectral decomposition theorem, the semigroup V ( t ) t 0 can be decomposed into two parts: the first part captures the time development of finitely many eigenmodes, while the second part exhibits faster decay. Using the spectral mapping theorem for the point spectrum, we infer that for any ζ > ω , the set σ ( A + B ) { Re λ ζ } consists of finitely many isolated eigenvalues, say { λ 1 , λ q } . Let β 1 = sup { Re λ , λ σ ( A + B ) , Re λ < ω } , and β 2 = min { Re λ j , 1 j q } . The solution of the Cauchy problem satisfies
φ ( t ) j = 1 q e λ j t e D j t P j φ 0 = o ( e β * t ) with β 1 < β * < β 2 .
where φ 0 D ( A ) , and P j , and D j denote the spectral projection and the nilpotent operator, respectively, associated with λ j , j = 1 , , q .
The purpose of this paper is to discuss the time asymptotic behavior of the solution to Problems (1) and (2) in bounded geometry via the spectral properties of the strongly continuous semigroup generated by the operator T + K c + K e . Our approach consists of discussing the compactness properties of the second-order remainder term of the Dyson–Phillips expansion, R 2 ( t ) , which yields a comparison of the essential types of the two semigroups e t ( T + K e ) t 0 and e t ( T + K c + K e ) t 0 . This provides a description of the time asymptotic behaviour of the solution to Problems (1) and (2) via standard arguments (see the paragraphs above).
The outline of this work is as follows. In Section 2, we introduce the functional setting of the problem and fix the different notations. We also gather some results needed in the sequel. Our main result, Theorem 1, is stated and established in Section 3. This result is new, as it is known only for the vacuum boundary (see [3]). We close this section by stating two open problems related to the description of the time asymptotic behaviour of the solution to Problems (1) and (2) on the space L 1 ( Ω × V , d x d v ) , even for vacuum boundary conditions.
Notation: Throughout this paper, if X is a Banach space, then L ( X ) stands for the set of all bounded linear operators on X.

2. Preliminaries

Let Ω = i = 1 N ( a i , a i ) , a i > 0 , i = 1 , , N , be an open set im R N . Suppose that the collision frequency σ ( · ) depends only on the velocity variable and satisfies
0 σ ( · ) L ( V , d v ) .
The velocity space
V = { v = ρ ω ; ω S N 1 , ρ min ρ ρ max < } = : I × S N 1
is endowed with the Lebesgue measure d v = ρ N 1 d ρ d ω , where d ω is the Lebesgue measure on the unit sphere S N 1 of R n .
We define the periodic streaming operator T by
D ( T ) = W p ( Ω × V , d x d v ) , T φ ( x , v ) = v . φ x ( x , v ) σ ( v ) φ ( x , v )
where
W p ( Ω × V , d x d v ) = { φ L p ( Ω × V , d x d v ) : a v . φ x L p ( Ω × V , d x d v ) and
a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a φ x i = a i = φ x i = a i , i = 1 , , N } .
Now, we recall that each function φ in L 2 ( Ω × V , d x d v ) can be written in the form
φ ( x , v ) = k Z N 1 2 a φ k ( v ) e i π k a . x
where φ k ( · ) is the Fourier coefficient of φ of order k, that is,
φ k ( v ) = Ω 1 2 a e i π k a . x φ ( x , v ) d x , a a v V , a k Z N .
We recall that | Ω | = 2 i = 1 N a i , a i > 0 , i = 1 , , N , is the volume of the paved set Ω . For convention, we put
2 a = | Ω | = i = 1 N 2 a i and k a = ( k 1 a 1 , · · · , k N a N ) , ( k i Z , i = 1 , · · · , N ) .
From the Parseval formula, we have
φ L 2 ( Ω × V , d x d v ) 2 = k Z N φ k L 2 ( V , d v ) 2 .
So, the domain of the operator T may be written in the form
D ( T ) : = { φ ( x , v ) L 2 ( Ω × V , d x d v ) : φ ( x , v ) = k Z N 1 2 a φ k ( v ) e i π k a . x , a a a a a a a a a a a
a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a k Z N k a . v φ k ( v ) L 2 ( V , d v ) 2 < } .
Therefore, for all φ D ( T ) , we have
T φ ( x , v ) : = k Z N 1 2 a ( i π k a . v σ ( v ) ) φ k ( v ) e i π k a . x .
It is well known that T generates a strongly continuous semigroup ( W ( t ) ) t 0 , which acts as follows
W ( t ) φ ( x , v ) : = k Z N 1 2 a φ k ( v ) e i π k a . ( x v t ) e σ ( v ) t , ( x , v ) Ω × V
for all t 0 and φ L 2 ( Ω × V , d x d v ) .
The operators K c and K e are bounded, i.e.,
K c L ( L p ( Ω × V , d x d v ) ) , a a a a K e L ( L p ( Ω × I × S N 1 , d x ρ d ω ) ) .
Remark 1.
As T generates a C 0 -semigroup on L p ( Ω × V , d x d v ) and the operators K e and K c + K e are bounded, from the classical perturbation theory (see, for example, [8], Chapter III, Section 1, p. 157), the operators T + K e and T + K c + K e generate strongly continuous semigroups U ( t ) t 0 and V ( t ) t 0 , respectively. In the remainder of this work, we will sometimes use notations U ( t ) and V ( t ) or e t ( T + K e ) and e t ( T + K c + K e ) .
We recall that
e t ( T + K e + K c ) = i = 0 V i ( t ) = i = 0 n 1 V i ( t ) + R n ( t )
where
V 0 ( t ) = e t ( T + K e ) a a and a a V i + 1 ( t ) = 0 t U ( s ) K c V i ( t s ) d s .
with the nth order remainder term R n ( t ) is given by
R n ( t ) = s 1 + s 2 + + s n t , s i 0 U ( s 1 ) K c K c U ( s n ) K c V t i = 1 n s i d s 1 d s n .
Definition 1.
Let F , G : [ 0 , ) L ( X ) be strongly continuous mappings. We define their convolution by
F G ( t ) = 0 t F ( s ) G ( t s ) d s .
The convolution of F j-times will be denoted by [ F ] j = F F (j times).
According to Definition 1, the remainder term of order n, R n ( t ) , can be written in the following form
R n ( t ) = i = n V i ( t ) = [ e t ( T + K e ) K c ] n e t ( T + K e + K c ) .
The following result will be required in the sequel (see, for example, [6], Theorem 2.10 , p. 24).
Proposition 1.
Assume that the remainder term R n ( t ) ( n 1 ) is compact for all t 0 on L p ( Ω × V , d x d v ) with p ( 1 , + ) . Then, the C 0 -semigroups ( V ( t ) ) t 0 and ( U ( t ) ) t 0 have the same essential type, that is, ω e s s ( V ( t ) ) = ω e s s ( U ( t ) ) for all t 0 .
We also recall the following interpolation result for positive compact operators (cf. [13], Theorem 3.10 , p. 57).
Proposition 2.
Let ( Λ , η ) be a positive measure space and let B be a bounded linear operator, such that
B p 1 L ( L p ( Λ , d η ) ) .
If there exists 1 < p 0 < , such that B is compact in L p 0 ( Λ , d η ) , then B is compact in all L p ( Λ , d η ) , 1 < p < .
Recall that in neutron transport theory, the collision operator K c has the form
K c : L p ( Ω × V , d x d v ) L p ( Ω × V , d x d v ) , φ V κ c ( x , v , v ) φ ( x , v ) d v ,
where κ c ( · , · , · ) is a nonnegative measurable function on Ω × V × V .
Note that K c is local with respect to the variable space x Ω . So, it may be viewed as an operator valued mapping from Ω into L ( L p ( V , d v ) ) , that is,
Ω x K c ( x ) L ( L p ( V , d v ) ,
where
K c ( x ) : φ L p ( V ) K c ( x ) φ = V κ c ( x , v , v ) φ ( v ) d v .
Now, we are ready to state the definition of regular collisions operators [2].
Definition 2.
Let p ( 1 , + ) . A collision operator K c is said to be regular on
L p ( Ω × V , d x d v ) if:
  • { K c ( x ) : x Ω } is a set of collectively compact operators on L p ( V , d v ) , i.e.,
    K c ( x ) φ ; x Ω , φ 1 i s   r e l a t i v e l y   c o m p a c t   i n   L p ( V , d v ) .
  • For ψ L q ( V , d v ) ,
    K c ( x ) ψ ; x Ω , ψ 1 i s   r e l a t i v e l y   c o m p a c t   i n L q ( V , d v ) .
Here, K c ( x ) denotes the dual operator of K c ( x ) and q = p p 1 .
This class of operators enjoys the useful approximation property (cf [2], Proposition 1).
Lemma 1.
The class of regular collision operators is the closure in the operator norm of the class of collision operator with kernels of the form
κ c ( x , v , v ) = i I α i ( x ) f i ( v ) g i ( v )
where I is finite, α ( · ) L ( Ω ; d x ) , f i ( · ) L p ( V ; d v ) and g i ( · ) L q ( V ; d v ) with q = p p 1 .
According to Lemma 1, for our analysis, it is sufficient to consider collision operators K c with kernels of the form (7).
The elastic collision operator K e is defined by
K e : L p ( Ω × I × S N 1 , d x d ρ d ω ) L p ( Ω × I × S N 1 , d x d ρ d ω ) ψ S N 1 k e ( x , ρ , ω , ω ) ψ ( x , ρ , ω ) d ω .
We introduce the following hypothesis:
( A 1 ) for all ψ L p ( S N 1 , d ω ) , the set
S N 1 k e ( x , ρ , ω , ω ) ψ ( ω ) d ω : ( x , ρ ) Ω × I , ψ L p ( S N 1 , d ω ) 1
is relatively compact in L p ( S N 1 , d ω ) and, for every, ψ L q ( S N 1 , d ω ) ,
S N 1 k e ( x , ρ , ω , ω ) ψ ( ω ) d ω : ( x , ρ ) Ω × I
is relatively compact in L q ( S N 1 , d ω ) .
We note that hypothesis ( A 1 ) was introduced by M. Sbihi in [4] (see also [3]).
Under condition ( A 1 ) , we have
K e L ( L p ( Ω × I × S N 1 , d x d ρ d ω ) ) = ess sup ( x , ρ ) Ω × I K e ( x , ρ ) L ( L p ( S N 1 , d ω ) )
where K e ( x , ρ ) is the operator defined by
L p ( S N 1 ) ψ S N 1 k e ( x , ρ , ω , ω ) ψ ( ω ) d ω .
We also recall the following result, owing to M. Sbihi [3].
Lemma 2.
An elastic collision operator satisfying ( A 1 ) can be approximated in the norm operator topology by collision operators with kernels of the form
k e i ( x , ρ , ω , ω ) = i J α i ( x , ρ ) f i ( ω ) g i ( ω )
where α i L ( Ω × I ) , f i L p ( S N 1 ) and g i L q ( S N 1 ) , i J with q denotes the conjugate exponent of p, while J a finite set.

3. Time Asymptotic Behavior of the Solution

In this section, we are concerned with the compactness properties of the second-order remainder term of the Dyson–Philips expansion, R 2 ( · ) , on L p ( Ω × V , d x d v ) spaces with p ( 1 , + ) . This will allow us to show that the essential type of the semigroups generated by the operators T + K c + K e is less or equal to that generated by T + K c . This permits us to derive the time asymptotic behavior of the solution to Problems (1) and (2) via standard arguments.
Racall that R 2 ( · ) is written in the form
R 2 ( t ) = 0 t d s 0 s U ( t s ) K c U ( t τ ) K c V ( τ ) d τ t > 0 .
The aim of the following result is to establish the compactness of the operator R 2 ( · ) .
Theorem 1.
Let K c be a regular collision operator and assume that K e satisfies ( A 1 ) . If, for all bounded subsets D contained in I × S N 1 , we have
lim | x | D e i x . ρ ω ρ N 1 d ρ d ω = 0 ,
then, R 2 ( t ) is compact for all t 0 .
Remark 2.
It should be noticed that the hypothesis (10) was first used by M. Mokhtar-Kharroubi to prove Theorem 4.7 in [6] in the context of transport equations with vacuum boundary conditions.
Proof of Theorem 1.
As R 2 ( t ) = e t ( T + K e ) K c e t ( T + K e ) K c e t ( T + K e + K c ) (see Lemma 2.1, p. 14 in [6]), it suffices to show that the compactness of
K c e t ( T + K e ) K c = K c U ( t ) K c .
for all t > 0 . As K c is regular, from Lemma 1, it is enough to establish the proof for a collision operator K c of the form
K c φ ( x , v ) : = α ( x ) f ( v ) V g ( v ) φ ( x , v ) d v
where α L ( Ω ) and the functions f ( · ) and g ( · ) are continuous with compact support.
According to Proposition 2, it is enough to prove the result for p = 2 . Note that the operator K c W ( t ) K c = P 1 O ( t ) a ( t 0 ) is defined by
P 1 : L 2 ( Ω ) ψ α ( x ) f ( v ) ψ ( x ) L 2 ( Ω × V ) , a a a a a a a a
O ( t ) : L 2 ( Ω × V ) φ k Z N 1 2 a V g ( v ) f ( v ) e σ ( v ) t e i π . k a . v t d v
a a a a a a a a a a a a a a a a a a a × V g ( v ) N k [ φ ] ( v ) d v e i π . k a . x L 2 ( Ω )
where
N k [ φ ] ( v ) : = 1 2 a Ω α ( x ) φ ( x , v ) e i π . k a . x d x , a a v V , k Z N .
Further, we can write ( U ( t ) ) t 0 as a Dyson–Phillips expansion relative to ( W ( t ) ) t 0 , that is
U ( t ) = j = 0 U j ( t )
where
U 0 ( t ) = W ( t ) and U j + 1 ( t ) = 0 t W ( s ) K e U j ( t s ) d s .
Moreover, the sequence ( j = 0 n K c U j ( t ) K c ) n N converges in L ( L 2 ( Ω × V , d x d v ) ) uniformly for bounded times to K c e t ( T + K e ) K c ; thus, it suffices to prove that K c U j ( t ) K c is compact for all j N .
For j = 0 , we have to show the compactness of K c W ( t ) K c . From the Riesz–Fréchet–Kolmogorov theorem (see, for example, [14], Theorem 4.26), it suffices to show that, for all bounded subsets B of L 2 ( Ω × V , d x d v ) , we have
lim h 0 sup φ B τ h O ( t ) φ O ( t ) φ L 2 ( Ω × V ) = 0
where τ h is the translation operator in x variable, defined by
τ h ψ ( x , v ) = ψ ( x h , v ) , ψ L 2 ( Ω × V , d x d v ) .
Equation (13) was established in ([15], Theorem 2.1).
Now, let j 1 . It is clear that
K c U j ( t ) K c = K c W ( t ) K e j W ( t ) K c = K c W ( t ) K e W ( t ) K e j 1 W ( t ) K c .
It is sufficient to prove that K c W ( t ) K e is compact. Taking into account Proposition 2, it is enough to show the result for p = 2 .
Note that, according to Lemma 2 and Equation (11), K c W ( t ) K e can be written as follows
K c W ( t ) K e = Θ 1 S ( t )
where
Θ 1 : L 2 ( Ω ) ψ α 1 ( x ) f 1 ( v ) ψ ( x ) L 2 ( Ω × V ) , a a a a a a a a
S ( t ) : L 2 ( Ω × I × S N 1 ) φ k Z N 1 2 a ( I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t
e i π . k a . ρ ω x ρ N 1 d ρ d ω ) × I S N 1 g 2 ( ω ) M k [ φ ] ( ρ , ω ) ρ N 1 d ρ d ω e i π . k a . x L 2 ( Ω )
where
M k [ φ ] ( ρ , ω ) : = 1 2 a Ω α 2 ( x , ρ ) φ ( x , ρ ω ) e i π . k a . x d x , a a ω S N 1 , ρ I , k Z N .
It is sufficient to show that S ( t ) is compact. According to Riesz–Fréchet–Kolmogorov’s theorem, we only have to prove that, if B is a bounded subset of L 2 ( Ω × I × S N 1 , d x d ρ d ω ) , then
lim h 0 sup φ B τ h S ( t ) φ S ( t ) φ L 2 ( Ω ) = 0 .
Let φ B . Putting
ψ k : = I S N 1 g 2 ( ω ) M k [ φ ] ( ρ , ω ) ρ N 1 d ρ d ω a a ( k Z N ) .
Simple calculations show that
| ψ k | I S N 1 | g 2 ( ω ) 1 2 a Ω α 2 ( x , ρ ) φ ( x , ρ ω ) e i π . k a . x d x | ρ N 1 d ρ d ω a a a I S N 1 | g 2 ( ω ) | 2 ρ N 1 d ρ d ω 1 2 1 2 a ( I S N 1 a a a a a a a a a a a a a a a a a a a a a a a | Ω α 2 ( x , ρ ) φ ( x , ρ ω ) d x | 2 ρ N 1 d ρ d ω ) 1 2 ρ m a x N N 1 / 2 α 2 L ( Ω × I ) 2 a g 2 L 2 ( S N 1 ) a a a a a a a a a a a a a a a a a a I S N 1 Ω | φ ( x , ρ ω ) | d x 2 ρ N 1 d ρ d ω 1 / 2 ρ m a x N N 1 / 2 α 2 L ( Ω × I ) 2 a g 2 L 2 ( S N 1 ) I S N 1 Ω I Ω ( x ) d x Ω | φ ( x , ρ ω ) | 2 d x ρ N 1 d ρ d ω 1 / 2 = ρ m a x N N 1 / 2 α 2 L ( Ω × I ) | Ω | g 2 L 2 ( S N 1 ) | Ω | φ L 2 ( Ω × I × S N 1 ) .
Therefore,
| ψ k | 2 ρ m a x N N α 2 L ( Ω × I ) 2 g 2 L 2 ( S N 1 ) 2 φ L 2 ( Ω × I × S N 1 ) 2 .
Using Parseval’s identity, we obtain
τ h S ( t ) φ S ( t ) φ L 2 ( Ω ) 2 = k Z N | e i π k a . h 1 | 2 | ψ k | 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a a a a a | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 .
Let N 0 N and assume that | k a | N 0 . From the Cauchy–Schwarz inequality, we have
| k a | N 0 | e i π k a . h 1 | 2 | ψ k | 2 | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 a a a a a a a a a a a a
4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 k Z N | ψ k | 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 a a a
4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 k Z N | ψ k | 2 I S N 1 | g 1 ( ρ ω ) | | f 2 ( ω ) | ρ N 1 d ρ d ω 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 k Z N | ψ k | 2 I S N 1 | g 1 ( ρ ω ) | 2 ρ N 1 d ρ d ω a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a a a a a a a a a a a I S N 1 | f 2 ( ω ) | 2 ρ N 1 d ρ d ω a a
4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 k Z N | ψ k | 2 d ω ) I ρ N 1 d ρ a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a ( I S N 1 | g 1 ( ρ ω ) | 2 ρ N 1 d ρ S N 1 | f 2 ( ω ) | 2 d ω a a
= 4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 k Z N | ψ k | 2 C g f 2 L 2 ( S N 1 ) 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
where
C g : = ρ m a x N N I S N 1 | g 1 ( ρ ω ) | 2 ρ N 1 d ρ d ω .
Using Equation (16) again, we can write
| k a | N 0 | e i π k a . h 1 | 2 | ψ k | 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2
4 sup | k a | N 0 | sin ( π 2 k a . h ) | 2 ρ m a x N N α 2 L ( Ω × I ) 2 g 2 L 2 ( S N 1 ) 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a a a a a a a a a a a a a φ L 2 ( Ω × I × S N 1 ) 2 C g f 2 L 2 ( S N 1 ) 2
As B is bounded, it is clear that when h 0 , | sin ( π 2 k a . h ) | 0 , and thus one can obtain
lim h 0 sup φ B sup ρ I | k a | N 0 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
| e i π k a . h 1 | 2 | ψ k | 2 | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 = 0 .
We suppose now, that | k a | N 0 . So, we have
| k a | N 0 | e i π k a . h 1 | 2 | ψ k | 2 | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 a a a a a a a a a a a a a
4 k Z N | ψ k | 2 sup | k a | N 0 f 2 L 2 ( S N 1 ) 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a
a a a a a a a a a a a a a a a a a a a | supp ( g 1 ) g 1 ( ρ ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 .
Furthermore, using Equation (16), one can write
| k a | N 0 | e i π k a . h 1 | 2 | ψ k | 2 | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 4 ρ m a x N N g 2 L 2 ( S N 1 ) 2 α 2 L ( Ω × I ) 2 φ 2 f 2 L 2 ( S N 1 ) 2 | supp ( g 1 ) g 1 ( ρ ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 a a a a a a a
As Supp ( g 1 ) is compact and the measure g 1 ( ρ ω ) e σ ( ρ ω ) t ρ N 1 d ρ d ω is absolutely continuous with respect to ρ N 1 d ρ d ω , the use of hypothesis (10) implies that
lim N 0 sup | k a | N 0 | k a | N 0 | supp ( g 1 ) g 1 ( ρ ω ) e σ t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 = 0 .
As B is bounded, using Equation (18), we obtain
lim N 0 sup h R N sup φ B sup ρ I | k a | N 0 | e i π k a . h 1 | 2 | ψ k | 2 a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a a | I S N 1 g 1 ( ρ ω ) f 2 ( ω ) e σ ( ρ ω ) t e i π k a . ρ ω t ρ N 1 d ρ d ω | 2 = 0 .
Next, using Equations (17) and (19), we get
lim h 0 sup φ B τ h S ( t ) φ S ( t ) φ L 2 ( Ω × I ) = 0
which proves the compactness of operator K c W ( t ) K e on L 2 ( Ω × V , d x d v ) .
Finally, according to Proposition 2, R 2 ( t ) is compact on L p ( Ω × V , d x d v ) for all p ( 1 , + ) . Now, applying Proposition 1, we infer that ω e s s e t ( T + K c + K e ) = ω e s s e t ( T + K e ) , t 0 . This completes the proof. □
Remark 3.
Note that according to the comments in the last paragraph of the introduction, Theorem 1 implies that
ω e s s e t ( T + K c + K e ) = ω e s s e t ( T + K e ) t 0 .
This allows us to write the solution to the Cauchy problem (3) in the form (4), which allows us to derive its time asymptotic behavior for large times.
Open problems
  • Let us point out that the compactness properties of R 2 ( t ) in space L 1 ( Ω × V , d x d v ) is still an open problem. In fact, in space L 1 ( Ω × V , d x d v ) , it is sufficient to prove the weak compactness of R 2 ( t ) . We say that a bounded linear operator B on a Banach space X is strictly power compact if there exists n N , such that ( B A ) n is compact for all A L ( X ) (see [9], p. 154). So, if R 2 ( t ) is weakly compact, for all A L L 1 ( Ω × V , d x d v ) , then ( R 2 ( t ) A ) 2 will be compact on L 1 ( Ω × V , d x d v ) and, therefore, we will have ω e s s e t ( T + K e + K c ) = ω e s s e t ( T + K e ) t 0 . Unfortunately, we did not succeed in proving the weak compactness of R 2 ( t ) for p = 1 .
  • We note that the compactness of the first-order reminder term, R 1 ( t ) , of the Dyson–Phillips expansion, is also an interesting open problem in L p -spaces with p [ 1 , + ) . For vacuum boundary conditions, this problem was settled by Mokhtar–Kharroubi in [2] for p ( 1 , + ) . However, even for vacuum boundary conditions, it is open for p = 1 . The interest of this result lies in the fact that it implies not only equality (20), but also the invariance of the essential spectrum of e t ( T + K e ) t 0 under perturbation, that is
    σ e s s e t ( T + K e + K c ) = σ e s s e t ( T + K e ) t 0
    where σ e s s ( · ) of operator U on Banach space X is defined by
    σ e s s ( U ) : = V K ( X ) σ ( U + V )
    where K ( X ) stands for the set of all compact operators on X.

Author Contributions

Formal analysis, A.-M.A.-I. and K.L.; Investigation, A.-M.A.-I. and K.L. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in the study are included in the article, and further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Larsen, E.W.; Zweifel, P.F. On the spectrum of the linear transport operator. J. Math. Phys. 1974, 15, 1987–1997. [Google Scholar] [CrossRef]
  2. Mokhtar-Kharroubi, M. Optimal spectral theory of the linear Boltzmann equations. J. Funct. Anal. 2005, 226, 21–47. [Google Scholar] [CrossRef]
  3. Sbihi, M. Spectral theory of neutron transport semigroups with partly elastic collision operators. J. Math. Phys. 2006, 47, 123502. [Google Scholar] [CrossRef]
  4. Sbihi, M. Analyse Spectrale de Modèles Neutroniques. Ph.D. Thesis, Université de Franche-Comté, Besançon, France, 2005. [Google Scholar]
  5. Al-izeri, A.; Latrach, K. On the asymptotic spectrum of a transport operator with elastic and inelastic collision operators. Acta Math. Sci. Ser. B (Engl. Ed.) 2020, 40, 805–823. [Google Scholar] [CrossRef]
  6. Mokhtar-Kharroubi, M. Mathematical Topics in Neutron Transport Theory, New Aspects; Series on Advances in Mathematics for Applied Sciences; World Scientific: Singapore, 1997; Volume 46. [Google Scholar]
  7. Latrach, K.; Megdiche, H. Spectral properties and regularity of solutions to transport equations in slab geometry. Math. Meth. Appl. Sci. 2006, 29, 2089–2121. [Google Scholar] [CrossRef]
  8. Engel, K.J.; Nagel, R. One-parameter semigroups for linear evolution equations. In Graduate Texts in Mathematics; Springer: New York, NY, USA, 2000; Volume 194. [Google Scholar]
  9. Voigt, J. A perturbation theorem for the essential spectral radius of strongly continuous semigroups. Monatshefte Math. 1980, 90, 153–161. [Google Scholar] [CrossRef]
  10. Vidav, I. Spectra a perturbed semigroups with applications to transport theory. J. Math. Anal. Appl. 1970, 30, 264–279. [Google Scholar] [CrossRef]
  11. Voigt, J. Spectral properties of the neutron transport equation. J. Math. Anal. Appl. 1985, 106, 140–153. [Google Scholar] [CrossRef]
  12. Weis, L. A generalization of the Vidav-Jorgens perturbation theorem for semigroup and its application to transport theory. J. Math. Anal. Appl. 1988, 129, 6–23. [Google Scholar] [CrossRef]
  13. Krasnoselskii, M.; Zabreiko, P.P.; Pustyl’nik, E.L.; Soboleskii, S.E. Integral Operators in Spaces of Summable Functions; Nordhoff International Publishing: Leyden, The Netherlands, 1976. [Google Scholar]
  14. Brezis, H. Functional Analysis, Sobolev Spaces and Partial Differential Equations, Universitext; Springer: New York, NY, USA, 2011. [Google Scholar]
  15. Lods, B. Théorie Spectrale Des équations Cinétiques. Ph.D. Thesis, Université de Franche-Comté, Besançon, France, 2002. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Al-Izeri, A.-M.; Latrach, K. Solutions of a Neutron Transport Equation with a Partly Elastic Collision Operators. Mathematics 2024, 12, 3455. https://doi.org/10.3390/math12223455

AMA Style

Al-Izeri A-M, Latrach K. Solutions of a Neutron Transport Equation with a Partly Elastic Collision Operators. Mathematics. 2024; 12(22):3455. https://doi.org/10.3390/math12223455

Chicago/Turabian Style

Al-Izeri, Abdul-Majeed, and Khalid Latrach. 2024. "Solutions of a Neutron Transport Equation with a Partly Elastic Collision Operators" Mathematics 12, no. 22: 3455. https://doi.org/10.3390/math12223455

APA Style

Al-Izeri, A.-M., & Latrach, K. (2024). Solutions of a Neutron Transport Equation with a Partly Elastic Collision Operators. Mathematics, 12(22), 3455. https://doi.org/10.3390/math12223455

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop