pith. sign in

arxiv: 2605.02451 · v1 · submitted 2026-05-04 · 🧮 math.NA · cs.NA

A Finite Element Method for Elliptic Hemivariational Inequalities in Non-isotropic and Heterogeneous Semipermeable Media

Ban Li , Bangmin Wu This is my paper

Pith reviewed 2026-05-08 19:26 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords finite element methodhemivariational inequalitiessemipermeable medianon-isotropic diffusionheterogeneous mediaa priori error estimateselliptic problems
0
0 comments X

The pith

Linear finite elements achieve optimal a priori error estimates for elliptic hemivariational inequalities in non-isotropic and heterogeneous semipermeable media.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the study of elliptic hemivariational inequalities for semipermeable media to include non-isotropic and heterogeneous diffusion coefficients along with interior and boundary terms. It establishes existence and uniqueness of the solution to this general model and derives an optimal a priori error estimate for its approximation by linear finite elements, assuming the solution has appropriate regularity. This builds on prior work restricted to isotropic homogeneous cases. The authors include numerical experiments that demonstrate the predicted convergence rates hold in the extended setting. A reader would care because such inequalities arise in modeling flow through materials with direction-dependent permeability, and reliable numerical methods are needed for practical computations.

Core claim

Existence and uniqueness of solutions are established for the elliptic hemivariational inequality with non-isotropic and heterogeneous diffusion and semipermeability conditions. An optimal a priori error estimate is derived for the linear finite element method under suitable regularity assumptions on the solution, extending the isotropic homogeneous framework.

What carries the argument

The hemivariational inequality formulation incorporating the non-isotropic heterogeneous diffusion operator and semipermeability terms, discretized via linear finite elements.

If this is right

  • Existence and uniqueness hold for the generalized model with non-isotropic heterogeneous coefficients.
  • The linear finite element approximation satisfies an optimal error bound under the stated regularity.
  • Numerical experiments confirm the convergence rates in the non-isotropic heterogeneous case.
  • Both interior and boundary semipermeability terms are handled within the same framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The convergence behavior remains optimal when heterogeneity and anisotropy are introduced, as long as regularity holds.
  • The discretization approach could extend to related nonconvex variational problems in complex media.
  • Engineering models of directionally varying permeability could use this method for reliable simulations.

Load-bearing premise

The exact solution satisfies the regularity conditions needed for the optimal error estimate to hold.

What would settle it

A manufactured solution test case with limited regularity where the computed error fails to decrease at the predicted optimal rate.

Figures

Figures reproduced from arXiv: 2605.02451 by Bangmin Wu, Ban Li.

Figure 1
Figure 1. Figure 1: Triangulation and numerical solution of Example 5.1. view at source ↗
Figure 2
Figure 2. Figure 2: Multiplier relations for Example 5.1 view at source ↗
Figure 3
Figure 3. Figure 3: Multiplier relations for Example 5.2. As in Example 5.1, the experimental convergence orders in the H1 norm agree well with the theoretical estimate, as shown in view at source ↗
read the original abstract

This work investigates finite element approximations for a general class of elliptic hemivariational inequalities arising in semipermeable media. The proposed model incorporates non-isotropic and heterogeneous diffusion coefficients, alongside both interior and boundary semipermeability terms, extending the isotropic and homogeneous framework examined by Han (2019). The existence and uniqueness of solutions are rigorously established. An optimal a priori error estimate for the linear finite element approximation is derived under appropriate solution regularity assumptions. Numerical experiments are presented to corroborate the theoretical analysis and to confirm the optimal convergence rates for the non-isotropic and heterogeneous case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper develops a finite element method for a class of elliptic hemivariational inequalities modeling semipermeable media that incorporates non-isotropic and heterogeneous diffusion coefficients together with interior and boundary semipermeability terms. It proves existence and uniqueness of solutions to the generalized hemivariational inequality and derives an optimal a priori error estimate for the linear finite element approximation under suitable regularity assumptions on the solution. The analysis extends the isotropic homogeneous setting of Han (2019) via standard Galerkin orthogonality and monotonicity arguments, and numerical experiments are included to verify the predicted convergence rates.

Significance. If the central claims hold, the work supplies a rigorous extension of hemivariational inequality theory to heterogeneous media, which is directly relevant to applications such as flow in porous media. The optimal error bound under explicit regularity assumptions and the accompanying numerical confirmation provide a solid theoretical and practical foundation for the method.

minor comments (2)
  1. [Abstract] Abstract: the statement that an 'optimal a priori error estimate' is derived would be strengthened by explicitly naming the rate (e.g., O(h) in the H^1-norm) rather than leaving it implicit.
  2. [Introduction] The transition from the isotropic case to the non-isotropic heterogeneous coefficients is described as 'standard techniques'; a brief paragraph in the introduction or §2 highlighting the precise points where the proofs differ would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive recommendation for minor revision. The provided summary accurately reflects the scope and contributions of the work, including the extension to non-isotropic heterogeneous media and the derivation of optimal error estimates.

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard theory

full rationale

