Elliptic Partial Differential Equations with Complex Coefficients\EverySelectfont\flattenrightmargin\department
Mathematics \divisionPhysical Sciences \degreeDoctor of Philosophy
ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS WITH COMPLEX COEFFICIENTS
- 1 A fundamental solution exists
- 2 Uniqueness of the fundamental solution
- 3 Switching variables
- 4 Conjugates to solutions
- 5 Calderón-Zygmund Kernels
- 6 Analyticity
- 7 Buildup to arbitrary special Lipschitz domains
- 8 Patching: is bounded on good Lipschitz domains
- 9 Proving Theorem 70: preliminary remarks
- 10 A for our theorem
- 11 and are continuous and weakly bounded on
- 12 The transpose inequalities: controlling
- 13 is finite
- 14 Boundedness of layer potentials on
- 15 Nearness to the real case
- 16 Domains to which Theorem 94 applies
- 17 Comparing layer potentials on the two sides of a boundary
- 18 Comparing norms of layer potentials
- 19 Some elementary analysis
- 20 A priori bounds on
- 21 A bound on our integral in terms of itself
- 22 Finiteness
- 23 estimates imply estimates
- 24 Layer potentials on the half-plane
- 25 Layer potentials on Lipschitz domains
- 26 The Dirichlet problem on a Lipschitz domain
- 27 Uniqueness for the Neumann and regularity problems
- 28 uniqueness for the Dirichlet problem
- 29 Mixed uniqueness
- 30 Square-function converse and uniqueness
- 31 The converse
- 32 Green’s function and a priori bounds
- 33 Bounding the Green’s function
Abstract In this paper I investigate elliptic partial differential equations on Lipschitz domains in whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates.
I show that for Dirichlet boundary data in for large enough, solutions exist and are controlled by the -norm of the boundary data.
Similarly, for Neumann boundary data in , or for Dirichlet boundary data whose tangential derivative is in (“regularity” boundary data), for small enough, I show that solutions exist and are controlled by the -norm of the boundary data.
I prove similar results for Neumann or regularity boundary data in , and for Dirichlet boundary data in or . Finally, I show some converses: if the solutions are controlled in some sense, then Dirichlet, Neumann, or regularity boundary data must exist.
Acknowledgements I would like to thank my advisor Carlos Kenig, and my parents.
Chapter \thechapter Introduction
Let be a uniformly elliptic matrix-valued function defined on . That is, assume that there exist constants (called the ellipticity constants of ) such that
for every and every .
Let . We say that , , or hold in the Lipschitz domain if, for every , there is a function such that
Furthermore, is unique among functions with and either (for ) or (for or ).
Here are the unit normal and tangent vectors to . In the case , , we in addition require that or , respectively.
In this paper, we will instead be concerned with complex matrix-valued functions on which satisfy
for all , , and all , .
Let . Then if , hold in with constants at most , then and hold in the Lipschitz domain , with constants depending only on , , and .
In , it was shown that
Let be as in Theorem 3, and suppose that is a bounded or special Lipschitz domain with Lipschitz constants at most . Then there is some (possibly large) and some such that holds in with constant at most .
In this paper, we intend to prove the following theorem:
Suppose that satisfies the conditions of Theorem 3. Suppose that satisfies the same conditions, except that is allowed to be a complex-valued matrix instead of a real-valued matrix. Let be a good Lipschitz domain, as defined in Definiton 13.
Then there is some , depending only on , and the Lipschitz constants of , such that if and , then , and hold in the Lipschitz domain .
Furthermore, if , then there are two functions , unique among with and , such that
We will also prove results for boundary data in and :
Suppose that and satisfy the conditions of Theorem 5. If , the dual to , then there is a unique function such that on , in , and such that is a Carleson measure, that is, for any and any ,
where and depends only on , , the Lipschitz constants of , and the constants in Theorem 5. Furthermore, this function is unique among functions with in , on , and which satisfy (9) for some constant .
In , it was shown that for real coefficent matrices on bounded Lipschitz domains , this theorem is equivalent to an condition on harmonic measure; this condition implies that holds in for some .
If is bounded, then the maximum principle holds; that is, if , then there exists a unique with in , on and .
Finally, we will prove some converses:
Suppose that satisfy the conditions of Theorem 5. Suppose further that in .
If , then the boundary values and exist and are in with -norm at most .
If satisfies (9) for some , then exists and is in with norm at most . Furthermore, if , then ; functions in are unique, and so holds.
Theorem 10 will be proven in Elliptic Partial Differential Equations with Complex Coefficients. Uniqueness and converses for Theorems 5 and 8 will be proven in Elliptic Partial Differential Equations with Complex Coefficients. Existence for smooth coefficients for Theorem 8 will be proven in Elliptic Partial Differential Equations with Complex Coefficients, and we will pass to arbitrary elliptic (rough) coefficients in Theorems 145 and 156.
We now outline the proof of existence for Theorem 5; resolving the details will form the bulk of this work.
Proof of Theorem 5.
If is in for , then we can define (Definition 17) functions such that if , then and are well-defined complex numbers, and , in . (Here is the matrix transpose of .)
We will show that, if , are bounded then
There exist operators on such that
in appropriate weak senses, where , .
If is invertible with bounded inverse on some , then for every , we may let . Then
and so is a solution to .
Similarly, if or is bounded and invertible on or , then or is a solution to , , , or .
So we need only show that the layer potentials are bounded and invertible on or . (Invertibility of follows from invertibility of its transpose .)
If is smooth, and
for some Lipschitz function (which we may assume, a priori, to be in ) and some unit vector , then we can prove that are bounded and for . We can then extend this to arbitrary Lipschitz domains . (Theorem 68, Theorem 77 and Theorem 91.)
There is some (in fact, the in Theorem 3) and some such that if , then has a bounded inverse on and , have bounded inverses on and . (Chapters Elliptic Partial Differential Equations with Complex Coefficients and Elliptic Partial Differential Equations with Complex Coefficients.)
Using standard interpolation techniques (Elliptic Partial Differential Equations with Complex Coefficients), we can show that have bounded inverses on for , and therefore has a bounded inverse on for .
Thus, we have that , , hold if is smooth, for small. We pass to arbitrary (rough) in Elliptic Partial Differential Equations with Complex Coefficients. ∎
Chapter \thechapter Definitions
If , then we define in in the weak sense, that is,
for all . Similarly, we define on in the weak sense, that is,
for all .
We say that on if is the non-tangential limit of a.e., that is, if
holds for almost every .
We fix some notation. If is a domain, then , . The inner product between and will be given by
(This notation is more convenient than the usual inner product .) A superscript of will denote the transpose of a matrix or the adjoint of an operator with respect to this inner product. (So if happen to be scalar-valued functions, then and , and if is an operator, then .)
If I have a function or operator defined in terms of , then a superscript of will denote the corresponding function or operator for . (So ; however, for most operators defined in terms of .)
If is a domain, then if and is a function defined on , we let be the generalization of the Littlewood-Paley maximal function given by connected.
If is defined on , we define the non-tangential cones and non-tangential maximal function by
for some number . When no ambiguity will arise we suppress the subscripts or ; we let .
We say that the domain is a special Lipschitz domain if, for some Lipschitz function and unit vector ,
We refer to as the Lipschitz constant of .
We say that is a Lipschitz domain with Lipschitz constant if there is some such that, for every , there is some neighborhood of such that for some special Lipschitz domain with Lipschitz constant at most .
If is a special Lipschitz domain, then let . Otherwise, let be numbers such that may be covered (with overlaps) by at most such neighborhoods whose size varies by at most .
That is, there is a constant such that
for some and . We further require that there exist unit vectors and Lipschitz functions , with , such that if
We refer to , , as the Lipschitz constants of . For simplicity, when we write , we mean , , .
If the are finite, and is connected, then we call a good Lipschitz domain.
We will reserve for good Lipschitz domains and for special Lipschitz domains. Note that if is a good Lipschitz domain, then either is special or is bounded.
Note that we do not care about the value of the positive constant in the definition of , ; this is because , , are scale-invariant.
A number depending on these constants is very important. Let be such that, if and , then . We refer to as the Ahlfors-David constant of .
We can bound some integrals which will be needed later:
where . In particular, if then
The letter will always represent a positive constant, whose value may change from line to line, but which depends only on the ellipticity constants , of , , the positive constant in the definition of non-tangential maximal function, and the Lipschitz constants of whatever domain we are dealing with. If a particular constant depends on another parameter, it will be indicated explicitly. We will occasionally use the symbols , to indicate inequality up to a multiplicative constant (e.g. as shorthand for ); we will use to mean that and both hold.
Let be an elliptic matrix-valued function. Then, for each , there is a function , unique up to an additive constant, such that
for every and
for every .
We refer to this function as the fundamental solution for with pole at .
This lemma will be proven in Elliptic Partial Differential Equations with Complex Coefficients. By we mean the gradient in . We will sometimes wish to refer to the gradient in ; we will then write .
is defined to be is finite for some Schwarz function with , where . It can be shown that if , then , where , , for some , and . Functions satisfying these conditions are called atoms.
We may extend the definition of to , where is a Lipschitz domain. We say that if , where the are complex numbers, and , for some is connected, and . The norm is the smallest among all such representations of .
If is a good Lipschitz domain, then this is equivalent to defining atoms to be functions which satisfy , for some , and .
We consider to be the dual of . This means that
Multiply connected domains are beyond the scope of this paper. However, many lemmas and theorems in this paper have obvious generalizations to multiply connected domains. For the most part, these require that functions integrate to 0 on each connected component of .
Let be a Lipschitz domain with unit outward normal and tangent vectors and . If is a function, we define
This defines up to an additive constant.
We define the layer potentials , via
When no confusion will arise we omit the subscripts and superscripts. By (50), ; hence, and converge for and , .
We will show that the limits in the definition of and are well-defined for smooth, . (Lemma 61.)
It will be shown that
We also need the following definitions:
When considering special Lipschitz domains, we will need some terminology:
We will occasionally want slightly different forms of :