Second Order Elliptic PDE

Similar documents
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

Lecture Notes on PDEs

Finite Elements. Colin Cotter. February 22, Colin Cotter FEM

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

Your first day at work MATH 806 (Fall 2015)

[2] (a) Develop and describe the piecewise linear Galerkin finite element approximation of,

Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems

2.3 Variational form of boundary value problems

Ordinary Differential Equations II

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

Finite difference method for elliptic problems: I

i=1 α i. Given an m-times continuously

Numerical Solutions to Partial Differential Equations

The following definition is fundamental.

Lectures on. Weak Solutions of Elliptic Boundary Value Problems

Fact Sheet Functional Analysis

Appendix A Functional Analysis

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

Theory of PDE Homework 2

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

Variational Formulations

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Krein-Rutman Theorem and the Principal Eigenvalue

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

Functional Analysis Review

Review and problem list for Applied Math I

Partial Differential Equations

and finally, any second order divergence form elliptic operator

ACM/CMS 107 Linear Analysis & Applications Fall 2017 Assignment 2: PDEs and Finite Element Methods Due: 7th November 2017

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.

Partial Differential Equations 2 Variational Methods

A very short introduction to the Finite Element Method

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition

From Completing the Squares and Orthogonal Projection to Finite Element Methods

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Regularity Theory a Fourth Order PDE with Delta Right Hand Side

Exercise Solutions to Functional Analysis

Chapter 12. Partial di erential equations Di erential operators in R n. The gradient and Jacobian. Divergence and rotation

The Dirichlet-to-Neumann operator

Tutorials in Optimization. Richard Socher

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem

Recall: Dot product on R 2 : u v = (u 1, u 2 ) (v 1, v 2 ) = u 1 v 1 + u 2 v 2, u u = u u 2 2 = u 2. Geometric Meaning:

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

Weak Formulation of Elliptic BVP s

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

Chapter 7: Bounded Operators in Hilbert Spaces

Kernel Method: Data Analysis with Positive Definite Kernels

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz

CHAPTER VIII HILBERT SPACES

LECTURE 7. k=1 (, v k)u k. Moreover r

Simple Examples on Rectangular Domains

t y n (s) ds. t y(s) ds, x(t) = x(0) +

Elliptic Partial Differential Equations of Second Order

Multivariable Calculus

EXAMINATION SOLUTIONS

Linear Algebra. Session 12

Elements of linear algebra

Friedrich symmetric systems

Generalized Lax-Milgram theorem in Banach spaces and its application to the mathematical fluid mechanics.

GENERATORS WITH INTERIOR DEGENERACY ON SPACES OF L 2 TYPE

A Concise Course on Stochastic Partial Differential Equations

Lecture Notes of the Autumn School Modelling and Optimization with Partial Differential Equations Hamburg, September 26-30, 2005

Problem Set 6: Solutions Math 201A: Fall a n x n,

4. Solvability of elliptic PDEs

A metric space X is a non-empty set endowed with a metric ρ (x, y):

RNDr. Petr Tomiczek CSc.

TD 1: Hilbert Spaces and Applications

On John type ellipsoids

Analysis Preliminary Exam Workshop: Hilbert Spaces

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Overview of normed linear spaces

Math Solutions to homework 5

Chapter 2 Finite Element Spaces for Linear Saddle Point Problems

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

MATH 5720: Unconstrained Optimization Hung Phan, UMass Lowell September 13, 2018

MATH 115A: SAMPLE FINAL SOLUTIONS

2 Two-Point Boundary Value Problems

1. General Vector Spaces

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40

Lecture 17. Higher boundary regularity. April 15 th, We extend our results to include the boundary. Let u C 2 (Ω) C 0 ( Ω) be a solution of

Duke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014

Boundary-Value Problems for P.D.E.s

Some Notes on Elliptic Regularity

PDE & FEM TERMINOLOGY. BASIC PRINCIPLES OF FEM.

Applications of the periodic unfolding method to multi-scale problems

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

5 Compact linear operators

THE STOKES SYSTEM R.E. SHOWALTER

Exercises - Chapter 1 - Chapter 2 (Correction)

Mathematics Department Stanford University Math 61CM/DM Inner products

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

COMPACT OPERATORS. 1. Definitions

