EXISTENCE AND REGULARITY OF BRANCHED MINIMAL SUBMANIFOLDS
A DISSERTATION SUBMITTED TO THE DEPARTMENT OF MATHEMATICS AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY
Brian Krummel August 2011
© 2011 by Brian James Krummel. All Rights Reserved. Re-distributed by Stanford University under license with the author.
This work is licensed under a Creative Commons Attribution- Noncommercial 3.0 United States License. http://creativecommons.org/licenses/by-nc/3.0/us/
This dissertation is online at: http://purl.stanford.edu/rc085mz1473
ii I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy.
Leon Simon, Primary Adviser
I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy.
Richard Schoen
I certify that I have read this dissertation and that, in my opinion, it is fully adequate in scope and quality as a dissertation for the degree of Doctor of Philosophy.
Brian White
Approved for the Stanford University Committee on Graduate Studies. Patricia J. Gumport, Vice Provost Graduate Education
This signature page was generated electronically upon submission of this dissertation in electronic format. An original signed hard copy of the signature page is on file in University Archives.
iii Abstract
We consider two-valued solutions to elliptic problems, which arise from the study branched minimal submanifolds. Simon and Wickramasekera constructed in [10] examples of two-valued solutions to the Dirichlet problem for the minimal surface ˘2 n−2 equation on the cylinder C = B1 (0) × R with H¨oldercontinuity estimates on the gradient assuming the boundary data satisfies a symmetry condition. However, their method was specific to the minimal surface equation. We generalize Simon and Wickramasekera’s result to an existence theorems for a more general class elliptic equations and for a class of elliptic systems with small data. In particular, we extend Simon and Wickramasekera’s result to the minimal surface system. Our approach uses techniques for elliptic differential equations such as the Leray-Schauder theory and contraction mapping principle, which have the advantage of applying in more general contexts than codimension 1 minimal surfaces. We also show that for two- valued solutions to elliptic equations with real analytic data, the branch set of their graphs are real analytic (n − 2)-dimensional submanifolds. This is a consequence of using the Schauder estimate for two-valued functions and a technique involving majorants due to Friedman [2] to inductively get estimates on the derivatives of the two-valued solutions.
iv Acknowledgments
I am grateful for my advisor Leon Simon, whose ideas and encouragement were in- valuable to my dissertation work. Leon’s insightful way of looking at mathematics has had a positive influence on me as a mathematician. I consider myself fortunate to have been his student.
I also thank Rick Schoen, Brian White, Rafe Mazzeo, and Simon Brendle for tak- ing time to meet with me to discuss mathematics throughout my time at Stanford. Their ideas have often been interesting and helpful in my work. In particular, I thank Rick Schoen, Brian White, and Rafe Mazzeo for being on my dissertation committee and Simon Brendle for providing financial support for my quarter spent at Cambridge.
I appreciate Neshan Wickramasekera showing his interest in my research and tak- ing time to talk with me about it while I was visiting Cambridge.
Finally I am thankful to my friends and family for their support and interest in my academic endeavors. In particular, I am grateful to my parents for teaching me the value of education from a young age and for their encouragement during my graduate work.
v Contents
Abstract iv
Acknowledgments v
1 Introduction and Statement of Main Results 1 1.1 Notation ...... 1 1.2 Two-valued functions ...... 2 1.3 The function spaces Vk and Vk,µ ...... 10 1.4 Minimal submanifolds ...... 18 1.5 Existence and regularity theorems ...... 21
2 Elliptic theory for two-valued functions 28 2.1 Overview ...... 28 2.2 Maximum principles ...... 29 2.3 Schauder estimates ...... 35 2.4 Global estimates ...... 45 2.5 H¨oldercontinuity estimates ...... 50
3 Existence theorems 60 3.1 Overview ...... 60 3.2 Poisson equation ...... 60 3.3 Elliptic systems ...... 68 3.4 Elliptic equations ...... 73
vi 4 Regularity theorems 88 4.1 C1,µ regularity of C1 solutions ...... 88 4.2 Smoothness of two-valued solutions ...... 112
4.3 Bounding gγ ...... 118 i 4.4 Bounding the H¨oldercoefficient of fγ ...... 123 4.5 Analyticity of two-valued solutions ...... 129
Bibliography 133
vii Chapter 1
Introduction and Statement of Main Results
1.1 Notation
We shall adopt the following notation and conventions throughout this thesis.
n ≥ 3 is a fixed integer.
m m BR (X0) denotes the closed ball of radius R centered at X0 in R .
˘m m BR (X0) denotes the open ball of radius R centered at X0 in R .
n ˘ ˘n BR(X0) = BR(0), BR(X0) = BR(X0).
˘2 n−2 n C = B1 (0) × R denotes an open cylinder in R .
2 n−2 X = (x, y) denotes a point in C, where x ∈ B1 (0) and y ∈ R . We identify x with the point reiθ in C, where r ∈ [0, 1] and θ ∈ R.
1 CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 2
iθ iθ+iφ Rφ denotes the n × n matrix such that Rφ(re , y) = (re , y). We write
cos φ − sin φ 0 0 ··· 0 sin φ cos φ 0 0 ··· 0 0 0 1 0 ··· 0 i Rφ = (R )i,j=1,...,n = j 0 0 0 1 ··· 0 ...... ...... 0 0 0 0 ··· 1
j where Ri denotes the entry in the i-th row and j-th column of Rφ.
Rm×n denotes the space of m × n real matrices.
Hk denotes the k-th dimensional Hausdorff measure.
Ln denotes the Lebesgue measure in Rn.
1.2 Two-valued functions
Let Ω be a domain in Rn. Given an integer q ≥ 2, we say u is a q-valued function m on Ω taking values in R if at each point X ∈ Ω, u(X) = {u1(X), . . . , uq(X)} is an m unordered q-tuple, where uj(X) ∈ R [1]. We can define a metric G on the space of unordered q-tuples by
q !1/2 X 2 G(u, v) = sup inf |uj − vσ(j)| X∈Ω σ j=1 for unordered q-tuples u = {u1, . . . uq} and v = {v1, . . . vq}, where σ is a permutation of {1, 2, . . . , q}. We say a q-valued function u is continuous at X ∈ Ω if
lim G(u(X), u(Y )) = 0. Y →X CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 3
We say a q-valued function u from Ω ⊆ Rn to unordered q-tuples in Rm is differentiable at X ∈ Ω if for some m × n matrices A1,...Aq,
G(u(X + h), {u (X) + A h}) lim j j = 0, h→0 |h| in which case we say Du(X) = {A1,...,Aq} is the derivative of u at X. We define k-th order derivatives for integers k ≥ 2 inductively by Dku(X) = D(Dk−1u)(X). For integers k ≥ 0, Ck(Ω, Rm) denotes the space of q-valued functions u on Ω taking values in Rm such that Dju exists and is continuous for 0 ≤ j ≤ k. We say u is H¨oldercontinuous with exponent µ ∈ (0, 1] on Ω if
G(u(X), u(Y )) [u]µ,Ω = sup µ < ∞. (1.1) X,Y ∈Ω,X6=Y |X − Y |
For k ≥ 0 and µ ∈ (0, 1], Ck,µ(Ω, Rm) denotes the space of two-valued functions u ∈ Ck(Ω, Rm) such that Dku is H¨oldercontinuous with exponent µ. For Ω ⊆ Rn open, k m k m given k ≥ 0 we let Cc (Ω, R ) denote the space of two-valued functions u ∈ C (Ω, R ) such that u = {0, 0} on Ω \ Ω0 for some Ω0 ⊂⊂ Ω and given k ≥ 0 and µ ∈ (0, 1] we k,µ m k,µ m let Cc (Ω, R ) denote the space of two-valued functions u ∈ C (Ω, R ) such that u = {0, 0} on Ω \ Ω0 for some Ω0 ⊂⊂ Ω. For Ω ⊆ Rn open, k ≥ 0, and µ ∈ (0, 1], we k,µ m k m k,µ 0 m let Cloc (Ω, R ) denote the space of u ∈ C (Ω, R ) such that u ∈ C (Ω , R ) for all Ω0 ⊂⊂ Ω. For Ω ⊆ Rn, we let
kukC0(Ω) = sup G(u(X), 0) X∈Ω for each two-valued function u ∈ C0(Ω, Rm),
X α kukCk(Ω) = kD ukC0(Ω) |α|≤k for each two-valued function u ∈ Ck(Ω, Rm) for k ≥ 1, and
X α X α kukCk,µ(Ω) = kD ukC0(Ω) + [D u]µ,Ω |α|≤k |α|=k CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 4
for each two-valued function u ∈ Ck,µ(Ω, Rm) for k ≥ 0 and µ ∈ (0, 1). We define a metric on C0(Ω, Rm) by
ku − vkC0(Ω) = sup G(u(X), v(X)) X∈Ω for two-valued functions u, v ∈ C0(Ω, Rm) and we define a metric on Ck(Ω, Rm) for k ≥ 1 by X α α ku − vkCk(Ω) = kD u − D vkC0(Ω) |α|≤k for two-valued functions u, v ∈ Ck(Ω, Rm).
Note that there is no well-defined addition or multiplication operators on the space of q-valued functions in C1(Ω). Consider the two-valued functions u and v on C given by u(z) = {± Re z3/2} and v(z) = {± Re(z + 1)3/2} and suppose we had defined u + v as a two-valued function in C1(Ω). On the slit domain {reiθ : θ ∈ (−π, π)}, there are two possibilities for u + v as a C1 two-valued function, either
(u + v)(z) = {Re z3/2 + Re(z + 1)3/2, − Re z3/2 − Re(z + 2)3/2} (1.2) or (u + v)(z) = {Re z3/2 − Re(z + 1)3/2, − Re z3/2 + Re(z + 2)3/2}, (1.3) where we let w3/2 = r3/2e3iθ/2 for w = reiθ where r > 0 and θ ∈ (−π, π). By con- tinuity, both expressions in (1.2) and (1.3) extend to unique continuous two-valued functions on all of C. However, neither of the expressions for u + v in (1.2) and (1.3) are differentiable along the interval (−1, 0).
We are primarily interested in the case where q = 2. We say a two-valued function u is symmetric if at each point X ∈ Ω, u(X) = {−u1(X), +u1(X)} for some value u1(X). We can write u as
u (X) + u (X) u (X) − u (X) u = u + u , where u (X) = 1 2 and u (X) = ± 1 2 a s a 2 s 2 CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 5
where u(X) = {u1(X), u2(X)}. Observe that we can regard ua as single-valued and that us is two-valued symmetric. We will call ua the average part of u and us the two-valued symmetric part of u. Given a two-valued function u ∈ C0(Ω, Rm), we define
Zu = {X ∈ Ω: u1(X) = u2(X)} where we write u(X) = {u1(X), u2(X)} as unordered pairs. Given a two-valued 1 m function u ∈ C (Ω, R ), we define Bu to be the set of all points X0 ∈ Ω such that there is no δ > 0 such that u(X) = {u1(X), u2(X)} on Bδ(X0) ⊂ Ω for some single- 1 valued functions u1, u2 ∈ C (Ω). We also define
Ku = {X ∈ Ω: u1(X) = u2(X), Du1(X) = Du2(X)}
where we write u(X) = {u1(X), u2(X)} and Du(X) = {Du1(X), Du2(X)} as un- ordered pairs.
1 m Lemma 1. For any two-valued function u ∈ C (Ω, R ), Bu ⊆ Ku.
Proof. We will show that if X0 ∈ Ω \Ku then there is a ball Bδ(X0) ⊂ Ω on which 1 u(X) = {u1(X), u2(X)} for C single-valued functions u1 and u2. The case where u1(X0) 6= u2(X0) follows by continuity. Suppose u1(X0) = u2(X0) and Du1(X0) 6=
Du2(X0). Let A 6= 0 be a matrix equal to Du1(X0) − Du2(X0), noting there are two choices for A differing a sign and we choose A to be one of them. For Y ∈ Rn, let
K = {X ∈ n : |(X − Y ) · η| ≤ √1 |X − Y ||η| if Aη = 0}. Y R 2
Choose ε ∈ (0, |A|/4) such that
if ξ ∈ K0 then |Aξ| ≥ 5ε|ξ|. (1.4)
By differentiability, for every Y ∈ Ω there is a ρ(Y ) > 0 such that Bρ(Y )(Y ) ⊂ Ω and
G(u(X), {uj(Y ) + Duj(Y )(X − Y )}) ≤ ε|X − Y | for X ∈ Bρ(Y )(Y ). (1.5) CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 6
By continuity, there is a δ ∈ (0, 2ρ(X0)) such that
G(Du(X), Du(X0)) < ε for X ∈ B2δ(X0). (1.6)
By (1.6), on B2δ(X0) we can write Du(X) = {A1(X),A2(X)} where A1,A2 are con- 1 tinuous singled-valued, m×n matrix-valued functions. Let the vj be C single-valued functions on B2δ(X0) such that vj(X0) = u1(X0) and Dvj(X) = Aj(X) on B2δ(X0), j = 1, 2. We claim u(X) = {v1(X), v2(X)} on B2δ(X0).
Suppose Y ∈ B2δ(X0) such that u1(Y ) = u2(Y ) = v1(Y ) = v2(Y ). If X ∈
Bρ(Y )(Y ) ∩ KY , by (1.4), (1.5) and (1.6),
|u1(X) − u2(X)| ≥ |A(X − Y )| − G(Du(X0), Du(Y ))|X − Y |
−G(u(X), u(Y ) + Du(Y )(X − Y )) ≥ 3ε|X − X0|.
1 It follows that on Bρ(Y )(Y ) ∩ KY , we have u(X) = {u1(X), u2(X)} for unique C single-valued functions u1 and u2 and in fact
u(X) = {v1(X), v2(X)} on Bρ(Y )(Y ) ∩ KY . (1.7)
Suppose there is a point X1 ∈ Bδ(X0) such that u(X1) 6= {v1(X1), v2(X1)} and n recall that X1 6∈ KX0 by (1.7). Fix ζ ∈ R orthogonal to the null space of A. Let
X2 = X1 + sζ for the smallest s > 0 such that u(X2) = {v1(X2), v2(X2)}. We claim that for some σ > 0, u(X) = {u1(X), u2(X)} on Bσ(X2) ∩ KX2 for unique single- 1 valued u1, u2 ∈ C (Bσ(X2) ∩ KX2 ). In the case that u1(X2) 6= u2(X2) this follows by continuity, and in the case that u1(X2) = u2(X2) this is immediate from (1.7). However, this contradicts the fact that for small t > 0,
u(X2 − tζ) 6= {v1(X2 − tζ), v2(X2 − tζ)}.
Therefore u(X) = {v1(X), v2(X)} on Bδ(X0).
Let p ≥ 1. We say a measurable two-valued function u on Ω is in Lp(Ω, Rm) for CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 7
p ≥ 1 if Z 1/p p kukLp(Ω) = G(u(X), 0) dX < ∞. Ω We define Sobolev spaces of two-valued functions as follows. Suppose u ∈ C0(Ω, Rm) is two-valued symmetric function, i.e. u(X) = {u1(X), −u1(X)} for some u1(X) ≥ 0. 1,p m p m×n We say u ∈ W (Ω, R ) if Du1 ∈ Lloc(Ω \Zu, R ) and we define the weak deriva- tive Du by Du = {±Du1} locally on Ω \Zu, where Du1 denotes the weak derivative 0 m of u1, and Du = {0, 0} on Zu. For general two-valued functions u ∈ C (Ω, R ), recall that we can write u = ua + us for ua(X) = (u1(X) + u2(X))/2 and us(X) = 1,p m {±(u1(X) − u2(X))/2}, where u(X) = ua(X) + us(X). We say u ∈ W (Ω, R ) if 1,p m 1,p m Dua ∈ W (Ω, R ) and Dus ∈ W (Ω, R ) and we define the weak derivative of u k,p m by Du = Dua + Dus. For k ≥ 1 and p ≥ 1, we let W (Ω, R ) denote the space of two-valued functions u ∈ Ck−1(Ω, Rm) such that Dk−1u ∈ W 1,p(Ω, Rm). We let 1,p m k−1 m Wloc (Ω, R ) denote the space of two-valued functions u ∈ C (Ω, R ) such that Dk−1u ∈ W 1,p(Ω0, Rm) for all Ω0 ⊂⊂ Ω.
We want to consider differential systems of the form
i Qκu = DiAκ(X, u, Du) + Bκ(X, u, Du) = 0 on Ω \Bu, κ = 1, . . . , m, (1.8)
1 m i where u ∈ C (Ω, R ) is a two-valued function and Aκ and Bκ are continuous single- n m m×n valued functions on R ×R ×R . By the definition of Bu, for X0 ∈ Ω\Bu there is a ball Bδ(X0) ⊂ Ω \Bu on which u(X) = {u1(X), u2(X)} for single-valued functions 1 u1, u2 ∈ C (Bδ(X0)). By (1.8) we mean that Qu1 = Qu2 = 0 weakly on Bδ(X0) for all choices of balls Bδ(X0) ⊂ Ω \Bu. The definition of (1.8) is motivated by the following.
Lemma 2. Let v ∈ C1(Ω, R) be a single-valued function and Ai,B ∈ C1(Ω × R × Rn) be single-valued functions such that
i 2 n DPj A (X,Z,P )ξiξj ≥ λ(X,Z,P )|ξ| for all ξ ∈ R (1.9) CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 8
0 n n for some positive function λ ∈ C (Ω × R × R ) and L (Sv) = 0. Let
Sv = {X ∈ Ω: v(X) = 0, Dv(X) = 0} denote the singular part of the nodal set of v. Then Z i A (X, v, Dv)Diζ − B(X, v, Dv)ζ = 0 (1.10) Ω\Sv
1 for all ζ ∈ Cc (Ω \Sv) if and only if Z i A (X, v, Dv)Diζ − B(X, v, Dv)ζ = 0 (1.11) Ω
1 for all ζ ∈ Cc (Ω).
Remark 1. Using a similar proof to the proof of Lemma 2 below, we can obtain a similar result for elliptic systems. Given single-valued functions v ∈ C1(Ω, R) and Ai,B ∈ C1(Ω × R × Rn), Z i Aκ(X, v, Dv)Diζ − Bκ(X, v, Dv)ζ = 0 for κ = 1, . . . , m Ω\Sv
1 for all ζ ∈ Cc (Ω \Sv) if and only if Z i Aκ(X, v, Dv)Diζ − Bκ(X, v, Dv)ζ = 0 for κ = 1, . . . , m Ω
1 n i ij for all ζ ∈ C (Ω) provided L (Sv) = 0 and |D λ A (X, u, Du) − δ δ| < ε for some c Pj κ ε = ε(n) > 0 sufficiently small.
2 2 0 Proof of Lemma 2. First we will show (1.10) implies D v ∈ L (Ω \Sv) for any open 0 2 2 0 0 set Ω ⊂⊂ Ω. By elliptic estimates [3, Theorem 9.11], D v ∈ L (Ω ) for Ω ⊂⊂ Ω \Sv. CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 9
Replacing ζ with Dkζ in (1.10) and integrating by parts, we obtain Z i i i DPj A Djkv + DZ A Dkv + DXk A Diζ BR(X0) Z + DPj BDjkv + DZ BDkv + DXk B ζ = 0, BR(X0)
i where the derivatives of A and B are evaluated at (X, v, Dv). For δ > 0 let βδ ∈ ∞ C ([0, ∞)) be a function such that βδ(t) = 1 for t > 2δ, βδ(t) = 0 for |t| < δ, and 0 ∞ 0 ≤ βδ(t) ≤ 3/δ for all t ≥ 0. Let BR/2(X0) ⊂ Ω and η ∈ C (Ω) be the cutoff function such that 0 ≤ η ≤ 1, η = 1 on BR/2(X0), η = 0 on Ω \ BR(X0), and |Dη| ≤ 3/R. 2 2 Letting ζ = βδ(|Dv| )Dkv η and summing over k = 1, . . . , n, we obtain Z i i 2 i 2 DPj A DkvDjkv + DZ A |Dv| + DXk A Dkv βδηDiη BR(X0) Z i i i 2 + DPj A DikvDjkv + DZ A DkvDikv + DXk A Dikv βδη BR(X0) Z 1 i 2 2 i 2 2 i 2 0 2 + 2 DPj A Di|Dv| Dj|Dv| + DZ A |Dv| Di|Dv| + DXk A DkvDi|Dv| βδη BR(X0) Z 2 2 + DPj BDkvDjkv + DZ B|Dv| + DXj BDkv βδη = 0 BR(X0)
2 0 where βδ and its derivative are evaluated at |Dv| . Using (1.9), βδ ≥ 0, and Cauchy- Schwartz, we obtain Z Z 2 2 2 2 2 βδ|D v| η ≤ C βδ|Dv| |Dη| BR/2(X0) BR(X0) Z 2 0 2 2 + C |Dv| + 1 βδ + βδ|Dv| η BR(X0)
0 2 for some constant C > 0 depending on n, DA, DB, R. Observe that βδ|Dv| ≤ 6. Using the definition of η and letting δ ↓ 0, we obtain Z |D2v|2 < ∞. BR/2(X0)\Sv CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 10
Now for δ > 0 let γδ be a smooth function such that γδ(t) = t for |t| > δ, γδ(t) = 0 0 ∞ for |t| < δ/2, and |γδ(t)| ≤ 3. For any ζ ∈ C (Ω), by integration by parts Z i A (X, v, γδ(Dv))Diζ − B(X, v, γδ(Dv))ζ Ω Z i 0 i = − DPj A (X, v, γδ(Dv)) γδ(Djv)Dijv + DZ A (X, v, γδ(Dv))Div ζ Ω Z i − DXi A (X, v, γδ(Dv)) + B(X, v, γδ(Dv)) ζ, Ω
2 2 0 0 where γδ(Dv) = {γδ(D1v), . . . , γδ(Dnv)}. Since D v ∈ L (Ω \Sv) for all Ω ⊂⊂ Ω, we can let δ ↓ 0 to obtain Z Z i i A (X, v, Dv)Diζ − B(X, v, Dv)ζ = − DPj A (X, v, Dv)Dijv ζ Ω Ω\Sv Z i i − DZ A (X, v, Dv)Div + DXi A (X, v, Dv) + B(X, v, Dv) ζ. (1.12) Ω
By (1.10),
i i i DiA (X, v, Dv) + B(X, v, Dv) = DPj A (X, v, Dv)Dijv + DZ A (X, v, Dv)Div i + DXi A (X, v, Dv) + B(X, v, Dv) = 0 a.e. on Ω \Sv. (1.13)
n By (1.12), (1.13), and the fact that L (Sv) = 0, we obtain (1.11).
1.3 The function spaces Vk and Vk,µ
n iθ 2 2iθ 0 m Let Ω ⊂ R and let Ω0 = {(re , y):(r e , y) ∈ Ω}. We will define V (Ω, R ) 0 m to be the space of single-valued functions u0 ∈ C (Ω0, R ). Observe that for every 0 m u0 ∈ V (Ω, R ), we can associate a two-valued function
iθ 1/2 iθ/2 1/2 iθ/2 u(re , y) = {u0(r e , y), u0(−r e , y)} (1.14) on Ω. CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 11
0 m Let u be a two-valued function associated with u0 ∈ V (Ω, R ), where Ω = C ˘2 n−2 or Ω = ∂C for C = B1 (0) × R . Given an odd integer k ≥ 3, we say u is k-fold symmetric if iθ+iπ/k iθ u0(re , y) = u0(re , y)
n−2 for all r ∈ [0, 1], θ ∈ R, and y ∈ R . We say u is periodic with respect to yj with period ρj > 0 if u0 is periodic with respect to each yj with period ρj, i.e.
iθ iθ u0(re , y1 + k1ρ1, . . . , yn−2 + kn−2ρn−2) = u0(re , y1, . . . , yn−2)
n−2 for all r ∈ [0, 1], θ ∈ R, y ∈ R , and kj ∈ Z.
0 m Since each element u0 in V (Ω, R ) is associated with a two-valued function u, we can define the following spaces and norms. For k ≥ 0, let Vk(Ω, Rm) be the space of 0 m k n−2 m u0 ∈ V (Ω, R ) such that u0 ∈ C (Ω0 \{0} × R , R ) and the two-valued function k m k m u associated with u0 is in C (Ω, R ). We define the norm on V (Ω, R ) by
ku0kVk(Ω) = kukCk(Ω)
k m where u0 ∈ V (Ω, R ) with corresponding two-valued function u. For k ≥ 1 and k,µ m k m µ ∈ (0, 1], let V (Ω, R ) be the space of u0 ∈ V (Ω, R ) such that the two-valued k,µ m k m function u associated with u0 is in C (Ω, R ). For u0 ∈ V (Ω, R ), define
iθ1 iθ2 |u0(r1e , y1) − u0(r2e , y2)| hµ,Ω(u0) = sup (1.15) 2 2iθ1 2 2iθ2 µ |(r1e , y1) − (r2e , y2)|
iθ1 iθ2 where the supremum is taken over all distinct points (r1e , y1) and (r2e , y2) in Ω0
iθ1 with |θ1 − θ2| < π/4. The condition |θ1 − θ2| < π/4 is imposed so that (r1e , y1)
iθ2+iπ is not close to (r2e , y2), in which case the ratio in (1.15) may become infinite. k m Observe that for u0, v0 ∈ V (Ω, R ) with hµ,Ω(u0) < ∞ and hµ,Ω(v0) < ∞ and for CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 12
any single-valued function F ∈ C1(Rm, R),
hµ,Ω(u0 + v0) ≤ hµ,Ω(u0) + hµ,Ω(v0), hµ,Ω(u0v0) ≤ hµ,Ω(u0) hµ,Ω(v0),
hµ,Ω(F (u0)) ≤ sup |DF (u0)| hµ,Ω(u0). Ω
We can define
ku0kVk,µ(Ω) = ku0kVk(Ω) + hµ,Ω(u0).
k m k m for u0 ∈ V (Ω, R ). Note that for u0 ∈ V (Ω, R ) and the two-valued function u associated with u0, the relationship between the H¨oldercoefficient [u]µ,Ω defined in
(1.1) and hµ,Ω(u0) is given in Lemma 3 below. As a consequence, hµ,Ω(u0) < ∞ if k,µ m and only if [u]µ,Ω < ∞, so ku0kVk,µ(Ω) is a norm on V (Ω, R ).
n k m Lemma 3. Let Ω ⊆ R be a convex domain. For any u0 ∈ V (Ω, R ), if u is the two-valued function associated with u0, then
1 √ √ [u]µ,Ω ≤ hµ,Ω(u0) ≤ 4m [u]µ,Ω. 8
iθ1 Proof. First we will show hµ,Ω(u0) ≤ 2[u]µ,Ω. Let X1 = (r1e , y1) and X2 =
iθ2 (r2e , y2) be distinct points in Ω and assume |θ1 − θ2| ≤ π. If |θ1 − θ2| < π/2, then
1/2 iθ1/2 1/2 iθ2/2 2 G(u(X1), u(X2)) ≤ |u0(r1 e , y1) − u0(r2 e , y2)| 1/2 1/2 iθ1/2 1/2 iθ2/2 2 +|u0(−r1 e , y1) − u0(−r2 e , y2)| √ µ ≤ 2 hµ,Ω(u0) |X1 − X2|
If π/2 ≤ |θ1 − θ2| < π, take X3 = (X1 + X2)/2 and observe
G(u(X1), u(X2)) ≤ G(u(X1), u(X3)) + G(u(X3), u(X2)) √ µ µ ≤ 2 hµ,Ω(u0)(|X1 − X3| + |X3 − X2| ) √ µ ≤ 2 2 hµ,Ω(u0) |X1 − X2| . CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 13
The case where |θ1 − θ2| = π follows by continuity.
Next we will show [u]µ,Ω ≤ 2hµ,Ω(u0) if m = 1. The case m > 1 follows. Let
iθ1 iθ2 (r1e , y1) and (r2e , y2) be distinct points in Ω0 with |θ1 − θ2| < π/4. Let X1 =
2 2iθ1 2 2iθ2 (r1e , y1) and X2 = (r2e , y2). Suppose
iθ1 iθ2 2 iθ1 iθ2 2 |u0(r1e , y1) − u0(−r2e , y2)| + |u0(−r1e , y1) − u0(r2e , y2)|
iθ1 iθ2 2 iθ1 iθ2 2 < |u0(r1e , y1) − u0(r2e , y2)| + |u0(−r1e , y1) − u0(−r2e , y2)| .
Then
iθ1 iθ1 iθ2 iθ2 u0(r1e , y1) 6= u0(−r1e , y1) and u0(r2e , y2) 6= u0(−r2e , y2) and without loss of generality
iθ1 iθ1 iθ2 iθ2 u0(r1e , y1) < u0(−r1e , y1) and u0(r2e , y2) > u0(−r2e , y2).
Let Γ ⊂ Ω be the line segment between X1 and X2 and Γ0 ⊂ Ω0 be the arc
iθ 2 2iθ Γ0 = {(re , y):(r e , y) ∈ Γ}.
iθ3 iθ3 iθ3 By continuity, for some point X3 = (r3e , y3) ∈ Γ0, u0(r3e , y3) = u0(−r3e , y3). Thus
iθ1 iθ2 |u0(r1e , y1) − u0(r2e , y2)| 1/2 iθ1 iθ2 2 iθ1 iθ2 2 ≤ |u0(r1e , y1) − u0(r2e , y2)| + |u0(−r1e , y1) − u0(−r2e , y2)| 1/2 iθ1 iθ3 2 iθ1 iθ3 2 ≤ |u0(r1e , y1) − u0(r3e , y3)| + |u0(−r1e , y1) − u0(−r3e , y3)| 1/2 iθ3 iθ2 2 iθ3 iθ2 2 + |u0(r3e , y3) − u0(r2e , y2)| + |u0(−r3e , y3) − u0(−r2e , y2)|
= G(u(X1), u(X3)) + G(u(X3), u(X2)) µ µ ≤ [u]µ,Ω (|X1 − X3| + |X3 − X2| ) µ ≤ 2[u]µ,Ω|X1 − X2| . CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 14
k m k m Note that for k ≥ 0, we will let Vc (Ω, R ) denote the space of u0 ∈ V (Ω, R ) such k,µ m that u0 has compact support in Ω0. Similarly for k ≥ 0 and µ ∈ (0, 1], Vc (Ω, R ) k,µ m denotes the space of u0 ∈ V (Ω, R ) such that u0 has compact support in Ω0. For n k m k m Ω ⊆ R open and k ≥ 0, Vloc(Ω, R ) denote the Fr´echet space V (Ω, R ) with semi- 0 n k,µ m norms k kVk(Ω0) for Ω ⊂⊂ Ω. For Ω ⊆ R open, k ≥ 0, and µ ∈ (0, 1], Vloc (Ω, R ) k m k,µ 0 m the Fr´echet space of functions u0 ∈ V (Ω, R ) such that u0 ∈ V (Ω , R ) for all 0 k,µ m 0 Ω ⊂⊂ Ω and equip Vloc (Ω, R ) with the seminorms k kVk,µ(Ω0) for Ω ⊂⊂ Ω.
n 0 m n−2 Given an open set Ω ⊆ R , u0 ∈ V (Ω, R ), h ∈ R and η ∈ R , we can define iθ 0 m the translation u0(re , y + ηh) in V ({X : dist(X, ∂Ω) > h}, R ) and associate with iθ iθ u0(re , y +ηh) the two-valued function denoted by u(re , y +ηh). We can also define the difference quotient iθ iθ u0(re , y + hη) − u0(re , y) h in V0({X : dist(X, ∂Ω) > h}, Rm) and associate with this the difference quotient the two-valued function denoted by δh,ηu.
n 1/2 iθ/2 1/2 iθ/2 Let Ω ⊂ R be open and let Ω0 = {(r e , y):(r e , y) ∈ Ω}. We want to consider linear and nonlinear differential systems of two-valued functions u asso- k m ciated with u0 ∈ V (Ω, R ) for some appropriate k ≥ 1. We will do this using the 1/2 change of variable x1 + ix2 = (ξ1 + iξ2) , under which u(x1, x2, y) transforms to u0(ξ1, ξ2, y). Let M(ξ, y) denote the Jacobian matrix of the map from (x1, x2, y) to CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 15
(ξ1, ξ2, y) coordinates. We can express M(ξ, y) as
i M(ξ, y) = (Mj (ξ, y))i,j=1,...,n 1 −1 −1 −1 2 Re(ξ1 + iξ2) 2 Im(ξ1 + iξ2) 0 0 ··· 0 1 −1 1 −1 Im(ξ1 + iξ2) Re(ξ1 + iξ2) 0 0 ··· 0 2 2 0 0 1 0 ··· 0 = , 0 0 0 1 ··· 0 ...... ...... 0 0 0 0 ··· 1
i where Mj (ξ, y) denotes the entry in the i-th row and j-th column of M(ξ, y). Us- 1/2 ing the change of variables x1 + ix2 = (ξ1 + iξ2) , the derivative operator D : Ck(Ω, Rm) → Ck−1(Ω, Rm×n) on two-valued function, where k ≥ 1, induces a linear k m k−1 m×n 0 operator mapping u0 ∈ V (Ω, R ) to Du0 M ∈ V (Ω, R ). Given u0 ∈ V (Ω) and the two-valued function u associated with u0, we can interpret the integral Z u(x, y) dx dy Ω as Z 4 u0(ξ, y) 4|ξ| dξ dy, Ω0 1/2 ij i using the change of variable x1 + ix2 = (ξ1 + iξ2) . Now suppose u, a , b , cκ and 2 ij i 0 f are the two-valued functions associated with u0 ∈ V (Ω) and a0 , b0, c0, f0 ∈ V (Ω) 1/2 respectively. Using the change of variable x1 + ix2 = (ξ1 + iξ2) , we shall interpret
ij i n−2 a Dxixj u + b Dxi u + cu = (≥, ≤) f on Ω \{0} × R to mean that
ij k l ij k l i k a0 Mi MjDξkξl u0 + a0 Mi Dξk Mj Dξl u0 + b0Mi Dξk u0 + c0u0 n−2 = (≥, ≤) f0 on Ω0 \{0} × R . CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 16
0 1,2 Suppose u ∈ C (Ω) ∩ W (Ω) is the two-valued function associated with u0 ∈ V0(Ω), and aij, bi, cj, d, f i, and g are the two-valued functions associated with ij i j i 0 a0 , b0, c0, d0, f0, g0 ∈ V (Ω) respectively. Then, using the change of variable x1 +ix2 = 1/2 (ξ1 + iξ2) , we shall interpret
ij i j i n−2 Dxi (a Dxj u + b u) + c Dxj u + du = (≥, ≤) Dxi f + g on Ω \{0} × R to mean that
2 k l ij 2 k 2 l j 2 Dξk (4|ξ| Mi Mja0 Dξl u0 + 4|ξ| Mi b0u0) + 4|ξ| Mjc0Dlu0 + 4|ξ| d0u0 2 k i 2 n−2 = (≥, ≤) Dξk (4|ξ| Mi f0) + 4|ξ| g0 weakly on Ω0 \{0} × R . (1.16)
1 n−2 Let ζ0 ∈ Vc (Ω \{0} × R ) and ζ be the two-valued function associated with ζ0. If we multiply (1.16) by ζ0 and integrated by parts, we obtain Z 2 k l ij k i l j 4|ξ| Mi Mja0 Dξl u0 + Mi b0u0 Dξk ζ0 − Mjc0Dlu0 + d0u0 ζ0 Ω0 Z 2 k i = (≥, ≤) 4|ξ| Mi f0Dξk ζ0 − g0ζ0 Ω0 which we can regard as Z ij i j a Dxj u + b u Dxi ζ − c Dju + du ζ Ω Z i = (≥, ≤) f Dxi ζ − gζ (1.17) Ω
1/2 via the change of variable x1 + ix2 = (ξ1 + iξ2) . Note that (1.17) holds if instead 0 1,2 ζ0 ∈ Vc (Ω) and the two-valued function ζ associated with ζ0 is in W (Ω). To see this, 1 for δ > 0, let χδ ∈ C (R) be the single-valued function such that 0 ≤ χδ ≤ 1, χδ(r) = 1 if r ≥ δ, χδ(r) = 0 if r ≤ δ/2, and |Dχδ| ≤ 3/δ. We can regard χδ as a function on n (x, y) ∈ R that depends only on r = |x|. Replace ζ with ζχδ in (1.17), interpreting 1/2 iθ/2 1/2 iθ/2 1 ζχδ as the two-valued function associated with ζ0(r e , y)χδ(r e , y) in V (Ω). CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 17
This yields Z ij i j a Dxj u + b u Dxi ζχδ − c Dju + du ζχδ Ω Z Z i i ij i = (≥, ≤) f Dxi ζ − gζ χδ + f − a Dxj u − b u ζDxi χδ. (1.18) Ω Ω
1,2 Using the definition of χδ and fact that u, ζ ∈ W (Ω), we can let δ ↓ 0 in (1.18) 1 m to obtain (1.17). Suppose u0 ∈ V (Ω, R ), u is the two-valued function associated i 0 m m×n with u0, and Aκ,Bκ ∈ C (Ω × R × R ). Using the change of variable x1 + ix2 = 1/2 (ξ1 + iξ2) , then we shall interpret the nonlinear system
i n−2 Qu = Dxi Aκ(X, u, Du) + Bκ(X, u, Du) = 0 on Ω \{0} × R , for κ = 1, . . . , m (1.19) to mean that
2 k i 2 Dξk (4|ξ| Mi Aκ(ξ, u0, Du0M)) + 4|ξ| Bκ(ξ, u0, Du0M) = 0 (1.20)
n−2 weakly on Ω0 \{0} × R for κ = 1, . . . , m. Note that if u satisfies (1.19) in the sense that (1.20) is true, then u satisfies (1.19) as a two-valued function in the sense discussed in Section 1.2. Conversely, if u ∈ C1(Ω) is a two-valued function satisfying i (1.19) in the sense discussed in Section 1.2 and Aκ and Bκ are real analytic, then u 1 is the two-valued function associated with some u0 ∈ V (Ω) and u0 satisfies (1.20). n−2 To see this, recall that for every X0 ∈ Ω \{0} × R , there is an ball BR(X0) ⊂ n−2 Ω \{0} × R on which u = {u1, u2} and Qu1 = Qu2 = 0 for single-valued functions 1 u1, u2 ∈ C (BR(X0)). By elliptic regularity, u1 and u2 are real analytic and thus u = {u1, u2} on BR(X0) for unique real analytic single-valued functions u1 and u2. It follows from unique continuation that u is the two-valued function associated with 1 some u0 ∈ V (Ω) satisfying (1.20). In fact, u is the two-valued function associated 1 iθ with precisely two functions in V (Ω), the other being u0(−re , y). CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 18
1.4 Minimal submanifolds
We will be interested in elliptic problems of the form
i Di(Aκ(X, u, Du)) + Bκ(X, u, Du) = 0 weakly in C\Bu, κ = 1, . . . , m, u = ϕ on ∂C, (1.21)
i 0 m m×n where m ≥ 1 is an integer, Aκ,Bκ ∈ C (C × R × R ) are single-valued functions, and u ∈ C0(C, Rm)∩C1(C, Rm) and ϕ ∈ C0(∂C, Rm) are two-valued functions. As will be discussed in detail in the next section, this is primarily motivated by the special case where (1.21) is the minimal surface system.
Minimal submanifolds arise in studying the first variation of area. Let Σ be a N 1 N N smooth n-dimensional submanifold in R . Let X ∈ Cc (R , R ) such that ∂Σ ∩ N N spt X = ∅ and let F : R × (−1, 1) → R be a smooth function such that {Ft =
F (., t)}t∈(−1,1) is a family of diffeomorphisms with Ft(p) = p for all p outside a compact N ∂F set K, F0(p) = p for all p ∈ R , and X(p) = ∂t (p, 0). By the area formula, Z Area(Ft(Σ)) = − JΣFt(p)dp, (1.22) Σ
N where JΣFt denotes the Jacobian of Ft|Σ :Σ → R . The first variation of the area of Σ is
d Area(Ft(Σ)) dt t=0 which can be shown using (1.22) to be given by
Z d Area(Ft(Σ)) = − divΣ X(p) dp dt t=0 Σ where n X divΣ X(p) = Dτj X(p) · τj j=1 for any orthonormal basis {τ1, . . . , τn} for the tangent space of Σ at p. We say Σ is a CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 19
minimal submanifold if the first variation of the area of Σ is zero, i.e. Z divΣ X(p) dp = 0 Σ
1 N for all X ∈ Cc (R ) such that ∂Σ ∩ spt X = ∅. We also have the second variation of area for a minimal submanifold Σ, which is defined to be
2 d 2 Area(Ft(Σ)) dt t=0 and which can be shown using (1.22) to be given by
2 Z n n ! d X ⊥ 2 X 2 Area(Ft(Σ)) = |(Dτi X(p)) | − |X(p) · Ap(τi, τj)| dp dt2 t=0 Σ i=1 i,j=1
1 N for X ∈ Cc (R ) such that ∂Σ∩spt X = ∅ and X|Σ is normal to Σ, where {τ1, . . . , τn} ⊥ for the tangent space of Σ at p,(Dτi X(p)) denotes the orthogonal projection of
Dτi X(p) onto the normal space of Σ at p, and A denotes the second fundamental form of Σ. We say a minimal submanifold Σ is stable if the second variation of area is nonnegative; that is,
Z n n ! X ⊥ 2 X 2 |(Dτi X) | − |X · A(τi, τj)| dp ≥ 0 (1.23) Σ i=1 i,j=1
1 N for X ∈ Cc (R ) such that ∂Σ ∩ spt X = ∅ and X|Σ is normal to Σ. Observe that Σ is stationary and stable if Σ is area minimizing, that is Area(Σ) ≤ Area(Σ0) for any 0 0 0 smooth n-dimensional submanifold Σ such that ∂Σ = ∂Σ and Σ ∩BR(0) = Σ∩BR(0) for some R > 0.
1 N−n Suppose Σ = Σu is the graph of a single-valued function u ∈ C (Ω, R ), where n Ω is a domain in R . Then we can write the area functional of Σu as
Z p Area(Σu) = det G(Du) dX, Ω CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 20
where G(P ) = (Gij(P ))i,j=1,...,n is the n × n matrix given by
κ κ Gij(P ) = δij + Pi Pj
κ for every (N − n) × n matrix P = (Pi )i=1,...,n, κ=1,...,N−n. The graph Σu is minimal if the first variation of area is zero; that is,
Z d p ij κ κ Area(Σu+tζ ) = det G(Du) G (Du)Dju Diζ = 0 dt t=0 Σu for all smooth functions ζ :Ω → RN−n with compact support, where (Gij(P )) is the inverse matrix of G(P ). Thus we obtain the minimal surface system
p ij κ Di det G(Du) G (Du)Dju = 0 on Ω, κ = 1,...,N − n.
In the special case that N = n + 1 we get the minimal surface equation
! Diu Di = 0 on Ω. p1 + |Du|2
It is well know that in the case that N = n + 1, graph u is stable [13, Proposition 6.2.2]. In the case that N > n+1, the graph of u is not generally stable [4]. However, if N > n + 1 and |Du| ≤ /2 for > 0 sufficiently small,
2 Z d p κ λ Area(Σu+tζ ) = D κ λ det G(P ) Diζ Djζ dX 2 Pi Pj dt Ω P =Du+tDζ Z ≥ (1 − C) |Dζ|2 dX ≥ 0 Ω for t ∈ [0, 1] and for any smooth function ζ :Ω → RN−n with compact support such that |Dζ| ≤ 2, where C = C(n, m) > 0. It follows that Area(Σu) ≤ Area(Σv) for v ∈ C1(Ω, RN−n) with |Dv| ≤ and v = u on ∂Ω by taking ζ = v − u. Thus given 1 a normal vector field X ∈ Cc (Σu) such that ∂Σu ∩ spt X = ∅, for small t the set 1 N−n {P + tX(P ): P ∈ Σu} is the graph of some function v ∈ C (Ω, R ) with |Dv| ≤ CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 21
and v = u on ∂Ω, so
Area(Σu) ≤ Area({P + tX : P ∈ Σu})
for all t sufficiently small. Consequently Σu is a stable minimal submanifold.
Suppose that instead Σ is the graph of a two-valued function u ∈ C1(Ω, RN−n).
Then on any ball BR(x0) ⊂ Ω \Bu, u = {u1, u2} for smooth single-valued function N−n u1, u2 : BR(x0) → R and
p ij κ Di det G(Dul) G (Dul)Djul = 0 on BR(x0), κ = 1,...,N − n, l = 1, 2; in other words,
p ij κ Di det G(Du) G (Du)Dju = 0 on Ω \Bu, κ = 1,...,N − n.
In particular, if N = n + 1,
! Diu Di = 0 on Ω \Bu. p1 + |Du|2
1.5 Existence and regularity theorems
Two-valued functions naturally arise in the study of branched minimal submanifolds. For example, the holomorphic variety
2 2 3 Σ = {(z, w) ∈ C : w = z }, which is an area-minimizing submanifold in R4 with a branch point at the origin, is the graph of a C1,1/2 two-valued function, {±z3/2}. On a neighborhood of the origin, Σ cannot be expressed as the graph of a smooth single-valued function but can be expressed as the graph of the two-valued function w = ±z3/2. To deal with the branching behavior of minimal submanifolds, Almgren [1] developed a theory of CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 22
multi-valued functions in his proof that the singular set of an n-dimensional area- minimizing rectifiable current has Hausdorff dimension at most n − 2.
Wickramasekera [12] proved the following result regarding the extent to which codimension one minimal submanifolds are graphs of two-valued functions.
Theorem 1. For each δ ∈ (0, 1), there exists a number ε ∈ (0, 1) depending only on n and δ, such that the following is true. If M is an orientable immersed stable n+1 n−2 Hn(M) minimal hypersurface of B (0), with H (sing M) < ∞, 0 ∈ M, n ≤ 3 − δ 2 ωn2 R n+1 2 and |x | ≤ ε, then M1 ∩B1(0)× = graph u where M1 is the connected M∩B1(0)×R R component of M ∩ B1/2(0) × R containing the origin and u is either a single-valued 1,µ or two-valued C function on B1/2(0), where µ ∈ (0, 1) depends only on n and δ.
It is natural to ask whether there are examples of minimal submanifolds which are the graphs of two-valued functions. Simon and Wickramasekera constructed in [10] the following examples of two-valued solutions u to the Dirichlet problem for the minimal surface equation.
2 n−2 Theorem 2. Let C = B1 (0)×R and k ≥ 3 be an odd integer. Let ϕ be a two-valued function on ∂C satisfying the k-fold symmetry condition that ϕ(eiθ+i2π/k, y) = ϕ(eiθ, y) for all θ ∈ [0, 2π). For some µ = µ(n, k, sup∂C |ϕ|) ∈ (0, 1), there are two-valued 1,µ 0 n−2 solutions u ∈ Cloc (C) ∩ C (C) with Bu ⊆ {0} × R to the Dirichlet problem for the minimal surface equation
! Diu Di = 0 in C\Bu, p1 + |Du|2 u = ϕ on ∂C.
We will consider the question of whether there are similar solutions to more general elliptic problems. Simon and Wickramasekera method was specific to the minimal surface equation and did not readily generalize to other elliptic differential equations or to elliptic systems. We will construct similar examples using techniques for elliptic differential equations, solving the Dirichlet problem for various elliptic systems for CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 23
two-valued functions of the form (1.14) provided the boundary data is k-fold sym- metric. This approach has the advantage that it applies in a more general context than codimension 1 minimal surfaces. In particular, this work extends the results in [10] by giving examples of minimal submanifolds with codimension greater than one. The proof of these results will be given in Chapter 3.
i 2 m×n Theorem 3. Let m be an integer, µ ∈ (0, 1/2), and ν > 0. Let Fκ ∈ C (R ) and 1 m m×n m×n Gκ ∈ C (R × R ) be single-valued functions, where R is the space of m × n i i matrices, such that Fκ(0) = 0, DFκ(0) = 0, Gκ(0) = 0, DGκ(0) = 0, and
i j j Fκ(P R2π/k) = Ri Fκ (P ),Gκ(Z,P R2π/k) = Gκ(Z,P ) (1.24)
m×n i 1,µ m for all P ∈ R , where R2π/k = (Rj) is as in Section 1.1. Let ϕ ∈ C (∂C, R ) be a two-valued function of the form (1.14) with k-fold symmetry. For some ε = 1,µ m ε(m, n, µ, ν) > 0, if kϕkC1,µ(∂C) ≤ ε, then exists a two-valued solution u ∈ C (C, R ) n−2 with Bu ⊆ {0} × R to
κ i n−2 ∆u = Di(Fκ(Du)) + Gκ(u, Du) weakly in C\{0} × R , κ = 1, . . . , m, u = ϕ on ∂C.
In particular, as in (1.14), u is of the form
iθ 1/2 iθ/2 1/2 iθ/2 u(re , y) = {u0(r e , y), u0(−r e , y)} (1.25)
0 m 1 n−2 m for some u0 ∈ C (C, R ) ∩ C (C\{0} × R , R ), u has k-fold symmetry, and kukC1,µ(C) ≤ ε.
Note that this theorem applies to the minimal surface system. For sufficiently small = (n, m) > 0, the solutions to the minimal surface system constructed using Theorem 3 are stable in the sense that
Z n n ! X ⊥ 2 X 2 |(Dτi X) | − |X · A(τi, τj)| ≥ 0 Σu i=1 i,j=1 CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 24
0 n+m 1,2 n+m for all normal vector fields X ∈ Cc (Σu, R ) ∩ W (Σu, R ), where Σu = graph u and we regard Σu as an immersed submanifold. Theorem 3 also applies to all systems R 2 which arise as Euler-Lagrange equations for functionals of the form C(|Du| +f(Du)) where f ∈ C3(Rm×n, R) is a single-valued function such that Df(0) = 0, D2f(0) = 0, m×n and f(P R2π/k) = f(P ) for all P ∈ R .
Theorem 4. Let Ai ∈ C2(Rn), B ∈ C1(R × Rn) be single-valued functions such that
i j j A (P R2π/k) = Ri A (P ),B(Z,P R2π/k) = B(Z,P ), (1.26)
i where R2π/k = (Rj) is as in Section 1.1. Suppose
2 i 2 n 0 < λ(P )|ξ| ≤ DPj A (P )ξiξj ≤ Λ(P )|ξ| for all ξ ∈ R for some continuous positive functions λ and Λ, the structure conditions
B(Z,P ) sgn Z/λ(P ) ≤ β1|P | + β2, (1.27) 2 |Λ(P )| + |B(Z,P )| ≤ β3λ(P )|P | if |P | ≥ 1, (1.28)
for some constants β1, β2, β3 > 0, and B(Z,P ) is non-increasing in Z for fixed P ∈ Rn. Let ϕ ∈ C2(∂C) be a two-valued function of the form (1.14) with k-fold symmetry 1,µ and kϕ0kV2(∂C) < ∞. Then there exists a two-valued function u such that u ∈ C (C) n−2 for all µ ∈ (0, 1/2), Bu ⊆ {0} × R , and
i n−2 Di(A (Du)) + B(u, Du) = 0 in C\{0} × R , u = ϕ on ∂C. (1.29)
In particular, u is of the form
iθ 1/2 iθ/2 1/2 iθ/2 u(re , y) = {u0(r e , y), u0(−r e , y)} (1.30)
0 1 n−2 for some u0 ∈ C (C) ∩ C (C\{0} × R ) and u has k-fold symmetry.
Corollary 1. Let Ai ∈ C2(Rn), B ∈ C1(R × Rn) be single-valued functions satisfying CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 25
2 1/2 ij ij 2 (1.26). Let v(P ) = (1 + |P | ) and g (P ) = δ − PiPj/(1 + |P | ) and suppose the structure conditions (1.27),
i PiA (P ) ≥ v(P ) − γ1, (1.31)
|A(P )| ≤ γ2, |B(Z,P )| ≤ γ3/v(P ) (1.32) i ij n v(P )DPj A (P )ξjξj ≥ g (P )ξiξj for ξ ∈ R , (1.33) i ij 1/2 ij 1/2 n v(P )|DPj A (P )ξiηj| ≤ γ4(g (P )ξiξj) (g (P )ηiηj) for ξ, η ∈ R , (1.34)
n hold for all Z ∈ R and P ∈ R for some constants γ1 ∈ [0, 1) and γ2, γ3, γ4 > 0. Also suppose B(Z,P ) is non-increasing in Z for fixed P ∈ Rn. Let ϕ ∈ C0(∂C) be a two-valued function of the form (1.14) with k-fold symmetry such that sup∂C |ϕ| < ∞.
Then for some µ ∈ (0, 1/2) depending on n, β1, β2, γ1, γ2, γ3, γ4, and sup∂C |ϕ|, 1,µ n−2 there exists a two-valued solution u ∈ C (C) with Bu ⊆ {0} × R to (1.29). In particular, u is of the form (1.30) and u has k-fold symmetry. We also consider the regularity of the branch set of graphs of two-valued solutions to elliptic problems, with a particular interest in the minimal surface equation. Alm- gren showed in [1] that the branch set of an area-minimizing n-dimensional integral current has Hausdorff dimension at most n − 2. Simon and Wickramasekera more recently showed in [11] that the branch set of a n-dimensional stationary varifold rep- resented as the graph of a two-valued C1,µ function has Hausdorff dimension at most n − 2. However, there have been no results establishing the regularity of the branch set of a minimal submanifold, i.e. whether the branch set is locally a smooth or real analytic (n − 2)-dimensional submanifold. We will show that for C1,µ solutions u to n−2 elliptic equations with Bu ⊆ {0}×R , the branch set of graph of u is a real analytic submanifold of dimension (n − 2). In particular, this establishes that the branch sets of the minimal hypersurfaces constructed by Simon and Wickramasekera in [10] are real analytic. The proof of this theorem will be discussed in Chapter 4. 1 ˘ n−2 Theorem 5. Let u ∈ Cloc(B1(0)) be a two-valued function with Bu ⊆ {0} × R and
Bu 6= ∅. Suppose u is a solution to the non-linear elliptic differential equation
i ˘ Qu = Di(A (X, u, Du)) + B(X, u, Du) = 0 in B1(0) \B CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 26
i ˘ where A (X,Z,P ) and B(X,Z,P ) are single-valued, real analytic functions on B1(0)× R × Rn such that
i 2 ˘ n n (DjA )(X,Z,P )ξiξj ≥ λ(X,Z,P )|ξ| for (X,Z,P ) ∈ B1(0) × R × R , ξ ∈ R
0 ˘ n for some positive single-valued function λ ∈ C (B1(0) × R × R ). Then u(x, y) is real ˘ analytic in y; that is, for BR(x0, y0) ⊂ B1(0),
γ p −p |Dy u(x, y)| ≤ p!C R for (x, y) ∈ BR/2(x0, y0), p = |γ| ≥ 3, for some C > 0 depending on n, µ, Ai, and sup u. In particular, the branch BR(x0,y0) set {(0, y, u(0, y)) : y ∈ Bu} of the graph of u is a real analytic submanifold.
Remark 2. Under the hypotheses of this theorem, the assumption that Bu ⊆ {0} × n−2 R and Bu 6= ∅ automatically implies that u is of the form
iθ 1/2 iθ/2 1/2 iθ/2 u(re , y) = {u0(r e , y), u0(−r e , y)}
1 1/2 iθ/2 iθ for some u0 ∈ V (B1(0)) that is locally real analytic in {(r e , y):(re , y) ∈ n−2 n−2 B1(0) \{0} × R } and that Bu = {0} × B1 (0). This is a consequence of unique n−2 continuation using the fact that for every X ∈ C \ {0} × R , on any ball BR(X0) ⊂ n−2 B1(0) \{0} × R , u = {u1, u2} and Qu1 = Qu2 = 0 for unique real analytic single- 1 valued functions u1, u2 ∈ C (BR(X0)) (see the discussion at the end of Section 1.3). We also obtain a similar result for elliptic systems.
1,µ ˘ m Theorem 6. Let u ∈ Cloc (B1(0), R ) be a two-valued function of the form (1.14). Suppose u is a solution to the non-linear elliptic differential equation
i ˘ Di(Aκ(X, u, Du)) + Bκ(X, u, Du) = 0 in B1(0) \B, κ = 1, . . . , l
i ˘ where A (X,Z,P ) and B(X,Z,P ) are single-valued, real analytic functions on B1(0)× Rm × Rm×n such that
i ij ˘ m l×n |(D λ A )(X,Z,P ) − δ δκλ| < ε for (X,Z,P ) ∈ B1(0) × × , Pj κ R R CHAPTER 1. INTRODUCTION AND STATEMENT OF MAIN RESULTS 27
where ε > 0 is as in Theorem 11 (see Section 2.3). Then u(x, y) is real analytic in y.
We will show that Theorem 6 holds under the weaker assumption that u ∈ 1 ˘ m C (B1(0), R ) in the case that u is a solution to
i Di(Aκ(Du)) = 0 on B1(0) \Bu for κ = 1, . . . , m, (1.35) where Ai(P ) are single-valued, real analytic functions on Rm×n. Our approach is to show that any C1 solution to (1.35) is in fact in C1,µ for some µ ∈ (0, 1/2). The proof of this result will be given in Section 1 of Chapter 4.
(Note that showing two-valued C1 solutions to the minimal surface equation are in C1,µ for some µ ∈ (0, 1/2) is of importance since by [11] it would imply the branch set of a n-dimensional stationary varifold represented as the graph of a two-valued function in C1 would have Hausdorff dimension at most n − 2.)
i Theorem 7. Let m ≥ 1 be an integer and µ ∈ (0, 1/2). Let Aκ be a real analytic m×n i ij function on with D λ A (0) = δ δκλ. There are constants γ > 0 and C > R Pj κ i 1 m 0 depending on n, m, µ, and Aκ such that if u ∈ C (B1(0), R ) is a two-valued solution to (1.35), such that Bu = graph g ∩ B1(0) for some single-valued function g ∈ C1(Rn−2, R2) with |Dg| ≤ γ, and
sup |Du| ≤ γ, B1(0)
1,µ m then u ∈ C (B1/4(0), R ) with
1,µ 2 kukC (B1/4(0)) ≤ CkDukL (B1(0)).
1,1/2 Remark 3. In the case of the minimal surface system, u ∈ C (B1/4(0)) by [11]. Chapter 2
Elliptic theory for two-valued functions
2.1 Overview
The proof of the main results Theorems 3, 4, and 5 use standard theorems for elliptic differential equation such as the maximum principle and the Schauder estimates. This chapter is concerned with generalizing those theorems from single-valued functions to two-valued functions of the form (1.14). The linear differential equations in this chapter will be interpreted as discussed in Section 1.3. In Section 2.2 we will prove some maximum principles for homogeneous elliptic equations. In Section 2.3 we will prove the Schauder estimates. Section 2.4 is concerned with obtaining estimates on supC u for solutions u to inhomogeneous elliptic equations. This necessary both to obtain global Schauder estimates on u that do not depend on supC u and for relaxing regularity assumptions on the boundary data. In Section 2.5 we will obtain a H¨older continuity estimate using the De Giorgi, Nash, and Moser theory.
28 CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 29
2.2 Maximum principles
In order to consider maximum principles for two-valued functions, we need to define the maximum value of a two-valued function. Given a two-valued function u ∈ C0(Ω, R), we define
sup u = sup max{u1(X), u2(X)}. Ω X∈Ω where u(X) = {u1(X), u2(X)} at X ∈ Ω. Note that we similarly define
inf u = inf min{u1(X), u2(X)}. Ω X∈Ω
We say u attains its maximum value at X0 ∈ Ω if
sup u = max{u1(X0), u2(X0)}. Ω
We say u has a local maximum at X0 if u attains its maximum value on an open 1 neighborhood of X0 in Ω. Note that in the case that u ∈ C (Ω) and X0 ∈ Ω \Bu, u attains a local maximum at X0 means that on some ball BR(X0) ⊂ Ω\Bu we can write 1 u = {u1, u2} for two single-valued functions u1, u2 ∈ C (BR(X0)) and one of u1 and u2 attains its maximum value at X0. The first maximum principle we will consider is a generalization of the strong maximum principle [3, Theorem 3.5] to two-valued functions.
Theorem 8. Let u, aij, bi, c, and ϕ be the two-valued functions associated with 0 1 2 n−2 ij i 0 0 u0 ∈ V (C) ∩ V (C) ∩ V (C\{0} × R ), a0 , b0, c0 ∈ V (C), and ϕ0 ∈ V (∂C) respectively. Suppose
ij i n−2 Lu = a Diju + b Diu + cu ≥ 0 in C\{0} × R , u = ϕ on ∂C, which we interpret as discussed in Section 1.3, and
ij 2 n a0 (X)ξiξj ≥ λ|ξ| for X ∈ C, ξ ∈ R CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 30
for some constant λ > 0 and c0 ≤ 0. Then u cannot attain a nonnegative maximum value in C unless u is constant.
n−2 Proof. Suppose u attains a nonnegative maximum at X0 ∈ C \ {0} × R . Take a n−2 ball BR(X0) ⊂ C \ {0} × R and on BR(X0), write u = {u1, u2} for single-valued 2 u1, u2 ∈ C (BR(X0)) such that Lu1 ≥ 0 and Lu2 ≥ 0. Without loss of generality u1 attains the nonnegative maximum value of u at X0. By the strong maximum principle for single-valued functions [3, Theorem 3.5], u1 is constant on BR(X0). It follows that the nonnegative maximum value of u is attained at X0 if and only if u is constant. If u is not constant, then u can only attain a nonnegative maximum on {0}×Rn−2 ∪∂C.
1 ij i 0 Suppose u0 ∈ V (C) and a0 , b0 ∈ V (C), and u attains a nonnegative maximum n−2 maximum at X0 ∈ {0} × R . Consider a ball BR(X1) ⊂ C that is tangent to n−2 {0} × R at X0. On BR(X1), u = {u1, u2} for single-valued functions u1, u2 ∈ 1 2 ˘ 1 C (BR(X0)) ∩ C (BR(X0)) such that Lu1 ≥ 0 and Lu2 ≥ 0. Since u ∈ C (C) and u attains its nonnegative maximum value at X0, u(X0) ≥ 0 and Du(X0) = 0. But this contradicts the Hopf boundary point lemma [3, Lemma 3.4], which when applied to u1 on BR(X1) implies Du(X0) 6= 0 unless u is constant. Therefore if u is not constant, u can only attain its maximum on ∂C.
Corollary 2. Let u, aij, bi, c, and ϕ be the two-valued functions associated with 0 1 2 n−2 ij i 0 0 u0 ∈ V (C) ∩ V (C) ∩ V (C\{0} × R ), a0 , b0, c0 ∈ V (C), and ϕ0 ∈ V (∂C) ij i respectively. Suppose u0, a0 , b0, c0, and ϕ0 are periodic with respect to yj with period
ρj. Suppose
ij i n−2 Lu = a Diju + b Diu + cu ≥ 0 in C\{0} × R , u = ϕ on ∂C, which we interpret as discussed in Section 1.3, and
ij 2 n a0 (X)ξiξj ≥ λ|ξ| for X ∈ C, ξ ∈ R CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 31
for some constant λ > 0 and c0 ≤ 0. Then
sup u ≤ sup ϕ+, C ∂C
+ 0 where ϕ is the two-valued function associated with max{ϕ0, 0} ∈ V (C).
Remark 4. If Lu = 0, we can replace u with −u to conclude that
sup |u| ≤ sup |ϕ|, C ∂C
0 where we interpret |u| and |ϕ| as the two-valued function associated with |u0| ∈ V (C) 0 and |ϕ0| ∈ V (∂C).
Proof of Corollary 2. Follows immediately from Theorem 8 and the fact that since u0 is periodic with respect to yj, u must attain its maximum on C.
The next maximum principle generalizes the weak maximum principle for single- valued functions [3, Theorem 8.1]. The proof requires proving a Sobolev inequality for two-valued functions.
Lemma 4. Let 1 ≤ p < n. Let ρj > 0 for j = 1, . . . , n − 2 and R = [0, ρ1] × · · · × 0 1,p [0, ρn−2]. Suppose u ∈ C (C) ∩ W (R) is a two-valued function such that u has the form (1.14), u is periodic with respect to yj with period ρj, and u = 0 near ∂C. Then
kukLnp/(n−p)(R) ≤ CkDukLp(R) (2.1) for some C = C(n, p) > 0.
Remark 5. A similar proof shows that if u ∈ C0(C) ∩ W 1,p(C) is any two-valued function of the form (1.14) that has compact support in C, then
kukLnp/(n−p)(C) ≤ CkDukLp(C) for some C = C(n, p) > 0. CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 32
Proof of Lemma 4. For δ > 0, let γδ be an odd smooth function such that γδ(t) = t 0 for |t| > δ, γδ(t) = 0 for |t| < δ/2, and |γδ(t)| ≤ 3 for all t ∈ R. Approximate u by 1,p (1) (2) vδ = ua +γδ(us) so that as δ ↓ 0, vδ → u in W (R). Write as vδ = {vδ , vδ } on C for (1) (2) 0 1,p single-valued functions vδ = ua +γδ(|us|) and vδ = ua −γδ(|us|) in C (C)∩W (R). By the Sobolev inequality for single-valued functions,
(l) (l) kvδ kLnp/(n−p)(R) ≤ CkDvδ kLp(R) for l = 1, 2.
Hence, letting q = np/(n − p),
Z 1/q (1) q (2) q kvδkLq(R) = |vδ | + |vδ | R Z q/p Z q/p!1/q 1/q (1) p (2) p ≤ C |Dvδ | + |Dvδ | R R Z Z 1/p 1/q (1) p (2) p ≤ C |Dvδ | + |Dvδ | R R 1/q = C kDvδkLp(R),
Using the identity as + bs ≤ (a + b)s for a, b > 0 and s = q/p > 1. Now (2.1) follows by letting δ ↓ 0.
Theorem 9. Let u, aij, bi, cj, d, and ϕ be the two-valued functions associated with 0 1 ij i j 0 0 u0 ∈ V (C) ∩ V (C), a0 , b0, c0, d0 ∈ V (C), and ϕ0 ∈ V (∂C) respectively. Suppose u0, ij i j a0 , b0, c0, d0, and ϕ0 are periodic with respect to yj with period ρj. Suppose
ij i i n−2 Di(a Dju + b u) + c Diu + du ≥ 0 in C\{0} × R , u = ϕ on ∂C, which we interpret as discussed in Section 1.3, and
ij 2 n a0 (X)ξiξj ≥ λ|ξ| for X ∈ C, η ∈ R (2.2) CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 33
for some constant λ > 0. Suppose Z j −b Dxj ζ + dζ ≤ 0 (2.3) C
1 for all two-valued function ζ associated with some ζ0 ∈ Vc (C) such that ζ0 ≥ 0, where we interpret (2.3) as Z 2 j k 4|ξ| −b0Mj Dξk ζ0 + d0ζ0 ≤ 0 (2.4) C 1/2 using the change of variable ξ1 + iξ2 = (x1 + ix2) like in Section 1.3. Then
sup u ≤ sup ϕ+ C ∂C
+ 0 where ϕ is the two-valued function associated with max{ϕ0, 0} ∈ V (∂C).
Remark 6. If Lu = 0, we can replace u with −u to conclude that
sup |u| ≤ sup |ϕ|, C ∂C
0 where we interpret |u| and |ϕ| as the two-valued function associated with |u0| ∈ V (C) 0 and |ϕ0| ∈ V (∂C) respectively.
Proof of 9. The proof is similar to the proof of Theorem 8.1 in [3]. Suppose sup∂C ϕ < supC u. Let + ζ0 = max{u0, 0} where sup ϕ < l < sup u, ∂C C and let ζ be the two-valued function associated with ζ0. Using the weak equation Z ij j i a DjuDiζ + b uDjζ − c Diuζ − duζ ≤ 0, R
2 where R = B1 (0) × [0, ρ1] × · · · × [0, ρn−2] and we interpret the integral as discussed in Section 1.3, and arguing as in [3, Theorem 8.1], we obtain
Z Z ij i i a DiζDjζ ≤ (b + c )ζDiζ. R R CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 34
Define the measurable function ψ0 on C by ψ0 = 1 wherever Dζ0 6= 0 and ψ0 = 0 elsewhere. Associate with ψ0 the two-valued function
iθ 1/2 iθ/2 1/2 iθ/2 ψ(re , y) = {ψ0(r e , y), ψ0(−r e , y)}.
By (2.2) and the fact that
ψ|b + c|2ζ2 |(bi + ci)ζD ζ| = ψ|(bi + ci)ζD ζ| ≤ + λ|Dv|2/2, i i 2λ
1/2 interpreted in the appropriate way using the change of variable ξ1 +iξ2 = (x1 +ix2) , we obtain Z Z 2 1 i i 2 2 |Dζ| ≤ 2 kb0 + c0kV0(C) ψ ζ , (2.5) R λ R i i If b0 + c ≡ 0, then (2.5) implies Dζ ≡ 0 and so ζ ≡ 0, contradicting v 6≡ 0. If bi + ci 6≡ 0, then applying the Sobolev inequality and H¨olderinequality to (2.5) implies
C i i kζk 2n/(n−2) ≤ CkDζk 2 ≤ kb + c k 0 kψk n kζk 2n/(n−2) L (R) L (R) λ 0 0 V (C) L (R) L (R) for C = C(n, ρ1, . . . , ρn−2) > 0, so
λ i i −1 kψk n ≥ kb + c k . L (R) C 0 0 V0(C)
Since Z 1/n 2 kψkLn(R) = ψ0(ξ, y) 4|ξ| dξdy , R it follows that
λn Ln({X ∈ R : Dζ (X) 6= 0}) = Ln({X ∈ R : ψ (X) = 1} ≥ kbi + ci k−n . 0 0 4Cn 0 0 V0(C)
Letting l increase to supC u implies that u0 attains its maximum on a set S ⊂ R for n which L (S) > 0 and Du0 6= 0 on S, which is a contradiction. Therefore supC u ≤ + sup∂C ϕ . CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 35
2.3 Schauder estimates
In this section we will prove various Schauder estimates for two-valued functions. One approach to proving Schauder estimates for single-valued functions is to use in- tegral kernels [3, Chapter 4]. For two-valued functions we cannot use integral kernels, so instead we use a scaling argument from [11, Lemma 3.2] to prove the Schauder estimates. First we have a few lemmas.
n Lemma 5. Let BR(X) be any ball in R , k ∈ R, θ ∈ (0, 1), γ > 0, ν > 0, and let
S be any nonnegative subadditive function on the class of convex subsets of BR(X). There is an ε = ε(n, k, θ) such that if
k k ρ S(Bρ/2(Y )) ≤ ερ S(Bρ/2(Y )) + γ (2.6)
whenever Bρ(Y ) ⊆ BR(X) and ρ ≤ νR, then
k R S(BR/2(X)) ≤ Cγ for some constant C = C(n, k, θ, ν).
Proof. See the proof of Lemma 2 in Section 2.8 in [9]. Note that [9] omits the assumption that ρ ≤ νR for (2.6) to hold. To get the full result, first show
k ρ S(Bρ/2(X)) ≤ Cγ (2.7)
for Bρ(Y ) ⊆ BR(X) with ρ ≤ νR using the proof in [9] with slight modification.
Then cover BR(X) by a finite collection {BθνR(Yj)}j=1,...,N of open balls such that
BνR(Yj) ⊂ BR(X) and N ≤ C for some constant C = C(n, k, θ, µ) > 0. By (2.7),
N k X k R S(BθR(X)) ≤ R S(BθνR(Yj)) ≤ Cγ j=1 for C = C(n, k, θ, ν) > 0. CHAPTER 2. ELLIPTIC THEORY FOR TWO-VALUED FUNCTIONS 36
Lemma 6. Suppose u ∈ C1,µ(Rn) is a two-valued function with µ ∈ (0, 1/2) such n that ∆u = 0 on R \Ku and [Du]µ,Rn < ∞. Then u is affine, i.e. u(X) = {a0 + Pn Pn i=1 aixi, b0 + i=1 bixi} for some constants ai, bi ∈ R. The proof of Lemma 6 involves frequency functions and is given [11, Sections 2 and 4].
n i Lemma 7. Consider the ball BR(X0) ⊆ R . Let µ ∈ (0, 1/2) and u, f , and g be 1,µ 0,µ the two-valued functions associated with u0 ∈ V (BR(X0)), f ∈ V (BR(X0)), and 0 ij g ∈ V (BR(X0)) respectively. Let a be constants such that
ij 2 n ij a ζiζj ≥ λ|ζ| for ζ ∈ R , |a | ≤ Λ, for some constants λ, Λ > 0. Suppose
ij i ˘ n−2 a Diju = Dif + g in BR(X0) \{0} × R , which we interpret as discussed in Section 1.3. Then
0 1+µ 2 kuk 1,µ ≤ C kuk 0 + R [f] + R kgk 0 C (BR/2(X0)) C (BR(X0)) µ,BR(X0) C (BR(X0)) for some constant C = C(n, µ, λ, Λ) > 0. Proof. By rescaling, assume R = 1. By standard interpolation inequalities and Lemma 5, it suffices to show that for every δ > 0,