R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
E. B AROZZI
M. E MMER
E. H. A. G ONZÁLEZ
Lagrange multipliers and variational methods for equilibrium problems of fluids
Rendiconti del Seminario Matematico della Università di Padova, tome 85 (1991), p. 35-53
<http://www.numdam.org/item?id=RSMUP_1991__85__35_0>
© Rendiconti del Seminario Matematico della Università di Padova, 1991, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
for Equilibrium Problems of Fluids.
E. BAROZZI - M. EMMER - E.H.A.
GONZÁLEZ (*)
1. Introduction.
The
equilibrium configurations
of fluid masses have been studied inthe last years in order to solve several
problems
related to surface ten-sion
phenomena.
Thepoint
of view of the Calculus of Variationsorigi-
nates from the
energy-minimizing
character of the observedequilibri-
um
configurations. By using
a well knownargument
based on theprin- ciple
of virtualwork,
one is lead to a variational formulation of thephysical problems
considered.Here,
a certain functional Frepresent- ing
theglobal
energy of thesystem
under consideration has to be mini-mized, subject
to some naturalconstraints, tipically concerning
mass,angular momentum,
center of mass and so on.In
general,
the energy functional F consists of asurface integral
and a volume
integral,
the firstcorresponding,
e.g., to the forces act-ing
on the interfaces betweenliquid
and gas, while the second corre-sponds
tobody actions,
such asgravity
and kinetic forces:Boundary
conditions ofDirichlet,
Neumann or mixedtype
can be asso-(*) Indirizzo
degli
AA.:Dipartimento
diMatematica, University,
38050 Povo (Trento) - Ist. di Matematica eFisica,
via Vienna2,
07100 Sassari -Dip.
Metodie Modelli Matematici per le Scienze
Applicate,
via Belzoni 7, 39100 Padova.ciated with such a functional
(see [2], [3]).
Constraints likegl , ..., g~
being given
functions can also be considered. In this paper weaddress
precisely
this latter issue. Here E is a subset ofR’,
V is a fixedopen subset of Rn
(a container), x
=(y, z)
with y ERn-1
and z E R denotean
arbitrary point
inR’,
is the measure of theportion
of theboundary
of E contained inV, H
is agiven
function. The classical defi- nition of surface area is ratherinadequate
fortreating
all thetypes
ofproblems
we willdiscuss, mainly
because itapplies only
to smooth orLipschitz-continuous
surfaces. The difficultiesarising
from the pres-ence of a surface
integral
become even more evident whencompared
with the
relatively simple
treatment of thecorresponding
volume inte-gral.
This isgenerally
well-defined on measurable sets andenjoys,
inthe
simplest
case, nice variationalproperties. Using
thegeneral
classof surfaces of codimension 1 in Rn introduced
by
DeGiorgi
in thefifties
[7],
define the measure of theportion
of the surface aEcontained in the open set A
c Rn,
as theonly
Radon measure in Rn suchthat
for every open set A c Rn. For an extensive treatment of the
theory
ofPerimeter and functions of Bounded Variation
(BV)
see the volumes of Giusti[18]
and of Massari and Miranda[30].
Let first recall some of the
problems
that have been studiedthrough
this
approach.
A)
The sessiledrop
for which the total energy of anincompressible
fluid with constant
density
contained inside a fixed set V can be written(up
tomultiplicative constant)
asThe variational
problem
consists ofminimizing
the functional(1.4)
inthe
family
of all subsets of V which have a fixed volume V. Thisprob-
lem was studied
by
the first timeby Gonzalez [ 19]
in the case V ==
{(y, z) : z > 0~ (see
also Gonzalez[201,
Gonzalez and Tamanini[21];
asimilar
problem
was studiedby Giusti [17]).
It is well known that forv > -1 the sequences of admissible sets
Ej
such thatare
compact
in the(Rn)-topology. Moreover,
forv 1,
the func- tional Y is lower semicontinuous(l. s. c. )
in thistopology.
It isimportant
to note that in most of the
interesting
interfaceproblems
like this the sets are restricted to have aprescribed
volume. The maindifficulty
forproving
existence of a minimum is that theL’ (R’)-convergence
doesnot preserve, in
general,
the volumeconstraint,
i. e. measure ofE = |E| = V.
B)
Thependent drop.
Thisproblem
was studiedby Gonzalez,
Mas-sari and
Tamanini [22]. They
considered adrop
ofliquid hanging
fromthe fixed horizontal reference
plane
z = 0. In thisparticular
case, the container is V =~(y, z) : z 0~,
while the total energy isgiven by
g
being
apositive
constant. As in theprevious
case, a volume con-straint is
imposed, namely (E
= V. For the sessiledrop
it waspossible
to prove existence of the minimum for the energy functional. For the
pendent drop, however,
the situation is different.Clearly
in this caseinf Fg
= -00, so that we canonly
look for local solutions. E is a local minimun of the energy functional(1.5)
ifJEJ
=V,
and there exists T 0 and a E(0, 1)
such that E c(aT
z0} and,
for every F c{T
z0}
with(F(
= Vinequality
holds. Existenceof local minimum for
sufficiently
small g > 0 can beproved.
A similarproblem (following essentially
the sameapproach)
was consideredby Giusti[16].
C)
Therotating drop.
Albano and Gonzalez[1]
have studied the case of aliquid drop
which rotates around a vertical axis z with constant an-gular velocity 0,
in the absence ofgravity.
In this situation the energy functional becomesFor the class of admissible
sets,
in addition to the volume condition(E
=V,
a further condition isimposed
on the center of mass of E. Notethat no
symmetry assumption
for E is apriori requested.
Also in thiscase existence of a local minimum for the energy functional for small
D > 0 can be
proved.
Here the definition of local minimum is the follow-ing :
E is a local minimum of the energy functional(1.6)
if there existsa
sufficiently large R
such that E ccBR (i.e.
the closure E of E is acompact
subset ofBR) and,
for every admissible F c cBR satisfying
theabove
constraint, inequality
holds. HereBR =
= {x E Rn : |x| R}.
In this paper we
present
anapproach
to thistype
ofproblems
basedon the idea of
eliminating
the constraintsby introducing
aLagracnge parameter, A,
in the energy functional. The existence ofLagrange
mul-tipliers
is not at allobvious;
see theexample presented by
Barozzi and Gonzalez[3],
where this kind ofapproach
was introduced for the first time.Our method works in all the
problems
we have considered. Howev- er, instead ofapplying
the method to thegeneral
case, we shallpresent
it
by discussing
the mostsignificant problem.
This is doneprimarily
fora better
understanding
of allsteps
in theproof.
In any case, the methodcan be
applied
in moregeneral
situations with verysimple
modifica-tions.
For our purpose the most
interesting example
is the case of fluidmasses
rotating
in space. Therefore thisproblem
will be our model-problem.
We shall first prove existence of theLagrange multiplier (§ 2)
and existence of localminima (§ 3).
Theregularity
of the freeboundary
of a minimum value of the energy can
finally
beproved (§ 4).
2. Existence of
Lagrange multipliers.
Let E c Rn be a measurable set. Denote with
aE ( (A)
theperimeter
of E in
A,
where A is an open set inR",
andby
x =(y, z), y
Ez E
R,
anarbitrary point
inRn, standing
for theLebesgue
measureof E. Consider the
following
functionalwhich
represents
theglobal
energy of anincompressible
fluidrotating
around the z-axis vXth Q * 0
(the
constantangular velocity).
Here thefirst term
represents
the free surface energy, the second one the kinet- ic forces.We
study
the energy functional(2.1 ) - in
the class of admissible sets E under the constraintsthat
is,
among the sets E withprescribed
volume and center of mass.The energy functional
being
unbounded from below in such aclass,
inf E
admissible} = -oo,
we look for local minima forTo (see
the introduction for the definition of a local
minima).
Denoteby Br
thesphere
centered in0,
of radius r, whose measure isV, by BR
alarger sphere
also centered in0,
but with radius R = 4r. SetREMARK 1.1. For every E c
BR equality ~~ (E) _
holds.In order to introduce the
Lagrange multipliers,
we setWe first prove the
following
THEOREM 2.1. The functional
has a
(free)
minimumEx n
forevery k >
0 and Q > 0. Moreover =Br
for
every A > ~ 1,
where’
PROOF. It is easy to prove that the functional is bounded from be- low. In fact
for every E c Rn. The
only difficulty depends
on the secondterm 2A (E)
of the functional(2.6); ~,~ (E)
is continuous inL 1 (Rn)
but not even l.s.c.in the
L’ (R")-topology. However,
the existence result can beproved by simple
modifications of the method usedby
Barozzi for the Plateauproblem
in unbounded domains[2].
The second statement
easily
follows from theisoperimetric
proper-ty
of thesphere. ·
REMARK 2.2. The
following inequality
holds:Moreover
both co and CI
being
constantsindependent
of A. From(2.8), (2.9)
wecan conclude that
where c2 is a constant
depending
on Q but not on À. For Q00
in(2.10)
we can choose a universal constant.
It follows
finally
thatand therefore
Our aim is now to prove that there exists
A2
such thatand
We prove
(2.17) by
contradiction.Suppose
that2).
> 0. ThenEÀ,D
can be deformed into another
set,
in such a way thatLoosely speaking,
the idea is to deformEÀ,D, decreasing
thepenalty term 2À
withoutaltering
too muchTu.
The main
step
is to prove the existence of a constant(independent
of A and
S~)
and of afamily
ofsets, Gx n, satisfying
the constraints and such that’
where
To this aim prove first the
following
LEMMA 2.1
(of deformation).
For k > 0 and Q >0,
there exist two constants p,Vo, p
+00,Vo
>0,
and afamily
of sets cEÀ,D
suchthat VE c
NA,D:
where
PROOF. Let
Vo > 0,
p +00 suchthat, 0,
va> 0The existence of
Vo and p easily
follows from the minimumproperty
ofE À D
and from theisoperimetric property
of thesphere.
To prove the existence of such aVo,
note thatSo
Moreover,
aswe
obtain,
for VO >0,
Vh *0,
and
finally
The existence
of p easily
follows from theinequality
Let now be a minimum of the functional
with E c
EÀD.
,Property a)
is an immediate consequence of theproperty
of mini-mum of the set
NÀ,D8
To proveb),
we notethat,
itfollows
’
Using
theisoperimetric property
of thesphere,
we then obtainREMARK 2.3. It is
easily
seen that all sets posses a(general- ized)
mean curvature(Barozzi,
Gonzalez and Tamanini[6]),
boundedfrom above
by
the constant(n-1)Vo ~
*THEOREM 2.2. For
Do
there existsA2 ~ A2 (00)
such thatIndeed,
it suffices to takePROOF:
Suppose
thatConsider first the case v > 0. I-",AI 1
If
V - (Ex o(
= v(that
is ifEx n
is «toosmall » ),
defineFÀ,D
as theunion of
EAo
with a convenient translation ofNÀ,D
in such a waythat
(a
suitable value for ~, 0 ~ v, will be chosenlater).
If, instead,
V = v(that
is ifEA,o
is «toobig»),
define asthe difference between and a convenient translation of
Nx l,
insuch a way that we
get again
relation(2.33).
Let now,G( n
be the unionof
FÀ,D
with two smallspheres B1
andB2,
with~B1 ~ > 0, IB21 > 0, B1
nB2
=0,
with thefollowing properties:
(Note
that it ispossible
to takeB1
andB2 arbitrarily
far away from theorigin). Clearly £). (G:,a)
= 0and,
moreover,Choosing
in such a way that , wefinally
obtain
Now, (2.35)
isincompatible
with theproperty
of minimum of the set The case v = 0(i. e.
b >0)
is even easier to handle. ·3. Existence of local minima.
We
begin by proving
thefollowing
THEOREM 3.1. For A > A* = max
A21,
converges toBr
in theL (R")-topology,
when Q goes to 0+. Moreover convergence is uni- form withrespect
toÀ,
for A > J~ * .PROOF. The
proof
of the firstpart
followsimmediately using
thesame
technique
as in[1].
Infact,
ifGk
minimizes the functionalTQ, (E)
with the constraints
(2.2), then, if Ok
goes to 0+ + 00, wehave,
up to asubsequence, Gk - Br
inL 1 (Rn)
as k - +00.Suppose
now that theconvergence
is not uniform in A. Then there should be > 0 such
that,
dk EN,
it would bepossible
to find1
withThen it would be
impossible
to extract from the sequenceGk
=E ÀkDk
ofminima for
(E)
asubsequence
which converges toBr.
This contra- dicts the firstpart
of the theorem. Thiscompletes
theproof. ·
We have now to prove
that,
at least for 0sufficiently small,
the setis
actually
a local minimum for the functionalffa (i.e.
thatc c
BR).
To thisaim,
it will be useful thefollowing
technical result of RealAnalysis:
LEMMA 3.1. Let
f ~ 0
be a measurable function in the interval[A, B]
and such thatwhere « is a
constant,
a > 1.If,
moreover,then there exists
to
E(A, B)
such thatPROOF. Let L = B - A. From
(3.1), (3.2)
weget w fa(A).
Letsuch w, that is . It follows
B
that
such that
that is Then
Let now
I
such thatthat is
(3. 8)
Therefore,
(3.9)
and in
general
(3.10)
Now,
if(3.11)
it follows that
and
finally
From
(3.13)
we haveTaking 3w 1, (3.14) yields
Thus,
it suffices to takein order to obtain
Using
Lemma3.1,
we can prove the existence of local minima:THEOREM 3.2. There exists
Do
> 0 suchthat,
for A > À * = ~*(Do),
the set is a
rotating drop (i.e. EÀ,D cc BR
and =0)
.
’ ’
PROOF. We know from Theorem 2.2 that = 0. So the
only thing
to prove is that c cBR .
LetFrom Theorem 3.1 the convergence of v to 0 as 13 goes to
0+
is uniform withrespect
toA,
for A > ~*.For
brevity
in thefollowing
we write E instead ofEÀ,a.
Define,
forr t R,
i. e. f is
the « external tracesof Ex n
onaBt;
see forexample Giusti [ 18],
Massari and Miranda
[30].
’
and if we choose > then from Lemma 3.1 we obtain the
R
existence of
to
E(r, R)
such thathence E c
B4
c cBR .
that is
JE - B41
= 0 andSuppose
on thecontrary
the existence oftj
E[r, R)
such thatthat is
where From
(3.20)
and theisoperimetric inequali- ty
weget
--
’
and therefore
From
(3.22)
we obtainthat,
ifIE -
is small butstrictly positive,
weshould have
For the sake of
brevity
If e > 0 we could substitute E = with the set F =FÀ,a
obtainedby
a suitablehomothety
ofE n
Bt1
so thatFor the ratio
p. > 1
of thehomothety
the relationI
holds,
i.e. from whichChoosing
G = as in Theorem 2.2 we have = 0 andFrom
(3.23), (3.25)
and theequality
obtain therefore
By expanding
inTaylor’s
series the coefficient of i. e.we
easily
conclude from(3.27)
thatTo (E) - ~’~ (G)
> 0 for 6 small butstrictly positive
and for a suitable choice of a, 0 ~ s. Since e goes to 0 as 0 goes to 0+(uniformly
withrespect to A,
for A >~*),
it follows thatit must be E = 0 for small Q. This concludes the
proof.
4.
Regularity
results.In the
previous
sections we have seen that a local minimum for the functionalTo (E)
with Q > 0 and the constraintswhere V >
0,
c =(c 1, ... , cn )
E Rn aregiven,
is a free minimum of the functionalSn (E) + 2À (E)
for A> A*,
where(cfr. (2.25)
and Theorem2.2).
Note thatVo
=Vo (V)
is apositive strictly increasing
function of V E(0, wnRn).
Also note that ~ decreases when Vincreases and that ~ goes to +00 as V goes to 0+.
Due to the
equivalence
between the constrainedproblem
and thepenalty problem
with thepenalty
term2).,
theregularity
of the freeboundary
aE of the minimum can beeasily
obtained. Moreover someregularity
results for the minimum value of the energy functional can also beproved.
First we prove the
regularity
of the freeboundary,9E
of a local min-imum E for
ffo
with the constraints(4.1).
As we observedbefore,
forA>A*,
the set E minimizes without any constraints the functionaltTD + .fÀ.
c c
BR (0), where Bp (x)
is asphere
centered in x and of ra-dius p. Let L be a deformation inside
Bp (x)
ofE,
that isThen,
from the trivialinequality
we
easily
obtaini. e. there exists a constant M such that
holds for every set L
satisfying (4.3).
It is known(Massari [29], Tamanini [32])
that from aninequality
oftype (4.6)
follows that aE is aC1,ex-hypersurface, except, possibly,
for a closedsingular
set whoseHausdorff dimension does not exceed n - 8.
Finally,
westudy
aproperty
of the minimum value for the energy functionalSn (see
also Barozzi and González[2]
and Gurtin[25]).
Letc,
D)
be the minimum value of the functionalTo
with constant an-gular velocity D,
withpositive
volumeV,
and center of mass c. Let sand l~ be two
positive
constants. As wepointed
outbefore,
there existsA > 0 such that for V > ~ and 0 E
(0, k)
theproblem
ofminimizing tTa
un-der the constraints
(4.1)
isequivalent
theproblem
for a free minimum for the functionaltTa
+2À.
In order to
study
theregularity
of the functionT(V,
c,D)
consider withLet
E1, E2
be sets with measuresV1, V2
and centers of mass in cl, c2 re-spectively,
and such thatFor A as asserted
above,
we haveThus for s > 0 and k
+ 00 "p
is aLipschitz
continuous function in(8,
++ (0)
x R" x(o,1~). Obviously,
theLipschitz
constant goes to +00 as a goes to 0+ or k goes to +00.REFERENCES
[1] S. ALBANO - E. H. A.
GONZALEZ, Rotating Drops,
Indiana Univ. Math.J.,
32
(1983),
687-701.[2] E.
BAROZZI,
Ilproblema
di Plateau in dominiiltimitati,
Rend. Sem. Mat.Univ.
Padova,
70(1983),
89-98.[3] E. BAROZZI - E. H. A.
GONZALEZ,
Least Area Problems with a VolumeConstraint,
in[23],
33-53.[4] E. BAROZZI - E. H. A.
GONZALEZ,
Sul valore minimodel funzionale
del-l’area con vincolo di
volume, Dep.
ofMath., University
ofLecce,
report n. 7 (1984).[5] E. BAROZZI - E. H. A.
GONZALEZ,
Mean Curvature and Variational Prob-lems,
Rend. Sem. Mat. Univers. Politecn.Torino,
FascicoloSpeciale (1989),
P. D. E. and
Geometry (1988),
131-142.[6] E. BAROZZI - E. H. A. GONZALEZ - I.
TAMANINI,
The Mean Curvatureof a
Set
of
FinitePerimeter, Proceedings
of the Amer. Math.Soc., 99,
n. 2(February 1987),
313-316.[7] F. COLOMBINI - E. DE GIORGI - L.
PICCININI,
Frontiere orientate di misura minima equestioni collegate,
Editrice TecnicoScientifica, Pisa,
1972.[8] P. CONCUS - R. FINN
(eds.),
Variational Methodsfor
FreeSurface
Inter-faces, Springer-Verlag, Berlin,
1987.[9] G. CONGEDO - M. EMMER - E. H. A.
GONZALEZ, Rotating Drops
in aVessel,
Rend. Sem. Mat. Univ.
Padova,
70(1983),
167-186.[10] M.
EMMER,
Esistenza, unicità eregolarità
nellesuperfici
diequilibrio
neicapillari,
Ann. Univ.Ferrara,
18(1973),
79-94.[11] M. EMMER - E. H. A. GONZALEZ - I.
TAMANINI,
A VariationalApproach
tothe
Study of Capillarity Phenomena,
inProccedings
of the Second Interna- tionalColloquium
onDrops
and Bubbles (D. H. Le CroisetteEd.),
NASA &Jet
Propulsion Laboratory, Pasadena, CA, 1982,
374-379.[12] M. EMMER - E. H. A. GONZALEZ - I. TAMANINI, Sets
of
Finite Perimeter andCapillarity Phenomena,
in FreeBoundary
Problems:Theory
andAp- plications
(A. Fasano & M. PrimicerioEds.),
Pitman Research Notes inMathematics,
78(1983),
29-38.[13] M.
EMMER,
A Reviewof ‘Equilibrium Capillary Surfaces’ by
R.Finn,
Bull.Amer. Math.
Soc.,
16(april 1987),
325-331.[14] R. FINN,
Equilibrium Capillary Surfaces, Springer Verlag, Berlin,
1986.
[15] C.
GERHARDT,
On theCapillarity
Problem with ConstantVolume,
Ann. Sc.Norm.
Sup. Pisa, 2,
serie IV(1975),
303-320.[16] E.
GIUSTI,
Thependent
waterdrop,
Boll. U.M.I. A (5) 17(1980),
458-465.
[17] E.
GIUSTI,
TheEquilibrium Configuration of Liquid Drops,
J. ReineAngew. Math.,
321(1981),
53-63.[18] E.
GIUSTI,
MinimalSurfaces
and Functionsof
BoundedVariation, Birkauser, Boston,
1984.[19] E. H. A.
GONZALEZ,
Sulproblema
dellagoccia appoggiata,
Rend. Sem.Mat. Univ.
Padova,
55(1976),
289-302.[20] E. H. A.
GONZALEZ,
Sullaregolaritd
dellagoccia appoggiata,
Rend. Sem.Mat. Univ.
Padova,
58(1977),
25-33.[21] E. H. A. GONZALEZ - I.
TAMANINI,
Convessitdc dellagoccia appoggiata,
Rend. Sem. Mat. Univ.
Padova,
58(1977),
35-43.[22] E. H. A. GONZALEZ - U. MASSARI - I.
TAMANINI,
Existence andRegularity for
the Problemof
a PendentLiquid Drop,
Pacific J.Math.,
88(1980),
399-420.
[23] E. H. A. GONZALEZ - I. TAMANINI
(eds.),
Variational Methodsfor
Equilibrium
Problemsof Fluids, Asterisque
118, SociétéMathématique
de France (1984).
[24] M.
GRUTER, Boundary Regularity for
Solutionsof a Partitioning Problem,
Arch. Rat. Mech.
Anal.,
97(1987),
261-270.[25] M. E.
GURTIN,
On aTheory of Phase
Transitions withInterfacial Energy,
Arch. Rat. Mech.
Anal.,
87(1985),
187-212.[26] M. E.
GURTIN,
On Phase Transitions withBulk, Interfacial,
and Bound-ary
Energy,
Arch. Rat. Mech.Anal.,
96 (1986), 243-264.[27] U. HORNUNG - H.
MITTELMANN,
TheAugmented
Skeleton Methodfor
Parametrizated
Surfaces of Liquid Drops,
(toappear).
[28] U. HORNUNG - H.
MITTELMANN,
The Skeleton Methodfor Capillary
Sur-faces
with VolumeConstraints,
(toappear).
[29] U.
MASSARI,
Esistenza eregolarità
delleipersuperfici
di curvatura media assegnata inRn,
Arch. Rat. Mech.Anal.,
55(1974),
357-382.[30] U. MASSARI - M.
MIRANDA,
MinimalSurfaces of
CodimensionOne,
North-Holland, Amsterdam,
1984.[31] M. MIRANDA - S.
ROBERTS, Lagrange Multipliers
and Geometric MeasureTheory,
Rend. Sem. Mat. Univ.Padova,
74(1985),
219-224.[32] I.
TAMANINI,
Boundariesof Caccioppoli
sets with Hölder-continuous nor-maL vector, J. Reine
Angew. Math.,
334(1982),
28-39.[33] I.
TAMANINI,
Variational Problemsof Least
AreaType
with Constraints, Ann. Univ.Ferrara,
39(1988),
183-217.Manoscritto pervenuto in redazione il 12