Boundedness, Harnack inequality and Hölder continuity for weak solutions
|
|
- Tamsyn Richards
- 5 years ago
- Views:
Transcription
1 Boundedness, Harnack inequality and Hölder continuity for weak solutions Intoduction to PDE We describe results for weak solutions of elliptic equations with bounded coefficients in divergence-form. The ideas of proofs come from DeGiorgi, Nash and oser. References abound; we mostly use Gilbarg and Trudinger. We discuss equations Lu = g + i f i (1) where We assume uniform ellipticity Lu = i (a ij j u + b i u) + c j j u + du () a ij (x)ξ i ξ j λ ξ (3) with λ > 0 good for all x considered. We assume that a ij = a ji are measurable and bounded, aij(x) Λ. (4) We assume that the coefficients b, c, d are bounded λ ( b i (x) + c i (x) ) + λ 1 d(x) Γ (5) and that the right hand side g L q, f (L q ) n, for some q > n. Denoting by A i (x, z, p) = a ij (x)p j + b i (x)z + f i, B(x, z, p) = c j (x)p j + d(x)z g(x), we say that u is a W 1, () weak subsolution in if ( i v)a i (x, u, u) + vb(x, u, u)dx 0 (6) 1
2 holds for all v C0(), 1 v 0. inequality is reversed We say that u is a supersolution if the ( i v)a i (x, u, u) + vb(x, u, u)dx 0. (7) We will quote theorems in full generality but we will present the ideas of proofs only, and for that purpose we will take b = c = d = f = g = 0. 1 Local boundedness, Harnack inequality We denote k(r) = λ 1 ( R 1 n q f L q + R (1 n q ) g L q ) Theorem 1. If u is a W 1, () subsolution of (1) then there exists a constant C = C(n, Λ, q, p, ΓR) such that, for all balls B(y, R), and p > 1 we λ have ( ) sup B(y,R) u C R n p u + L p (B(y,R)) + k(r). (8) If u is a W 1, () supersolution then sup ( u) C B(y,R) ( R n p u L p (B(y,R)) + k(r) ). (9) The idea of proof is to use v = η u β as test function, where η is a cutoff function, β is arbitrary, positive, and deduce bounds of the type u u β 1 η dx C η u β+1 dx This, together with a Sobolev embedding produces bounds for higher L p norms on the left hand side, depending on lower L p norms on the right hand side on larger domains. An iteration, due to oser, finishes the proof. Unfortunately, because u β is not an admissible test function we have to trim it first. We consider k > 0 a small positive constant, a large positive constant. We take u = u + + k and set u = u if u <, u = + k if u. We take now v = η (u β 1 u kβ ).
3 where η is a nonnegative smooth cutoff function and β > 0. We take without loss of generality y = 0, R = 4 and η C 1 0(B 4 ). We denote B R = B(0, R). Now v is a legitimate test function and v = η u β 1 [(β 1) u + u] + η η(u β 1 u kβ ) Here we used the fact that u = u when the latter is nonzero. Later we will use also that u = u when the latter is nonzero. Because u is a subsolution we obtain (remember, b = c = d = f = g = 0 in our proof) η u β 1 [ (β 1) u + u ] dx C η η( u u β 1 u)dx. Here we used the fact that u β 1 u kβ 0 to drop the k β term in the right hand side. After hiding the term involving u from the right hand side in the left hand side, we have (new constant C!) η u β 1 [ (β 1) u + u ] dx C We let now w = u β 1 u. The inequality above implies η w dx C(β + 1) η w dx η u u β 1 dx In view of the fact that (ηw) = η w + w η and the estimate above we have, using the Sobolev embedding, ( ) n (ηw) n n n dx C(β + 1) η w dx if n >. (If n = we replace n in the left hand side by any q < ). We n choose appropriately now the test function η so that, for balls B r B R we obtain ) n ( ) w (Br n n n 1 dx C(β + 1) u β+1 dx R r B R Writing q = β + 1, we have (Br u nq ) n n dx n ( ) 1 Cq u q dx R r B R 3
4 for any q > 1 and r < R. Letting and then k 0 we obtain ) 1 u + nq q q (C L n u + (B r) (R r) L q (B R ) Denoting the amplification factor by a = 0, 1,..., q i = pa i, r i = + 1 i, we obtain and so and thus n n u + L q i+1 (Bri+1 ) C i a i u + L q i(bri ) u + L q i(bri ) C P i a i u + L p (B 4 ) u + L (B ) C u + L p (B 4 ) > 1, and choosing for i = proving the theorem for subsolutions. The same idea of proof works for supersolutions. Now we prove a lemma, a weak Harnack inequality. Theorem. If u is a supersolution of (1) that is nonnegative in a ball B(y, 4R) then ( ) R n p u L p (B(y,R) C inf u + k(r) B(y,R) holds for 1 p < n with C = C(n, Λ, q, p, RΓ). n λ The idea of proof is similar to the one for L bounds except we are going to use negative powers, and a result of John-Nirenberg, of independent interest. We start by assuming without loss of generality that y = 0, R = 1, and so on. Also, we may assume u is bounded (either by the previous result, or by a trimming procedure like in the proof above). We set v = η ū β with η C 1 0(B 4 ) a nonnegative cutoff function, ū = u + k with k > 0 and β 0. Using the fact that u is a supersolution we have, after hiding one term, η ū β 1 u dx C( β ) η ū β+1 dx 4
5 The constant C( β ) is bounded when β > ɛ > 0. We set w = ū β+1 if β 1 and w = log ū if β = 1. Letting γ = β + 1 we have η w C( β )γ η w dx if β 1, and η w C η dx ( ) if β = 1. We will refer to this inequality at the end of the proof. Thus, for n >, from the Sobolev inequality we obtain the inequality Choosing η like before, we have with a = ηw L n n C (1 + γ ) η w L w L a (B r1 ) C(1 + γ )(r r 1 ) 1 w L (B r ) n as before, and r n > r 1. Denote We have the inequalities Φ(p, r) = ( ( ) C(1+ γ ) γ r r 1 B r ū p dx ) 1 p Φ(aγ, r 1 ) Φ(γ, r ), if γ > 0 ( ) Φ(γ, r ) C(1+ γ ) γ r r 1 Φ(aγ, r 1 ), if γ < 0. For β < 0, we take any 0 < p 0 < p < a and we have, with r m = 1 + m, m = 0,..., Φ( p 0, 3) CΦ(, 1) We know (from homework!) that Φ(, r) = inf Br ū. We also can prove one step Φ(p, ) CΦ(p 0, 3) We would be therefore done if we could find some p 0 > 0 such that Φ(p 0, 3) CΦ( p 0, 3) This follows from a result of F. John and Nirenberg. 5
6 Theorem 3. (F. John-L. Nirenberg) Let u W 1,1 (U) where U is convex. Suppose that there exists a constant K so that U B r u dx Kr n 1 holds for all balls B r. Then there exists σ 0 > 0 and C depending only on n such that ( σ ) exp K u u U dx C(diam U) n holds with σ = σ 0 U (diam U) n and u U = U u. Let us note that, from the inequality ( ), we obtain, via Schwartz Br w dx Cr n ( B r w dx ) 1 Cr n 1 Therefore, by the theorem of John-Nirenberg, there exists a constant p 0 > 0 such that exp (p 0 w w 3 )dx C B 3 where w 3 = B 3 wdx. Therefore ( B 3 e p 0w dx)( B 3 e p 0w dx) Ce pow 3 e p 0w 3 = C This concludes the proof of the weak Harnack inequality, modulo the John- Nirenberg result. Putting together Theorem 1 and Theorem we have the full Harnack inequality for weak solutions: Theorem 4. If u is a weak W 1, () solution with u 0 then there exists a constant C so that sup u C inf u B(y,R) B(y,R) holds for any y so that B(y, 4R). oreover, for any U there exists a constant, depending on U and so that sup u C inf u U U 6
7 Hölder continuity The weak Harnack inequality is sufficient to prove the Hölder continuity of weak solutions. Theorem 5. Let u be a weak W 1, () solution of (1). Then u is locally Hölder continuous in. For every ball B 0 = B(y, R 0 ) there exists a constant C = C(n, Λ, Γ, q, R λ 0) such that osc B(y,R) u CR α (R α 0 sup B 0 u + k) where α = α(n, Λ, ΓR λ 0, q) > 0 and k = λ 1 ( f L q + g q L ). oreover, for every U, there exists α = α(n, Λ, Γd) > 0 where λ d = dist(u, ), so that u C α (U) C( u L () + k) We provide the proof for the case b = c = d = f = g = 0. Let 0 = sup B0 u, 4 = sup B(y,4R) u, m 4 = inf B(y,4R) u, 1 = sup B(y,R) u, m 1 = inf B(y,R) u. We have L( 4 u) = 0, L(u m 4 ) = 0 so, we can apply the weak Harnack inequality of Theorem with p = 1. We obtain R n ( 4 u)dx C( 4 1 ) B(y,R) and R n (u m 4 ) C(m 1 m 4 ) Adding, we obtain and so with γ = C 1 C B(y,R) ( 4 m 4 ) C[ 4 m 4 ( 1 m 1 )] 1 m 1 γ( 4 m 4 ) < 1. We have thus, for ω(r) = osc B(y,R)u It follows by iteration (exercise!) that ω(r) γω(4r) ω(r) CR α ω(r 0 ) 7
8 3 Riesz potentials and the John-Nirenberg inequality We use the notation of Gilbarg and Trudinger (V µ f)(x) = x y n(µ 1) f(y)dy with µ (0, 1]. This is the same as the Riesz potential of order nµ of fχ, where is a bounded open set and χ its characteristic (indicator) function. Note that V µ 1 µ 1 ωn 1 n µ Indeed, choosing R so that = ω n R n, we have (V µ 1)(x) = x y n(µ 1) dy B(x,R) x y n(µ 1) dy because \B(x, R) = B(x, R)\ and the points in \B(x, R) are farther away and hence have smaller potential the points in B(x, R) \. Lemma 1. The operator V µ maps L p () continuously into L q (), 1 q oreover V µ f L q 0 δ = δ(p, q) = p 1 q 1 < µ The proof: choose r so that ( ) 1 δ 1 δ ωn 1 µ µ δ f L p µ δ r 1 = 1 + q 1 p 1 = 1 δ Then h(x y) = x y n(µ 1) is in L r () and, using the same trick as above h L r ( ) 1 δ 1 δ ωn 1 µ µ δ µ δ Now we write h f = h r q h r(1 p 1) f p q f pδ 8
9 and using Hölder we get [ hr (x y) f(y) p dy ] 1 q [ V µ (x) hr (x y)dy ] 1 p 1 f pδ L p But sup x [ hr (x y)dy ] 1 r is finite and raising the inequality above to power q and integrating we obtain the desired result. Lemma. Let be convex and u W 1,1 (). Let S be any measurable set. Then u(x) u S dn x y 1 n u(y) dy n S a.e. in, where and d = diam. u S = 1 S S udy It is enough to establish the inequality for C 1 () functions. Then u(x) u(y) = x y 0 r u(x + rω)dr where ω = y x x y and r = ω. Integrating in y over S: We define and thus we have S (u(x) u S ) = V (x) = u(x) u S 1 = 1 S S dy x y { r u(x), if x 0, if x / S 0 ω =1 0 r u(x + rω)dr x y d dy 0 V (x + rω)dr dω d dr V (x + 0 ω =1 0 rω)ρn 1 dρ V (x + rω)drdω x y 1 n r u(y) dy = dn n S = dn n S We introduce now orrey spaces: We say that f p () if there exists a constant K so that f dx Kr n(1 1 p ) B r 9
10 holds for all balls B r = B(x 0, r). The norm f p () is the smallest such constant K. Lemma 3. Let f p (), and δ = p 1 < µ. Then Then, V µ f(x) 1 δ µ δ (diam )n(µ δ) f p () Proof. We extend f by zero outside and denote m(r) = B(x,r) f dy V µ f(x) rn(µ 1) f(y) dy, r = x y, = d 0 rn(µ 1) m (r)dr, d = diam = d n(µ 1) m(d) + n(1 µ) d 0 rn(µ 1) 1 m(r)dr C 1 δ µ δ dn(µ δ) We note here a generalization of orrey s inequality Proposition 1. Let u W 1,1 () and assume that there exist K > 0 and 0 < α 1 so that u dx Kr n 1+α B r for all balls B r. Then u C α () and osc Br u CKr α The proof is a direct application of Lemma with S = = B r Lemma 3 with = B r. and Lemma 4. Let f p () with p > 1 and let g = V µ f with µ = p 1. Then there exist constants c 1, c depending only on n and p so that ( ) g exp dx c (diam ) n c 1 K where K = f p (). 10
11 Proof: we write, for q 1: x y n(µ 1) = x y ( µ q 1) n q x y n(1 1 q )( µ q +µ 1) and by Hölder By Lemma 3 and by Lemma 1 g(x) ) 1 (V ( ) µq f q 1 1 V µ+ µ f q q (1 µ)q V µ+ µ f d n pq q µ K, d = diam (p 1)qd n pq K V µq f dx pqω1 1 pq n 1 pq f L 1 pqω n Kd n(1 1 p + 1 pq ) Therefore g q dx p(p 1) q 1 ω n q q d n K q where p = p ω n {(p 1)qK} q d n p p 1. Choosing c 1 > e(p 1) and summing, we have g m m!(c 1 dx p ω K) m n d ( n p 1 c 1 c d n ) m m m Combining Lemma and Lemma 4 we proved Theorem 3. m! 11
The 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 informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
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 informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationis a weak solution with the a ij,b i,c2 C 1 ( )
Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).
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 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 informationarxiv: v1 [math.ap] 25 Jul 2012
THE DIRICHLET PROBLEM FOR THE FRACTIONAL LAPLACIAN: REGULARITY UP TO THE BOUNDARY XAVIER ROS-OTON AND JOAQUIM SERRA arxiv:1207.5985v1 [math.ap] 25 Jul 2012 Abstract. We study the regularity up to the boundary
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 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 informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationLocal maximal operators on fractional Sobolev spaces
Local maximal operators on fractional Sobolev spaces Antti Vähäkangas joint with H. Luiro University of Helsinki April 3, 2014 1 / 19 Let G R n be an open set. For f L 1 loc (G), the local Hardy Littlewood
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 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 informationBoot camp - Problem set
Boot camp - Problem set Luis Silvestre September 29, 2017 In the summer of 2017, I led an intensive study group with four undergraduate students at the University of Chicago (Matthew Correia, David Lind,
More informationIntroduction to Elliptic Regularity Theory I.
Introduction to Elliptic Regularity Theory I. ELTE 2013 Introduction to Elliptic Regularity Theory I. Topics in Elliptic PDE Theory Analytical solutions Potential Theory Classical theory Sobolev functions
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 informationNOTES ON SCHAUDER ESTIMATES. r 2 x y 2
NOTES ON SCHAUDER ESTIMATES CRISTIAN E GUTIÉRREZ JULY 26, 2005 Lemma 1 If u f in B r y), then ux) u + r2 x y 2 B r y) B r y) f, x B r y) Proof Let gx) = ux) Br y) u r2 x y 2 Br y) f We have g = u + Br
More informationA comparison theorem for nonsmooth nonlinear operators
A comparison theorem for nonsmooth nonlinear operators Vladimir Kozlov and Alexander Nazarov arxiv:1901.08631v1 [math.ap] 24 Jan 2019 Abstract We prove a comparison theorem for super- and sub-solutions
More informationAPPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 35, 200, 405 420 APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( ) Fumi-Yuki Maeda, Yoshihiro
More informationDegenerate Monge-Ampère equations and the smoothness of the eigenfunction
Degenerate Monge-Ampère equations and the smoothness of the eigenfunction Ovidiu Savin Columbia University November 2nd, 2015 Ovidiu Savin (Columbia University) Degenerate Monge-Ampère equations November
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 informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationGrowth Theorems and Harnack Inequality for Second Order Parabolic Equations
This is an updated version of the paper published in: Contemporary Mathematics, Volume 277, 2001, pp. 87-112. Growth Theorems and Harnack Inequality for Second Order Parabolic Equations E. Ferretti and
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 informationOn Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations
On Aleksandrov-Bakelman-Pucci Type Estimates For Integro-Differential Equations Russell Schwab Carnegie Mellon University 2 March 2012 (Nonlocal PDEs, Variational Problems and their Applications, IPAM)
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 informationarxiv: v1 [math.ca] 15 Dec 2016
L p MAPPING PROPERTIES FOR NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL arxiv:62.0744v [math.ca] 5 Dec 206 WOOCHEOL CHOI AND YONG-CHEOL KIM Abstract. In this paper, we consider nonlocal Schrödinger
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 informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationVISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS
VISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS LUIS SILVESTRE These are the notes from the summer course given in the Second Chicago Summer School In Analysis, in June 2015. We introduce the notion of viscosity
More informationarxiv: v1 [math.ap] 27 May 2010
A NOTE ON THE PROOF OF HÖLDER CONTINUITY TO WEAK SOLUTIONS OF ELLIPTIC EQUATIONS JUHANA SILJANDER arxiv:1005.5080v1 [math.ap] 27 May 2010 Abstract. By borrowing ideas from the parabolic theory, we use
More informationSecond Order Elliptic PDE
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
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationHARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 37, 2012, 571 577 HARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH Olli Toivanen University of Eastern Finland, Department of
More informationELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS)
ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS) MATANIA BEN-ARTZI. BOOKS [CH] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. Interscience Publ. 962. II, [E] L.
More informationHarnack Inequality and Continuity of Solutions for Quasilinear Elliptic Equations in Sobolev Spaces with Variable Exponent
Nonl. Analysis and Differential Equations, Vol. 2, 2014, no. 2, 69-81 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/nade.2014.31225 Harnack Inequality and Continuity of Solutions for Quasilinear
More informationAhmed Mohammed. Harnack Inequality for Non-divergence Structure Semi-linear Elliptic Equations
Harnack Inequality for Non-divergence Structure Semi-linear Elliptic Equations International Conference on PDE, Complex Analysis, and Related Topics Miami, Florida January 4-7, 2016 An Outline 1 The Krylov-Safonov
More informationThe wave equation. Intoduction to PDE. 1 The Wave Equation in one dimension. 2 u. v = f(ξ 1 ) + g(ξ 2 )
The wave equation Intoduction to PDE The Wave Equation in one dimension The equation is u t u c =. () x Setting ξ = x + ct, ξ = x ct and looking at the function v(ξ, ξ ) = u ( ξ +ξ, ξ ξ ) c, we see that
More informationThe Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge
The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij
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 informationThe Harnack inequality for second-order elliptic equations with divergence-free drifts
The Harnack inequality for second-order elliptic equations with divergence-free drifts Mihaela Ignatova Igor Kukavica Lenya Ryzhik Monday 9 th July, 2012 Abstract We consider an elliptic equation with
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
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 informationANALYSIS HW 5 CLAY SHONKWILER
ANALYSIS HW 5 CLAY SHONKWILER Let X be a normed linear space and Y a linear subspace. The set of all continuous linear functionals on X that are zero on Y is called the annihilator of Y and denoted by
More informationEugenia Malinnikova NTNU. March E. Malinnikova Propagation of smallness for elliptic PDEs
Remez inequality and propagation of smallness for solutions of second order elliptic PDEs Part II. Logarithmic convexity for harmonic functions and solutions of elliptic PDEs Eugenia Malinnikova NTNU March
More informationThe Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition
The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of
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 informationHomogenization of Elliptic Boundary Value Problems in Lipschitz Domains
Homogenization of Elliptic Boundary Value Problems in Lipschitz Domains arxiv:98.2135v1 [math.ap] 14 Aug 29 Carlos E. Kenig Zhongwei Shen Dedicated to the Memory of Björn Dahlberg Abstract In this paper
More informationc 2014 International Press u+b u+au=0 (1.1)
COMMUN. MATH. SCI. Vol. 2, No. 4, pp. 68 694 c 204 International Press THE HARNACK INEQUALITY FOR SECOND-ORDER ELLIPTIC EQUATIONS WITH DIVERGENCE-FREE DRIFTS MIHAELA IGNATOVA, IGOR KUKAVICA, AND LENYA
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 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 informationSOLUTION OF POISSON S EQUATION. Contents
SOLUTION OF POISSON S EQUATION CRISTIAN E. GUTIÉRREZ OCTOBER 5, 2013 Contents 1. Differentiation under the integral sign 1 2. The Newtonian potential is C 1 2 3. The Newtonian potential from the 3rd Green
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationarxiv: v2 [math.ap] 12 Apr 2019
A new method of proving a priori bounds for superlinear elliptic PDE arxiv:1904.03245v2 [math.ap] 12 Apr 2019 Boyan SIRAKOV 1 PUC-Rio, Departamento de Matematica, Gavea, Rio de Janeiro - CEP 22451-900,
More informationRegularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian
Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian Luis Caffarelli, Sandro Salsa and Luis Silvestre October 15, 2007 Abstract We use a characterization
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 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 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 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 informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationRegularity of the obstacle problem for a fractional power of the laplace operator
Regularity of the obstacle problem for a fractional power of the laplace operator Luis E. Silvestre February 24, 2005 Abstract Given a function ϕ and s (0, 1), we will stu the solutions of the following
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationElliptic Partial Differential Equations. Leonardo Abbrescia
Elliptic Partial Differential Equations Leonardo Abbrescia Advised by Daniela De Silva, PhD and Ovidiu Savin, PhD. Contents Introduction and Acknowledgments Variational Methods and Sobolev Embedding Theorems
More informationStationary mean-field games Diogo A. Gomes
Stationary mean-field games Diogo A. Gomes We consider is the periodic stationary MFG, { ɛ u + Du 2 2 + V (x) = g(m) + H ɛ m div(mdu) = 0, (1) where the unknowns are u : T d R, m : T d R, with m 0 and
More informationwhere F denoting the force acting on V through V, ν is the unit outnormal on V. Newton s law says (assume the mass is 1) that
Chapter 5 The Wave Equation In this chapter we investigate the wave equation 5.) u tt u = and the nonhomogeneous wave equation 5.) u tt u = fx, t) subject to appropriate initial and boundary conditions.
More informationElementary Theory and Methods for Elliptic Partial Differential Equations. John Villavert
Elementary Theory and Methods for Elliptic Partial Differential Equations John Villavert Contents 1 Introduction and Basic Theory 4 1.1 Harmonic Functions............................... 5 1.1.1 Mean Value
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 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 informationRegularity of the p-poisson equation in the plane
Regularity of the p-poisson equation in the plane Erik Lindgren Peter Lindqvist Department of Mathematical Sciences Norwegian University of Science and Technology NO-7491 Trondheim, Norway Abstract We
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationAsymptotic Behavior of Fragmentation-drift Equations with Variable Drift Rates
Asymptotic Behavior of Fragmentation-drift Equations with Variable Drift Rates Daniel Balagué joint work with José A. Cañizo and Pierre GABRIEL (in preparation) Universitat Autònoma de Barcelona SIAM Conference
More informationRegularity of solutions to fully nonlinear elliptic and parabolic free boundary problems
Regularity of solutions to fully nonlinear elliptic and parabolic free boundary problems E. Indrei and A. Minne Abstract We consider fully nonlinear obstacle-type problems of the form ( F (D 2 u, x) =
More informationPOTENTIAL THEORY OF QUASIMINIMIZERS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 459 490 POTENTIAL THEORY OF QUASIMINIMIZERS Juha Kinnunen and Olli Martio Institute of Mathematics, P.O. Box 1100 FI-02015 Helsinki University
More informationRemarks on L p -viscosity solutions of fully nonlinear parabolic equations with unbounded ingredients
Remarks on L p -viscosity solutions of fully nonlinear parabolic equations with unbounded ingredients Shigeaki Koike Andrzej Świe ch Mathematical Institute School of Mathematics Tohoku University Georgia
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 informationAn L Bound for the Neumann Problem of the Poisson Equations
An L Bound for the Neumann Problem of the Poisson Equations Xiaojing Ye and Shulin Zhou Abstract In this paper we establish an L -bound for the Neumann problem of the Poisson equations. We first develop
More informationBoundary value problems for elliptic operators with singular drift terms. Josef Kirsch
This thesis has been submitted in fulfilment of the requirements for a postgraduate degree e.g. PhD, MPhil, DClinPsychol) at the University of Edinburgh. Please note the following terms and conditions
More informationSome Remarks About the Density of Smooth Functions in Weighted Sobolev Spaces
Journal of Convex nalysis Volume 1 (1994), No. 2, 135 142 Some Remarks bout the Density of Smooth Functions in Weighted Sobolev Spaces Valeria Chiadò Piat Dipartimento di Matematica, Politecnico di Torino,
More informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More informationThe continuity method
The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial
More informationA NONLINEAR OPTIMIZATION PROBLEM IN HEAT CONDUCTION
A NONLINEAR OPTIMIZATION PROBLEM IN HEAT CONDUCTION EDUARDO V. TEIXEIRA Abstract. In this paper we study the existence and geometric properties of an optimal configuration to a nonlinear optimization problem
More informationContinuity of Solutions of Linear, Degenerate Elliptic Equations
Continuity of Solutions of Linear, Degenerate Elliptic Equations Jani Onninen Xiao Zhong Abstract We consider the simplest form of a second order, linear, degenerate, divergence structure equation in the
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationThe Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition
The Dirichlet boundary problems for second order parabolic operators satisfying a Martin Dindos Sukjung Hwang University of Edinburgh Satellite Conference in Harmonic Analysis Chosun University, Gwangju,
More informationOn the p-laplacian and p-fluids
LMU Munich, Germany Lars Diening On the p-laplacian and p-fluids Lars Diening On the p-laplacian and p-fluids 1/50 p-laplacian Part I p-laplace and basic properties Lars Diening On the p-laplacian and
More informationMATH 425, FINAL EXAM SOLUTIONS
MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u
More informationMULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN
Electronic Journal of Differential Equations, Vol. 016 (016), No. 97, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIONS
More informationOblique derivative problems for elliptic and parabolic equations, Lecture II
of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.
More informationEXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS
EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS Adriana Buică Department of Applied Mathematics Babeş-Bolyai University of Cluj-Napoca, 1 Kogalniceanu str., RO-3400 Romania abuica@math.ubbcluj.ro
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 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 informationA BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS. Simon Brendle & Micah Warren. Abstract. The associated symplectic structure is given by
j. differential geometry 84 (2010) 267-287 A BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS Simon Brendle & Micah Warren Abstract Let Ω and Ω be uniformly convex domains in R n with smooth boundary.
More informationLocal Asymmetry and the Inner Radius of Nodal Domains
Local Asymmetry and the Inner Radius of Nodal Domains Dan MANGOUBI Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette (France) Avril 2007 IHES/M/07/14 Local Asymmetry
More informationNonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient
Electronic Journal of Differential Equations, Vol. 2002(2002), No. 54, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Nonexistence
More informationSOBOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOUBLING MORREY SPACES
Mizuta, Y., Shimomura, T. and Sobukawa, T. Osaka J. Math. 46 (2009), 255 27 SOOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOULING MORREY SPACES YOSHIHIRO MIZUTA, TETSU SHIMOMURA and TAKUYA
More informationHarmonic maps on domains with piecewise Lipschitz continuous metrics
Harmonic maps on domains with piecewise Lipschitz continuous metrics Haigang Li, Changyou Wang Abstract For a bounded domain Ω equipped with a piecewise Lipschitz continuous Riemannian metric g, we consider
More informationREGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE
REGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE PENGFEI GUAN AND ERIC SAWYER (.). Introduction There is a vast body of elliptic regularity results for the Monge-Ampère equation det D u (x)
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More information