²-well-posedness of 3d div-curl boundary value problems

Criteria for the existence and uniqueness of weak solutions of div-curl boundary-value problems on bounded regions in space with C 2 -boundaries are developed. The boundary conditions are either given normal components of the field or else given tangential components of the field. Under natural integrability assumptions on the data, finite-energy (L 2 ) solutions exist if and only if certain compatibility conditions hold on the data. When compatibility holds, the dimension of the solution space of the boundary-value problem depends on the differential topology of the region. The problem is well-posed with a unique solution in L 2 (Ω; Ρ 3 ) provided, in addition, certain line or surface integrals of the field are prescribed. Such extra integrals are described. These results depend on certain weighted orthogonal decompositions of L 2 vector fields which generalize the Hodge-Weyl decomposition. They involve special scalar and vector potentials. The choices described here enable a decoupling of the equations and a weak interpretation of the boundary conditions. The existence of solutions for the equations for the potentials is obtained from variational principles. In each case, necessary conditions for solvability are described and then these conditions are shown to also be sufficient. Finally L 2 -estimates of the solutions in terms of the data are obtained. The equations and boundary conditions treated here arise in the analysis of Maxwell's equations and in fluid mechanical problems.

[1]  R. Temam,et al.  Remarques sur les équations de Navier-Stokes stationnaires et les phénomènes successifs de bifurcation , 1978 .

[2]  C. DeWitt-Morette,et al.  Mathematical Analysis and Numerical Methods for Science and Technology , 1990 .

[3]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[4]  C. Amick.  Some Remarks on Rellich's Theorem and the Poincaré Inequality , 1978 .

[5]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[6]  Jukka Saranen,et al.  On electric and magnetic problems for vector fields in anisotropic nonhomogeneous media , 1983 .

[7]  W. D. Evans,et al.  PARTIAL DIFFERENTIAL EQUATIONS , 1941 .

[8]  L. Evans.  Measure theory and fine properties of functions , 1992 .

[9]  W. Wahl,et al.  Estimating ∇u in terms of divu, curlu, either (ν,u) or ν×u and the topology , 1997 .

[10]  P. R. Kotiuga,et al.  Vector potential formulation for three‐dimensional magnetostatics , 1982 .

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

[12]  Philippe Blanchard,et al.  Variational Methods in Mathematical Physics , 1992 .

[13]  Giles Auchmuty.  THE MAIN INEQUALITY OF 3D VECTOR ANALYSIS , 2004 .

[14]  Vivette Girault,et al.  An analysis of a mixed finite element method for the Navier-Stokes equations , 1979 .

[15]  E. Zeidler.  Nonlinear functional analysis and its applications , 1988 .

[16]  Hermann Weyl,et al.  The method of orthogonal projection in potential theory , 1940 .

[17]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[18]  Giles Auchmuty,et al.  L2 Well-Posedness of Planar Div-Curl Systems , 2001 .

[19]  E. Zeidler.  Nonlinear Functional Analysis and its Applications: III: Variational Methods and Optimization , 1984 .

[20]  Giles Auchmuty.  Orthogonal decompositions and bases for three-dimensional vector fields , 1994 .

[21]  Jukka Saranen,et al.  On generalized harmonic fields in domains with anisotropic nonhomogeneous media , 1982 .

[22]  Giles Auchmuty.  Reconstruction of the velocity from the vorticity in three-dimensional fluid flows , 1998, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[23]  K. O. Friedrichs,et al.  Differential forms on riemannian manifolds , 1955 .