Nonlinear Elliptic Equations of The Second Order 1st Edition Qing Han - The Ebook in PDF/DOCX Format Is Ready For Download Now
Nonlinear Elliptic Equations of The Second Order 1st Edition Qing Han - The Ebook in PDF/DOCX Format Is Ready For Download Now
com
https://textbookfull.com/product/nonlinear-elliptic-
equations-of-the-second-order-1st-edition-qing-han/
OR CLICK HERE
DOWLOAD EBOOK
https://textbookfull.com/product/universal-fuzzy-controllers-for-non-
affine-nonlinear-systems-1st-edition-qing-gao-auth/
textbookfull.com
https://textbookfull.com/product/fundamentals-of-nonlinear-optics-
second-edition-peter-e-powers/
textbookfull.com
https://textbookfull.com/product/higher-order-differential-equations-
and-elasticity-1st-edition-luis-manuel-braga-da-costa-campos/
textbookfull.com
https://textbookfull.com/product/elementary-differential-equations-
second-edition-roberts/
textbookfull.com
Nonlinear
Elliptic Equations
of the Second
Order
Qing Han
GRADUATE STUDIES
I N M AT H E M AT I C S 171
Nonlinear
Elliptic Equations
of the Second
Order
Qing Han
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting
for them, are permitted to make fair use of the material, such as to copy select pages for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
is permitted only under license from the American Mathematical Society. Permissions to reuse
portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink
service. For more information, please visit: http://www.ams.org/rightslink.
Send requests for translation rights and licensed reprints to [email protected].
Excluded from these provisions is material for which the author holds copyright. In such cases,
requests for permission to reuse or reprint material should be addressed directly to the author(s).
Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the
first page of each article within proceedings volumes.
c 2016 by the author. All rights reserved.
Printed in the United States of America.
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at http://www.ams.org/
10 9 8 7 6 5 4 3 2 1 21 20 19 18 17 16
To Yansu, Raymond, and Tommy
Contents
Preface vii
Introduction 1
Chapter 1. Linear Elliptic Equations 7
§1.1. The Maximum Principle 8
§1.2. Krylov-Safonov’s Harnack Inequality 23
§1.3. The Schauder Theory 42
v
vi Contents
The theory of nonlinear elliptic partial differential equations of the second or-
der has flourished in the past half-century. The pioneering work of de Giorgi
in 1957 opened the door to the study of general quasilinear elliptic differ-
ential equations. Since then, the nonlinear elliptic differential equation has
become a diverse subject and has found applications in science and engi-
neering. In mathematics, the development of elliptic differential equations
has influenced the development of the Riemannian geometry and complex
geometry. Meanwhile, the study of elliptic differential equations in a geo-
metric setting has provided interesting new questions with fresh insights to
old problems.
This book is written for those who have completed their study of the
linear elliptic differential equations and intend to explore the fascinating field
of nonlinear elliptic differential equations. It covers two classes of nonlinear
elliptic differential equations, quasilinear and fully nonlinear, and focuses
on two important nonlinear elliptic differential equations closely related to
geometry, the mean curvature equation and the Monge-Ampère equation.
This book presents a detailed discussion of the Dirichlet problems for
quasilinear and fully nonlinear elliptic differential equations of the second
order: quasilinear uniformly elliptic equations in arbitrary domains, mean
curvature equations in domains with nonnegative boundary mean curvature,
fully nonlinear uniformly elliptic equations in arbitrary domains, and Monge-
Ampère equations in uniformly convex domains. Global solutions of these
equations are also characterized. The choice of topics is influenced by my
personal taste. Some topics may be viewed by others as too advanced for
a graduate textbook. Among those topics are the curvature estimates for
minimal surface equations, the complex Monge-Ampère equation, and the
vii
viii Preface
Qing Han
https://doi.org/10.1090//gsm/171/01
Introduction
The primary goal of this book is to study nonlinear elliptic differential equa-
tions of the second order, with a focus on quasilinear and fully nonlinear
elliptic differential equations. Chapter 1 is a brief review of linear elliptic
differential equations. Then in Part 1 and Part 2, we study quasilinear el-
liptic differential equations and fully nonlinear elliptic differential equations,
respectively.
In Chapter 1, we review briefly three basic topics in the theory of lin-
ear elliptic equations: the maximum principle, Krylov-Safonov’s Harnack
inequality, and the Schauder theory. These topics form the foundation for
further studies of nonlinear elliptic differential equations.
Part 1 is devoted to quasilinear elliptic differential equations and consists
of three chapters.
In Chapter 2, we discuss quasilinear uniformly elliptic equations. We
derive various a priori estimates for their solutions, the estimates of the L∞ -
norms of solutions and their first derivatives by the maximum principle, and
the estimates of the Hölder semi-norms of the first derivatives by Krylov-
Safonov’s Harnack inequality. As a consequence of these estimates, we solve
the Dirichlet boundary-value problem by the method of continuity.
In Chapter 3, we discuss equations of the prescribed mean curvatures,
or the mean curvature equations. We derive various a priori estimates for
their solutions, in particular, the boundary gradient estimates, the global
gradient estimates, and the interior gradient estimates. As a consequence,
we solve the Dirichlet boundary-value problem by the method of continuity.
Difficulties in studying the mean curvature equations are due to a lack of
1
2 Introduction
|x| = 2
xi .
i=1
∂ β u = ∂1β1 · · · ∂nβn u,
and its order is |β|. For any positive integer m, we define
⎛ ⎞1
2
|∇ u| =
m ⎝ β 2⎠
|∂ u| ,
|β|=m
For a constant α ∈ (0, 1), we denote by C α (Ω) the collection of all Hölder
continuous functions in Ω with the Hölder exponent α and by C m,α (Ω) the
collection of all functions in C m (Ω) whose derivatives of order m are Hölder
continuous in Ω with the Hölder exponent α. We define the Hölder semi-
norm by
|u(x) − u(y)|
[u]C α (Ω) = sup ,
x,y∈Ω |x − y|α
x=y
Accordingly, we can define C(Ω̄), C α (Ω̄), C m (Ω̄), C m,α (Ω̄), and C ∞ (Ω̄) if
∂Ω is appropriately regular and define [ · ]C α (Ω̄) , | · |C α (Ω̄) , | · |C m (Ω̄) , and
| · |C m,α (Ω̄) similarly.
We adopt the summation convention on repeated indices throughout the
book. The general form of the linear equations of the second order is given
by
aij (x)∂ij u + bi (x)∂i u + c(x)u = f (x) in Ω,
where aij , bi , c, and f are given functions in Ω. Very often, we write deriva-
tives as ui = ∂i u and uij = ∂ij u for brevity. In this way, we can express
linear equations in the following form:
aij uij + bi ui + cu = f in Ω.
Introduction 5
Subscripts here have different meanings for coefficients and solutions. Sim-
ilarly, the general forms of the quasilinear equations and the fully nonlinear
equations of the second order are given, respectively, by
aij (x, u, ∇u)uij = f (x, u, ∇u) in Ω
and
F (x, u, ∇u, ∇2 u) = 0 in Ω.
A significant portion of the book is devoted to the derivation of a priori
estimates, where certain norms of solutions are bounded by a positive con-
stant C depending only on a set of known quantities. In a given context,
the same letter C will be used to denote different constants depending on
the same set of quantities.
https://doi.org/10.1090//gsm/171/02
Chapter 1
Linear Elliptic
Equations
In this chapter, we review briefly three basic topics in the theory of lin-
ear elliptic equations: the maximum principle, Krylov-Safonov’s Harnack
inequality, and the Schauder theory.
In Section 1.1, we review Hopf’s maximum principle. The maximum
principle is an important method to study elliptic differential equations of
the second order. In this section, we review the weak maximum principle and
the strong maximum principle and derive several forms of a priori estimates
of solutions.
In Section 1.2, we review Krylov-Safonov’s Harnack inequality. The
Harnack inequality is an important result in the theory of elliptic differential
equations of the second order and plays a fundamental role in the study of
nonlinear elliptic differential equations.
In Section 1.3, we review the Schauder theory for uniformly elliptic linear
equations. Three main topics are a priori estimates in Hölder norms, the
regularity of arbitrary solutions, and the solvability of the Dirichlet problem.
Among these topics, a priori estimates are the most fundamental and form
the basis for the existence and the regularity of solutions. We will review
both the interior Schauder theory and the global Schauder theory.
These three sections play different roles in the rest of the book. In the
study of quasilinear elliptic equations in Part 1, the maximum principle
will be used to derive estimates of derivatives up to the first order, the
Harnack inequality will be used to derive estimates of the Hölder semi-
norms of derivatives of the first order, and the Schauder theory will be used
7
8 1. Linear Elliptic Equations
Then,
max u ≤ max w ≤ max w+ ≤ max u+ + ε max eμx1 .
Ω̄ Ω̄ ∂Ω ∂Ω x∈∂Ω
We have the desired result by letting ε → 0 and using the fact that ∂Ω ⊂ Ω̄.
u(x) ≤ u(x0 ).
and
v(x) = u(x) − u(x0 ) + εw(x).
We consider w and v in D = BR \ B̄R/2 .
A direct calculation yields
Lw = e−μ|x| 4μ2 aij xi xj − 2μaij δij − 2μbi xi + c − ce−μR
2 2
≥ e−μ|x|
2
4μ2 aij xi xj − 2μ aij δij + bi xi + c ,
Proof. Set
F = sup f − , Φ = max u+ .
Ω ∂Ω
Proof. Set D = diam(Ω). For the given x0 ∈ ∂Ω, consider an exterior ball
BR (y) with B̄R (y) ∩ Ω̄ = {x0 }. Let d(x) be the distance from x to ∂BR (y);
i.e.,
d(x) = |x − y| − R.
Then, for any x ∈ Ω,
0 < d(x) < D.
Consider a C 2 -function ψ defined in [0, D), with ψ(0) = 0 and ψ > 0 in
(0, D). Set
w = ψ(d) in Ω.
We now calculate Lw. A direct calculation yields
xi − yi
∂i d(x) = ,
|x − y|
δij (xi − yi )(xj − yj )
∂ij d(x) = − .
|x − y| |x − y|3
Hence, |∇d| = 1, aij ∂i d∂j d ≥ λ, and
1 1
aij ∂ij d = aij δij − aij ∂i d∂j d
|x − y| |x − y|
nΛ λ nΛ − λ nΛ − λ
≤ − = ≤ .
|x − y| |x − y| |x − y| R
Next,
∂i w = ψ ∂i d, ∂ij w = ψ ∂i d∂j d + ψ ∂ij d.
Then,
Lw = ψ aij ∂i d∂j d + ψ (aij ∂ij d + bi ∂i d) + cψ.
16 1. Linear Elliptic Equations
b0 = sup b2i .
Ω i=1
We write this as
Lw ≤ λ ψ + aψ + b − 1,
where
nΛ − λ b0 1
a= + , b= .
λR λ λ
We need to find a function ψ in [0, D) such that
ψ + aψ + b = 0 in (0, D),
ψ < 0, ψ > 0 in (0, D), and ψ(0) = 0.
First, general solutions of the ordinary differential equation above are given
by
b C2 −ad
ψ(d) = − d + C1 − e ,
a a
for some constants C1 and C2 . For ψ(0) = 0, we need C1 = C2 /a. Hence
we have, for some constant C,
b C
ψ(d) = − d + (1 − e−ad ),
a a
which implies
b b
ψ (d) = Ce−ad − = e−ad C − ead ,
a a
ψ (d) = −Cae−ad .
b aD
In order to have ψ > 0 in (0, D), we need C ≥ e . Then, ψ > 0 in
a
(0, D), and hence ψ > ψ(0) = 0 in (0, D). Therefore, we take
b b
ψ(d) = − d + 2 eaD (1 − e−ad )
a
a
b 1 aD −ad
= e (1 − e ) − d .
a a
Such a ψ satisfies all the requirements we imposed.
Proof. Set
L0 = aij ∂ij + bi ∂i .
Then, L0 u = f − cu in Ω. Let w = wx0 be the function in Lemma 1.1.11 for
L0 , i.e.,
L0 w ≤ −1 in Ω,
and, for any x ∈ ∂Ω \ {x0 },
w(x0 ) = 0, w(x) > 0.
We set
F = sup |f − cu|, Φ = max |ϕ|.
Ω ∂Ω
Then,
L0 (±u) ≥ −F in Ω.
Let ε be an arbitrary positive constant. By the continuity of ϕ at x0 , there
exists a positive constant δ such that, for any x ∈ ∂Ω ∩ Bδ (x0 ),
|ϕ(x) − ϕ(x0 )| ≤ ε.
We then choose K sufficiently large so that K ≥ F and
Kw ≥ 2Φ on ∂Ω \ Bδ (x0 ).
We point out that K depends on ε through the positive lower bound of w
on ∂Ω \ Bδ (x0 ). Then,
L0 (Kw) ≤ −F in Ω,
and
|ϕ − ϕ(x0 )| ≤ ε + Kw on ∂Ω.
18 1. Linear Elliptic Equations
Therefore,
L0 ± (u − ϕ(x0 )) ≥ L0 (ε + Kw) in Ω,
± u − ϕ(x0 ) ≤ ε + Kw on ∂Ω.
|u − ϕ(x0 )| ≤ ε + Kw in Ω.
Note that the second term in the right-hand side converges to zero as x → x0 .
Then, there exists a positive constant δ < δ such that
Remark 1.1.13. It is clear from the proof that Theorem 1.1.12 is a local
result. If we assume that ϕ is continuous at x0 ∈ ∂Ω and, in addition, u
is bounded in a neighborhood of x0 , then we can estimate the modulus of
continuity of u at x0 .
Lu = f in Ω,
u=ϕ on ∂Ω,
Proof. Set
L0 = aij ∂ij + bi ∂i .
Then, L0 u = f − cu in Ω. By setting v = u − ϕ, we have
L0 v = f − cu − L0 ϕ in Ω,
v = 0 on ∂Ω.
Next, we set
F = sup |f − cu − L0 ϕ|.
Ω
Then,
L0 (±v) ≥ −F in Ω,
±v = 0 on ∂Ω.
Let w = wx0 be the function in Lemma 1.1.11 for L0 , i.e.,
L0 w ≤ −1 in Ω,
and, for any x ∈ ∂Ω \ {x0 },
w(x0 ) = 0, w(x) > 0.
Then,
L0 (±v) ≥ L0 (F w) in Ω,
±v ≤ F w on ∂Ω.
By the maximum principle, we have ±v ≤ F w in Ω, and hence
|v| ≤ F w in Ω.
With v = u − ϕ and u(x0 ) = ϕ(x0 ), we obtain
|u − u(x0 )| ≤ |u − ϕ| + |ϕ − ϕ(x0 )| ≤ F w + |ϕ − ϕ(x0 )|.
This implies the desired result.
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
textbookfull.com