Introduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena:

Similar documents
Lecture 2: A Strange Term Coming From Nowhere

We denote the space of distributions on Ω by D ( Ω) 2.

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

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

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

Weak Convergence Methods for Energy Minimization

An introduction to some aspects of functional analysis

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

Five Mini-Courses on Analysis

The weak topology of locally convex spaces and the weak-* topology of their duals

Sobolev spaces. May 18

Weak-Star Convergence of Convex Sets

Errata Applied Analysis

Appendix A Functional Analysis

Weak Topologies, Reflexivity, Adjoint operators

Overview of normed linear spaces

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

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

Math 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian

New York Journal of Mathematics. A Refinement of Ball s Theorem on Young Measures

ASYMPTOTIC BEHAVIOUR OF NONLINEAR ELLIPTIC SYSTEMS ON VARYING DOMAINS

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Chapter 2 Smooth Spaces

The Navier-Stokes problem in velocity-pressure formulation :convergence and Optimal Control

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

Robustness for a Liouville type theorem in exterior domains

2 A Model, Harmonic Map, Problem

EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM

FIXED POINT METHODS IN NONLINEAR ANALYSIS

Stone s theorem and the Laplacian

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

ON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES

Calculus of Variations. Final Examination

Boot camp - Problem set

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

Continuity of convex functions in normed spaces

Sobolev Spaces. Chapter Hölder spaces

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

On the distributional divergence of vector fields vanishing at infinity

The small ball property in Banach spaces (quantitative results)

ON THE REGULARITY OF ONE PARAMETER TRANSFORMATION GROUPS IN BARRELED LOCALLY CONVEX TOPOLOGICAL VECTOR SPACES

1.2 Fundamental Theorems of Functional Analysis

and finally, any second order divergence form elliptic operator

COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS

A Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s

Introduction to Functional Analysis

Your first day at work MATH 806 (Fall 2015)

Functional Analysis, Stein-Shakarchi Chapter 1

Exercises to Applied Functional Analysis

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

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

Introduction to Microlocal Analysis

NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS

Eigenvalues and Eigenfunctions of the Laplacian

An L Bound for the Neumann Problem of the Poisson Equations

REAL RENORMINGS ON COMPLEX BANACH SPACES

MULTIPLIERS ON SPACES OF FUNCTIONS ON A LOCALLY COMPACT ABELIAN GROUP WITH VALUES IN A HILBERT SPACE. Violeta Petkova

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

On Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma. Ben Schweizer 1

Some Background Material

Brøndsted-Rockafellar property of subdifferentials of prox-bounded functions. Marc Lassonde Université des Antilles et de la Guyane

The Proper Generalized Decomposition: A Functional Analysis Approach

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

Elliptic Partial Differential Equations of Second Order

Existence of Minimizers for Fractional Variational Problems Containing Caputo Derivatives

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

PROJECTIONS ONTO CONES IN BANACH SPACES

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

Regularity for Poisson Equation

Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem

Functional Analysis

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

Existence Theorem for Abstract Measure. Differential Equations Involving. the Distributional Henstock-Kurzweil Integral

E.7 Alaoglu s Theorem

n 2 xi = x i. x i 2. r r ; i r 2 + V ( r) V ( r) = 0 r > 0. ( 1 1 ) a r n 1 ( 1 2) V( r) = b ln r + c n = 2 b r n 2 + c n 3 ( 1 3)

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

Spectral theory for compact operators on Banach spaces

Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations

THEOREMS, ETC., FOR MATH 516

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

1 Continuity Classes C m (Ω)

Regularity of harmonic maps with values into the sphere

Variational and Topological methods : Theory, Applications, Numerical Simulations, and Open Problems 6-9 June 2012, Northern Arizona University

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on

Parcours OJD, Ecole Polytechnique et Université Pierre et Marie Curie 05 Mai 2015

Velocity averaging a general framework

SOLUTIONS TO HOMEWORK ASSIGNMENT 4

MAA6617 COURSE NOTES SPRING 2014

Analysis Preliminary Exam Workshop: Hilbert Spaces

Examples of Convex Functions and Classifications of Normed Spaces

