pith. sign in

arxiv: 1907.04555 · v1 · pith:CCU6XU3Vnew · submitted 2019-07-10 · 🧮 math.AP

Existence, Uniqueness and Regularity of Piezoelectric Partial Differential Equations

Benjamin Jurgelucks , Tom Lahmer , Veronika Schulze This is my paper

Pith reviewed 2026-05-24 23:52 UTC · model grok-4.3

classification 🧮 math.AP
keywords piezoelectric PDEwell-posednessGalerkin approximationRayleigh dampingexistence and uniquenessregularitycoupled systeminitial boundary value problem
0
0 comments X

The pith

The coupled piezoelectric PDE system with Rayleigh damping admits unique solutions of specified regularity.

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

The paper proves that the initial-boundary-value problem for the second-order coupled system of equations governing mechanical displacement and electric potential in piezoelectric materials has well-posed solutions when an additional Rayleigh damping term is included. The argument proceeds by Galerkin approximation of the weak form, followed by energy estimates that invoke the Gronwall inequality and passage to the weak limit in the infinite-dimensional space. This result is presented for a bounded spatial domain whose boundary is sufficiently smooth, with initial data prescribed for displacement and velocity. A sympathetic reader would care because the well-posedness supplies the mathematical foundation needed before any numerical simulation of piezoelectric appliances can be trusted.

Core claim

The well-posedness of the initial boundary value problem in a bounded domain with sufficiently smooth boundary is proved by Galerkin approximation in the discretized weak version, followed by an energy estimation using Gronwall inequality and using the weak limit to show the results in the infinite dimensional space. The piezoelectric behavior is described by the second-order coupled PDE system consisting of the equation of motion for mechanical displacement and the coupled electrostatic equation for the electric potential, together with the Rayleigh damping term.

What carries the argument

Galerkin approximation of the weak formulation, followed by Gronwall-based energy estimates and weak-limit passage.

If this is right

  • Unique solutions exist for given initial displacement and velocity.
  • The solutions satisfy the a-priori energy bounds obtained from the Gronwall estimate.
  • A result on the long-term behavior of the solutions follows from the same estimates.
  • The model supports stable passage from discrete approximations to the continuous problem.

Where Pith is reading between the lines

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

  • The regularity obtained permits the use of standard finite-element schemes without additional stabilization.
  • The same Galerkin-plus-Gronwall route may apply directly to other linear electro-mechanical coupling terms.
  • Long-term decay or boundedness statements could be checked numerically on simple domains to confirm the analytic prediction.
  • The smoothness requirement on the boundary can be tested by running the same proof on domains with corners of controlled angle.

Load-bearing premise

The stated second-order coupled PDE system with Rayleigh damping accurately models the piezoelectric behavior, and the spatial domain has a sufficiently smooth boundary.

What would settle it

A concrete initial datum in a smooth bounded domain for which the Galerkin sequence fails to converge weakly to a function satisfying both the mechanical and electrostatic equations would falsify the well-posedness claim.

Figures

Figures reproduced from arXiv: 1907.04555 by Benjamin Jurgelucks, Tom Lahmer, Veronika Schulze.

