19
RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN Institut f¨ ur Mathematik Capillary surfaces and floating bodies by J. Bemelmans G.P. Galdi M. Kyed Report No. 63 2013 May 2013 Institute for Mathematics, RWTH Aachen University Templergraben 55, D-52062 Aachen Germany To appear in print in Annali di Matematica Published online in Annali di Matematica

Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

  • Upload
    dodung

  • View
    214

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN

Institut fur Mathematik

Capillary surfaces and floating bodies

by

J. Bemelmans

G.P. Galdi

M. Kyed

Report No. 63 2013

May 2013

Institute for Mathematics, RWTH Aachen University

Templergraben 55, D-52062 Aachen

Germany

To appear in print in Annali di MatematicaPublished online in Annali di Matematica

Page 2: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Annali di MatematicaDOI 10.1007/s10231-013-0323-0

Capillary surfaces and floating bodies

Josef Bemelmans · Giovanni P. Galdi · Mads Kyed

Received: 16 October 2012 / Accepted: 11 January 2013© Fondazione Annali di Matematica Pura ed Applicata and Springer-Verlag Berlin Heidelberg 2013

Abstract We investigate capillary surfaces with boundary components on a floating body.The unknowns of this problem, the free surface and the position and orientation of thefloating body are determined by minimizing the corresponding energy; besides gravitationand cohesion forces, we consider also adhesion between the fluid and both the wall of thecontainer and the floating body. Existence of a solution is shown in the class of Caccioppolisets under suitable restrictions on the data, as well as for surfaces that are graphs of realfunctions.

Keywords Capillarity · Variational problem for Caccioppoli sets

Mathematics Subject Classification 76B45

1 Introduction

We consider a cylindrical container G := � × R+, where � is a bounded, simply connected

domain in R2; G is partially filled with some liquid of density ρ. A rigid body B whose density

ρ0 is smaller than ρ is floating on the liquid, and it is assumed that the interface betweenthe liquid and the air above is governed by surface tension. Besides the gravitational force,

J. Bemelmans (B)Institut für Mathematik, RWTH Aachen University, 52056 Aachen, Germanye-mail: [email protected]

G. P. GaldiDepartment of Mechanical Engineering and Materials Science,University of Pittsburgh, 15261 Pittsburgh, PA, USAe-mail: [email protected]

M. KyedDepartment Mathematik, Friedrich-Alexander-Universität Erlangen-Nürnberg,91058 Erlangen, Germanye-mail: [email protected]

123

Page 3: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

there is adhesion between the fluid and both the outer wall of the container and the floatingbody. We then look for configurations in which these forces are in equilibrium; the unknownsare the position of the floating body and the capillary surface, and they are determined by avariational problem for the energy.

A special version of this problem has been studied in [1]; as [1] is part of an investigationof free-boundary problems for the Navier–Stokes equations, we allowed only for contactangles of π/2 because in domains with edges of this type solutions to the Navier–Stokesequations are regular up to the boundary. Such a contact angle occurs only if there is noadhesion energy. In the present paper, we prove the existence of capillary surfaces under thestandard assumptions, in particular with non-vanishing adhesion energy.

In Sect. 2, we study the energy functional for the case that the region occupied by the fluidis a Caccioppoli set. Let B denote the rigid body, and let B(c, R) : = {y = c + Rx; x ∈ B}where c ∈ R

3 denotes a translation and R = R(d, α) ∈ SO(3) describes a rotation withrespect to some axis with direction d, ‖d‖ = 1, about some angle α. The quantities c and Rare restricted by requiring that the floating body is contained in G, i.e B(c, R) ⊆ G; B(c, R)

is assumed to be a closed set. If we denote the domain occupied by the fluid by E , we haveE ⊆ G \ B(c, R) and L 3(E) = V0 where V0 is the volume of the Lebesgue measurable setE . The energy functional then reads

F(c, R; E) : = σ

G\B(c,R)

|DϕE | + κ

∂G

ϕE dσ + κ0

∂B(c,R)

ϕE dσ

+ρg∫

G\B(c,R)

x3ϕE dx + ρ0g∫

B(c,R)

x3dx, (1)

where

G\B(c,R)

|DϕE | := sup

⎧⎪⎨⎪⎩

G\B(c,R)

ϕE div g dx : g ∈ C1c

(G \ B(c, R); R

3) , ‖g‖C0 ≤ 1

⎫⎪⎬⎪⎭

denotes the total variation of the characteristic function ϕE of E ; σ is the coefficient of surfacetension. The integrals

∫∂G ϕE dσ and

∫∂B(c,R)

ϕE dσ denote the area of the wetted part of thecontainer’s boundary ∂G and the boundary ∂B(c, R) of the floating body, respectively; thecorresponding coefficients of the adhesion energy are κ and κ0; their relative size with respectto σ determines the contact angles. The last two integrals in (1) represent the gravitationalenergy of the fluid and of the floating body; g is the gravitational constant. We prove thatthere is a minimizing configuration (B(c, R), E) to (1); concerning the data σ, κ and κ0, wemake no further restrictions than in the classical capillary problem without floating bodies.The functional F(c, R; E) is to be minimized in the class

C = {(c, R; E) : c ∈ R

3, R ∈ SO(3) such that B(c, R) ⊆ G;E ⊂ G\B(c, R) measurable with L3(E) = V0

}. (2)

In Sect. 3, we formulate the variational problem in the class of graphs. The body B is assumedto be strictly convex such that the non-wetted part of its boundary can be described by a graph;also the capillary surface is assumed to be a graph which is certainly appropriate in our casebecause of the influence of the gravitational force. Archimedes’ principle characterizes theposition of the floating body by an equilibrium condition. In the presence of capillary andadhesion forces, the first variation of the energy leads to an equilibrium of forces that act

123

Page 4: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

on B, where the resultant of the surface forces is a vector field on the contact line that istangential to the capillary surface. This result was first proved by McCuan [4] in the generalcase of parametric surfaces and deformable bodies.

The existence theorem requires more restrictions on the data compared to the variationalproblem in the class of Caccioppoli sets. This more special solution allows, however, to proveregularity of the minimizer as well as geometrical properties, in particular that the upper partof ∂ B that is not wetted is a simply connected set. These results are contained in Sect. 4.

2 Existence of solutions: the general case

We first prove that the infimum of the energy functional F(c, R; E) from (1) is attainedfor some configuration (c0, R0; E0) from C, which is defined in (2). In [1], we adoptedthe variational method for Caccioppoli sets to the case that a floating body is involved. Ifalso adhesion energy is part of the functional it is well known that only the sum of surfaceand adhesion energy, σ

