Archemedes Principle for Floatation

8/12/2019 Archemedes Principle for Floatation

1/25

Capillarity and Archimedes Principle of Floatation

John McCuan and Ray Treinen

January 15, 2009

Abstract

We consider some of the complications that arise in attempting to generalizea version of Archimedes principle of floatation to account for capillary effects.The main result provides a means to relate the floating position (depth inthe liquid) of a symmetrically floating sphere in terms of readily observablegeometric quantities.

A similar result is obtained for an idealized case corresponding to a sym-metrically floating infinite cylinder. Certain possibilities are also outlined inthe event symmetry is relaxed in this latter problem.

Central to all of these results is a specialized variational formula for floatingbodies which was derived in a special case earlier [Pac. J. Math. 231 (2007)pp.167191] and is here generalized to account for gravitational forces.

1 Introduction

We wish to consider the following version of Archimedes principle:

An object, when deposited into a bath of liquid, displaces a volume of liquidhaving mass equal to the effective mass of the object.

This principle takes no account of the effects of surface tension or surface energiesassociated with wetting. Indeed, simple experiments show that it is possible, undercertain circumstances, for a convex object with density greater than that of a givenliquid bath to float (only) partially submerged on the surface of the bath. Finn [Fin08]has recently given the first rigorous proof of this fact, at least in an idealized situationwhich we describe in4 below.

1


2/25

Even in the case of a convex object with constant density smaller than the density

0 of the liquid, how to interpret and generalize Archimedes principle to includesurface tension and surface energies is not entirely obvious. In order to illustrate this,let us briefly consider the notion ofdisplaced liquidreferred to in the principle above.The principle states, after all, that

0Vd = Vm, (1)

where Vm is the volume of the object and Vd is the volume of the displaced liquid.According to the account of Vetruvius the displaced volumeVdof liquid is determinedby assuming the bath is filled precisely to the rim of the vessel so that when the objectis deposited, the displaced volume is simply that which spills onto the floor, or intoa larger vessel if one wishes to avoid the mess. One presumes that the interface

is assumed planar in this discussion, and hence for a floating object the displacedvolume is also that portion of the volume of the object below the surface of the liquidwhile floating.

With surface tension, a bath may often be filled slightly above the rim of thevessel (or far above the rim of the vessel [Mie02] if the gravity is small); the interfaceis also required to meet the floating object at a prescribed contact angle depending onmaterials and not necessarily compatible with the condition that a planar interfacemeet the object in a manner appropriate for the depth of floatation. These factorsand others may conspire to render the interface decidedly nonplanar in general andsuggest we look elsewhere for the displaced volume of liquid.

One might also use a vessel with higher sides. In fact, we shall restrict attention, in

the physical three-dimensional case, to a cylindrical vessel with circular cross sectionof radius R and having initial depth large enough to completely immerse the object,even if it floats. See Figure 1. Under the foregoing Archimedean assumptions, theobject of density < 0 will still float in a geometric position (i.e., attitude withrespect to the interface) congruent to that obtained when the liquid spilled over therim, but the planar interface and the object will be higher; the entire level of theinterface configuration will rise, being translated upward through a vertical distanceVd/(R

2) as if the displaced volume had been injected at the bottom of the vessel.It should be noted that the attendant volume Vr of raised liquid (i.e., the volume ofliquid above the level of the original interface) is necessarily less than the displaced

volume, being determined by the relationVr+Vc= Vd

where Vc is the volume of a certain cavity swept out by the submerged portion of thebottom of the object as it is vertically translated through a distance Vd/(R

2). Thus,

2


3/25

Figure 1: The displaced liquid of Archimedean floatation

there is a somewhat delicate relation between the displaced volume, the rise in theliquid interface, and the manner in which the object floats, even in the Archimedeancase.

When surface tension and wetting energies are taken into account, the interfaceitself must also be expected to change in a global way upon introduction of the floatingobject. It is clear that making sense of the displaced volume in terms of the liquidrise in this case would be difficult at best. See Figure 2.

We are not so ambitious to propose here a general definition of the displacedvolume of liquid for an arbitrary floating object. If we assume, however, that thecontact line on the floating object is the intersection of the boundary of the objectwith a horizontal plane, then we have recourse to the alternative mentioned above.Namely, Vd is simply the volume of the object below the surface of the liquid, thatis to say below the horizontal plane containing the contact line. This is not onlya convenient definition, but at least in the case of a sphere leads to an interesting

Figure 2: The difficulty of finding the displaced liquid when surface tension andwetting energies are acting

