<p>The biharmonic operator plays a central role in a wide variety of physical models, such as elasticity theory and the streamfunction formulation of the Navier–Stokes equations. Its spectral theory has been extensively studied. In particular, the one-dimensional case (over an interval) serves as the basic model of a high-order Sturm–Liouville problem. The need for corresponding numerical simulations has led to numerous works. This review focuses on the discrete biharmonic calculus. The primary object of this calculus is a high-order compact discrete biharmonic operator (DBO). The DBO is constructed in terms of the discrete Hermitian derivative. The surprising strong connection between cubic spline functions (on an interval) and the DBO is recalled. In particular, the kernel of the inverse of the discrete operator is (up to scaling) equal to the grid evaluation of the kernel of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">$\Big [\Big (\frac{d}{dx}\Big )^4\Big ]^{-1}.$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">[</mo> </mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mfrac> <mi>d</mi> <mrow> <mi mathvariant="italic">dx</mi> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mn>4</mn> </msup> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">]</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> This fact entails the conclusion that the eigenvalues of the DBO converge (at an “optimal” <InlineEquation ID="IEq2"> <EquationSource Format="TEX">$O(h^4)$</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>h</mi> <mn>4</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> rate) to the continuous ones. Another consequence is the validity of a <i>comparison principle.</i> It is well known that there is no maximum principle for the fourth-order equation. However, a positivity result is recalled, both for the continuous and the discrete biharmonic equation, claiming that in both cases the kernels are order preserving.</p>

SPLINES, BIHARMONIC OPERATOR, AND APPROXIMATE EIGENVALUE

期刊论文
发表日期：

2025年9月1日

查看全文

M. Ben-Artzi

摘要

The biharmonic operator plays a central role in a wide variety of physical models, such as elasticity theory and the streamfunction formulation of the Navier–Stokes equations. Its spectral theory has been extensively studied. In particular, the one-dimensional case (over an interval) serves as the basic model of a high-order Sturm–Liouville problem. The need for corresponding numerical simulations has led to numerous works. This review focuses on the discrete biharmonic calculus. The primary object of this calculus is a high-order compact discrete biharmonic operator (DBO). The DBO is constructed in terms of the discrete Hermitian derivative. The surprising strong connection between cubic spline functions (on an interval) and the DBO is recalled. In particular, the kernel of the inverse of the discrete operator is (up to scaling) equal to the grid evaluation of the kernel of $\Big [\Big (\frac{d}{dx}\Big )^4\Big ]^{-1}.$ $[(\frac{d}{dx})^{4}]^{- 1} .$ This fact entails the conclusion that the eigenvalues of the DBO converge (at an “optimal” $O(h^4)$ $O (h^{4})$ rate) to the continuous ones. Another consequence is the validity of a comparison principle. It is well known that there is no maximum principle for the fourth-order equation. However, a positivity result is recalled, both for the continuous and the discrete biharmonic equation, claiming that in both cases the kernels are order preserving.