The paper establishes existence/uniqueness for the hemivariational inequality with heterogeneous coefficients via standard monotonicity arguments and derives the a priori error estimate for linear FEM using Galerkin orthogonality plus regularity assumptions. It extends Han (2019) by direct application of known techniques without reducing any central claim to a self-fit, self-definition, or load-bearing self-citation chain. No equations or steps in the abstract or described analysis collapse by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard existence theory for hemivariational inequalities and finite element approximation theory for variational problems; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The solution possesses sufficient regularity for the optimal error estimate to hold.
    Explicitly invoked in the abstract for deriving the a priori error estimate.
  • domain assumption The diffusion coefficients are bounded and satisfy standard ellipticity conditions.
    Required for the non-isotropic heterogeneous model to be well-posed.

pith-pipeline@v0.9.0 · 5394 in / 1232 out tokens · 22509 ms · 2026-05-08T19:26:29.171351+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Atkinson and W

    K. Atkinson and W. Han. Theoretical numerical analysis: a functional analysis fra me- work. Springer, New York, 2005

    work page 2005

  2. [2]

    S. C. Brenner and L. R. Scott. The mathematical theory of finite element methods . Springer, New York, 2008. 17

    work page 2008

  3. [3]

    S. Carl, V. K. Le, and D. Motreanu. Nonsmooth variational problems and their inequal- ities: comparison principles and applications . Springer, New York, 2007

    work page 2007

  4. [4]

    F. H. Clarke. Generalized gradients and applications. Transactions of the American Mathematical Society, 205:247–262, 1975

    work page 1975

  5. [5]

    F. H. Clarke. Optimization and nonsmooth analysis . SIAM, 1990

    work page 1990

  6. [6]

    Denkowski, S

    Z. Denkowski, S. Mig´ orski, and N. S. Papageorgiou. An introduction to nonlinear anal- ysis: theory . Springer, New York, 2013

    work page 2013

  7. [7]

    G. Duvaut. Les in´ equations en m´ echanique et en physique. Dunod, 1972

    work page 1972

  8. [8]

    C. Elliott. Variational and quasivariational inequalities: Application s to free–boundary problems. SIAM Review , 29(2):314, 1987

    work page 1987

  9. [9]

    Glowinski

    R. Glowinski. Numerical methods for nonlinear variational problems . Springer Science & Business Media, New York, 2013

    work page 2013

  10. [10]

    W. Han, Z. Huang, C. Wang, and W. Xu. Numerical analysis of ellipt ic hemivariational inequalities for semipermeable media. Journal of Computational Mathematics , 55:543– 560, 2019

    work page 2019

  11. [11]

    W. Han, S. Mig´ orski, and M. Sofonea. A class of variational-hem ivariational inequal- ities with applications to frictional contact problems. SIAM Journal on Mathematical Analysis, 46(6):3891–3912, 2014

    work page 2014

  12. [12]

    Han and M

    W. Han and M. Sofonea. Numerical analysis of hemivariational ine qualities in contact mechanics. Acta Numerica, 28:175–286, 2019

    work page 2019

  13. [13]

    W. Han, M. Sofonea, and M. Barboteu. Numerical analysis of ellip tic hemivariational inequalities. SIAM Journal on Numerical Analysis , 55(2):640–663, 2017

    work page 2017

  14. [14]

    Han and C

    W. Han and C. Wang. Numerical analysis of a parabolic hemivariatio nal inequality for semipermeable media. Journal of Computational and Applied Mathematics , 389:113326, 2021

    work page 2021

  15. [15]

    Haslinger, M

    J. Haslinger, M. Miettinen, and P. D. Panagiotopoulos. Finite element method for hemi- variational inequalities: theory, methods and applicatio ns. Springer Science & Business Media, New York, 2013

    work page 2013

  16. [16]

    Mig´ orski, A

    S. Mig´ orski, A. Ochal, and M. Sofonea. Nonlinear inclusions and hemivariational in- equalities: models and analysis of contact problems , volume 26. Springer Science & Business Media, 2012. 18

    work page 2012

  17. [17]

    Naniewicz and P

    Z. Naniewicz and P. D. Panagiotopoulos. Mathematical theory of hemivariational in- equalities and applications . CRC Press, New York, 2021

    work page 2021

  18. [18]

    P. D. Panagiotopoulos. Nonconvex energy functions. hemivar iational inequalities and substationarity principles. Acta Mechanica, 42:160–183, 1983

    work page 1983

  19. [19]

    P. D. Panagiotopoulos. Nonconvex problems of semipermeable m edia and related topics. ZAMM Z. Angew. Math. Mech. , 65(1):29–36, 1985

    work page 1985

  20. [20]

    P. D. Panagiotopoulos and V. Demyanov. Hemivariational inequalities: applications in mechanics and engineering . Springer-Verlag, New York, 1993

    work page 1993

  21. [21]

    Sofonea and S

    M. Sofonea and S. Migorski. Variational-hemivariational inequalities with applicat ions. Chapman and Hall/CRC, Boca Raton-London, 2018

    work page 2018

  22. [22]

    Tr´ emolieres, J.-L

    R. Tr´ emolieres, J.-L. Lions, and R. Glowinski. Numerical analysis of variational in- equalities. North-Holland, Amsterdam, 1981

    work page 1981

  23. [23]

    Wang and H

    F. Wang and H. Qi. A discontinuous Galerkin method for an elliptic he mivariational inequality for semipermeable media. Applied Mathematics Letters , 109:106572, 2020. 19

    work page 2020