3


4/25

analogue of Archimedes principle and, surprisingly, one that can be viewed as a direct

generalization of it.Before stating this relation, let us recast Archimedes principle in the special casewe have described. Under Archimedean assumptions, a sphere of radius a floating inthe center of a cylindrical vessel should have circular contact line determined by anazimuthal angle . See Figure 3. The volume of the sphere below the planar interface

Figure 3: Azimuthal angles determined by a horizontal contact line (left) and differingazimuthal angles in the two-dimensional case (right)

is

Vd=1

3a3

sin2 cos+ 2 + 2 cos

.

Using (1), we obtain the following

Theorem 1 According to Archimedes principle, a homogeneous sphere of density > 0 will sink to the bottom of a bath of density0, and a homogeneous sphere ofdensity < 0 will float at a level determined by

cos3 3cos= 2

1

2

0

. (2)

It is easily checked that the function F() = cos3 3cos is increasing from 2to 2 on [0, ] with zero derivative at the endpoints and strictly positive derivativeinterior to the interval. Thus, for each positive value 0 0, the condition (2)

determines a unique azimuthal angle. See Figure 4.We obtain the following result under assumptions described in detail below.

4


5/25

Theorem 2 A sphere that floats in a centrally symmetric position as described above

under the effects of surface tension and adhesion effects of an axially symmetric bathmust float at a level determined by the azimuthal angle satisfying

cos3 3cos+ 6

a

H+

cos

a

sin2

3 sin

a2 sin(2) = 2

1

2

0

, (3)

where= g/ is the capillary constant determined by the gravitational accelerationg and the surface tension , H is the mean curvature of the liquid interface at thecontact line, andis the contact angle of the liquid interface with the floating sphere.

The functionF() appearing on the left in equation (3) also takes the values 2 and2 at the endpoints = 0 and respectively. However, F is decreasing at = 0 anddecreases to a unique local interior minimum, thus allowing for values of > 0 anddetermining explicitly a unique maximum density max = max(a,,, H) for which > max implies no floatation is possible. From the unique interior minimum, thefunction strictly increases to a unique (interior) maximum value greater than 2 fromwhich it strictly decreases to the value 2 at the other endpoint = . It will be notedfrom this description that a unique azimuthal angle is determined for all values of0< < 0, and that two values are possible for certain values of 0 (as long as is not too large). We presume by continuity that the physically relevant value forheavy floating spheres is the larger one determined by (3); see the list of conjecturesand open problems at the end for further comments.

0.5 1.0 1.5 2.0 2.5 3.0

2

1

1

2

0.5 1.0 1.5 2.0 2.5 3.0

2

1

1

2

3

4

0.5 1.0 1.5 2.0 2.5 3.0

2

1

1

2

3

4

Figure 4: The azimuthal angles determined by Theorems 1 (left) and 2 (middle);plotted together on the right

It could be legitimately objected that the quantity H appearing in our formulais somewhat unnatural due, first of all, to the fact that there is nothing of the sortappearing in Archimedes principle which we wish to generalize. Upon reflection,however, it becomes clear that some globally determined quantities must appear;the situation when capillarity is taken account of is necessarily more complicated

5


6/25

than Archimedean floatation. On the other hand, we agree that the value Hshould,

in principle, be determined by other parameters not appearing in (3), namely thevolume of liquid in the cylinder before the floating object is introduced, and thecontact angle out between the free surface interface and the wall of the cylinder. Insummary, intuition suggests:

An accurate description of how an object floats under the influence ofcapillarity should require the inclusion of global information on the config-uration including but not limited to the volume of liquid and the contactangle between the liquid interface and relatively distant structures such thesurface of the containing vessel.

We believe this intuition is correct, but a theorem giving the exact relation amongall the relevant quantities requires an understanding of the family of solutions ofthe ordinary differential equation governing the interface which is beyond what wecurrently have. The structure of this family of solutions is notoriously complicated,and there are many basic questions even about particular special solutions which arestill open. For a survey of some of the recent results, see [Fin86, Vog82, Sie06, Sie80,Nic02, EKT04, Tur80, JP68, Tre08].

On the other hand, it simply requires a change of perspective to designate Has a locally measurable independent parameter, and the form of Theorem 2 givesquantitative content to a competing intuition which says:

The depth at which an object floats in a liquid bath (relative to the levelof the bath) should only depend on the relative densities, the contact angle of the interface with the surface of the floating object, and quantitiesmeasured locally near the object.

