浙江大学学报(理学版), 2022, 49(1): 36-40 doi: 10.3785/j.issn.1008-9497.2022.01.005

数学与计算机科学

一类群体平衡方程的尺度变换群分析及显式精确解

林府标,, 张千宏,,

贵州财经大学 数统学院,贵州 贵阳 550025

Analysis of scaling transformation group and explicit exact solutions of the population balance equation involving breakage and growth processes

LIN Fubiao,, ZHANG Qianhong,,

School of Mathematics and Statistics, Guizhou University of Finance and Economics, Guiyang 550025, China

通讯作者: ORCID:https://orcid.org/0000-0001-9553-5443, E-mail:zqianhong68@163.com.

收稿日期: 2019-05-06  

基金资助: 国家自然科学基金资助项目.  11761018.  11361012
贵州省科技计划基金项目.  黔科合基础[2019]1051
贵州省科技厅科学技术基金项目.  [2020]1Y008
贵州省教育厅创新群体项目.  黔教合KY学[2021]015
贵州省教育厅青年科技人才成长项目.  黔教合KY字[2017]150

Received: 2019-05-06  

作者简介 About authors

林府标(1978—),ORCID:https://orcid.org/0000-0003-4529-4930,男,博士,副教授,主要从事偏微分方程研究. 。

摘要

研究了一类既存在增长过程又存在破损过程的群体平衡方程的精确解法。用尺度变换群分析法得到群体平衡方程的部分对称、群不变解和约化积分-常微分方程。用试探函数法探求约化积分-常微分方程,得到群体平衡方程的显式精确解,并分析了该显式精确解的动力学特性。所得群不变解能解释实体模型,显式精确解可检验数值解的正确性和精确度。

关键词: 积分-偏微分方程 ; 群体平衡方程 ; 尺度变换群 ; 显式精确解

Abstract

The analytical method and exact solutions of the population balance equation involving growth and breakage processes are investigated in this paper. Partial symmetries, group invariant solutions and reduced integro-ordinary differential equations of the population balance equation are found by scaling transformation group analysis. Explicit exact solutions of the population balance equation are obtained by solving the reduced integro-ordinary differential equations with the method of trial function. The dynamic behavior of explicit exact solutions is analyzed. The obtained group invariant solutions can provide interpretation for the physical processes model, on the other hand, these obtained exact solutions can also be used to verify the correctness and accuracy of numerical solutions.

Keywords: integro-partial differential equation ; population balance equation ; scaling transformation group ; explicit exact solution

