Well-posedness for boundary value problems for coagulation-fragmentation equations (Q2197888)

Existence of weak solutions is shown for the coagulation-fragmentation equation when the size distribution of the particles is prescribed for large sizes \(x>1\), which reads \begin{align*} \partial_t f(t,x) & = \frac{1}{2} \int_0^x K(x-y,y) f(t,x-y) f(t,y)\ dy - \int_0^1 K(x,y) f(t,x) f(t,y)\ dy \\ & \quad - \int_1^\infty K(x,y) f(t,x) g(t,y)\ dy + \int_{1-x}^\infty F(x,y) g(t,x+y)\ dy \\ & \quad - \frac{1}{2} \int_0^x F(x-y,y)\ dy f(t,x) + \int_0^{1-x} F(x,y) f(t,x+y)\ dy \end{align*} for \((t,x)\in (0,\infty)\times (0,1)\), the function \(g\) being given and defined on \((0,\infty)\times (1,\infty)\) and accounting for the known size distribution of particles with sizes exceeding one. Here, \(K\) and \(F\) are non-negative and symmetric functions providing the coagulation and fragmentation rates, respectively, and it is assumed that there are \((\alpha,\beta,\gamma)\in [0,1]^3\) such that \[ K(x,y) \le K_0 \left( x^{-\alpha} + y^{-\alpha} \right) \left( x^\beta + y^\beta \right), \qquad F(x,y) \le F_0 \left( x^\gamma + y^\gamma \right) \] for \((x,y)\in (0,\infty)^2\). Note that the classical coagulation-fragmentation equation can be obtained from the above equation after replacing \(g\) by \(f\). Assuming that \(g\) is a non-negative function in \(C([0,\infty),L^1(0,\infty))\) such that \[ \sup_{t\ge 0} \int_1^\infty x^{\max\{\beta,\gamma\}} g(t,x)\ dx < \infty, \] while the initial condition \(f^{in}\) is a bounded measure on \((0,1]\), the existence of a measure-valued solution \(f\) is shown. Moreover, if \(K\) also satisfies \[ K(x,y) \ge K_1 \left( x^{-\alpha} + y^{-\alpha} \right) \left( x^\beta + y^\beta \right), \] some moments of negative order of this solution are finite for almost all \(t>0\). Also, temporal decay estimates on the total variation of \(f\) are derived in the absence of fragmentation (\(F\equiv 0\)). Finally, when \(g\) does not depend on time and a detailed balance condition is assumed on \(K\) and \(F\), convergence to a stationary solution is shown.