The choice and appearance of the particular quantity His further explained in 5 inreference to Conjecture 4. The result above may also be defended on precisely theground that it is, like Archimedes result, essentially algebraic and beautifully simplein that sense.

2 Variational FormulationThe general assumptions of our model are outlined in [McC07] though the derivationgiven there was aimed at the zero gravity case in which buoyancy plays no role, andthe effects of gravity were not properly considered. For the sake of making this paper

6


7/25

somewhat more self-contained we include a short review/summary of the model and

amend the deficiencies in the former derivation.Quite generally, we consider a solid structure = s m consisting of a sta-tionary part s and a movable, or floating, part m. In addition, we hypothesize anequilibrium liquid interface with corresponding wetted region W = Ws Wm, sothat the liquid volume V satisfies V = W and the contact line/triple interfaceis given by =W. Under these assumptions, we consider the variational problemassociated with

E=|| |W| + G (4)

where G=Vm

G and G is a position dependent function representing field forces

such as gravity.1

Under rather general hypotheses, as described in [McC07] a family of variationsleaving m fixed leads to the following (standard) variational formulas

|V|=

2HX N+

X n

where H is the mean curvature defined on , Xis the variation vector, Nis the unitnormal pointing out of the liquid volumeV, andnis the unit conormal to N andpointing out of .

|W|=

X ,

where is the unit conormal to NW

and W pointing out ofW; note that NW

denotes the unit normal to Wpointing out ofV and may also be denoted by N onthe interior ofWwhere no ambiguity arises.

G=

G X N and |V|=

X N.

These last two formulas apparently require an interesting and somewhat delicateapplication of more general mathematical principles of fluid mechanics, and we outlinetheir derivation under more general assumptions below.

For now, we assemble E/ |V| from the constituent parts above where is aLagrange multiplier associated with the volume constraint:

E/ |V|=

(2H+G/ ) X N+

( X n X ).

1We included onlyVG in [McC07].

7


8/25

The vanishing of this quantity for all variation vectors Xresults in the well known

geometric boundary value problem

2H=G/ on

cos = on (5)

sincen= (n NW)NW+cos . In the special case under consideration in this paper,Grepresents the limiting value 0gztaken as a limit from inside the liquid, so that

2H=z

where = 0g/ is a capillary constant for the problem.

A more general variation allowing rigid motion of m takes the form

X=X(p; t, h) :M (, ) (, ) R3

where M= Vis considered as an abstract manifold; see Figure 5.

Figure 5: The variation map and its notation

It is assumed here, as indicated in the figure that h parameterizes a family of rigidmotionsw = w(x; h) to which m is subject. Denoting derivatives with respect tohby an acute accent, we find

|| =

2HX N+

X n, (6)

|W| =

Wm

2HWX N+

Wm

X , (7)

8


9/25

G=

GX N+ Wm

GX NW + m

GmX Nm. (8)

This last term requires some explanation. The quantity Gm denotes the value of thevolumetric force field potential taken as a limit from inside the movable solid structurem. In the special case of a floating object of density , we typically take Gm= gz.Also in this last identity Nm denotes the unit normal to the boundary m of themovable/floating solid structure and points out of m, so that N

m =NW on theircommon domain of definition Wm. Finally, we include a brief derivation.

Up until this point, we have stated all variational formulae in their final form,that is to say with the parameters of the variation set to zero so that X represents

d

dtX(p; t)

t=0

where X=X(p; t) :M (, ). For this calculation, we must temporarily assumethe parameters t and h are not evaluated at zero. Notationally, this is convenientlyindicated by a tilde so that m = X(m) = X(m; t; h), and we will evaluate att= h = 0 at the end.

Consideration of the second term should suffice. Setting

Gm=

m

Gm,

we haveGm=

m

Gm XdetDX,

where Xrepresents the restriction of the variation to m and the derivative is takenin M R3 with respect to p. Eulers kinematical formula tells us how a materialintegral changes with the flow of a region of fluid. We can cast our present situationinto this framework starting with the preliminary identity

hdetDX= (divR3 v) X detDX

where v(x; h) = X(X1(x; h); h) is the spatial velocity associated with the flow X=X(p; h) and we have simply suppressed the t dependence. It might be expected (orhoped) that in our situation the motion/flow associated with the variation should beparticularly simple, at least on the solid movable object m, and that we might have,for example, X(p; h) w(p; h) there. However, taking into account the motion of

9


10/25

the liquid and that of the contact line of the liquid interface in particular, it is