(v, w) = arccos( < v, w >

Transcription:

Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic Boundary Conditions 12 1 A Quick Introduction to PDE A multi-index α = (α 1,..., α n ) is a n-tuple where α i, for each 1 i n, is a non-negative integer. Let α := α 1 +... + α n. If α and β are two multi-indices, then α β means α i β i, for all 1 i n, and α ± β = (α 1 ± β 1,..., α n ± β n ). Also, α! = α 1!... α n! and, for any x R n, x α = x α 1 1... x αn n. The multi-index notation, introduced by L. Schwartz, is quite handy in representing multi-variable equations in a concise form. For instance, a k-degree polynomial in n-variables can be written as a α x α. α k The partial differential operator of order α is denoted as D α = α 1 x 1 α 1... αn x n α n = 1 α x 1 α 1... xn α n.

One adopts the convention that between same components of α the order in which differentiation is performed is irrelevant. This is not a restrictive convention because the independence of order of differentiation is valid for smooth 1 functions. For each k N, D k := {D α α = k}. Definition 1.1. Let be an open subset of R n. A k-th order partial differential equation of an unknown function u : R is of the form F ( D k u(x), D k 1 u(x),... Du(x), u(x), x ) = 0, (1.1) for each x, where F : R nk R nk 1... R n R R is a given map. A general first order PDE has the form F (Du(x), u(x), x) = 0 and a general second order PDE has the form F (D 2 u(x), Du(x), u(x), x) = 0. Definition 1.2. (i) A PDE is linear if F in (1.1) has the form a α (x)d α u(x) = f(x) α k for given functions f and a α s. In addition, if f 0 then the PDE is linear and homogeneous. (ii) A PDE is semilinear if F is linear only in the highest order, i.e., F has the form a α (x)d α u(x) + a 0 (D k 1 u(x),..., Du(x), u(x), x) = 0. α =k (iii) A PDE is quasilinear if F has the form a α (D k 1 u(x),..., u(x), x)d α u + a 0 (D k 1 u(x),..., u(x), x) = 0, α =k i.e., coefficient of the highest order derivative depends on u and its derivative only upto the previous orders. (iv) A PDE is fully nonlinear if it depends nonlinearly on the highest order derivatives. 1 smooth, usually, refers to as much differentiability as required 2

Observe that, for a semilinear PDE, a 0 is never linear in u, otherwise it reduces to being linear. For a quasilinear PDE, a α (with α = k), cannot be independent of u or its derivatives, otherwise it reduces to being semilinear or linear. Definition 1.3. We say u : R is a classical solution to the k-th order PDE (1.1), if u C k (), i.e., u is k-times differentiable with the continuous k-th derivative and u satisfies the equation (1.1). 2 Classification of Second Order PDE A general second order PDE is of the form F (D 2 u(x), Du(x), u(x), x) = 0, for each x R n and u : R is the unknown. Consider the general second order semilinear PDE with n independent variable F (x, u, Du, D 2 u) := A(x) D 2 u D( u, u, x), (2.1) where A = A ij is an n n matrix with entries A ij (x, u, u), D 2 u is the Hessian matrix. The dot product in LHS is in R n2, i.e, n A(x) D 2 u = a ij (x)u xi x j (x). i,j=1 Since we demand the solution to be in C 2, the mixed derivatives are equal and we can assume, without loss of generality that, A is symmetric. In fact if A is not symmetric, we can replace A with A s := 1 2 (A+At ), which is symmetric since A D 2 u = A s D 2 u. Since A(x) is a real symmetric matrix, it is diagonalisable. There is a coordinate transformation T (x) such that the matrix T (x)a(x)t t (x) is diagonal with diagonal entries, say λ 1 (x), λ 2 (x),..., λ n (x), for each x. Thus, we classify a PDE, at x, based on the eigenvalues of the matrix A(x). Let P denote the number of strictly positive eigenvalues and Z denote the number of zero eigenvalues. Definition 2.1. We say a PDE is hyperbolic at a point x, if Z = 0 and either P = 1 or P = n 1. We say it is parabolic if Z > 0. We say it is elliptic, if Z = 0 and either P = n or P = 0. If Z = 0 and 1 < P < n 1 then the PDE is said to be ultra hyperbolic. 3

One may, equivalently, define a linear second order PDE to be elliptic at x if n A ij (x)ξ i ξ j 0 ξ R n \ {0}. i,j=1 If A(x) is a constant matrix (independent of x) then with a suitable transformation T one can rewrite n a ij u xi x j (x) = v(x) where v(x) := u(t x). i,j=1 3 Linear Second Order Elliptic Operators The elliptic operators come in two forms, divergence and non-divergence form, and we shall see that a notion of weak solution can be defined for elliptic operator in divergence form. Let be an open subset of R n. Let A = A(x) = (a ij (x)) be any given n n matrix of functions, for 1 i, j n. Let b = b(x) = (b i (x)) be any given n-tuple of functions and let c = c(x) be any given function. Definition 3.1. A second order operator L is said to be in divergence form, if L acting on some u has the form Lu := div(a(x) u) + b(x) u + c(x)u. On the other hand, a second order operator L is said to be in non-divergence form, if L acting some u has the form Lu := n i,j=1 a ij (x) 2 u x i x j + b(x) u + c(x)u. Observe that the operator L makes sense, in the divergence form, only if a ij (x) C 1 (). Thus, if a ij (x) C 1, then a divergence form equation can be rewritten in to a non-divergence form because (A(x) u) = ( n n 2 u a ij (x) + x i x j i,j=1 4 j=1 a ij x j ) i u.

Now, by setting b i (x) = b i (x) n a ij j=1 x j, we have written a divergence L in non-divergence form. Definition 3.2. We say a second order operator L is elliptic or coercive if there is a positive constant α > 0 such that α ξ 2 A(x)ξ.ξ a.e. in x, ξ = (ξ i ) R n. The second order operator L is said to be degenerate elliptic if 0 A(x)ξ.ξ a.e. in x, ξ = (ξ i ) R n. We remark that for the integrals in the defintion of weak solution to make sense, the minimum hypotheses on A(x), b and c is that a ij, b i, c L (). Definition 3.3. Let a ij, b i, c L () and let f H 1 (), we say u H0() 1 is a weak solution of the homogeneous Dirichlet problem { div(a(x) u) + b(x) u + c(x)u = f in (3.1) u = 0 on whenever, for all v H0(), 1 A u v dx + (b u)v dx + We define the map a(, ) : H0() 1 H0() 1 R as a(v, w) := A v w dx + (b v)w dx + It is easy to see that a(, ) is bilinear. cuv dx = f, v H 1 (),H0 1 (). (3.2) cvw dx. Lemma 3.4. If a ij, b i, c L () then the bilinear map a(, ) is continuous on H 1 0() H 1 0(), i.e., there is a constant c 1 > 0 such that a(v, w) c 1 v H 1 0 () w H 1 0 (). Also, in addition, if is bounded and L is elliptic, then there are constants c 2 > 0 and c 3 0 such that c 2 v 2 H 1 0 () a(v, v) + c 3 v 2 2. 5

Proof. Consider, a(v, w) A(x) v(x) w(x) dx + + c(x)v(x)w(x) dx max i,j (b(x) v(x))w(x) dx a ij v 2 w 2 + max i b i v 2 w 2 + c v 2 w 2 m v 2 ( w 2 + w 2 ) + m v 2 w 2, ( where m = max c 1 v H 1 0 () w H 1 0 (). max i,j Since L is elliptic, we have α v 2 2 A(x) v v dx = a(v, v) (b v)v dx a ij, max b i, c i cv 2 dx a(v, v) + max i b i v 2 v 2 + c v 2 2. If b = 0, then we have the result with c 2 = α and c 3 = c. If b 0, we choose a γ > 0 such that 2α γ <. max i b i Then, we have ( α v 2 2 a(v, v) + max i b i v 2 v 2 + c v 2 2 = a(v, v) + max b i γ 1/2 v 2 v 2 i γ 1/2 + c v 2 2 a(v, v) + max i b i 2 ) ( ) γ v 2 2 + v 2 2 γ + c v 2 2 (using ab a 2 /2 + b 2 /2) α γ ) ( ) 1 2 max b i v 2 2 a(v, v) + i 2γ max b i + c v 2 2. i 6

By Poincaré inequality there is a constant C > 0 such that 1/C v 2 H 1 0 () v 2 2. Thus, we have c 2 v 2 H 1 0 () a(v, v) + c 3 v 2 2. Theorem 3.5 (Lax-Milgram). Let H be a Hilbert space. Let a(, ) be a coercive bilinear form on H and f H. Then there exists a unique solution x H such that a(x, y) = f, y H,H for all y H. Theorem 3.6. Let be a bounded open subset of R n, a ij, c L (), b = 0, c(x) 0 a.e. in and f H 1 (). Also, let A satisfy ellipticity condition. Then there is a unique weak solution u H0() 1 satisfying A u v dx + cuv dx = f, v H 1 (),H0 1(), v H1 0(). Further, if A is symmetric then u minimizes the functional J : H0() 1 R defined as, in H 1 0(). J(v) := 1 2 A v v dx + 1 2 cv 2 dx f, v H 1 (),H 1 0 () Proof. We define the bilinear form as a(v, w) := A v w dx + cvw dx. It follows from Lemma 3.4 that a is a continuous. Now,consider α v 2 2 A(x) v v dx A(x) v v dx + cv 2 dx (since c(x) 0) = a(v, v). Thus, a is coercive in H 1 0(), by Poincaré inequality. Hence, by Lax Milgram theorem (cf. Theorem 3.5), u H 1 0() exists. Also, if A is symmetric, then u minimizes the functional J on H 1 0(). 7

Theorem 3.7. Let X, Y be a dual system and S : X X, T : Y Y be compact adjoint operators. Then dim(n(i S)) = dim(n(i T )) <. Theorem 3.8. Let X, Y be a dual system and S : X X, T : Y Y be compact adjoint operators. Then R(I S) = {x X x, y = 0, y N(I T )} and R(I T ) = {y Y x, y = 0, x N(I S)}. Theorem 3.9. Let be a bounded open subset of R n, a ij, b i, c L () and f L 2 (). Also, let A satisfy ellipticity condition. Consider L as in (3.1). The space of solutions {u H 1 0() Lu = 0} is finite dimensional. For non-zero f L 2 (), there exists a finite dimensional subspace S L 2 () such that (3.1) has solution iff f S, the orthogonal complement of S. Proof. It is already noted in Lemma 3.4 that one can find a c 3 > 0 such that a(v, v) + c 3 v 2 2 is coercive in H0(). 1 Thus, by Theorem 3.6, there is a unique u H0() 1 such that a(u, v) + c 3 uv dx = fv dx v H0(). 1 Set the map T : L 2 () H0() 1 as T f = u. The map T is a compact operator on L 2 () because it maps u into H0() 1 which is compactly contained in L 2 (). Note that (3.1) is equivalent to u = T (f + c 3 u). Set v := f + c 3 u. Then v c 3 T v = f. Recall that T is compact and c 3 > 0. Thus, I c 3 T is invertible except when c 1 3 is an eigenvalue of T. If c 1 3 is not an eigenvalue then there is a unique solution v for all f L 2 (). If c 1 3 is an eigenvalue then it has finite geometric multiplicity (T being compact). Therefore, by Fredhölm alternative (cf. Theorems 3.7 and 3.8), solution exists iff f N(I c 3 T ) and the dimension of S := N(I c 3 T ) is same as N(I c 3 T ). Theorem 3.10 (Regularity of Weak Solution). Let be an open subset of class C 2. Let a ij, b i, c L () and f L 2 (). Let u H 1 0() be such that it satisfies (3.2). If a ij C 1 (), b i C() and f L 2 () then u H 2 (). More generally, for m 1, if a ij C m+1 (), b i C m () and f H m () then u H m+2 (). 8

Theorem 3.11 (Weak Maximum Principle). Let be a bounded open subset of R n with sufficient smooth boundary. Let a ij, c L (), c(x) 0 and f L 2 (). Let u H 1 () C() be such that it satisfies (3.2) with b 0. Then the following are true: (i) If f 0 on and u 0 on then u 0 in. (ii) If c 0 and f 0 then u(x) inf y u(y) for all x. (iii) If c 0 and f 0 then inf y u(y) u(x) sup y u(y) for all x. Proof. Recall that if u H 1 () then u, u + and u are also in H 1 (). (i) If u 0 on then u = u on. Hence, u H0(). 1 Thus, using v = u in (3.2), we get A u u dx c(x)(u ) 2 dx = f(x)u (x) dx because u + and u intersect on {u = 0} and, on this set, u + = u = 0 and u + = u = 0 a.e. Note that RHS is non-negative because both f and u are non-negative. Therefore, 0 A u u dx + c(x)(u ) 2 dx α u 2 2. Thus, u 2 = 0 and, by Poincarè inequality, u 2 = 0. This implies u = 0 a.e and, hence, u = u + a.e. on. (ii) Let m = inf y u(y). Then u m 0 on. Further, c 0 implies that u m satisfies (3.2) with b = 0. By previous case, u m 0 on. (iii) If f 0 then u satisfies (3.2) with b = 0. By previous case, we have the result. Definition 3.12. Let H be a Hilbert space with scalar product,. A linear continuous operator T : H H is said to be: (i) positive if, for all x H, T x, x 0. 9

(ii) self-adjoint if, for all x, y H, T x, y = x, T y. (iii) compact if the image of any bounded set in H is relatively compact (i.e. has compact closure) in H. Theorem 3.13. Let H be a separable Hilbert space of infinite dimension and T : H H is a self-adjoint, compact and positive operator. Then, there exists a sequence of real positive eigenvalues {µ m }, for m 1, converging to 0 and a sequence of eigenvectors {x m }, for m 1, forming a basis of H such that, for all m 1, T x m = µ m x m. Theorem 3.14 (Dirichlet Spectral Decomposition). Let A be a symmetric matrix, i.e., a ij (x) = a ji (x), and c(x) 0. There exists a sequence of positive real eigenvalues {λ m } and corresponding orthonormal basis {φ m } C () of L 2 (), with m N, such that { div[a(x) φm (x)] + c(x)φ m (x) = λ m φ m (x) in (3.3) φ m = 0 on and 0 < λ 1 λ 2... diverges. Proof. Let T : L 2 () H0() 1 defined as T f = u where u is the solution of { div[a(x) u(x)] + c(x)u(x) = f(x) in φ m = 0 on. Thus, A(x) (T f) v(x) dx + c(x)(t f)(x)v(x) dx = f(x)v(x) dx. Note that T is a compact operator on L 2 () and T is self-adjoint because, for every g L 2 (), (T f)(x)g(x) dx = A(x) (T g) (T f) dx + c(x)(t g)(x)(t f)(x) dx = (T g)(x)f(x) dx. 10

Further, T is positive definite because, for f 0, (T f)(x)f(x) dx = A(x) (T f) (T f) dx + α T f 2 2 > 0. c(x)(t f) 2 (x) dx Thus, there exists an orthonormal basis of eigenfunctions {φ m } in L 2 () and a sequence of positive eigenvalues µ m decreasing to zero such that T φ m = µ m φ m. Set λ m = µ 1 m. Then φ m = λ m T φ m = T (λ m φ m ). Thus, φ m H0() 1 because range of T is H0(). 1 Hence, φ m satisfies (3.3). It now only remains to show that φ m C (). For any x, choose B r (x). Since φ m L 2 (B r (x)) and solves the eigen value problem, by interior regularity (cf. Theorem 3.10), φ m H 2 (B r (x)). Arguing similarly, we obtain φ m H k (B r (x)) for all k. Thus, by Sobolev imbedding results, φ m C (B r (x)). Since x is arbitrary, φ m C (). Remark 3.15. Observe that if H0() 1 is equipped with the inner product u v dx, then λ 1/2 m φ m is an orthonormal basis for H0() 1 where (λ m, φ m ) is the eigen pair corresponding to A(x) = I and c 0. With the usual inner product uv dx + u v dx in H 1 0(), (λ m + 1) 1/2 φ m forms an orthonormal basis of H 1 0(). The set {φ m } is dense in H 1 0() w.r.t both the norms mentioned above. Suppose f H 1 0() is such that f, φ m = 0 in H 1 0(), for all m. Then, from the eigenvalue problem, we get λ m φ mf dx = 0. Since φ m is a basis for L 2 (), f = 0. Theorem 3.16 (Krein-Rutman). Let X be a Banach space and C be a closed convex cone in X with vertex at O, Int(C) and satisfying C ( C) = {O}. Let T : E E be a compact operator such that T (C \ {O}) Int(C). Then the greatest eigenvalue of T is simple, and the corresponding eigenvector is in Int(C) (or in Int(C)). Theorem 3.17. Let be a regular connected open set. Then the first eigenvalue λ 1 () is simple and the first eigenfunction φ 1 has a constant sign on. Usually, we choose it to be positive on. Proof. In the Krein-Rutman theorem, let X = C(), T = L 1 and C = {v C() v(x) 0}. Then, by strong maximum principle, T satisfies T (C \ {O}) Int(C). 11

Theorem 3.18 (Neumann Spectral Decomposition). Let be a bounded open subset of R n with Lipschitz boundary. Let A be such that a ij (x) = a ji (x), i.e., is a symmetric matrix and c(x) 0. There exists a sequence of positive real eigenvalues {λ (N) m } and corresponding orthonormal basis {φ (N) m } C () of L 2 (), with m N, such that { div[a(x) φ (N) m and 0 λ (N) 1 λ (N) 2... diverges. (x)] + c(x)φ (N) m (x) = λ (N) m φ (N) m (x) in A(x) φ (N) m ν = 0 on (3.4) Remark 3.19. The case when c(x) 0, the first eigenvalue λ (N) 1 = 0 and φ (N) 1 is a non-zero constant on a connected component of. The Lipschitz condition on is required for the compactness of H 1 () imbedding in L 2 (). Definition 3.20. The Rayleigh quotient map R : H0() 1 \ {0} [0, ) is defined as R(v) = A(x) v v dx + c(x)v2 (x) dx. v 2 2, Remark 3.21 (Min-Max Principle). The eigenvalues satisfy the formula and λ m = min max R(v) W m H0 1() v Wm λ (N) m = min W m H 1 () v 0 max R(v) v Wm v 0 where W m is a m-dimensional subspace. The minimum is achieved for the subspace W m spanned by the first m eigenfunctions. 4 Periodic Boundary Conditions Let Y = [0, 1) n be the unit cell of R n and let, for each i, j = 1, 2,..., n, a ij : Y R and A(y) = (a ij ). For any given f : Y R, extended Y - periodically to R n, we want to solve the problem { div(a(y) u(y)) = f(y) in Y (4.1) u is Y periodic. 12

The condition u is Y -periodic is equivalent to saying that u takes equal values on opposite faces of Y. One may rewrite the equation on the n-dimensional unit torus T n without the periodic boundary condition. Let us now identify the solution space for (4.1). Let Cper(Y ) be the set of all Y -periodic functions in C (R n ). Let Hper(Y 1 ) denote the closure of Cper(Y ) in the H 1 -norm. Being a second order equation, in the weak formulation, we expect the weak solution u to be in Hper(Y 1 ). Note that if u solves (4.1) then u + c, for any constant c, also solves (4.1). Thus, the solution will be unique up to a constant in the space Hper(Y 1 ). Therefore, we define the quotient space W per (Y ) = Hper(Y 1 )/R as solution space where the solution is unique. Solving (4.1) is to find u W per (Y ), for any given f (W per (Y )) in the dual of W per (Y ), such that A u v dx = f, v (Wper(Y )),W per(y ) v W per (Y ). Y The requirement that f (W per (Y )) is equivalent to saying that f(y) dy = 0 Y because f defines a linear functional on W per (Y ) and f(0) = 0, where 0 Hper(Y 1 )/R. In particular, the equivalence class of 0 is same as the equivalence class 1 and hence f(y) dy = f, 1 = f, 0 = 0. Y Theorem 4.1. Let Y be unit open cell and let a ij L () such that the matrix A(y) = (a ij (y)) is elliptic with ellipticity constant α > 0. For any f (W per (Y )), there is a unique weak solution u W per (Y ) satisfying A u v dx = f, v (Wper(Y )),W per(y ) v W per (Y ). Y Note that the solution u we find from above theorem is an equivalence class of functions which are all possible solutions. Any representative element from the equivalence class is a solution. All the elements in the equivalence differ by a constant. Let u be an element from the equivalence class and let c be the constant c = 1 Y Y 13 u(y) dy.

Thus, we have u c is a solution with zero mean value in Y, i.e., u(y) dy = Y 0. Therefore, rephrasing (4.1) as div(a(y) u(y)) = f(y) in Y 1 Y Y u is Y periodic u(y) dy = 0 we have unique solution u in the solution space { } V per (Y ) = u Hper(Y 1 1 ) u(y) dy = 0. Y Y 14