Nonlinear evolution equation associated with hypergraph Laplacian

Abstract

Let be a finite set, be a set of hyperedges, and be an edge weight. On the (wighted) hypergraph , we can define a multivalued nonlinear operator ( ) as the subdifferential of a convex function on , which is called “hypergraph ‐Laplacian.” In this article, we first introduce an inequality for this operator , which resembles the Poincaré–Wirtinger inequality in PDEs. Next, we consider an ordinary differential equation on governed by , which is referred as “heat” equation on the graph and used to study the geometric structure of the hypergraph in recent researches. With the aid of the Poincaré–Wirtinger type inequality, we can discuss the existence and the large time behavior of solutions to the ODE by procedures similar to those for the standard heat equation in PDEs with the zero Neumann boundary condition.