Initiation of reaction-diffusion waves of blood coagulation

Formation of blood clot in response to the vessel damage is triggered by the complex network of biochemical reactions of the coagulation cascade. The process of clot growth can be modeled as a traveling wave solution of the bistable reaction-diffusion system. The critical value of the initial condition which leads to convergence of the solution to the traveling wave corresponds to the pulse solution of the corresponding stationary problem. In the current study we prove the existence of the pulse solution for the stationary problem in the model of the main reactions of the blood coagulation cascade using the Leray-Schauder method.