clear that this would violate the continuity assumption on the variation X : M(, ) (, ) R3. Having made this concession and subjected ourselves to theadded complication that other authors seem to have avoided, it is some consolation,as pointed out by Finn [Fin05], that the internal motion of the liquid under a variationof the free surface interface could be very complicated, and we are taking account ofsuch possibilities.

In any case, we continue to obtain

Gm=

m

DGm v+ divR3 v

= m

divR3(Gmv)

=

m

Gmv Nm,

so that

Gmh=0

=

m

GmX Nm.

A similar argument applies to the integral over Vappearing inGand also yields

|V|=

X N+

Wm

X N

where we have returned to the general assumption on evaluation, that t = h = 0.Combining this with (6-8), we have

E/ |V|=

(2H+G/ )X N+

(X n X ) +

Wm

2HWX N+

Wm

(G/ )X N+

m

(Gm/)X Nm

=

Wm

X n cos

Wm

X +

cos Wm 2HWX N+ Wm(G/ )X N+

m

(Gm/)X Nm.

Next we refer to a calculation from [McC07] which uses the fact that w1(X; h) mwhen X=X(p; h) w(m; h) to show that

X w TXm.

10


11/25

It follows that Xmay be replaced with w in the formula above. A second calculation

involving an explicit auxiliary variation showsWm

2HWw N=

Wm

w .

Making the indicated substitutions, we arrive at our new necessary condition forequilibrium of a floating object:

Theorem 3 If a floating objectm subject to gravitational forces (denoted byGandGmas described above) locally minimizes energy among liquid interface configurationscompatible with a smooth family of rigid motionsw = w(x; s)withw(x;0) = idR3 andthe wetted region on the floating object is denoted byWm, then the configuration mustsatisfy

Wm

w n +

Wm

(G/ )w NW +

m

(Gm/) w Nm = 0, (9)

wheren is the outward pointing unit conormal along the boundary of the liquid inter-face, NW is the unit normal to m pointing out of the liquid, N

m =NW, andwrepresents the derivative with respect to s evaluated ats= 0.

The condition of the theorem must hold for all w R3 for free floatation, or moregenerally for any collection of directions in which m is free to move.

We next proceed to examine the consequences of (9) for the simple cases of floata-tion suggested in the introduction.

3 Floatation in three dimensions

Here we assume a vertical circular cylindrical vessel is observed with a sphere mfloating symmetrically along the axis of the vessel and having symmetric circularcontact line at azimuthal angle = . Assuming the surface of the liquid is alsorotationally symmetric with respect to the same axis, the meridian of the surfacewith vertical componentuand radial componentrconsidered as functions of arclengthalong the meridian must satisfy the boundary value problem

r= cos u= sin

= u sin /r= and u= d+a cos when r= r(0) =a sin= /2 out when r= r() =R

(10)

11


12/25

where we have chosen coordinates so that the center of the floating sphere is (0, 0, d),

and is the total length and is the inclination angle of the meridian. Though thesystem of ordinary differential equations appearing in the problem above has beenstudied extensively, the structure of the family of all solutions is little understood.We conjecture that the boundary value problem as stated here has a unique embeddedsolution for each [0, ]. See 5 for a more precise statement. With this assertionverified, one could commence to determine the parametersd and (and Hwhich willmake its appearance momentarily) in terms of natural physical parameters such asthe volume constraint |V|= V, and the contact angles and out, and so on. In theabsence of such a result, we take a different path and proceed directly to the auxiliarycondition (9).

The following formulae, valid in the plane y = x2 = 0, are useful in simplifying

the integrals in (9):

Nm[] = sine1+ cose3NW[] =Nm

= sine1 cose3[] = (Nm)

= cose1+ sine3n = cos + sin NW

= cos( )e1+ sin( )e3N = (n)

= sin( )e1+ cos( )e3.

(11)

In these formulae, the bracketed indicates validity in the form of the result for anarbitrary azimuthal angle onm though the main interest is onWm;e1ande3arethe standard orthonormal unit vectors in R3.

Taking a vertical translation for the rigid motion of m so that w= e3, the threeterms of (9) are as follows:

Wm

e3 n= 2a sin sin( ).

Wm(z )e3 N=a

2 (d )sin

2

2a

3 (1 + cos3

)

.m

0ze3 N

m =4

3 a3

0.

12


13/25

Combining these terms and rearranging:

6sin sin( )

a2 +

3(d )sin2

a 2cos3 = 2

1

2

0

. (12)

Next, we make the substitution

2H=(d+a cos)

which follows directly from (5). This leads to

