Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
|
|
- Prosper Stephens
- 5 years ago
- Views:
Transcription
1 Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang Abstract In these exercises always denote an open set of with smooth boundary. As usual, all given functions are assumed smooth, unless otherwise stated.. Suppose k Z, < γ. Show that C,β () is a Banach space. Proof. We prove the case k = for simplicity. The general case is almost the same (except we need the standard convergence theorem between {f n } and {Df n }). Given a Cauchy sequence {f n } C,β (), then there is a f C() such that f n f uniformly and a constant M > such that for each n N and s t, f n (s) f n (t) s t β M. Then for each s t, there is some N = N(s, t) N such that f(s) f(t) f(s) f N (s) + f N (s) f N (t) + f N (t) f(t) s t β + M s t β. Therefore, f C,β (). It remains to show f n f in C,β (). For each s, t and ɛ >, by Cauchy s criteria, we can find a N = N(ɛ) such that for k, n N f k (s) f n (s) f k (t) + f n (t) ɛ s t β Department of Math., National Taiwan niversity. d3@ntu.edu.tw Department of Math., National Taiwan niversity. d4@ntu.edu.tw
2 For each η >, we can find a K = K(η, s, t) > N, such that f(x) f K (x) η for x = s, or x = t. Therefore, for every n N f(s) f n (s) f(t)+f n (t) f(s) f K (s) + f K (s) f n (s) f K (t)+f n (t) + f(t) f K (t) η+ɛ s t β. Letting η, we obtain that f(s) f n (s) f(t) + f n (t) ɛ s t β for all n N(ɛ).. Proof. u C,γ = sup u(x) + sup Set t s.t. ( t)β + t = γ. Then u(x) u(y) x y γ = u(x) u(y) x y γ. ( ) t ( ) t u(x) u(y) u(x) u(y). x y β x y u C,γ u t u t + [u] t [u] t C,β C, := a t b t + a t b t. Since y = x t, < t <, is a concave function, we have ( a t b t + a t b t a ( b ) t a ( b ) ) t = (a + a ) + a + a a a + a a Then (a + a ) ( b a + a + b a + a = (a + a ) t (b + b ). ) t u C,γ u t u t + [u] t C,β [u] t C, ( u + [u] C,β) t ( u + [u] C,) t = u t C,β u t C,. Remark. There is a general convexity theorem for Higher-order Hölder norm (due to Hörmander), see Helms [4, chapter 8]. 3. Omit. 4. Assume u W,p (, ) for some p <. (a) Show that u is equal a.e. to an absolutely continuous function and u belongs to L p (, ). (b) Prove that if < p <, then for a.e. x, y [, ], u(x) u(y) x y p u p.
3 Proof. (b) follows easily from (a) and Hölder inequality. For (a), denote the weak derivative of u by u w. Define v(t) = t u w(s) ds, then v is absolutely continuous. Given φ C c, [v u]φ dx = = x = t u w(t) dtφ (x) dx φ (x) dxu w(t) dt + φ(t)u w(t) dt + u(x)φ (x) dx u w(x)φ(x) dx u w(x)φ(x) dx =. (This argument avoids the use of the Lebesgue Differentiation theorem if we only want to show the -d weakly differentiable function F = H a.e., an absolutely continuous function.) We are done if we use Exercise. There are many other way to prove the second fundamental lemma of calculus of variations without using mollifications. We also note such statement is true for distributions. For example, see []. 5. Proof. For any V W, we can find a smooth function u such that u on V and supp(u) W. Take ε = 3 dist(v, W c ) >. Let φ ɛ (z) be the standard mollifier supported in { z ɛ}, V := {z : dist(z, V ) < ɛ} and u(x) := χ V φ ε (x) = χ V (x y)φ ε (y) dy = φ ε (y) dy. x V Then u is smooth (by LDCT), u = on V and supported in {dist(x, V ) ɛ} W. 6. Apply Exercise 5. We omit it since it can be found in many Differential Geometry textbooks. 7. Proof. u p ds = = u p α ν ds div ( u p α) dx u p div α + ( u p ) α dx 8. Proof. Consider u n (x) = n dist(x, ) +. Note that u n C(Ū), u n(x) and {u n (x)} is decreasing to for each x, MCT tells us u n p,. On the other hand, u n p, = p, is a positive constant. Hence T u n p, u n p, = u n p, u n p, which means T will not be bounded, if T exists. 3
4 9. Proof. Given u H () H (), there exists u k C (Ū) with u k u in H (), and v k Cc (Ū) with v k u in H (). Hence { u k } and { u k } are bounded in L. Note u k u k n ds = div (u k u k ) dx = u k dx + u k u k dx. The right-hand side tends to u dx + u u dx. Note u k u k n ds = = div ((u k v k ) u k ) dx (u k v k ) u k + (u k v k ) u k dx. which tends to by Hölder and (u k v k ) in H (). Therefore, for all u H () H(), u + u u dx = Then we apply Hölder s inequality to get the desired inequality.. Proof. (Sketch) (b) is similar to (a). To prove (a), we start with the formula in Hint, do integration by parts once, and then apply the generalized Hölder with exponents pair (p, p, p p ).. Proof. Given K, compact. Then u L (K). Note that the weak derivative D(u η ɛ ) = Du η ɛ =. Since is connected and u η ɛ is smooth, u η ε is a constant c ɛ which will converges to u in L (K) as ɛ and hence {c } n= forms a Cauchy sequence (note that K n has finite measure) that will converges to some constant c. Therefore, u = c a.e. in K and hence in.. Proof. Consider in R, let u(x) = χ (,) (x). 3. Proof. Consider = B(, ) {(x, y) x > } in R, let u(x, y) = rθ in polar coordinate. ( ) 4. Let n >. Show that log log + W,n (B x ()). Proof. u(x) n dx = ω n ( log log + ) n r n dr, let t = r r log log( + t) n = ω n dt tn t log log( + t) n log log( + t) n Since lim =, there is T > such that < for t T. Then t t t u(x) n log log( + t) n dx = ω n dt tn t T log log( + t) n ω n dt + ω tn n dt <. t tn 4
5 On the other hand, we omit the proof that the first weak derivative of u exists and u xi = log( + ) + x x x i x 3. So u xi n dx ω n log( + ) + n r r r r n dr, let t = r = ω n log( + t) n ( + t) n tn dt ω n n <. log s n e sn esn ds (s = log( + t)) 5. Proof. Applying Poincaré inequality, ( Applying Hölider inequality, ) ( ) ( ) u dx (u) dx + u (u) dx ( ) (u) + C Du dx. (u) ( {u } u dx dx {u } ( = ( α) ) ( {u } ) u dx. ) u dx Therefore, ( ) ( u α dx ) ( ) u dx + C Du dx, Since α <, we proved the desired inequality ( )( ) ( ) α u dx C Du dx. Remark. For further discussions on Poincare-Type inequality, see G.Leoni [5, Section.] and L.Tartar [7, Section -]. 5
6 6. Proof. For any u C c ( ), x u u dx = u div x = ( x u n R x n x dx. ) dx, by Divergence theorem The Hölder s inequality implies that n Rn u ( x dx u ) ( R x dx n Rn Given u H ( ), there exists a sequence u k C c u dx ). ( ) converging to u in H. By picking a further subsequence, we may assume u k converging to u pointwisely. Fatou s lemma implies u dx = liminf k u k dx liminf k (n ) 4 u k (n Rn ) u dx x 4 x dx. Remark 3. This proof is simpler than the one suggested in the hint. Also note that the same approximation argument should be applied at the end of the proof to Theorem 7 on page 96. Remark 4. A family of inequalities that interpolate between Hardy and Sobolev inequalities is given by the Hardy-Sobolev inequality, ( u p n n x dx p ) p C(p) u dx for any u Cc ( ), where p n/(n ), n 3. One huge extensions and improvements of the Hardy-Sobolev inequalities is the Caffarelli-Kohn-Nirenberg inequalities established in their well-know paper []. See also a further generalization by C.S.Lin [6]. 7. Proof. For p <, there is a sequence u m W,p C () such that u m u in W,p. Then F (u m ) F (u) p sup F p u m u p, as m. F (u m )Du m F (u)du p sup F Du m Du p + F (u m ) F (u) p Du p. p to a subsequence, we know u m converges to u a.e. Since F is continuous, F (u m ) converge to F (u) a.e. Hence the last integral tends to by the dominate convergence theorem. Consequently, {F (u m )} and {F (u m )Du m } converge to F (u) and F (u)du in L p. By the uniqueness of weak derivative, D[F (u)] = F (u)du. On the other hand, F (u) L p since F (u) F u + F (). 6
7 Remark 5. Note that the hypothesis is bounded is only used to show F (u) L p. Such restriction can be removed if we know F () =. (Still need F L.) A trivial counterexample for unbounded and F () is F. 8. Proof. (a) and (c) follow from (b), (b) is proved by the method given in the hint easily. Note that can be unbounded. (See the remark for problem 7.) 9. Proof. Let φ be a smooth, bounded, nondecreasing function, such that φ is bounded and φ(z) = z, if z. Let u ɛ (x) := ɛφ(u/ɛ). Since u L, u is finite a.e. Therefore u ɛ as ɛ a.e.. Moreover by the mean-value theorem, for a.e. x u ɛ (x) = ɛ φ(u(x)/ɛ) φ(/ɛ) sup(φ ) u(x) L Hence u ɛ in L by dominated convergence theorem. By exercise 7, {Du ɛ } = {φ (u/ɛ)du} is bounded on L. Given w Cc (), (Du ɛ )w = u ɛ Dw, since u ɛ L Apply the density argument with the help of boundedness of { Du ɛ L }, we know the above is true for any w L. Take w = (Du)χ {u=} L, we see Du = φ (u/ɛ)du Du = Du ɛ (Du)χ {u=}, as ɛ {u=} {u=} which is the desired result. Remark 6. In the next two problems, we define the norm in fractional Sobolev spaces by u H s ( ) = ( + ξ ) s û(ξ) dξ, for s R. which is different from Evans definition. This definition works for negative power s.. (Sobolev Lemma) Proof. Since u H s L, Fourier inversion formula on L implies that u( x) = û(x) in L sense. However ( û(ξ) dξ = u H s ( ) ] ) [( ( + ξ ) s [ ] ) û(ξ) dξ ( + ξ ) s dξ ( ) Rn ( + ξ ) s dξ C u H s (R ), since s > n, n we know û L, and the inversion formula holds pointwisely now, this tells us that for each x u(x) e ix ξ û(ξ) dξ C u (π) n/ H s ( ) 7
8 Remark 7. It s true that for s = k + α + n, < α <, Hs is continuously embedded in C k,α. Remark 8. The converse of Sobolev lemma is true: If H s is continuously embedded in C k, then s > k + n. The proof is sketched in Folland [3, page 95].. (H s is an algebra if s > n/) We need the following convolution identity for Fourier transform on L ( ) : Lemma 9. ûv = (π) n/ û ˆv, u, v L. Proof. Since s, ( + ξ ) s/ ( + ξ η + η ) ) s/ ( + ξ η + η ) s/ s[ ( + ξ η ) s/ + ( + η ) s/]. Hence (( uv H = ( + ξ ) s ûv(ξ) dξ (π) n + ξ ) s/ ( u v )(ξ) ) dξ s ( [( C(n, s) + ξ η ) s/ + ( + η ) s/] û(ξ η) ˆv(η) dη ) dξ ( [( = C + ξ η ) s/ û(ξ η) ˆv(η) dη + ( + η ) s/] û(η) ˆv(ξ η) dη ) dξ C ( s û ˆv (ξ)) + ( û sˆv(ξ)) dξ, where x := ( + x ) /. C ( < > s û L ˆv L + û L < ) >s ˆv L, by Young s inequality. C u H s v H s, since ˆv C v H s Acknowledge The authors would like to thank Tommaso Seneci for his/her reminder that the original proof for problem 9 is wrong. (7.8.) References [] Luis Caffarelli, Robert Kohn, and Louis Nirenberg. First order interpolation inequalities with weights. Compositio Mathematica, 53(3):59 75,
9 [] Bernard Dacorogna. Direct methods in the calculus of variations, volume 78. Springer Science & Business Media, 7. [3] Gerald B Folland. Introduction to Partial Differential Equations. Princeton university press, nd edition, 995. [4] Lester L Helms. Potential Theory. Springer Science & Business Media, nd edition, 4. [5] Giovanni Leoni. A first course in Sobolev spaces, volume 5. American Mathematical Society Providence, RI, 9. [6] Chang Shou Lin. Interpolation inequalities with weights. Communications in Partial Differential Equations, (4):55 538, 986. [7] Luc Tartar. An introduction to Sobolev spaces and interpolation spaces, volume 3. Springer Science & Business Media, 7. 9
Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More informationFunctional Analysis, Stein-Shakarchi Chapter 1
Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
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 informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationTheory of PDE Homework 5
Theory of PDE Homework 5 Adrienne Sands March 22, 27. (Evans 5./2) Show by eamle that if we have D h u L (V ) C for all < h < 2 dist(v, ), it does not necessarily follow that u W, (V ). Proof. Let u()
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
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 informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationNONLOCAL DIFFUSION EQUATIONS
NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationP(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:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationVariable Exponents Spaces and Their Applications to Fluid Dynamics
Variable Exponents Spaces and Their Applications to Fluid Dynamics Martin Rapp TU Darmstadt November 7, 213 Martin Rapp (TU Darmstadt) Variable Exponent Spaces November 7, 213 1 / 14 Overview 1 Variable
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationPoisson Equation in Sobolev Spaces
Poisson Equation in Sobolev Spaces OcMountain Dayligt Time. 6, 011 Today we discuss te Poisson equation in Sobolev spaces. It s existence, uniqueness, and regularity. Weak Solution. u = f in, u = g on
More informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationRegularity of Weak Solution to Parabolic Fractional p-laplacian
Regularity of Weak Solution to Parabolic Fractional p-laplacian Lan Tang at BCAM Seminar July 18th, 2012 Table of contents 1 1. Introduction 1.1. Background 1.2. Some Classical Results for Local Case 2
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 informationTheory of PDE Homework 2
Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationWeek 6 Notes, Math 865, Tanveer
Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x,
More informationPartial Differential Equations and Sobolev Spaces MAT-INF4300 autumn Snorre H. Christiansen November 10, 2016
Partial Differential Equations and Sobolev Spaces MAT-INF4300 autumn 2016 Snorre H. Christiansen November 10, 2016 1 2 Contents 1 Introduction 5 2 Notations for differential operators 7 3 Generalities
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationPartial Differential Equations 2 Variational Methods
Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationAN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0
AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional
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 informationIntroduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena:
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
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationn E(X t T n = lim X s Tn = X s
Stochastic Calculus Example sheet - Lent 15 Michael Tehranchi Problem 1. Let X be a local martingale. Prove that X is a uniformly integrable martingale if and only X is of class D. Solution 1. If If direction:
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationWELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)
WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS We will use the familiar Hilbert spaces H = L 2 (Ω) and V = H 1 (Ω). We consider the Cauchy problem (.1) c u = ( 2 t c )u = f L 2 ((, T ) Ω) on [, T ] Ω u() = u H
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More information(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k
Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k
More informationMethods on Nonlinear Elliptic Equations
Wenxiong Chen and Congming Li Methods on Nonlinear Elliptic Equations SPIN AIMS internal project number, if known Monograph September 22, 2008 AIMS Preface In this book we intend to present basic materials
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 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 informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationS 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.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationInstitut für Mathematik
RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN Institut für Mathematik Travelling Wave Solutions of the Heat Equation in Three Dimensional Cylinders with Non-Linear Dissipation on the Boundary by
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
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 information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationA generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem
A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem Dave McCormick joint work with James Robinson and José Rodrigo Mathematics and Statistics Centre for Doctoral Training University
More informationOn the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms
On the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms Vladimir Maz ya Tatyana Shaposhnikova Abstract We prove the Gagliardo-Nirenberg type inequality
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationDETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION
DETERMINATION OF THE LOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION y FRANK MERLE and HATEM ZAAG Abstract. In this paper, we find the optimal blow-up rate for the semilinear wave equation with a power nonlinearity.
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationMathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio
Mathematical Research Letters 4, 489 500 1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Juha Kinnunen and Olli Martio Abstract. The fractional maximal function of the gradient gives a pointwise interpretation
More informationStability for parabolic quasiminimizers. Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson
Stability for parabolic quasiminimizers Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson REPORT No. 1, 213/214, fall ISSN 113-467X ISRN IML-R- -1-13/14- -SE+fall STABILITY FOR PARABOLIC QUASIMINIMIZERS
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationOn some nonlinear parabolic equation involving variable exponents
On some nonlinear parabolic equation involving variable exponents Goro Akagi (Kobe University, Japan) Based on a joint work with Giulio Schimperna (Pavia Univ., Italy) Workshop DIMO-2013 Diffuse Interface
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 informationOn the uniqueness of heat flow of harmonic maps and hydrodynamic flow of nematic liquid crystals
On the uniqueness of heat flow of harmonic maps and hydrodynamic flow of nematic liquid crystals Fanghua Lin Changyou Wang Dedicated to Professor Roger Temam on the occasion of his 7th birthday Abstract
More informationSobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.
Sobolevology 1. Definitions and Notation 1.1. The domain. is an open subset of R n. 1.2. Hölder seminorm. For α (, 1] the Hölder seminorm of exponent α of a function is given by f(x) f(y) [f] α = sup x
More informationON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz
Opuscula Mathematica Vol. 32 No. 3 2012 http://dx.doi.org/10.7494/opmath.2012.32.3.473 ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM Paweł Goncerz Abstract. We consider a quasilinear
More informationA CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION
A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION JORGE GARCÍA-MELIÁN, JULIO D. ROSSI AND JOSÉ C. SABINA DE LIS Abstract. In this paper we study existence and multiplicity of
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
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 informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More informationJUHA KINNUNEN. Sobolev spaces
JUHA KINNUNEN Sobolev saces Deartment of Mathematics and Systems Analysis, Aalto University 217 Contents 1 SOBOLEV SPACES 1 1.1 Weak derivatives.............................. 1 1.2 Sobolev saces...............................
More informationMA5206 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
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationRENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN
RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent
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 informationNotes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis
Notes on Partial Differential Equations John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are notes from a two-quarter class on PDEs that are heavily based on
More information