On Closed and Exact Grad-grad- and div-Div-Complexes, Corresponding Compact Embeddings for Tensor Rotations, and a Related Decomposition Result for Biharmonic Problems in 3D

It is shown that the first biharmonic boundary value problem on a topologically trivial domain in 3D is equivalent to three (consecutively to solve) second-order problems. This decomposition result is based on a Helmholtz-like decomposition of an involved non-standard Sobolev space of tensor fields and a proper characterization of the operator div-Div acting on this space. Similar results for biharmonic problems in 2D and their impact on the construction and analysis of finite element methods have been recently published by the second author. The discussion of the kernel of div-Div leads to (de Rham-like) closed and exact Hilbert complexes, the div-Div-complex and its adjoint the Grad-grad-complex, involving spaces of trace-free and symmetric tensor fields. For these tensor fields we show Helmholtz type decompositions and, most importantly, new compact embedding results. Almost all our results hold and are formulated for general bounded strong Lipschitz domains of arbitrary topology. There is no reasonable doubt that our results extend to strong Lipschitz domains in arbitrary dimensions.

[1]  N. Weck,et al.  Time-Harmonic Maxwell Equations in the Exterior of Perfectly Conducting, Irregular Obstacles , 2001 .

[2]  Claes Johnson,et al.  On the convergence of a mixed finite-element method for plate bending problems , 1973 .

[3]  P. Werner,et al.  A local compactness theorem for Maxwell's equations , 1980 .

[4]  Ralf Hiptmair,et al.  Universal extension for Sobolev spaces of differential forms and applications , 2012 .

[5]  Martin Costabel,et al.  On Bogovskiĭ and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains , 2008, 0808.2614.

[6]  Hantaek Bae,et al.  On the Navier-Stokes equations , 2009 .

[7]  Rolf Stenberg,et al.  A posteriori error estimates for the Morley plate bending element , 2007, Numerische Mathematik.

[8]  Sebastian Bauer,et al.  The Maxwell Compactness Property in Bounded Weak Lipschitz Domains with Mixed Boundary Conditions , 2015, SIAM J. Math. Anal..

[9]  W. Zulehner,et al.  A DECOMPOSITION RESULT FOR BIHARMONIC PROBLEMS AND THE HELLAN-HERRMANN-JOHNSON METHOD∗ , 2016 .

[10]  Rainer Picard,et al.  On the boundary value problems of electro- and magnetostatics , 1982, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[11]  Giovanni P. Galdi,et al.  An Introduction to the Mathematical Theory of the Navier-Stokes Equations: Steady-State Problems , 2011 .

[12]  D. Pauly.  On Maxwell's and Poincare's Constants , 2013, 1311.2186.

[13]  D. Pauly.  On the Maxwell constants in 3D , 2014, 1406.1723.

[14]  M. E. Bogovskii.  Solution of the first boundary value problem for the equation of continuity of an incompressible medium , 1979 .

[15]  R. Picard.  An elementary proof for a compact imbedding result in generalized electromagnetic theory , 1984 .

[16]  Frank Jochmann,et al.  A compactness result for vector fields with divergence and curl in Lq(ω) involving mixed boundary conditions , 1997 .

[17]  D. Arnold,et al.  Finite element exterior calculus, homological techniques, and applications , 2006, Acta Numerica.

[18]  N. Weck,et al.  Maxwell's boundary value problem on Riemannian manifolds with nonsmooth boundaries , 1974 .

[19]  Vincent Quenneville-Belair,et al.  A new approach to finite element simulations of general relativity , 2015 .

[20]  Xuehai Huang,et al.  Convergence of an Adaptive Mixed Finite Element Method for Kirchhoff Plate Bending Problems , 2011, SIAM J. Numer. Anal..

[21]  K. Witsch,et al.  A remark on a compactness result in electromagnetic theory , 1993 .

[22]  D. Pauly.  On Constants in Maxwell Inequalities for Bounded and Convex Domains , 2015 .

[23]  C. Simader,et al.  Direct methods in the theory of elliptic equations , 2012 .

[24]  M. E. Bogovskii.  Solution of Some Vector Analysis Problems connected with Operators div and grad , 1980 .

[25]  J. Lions,et al.  Non-homogeneous boundary value problems and applications , 1972 .

[26]  Leonard R. Herrmann,et al.  Finite-Element Bending Analysis for Plates , 1967 .

[27]  R. Picard.  Zur Theorie der harmonischen Differentialformen , 1979 .