6sin sin( )

a2 +

3(2H a cos)sin2

a 2cos3= 21

2

0 .This last condition simplifies directly into condition (3) of Theorem 2. It remains toverify the description of the function

F() = cos3 3cos+ 6

a

H+

cos

a

sin2

3 sin

a2 sin(2).

The values at the endpoints are immediate. We find also that

F[]

3 = cos2 sin+ sin+

4

a

H+

cos

a

sin cos

2 sin

a2 cos(2)

= sin3

+

2

a

H+

cos

a

sin(2)

2sin

a2 cos(2).

Thus, F(0) =F() =(6/a2)sin 0 and B independent of. The fact that F(0)< 0 tells us

that we may assume 0 < B < . Clearly, since 0 , we have sin3

0 andthere can be no zero ofF on the interval [B/2, (B+ )/2]. For the rest, we considertwo cases.CASE I. 0< B /2, i.e., F(0) 0.

13


14/25

In this case, both terms in the expression for F are increasing on the interval

0< < B/2, so F

can have at most one zero there. (And since F

(B) > 0 it doeshave exactly one.)F must also have a zero on [(B+ )/2, ]. Consider the largest such zero, and

observe that

F[]

3 = 3 cos sin2+ 2A cos(2 B)

= (3/2) sin(2)sin+ 2A cos(2 B).

It must be the case that F 0 at the largest zero, but since F is positive on[(B+ )/2, ], this means that F is negative (or F is decreasing) on the interval

between (B+)/2 and the largest zero. Since F

((B+)/2) = sin

3

(B+ )/2> 0,there can be no other zeros.CASE II. /2 B < , i.e., F(0) 0.

The reflection transforms this case into the first one with B B.

We note finally that the reader will have no trouble verifying that under theArchimedean assumptions H = 0 (a planar interface) and = (the appropriateazimuthal angle for a horizontal plane to meet the sphere at the correct contactangle) the formula in Theorem 2 reduces to the condition of Archimedes.

4 Floatation in two dimensionsFinn has recently considered a variational problem for the energy

E=|| |W| + G (13)

where is the linear segment of intersection of an assumed planar/linear interfacewith a two-dimensional convex body and Gis the specific gravitational energy we haveconsidered above. The measures appearing in the first two terms in this functionalare one-dimensional (length) and the integral is an area integral. There is no volumeconstraint in Finns problem, nor outer container, and it is an assumption that theinterface always lies along a fixed line. Nevertheless, he obtains the striking resultthat for some values of > 0, and there will be an equilibrium which is alocal minimum for energy in which the convex body contacts the interface, i.e., floats.While Finn gives no precise description of the geometric configuration of floatationcorresponding to our results, we can formulate and extend our results to a problem

14


15/25

dimensionally similar his. Various aspects of this two-dimensional problem seeming

to be of interest, we present them now.Physically, we envision a trough consisting of two vertical walls and a horizontalbottom. The trough is assumed to extend infinitely in they = x2 direction and tobe filled with a sea of liquid. Into this sea is introduced a horizontal floating circularcylinder (an infinitely long log) with axis parallel to e2. Let us assume that the freesurface interface also is always of cylindrical form with generator parallel to e2, sothat if the log is centrally located between the walls and the interface shares the samemidplane symmetry, then the projection of the system onto the x, z-plane resemblesthat of the system considered in the previous section (Figure 3, left), though theequation of the generating curve (and hence its shape) will be be different from thatof the meridian previously considered.

The energy of such a system can be taken to have the form of (4)

E=|| |W| + G

where the dimensions of the measures have been lowered by one and G=Vm

G isan area integral. The first order necessary conditions take the form

k= G/ on the curve ,

cos = at the endpoints of ,

and

w n +

Wm(G/ ) w N

W

+m(Gm/) w N

m

= 0, (14)

wherekis the curvature of , and arises from an area constraint on the cross sectionof liquid in the trough. In analogy to the three-dimensional case, we assume an areadensity for the object, floatation in a liquid of area density 0, a capillary constant= 0g/, and that the radius of the log is a.

Before we begin an analysis of this variational problem in earnest, let us pause tonote what Archimedes principle would state in this lower dimensional case (becauseit will appear in a surprising way later):

Theorem 4 According to Archimedes principle in one lower dimension, a homoge-

neous disk/log of density > 0 will sink to the bottom of a bath of density0, and ahomogeneous disk/log of density < 0 will float at a level determined by

2 sin(2) = 2

1

0

. (15)

15


16/25

