pith. sign in

arxiv: 2606.09502 · v1 · pith:XJF6MXDYnew · submitted 2026-06-08 · 🧮 math.NA · cs.NA

Second-order bulk-surface splitting for the wave equation with kinetic boundary conditions

R. Altmann , R. Morandin This is my paper

Pith reviewed 2026-06-27 15:27 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords bulk-surface splittingwave equationkinetic boundary conditionsenergy stabilitysecond-order convergencenumerical schemeCFL conditionsemi-linear wave equation
0
0 comments X

The pith

A four-step splitting scheme decouples bulk and surface dynamics for the wave equation while preserving energy stability and second-order accuracy.

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

This paper presents a numerical scheme for the semi-linear wave equation subject to kinetic boundary conditions. It treats the problem as a coupled bulk-surface system and assigns distinct difference formulas to states based on their location within the equations. The outcome is a four-step method that separates the interior and boundary computations. A sympathetic reader would care because such decoupling can simplify implementation and computation without sacrificing stability or accuracy, provided a mild time-step restriction holds.

Core claim

The paper claims that by interpreting the wave equation with kinetic boundary conditions as a coupled system and applying different difference formulae depending on the exact position of discrete states, one obtains a four-step scheme that decouples bulk and surface dynamics, remains energy stable, and converges at second order under a weak CFL condition.

What carries the argument

The four-step bulk-surface splitting scheme, constructed by assigning position-dependent difference formulae within the coupled system.

If this is right

  • The scheme maintains discrete energy stability.
  • Second-order convergence holds in appropriate norms.
  • Bulk and surface dynamics are computed independently at each step.
  • Only a weak CFL restriction on the time step is required.

Where Pith is reading between the lines

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

  • The separation of bulk and surface updates may reduce overall computational effort by allowing independent solvers.
  • Numerical experiments in the paper already indicate that the predicted rates are observed in practice.
  • The same position-dependent differencing idea might apply to related evolution equations with boundary coupling.

Load-bearing premise

The wave equation can be interpreted as a coupled system that permits different difference formulae for discrete states depending on their exact position in the system equations.

What would settle it

A numerical test on a simple domain showing that the global error fails to decrease quadratically in the time step when the step size satisfies the stated weak CFL condition.

Figures

Figures reproduced from arXiv: 2606.09502 by R. Altmann, R. Morandin.

