In this paper, we consider the initial-boundary value problem of a binary bifurcationmodel of the human arterial system. Firstly, we obtain a new pressure coupling conditionat the junction based on the mass and energy conservation law. Then, we prove that thelinearized system is interior well-posed and L~2well-posed by using the semigroup theory ofbounded linear operators. Further, by a complete spectral analysis for the system operator,we prove the completeness and Riesz basis property of the (generalized) eigenvectors of thesystem operator. Finally, we deduce some results on the boundary exact controllability andthe boundary exact observability for the system. |