L-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-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) 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(Ω; R) 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 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-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]  Hermann Weyl,et al.  The method of orthogonal projection in potential theory , 1940 .

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

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

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

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

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

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

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

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

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

[11]  Vivette Girault,et al.  Finite Element Methods for Navier-Stokes Equations - Theory and Algorithms , 1986, Springer Series in Computational Mathematics.

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

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

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

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

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

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

[18]  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.

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

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