# Existence and uniqueness of solution of the differential equation describing the TASEP-LK coupled transport process

## TL;DR

This paper rigorously proves the existence and uniqueness of solutions for a PDE modeling the TASEP-LK coupled transport process, providing a mathematical foundation that supports previous numerical and simulation studies in physics and biology.

## Contribution

It establishes the first rigorous mathematical analysis of the PDE solutions for the TASEP-LK process, including steady-state and time-dependent solutions, using advanced mathematical methods.

## Key findings

- Existence of a smooth steady-state solution is proven.
- Uniqueness of solutions is established in multiple function spaces.
- Global attractivity of the steady-state solution is demonstrated.

## Abstract

We study the existence and uniqueness of solution of a evolutionary partial differential equation originating from the continuum limit of a coupled process of totally asymmetric simple exclusion process (TASEP) and Langmuir kinetics (LK). In the fields of physics and biology, the TASEP-LK coupled process has been extensively studied by Monte Carlo simulations, numerical computations, and detailed experiments. However, no rigorous mathematical analysis so far has been given for the corresponding differential equations, especially the existence and uniqueness of their solutions. In this paper, we prove the existence of the $C^\infty[0,1]$ steady-state solution by the method of upper and lower solution, and the uniqueness in both $W^{1,2}(0,1)$ and $L^\infty(0,1)$ by a generalized maximum principle. We further prove the global existence and uniqueness of the time-dependent solution in $C([0,1]\times [0,+\infty))\cap C^{2,1}([0,1]\times (0,+\infty))$, which, for any continuous initial value, converges to the steady-state solution in $C[0,1]$ (global attractivity). Our results support the numerical calculations and Monte Carlo simulations, and provide theoretical foundations for the TASEP-LK coupled process, especially the most important phase diagram of particle density along the travel track under different model parameters, which is difficult because the boundary layers (at one or both boundaries) and domain wall (separating high and low particle densities) may appear as the length of the travel track tends to infinity. The methods used in this paper may be instructive for studies of the more general cases of the TASEP-LK process, such as the one with multiple travel tracks and/or multiple particle species.