arxiv: v1 [math.ap] 18 Jan 2019
|
|
- Alexander Dennis
- 5 years ago
- Views:
Transcription
1 Boundary Pointwise C 1,α C 2,α Regularity for Fully Nonlinear Elliptic Equations arxiv: v1 [math.ap] 18 Jan 2019 Yuanyuan Lian a, Kai Zhang a, a Department of Applied Mathematics, Northwestern Polytechnical University, Xi an, Shaanxi, , PR China Abstract In this paper, we obtain the boundary pointwise C 1,α C 2,α regularity for viscosity solutions of fully nonlinear elliptic equations. I.e., If Ω is C 1,α (or C 2,α ) at x 0 Ω, the solution is C 1,α (or C 2,α ) at x 0. Our results are new even for the Laplace equation. Moreover, our proofs are simple. Keywords: Boundary regularity, Schauder estimate, Fully nonlinear elliptic equation, Viscosity solution 2010 MSC: 35B65, 35J25, 35J60, 35D40 1. Introduction Since 1980s, the fully nonlinear elliptic equations have been studied extensively (see [1] [3] the references therein). For the investigation on boundary behavior, there are usually two ways. One is to study the boundary regularity for viscosity solutions. Flattening the curved boundary by a transformation is widely applied (e.g. [9]). However, the lower order terms variant coefficients arise inevitably. Moreover, only local estimates can be derived rather than pointwise estimates. Another way is to obtain a priori estimates first then use the method of continuity to prove the existence This research is supported by the National Natural Science Foundation of China (Grant No ), the Natural Science Basic Research Plan in Shaanxi Province of China (Program No. 2018JQ1039) the Fundamental Research Funds for the Central Universities (Grant No QD032). Corresponding author. ORCID: addresses: lianyuanyuan@nwpu.edu.cn; lianyuanyuan.hthk@gmail.com (Yuanyuan Lian), zhang_kai@nwpu.edu.cn; zhangkaizfz@gmail.com (Kai Zhang) Preprint submitted to Elsevier January 21, 2019
2 of classical solutions. It often requires more smoothness on the boundary the boundary value (e.g. [10]). In both cases, the proofs are usually complicated. We note that in [8], Ma Wang also proved the boundary pointwise C 1,α regularity by a barrier argument a complicated iteration procedure. In this paper, we study the boundary regularity for viscosity solutions prove the pointwise C 1,α C 2,α estimates under the corresponding pointwise geometric conditions on Ω. Our results are new even for the Laplace equation these geometric conditions are rather general. Moreover, the boundaries don t need to be flattened the proofs are simple. The perturbation compactness techniques are adopted here. We use solutions with flat boundaries to approximate the solution the error between them can be estimated by maximum principles. Then, we can obtain the necessary compactness for solutions (see Lemma 2.7). This basic perturbation idea is inspired originally by [1]. The application to boundary regularity is inspired by [7]. Based on the compactness result, we can obtain the desired estimates at the boundary if the boundary is almost flat (see Lemma 3.1 Lemma 4.1). This compactness technique has been inspired by [9] [11]. Then in aid of the scaling, the estimates on curved boundaries can be derived easily the perturbation is a matter of scaling in some sense. The treatment for the right h term the boundary value is similar. In this paper, we use the stard notations refer to Notation 1.9 for details. Before stating our main results, we introduce the following notions. Definition 1.1. Let A R n be a bounded set f be a function defined on A. We say that f is C k,α (k 0) at x 0 A or f C k,α (x 0 ) if there exist a polynomial P of degree k a constant K such that f(x) P(x) K x x 0 k+α, x A. (1.1) There may exist multiple P K (e.g. A = B 1 R n 1 ). Then we take P 0 with P 0 = min P K such that(1.1) holds with P K }, where P = k m=0 Dm P(x 0 ). Define D m f(x 0 ) = D m P 0 (x 0 ), 2
3 [f] C k,α (x 0 ) = min K (1.1) holds with P0 K } f C k,α (x 0 ) = P 0 +[f] C k,α (x 0 ). Next, we give the definitions of the geometric conditions on the domain. Definition 1.2. Let Ω be a bounded domain x 0 Ω. We say that Ω is C k,α (k 1) at x 0 or Ω C k,α (0) if there exist a coordinate system x 1,...,x n }, a polynomial P(x ) of degree k a constant K such that x 0 = 0 in this coordinate system, B 1 (x,x n ) xn > P(x )+K x k+α } B 1 Ω (1.2) Then, define B 1 (x,x n ) xn < P(x ) K x k+α } B 1 Ω c. (1.3) [ Ω] C k,α (x 0 ) = inf K (1.2) (1.3) hold for K } In addition, we define Ω C k,α (x 0 ) = P +[ Ω] C k,α (x 0 ). osc B r Ω = sup x Ω B r x n inf x Ω B r x n. Remark 1.3. Throughout this paper, we always assume that 0 Ω study the boundary behavior at 0. When we say that Ω is C k,α at 0, it always indicates that(1.2) (1.3) hold. Furthermore, without loss of generality, we always assume that P(0) = 0 DP(0) = 0. Remark 1.4. In this definition, Ω doesn t need to be the graph of a function near x 0. For example, let Ω = B(e n,1)\ (x,x n ) xn = x 2 /2, x 1/2 }. Then Ω is C 2,α at 0 by the definition. We will prove that the solution is C 2,α at 0. Hence, our results are new even for the Laplace equation. 3
4 Since we consider the viscosity solutions, the stard notions notationsforviscosity solutionsareused, suchas S(λ,Λ,f),S(λ,Λ,f),S(λ,Λ,f), M + (M,λ,Λ), M (M,λ,Λ) etc. For the details, we refer to [1], [2] [3]. Without loss of generality, we always assume that the fully nonlinear operator F is uniformly elliptic with ellipticity constants λ Λ, F(0) = 0. We call a constant C universal if it depends only on n,λ Λ. We use the Einstein summation convention in this work, i.e., repeated indices are implicitly summed over. Now, we state our main results. For the boundary pointwise C 1,α regularity, we have Theorem 1.5. Let 0 < α < α 1 where α 1 is a universal constant (see Lemma 2.1). Suppose that Ω is C 1,α at 0 u satisfies u S(λ,Λ,f) in Ω B1 ; u = g on Ω B 1, where g C 1,α (0) f L n (Ω B 1 ) satisfies for some constant K f f L n (Ω B r) K f r α, 0 < r < 1. (1.4) Then u C 1,α (0), i.e., there exists a linear polynomial L such that u(x) L(x) C x 1+α( u L (Ω B 1 ) +K f + g C 1,α (0)), x Ω Br1, (1.5) Du(0) C ( u L (Ω B 1 ) +K f + g C 1,α (0)), (1.6) where C depends only on n,λ,λ α, r 1 depends also on [ Ω] C 1,α (0). Remark 1.6. In [8], Ma Wang only proved the boundary pointwise C 1, α regularity for some α with 0 < α min(α,α 1 ) since the Harnack inequality was used. For instance, for the Laplace equation, we can obtain the C 1, α regularity for any 0 < α < 1, which can not been inferred from [8]. For the boundary pointwise C 2,α regularity, we have Theorem 1.7. Let 0 < α < α 2 where α 2 is a universal constant (see Lemma 2.2). Suppose that Ω is C 2,α at 0 u satisfies F(D 2 u) = f in Ω B 1 ; u = g on Ω B 1, 4
5 where g C 2,α (0) f C α (0). Then u C 2,α (0), i.e., there exists a quadratic polynomial P such that u(x) P(x) C x 2+α( u L (Ω B 1 ) + f C α (0) + g C 1,α (0)), x Ω Br1, (1.7) Du(0) + D 2 u(0) C ( u L (Ω B 1 ) + f C α (0) + g C 1,α (0)), (1.8) where C depends only on n,λ,λ α, r 1 depends also on Ω C 2,α (0). Remark 1.8. Note that the convexity of F is not needed here, which is different from the interior C 2,α regularity. In the next section, we prepare some preliminaries. In particular, we prove the compactness the closedness for a family of viscosity solutions. We obtain the boundary C 1,α regularity in Section 3 the boundary C 2,α regularity in Section 4. Notation e i } n i=1 : the stard basis of Rn, i.e., e i = (0,...0, 1 i th,0,...0). 2. x = (x 1,x 2,...,x n 1 ) x = (x 1,...,x n ) = (x,x n ). 3. S n : the set of n n symmetric matrices A = the spectral radius of A for any A S n. 4. R n + = x R n xn > 0}. 5. B r (x 0 ) = x R n x x0 < r}, B r = B r (0), B + r (x 0) = B r (x 0 ) R n + B + r = B+ r (0). 6. T r (x 0 ) = (x,0) R n x x 0 < r} T r = T r (0). 7. A c : the complement of A Ā: the closure of A, A Rn. 8. Ω r = Ω B r ( Ω) r = Ω B r. 9. ϕ i = D i ϕ = ϕ/ x i Dϕ = (ϕ 1,...,ϕ n ). Similarly, ϕ ij = D ij ϕ = 2 ϕ/ x i x j D 2 ϕ = (ϕ ij ) n n. 2. Preliminaries In this section, we introduce two lemmas stating the C 1,α C 2,α regularity on flat boundaries. We will use them to approximate the solutions 5
6 on curved boundaries. In addition, we prove the compactness closedness for a family of viscosity solutions. The following lemma concerns the boundary C 1,α regularity. It was first proved by Krylov [6] further simplified by Caffarelli (see [4, Theorem 9.31] [5, Theorem 4.28]). Lemma 2.1. Let u satisfy u S(λ,Λ,0) in B + 1 ; u = 0 on T 1. Then there exists a universal constant 0 < α 1 < 1 such that u C 1,α 1 (0) for some constant a, u(x) ax n C 1 x 1+α 1 u L (B + 1 ), x B+ 1/2 a C 1 u L (B + 1 ), where C 1 is universal. The next lemma concerns the boundary C 2,α regularity. We refer [9, Lemma 4.1] for a proof. Lemma 2.2. Let u satisfy F(D 2 u) = 0 in B + 1 ; u = 0 on T 1. Then there exists a universal constant 0 < α 2 < 1 such that u C 2,α 2 (0) for some constants a b in (1 i n), u(x) ax n b in x i x n C 2 x 2+α 2 u L (B + 1 ), x B+ 1/2, (2.1) F(b in ) = 0 (2.2) a + b in C 2 u L (B + 1 ), where C 2 is universal. 6
7 Remark 2.3. In(2.1), the Einstein summation convention is used (similarly hereinafter). In(2.2), b in denotes the matrix a ij whose elements are all 0 except a in = b in for 1 i n (similarly hereinafter). The following lemma presents a uniform estimate for solutions, which is a kind of equicontinuity up to the boundary. Lemma 2.4. Let 0 < δ < 1/4. Suppose that u satisfies u S(λ,Λ,f) in Ω1 ; u = g on ( Ω) 1, with u L (Ω 1 ) 1, f L n (Ω 1 ) δ, g L (( Ω) 1 ) δ osc B 1 Ω δ. Then u L (Ω δ ) Cδ, where C is universal. Proof. Let B 1 + = B+ 1 δe n T 1 = T 1 δe n. Then ( Ω) 1/4 B 1 +. Let v solve M + (D 2 v,λ,λ) = 0 in B 1 + ; v = 0 on T 1 ; v = 1 on B 1 + \ T 1. Let w = u v then w satisfies (note that v 0) w S(λ/n,Λ,f) in Ω B 1 + ; w g on Ω B 1 + ; w 0 on B 1 + Ω. By Lemma 2.1, v L ( B + 4δ ) Cδ, where C is universal. For w, by the Alexrov-Bakel man-pucci maximum principle, we have sup Ω B + 1 where C is universal. Hence, w g L ( Ω B + 1 ) +C f L n (Ω B + 1 ) Cδ, supu sup u v L ( B + Ω δ Ω B + 4δ ) + sup 4δ Ω B w Cδ.
8 The proof for infu Cδ Ω δ is similar we omit it here. Hence, the proof is completed. Remark 2.5. The proof shows the idea that approximating the general solution u by a solution v with a flat boundary. This idea is inspired by [7]. Based on the above lemma, the following corollary follows easily: Corollary 2.6. For any 0 < r < 1 ε > 0, there exists δ > 0 (depending only on n,λ,λ,r ε) such that if u satisfies u S(λ,Λ,f) in Ω1 ; u = g on ( Ω) 1, with u L (Ω 1 ) 1, f L n (Ω 1 ) δ, g L (( Ω) 1 ) δ osc B 1 Ω δ, then u L (Ω B(x 0,δ)) ε, x 0 Ω B r. Next, we prove the equicontinuity of the solutions, which provides the necessary compactness. Lemma 2.7. For any Ω Ω B 1 ε > 0, there exists δ > 0 (depending only on n,λ,λ,ω ε) such that if u satisfies u S(λ,Λ,f) in Ω1 ; u = g on ( Ω) 1, with u L (Ω 1 ) 1, f L n (Ω 1 ) δ, g L (( Ω) 1 ) δ osc B 1 Ω δ, then for any x,y Ω with x y δ, we have u(x) u(y) ε. Proof. By Corollary 2.6, for any ε > 0, there exists δ 1 > 0 depending only on n,λ,λ,ε Ω such that for any x,y Ω with dist(x, Ω) δ 1 x y δ 1, we have u(x) u(y) u(x) + u(y) ε. (2.3) 8
9 If dist(x, Ω) > δ 1, by the interior Hölder estimate, u(x) u(y) C x y α, (2.4) δ1 α where C 0 < α < 1 are universal. Take δ small enough such that C δα ε. δ1 α Then by combining(2.3) (2.4), the conclusion follows. Now, we give a closedness result for viscosity solutions. Lemma 2.8. Let u k C( Ω k B 1 ) (k 1) satisfy Fk (D 2 u k ) ( )f k in Ω k B 1 ; u k = g k on Ω k B 1. Supposethat F k F uniformlyoncompactsubsets of S n, f k L n (Ω k B 1 ) 0, g k L ( Ω k B 1 ) 0 osc B 1 Ω k 0. In addition, assume that for any Ω Ω B 1, u k u uniformly on Ω. That is, for any ε > 0, there exists k 0 such that for any k k 0 x Ω Ω k, we have u k (x) u(x) ε. Then u C(B + 1 T 1) F(D 2 u) ( )0 in B + 1 ; u = 0 on T 1, Proof. We only prove the case for a subsolution. From [2, Theorem 3.8], F(D 2 u) 0 in B + 1 holds. For any x 0 T 1 ε > 0, let δ > 0 be small to be specified later x B + (x 0,δ) B 1. Since u k converges to u uniformly, there exists k 0 such that for any k k 0 x B + (x 0,δ) Ω k, we have u k (x) u(x) ε/2. Take k large enough such that x Ω k g k L ( Ω k B 1 ) ε/4. Note that u k C( Ω k B 1 ). Then we can take δ small such that u k ( x) ε/2. Hence, u( x) = u( x) u k ( x)+u k ( x) u( x) u k ( x) + u k ( x) ε. Therefore, u is continuous up to T 1 u 0 on T 1. 9
10 3. Boundary C 1,α regularity In this section, we give the proof of the boundary C 1,α regularity. First, we prove that the solution in Theorem 1.5 can be approximated by a linear function provided that the prescribed data are small enough. Lemma 3.1. Let α 1 C 1 be as in Lemma 2.1. For any 0 < α < α 1, there exists δ > 0 such that if u satisfies u S(λ,Λ,f) in Ω1 ; u = g on ( Ω) 1, with u L (Ω 1 ) 1, f L n (Ω 1 ) δ, g L (( Ω) 1 ) δ osc B 1 Ω δ, then there exists a constant a such that u ax n L (Ω η) η 1+α a C 1, where η depends only on n,λ,λ α. Proof. We prove the lemma by contradiction. Suppose that the lemma is false. Then there exist 0 < α < α 1 sequences of u k,f k,g k,ω k such that uk S(λ,Λ,f k ) in Ω k B 1 ; u k = g k on Ω k B 1 with u k L (Ω k B 1 ) 1, f k L n (Ω k B 1 ) 1/k, g k L ( Ω k B 1 ) 1/k osc B 1 Ω 1/k, u k ax n L (Ω k B η) > η 1+α, a C 1, (3.1) where 0 < η < 1 is taken small such that C 1 η α 1 α < 1/2. (3.2) Note that u k are uniformly bounded. In addition, by Lemma 2.7, u k are equicontinuous. More precisely, for any Ω B + 1 T 1, ε > 0, there exist δ > 0 k 0 such that for any k k 0 x,y Ω Ω k with x y < δ, 10
11 u(x) u(y) ε. Hence, there exists a subsequence (denoted by u k again) such that u k converges uniformly to some function u on compact subsets of B + 1 T 1. By the closedness (Lemma 2.8), u satisfies u S(λ,Λ,0) in B + 1 ; u = 0 on T 1. By Lemma 2.1, there exists ā such that u(x) āx n C 1 x 1+α 1, x B + 1/2 ā C 1. Hence, by noting(3.2), we have u āx n L (B η + ) η1+α /2. (3.3) By Lemma 2.7, for δ small k large, we have u k āx n L (Ω k B η x n δ}) < η 1+α. Hence, from(3.1), u k āx n L (Ω k B η x n>δ}) > η 1+α. Let k, we have u āx n L (B η x n>δ}) > η 1+α, which contradicts with(3.3). Remark 3.2. As pointed out in [11, Chapte 1.3], the benefits of the method of compactness are that it doesn t need the solvability of some equation, the difference between the solution the auxiliary function doesn t need to satisfy some equation. Now, we can prove the boundary C 1,α regularity. Proof of Theorem 1.5. We make some normalization first. Let K Ω = [ Ω] C 1,α (0). Then x n K Ω x 1+α, x ( Ω) 1. (3.4) 11
12 Next, we assume that g(0) = 0 Dg(0) = 0. Otherwise, we may consider v(x) = u(x) g(0) Dg(0) x. Then the regularity of u follows easily from that of v. Let K g = [g] C 1,α (0). Then g(x) K g x 1+α, x ( Ω) 1. (3.5) Let δ be as in Lemma 3.1. We assume that u L (Ω 1 ) 1, K f δ, K g δ/2 K Ω δ/c 0 where C 0 is a constant (depending only on n,λ,λ α) to be specified later. Otherwise, we may consider v(y) = u(x) u L (Ω 1 ) +δ 1 (K f +2K g ), where y = x/r. By choosing R small enough (depending only on n,λ,λ K Ω ), the above assumptions can be guaranteed. Without loss of generality, we assume that R = 1. To prove that u is C 1,α at 0, we only need to prove the following. There exists a sequence a k (k 1) such that for all k 0 u a k x n L (Ω η k) η k(1+α) (3.6) a k a k 1 C 1 η kα, (3.7) where C 1 is the universal constant as in Lemma 2.1 η, depending only on n,λ,λ α, is as in Lemma 3.1. We prove the above by induction. For k = 0, by setting a 0 = a 1 = 0, the conclusion holds clearly. Suppose that the conclusion holds for k = k 0. We need to prove that the conclusion holds for k = k Let r = η k 0, y = x/r v(y) = u(x) a k 0 x n r 1+α. (3.8) Then v satisfies v S(λ,Λ, f) in Ω B1 ; where v = g on Ω B 1, f(y) = f(x) r α 1, g(y) = g(x) a k 0 x n r 1+α Ω = Ω r. 12
13 By(3.7), there exists a constant C 0 depending only on n,λ,λ α such that a k C 0 /2 ( 0 k k 0 ). Then it is easy to verify that v L ( Ω B 1 ) 1, (by(3.6) (3.8)) f L n ( Ω B 1 ) = f L n (Ω B r) K r α f δ, (by(1.4)) g L ( Ω B 1 ) 1 (K r 1+α g r 1+α + C ) 0K Ω r 1+α δ (by(3.4) (3.5)) (3.9) 2 osc B 1 Ω = 1 r osc B r Ω K Ω r α δ. By Lemma 3.1, there exists a constant ā such that v āy n L ( Ω η) η1+α ā C 1. Let a k0 +1 = a k0 +r α ā. Then(3.7) holds for k Recalling(3.8), we have u a k0 +1x n L (Ω η k 0 +1) = u a k0 x n r α āx n L (Ω ηr) = r 1+α v r 1+α āy n L ( Ω η) r 1+α η 1+α = η (k 0+1)(1+α). Hence,(3.6) holds for k = k By induction, the proof is completed. Remark 3.3. From the above proof, it shows clearly that the reason for the requirement of Ω C 1,α (0) is to estimate x n on Ω (see(3.9)). This observation is originated from [7] is key to the C 2,α regularity below. 4. C 2,α regularity In the following, we prove the boundary C 2,α regularity. From the proof for the C 1,α regularity, it can be inferred that if osc B r Ω Cr 2+α, 0 < r < 1, 13
14 the C 2,α regularity follows almost exactly as the C 1,α regularity. However, the above can t be guaranteed by choosing a proper coordinate system, which is different from the C 1,α regularity. As pointed above, the requirement for Ω is to estimate x n on Ω. If the term x n vanishes, the requirement for Ω may be relaxed. This is the key idea for the C 2,α regularity. The following lemma is similar to Lemma 3.1, but without the term x n in the estimate. Lemma 4.1. Let α 2 C 2 be as in Lemma 2.2. For any 0 < α < α 2, there exists δ > 0 such that if u satisfies F(D 2 u) = f in Ω 1 ; u = g on ( Ω) 1, with u L (Ω 1 ) 1, Du(0) = 0, f L (Ω 1 ) δ, [g] C 1,α (0) 1, g L (( Ω) 1 ) δ Ω C 1,α (0) δ, then there exist constants b in such that u b in x i x n L (Ω η) η 2+α, F(b in ) = 0 b in C 2 +1, where η depends only on n,λ,λ α. Proof. As before, we prove the lemma by contradiction. Suppose that the lemmaisfalse. Thenthereexist0 < α < α 2 sequences off k,u k,f k,g k,ω k such that Fk (D 2 u k ) = f k in Ω k B 1 ; u k = g k on Ω k B 1, with u k L (Ω k B 1 ) 1,[g k ] C 1,α (0) 1, g k L ( Ω k B 1 ) 1/k, f k L (Ω k B 1 ) 1/k, Ω k C 1,α (0) 1/k, Du k (0) = 0 u k b in x i x n L (Ω k B η) > η 2+α, b in C 2 +1 with F(b in ) = 0, (4.1) where 0 < η < 1 is taken small such that C 2 η α 2 α < 1/2. (4.2) 14
15 Since F k (0) = 0 F k are Lipschitz continuous with a uniform Lipschitz constant depending only on n,λ Λ, there exists F such that F k F on compact subsets of S n. On the other h, as before, u k are uniformly bounded equicontinuous. Hence, by Lemma 2.8, we can assume that u k converges uniformly to some function u on compact subsets of B + 1 T 1 u satisfies F(D 2 u) = 0 in B + 1 ; u = 0 on T 1. By the C 1,α estimate for u k (see Theorem 1.5) noting Du k (0) = 0, we have u k L (Ω k B r) Cr 1+ᾱ 0 < r < 1, where ᾱ < min(α,α 1 ) C is universal. Since u k converges to u uniformly, u L (B + r ) Cr1+ᾱ 0 < r < 1, Hence, Du(0) = 0. By Lemma 2.2, there exist b in such that u(x) b in x i x n C 2 x 2+α 2, x B + 1/2, F( b in ) = 0 b in C 2. Since F k ( b in ) F( b in ) = 0. For k large, there exists t k with t k η 2+α /4 t k 0 such that F k ( b in +t k δ nn ) = 0, where δ nn denotes the matrix a ij whose elements are all 0 except a nn = 1 (similarly hereinafter). By noting(4.2), we have u b in x i x n L (B + η ) η2+α /2. (4.3) By Lemma 2.7, for δ small k large, we have Hence, from (4.1), u k b in x i x n t k x 2 n L (Ω k B η x n δ}) < η 2+α. u k b in x i x n t k x 2 n L (Ω k B η x n>δ}) > η 2+α. 15
16 Let k, we have which contradicts with(4.3). u b in x i x n L (B η x n>δ}) > η 2+α, The following is the essential result for the C 2,α regularity. The key is that if Du(0) = 0, the C 2,α regularity holds even if Ω C 1,α (0). Theorem 4.2. Let 0 < α < α 2 Ω be C 1,α at 0. Assume that u satisfies F(D 2 u) = f in Ω 1 ; with Du(0) = 0. Suppose that u = g on ( Ω) 1, f(x) K f x α, x ( Ω) 1. (4.4) g(x) K g x 2+α, x ( Ω) 1. (4.5) Then u C 2,α (0), i.e., there exists a quadratic polynomial P such that u(x) P(x) C x 2+α( u L (Ω 1 ) +K f +K g ), x Ωr1, (4.6) Du(0) + D 2 u(0) C ( u L (Ω 1 ) +K f +K g ), (4.7) where C depends only on n,λ,λ α, r 1 depends also on [ Ω] C 1,α (0). Proof. As before, we make some normalization first. Let K Ω = [ Ω] C 1,α (0). Then x n K Ω x 1+α, x ( Ω) 1. (4.8) Let δ be as in Lemma 4.1. As before, we assume that u L (Ω 1 ) 1, K f δ, K g δ/2 K Ω δ/c 0 where C 0 is a constant (depending only on n,λ,λ α) to be specified later. To prove that u is C 2,α at 0, we only need to prove the following. There exist sequences (b k ) in (k 1) such that for all k 0, u (b k ) in x i x n L (Ω η k) η k(2+α), (4.9) 16
17 F((b k ) in ) = 0 (4.10) (b k ) in (b k 1 ) in (C 2 +1)η kα, (4.11) where C 2 is the universal constant as in Lemma 2.2 η, depending only on n,λ,λ α, is as in Lemma 4.1. We prove the above by induction. For k = 0, by setting (b 0 ) in = (b 1 ) in = 0, the conclusion holds clearly. Suppose that the conclusion holds for k = k 0. We need to prove that the conclusion holds for k = k Let r = η k 0, y = x/r v(y) = u(x) (b k 0 ) in x i x n r 2+α. (4.12) Then v satisfies F(D 2 v) = f in Ω B 1 ; where for M S n n, v = g on Ω B 1, F(M) = F(rα M +(b k0 ) in ), r f(y) = f(x) α r, g(y) = g(x) (b k 0 ) in x i x n α r Ω = Ω 2+α r. Then F isuniformlyelliptic withellipticity constants λλ F(0) = 0. By(4.11), there exists a constant C 0 depending only on n,λ,λ α such that (b k ) in C 0 /2 ( 0 k k 0 ). Then it is easy to verify that v L ( Ω B 1 ) 1, (by(4.9) (4.12)) f L ( Ω B 1 ) = f L (Ω B r) r α K f δ (by(4.4)) Ω B 1 C 1,α (0) K Ω r α δ. In addition, by(4.5) (4.8), we have g L ( Ω B 1 t) (K r 2+α g t 2+α r 2+α + C ) 0K Ω t 2 r 2+α δt 2. 2 Hence, [ g] C 1,α (0) δ 1 g L ( Ω B 1 ) δ. 17
18 By Lemma 4.1, there exists constants b in such that v b in y i y n L ( Ω η) η2+α, F( b in ) = 0 b in C Let (b k0 +1) in = (b k0 ) in + r α bin. Then(4.10) (4.11) hold for k Recalling(4.12), we have u (b k0 +1) in x i x n L (Ω η k 0 +1) = u (b k0 ) in x i x n r α bin x i x n L (Ω ηr) = r 2+α v r 2+α bin y i y n L ( Ω η) r 2+α η 2+α = η (k 0+1)(2+α). Hence,(4.9) holds for k = k By induction, the proof is completed. Proof of Theorem 1.7. In fact, Theorem 4.2 has contained the essential ingredients for the C 2,α regularity. The following proof is just the normalization in some sense. Assume that Ω satisfies(1.2) (1.3) with P(x ) = x T Ax for some A S n n. By scaling, we can assume that Ω C 2,α (0) 1. Let F 1 (M) = F(M) f(0) for M S n n. (In the following proof, M always denotes a symmetric matrix.) Then F 1 is uniformly elliptic with the same ellipticity constants u satisfies F1 (D 2 u) = f 1 in Ω 1 ; u = g on ( Ω) 1, where f 1 (x) = f(x) f(0). Next, let u 1 (x) = u(x) g(0) Dg(0) x x T D 2 g(0)x F 2 (M) = F 1 (M + D 2 g(0)). Then F 2 is uniformly elliptic with the same ellipticity constants u 1 satisfies F2 (D 2 u 1 ) = f 1 in Ω 1 ; u 1 = g 1 on ( Ω) 1, 18
19 where g 1 (x) = g(x) g(0) Dg(0) x x T D 2 g(0)x. Hence, f 1 (x) [f] C α (0) x α, x Ω 1, g 1 (x) [g] C 2,α (0) x 2+α, x ( Ω) 1 F 2 (0) = F 1 (D 2 g(0)) = F(D 2 g(0)) f(0) C ( D 2 g(0) + f(0) ), where C is universal. Note that (see [1, Proposition 2.13]), u 1 S(λ/n,Λ,f 1 F 2 (0)). Then by Theorem 1.5, u 1 C 1,ᾱ (0) for ᾱ = min(α 1,α 2 )/2, Du 1 (0) = (0,...,0,(u 1 ) n (0)) (u 1 ) n (0) C ( ) u 1 L (Ω B 1 ) +[f] C α (0) + F 2 (0) +[g] C 2,α (0) C ( u L (Ω B 1 ) + f C α (0) + g C 2,α (0) + F 2 (0) ) C ( (4.13) ) u L (Ω B 1 ) + f C α (0) + g C 2,α (0), where C is universal. Letu 2 (x) = u 1 (x) (u 1 ) n (0) ( x n x T Ax ) F 3 (M) = F 2 (M (u 1 ) n (0)A). Then F 3 is uniformly elliptic with the same ellipticity constants u 2 satisfies F3 (D 2 u 2 ) = f 1 in Ω 1 ; u 2 = g 2 on ( Ω) 1, where g 2 = g 1 (u 1 ) n (0) ( x n x T Ax ). Next, let u 3 (x) = u 2 (x)+tx 2 n F 4(M) = F 3 (M 2tδ nn ). Then F 4 (0) = 0 for some t R (note that A Ω C 2,α (0) 1) t F 3 (0) /λ C F(D 2 g(0) (u 1 ) n (0)A) f(0) C ( D 2 g(0) + (u 1 ) n (0) A + f(0) ) C ( (4.14) ) u L (Ω B 1 ) + f C α (0) + g C 2,α (0), where C is universal. Moreover, u 3 satisfies F4 (D 2 u 3 ) = f 1 in Ω 1 ; u 3 = g 3 on ( Ω) 1, 19
20 where g 3 = g 2 +tx 2 n. Then it is easy to verify that F 4 (0) = 0, Du 3 (0) = 0 ( ) g 3 (x) [g] C 2,α (0) + (u 1 ) n (0) [ Ω] C 2,α (0) + t Ω 2 C 2,α (0) x 2+α C ( u L (Ω B 1 ) + f C α (0) + g C 2,α (0)) x 2+α, x ( Ω) 1, where C is universal. By Theorem 4.2, u 3 hence u is C 2,α at 0, the estimates(1.7) (1.8) hold. Acknowledgments The authors would like to thank Professor Dongsheng Li for useful discussions. References References [1] Caffarelli, L.A., Cabré, X.. Fully nonlinear elliptic equations. volume 43 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, doi: /coll/043. [2] Caffarelli, L.A., Crall, M.G., Kocan, M., Świȩch, A.. On viscosity solutions of fully nonlinear equations with measurable ingredients. Comm Pure Appl Math 1996;49(4): doi: /(sici) (199604)49:4<365::aid-cpa3>3.0.co;2-a. [3] Crall, M.G., Ishii, H., Lions, P.L.. User s guide to viscosity solutions of second order partial differential equations. Bull Amer Math Soc (NS) 1992;27(1):1 67. doi: /s [4] Gilbarg, D., Trudinger, N.S.. Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, [5] Kazdan, J.L.. Prescribing the curvature of a Riemannian manifold. volume 57 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, doi: /cbms/
21 [6] Krylov, N.V.. Boundedly inhomogeneous elliptic parabolic equations in a domain. Izv Akad Nauk SSSR Ser Mat 1983;47(1): [7] Li, D., Zhang, K.. Regularity for fully nonlinear elliptic equations with oblique boundary conditions. Arch Ration Mech Anal 2018;228(3): doi: /s x. [8] Ma, F., Wang, L.. Boundary first order derivative estimates for fully nonlinear elliptic equations. J Differential Equations 2012;252(2): URL: doi: /j.jde [9] Silvestre, L., Sirakov, B.. Boundary regularity for viscosity solutions of fully nonlinear elliptic equations. Comm Partial Differential Equations 2014;39(9): URL: doi: / [10] Trudinger, N.S.. Fully nonlinear, uniformly elliptic equations under natural structure conditions. Trans Amer Math Soc 1983;278(2): URL: doi: / [11] Wang, L.. Regularity theory. URL: 21
arxiv: v1 [math.ap] 18 Jan 2019
manuscripta mathematica manuscript No. (will be inserted by the editor) Yongpan Huang Dongsheng Li Kai Zhang Pointwise Boundary Differentiability of Solutions of Elliptic Equations Received: date / Revised
More informationRegularity estimates for fully non linear elliptic equations which are asymptotically convex
Regularity estimates for fully non linear elliptic equations which are asymptotically convex Luis Silvestre and Eduardo V. Teixeira Abstract In this paper we deliver improved C 1,α regularity estimates
More informationA GENERAL CLASS OF FREE BOUNDARY PROBLEMS FOR FULLY NONLINEAR PARABOLIC EQUATIONS
A GENERAL CLASS OF FREE BOUNDARY PROBLEMS FOR FULLY NONLINEAR PARABOLIC EQUATIONS ALESSIO FIGALLI AND HENRIK SHAHGHOLIAN Abstract. In this paper we consider the fully nonlinear parabolic free boundary
More informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More informationA GENERAL CLASS OF FREE BOUNDARY PROBLEMS FOR FULLY NONLINEAR ELLIPTIC EQUATIONS
A GENERAL CLASS OF FREE BOUNDARY PROBLEMS FOR FULLY NONLINEAR ELLIPTIC EQUATIONS ALESSIO FIGALLI AND HENRIK SHAHGHOLIAN Abstract. In this paper we study the fully nonlinear free boundary problem { F (D
More informationCOMPARISON PRINCIPLES FOR CONSTRAINED SUBHARMONICS PH.D. COURSE - SPRING 2019 UNIVERSITÀ DI MILANO
COMPARISON PRINCIPLES FOR CONSTRAINED SUBHARMONICS PH.D. COURSE - SPRING 2019 UNIVERSITÀ DI MILANO KEVIN R. PAYNE 1. Introduction Constant coefficient differential inequalities and inclusions, constraint
More informationNote on the Chen-Lin Result with the Li-Zhang Method
J. Math. Sci. Univ. Tokyo 18 (2011), 429 439. Note on the Chen-Lin Result with the Li-Zhang Method By Samy Skander Bahoura Abstract. We give a new proof of the Chen-Lin result with the method of moving
More informationPartial regularity for fully nonlinear PDE
Partial regularity for fully nonlinear PDE Luis Silvestre University of Chicago Joint work with Scott Armstrong and Charles Smart Outline Introduction Intro Review of fully nonlinear elliptic PDE Our result
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationALEKSANDROV-TYPE ESTIMATES FOR A PARABOLIC MONGE-AMPÈRE EQUATION
Electronic Journal of Differential Equations, Vol. 2005(2005), No. 11, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) ALEKSANDROV-TYPE
More informationHomogenization and error estimates of free boundary velocities in periodic media
Homogenization and error estimates of free boundary velocities in periodic media Inwon C. Kim October 7, 2011 Abstract In this note I describe a recent result ([14]-[15]) on homogenization and error estimates
More informationHARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS. Seick Kim
HARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS Seick Kim We consider second-order linear elliptic operators of nondivergence type which are intrinsically defined on Riemannian
More informationRemarks on L p -viscosity solutions of fully nonlinear parabolic equations with unbounded ingredients
Remarks on L p -viscosity solutions of fully nonlinear parabolic equations with unbounded ingredients Shigeaki Koike Andrzej Świe ch Mathematical Institute School of Mathematics Tohoku University Georgia
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationHomogenization of Neuman boundary data with fully nonlinear operator
Homogenization of Neuman boundary data with fully nonlinear operator Sunhi Choi, Inwon C. Kim, and Ki-Ahm Lee Abstract We study periodic homogenization problems for second-order nonlinear pde with oscillatory
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationVISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS
VISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS LUIS SILVESTRE These are the notes from the summer course given in the Second Chicago Summer School In Analysis, in June 2015. We introduce the notion of viscosity
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationAsymptotic behavior of infinity harmonic functions near an isolated singularity
Asymptotic behavior of infinity harmonic functions near an isolated singularity Ovidiu Savin, Changyou Wang, Yifeng Yu Abstract In this paper, we prove if n 2 x 0 is an isolated singularity of a nonegative
More informationOn Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations
On Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations Russell Schwab Carnegie Mellon University 2 March 2012 (Nonlocal PDEs, Variational Problems and their Applications, IPAM)
More informationThe Split Hierarchical Monotone Variational Inclusions Problems and Fixed Point Problems for Nonexpansive Semigroup
International Mathematical Forum, Vol. 11, 2016, no. 8, 395-408 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2016.6220 The Split Hierarchical Monotone Variational Inclusions Problems and
More informationarxiv: v1 [math.ap] 18 Mar 2011
PARTIAL REGULARITY OF SOLUTIONS OF FULLY NONLINEAR UNIFORMLY ELLIPTIC EQUATIONS arxiv:113.3677v1 [math.ap] 18 Mar 211 SCOTT N. ARMSTRONG, LUIS SILVESTRE, AND CHARLES K. SMART Abstract. We prove that a
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More informationDegenerate Monge-Ampère equations and the smoothness of the eigenfunction
Degenerate Monge-Ampère equations and the smoothness of the eigenfunction Ovidiu Savin Columbia University November 2nd, 2015 Ovidiu Savin (Columbia University) Degenerate Monge-Ampère equations November
More informationarxiv: v1 [math.ap] 25 Jul 2012
THE DIRICHLET PROBLEM FOR THE FRACTIONAL LAPLACIAN: REGULARITY UP TO THE BOUNDARY XAVIER ROS-OTON AND JOAQUIM SERRA arxiv:1207.5985v1 [math.ap] 25 Jul 2012 Abstract. We study the regularity up to the boundary
More informationWhitney topology and spaces of preference relations. Abstract
Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the
More informationA BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS. Simon Brendle & Micah Warren. Abstract. The associated symplectic structure is given by
j. differential geometry 84 (2010) 267-287 A BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS Simon Brendle & Micah Warren Abstract Let Ω and Ω be uniformly convex domains in R n with smooth boundary.
More informationOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295-300 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationC 1,α h-principle for von Kármán constraints
C 1,α h-principle for von Kármán constraints arxiv:1704.00273v1 [math.ap] 2 Apr 2017 Jean-Paul Daniel Peter Hornung Abstract Exploiting some connections between solutions v : Ω R 2 R, w : Ω R 2 of the
More informationA Dirichlet problem in the strip
Electronic Journal of Differential Equations, Vol. 1996(1996), No. 10, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110 or 129.120.3.113
More informationRegularity of solutions to fully nonlinear elliptic and parabolic free boundary problems
Regularity of solutions to fully nonlinear elliptic and parabolic free boundary problems E. Indrei and A. Minne Abstract We consider fully nonlinear obstacle-type problems of the form ( F (D 2 u, x) =
More informationHESSIAN MEASURES III. Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia
HESSIAN MEASURES III Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia 1 HESSIAN MEASURES III Neil S. Trudinger Xu-Jia
More informationSUBELLIPTIC CORDES ESTIMATES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX0000-0 SUBELLIPTIC CORDES ESTIMATES Abstract. We prove Cordes type estimates for subelliptic linear partial
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 225 Estimates of the second-order derivatives for solutions to the two-phase parabolic problem
More informationRegularity Theory. Lihe Wang
Regularity Theory Lihe Wang 2 Contents Schauder Estimates 5. The Maximum Principle Approach............... 7.2 Energy Method.......................... 3.3 Compactness Method...................... 7.4 Boundary
More informationREGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION. Centre for Mathematics and Its Applications The Australian National University
ON STRICT CONVEXITY AND C 1 REGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION Neil Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract.
More informationON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT
GLASNIK MATEMATIČKI Vol. 49(69)(2014), 369 375 ON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT Jadranka Kraljević University of Zagreb, Croatia
More informationSome aspects of vanishing properties of solutions to nonlinear elliptic equations
RIMS Kôkyûroku, 2014, pp. 1 9 Some aspects of vanishing properties of solutions to nonlinear elliptic equations By Seppo Granlund and Niko Marola Abstract We discuss some aspects of vanishing properties
More informationUniformly elliptic equations that hold only at points of large gradient.
Uniformly elliptic equations that hold only at points of large gradient. Luis Silvestre University of Chicago Joint work with Cyril Imbert Introduction Introduction Krylov-Safonov Harnack inequality De
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationAvailable online at J. Nonlinear Sci. Appl., 10 (2017), Research Article
Available online at www.isr-publications.com/jnsa J. Nonlinear Sci. Appl., 10 (2017), 2719 2726 Research Article Journal Homepage: www.tjnsa.com - www.isr-publications.com/jnsa An affirmative answer to
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationHomogeniza*ons in Perforated Domain. Ki Ahm Lee Seoul Na*onal University
Homogeniza*ons in Perforated Domain Ki Ahm Lee Seoul Na*onal University Outline 1. Perforated Domain 2. Neumann Problems (joint work with Minha Yoo; interes*ng discussion with Li Ming Yeh) 3. Dirichlet
More informationOn Estimates of Biharmonic Functions on Lipschitz and Convex Domains
The Journal of Geometric Analysis Volume 16, Number 4, 2006 On Estimates of Biharmonic Functions on Lipschitz and Convex Domains By Zhongwei Shen ABSTRACT. Using Maz ya type integral identities with power
More informationEXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS
Electronic Journal of Differential Equations, Vol. 2014 (2014), o. 28, pp. 1 10. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTECE OF SOLUTIOS
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationSébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.
A strong comparison result for viscosity solutions to Hamilton-Jacobi-Bellman equations with Dirichlet condition on a non-smooth boundary and application to parabolic problems Sébastien Chaumont a a Institut
More informationarxiv: v2 [math.ap] 10 Mar 2016
Hölder gradient estimates for parabolic homogeneous p-laplacian equations arxiv:1505.05525v2 [math.ap] 10 Mar 2016 Tianling Jin and Luis Silvestre March 11, 2016 Abstract We prove interior Hölder estimates
More informationA compactness theorem for Yamabe metrics
A compactness theorem for Yamabe metrics Heather acbeth November 6, 2012 A well-known corollary of Aubin s work on the Yamabe problem [Aub76a] is the fact that, in a conformal class other than the conformal
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS. To the memory of our friend and colleague Fuensanta Andreu
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationSMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE
SMOOTH OPTIMAL TRANSPORTATION ON HYPERBOLIC SPACE JIAYONG LI A thesis completed in partial fulfilment of the requirement of Master of Science in Mathematics at University of Toronto. Copyright 2009 by
More informationSEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT
Electronic Journal of Differential Equations, Vol. 2012 (2012), No. 139, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SEMILINEAR ELLIPTIC
More informationA Nonlinear PDE in Mathematical Finance
A Nonlinear PDE in Mathematical Finance Sergio Polidoro Dipartimento di Matematica, Università di Bologna, Piazza di Porta S. Donato 5, 40127 Bologna (Italy) polidoro@dm.unibo.it Summary. We study a non
More informationC 1 regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two
C 1 regularity of solutions of the Monge-Ampère equation for optimal transport in dimension two Alessio Figalli, Grégoire Loeper Abstract We prove C 1 regularity of c-convex weak Alexandrov solutions of
More informationCONFORMAL DEFORMATIONS OF THE SMALLEST EIGENVALUE OF THE RICCI TENSOR. 1. introduction
CONFORMAL DEFORMATIONS OF THE SMALLEST EIGENVALUE OF THE RICCI TENSOR PENGFEI GUAN AND GUOFANG WANG Abstract. We consider deformations of metrics in a given conformal class such that the smallest eigenvalue
More informationSOME RECENT RESULTS ON THE EQUATION OF PRESCRIBED GAUSS CURVATURE
215 SOME RECENT RESULTS ON THE EQUATION OF PRESCRIBED GAUSS CURVATURE John I.E. Urbas In this article we discuss some recently established results concerning convex solutions u E c 2 (Q) of the equation
More informationIterative common solutions of fixed point and variational inequality problems
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 (2016), 1882 1890 Research Article Iterative common solutions of fixed point and variational inequality problems Yunpeng Zhang a, Qing Yuan b,
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
More informationViscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces
Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces YUAN-HENG WANG Zhejiang Normal University Department of Mathematics Yingbing Road 688, 321004 Jinhua
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationElliptic PDEs of 2nd Order, Gilbarg and Trudinger
Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Chapter 2 Laplace Equation Yung-Hsiang Huang 207.07.07. Mimic the proof for Theorem 3.. 2. Proof. I think we should assume u C 2 (Ω Γ). Let W be an open
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationLORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR ELLIPTIC EQUATIONS
Electronic Journal of Differential Equations, Vol. 27 27), No. 2, pp. 3. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu LORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR
More informationA Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s
A Caffarelli-Kohn-Nirenberg type ineuality with variable exponent and applications to PDE s Mihai Mihăilescu a,b Vicenţiu Rădulescu a,c Denisa Stancu-Dumitru a a Department of Mathematics, University of
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationOPTIMAL REGULARITY FOR A TWO-PHASE FREE BOUNDARY PROBLEM RULED BY THE INFINITY LAPLACIAN DAMIÃO J. ARAÚJO, EDUARDO V. TEIXEIRA AND JOSÉ MIGUEL URBANO
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 18 55 OPTIMAL REGULARITY FOR A TWO-PHASE FREE BOUNDARY PROBLEM RULED BY THE INFINITY LAPLACIAN DAMIÃO J. ARAÚJO, EDUARDO
More informationA Remark on -harmonic Functions on Riemannian Manifolds
Electronic Journal of ifferential Equations Vol. 1995(1995), No. 07, pp. 1-10. Published June 15, 1995. ISSN 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110
More informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More informationRegularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere
Regularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere Jun Kitagawa and Micah Warren January 6, 011 Abstract We give a sufficient condition on initial
More informationThe maximum principle for degenerate parabolic PDEs with singularities
113 The maximum principle for degenerate parabolic PDEs with singularities Hitoshi Ishii 1. Introduction This is a preliminary version of [7]. Here we shall be concerned with the degenerate parabolic partial
More informationALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE
ALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE ALAN CHANG Abstract. We present Aleksandrov s proof that the only connected, closed, n- dimensional C 2 hypersurfaces (in R n+1 ) of
More informationOn the Local Convergence of Regula-falsi-type Method for Generalized Equations
Journal of Advances in Applied Mathematics, Vol., No. 3, July 017 https://dx.doi.org/10.606/jaam.017.300 115 On the Local Convergence of Regula-falsi-type Method for Generalized Equations Farhana Alam
More informationCOINCIDENCE SETS IN THE OBSTACLE PROBLEM FOR THE p-harmonic OPERATOR
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 95, Number 3, November 1985 COINCIDENCE SETS IN THE OBSTACLE PROBLEM FOR THE p-harmonic OPERATOR SHIGERU SAKAGUCHI Abstract. We consider the obstacle
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationExample 1. Hamilton-Jacobi equation. In particular, the eikonal equation. for some n( x) > 0 in Ω. Here 1 / 2
Oct. 1 0 Viscosity S olutions In this lecture we take a glimpse of the viscosity solution theory for linear and nonlinear PDEs. From our experience we know that even for linear equations, the existence
More informationOblique derivative problems for elliptic and parabolic equations, Lecture II
of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.
More informationBEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction
Bull Korean Math Soc 43 (2006), No 2, pp 377 387 BEST APPROXIMATIONS AND ORTHOGONALITIES IN -INNER PRODUCT SPACES Seong Sik Kim* and Mircea Crâşmăreanu Abstract In this paper, some characterizations of
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationarxiv: v2 [math.ap] 30 Jul 2012
Blow up for some semilinear wave equations in multi-space dimensions Yi Zhou Wei Han. arxiv:17.536v [math.ap] 3 Jul 1 Abstract In this paper, we discuss a new nonlinear phenomenon. We find that in n space
More informationA RIEMANN PROBLEM FOR THE ISENTROPIC GAS DYNAMICS EQUATIONS
A RIEMANN PROBLEM FOR THE ISENTROPIC GAS DYNAMICS EQUATIONS KATARINA JEGDIĆ, BARBARA LEE KEYFITZ, AND SUN CICA ČANIĆ We study a Riemann problem for the two-dimensional isentropic gas dynamics equations
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationRegularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains
Regularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains Ilaria FRAGALÀ Filippo GAZZOLA Dipartimento di Matematica del Politecnico - Piazza L. da Vinci - 20133
More informationIterative algorithms based on the hybrid steepest descent method for the split feasibility problem
Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 (206), 424 4225 Research Article Iterative algorithms based on the hybrid steepest descent method for the split feasibility problem Jong Soo
More informationOn the infinity Laplace operator
On the infinity Laplace operator Petri Juutinen Köln, July 2008 The infinity Laplace equation Gunnar Aronsson (1960 s): variational problems of the form S(u, Ω) = ess sup H (x, u(x), Du(x)). (1) x Ω The
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationMATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 2018 Professor: Jared Speck
MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Spring 208 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations
More informationFree boundaries in fractional filtration equations
Free boundaries in fractional filtration equations Fernando Quirós Universidad Autónoma de Madrid Joint work with Arturo de Pablo, Ana Rodríguez and Juan Luis Vázquez International Conference on Free Boundary
More information