We assume initially the contact line (i.e., the two points where meets m) is

determined by two azimuthal angles, one as before and a second measured in thecounter-clockwise direction from the vertical e3; See Figure 3, right. In addition to

(11), the following identities have been found useful.

Nm[] = sine1+ cose3

NW[] =Nm

= sine1 cose3

[] = (Nm)

= cose1+ sine3

n = cos + sin NW

= cos( )e1+ sin( )e3

N = (n)

= sin( )e1+ cos( )e3.

(16)

Taking first a horizontal motion of the floating sphere, so that w= e1, we find

e1 nWm

= cos( ) cos( )

=2sin B sin(A ),

where

A=+

2 and B=

2 ,

Wm

(z )e1 NW =a(d )(cos cos) +

a2

2 (cos2 cos2)

=2a sin B sin A(d +a cos A cos B),

and m

(

0z )e1 N

m = 0.

Since each of these terms has a factor sin B, we see from condition (14), that one

possibility is sin B= 0. If this holds, it can readily be determined that = . Oncethis occurs, then since the left and right interfaces must start from the same height

and with the same inclination angle, we have a proof that the axis of the floatingcylinder must lie on the midplane between the vertical walls. This is the conclusionwe would like to make. The other alternative is that

sin(A ) +a sin A(d +a cos A cos B) = 0

16


17/25

which we rewrite as

[cos +a(d )] sin A+ a2

2 sin(2A)cos B sin cos A= 0 (17)

Leaving this open as a possibility for the moment, we turn to an independentvertical translation of m with w= e3.

e3 nWm

= sin( ) + sin( )

= 2 cos B sin(A ),

Wm

(z )e3 NW

=a(d )(sin+ sin) +a2

4 (sin(2 ) + sin(2)) +

a2

2 ( +) a2

= 2a cos B sin A(d ) +a2

2 (sin(2A) cos(2B)) +

a2

2 ( +) a2,

and m

0ze3 N

m =a2

0.

Combining these terms to form the expression in (14), we arrive at a second necessary

condition

[cos +a(d )] sin A cos B sin cos A cos B+

a2

2 sin A cos A(1 2sin2 B) +

a2

4 ( +)

=a2

2

1

0

. (18)

Multiplying the equation in (17) by cos B and subtracting the result from (18) andsimplifying, we obtain the surprising condition

+ sin( +) = 2

1 0

. (19)

This is surprising because it says that if the log floats anywhere but in the middlebetween the vertical walls of the trough, then the part of the log that rises above

17


18/25

the surface of the liquid must be prescribed exactly as Archimedes said it should.

In particular, the portion that is wetted is independent of all parameters except thedensity fraction (!), a scenario which we view as highly unlikely. The fact, that wecannot rule out this possibility leads to the following curious result.

Theorem 5 In the two-dimensional floating log problem described above, either theaxis of the log lies in the vertical midplane determined by the sides of the vessel, orthe wetted/nonwetted region is determined by the generalized version of Archimedescondition given in (19).

We will return to the last possibility in the last section of the paper. For now,we pursue a course similar to that which we were forced to pursue in the three-dimensional case by assuming symmetry of the interface with respect to the midplane.When = , condition (18) associated with the vertical translation is still non-vacuous and becomes

F() = 2+ sin(2) + 4

a2sin( ) +

4

a(d )sin= 2

1

0

.

Again following the three-dimensional case, we let

k= (d+a cos)

denote the curvature of the interface at the contact line on the object. Substitution

yields

Theorem 6 A log that floats in a centrally symmetric position as described above un-der the effects of surface tension and adhesion effects must float at a level determinedby the azimuthal angle satisfying

2 sin(2) + 4

a2sin( ) +

4k

asin= 2

1

0

. (20)

wherek is the curvature of the interface at the contact line, andis the contact angleof the interface with the floating log.

The behavior of the function

F() = 2 sin(2) + 4

a2sin( ) +

4k

asin

18


19/25

is somewhat different than that in the three-dimensional case; see Figure 6. One sees

first of all that

F(0) = 4

a2sin 2.

Thus, the endpoint values do not coincide with the extremes of the expression on theright in (20) associated with = 0 and = 0. Nevertheless, the interval between0 and 2 is clearly covered by the values ofF() and, in fact, each value is takenexactly once. To see this we compute

F()

2 = 1 cos(2) +

2

a2cos( ) +

2k

acos

and observe first that

F(0)

2 =

2

a2cos() +

2k

a=

F()

2 .

