Continuum limit of $p$-biharmonic equations on graphs

Kehan Shi,Martin Burger
2024-05-01
Abstract:This paper studies the $p$-biharmonic equation on graphs, which arises in point cloud processing and can be interpreted as a natural extension of the graph $p$-Laplacian from the perspective of hypergraph. The asymptotic behavior of the solution is investigated when the random geometric graph is considered and the number of data points goes to infinity. We show that the continuum limit is an appropriately weighted $p$-biharmonic equation with homogeneous Neumann boundary conditions. The result relies on the uniform $L^p$ estimates for solutions and gradients of nonlocal and graph Poisson equations. The $L^\infty$ estimates of solutions are also obtained as a byproduct.
Analysis of PDEs,Machine Learning,Numerical Analysis
What problem does this paper attempt to address?
The paper mainly discusses the continuous limit behavior of the p-biharmonic equation on graphs in random geometric graphs as the number of data points approaches infinity. The p-biharmonic equation has applications in point cloud processing and data analysis, and it can be seen as a generalization of the p-Laplacian operator on graphs. The paper first introduces the p-biharmonic equation on graphs and relates it to the p-Laplacian operator on hypergraphs. Several assumptions are made in the paper, including the distribution of data points in a finite region, the continuity of the function, and boundary conditions. The author uses the consistency results of non-local and graph Laplacian operators to prove that the solutions of the p-biharmonic equation on graphs converge to a continuous model when the number of data points tends to infinity, namely the classical p-biharmonic equation with homogeneous Neumann boundary conditions. The paper also investigates the Lp and L∞ prior estimates of the non-local and graph Poisson equations, which are crucial for understanding the behavior of non-local equations. In addition, through non-local transformations, the problem on graphs is transformed into non-local equations, and the asymptotic behavior of the solutions is obtained by using non-local Poincaré inequality and the continuity of the non-local Laplacian operator. Finally, the paper shows how to derive the weak form of the discrete graph p-biharmonic equation from its solution under the continuous limit, providing a theoretical foundation for data processing and image analysis. The whole research process involves concepts of probability measures, transport maps, and topological metric spaces, as well as prior estimates of non-local differential equations.