Lowest-order Nonstandard Finite Element Methods for Time-Fractional Biharmonic Problem
Shantiram Mahata, Neela Nataraj, Jean-Pierre Raymond
TL;DR
This work addresses a time-fractional biharmonic problem with clamped boundary conditions in a 2D domain, employing lowest-order nonstandard FEMs (Morley, dG, $C^0$IP) for spatial discretization and a graded-time L1 scheme for temporal discretization. A novel Ritz projection $\mathcal{R}_h$ enables a unified energy-based error analysis that handles both smooth and nonsmooth initial data, yielding optimal semidiscrete error bounds in $L^2$ and energy norms with explicit time-singularity factors. The fully discrete analysis is established for smooth data, with convergence rates combining spatial $O(h^{1+\gamma})$ (up to $\gamma_0$) and temporal $O(N^{-{r\alpha}})$-type terms on graded meshes. Numerical experiments corroborate the theoretical rates across Morley, dG, and $C^0$IP schemes for both nonsmooth and smooth initial data, highlighting the method’s robustness and practical relevance for time-fractional fourth-order problems. The results advance finite-element analysis for fractional-in-time fourth-order problems with clamped BCs and open avenues for future work on temporal discretization refinements.
Abstract
In this work, we consider an initial-boundary value problem for a time-fractional biharmonic equation in a bounded polygonal domain with a Lipschitz continuous boundary in $\mathbb{R}^2$ with clamped boundary conditions. After establishing the well-posedness, we focus on some regularity results of the solution with respect to the regularity of the problem data. The spatially semidiscrete scheme covers several popular lowest-order piecewise-quadratic finite element schemes, namely, Morley, discontinuous Galerkin, and $C^0$ interior penalty methods, and includes both smooth and nonsmooth initial data. Optimal order error bounds with respect to the regularity assumptions on the data are proved for both homogeneous and nonhomogeneous problems. The numerical experiments validate the theoretical convergence rate results.