It follows that F is nonpositive at one of the endpoints and has the opposite signat the other. Using this, reasoning similar to that found in3 shows F can have atmost one zero on [0, ].

0.5 1.0 1.5 2.0 2.5 3.0

1

2

3

4

5

6

0.5 1.0 1.5 2.0 2.5 3.0

2

2

4

6

8

10

0.5 1.0 1.5 2.0 2.5 3.0

2

2

4

6

8

10

Figure 6: The azimuthal angles determined by Theorems 4 (left) and 6 (middle);plotted together on the right

Therefore, some salient features of Theorem 2 hold also in this lower dimensionalcase. For fixed k and , if 0, there is a unique height at which the disk/logcan float; there is an interval 0 < < max on which there is at least one (and

sometimes two) possible heights at which floatation can occur. One expects that iftwo azimuthal angles are determined by (20), the larger one is the physically relevant.

19


20/25

5 Conjectures and Questions

We consider first the three dimensional case, concerning which we make what we be-lieve is a reasonable but difficult conjecture concerning the solutions of the boundaryvalue problem (10).

Conjecture 1 Givend, andfixed (all the other parameters being obviously deter-mined by the physical problem and also given), there is at most one embedded solutionof the boundary value problem (10).

Under certain circumstances, we can sharpen this conjecture considerably. Let usassume the interface is given by the graph of a function u over the horizontal x, y-plane. In this case, the circular base of the cylinder may be partitioned into the

annular region A beneath the interface and the disk Bbeneath the submerged portionof the sphere. Also, we may use the well known nonparametric mean curvatureequation:

div

Du1 + |Du|2

= u .

Integrating the equation over A, we obtain

VA |A| = 2a sin sin( ) + 2R cos out

where VA = A u is the volume of liquid present over A. On the other hand, thisvolume can be computed by subtracting the volume over Bfrom the total volume:

VA= |V| da2 sin2 +

2a3

3 (1 + cos3).

Similarly,|A|= R2 a2 sin2.Combining these relations and using the definition 2H = (d+a cos) , we

find

2sin(sin sin( ) + Ha sin)

=

a|V| 2

R cos outa

R2

a +

a2

3 (2 cos3+ 3 cos). (21)

On the other hand, we can rewrite condition (3), as

cos3 3cos+6 sin

a2 (sin( ) + Ha sin) = 2

1

2

0

,

20


21/25

so that on substituting from (21) for the last term on the left, we find

3

a2

|V|

a

2R cos outa

R2

a

=

4

0.

It will be noted that has disappeared from the equation. Next it will be noted thatmay now be determined in terms of|V |, ,a,R,/0, andout, but independentlyofand . Given this, one can evidently go back to (12), the version of (3) we hadbefore introducing H, and solve for d in terms of.

Conjecture 2 It should be possible as long as 0 (and as long as the level of thebath is deep enough and|V| is large enough so that when the sphere is pushed to thebottom, there is enough liquid to cover it) to:

1. solve for in terms of|V|, , a, R, /0, andout,

2. solve ford in terms of, and the other parameters, so that everything is interms of, and

3. find a unique value of and a unique embedded solution of (10) satisfying allconditions of the problem.

This conjecture is for the case < 0. In principle similar assertions should hold insome cases for 0. A fundamental difficulty of the conjecture is that parametricinterfaces are included; there is no known standard procedure for determining the

Lagrange parameter in such cases. Given the conjecture above, the value ofd andand, hence, the value ofHshould be determined. From this, we can compute thevalue ofmax determined by the function F() appearing on the left in (3). Thereis a problem, however, in the identification of this value with the physical maximumdensity for which floatation can occur. Nevertheless, our results suggest the following:

Conjecture 3 There is a nontrivial interval of densities 0 < < phys for whicha given sphere of fixed radiusa and density admits a solution as described in theproceeding conjecture.

It should be noted that the existence of a meridian curve satisfying the conditionsof (10) and the volume constraint etc., by no means guarantees that such a spherewill float in the position thereby described. The stability of these configurations, werethey to be determined, must still be analyzed. As a first guess we have the followingwhich comes from experimentation and is primarily of interest due to the appearanceof the quantity H:

21


22/25

Conjecture 4 (experimental) If a centrally symmetric equilibrium exists, as con-

jectured above, and the sphere is lighter than the liquid ( < 0), then the resultingfloatation configuration will be stable ifH < 0 and will be unstable otherwise, withthe sphere tending to the side ifH > 0. If the sphere is heavier ( > 0), then thestability criteria will be reversed.