Figure 5.1
Figure 5.1. Figure 5.1: Errors with respect to the exact solution of the model prob￾lem (2.1) for different values of h and τ . The curves are compared with a dashed line representing second-order convergence. condition studied in [HK21, Sect. 8.3]. Differently from their case, however, we enforce the same exact solution (5.3) as in Section 5.2, leading to the inhomogeneities fΩ(t, x) = −4 cos(2πt) [PITH_FULL_IMAGE:figures/ful… view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: Errors with respect to the exact solution of the wave equa￾tion with strongly damped dynamic boundary conditions. The curves are compared with a dashed line representing second-order convergence. References [AKZ22] R. Altmann, B. Kov´acs, and C. Zimmer. Bulk–surface Lie splitting for parabolic problems with dynamic boundary conditions. IMA J. Numer. Anal., 43(2):950–975, 2022. [Alt23] R. Altmann. Splitti… view at source ↗
read the original abstract

This paper is devoted to the numerical analysis of a second-order bulk--surface splitting scheme for the semi-linear wave equation with kinetic boundary conditions. The construction is based on the interpretation of the equations as coupled system and the implementation of different difference formulae for the discrete states depending on their exact position in the system equations. This results in a 4-step scheme which decouples bulk and surface dynamics. We prove energy stability and second-order convergence under a weak CFL condition and validate these results also numerically.

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 / 3 minor

Summary. The manuscript develops a second-order bulk-surface splitting scheme for the semi-linear wave equation with kinetic boundary conditions. By interpreting the PDE system as coupled and applying position-dependent finite-difference formulae, the authors derive a 4-step explicit scheme that fully decouples the bulk and surface subproblems. Energy stability is established, second-order convergence in a suitable norm is proved under a weak CFL restriction, and the theoretical claims are supported by numerical experiments.

Significance. If the stability and convergence analysis hold, the scheme supplies a practical, fully decoupled second-order method for wave problems with kinetic boundary conditions. The decoupling reduces computational cost while preserving accuracy, which is a useful advance for simulations involving surface-bulk interactions.

minor comments (3)
  1. [§2.2] §2.2, the statement of the semi-linear term: the precise growth or Lipschitz assumption on the nonlinearity is used in the convergence proof but is stated only implicitly; an explicit hypothesis would improve readability.
  2. [Numerical section] Table 1 and Figure 3: the reported L² errors for the surface variable are given only at final time; adding a column or subplot for the observed order at intermediate times would strengthen the numerical validation of the second-order claim.
  3. [Theorem 4.1] The CFL condition is described as 'weak' in the abstract and theorem statements; a short remark comparing its constant to the standard CFL for the bulk wave equation alone would help readers assess practicality.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance, and recommendation of minor revision. No major comments are listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs a 4-step bulk-surface splitting scheme by reinterpreting the wave equation with kinetic boundary conditions as a coupled system and applying position-dependent finite differences. It then proves energy stability and second-order convergence under a weak CFL condition via standard energy estimates. No load-bearing step reduces by construction to a fitted parameter, self-citation, or renamed input; the stability and convergence claims rest on independent mathematical analysis of the discrete scheme rather than on any tautological redefinition of the method itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are identifiable.

pith-pipeline@v0.9.1-grok · 5601 in / 841 out tokens · 16411 ms · 2026-06-27T15:27:40.928195+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

139 extracted references · 50 canonical work pages

  1. [1]

    Alt, H. W. and Luckhaus, S. , TITLE =. Math. Z. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01176474 , URL =

    work page doi:10.1007/bf01176474 1983

  2. [2]

    Arrieta, J. M. and Quittner, P. and Rodr. Parabolic problems with nonlinear dynamical boundary conditions and singular initial data , JOURNAL =. 2001 , NUMBER =

    2001

  3. [3]

    and von Below, J

    Bandle, C. and von Below, J. and Reichel, W. , title =. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. , year =

  4. [4]

    Abstract wave equations with generalized

    B. Abstract wave equations with generalized. J. Differ. Equations , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jde.2003.12.005 , URL =

    work page doi:10.1016/j.jde.2003.12.005 2004

  5. [5]

    , title=

    Bear, J. , title=. 1988 , isbn=

    1988

  6. [6]

    Beale, J. T. and Rosencrans, S. I. , TITLE =. Bull. Amer. Math. Soc. , VOLUME =. 1974 , PAGES =. doi:10.1090/S0002-9904-1974-13714-6 , URL =

    work page doi:10.1090/s0002-9904-1974-13714-6 1974

  7. [7]

    Beale, J. T. , TITLE =. Indiana Univ. Math. J. , VOLUME =. 1976 , NUMBER =. doi:10.1512/iumj.1976.25.25071 , URL =

    work page doi:10.1512/iumj.1976.25.25071 1976

  8. [8]

    and De Coster, C

    von Bellow, J. and De Coster, C. , title=. J. Inequal. Appl. , fjournal=. 2000 , publisher=

    2000

  9. [9]

    , title =

    Braess, D. , title =. 2007 , isbn =

    2007

  10. [10]

    and Campbell, S.L

    Brenan, K.E. and Campbell, S.L. and Petzold, L. R. , title =. 1996 , address =

    1996

  11. [11]

    Brenner, S. C. and Scott, L. R. , title =. 2008 , doi =

    2008

  12. [12]

    , TITLE =

    Caginalp, G. , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF00254827 , URL =

    work page doi:10.1007/bf00254827 1986

  13. [13]

    and Mugnolo, D

    Cardanobile, S. and Mugnolo, D. , TITLE =. J. Differ. Equations , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jde.2009.04.013 , URL =

    work page doi:10.1016/j.jde.2009.04.013 2009

  14. [14]

    and Engel, K.-J

    Casarino, V. and Engel, K.-J. and Nagel, R. and Nickel, G. , title =. Integr. Equat. Oper. Th. , fjournal =. 2003 , volume =

    2003

  15. [15]

    and Engel, K.-J

    Casarino, V. and Engel, K.-J. and Nickel, G. and Piazzera, S. , title =. Discrete Contin. Dyn. Syst. Ser. A , fjournal =. 2005 , issn =. doi:10.3934/dcds.2005.12.761 , url =

    work page doi:10.3934/dcds.2005.12.761 2005

  16. [16]

    Chill, R. and Fa. Convergence to steady state of solutions of the. Math. Nachr. , FJOURNAL =. 2006 , NUMBER =. doi:10.1002/mana.200410431 , URL =

    work page doi:10.1002/mana.200410431 2006

  17. [17]

    Coclite, G. M. and Favini, A. and Goldstein, G. R. and Goldstein, J. A. and Romanelli, S. , TITLE =. Semigroup Forum , VOLUME =. 2008 , NUMBER =. doi:10.1007/s00233-008-9068-2 , URL =

    work page doi:10.1007/s00233-008-9068-2 2008

  18. [18]

    Coclite, G. M. and Goldstein, G. R. and Goldstein, J. A. , title =. J. Differ. Equations , fjournal =. 2008 , issn =. doi:https://doi.org/10.1016/j.jde.2007.12.006 , url =

    work page doi:10.1016/j.jde.2007.12.006 2008

  19. [19]

    Coclite, G. M. and Goldstein, G. R. and Goldstein, J. A. , TITLE =. J. Differ. Equations , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.jde.2008.10.004 , URL =

    work page doi:10.1016/j.jde.2008.10.004 2009

  20. [20]

    and Fukao, T

    Colli, P. and Fukao, T. , title =. Math. Meth. Appl. Sci. , fjournal =. 2015 , pages =. doi:10.1002/mma.3329 , url =

    work page doi:10.1002/mma.3329 2015

  21. [21]

    and Rodrigues, J.-F

    Colli, P. and Rodrigues, J.-F. , TITLE =. Asymptotic Anal. , VOLUME =. 1990 , NUMBER =

    1990

  22. [22]

    Cousin, A. T. and Frota, C. L. and Larkin, N. A. , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2004 , NUMBER =. doi:10.1016/j.jmaa.2004.01.007 , URL =

    work page doi:10.1016/j.jmaa.2004.01.007 2004

  23. [23]

    , TITLE =

    Crank, J. , TITLE =. 1975 , PAGES =

    1975

  24. [24]

    and Raviart, P.-A

    Crouzeix, M. and Raviart, P.-A. , title =. Rev. Franc. Automat. Inform. Rech Operat , number =

  25. [25]

    , TITLE =

    Descombes, S. , TITLE =. Math. Comp. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0025-5718-00-01277-1 , URL =

    work page doi:10.1090/s0025-5718-00-01277-1 2001

  26. [26]

    and Lions, J.-L

    Duvaut, G. and Lions, J.-L. , TITLE =. 1976 , PAGES =

    1976

  27. [27]

    and Ostermann, A

    Einkemmer, L. and Ostermann, A. , TITLE =. SIAM J. Sci. Comput. , FJOURNAL =. 2015 , NUMBER =. doi:10.1137/140994204 , URL =

    work page doi:10.1137/140994204 2015

  28. [28]

    and Ostermann, A

    Einkemmer, L. and Ostermann, A. , TITLE =. SIAM J. Sci. Comput. , FJOURNAL =. 2016 , NUMBER =

    2016

  29. [29]

    Elliott, C. M. and Ranner, T. , title =. IMA J. Numer. Anal. , fjournal =. 2013 , doi =

    2013

  30. [30]

    Elliott, C. M. and Stinner, B. , title =. J. Comput. Phys. , fjournal =. 2010 , issn =

    2010

  31. [31]

    , title =

    Emmrich, E. , title =. 2001 , language =

    2001

  32. [32]

    and Mehrmann, V

    Emmrich, E. and Mehrmann, V. , journal =. Operator Differential-Algebraic Equations Arising in Fluid Dynamics , volume =

  33. [33]

    and Fragnelli, G

    Engel, K.-J. and Fragnelli, G. , TITLE =. Adv. Differential Equ. , FJOURNAL =. 2005 , NUMBER =

    2005

  34. [34]

    , title =

    Escher, J. , title =. Commun. Part. Diff. Eq. , fjournal =. 1993 , publisher =. doi:10.1080/03605309308820976 , URL =

    work page doi:10.1080/03605309308820976 1993

  35. [35]

    Evans, L. C. , TITLE =

  36. [36]

    and Goldstein, G

    Favini, A. and Goldstein, G. R. and Goldstein, J. A. and Romanelli, S. , title =. J. Evol. Equ. , fjournal =. 2002 , volume =

    2002

  37. [37]

    Figueroa, C. A. and Vignon-Clementel, I. E. and Jansen, K. E. and Hughes, T. J. R. and Taylor, C. A. , title =. Comput. Method. Appl. M. , volume =. 2006 , issn =

    2006

  38. [38]

    Fischer, H. P. and Maass, P. and Dieterich, W. , title =. Europhys. Lett. , volume =

  39. [39]

    Gajewski, H. and Gr. 1974 , publisher=

    1974

  40. [40]

    Gal, C. G. , TITLE =. Adv. Differential Equ. , FJOURNAL =. 2007 , NUMBER =

    2007

  41. [41]

    Gal, C. G. , TITLE =. Dyn. Partial Differ. Equ. , FJOURNAL =. 2008 , NUMBER =. doi:10.4310/DPDE.2008.v5.n1.a2 , URL =

    work page doi:10.4310/dpde.2008.v5.n1.a2 2008

  42. [42]

    Gal, C. G. and Grasselli, M. , title =. Discrete Cont. Dyn. Syst. Ser. A , fjournal =. 2008 , volume =

    2008

  43. [43]

    Gal, C. G. and Goldstein, G. R. and Goldstein, J. A. , title =. J. Evol. Equ. , fjournal =. 2003 , volume =

    2003

  44. [44]

    and Astley, R

    Gamallo, P. and Astley, R. J. , TITLE =. Internat. J. Numer. Methods Engrg. , FJOURNAL =. 2006 , NUMBER =. doi:10.1002/nme.1459 , URL =

    work page doi:10.1002/nme.1459 2006

  45. [45]

    and Knopf, P

    Garcke, H. and Knopf, P. , title =. SIAM J. Math. Anal. , fjournal =. 2020 , doi =

    2020

  46. [46]

    and Trudinger, N

    Gilbarg, D. and Trudinger, N. S. , TITLE =. 2001 , PAGES =

    2001

  47. [47]

    Goldstein, G. R. , TITLE =. Adv. Differential Equ. , FJOURNAL =. 2006 , NUMBER =

    2006

  48. [48]

    Physica D , fjournal =

    A. Physica D , fjournal =. 2011 , author =

    2011

  49. [49]

    Graber, P. J. , TITLE =. Nonlinear Anal. , VOLUME =. 2010 , NUMBER =. doi:10.1016/j.na.2010.06.075 , URL =

    work page doi:10.1016/j.na.2010.06.075 2010

  50. [50]

    Graber, P. J. and Lasiecka, I. , TITLE =. Semigroup Forum , VOLUME =. 2014 , NUMBER =. doi:10.1007/s00233-013-9534-3 , URL =

    work page doi:10.1007/s00233-013-9534-3 2014

  51. [51]

    , TITLE =

    Grisvard, P. , TITLE =. 1985 , ISBN =

    1985

  52. [52]

    , title =

    G\"unther, M. , title =. Math. Comp. Model. Dyn. , fjournal =. 2000 , publisher =. doi:10.1076/1387-3954(200006)6:2;1-M;FT114 , URL =

    work page doi:10.1076/1387-3954(200006)6:2;1-m;ft114 2000

  53. [53]

    and Wanner, G

    Hairer, E. and Wanner, G. , edition =. Solving Ordinary Differential Equations

  54. [54]

    , TITLE =

    Hintermann, T. , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 1989 , NUMBER =. doi:10.1017/S0308210500023945 , URL =

    work page doi:10.1017/s0308210500023945 1989

  55. [55]

    and Jerez-Hanckes, C

    Hiptmair, R. and Jerez-Hanckes, C. and Mao, S. , TITLE =. Math. Comp. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/mcom/2955 , URL =

    work page doi:10.1090/mcom/2955 2015

  56. [56]

    , title =

    Hipp, D. , title =. 2017 , type =

    2017

  57. [57]

    and Ostermann, A

    Hochbruck, M. and Ostermann, A. , title =. Appl. Numer. Math. , fjournal =. 2005 , issn =. doi:https://doi.org/10.1016/j.apnum.2004.08.005 , url =

    work page doi:10.1016/j.apnum.2004.08.005 2005

  58. [58]

    and Ostermann, A

    Hochbruck, M. and Ostermann, A. , title =. Acta Numer. , fjournal =. doi:10.1017/S0962492910000048 , year =

    work page doi:10.1017/s0962492910000048

  59. [59]

    Optimal Control of a Parabolic Equation with Dynamic Boundary Condition , journal =

    H. Optimal Control of a Parabolic Equation with Dynamic Boundary Condition , journal =. 2013 , volume =. doi:10.1007/s00245-012-9178-9 , url =

    work page doi:10.1007/s00245-012-9178-9 2013

  60. [60]

    and Verwer, J

    Hundsdorfer, W. and Verwer, J. , TITLE =. 2003 , PAGES =. doi:10.1007/978-3-662-09017-6 , URL =

    work page doi:10.1007/978-3-662-09017-6 2003

  61. [61]

    and Kirane, M

    Igbida, N. and Kirane, M. , TITLE =. Math. Ann. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s002080100308 , URL =

    work page doi:10.1007/s002080100308 2002

  62. [62]

    and Lubich, C

    Jahnke, T. and Lubich, C. , TITLE =. BIT , FJOURNAL =. 2000 , NUMBER =. doi:10.1023/A:1022396519656 , URL =

    work page doi:10.1023/a:1022396519656 2000

  63. [63]

    Nonlinear parabolic equations with the mixed nonlinear and nonstationary boundary conditions , JOURNAL =

    Ka. Nonlinear parabolic equations with the mixed nonlinear and nonstationary boundary conditions , JOURNAL =. 1980 , NUMBER =

    1980

  64. [64]

    and Colciago, C

    Kashiwabara, T. and Colciago, C. M. and Ded. Well-Posedness, Regularity, and Convergence Analysis of the Finite Element Approximation of a Generalized. SIAM J. Numer. Anal. , volume =. 2015 , url =

    2015

  65. [65]

    and Zuazua, E

    Komornik, V. and Zuazua, E. , TITLE =. J. Math. Pures Appl. , VOLUME =. 1990 , NUMBER =

    1990

  66. [66]

    Numerical analysis of parabolic problems with dynamic boundary conditions , journal =

    Kov. Numerical analysis of parabolic problems with dynamic boundary conditions , journal =. 2017 , doi =

    2017

  67. [67]

    and Mehrmann, V

    Kunkel, P. and Mehrmann, V. , title =

  68. [68]

    Lamour, R. and M. Differential-Algebraic Equations: A Projector Based Analysis , year =. doi:10.1007/978-3-642-27555-5 , isbn =

    work page doi:10.1007/978-3-642-27555-5

  69. [69]

    Langer, R. E. , title =. Tohoku Math. J. , fjournal =. 1932 , doi =

    1932

  70. [70]

    Chemical Reactor Theory , year =

  71. [71]

    , TITLE =

    Lasiecka, I. , TITLE =. 2002 , PAGES =. doi:10.1137/1.9780898717099 , URL =

    work page doi:10.1137/1.9780898717099 2002

  72. [72]

    and Triggiani, R

    Lasiecka, I. and Triggiani, R. , TITLE =. 2000 , PAGES =

    2000

  73. [73]

    , title =

    Liero, M. , title =. Nonl. Diff. Eqns. Appl. (NoDEA) , fjournal =. 2013 , volume =. doi:10.1007/s00030-012-0189-7 , url =

    work page doi:10.1007/s00030-012-0189-7 2013

  74. [74]

    , title =

    Lions, J.-L. , title =. 1971 , publisher =

    1971

  75. [75]

    and Magenes, E

    Lions, J.-L. and Magenes, E. , title =. 1972 , publisher =

    1972

  76. [76]

    Lipinski, M. K. , TITLE =. 2004 , type =

    2004

  77. [77]

    Martin, Jr., R. H. and Pierre, M. , TITLE =. Nonlinear equations in the applied sciences , PAGES =. 1992 , DOI =

    1992

  78. [78]

    Mattsson, S. E. and S. Index reduction in differential-algebraic equations using dummy derivatives , JOURNAL =. 1993 , NUMBER =. doi:10.1137/0914043 , URL =

    work page doi:10.1137/0914043 1993

  79. [79]

    McLachlan,R. I. and Quispel, G. R. W. , title =. Acta Numer. , volume =. 2002 , issn =. doi:10.1017/S0962492902000053 , URL =

    work page doi:10.1017/s0962492902000053 2002

  80. [80]

    , title =

    Mehrmann, V. , title =. 2013 , booktitle =

    2013

Showing first 80 references.