PDF (437KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

林府标, 张千宏. 一类群体平衡方程的尺度变换群分析及显式精确解. 浙江大学学报(理学版)[J], 2022, 49(1): 36-40 doi:10.3785/j.issn.1008-9497.2022.01.005

LIN Fubiao, ZHANG Qianhong. Analysis of scaling transformation group and explicit exact solutions of the population balance equation involving breakage and growth processes. Journal of Zhejiang University(Science Edition)[J], 2022, 49(1): 36-40 doi:10.3785/j.issn.1008-9497.2022.01.005

0 引 言

群体平衡方程是描述具有特殊特征的离散实体系统模型的连续型方程,这些实体包括粒子、晶体、乳剂、液滴、泡沫、种群等;同时包含纯偏微分方程、积分方程、代数方程等,通常分别用粒子的种群密度分布函数、增长率或破损率表示种群平衡、粒子质量。群体平衡方程应用领域广泛,但鉴于在实际工程领域中缺乏解析解,其研究途径几乎只能借助于数值技术1-4。粒子可用尺寸、形状、液体和气体的空隙、成分、年龄、质量和体积等表征,其尺寸、质量、体积是研究粒子密度分布基本的内部变量坐标1-4。矿石或其他固体材料的破碎、粉碎、尺寸减缩等是粒子的破损过程;细菌种群的繁殖、生长、死亡、分裂等为粒子的生长过程。在描述化学过程、微粒系统时,可将既有生长过程又有破损过程的连续型群体平衡方程3写为

fx,tt+x[Gx,tfx,t]()=xv(y,t)b(y,t)p(x| y)f(y,t)dy-bx,tfx,t,

其中,t表示时间;x表示粒子的尺寸(质量、体积),fx,t表示尺寸(质量、体积)为x的粒子在t时刻的种群密度分布函数;Gx,t表示尺寸(质量、体积)为x的粒子在t时刻的增长率;vx,t表示尺寸(质量、体积)为x的粒子的破损平均数;假设粒子的破损是相互独立的,bx,t表示尺寸(质量、体积)为x的粒子在t时刻的破损率,即单位时间内正在破损的粒子数,一般情况下,破损率系数bx,tx的增大而增大,例如,幂函数型破损率bx,t=kxγ,k>0γ>0p(x| y)表示尺寸(质量、体积)为y的粒子分解或破损为尺寸(质量、体积)为x的粒子的概率,与时间相互独立,概率函数p(x| y)满足规范性条件:

0yp(x| y)dx=1,    p(x| y)=0,    x>y

假设fx,t是积分-偏微分方程(1)的任意解,则该精确解满足尺寸(质量、体积)足够大的粒子,相应种群密度分布函数fx,t必然为零1-3,特别地,当满足性质f,t=fx,t=0时,正则性条件为G,tf,t=0,对应的边界条件和柯西问题的初始条件分别为

f,t=0,    f0,t=fx,t|x=0,
fx,0=fx,t|t=0

在工程应用领域,常用平均数或总数研究粒子的行为分布及相关性质。其中,总体平衡(TB)、零阶矩M0t和一阶矩M1t的定义分别为

TB: dM0dt=G0,tf0,t,

M0t=0fx,tdx,
M1t=0xfx,tdx,

其中,零阶矩M0t表示单位体积粒子的平均质量,一阶矩M1t表示单位体积粒子的总质量。

齐次增长率函数和破损率函数相对容易处理,即对任意的λ存在幂指数p0,γ0,使得增长率系数Gx,t和破损率系数bx,t分别满足齐次方程

Gλx,t=λpGx,t,    bλx,t=λγbx,t,    λ>0

假设粒子破损的平均数是双重的,增长率函数和破损率函数均不依赖于时间而仅取决于粒子的尺寸(质量、体积),注意到假设条件概率函数与时间的相互独立性和规范性,进一步选取

vx,t=2,    p(x| y)=1y,    Gx,t=gxp,
bx,t=kxγ,    γ0,p0,g>0,k>0

于是,幂函数型增长率和破损率的群体平衡方程(1)在约束条件(2)下可简化为

fx,tt+gxpfx,tx=2kxyγ-1fy,tdy-kxγ+gpxp-1fx,t

在日常生活和工业生产中,最大的困难不是如何建立一个实体微粒过程模型,而是除数值技术1-4外无其他精确求解满足实际问题的群体平衡方程的途径。因此,为精确描述、解释、理解和应用这些实体模型,探求满足边界条件和初值条件的精确解是有实际价值和意义的。

群体平衡方程的主要求解方法可粗略地分为数值方法和矩方法1-4。而经典的李群分析法5无法直接用于求解积分-偏微分方程(1)。改进的李群分析法6-7在许多交叉学科领域已有应用,特别是已用于求解积分-偏微分方程、时滞微分方程和随机微分方程8-15,其最大困难是求解积分-偏微分方程的决定方程,由于决定方程仍为积分-偏微分方程,其解法依赖于原积分-偏微分方程的结构、性质和特征等8-15。采用改进的李群分析法求解式(3),最大困难是决定方程及其求解方法,因式(3)中,局部强非线性项为变下限积分类型。相反,采用尺度变换群分析法68因不需要求解复杂的积分-偏微分方程的决定方程,求解新的积分-偏微分方程的部分对称、群不变解和显式精确解常常是简洁且行之有效的。

本文采用尺度变换群分析法、观察法和试探函数法求式(3)的精确解。重点求满足实际问题的有意义的真实显式精确解,分析和探讨这些显式精确解所满足的边界条件和柯西问题的初始条件,以及解的动力学特性,并能验证数值解的正确性和精度,为工程应用领域提供理论参考,丰富群体平衡方程的理论内容。

1 尺度变换群分析法

采用尺度变换群分析法68式(3)所接受的李群,考虑尺度变换群

t¯=taλ1,    x¯=xaλ2,    f¯=faμ

其中,a为群参数,及式(3)的相应变换方程

f¯(x¯,t¯)t¯+gx¯pf¯(x¯,t¯)x¯=2kx¯y¯γ-1f¯(y¯,t¯)dy¯-(kx¯γ+gpx¯p-1)f¯(x¯,t¯)

由尺度变换群分析法的理论算法和式(4),可假设式(3)所接受的无穷小李对称算子为

X=λ1tt+λ2xx+μff ,

其中,λ1,λ2,μ均为实参数。为分析和研究式(4)如何将式(5)的解f¯=f¯(x¯,t¯)变换为式(3)的解f=fx,t,进一步将式(4)的逆变换群改写为

f¯(x¯,t¯)=aμf(x¯a-λ2,t¯a-λ1)

式(4)和式(7)代入式(5),化简得

a-λ1-γλ2fx,tt+ga(p-γ-1)λ2xpfx,tx=
2kxyγ-1f(y,t)dy-[kxγ+gpa(p-γ-1)λ2xp-1]fx,t

注意到fx,t式(3)的任意解,尺度变换群作用式(3)不变,由式(8),实参数λ1,λ2满足的不变量约束条件为

γ=p-1,    λ1=(1-p)λ2

式(2)和式(9),得到增长率和破损率函数分别为

Gx,t=gxp,    bx,t=kxp-1

于是,式(3)变为

fx,tt+gxpfx,tx=2kxyp-2f(y,t)dy-(k+gp)xp-1fx,t

考虑单参数平移变换李群

Tτ0:x¯=x ,    t¯=t+τ0 ,    f¯=f ,

其中,τ0为群实参数。类似于上述分析和计算,可证明平移变换李群Tτ0作用式(3)不变,因此,式(3)接受平移变换李群Tτ0,其对应的无穷小李对称平移算子为

X=t

鉴于实参数λ1,λ2,μ的任意性,结合式(9)和平移变换李群Tτ0以及无穷小算子式(6),得到式(10)所接受的无穷小李对称算子为

X=t,    Y=(1-p)tt+xx,    Z=ff

定理1 设由式(10)接受的所有无穷小李对称算子构成的李代数为L,则L3=spanX,Y,Z构成实数域上L的3维子李代数。

由文献[16],得到3维子李代数L3的换位子运算结果,见表1

表1   子李代数L3的换位子运算结果

Table 1  Commutator table of Lie subalgebra L3

算子XYZ
X0(1-p)X0
Y(p-1)X00
Z000

新窗口打开| 下载CSV


表1可得,内自同构

A1:(p-1)x2x1,A2:(1-p)x1x1

求解相应的李方程,得

A1:x¯1=(p-1)x2a1+x1,    x¯2=x2,    x¯3=x3,
A2:x¯1=x1exp[(1-p)a2],    x¯2=x2,    x¯3=x3

由内自同构Aii=1,2对应的李变换群和理论算法6-7,可得3维子李代数L3的最优化系统,见表2,其中,α为任意实数。

表2   子李代数L3的最优化系统

Table 2  Optimal system of Lie subalgebra L3

序号生成元序号生成元
1X,Y,Z5Y+αZ
2Y,Z6X+Z
3X,αY+Z7X-Z
4αX+Z,Y8X

新窗口打开| 下载CSV


2 群不变解和显式精确解

情形1 spanY+αZ,p1,αR

无穷小李对称算子Y+αZ,p1,αR的群不变量为xp-1t,tαp-1f,由平移算子X,可假设式(10)的显式精确解为

fx,t=(t+τ0)α1-pφz,    z=xp-1(t+τ0),

其中,函数φz满足约化积分-常微分方程

[g(p-1)z2+z]φ'+α1-p+(k+gp)zφ=
2kp-1zφsds

情形2 spanY+αZ,p=1,αR

无穷小李对称算子Y+αZ,p=1,αR的群不变量为t,x-αf。于是,假设式(10)的显式精确解为fx,t=xαφt,α<0,其中,函数φt满足约化可分离变量的常微分方程φ'=-βφ,其通解为φt=cexp(-βt)。由平移算子X,可得式(10)的显式精确解为

fx,t=cxαexp(-β(t+τ0)),    α<0,
β=gα2+(k+g)α+2kα,    c>0,τ00

注意到当x时,此精确解满足fx,t0,即满足条件f,t=0。在破损系数为常数的粒子系统中,当线性增长的粒子尺寸(质量、体积)足够大时,种群密度分布函数fx,t必然为零。边界条件和柯西问题的初始条件分别为

f,t=0    fx,0=cxαexp(-βτ0),
β=gα2+(k+g)α+2kα,    c>0,α<0

情形3 n>1,α=2[(p-1)n-p]p+1-(p-1)n

k=gn-1(p-1)(np-n-p)n-1p-n-1>0

用试探函数法,可得式(13)的显式精确解

φz=cz+δn,    δ=1g(p-1),c>0

结合平移算子X式(12),得式(10)的显式精确解

fx,t=c(t+τ0)ωz+δn,    z=xp-1(t+τ0),
ω=α1-p,    δ=1g(p-1),    n>1,c>0,τ00

p>1,当粒子尺寸x时,精确解满足fx,t0,即满足条件f,t=0。表明既存在增长又存在破损的粒子过程,当粒子尺寸(质量、体积)足够大时,种群密度分布函数fx,t必然为零。当系统中无粒子时,增长率满足G0,t=0。显式精确解fx,t对应的边界条件、柯西问题的初始条件、总体平衡(TB)分别为

f,t=0,    f0,t=c(t+τ0)ωδn,
fx,0=cτ0ω(xp-1τ0+δ)n,    n>1,c>0,τ00,
TB:dM0dt=G0,tfx,0=0

在破损过程中,粒子的平均质量和总质量依赖参数n,p的选取和零阶矩M0t及一阶矩M1t。若p=2,则零阶矩M0t和一阶矩M1t分别为

M0t=cgn-1(t+τ0)-α-1n-1,    n>1,c>0,τ00,
M1t=cgn-2(t+τ0)-α-2n-1n-2,    n>2,c>0,τ00

n>1,α+1=1-nn-30,则dM0dt0,表明破损过程中粒子的总体数量未保持平衡;若n>3,dM0dt>0,表明破损过程中粒子的平均质量随时间的增加而增加;若1<n<3,dM0dt<0,表明破损过程中粒子的平均质量随时间的增加而减少。当n>2时,破损过程中粒子的总质量不守恒;当1<n2时,无法确定破损过程中粒子的总质量是否守恒。

为行文简洁,以下情形不再讨论和分析精确解所对应的边界条件和初值条件以及零阶矩M0t和一阶矩M1t

情形4 n>1,p1,α=n(1-p),

k=g(np-n-p)n-1(1-p)p+1-(p-1)n>0

用试探函数法,可得式(13)的显式精确解为

φz=czn,    c>0

式(12)和平移算子X,得式(10)的显式精确解为

fx,t=cxn p-1,    c>0,n>1,p1

情形5 p=3,k=6g

用试探函数法,可得式(13)的显式精确解为

φz=c(gz+1)z4,    α=-8c>0

由平移算子X式(12),得式(10)的显式精确解为

fx,t=c[gx2(t+τ0)+1]x8,    c>0

情形6 k=g(p2-3p+2)p-3>0

类似地,用试探函数法探究式(13)的显式精确解,由式(12)和平移算子X,可得式(10)的显式精确解为

fx,t=c(t+τ0)α1-pφz,    z=xp-1(t+τ0),
φz=g2p1z2+2gp2z+3(p-3)23(p-3)2z4,    τ00
p1=3p4-29p3+98p2-135p+65,    c>0,
p2=3p3-23p2+55p-39,    α=4(1-p),

函数φz式(13)的解。

情形7 Gx,t=gxp,bx,t=kxp-1

用观察法和试探函数法,得式(10)的显式精确解为

fx,t=cxn,    0<p<n+1,c>0,
n=(2p-1)g+k±g2-6gk+k22g,

g>(3+22)kg<(3-22)k

情形8 k=g(p2-3p+2)p-3>0,α=3(1-p)

用试探函数法,得式(13)的显式精确解为

φz=cg(p2-5p+5)z+c(p-3)(p-3)z3,    c>0

式(12)和平移算子X,得式(10)的显式精确解为

fx,t=cg(p2-5p+5)z+c(p-3)(p-3)x3p-1,
z=xp-1(t+τ0),    c>0

情形9 spanX+Z

无穷小李对称算子X+Z的群不变量为x,exp-tf。由平移算子X,可假设式(10)的显式精确解为

fx,t=exp(t+τ0)φx,

其中,函数φx满足约化积分-常微分方程:

gxpφ'+[(k+gp)xp-1+1]φ=2kxsp-2φsds

情形10 spanX-Z

无穷小李对称算子X-Z的群不变量为x,exptf。由平移算子X,可假设式(10)的显式精确解为

fx,t=exp(τ0-t)φx,

其中,函数φx满足约化积分-常微分方程:

gxpφ'+[(k+gp)xp-1-1]φ=2kxsp-2φsds

情形11 spanX

无穷小李对称算子X的群不变量为x,f,可假设式(10)的显式精确解为

fx,t=φx,

其中,函数φx满足约化积分-常微分方程:

gxpφ'+(k+gp)xp-1φ=2kxsp-2φsds

3 结 论

将尺度变换群分析法成功地应用于带有变下限强非线性积分项的群体平衡方程。结合观察法和试探函数法,得到了存在齐次增长率和破损率的群体平衡方程的部分对称、群不变解和显式精确解。分析了部分显式精确解对应的边界条件、柯西问题的初值条件以及零阶矩和一阶矩。所得显式精确解可验证数值解的正确性和精确度。

http://dx.doi.org/10.3785/j.issn.1008-9497.2022.01.005

参考文献

YEOH G HCHEUNG C PTU J. Multiphase Flow Analysis Using Population Balance Modeling:Bubbles,Drops and Particles[M]. AmsterdamElsevier Science2014. DOI:10.1016/b978-0-08-098229-8.05001-4

[本文引用: 5]

RANDOLPH A DLARSON M A. Theory of Particulate Processes:Analysis and Techniques of Continuous Crystallization[M]. 2nd ed. San DiegoAcademic Press1988. DOI:10.1016/b978-0-12-579652-1.50011-9

RAMKRISHNA D. Population Balances:Theory and Applications to Particulate Systems in Engineering[M]. San DiegoAcademic Press2000. DOI:10.1016/b978-012576970-9/50007-2

[本文引用: 2]

CAMERON I TWANG F YIMMANUEL C Det al.

Process systems modelling and applications in granulation:A review

[J]. Chemical Engineering Science,20056014):3723-3750. DOI:10.1016/j.ces.2005.02.004

[本文引用: 4]

OVSIANNIKOV L V. Group Analysis of Differential Equations[M]. MoscowNauka1978.

[本文引用: 1]

MELESHKO S V. Methods for Constructing Exact Solutions of Partial Differential Equations:Mathematical and Analytical Techniques with Applications to Engineering[M]. New YorkSpringer2005.

[本文引用: 4]

GRIGORIEV Y NIBRAGIMOV N HKOVALEV V Fet al. Symmetries of Integro-Differential Equations:With Applications in Mechanics and Plasma Physics[M]. New YorkSpringer2010. doi:10.1007/978-90-481-3797-8

[本文引用: 2]

LIN F BFLOOD A EMELESHKO S V.

Exact solutions of population balance equation

[J]. Communications in Nonlinear Science and Numerical Simulation,201636378-390. DOI:10. 1016/j.cnsns.2015.12.010

[本文引用: 4]

LIN F BMELESHKO S VFLOOD A E.

Symmetries of population balance equations for aggregation,breakage and growth processes

[J]. Applied Mathematics and Computation,2017307193-203. DOI:10.1016/j.amc.2017.02.048

LIN F BMELESHKO S VFLOOD A E.

Exact solutions of the population balance equation including particle transport,using group analysis

[J]. Communications in Nonlinear Science and Numerical Simulation,201859255-271. DOI:10. 1016/j.cnsns.2017.11.022

ZHOU L QMELESHKO S V.

Group analysis of integro-differential equations describing stress relaxation behavior of one-dimensional viscoelastic materials

[J]. International Journal of Non-Linear Mechanics,201577223-231. DOI:10.1016/j.ijnonlinmec.2015.08.008

ZHOU L QMELESHKO S V.

Invariant and partially invariant solutions of integro-differential equations for linear thermoviscoelastic aging materials with memory

[J]. Continuum Mechanics and Thermodynamics,2017291):207-224. DOI:10. 1007/s00161-016-0524-z

ZHOU L QMELESHKO S V.

Symmetry groups of integro-differential equations for linear thermoviscoelastic materials with memory

[J]. Journal of Applied Mechanics and Technical Physics,2017584):587-609. DOI:10.1134/S00 21894417040034

林府标张千宏.

Smoluchowski方程的对称与显式解析解

[J]. 数学进展,2018476):833-843. DOI:10. 11845/sxjz.2017116b

LIN F BZHANG Q H.

Symmetries and explicit analytical solutions of the Smoluchowski coagulation equation

[J]. Advances in Mathematics,2018476):833-843. DOI:10.11845/sxjz.2017116b

MKHIZE T GGOVINDER KMOYO Set al.

Linearization criteria for systems of two second-order stochastic ordinary differential equations

[J]. Applied Mathematics and Computation,201730125-35. DOI:10.1016/j.amc.2016.12.019

[本文引用: 2]

伊布拉基莫夫.变换群和李代数[M]. 北京高等教育出版社2013. doi:10.1142/8763

[本文引用: 1]

IBRAGIMOV N H. Transformation Groups and Lie Algebra[M]. BeijingHigher Education Press2013. doi:10.1142/8763

[本文引用: 1]

/