We emphasize that these conditions are derived from a limited range of parame-ters, and we expect the actual stability conditions to be (much) more complicated.Nevertheless, these observations were central in the formulation of the main resultsabove (due to the significant role played by H), and for this reason we felt it worthmentioning.

Finally, we have

Conjecture 5 For any sphere which floats in a stable configuration in the center ofa cylindrical bath with 0, the azimuthal angledetermined by the larger solutionof (3) is the one which will be observed physically.

We next turn to the two-dimensional case. The conjectures above, can of coursebe adapted to this case, but we leave that adaptation to the reader and proceed tosome comments concerning the possibility of having differing azimuthal angles. Themain conjecture is that (17) and (18) are incompatible conditions for = . Werethis the case, it would say that the only possible equilibria are the symmetric ones.This also can be sharpened via an interesting calculation. Starting with (17) which

we write as

[cos +a(d )] sin A sin cos A+a2 sin A cos A cos B= 0,

we consider the curvatures at the two contact points

k= (d+a cos) and k= (d+a cos) ,

and the average kavgfor which

d = kavg a cos A cos B.

Substituting the last into the first, we find (cos + kavga)sin A sin cos A= 0.(Thesignificance is that B is eliminated from the equation.) Recall that A is the averageof the azimuthal angles.

22


23/25


24/25

3 2 1 0 1 2 3

0

0.5

1

1.5

2

2.5

3

3.5

4

4.5

5

r

height

3 2 1 0 1 2 3

0

0.5

1

1.5

2

2.5

3

3.5

4

4.5

5

r

height

3 2 1 0 1 2 3

0

0.5

1

1.5

2

2.5

3

3.5

4

4.5

5

r

height

2. 5 2 1. 5 1 0. 5 0 0 .5 1 1 .5 2 2 .5

0

0.5

1

1.5

2

2.5

3

3.5

4

r

height

3 2 1 0 1 2 3

0

0.5

1

1.5

2

2.5

3

3.5

4

4.5

r

height

3 2 1 0 1 2 3

0

0.5

1

1.5

2

2.5

3

3.5

4

4.5

5

r

height

Figure 8: Three-Dimensional Case (floating balls). Table shows parameters for eachconfiguration from left to right.

/ out d

(1) Lightest 0 /2 /2 2.1174 1.8486 1.7086(2) Heavy 1 /2 /2 1.8689 2.1377 1.4330(3) Flat .5 /2 /2 1.9902 1.9902 1.5708(4) Denser 2.1 /2 /2 1.4293 2.5321 0.9293(5) Untable(?) .5 /4 /4 1.3646 1.4679 0.7790(6) Stable(?) .5 /4 3/4 2.0192 2.6403 1.2570

References

[EKT04] A. Elcrat, T.-E. Kim, and R. Treinen. Annular capillary surfaces. Arch.Math. (Basel), 82(5):449467, 2004.

[Fin86] R. Finn. Equilibrium Capillary Surfaces. Springer-Verlag, New York, 1986.

[Fin05] R. Finn. Floating and partly immersed balls in a weightless environment.Funct. Differ. Equ., 12(1-2):167173, 2005.

[Fin08] R. Finn. Criteria for floating I. Preprint, 2008.

[JP68] W.E. Johnson and L.M. Perko. Interior and exterior boundary value prob-lems from the theory of the capillary tube. Arch. Rational Mech. Anal.,29:125143, 1968.

[McC07] J. McCuan. A variational formula for floating bodies. Pac. J. Math,231(1):167191, 2007.

[Mie02] E. Miersemann. Wetting barriers.Calc. Var. Partial Differential Equations,15(2):237256, 2002.

24


25/25

[Nic02] R. Nickolov. Uniqueness of the singular solution to the capillary equation.

Indiana Univ. Math. J., 51(1):127169, 2002.[Sie80] D. Siegel. Height estimates for capillary surfaces. Pac. J. Math., 88(2):471

515, 1980.

[Sie06] D. Siegel. Approximating symmetric capillary surfaces. Pac. J. Math.,224(2):355365, 2006.

[Tre08] R. Treinen. Extended annular capillary surfaces. Preprint, 2008.

[Tur80] B. Turkington. Height estimates for exterior problems of capillarity type.Pac. J. Math., 88(2):517540, 1980.

[Vog82] T.I. Vogel. Symmetric unbounded liquid bridges.Pac. J. Math., 103(1):205241, 1982.

25

Archemedes Principle for Floatation

Documents

Transcript of Archemedes Principle for Floatation