Nonlinear Maxwell equations a variational approach Version of May 16, 2018

THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS

A PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS

Transcription:

Christophe Prange February 9, 206 This set of lectures is motivated by the following kind of phenomena: sin(x/ε) 0, while sin 2 (x/ε) /2. Therefore the weak limit of the product is in general different from the product of the weak limits. We will analyze this incompatibility of weak convergence with products in the context of linear and nonlinear Partial Differential Equations. The goal of the lectures is to introduce some methods, either using soft analysis i.e. weak convergence methods (for instance the structure of the nonlinear term) or hard analysis i.e. strong convergence methods (construction of correctors). The lectures will cover subjects which are familiar to the author, particularly homogenization theory. One of the intention is to show that hard analysis requires to understand some underlying dynamical problems. The plan of the course goes as follows: () information on weak limits by oscillating test functions (lectures and 2) or subtle cancellations (lecture 3), (2) refined information via the construction of interior and boundary layer correctors correctors (lectures 4 and 5), (3) regularity theory for elliptic equations via compactness methods (lecture 6). This is only a very small part of all the methods and phenomena that one could talk about in such a course. Many important subjects will be ignored (young measures, defect measures, vanishing viscosity for Hamilton Jacobi equations... ). To get a glimpse into some of these topics, one should read Evans inspiring book [Eva90]. A few classical results Most of the following material can be found in [Bre83] or [Eva90]. Proposition (weak convergence in a Banach space). Let E be a Banach space, E its dual, and let, E,E denote the duality bracket. Let (x n ) be a sequence in E. The following statements hold: Université de Bordeaux, 35 cours de la Libération, 33405 Talence. christophe.prange@math.cnrs.fr E-mail address:

