Bifurcation structure at the reproduction threshold

Characterize the exact bifurcation structure at \(\mathcal R_0=1\) for the reduced nonlinear stationary problem.

Background

The stationary-state result proves existence of at least one nontrivial state when the reduced reproduction number exceeds one under a parametrized compact-operator hypothesis. It does not establish uniqueness, stability, or bifurcation behavior. The precise nature of the transition at the critical value $\mathcal R_0=1$ is therefore explicitly identified as unresolved.