We established three models to demonstrate our project in a mathematical way, including growth model, suicide model, and expansion model.
Our growth model proves the effectiveness of resource-complementation mutualism between B. subtilis and N. sp. The two microorganisms are competing for resources and nevertheless dependent on each other. We dived into the parameters' local stability to analyze their importance. We also tried to determine a reasonable range for the initial dosage in sandy soil.
As for the suicide model, we proved that our suicide system would initiate apoptosis successfully when the bacteria meet arabinose. We designed two kinds of limit simulations to cover all situations that bacteria may encounter. Moreover, we analyzed how the system works under different concentrations of arabinose.
As a supplement to the growth model, we visualized microbial expansion based on symbiotic mechanisms and combined previous models. The expansion process of two microorganisms could be easily studied by adjusting parameters and is extendible.
These models have adopted data from wet lab and predicted how our project is realizable and would work in the future.