UNSTABLE WILLMORE SURFACES OF REVOLUTION SUBJECT TO NATURAL BOUNDARY CONDITIONS
|
|
- Beverly Lucas
- 5 years ago
- Views:
Transcription
1 UNSTABLE WILLMORE SURFACES OF REVOLUTION SUBJECT TO NATURAL BOUNDARY CONDITIONS ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Abstract. In the class of surfaces with fixed boundary, critical points of the Willmore functional are naturally found to be those solutions of the Euler-Lagrange equation where the mean curvature on the boundary vanishes. We consider the case of symmetric surfaces of revolution in the setting where there are two families of stable solutions given by the catenoids. In this paper we demonstrate the existence of a third family of solutions which are unstable critical points of the Willmore functional, and which spatially lie between the upper and lower families of catenoids. Our method does not require any kind of smallness assumption, and allows us to derive some additional interesting qualitative properties of the solutions.. Introduction Given a smooth immersed surface f : Σ R 3, the Willmore functional is defined by Wf = H dµ g, where g is the Riemannian metric induced by the standard Euclidean inner product, in R 3 along the pull-back of f, dµ g = det g dx is the induced surface element, H = κ + κ / denotes the mean curvature, and κ, κ are the principal curvatures of f. An important feature of the Willmore functional is its invariance under the full Möbius group of R 3. See [5, 6], [8, Section 7.3] and Weiner [7]. A critical point of the Willmore functional is called a Willmore surface and is a solution of the Willmore equation H + HH K = on Σ where denotes the Laplace-Beltrami operator on f and K = κ κ is the Gauss curvature. In the literature there are many results concerning the existence and regularity of Willmore surfaces. The case where f is a closed immersed surface has been well-studied, and we only mention here the papers [, 7, 6, 7,, 4]. For the case where f is an immersed surface with boundary much less is known. In this setting one must supplement with appropriate boundary conditions. A discussion of the range of possibilities can be found in Nitsche [9]. One possible choice is the Dirichlet boundary conditions where the boundary of the surface and the tangent bundle at the boundary are prescribed. Another is the natural or Navier boundary conditions. In this case the position and the mean curvature H are prescribed as boundary data. The latter boundary condition arises naturally from the formula for the first variation see 4 below. The Navier Willmore boundary value problem is that which we shall study in this paper. For both types of boundary conditions, existence results obtained Mathematics Subject Classification. 35J4 and 35B38 and 58E99 and 49J45 and 49Q. Σ
2 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER through perturbative methods can be found in [9, ]. Schätzle in [3] proves the existence of Willmore surfaces satisfying Dirichlet boundary conditions in S n. These are embedded if their Willmore energy is small enough. Uniqueness theorems without symmetry assumptions are due to Palmer [] and the first author [9]. So far other existence results are known only in the class of embedded surfaces of revolution. It is interesting to study this special case in order to understand the possible qualitative behavior of the solutions and which phenomena may occur. Existence results for Willmore surfaces of revolution subject to Dirichlet and Navier boundary conditions have been obtained in [,, 3] and [, 3, ] respectively. Before stating our new result we must first fix some notation. Given a smooth and positive function u : [, ] R we consider the surface of revolution Γu = f u [, ] [, π], where fu is the embedding associated to u defined by f u : x, ϕ x, ux cos ϕ, ux sin ϕ, x [, ], ϕ [, π]. The surface Γu is said to be generated by u. For such a surface the mean curvature and the Gauss curvature are given by Hx = H[u]x = u x + u x + 3 3/ ux, and + u x u x Kx = K[u]x = ux + u x, respectively. The Willmore functional reads Wu := Wf u = π u x + u x + 3/ ux ux + u x dx. + u x Given α >, let us denote by S α the set of positive, symmetric functions in H, with boundary value α; that is, S α = {u H, ux >, ux = u x, x [, ] and u± = α}. The first variation of the Willmore functional W at u S α H 4, in the direction of a function ϕ H, H, is given by cf. [, Lemma 6] 4 d ] dt Wu + tϕ t= = π [H uϕ π uϕ H + HH K dx. + u Critical points then solve the following Navier boundary value problem: 5 6 H + HH K = in,, u± = α, H± =.
3 UNSTABLE WILLMORE SURFACES OF REVOLUTION 3 Note that 5 is equivalent to cf. [, Section.] ux d ux + u x dx + u x H x 7 + Hx u x + + u x 3 ux =, x,. + u x By also expressing H in terms of u one observes that 5 is a highly nonlinear ODE of fourth order. Furthermore, the boundary conditions H± = are nonlinear as well. Particular solutions of 5-6 are given by the family of catenaries u b x = b coshbx, as long as the equation α = u b ± = coshb has a positive solution. There is a critical b boundary value α below which catenaries cease to exist, given by α = coshy inf y, y = coshb b.588 with b = satisfying coshb = b sinhb. For α > α the equation α = coshb has precisely two solutions < b b α < b < b α <, and since H[u b ] H[u b ], the functions u b and u b are solutions of 5-6. As Wu and Wu b = Wu b =, these functions are global minimisers of W in the class S α. It is natural to expect the existence of a third critical point of W between the two catenaries. By carrying out a bifurcation analysis it was shown in [] that b, u b is the unique bifurcation point for 5-6 on the branch b b, u b in the class of symmetric solutions; in particular one has: Theorem. [, Theorem.3]. There exists an ε > such that for α α, α +ε the boundary value problem 5-6 has at least three solutions in S α. One of these is not a minimal surface. In order to extend this result for larger values of α it is natural to first attempt a straightforward adaptation of classical mountain pass theory. The min-max characterisation of the Palais-Smale limit would then automatically imply instability. Such a strategy was successfully carried out by Struwe see [5] and the references therein to prove the existence of unstable solutions to the Plateau problem via an adaptation of classical Ljusternik-Schnirelmann theory. Palais-Smale sequences for the Willmore functional have been recently investigated in [4], where it is proven that local Palais- Smale sequences that are uniformly bounded in W, W, possess a convergent subsequence. The limit is shown to satisfy a system of differential equations which, under a smallness condition on the energy, is equivalent to the constrained Willmore equation. The indication from [4] is thus that for a Palais-Smale approach to be successful, one typically requires some kind of energy assumption. By following a different approach we are able to avoid any smallness assumption in our case and obtain the following global result. Theorem.. For every α > α the boundary value problem 5-6 has, in addition to the two catenaries u b and u b, a third smooth solution u S α which is unstable in the sense that u is not a local minimum of W in S α. Furthermore
4 4 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Figure. Numerically calculated unstable solutions between the two catenaries for α = 5 left and α = right. See also Remark 3.7. i H[u] < in, ; ii u and H[u] are strictly convex in [, ]; iii u b x < ux < u b x for x,. To our knowledge, this is the first existence result for unstable Willmore surfaces satisfying prescribed boundary conditions. A sufficient condition for unstable closed Willmore surfaces is given in [] together with some examples. See also [8]. The proof of Theorem. essentially consists of two steps. In the first step, we show that the Willmore equation is equivalent to certain singular first order ODEs for the mean curvature H[u]. Theorem.3. Let u : [, ] R be a smooth, positive, symmetric function. Then u is a solution of 5 if and only if for all x [, ] 8 H xux + u x ux xu x Hxuxx + uxu x Hx + u x ux =. + u x Furthermore, if u is a solution of 5 then there exists a constant C such that for all x [, ] 9 H xuxu x uxhx + u x + u x + Hx + u x = C. The converse holds provided u is not identically constant on [, ]. The proof of this result will be given in Section and relies on the scale and translation invariance of the Willmore functional. By evaluating 8 at x = one readily confirms that a smooth, symmetric solution of 5 with u± = ±u ± satisfies H± = or H± = u + u. This observation allows us in the second step to obtain a solution of 5-6 by constructing a symmetric solution of 5 with u± = α, u ± = ±α in such a way that the case H± = α is excluded. In this manner we are led to consider +α
5 UNSTABLE WILLMORE SURFACES OF REVOLUTION 5 a particular Dirichlet boundary value problem see 5 which is accessible to the direct method of the calculus of variations. We approach this problem in Section 3 by minimising W over the sets Ñ α,β := {u S α C, [, ] : u = β, u x α for all x [, ]} for β > α. The desired solution u is then obtained as the limit of minimisers when β α. Perhaps surprisingly, the constraint u α ensures that u is convex which in turn implies that H± =. At the same time this method yields the instability of our solution by exploiting the strict monotonicity of the map β inf Wv. v Ñα,β Such monotonicity properties were used in [] to prove the existence of solutions to the Navier boundary value problem for α < α. The qualitative properties i iii are finally obtained by combining the minimising property of u with 8 and 9. Acknowledgements The authors thank Friedhelm Schieweck for his help with the numerical experiments. Financial support for Glen Wheeler from the Alexander-von-Humboldt Stiftung and for Anna Dall Acqua and Klaus Deckelnick from the Deutsche Forschungsgemeinschaft DFG for the project Randwertprobleme für Willmoreflächen - Analysis, Numerik und Numerische Analysis DE 6/5. is gratefully acknowledged.. Proof of Theorem.3 An important feature of the Willmore functional is its invariance with respect to conformal transformations. It is natural to expect that this large class of invariances yields extra information at the boundary, in the spirit of the Pohozaev identity. In the case under consideration, we can obtain quite a lot of additional information. For this purpose it is useful to derive the first variation of W. Given a compact surface Σ with boundary and a sufficiently smooth immersion f : Σ R 3 we denote by Wf := H + HH K the Euler-Lagrange operator of W in L at f, and use φ := φ, ν ν, with ν the exterior unit normal vectorfield, to denote the normal projection of a vectorfield φ. We also use the notation H := Hν to denote the mean curvature vector. Lemma. [5, Theorem.]. Let Σ be a compact surface with boundary, t R, and δ >. For a smooth variation h : Σ t δ, t + δ R 3 with φ = t h we have d Wh, t = Wh, t, φ + ω dµ g. dt Here, given a frame {τ i } i= on T Σ, the one-form ω is defined by ωτ i = φ, ih i φ, H H φ, i h, and ω = Σ g ij i ωτ j where i is the derivative along τ i, and i is the covariant derivative along τ i. Choosing h in according to the invariances of the Willmore functional allows us now to carry out the i,j=
6 6 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Proof of Theorem.3. We first prove that every smooth, positive, symmetric solution of 5 satisfies 8 and 9. The opposite implications will be discussed together afterwards. Consider the cylinder Σ = [, ] [, π], where we have identified and π, and set f u : Σ R 3 to be the embedding associated to u as in. As u satisfies 5, f u is clearly a Willmore surface and Wf u. Let x, x [, ] with x < x, and consider the cylinder Σ = [x, x ] [, π], where we have again identified and π. Let h : Σ t δ, t + δ R 3 be a family of sufficiently smooth immersions as in Lemma. satisfying h, t = f u. Denote by Σ and by Σ the left and right boundaries of Σ respectively, so that Σ = Σ Σ, with j Σ the circle given by j Σ = {xj } [, π], j =,. We denote by η j the interior unit conormal of j Σ. The embedding induces a global orthonormal frame {τ x, τ ϕ } for the tangent bundle over Σ, where τ x = + u x x, and τ ϕ = ux ϕ. Note that via the embedding this induces the following frame { τx hx, ϕ, t, τ ϕ hx, ϕ, t } = { τ x f u x, ϕ, τ ϕ f u x, ϕ } { =, u x cos ϕ, u x sin ϕ,, sin ϕ, cos ϕ } + u x of the tangent space at x, ux cos ϕ, ux sin ϕ. In these coordinates η ϕ = τ x hx, ϕ, t, and by symmetry η ϕ = τ x hx, ϕ, t. Since h, t = f u is a Willmore surface, Lemma. combined with Stokes theorem note that ω is a -form yields d dt Wh = t=t = = Σ i,j= Σ Σ g ij i ω j dµ g = ω dµ g Σ ωη dµ g + ωτ x dµ g Σ Σ ωη dµ g ωτ x dµ g, where dµ j g is the induced metric on j Σ. Using the explicit expression for τx given above and taking note of the definition of ω from Lemma., we find d dt Wh t=t [ = φ, xh x φ, H H ] φ, x f u + u x dµ g Σ Σ [ φ, xh x φ, H H ] φ, x f u + u x dµ g
7 = π π UNSTABLE WILLMORE SURFACES OF REVOLUTION 7 [ φ, xh x φ, H H ] φ, x f u [ φ, xh x φ, H H φ, x f u ux + u x dϕ x=x ] ux + u x dϕ. x=x In order to proceed we need to choose the direction of the variation φ. It is natural to consider variations parallel to the generators of the Möbius group of R 3, since for such φ the Willmore functional is invariant and the left hand side of is automatically zero. For the purposes of proving 8 and 9 it will be enough to consider the invariance of W under scaling and translation respectively. We begin with the scale invariance of W. Consider the family of immersions hx, ϕ, t = tx, ux cosϕ, ux sinϕ and take t =. Then φx, ϕ = x, ux cos ϕ, ux sin ϕ = f u x, ϕ. The exterior unit normal ν is given by νx, ϕ = + u x u x, cos ϕ, sin ϕ, and xh x, ϕ = for the first term φx, ϕ, xh x, ϕ x Hx, ϕ, νx, ϕ νx, ϕ = H xνx, ϕ. We thus have = H x f u x, ϕ, νx, ϕ = H x xu x ux + u x. Note that the final expression no longer depends on ϕ. Keeping in mind 3, a direct computation simplifies the second term as x φx, ϕ, Hx, ϕ = x Hx xu x + ux + u x = H x xu x ux + u x For the third term we have + H x x + uxu x x + uxu x Hx ux + u x. H x, ϕ φx, ϕ, x f u x, ϕ = Hx x + uxu x. As h is a continuous family of rescalings of f u, the scale invariance of W implies that the left hand side of vanishes. Inserting the equalities computed above allows us to write down the right hand side of explicitly. We obtain H x = π ux + u x ux xu x Hx + u x x + uxu x + Hx x ux + u x x + uxu x. x Clearly, as u = and H = equation 8 holds at x =. Formula 8 follows for x > by taking x = x and x = in, while taking x = x and x = in implies 8 for x <.
8 8 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER The case of translations gives equation 9 in a similar manner. Let us consider the family of immersions hx, ϕ, t = x, ux cosϕ, ux sinϕ + t,, with t =. Then φx, ϕ =,,. We have for the first term φx, ϕ, x H x, ϕ The second term becomes x φx, ϕ, Hx, ϕ For the third term we have = u xh x + u x. u xhx = x + u x = H xu x + u x Hx ux + u x + Hx. H x, ϕ φx, ϕ, x f u x, ϕ = Hx. As h is a continuous family of translations, the translation invariance of W combined with the above formulae simplify to H xuxu x uxhx + u x + u x + Hx x + u x =. x Since x, x [, ] are arbitrary, it follows that there exists a constant C such that which is 9. H xuxu x uxhx + u x + u x + Hx = C, for x [, ], + u x Let us now show that every solution of 8 satisfies 5. Denoting the left hand side of 8 by L[u]x, a long but straightforward computation shows that 3 = d dx L[u]x = uxux xu x H + HH K x, x [, ]. Let E = {x [, ] ux xu x = }. Clearly, 5 holds at all points x [, ]\E. Due to the smoothness of u, it is sufficient to show that [, ]\E is dense in [, ]. If this were not the case, there would be an open interval x δ, x + δ such that ux xu x = in x δ, x + δ [, ] =: I. This implies ux = ax in I for some constant a, and therefore L[u]x 4a + a in I, which contradicts 8. Finally we show that a solution to 9 that is not identically constant in [, ] satisfies 5. Denoting the left hand side of 9 by M[u]x, a computation shows that 4 = d dx M[u]x = uxu x H + HH K x, x [, ]. Let E = {x [, ] u x = }. Note that E [, ] since u is not identically constant on [, ]. Clearly, 5 is satisfied at x [, ]\E. As above, it is sufficient
9 UNSTABLE WILLMORE SURFACES OF REVOLUTION 9 to show that [, ] \ E is dense in [, ]. If this were not the case, there would be an open interval I E such that there exists x I that is an accumulation point for [, ] \ E. Then by continuity 5 is satisfied at x. On the other hand, since I E there exists a positive constant a such that ux a for x I and therefore H + HH K x = 4a, 3 a contradiction. This finishes the proof of Theorem.3. Remark.. In the proof of Theorem.3 we have used the translation invariance only in the direction,,. In other directions the integrand retains a dependence on the angle ϕ and hence no interesting equation can be derived. This also occurs if we use the invariance with respect to rotations. It seems that we cannot use the invariance with respect to inversions since we cannot write it as a continuous transformation. Remark.3. One can also derive formulas 8 and 9 from 5 by integrating 3 and 4 on intervals x, x. The surprising fact about 3 and 4 is that the multiplication of the Willmore operator by suitable factors enables us to recognise a derivative. However it is difficult to guess the right form of these factors in advance. We have therefore chosen to use the invariances of the Willmore functional to prove 8 and 9 because this approach seems to be more natural and easier to generalise. Theorem.4. Let u : [, ] R be a smooth, positive, symmetric solution of 5 satisfying u = u. Then, H = or H = u + u. Proof. By Theorem.3 u satisfies 8 for all x [, ]. Taking x = in 8 and using that u = u we obtain Hu + u u + u H =, from which the claim follows. Corollary.5. Let α > α and u : [, ] R be a smooth, positive, symmetric, convex solution of the Dirichlet Willmore boundary value problem { H + HH K = in,, 5 u± = α, and u ± = ±α. Then u solves 5-6 and Γu is not a minimal surface. Proof. Since u is convex we have u x and hence H = u + u + 3/ u + u u + u. Theorem.4 then implies that H =. Finally, if Γu were a minimal surface, i.e. H, then [8, Proposition 5.] would imply that u is a catenary. This is impossible due to α > α and the boundary values of u and u.
10 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER In the following proposition we collect some further consequences of Theorem.3. We shall use 6 to prove that H[u] < in,, while we have included 7 because we feel that such a result is of independent interest. Proposition.6. Let u : [, ] R be a smooth, positive, symmetric solution of 5. Then H[u] satisfies 6 u xh x + C x + uxu x =. Furthermore, u is a solution of the second order differential equation 7 ux u x + u x 3/ ux + u x + Cux + x = D, in [, ]. Here C is as in 9 and D is a constant of integration. Proof. The differential equation 6 is obtained from Theorem.3 by observing that 8 can be rewritten as H xuxu x + u x uxhx + u x + Hx x + uxu x + H xux =, + u x and using 9. The second statement in the claim follows from the first using d [ ] ux Hx = ux H x + d ux dx dx + u x together with the fact that x + uxu x = dx d x + ux, integrating once, and using Existence of a convex solution to 5 In view of Corollary.5 we obtain a solution of 5-6 with H by constructing a convex solution of the Dirichlet Willmore boundary value problem 5. For later purposes it is convenient to consider the family of Dirichlet boundary value problems { H + HH K = in,, 8 u± = α, and u ± = β, for boundary slopes β [ α, sinhb α. As in the introduction, we denote by b = b α, b = b α with < b α < b < b α < the two solutions of the equation α = coshb. Using the properties of the function y coshy one sees that b y coshy 9 < α y b α, b α. y For β [ α, sinhb α we have sinhb < β α = coshb < sinhb, b so that in the parameter range we consider the two catenaries u b, u b are not solutions of 8. Next, let us introduce + β α β := arcsinh β.
11 UNSTABLE WILLMORE SURFACES OF REVOLUTION Note that implies that arcsinh β b α, b α so that 9 with y = arcsinh β implies α > α β, β [ α, sinhb α. Existence of solutions to 8 for arbitrary α > and β R has been obtained in [] by minimizing over suitable subsets of H, the hyperbolic Willmore functional uxu x W h u = + u x + + u x dx, 3/ + u x ux which is the elastic energy of the graph of u as a curve in the hyperbolic half-plane. Motivated by the theory developed in [, Section 4..3] we introduce the following set: Ñ α,β := {u S α C, [, ] u = β, u x α for all x [, ]}. As we shall see later, the constraint on u will ensure the convexity of our solution. In addition we have for all u Ñα,β and therefore α ux = x u x dx α x, x [, ]. ux αx, x [, ]. In view of and the fact that β α, we see that the function ūx := b coshbx + α α β, with b = arcsinh β belongs to Ñα,β, so that this set is not empty. Let M α,β := inf Wu. u Ñα,β As observed by Pinkall and Bryant-Griffiths [6, 4], the Willmore functional and the hyperbolic Willmore functional are related by the identity so that in particular Wu = π W hu π 3 Wu = π W β hu + 4π, + β u x + u x u Ñα,β. Hence, on Ñα,β minimising W is equivalent to minimising W h. Furthermore, by Lemma 4.5 in [], in the minimisation process, we can restrict to functions u Ñα,β additionally satisfying 4 u + x > and + u x cosh u x x for x, ]. ux
12 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Remark 3.. The inequalities in 4 imply ux + 5 x u x, x, ]. arcsinh u x Applying 9 with y = arcsinh u x, this gives 6 u x sinh b αx, where αx = ux, x, ]. x Moreover, note that if the second inequality in 4 is strict, then so are the inequalities 5 and 6. Remark 3.. The second inequality in 4 is strict for minimisers u Ñα,β, β [ α, sinhb α that satisfy 5 cf. [, Proof of Proposition 4.8]. For the convenience of the reader we have provided a proof of this statement in the Appendix. In what follows we shall make use of the following technical result: Lemma 3.3. Let α > α and β α, sinhb α]. For each u Ñα,β satisfying 4 and for each γ [α β, α there exists a symmetric, strictly positive v C, [, ] such that v satisfies 4, v± = γ, v = β, α v x > for x, ] and Wv Wu. In addition, if u satisfies u δ α in, ] then also the function v satisfies v δ α in, ]. Proof. See Corollary 4. and its proof in []. That result is formulated using the hyperbolic Willmore functional W h which can be rewritten in terms of W in view of 3. Theorem 3.4. For α > α and β α, sinhb α there exists a convex function u Ñα,β such that Wu = inf v Ñ α,β Wv. The function u belongs to C [, ] and solves the Dirichlet boundary value problem 8. Furthermore, u satisfies 4 as well as 7 u x β, x [, ]. Proof. The existence and regularity of a minimizer u satisfying 8, 4 and 7 can be found in [, Section 4..3]. It remains to show that u is convex. Combining 7 with we deduce that 8 d ux dx x = x u x ux x β α <, x, ]. x Next, we claim that u is injective on [, ]. If not, there would exist x, x in, ] such that x < x and u x = u x. We can choose x such that u x < u x for all x [, x. Let us consider the function ũ : [, ] R, ũx = ux x x. Clearly ũ± = ux x =: α and ũ = u x =: β. Recalling that u x < u x for x [, x and arguing similarly as in 8 we derive ũ x = u x x u x < ux x = α, x [, ],
13 UNSTABLE WILLMORE SURFACES OF REVOLUTION 3 so that ũ Ñ α, β, and β > α. On the other hand, 6 computed for u at x yields β sinhb α, and so we have β α, sinhb α]. Evaluating 5 at x and taking into account that u x = u x = β we find ux x + β arcsinh β = α β. Combining this estimate with 8 we infer that α = ux x > ux x α β. Moreover since u satisfies 4, the same holds for ũ. Lemma 3.3 with α = α, β = β, γ = ux x, and δ = u x implies that there exists a symmetric, strictly positive function ṽ C, [, ] satisfying 4, ṽ± = ux x, ṽ = u x, ṽ x u x α for x [, ] and Wṽ Wũ. Recalling that u x = u x we deduce that the function { x x ṽ for x [ x, x ], vx := x ux for x [, x x, ], belongs to Ñα,β. Furthermore, Wv = Wṽ + 4π Wũ + 4π = Wu 4π x Hx ux + u x dx x Hx ux + u x dx x x Hx ux + u x dx. Since u is a mimimum of W over Ñα,β we deduce that H on [x, x ]. It is well known that then necessarily u [x,x ] is a piece of a catenary cf. [8, Proposition 5.]. This however contradicts the fact that u x = u x. As a consequence, u must be injective on [, ], so that u is strictly increasing as u < u and we finally infer that u is convex. Next, we need a result concerning the monotonicity behaviour of β M α,β. Lemma 3.5. Let α > α and β, β [ α, sinhb α with β < β. Then M α,β < M α,β. Proof. See the Appendix. Theorem 3.6. Let α > α. Then there exists a convex function u Ñα, α such that Wu = inf v Ñ α, α Wv. The function u belongs to C [, ] and solves the Dirichlet boundary value problem 5. Proof. Let β k k N be a sequence in α, sinhb α with lim k β k = α. By Theorem 3.4, for each k N there exists a convex function u k Ñα,β k such that
14 4 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Wu k = inf v Ñ α,βk Wv and u k is a solution of 8 with β = β k. Obviously we have the uniform bounds 9 u k x α, u kx α, x [, ], k N, while Lemma 3.5 implies that 3 Wu k = M α,βk < M α, α, k N. Furthermore we show in the Appendix that there exists a constant c α > such that 3 u k x c α, x [, ], k N. As a consequence, u k k N is uniformly bounded in H, so that, after possibly extracting a subsequence, there exists u H, with 3 u k u in H, and u k u in C [, ]. Clearly, u is strictly positive, symmetric, convex and we have u± = α, u = α. It is not difficult to see that one can approximate u in H, by a sequence of functions belonging to Ñα, α so that we infer Wu M α, α. On the other hand, the weak lower semicontinuity of W together with 3 yields so that Wu lim inf k Wu k lim sup Wu k M α, α Wu, k 33 lim k Wu k = Wu = M α, α. Next, a short calculation together with 3 and 33 shows that π u k x + u k x 5 = Wu k + π π Wu + π =. π u kx u x dx u k x + u k x 3 dx π u k xu k xu x dx + π + u k x 5 u x + u x 3 dx ux + u x dx π u k x dx + u k x u k xu x dx + u k x 5 uxu x + u x 5 With the help of 9 and 3 we infer that u k u in L, so that u k k N converges strongly to u in H,. We can use this information in order to establish that u is a smooth solution of 5. Indeed, since u k is a solution of 8 we have W u k, ϕ =, ϕ H,, k N, dx
15 UNSTABLE WILLMORE SURFACES OF REVOLUTION 5 where the first variation of W in direction ϕ H, is given by the formula cf. 9, [] W v, ϕ = π π + π vxv xϕ x dx 5 + v x 5 π vxv xv x ϕ x dx + v x 7 Letting k we deduce that v xϕ x dx vx + v x 3/ v x ϕx ϕx + v x 5 vx + v x W u, ϕ =, ϕ H,, dx. and proceeding as in the proof of Theorem 4, Step in [] we find that u is a smooth solution of 5. Remark 3.7. Let us emphasize that the constraint u α in the definition of Ñ α,β appears to be crucial in order to construct convex solutions. This observation is based on the results of numerical experiments conducted with the algorithm described in [, Section 7], which calculates approximate solutions of 8 via the L -gradient flow of W. The corresponding solutions are therefore in general local minima of W in the class N α,β = {u S α C, [, ] : u = β}. On the left hand side of Figure we display two solutions for α = β = 3, while the pictures on the right hand side show their corresponding mean curvature H. We remark that the lower solution does not belong to Ñ3, 3, and has energy W.47 while the energy of the upper convex solution is W Note also that the values of H± numerically confirm the statement of Theorem.4. Proof of Theorem.. Fix α > α. We already know that the two catenaries x coshb iαx, i =,, b i α are solutions of 5-6. The existence of a third solution which is convex follows immediately by combining Corollary.5 and Theorem 3.6. Furthermore, denoting by u k k N the sequence occuring in the proof of Theorem 3.6 we infer with the help of 3 that Wu k < Wu, k N. Since u k S α and u k u, k in H,, the function u cannot be a local mimimum of W in S α. Proof of i. We claim that the mean curvature H of u is either strictly positive or strictly negative on,. In view of the symmetry of H it is enough to prove the claim on [,. Assume that there exists an x [, such that Hx =. Then there would also exist an x x, such that H x =, and hence by 6 C x + ux u x =. As u x > in, ] it follows that C =, which upon reinsertion in 6 gives that H is a constant function and hence H, which contradicts Corollary.5. Therefore H is of fixed sign on,.
16 6 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER Figure. Numerically computed solutions to 5 left and their mean curvature right in the case α = 3. In order to determine the sign of H we now compute xu Hx + u x x ux dx d = arccosh + u x dx + u x x dx ux = arccosh + α + α α > arccosh + α + α 34 = since the function α arccosh + α +α is strictly increasing. As u Ñα, α, α we have u x α which together with yields 35 xu x ux α for x [, ]. Assume that H > on,. Combining 34 and 35 shows xu Hx + u x x ux dx >,
17 UNSTABLE WILLMORE SURFACES OF REVOLUTION 7 which is impossible. Hence Hx < for all x,, which proves i. Proof of ii. We are now in a position to show that u and H are strictly convex. Strict convexity of u follows immediately by solving 3 for u and using Hx < : u x = Hx + u x u x ux >, x [, ]. In order to see that H is strictly convex, we first observe that evaluating 9 at the origin gives C = uh + H <. Differentiating 6 and using 35 which, due to the symmetry of u, is valid in [, ] as well as i, it follows for all x, that H x = C ux x xu ux + u x 3 ux u x ux C + u x + u x ux ux = C + u x + u x 3 Hx + + u x ux ux ux + u x 3 = CHx ux >. Proof of iii. Let us first show that 36 ux > u b x = b coshb x, x,, where b = b α. Since α [ ] u = d ux dx = + α dx + u x by i, and as α < sinhb, this implies u > α + α > α coshb = b = u b, uxu xhx dx < so that 36 holds at the origin. Set x = inf { x [, ] ux = u b x }. Since 36 holds at x =, we have x, ]. Assume that x <. Clearly 37 u x u b x. Since ux = u b x we deduce with the help of coshb x b x = ux x α, so that by 9 b x b or b x b. Since x < and b < b, this in particular implies b x < b. By Theorem 3.6, u is a minimiser in Ñα, α. Remark 3. followed
18 8 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER by Remark 3. thus yields that ux u x coshb x > sinh b = sinh b x = sinhb b x x = u b x by the definition of b and since b x < b. This contradicts 37 so that x =, proving 36 on [,. The claim on, follows by the symmetry of u and u b. Let us finally show that 38 ux < u b x = b coshb x, x,, where b = b α. Set x = sup { x [, ] u x = u b x }. Clearly x < and u x > u b x for x x, ]. Let us assume that x >. We have u x = u b x = sinhb x and ux u b x = u b x u x dx <. x Therefore, ux < u b x = coshb x + u x = x x b x arcsinh u x. On the other hand 5 computed in x yields ux + u x x arcsinh u x, a contradiction. Hence x = which implies that u x > u b x for x, ]. Integration yields 38 on [,, and the symmetry of u and u b gives 38 on,. This completes the proof of Theorem.. Appendix Proof of Remark 3.. If the second inequality in 4 were not strict, then there would exist an x, such that ux + 39 ux = + u x cosh u x x. ux Let Note that ux = u γ x and u γ x = γ cosh γx, where γ = u γx = sinhγx = + u x. ux cosh γx = u x, where we used 39 for the last equality. Since u Ñα,β this implies u γx u γx = u x α for x [, x ]. As a consequence the function { uγ x for x [ x vx :=, x ], ux otherwise, belongs to Ñα,β and Wv Wu. Since u is a minimiser of W in Ñα,β we infer that Wv = Wu and hence H[u] on [ x, x ]. It follows from [8, Proposition 5.] and the boundary values that u u γ on [ x, x ]. Since both u and
19 UNSTABLE WILLMORE SURFACES OF REVOLUTION 9 u γ solve 5 on, we obtain u u γ on [, ] which is in contradiction with β [ α, sinhb α. Proof of Lemma 3.5. Here we essentially follow the argument of Lemma 3. in [] with minor modifications. Let us first prove that 4 Mα,β < M α,β for all β, β α, sinhb α with β < β. We observe that implies α > α β and α > α β. By Theorem 3.4 there exists a convex function u Ñα,β satisfying 4 such that Wu = inf v Ñ α,β Wv. Since u = β > β there is x, with u x = β. The function ũ : [, ] R, ũx := ux x then satisfies 4, ũ± = ux =: α and ũ = β. In x x view of we have α α. Furthermore, since u is convex we infer that ũ x = u x x u x α α in [, ] so that ũ Ñ α,β. Evaluating 6 at x implies β sinhb α. Since β > α α, we therefore have β α, sinhb α]. As observed earlier, α > α β and so α α β, α]. If α > α, Lemma 3.3 yields the existence of a symmetric, strictly positive function v C, [, ] satisfying v± = α, v = β, v α in [, ], 4 and Wv Wũ. If α = α we simply choose v = ũ. In any case we have v Ñα,β and x Wu = 4π Hx ux + u x dx + 4π Hx ux + u x dx x = Wũ + 4π Wv + 4π M α,β + 4π x Hx ux + u x dx x Hx ux + u x dx x Hx ux + u x dx. We observe that H on [x, ], for otherwise u [x,] would have to be a catenary, contradicting the fact that u = α, u = β and. Recalling that Wu = M α,β we infer 4. In order to complete the proof of Lemma 3.5 it is in view of 4 sufficient to show that 4 Mα,β M α, α for all β α, sinhb α. Fix β α, sinhb α and let u Ñα, α be an arbitrary function satisfying 4. Note that implies α > α β. Since u = α > β there is an x, such that u x = β and < u x < u x, x, x. The function ũx = ux x x then satisfies 4, ũ± = ux =: α and ũ = β. In view of we have x α α and therefore ũ x u x = β < α α for x [, ], so that ũ Ñ α,β. Similarly as above we deduce from, 5, 6 that β α, sinhb α] as well as α α > α β. Choosing v = ũ if α = α, and v according to Lemma 3.3 if
20 ANNA DALL ACQUA, KLAUS DECKELNICK, AND GLEN WHEELER α > α, we obtain a symmetric, strictly positive function v C, [, ] satisfying v± = α, v = β, v α in [, ], 4 and Wv Wũ. As a result Wu Wũ Wv M α,β, from which we deduce 4. This finishes the proof of Lemma 3.5. Proof of 3. We use the argument from the proof of Lemma 4.9 in []. For the convenience of the reader we reproduce the relevant calculations and adapt them to our particular situation. To begin, Wu k = π u k x + + u k x 3 u k x + u k x u k x + u k x dx π u k x u k dx π x dx + u k x + u k x 3 = π u k x β dx + π k. + u k x + β k Since u k α in [, ] we have u kx u k + αx, x [, ] and therefore π + α u k + αx dx Wu β k k + π M α + β α, α + π, k + α as β k α. Solving this inequality for u k and recalling that u k is convex we infer inf u α kx = u k x [,] exp α +α M π α, α + α, which proves 3. References [] M. Bauer and E. Kuwert. Existence of minimizing Willmore surfaces of prescribed genus. Int. Math. Res. Not., 3: , 3. [] M. Bergner, A. Dall Acqua, and S. Fröhlich. Symmetric Willmore surfaces of revolution satisfying natural boundary conditions. Calc. Var. Partial Differential Equations, 393-4:36 378,. [3] M. Bergner, A. Dall Acqua, and S. Fröhlich. Willmore surfaces of revolution with two prescribed boundary circles. J. Geom. Anal.,. On-line first. [4] Y. Bernard and T. Riviere. Local Palais-Smale sequences for the Willmore functional. Arxiv preprint arxiv:94.36, 9. [5] W. Blaschke. Vorlesungen über Differentialgeometrie. Vol. I-III, 99. [6] R. Bryant and P. Griffiths. Reduction for constrained variational problems and k ds. Amer. J. Math., 83:55 57, 986. [7] R.L. Bryant. A duality theorem for Willmore surfaces. J. Differential Geom., :3 53, 984. [8] B. Dacorogna. Introduction to the Calculus of Variations. Imperial College Press, 4. [9] A. Dall Acqua. Uniqueness for the homogeneous Dirichlet Willmore boundary value problem. Preprint Nr. 6/, Universität Magdeburg,. [] A. Dall Acqua, K. Deckelnick, and H.-Ch. Grunau. Classical solutions to the Dirichlet problem for Willmore surfaces of revolution. Adv. Calc. Var., 4: , 8. [] A. Dall Acqua, S. Fröhlich, H.-Ch. Grunau, and F. Schieweck. Symmetric Willmore surfaces of revolution satisfying arbitrary Dirichlet boundary data. Adv. Calc. Var., 4: 8,.
21 UNSTABLE WILLMORE SURFACES OF REVOLUTION [] K. Deckelnick and H.-Ch. Grunau. A Navier boundary value problem for Willmore surfaces of revolution. Analysis, 93:9 58, 9. [3] H.-Ch. Grunau. The asymptotic shape of a boundary layer of symmetric Willmore surfaces of revolution. Preprint Nr. 9/, Universität Magdeburg,. [4] U. Hertrich-Jeromin and U. Pinkall. Ein Beweis der Willmoreschen Vermutung für Kanaltori. J. Reine Angew. Math., 43: 34, 99. [5] E. Kuwert. The Willmore functional. Lectures held at ETH in 7. [6] E. Kuwert and Y. Li. W, -conformal immersions of a closed Riemann surface into R n. Arxiv preprint arxiv:7.3967,. [7] E. Kuwert and R. Schätzle. Closed surfaces with bounds on their Willmore energy. Arxiv preprint arxiv:9.586,. [8] J. Langer and D.A. Singer. Curve straightening and a minimax argument for closed elastic curves. Topology, 4:75 88, 985. [9] J.C.C. Nitsche. Boundary value problems for variational integrals involving surface curvatures. Quart. Appl. Math, 5: , 993. [] B. Palmer. The conformal Gauss map and the stability of Willmore surfaces. Ann. Global Anal. Geom., 93:35 37, 99. [] B. Palmer. Uniqueness theorems for Willmore surfaces with fixed and free boundaries. Indiana Univ. Math. J., 494:58 6,. [] T. Rivière. Analysis aspects of Willmore surfaces. Invent. Math., 74: 45, 8. [3] R. Schätzle. The Willmore boundary problem. Calc. Var. Partial Differential Equations, 373-4:75 3,. [4] L. Simon. Existence of surfaces minimizing the Willmore functional. Comm. Anal. Geom., :8 36, 993. [5] M. Struwe. Plateau s problem and the calculus of variations. Math. Notes 35, Princeton University Press, Princeton, 989. [6] G. Thomsen. Über konforme Geometrie I: Grundlagen der konformen Flächentheorie. German. Abh. Math. Sem. Hamburg, 3:3 56, 93. [7] J.L. Weiner. On a problem of Chen, Willmore, et al. Indiana Univ. Math. J., 7:9 35, 978. [8] T.J. Willmore. Riemannian geometry. Oxford Science Publications. The Clarendon Press Oxford University Press, New York, 993. Otto-von-Guericke-Universität, Postfach 4, D-396 Magdeburg address: anna.dallacqua@ovgu.de address: klaus.deckelnick@ovgu.de address: wheeler@ovgu.de
Unstable willmore surfaces of revolution subject to natural boundary conditions
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 3 Unstable willmore surfaces of revolution subject
More informationHamburger Beiträge zur Angewandten Mathematik
Hamburger Beiträge zur Angewandten Mathematik Numerical analysis of a control and state constrained elliptic control problem with piecewise constant control approximations Klaus Deckelnick and Michael
More informationNon-radial solutions to a bi-harmonic equation with negative exponent
Non-radial solutions to a bi-harmonic equation with negative exponent Ali Hyder Department of Mathematics, University of British Columbia, Vancouver BC V6TZ2, Canada ali.hyder@math.ubc.ca Juncheng Wei
More informationarxiv: v1 [math.ap] 18 Feb 2013
GAP PHENOMENA FOR A CLASS OF FOURTH-ORDER GEOMETRIC DIFFERENTIAL OPERATORS ON SURFACES WITH BOUNDARY GLEN WHEELER arxiv:1302.4165v1 [math.ap] 18 Feb 2013 Otto-von-Guericke Universität Magdeburg, Fakultät
More informationSINGULAR CURVES OF AFFINE MAXIMAL MAPS
Fundamental Journal of Mathematics and Mathematical Sciences Vol. 1, Issue 1, 014, Pages 57-68 This paper is available online at http://www.frdint.com/ Published online November 9, 014 SINGULAR CURVES
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationQUANTITATIVE RIGIDITY RESULTS FOR CONFORMAL IMMERSIONS
QUANTITATIVE RIGIDITY RESULTS FOR CONFORMAL IMMERSIONS TOBIAS LAMM AND HUY THE NGUYEN Abstract. In this paper we prove several quantitative rigidity results for conformal immersions of surfaces in R n
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationCURVATURE ESTIMATES FOR WEINGARTEN HYPERSURFACES IN RIEMANNIAN MANIFOLDS
CURVATURE ESTIMATES FOR WEINGARTEN HYPERSURFACES IN RIEMANNIAN MANIFOLDS CLAUS GERHARDT Abstract. We prove curvature estimates for general curvature functions. As an application we show the existence of
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationLecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces
Lecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces Ben Andrews Mathematical Sciences Institute, Australian National University Winter School of Geometric
More informationMULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 37, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) MULTIPLE
More informationEstimates in surfaces with positive constant Gauss curvature
Estimates in surfaces with positive constant Gauss curvature J. A. Gálvez A. Martínez Abstract We give optimal bounds of the height, curvature, area and enclosed volume of K-surfaces in R 3 bounding a
More informationPriority Program 1253
Deutsche Forschungsgemeinschaft Priority Program 1253 Optimization with Partial Differential Equations Klaus Deckelnick and Michael Hinze A note on the approximation of elliptic control problems with bang-bang
More informationThe harmonic map flow
Chapter 2 The harmonic map flow 2.1 Definition of the flow The harmonic map flow was introduced by Eells-Sampson in 1964; their work could be considered the start of the field of geometric flows. The flow
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationMinimal Surfaces. December 13, Alex Verzea. MATH 580: Partial Dierential Equations 1. Professor: Gantumur Tsogtgerel
Minimal Surfaces December 13, 2012 Alex Verzea 260324472 MATH 580: Partial Dierential Equations 1 Professor: Gantumur Tsogtgerel 1 Intuitively, a Minimal Surface is a surface that has minimal area, locally.
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
More informationarxiv:math/ v1 [math.dg] 7 Jun 2004
arxiv:math/46v [math.dg] 7 Jun 4 The First Dirichlet Eigenvalue and Li s Conjecture Jun LING Abstract We give a new estimate on the lower bound for the first Dirichlet eigenvalue for the compact manifolds
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationLiouville Properties for Nonsymmetric Diffusion Operators. Nelson Castañeda. Central Connecticut State University
Liouville Properties for Nonsymmetric Diffusion Operators Nelson Castañeda Central Connecticut State University VII Americas School in Differential Equations and Nonlinear Analysis We consider nonsymmetric
More informationMATH Final Project Mean Curvature Flows
MATH 581 - Final Project Mean Curvature Flows Olivier Mercier April 30, 2012 1 Introduction The mean curvature flow is part of the bigger family of geometric flows, which are flows on a manifold associated
More informationOn the Willmore Functional and Applications
On the Willmore Functional and Applications Yann Bernard Monash University La Trobe University January 26, 2017 Some History ca. 1740: Leonhard Euler and Daniel Bernoulli study the 1-dim. elastica ca.
More informationEXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69 4 (217 271 28 December 217 research paper originalni nauqni rad EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM Saeid Shokooh and Ghasem A.
More informationExistence, stability and instability for Einstein-scalar field Lichnerowicz equations by Emmanuel Hebey
Existence, stability and instability for Einstein-scalar field Lichnerowicz equations by Emmanuel Hebey Joint works with Olivier Druet and with Frank Pacard and Dan Pollack Two hours lectures IAS, October
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationDOUBLY PERIODIC SELF-TRANSLATING SURFACES FOR THE MEAN CURVATURE FLOW
DOUBLY PERIODIC SELF-TRANSLATING SURFACES FOR THE MEAN CURVATURE FLOW XUAN HIEN NGUYEN Abstract. We construct new examples of self-translating surfaces for the mean curvature flow from a periodic configuration
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationarxiv: v1 [math.dg] 20 Dec 2016
LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS arxiv:161.06815v1 [math.dg] 0 Dec 016 JUN SUN Abstract. In this paper, we prove that any Lagrangian translating soliton is Lagrangian L-stable.
More informationRIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON
RIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON S. ALEXAKIS, A. D. IONESCU, AND S. KLAINERMAN Abstract. We prove a black hole rigidity result for slowly rotating stationary
More informationKramers formula for chemical reactions in the context of Wasserstein gradient flows. Michael Herrmann. Mathematical Institute, University of Oxford
eport no. OxPDE-/8 Kramers formula for chemical reactions in the context of Wasserstein gradient flows by Michael Herrmann Mathematical Institute, University of Oxford & Barbara Niethammer Mathematical
More informationIntegro-differential equations: Regularity theory and Pohozaev identities
Integro-differential equations: Regularity theory and Pohozaev identities Xavier Ros Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya PhD Thesis Advisor: Xavier Cabré Xavier
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationMinimal submanifolds: old and new
Minimal submanifolds: old and new Richard Schoen Stanford University - Chen-Jung Hsu Lecture 1, Academia Sinica, ROC - December 2, 2013 Plan of Lecture Part 1: Volume, mean curvature, and minimal submanifolds
More informationAffine surface area and convex bodies of elliptic type
Affine surface area and convex bodies of elliptic type Rolf Schneider Abstract If a convex body K in R n is contained in a convex body L of elliptic type (a curvature image), then it is known that the
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationMax-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig Constrained Willmore equation for disks with positive Gauss curvature by Peter Hornung Preprint no.: 37 202 Constrained Willmore equation
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS. 1. Introduction
ON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS BANG-YEN CHEN Abstract. A production function f is called quasi-sum if there are continuous strict monotone functions F, h 1,..., h n with F
More informationMULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN
Electronic Journal of Differential Equations, Vol. 016 (016), No. 97, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIONS
More informationSharp decay estimates for the logarithmic fast diffusion equation and the Ricci flow on surfaces
Sharp decay estimates for the logarithmic fast diffusion equation and the Ricci flow on surfaces Peter M. Topping and Hao Yin 15 December 2015 Abstract We prove the sharp local L 1 L smoothing estimate
More informationStationary Kirchhoff equations with powers by Emmanuel Hebey (Université de Cergy-Pontoise)
Stationary Kirchhoff equations with powers by Emmanuel Hebey (Université de Cergy-Pontoise) Lectures at the Riemann center at Varese, at the SNS Pise, at Paris 13 and at the university of Nice. June 2017
More informationFrom the Brunn-Minkowski inequality to a class of Poincaré type inequalities
arxiv:math/0703584v1 [math.fa] 20 Mar 2007 From the Brunn-Minkowski inequality to a class of Poincaré type inequalities Andrea Colesanti Abstract We present an argument which leads from the Brunn-Minkowski
More informationMinimal Surface equations non-solvability strongly convex functional further regularity Consider minimal surface equation.
Lecture 7 Minimal Surface equations non-solvability strongly convex functional further regularity Consider minimal surface equation div + u = ϕ on ) = 0 in The solution is a critical point or the minimizer
More informationChapter 16. Manifolds and Geodesics Manifold Theory. Reading: Osserman [7] Pg , 55, 63-65, Do Carmo [2] Pg ,
Chapter 16 Manifolds and Geodesics Reading: Osserman [7] Pg. 43-52, 55, 63-65, Do Carmo [2] Pg. 238-247, 325-335. 16.1 Manifold Theory Let us recall the definition of differentiable manifolds Definition
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More information1 Introduction and statements of results
CONSTANT MEAN CURVATURE SURFACES WITH BOUNDARY IN EUCLIDEAN THREE-SPACE Rafael López 1 1 Introduction and statements of results The study of the structure of the space of constant mean curvature compact
More informationOn Ekeland s variational principle
J. Fixed Point Theory Appl. 10 (2011) 191 195 DOI 10.1007/s11784-011-0048-x Published online March 31, 2011 Springer Basel AG 2011 Journal of Fixed Point Theory and Applications On Ekeland s variational
More informationThe effects of a discontinues weight for a problem with a critical nonlinearity
arxiv:1405.7734v1 [math.ap] 9 May 014 The effects of a discontinues weight for a problem with a critical nonlinearity Rejeb Hadiji and Habib Yazidi Abstract { We study the minimizing problem px) u dx,
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationEXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 05, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE OF NONTRIVIAL
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationMinimal Surfaces: Nonparametric Theory. Andrejs Treibergs. January, 2016
USAC Colloquium Minimal Surfaces: Nonparametric Theory Andrejs Treibergs University of Utah January, 2016 2. USAC Lecture: Minimal Surfaces The URL for these Beamer Slides: Minimal Surfaces: Nonparametric
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationEnergy method for wave equations
Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationON HAMILTONIAN STATIONARY LAGRANGIAN SPHERES IN NON-EINSTEIN KÄHLER SURFACES
ON HAMILTONIAN STATIONARY LAGRANGIAN SPHERES IN NON-EINSTEIN KÄHLER SURFACES ILDEFONSO CASTRO, FRANCISCO TORRALBO, AND FRANCISCO URBANO Abstract. Hamiltonian stationary Lagrangian spheres in Kähler-Einstein
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationEffective Theories and Minimal Energy Configurations for Heterogeneous Multilayers
Effective Theories and Minimal Energy Configurations for Universität Augsburg, Germany Minneapolis, May 16 th, 2011 1 Overview 1 Motivation 2 Overview 1 Motivation 2 Effective Theories 2 Overview 1 Motivation
More informationDedicated to Professor Linda Rothchild on the occasion of her 60th birthday
REARKS ON THE HOOGENEOUS COPLEX ONGE-APÈRE EQUATION PENGFEI GUAN Dedicated to Professor Linda Rothchild on the occasion of her 60th birthday This short note concerns the homogeneous complex onge-ampère
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationCalculus of Variations. Final Examination
Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of
More informationThe Theorem of Gauß-Bonnet in Complex Analysis 1
The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationExtremal eigenvalue problems for surfaces
Extremal eigenvalue problems for surfaces Richard Schoen Stanford University - Chen-Jung Hsu Lecture 3, Academia Sinica, ROC - December 4, 2013 Plan of Lecture The general lecture plan: Part 1: Introduction:
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationMEAN CURVATURE FLOW OF ENTIRE GRAPHS EVOLVING AWAY FROM THE HEAT FLOW
MEAN CURVATURE FLOW OF ENTIRE GRAPHS EVOLVING AWAY FROM THE HEAT FLOW GREGORY DRUGAN AND XUAN HIEN NGUYEN Abstract. We present two initial graphs over the entire R n, n 2 for which the mean curvature flow
More informationA DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,
More informationNon-homogeneous semilinear elliptic equations involving critical Sobolev exponent
Non-homogeneous semilinear elliptic equations involving critical Sobolev exponent Yūki Naito a and Tokushi Sato b a Department of Mathematics, Ehime University, Matsuyama 790-8577, Japan b Mathematical
More informationNONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian
More informationFinite time singularities for the locally constrained Willmore flow of surfaces
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part A Faculty of Engineering and Information Sciences 16 Finite time singularities for the locally constrained
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
More informationUNIQUENESS RESULTS ON SURFACES WITH BOUNDARY
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY XIAODONG WANG. Introduction The following theorem is proved by Bidaut-Veron and Veron [BVV]. Theorem. Let (M n, g) be a compact Riemannian manifold and u C
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationarxiv: v1 [math.dg] 19 Jun 2017
LIMITING BEHAVIOR OF SEQUENCES OF PROPERLY EMBEDDED MINIMAL DISKS arxiv:1706.06186v1 [math.dg] 19 Jun 2017 DAVID HOFFMAN AND BRIAN WHITE Abstract. We develop a theory of minimal θ-graphs and characterize
More informationOn some weighted fractional porous media equations
On some weighted fractional porous media equations Gabriele Grillo Politecnico di Milano September 16 th, 2015 Anacapri Joint works with M. Muratori and F. Punzo Gabriele Grillo Weighted Fractional PME
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationIsothermal parameters
MTH.B402; Sect. 3 (20180626) 26 Isothermal parameters A Review of Complex Analysis. Let C be the complex plane. A C 1 -function 7 f : C D z w = f(z) C defined on a domain D is said to be holomorphic if
More informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
More informationOn closed Weingarten surfaces
On closed Weingarten surfaces Wolfgang Kühnel and Michael Steller Abstract: We investigate closed surfaces in Euclidean 3-space satisfying certain functional relations κ = F (λ) between the principal curvatures
More informationOn the distributional divergence of vector fields vanishing at infinity
Proceedings of the Royal Society of Edinburgh, 141A, 65 76, 2011 On the distributional divergence of vector fields vanishing at infinity Thierry De Pauw Institut de Recherches en Mathématiques et Physique,
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationBoundedness and Regularizing Effects of O Hara s Knot Energies
March, 2 2:24 WSPC/INSTRUCTION FILE OHarasEnergies Boundedness and Regularizing Effects of O Hara s Knot Energies Simon Blatt Departement Mathematik ETH Zürich Rämistrasse CH-84 Zürich Switzerland simon.blatt@math.ethz.ch
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationCurvature-homogeneous spaces of type (1,3)
Curvature-homogeneous spaces of type (1,3) Oldřich Kowalski (Charles University, Prague), joint work with Alena Vanžurová (Palacky University, Olomouc) Zlatibor, September 3-8, 2012 Curvature homogeneity
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationOn closed Weingarten surfaces
On closed Weingarten surfaces Wolfgang Kühnel and Michael Steller Abstract: We investigate closed surfaces in Euclidean 3-space satisfying certain functional relations κ = F (λ) between the principal curvatures
More informationThe X-ray transform for a non-abelian connection in two dimensions
The X-ray transform for a non-abelian connection in two dimensions David Finch Department of Mathematics Oregon State University Corvallis, OR, 97331, USA Gunther Uhlmann Department of Mathematics University
More informationREGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS
REGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS DARIO CORDERO-ERAUSQUIN AND ALESSIO FIGALLI A Luis A. Caffarelli en su 70 años, con amistad y admiración Abstract. The regularity of monotone
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More information