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

Authors:
Giles Auchmuty and James C. Alexander

Journal:
Quart. Appl. Math. **63** (2005), 479-508

MSC (2000):
Primary 35F15, 35J50, 35N10, 35Q60, 78A30

Published electronically:
August 18, 2005

MathSciNet review:
2169030

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Criteria for the existence and uniqueness of weak solutions of *div-curl* boundary-value problems on bounded regions in space with -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 () 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 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 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 -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. Abraham, J. E. Marsden, and T. Ratiu,*Manifolds, tensor analysis, and applications*, 2nd ed., Applied Mathematical Sciences, vol. 75, Springer-Verlag, New York, 1988. MR**960687****[2]**Charles J. Amick,*Some remarks on Rellich’s theorem and the Poincaré inequality*, J. London Math. Soc. (2)**18**(1978), no. 1, 81–93. MR**502660**, 10.1112/jlms/s2-18.1.81**[3]**Giles Auchmuty,*Orthogonal decompositions and bases for three-dimensional vector fields*, Numer. Funct. Anal. Optim.**15**(1994), no. 5-6, 455–488. MR**1281557**, 10.1080/01630569408816576**[4]**Giles Auchmuty,*Reconstruction of the velocity from the vorticity in three-dimensional fluid flows*, R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci.**454**(1998), no. 1970, 607–630. MR**1638305**, 10.1098/rspa.1998.0176**[5]**Giles Auchmuty,*The main inequality of 3D vector analysis*, Math. Models Methods Appl. Sci.**14**(2004), no. 1, 79–103. MR**2037781**, 10.1142/S0218202504003210**[6]**Giles Auchmuty and James C. Alexander,*𝐿² well-posedness of planar div-curl systems*, Arch. Ration. Mech. Anal.**160**(2001), no. 2, 91–134. MR**1864837**, 10.1007/s002050100156**[7]**Philippe Blanchard and Erwin Brüning,*Variational methods in mathematical physics*, Texts and Monographs in Physics, Springer-Verlag, Berlin, 1992. A unified approach; Translated from the German by Gillian M. Hayes. MR**1230382****[8]**Jürgen Bolik and Wolf von Wahl,*Estimating ∇𝑢 in terms of 𝑑𝑖𝑣𝑢, 𝑐𝑢𝑟𝑙𝑢, either (𝜈,𝑢) or 𝜈×𝑢 and the topology*, Math. Methods Appl. Sci.**20**(1997), no. 9, 737–744. MR**1446207**, 10.1002/(SICI)1099-1476(199706)20:9<737::AID-MMA863>3.3.CO;2-9**[9]**Robert Dautray and Jacques-Louis Lions,*Mathematical analysis and numerical methods for science and technology. Vol. 2*, Springer-Verlag, Berlin, 1988. Functional and variational methods; With the collaboration of Michel Artola, Marc Authier, Philippe Bénilan, Michel Cessenat, Jean Michel Combes, Hélène Lanchon, Bertrand Mercier, Claude Wild and Claude Zuily; Translated from the French by Ian N. Sneddon. MR**969367**

Robert Dautray and Jacques-Louis Lions,*Mathematical analysis and numerical methods for science and technology. Vol. 3*, Springer-Verlag, Berlin, 1990. Spectral theory and applications; With the collaboration of Michel Artola and Michel Cessenat; Translated from the French by John C. Amson. MR**1064315**

Robert Dautray and Jacques-Louis Lions,*Mathematical analysis and numerical methods for science and technology. Vol. 4*, Springer-Verlag, Berlin, 1990. Integral equations and numerical methods; With the collaboration of Michel Artola, Philippe Bénilan, Michel Bernadou, Michel Cessenat, Jean-Claude Nédélec, Jacques Planchard and Bruno Scheurer; Translated from the French by John C. Amson. MR**1081946**

Robert Dautray and Jacques-Louis Lions,*Mathematical analysis and numerical methods for science and technology. Vol. 5*, Springer-Verlag, Berlin, 1992. Evolution problems. I; With the collaboration of Michel Artola, Michel Cessenat and Hélène Lanchon; Translated from the French by Alan Craig. MR**1156075**

Robert Dautray and Jacques-Louis Lions,*Mathematical analysis and numerical methods for science and technology. Vol. 6*, Springer-Verlag, Berlin, 1993. Evolution problems. II; With the collaboration of Claude Bardos, Michel Cessenat, Alain Kavenoky, Patrick Lascaux, Bertrand Mercier, Olivier Pironneau, Bruno Scheurer and Rémi Sentis; Translated from the French by Alan Craig. MR**1295030****[10]**Lawrence C. Evans,*Partial differential equations*, Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 1998. MR**1625845****[11]**Lawrence C. Evans and Ronald F. Gariepy,*Measure theory and fine properties of functions*, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992. MR**1158660****[12]**C. Foiaş and R. Temam,*Remarques sur les équations de Navier-Stokes stationnaires et les phénomènes successifs de bifurcation*, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)**5**(1978), no. 1, 28–63 (French). MR**0481645****[13]**K. O. Friedrichs,*Differential forms on Riemannian manifolds*, Comm. Pure Appl. Math.**8**(1955), 551–590. MR**0087763****[14]**V. Girault and P.-A. Raviart,*An analysis of a mixed finite element method for the Navier-Stokes equations*, Numer. Math.**33**(1979), no. 3, 235–271. MR**553589**, 10.1007/BF01398643**[15]**P. R. Kotiuga and P. P. Silvester, ``Vector potential formulation for three-dimensional magnetostatics," J. Appl. Physics,**53**(1982), 8399-8401.**[16]**Rainer Picard,*On the boundary value problems of electro- and magnetostatics*, Proc. Roy. Soc. Edinburgh Sect. A**92**(1982), no. 1-2, 165–174. MR**667134**, 10.1017/S0308210500020023**[17]**Jukka Saranen,*On generalized harmonic fields in domains with anisotropic nonhomogeneous media*, J. Math. Anal. Appl.**88**(1982), no. 1, 104–115. MR**661405**, 10.1016/0022-247X(82)90179-2**[18]**Jukka Saranen,*On electric and magnetic problems for vector fields in anisotropic nonhomogeneous media*, J. Math. Anal. Appl.**91**(1983), no. 1, 254–275. MR**688544**, 10.1016/0022-247X(83)90104-X**[19]**Hermann Weyl,*The method of orthogonal projection in potential theory*, Duke Math. J.**7**(1940), 411–444. MR**0003331****[20]**Eberhard Zeidler,*Nonlinear functional analysis and its applications. III*, Springer-Verlag, New York, 1985. Variational methods and optimization; Translated from the German by Leo F. Boron. MR**768749**

Retrieve articles in *Quarterly of Applied Mathematics*
with MSC (2000):
35F15,
35J50,
35N10,
35Q60,
78A30

Retrieve articles in all journals with MSC (2000): 35F15, 35J50, 35N10, 35Q60, 78A30

Additional Information

**Giles Auchmuty**

Affiliation:
Department of Mathematics, University of Houston, Houston, Texas 77204-3008

Email:
auchmuty@uh.edu

**James C. Alexander**

Affiliation:
Department of Mathematics, Case Western Reserve University, 10900 Euclid Avenue, Cleveland, Ohio 44106-7058

Email:
james.alexander@case.edu

DOI:
http://dx.doi.org/10.1090/S0033-569X-05-00972-5

Received by editor(s):
October 13, 2004

Published electronically:
August 18, 2005

Article copyright:
© Copyright 2005
Brown University