Abstract:A weak formulation for a class of parabolic free boundary problems (FBP) is proposed that does not involve the notion of a free boundary but reduces to a FBP when classical solutions exist. It is aimed at hydrodynamic limits (HDL) of particle systems with selection in circumstances where the macroscopic model does not possess (or is hard to prove to possess) a regular free boundary in the classical sense. The formulation involves the macroscopic density of particles and a measure that accounts for selection. It consists of a second order parabolic equation satisfied by the density and driven by the measure, coupled with a complementarity condition satisfied by the density-measure pair. The approach is applied to an injection-branching-selection particle system of diffusion on $\R$ under arbitrarily varying injection and removal rates, for which the corresponding FBP is not in general known to be classically solvable. The HDL is characterized as the unique solution to the weak formulation. The proof of convergence is based on PDE uniqueness, which in turn relies on the barrier method.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to construct a weak - form free boundary problem (FBP) without involving the free boundary in the classical sense in a particle system with a selection mechanism, and apply it to the study of hydrodynamic limits (HDL) of such systems. Specifically, the paper focuses on how to describe the hydrodynamic limits of these systems by introducing the weak - form FBP when the macroscopic model is difficult to prove or does not have a regular free boundary in the particle system.
### Background and Motivation
In a particle system with a spatial selection mechanism, particles move, branch, or are injected on the real axis, and the selection mechanism keeps the number of particles constant, that is, whenever a new particle appears, the left - most particle is removed. This system was initially proposed to simulate population evolution in natural selection, where the position of a particle represents the degree of an individual's adaptation to the environment. With the deepening of research, such models have also been used to study the topological interactions between particles and particle systems in contact with current reservoirs. Under the hydrodynamic limit, these models will lead to free boundary problems (FBP). Strictly establishing the relationship between HDL and FBP requires controlling the regularity of the free boundary (for example, C1 or sometimes C - class).
### Main Contributions of the Paper
1. **Weak - form FBP**: The paper proposes a weak - form FBP that does not involve the concept of free boundary. When there is a classical solution, this weak - form can be simplified to the classical FBP. This method is especially suitable for scenarios where the macroscopic model is difficult to prove or does not have a regular free boundary.
2. **Application to Particle Systems**: The paper applies this weak - form to a diffusive particle system with injection, branching, and selection mechanisms, which operates on the real axis, and the injection and removal rates can change arbitrarily. For such systems, the corresponding FBP is usually not classically solvable. Through the weak - form FBP, the paper successfully characterizes the hydrodynamic limit of the system and proves that this limit is unique.
3. **Proof of PDE Uniqueness**: The paper proves the existence and uniqueness of the solution of the weak - form FBP by the method of PDE uniqueness. This proof is based on the barrier method, which is very effective in dealing with free boundary problems.
### Specific Problem Description
The specific problems considered in the paper are:
- **Model Description**: Particles perform Brownian motion on the real axis, branch at a rate of κ, and are injected and removed according to a given point process. The initial number of particles is N, and the positions of injection and removal are encoded by random measures αN and βN respectively.
- **Weak - form PDE**: The paper proposes a weak - form PDE that does not involve free boundary, which is driven by density u and measure β and satisfies the following conditions:
- Partial differential equation: \(\partial_t u-\frac{1}{2}\partial_x^2 u - \kappa u=\alpha-\beta\)
- Supplementary condition: \(\beta(U > 0) = 0\), where \(U(x, t)=\int_{-\infty}^x u(y, t)\,dy\)
- Measure condition: \(\beta(\mathbb{R}\times[0, t]) = J_t\)
- Initial condition: \(u(\cdot, 0)=\xi_0\)
### Main Results
- **Existence and Uniqueness of Solutions**: Under certain assumptions, the paper proves that the above weak - form PDE has a unique solution (u, β).
- **Convergence**: The paper further proves that when N tends to infinity, the normalized particle configuration measure \(\bar{\xi}_N\) and the removal measure \(\bar{\beta}_N\) converge in probability to the solution (u, β).
Through these contributions, the paper provides a new method to deal with the hydrodynamic limit problem of particle systems with selection mechanisms, especially when the free boundary is not regular.