Figure 1
Figure 1. Figure 1: Domain and boundaries of a piezoceramic. [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Potential pulse for 2D transient simulation in FEniCS. [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Energy term ˜η(t) = ku˙ m(t)kL2(Ω)+kBum(t)kL2(Ω)+kφm(t)kH1 0 (Ω). 4 Conclusion Piezoelectric materials are widely diversified in their applications. Since mea￾surements on real specimens are very expensive, computer simulations are used instead. However, in order to confidently use these computer simulations, the underly￾ing damped partial differential equation must be analyzed. In this paper, we prove exi… view at source ↗
read the original abstract

Piezoelectric appliances have become hugely important in the past century and computer simulations play an essential part in the modern design process thereof. While much work has been invested into the practical simulation of piezoelectric ceramics there still remain open questions regarding the partial differential equations governing the piezoceramics. The piezoelectric behavior of many piezoceramics can be described by a second order coupled partial differential equation system. This consists of an equation of motion for the mechanical displacement in three dimensions and a coupled electrostatic equation for the electric potential. Furthermore, an additional Rayleigh damping approach makes sure that a more realistic model is considered. In this work we analyze existence, uniqueness and regularity of solutions to theses equations and give a result concerning the long-term behavior. The well-posedness of the initial boundary value problem in a bounded domain with sufficiently smooth boundary is proved by Galerkin approximation in the discretized weak version, followed by an energy estimation using Gronwall inequality and using the weak limit to show the results in the infinite dimensional space. Initial conditions are given for the mechanical displacement and the velocity.

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 proves existence, uniqueness and regularity of solutions, as well as long-term behavior, for the initial-boundary-value problem associated with a linear second-order coupled hyperbolic-elliptic system that models piezoelectric materials with an added Rayleigh damping term. The domain is bounded with sufficiently smooth boundary; initial data are prescribed for displacement and velocity. The argument proceeds by Galerkin approximation of the weak formulation, derivation of uniform a-priori energy bounds via Gronwall’s inequality, and passage to the limit in the weak topology.

Significance. If the estimates close as claimed, the result supplies a standard but useful well-posedness theory for a coupled system that appears in engineering models of piezoceramics. The approach follows the classical Galerkin–energy–weak-limit route for damped hyperbolic-elliptic problems and therefore strengthens the mathematical foundation for subsequent numerical analysis.

minor comments (3)
  1. [Abstract] Abstract: the phrase “theses equations” is a typographical error and should read “these equations.”
  2. The precise function spaces for the weak formulation (e.g., the precise Sobolev or Bochner spaces for the displacement and electric potential) are not stated explicitly in the abstract and should be recorded at the beginning of the existence section.
  3. The statement of the Rayleigh damping term and the precise assumptions on the material coefficients (positive-definiteness, smoothness, etc.) should be collected in a single preliminary section so that the energy estimates can be checked line-by-line.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and the recommendation of minor revision. No specific major comments appear in the report, so we have no points to address point-by-point. We remain available to incorporate any minor editorial adjustments the editor may request.

Circularity Check

0 steps flagged

Standard Galerkin existence proof; no circularity

full rationale

The paper proves well-posedness of a linear coupled hyperbolic-elliptic PDE system (with Rayleigh damping) on a bounded smooth domain via the textbook route: Galerkin approximation of the weak form, a priori energy bounds from Gronwall, and passage to the weak limit. No parameters are fitted, no result is defined in terms of itself, and no load-bearing step reduces to a self-citation or ansatz smuggled from prior work by the same authors. The derivation is self-contained against external functional-analysis benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard functional-analytic tools and the modeling assumption that the physical system is captured by the given damped PDE pair.

axioms (2)
  • domain assumption The spatial domain is bounded and has sufficiently smooth boundary
    Required for the initial-boundary-value problem and trace theorems in the Galerkin argument.
  • standard math Standard Sobolev-space embeddings and weak-convergence arguments apply to the coupled system
    Invoked when passing from the finite-dimensional Galerkin solutions to the infinite-dimensional limit.

pith-pipeline@v0.9.0 · 5718 in / 1207 out tokens · 22301 ms · 2026-05-24T23:52:34.585971+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

17 extracted references · 17 canonical work pages

  1. [1]

    Adams and J.J.F

    R.A. Adams and J.J.F. Fournier. Sobolev Spaces. Pure and Applied Math- ematics. Elsevier Science, 2003

    work page 2003

  2. [2]

    Akamatsu and G

    M. Akamatsu and G. Nakamura. Well-posedness of initial-boundary value problems for piezoelectric equations. Applicable Analysis, 81(1):129–141, 2002

    work page 2002

  3. [3]

    Z. Ding. A proof of the trace theorem of sobolev spaces on Lipschitz do- mains. Proceedings of the American Mathematical Society, 124(2):591–600, 1996

    work page 1996

  4. [4]

    L.C. Evans. Partial Differential Equations , volume 19 of Graduate studies in mathematics. American Mathematical Society, 1998. 24

    work page 1998

  5. [5]

    Feldmann, B

    N. Feldmann, B. Jurgelucks, L. Claes, V. Schulze, B. Henning, and A. Walther. An inverse approach to the characterisation of material pa- rameters of piezoelectric discs with triple-ring-electrodes. tm-Technisches Messen, 86(2):59–65, 2019

    work page 2019

  6. [6]

    Heywang, K

    W. Heywang, K. Lubitz, and W. Wersing. Piezoelectricity: Evolution and Future of a Technology. Springer Series in Materials Science. Springer Berlin Heidelberg, 2008

    work page 2008

  7. [7]

    Jurgelucks

    B. Jurgelucks. Increased sensitivity in parameter identification problems for piezoelectrics. PhD thesis, Paderborn University, 2019

    work page 2019

  8. [8]

    Kaltenbacher, T

    B. Kaltenbacher, T. Lahmer, M. Mohr, and M. Kaltenbacher. PDE based determination of piezoelectric material tensors. European Journal of Ap- plied Mathematics, 17(4):383–416, 2006

    work page 2006

  9. [9]

    Kaltenbacher

    M. Kaltenbacher. Numerical Simulation of Mechatronic Sensors and Ac- tuators: Finite Elements for Computational Multiphysics . Springer Berlin Heidelberg, 3rd edition, 2015

    work page 2015

  10. [10]

    T. Lahmer. Forward and inverse problems in piezoelectricity . PhD thesis, University of Erlangen-Nuremberg, 2008

    work page 2008

  11. [11]

    Larsson and V

    S. Larsson and V. Thom´ ee. Partial differential equations with numerical methods, volume 45. Springer Science & Business Media, 2008

    work page 2008

  12. [12]

    Leugering, A.A

    G. Leugering, A.A. Novotny, G.P. Menzala, and J. Soko lowski. Shape sen- sitivity analysis of a quasi-electrostatic piezoelectric system in multilayered media. Mathematical Methods in the Applied Sciences , 33(17):2118–2131, 2010

    work page 2010

  13. [13]

    V.N. Melnik. Existence and uniqueness theorems of the generalized solu- tion for a class of non-stationary problems of coupled electroelasticity. s. mathematics (iz. vuz), 35 (1991), 24-32, 1991

    work page 1991

  14. [14]

    Nanthakumar, T

    S.S. Nanthakumar, T. Lahmer, X. Zhuang, H.S. Park, and T. Rabczuk. Topology optimization of piezoelectric nanostructures. Journal of the Me- chanics and Physics of Solids , 94:316 – 335, 2016

    work page 2016

  15. [15]

    Schweizer

    B. Schweizer. Partielle Differentialgleichungen: Eine anwendungsorien- tierte Einf¨ uhrung. Springer-Verlag, 2013

    work page 2013

  16. [16]

    E.M. Stein. Singular integrals and differentiability properties of functions (PMS-30), volume 30. Princeton university press, 2016

    work page 2016

  17. [17]

    J. Wloka. Partial Differential Equations . Cambridge University Press, 1987

    work page 1987