Bi-Laplacians on graphs and networks

We study the fourth order differential operator acting on a connected network G along with the square of the discrete Laplacian acting on a connected discrete graph. For both operators, we discuss well-posedness of the associated linear parabolic problems on L^p(G) or ell^p(V), respectively, for 1 ≤ p ≤ ∞. In view of the well-known lack of parabolic maximum principle for all elliptic differential operators of order 2N for N > 1, our most surprising finding is that after some transient time, the parabolic equations driven by−A may display Markovian features, depending on the imposed transmission conditions in the vertices. Analogous results seem to be unknown in the case of general domains and even bounded intervals. Our analysis is based on a detailed study of bi-harmonic functions complemented by simple combinatorial arguments. We elaborate on analogous issues for the discrete bi-Laplacian; a characterization of complete graphs in terms of the Markovian property of the semigroup generated by it is also presented