Arxiv:1903.00429V1

arXiv:1903.00429v1 [math.AP] 1 Mar 2019 where sa nryfntoa then functional energy an is V eeal smnmzto fa nryfntoa nsm ovxclose convex some in functional space energy Banach an a of minimization as generally ucinlatisamnmmi h set the in minimum a attains functional fti ril st dniyraoal tutrlrqieet na in requirements structural reasonable on if identify conditions e.g. to more framework, is impose article also this could of one closedness, and ity motn ocp nti edi hto aitoa nqaiy hsc This inequality. variational a If of that follows: is as field this in concept important insc that such tion h nryw anyfcso steeatcbnigeeg o graph (1.1) for energy bending elastic the is on i.e. focus ends, mainly we energy The n Energy. ing hn naDl’cu n ainRp o epu discussio helpful for Rupp Fabian and Dall’Acqua Anna thank sasaeo eegemaual ucin and functions Lebesgue-measurable of space a is ne btcePolm n nesad h usinwehra whether question the understands one Problems Obstacle Under uhosal rbeshv aiu plctosi hsc n finan and physics in applications various have problems obstacle Such 2010 nti ril eaeepcal neetdi h aewhen case the in interested especially are we article this In h uhri upre yteLF rn Gatn.10 LGFG 1705 no. (Grant Grant LGFG the by supported is author The phrases. and words Key u D ahmtc ujc Classification. Subject Mathematics P Abstract. rp uvswt airbudr odtosfrwihw st we which for behavior. conditions asymptotic and boundary existence th Navier be with will curves application u main graph assumptions Our general scheme. under movement flow minimizing maximum the the construct where We frameworks available. energy order higher in straint E C NGAIN LW IHOSALSAND OBSTACLES WITH FLOWS GRADIENT ON : E V ssc that such is V : Ñ W C V saBnc Space, Banach a is ψ V 2 u since but , , V eeaieaseps nrydsetflwwt btcecon- obstacle with flow descent energy steepest a examine We 2 1 H ‰ p eoe h Frechét of derivative the denotes 0 sntrqie ob pc ffunctions. of space a be to required not is , 1 rdetFosi ercSae,Hge re D’,Elasti PDE’s, Order Higher Spaces, Metric in Flows Gradient h so-called the , X q E p u W “ q UE’ ELASTICA EULER’S C 0 1 ψ , 2 1. w inf AISM MARIUS p a oesrcua rprista utconvex- just than properties structural more has P 0 C Introduction , 1 C E Ñ q p w Ă rmr 58,3R5 eodr 94,34G20. 49J40, Secondary 35R35; 35K87, Primary obstacle ñ q 1 V C R ψ ULLER , ¨ scne n lsdand closed and convex is : t “ E h usincnb oe more posed be can question The . p u 0 u q ď ψ P : “ ns. D V sacranmaual func- measurable certain a is E ż . E 0 : 1 p u u p 1 p qp x igD Giorgi’s De sing ` v ě q lsi o of flow elastic e u rnil snot is principle V d long-time udy ´ C 2 u E n ol ieto like would and -E) p saHletSpace. Hilbert a is 1 ato h goal the of Part . x p u ψ x q @ q 2 p q x 2 oeabstract more q q E ie energy given 2 5 nb stated be an a.e. v ihfixed with s ustof subset d P e very A ce. d P x. C u C, where , 1 Bend- c p V, R q 2 MARIUS MULLER¨

2 This energy is motivated as follows: If γ C8 a,b ; R is an immersed plane curve, then one can deﬁne its one-dimensionalP Willmorepp q energyq to be

(1.2) W γ : κ2 s ds, p q “ p q żγ where κ denotes the curvature of γ and ds denotes the arclength element. If γ : 0, 1 R2 is a graph curve, i.e. γ x x, u x for x 0, 1 , then E u Wp γq. Ñ The obstacle problem for elasticp q curves “ p inp theqq frameworkP p presentq edp aboveq “ hasp alreadyq been studied in [10] and [21]. Elastic Curves with other obstacle-type confinements have also recently raised a lot of interest, see [11]. In this article we want to construct gradient flows respecting the obstacle condition. In this framework, a gradient flow should be understood as a flow that realizes the steepest possible energy descent in the class of admissible curves. The so-called steepest descent curve approach is also the starting point for [4] to define gradient flows in metric spaces X, d . Since each convex closed subset of a Banach space forms a metric space, onep couldq think that the gradient flow we are interested in is already constructed in [4]. However, in [4] the authors impose a condition on the energy that the elastic energy does not satisfy. We want to comment on this condition shortly. For a metric space X, d one defines the metric slope of p q E : X R to be Ñ E u E v ` E u : lim sup p p q´ p qq . |B |p q “ v u d u, v Ñ p q If X C H is a convex subset of a Hilbert space H and E : H R, E 1,1 “ Ă Ñ P C E , R , then one has (see Proposition 2.16 below) loc pt ă 8u q DE u v u ` E u sup p´ p qp ´ qq . |B |p q“ v u,E v v u ‰ p qă8 || ´ || In order to show existence of the flow, [4, Equation (2.3.1)] requires that E is weakly lower semicontinuous on E which is in general not true for nonlinear|B | evolutions such as the evolutiont byă elastic 8u flow. If this condition is not satisfied, then one obtains the gradient flow only with a relaxed version of E , which is |B | denoted by É in [4]. Nevertheless, we can construct a steepest-descent flow without relaxation|B | for the elastic energy and even in a larger class of higher order energies. Existence and asymptotic behavior of this flow are proved in Theorem 3.19, Theorem 4.10 and Theorem 5.11, which are our main results. Important progress on the field of higher order gradient flows with obstacle constraint has been made in [22] and [23], where H L2 Ω for some open bounded Ω Rn and “ p q Ă 2,2 ∆u 2 dx u W Ω E u : Ωp q P 0 p q . p q “ u W 2,2 Ω #8ş R 0 p q Even though É E in this case, the article provides plenty of new insights in regularity of|B the| “ obstacle |B | gradient flow, which can hardly be discussed in the general framework in [4]. The reason why the energy is extended by infinity is, that one obtains an L2-gradient flow in the end, which is actually more desireable than a gradient flow in W 2,2, since the PDE for the flow is usually easier. Unfortunately, we are unable to construct an L2-gradient flow for the elastic energy respecting the obstacle condition at this point. In [22], the existence problem for this flow is presented as an open question and one of the main motivations of the authors ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 3 to consider parabolic fourth order obstacle problems. The present article can be understood as some progress on this question. The main method to show existence in [4], [22] and [23] is the De Giorgi Mini- mizing Movement Scheme, which we will define later. For fundamental literature on the scheme see [4, Chapter 3]. It serves as a discrete approximation of the flow and has been used by several authors to construct gradient flows. Remarkable is an important application to optimal transport, the so-called JKO-scheme, see [19]. Moreover it has already been applied to the elastic flow without obstacles, see [24]. The article is organized as follows: In Chapter 2 we clarify what we understand by an Obstacle Gradient Flow in a Hilbert Space, show first properties of the defined flow and explain why the definition is consistent with the notion of a steepest energy descent flow in a metric space. Furthermore, we will discuss how the structure of an obstacle problem can be understood in a Hilbert Space which is not necessarily a space of functions. In Chapter 3 we examine a condition that is sufficient for the convergence of the De Giorgi Minimizing Movement Scheme to an Obstacle Gradient Flow that exists for all positive times. In Chapter 4 we find a class of higher order energies for which the aforementioned condition is satisfied and examine space and time regularity of the flow. The Elastic Energy defined in (1.1) is a member of the considered class. Chapter 5 deals with the elastic flow only and uses identities for higher derivatives from Chapter 4 to study long time behavior and asymptotics of the Obstacle Gradient Flow. The main result in Chapter 5 identifies two possible asymptotic behaviors, both of which may occur as we show in the end of the article. Fortunately, one of the two possible behaviors is convergence to a ’critical point’, i.e. a solution of the variational inequality.

2. The Notion of Obstacle Gradient Flows In the following, H denotes a real Hilbert Space with scalar product , and p¨ ¨q norm . For a Frechét differentiable map E : H H and u H, ∇H E or just ∇E|| ¨denotes || the H Gradient of E, i.e. the uniqueÑ element v P H such that DE u φ v, φ for all´φ H. P p qp q “ p q P 2.1. Definition and First Properties. 1,1 R Assumption 1 (Assumptions on the Energy). We assume that E Cloc H, is weakly lower semicontinuous and bounded from below by some α RP. Furthermore,p q we assume that P sup ∇H E w R 0. w BR 0 || p q|| ă 8 @ ą P p q Assumption 2 (Gradient Growth Condition). Another condition we will some- times impose is that there is ζ : R R nondecreasing and continuous such that for each u, v H ` Ñ ` P ∇H E u ∇H E v ζ u v u v . || p q´ p q|| ď p|| || ` || ||q|| ´ || Definition 2.1 (Obstacle Gradient Flow). Let H be a real Hilbert space and C H be a closed convex set. Suppose that E : H R satisfies Assumption 1. A Ă Ñ curve u t t 0 in H is called Obstacle Gradient Flow with initial datum u0 C if it satisfiesp p qq ě P

(1) (Initial Datum) u 0 u0. (2) (Regularity) u Wp 1q“,2 0,T ,H for each T 0, u t C for every t 0. P pp q q ą p qP ě 4 MARIUS MULLER¨

(3) (Flow Variational Inequality) It holds for almost every t 0 that ą F V I u9 t , v u t ∇H E u t , v u t 0 v C. p q p p q ´ p qq ` p p p qq ´ p qq ě @ P Remark 2.2. In the following, we need some more assumptions on u0 to prove existence of the flow. These will be discussed in Section 3. Remark 2.3. Requiring that u t C for every t 0 is only meaningful if we take the C 0, ,H -representativep q P of u, which we willě always do unless otherwise specified. pr 8q q Remark 2.4. From this point we will refer to the Flow Variational Inequality with F V I as an abbreviation. Because of the F V I requirement, our definition of the Obstaclep q Gradient Flow is slightly strongerp thanq the definition of a weak solution in [22, Definition 1.1].

Proposition 2.5 (Energy Dissipation). Assume Assumption 1. Let u t t 0 be p p1qq,1 ě an Obstacle Gradient Flow. Then E u is noncreasing and lies in Wloc 0, . Furthermore u9 L2 0, and ˝ p 8q P p 8q d (2.1) u9 t 2 E u t a.e. ´ || p q|| “ dt p p qq Proof. Recall from [9, Theorem 1.4.35] that u t is almost everywhere Frechét differentiable. Fix t,s 0 be such that u is Frechétp q differentiable at t and F V I holds at t. Note that 0, 1ą r ∇E ru t 1 r u s H is Bochner measurablep q as a continuous function.p qQ ItÞÑ is alsop boundedp q ` p ´ byq Assumptionp qq P 1. One computes using [6, Proposition 1.1.6] E u t E u s 1 1 p p qq ´ p p qq ∇E ru t 1 r u s ,u t u s dr t s “ t s p p p q ` p ´ q p qq p q´ p qq ´ ´ ż0 1 u t u s ∇E ru t 1 r u s dr, p q´ p q . “ p p q ` p ´ q p qq t s ˆż0 ´ ˙ Using that 1 ∇E ru t 1 r u s dr ∇E u t s t p p q ` p ´ q p qq Ñ p p qq p Ñ q ż0 in H we find d (2.2) E u t ∇E u t , u9 t a.e. . dt p p qq “ p p p q p qq Let h t be arbitrary. Use F V I from Definition 2.1 and plug in v u t h to find| | ă p q “ p ` q u9 t ,u t h u t ∇E u t ,u t h u t 0 p p q p ` q´ p qq ` p p p q p ` q´ p qq ě Recall also that t was chosen such that u is Frechét differentiable at t. If h 0, dividing by h and letting h 0 yields ą Ñ ` u9 t 2 ∇E u t , u9 t 0. || p q|| ` p p p qq p qq ě The same procedure as h 0 implies Ñ ´ u9 t 2 ∇E u t , u9 t 0. || p q|| ` p p p qq p qq ď We obtain together with (2.2) d E u t u9 t 2 a.e. dt p p qq “ ´|| p q|| ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 5

This however does not prove that E u is nonincreasing, since the fundamental theorem of calculus holds true iff E ˝u is locally absolutely continuous. To show this, we apply [4, Remark 1.1.3] and˝ verify [4, Definition 1.1.1]. Fix T 0. Since u is continuous, the set u 0,T H is compact. Since ∇E is locallyą Lipschitz, pr sq Ă it is Lipschitz on u 0,T . Let LT 0 denote the Lipschitz constant. Now for pr sq ą t1,t2 0,T Pr s t2 (2.3) E u t1 E u t2 LT u t1 u t2 LT u9 s ds || p p qq ´ p p qq|| ď || p q´ p q|| ď || p q|| żt1 which proves that E u AC2 0,T in the sense of [4, Definition 1.1.1]. Hence the monotonicity. We can˝ useP thep fundamentalq theorem of calculus to obtain

T T 2 d (2.4) u9 s ds E u s ds E u0 E u T E u0 α. || p q|| “´ ds p p qq “ p q´ p p qq ď p q´ ż0 ż0 Letting T and using the monotone convergence theorem proves that u9 L2 0, . TheÑ 8 claim follows. P p 8q Corollary 2.6 (Control of the Time Derivative). Assume Assumption 1. Let u t t 0 be an Obstacle Gradient Flow. Then u9 t ∇E u t for almost peveryp qq tě 0. || p q|| ď || p p qq|| ą Proof. Adopting the notation from the previous proposition and using (2.2) we obtain for a.e. t 0, P p 8q u9 t 2 ∇E u t , u9 t ∇E u t u9 t . || p q|| “ ´p p p qq p qq ď || p p qq|| || p q||

Proposition 2.7 (Global H¨older Continuity and Growth). Let t1,t2 0 and assume Assumption 1. Then ě

u t1 u t2 t1 t2 E u0 α. || p q´ p q|| ď | ´ | p q´ In particular, for each t 0 one has a a ě (2.5) u t u0 ?t E u0 α. || p q|| ď || || ` p q´ Proof. From (2.1) follows immediately that fora t2 t1 0 ě ě

t2 t2 2 u t1 u t2 u9 s ds t2 t1 u9 s ds || p q´ p q|| ď t1 || p q|| ď | ´ |d t1 || p q|| ż a ż t1 t2 E t1 E t2 ď | ´ | p q´ p q The rest of the claim followsa easily choosinga t1 0 and applying the triangle inequality. “

Proposition 2.8 (Uniqueness and Continuous Dependence). Let u0, v0 C be ar- P bitrary and assume Assumptions 1 and 2. Suppose u t t 0, v t t 0 are Obstacle p p qq ě p p qq ě Gradient Flows with initial data u0,v0, respectively. Then

tζ u0 v0 2?max E u0 ,E v0 α?t u t v t u0 v0 e p|| ||`|| ||` t p q p qu´ q. || p q´ p q|| ď || ´ || In particular, if u0 v0 then u v. “ ” 6 MARIUS MULLER¨

Proof. Let t 0 be such that u and v are differentiable at t and F V I holds. Using F V I ąand (2.5) we find p q p q d u t v t 2 2 u t v t , u9 t v9 t dt|| p q´ p q|| “ p p q´ p q p q´ p qq 2 u9 t , v t u t 2 v9 t ,u t v t “´ p p q p q´ p qq ´ p p q p q´ p qq 2 ∇E u t , v t u t 2 ∇E v t ,u t v t ď p p p qq p q´ p qq ` p p p qq p q´ p qq 2 ∇E v t ∇E u t ,u t v t ď p p p qq ´ p p qq p q´ p qq 2 ∇E u t ∇E v t u t v t ď || p p qq ´ p p qq|| || p q´ p q|| 2ζ u t v t u t v t 2 ď p|| p q|| ` || p q||q|| p q´ p q|| 2 2ζ u0 v0 2 max E u0 , E v0 α?t u t v t . ď p|| || ` || || ` t p q p qu ´ q|| p q´ p q|| Since this holds true for almost every ta 0, we can integrate over t and find ą 2 2 u t v t u0 v0 || p q´ p q|| ď || ´ || t 2 2ζ u0 v0 2 max E u0 , E v0 α?s u s v s ds. ` p|| || ` || || ` t p q p qu ´ q|| p q´ p q|| ż0 The Gronwall Lemma implies thea desired estimate. Proposition 2.9 (Approximation of Flows). Assume Assumptions 1 and 2. As- m sume further that u0 m N C is a H-convergent sequence and u0 C is such that m p q P Ă N P u0 u0 in H as m . Assume that for each m , um t t 0 is an Obstacle Ñ Ñ8 m P p p qq ě Gradient Flow with initial value u0 . Then there exists an Obstacle Gradient Flow u t t 0 with initial value u0 and um u in C 0,T ,H for all T 0. p p qq ě Ñ pr s q ą Proof. We show first that for each T 0, um m N defines a Cauchy sequence in C 0,T ,H . Indeed, Proposition 2.8 impliesą p thatq P pr s q 1 m m1 E m E m1 m m T ζ u0 u0 ?max u0 , u0 α?T sup um t um1 t u0 u0 e p|| ||`|| ||` p p q p q´ q 0 t T || p q´ p q|| ď || ´ || ď ď 1 µ µ m m T ζ sup N 2 u ?E u α?T u u e p µP || 0 ||` p 0 q´ q ď || 0 ´ 0 || Therefore there exists u C 0, ,H such that for each T 0, u is the limit P pr 8q q ą of um m N in C 0,T ,H . Since C is closed, we obtain u t C for each t 0. p q P pr s q p q P ą Since uniform convergence implies pointwise convergence we conclude u 0 u0. 1,2 p q “ It remains to show that u Wloc 0, ,H and F V I holds. For this we use [7, Theorem 2.2]. Fix T 0P and h pp 08q . Usingq (2.1)p we getq ą ą T 2 T 2 u t h u t um t h um t || p ` q´ p q|| dt lim || p ` q´ p q|| dt h2 m h2 0 “ Ñ8 0 ż ż 2 T 1 1 lim u9 m t rh h dr dt “ m h2 p ` q Ñ8 ż0 ›ż0 › T 1› › › 2 › lim inf › u9 m t rh dr ›dt m ď Ñ8 0 0 || p ` q|| ż 1 żT h ` 2 lim inf u9 m s ds dr m ď Ñ8 0 0 || p q|| ż T żh ` d lim inf E um s ds “ m ´ds p p qq Ñ8 ż0 ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 7

m e lim inf E u0 E um T h sup E u0 α. “ m p q´ p p ` qq ď e N p q´ Ñ8 P Since the bound is independent of h we obtain with [7, Theorem 2.2] that u W 1,2 0,T ,H . This proves the regularity assertion. For the variational inequalityP let t pp 0 beq suchq that u is diﬀerentiable at t. ą 1 u9 t , v u t lim u t h u t , v u t p p q ´ p qq “ h 0 hp p ` q´ p q ´ p qq Ñ ` 1 lim lim um t h um t , v um t “ h 0 m hp p ` q´ p q ´ p qq Ñ ` Ñ8 t h 1 ` lim lim u9 m s , v um t ds “ h 0 m h p p q ´ p qq Ñ ` Ñ8 żt t h 1 ` lim lim u9 m s , v um s ds “ h 0 m h p p q ´ p qq Ñ ` Ñ8 ˜ żt t h 1 ` u9 m s ,um s um t ds . ` h p p q p q´ p qq żt ¸ Observe that since h 0 ą t h t h 1 ` 1 ` u9 m s ,um s um t ds u9 m s um s um t ds ˇh t p p q p q´ p qq ˇ ď h t || p q|| || p q´ p q|| ˇ ż ˇ ż ˇ ˇ t h s ˇ ˇ 1 ` ˇ ˇ u9 m s u9 m r dr ds ď h t t || p q|| || p q|| ż ż 2 t h 1 ` u9 m s ds ď h || p q|| ˜żt ¸ t h ` 2 u9m s ds E um t E um t h . ď || p q|| “ p p qq ´ p p ` qq żt We obtain that t h 1 ` lim lim u9 m s ,um s um t ds lim inf lim inf E um t E um t h h 0 m ˇh t p p q p q´ p qq ˇ ď h 0 m p p qq ´ p p ` qq Ñ Ñ8 ˇ ż ˇ Ñ Ñ8 ˇ ˇ lim inf E u t E u t h 0, ˇ ˇ “ h 0 p p qq ´ p p ` qq “ ˇ ˇ Ñ because of continuity of E and u. Therefore t h 1 ` u9 t , v u t lim lim u9 m s , v um s ds p p q ´ p qq “ h 0 m h p p q ´ p qq Ñ ` Ñ8 t ż t h 1 ` (2.6) lim inf lim inf ∇E um s , v um s ds. ě h 0 m h p´ p p qq ´ p qq Ñ ` Ñ8 żt Now recall that um u uniformly on t,t h for each h 0 and um m N is 1 Ñ r ` s ą p q P bounded in C 2 t,t h ,H , see Proposition 2.7. Since ∇E is locally Lipschitz, pr ` s q ∇E um ∇E u uniformly in t,t h provided that h 0 is appropriately small. Passing˝ toÑ the limit˝ in (2.6) wer ﬁnd` s ą t h 1 ` u9 t , v u t lim inf ∇E u s , v u s ds ∇E u t , v u t p p q ´ p qq ě h 0 h p´ p p qq ´ p qq “ ´p p p qq ´ p qq Ñ żt 8 MARIUS MULLER¨ where we used the continuity of the integrand in the last step. We obtain F V I . p q

Corollary 2.10 (Admissibility and Approximation). Under Assumptions 1 and 2, the set

G : u0 C there exists an Obstacle Gradient Flow starting at u0 “t P | u is a closed subset of C. Proof. The proof is immediate by Proposition 2.9. 2.2. The HPR-property and generalized Obstacle Problems. In this article we focus on obstacle problems and not just on flows in some convex closed set. There is usually more structure in the admissible set for obstacle problems. In this section, we aim at understanding the obstacle structure geometrically. This will result in an estimate for the gradient along the flow and can be seen as an investigation of sharpness of the inequality in Corollary 2.6. Definition 2.11 (Half Plane Residuum Property). Let H be a Hilbert space. A closed, convex set C is said to have the Half Plane Residuum Property (for short: HPR-property) if for each u C and v H one has u πC v v C. Here πC denotes the nearest point projectionP on CP in H. ` p q´ P Proposition 2.12 (Justification of the Name). A convex set C H has the HPR- Ă property if and only if for each w1, w2 H P (2.7) w1 πC w1 , w2 πC w2 0. p ´ p q ´ p qq ě Proof. Suppose first that C has the HPR-property. Fix w1, w2 H. Then, by [8, Theorem 5.2], P

w1 πC w1 ,u πC w1 0 u C. p ´ p q ´ p qq ď @ P Choosing u : πC w1 πC w2 w2, which lies in C because of the HPR-property, implies (2.7).“ Nowp supposeq` p thatq´ (2.7) holds and let u C and v H be arbitrary. P P Apply (2.7) with w1 v and w2 u πC v v to find “ “ ` p q´ 0 v πC v ,u πC v v πC w2 ď p ´ p q ` p q´ ´ p qq 2 v πC v v πC v ,u πC w2 “ ´|| ´ p q|| ` p ´ p q ´ p qq 2 v πC v v πC v πC u πC w2 ď ´|| ´ p q|| ` || ´ p q|| || p q´ p q|| 2 v πC v v πC v u w2 0 ď ´|| ´ p q|| ` || ´ p q|| || ´ || ď since by construction u w2 v πC v . Here we used in the last step that πC is Lipschitz continuous with´ Lipschitz“ ´ constantp q 1, see [8, Proposition 5.3]. Therefore all inequalities have to be equalities. From equality in the Cauchy-Schwarz estimate one can infer that there is λ 0 such that u πC w2 λ v πC v . Again ą ´ p q “ p ´ p qq because of equality in the above estimates one has v πC v u w2 || ´ p q|| “ || ´ || “ πC u πC w2 u πC w2 . We obtain that λ 1 and hence u πC w2 || p q´ p q|| “ || ´ p q|| “ ´ p q“ v πC v . Rearranging we obtain that u πC v v πC w2 C. ´ p q ` p q´ “ p qP Proposition 2.13 (A Gradient Estimate). Suppose Assumption 1. Let u be an Obstacle Gradient Flow in C. Assume that C satisfies the HPR-property, see Definition 2.11. Then dist ∇E u t , C dist u9 t , C for each t 0. p p p qq qď p´ p q q ě ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 9

Proof. Note that u t πC ∇E u t ∇E u t C because of the HPR property. Using this as a testp q` functionp p forp qqF ´ V I pinp Definitionqq P 2.1 and the inequality in [8, Theorem 5.2] we find p q 2 2 dist ∇E u t , C πC ∇E u t ∇E u t p p p qq q “ || p p p qqq ´ p p qq|| πC ∇E u t ∇E u t , πC ∇E u t ∇E u t “ p p p p qqq ´ p p qq p p p qqq ´ p p qqq πC ∇E u t , πC ∇E u t ∇E u t “ p p p p qqq p p p qqq ´ p p qqq ∇E u t , πC ∇E u t ∇E u t ´ p p p qq p p p qqq ´ p p qqq πC ∇E u t , πC ∇E u t ∇E u t “ p p p p qqq p p p qqq ´ p p qqq ∇E u t ,u t πC ∇E u t ∇E u t u t ´ p p p qq p q` p p p qqq ´ p p qq ´ p qq πC ∇E u t , πC ∇E u t ∇E u t ď p p p p qqq p p p qqq ´ p p qqq u9 t ,u t πC ∇E u t ∇E u t u t ` p p q p q` p p p qqq ´ p p qq ´ p qq inf πC ∇E u t θ, πC ∇E u t ∇E u t “ θ C rp p p p qqq ´ p p p qqq ´ p p qqq P u9 t θ, πC ∇E u t ∇E u t ` p p q` p p p qqq ´ p p qqqs inf u9 t θ, πC ∇E u t ∇E u t ď θ Cp p q` p p p qqq ´ p p qqq P inf u9 t θ πC ∇E u t ∇E u t ď θ C || p q` || || p p p qqq ´ p p qq|| P dist ∇E u t , C inf u9 t θ . “ p p p qq q θ C || p q` || P Finally, the claim is shown once one observes inf u9 t θ inf u9 t θ dist u9 t , C . θ C || p q` || “ θ C ||p´ p qq ´ || “ p´ p q q P P 2.3. The Obstacle Gradient Flow in the Context of Gradient Flows in Metric Spaces. The following Definition is a standard notion for Gradient Flows in Metric Spaces. The notions appear for example in [25] and [3]. Definition 2.14 (Metric Slopes and Gradient Flows). Let X, d be a metric space p q and E : X R be a map. Let u : 0, X be a curve in X that is absolutely continuousÑ in the sense of [4, Definitionr 8q 1.1.1]. Ñ Then we call for each t 0 ě d u s ,u t (2.8) u1 t : lim sup p p q p qq | |p q “ s t s t Ñ | ´ | the metric derivative of u at t. Moreover we define for w X P E w E v ` (2.9) E w : lim sup p p q´ p qq |B |p q “ v w,v w d w, v Ñ ‰ p q the metric slope of E at w X, where the limsup is taken with respect to convergence in X. The curve u isP called EDE-Gradient Flow for E if for each T 0 ą T T 1 2 1 2 E u T u1 s ds E u s ds E u 0 . p p qq ` 2 | | p q ` 2 |B | p p qq “ p p qq ż0 ż0 Here EDE stands for ‘Energy Dissipation Equation’. Remark 2.15. The defining equation for an EDE-gradient flow is inspired by an equation that symbolizes the steepest possible energy descent in the setting of a smooth gradient flow in a Hilbert Space, for details see [25]. 10 MARIUS MULLER¨

Proposition 2.16 (Metric Quantities for Convex Subsets of H). Suppose C H is convex and closed. Set X : C and let d be the distance on C that is inducedĂ by the norm on H. Then the“ following assertions hold true. (1) If u : 0, X is absolutely continuous on X then it is almost everywhere diﬀerentiabler 8q Ñ and

u1 t u9 t , a.e. t 0. | |p q “ || p q|| ě (2) If E C1,1 H, R then for each w H we have P loc p q P ∇E w , v w ` (2.10) E w sup p´ p q ´ q . |B |p q“ v C,v w v w P ‰ || ´ || Proof. We show 1 first. If u is absolutely continuous on C then it is also ab- p q 1,1 solutely continuous on H. By [9, Theorem 1.4.35], it also lies in Wloc 0, and is almost everywhere differentiable. Using (2.8) we find that for eachppoint8q t of differentiability of u d u t ,u s u t u s u1 t lim sup p p q p qq lim sup p q´ p q u9 t . | |p q“ s t t s “ s t t s “ || p q|| Ñ Ñ › › | ´ | › ´ › Claim 1 follows. For Claim 2 let E be as in the› statement› and fix w C. For p q p q › › P 1 1 in (2.10) observe that ď E w E v ` E w lim sup p p q´ p qq |B |p q“ v w,v C w v Ñ P || ´ || 1 1 d ` lim sup E v t w v dt “ v w,v C v w 0 dt p ` p ´ qq Ñ P || ´ || ˆż ˙ 1 1 ` lim sup ∇E v t w v , w v dt “ v w,v C w v 0 p p ` p ´ qq ´ q Ñ P || ´ || ˆż ˙ 1 1 ` lim sup ∇E v t w v ∇E w , w v dt ď v w,v C w v 0 p p ` p ´ qq ´ p q ´ q Ñ P «|| ´ || ˆż ˙ 1 ∇E w , w v ` ` w v p p q ´ q || ´ ||  lim sup sup ∇E v t w v ∇E w ď v w,v C t 0,1 || p ` p ´ qq ´ p q|| Ñ P Pr s ∇E w , v w ` sup p´ p q ´ q ` v w,v C v w ‰ P || ´ || ∇E w , v w ` sup p´ p q ´ q , “ v w,v C v w ‰ P || ´ || where the last equality follows from the continuity of ∇E. Now we show 1 1. Fix v C such that v w. Then by (2.9) ě P ‰ E w E tv 1 t w ` E w lim sup p p q´ p ` p ´ q qq |B |p qě t 0 w tv 1 t w Ñ ` || ´ p ` p ´ q q|| 1 E w E tv 1 t w ` lim sup p q´ p ` p ´ q q ě t 0 v w t Ñ ` || ´ || ˆ ˙ ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 11

1 d ` E tv 1 t w “ v w ´dt t“0 p ` p ´ q q || ´ || ˆ | ˙ 1 ∇E w , v w `. “ v w p´ p q ´ q || ´ || Taking the supremum over all v C such that v w, the claim follows. P ‰ Proposition 2.17 (EDE-Property of the Obstacle Gradient Flow). Let X C “ be a convex subset of H and u t t 0 be an Obstacle Gradient Flow in C. Then u : 0, X is an EDE gradientp p qq ě flow in X. r 8q Ñ Proof. First, we show that E u t u9 t a.e. t 0. |B |p p qq ď || p q|| ě For this observe, using Proposition 2.16 and F V I that p q ∇E u t , v u t ` E u t sup ´ p p p qq ´ p qq |B |p p qq “ v u t v u t ‰ p q ` || ´ p q|| ˘ u9 t , v u t ` sup p p q ´ p qq ď v u t v u t ‰ p q || ´ p q|| u9 t , v u t (2.11) sup |p p q ´ p qq| u9 t . ď v u t v u t ď || p q|| ‰ p q || ´ p q|| Next, we show that (2.12) E u t u9 t a.e. t 0. |B |p p qq ě || p q|| ě Let t be a point of Frechét differentiability of u. If u9 t 0 then the statement is trivial. If not then p q“ u t u s 0 u9 t lim || p q´ p q|| ă || p q|| “ s t t s Ñ | ´ | and therefore there exists r 0 such that u s u t for each s t r, t r t . Using Proposition 2.5 and theą fact that E puq‰is decreasingp q we findP p ´ ` qzt u ˝ d E u t E u s E u t E u s ` u9 t 2 E u t lim sup p p qq ´ p p qq lim sup p p p qq ´ p p qqq || p q|| “´dt p p qq “ s t s t “ s t t s Ñ ` ´ Ñ ` | ´ | E u t E u s ` u t u s lim sup p p p qq ´ p p qqq || p q´ p q|| “ s t u t u s t s Ñ || p q´ p q|| | ´ | E u t E w ` lim sup p p p qq ´ p qq u9 t . ď w u t ,w C u t w || p q|| Ñ p q P || p q´ || Equation (2.12) follows immediately. Now we fix T 0 and compute using (2.11) and Propositon 2.5 ą T T 1 2 1 2 E u T u1 s ds E u s ds p p qq ` 2 0 | |p q ` 2 0 |B |p p qq ż T ż T 1 2 1 2 E u T u1 s ds u9 s ds “ p p qq ` 2 0 | |p q ` 2 0 || p q|| Tż ż E u T u9 s 2 ds “ p p qq ` || p q|| ż0 12 MARIUS MULLER¨

T d E u T E u s ds E u 0 . “ p p qq ` ´ds p p qq “ p p qq ż0 3. Existence We will show the existence of Obstacle Gradient Flows, provided that the initial value satisfies a condition which we will formulate and motivate in this section. Throughout this section we assume Assumption 1. Assumption 2 will not be needed for the existence proof. 3.1. Construction of the Flow Trajectory. Proposition 3.1 (Existence of Minimizing Movement Sequences, Proof in Appen- dix A). Let v H. Define for fixed τ 0 P ą u v 2 Φv,τ : H R, u || ´ || E u . Ñ ÞÑ 2τ ` p q Then there exists w w v, τ, E C such that “ p qP (3.1) Φv,τ w inf Φv,τ u . u C p q“ P p q Moreover, each w C that is a solution of (3.1) satisfies P 1 (3.2) w v,u w ∇H E w ,u w 0 u C. τ p ´ ´ q ` p p q ´ qě @ P Algorithm 3.2. (Minimizing Movement Scheme) Input: u0 C, τ 0. P ą Output: A sequence ukτ k N. p q P Set u0τ : u0. For k N“: P Choose ukτ arg min Φu ,τ . P u C pk´1qτ P Remark 3.3. It may happen that minimizers of the variational problems are not unique. In this case, the algorithm fixes some choice of minimizers. Whenever we refer to a minimizing movement sequence ukτ k N from now on, we mean an arbitrary but fixed choice of minimizers unlessp otherwiseq P specified. Remark 3.4. To keep notation consistent later when we consider different time stepwidths τ, one should actually write uk,τ instead of ukτ . We will nevertheless use the other notation for the sake of simplicity. Remark 3.5. (Discrete Energy Descent) Note that E ukτ E u k 1 τ . More exactly, p qď p p ´ q q 2 ukτ u k 1 τ (3.3) || ´ p ´ q || E u k 1 τ E ukτ , 2τ ď p p ´ q q´ p q which is easy to see rearranging the inequality Φ k 1 τ ukτ Φ k 1 τ u k 1 τ . p ´ q p qď p ´ q p p ´ q q Definition 3.6 (Interpolations). Let u0 C, τ 0 and ukτ k N C be a minimizing movement sequence generated by AlgorithmP ą 3.2. Thenp q weP definĂ e the energy interpolation of ukτ k N to be p q P 8 Eτ t : χ k 1 τ,kτ t E u k 1 τ t 0 , rp ´ q q p ´ q p q “ k 1 p q p q p ě q ÿ“ ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 13 where χE denotes the characteristic function of a set E R. Moreover, we define Ă τ 8 u t : χ k 1 τ,kτ t u k 1 τ , rp ´ q q p ´ q p q “ k 1 p q ÿ“ (3.4)

τ 8 t k 1 τ t k 1 τ u t : χ k 1 τ,kτ t 1 ´ p ´ q u k 1 τ ´ p ´ q ukτ . p q “ rp ´ q qp q ´ τ p ´ q ` τ k 1 ˆˆ ˙ ˙ ÿ“ Definition 3.7 (Preconditioned Initial Values). We call u0 C a preconditioned P initial value, if there exists a family of minimizing movement sequences ukτ k N,τ 0,1 p q P Pp q starting at u0 such that for each T 0 the set ukτ k N, τ 0, 1 , kτ T is precompact in H. We denote by P theą set of preconditionedt | P initialP p values.q ď u Remark 3.8. Of course it is possible that P . We will analyze P for some special problems in Section 4. A more general“ statement H about P would be very desirable, but is at this point out of reach for this article. Proposition 3.9 (Uniform Hölder Bound). Let t,s 0. Then for each τ 0, 1 , ě P p q τ τ 1 (3.5) u t u s 3?2 E u0 α 2 t s , || p q´ p q|| ď p p q´ q | ´ | where uτ is defined as in (3.4). a Proof. First assume that t,s k 1 τ,kτ . Then t s τ and hence using (3.3) P rp ´ q s | ´ |ă τ τ t s u t u s | ´ | u k 1 τ ukτ || p q´ p q|| “ τ || p ´ q ´ || t s | ´ |?2τ E u k 1 τ E ukτ ď τ p p ´ q q´ p q t s b t s ?2| ´ | E u0 α ?2 | ´ | E u0 α ď ?τ p q´ ď t s p q´ a | ´ |a (3.6) ?2 t s E u0 α. a “ | ´ | p q´ Now assume that there is k,laN sucha that l 1 τ t lτ k 1 τ s kτ. Using (3.6) we obtain P p ´ q ď ď ď p ´ q ď ď uτ t uτ s uτ s uτ k 1 τ uτ k 1 τ uτ lτ || p q´ p q|| ď || p q´ pp ´ q q|| ` || pp ´ q q´ p q|| uτ lτ uτ t ` || p q´ p q|| ?2 s k 1 τ E u0 α ?2 lτ t E u0 α ď | ´ p ´ q | p q´ ` | ´ | p q´ k 2 a ´ a a a u m 1 τ umτ p ` q ` m l || ´ || ÿ“ 2?2 t s E u0 α ď | ´ | p q´ a a k 2 ´ 2 k 1 l u m 1 τ umτ ` p ´ ´ qg || p ` q ´ || fm l a f ÿ“ e 2?2 t s E u0 α ď | ´ | p q´ a a k 2 ´ ?k 1 l 2τ E umτ E u m 1 τ ` ´ ´ g p p qq ´ p p ` q qq fm l f ÿ“ e 14 MARIUS MULLER¨

2?2 t s E u0 α ?2 k 1 τ lτ E ulτ E u k 1 τ ď | ´ | p q´ ` p ´ q ´ p q´ p p ´ q q b 3?2aE u0 aα t s . a ď p q´ | ´ | Corollary 3.10 (A Growtha Rate)a. For each T 0 the restrictions of the linear τ ą interpolations u t τ 0,t 0,T are locally uniformly bounded, more precisely p p qq ą Pr s τ (3.7) sup u t u0 3?2 E u0 α?T. t 0,T ,τ 0 || p q|| ď || || ` p q´ Pr s ą a Proof. Immediate by the triangle inequality and Proposition 3.9 with s 0. “ Proposition 3.11 (Rate of Energy Descent). Let ukτ k N,τ 0,1 be a family of sequences generated by Algorithm 3.2. Then for eachpT q0,P therePp existsq a constant ą CT CT E,u0,T 0 such that for all τ 0, 1 and all k N with k 1 τ T “ p qą P p q P p ` q ď E ukτ E u k 1 τ p q´ p p ` q q CT . τ ď

Proof. Deﬁne RT : u0 3?2 E u0 α?T and compute using (3.7) “ || || ` p q´ 1 E ukτ E u k 1 τ a ukτ u k 1 τ p q´ p p ` q q ∇E sukτ 1 s u k 1 τ , ´ p ` q ds τ “ p ` p ´ q p ` q q τ ż0 ˆ ˙ ukτ u k 1 τ sup ∇E w || ´ p ` q || ď w BR 0 || p q|| τ P T p q

E ukτ E u k 1 τ ?2 sup ∇E w p q´ p p ` q q. ď w BR 0 || p q|| τ P T p q c ∇E 2 The claim follows choosing CT : 2 supw BR 0 w . “ P T p q || p q|| Proposition 3.12 (Limit Trajectories). Let u0 be a preconditioned initial value. Then there exists a sequence τn n N converging to zero and φ : 0, R non- 1 p q P r 8q Ñ increasing as well as u C 2 0, ,H such that Eτ φ pointwise and for each P pr 8q q n Ñ T 0 : uτn u in C 0,T ,H . ą Ñ pr s q Proof. First fix T N. Since Eτ is nonincreasing for each n N we can conclude P n P from Helly’s Theorem, see [4, Lemma 3.3.3], that there exists a sequence τn 0 Ñ and φT : 0,T R nonincreasing such that Eτ φT pointwise on 0,T . We r s Ñ n Ñ r s show the convergence of a subsequence of uτn in C 0,T ,H using an appropriate version of the Arzelá-Ascoli Theorem, namely [2, 4.12,pr ”Warning”s q on p.106]. For 1 this, note that boundedness in C 2 0,T ,H implies uniform equicontinuity. It pr s q remains to show that for each t 0,T the set uτn t n N is precompact. This however is immediate if we writePr s t p q| P u t k τ t k τ τn n 1 n n 1 n u t 1 ´ p ´ q u kn 1 τn ´ p ´ q uknτn p q“ ´ τ p ´ q ` τ ˆˆ n ˙ n ˙ t kn 1 τn where kn kn t is chosen such that kn 1 τn t knτn. Since 0 ´p ´ q τn “ p q p ´ q ď ă P ď ď 1 and uknτn ,u kn 1 τn lie in a precompact set (as u0 ), one can extract a subsequence suchp ´ thatq every summand converges and thisP gives rise to a convergent subsequence of uτn t . Therefore the Arzela-Ascoli Theorem applies and we obtain p q τn a further subsequence of τn which we do not relabel, such that u uT uniformly p q Ñ 1 in 0,T for some uT C 0,T ,H . It remains to show that uT C 2 0,T ,H , butr thiss follows passingP topr thes limitq in (3.5). Since T N was arbitraryP pr wes canq - P ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 15 using a standard diagonal sequence argument - find a subsequence (again called) τn N τn such that for each T , u n N is uniformly convergent to some uT and Eτn n N P p q P p q P converges pointwise to a nonincreasing function φT on 0,T . Since pointwise limits r s are unique, we get uT 1 uT and φT 1 φT . Therefore setting p ` q|r0,T s “ p ` q|r0,T s “ u t : uT t if t T and φ t : φT t if t T is well-defined and gives the desiredp q “ functions.p q ď p q “ p q ď Remark 3.13. Note that φ is a bounded function since for each t 0 one has α ě ď Eτ t E u0 and the inequality carries over to the pointwise limit φ. Moreover, (3.7)p q carries ď p overq to the limit, so

sup u t u0 3?2 E u0 α?T T 0. t 0,T || p q|| ď || || ` p q´ @ ą Pr s a 1 Corollary 3.14 (Limit of Constant Interpolations). Let u C 2 0, ,H be a P pr 8q q limit trajectory and τn n N be chosen as in Proposition 3.12. Then the constant τn p q P interpolations u n N also converge to u pointwise in 0, and uniformly on 0,T for each pT q0.P r 8q r s ą Proof. Fix T 1. Assume without loss of generality that τn 1 for each n N. ą ď P For t 0,T 1 , let kn t be chosen such that kn t 1 τn t kn t τn. Then by (3.4)Pr and´ (3.3)s p q p p q´ q ď ď p q uτn t u t uτn t uτn t uτn t u t || p q´ p q|| ď || p q´ p q|| ` || p q´ p q|| t k t τ n 1 n τn ´ p p q´ q u kn t 1 τn ukn t τn u u C 0,T ,H ď τn || p p q´ q ´ p q || ` || ´ || pr s q τn u kn t 1 τn ukn t τn u u C 0,T ,H ď || p p q´ q ´ p q || ` || ´ || pr s q τn ?2τn E u0 α u u C 0,T ,H 0 n . ď p q´ ` || ´ || pr s q Ñ p Ñ 8q τn Therefore u u C 0a,T 1 ,H 0. Since T 1 was arbitrary, the claim follows. || ´ || pr ´ s q Ñ ą

3.2. Regularity of the limit trajectories. So far, we have shown that the miniz- ing movement schemes approximate a limit trajectory as the stepwidth becomes small. However, it is unclear whether this limit is an Obstacle Gradient Flow. Here we examine the regularity of the limit trajectory and discover that it meets the regularity requirements of the flow. The argument will use difference quotient techniques, which are also available for vector-valued functions. For a detailed overview about these methods see [7]. Lemma 3.15 (Difference Quotients of BV-Functions). Let d 1 and Ω, Ω Rd ě Ă be open and bounded, Ω Ω. Then there exists a constant C C Ω, Ω 0 such ĂĂ “ p qą that for each h 1 dist Ω, ΩC and f BV Ω r ă 4 p q P p q r h r D f L1 Ω C Df Ω , r|| || p q ď r|r s|p q h f x hei f x where D f : p ` q´ p q for i 1, ..., d and Df denotes the total variation i h r measure. “ “ |r s| 1 C Proof. For ǫ 0, 2 dist Ω, Ω let φǫ be the standard mollifier supported in Bǫ 0 . Set P p p qq p q fχΩrx hei fχΩ x d gi x : p ` q´ p q , i 1, ..., d x R . p q “ h “ P r r 16 MARIUS MULLER¨

1 Rn h 1 C Observe that g φǫ g in L . Since g D f on Ω for h 4 dist Ω, Ω ˚ hÑ p h q 1 ” ă p q we ﬁnd that that D f φǫ D f in L Ω as ǫ 0 . Deﬁne U : x Ω: C 1 ˚ C Ñ p q Ñ ` “ t Pr dist x, Ω 2 dist Ω, Ω and observe that using the constant C Ω,U from [14,p Theoremq ą 5.8.3 (i)],p [15,qu Example 1, Section 5.1] and Fubini’s Theoremp q r

h r hr h D f L1 Ω lim D f φǫ L1 Ω lim D f φǫ L1 Ω p q ǫ 0 p q ǫ 0 p q || || “ Ñ || ˚ || “ Ñ || p ˚ q||

lim inf C Ω,U D f φǫ dx ď ǫ 0 p q | p ˚ q| Ñ żU C Ω,U lim inf sup f φǫdiv φ dx “ p q ǫ 0 φ C1 U , φ 1 U ˚ p q Ñ P 0 p q || ||8ď ż

C Ω,U lim inf sup f y φǫ x y div φ x dy dx “ p q ǫ 0 φ C1 U , φ 1 U Ω p q p ´ q p p qq Ñ P 0 p q || ||8ď ż ż r C Ω,U lim inf sup f y φǫ x y div φ x dx dy “ p q ǫ 0 φ C1 U , φ 1 Ω p q U p ´ q p p qq Ñ P 0 p q || ||8ď ż ż r C Ω,U lim inf sup f y div φ φǫ dy “ p q ǫ 0 φ C1 U , φ 1 Ω p q p ˚ q Ñ P 0 p q || ||8ď ż C Ω,U Df Ω , r ď p q|r s|p q 1 since φ φǫ C0 Ω for ǫ small enough.r Here we used that φǫ div φ div φǫ φ . on U. ˚ P p q ˚ p q“ p ˚ q r 2 1 Proposition 3.16 (L -Bounds for the Difference Quotients). Let u C 2 0, ,H be as in Proposition 3.12. Then for each T 0 there is C C T P 0pr such8q thatq for h 1 ą “ p q ą | |ă 4 h 2 (3.8) D u L2 0,T ,H C E u0 α . || || pp q q ď p p q´ q Proof. We only show the claim for 0 h 1 . The case h 0 is very similar. ă ă 4 ă Let τn n N be chosen as in Proposition 3.12. For s 0, we define kn s to be p q P Pr 8q p q the unique natural number such that kn s 1 τn s kn s τn. Using Fatou’s Lemma, Remark 3.5 and the Cauchy-Schwarzp p q´ inequalityq ď ă we findp q

T u t h u t 2 T uτn t h uτn t 2 || p ` q´ p q|| dt lim inf || p ` q´ p q|| h2 n h2 0 ď Ñ8 0 ż ż 2 T kn t h 2 1 p ` q´ lim inf 2 u l 1 τn ulτn dt ď n 0 h ¨ || p ` q ´ ||˛ Ñ8 l kn t 1 ż “ ÿp q´ ˝ ‚ 2 T kn t h 2 1 p ` q´ ? E E lim inf 2 2τn u l 1 τn ulτn dt ď n 0 h ¨ p p ` q q´ p q˛ Ñ8 l kn t 1 ż “ ÿp q´ b T ˝ kn t h 2 ‚ 2τ k t h k t p ` q´ n n n E E lim inf p p ` 2 q´ p qq u l 1 τn ulτn dt ď n 0 h ˇ p p ` q q´ p qˇ Ñ8 ż ˇ l kn t 1 ˇ ˇ “ ÿp q´ ˇ T 2 h τ ˇ ˇ n E ˇ E ˇ lim inf p ` q u kn t 1 τˇn u kn t h 1 τn dt, ˇ ď n h2 p p p p q´ q q´ p p p ` q´ q qq Ñ8 ż0 ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 17 where we used in the last step that

(3.9) τn kn t h kn t kn t h 1 τn kn t 1 τn t h t τn h τn. p p ` q´ p qq “ p p ` q´ q ´p p q´ q ď ` ´p ´ q“ ` φ t h φ t The integrand converges pointwise to p ` hq´ p q as n , see Proposition 3.12, h 1 Ñ 8 and is dominated by `2 E u0 α . So Lebesgue’s Theorem yields h p p q´ q T u t h u t 2 T φ t φ t h || p ` q´ p q|| p q´ p ` q dt. h2 ď h ż0 ż0 Now φ can be extended to a nonincreasing function on 1,T 1 by a constant. As a nonincreasing and bounded function, the extended versionr´ is` ofs bounded variation and Dφ 1,T 1 φ T 1 φ 1 E u0 α, see [15, Theorem 1 of |r s|pp´ ` qq “ p ` q´ p´ q ď p q´ Section 5.10]. Using Lemma 3.15 with Ω 0,T and Ω 1,T 1 we ﬁnd, since h 1 , “ p q “ p´ ` q ă 4 h h r (3.10) D u L2 0,T ,H D φ L1 0,T C Dφ 1,T 1 C E u0 α . || || pp q q ď || || p q ď |r s|p´ ` qď p p q´ q

1 Corollary 3.17 (Sobolev Regularity in Time). Let u C 2 0, ,H be as in Proposition 3.12 and T 0. Then u W 1,2 0,T ,HP .pr In8q particular,q u 1,2 ą P pp q q P W 0, ,H . loc pp 8q q Proof. This follows immediately from [7, Lemma 2.1] and Proposition 3.16.

3.3. Conclusion of the Existence Proof. We have already shown regularity of the limit trajectory of the minimizing movement scheme. What is still missing is the F V I -property, which we will verify immediately using the variational inequalities forp theq discrete approximations. Lemma 3.18 (Flow Variational Inequality). Let u be as in Proposition 3.12. Then u satisﬁes F V I , i.e. for almost every t 0, p q ą u9 t , v u t ∇E u t , v u t 0 v C. p p q ´ p qq ` p p p qq ´ p qq ě @ P Proof. Choose N 0, to be a set of measure zero such that for each t 9Ă p 8q u t h u t P 0, N we have u t limh 0 p ` hq´ p q and φ, chosen as in Proposition 3.12, is continuousp 8qz in 0, p Nq“(RecallÑ that nonincreasing functions have at most countably many points ofp discontinuity8qz and therefore N can indeed be chosen to be a null set). Fix t 0, N and T t. Let ǫ 0 be such that ∇E is Lipschitz continuous P r 8qz ą ą in Bǫ u t , see Assumption 1. Denote the Lipschitz constant on Bǫ u t by L. p p qq 1 ǫ p p qq E 2 N Let h0 0 be such that 3?2 h0 u0 α 3 and n0 be such that τn ą ǫ | |p p q´ q ă P u u C 0,T h0 ,H 3 for each n n0. Whenever we write limh 0 in the || ´ || pr ` s q ă a ě Ñ ` following, we shall actually mean limh 0,0 h h0 . We compute for t 0,T N Ñ ă ă Pr sz u t h u t u9 t , v u t lim p ` q´ p q, v u t p p q ´ p qq “ h 0 h ´ p q Ñ ` ˆ ˙ 1 lim lim uτn t h uτn t , v uτn t “ h 0 n h p p ` q´ p q ´ p qq Ñ ` Ñ8 kn t h 2 p ` q´ 1 τn lim lim u l 1 τn ulτn , v u t “ h 0 n h p p ` q ´ ´ p qq Ñ ` Ñ8 l kn t 1 “ ÿp q´ 18 MARIUS MULLER¨

kn t h 2 1 p ` q´ lim lim u l 1 τn ulτn , v u l 1 τn “ h 0 n h p p ` q ´ ´ p ` q q Ñ ` Ñ8 l kn t 1 “ ÿp q´ kn t h 2 p ` q´ 1 τn (3.11) u l 1 τn ulτn ,u l 1 τn u t . ` h p p ` q ´ p ` q ´ p qq l kn t 1 “ ÿp q´

We estimate the second summand using Remark 3.5 and that by (3.9) u l 1 τn τn p ` q “ u l 1 τn we obtain pp ` q q kn t h 2 p ` q´ 1 τn u l 1 τn ulτn ,u l 1 τn u t ˇh p p ` q ´ p ` q ´ p qqˇ ˇ l kn t 1 ˇ ˇ “ ÿp q´ ˇ ˇ kn t h 2 ˇ ˇ 1 p ` q´ ˇ ˇ τˇn u l 1 τn ulτn u l 1 τn u t ď h || p ` q ´ || || p ` q ´ p q|| l kn t 1 “ ÿp q´ kn t h 2 1 p ` q´ E E τn τn ?2τn ulτn u l 1 τn u l 1 τn u t ď h p q´ p p ` q q|| pp ` q q´ p q|| l kn t 1 “ ÿp q´ b Using the Hölder estimate from Proposition 3.9 and the fact that t l 1 τn h | ´ p ` q |ď for each l kn t 1, ..., kn t h 2 we find Pt p q´ p ` q´ u kn t h 2 p ` q´ 1 τn u l 1 τn ulτn ,u l 1 τn u t ˇh p p ` q ´ p ` q ´ p qqˇ ˇ l kn t 1 ˇ ˇ “ ÿp q´ ˇ ˇ kn t h 2 ˇ ˇ 3?2 E u α?2τ p ` q´ ˇ ˇ 0 n E ˇ E p q´ ulτn u l 1 τn t l 1 τn ď h p q´ p p ` q q | ´ p ` q | a l kn t 1 “ ÿp q´ b a kn t h 2 3?2 E u α?2τ p ` q´ 0 n E E p q´ ulτn u l 1 τn ď ?h p q´ p p ` q q a l kn t 1 “ ÿp q´ b 1 2 kn t h 2 3?2 E u α?2τ k t h k t p ` q´ 0 n n n E E p q´ p ` q´ p q ulτn u l 1 τn ď ?h ¨ p p q´ p p ` q qq˛ a a l kn t 1 “ ÿp q´ ?h τ ˝ 1 ‚ n τn τn 6 E u0 α ` E u t E u t h 2 ď p q´ ?h p p p qq ´ p p ` qqq a ?h τn 1 6 E u0 α ` Eτ t Eτ t h 2 . “ p q´ ?h p n p q´ n p ` qq Lettinga n in this expression, we obtain that Ñ8 kn t h 2 p ` q´ 1 τ 1 n E 2 lim sup u l 1 τn ulτn ,u l 1 τn u t 6 u0 α φ t φ t h , n ˇh p p ` q ´ p ` q ´ p qqˇ ď p q´ p p q´ p ` qq Ñ8 ˇ l kn t 1 ˇ ˇ “ ÿp q´ ˇ a ˇ ˇ which goesˇ to zero as h 0 since t was chosen to beˇ a point of continuity of φ. Thereforeˇ (3.11) simplifiesÑ to` ˇ

kn t h 2 9 1 p ` q´ u t , v u t lim lim u l 1 τn ulτn , v u l 1 τn . p p q ´ p qq “ h 0 n h p p ` q ´ ´ p ` q q Ñ ` Ñ8 l kn t 1 “ ÿp q´ ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 19

Using the variational inequalities for the minimizing movement elements, see Propo- sition 3.1, we can compute

kn t h 2 1 p ` q´ 9 ∇E u t , v u t lim inf lim inf τn u l 1 τn , v u l 1 τn p p q ´ p qq ě h 0 n h ´ p p p ` q q ´ p ` q q Ñ ` Ñ8 l kn t 1 “ ÿp q´ kn t h 2 1 p ` q´ lim inf lim inf τn ∇E u l 1 τn , v u l 1 τn Jn,h ě h 0 n h ´ p p pp ` q q ´ pp ` q qq ´ Ñ ` Ñ8 l kn t 1 “ ÿp q´ where

kn t h 2 1 p ` q´ ∇E ∇E Jn,h : τn u l 1 τn , v u l 1 τn u l 1 τn , v u l 1 τn . “ h rp p p ` q q ´ p ` q q´p p pp ` q qq ´ pp ` q qqqs l kn t 1 “ ÿp q´ Further, deﬁne In,h : kn t 1, kn t h 2 N and “r p q´ p ` q´ sX ∇E ∇E Sn,h : sup u l 1 τn , v u l 1 τn u l 1 τn , v u l 1 τn . “ l In,h |p p p ` q q ´ p ` q q ´ p p pp ` q qq ´ pp ` q qq| P According to (3.9)

1 h τn Jn,h τn kn t h kn t Sn,h ` Sn,h. | |ď h p p ` q´ p qq ď h τn Using that by (3.4) u l 1 τn u l 1 τn we obtain with the Lipschitz estimate (see Assumption 1 andp ` deﬁnitionq “ ofpp L`atq theq beginning of the proof)

τn τn Sn,h sup ∇E u l 1 τn ∇E u l 1 τn , v u l 1 τn ď l In,h|p p pp ` q q´ p pp ` q qq ´ pp ` q qq| P τn ∇E u l 1 τn ,u l 1 τn u l 1 τn ` | pp pp ` q qq pp ` q q´ pp ` q qq| sup L v 3?2 E u0 α l 1 τn ∇E u l 1 τn ď l In,hp p|| || ` p q´ p ` q q ` || p pp ` q qq||q P aτn a (3.12) u l 1 τn u l 1 τn . ¨ || pp ` q q´ pp ` q q|| We need for the last step, in order to use the Lipschitz continuity from Assumption τn 1, that for each l In,h, u l 1 τn ,u l 1 τn Bǫ u t . This is ensured by P pp ` q q pp ` q qP p p qq h h0 and the choice of h0 in the beginning of the proof. Indeed, ă ǫ (3.13) u l 1 τn u t 3?2 l 1 τn t E u0 α || pp ` q q´ p q|| ă |p ` q ´ | p q´ ă 2 since l 1 τn t,t h for all l kn t a1, kn t h 2a. Also, for each n n0 as deﬁnedp ` inq thePr beginning` s of thePr proofp q´ one has p ` q´ s ě

τn τn u l 1 τn u t u l 1 τn u l 1 τn u l 1 τn u t || pp ` q q´ p q|| ď || pp ` q q´ pp ` q q|| ` || pp ` q q´ p q|| τn u u C 0,T ,H 3?2 E u0 α t l 1 τn ď || ´ || pr s q ` ǫ p q´ ´ p ` q τn u u C 0,T ,H aǫ, a ď || ´ || pr s q ` 2 ă where we used the same estimate as in (3.13) in the last step. All in all, for RT : u0 3?2 E u0 α?T one obtains with (3.12) that for n n0 “ || || ` p q´ ě τn Sn,h L v a3 2 E u0 α ?T sup ∇E w u u C 0,T ,H | | ď p p|| || ` p p q´ q ` || p q||q|| ´ || pr s q w BRT 0 a P p q and therefore Jn,h 0 as n for each ﬁxed h 0,h0 . | | Ñ Ñ8 P p q 20 MARIUS MULLER¨

The original computation can now be simpliﬁed to

kn t h 2 1 p ` q´ u9 t , v u t lim inf lim inf τn∇E u l 1 τn , v u l 1 τn . p p q ´ p qq ě h 0 n h p´ p pp ` q qq ´ pp ` q qqq Ñ Ñ8 l kn t 1 “ ÿp q´ Notice that kn t τn, ..., kn t h 1 τn is a partition of t,t h and t ∇E u t , v t u pt q is Riemannp p ` integrableq ´ q asu continuous map, seer Proposition` s 3.12ÞÑ pandp Assumptionp qq ´ p 1.qq Therefore

kn t h 2 1 p ` q´ u9 t , v u t lim inf lim inf τn ∇E u l 1 τn , v u l 1 τn p p q ´ p qq ě h 0 n h p´ p pp ` q qq ´ pp ` q qqq Ñ Ñ8 l kn t 1 “ ÿp q´ t h 1 ` lim inf ∇E u s , v u s ds ∇E u t , v u t “ h 0 h p´ p p qq ´ p qq “ ´p p p qq ´ p qq Ñ żt where the last equality holds because of continuity. This proves the claim.

Theorem 3.19 (Existence Result). Suppose Assumption 1 and 2. Let G be the set of Corollary 2.10 and P be the set in Deﬁnition 3.7. Then G P, i.e. for each Ą u0 P there exists an Obstacle Gradient Flow starting at u0. P Proof. Because of Corollary 2.10 it is enough to show that G P. But this follows from Proposition 3.12, Corollary 3.17 and Lemma 3.18. Ą

Remark 3.20. If one imposes Assumption 1 only one has still G P. In the section to follow, we will outline a situation where P is dense in C and AssumptionĄ 2 holds true. Then, the previous theorem implies that G C, a desirable situation. “ 4. Fourth Order Flows with Obstacles and Navier Boundary Conditions For this section we ﬁx an obstacle function ψ C0 0, 1 such that ψ 0 , ψ 1 0. We are considering gradient ﬂows for the followingP pr classsq of fourth orderp q obstaclep qă problems

2,2 1,2 Definition 4.1 (The Considered Framework). Set H : W 0, 1 W0 0, 1 1 “ p qX p q with scalar product u, v : 0 u2v2 dx and C : u H u ψ a.e. . Additionally, we suppose that p q “ “t P | ě u ş 1 d 2 1 (4.1) E u : G u1 x dx 2 K u1 x dx p q “ dx p ˝ qp q ` p p qq ż0 ˆ ˙ ż0 3 for functions G, K C R that satisfy G1 0 and K 0. P p q ą ě First, we will check the conditions that are necessary to guarantee existence of the flow and then show further properties. An important property will be that the flow preserves W 3,2-space regularity and Navier Boundary conditions. The reason why this is so important is that both properties hold for minimizers of the static problem, as a close examination of [10, Corollary 3.3] and [10, Theorem 5.1] should reveal. Remark 4.2. The scalar product given in Definition 4.1 is actually a scalar product and H is actually a Hilbert Space because of [16, Theorem 2.31]. ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 21

4.1. Verification of Existence Conditions. 1,2 Remark 4.3. Notice that C8 0, 1 W 0, 1 is dense in H. Indeed, if φ H pr sq X 0 p q P is arbitrary but fixed then there exists φn n N C8 0, 1 such that φn φ in W 2,2 0, 1 . As an easy computation showsp q P Ă pr sq Ñ p q φn x : φn x φn 1 φn 0 x φn 0 p q “ p q ´ p p q´ p qq ´ p q 1,2 defines a sequence in C8 0, 1 W 0, 1 that converges to φ in H . r pr sqX 0 p q Proposition 4.4 (Verification of the Assumptions, Proof in Appendix A). The energy E defined in (4.1) satisfies Assumption 1 and 2 and (4.2) 1 1 1 2 2 DE u φ 2u2φ2G1 u1 dx 2 K1 u1 φ1 dx 2 G1 u1 G2 u1 u2 φ1 dx p qp q“ p q ` p q ` p q p q ż0 ż0 ż0 for all u, φ H. P Proposition 4.5 (Verification of HPR Property). The set C given in Definition 4.1 is convex, closed and has the HPR property as defined in Definition 2.11. Proof. Convexity and closedness are easy to show. We only show the HPR property. We have to show that for u C and v H, u πC v v C. We do this by P P ` p q´ P showing that v πC v 0 for each v H. If this is shown u ψ implies certainly ´ p qď P ě u πC v v ψ, which proves the claim. Now let v H arbitrary but fixed. ` p q´ ě P For each w C we infer from [8, Theorem 5.2] that v πC v , w πC v 0. 1,P2 p ´ p q ´ p qq ď Let φ W 0, 1 W 2,2 0, 1 be arbitrary such that φ 0 almost everywhere. P 0 p qX p q ě Choosing w πC v φ we find that w C and therefore “ p q` P 1 v πC v 2φ2 dx v πC v , φ 0. p ´ p qq “ p ´ p q qď ż0 Fix f L2 0, 1 be such that f 0 a.e.. Then, according to elliptic regularity and P p q ď 1,2 the weak maximum principle, there exists φ W 0, 1 W 2,2 0, 1 such that P 0 p qX p q φ 0 and φ2 f a.e. This implies that ě “ 1 2 v πC v 2f dx 0 f L 0, 1 : f 0 a.e. p ´ p qq ď @ P p q ď ż0 However this results in v πC v 2 0 almost everywhere. The weak maximum p ´ p qq ě principle implies that v πC v 0 almost everywhere which proves the claim. ´ p qď

Lemma 4.6 (A Recursion Identity, Proof in Appendix A). Suppose that ak k N0 p q P Ă R is a sequence such that a0 0 and there are τ,Z1,Z2 0 such that ak 1 ě ą ` ď 1 Z1τ ak Z2τ for each k N. Then p ` q ` P l Z2 l al 1 Z1τ a0 1 Z1τ 1 l N. ď p ` q ` Z1 pp ` q ´ q @ P Proposition 4.7 (Precompactness of the Discrete Trajectories). Suppose that 3, u0 W 8 0, 1 H and u02 0 u02 1 0. Let ukτ k N,τ 0,1 be a family of minimizingP p movementqX sequencesp q “ generatedp q “ by Algorithmp q P 3.2Pp forq (4.1). Then 3, for each T 0 the set ukτ τ 0,1 ,kτ T is bounded in W 8 0, 1 and therefore precompactą in H. p q Pp q ď p q 22 MARIUS MULLER¨

ψ 0 ψ 1 Proof. Fix T 0. Let δ 0 be such that ψ p2 q and ψ p2 q . Define ą ą |r0,δs ď |r1´δ,1s ď min ψ 0r , ψ 1 r δ : minr δ, p| p q| | p q|q “ # 4CP u0 3?2 E u0 α?T + p|| || ` p q´ q r 1, 1,2 where CP denotes the operator norm of the embeddinga H ã W 8 0, 1 W 0, 1 . Ñ p qX 0 p q Let τ 0, 1 be arbitrary. We first claim that ukτ ψ on 0,δ 1 δ, 1 . Indeed, for arbitraryP p q θ 0,δ we find using (3.7) ą r sYr ´ s Pr s ukτ θ δ ukτ1 δCP ukτ | p q| ď || ||8 ď || || ψ 0 δCP u0 3?2 E u0 α?T | p q| ψ θ . ď p|| || ` p q´ qă 2 ď | p q| Since ψ θ is negative, the claim follows.a For θ 1 δ, 1 the estimate can be shown similarly.p q P r ´ s E 1 2 Recall from Propositon 3.1 that u k 1 τ arg minw C w 2τ w ukτ implies that p ` q P P p q ` || ´ || 1 u k 1 τ ukτ , v u k 1 τ ∇E u k 1 τ , v u k 1 τ 0 v C. τ p p ` q ´ ´ p ` q q ` p p p ` q q ´ p ` q qě @ P For the sake of simplicity of notation we define u : u k 1 τ and leave out the “ p ` q integration indicators 1dx1. Note that for each φ C08 0, 1 such that φ 0 one can use u φ as test function in (3.2). Using thisP and Propositionp q 4.4 weě find (4.3) ` 1 1 1 1 u2 ukτ2 2 2 ´ φ2 2u2φ2G1 u1 2 K1 u1 φ1 2 G1 u1 G2 u1 u2 φ1 0. τ ` p q ` p q ` p q p q ě ż0 ż0 ż0 ż0 Additionally, for each φ C08 u ψ and also for each φ C08 0,δ such that φ 0 0 P pt ą uq P pr qq (4.4)p q“ 1 1 1 1 u2 ukτ2 2 2 ´ φ2 2u2φ2G1 u1 2 K1 u1 φ1 2 G1 u1 G2 u1 u2 φ1 0. τ ` p q ` p q ` p q p q “ ż0 ż0 ż0 ż0 3, Our first claim is that u W 8 0,δ and u2 0 0. For this we proceed by P p q p q “ 3, induction over k. The first step of the induction is k 0 so u u1,τ W 8 0,δ . “ “ P p q For this we observe with (4.4) that for all φ C08 0,δ (4.5) P p q 1 1 1 1 u2 u02 2 2 ´ φ2 2u2φ2G1 u1 2 K1 u1 φ1 2 G1 u1 G2 u1 u2 φ1 0. τ ` p q ` p q ` p q p q “ ż0 ż0 ż0 ż0 2 2 u u0 2 This implies (see [18, Lemma 13.1]) that ´τ 2u2G1 u1 is weakly differentiable and there is a constant Z R such that ` p q P u2 u02 2 1 2 1 (4.6) ´ 2u2G1 u1 Z 2K1 u1 2G1 u1 G2 u1 u2 L 0,δ . τ ` p q “ ` p q` p q p q P p q ˆ ˙ 1, 1 1,2 1 Since u02 W 8 0,δ and G1 u1 W 0, 1 as G1 is locally Lipschitz, we obtain P p q ˝ 1P,2 p q by the product rule that u2 W 0,δ and P p q 1 1 2 (4.7) u3 u3 Z 2K1 u1 2G1 u1 G2 u1 u2 . “ 1 2G u 2 τ 0 ` ` p q´ p q p q τ ` 1p 1q ˆ ˙ 1 We infer from the equation that u3 L 0,δ . From this however, one concludes P p q that u2 L8 0,δ and as a result of that, (4.7) yields that u3 L8 0,δ . The P p q P p q ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 23

3, induction step is now very similar since we can assume that ukτ W 8 and P therefore we generate the same equations for u as before for with u0 replaced by ukτ . We leave the details to the reader. To show that u2 0 0 we proceed again by p q“ induction. Here we just show that u2 0 0 implies that u2 0 u2 0 0. kτ p q“ p q“ k 1 τ p q“ For this we conclude just like in (4.5) and (4.6) that p ` q

u2 ukτ2 2 1 2 (4.8) ´ 2u2G u1 Z 2K1 u1 2G1 u1 G2 u1 u2 τ ` p q “ ` p q` p q p q ˆ ˙ for some Z R. Now plug some φ C8r 0,δ into (4.4) that satisfies φ 0 0 P P 0 pr qq p q “ and φ1 0 0. Integrating by parts in (4.4) we obtain p q‰ r δ u2 ukτ2 2 0 ´ 2u2G1 u1 φ1 “ τ ` p q „ˆ ˙ 0 δ u3 ukτ3 d 2 2 (4.9) φ1 ´ 2u2G1 u1 2K1 u1 2G1 u1 G2 u1 u2 dx. ´ τ ` dx p p q q´ p q´ p q p q ż0 ˆ ˙ Evaluating in the first summand and using (4.8) we obtain δ u2 0 ukτ2 0 2 (4.10) 0 φ1 0 p q´ p q 2u2 0 G1 u1 0 φ1Z dx. “ p q τ ` p q p p qq ´ ˆ ˙ ż0 The last integral evaluates to Z φ δ φ 0 0. Using the inductionr hypothesis p p q´ p qq “ 3, that ukτ2 0 0 we find u2 0 0. We can show very similarly that u W 8 1 p q“ p q“ 3, P pp ´ δ, 1 and u2 1 0. Next, wer show that u W 8 0, 1 . We conclude from (4.4)qq and (4.3)p q and “ [15, Corollary 1, Section 1.8] thatP therep existsq a Radon measure µkτ on 0, 1 supported on u ψ such that for all φ C08 0, 1 : (4.11) p q t “ u P p q 1 1 1 1 u2 ukτ2 2 2 ´ φ2 2u2φ2G1 u1 2 K1 u1 φ1 2 G1 u1 G2 u1 u2 φ1 φ dµkτ . τ ` p q ` p q ` p q p q “ ż0 ż0 ż0 ż0 ż The measure µkτ is finite since u ψ δ, 1 δ is compactly contained in 0, 1 . t “ uĂr ´ s p q Using Fubini’s Theorem, we find for φ C8 0, 1 P 0 p q 1 1 x 1 (4.12) φ dµkτ φ1 s ds dµkτ x µkτ s, 1 φ1 s ds. “ p q p q“ pr sq p q ż0 ż0 ż0 ż0 Therefore 1 1 1 u2 ukτ2 2 ´ φ2 2u2φ2G1 u1 2 K1 u1 φ1 0 τ ` 0 p q ` 0 p q ż ż 1 ż 2 (4.13) 2 G1 u1 G2 u1 u2 φ1 φ1µkτ x, 1 dx 0. ` p q p q ´ pr sq “ ż0 ż From here we can proceed like in (4.5) and (4.6). Define mkτ x : µkτ x, 1 and p q “ pr sq observe, according to (4.13), that there is Ckτ R such that (4.14) P

u2 ukτ2 1 2 1 ´ 2G1 u1 u2 mkτ x Ckτ 2G1 u1 G2 u1 u2 2K1 u1 L 0, 1 τ ` p q “´ p q´ ` p q p q ` p qP p q ˆ ˙ Using the product rule again we obtain that u W 3,1 0, 1 and P p q u3 ukτ3 2 2 (4.15) ´ 2G1 u1 u3 mkτ x Ckτ 2G1 u1 G2 u1 u2 2K1 u1 τ ` p q “´ p q´ ´ p q p q ` p q 24 MARIUS MULLER¨ and rearrranged

1 ukτ3 2 (4.16) u3 mkτ Ckτ 2G1 u1 G2 u1 u2 2K1 u1 . “ 1 2G u 2 τ ´ ´ ´ p q p q ` p q τ ` 1p 1q ˆ ˙ 3, 3,1 Note that this already implies that u W 8 0, 1 since u W 0, 1 implies P p q P p q that u2 L8 0, 1 and given this information, we conclude from (4.16) that u3 3, P p q P W 8 0, 1 . p q We claim that there is D D δ, E u0 , u0 ,T independent of k, τ such “ p p q || || q that µkτ 0, 1 D. To show this, choose a fixed ϕ C8 0, 1 such that 0 p q ď P 0 p q ď ϕ 1 and φδ 1 on δ, 1 δ . Set RT : u0 3?2 E u0 α?T and ď ” r ´ s “ p|| || ` p q´ q B T : BCP RT 0 , where - recall - CP is the operator norm of the embedding p q “ ã p q 1, a operator ι : H W 8 0, 1 . Also define F ,B T : supz B T F z for given Ñ p q || ||8 p q “ P p q | p q| F C0 R . We can estimate using Remark 3.5 and Corollary 3.10 P p q 1 µkτ 0, 1 µkτ δ, 1 δ ϕ dµkτ p q“ pr ´ sq ď 0 1 ż 1 u2 ukτ2 2 ´ ϕ2 2u2ϕ2G1 u1 “ 0 τ ` 0 p q ż 1 ż 1 2 2 K1 u1 ϕ1 2 G1 u1 G2 u1 u2 ϕ1 ` 0 p q ` 0 p q p q ż ż 1 1 2 u ukτ 2 4 || ´ || ϕ 2 u2 G1 u1 ϕ ď τ || || ` p q || || ˆ 0 ˙ ż 1 2 2 K1 ,B T ϕ1 2 G1 ,B T G2 ,B T u2 dx ϕ1 ` || ||8 p q|| ||8 ` || ||8 p q|| ||8 p q 0 || ||8 1 ż 2 E ukτ E u 2 ϕ ?2 p q´ p q 2 G1 ,B T RT ď || || τ ` || ||8 p q ˜ ˆ ˙ ¸ 2 2 ϕ 2CP K1 ,B T 2 G1 ,B T G2 B T CP RT . ` || || || ||8 p q ` || ||8 p q|| || p q E ukτ E u ´ ¯ Note that p q´ p q CT where CT 0 is the constant from Proposition 3.11. τ ď ą All in All we obtain D independent of k, τ such that µkτ 0, 1 D, as claimed. p qď We continue showing that u3 is bounded independently of k, τ. We | | first prove an estimate for Ckτ , defined as in (4.14). For this observe that, using | | u2 0 u2 1 0 and (4.16), p q“ p q“ 1 1 1 u 1 m 1 1 u τ kτ3 kτ C 0 3 1 2 1 2 kτ 1 2 “ 0 “ 0 2G u ´ 0 2G u ` 0 2G u ż ż τ ` 1p 1q ż τ ` 1p 1q ż τ ` 1p 1q 1 2 1 2G1 u1 G2 u1 u2 K1 u1 p q p q 2 p q . ´ 1 2G u 2 ` 1 2G u 2 ż0 τ ` 1p 1q ż0 τ ` 1p 1q 1 Notice that u3 u2 1 u2 0 0 and therefore 0 kτ “ kτ p q´ kτ p q“ 1 1 1 2 ş u3 2G1 u1 u3 (4.17) τ kτ p q kτ . 1 2G u 2 “´ 1 2G u 2 ż0 τ ` 1p 1q ż0 τ ` 1p 1q Hence 1 1 1 C τ m G 2 τ u kτ 1 2 kτ 2 1 ,B T kτ3 | | 2G u ď || ||8 ` || ||8 p q | | ż0 τ ` 1p 1q ż0 ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 25

2 2τ K1 ,B T 2τ G1 ,B T G2 ,B T RT . ` || ||8 p q ` || ||8 p q|| ||8 p q Now observe that since τ 1 ă 1 1 1 C τ C C kτ . kτ 1 2 kτ 1 2 | |2 | | 0 τ 2G1 u1 ě | | τ 2 G1 ,B T ě 1 2 G1 ,B T ż ` p q ` || ||8 p q ` || ||8 p q All in all we get the crucial estimate for Ckτ :

2 2 Ckτ 1 2 G1 ,B T mkτ 2 G1 ,B T G2 ,B T RT | | ď p ` || ||8 p qq || ||8 ` || ||8 p q|| ||8 p q ˆ 1 2 2 K1 ,B T 2 G1 ,B T ukτ3 ` || ||8 p q ` || ||8 p q | | ż0 ˙ 2 2 1 2 G1 ,B T D 2 G1 ,B T G2 ,B T RT ď p ` || ||8 p qq ` || ||8 p q|| ||8 p q ˆ 1 2 2 K1 ,B T 2 G1 ,B T ukτ3 ` || ||8 p q ` || ||8 p q | | 0 ˙ 1 ż (4.18) Z1 u3 Z2, ď | kτ |` ż0 where Z1 0, Z2 R are constants only depending on T but independent of k, τ. Taking absoluteą valuesP and integrating in (4.16), then using the derived estimate for Ckτ we obtain that | | 1 1 1 2 u3 ukτ3 τD τ Ckτ 2τ G1 G2 u2 2τ K1 ,B T 0 | |ď 0 | |` ` | |` 0 | || | ` || ||8 p q ż ż 1 ż 2 1 Z1τ ukτ3 τ Z2 2 G1 ,B T G2 ,B T RT 2 K1 ,B T D ď p ` q 0 | |` p ` || ||8 p q|| ||8 p q ` || ||8 p q ` q ż 1 1 Z1τ u3 τZ3 ď p ` q | kτ |` ż0 for some Z3 independent of k, τ. If we set akτ : ukτ3 we obtain the recursive inequality “ | | ş (4.19) a k 1 τ 1 Z1τ akτ τZ3. p ` q ď p ` q ` This given, Lemma 4.6 shows that

k Z3 k akτ 1 Z1τ a0τ 1 Z1τ 1 . ď p ` q ` Z1 pp ` q ´ q We observe that τ T and therefore ď k k k T Z3 T Z1T Z3 Z1T akτ 1 Z1 a0τ 1 Z1 1 e a0τ e 1 ď ` k ` Z ` k ´ ď ` Z p ´ q ˆ ˙ 1 ˜ˆ ˙ ¸ 1 k since 1 Z is bounded from above by eZ for all Z 0. Hence and since ` k k N ą 1 P a0τ ´` u3 for˘ ¯ each τ 0, 1 we have “ 0 | 0 | P p q

ş Z1T Z3 Z1T u3 , u3 e u3 e 1 . | | | kτ |ď | 0 |` Z p ´ q ż ż ż 1 26 MARIUS MULLER¨

Uniform Boundedness of u3 1 independent of k, τ implies also uniform bound- || kτ ||L edness of Ckτ independent of k, τ, see (4.18). Together with u2 0 0 we ob- kτ p q “ tain uniform boundedness of ukτ2 independent of k, τ. Using all these uniform || ||8 bounds in (4.16) we obtain that there exists some Z4 independent of k, τ such that

u3 x u3 x Z4τ a.e.x 0, 1 . | p q| ď | kτ p q| ` P p q If we understand this again as a recursion formula (recall u u k 1 τ and k was arbitrary), we obtain that for each k N such that kτ T “ p ` q P ď (4.20) ukτ3 x u03 x Z4kτ u03 Z4T. | p q| ď | p q| ` ď || ||8 ` The claim follows.

Remark 4.8. The proof of Proposition 4.7 reveals that for u0 as in the statement N of the Proposition we have that ukτ2 0 ukτ2 1 0 for each k , and τ 0, 1 . This property is noteworthy and alsop q“ carriesp overq“ to the ObstacleP GradientPp Flow,q as discussed in Theorem 4.10.

Remark 4.9. If we omit the assumption u02 0 u02 1 0, the argument of the previous proof can not be repeated. The reasonp q for “ thatp q is “ that (4.10) shows that the second derivatives at the boundary are not necessarily maintained and this might generate contributuions to the term in (4.17) which are not necessarily elements of o τ . This however was crucial for the proof. p q 4.2. Some Qualitative Properties. Theorem 4.10 (Existence, Space Regularity and Navier Boundary Conditions). 3, 1,2 Let E,C,H be as in Definition 4.1. Then for each u0 W 8 0, 1 W 0, 1 such P p qX 0 p q that u02 0 u02 1 0 there exists an Obstacle Gradient Flow u t t 0 starting at p q“ p q“ 3,2 p p qq ě u0. Additionally, for every t 0, u t , u9 t W 0, 1 and u t 2 0 u t 2 1 ą p q p qP p q p q p q“ p q p q“ 0. Furthermore, u9 t 2 0 u9 t 2 1 0 for almost every t 0. Moreover, for each T 0 p q p q“ p q p q“ ą ą 9 sup u t W 3,2 , esssupt 0,T u t W 3,2 . t 0,T || p q|| ă8 Pr s|| p q|| ă8 Pr s Proof. The existence follows from Proposition 4.4, Proposition 4.7 and Theorem τn 3.19. Fix t 0. By Corollary 3.14 there exists τn 0 such that u t u t ą τ Ñ p q Ñ p q in H. Because of the boundedness of u n t in W 3,2 0, 1 , see Proposition 4.7, we p q τln p q 3,2 can extract a subsequence τln 0 such that u t u t in W 0, 1 . From 3,2 Ñ p q á p q τn p q this follows the W -regularity of u t . Since supt 0,T ,n N u t W 3,2 by Proposition 4.7 and the norm isp weaklyq lower semicontinuousPr s P || p weq|| findă that 8 3,2 ã supt 0,T u t W 3,2 . Because of the compact embedding W 0, 1 Pr s || p q|| ă 8 p q Ñ C2 0, 1 and Remark 4.8 we obtain that r s τl (4.21) u t 2 0 lim u n t 2 0 0 n p q p q“ Ñ8 p q p q“ Analogously one shows that u t 2 1 0. Now fix t 0 such that F V I in Definition 2.1 holds true. The pFq Vp I qand “ [15, Corollaryą 1, Section 1.8] implyp thatq p q there is a Radon measure µt supported on u t ψ such that for all φ C8 0, 1 t p q“ u P 0 p q 1 1 2 u9 t 2φ2 dx 2 G1 u t 1 u t 2φ2 dx 0 p q ` 0 p p q q p q ż 1 ż 1 2 2 G1 u t 1 G2 u t 1 u t 2 φ1 dx 2 K1 u t 1 φ1 dx φ dµt. ` p p q q p p q q p q ` p p q q “ ż0 ż0 ż ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 27

Since u t ψ is compactly contained in 0, 1 (as ψ 0 , ψ 1 0 and u t 0 t p q“ u p q p q p qă p qp q“ u t 1 0), we obtain that µt is finite and therefore, we can derive like in (4.12) p qp q“ that there is mt L8 0, 1 such that for all φ C8 0, 1 P p q P 0 p q 1 1 2 u9 t 2φ2 dx 2 G1 u t 1 u t 2φ2 dx 0 p q ` 0 p p q q p q ż 1 ż 1 1 2 2 G1 u t 1 G2 u t 1 u t 2 φ1 dx 2 K1 u t 1 φ1 dx mtφ1 dx. ` p p q q p p q q p q ` p p q q “ ż0 ż0 ż0 Proceeding similar to (4.14), (4.15) and (4.16) one can derive that 2 u9 t 2 2G u t 1 u t 2 1 L8 0, 1 p q ` p p q q p q P p q and ` ˘ 9 2 (4.22) esssupt 0,T u t 2 2G u t 1 u t 2 1 L8 0,1 . Pr s|| p q ` p p q q p q || p q ă8 9 Since supt 0,T u t W 3,2 ` we find from (4.22)˘ that esssupt 0,T u t 3 L2 Pr s || p q|| ă9 8 Pr s|| p9 q || ă . To bound esssupt 0,T u t W 3,2 it remains to bound esssupt 0,T u t W 2,2 . 8 Pr s|| p q|| 9 1,2 Pr s|| p q|| For this, one observes using the fact that u t W0 0, 1 for each t 0 and Corollary 2.6 p q P p q ą 9 9 esssupt 0,T u t W 2,2 C esssupt 0,T u t H C sup ∇E u t H Pr s|| p q|| ď Pr s|| p q|| ď t 0,T || p p qq|| Pr s C sup ∇E w , ď w BR 0 || p q|| ă 8 P T p q where RT : u0 2 E u0 α ?T , see (2.5). Now let δ 0 be such that “ || || ` p p q´ q ą 0,δ supp µt . Then the flow variational inequality implies that r sX p q “ H a 1 1 2 u9 t 2φ2 dx 2 G1 u t 1 u t 2φ2 dx 0 p q ` 0 p p q q p q ż 1 ż 1 2 2 G1 u t 1 G2 u t 1 u t 2 φ1 dx 2 K1 u t 1 φ1 dx 0 ` p p q q p p q q p q ` p p q q “ ż0 ż0 for all φ C08 0,δ such that φ 0 0, φ1 0 0. Similar to (4.5), (4.6) and (4.9) one can deriveP pr thatqq p q“ p q‰ 2 u9 t 2 0 2G1 u t 1 0 u t 2 0 0, p q p q` p p q qp qq p q p q“ and therefore using (4.21) one finds that u9 t 2 0 0. Similarly one can compute p q p q“ u9 t 2 1 0, which finishes the proof. p q p q“ 3, Remark 4.11. For the time-independent problem, [10, Theorem 5.1] shows W 8- regularity of each solution of the time independent variational inequality. For 3, 3, the discrete trajectories, we have also shown W 8-regularity and W 8 bound- 3, edness independent of the stepwidth k, τ, see (4.20). Since W 8 is not reflex- ive, the regularity does not immediately carry over to the limit. However note 2,1 3, 2,1 that C 0, 1 W 8 0, 1 and f 2,1 f 3,8 for all f C 0, 1 , see pr sq “ p q || ||C “ || ||W P pr sq [17, Theorem 6.12 and Exercise 6.14] for 1 1,1 1 and 1 1,1 1 are immediate using the fundamental theorem of calculus. NowĂ fix Tě 0 andĄt ď0,T . Then, according ą Pr s τn to the proof of Theorem 4.10, there is a sequence τn 0 such that u t u t in W 3,2 0, 1 . Now observe that for arbitrary but fixedÑx, y 0, 1 , sincep qW á3,2p0q, 1 embedsp compactlyq in C2 0, 1 P r s p q pr sq τn τn τn u t 2 x u t 2 y lim u t 2 x u t 2 y sup u t C2,1 x y | p q p q´ p q p q| “ n | p q p q´ p q p q| ď n N || p q|| | ´ | Ñ8 P 28 MARIUS MULLER¨

τn sup u t W 3,8 x y sup ukτ W 3,8 x y “ n N || p q|| | ´ |“ τ 0,1 ,k N:kτ T || || | ´ | P Pp q P ď and the supremum in the last step is finite because of (4.20). Therefore u t 2,1 3, p q P C W 8 for each t 0. “ ą Later we will be interested in asymptotic behavior of solutions. For this it is vital to obtain estimates for the third derivative uniformly in time. The rest of this section will be dedicated to such estimates. 3, Proposition 4.12 (Measurability in Time). Suppose that u0 W 8 0, 1 H is P p qX such that u02 0 u02 1 0. Let u t t 0 be the Obstacle Gradient Flow with p q “ p q “ p p qq ě 2 initial datum u0. Let T 0 be arbitrary. Then 0,T t u t 3 L 0, 1 and 2 ą p q Q ÞÑ p q P p q 0,T t u9 t 3 L 0, 1 are Bochner measurable maps. Moreover p qQ ÞÑ p q P p q (4.23) 0,T 0, 1 t, x u t 3 x p q ˆ p q Q p q ÞÑ p q p q is measurable with respect to the product Lebesgue measure on 0,T 0, 1 . In particular, there is a set N 0, 1 of measure zero such that for eachp qx ˆ p0, 1q N, Ă p q P p qz 0,T t u t 3 x R is measurable. Analogous statements hold for u9 t 3. p qQ ÞÑ p q p qP p q Proof. For the Bochner measurability, we use the Pettis measurability Theorem, see [27, Section V.4]. The map is separably valued since L2 0, 1 is separable. We claim that it is weakly measurable, i.e. for each g L2 0, 1 p q P p q 1 0,T t u t 3 x g x dx R p qQ ÞÑ p q p q p q P ż0 is Lebesgue measurable. For this we assume first that g C8 0, 1 . In this case P 0 p q 1 1 u t 3 x g x dx u t x g3 x dx, p q p q p q “´ p qp q p q ż0 ż0 which is measurable in t as a continuous function in t. For arbitrary g L2 0, 1 2 P p q there is gn C08 0, 1 such that gn g in L 0, 1 . An easy computation shows that p qĂ p q Ñ p q 1 1 (4.24) u t 3 x gn x dx u t 3 x g x dx n p q p q p q Ñ p q p q p q p Ñ 8q ż0 ż0 pointwise in 0,T . The claim follows since pointwise limits of measurable functions are measurable.p q Hence Pettis measurability Theorem applies and Bochner measurability follows. The fact that t, x u t 3 x is also product measurable follows from the fact that L2 0,T ,L2p 0, 1q ÞÑandp qL2p 0q,T 0, 1 are isomorphic, see [6, bottom of p.14]. Thepp rest ofq thep claimqq followspp usingqˆp Fubini’sqq Theorem. For u9 t 3 everything is analogous except for the weak measurability, on which we will p q elaborate shortly. Observe that for g C8 0, 1 we find P 0 p q 1 1 u9 t 3 x g x dx u9 t 2 x g1 x dx u9 t ,g1 . p q p q p q “´ p q p q p q “ ´p p q q ż0 ż0 This however is the weak derivative of t u t ,g1 and as such measurable. For arbitrary g L2 0, 1 an approximationÞÑ argument ´p p q similarq to (4.24) applies. P p q Remark 4.13. Definition 2.1, Theorem 4.10 and Proposition 4.12 together imply that the constructed Obstacle Gradient Flow u lies in W 1,2 0,T , W 2,2 0, 1 3,2 pp q p2, qq X L8 0,T , W 0, 1 for each t 0 which embeds compactly in C 0,T , W 8 0, 1 pp q p qq ą pr s p qq ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 29 because of the Aubin-Lions-Simon Lemma, see [26, Corollary 5]. Because of Re- mark 4.11, we also have that u t C2 0, 1 for each t 0. Since the norms on 2, 2 p q P 2pr sq ą 2 W 8 0, 1 and C 0, 1 coincide on C 0, 1 , we obtain that u C 0,T , C 0, 1 for eachp Tq 0, i.e.prC sq0, , C2 0, 1 pr. sq P pr s pr sqq ą pr 8q pr sqq 3, Corollary 4.14 (Regularity in Space-Time). Let u0 W 8 0, 1 H be such that P p qX u2 0 u2 1 0. Then there is a set N 0, 1 of Lebesgue measure zero such 0p q “ 0p q “ Ă p q that for each T 0 and x 0, 1 N, 0,T t u t 3 x is weakly differentiable ą P p qz p qQ ÞÑ p q p q on 0,T and t u t 3 x u9 t 3 x for almost every t 0,T . p q B p p q p qq “ p q p q P p q Proof. First fix T N. Let η C8 0, 1 and define P P p q 1 hη t : u t 3 r η r dr. p q “ p q p q p q ż0 We show that hη is weakly differentiable in 0,T with derivative p q 1 thη t : u9 t 3 r η r dr. B p q “ p q p q p q ż0 Indeed, fix φ C08 0,T . Using Fubini’s Theorem - which is applicable since P 3,p2 q u, u9 L8 0,T , W 0, 1 - we find P pp q p qq T T 1 hη t tφ t dt u t 3 r η r dr tφ t dt p qB p q “ p q p q p q B p q ż0 ż0 ˆż0 ˙ T 1 3 u t r η r dr tφ t dt “´ p qp qBr p q B p q ż0 ˆż0 ˙ 1 T 3 u t r tφ t dt η r dr. “´ p qp qB p q Br p q ż0 ˜ż0 ¸

Observe that by the Riesz-Frech´et theorem for each r 0, 1 there is δr H such P p q P that v r v,δr for each v H. Therefore p q “ p q P T T T u t r tφ t dt u t ,δr tφ t dt u t , t φ t δr dt 0 p qp qB p q “ 0 p p q qB p q “ 0 p p q B p p q qq ż ż T ż T u9 t , φ t δr dt φ t u9 t ,δr dt “´ 0 p p q p q q “´ 0 p qp p q q ż T ż φ t u9 t r dt. “´ p q p qp q ż0 We conclude using Fubini’s Theorem again

T 1 T 3 hη t tφ t dt u9 t r φ t dt η r dr p qB p q “ p qp q p q Br p q ż0 ż0 ˜ż0 ¸ T 1 φ t u9 t r 3η r dr dt “ p q p qp qBr p q ż0 ˆż0 ˙ T 1 (4.25) φ t u9 t 3 r η r dr dt. “´ p q p q p q p q ż0 ˆż0 ˙ 30 MARIUS MULLER¨

The intermediate claim follows. Now let ηn n N be a sequence of standard molli- ﬁers. We claim that p q P 1 T 2 (4.26) hηn x t u t 3 x dt dx 0 n | p ´¨qp q´ p q p q| Ñ p Ñ 8q ż0 ż0 and 1 T 9 2 (4.27) thηn x t u t 3 x dt dx 0 n . |B p ´¨qp q´ p q p q| Ñ p Ñ 8q ż0 ż0 From this follows by [15, Section 1.3, Theorem 5] that there is a subsequence

ηln n N such that for almost every x 0, 1 p q P P p q T 2 hηl x t u t 3 x dt 0 n | n p ´¨qp q´ p q p q| Ñ p Ñ 8q ż0 and T 9 2 thηl x t u t 3 x dt 0 n . |B n p ´¨qp q´ p q p q| Ñ p Ñ 8q ż0 Once this is shown, we can infer that there exists a null set NT such that for x , N h W 1,2 ,T 0 1 T , ηln x is convergent in 0 and the limit coincides with P p qz p ´¨q p q 2 u 3 x . Moreover, the weak derivative of the limit corresponds to the L 0,T - p¨q p q 9 p q limits of thηl x , i.e. t u t 3 x u t 3 x for almost every t 0,T . Choos- B n p ´¨q B r p q p qs “ p q p q P p q ing N : T N NT we find that the claim is really shown once (4.26) and (4.27) are verified.“ ToP verify (4.26) we use Fubini-Tonelli’s Theorem: Ť 1 T 2 hηn x t u t 3 x dt dx | p ´¨qp q´ p q p q| ż0 ż0 T 1 1 2 ηn x r u t 3 r dr u t 3 x dx dt “ p ´ q p q p q ´ p q p q ż0 ż0 ˇż0 ˇ T ˇ ˇ ˇ 2 ˇ (4.28) u ˇt 3 ηn u t 3 L2 0,1 dt ˇ “ || p q ˚ ´ p q || p q ż0 2 Since u t 3 is an L -function and ηn n N is a sequence of standard mollifiers, the integrandp q goes to zero pointwisep asq nP . Note also that the integrand is uniformly bounded in t since for each t 0Ñ,T 8we can estimate, using [14, Proof of Theorem 6, Appendix C], P p q

u t 3 ηn u t 3 L2 2 u t 3 L2 2 esssupa 0,T u a 3 L2 , || p q ˚ ´ p q || ď || p q || ď Pr s|| p q || ă8 3,2 since u t L8 0,T , W 0, 1 by Proposition 4.7. By the dominated convergence theorem,p q P wepp concludeq p thatqq the expression in (4.28) tends to zero as n . Ñ8 Finally, (4.27) can be veriﬁed with similar techniques applying the formula for thη found in (4.25). B

Proposition 4.15 (Regularity of the Gradient and Dynamics in H1). Let u0 3, P W 8 0, 1 H be such that u02 0 u02 1 0. Let u t t 0 be the Obstacle pr sq X p q “ p q “ p p qq ě Gradient Flow with initial data u0. Then

3,2 ∇E u t W 0, 1 , ∇E u t 2 0 ∇E u t 2 1 0 a.e.t 0 p p qq P p q p p qq p q“ p p qq p q“ ą ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 31 and for almost every t 0 there exists a ﬁnite Radon measure µt on 0, 1 such 1,2 ą p q that for all φ W 0, 1 W 2,2 0, 1 P 0 p qX p q

u9 t , φ ∇E u t , φ φ dµt. p p q q ` p p p qq q“ ż Additionally, for each t 0 there exists a null set Nt such that for each x 0, 1 Nt ą P p qz 1 (4.29) ∇E u t 3 x u9 t 3 x µt s, 1 ds µt x, 1 . p p qq p q“´ p q p q` pr sq ´ pr sq ż0 Proof. Let t 0 be such that F V I holds. First one can infer from the F V I ą p q p q and [15, Corollary 1, Section 1.8] that there exists a Radon measure µt supported on u t ψ on 0, 1 such that for all φ C8 0, 1 t p q“ u p q P 0 p q

(4.30) u9 t , φ ∇E u t , φ φ dµt. p p q q ` p p p qq q“ ż Notice that µt is ﬁnite since u t 0 0 ψ 0 and u t 1 0 ψ 1 and p qp q “ ą p q p qp q “ ą p q therefore supp µt is compactly contained in 0, 1 because of continuity of u t ψ. p q p q p q´ Hence we can derive like in (4.12) that there is mt : µt , 1 L8 0, 1 such that “ pr¨ sq P p q for all φ C8 0, 1 P 0 p q

u9 t , φ ∇E u t , φ φ1mt dx, p p q q ` p p p qq q“ ż more explicitly 1 1 u9 t 2φ2 dx ∇E u t 2φ2 dx φ1mt dx. p q ` p p qq “ ż0 ż0 ż Integrating by parts (which is justiﬁed by Proposition 4.7) we obtain for all φ P C08 0, 1 p q 1 1 1 ∇E u t 2φ2 dx φ1mt dx u9 t 3φ1 dx. p p qq “ ` p q ż0 ż0 ż0 This implies, see [18, Lemma 13.1] that ∇E u t W 3,2 0, 1 and p p qq P p q (4.31) ∇E u t 3 Ct mt u9 t 3 p p qq “ ´ ´ p q for some Ct R. Because of continuity there exists δ 0 such that u t ψ on P ą p q ą 0,δ . Therefore, one has ∇E u t 3 Ct µt 0, 1 u9 t 3 on 0,δ . The F V I r s p p qq “ ´ pp qq ´ p q r s p q implies that for each φ C8 0,δ such that φ 0 0, φ1 0 0 P 0 pr qq p q“ p q‰ 1 1 u9 t 2φ2 dx ∇E u t 2φ2 dx 0. p q ` p p qq “ ż0 ż0 Integrating by parts and using that u9 t 2 0 0 one ﬁnds that p q p q“ 1 1 φ1 0 ∇E u t 2 0 u9 t 3 ∇E u t 3 φ1 dx Ct µt 0, 1 φ1 dx 0 p q p p qq p q“ p p q ` p p qq q “ p ´ p qq “ ż0 ż0 We infer that ∇E u t 2 0 0. Similarly one proves that ∇E u t 2 1 0. Using this and integratingp p overqq p (4.31)q“ one obtains p p qq p q“ 1 1 0 Ct mt ds Ct µt s, 1 ds. “ ´ ñ “ pr sq ż0 ż0 32 MARIUS MULLER¨

This proves (4.29). Integrating by parts in (4.30) one ﬁnds that for all φ C8 0, 1 P 0 p q 1 1 (4.32) u9 t 3φ1 ∇E u t 3φ1 φ dµt. ´ p q ´ p p qq “ ż0 ż0 ż 1,2 2,2 By density, the same formula holds true for φ W0 0, 1 . Ifweﬁx φ W 0, 1 1,2 P p q P p qX W 0, 1 then we can use integration by parts again in (4.32) and obtain with 0 p q u9 t 2 0 u9 t 2 1 ∇E u t 2 0 ∇E u t 2 1 0 that p q p q“ p q p q“ p p qq p q“ p p qq p q“ 1 1 u9 t 2φ2 ∇E u t 2φ2 φ dµt, p q ` p p qq “ ż0 ż0 ż as claimed in the statement.

5. Application: Elastic Flow with obstacle constraint In this section we examine long-time behavior of the gradient flow of the elastic energy given in (1.1) in the same framework as in Definition 4.1. To do so, we will need to assume slightly stronger conditions on the obstacle, namely that it is C1 in neighborhoods of 0 and 1. The main theorem predicts two possible behaviors for the flow for large times: Either one has convergence to a critical point in the sense of a solution of the time-independent variational inequality or one has blow-up of the L8-norm of the first derivative. If the obstacle is too large the second case can actually occur, as we will show. 5.1. Classification of the Asymptotic Behavior. Remark 5.1. The elastic energy, which will be denoted by E in this section, is one of the energies studied in Section 4, see Definition 4.1 with z 1 (5.1) K 0, G z : dw. 2 5 ” p q “ 0 1 w 4 ż p ` q Clearly, K and G satisfy the assumptions in Definition 4.1 and therefore we can use the results of Section 4. Recall in particular that H and C are given by Definition 4.1. Proposition 5.2 (Gradient Formula and Estimate). For each u, φ H one has P 1 u φ 1 u 2u φ (5.2) ∇E u , φ 2 2 2 dx 5 2 1 1 dx. 2 5 2 7 p p q q“ 0 1 u 2 ´ 0 1 u 2 ż p ` 1 q ż p ` 1 q In particular, 5 (5.3) ∇E u 1 CP E u 1, || p q|| ď ` 2 p q` ˆ ˙ 2,2 1,2 ã where CP denotes the operator norm of the embedding W 0, 1 W0 0, 1 1, 1,2 p qX p q Ñ W 8 0, 1 W 0, 1 . p qX 0 p q Proof. The formula for the gradient (5.2) can be shown by a very easy computation, see [10, Equation 1.5]. Using 2ab a2 b2 for each a,b R we find ď ` P ∇E u sup ∇E u , φ || p q|| “ φ H, φ 1p p q q P || ||ď 1 2u φ 1 u 2u φ sup 2 2 dx 5 2 1 1 dx 2 5 2 7 “ φ 1 0 1 u 2 ´ 0 1 u 2 || ||ď ż p ` 1 q ż p ` 1 q ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 33

1 2 2 1 2 2 u2 φ2 5 u2 1 u1 sup ` dx φ1 p ` q dx 2 5 2 7 ď φ 1 0 1 u 2 ` 2|| ||8 0 1 u 2 || ||ď ż p ` 1 q ż p ` 1 q 1 2 1 5 u2 2 sup 1 φ1 dx φ2 dx 2 5 ď φ 1 ` 2|| ||8 0 1 u 2 ` 0 || ||ď ˆ ˙ ż p ` 1 q ż 1 2 2 Estimating φ1 by CP φ and using 0 φ2 dx φ 1 one obtains the claim. || ||8 || || “ || || ď ş Proposition 5.3 (Evolution of Third Derivatives). Let H,C,ψ be as in Deﬁnition 3, 4.1 and E be given by (1.1). Let u0 W 8 0, 1 H be such that u2 0 u2 1 0 P p qX 0p q“ 0p q“ and let u t t 0 be the Obstacle Gradient Flow for C starting at u0. Then (5.4) p p qq ě 2 1 2 2u t 3 x u t 2 x u t 1 x u t 2 r u t 1 r ∇E u t 3 x p q p q 5 p q p q p q p q 5 p q p q p q p q dr 2 5 2 7 2 7 p p qq p q“ 1 u t x 2 ´ 1 u t x 2 ´ 0 1 u t r 2 p ` p q1p q q p ` p q1p q q ż p ` p q1p q q for almost every t 0. ą 3,2 Proof. If φ C08 0, 1 and u W 0, 1 H is ﬁxed such that u2 0 u2 1 0 one can integrateP p byq parts inP (5.2) p qX p q“ p q“ 1 1 1 2 2u3φ1 u2 u1φ1 ∇E u 2φ2 dx dx 5 dx. 2 5 2 7 0 p q “´ 0 1 u 2 ` 0 1 u 2 ż ż p ` 1 q ż p ` 1 q Therefore, for each t 0 there exists some Ct R ą P 2 u t 3 u t 2 u t 1 ∇E u t 3 Ct 2 p q 5 5 p q p q 7 . p p qq “ ` 1 u t 2 2 ´ 1 u t 2 2 p ` p q1 q p ` p q1 q Now note that ∇E u t 2 0 ∇E u t 2 1 0 for almost every t 0 and for such t one has p p qq p q “ p p qq p q “ ą 1 1 2 u t 3 r u t 2 r u t 1 r 0 Ct 2 p q p q dr 5 p q p q p q p q dr 2 5 2 7 “ ` 0 1 u t r 2 ´ 0 1 u t r 2 ż p ` p q1p q q ż p ` p q1p q q 1 2 d 2u t 2 r 5u t 2 r u t 1 r Ct p q p q p q p q p q p q . 2 5 2 7 “ ` 0 dr 1 u t r 2 ` 1 u t r 2 ż p ` p q1p q q p ` p q1p q q Integrating and using that u t 2 0 u t 2 1 0 one obtains p q p q“ p q p q“ 1 2 u t 2 r u t 1 r Ct 5 p q p q p q p q dr 2 7 “´ 0 1 u t r 2 ż p ` 1p qp q q and (5.4) follows.

Lemma 5.4 (A linear ODE of weakly differentiable functions, Proof in Appendix A). Suppose that f W 1,1 a,b and α C a,b , β L1 a,b are such that P p q P pr sq P p q (5.5) f 1 t α t f t β t a.e. t a,b . p q“ p q p q` p q P p q Then t t t f t exp α s ds f a exp α w dw β s ds, a.e.t a,b . p q“ p q p q` p q p q P p q ˆża ˙ ża ˆżs ˙ 3, 3, Proposition 5.5 (Global W 8-estimates). Let u0 W 8 0, 1 H be such P p q X that u02 0 u02 1 0 and u t t 0 be an Obstacle Gradient Flow for E with p q “ p q “ p p qq ě 34 MARIUS MULLER¨ inital datum u0. Assume further that there is δ 0 such that for all t 0, , ą P p 8q u t ψ δ, 1 δ . Then there is C C δ, u03 , E u0 such that t p q“ u Ă p ´ q “ p || ||8 p qq 2 15 u t 3 L8 C 1 sup u s 1 2 a.e.t 0, . || p q || ď p ` s 0,t || p q ||8q P p 8q Pr s Proof. Adopting the notation from Proposition 4.15 we define for x 0, 1 P p q 1 Mt x : µt s, 1 ds µt x, 1 . p q “ pr sq ´ pr sq ż0 Fix T 0. We show that for each x 0, 1 , t Mt x L8 0, and ą P p q ÞÑ p q P p 8q supx 0,1 M x L8 0, . For this we have to show Lebesgue measurability Pp q || p¨qp q|| p 8q ă8 and boundedness. For the measurability observe that for each φ C8 0, 1 P 0 p q 1 0,T t φ dµt p qQ ÞÑ ż0 is measurable. Note that this map is only defined for almost every t 0, but this does not affect the measurability claim as null sets are Lebesgue measurable.ą Indeed, 1 φ dµt u9 t , φ ∇E u t , φ “ p p q q ` p p p qq q ż0 is measurable in t as 0, t u9 t H is Bochner measurable and hence also weakly measurable.p 8q The Q secondÞÑ p summandq P is continuous and therefore also measurable. Now fix x 0, 1 and choose φn C08 0, 1 such that φn χ x,1 δ P p q Ă p q Ñ r ´ 2 s in C0 0, 1 . Here we use the convention that intervals are by definition empty if pr sq the lower bound exceeds the upper bound. Since supp µt δ, 1 δ p qĂr ´ s 1 δ µt x, 1 µt x, 1 lim φn dµt pr sq “ pr ´ 2 sq “ n Ñ8 ż0 and so t µt x, 1 is measurable as pointwise limit of measurable functions. It remains toÞÑ showpr thatsq 1 t µt s, 1 ds ÞÑ pr sq ż0 is measurable. But this follows from µt , 1 being monotone for each t and therefore Riemann integrable. Hence pr¨ sq 1 1 k (5.6) µt s, 1 ds lim µt l k, 1 pr sq “ k k pr { sq 0 Ñ8 l 1 ż ÿ“ and therefore it is measurable in t as pointwise limit of linear combinations of measurable functions. We continue showing that this map is essentially uniformly bounded in t. For this fix η C08 0, 1 such that η 1 on δ, 1 δ . Then using Corollary 2.6 and (5.3) we obtainP p q ” r ´ s 1 µt 0, 1 η dµt u9 t , η ∇E u t , η η u9 t ∇E u t pp qq “ “ p p q q ` p p p qq q ď || ||p|| p q|| ` || p p qq||q ż0 5 2 η ∇E u t 2 η 1 Cp E u t 1 ď || || || p p qq|| ď || || ` 2 p p qq ` ˆˆ ˙ ˙ 5 (5.7) 2 η 1 Cp E u0 1 : J. ď || || ` 2 p q` “ ˆˆ ˙ ˙ ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 35

We conclude that t Mt x defines an L8 0, function and an upper bound for ÞÑ p q p 8q the L8 norms can be chosen independently of x. The intermediate claim follows. Let N 0, 1 be the null set of Corollary 4.14. Define for x 0, 1 and h 0 Ă p q P p q ą x h 1 ` fh,x t : u t 3 r dr, p q “ h p q p q żx 1 2 u s 2 l u s 1 l A s : 5 p q p q p q p q dl. 2 7 p q “ 0 1 u s l 2 ż p ` p q1p q q 1 2 Estimating u s 1 l 1 u s 1 l in the numerator one obtains that A s | p q p q| ď 2 p ` p q p q q | p q| ď 5E u s 5E u0 . Now we compute using the definition of N, Fubini’s Theorem (whichp p qq can ď easilyp q be justified) and (4.29) as well as (5.4) x h 1 ` 1 fh,x t u t 3 r dr u t 3 r dr p q“ h x p q p q “ h x,x h N p q p q ż żr ` sz t 1 9 u s 3 r ds u03 r dr “ h x,x h N 0 p q p q ` p q żr ` sz ˆż ˙ x h t x h 1 ` 1 ` 9 u03 r dr u s 3 r dr ds “ h x p q ` 0 h x p q p q ż x h ż t ż x h 1 ` 1 ` u03 r dr ∇E u s 3 r Ms r dr ds “ h x p q ` h 0 x ´ p p qq p q` p q ż x h ż ż 1 ` u3 r dr “ h 0 p q żx t x h 2 1 ` 2u s 3 r u s 2 r u s 1 r ´ p q p q 5 p q p q p q p q A s Ms r dr ds. 2 5 2 7 ` h 0 x 1 u s r 2 ` 1 u s r 2 ` p p q` p qq ż ż p ` p q1p q q p ` p q1p q q Define for s 0,T Pr s x h 1 1 ` θh,x s : A s Ms r dr, p q “ p q` h x p q x h ż 2 1 ` 1 1 θ s : 2u s 3 r dr, h,x 2 5 2 5 p q “ h x p q p q 1 u s r 2 ´ 1 u s x 2 ż ˆ p ` 1p qp q q p ` 1p qp q q ˙ x h 2 1 ` u s 2 r u s 1 r θ3 s : 5 p q p q p q p q dr. h,x 2 7 p q “ h x 1 u s r 2 ż p ` p q1p q q Then x h t t 3 1 ` 2 i fh,x t u03 r dr ´ 5 fh,x s ds θh,x s ds. h 2 2 p q“ x p q ` 0 1 u1 s x p q ` 0 ˜i 1 p q¸ ż ż p ` p qp q q ż ÿ“ 1,1 One infers that fh,x W 0,T and satisfies a differential equation like (5.5) with P p q 3 2 i α t : 5 , β t : θh,x s . 2 2 p q “´ 1 u t 1 x p q “ i 1 p q p ` p q p q q ÿ“ Now observe that for s 0,T Pr s x h 1 1 ` (5.8) θ t A t Ms r dr 5E u0 2J : J ˚, | h,xp q| “ | p q| ` h p q ď p q` “ żx 36 MARIUS MULLER¨ where J is given in (5.7). Furthermore,

x h x h 2 2 ` ` 5 u s 2 ρ u s 1 ρ θ s u s 3 r | p q p q| | p q p q| dρ dr h,x 2 7 | p q| ď h x | p q p q| ˜ x 1 u s 1 ρ 2 ¸ ż ż p ` p q p q q 10 u s 3 r u s 2 ρ u s 1 ρ | p q p q| | p q p q| | p q p q|d r, ρ 2 7 “ h x,x h 2 1 u s 1 ρ 2 p q żr ` s p ` p q p q q 2 2 2 u s 3 r u s 2 ρ u s 1 ρ 10 | p q p q| | p q p q| 2 |7 p q p q| d r, ρ ď d x,x h 2 1 u s 1 ρ p q żr ` s p ` p q p q q 1 x h 2 2 2 ` u s 2 ρ u s 1 ρ 10 u s 3 r dr | p q p q| | p q2 p7 q| ď d 0 | p q p q| d x 1 u s 1 ρ ż ż p ` p q p q q (5.9) 10?h sup u t 3 L2 sup u t 2 L8 . ď t 0,T || p q || t 0,T || p q || Pr s Pr s Using Lemma 5.4, one findsr that r r r t 2 fh,x t exp fh,x 0 2 5 p q“ ´ 0 1 u s x 2 p q ˆ ż p ` p q1p q q ˙ t t 2 3 exp dw θi s ds 2 5 h,x ` 0 ´ u w x 2 p q ˆ s 1 1 ˙ ˜i 1 ¸ ż ż p ` p q p q q ÿ“ 1 x h and therefore, using fh,x 0 ` u3 r dr, and (5.8), (5.9) one has p q“ h x 0 p q t x h 1 2ş ` fh,x t exp ds u3 r dr 2 5 0 | p q| ď h ´ 0 1 u s x 2 x | p q| ˆ ż 1 ˙ ż p ` p q p qq q t t ? 1 J ˚ 10 sup u t 3 L2 u t 2 L8 h exp 5 dw ds. 2 ` p ` t 0,T || p q || || p q || q 0 ´ s 1 u w 1 x 2 Pr s ż ˆ ż p ` p q p q q ˙ t t r 1 r exp r dw θ3 s ds. 2 5 h,x ` 0 ´ s 1 u w x 2 | p q| ż ˆ ż p ` p q1p q q ˙ Observe that for each x 0, 1 and s 0, 1 P p q P p q 3 2 2 θh,x s 5 u s 2 L8 5 sup u t 2 L8 | p q| ď || p q || ď t 0,T || p q || Pr s and because of continuity of the integrand r r 2 3 u s 2 x u s 1 x lim θh,x s 5 p q p q | p q p 7q| x 0, 1 s 0,T . h 0 | p q| “ 1 u s x 2 2 @ P p q @ P p q Ñ p ` p q1p q q 5 2 2 For the following we define S : 1 supt 0,T u1 t . Now the Lebesgue “ p ` Pr s || p q||8q differentiation theorem and the dominated convergence theorem imply that for almost every x 0, 1 r r P p q u t 3 x lim inf fh,x t | p q p q| ď h 0 | p q| Ñ t t 1 u3 J ˚ exp dw ds 0 2 5 ď || ||8 ` 0 ´ s 1 u w x 2 ż ˆ ż 1 ˙ t t p ` p q p q q 2 1 5u s 2 x u s 1 x exp dw p q p q | p q p q| ds 2 5 2 7 ` 0 ´ s 1 u w x 2 1 u s x 2 ż ˆ ż p ` p q1p q q ˙ p ` p q1p q q ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 37

t t 2 pt´sq t´s u s 2 x u s 1 x u3 J ˚ e´ S ds 5 e´ S p q p q | p q p q| ds 0 2 7 ď || ||8 ` 0 ` 0 1 u s x 2 ż ż 1 t 2 p ` p q p q q t´s u s 2 x u s 1 x (5.10) u3 J ˚S 5 e´ S p q p q | p q p q| ds. 0 2 7 ď || ||8 ` ` 0 1 u s x 2 ż p ` p q1p q q Integrating over x and using Fubini’s Theorem we obtain (5.11) 1 t 1 2 t´s u s 2 x u s 1 x u t 3 x dx u3 J ˚S 5 e S p q p q | p q p q| dx ds. 0 2 7 0 | p q p q| ď || ||8 ` ` 0 0 1 u s x 2 ż ż ˆż p ` p q1p q q ˙ 1 2 Estimating u s 1 x 1 u s 1 x and 1 S we obtain | p q p q| ď 2 p ` | p q p q| q ď t 5 t´s u t 3 L1 u03 J ˚S e S E u s ds || p q || ď || ||8 ` ` 2 p p qq ż0 5 5 u03 J ˚S E u0 S u03 E u0 J ˚ S. ď || ||8 ` ` 2 p q ď || ||8 ` 2 p q` ˆ ˙ Therefore, we have bounded u t 3 1 in terms of S. Since u t 2 0 0 we ﬁnd || p q ||L p q p q“ 5 u t 2 L8 u03 E u0 J ˚ S. || p q || ď || ||8 ` 2 p q` ˆ ˙ Using this we can go back to (5.10) and ﬁnd for almost every x 0, 1 P p q t t´s 2 S u t 3 x u03 J ˚S 5 sup u t 2 L8 e ds | p q p q| ď || ||8 ` ` t 0,t || p q || 0 Pr s ż 2 r 3 r 5 3 u03 J ˚S 5S u03 E u0 J ˚ CS ď || ||8 ` ` || ||8 ` 2 p q` ď ˆ ˙ for some C C δ, u03 , E u0 . The claim follows. “ p || ||8 p qq Remark 5.6. The measurability discussion in (5.6) was really necessary the way it is presented in this article, see [1, Discussion below Theorem 4.48] for details.

Remark 5.7. The L8-estimate for the third derivative holds only true provided that the contact set does not come arbitrarily close to 0 or 1. For the elastic energy, one ﬁnds mild conditions on the obstacle which ensure exactly that, as we will discuss in the next two propositions. Proposition 5.8 (A Standard Estimate for the Elastic Energy). Let u H be arbitrary and let G be the function deﬁned in (5.1). Then P

2 G u1 x1 G u1 x2 (5.12) E u sup p p p qq ´ p p qqq . p qě x1,x2 0,1 ,x1 x2 x1 x2 Pp q ‰ ´

Proof. Suppose that x1, x2 0, 1 is such that x1 x2. Observe that P p q ‰ 1 x2 2 2 2 2 E u G1 u1 x u2 x dx G1 u1 x u2 x dx p q“ p p qq p q ě p p qq p q ż0 żx1 the claim follows easily using the Cauchy Schwarz inequality and the fundamental theorem of calculus. 38 MARIUS MULLER¨

Remark 5.9. For the rest of the article we define 8 1 c0 : 2 G ;R 2 ds, 2 5 “ || ||8 “ 0 1 s 4 ż p ` q where G is given in (5.1). For the study of the time-independent problem, c0 is 2 an important constant since infu C E u c0, see [10, Lemma 2.4]. Note also that P G : R c0 , c0 is a diffeomorphism.p qď Ñ ´ 2 2 Proposition` 5.10˘ (Trapping the Contact Set). Suppose that ψ C0 0, 1 is such that ψ 0 , ψ 1 0 and there is η 0 such that ψ C1 0, η PC1 pr1 η,sq1 . Let p3,q p qă ą P pr sqX pr ´ sq u0 W 8 0, 1 be such that u02 0 u02 1 0 and let u t t 0 be the Obstacle P p q p q “ p q “ p p qq ě Gradient Flow starting at u0. Then there is δ 0 such that u t ψ δ, 1 δ for each t 0. ą t p q“ uĂr ´ s ą Proof. Suppose that there is a sequence δn 0 and tn 0, such that u tn δn Ñ Ăr 8q p qp q“ ψ δn . Without loss of generality, one can assume that δn η for each n N. p q ă P Note that since u tn ψ attains its global minimum at x δn, we obtain p q ´ “ u tn 1 δn ψ1 δn for each n N. Further, let G be defined as in (5.1). Ob- servep q thatp q then“ p q P δn 2 u tn 2 x E u0 E u tn p q p q dx 2 5 p qě p p qq ě 0 1 u tn x 2 ż p ` p q1p q q 1 2 sup G u tn 1 η G u tn 1 δn ě δn η 0,δn p p p q p qq ´ p p q p qqq Pp q 1 2 sup G u tn 1 η G ψ1 δn . “ δn η 0,δn p p p q p qq ´ p p qqq Pp q Since δn 0, we find that Ñ sup G u tn 1 η G ψ1 δn 0 n , η 0,δn | p p q p qq ´ p p qq| Ñ p Ñ 8q Pp q and thus by continuity of G,ψ1,

lim sup sup G u tn 1 η G ψ1 0 . n η 0,δn | p p q p qq| ď | p p qq| Ñ8 Pp q Monotonicity of G and G w G w implies | p q| “ p| |q

lim sup G sup u tn 1 η G ψ1 0 , n η 0,δn | p q p q| ď p| p q|q Ñ8 ˜ Pp q ¸ which implies that lim sup sup u tn 1 η ψ1 0 n η 0,δn | p q p q| ď | p q| Ñ8 Pp q 1 because of monotonicity and continuity of G´ in a neighborhood 0, G ψ1 0 ǫ for a suﬃciently small ǫ 0. Now observe that r p| p q|q` s ą δn 0 lim u tn 0 lim u tn δn u tn 1 η dη “ n p qp q“ n p qp q´ p q p q Ñ8 Ñ8 ˜ ż0 ¸

lim inf ψ δn δn sup u tn 1 η ψ 0 , n ď p q` η 0,δn | p q p q| “ p q Ñ8 ˜ Pp q ¸ a contradiction since ψ 0 0. Therefore there exists δ0 0 such that for each p q ă ą t 0, u t x ψ for each x 0,δ0 . Similarly one can show that there exists ą p qp q ą P p q ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 39

δ1 0 such that u t x ψ for each x 1 δ1, 1 . The claim follows choosing ą p qp q ą P p ´ q δ : min δ0,δ1 . “ t u Theorem 5.11 (Subconvergence Behavior of the Elastic Flow). Let ψ C0 0, 1 be such that ψ 0 , ψ 1 0 and there is η 0 such that ψ C1 0, η P Cpr1 1 sq p q p q ă 3, ą P pr sq X pr ´ η, 1 . Further, let u0 W 8 0, 1 H be such that u2 0 u2 1 0. Let sq P p qX 0p q “ 0p q “ u t t 0 be the Obstacle Gradient Flow for the elastic energy with initial data u0. pThenp qq oneě of the following is true:

(1) (Vertical parts at ) There is a sequence θn such that 8 Ñ8 u θn 1 || p q ||8 Ñ8 (2) (Subconvergence to a critical point) There is a sequence θn and u C 2,2 Ñ8 8 P such that u θn u in W 0, 1 and p q Ñ 8 p q ∇E u , v u 0 v C. 5.12 p p 8q ´ 8qě @ P p q Proof. Suppose that 1 does not hold true. Then 0, t u t 1 is bounded. p q 2 p 8q Q ÞÑ || p q ||8 Because of (2.1), u9 L 0, and hence there is a sequence θn such || p¨q|| P p 8q Ñ 8 that u9 θn 0. Moreover θn can be chosen such that F V I and the estimate in Proposition|| p q|| 5.5 Ñ hold true, since these hold almost everywhere.p Fromq Proposition 5.5 can be inferred that u θn 3 L8 is bounded. Since u t 2 0 u t 2 1 u t 0 || p q || p q p q“ p q p q“ p qp q“ u t 1 0 for all t 0, see Theorem 4.10, we find that u θn 3,2 is bounded. p qp q “ ą || p q||W Therefore there exists a subsequence of θn n N which we do not relabel such that 3,2 p q P u θn n N has a weak limit in W 0, 1 . Let u denote this weak limit. Since pWp3,2 qq0, 1P C is convex and closed inpW 3q,2 0, 1 , we8 find that u W 3,2 0, 1 C. p qX 3,2 p q 8 P p qX The compact embedding W 0, 1 H ã H shows also that u θn u in H. We show finally that u is alsop a criticalqX pointÑ of the functional.p Indeed,q Ñ let8 v C be arbitrary but fixed.8 Then P

0 lim inf u9 θn , v u θn ∇E u θn , v u θn ∇E u , v u . n 8 8 ď Ñ8 p p q ´ p qq ` p p p qq ´ p qq “ p p q ´ q Remark 5.12. This behavior is consistent with the behavior of the static problem, 2,2 1,2 see [21] and [10]. Here it is shown that minimizers exist either as W W0 - graphs or in a slightly larger class, roughly speaking, the class of graphs thatX may have vertical parts at the boundary. 5.2. Examples for all possible asymptotics. The rest of this article will be dedicated to the question whether case 1 in Theorem 5.11 really occurs and whether there are conditions that ensure thatp caseq 2 occurs. As [10] points out, the minimization problem does not possess a solutionp q in the class of symmetric functions for large obstacles. Proposition 5.13 (Symmetry of the Gradient). Let u H. Then ∇E u 1 ∇E u 1 . P p p ´ ¨qq “ p qp ´ ¨q Proof. Fix u H and let φ H be arbitrary. Observe that P P E u tφ E u 1 tφ 1 . p ` q“ p p ´¨q` p ´ ¨qq One can take the derivative of both sides with respect to t and evaluate at t 0 to ﬁnd that ∇E u , φ ∇E u 1 , φ 1 . Writing the right hand side“ as an integral andp usingp q theq “ substitution p p p ´ ¨qq rule,p one´¨qq obtains ∇E u , φ ∇E u 1 1 , φ φ H. p p q q “ p p p ´ ¨qqp ´ ¨q q @ P Therefore ∇E u ∇E u 1 1 and the claim follows. p q“ p p ´ ¨qqp ´ ¨q 40 MARIUS MULLER¨

Lemma 5.14 (Symmetry Preservation). Suppose that ψ C0 0, 1 is a symmetric P pr3, sq obstacle, i.e. ψ x ψ 1 x for all x 0, 1 . Let u0 W 8 0, 1 H be such p q “ p ´ q P p q P p qX that u02 0 u02 1 0 and u0 x u0 1 x for all x 0, 1 . Let u t t 0 be an Obstaclep q“ Gradientp q“ Flow. Thenp uq“t 1 p ´ qu t for allPt p 0q. p p qq ě p qp ´¨q“ p q ě Proof. We show that u t 1 t 0 is also an Obstacle Gradient Flow with intital p p qp ´ ¨qq ě datum u0. Equality follows then from the uniqueness result in Proposition 2.8. We check the conditions required in Definition 2.1. Condition 1 follows from the p q symmetry of u0. For condition 2 observe that for fixed t 0 one has u t 1 ψ 1 ψ because of symmetryp q of ψ. Therefore u t ě1 C forp allqp t´¨q0. ě Itp is´¨q straightforward “ to check that u t 1 W 1,2p qp0,T´¨q,H P with weak timeě derivative coinciding with u9 t 1 palmostqp ´¨q everywhere. P pp Toq verifyq 3 we check F V I . Let v C be arbitraryp qp and´ ¨qt 0 be such that F V I holds.p q Using the psubstitutionq ruleP and Proposition 5.13 ą p q u9 t 1 , v u t 1 ∇E u t 1 , v u t 1 p p qp ´ ¨q ´ p qp ´ ¨qq ` p p p qp ´ ¨qq ´ p qp ´ ¨qq u9 t , v 1 u t ∇E u t 1 1 , v 1 u t “ p p q p ´¨q´ p qq ` p p p qp ´ ¨qqp ´ ¨q p ´¨q´ p qq u9 t , v 1 u t ∇E u t 1 1 , v 1 u t “ p p q p ´¨q´ p qq ` p p p qp ´ ¨qqp ´ ¨q p ´¨q´ p qq u9 t , v 1 u t ∇E u t , v 1 u t 0, “ p p q p ´¨q´ p qq ` p p p qq p ´¨q´ p qq ě since v 1 C because of symmetry of ψ. The claim follows. p ´¨q P Remark 5.15. The observation that symmetry is preserved by the flow is of special interest in the context of higher order variational problems, where symmetry of minimizers is often difficult to obtain. This is due to the lack of a maximum principle. Corollary 5.16 (A Condition Ensuring Subconvergence). Suppose that ψ C0 0, 1 1 1 3, P pr sqX C 0, η C 1 η, 1 for some η 0 and ψ ψ 1 . Let u0 W 8 0, 1 H pr sqX pr ´ sq ą “ p ´¨q 2 P p qX satisfy u2 0 u2 1 0 and be symmetric with E u0 c . Then the Obstacle 0p q “ 0p q “ p q ă 0 Gradient Flow starting at u0 subconverges, that is case 2 in Theorem 5.11 applies. p q Proof. To show that case 2 in Theorem 5.11 applies, we exclude case 1 . Let p q p q 1 u t t 0 be the Obstacle Gradient Flow with initial datum u0. Fix x 0, . p p qq ě P p 2 q Then using (5.12) with x1 x, x2 1 x we obtain “ “ ´ 1 2 E u0 E u t G u t 1 x G u t 1 1 x p qě p p qq ě 1 2xp p p q p qq ´ p p q p ´ qqq ´ 2 G u t 1 x G u t 1 1 x ě p p p q p qq ´ p p q p ´ qqq Since according to Lemma 5.14 u t u t 1 we find that u t 1 1 x p q “ p qp ´ ¨q 2 p q p ´ q “ u t 1 1 x u t 1 x and hence E u0 4G u t 1 x . Since G is an odd function,´ p qp ´ one ¨q p hasq“´ p q p q p q ě p p q p qq

1 c0 (5.13) G u t 1 x G u t 1 x E u0 p| p q p q|q “ | p p q p qq| ď 2 p qă 2 a c0 c0 In particular, since G is monotone and G : , 2 , 2 is a diﬀeomor- phism, see Remark 5.9, we ﬁnd p´8 8q Ñ p´ q

1 E u0 u t 1 x G´ p q x 0, 1 2 . | p q p q| ď ˜a 2 ¸ @ Pr { s ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 41

Since u t 1 x u t 1 1 x we find p q p q“´ p q p ´ q 1 E u0 sup u t 1 L8 0,1 G´ p q , t 0, || p q || p q ď 2 Pr 8q ã ¸ which excludes case 1 in Theorem 5.11. p q Remark 5.17. Of course it could happen that a symmetric function u0 like in Corol- lary 5.16 does not exist. The following Lemma is to convince the reader that for small obstacles, such u0 exists. The appropriate smallness condition is the same as in [10, Lemma 4.2]. For the condition, an important comparision function is needed: 2 x , , 4 ´1 c0 2 0 1 c0 ?1 G c0x U0 x : ` p 2 ´ q P p q p q “ #0 x 0, 1. “ For details on those see [13] and [12]. The reason why U0 is so important is that U0 is a graph reparametrization of one of Eu- ler’s free elastica, i.e. the critical points of (1.2). In the latter article, symmetric critical points of (1.2) that possess a graph reparametrization are investigated. The authors show that all symmetric critical graphs are given by a family uc c 0,c0 that ap- p q Pp q proximates U0 from below, see Figure 1. In Figure 1. Some uc for c 1 3 “ particular, no symmetric critical graph can 2 , 2 , 2.0, 2.15, 2.3, 2.32, 2.35, 2.37, 2.39 be found above U0. Lemma 5.18 (Existence of Symmetric Graphs with Small Energy). Suppose that ψ C0 0, 1 is symmetric. Let P pr sq 3, Csym,reg : w W 8 0, 1 H : w ψ, w w 1 , w2 0 w2 1 0 . “t P p qX ě “ p ´ ¨q p q“ p q“ u Then 2 (5.14) inf E w c0. w Csym,reg p qď P If additionally ψ x U0 x for each x 0, 1 , where U0 is given in Remark 5.17, p qă p q Pr s 2 then there exists v Csym,reg such that E v c . P p qă 0 Proof. The proof uses ideas from [10, Lemma 2.4] and [12, Lemma 4] with just slight modifications. We start with the last part of the claim. To this, suppose that ψ U0. Note that according to [10, Lemma 2.3], U0 is the uniform limit of ă a family of symmetric functions uc c 0,c0 C8 0, 1 H that is increasing in 2 p q Pp q Ă pr sqX c and satisfies E uc c . Because of continuity of ψ and U0 as well as uniform p q “ convergence of uc c 0,c0 there exists ǫ 0 and c 0,c0 such that ψ x ǫ p q Pp q ą P p q p q` ă uc x for each x 0, 1 . Now take φn C08 0, 1 symmetric such that φn u2c in 2p q Pr s Ă p q Ñ L 0, 1 . For n N, let vn denote the unique (and symmetric) solution of p q P v2 φn x 0, 1 , n “ P p q vn 0 x 0, 1. # “ “ 2,2 1,2 Then vn H since by elliptic regularity vn W 0, 1 W 0, 1 . Now by P P p qX 0 p q definition of the norm in H one has vn uc H φn u2 2 0 and hence || ´ || “ || ´ c ||L Ñ 42 MARIUS MULLER¨

2,2 2,2 0 vn uc in W 0, 1 as n . Since W 0, 1 embeds into C 0, 1 the Ñ p q Ñ 8 p q pr sq convergence is also uniform and therefore there exists n0 N such that for each P n n0, vn uc ǫ ψ because of the choice of c,ǫ. Observe that limn E vn ě 2 ą 2 ´ ą N Ñ8 p 2 q“ E uc c c0. Therefore there exists also some n1 stuch that E vn c0 for p q“ ă P 3, p qă each n n1. The claim follows taking v vmax n0,n1 , which is W 8 and satisfies ě “ t u v2 0 v2 1 0 as the second derivative of v is compactly supported. It follows p q“ p q“ that v Csym,reg which proves the last part of the claim. To show (5.14) one can P use a similar approximation of the functions vδ given in [10, Equation (2.10)] which exceed any obstacle for δ small enough and satisfy E vδ c0 o δ . p qď ` p q In the rest of the article we construct a special class of (large) obstacles for the flow can not subconverge. Definition 5.19 (Cone Obstacle). Let A 0 and a 0, 1 . Define ą P p 2 q 1 A x a x 0, 2 , ψA,a x : p ´ q P p s p q “ A 1 x a x 1 , 1 . # p ´ ´ q P p 2 q Remark 5.20. For ψ ψA,a, all the assumptions of Theorem 5.11 are satisfied with η 1 “ “ 2 1 Lemma 5.21 (Energy and Contact Set). Let ψ ψA,a for some A 0, a 0, 2 and let u H be symmetric and such that u “ψ almost everywhere.ą If thereP p isq 1 P ě x0 such that u x0 ψ x0 , then ‰ 2 p q“ p q 1 1 (5.15) E u 4G A 2 min , . p qě p q 2a 1 2a " ´ * Proof. Note that u x0 ψ x0 and symmetry of u, ψ imply that u 1 x0 p q “ p q p ´ q1 “ ψ 1 x0 . Therefore one can assume without loss of generality that x0 0, . p ´ q P p 2 q We distinguish two cases, namely x0 a or x0 a. If x0 a one obtains using ě ă ě (5.12) with x1 x0 and x2 1 x0 that “ “ ´ 2 G u1 x0 G u1 1 x0 E u p p p qq ´ p p ´ qqq . p qě 1 2x0 ´ Also note that u1 x0 ψ1 x0 A and u1 1 x0 ψ1 1 x0 A which is due p q“ 1p q“ p ´ q“ p ´ q“´ to the fact that u ψ is C in a neighborhood of x0 and attains its global minimum ´ 4G A 2 4G A 2 at x0. Hence E u p q p q , the claim in this case. Now suppose that 1 2x0 1 2a p q ě ´ ě ´ x0 a. Then u x0 ψ x0 A x0 a 0. Note that u1 x0 ψ1 x0 A 0 ă p q“ p q“ p ´ qă p q“ p q“ ą and since u x0 u 0 there has to be η1 0, x0 such that u1 η1 0. Because of p qă p q P p q p qă the intermediate value theorem there exists η η1, x0 such that u1 η 0. Hence P p q p q“ u1 x0 u1 1 x0 A and u1 η u1 1 η 0. Using this and the Cauchy Schwarzp q“´ inequalityp ´ likeq“ in the proofp q“´ of Propositionp ´ q“ 5.8 we find

x0 2 1 η 2 u2 x ´ u2 x E u p q 5 dx p q 5 dx 2 2 2 2 p qě η 1 u1 x ` 1 x0 1 u1 x ż ż ´ p ` p q q 2 p ` p q q 2 G u1 η G u1 x0 G u1 1 η G u1 1 x0 p p p qq ´ p p qqq p p p ´ qq ´ p p ´ qqq ě x0 η ` x0 η ´ ´ 2G A 2 4G A 2 4G A 2 p q p q p q . “ x0 η ě 2x0 ě 2a ´ ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 43

Corollary 5.22 (Non-Subconverging Solutions). Suppose that ψ ψA, 1 with “ 4 HYP2F1 1, 3 ; 7 , B2 1 c0 8 1 2 4 (5.16) A max G´ , , 4 sup B p ´ q , ?6 c0 1 3 2 ą p q B 0 3 HYP2F1 , 1, , B " ą p 2 4 ´ q* where HYP2F1 denotes the hypergeometric function in [5, Deﬁnition 2.1.5]. Let 3, E 4 2 u0 H W 8 0, 1 be symmetric such that u02 0 u02 1 0 and u0 3 c0. P X p q 3,2 p q“ p q “ p qă Then there is no symmetric u H W 0, 1 such that u ψ, u2 0 u2 1 0, P X p q ě p q“ p q“ E u E u0 and p qď p q (5.17) ∇E u , v u 0 v C. p p q ´ qě @ P In particular, for the Obstacle Gradient Flow with initial data u0, case (2) in Theorem 5.11 is excluded.

Remark 5.23. Note that u0 as in the statement of Corollary 5.22 actually exists because of (5.14). Proof of Corollary 5.22. Notice that the supremum on the right hand side of (5.16) is finite by [21, Proof of Theorem 1.1, Lemma C.6]. Let A be as in the statement 1 and a . Further, we denote ψ ψA,a. Note that “ 4 “ HYP2F1 1, 3 ; 7 , B2 1 1 1 1 c0 2 1 2 4 (5.18) ψ A a max G´ , , sup B p ´ q 2 2 4 ?6 c0 1 3 2 p q“ p ´ qą p q B 0 3 HYP2F1 , 1, , B " ą p 2 4 ´ q* and assume for a contradiction that there exists u H W 3,2 0, 1 symmetric such E 4 2 ∇EP X p q that u ψ, u 3 c0, u2 0 u2 1 0 and u , v u 0 for each v C. We distinguishě p casesqă analyzingp q“ thep coincidenceq“ p set Ip :q ú qěψ . If I thenP one obtains from (5.17) with the techniques of [20, Theorem“ t “ 6.9u Section“ H 2] that ∇E u 0. In this case, [12, Lemma 4] implies that there exists c 0,c0 p q” P p q 2 2 u x x 0, 1 . 2 2 p q“ c 4 1 G 1 c cx ´ c 4 1 G 1 c Pr s ` ´ 2 ´ ` ´ 2 b b for some c 0,c0 . Given this,` [12, Corollary˘ 3] and (5.18)` ˘ imply that P p q u 1 2 A 1 a ψ 1 , 2 ă c0 ď 2 ´ “ 2 ` ˘ ` ˘ ` ˘ 1 a contradiction to u ψ. Now suppose that I contains some point x0 2 . Then ě 1 c0 ‰ because of (5.15) and A G´ one has ě p ?6 q 2 2 1 2 c0 4 2 E u 4G A 8G A 8 c0, p qě p q 1 2 “ p q ě 6 “ 3 { E 4 2 1 which is a contradiction to u 3 c0. The only possibility that remains is I 2 . From here we proceed similarp qă to [21, Lemma 3.3, Proof of Theorem 1.5]. We“t firstu show that there is C R such that P v x 1 1 (5.19) p q 5 C a.e. in 0, 2 , 1 u x 2 4 “ p { q p ` 1p q q v x 1 1 (5.20) p q 5 C a.e. in 2, 1 , 1 u x 2 4 “´ p { q p ` 1p q q 44 MARIUS MULLER¨

u2 x 1 where v x : p q 5 . Indeed, for φ C08 0, 2 and ǫ ǫ0 small enough we p q “ 1 u1 x 2 4 P p q | | ă have u ǫφ Cp.` Thereforep q q ` P 1 2u φ 5u 2u φ 0 ∇E u , φ 2 2 dx 2 1 1 dx 2 5 2 7 “ p p q q“ 0 1 u 2 ´ 1 u 2 ż p ` 1 q p ` 1 q 1 2vφ 5v2u φ 2 dx 1 1 dx 2 5 2 “ 0 1 u 4 ´ 1 u1 ż p ` 1 q p ` q 1 1 1 2 2vφ1 2v1 5vu1u2 5v u1φ1 φ1 dx dx. 2 5 2 5 2 9 2 “ 1 u 4 ´ 0 1 u 4 ´ 1 u 4 ´ 0 1 u1 „p ` 1 q 0 ż ˆp ` 1 q p ` 1 q ˙ ż p ` q u2 0 u2 1 vu1u2 v2u1 Using v 0 p q 5 0, v 1 p q 5 0 and 9 1 u12 almost p q “ 1 u1 0 2 4 “ p q “ 1 u1 1 2 4 “ 1 u12 4 “ ` everywhere wep obtain` p q q p ` p q q p ` q 1 2v φ 0 1 1 dx. 2 5 “ 0 1 u 4 ż p ` 1 q Hence there is C R such that P v x 1 1 p q 5 C a.e. in 0, 2 . 1 u x 2 4 “ p { q p ` 1p q q Equation (5.20) follows by symmetry of u. If now C 0 then v const. on 0, 1 , and since v 0 v 1 0, we have v 0. As a“ result u is” a line, whichp isq a contradictionp q to “ thep factq “ that u ψ. Therefore” C 0. We show next that C 0. 2 5 ě ‰ ă Indeed, v1 x C 1 u1 x 4 and v 0 0 imply p q“ p ` p q q p q“ x 2 5 v x C 1 u1 s 4 ds p q“ p ` p q q ż0 and hence using the deﬁnition of v, x 2 5 2 5 (5.21) u2 x C 1 u1 x 4 1 u1 s 4 ds. p q“ p ` p q q p ` p q q ż0 Integrating once we ﬁnd that x 2 C 2 5 u1 x u1 0 1 u1 s 4 ds . p q´ p q“ 2 p ` p q q ˆż0 ˙ 1 Hence u1 is either increasing or decreasing in 0, 2 depending on the sign of C. If 1 p q 1 u1 is increasing then u1 x u1 0 for each x 0, 2 which implies that u is p qď p 2 q“ P p { q decreasing in 0, 1 2 . But this makes u ψ impossible. A contradiction. Hence p { q ě 1 u1 is decerasing and therefore u is concave on 0, 2 . In particular u2 0 and p { q ď together with (5.21), C 0. Equation (5.21) reveals moreover that u2 0 on 1 ă ă 0, 2 . By symmetry, u2 0 on 0, 1 , so u is strictly concave on 0, 1 . Once this isp shown,{ q one can computeă exactlyp likeq in [21, Lemma 3.3, Theoremp 1.1]q that 1 HYP2F1 1, 3 ; 7 , B2 u 1 B p 2 4 ´ q . 2 sup 1 3 2 ď B 0 3 HYP2F1 2 , 1, 4 , B ` ˘ ą p ´ q We sketch the arguments for the sake of convenience of the reader. Multiplying 2 5 v1 x C 1 u1 x 4 by v x we obtain p q“ p ` p q q p q 1 v x v1 x Cu2 x a.e. 0 x . p q p q“ p q ď ď 2 ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 45

Integrating we obtain that

2 1 v x C u1 x u1 0 0 x p q “ p p q´ p qq ď ď 2 and therefore, since u1 is strictly decreasing and u2 0 on 0, 1 the only possible sign option is ă p q 2 5 u2 x C u 0 u x 1 u1 x 4 . p q“ 1p q´ 1p qp ` p q q 2 5 In particular, dividing by u 0a u x 1 u1 x 4 and integrating one obtains 1p q´ 1p qp ` p q q u1 x ap q 1 (5.22) dz Cx. 2 5 u1 0 u1 0 z 1 z 4 “ ż p q p q´ p ` q 1 Since by symmetry u1 0a one has p 2 q“ C 0 1 (5.23) dz. 2 5 2 “ u1 0 u1 0 z 1 z 4 ż p q p q´ p ` q s 1 a Define F0 s : u1 0 5 dz for s u1 0 . Then F0 is increasing and p q “ ?u1 0 z 1 z2 4 ă p q p q p q´ p ` q 1 1 1 has a C inverse şF0´ that satisfies u1 x F0´ Cx according to (5.22). Moreover, C p q“ p q F0 0 and F0 u1 0 0. Hence p q“ 2 p p qq “ 1 C ´1 C 2 2 F0 2 1 1 1 1 1 p { q u 2 F0´ Cx dx F0´ w dw sF01 s ds p q“ 0 p q “ C 0 p q “ C F ´1 0 p q ż ż ż 0 p q 1 C 1 Using (5.23), F ´ 2 0 and F ´ 0 u1 0 one has 0 p { q“ 0 p q“ p q 0 z u1 0 5 dz ?u1 0 z 1 z2 4 u 1 p q p q´ p ` q p 2 q“ ş 0 1 2 u1 0 5 dz ?u1 0 z 1 z2 4 p q p q´ p ` q ş Using [21, Lemma C.5] and (5.18) we find

3 7 2 3 7 2 1 1 HYP2F1 1, 2 ; 4 , u1 0 1 HYP2F1 1, 2 ; 4 , B u u p ´ p q q B p ´ q ψ 1 2 2 1 0 1 3 2 sup 1 3 2 p q“ 3 p qHYP2F1 , 1; , u1 0 ď B 0 3 HYP2F1 , 1, , B ă p { q p 2 4 ´ p q q ą p 2 4 ´ q and one obtains a contradiction again. The claim follows.

Remark 5.24. A computer assisted calculation for the expression in (5.18) shows that HYP2F1 1, 3 ; 7 , B2 1 1 c0 1 2 4 2 1 G´ sup B p ´ q U0 0.84. 4 ?6 1 3 2 c0 2 p qă B 0 3 HYP2F1 2 , 1, 4 , B “ “ « ą p ´ q ` ˘ 1 Then the quantity in (5.18) coincides with U0 2 , which is also the highest value a symmetric critical graph curve of (1.2) canp attain,q see Remark 5.17. This can be seen as a sharpness result for Corollary 5.16 in the following sense: If ψ U0 then the flow subconverges for symmetric initial data with small energy. Onă the contrary, (5.18) implies that we can find examples of obstacles that exceed U0 ’only by a little’ with the property that the flow starting at symmetric initial data of small energy cannot subconverge. 46 MARIUS MULLER¨

Appendix A. Technical Proofs

Proof of Proposition 3.1. Let un n N C be a minimizing sequence for Φv,τ . Note that then p q P Ă

un v 2τ Φv,τ un E un 2τ Φv,τ un α || ´ || “ p p q´ p qq ď p p q´ q b b which implies that un n N is bounded. Therefore un n N possesses a weakly con- p q P p q P vergent subsequence which we call un n N again for the sake of simplicity. Let w H denote its weak limit. Since Cp isq weaklyP closed we infer that w C. Since P P Φv,τ is weakly lower semicontinuous as the sum of two weakly lower semicontinous functionals (see Assumption 1 and [8, Proposition 3.5(iii)]), we obtain

Φv,τ w lim inf Φv,τ un inf Φv,τ u . p qď n p q“ u C p q Ñ8 P Equation (3.2) follows after an easy computation from the inequality d 0 Φv,τ ǫu 1 ǫ w u C. ď dǫ ǫ“0 p ` p ´ q q @ P | Proof of Proposition 4.4. The Frechét differentiability and the formula for the Frechét derivative follows after a straightforward computation from 1 1 2 2 E u G1 u1 u2 dx K u1 dx u H. p q“ p q ` p q @ P ż0 ż0 We continue verifying Assumption 1 and 2. The energy E is clearly bounded from below by 0. To show weak lower semicontinuity, suppose that un u in H. á Then un1 u1 uniformly on 0, 1 . This implies that there is R 0 such that Ñ r N s ą u1 , un1 R for each n . Hence || ||8 || ||8 ď P 1 K un1 x K u1 x un1 u K1 sun1 x 1 s u1 x ds | p p qq ´ p p qq| ď || ´ ||8 | p p q ` p ´ q p qq| ż0 un1 u1 sup K1 z 0 n . 8 ď || ´ || z BR 0 | p q| Ñ p Ñ 8q P p q Thus, since the convergence is uniform 1 1 K u1 dx K u1 dx. p nq Ñ p q ż0 ż0 Additionally, 1 1 2 2 G1 u1 u2 dx lim G1 u1 u2u2 dx n n 0 p q “ Ñ8 0 p q ż 1 ż 1 lim inf G1 u1 G1 un1 u2un2 dx G1 u1 G1 u1 G1 un1 u2 un2 dx ď n p q p q ` | p q| | p q´ p q| | | | | Ñ8 ż0 ż0 1 1 2 2 2 2 lim inf G1 u1 u2 dx G1 un1 un2 dx ď n d 0 p q d 0 p q Ñ8 ż ż G1 u1 G1 un1 u2 L2 un2 L2 sup G1 z 8 ` || p q´ p q|| || || || || z BR 0 | p q| P p q lim inf E u E un n ď Ñ8 p q p q ua1 un1 a u2 L2 un2 L2 sup G2 su1 x 1 s un1 x sup G1 z 8 ` || ´ || || || || || s,x 0,1 | p p q ` p ´ q p qq| z BR 0 | p q| Pr s P p q ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 47

lim inf E u E un n ď Ñ8 p q p q ua1 un1 a u2 L2 un2 L2 sup G2 z sup G1 z 8 ` || ´ || || || || || z BR 0 | p q| z BR 0 | p q| P p q P p q E u lim inf E un . n “ p q Ñ8 p q The lowera semicontinuityb follows. We proceed verifying Assumption 2 and the rest follows immediately. Let u, v H. Denote by CP the operator norm of the 2,2 P 1,2 1, 1,2 embedding operator ι : W 0, 1 W 0, 1 ã W 8 0, 1 W 0, 1 . Also p qX 0 p q Ñ p qX 0 p q deﬁne B : B u1 v1 0 . “ || ||8`|| ||8 p q 1 1 2 2 ∇E u ∇E v sup 2 u2G1 u1 v2G1 v1 φ2 2 K1 u1 K1 v1 φ1 || p q´ p q|| “ φ 1 0 p p q ´ p q q ` 0 p p q´ p qq || ||ď ż ż 1 2 2 2 G1 u1 G2 u1 u2 G1 v1 G2 v1 v2 φ1 ` 0 p p q p q ´ p q p q q 2ż 2 sup 2 φ u2G1 u1 v2G1 v1 L2 ď φ 1 || || || p q ´ p q || || ||ď 2 sup K2 z φ1 L8 u1 v1 L8 ` z B | p q| || || || ´ || P 2 φ1 L8 u2 2 G1 u1 G2 u1 G1 v1 G2 v1 L8 ` || || || ||L || p q p q´ p q p q|| 1 2 2 φ1 L8 G1 v1 G2 v1 u2 v2 dx. ` || || | p q p q|| ´ | ż0 Note that for a.e x 0, 1 P p q G1 u1 x G2 u1 x G1 v1 x G2 v1 x | p p qq p p qq ´ p p qq p p qq| 1 2 G2 G1G3 su1 x 1 s v1 x ds u1 v1 ď p ` qp p q ` p ´ q p qq || ´ ||8 ˇż0 ˇ ˇ 2 ˇ ˇsup G2 z G1 z G3 z u1 v1 ˇ ď ˇz B | p q ` p q p q| || ´ ||8 ˇ P and 2 2 2 2 u2 v2 u2 v2 2v2 u2 v2 u2 v2 2 v2 u2 v2 . | ´ | “ |p ´ q ` p ´ q| ď | ´ | ` | || ´ | Therefore 2 2 2 ∇E u ∇E v sup 2 φ u2 v2 G1 u1 L2 u2 L2 G1 u1 G1 v1 || p q´ p q|| ď φ 1 || ||p||p ´ q p q || ` || || || p q ´ p q ||8q || ||ď 2 φ1 L8 u1 v1 L8 sup K2 z ` || || || ´ || z B | p q| P 2 2 φ1 L8 u2 L2 u1 v1 sup G2 z G1 z G3 z ` || || || || || ´ ||8 z B | p q ` p q p q| P 1 2 2 φ1 L8 sup G1 z G2 z u2 v2 dx ` || || z B | p q p q| 0 | ´ | P 2 ż sup 2 φ sup G1 z u2 v2 L2 u2 L2 sup 2 G1G2 z u1 v1 ď φ 1 || ||pz B | p q| ||p ´ q|| ` || || z B | p qp q| || ´ ||8q || ||ď P P 2 sup K2 z φ1 L8 u1 v1 L8 ` z B | p q| || || || ´ || P 2 2 φ1 L8 u2 L2 sup G2 z G1 z G3 z u1 v1 ` || || || || z B | p q ` p q p q| || ´ ||8 P 2 φ1 L8 sup G1 z G2 z u2 v2 L2 2 v2 L2 u2 v2 L2 ` || || z B | p q p q|p|| ´ || ` || || || ´ || q P 48 MARIUS MULLER¨

2 sup 2 φ sup G1 z u2 v2 L2 u2 L2 sup 2 G1G2 z u1 v1 ď φ 1 || ||pz B | p q| ||p ´ q|| ` || || z B | p qp q| || ´ ||8q || ||ď P P 2 sup K2 z φ1 L8 u1 v1 L8 ` z B | p q| || || || ´ || P 2 2 φ1 L8 u2 L2 sup G2 z G1 z G3 z u1 v1 ` || || || || z B | p q ` p q p q| || ´ ||8 P φ1 L8 sup G1G2 z u2 L2 3 v2 L2 u v . ` || || z B |p qp q|p|| || ` || || q|| ´ || P Estimating all L8 norms with CP one obtains the claim with || ¨ || 2 2 ζ r : 2 sup G1 2r sup G1G2 2Cp sup K2 p q “ BC r 0 | | ` BC r 0 | |` BC r 0 | | p p q p p q p p q 2 2 2 Cp r sup G2 G1G3 3Cpr sup G1G2 . ` BC r 0 | ` |` BC r 0 | | p p q p p q

Proof of Lemma 4.6. We prove the claim by induction over l. The case l 0 is clear. Suppose now the claim is true for each l 0, 1, ..., k . We prove that“ it is also true for l k 1. P t u “ ` ak 1 1 Z1τ ak Z2τ ` ď p ` q ` k Z2 k 1 Z1τ 1 Z1τ a0 1 Z1τ 1 Z2τ ď p ` q p ` q ` Z pp ` q ´ q ` ˆ 1 ˙ k 1 Z2 k 1 1 Z1τ ` a0 1 Z1τ ` 1 Z1τ Z2τ “ p ` q ` Z1 p ` q ´ p ` q ` k 1 Z2 ` k 1 ˘ 1 Z1τ ` a0 1 Z1τ ` 1 . “ p ` q ` Z1 pp ` q ´ q Proof of Lemma 5.4. The product rule for Sobolev functions, see [15, Theorem 4 in Section 4.2.2] implies that t (A.1) h t : exp α s ds f t p q “ ´ p q p q ˆ ża ˙ is weakly diﬀerentiable with weak derivative t h1 t exp α s ds β t . p q“ ´ p q p q ˆ ża ˙ Therefore h W 1,1 a,b and hence P p q t s h t h a exp α w dw β s ds p q“ p q` ´ p q p q a ˆ a ˙ ż t ż s f a exp α w dw β s ds. “ p q` ´ p q p q ża ˆ ża ˙ The claim follows together with (A.1).

References [1] Charalambos D. Aliprantis and Kim C. Border, Inﬁnite dimensional analysis, 3rd ed., Springer, Berlin, 2006. A hitchhiker’s guide. MR2378491 [2] Hans Wilhelm Alt, Linear functional analysis, Universitext, Springer-Verlag London, Ltd., London, 2016. An application-oriented introduction; Translated from the German edition by Robert N¨urnberg. MR3497775 ON GRADIENT FLOWS WITH OBSTACLES AND EULER’S ELASTICA 49

[3] Luigi Ambrosio and Nicola Gigli, A user’s guide to optimal transport, Modelling and optimi- sation of flows on networks, Lecture Notes in Math., vol. 2062, Springer, Heidelberg, 2013, pp. 1–155, DOI 10.1007/978-3-642-32160-3-1. MR3050280 [4] Luigi Ambrosio, Nicola Gigli, and Giuseppe Savaré, Gradient flows in metric spaces and in the space of probability measures, 2nd ed., Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel, 2008. MR2401600 [5] George E. Andrews, Richard Askey, and Ranjan Roy, Special functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, 1999. MR1688958 [6] Wolfgang Arendt, Charles J. K. Batty, Matthias Hieber, and Frank Neubrander, Vector- valued Laplace transforms and Cauchy problems, 2nd ed., Monographs in Mathematics, vol. 96, Birkhäuser/Springer Basel AG, Basel, 2011. MR2798103 [7] Wolfgang Arendt and Marcel Kreuter, Mapping theorems for Sobolev spaces of vector- valued functions, Studia Math. 240 (2018), no. 3, 275–299, DOI 10.4064/sm8757-4-2017. MR3731026 [8] Haim Brezis, Functional analysis, Sobolev spaces and partial differential equations, Univer- sitext, Springer, New York, 2011. MR2759829 [9] Thierry Cazenave and Alain Haraux, An introduction to semilinear evolution equations, Ox- ford Lecture Series in Mathematics and its Applications, vol. 13, The Clarendon Press, Oxford University Press, New York, 1998. Translated from the 1990 French original by Yvan Martel and revised by the authors. MR1691574 [10] Anna Dall’Acqua and Klaus Deckelnick, An obstacle problem for elastic graphs, SIAM J. Math. Anal. 50 (2018), no. 1, 119–137, DOI 10.1137/17M111701X. MR3742685 [11] Fran¸cois Dayrens, Simon Masnou, and Matteo Novaga, Existence, regularity and structure of confined elasticae, ESAIM Control Optim. Calc. Var. 24 (2018), no. 1, 25–43, DOI 10.1051/cocv/2016073. MR3764132 [12] Klaus Deckelnick and Hans-Christoph Grunau, Boundary value problems for the one- dimensional Willmore equation, Calc. Var. Partial Differential Equations 30 (2007), no. 3, 293–314, DOI 10.1007/s00526-007-0089-6. MR2332416 [13] Peter A. Djondjorov, Mariana Ts. Hadzhilazova, Iva¨ılo M. Mladenov, and Vassil M. Vas- silev, Explicit parameterization of Euler’s elastica, Geometry, integrability and quantization, Softex, Sofia, 2008, pp. 175–186. MR2436270 [14] Lawrence C. Evans, Partial differential equations, 2nd ed., Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 2010. MR2597943 [15] Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions, Revised edition, Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2015. MR3409135 [16] Filippo Gazzola, Hans-Christoph Grunau, and Guido Sweers, Polyharmonic boundary value problems, Lecture Notes in Mathematics, vol. 1991, Springer-Verlag, Berlin, 2010. Positivity preserving and nonlinear higher order elliptic equations in bounded domains. MR2667016 [17] Juha Heinonen, Lectures on analysis on metric spaces, Universitext, Springer-Verlag, New York, 2001. MR1800917 [18] Magnus R. Hestenes, Calculus of variations and optimal control theory, Robert E. Krieger Publishing Co., Inc., Huntington, N.Y., 1980. Corrected reprint of the 1966 original. MR601775 [19] Richard Jordan, David Kinderlehrer, and Felix Otto, The variational formulation of the Fokker-Planck equation, SIAM J. Math. Anal. 29 (1998), no. 1, 1–17, DOI 10.1137/S0036141096303359. MR1617171 [20] David Kinderlehrer and Guido Stampacchia, An introduction to variational inequalities and their applications, Classics in Applied Mathematics, vol. 31, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2000. Reprint of the 1980 original. MR1786735 [21] Marius Müller, An obstacle problem for elastic curves: existence results, preprint (2018), available at arXiv:1812.03095. [22] Matteo Novaga and Shinya Okabe, Regularity of the obstacle problem for the parabolic biharmonic equation, Math. Ann. 363 (2015), no. 3-4, 1147–1186, DOI 10.1007/s00208-015-1200-5. MR3412355 [23] , The two-obstacle problem for the parabolic biharmonic equation, Nonlinear Anal. 136 (2016), 215–233, DOI 10.1016/j.na.2016.02.004. MR3474411 50 MARIUS MULLER¨

[24] Shinya Okabe, Paola Pozzi, and Glen Wheeler, A gradient flow for the p-elastic energy defined on closed planar curves, preprint (2018), available at arXiv:1811.06608. [25] Filippo Santambrogio, {Euclidean, metric, and Wasserstein} gradient flows: an overview, Bull. Math. Sci. 7 (2017), no. 1, 87–154, DOI 10.1007/s13373-017-0101-1. MR3625852 [26] Jacques Simon, Compact sets in the space Lpp0, T ; Bq, Ann. Mat. Pura Appl. (4) 146 (1987), 65–96, DOI 10.1007/BF01762360. MR916688 [27] Kosaku Yosida, Functional analysis, Classics in Mathematics, Springer-Verlag, Berlin, 1995. Reprint of the sixth (1980) edition. MR1336382

Institut fur¨ Analysis, Universitat¨ Ulm, 89069 Ulm E-mail address: [email protected]