∫G |DϕE | + κ

∫∂G ϕE dσ , is lower semi-continuous with respect to

L1-convergence; the integral over ∂G is generally not lower semi-continuous by itself. Toprove semi-continuity, one uses the estimate of Emmer [2]

∂G

u d σ ≤√

1 + L2

G(ε)

|Du| + Cε

G(ε)

|u|, (3)

which holds for functions u ∈ BV (G).G(ε) is a strip near the boundary, and L denotes theLipschitz constant of ∂G. In our problem, we consider G \ B(c, R) instead of G; then, theboundary need not be Lipschitz continuous even if ∂G and ∂B(c, R) are smooth because therigid body B might touch the boundary ∂G of the container. Hence, we must prove Emmer’slemma (3) for this case.

In the analog of (3), we require ∂� to be of class C2 and B(c, R) to have a projectionP(c, R) into � such that the curvature of ∂ P(c, R) is larger than the curvature of ∂�:

minR∈SO(3)

minx ′∈ ∂ P(c,R)

K (∂ P(c, R), x ′) > maxx ′∈ ∂�

K (∂�, x ′),

where K (γ, x ′) denotes the curvature of a curve γ at some point x ′ ∈ γ . If then B(c, R)

touches ∂G it does so in a single point y0. In a neighborhood Uε0 of y0, we can describe theboundaries ∂G and ∂B(c, R) by the graphs of the functions

y3 = ω (y1, y2) and y3 = β (y1, y2) , (y1, y2) ∈ Aε0 ⊆ E

where (y1, y2) ≡ y′ are cartesian coordinates with center y′0 = (0, 0) in the tangent plane at

y0. We have β(y′) > ω(y′) for all y′ in the domain Aε0 where σ and ω are defined exceptfor y′ = (0, 0).

Local strips between ∂B(c, R) and ∂G around y0 can be defined by

B∗ε (c, R) :=

⋃0 < δ < ε

β∗(δ) and G∗ε :=

⋃0 < δ < ε

ω∗(δ)

where

β∗(δ) = {y = (y′, y3

) : y3 = β(y′) − δτ(y′), y′ ∈ Aε0

}ω∗(δ) = {

y = (y′, y3) : y3 = ω(y′) + δτ(y′), y′ ∈ Aε0

}

123

Page 5: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

with

τ(y′) :=⎧⎨⎩

β(y′) − ω(y′)3 ε

if β(y′) − ω(y′) ≤ 3 ε

1 if β(y′) − ω(y′) ≥ 3 ε

These sets replace the neighborhoods G(ε) of constant thickness in Emmer’s proof of (3).

Lemma 2.1 Let ∂G and ∂B(c, R) touch in a single point y0 as described above. Then, thereholds for u ∈ BV (G\B(c, R)).

∂G ∩ Uε0

u dσ ≤√

1 + L2

G∗ε

|Du| + Cε

G∗ε

|u| dx (4)

∂B(c,R)∩ Uε0

u dσ ≤√

1 + L2

B∗ε (c,R)

|Du| + Cε

B∗ε (c,R)

|u| dx (5)

Here, L is an upper bound for |Dω| and |Dβ| in Aε0 .

Remark 2.2 (i) As we assume that ∂B and ∂G are regular surfaces, we can make L smallby covering ∂G and ∂B by small open sets. Hence, the value of L is no extra restrictionfor σ and κ or κ0 in the existence theorem.

(ii) Away from the point of contact, the original proof of Emmer can be applied becausethere G \ ∂ B(c, R) has a smooth boundary.

Proof To u ∈ BV (G \ B(c, R)) we consider the trace uδ on the surface ω∗(δ) for someδ ∈ (0, ε). Then, ∫

�ε0

u dσ ≤∫

�ε0

|u − uδ| dσ +∫

�ε0

|uδ| dσ (∗)

with �ε0 = ∂G ∩ Uε0 , and we estimate the difference |u − uδ| by |Du|:∫

�ε0

|u − uδ| dσ =∫

Aε0

∣∣u (y′, ω(y′))− u

(y′, ω(y′) + δτ(y′)

)∣∣ ·√

1 + |Dω (y′)|2 dy′

≤√

1 + L2

Aε0

ω(y′) + δτ(y′)∫

ω(y′)

∣∣∣∣ ∂u

∂y3(y′, t)

∣∣∣∣ dt dy′

≤√

1 + L2

G∗ε

|Du|

�ε0

|uδ(y)| dσ =∫

Aε0

∣∣u (y′, ω(y′) + δτ(y′))∣∣ √1 + |D (ω(y′) + δτ(y′))|2 dy′

+∫

Aε0

∣∣u (y′, ω(y′) + δτ(y′))∣∣[√

1 + |Dω(y′)|2

−√

1 + |D(ω(y′) + δτ(y′))|2]

dy′

123

Page 6: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

Integration with respect to δ gives∫

G∗ε|u| dy for the first integral and C

∫G∗

ε|u| dy for the

second term. We now integrate (∗) with respect to δ ∈ (0, ε) and obtain

ε

�ε0

u dσ ≤ ε√

1 + L2

G∗ε

|Du| + C∫

G∗ε

|u| dx,

which proves (4). The case (5) can be handled in the same way. � Theorem 2.3 Assume that ∂B(c, R) and ∂G touch in at most one point, and let σ, ρ, ρ0, κ, κ0

be constants with ρ > ρ0 > 0, σ > 0 and σ − |κ|√1 − L2 < 0, σ − |κ0|√

1 + L2 > 0.Then, there exists an element (c0, R0; E0) ∈ C, such that

F (c0, R0, E0) ≤ F(c, R; E) for all (c, R; E) ∈ C. (6)

Proof We first show that F(c, R; E) is bounded from below on C. The gravitational energiesare clearly positive; for the adhesion terms we have

κ0

∂B(c,R)

ϕE dσ,≥ − |κ0| |∂B| > −∞

and, if ∂B(c, R) and ∂G touch in a point y0,

κ

∂G∩Uε0

ϕE dσ ≥ − |κ|√

1 + L2

G∗ε

|DϕE | − |κ| Cε

G∗ε

ϕE dx,

which follows from Lemma 2.1.For the part of the boundary that lies outside of Uε0 (and that may be all of ∂G if ∂B(c, R)

and ∂G do not touch at all), we have from Sect. 3

κ

�\Uε0

ϕE dσ ≥ −|κ|√

1 + L2

G(ε)\Uε0

|DϕE | − C ′ε

G(ε)\Uε0

ϕE dx

with

G(ε) = {x ∈ G : dist(x, �) < ε}.The first term is majorized by σ

∫G\B(c,R)

|DϕE | because of the assumption on the data, and

the second one remains finite because of∫

G∗εϕE dx ≤ L3(E) = V0.

Therefore, there exists a constant c0 such that

F(c, R; E) ≥ c0 > −∞ ∀ (c, R; E) ∈ C,

and a minimizing sequence {(cn, Rn; En)}∞n=1 from C:

limn→∞ F (cn, Rn; En) = m0 ≡ inf

(c,R;E)∈ CF(c, R; E).

We claim that this sequence is bounded:

|cn | + |Rn | + ‖ ϕEn ‖BV ≤ C ∀ n ∈ N.

We may assume that

F (cn, Rn; En) ≤ m0 + 1 ∀ n ∈ N,

123

Page 7: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

and because of ρg∫

G x3 ϕEn dx ≥ 0, ρ0 g∫B(cn ,Rn)

x3 dx ≥ 0 and | κ0∫∂B(cn ,Rn)

ϕEn dσ |≤ c1 we have

σ

G\B(cn ,Rn)

|DϕEn | + κ

∂G

ϕEn dσ ≤ m0 + 1 + c1.

Using (4) again we get

(σ − |κ|

√1 + L2

) ∫

G\B(cn ,Rn)

|DϕEn | ≤ m0 + 1 + c1 + Cε · V0.

Because of the assumption on σ and κ and the volume constraint this gives

‖ ϕEn ‖L1(G) +∫

G\B(cn ,Rn)

|DϕEn | ≤ C.

The area integral can be written in the form∫

G

∣∣DϕEn

∣∣ −∫

∂B(cn ,Rn)

ϕEn dσ,

which gives

‖ ϕEn ‖L1(G) +∫

G

∣∣DϕEn

∣∣ ≤ C.

The values of Rn belong to a compact set, hence Rn is bounded independently of n ∈ N. Thex1- and the x2 component of cn is bounded by diam �, and the x3-component is boundedbecause of

ρ0 g∫

B(cn ,Rn)

x3 dx ≤ m0 + 1,

and, thus, we have shown that the minimizing sequence {(cn, Rn; En)}∞n=1 is bounded:

| cn | + |Rn | + ‖ϕEn ‖BV (G) ≤ C ∀ n ∈ N.

This implies that there is a subsequence, which we again denote by {(cn, Rn, En)}∞n=1 thatconverges for n → ∞:

cn → c0, Rn → R0, ϕEn → ϕE0 in L1(G).

In the last steps of the proof, we show that F is lower semi-continuous with respect to thisminimizing sequence.

The integral ρ0 g∫B(cn ,Rn)

x3 dx is continuous because B(cn, Rn) converges uniformlyto B(c0, R0) for n → ∞. The integrand x3ϕEn (x) in the term that represents the gravita-tional energy of the fluid is non-negative, and therefore the integral is lower semi-continuousaccording to Fatou’s lemma.

In order to compare the traces of ϕEn and ϕE0 on the boundary of the rigid body, we set

En := Tn En,

123

Page 8: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

where Tn is the rigid motion that maps B(cn, Rn) onto B(c0, R0); En is generally not anelement of C, but (ϕEn

− ϕE0) restricted to ∂B(c0, R0) can be estimated by (5). For the areaenergy

A (c, R; E) := σ

G\B(c,R)

|DϕE | + κ

∂G

ϕE dσ + κ0

∂B(c,R)

ϕE dσ

we get using

κ0

∂B(c0,R0)

ϕE0 dσ − κ0

∂B(cn ,Rn)

ϕEn dσ = κ0

∂B(c0,R0)

ϕE0 − ϕEndσ

and then (5) again:

A (c0, R0; R0) − A (cn, Rn; En)

≤ σ

G\(B∗ε (c0,R0)∪ G∗

ε )

|DϕE0 | + σ

B∗ε (c0,R0)

|DϕE0 | + σ

G∗ε

|DϕE0 |

− σ

G\(B∗ε (cn ,Rn)∪ G∗

ε )

|DϕEn | − σ

B∗ε (cn ,Rn)

∣∣DϕEn

∣∣ − σ

G∗ε

∣∣DϕEn

∣∣

+ |κ|√

1 + L2

G∗ε

|D(ϕE0 − ϕEn )| + |κ| Cε

G∗ε

|ϕE0 − ϕEn | dx

+ |κ0|√

1 + L2

B∗ε (c0,R0)

∣∣D(ϕE0 − ϕEn)∣∣+ |κ0| Cε

B∗ε (c0,R0)

∣∣ϕE0 − ϕEn

∣∣ dx .

Now we have

(i)(|κ| √1 + L2 − σ

) ∫G∗

ε|DϕEn | ≤ 0∀ n ∈ N because of the assumptions on the data.

(ii) |κ|Cε

∫G∗

ε|ϕE0 − ϕEn | dx → 0, n → ∞, for every ε > 0.

(iii)∫B∗

ε (c0,R0)|ϕE0 − ϕEn

| dx ≤ ∫B∗ε (c0,R0)

|ϕE0 − ϕEn | dx + ∫B∗ε (c0,R0)

|ϕEn − ϕEn| dx ,

and both integrals converge to zero for n → ∞.(iv)

∫B∗

ε|DϕEn

| = H2(∂ En ∩ B∗(c0, R0)); the Hausdorff measure H2 is invari-

ant under rigid motions, and therefore we have H2(Tn(∂ En) ∩ B∗ε (c0, R0)) =

H2(T −1n (Tn(∂ En) ∩ B∗

ε (c0, R0))) = H2(∂ En ∩ B∗ε (cn, Rn)) which gives |κ0|

√1 + L2∫

B∗ε (c0,R0)

|DϕEn| − σ

∫B∗

ε (cn ,Rn)|DϕEn | ≤ 0.

(v) The integrals σ∫

B∗ε (c0,R0)

|DϕE0 | and σ∫

G∗ε

|DϕE0 | are of order O(ε).

(vi)∫

G\B∗ε (c0,R0)

|DϕE0 | ≤ lim infn→∞∫

G\B∗ε (cn ,Rn)

|DϕEn | has been proved in [1].

Using (i)–(vi) in the inequality for A (c, R; E), we obtain the lower semi-continuity of F ,and this concludes the proof of Theorem 2.3. �

3 Existence of solutions in the class of graphs

We now investigate capillary surfaces � in the presence of floating bodies under the assump-tion that both � and the upper part of ∂B(c, R) are graphs of real functions u and h, respec-tively; we use the same notation as in [1]. If we assume that B = B(0, R) is strictly convex,there is a smallest number α = α(R) such that

123

Page 9: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

∂Bα ≡ ∂B(0, R) ∩ {x : x3 > α(R)}can be written as the graph of a real function h : B(α) → R, where B(α) is the projection of∂Bα onto the x ′-plane. We assume that there is another number h0(R) > α(R), such that

vol (B(0, R) ∩ {x : x3 > h0(R)}) = 1

3vol (B)

and define B(h0) := {x ′ ∈ B(α) : h(x ′) > h0}, C(h0) := ∂ B(h0).Then, we can define the function h : � → R by

h(x ′) :={

h(x ′), x ′ ∈ B(h0)

h0, x ′ ∈ � \ B(h0).(7)

This function enters the variational problem as an obstacle. The surface � is assumed to bethe graph of a real function u : � \ B(h) → R where B(h) ⊆ B(h0) is the projection ofthe dry part of ∂Bα into the x ′-plane, which means that � := graph h(γ ), is the contact linewhere h(x ′) = u(x ′), x ′ ∈ γ , holds. In order to work with functions that are defined on thewhole domain �, we set

u(x ′) : ={

u(x ′), x ′ ∈ � \ B(h)

h(x ′), x ′ ∈ B(h).(8)

With these quantities, the energy (1) is of the form

F(c, R; u) = σ

√1 + |Du|2 + σ

B(h0)∩{u>h}

√1 + |Dh|2 dx ′−σ

B(h0)

√1 + |Dh|2 dx ′

+κ0

⎧⎪⎨⎪⎩|∂B | +

B(h0) ∩ {u>h}

√1 + |Dh|2 dx ′ −

B(h0)

√1 + |Dh|2 dx ′

⎫⎪⎬⎪⎭

∂�

u dσ + ρg

2

u2 dx ′ − (ρ − ρ0) g∫

B(c,R)

x3 dx (9)

where h and h0 depend on c and R. The first integral is defined for u ∈ BV (�), which means

√1 + |Du|2 : = sup

⎧⎨⎩∫

g3 + u

(∂g1

∂x2+ ∂g2

∂x3

)dx ′ :

g = (g1, g2, g3) ∈ C1c

(�; R

3) , ‖ g ‖C0(�) ≤ 1}.

If u is a smooth function with u > h0, the first three integrals equal∫� ∩ {u>h}

√1 + |Du|2dx ′

and this is the area of the capillary surface; the quantities in brackets equal the area of thewetted part �B of ∂B(c, R). We look for minimizers in the class

C : = {(c, R; u) ∈ R

3 × SO(3) × BV (�) : B(c, R) ⊆ G;∫

u(x ′) dx ′ = V0 + vol(B), u(x ′) ≥ h(x ′) a.e. in �

⎫⎬⎭ . (10)

123

Page 10: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

In this setup, we can calculate the first variation of F ; variations of u lead to the Euler–Lagrange equations

σ div

(Du√

1 + |Du|2)

= ρgu + λ in � \ B(h) (11)

and the boundary conditions

Du · n√1 + |Du|2 = − κ

σon ∂� (12)

1 + Du · Dh√1 + |Du|2 ·√1 + |Dh|2 = − κ0

σon γ. (13)

Remark 3.1 For the proof of (13), we assume that u is smooth up to the contact line, andtherefore the surface energy and the adhesion energy can be written in the form

I1(u) + I2(u) = σ

{u > h}

√1 + |Du|2 dx ′ + κ0

{u > h}

√1 + |Dh|2 dx ′.

we consider only these two integrals because the rest of the energy terms will not be affectedby the variations that determine the contact angle. For the contact line � = {(x ′, x3) ∈∂B(c, R) : x3 = u(x ′)}, we have u(x ′) = h(x ′) ∀ x ′ ∈ γ , and hence the normal to γ is

n(x ′0) = − D(u − h)(x ′

0)∣∣D(u − h)(x ′0)∣∣ .

Curves that lie in a neighborhood of γ can be described as γδ = {x ′ ∈ � : x ′ = x ′0+ δn(x ′

0), x0 ∈ γ }. A variation u(x ′) + ε ϕ(x ′) of u meets ∂B(c, R) in some curve near �,and it is given by u(x ′)+ ε ϕ(x ′) = h(x ′) ∀ x ′ ∈ γδ , where δ = δ(ε, x ′

0) will be determinedby u(x ′

0 + δ(ε, x ′0) n (x ′

0)) + εϕ(x ′0 + δ(ε, x ′

0) n(x ′0)) = h(x ′

0 + δ(ε, x ′0) n(x ′

0)) which leadsto

u(x ′0) + δ(ε, x ′

0)Du(x ′0) · n(x ′

0) + εϕ(x ′0) = h(x ′

0) + δ(ε, x ′0)Dh(x ′

0) · n(x ′0) + o(ε)

for |ε| small; therefore, we get

δ(ε, x ′0) = − ε · ϕ(x ′

0)

D(u − h) (x ′0) · n(x ′

0).

The first variation of I1 is

δ I1(u, ϕ) = limε→0

σ

ε

⎧⎪⎨⎪⎩

{u + εϕ > h}

√1 + |D(u + εϕ)|2 dx ′ −

{u > h}

√1 + |Du|2 dx ′

⎫⎪⎬⎪⎭

with

1

ε

{u > h}

√1 + |D(u + εϕ)|2 −

√1 + |Du|2 dx ′ −→

{u > h}

Du · Dϕ√1 + |Du|2 dx ′

= −∫

{u > h}div

(Du√

1 + |Du|2)

ϕ dx ′ +∮

γ

Du · n√1 + |Du|2 ϕ ds

123

Page 11: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

and

1

ε

⎛⎜⎝

{u + εϕ > h}−∫

{u > h}

⎞⎟⎠√

1 + |D(u + εϕ)|2 dx ′

= 1

ε

γ

δ(ε,x ′0)∫

0

√1 + ∣∣D(u + εϕ) (x ′

0 + tn(x ′0)∣∣2 dt ds

−→∮

γ

√1 + ∣∣D(u + εϕ) (x ′

0 + δ(ε, x ′0) n(x ′

0)∣∣2

|ε=0· δ′(ε, x ′

0)|ε=0 ds

=∮

γ

√1 + |Du|2 ·

( −ϕ

D(u − h) · n

)ds.

In the same way, we get

δ I2(u, ϕ) = κ0

γ

√1 + |Dh|2 ·

( −ϕ

D(u − h) · n

)ds.

Finally

σ

γ

Du · n√1 + |Du|2 · ϕ ds + σ

γ

√1 + |Du|2 ·

(− ϕ

D(u − h) · n

)ds

+ κ0

γ

√1 + |Dh|2 ·

(− ϕ

D(u − h) · n

)ds = 0

for all ϕ ∈ C0(γ ) gives the equation for the contact angle:

σ

{Du · n√

1 + |Du|2 −√

1 + |Du|2D(u − h) · n

}+ κ0

−√1 + |Dh|2D(u − h) · n

= 0

which implies

σ{− |Du|2 + Du · Dh + 1 − |Du|2}+ κ0

√1 + |Du|2

√1 + |Dh|2 = 0

and thus

(Du,−1)√1 + |Du|2 · (Dh,−1)√

1 + |Dh|2 = −κ0

σ

which means that − κ0σ

= cos ϑ gives the contact angle between the capillary surface andthe floating body.

The contact angle from (13) is restricted to some interval [0, ϑ0] with ϑ0 < π . This meansthat the tangent of graph u ranges between being parallel to the tangent of graph h (becauseof u ≥ h) and pointing in the x3-direction (because � is a graph). Therefore, κ0 must berestricted, too:

− κ0

σ≡ cos α0 ≥ −

∣∣Dh(R; x ′)∣∣√

1 + |Dh(R; x ′)|2∀ x ′ ∈ B(h0), R ∈ SO(3); (14)

123

Page 12: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

with this condition on the data, we can perform variations T (x) = e+d ∧ x of the position andorientation of B(c, R), that is of h(c, R; x ′), and get from [1] Theorem 3.2 the equilibriumcondition∮

E · N ds + pg∫

�B

− E · NB x3 dσ − ρ0g (e + d ∧ xs)3 vol(B) = 0 (15)

with E · N , the component of the variation E that is normal to the contact line � and tangentto graph (u), NB the normal ∂B and xs the center of gravity of B(c, R).

Theorem 3.2 For G, h = h(c, R), and σ, ρ0, ρ, κ0, κ as above with σ > |κ| the varia-tional problem

F(c, R; u) → min in C (16)

has a solution (c0, R0; u0) ∈ C.

Proof (i) F(c, R; u) is bounded from below on C, because κ∫∂G u dσ can be estimated

by Emmer’s Lemma (3) and the condition on κ . As |∂B| is finite, the adhesion termκ0{ |∂B| − ∫B(h0)∩ {u>h}

√1 + |Dh|2 dx ′ + ∫B(h0)

√1 + |Dh|2 dx ′} can be estimated

for any κ0.(ii) Any minimizing sequence {(cn, Rn; un)}∞n=1 ⊆ C satisfies lim

n→∞ F(cn, Rn; un)

= m0 := inf{F(c, R; u) : (c, R; u) ∈ C}. It is bounded: |cn | + |Rn | + ||un ||BV (�) ≤C∀ n ∈ N. This is known for E(c, R; u); the adhesion energy can be treated as in (i).

(iii) A sequence {un}∞n=1 that is bounded in BV (�) has a subsequence which converges inL1(�). Then, F is lower semi-continuous for a minimizing sequence {(cn, Rn; un)}with un → u0 in L1(�), n → ∞, and this proves the existence of a minimizer. �

Remark 3.3 Also in this setup, the floating body can touch the wall of the container. Butas we are working with real functions u that satisfy u ≥ h0 on ∂� and a possible point ofcontact lies below {x3 = h0} it does not affect u at all. Additional considerations in Emmer’sLemma are therefore not necessary.

4 Boundedness, regularity, and geometrical properties of the solution

We first prove that a minimizer u to the variational problem (16) is essentially bounded. Inorder to show regularity of the solutions, we have to make sure that u does not touch theobstacle h0, that is, u(x ′) > h0 a.e. in �0 := � \ B(h0), because then the usual variations ofu lie in C, and therefore, the standard methods from regularity theory for the mean curvatureequation apply. Finally we show that the set {x ′∈ � : u(x ′) = h(x ′)} is simply connected.

Lemma 4.1 Let (c, R; u) be a solution to the variational problem

F(c, R; u) → min in C. (17)

Then, there exists a constant C, such that

u(x ′) ≤ C a.e. in �.

Proof For κ = κ0 = 0, the result was proved in [1], Lemma 5.1 by using the comparisonfunction

vt,ε(x ′) ={

min(u(x ′), t

)+ ε for x ′ ∈ {u > h}u(x ′) for x ′ ∈ � \ {u > h},

123

Page 13: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

where ε was chosen to be

ε = 1

|{u > h}|∫

A(t)

u − t dx ′, A(t) : = {x ′ ∈ � : u(x ′) > t}.

Because of this vt,ε satisfies the volume constraint and therefore belongs to C. This implies

F(c, R; u) ≤ F (c, R; vt,ε), (18)

in particular for large values of t , and from this inequality it was deduced that there is at∗ > 0 such that the measure of A(t∗) vanishes, which means that u is essentially bounded.

The adhesion energy of the body B is

κ0

⎧⎪⎨⎪⎩|∂B| +

B(h0)∩{u > h}

√1 + |Dh|2 dx ′ −

B(h0)

√1 + |Dh|2 dx ′

⎫⎪⎬⎪⎭ ,

and this quantity remains unchanged if we replace u by vt,ε. Hence, this term does not affectinequality (18).

To control the adhesion energy of the walls of the container, we have to compareκ∫

∂�

u dσ and κ∫

∂�

vt,ε dσ . Then, we get

∂�

vt,ε dσ =∫

∂� \ {u > h0}vt,ε dσ +

∂� ∩ {u > h0}vt,ε dσ

=∫

∂� \ {u > h0}u dσ +

∂� ∩ {u > h0}min(u, t) + ε dσ

=∫

∂� \ {u > h0}u dσ +

∂� ∩ {u > h0} ∩ A(t)

t + ε dσ +∫

[ ∂� ∩ {u > h0} ] \ A(t)

u + ε dσ.

Recalling the choice of ε, we obtain:∫

∂�

u dσ −∫

∂�

vt,ε dσ = −ε [ |∂� ∩{u > h0} ∩ A(t)|

+ | [∂� ∩{u > h0} ] \ A(t)| ] +∫

∂� ∩ {u>h0} ∩A(t)

u − t dσ

= −|∂� ∩ {u > h0}||{u > h}|

A(t)

u − t dx ′ +∫

∂� ∩ A(t)

u − t dσ.

We now apply Emmer’s lemma to the second term and get∫

∂�

u dσ −∫

∂�

vt,ε dσ ≥ − |∂� ∩ {u > h0}||{u > h}|

A(t)

u − t dx ′

−√

1 + L2

A(t)

|Du| − C∫

A(t)

(u − t) dx ′.

123

Page 14: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

If we use this inequality in (18) and proceed with the other terms as in the proof of Lemma5.1 from [1], we arrive at the same inequality (33) from [1], only with a different constant.The rest of the proof follows then again from [3], pp. 211–213. � Lemma 4.2 Let (c, R; u) be a solution to the variational problem

F(c, R; u) → min in C. (19)

For the coefficients in the energy, we assume

|κ|, |κ0| < σ � ρg

in case κ or κ0 are negative. Then, there holds

u(x ′) > h0 a.e. on �0.

Proof For κ and κ0 ≥ 0 the proof from [1], Lemma 5.2, applies because if the graph of uis cutoff at some height t , the parts of ∂� and ∂B that are wetted according to the functionmin(u, t) have smaller area than before and hence the adhesion energy decreases because ofκ, κ0 ≥ 0. If κ or κ0 is negative, we therefore cut off u only locally such that the adhesionenergy is not affected. As this cannot be done in such a way that the area of u decreases, wemust compensate a possible increase in the surface energy by an appropriate change in thegravitational energy. And this can be achieved if σ/ρg is sufficiently small. We now assumethe proposition of the lemma not to be true, which means that there is a set A ⊆ �0 ofpositive measure such that u(x ′) = h0 ∀ x ′ ∈ A. As in [1], we distinguish several cases.

(i) There is a δ > 0, such that

u(x ′) > h0 + δ

for all x ′ of some subset of ∂� that has positive measure. Then, the boundary value problem⎧⎪⎨⎪⎩

div

(Dw√

1 + |Dw|2)

= 0 in �0

w = h0 on C(h0), w = min (u, h0 + δ) on ∂�

admits a unique regular solution wδ , if δ is small enough. This solution satisfies the strongmaximum principle

h0 < wδ(x ′) < h0 + δ∀ x ′ ∈ �0,

and therefore,

uδ := min (u, wδ)

satisfies uδ(x ′) > h0, a.e., on �0. Because wδ minimizes the area locally we have∫

{u <wδ}

√1 + |Duδ|2 dx <

{u < wδ}

√1 + |Du|2.

We now change uδ such that it includes the same volume as u and hence belongs to C. Let sbe a real number such that ∫

A(s)

u(x ′) − s dx ′ = 2 · Vδ,

where Vδ : = ∫{u<wδ} wδ − u dx ′.

123

Page 15: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

Then, we choose ϕ ∈ C1c (A(s)) such that

∫A(s) ϕ(x ′) dx ′ = 1. We have uδ,t (x ′) ≡

uδ(x ′)− tϕ(x ′) = u(x ′) for all x ′ ∈ ∂� ∪ C(h), and the adhesion energy remains the samewhen we consider u − tϕ instead of u. With t = Vδ we have

∫�

uδ − tϕ dx ′ = ∫�

u dx ′, andfor the area we get

� ∩ {u > h}

√1 + | D(u − tϕ) |2 dx ′

=∫

� ∩ {u > h}

√1 + |Du|2 dx ′ − t

A(t)

Du · Dϕ√1 + |Du|2 dx ′ + O

(t2)

hence, ∫

� ∩ {u > h}

√1 + |D(u − tϕ)|2 dx ′ ≤

� ∩ {u > h}

√1 + |Du|2 dx ′ + Vδ

A(s)

|Dϕ|.

The change in the gravitational energy is, up to the constant ρg2 :

� ∩ {u > h}u2 − h2 dx ′ −

� ∩ {u > h}(u − tϕ)2 − h2 dx ′

=∫

A(s)

u2 − (u − tϕ)2 dx ′ +∫

�0 ∩ {u <wδ}u2 − w2

δ dx ′.

We have∫

�0 ∩ {u < wδ}u2 − w2

δ dx ′ =∫

�0 ∩ {u < wδ}(u + wδ) (u − wδ) dx ′

≥ min�0 ∩ {u <wδ}

(u + wδ) ·∫

�0 ∩ {u < wδ}u − wδ dx ′ ≥ − 2h0 Vδ,

and in the same way∫

A(s)

u2 − (u − tϕ)2 dx ′ ≥ 2s · Vδ,

such that we get for the total energy

F(R, c; u) − F (R, c; uδ,t) ≥ − σ · Vδ · C + ρg

2(2s − 2h0) Vδ > 0,

and this is a contradiction to u being a minimizer of F .

(ii) There is a δ > 0, such that

u(x ′) > h0 + δ

for all x ′ of some subset of C(h0) that has positive measure. As in [1], Lemma 5.2, weconstruct a function wδ that minimizes

∫�0

√1 + |Dw|2 among all functions in BV (�0)

with boundary data w = u on ∂�0. We then correct the comparison function such that itsatisfies the volume constraint; this can be done as in (i) above.

123

Page 16: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Capillary surfaces and floating bodies

(iii) If u(x ′) > h0 + δ holds on subsets of positive measure of C(h0) and of ∂�, then wecan argue as in (i). Therefore, it remains to consider the case that u(x ′) = h0 on all of C(h0)

and ∂�.(iv) Now assume that u(x ′) ≡ h0 on �0 ∪ C(h0) ∪ ∂�. Then, u cannot be minimizing

because the function uα,t has less energy, where uα,t is constructed in the following way. Wechoose α � 1 and set uα := min(u, h0 + α). Then, uα is not an element of C because itsvolume exceeds that of u by Vα = ∫{uα>u} uα − u dx ′. Hence, we correct uα as in part (i) ofthe proof, and then, F(uα,t ) < F(u) follows as before.

(v) If u = h0 on C(h0) ∪ ∂�, but not identically h0 on �0, we can use the fact that u isa minimizer with respect to variations that have compact support in �0. Then, the adhesionenergy is not affected, and we can therefore proceed as in [1], Lemma 5.2, (iv). � Lemma 4.3 Let (c, R; u) be a solution of

F(c, R; u) → min in C. (20)

(i) If κ0 ≤ 0, and if B is not completely wetted, that is, the set {x ′∈B(h0) : u(x ′)= h(x ′)}has positive measure, then u is regular: u ∈ C2+α(� ∩ {u > h}) ∩ C1+α(� ∩ {u > h}).Furthermore, u meets the body B under a constant angle ϑ with cos ϑ = −κ0

/σ , and the

boundary γ of � ∩ {u > h} is locally a C1+α-curve.(ii) If |Du(x ′)| < ∞ for all x ′ ∈ γ then the set � ∩ {u > h} is connected, or equivalently

the non-wetted part of ∂B is simply connected.

Proof The condition on the coincidence set implies that the capillary surface meets the bodyB. Then, the boundary γ is locally a C1+α-curve according to the regularity theorem ofTaylor [5]. This result is proved for any κ0 with |κ0| < σ in the context of geometric measuretheory, and hence the set E that is occupied by the fluid may be any Caccioppoli set E and notnecessarily the subgraph U := {x ∈ G : h(x ′) < x3 < u(x ′)} of some function u ∈ BV (�).

We now restrict the adhesion coefficient κ0 in such a way that the corresponding contactangle ϑ with cos ϑ = − κ0

/σ can be realized in the class of graphs. If we have a priori no

knowledge about the curve � in which ∂B and � meet, the vertex of ∂B might be a point of� and consequently the normal to ∂B at that element of � points into the x3-direction. Then,� can only be a graph if κ0 ≤ 0 because then ϑ ranges between 0 and π/2. If it is knownthat the normal vectors in points of � make an angle ϕ with the x3-direction that is largeror equal to some ϕ0 > 0 then one can allow for a contact angle between 0 and π

2 + ϕ0, andconsequently the lemma holds also for the corresponding positive values of κ0.

If (ii) were not true, there would be an open set M ⊂⊂ B(h0) with u(x ′) > h(x ′) ∀ x ′ ∈ Mand u(x ′) = h(x ′) ∀ x ∈ ∂ M . Then, there would exist at least one point x ′

0 ∈ M such that

h(x ′

0

) ≤ h(x ′) ∀ x ′ ∈ M . (∗)

Clearly x ′0 must lie on the boundary ∂ M , because for x ′

0 ∈ M there would be some pointx ′

1 = x ′0 − ε Dh(x ′

0) which lies in M for ε small enough and for which h(x ′1) < h(x ′

0)

holds. This follows from the fact that h is strictly concave and therefore Dh(x ′0) �= 0. In

such a point x ′0 ∈ ∂ M ≡ γ the tangent vector τ to the curve � = graph h(γ ) satisfies

τ3(x ′0) = 0. Let x ′ = x ′(t), |t | < ε, be a representation of the curve γ with x ′(0) = x ′

0.Then, x(t) = (

x ′(t), h(x ′(t)

)), |t | < ε, describes � locally around x0 = (

x ′0, h(x ′

0)).

Because of (∗) we have in particular

h(x ′(0)

) ≤ h(x ′(t)

)∀ t ∈ (−ε, ε),

123

Page 17: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

J. Bemelmans et al.

hence

0 = d

dth(x ′(t)

)|t=0

= Dh(x ′

0

) · d

dtx ′(t)|t=0

≡ τε(x0).

Now let n = n(x ′0) be the direction perpendicular to γ and pointing into M . Then,

hn(x ′0) := Dh(x ′

0) · n(x ′0) > 0 and because of uτ (x ′

0) = hτ (x ′0) = 0 we have

un(x ′

0

) = − 1

hn(x ′0)

< 0.

This is, however, a contradiction to u(x ′) > h(x ′) ∀ x ′ ∈ M , and the lemma is proved. �

References

1. Bemelmans, J., Galdi, G.P., Kyed, M.: Fluid flows around floating bodies, I: the hydrostatic case. J. Math.Fluid Mech. 14, 751–770 (2012)

2. Emmer, M.: Esistenza, unicità e regolarità nelle superfici de equilibrio nei capillar. Ann. Univ. Ferrara Sez.VII (N.S.) 18, 79–94 (1973)

3. Massari, U., Miranda, M.: Minimal Surfaces of Codimension One. North-Holland, Amsterdam (1984)4. McCuan, J.: A variational formula for floating bodies. Pac. J. Math. 231(1), 167–191 (2007)5. Taylor, J.: Boundary regularity for solutions to various capillarity and free boundary problems. Commun.

Partial Differ. Equ. 2, 323–357 (1977)

123

Page 18: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

Reports des Instituts fur Mathematik der RWTH Aachen

[1] Bemelmans J.: Die Vorlesung ”Figur und Rotation der Himmelskorper” von F. Hausdorff, WS 1895/96,Universitat Leipzig, S 20, Marz 2005

[2] Wagner A.: Optimal Shape Problems for Eigenvalues, S 30, Marz 2005

[3] Hildebrandt S. and von der Mosel H.: Conformal representation of surfaces, and Plateau’s problem for Cartanfunctionals, S 43, Juli 2005

[4] Reiter P.: All curves in a C1-neighbourhood of a given embedded curve are isotopic, S 8, Oktober 2005

[5] Maier-Paape S., Mischaikow K. and Wanner T.: Structure of the Attractor of the Cahn-Hilliard Equation,S 68, Oktober 2005

[6] Strzelecki P. and von der Mosel H.: On rectifiable curves with Lp bounds on global curvature: Self–avoidance,regularity, and minimizing knots, S 35, Dezember 2005

[7] Bandle C. and Wagner A.: Optimization problems for weighted Sobolev constants, S 23, Dezember 2005

[8] Bandle C. and Wagner A.: Sobolev Constants in Disconnected Domains, S 9, Januar 2006

[9] McKenna P.J. and Reichel W.: A priori bounds for semilinear equations and a new class of critical exponentsfor Lipschitz domains, S 25, Mai 2006

[10] Bandle C., Below J. v. and Reichel W.: Positivity and anti-maximum principles for elliptic operators withmixed boundary conditions, S 32, Mai 2006

[11] Kyed M.: Travelling Wave Solutions of the Heat Equation in Three Dimensional Cylinders with Non-LinearDissipation on the Boundary, S 24, Juli 2006

[12] Blatt S. and Reiter P.: Does Finite Knot Energy Lead To Differentiability?, S 30, September 2006

[13] Grunau H.-C., Ould Ahmedou M. and Reichel W.: The Paneitz equation in hyperbolic space, S 22, Septem-ber 2006

[14] Maier-Paape S., Miller U.,Mischaikow K. and Wanner T.: Rigorous Numerics for the Cahn-Hilliard Equationon the Unit Square, S 67, Oktober 2006

[15] von der Mosel H. and Winklmann S.: On weakly harmonic maps from Finsler to Riemannian manifolds, S 43,November 2006

[16] Hildebrandt S., Maddocks J. H. and von der Mosel H.: Obstacle problems for elastic rods, S 21, Januar 2007

[17] Galdi P. Giovanni: Some Mathematical Properties of the Steady-State Navier-Stokes Problem Past a Three-Dimensional Obstacle, S 86, Mai 2007

[18] Winter N.: W 2,p and W 1,p-estimates at the boundary for solutions of fully nonlinear, uniformly ellipticequations, S 34, Juli 2007

[19] Strzelecki P., Szumanska M. and von der Mosel H.: A geometric curvature double integral of Menger type forspace curves, S 20, September 2007

[20] Bandle C. and Wagner A.: Optimization problems for an energy functional with mass constraint revisited,S 20, Marz 2008

[21] Reiter P., Felix D., von der Mosel H. and Alt W.: Energetics and dynamics of global integrals modelinginteraction between stiff filaments, S 38, April 2008

[22] Belloni M. and Wagner A.: The ∞ Eigenvalue Problem from a Variational Point of View, S 18, Mai 2008

[23] Galdi P. Giovanni and Kyed M.: Steady Flow of a Navier-Stokes Liquid Past an Elastic Body, S 28, Mai 2008

[24] Hildebrandt S. and von der Mosel H.: Conformal mapping of multiply connected Riemann domains by avariational approach, S 50, Juli 2008

[25] Blatt S.: On the Blow-Up Limit for the Radially Symmetric Willmore Flow, S 23, Juli 2008

[26] Muller F. and Schikorra A.: Boundary regularity via Uhlenbeck-Riviere decomposition, S 20, Juli 2008

[27] Blatt S.: A Lower Bound for the Gromov Distortion of Knotted Submanifolds, S 26, August 2008

[28] Blatt S.: Chord-Arc Constants for Submanifolds of Arbitrary Codimension, S 35, November 2008

[29] Strzelecki P., Szumanska M. and von der Mosel H.: Regularizing and self-avoidance effects of integral Mengercurvature, S 33, November 2008

[30] Gerlach H. and von der Mosel H.: Yin-Yang-Kurven losen ein Packungsproblem, S 4, Dezember 2008

[31] Buttazzo G. and Wagner A.: On some Rescaled Shape Optimization Problems, S 17, Marz 2009

[32] Gerlach H. and von der Mosel H.: What are the longest ropes on the unit sphere?, S 50, Marz 2009

[33] Schikorra A.: A Remark on Gauge Transformations and the Moving Frame Method, S 17, Juni 2009

[34] Blatt S.: Note on Continuously Differentiable Isotopies, S 18, August 2009

[35] Knappmann K.: Die zweite Gebietsvariation fur die gebeulte Platte, S 29, Oktober 2009

[36] Strzelecki P. and von der Mosel H.: Integral Menger curvature for surfaces, S 64, November 2009

[37] Maier-Paape S., Imkeller P.: Investor Psychology Models, S 30, November 2009

[38] Scholtes S.: Elastic Catenoids, S 23, Dezember 2009

[39] Bemelmans J., Galdi G.P. and Kyed M.: On the Steady Motion of an Elastic Body Moving Freely in aNavier-Stokes Liquid under the Action of a Constant Body Force, S 67, Dezember 2009

[40] Galdi G.P. and Kyed M.: Steady-State Navier-Stokes Flows Past a Rotating Body: Leray Solutions arePhysically Reasonable, S 25, Dezember 2009

Page 19: Institutfur¨ Mathematik - · PDF fileInstitutfur¨ Mathematik ... make no further restrictions than in the classical capillary problem without floating bodies. ... (5) Here, L is

[41] Galdi G.P. and Kyed M.: Steady-State Navier-Stokes Flows Around a Rotating Body: Leray Solutions arePhysically Reasonable, S 15, Dezember 2009

[42] Bemelmans J., Galdi G.P. and Kyed M.: Fluid Flows Around Floating Bodies, I: The Hydrostatic Case, S 19,Dezember 2009

[43] Schikorra A.: Regularity of n/2-harmonic maps into spheres, S 91, Marz 2010

[44] Gerlach H. and von der Mosel H.: On sphere-filling ropes, S 15, Marz 2010

[45] Strzelecki P. and von der Mosel H.: Tangent-point self-avoidance energies for curves, S 23, Juni 2010

[46] Schikorra A.: Regularity of n/2-harmonic maps into spheres (short), S 36, Juni 2010

[47] Schikorra A.: A Note on Regularity for the n-dimensional H-System assuming logarithmic higher Integrability,S 30, Dezember 2010

[48] Bemelmans J.: Uber die Integration der Parabel, die Entdeckung der Kegelschnitte und die Parabel alsliterarische Figur, S 14, Januar 2011

[49] Strzelecki P. and von der Mosel H.: Tangent-point repulsive potentials for a class of non-smooth m-dimensionalsets in Rn. Part I: Smoothing and self-avoidance effects, S 47, Februar 2011

[50] Scholtes S.: For which positive p is the integral Menger curvature Mp finite for all simple polygons, S 9,November 2011

[51] Bemelmans J., Galdi G. P. and Kyed M.: Fluid Flows Around Rigid Bodies, I: The Hydrostatic Case, S 32,Dezember 2011

[52] Scholtes S.: Tangency properties of sets with finite geometric curvature energies, S 39, Februar 2012

[53] Scholtes S.: A characterisation of inner product spaces by the maximal circumradius of spheres, S 8,Februar 2012

[54] Kolasinski S., Strzelecki P. and von der Mosel H.: Characterizing W 2,p submanifolds by p-integrability ofglobal curvatures, S 44, Marz 2012

[55] Bemelmans J., Galdi G.P. and Kyed M.: On the Steady Motion of a Coupled System Solid-Liquid, S 95,April 2012

[56] Deipenbrock M.: On the existence of a drag minimizing shape in an incompressible fluid, S 23, Mai 2012

[57] Strzelecki P., Szumanska M. and von der Mosel H.: On some knot energies involving Menger curvature, S 30,September 2012

[58] Overath P. and von der Mosel H.: Plateau’s problem in Finsler 3-space, S 42, September 2012

[59] Strzelecki P. and von der Mosel H.: Menger curvature as a knot energy, S 41, Januar 2013

[60] Strzelecki P. and von der Mosel H.: How averaged Menger curvatures control regularity and topology of curvesand surfaces, S 13, Februar 2013

[61] Hafizogullari Y., Maier-Paape S. and Platen A.: Empirical Study of the 1-2-3 Trend Indicator, S 25, April 2013

[62] Scholtes S.: On hypersurfaces of positive reach, alternating Steiner formulæ and Hadwiger’s Problem, S 22,April 2013

[63] Bemelmans J., Galdi G.P. and Kyed M.: Capillary surfaces and floating bodies, S 16, Mai 2013