() x n x weakly in E (alternative notation σ(e, E )) is equivalent to for all f E, f, x n E,E f, x E,E. (2) If x n x weakly in E, then x n E is bounded and x E lim inf x n E. (3) If x n x weakly in E and f n f strongly in E, then f n, x n E,E f, x E,E. The second point is a consequence of Banach-Steinhaus s theorem. Proposition 2 (weak star convergence). Let E be a Banach space, E its dual, and let, E,E denote the duality bracket. Let (f n ) be a sequence in E. The following statements hold: () f n f weakly star in E (alternative notation σ(e, E)) is equivalent to for all x E, f n, x E,E f, x E,E. (2) If f n f weakly star in E, then f n E is bounded and f E lim inf f n E. (3) If f n f weakly star in E and x n x strongly in E, then f n, x n E,E f, x E,E. Proposition 3 (Banach Alaoglu theorem). The unit ball B E (0, ) of the dual space E is compact for the weak star topology σ(e, E). Proposition 4 (Kakutani). A Banach space E is reflexive if and only if the unit ball B E (0, ) of E is compact for the weak topology σ(e, E ). Let f n L (R) be defined by f n (x) = { n, x ( 0, n), 0, x elsewhere. Then f n L (R) = and by the fundamental theorem of calculus, for all ϕ Cc 0 (R), /n f n (x)ϕ(x) = n ϕ(x)dx ϕ(0). (0,) 0 Therefore, f n δ 0 weakly star in the space of Radon measures. Proposition 5 (weak convergence in a Hilbert space). Let H be a Hilbert space and let, denote its scalar product. Assume that x n x weakly in H and that x n H x H. Then, x n x strongly in H. This property comes from the polarization formula: x x n 2 H = x 2 H + x n 2 H 2 x n, x. It does not hold in a general Banach space. However, we have the following refinement for L p (), < p < and an arbitrary open subset of R d, and more generally for any uniformly convex Banach space E. EDMI Bordeaux 206 2

Proposition 6. Let < p < and be a open subset of R d. Let (f n ) be a sequence in L p () such that f n f weakly in L p () and Then f n f strongly in L p (). lim sup f n L p () f L p (). We refer to [Bre83, Proposition III.30] for the proof of the proposition for a general uniformly convex Banach space, and to [Bre83, Theorem IV.0] for the proof of the uniform convexity of L p (0, ). How about L (0, )? Take f n L 2 (0, ) defined by { (, x k f n (x) =, ) 2k+ n 2n, 0, x ( 2k+, ) k+ 2n n. Then f n /2 weakly in L 2 (0, ) (and weakly in L (0, )). Moreover, but f n L (0,) = /2 = /2 L (0,), f n L 2 (0,) = / 2 /2 = /2 L (0,). It is thus clear that f n does not converge strongly in L 2 (0, ), therefore neither in L (0, ). Proposition 7. Let p and f = f(y) be a Z d -periodic function. Assume that f L p (T d ). Let f := f. T d Then, for any K R d, () for p < (2) for p =, f(x/ε) f weakly in L p (K), f(x/ε) f weakly star in L (K). Remark (weak convergence and nonlinear function). Let F = F (u) R be a nonlinear function. Take a < b and 0 < λ < so that We define Then, by the previous proposition F (λa + ( λ)b) λf (a) + ( λ)f (b). { ( a, x j u n (x) =, ) j+λ n n, b, x elsewhere. u n u = λa + ( λ)b weakly star in L (0, ), F (u n ) λf (a) + ( λ)f (b) F (λa + ( λ)b) weakly star in L (0, ). EDMI Bordeaux 206 3

Theorem 8 (Rellich s compactness theorem). Let be a bounded domain of R d. Let p d and let p := pd d p. () If the sequence u n is bounded in W,p 0 (), then u n is precompact in L q () for all q < p. (2) Assume in addition that is Lipschitz. If the sequence u n is bounded in W,p (), then u n is precompact in L q () for all q < p. In other words, if is Lipschitz, then W,p () L q () for all q < p. For a proof, see Chapter 7 of the book by Gilbarg and Trudinger [GT0]. A simple proof of Rellich s theorem We give a simple proof of Rellich s injection theorem (due to Hörmander) based on the use of the Fourier transform: for an arbitrary bounded domain, H 0() is compactly embedded in L 2 (). The proof goes as follows. Let u n be a bounded sequence in H 0(). First we extend u n by 0 outside. The extension belongs to H (R d ) and is still denoted by u n. Since u n is bounded in L 2 (R d ), there is a weakly converging subsequence (still denoted u n ): u n u weakly in L 2 (R d ). If we show that u n L 2 (R d ) u L 2 (R d ), then we have that u n converges strongly to u in L 2 (R d ) (thus in L 2 ()). Now, for R > 0, u 2 n = û n û n = û n û n + û n û n. R d R d R d \ Low frequencies The low frequencies are handled by Lebesgue s theorem, using: () the fact that û n L (R d ) u n L (R d ) C u n L 2 () is bounded uniformly in n, (2) and that the weak convergence of u n in L 2 () implies the pointwise convergence of û n (ξ), i.e. for all ξ R d, û n (ξ) = u n (x) exp( ix ξ)dξ u(x) exp( ix ξ)dξ = û(ξ). Therefore, û n û n ûû. EDMI Bordeaux 206 4

High frequencies The high frequencies are addressed thanks to the bound on the H (R d ) norm: û n û n = R d \ R d \ ξ 2 ξ 2 û n û n ξ 2 û R 2 n û n 0, R d when R. Remark 2. For the injection W,2 () L 2 (), we need to extend functions to the whole of R d. This restricts the class of domains to the class of Lipschitz. Let be a fixed bounded domain such that. We extend a given sequence of functions u n W,2 () to functions ũ n W,2 (R d ) such that The rest of the proof is similar. ũ n u n on, and Supp ũ n. Remark 3. The scheme of this proof will be implemented to prove the div-curl lemma in the third lecture. Some notations We use Einstein s convention for repeated indices: a repeated index stands for a summation on the index, as for instance for x, x R d, x x = d x αx α =: x αx α. In the whole series of lectures, we will from now on always consider α= a bounded and Lipschitz domain unless explicitly stated otherwise. References [Bre83] Haïm Brezis. Analyse fonctionnelle: théorie et applications. 983. [Eva90] Lawrence C. Evans. Weak convergence methods for nonlinear partial differential equations, volume 74 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, 990. [GT0] David Gilbarg and Neil S. Trudinger. Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 200. Reprint of the 998 edition. EDMI Bordeaux 206 5