Research article

Network-based diagnostic probability estimation from resting-state functional magnetic resonance imaging

  • Received: 29 April 2023 Revised: 19 July 2023 Accepted: 16 August 2023 Published: 15 September 2023
  • Brain functional connectivity is a useful biomarker for diagnosing brain disorders. Connectivity is measured using resting-state functional magnetic resonance imaging (rs-fMRI). Previous studies have used a sequential application of the graphical model for network estimation and machine learning to construct predictive formulas for determining outcomes (e.g., disease or health) from the estimated network. However, the resulting network had limited utility for diagnosis because it was estimated independent of the outcome. In this study, we proposed a regression method with scores from rs-fMRI based on supervised sparse hierarchical components analysis (SSHCA). SSHCA has a hierarchical structure that consists of a network model (block scores at the individual level) and a scoring model (super scores at the population level). A regression model, such as the multiple logistic regression model with super scores as the predictor, was used to estimate diagnostic probabilities. An advantage of the proposed method was that the outcome-related (supervised) network connections and multiple scores corresponding to the sub-network estimation were helpful for interpreting the results. Our results in the simulation study and application to real data show that it is possible to predict diseases with high accuracy using the constructed model.

    Citation: Atsushi Kawaguchi. Network-based diagnostic probability estimation from resting-state functional magnetic resonance imaging[J]. Mathematical Biosciences and Engineering, 2023, 20(10): 17702-17725. doi: 10.3934/mbe.2023787

    Related Papers:

    [1] Maurizio Verri, Giovanna Guidoboni, Lorena Bociu, Riccardo Sacco . The role of structural viscoelasticity in deformable porous media with incompressible constituents: Applications in biomechanics. Mathematical Biosciences and Engineering, 2018, 15(4): 933-959. doi: 10.3934/mbe.2018042
    [2] Ziad Khan, Hari Mohan Srivastava, Pshtiwan Othman Mohammed, Muhammad Jawad, Rashid Jan, Kamsing Nonlaopon . Thermal boundary layer analysis of MHD nanofluids across a thin needle using non-linear thermal radiation. Mathematical Biosciences and Engineering, 2022, 19(12): 14116-14141. doi: 10.3934/mbe.2022658
    [3] K. Maqbool, S. Shaheen, A. M. Siddiqui . Effect of nano-particles on MHD flow of tangent hyperbolic fluid in a ciliated tube: an application to fallopian tube. Mathematical Biosciences and Engineering, 2019, 16(4): 2927-2941. doi: 10.3934/mbe.2019144
    [4] Wei-wei Jiang, Xin-xin Zhong, Guang-quan Zhou, Qiu Guan, Yong-ping Zheng, Sheng-yong Chen . An automatic measurement method of spinal curvature on ultrasound coronal images in adolescent idiopathic scoliosis. Mathematical Biosciences and Engineering, 2020, 17(1): 776-788. doi: 10.3934/mbe.2020040
    [5] Bei Liu, Wenbin Tan, Xian Zhang, Ziqi Peng, Jing Cao . Recognition study of denatured biological tissues based on multi-scale rescaled range permutation entropy. Mathematical Biosciences and Engineering, 2022, 19(1): 102-114. doi: 10.3934/mbe.2022005
    [6] Wei Lin, Fengshuang Yang . Computational analysis of cutting parameters based on gradient Voronoi model of cancellous bone. Mathematical Biosciences and Engineering, 2022, 19(11): 11657-11674. doi: 10.3934/mbe.2022542
    [7] Cornel M. Murea, H. G. E. Hentschel . A finite element method for growth in biological development. Mathematical Biosciences and Engineering, 2007, 4(2): 339-353. doi: 10.3934/mbe.2007.4.339
    [8] Jianhua Song, Lei Yuan . Brain tissue segmentation via non-local fuzzy c-means clustering combined with Markov random field. Mathematical Biosciences and Engineering, 2022, 19(2): 1891-1908. doi: 10.3934/mbe.2022089
    [9] Ewa Majchrzak, Mikołaj Stryczyński . Dual-phase lag model of heat transfer between blood vessel and biological tissue. Mathematical Biosciences and Engineering, 2021, 18(2): 1573-1589. doi: 10.3934/mbe.2021081
    [10] Xu Guo, Yuanming Jing, Haizhou Lou, Qiaonv Lou . Effect and mechanism of long non-coding RNA ZEB2-AS1 in the occurrence and development of colon cancer. Mathematical Biosciences and Engineering, 2019, 16(6): 8109-8120. doi: 10.3934/mbe.2019408
  • Brain functional connectivity is a useful biomarker for diagnosing brain disorders. Connectivity is measured using resting-state functional magnetic resonance imaging (rs-fMRI). Previous studies have used a sequential application of the graphical model for network estimation and machine learning to construct predictive formulas for determining outcomes (e.g., disease or health) from the estimated network. However, the resulting network had limited utility for diagnosis because it was estimated independent of the outcome. In this study, we proposed a regression method with scores from rs-fMRI based on supervised sparse hierarchical components analysis (SSHCA). SSHCA has a hierarchical structure that consists of a network model (block scores at the individual level) and a scoring model (super scores at the population level). A regression model, such as the multiple logistic regression model with super scores as the predictor, was used to estimate diagnostic probabilities. An advantage of the proposed method was that the outcome-related (supervised) network connections and multiple scores corresponding to the sub-network estimation were helpful for interpreting the results. Our results in the simulation study and application to real data show that it is possible to predict diseases with high accuracy using the constructed model.



    In the last several decades, the kinetic theory of polyatomic gases witnessed extensive interest due to its vigorous relation with a wide range of practical applications including spacecraft flights, hypersonic flights and aerodynamics [1], plasma physics [20], thermal sciences [13,23], combustion processes, and chemical reactors. In the context of polyatomic gases, Borgnakke and Larsen proposed a microscopic model [6]. Later on, an entropic kinetic model consistent with [6] has been derived [8]. This model originates from the Boltzmann equation, which was a breakthrough in the kinetic theory, and offered an accurate description of the gas flow.

    However, it is usually expensive and cumbersome to solve the Boltzmann equation directly. As an alternative to the Boltzmann equation, kinetic theory provides macroscopic models for not too large Knudsen numbers. These models are derived as approximations to the Boltzmann equation and offer high computational speed and explicit equations for macroscopic variables, which are helpful for understanding and analyzing the flow behavior. Macroscopic models are classically obtained by Chapman-Enskog method [5] and moments method [22,18]. Using the Chapman-Enskog method, Nagnibeda and Kustova [19] studied the strong vibrational nonequilibrium in diatomic gases and reacting mixture of polyatomic gases, and derived the first-order distribution function and governing equations. Cai and Li [10] extended the NRxx model to polyatomic gases using the ES-BGK model of [2] and [9]. In [24], the existence result of the ES-BGK model was achieved in the case where the solution lies close to equilibrium.

    Simplified Boltzmann models for mixtures of polyatomic gases have also been proposed in [3,12]. The authors of [4] developed a generalized macroscopic 14 field theory for the polyatomic gases, based on the methods of extended thermodynamics [18]. In the full non-linear Boltzmann equation, Gamba and Pavić-Čolić [15] established existence and uniqueness theory in the space homogeneous setting.

    The relation of the kinetic theory with the spectral theory was initiated by Grad [17], who was behind the history of serious investigation of the spectral properties of the linearized Boltzmann operator for monoatomic gases. With his pioneering work, Grad showed that the linearized collision operator L for Maxwell and hard potential cases can be decomposed as L=Kν Id, where ν is called collision frequency, and by using his angular cut-off assumption on the cross-section, he proved that K is a compact operator in L2(R3). The compactness of K for a mixture of monoatomic gases was celebrated later by [7], with more explanation in [21]. This result is significant for formally deriving the fluid systems in the Chapman-Enskog expansion which was recently developed in [5] for a mixture of monoatomic and polyatomic gases. One of the focuses of [5] was on the diatomic gases.

    In fact, diatomic gases gain a solid importance due to the fact that in the upper atmosphere of the earth, the diatomic molecules Oxygen (O2) and Nitrogen (N2) are dominant. We aim in this article to restrict ourselves to diatomic gases, for which the proof is simpler than polyatomic gases. In contrast to monoatomic gases, which have only 3 degrees of freedom coming from the translational motion, diatomic gases have 3 translational and 2 rotational degrees of freedom which sum up to 5 degrees of freedom. We restrict ourselves in this paper for the case where the vibrational degree of freedom is ignored. In this case, the parameter α appearing in the collision operator is equal to zero. Namely, the parameter α is given by α=D52, where D is the total number of degrees of freedom of the gas. Therefore, discarding the terms with a power of α in the collision operator simplifies the proof of compactness of K. We remark that using elementary arguments, for the first time we prove that for diatomic gases the operator K is a Hilbert-Schmidt operator, as an improvement of Grad's result [17] for single monoatomic gases. For a mixture of monoatomic gases, Boudin, Grec, Pavić-Čolić, and Salvarani [7] proved K to be compact. A generalization of this work for general polyatomic gases is to be carried later.

    The plan of the document is the following: In section 2, we give a brief recall on the collision model [8], which describes the microscopic state diatomic gases. In section 3, we define the linearized operator L, which is obtained by approximating the distribution function f around the Maxwellian M. The operator L is considered as a perturbation of the multiplication operator ν Id by a linear operator K, which we aim to prove to be compact. We write hence K as K3+K2K1, and in section 4 we prove each Ki, with i=1,,3, to be a Hilbert-Schmidt operator using classical arguments. The main idea of the proof is to extract the kernel of Ki. For K2 and K3, a major step is a change of variable from the post-collisional to the pre-collisional velocity and internal energy. This change of variable is different from the one implemented by [17], as it considers the parameter ω to be fixed, yet takes into consideration the internal energy parameter. In section 5, we give two important properties of the collision frequency: the monotony and coercivity. As a consequence, the linearized Boltzmann operator is a Fredholm operator.

    For the sake of clarity, we present the model in [8] on which our work is mainly based. We start with physical conservation equations and proceed as follows.

    Without loss of generality, we first assume that the particle mass equals unity, and we denote as usual by (v,v), (I,I) and (v,v), (I,I) the pre-collisional and post-collisional velocity and energy pairs respectively. In this model, the internal energies are assumed to be continuous [9,12] rather than discrete [14,16]. The following conservation of momentum and total energy equations hold:

    v+v=v+v (1)
    12v2+12v2+I+I=12v2+12v2+I+I. (2)

    From the above equations, we can deduce the following equation representing the conservation of total energy in the center of mass reference frame:

    14(vv)2+I+I=14(vv)2+I+I=E,

    with E denoting the total energy of the colliding particles. We introduce in addition the parameter R[0,1] which represents the portion allocated to the kinetic energy after collision out of the total energy, and the parameter r[0,1] which represents the distribution of the post internal energy among the two interacting molecules. Namely,

    14(vv)2=REI+I=(1R)E,

    and

    I=r(1R)EI=(1r)(1R)E.

    Using the above equations, we can express the post-collisional velocities in terms of the other quantities by the following

    vv(v,v,I,I,ω,R)=v+v2+RETω[vv|vv|]vv(v,v,I,I,ω,R)=v+v2RETω[vv|vv|],

    where ωS2, and Tω(z)=z2(z.ω)ω. In addition, we define the parameters r[0,1] and R[0,1] for the pre-collisional terms in the same manner as r and R. In particular

    14(vv)2=REI+I=(1R)E,

    and

    I=r(1R)EI=(1r)(1R)E.

    Finally, the post-collisional energies can be given in terms of the pre-collisional energies by the following relation

    I=r(1R)r(1R)II=(1r)(1R)(1r)(1R)I.

    The Boltzmann equation for an interacting single polyatomic gas reads

    tf+v.xf=Q(f,f), (3)

    where f=f(t,x,v,I)0 is the distribution function, with t0,xR3,vR3, and I0. The operator Q(f,f) is the quadratic Boltzmann operator [8] given as

    Q(f,f)(v,I)=R3×R+×S2×(0,1)2(ff(II)αff(II)α)×B×(r(1r))α(1R)2α×IαIα(1R)R1/2dRdrdωdIdv, (4)

    where we use the standard notations f=f(v,I),f=f(v,I), and f=f(v,I), and α>1. For diatomic molecules, α=0 and the collision operator (4) is relaxed to

    Q(f,f)(v,I)=R3×R+×S2×(0,1)2(ffff)×B×(1R)R1/2dRdrdωdIdv, (5)

    The function B is the collision cross-section; a function of (v,v,I,I,r,R,ω). In the following, we give some assumptions on B, extended from Grad's assumption for collision kernels of monoatomic gases. In general, B is assumed to be an almost everywhere positive function satisfying the following microreversibility conditions:

    B(v,v,I,I,r,R,ω)=B(v,v,I,I,1r,R,ω),B(v,v,I,I,r,R,ω)=B(v,v,I,I,r,R,ω). (6)

    Main assumptions on B

    Together with the above assumption (6), we assume the following boundedness assumptions on the collision cross section B. In particular, we assume that

    C1φ(R)ψ(r)|ω.(vv)|vv||(|vv|γ+Iγ2+Iγ2)B(v,v,I,I,r,R,ω), (7)

    and

    B(v,v,I,I,r,R,ω)C2φ˜α(R)ψ˜β(r)(|vv|γ+Iγ2+Iγ2), (8)

    where for any p>0,

    ψp(r)=(r(1r))p,and φp(R)=(1R)p.

    In addition, φ(R), and ψ(r) are positive functions such that

    φ(R)φ˜α(R),and ψ(r)ψ˜β(r), (9)

    and γ0, ˜α>14+γ2, ˜β>34+γ2, and C2C1>0.

    We remark that the above assumptions (7) and (8) are compatible with Maxwell molecules, hard spheres and hard potentials in the monoatomic case.

    We state first the H-theorem for diatomic gases which was initially established for polyatomic gases in [8]. Namely, suppose that the positivity assumption of B in (8) holds, then the entropy production functional

    D(f)=R3R+Q(f,f)logfdIdv0,

    and the following are equivalent

    1. The collision operator Q(f,f) vanishes, i.e. Q(f,f)(v,I)=0 for every vR3 and I0.

    2. The entropy production vanishes, i.e. D(f)=0.

    3. There exists T>0, n>0, and uR3 such that

    f(v,I)=n(2πkT)32kTe1kT(12(vu)2+I), (10)

    where κ in (10) is the Boltzmann constant. The linearization of the Boltzmann equation of diatomic gases is taken around the local Maxwellian function, which represents the equilibrium state of a diatomic gas and is denoted by Mn,u,T(v,I), and given by

    Mn,u,T(v,I)=n(2πκT)32kTe1κT(12(vu)2+I), (11)

    where n,u, and T in (11) are the number of atoms per unit volume, the hydrodynamic velocity, and the temperature respectively. In particular,

    n=R3R+fdIdv,nu=R3R+vfdIdv,52nT=R3R+((vu)22+I)fdIdv.

    Without loss of generality, we will consider in the sequel a normalized version M1,0,1 of Mn,u,T, by assuming κT=n=1 and u=0. For the sake of simplicity, the index will be dropped. In particular,

    M(v,I)=M1,0,1(v,I)=1(2π)32e12v2I.

    We look for a solution f around M having the form

    f(v,I)=M(v,I)+M12(v,I)g(v,I). (12)

    The linearization of the Boltzmann operator (5) around M (12) leads to introduce the linearized Boltzmann operator L given as

    Lg=M12[Q(M,M12g)+Q(M12g,M)],

    In particular, L writes

    Lg=M12Δ[MM12gMM12g+M12MgM12Mg]B(1R)R1/2drdRdωdIdv. (13)

    Thanks to the conservation of total energy (2) we have MM=MM, and so L has the explicit form:

    L(g)=ΔBM12M12g(1R)R1/2drdRdωdIdvΔBMg(1R)R1/2drdRdωdIdv+ΔBM12M12g(1R)R1/2drdRdωdIdv+ΔBM12M12g(1R)R1/2drdRdωdIdv.

    Here, Δ refers to the open set R3×R+×S2×(0,1)2. In addition, L can be written in the form

    L=KνId,

    where

    Kg=ΔBM12M12g(1R)R1/2drdRdωdIdv+ΔBM12M12g(1R)R1/2drdRdωdIdvΔBM12M12g(1R)R1/2drdRdωdIdv, (14)

    and

    ν(v,I)=ΔBM(1R)R1/2drdRdωdIdv, (15)

    which represents the collision frequency. We write also K as K=K3+K2K1 with

    K1=ΔBM12M12g(1R)R1/2drdRdωdIdv, (16)
    K2=ΔBM12M12g(1R)R1/2drdRdωdIdv, (17)

    and

    K3=ΔBM12M12g(1R)R1/2drdRdωdIdv. (18)

    The linearized operator L is a symmetric operator, with kernel

    kerL=M1/2span {1,vi,12v2+I}i=1,,3.

    Since L is symmetric and ν Id is self-adjoint on

    Dom(ν Id)={gL2(R3×R+):νgL2(R3×R+)},

    then K is symmetric. In the following section, we prove that K is a bounded compact operator on L2(R3×R+). Hence, L is a self adjoint operator on Dom (L)=Dom(ν Id). In section 5 we prove that ν is coercive, and therefore L is a Fredholm operator on L2(R3×R+).

    We give now the main result on the linearized Boltzmann operator based on the assumptions of the collision cross section (8) and (7). In particular, using (7) we prove that the multiplication operator by ν Id is coercive and using (8) we prove that K is compact. This leads to the Fredholm property of L on L2(R3×R+).

    We state the following theorem, which is the main result of the paper.

    Theorem 4.1. The operator K of diatomic gases defined in (14) is a compact operator from L2(R3×R+) to L2(R3×R+), and the multiplication operator by ν is coercive. As a result, the linearized Boltzmann operator L is an unbounded self adjoint Fredholm operator from Dom(L)=Dom(νId)L2(R3×R+) to L2(R3×R+).

    We carry out the proof of the coercivity of ν Id in section 5, and we dedicate the following proof for the compactness of K.

    Proof. Throughout the proof, we prove the compactness of each Ki with i=1,,3 separately.

    Compactness of K1. The compactness of K1 is straightforward as K1 already possesses a kernel form. Thus, we can inspect the operator kernel of K1 (16) to be

    k1(v,I,v,I)=1(2π)32S2×(0,1)2Be14v214v212I12I(1R)R1/2drdRdω,

    and therefore

    K1g(v,I)=R3×R+g(v,I)k1(v,I,v,I)dIdv(v,I)R3×R+.

    If B is constant in |vv|, I, and I, then K1 is a rank one operator and thus compact. However, in general, we give the following lemma that yields to the compactness of K1.

    Lemma 4.2. With the assumption (8) on B, the function k1 belongs to L2(R3×R+×R3×R+).

    Proof. Applying Cauchy-Schwarz we get

    ||k1||2L2cR3R+R3R+(Iγ+Iγ+|vv|2γ)e12v212v2IIdIdvdIdvcR3e12v2[|vv|1e12v2dv+|vv|1|vv|2γe12v2dv]dvcR3e12v2[|vv|12γk=0|v|k|v|2γke12v2dv]dvc2γk=0R3|v|2γke12v2[R3|v|ke12v2dv]dv<,

    where 2γ is the ceiling of 2γ, and c>0 is a generic constant.

    This implies that K1 is a Hilbert-Schmidt operator, and thus compact. We prove now the compactness of K2, similarly by proving it to be a Hilbert-Schmidt operator.

    Compactness of K2. Additional work is required to inspect the kernel form of K2, since the kernel is not obvious. As a first step, we simplify the expression of K2 by writing it in the σnotation through a change of variable on ω explained in the following lemma.

    Lemma 4.3. Let

    σ=Tω(vv|vv|)=vv|vv|2vv|vv|.ωω, (19)

    then the Jacobian of the ωσ transformation is given in [11] as

    dω=dσ2|σvv|vv||.

    Proof. It's enough to assume that ω is not collinear to vv|vv|. The differential map for (19) is

    dσω:R3R3ωσ=2vv|vv|,ωω2vv|vv|,ωω. (20)

    Let T1 be the tangent plane to ω, and T2 be the plane determined by ω and vv|vv|, i.e. T2=span{ω,vv|vv|}. Choose {ω1,ω2}T1 orthonormal basis such that ω1T2 and ω2T2, and let (σ1,σ2)=(dσω(ω1),dσω(ω2)). Then, σ1T2 and σ2T2. The Gram determinant is given by

    Gram=|σ1|2|σ2|2σ1,σ22,

    where

    |σ1|2=4(vv|vv|,ω12+vv|vv|,ω2)=4|vv|vv||2=4,|σ2|2=4(vv|vv|,ω22+vv|vv|,ω2)=4vv|vv|,ω2,

    and

    σ1,σ2=0.

    As a result,

    Gram=16vv|vv|,ω2=4|σvv|vv||2.

    We thus write K2 as

    K2g(v,I)=ΔeI212r(1R)((vv)24+I+I)14v214(v+v2+R(14(vv)2+I+I)σ)2×g(v+v2R(14(vv)2+I+I)σ,(1R)(1r)[14(vv)2+I+I])1(2π)32(1R)R12B|σvv|vv||1drdRdσdIdv. (21)

    We seek first to write K2 in its kernel form. For this, we define hv,I,r,R,σ; where for simplicity the index will be omitted; as

    h:R3×R+h(R3×R+)R3×R+(v,I)(x,y)=(v+v2R(14(vv)2+I+I)σ,(1R)(1r)[14(vv)2+I+I]),

    for fixed v, I, r, R, and σ. The function h is invertible, and (v,I,v,I) can be expressed in terms of (x,y) as

    v=2x+2Rayσv,I=ayI(xv+Rayσ)2,

    and

    v=x+2Rayσ,I=r1ry,

    where a=1(1r)(1R). The Jacobian of h1 is computed as

    J=|vIxy|=8(1r)(1R),

    and the positivity of I restricts the variation of the variables (x,y) in integral (21) over the space

    Hv,IR,r,σ=h(R3×R+)={(x,y)R3×R+:ayI(xv+Rayσ)2>0}. (22)

    In fact, Hv,IR,r,σ can be explicitly expressed as

    Hv,IR,r,σ={(x,y)R3×R+:xBvRayσ(ayI) and y((1r)(1R)I,+)}.

    Therefore, equation (21) becomes

    K2g=1(2π)32(0,1)2×S2Hv,IR,r,σ(1R)R12JB|σvxRayσ|vxRayσ||1g(x,y)×eayI(xv+Rayσ)22r2(1r)y14(2x+2Rayσv)214(x+2Rayσ)2dydxdσdrdR. (23)

    We now point out the kernel form of K2 and prove after by the help of assumption (8) that the kernel of K2 is in L2(R3×R+×R3×R+). Indeed, we recall the definition of Δ, with Δ:=R3×R+×S2×(0,1)×(0,1), and we define Hv,I to be

    Hv,I:={(y,x,σ,r,R)Δ:R(0,1),r(0,1),σS2,xBvRayσ(ayI), and y((1r)(1R)I,+)}.

    We remark that Hv,IR,r,σ is a slice of Hv,I, and we define the slice Hv,Ix,y(0,1)×(0,1)×S2 such that

    Hv,I=Hv,Ix,y×R3×R+ which is equivalent to Hv,I=(0,1)×(0,1)×S2×Hv,IR,r,σ.

    In other words,

    Hv,Ix,y={(r,R,σ)(0,1)×(0,1)×S2:(y,x,σ,r,R)Hv,I}. (24)

    Then by Fubini theorem, it holds that

    K2g(v,I)=1(2π)32Hv,I(1R)R12JB|σvxRayσ|vxRayσ||1g(x,y)×eayI(xv+Rayσ)22r2(1r)y14(2x+2Rayσv)214(x+2Rayσ)2dydxdσdrdR=1(2π)32R3×R+Hv,Ix,y(1R)R12JB|σvxRayσ|vxRayσ||1g(x,y)×eayI(xv+Rayσ)22r2(1r)y14(2x+2Rayσv)214(x+2Rayσ)2dσdrdRdydx. (25)

    The kernel of K2 is thus inspected and written explicitly in the following lemma.

    Lemma 4.4. With the assumption (8) on B, the kernel of K2 given by

    k2(v,I,x,y)=1(2π)32Hv,Ix,y(1R)R12JB|σvxRayσ|vxRayσ||1×eayI(xv+Rayσ)22r2(1r)y14(2x+2Rayσv)214(x+2Rayσ)2dσdrdR

    is in L2(R3×R+×R3×R+).

    Proof. Rewriting k2 in the ωnotation and applying Cauchy-Schwarz inequality, we get

    k22L2cR3R+R3R+(0,1)2×S2(1R)2RJ2B2×e[ayI(xv+RayTω(vv|vv|))2]r(1r)y12(2x+2RayTω(vv|vv|)v)2e12(x+2RayTω(vv|vv|))2dωdrdRdydxdIdv.

    Writing back in σ notation, then by means of h1, and back to the ω notation with omitting the term e12v2r(1R)I in the last integral, we get

    k22L2cR3R+R3R+(0,1)2×S2eI12v2r(1R)((vv)24+I)(1R)2RJB2(v,v,I,I,r,R,ω)dωdrdRdIdvdIdv.

    Assumption (8) on B yields

    k22L2c(0,1)2R3R+R3R+(1R)2RJ(|vv|2γ+Iγ+Iγ)(r(1r))2˜β(1R)2˜α×eI12v2r(1R)((vv)24+I)dIdvdIdvdrdRc(0,1)2r2˜β52γ(1r)2˜β1R(1R)2˜α32γdrdR<.

    with c>0. We give the following remark for better understanding of the above computations.

    Remark 1. For any a,b,c{0,γ,2γ}, by using the spherical coordinates of (vv) we have

    R3R+R3R+IaIb|vv|ceI12v2r(1R)(vv)24r(1R)IdIdvdIdvC(R+Iaer(1R)IdI)(R3[R3|vv|cer(1R)(vv)24dv]e12v2dv)C[r(1R)]a1[r(1R)]c+32,

    for some constant C>0.

    The lemma is thus proved, which implies that K2 is a Hilbert-Schmidt operator.

    Compactness of K3. The proof of the compactness of K3 (18) is very similar to that of K2. The operator K3 which has the explicit form

    K3g(v,I)=ΔeI212(1r)(1R)((vv)24+I+I)e14v214(v+v2R(14(vv)2+I+I)σ)2g(v+v2+R(14(vv)2+I+I)σ,r(1R)[14(vv)2+I+I])1(2π)32R12(1R)B|σvv|vv||1drdRdσdIdv,

    inherits the same form as K2, with a remark that the Jacobian of the transformation

    ˜h:R3×R+R3×R+(v,I)(x,y)=(v+v2+R(14(vv)2+I+I)σ,r(1R)[14(vv)2+I+I]),

    is calculated to be

    ˜J=8r(1R).

    The final requirement for the kernel of K3 to be L2 integrable is

    (0,1)2(1r)2˜β52γr2˜β1R(1R)2˜α32γdrdR<,

    which holds by the change of variable r1r.

    To this extent, the perturbation operator K is proved to be Hilbert-Schmidt, and thus K is a bounded compact operator. As a result, the linearized operator L is a self adjoint operator.

    We give in this section some properties of ν. The first is the coercivity property, which implies that L is a Fredholm operator, and we prove the monotony of ν which depends on the choice of the collision cross section B. The latter property is used for locating the essential spectrum of L.

    Proposition 1 (Coercivity of ν Id). With the assumption (7), there exists c>0 such that

    ν(v,I)c(|v|γ+Iγ/2+1),

    for any γ0. As a result, the multiplication operator νId is coercive.

    Proof. The collision frequency (15) is

    ν(v,I)=ΔBeI12v2drdRdωdIdv,

    where by (7) we get

    ν(v,I)cS2R3(|vv|γ+Iγ/2)e12v2dωdvc(Iγ/2+R3||v||v||γe12v2dv),

    where c is a generic constant. We consider the two cases, |v|1 and |v|1. If |v|1 we have

    ν(v,I)c(Iγ/2+|v|12|v|(|v||v|)γe12v2dv)c(Iγ/2+|v|γ|v|12e12v2dv)c(|v|γ+Iγ/2+1).

    For |v|1,

    ν(v,I)c(Iγ/2+|v|2(|v||v|)γe12v2dv)c(Iγ/2+|v|2e12v2dv)c(1+Iγ/2+|v|γ).

    The result is thus proved. We give now the following proposition, which is a generalization of the work of Grad [17], in which he proved that the collision frequency of monoatomic single gases is monotonic based on the choice of the collision cross section B.

    Proposition 2 (monotony of ν).Under the assumption that

    (0,1)2×S2(1R)R12B(|V|,I,I,r,R,ω)drdRdω (26)

    is increasing (respectively decreasing) in |V| and I for every I, the collision frequency ν is increasing (respectively decreasing), where |V|=|vv|.

    In particular, for Maxwell molecules, where B is constant in |V| and I, ν is constant. On the other hand, for collision cross-sections of the form

    B(v,v,I,I,r,R,ω)=Cφ(r)ψ(R)(|vv|γ+Iγ/2+Iγ/2),

    the integral (26) is increasing, and thus ν is increasing, where C>0, γ0, and φ and ψ are positive functions that belong to L1((0,1)).

    In fact, if φ and ψ satisfy in addition (9), then this collision cross section satisfies our main assumptions (7) and (8).

    Proof. We remark first that ν is a radial function in |v| and I. In fact, we perform the change of variable V=vv in the integral (15), where the expression of ν becomes

    ν(|v|,I)=1(2π)32Δ(1R)R12B(|V|,I,I,r,R,ω)e12(vV)2IdrdRdωdIdV, (27)

    where Δ=R3×R+×S2×(0,1)2. The integration in V in the above integral (27) is carried in the spherical coordinates of V, with fixing one of the axes of the reference frame along v, and therefore, the above integral will be a function of |v| and I.

    The partial derivative of ν in the vi direction is

    νvi=1(2π)32(1R)R12vivi|vv|B|vv|(|vv|,I,I,r,R,ω)e12v2IdrdRdωdIdv. (28)

    Perform the change of variable V=vv in (28), then

    νvi=1(2π)32(1R)R12Vi|V|B|V|(|V|,I,I,r,R,ω)e12(vV)2IdrdRdωdIdV,

    and thus,

    3i=1viνvi=1(2π)32(1R)R12v.V|V|B|V|(|V|,I,I,r,R,ω) (29)
    e12(vV)2IdrdRdωdIdV. (30)

    Applying Fubini theorem, we write (29) as

    3i=1viνvi=1(2π)32[(1R)R12B|V|(|V|,I,I,r,R,ω)drdRdω]v.V|V| (31)
    e12(vV)2IdIdV. (32)

    The partial derivative of ν along I is

    IνI=1(2π)32(1R)R12IBI(|V|,I,I,r,R,ω)e12(vV)2IdrdRdωdIdV=1(2π)32I[(1R)R12BI(|V|,I,I,r,R,ω)drdRdω]e12(vV)2IdIdV. (33)

    When v.V>0, the exponential in the integral (29) is greater than when v.V<0, and so the term v.V doesn't affect the sign of the partial derivatives of ν. Therefore, the sign of the partial derivative of ν along |v| has the same sign as

    (1R)R12B|V|(|V|,I,I,r,R,ω)drdRdω.

    It's clear as well that the partial derivative of ν with respect to I (33) has the same sign as

    (1R)R12BI(|V|,I,I,r,R,ω)drdRdω.

    As a result, for a collision cross-section B satisfying the condition that the integral

    (0,1)2×S2(1R)R12B(|V|,I,I,r,R,ω)drdRdω

    is increasing (respectively decreasing) in |V| and I, the collision frequency is increasing (respectively decreasing).



    [1] S. Amemiya, H. Takao, O. Abe, Resting-State fMRI: Emerging Concepts for Future Clinical Application, J. Magn. Reson. Imaging, 2023 (2023). https://doi.org/10.1002/jmri.28894 doi: 10.1002/jmri.28894
    [2] S. H. Joo, H. K. Lim, C. U. Lee, Three large-scale functional brain networks from resting-state functional MRI in subjects with different levels of cognitive impairment, Psychiatry Invest., 13 (2016).
    [3] A. Chase, Altered functional connectivity in preclinical dementia, Nat. Rev. Neurol., 10 (2014), 11. https://doi.org/10.1038/nrneurol.2014.195 doi: 10.1038/nrneurol.2014.195
    [4] X. Chen, H. Zhang, Y. Gao, C. Y. Wee, G. Li, D. Shen, et al., High-order resting-state functional connectivity network for MCI classification, Human Brain Mapp., 37 (2016), 3282–3296. https://doi.org/10.1002/hbm.23240 doi: 10.1002/hbm.23240
    [5] B. Ibrahim, S. Suppiah, N. Ibrahim, M. Mohamad, H. Hassan, N. Nasser, et al., Diagnostic power of resting-state fMRI for detection of network connectivity in Alzheimer's disease and mild cognitive impairment: A systematic review, Human Brain Mapp., 42 (2021), 2941–2968. https://doi.org/10.1002/hbm.25369 doi: 10.1002/hbm.25369
    [6] S. L. Warren, A. A. Moustafa, Functional magnetic resonance imaging, deep learning, and Alzheimer's disease: A systematic review, J. Neuroimaging, 33 (2023), 5–18. https://doi.org/10.1111/jon.13063 doi: 10.1111/jon.13063
    [7] S. Khan, A. Gramfort, N. R. Shetty, M. G. Kitzbichler, S. Ganesan, J. M. Moran, et al., Local and long-range functional connectivity is reduced in concert in autism spectrum disorders, Proceed. Natl Acad. Sci., 110 (2013), 3107–3112. https://doi.org/10.1073/pnas.1214533110 doi: 10.1073/pnas.1214533110
    [8] H. Karbasforoushan, N. Woodward, Resting-state networks in schizophrenia, Curr. Top. Med. Chem., 12 (2012), 2404–2414. https://doi.org/10.2174/156802612805289863 doi: 10.2174/156802612805289863
    [9] J. W. Murrough, C. G. Abdallah, A. Anticevic, K. A. Collins, P. Geha, L. A. Averill, et al., Reduced global functional connectivity of the medial prefrontal cortex in major depressive disorder, Human Brain Mapp., 37 (2016), 3214–3223.
    [10] Z. Li, R. Chen, M. Guan, E. Wang, T. Qian, C. Zhao, et al., Disrupted brain network topology in chronic insomnia disorder: a resting-state fMRI study, NeuroImage Clin., 18 (2018), 178–185. https://doi.org/10.1016/j.nicl.2018.01.012 doi: 10.1016/j.nicl.2018.01.012
    [11] M. Brown, G. S. Sidhu, R. Greiner, N. Asgarian, M. Bastani, P. H. Silverstone, et al., ADHD-200 Global Competition: diagnosing ADHD using personal characteristic data can outperform resting state fMRI measurements, Front. Syst. Neurosci., 6 (2012), 69. https://doi.org/10.3389/fnsys.2012.00069 doi: 10.3389/fnsys.2012.00069
    [12] M. D. Rosenberg, E. S. Finn, D. Scheinost, X. Papademetris, X. Shen, R. T. Constable, et al., A neuromarker of sustained attention from whole-brain functional connectivity, Nat. Neurosci., 19 (2016), 165–171. https://doi.org/10.1038/nn.4179 doi: 10.1038/nn.4179
    [13] M. Rosenberg, E. Finn, D. Scheinost, R. Constable, M. Chun, Characterizing attention with predictive network models, Trends Cognit. Sci., 21 (2017), 290–302. https://doi.org/10.1016/j.tics.2017.01.011 doi: 10.1016/j.tics.2017.01.011
    [14] E. Finn, X. Shen, D. Scheinost, M. Rosenberg, J. Huang, M. Chun, et al., Functional connectome fingerprinting: identifying individuals using patterns of brain connectivity, Nat. Neurosci., 18 (2015), 1664–1671. https://doi.org/10.1038/nn.4135 doi: 10.1038/nn.4135
    [15] X. Shen, E. S. Finn, D. Scheinost, M. D. Rosenberg, M. M. Chun, X. Papademetris, et al., Using connectome-based predictive modeling to predict individual behavior from brain connectivity, Nat. Protoc., 12 (2017), 506–518. https://doi.org/10.1038/nprot.2016.178 doi: 10.1038/nprot.2016.178
    [16] P. H. Luckett, J. J. Lee, K. Y. Park, R. V. Raut, K. L. Meeker, E. M. Gordon, et al., Resting state network mapping in individuals using deep learning, Front. Neurol., 13 (2023), 1055437. https://doi.org/10.3389/fneur.2022.1055437 doi: 10.3389/fneur.2022.1055437
    [17] J. Gao, J. Liu, Y. Xu, D. Peng, Z. Wang, Brain age prediction using graph neural network based on resting-state functional MRI in Alzheimer's disease, Front. Neurosci., 17 (Year), 1222751.
    [18] H. I. Suk, C. Y. Wee, S. W. Lee, D. Shen, State-space model with deep learning for functional dynamics estimation in resting-state fMRI, NeuroImage, 129 (2016), 292–307. https://doi.org/10.1016/j.neuroimage.2016.01.005 doi: 10.1016/j.neuroimage.2016.01.005
    [19] H. Du, M. Xia, K. Zhao, X. Liao, H. Yang, Y. Wang, et al., PAGANI Toolkit: Parallel graph-theoretical analysis package for brain network big data, Human Brain Mapp., 39 (2018), 1869. https://doi.org/10.1002/hbm.23996 doi: 10.1002/hbm.23996
    [20] J. Liu, Y. Pan, F. X. Wu, J. Wang, Enhancing the feature representation of multi-modal MRI data by combining multi-view information for MCI classification, Neurocomputing, 400 (2020), 322–332. https://doi.org/10.1016/j.neucom.2020.03.006 doi: 10.1016/j.neucom.2020.03.006
    [21] C. Y. Wee, P. T. Yap, K. Denny, J. N. Browndyke, G. G. Potter, K. A. Welsh-Bohmer, et al., Resting-state multi-spectrum functional connectivity networks for identification of MCI patients, PloS One, 7 (2012), e37828. https://doi.org/10.1371/journal.pone.0037828 doi: 10.1371/journal.pone.0037828
    [22] B. Jie, D. Zhang, W. Gao, Q. Wang, C. Wee, D. Shen, Integration of network topological and connectivity properties for neuroimaging classification, IEEE Trans. Biomed. Eng., 61 (2013), 576–589. https://doi.org/10.1109/TBME.2013.2284195 doi: 10.1109/TBME.2013.2284195
    [23] X. Liang, J. Wang, C. Yan, N. Shu, K. Xu, G. Gong, et al., Effects of different correlation metrics and preprocessing factors on small-world brain functional networks: a resting-state functional MRI study, PloS One, 7 (2012), e32766. https://doi.org/10.1371/journal.pone.0032766 doi: 10.1371/journal.pone.0032766
    [24] Y. Wang, J. Kang, P. B. Kemmer, Y. Guo, An efficient and reliable statistical method for estimating functional connectivity in large scale brain networks using partial correlation, Front. Neurosci., 10 (2016), 123. https://doi.org/10.3389/fnins.2016.00123 doi: 10.3389/fnins.2016.00123
    [25] Y. Li, Y. Wang, G. Wu, F. Shi, L. Zhou, W. Lin, et al., Discriminant analysis of longitudinal cortical thickness changes in Alzheimer's disease using dynamic and network features, Neurobiol. Aging, 33 (2012), e15–e30. https://doi.org/10.1016/j.neurobiolaging.2010.11.008 doi: 10.1016/j.neurobiolaging.2010.11.008
    [26] C. Y. Wee, P. T. Yap, D. Zhang, L. Wang, D. Shen, Group-constrained sparse fMRI connectivity modeling for mild cognitive impairment identification, Brain Struct. Funct., 219 (2014), 641–656. https://doi.org/10.1007/s00429-013-0524-8 doi: 10.1007/s00429-013-0524-8
    [27] M. J. Rosa, L. Portugal, T. Hahn, A. J. Fallgatter, M. I. Garrido, J. Shawe-Taylor, et al., Sparse network-based models for patient classification using fMRI, Neuroimage, 105 (2015), 493–506. https://doi.org/10.1016/j.neuroimage.2014.11.021 doi: 10.1016/j.neuroimage.2014.11.021
    [28] J. Friedman, T. Hastie, R. Tibshirani, Sparse inverse covariance estimation with the graphical lasso, Biostatistics, 9 (2008), 432–441. https://doi.org/10.1093/biostatistics/kxm045 doi: 10.1093/biostatistics/kxm045
    [29] A. Kawaguchi, F. Yamashita, Supervised multiblock sparse multivariable analysis with application to multimodal brain imaging genetics, Biostatistics, 18 (2017), 651–665. https://doi.org/10.1093/biostatistics/kxx011 doi: 10.1093/biostatistics/kxx011
    [30] A. Kawaguchi, Multivariate Analysis for Neuroimaging Data, CRC Press, (2021). https://doi.org/10.1201/9780429289606
    [31] N. Chaari, H. C. Akdağ, I. Rekik, Comparative survey of multigraph integration methods for holistic brain connectivity mapping, Med. Image Anal., 2023 (2023), 102741. https://doi.org/10.1016/j.media.2023.102741 doi: 10.1016/j.media.2023.102741
    [32] A. Kawaguchi, R. Yamanaka, Gene expression signature-based prognostic risk score with network structure, Primary Central Nerv. Syst. Lymphoma, 2016 (2016), 67–80.
    [33] H. Yoshida, A. Kawaguchi, F. Yamashita, K. Tsuruya, The utility of a network–based clustering method for dimension reduction of imaging and non-imaging biomarkers predictive of Alzheimer's disease, Sci. Rep., 8 (2018), 1–10. https://doi.org/10.1038/s41598-018-21118-1 doi: 10.1038/s41598-018-21118-1
    [34] Y. Wang, L. Li, J. J. Li, H. Huang, Network Modeling in Biology: Statistical Methods for Gene and Brain Networks, Stat. Sci., 36 (2021),
    [35] H. Shen, J. Z. Huang, Sparse principal component analysis via regularized low rank matrix approximation, J. Multivar. Anal., 99 (2008), 1015–1034. https://doi.org/10.1016/j.jmva.2007.06.007 doi: 10.1016/j.jmva.2007.06.007
  • This article has been cited by:

    1. Shingo Kosuge, Kazuo Aoki, Navier–Stokes Equations and Bulk Viscosity for a Polyatomic Gas with Temperature-Dependent Specific Heats, 2022, 8, 2311-5521, 5, 10.3390/fluids8010005
    2. Niclas Bernhoff, Linearized Boltzmann Collision Operator: I. Polyatomic Molecules Modeled by a Discrete Internal Energy Variable and Multicomponent Mixtures, 2023, 183, 0167-8019, 10.1007/s10440-022-00550-6
    3. Ricardo Alonso, Milana Čolić, Integrability Propagation for a Boltzmann System Describing Polyatomic Gas Mixtures, 2024, 56, 0036-1410, 1459, 10.1137/22M1539897
    4. Niclas Bernhoff, Compactness Property of the Linearized Boltzmann Collision Operator for a Mixture of Monatomic and Polyatomic Species, 2024, 191, 1572-9613, 10.1007/s10955-024-03245-4
    5. Ricardo J. Alonso, Milana Čolić, Irene M. Gamba, The Cauchy Problem for Boltzmann Bi-linear Systems: The Mixing of Monatomic and Polyatomic Gases, 2024, 191, 1572-9613, 10.1007/s10955-023-03221-4
    6. Renjun Duan, Zongguang Li, Global bounded solutions to the Boltzmann equation for a polyatomic gas, 2023, 34, 0129-167X, 10.1142/S0129167X23500362
    7. Gyounghun Ko, Sung-jun Son, Global stability of the Boltzmann equation for a polyatomic gas with initial data allowing large oscillations, 2025, 425, 00220396, 506, 10.1016/j.jde.2025.01.038
    8. Stephane Brull, Annamaria Pollino, An ES-BGK model for non polytropic gases with a general framework, 2025, 0, 1937-5093, 0, 10.3934/krm.2025010
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1821) PDF downloads(57) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog