关于生物膜生长的双曲-抛物型自由边界问题解的存在性和唯一性
Existence and uniqueness of solution to a hyperbolic-parabolic free boundary problem for biofilm growth
摘要 Abstract
本文研究了一类与生物膜生长相关的自由边界值问题解的存在性和唯一性。该问题由描述微生物种群生长的非线性双曲偏微分方程组以及描述基质动态的抛物型偏微分方程组组成,自由边界的变化由描述生物膜厚度的常微分方程控制。我们利用特征线法和不动点策略,分别在短时间和长时间范围内证明了存在性和唯一性定理。通过对所有方程进行积分变换,特别是通过Green函数将抛物型方程转化为积分方程,研究了基质方程的Dirichlet-Neumann和Neumann-Robin边界条件及其推广到变量情形的情况。
This work presents the existence and uniqueness of solution to a free boundary value problem related to biofilm growth. The problem consists of a system of nonlinear hyperbolic partial differential equations governing the microbial species growth, and a system of parabolic partial differential equations describing the substrate dynamics. The free boundary evolution is governed by an ordinary differential equation that accounts for the thickness of the biofilm. We use the method of characteristics and fixed point strategies to prove the existence and uniqueness theorem in small and all times. All the equations are converted into integral equations, in particular this transformation is made for the parabolic equations by using the Green's functions. We consider Dirichlet-Neumann and Neumann-Robin boundary conditions for the substrates equations and their extension to the case with variable