Resolutivity and Invariance for the Perron Method for Degenerate

Total Page:16

File Type:pdf, Size:1020Kb

Resolutivity and Invariance for the Perron Method for Degenerate Resolutivity and invariance for the Perron method for degenerate equations of divergence type Anders Bj¨orn Department of Mathematics, Link¨oping University, SE-581 83 Link¨oping, Sweden [email protected], ORCID: 0000-0002-9677-8321 Jana Bj¨orn Department of Mathematics, Link¨oping University, SE-581 83 Link¨oping, Sweden [email protected], ORCID: 0000-0002-1238-6751 Abubakar Mwasa Department of Mathematics, Link¨oping University, SE-581 83 Link¨oping, Sweden Department of Mathematics, Busitema University, P.O.Box 236, Tororo, Uganda [email protected], [email protected], ORCID: 0000-0003-4077-3115 Abstract We consider Perron solutions to the Dirichlet problem for the quasilinear n elliptic equation div A(x, ∇u) = 0 in a bounded open set Ω ⊂ R . The vector-valued function A satisfies the standard ellipticity assumptions with a parameter 1 <p< ∞ and a p-admissible weight w. We show that arbitrary perturbations on sets of (p,w)-capacity zero of continuous (and certain quasi- continuous) boundary data f are resolutive and that the Perron solutions for f and such perturbations coincide. As a consequence, we prove that the Per- ron solution with continuous boundary data is the unique bounded solution that takes the required boundary data outside a set of (p,w)-capacity zero. Key words and phrases: capacity, degenerate quasilinear elliptic equation of divergence type, Dirichlet problem, Perron solution, quasicontinuous function, resolutive. Mathematics Subject Classification (2020): Primary: 35J66, Secondary: 31C45, 35J25, 35J92. arXiv:2008.00883v1 [math.AP] 3 Aug 2020 1. Introduction We consider the Dirichlet problem for quasilinear elliptic equations of the form div A(x, ∇u) = 0 (1.1) in a bounded nonempty open subset Ω of the n-dimensional Euclidean space Rn. The mapping A :Ω × Rn → Rn satisfies the standard ellipticity assumptions with a parameter 1 <p< ∞ and a p-admissible weight as in Heinonen–Kilpel¨ainen– Martio [7, Chapter 3]. The Dirichlet problem amounts to finding a solution of the partial differential equation in Ω with prescribed boundary data on the boundary of Ω. One of the most useful approaches to solving the Dirichlet problem in Ω with arbitrary boundary 1 2 Anders Bj¨orn, Jana Bj¨orn and Abubakar Mwasa data f is the Perron method. This method was introduced by Perron [11] and independently Remak [12] in 1923 for the Laplace equation ∆u = 0 in a bounded domain Ω ⊂ Rn. It gives an upper and a lower Perron solution (see Definition 3.2) and when the two coincide, we get a suitable solution Pf of the Dirichlet problem and f is called resolutive. The Perron method for linear equations in Euclidean domains was studied by Brelot [5], where a complete characterization of resolutive functions was given in terms of the harmonic measure. The Perron method was later extended to nonlinear equations. Granlund–Lindqvist–Martio [6] were the first to use the Perron method to study the nonlinear equation div(∇q F (x, ∇u))=0 (where ∇qF stands for the gradient of F with respect to the second variable). This is a special type of equation (1.1), including the p-Laplace equation p−2 ∆pu := div(|∇u| ∇u)=0. (1.2) Lindqvist–Martio [10] studied boundary regularity of (1.1) in the unweighted case and also showed that continuous boundary data f are resolutive when p>n − 1. Kilpel¨ainen [8] extended the resolutivity to general p, which in turn was extended to weighted Rn by Heinonen–Kilpel¨ainen–Martio [7]. More recently, the Perron method was used to study p-harmonic functions in the metric setting, see [1]–[4]. In this paper, we consider the weighted equation div A(x, ∇u)=0 and show that arbitrary perturbations on sets of (p, w)-capacity zero of continu- ous boundary data f are resolutive and that the Perron solution for f and such perturbations coincide, see Theorem 3.9. In Proposition 3.8, we also obtain, as a by-product, that Perron solutions of perturbations of Lipschitz boundary data f are the same as the Sobolev solution of f. This perturbation result, as well as the equality of the Perron and Sobolev solutions, holds also for quasicontinuous representatives of Sobolev functions, see Theorem 4.2. Moreover, we prove in Theorem 3.12 that the Perron solution for the equation (1.1) with continuous boundary data is the unique bounded solution of (1.1) that takes the required boundary data outside a set of (p, w)-capacity zero. A some- what weaker uniqueness result is proved for quasicontinuous Sobolev functions in Corollary 4.5. Much as we use Heinonen–Kilpel¨ainen–Martio [7] as the principal literature for this paper, our proof of resolutivity for continuous boundary data is quite different from the one considered in [7]. In particular, we do not use exhaustions by regular domains. The obstacle problem for the operator div A(x, ∇u) and a convergence theorem for obstacle problems play a crucial role in the proof of our main results. For p-harmonic functions, i.e. solutions of the p-Laplace equation (1.2), most of the results in this paper follow from Bj¨orn–Bj¨orn–Shanmugalingam [2], [3], where this was proved for p-energy minimizers in metric spaces. The proofs here have been inspired by [2] and [3], but have been adapted to the usual Sobolev spaces to make them more accessible for people not familiar with the nonlinear potential theory on metric spaces and Sobolev spaces based on upper gradients. They also apply to the more general A-harmonic functions, defined by equations rather than minimization problems. Acknowledgement. A. B and J. B. were partially supported by the Swedish Research Council grants 2016-03424 resp. 621-2014-3974 and 2018-04106. A. M. was supported by the SIDA (Swedish International Development Cooperation Agency) Resolutivity and invariance for the Perron method for degenerate equations 3 project 316-2014 “Capacity building in Mathematics and its applications” under the SIDA bilateral program with the Makerere University 2015–2020, contribution No. 51180060. 2. Notation and preliminaries In this section, we present the basic notation and definitions that will be needed in this paper. Throughout, we assume that Ω is a bounded nonempty open subset of the n-dimensional Euclidean space Rn,n ≥ 2, and 1 <p< ∞. We use ∂Ω and Ω to denote the boundary and the closure of Ω, respectively. n We write x to mean a point x = (x1, ... , xn) ∈ R and for a function v which is infinitely many times continuously differentiable, i.e. v ∈ C∞(Ω), we write ∇v = (∂1v, ... , ∂nv) for the gradient of v. We follow Heinonen–Kilpel¨ainen–Martio [7] as the primary reference for the material in this paper. First, we give the definition of a weighted Sobolev space, which is crucial when studying degenerate elliptic differential equations, see [7] and Kilpel¨ainen [9]. Definition 2.1. The weighted Sobolev space H1,p(Ω, w) is defined to be the com- pletion of the set of all v ∈ C∞(Ω) such that 1/p p p kvkH1,p(Ω,w) = (|v| + |∇v| )w dx < ∞ ZΩ with respect to the norm kvkH1,p(Ω,w), where w is the weight function which we define later. 1,p ∞ 1,p The space H0 (Ω, w) is the completion of C0 (Ω) in H (Ω, w) while a function 1,p 1,p ′ ′ ⋐ v is in Hloc (Ω, w) if and only if it belongs to H (Ω , w) for every open set Ω Ω. As usual, E ⋐ Ω if E is a compact subset of Ω and ∞ ∞ n ⋐ C0 (Ω) = {v ∈ C (R ) : supp v Ω}. Throughout the paper, the mapping A : Ω × Rn → Rn, defining the elliptic operator (1.1), satisfies the following assumptions with a parameter 1 <p< ∞, a p-admissible weight w(x) and for some constants α,β > 0, see [7, (3.3)–(3.7)]: First, assume that A(x, q) is measurable in x for every q ∈ Rn, and continuous in q for a.e. x ∈ Rn. Also, for all q ∈ Rn and a.e. x ∈ Rn, the following hold A(x, q) · q ≥ αw(x)|q|p and |A(x, q)|≤ βw(x)|q|p−1, (2.1) n (A(x, q1) − A(x, q2)) · (q1 − q2) > 0 for q1, q2 ∈ R , q1 6= q2, A(x, λq)= λ|λ|p−2A(x, q) for λ ∈ R, λ 6=0. 1,p Definition 2.2. A function u ∈ Hloc (Ω, w) is said to be a (weak) solution of (1.1) ∞ in Ω if for all test functions ϕ ∈ C0 (Ω), the following integral identity holds A(x, ∇u) · ∇ϕ dx =0. (2.2) ZΩ 1,p A function u ∈ Hloc (Ω, w) is said to be a supersolution of (1.1) in Ω if for all ∞ nonnegative functions ϕ ∈ C0 (Ω), A(x, ∇u) · ∇ϕ dx ≥ 0. ZΩ A function u is a subsolution of (1.1) if −u is a supersolution of (1.1). 4 Anders Bj¨orn, Jana Bj¨orn and Abubakar Mwasa The sum of two (super)solutions is in general not a (super)solution. However, if u and v are two (super)solutions, then min{u, v} is a supersolution, see [7, The- orem 3.23]. If u is a supersolution and a,b ∈ R, then au + b is a supersolution provided that a ≥ 0. It is rather straightforward that u is a solution if and only if it is both a sub- and a supersolution, see [7, bottom p. 58]. By [7, Theorems 3.70 and 6.6], every solution u has a H¨older continuous representative v (i.e.
Recommended publications
  • A Concise Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag
    A concise course in complex analysis and Riemann surfaces Wilhelm Schlag Contents Preface v Chapter 1. From i to z: the basics of complex analysis 1 1. The field of complex numbers 1 2. Differentiability and conformality 3 3. M¨obius transforms 7 4. Integration 12 5. Harmonic functions 19 6. The winding number 21 7. Problems 24 Chapter 2. From z to the Riemann mapping theorem: some finer points of basic complex analysis 27 1. The winding number version of Cauchy’s theorem 27 2. Isolated singularities and residues 29 3. Analytic continuation 33 4. Convergence and normal families 36 5. The Mittag-Leffler and Weierstrass theorems 37 6. The Riemann mapping theorem 41 7. Runge’s theorem 44 8. Problems 46 Chapter 3. Harmonic functions on D 51 1. The Poisson kernel 51 2. Hardy classes of harmonic functions 53 3. Almost everywhere convergence to the boundary data 55 4. Problems 58 Chapter 4. Riemann surfaces: definitions, examples, basic properties 63 1. The basic definitions 63 2. Examples 64 3. Functions on Riemann surfaces 67 4. Degree and genus 69 5. Riemann surfaces as quotients 70 6. Elliptic functions 73 7. Problems 77 Chapter 5. Analytic continuation, covering surfaces, and algebraic functions 79 1. Analytic continuation 79 2. The unramified Riemann surface of an analytic germ 83 iii iv CONTENTS 3. The ramified Riemann surface of an analytic germ 85 4. Algebraic germs and functions 88 5. Problems 100 Chapter 6. Differential forms on Riemann surfaces 103 1. Holomorphic and meromorphic differentials 103 2. Integrating differentials and residues 105 3.
    [Show full text]
  • Elementary Theory and Methods for Elliptic Partial Differential Equations
    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 Properties . 5 1.1.2 Sub-harmonic and Super-harmonic Functions . 8 1.1.3 Further Properties of Harmonic Functions . 11 1.1.4 Energy and Comparison Methods for Harmonic Functions . 14 1.2 Classical Maximum Principles . 17 1.2.1 The Weak Maximum Principle . 17 1.2.2 The Strong Maximum Principle . 18 1.3 Newtonian and Riesz Potentials . 21 1.3.1 The Newtonian Potential and Green's Formula . 21 1.3.2 Riesz Potentials and the Hardy-Littlewood-Sobolev Inequalitiy . 23 1.3.3 Green's Function and Representation Formulas of Solutions . 25 1.3.4 Green's Function for a Half-Space . 26 1.3.5 Green's Function for a Ball . 28 1.4 H¨olderRegularity for Poisson's Equation . 31 1.4.1 The Dirichlet Problem for Poisson's Equation . 33 1.4.2 Interior H¨olderEstimates for Second Derivatives . 36 1.4.3 Boundary H¨olderEstimates for Second Derivatives . 40 2 Existence Theory 43 2.1 The Lax-Milgram Theorem . 43 2.1.1 Existence of Weak Solutions . 44 2.2 The Fredholm Alternative . 47 2.2.1 Existence of Weak Solutions . 48 2.3 Eigenvalues and Eigenfunctions . 52 1 2.4 Topological Fixed Point Theorems . 53 2.4.1 Brouwer's Fixed Point Theorem . 54 2.4.2 Schauder's Fixed Point Theorem . 55 2.4.3 Schaefer's Fixed Point Theorem . 56 2.4.4 Application to Nonlinear Elliptic Boundary Value Problems .
    [Show full text]
  • Jiří Veselý in Memory of Josef Král
    Czechoslovak Mathematical Journal Jaroslav Lukeš; Ivan Netuka; Jiří Veselý In memory of Josef Král Czechoslovak Mathematical Journal, Vol. 56 (2006), No. 4, 1063–1083 Persistent URL: http://dml.cz/dmlcz/128131 Terms of use: © Institute of Mathematics AS CR, 2006 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 56 (131) (2006), 1063–1083 IN MEMORY OF JOSEF KRAL´ Jaroslav Luke², Ivan Netuka, Jiří Veselý, Praha (Received August 18, 2006) On May 24, 2006 a farewell ceremony for our teacher, colleague and friend Josef Král was held in the Church of St. Wenceslas in Pečky. He died on May 13, 2006, before his seventy-fifth birthday. Josef Král was an outstanding mathematician, ex- ceptional teacher, model husband and father, and above all, a man of extraordinary human qualities. The results of his research place him among the most important Czech mathematicians of the second half of the twentieth century. His name is asso- ciated with original results in mathematical analysis and, in particular, in potential theory. In 1967 Josef Král founded a seminar in Prague on mathematical analysis, with a particular emphasis on potential theory. He supervised a number of students and created a research group, which has been called The Prague Harmonic Group by friends and colleagues.
    [Show full text]
  • A Course in Complex Analysis and Riemann Surfaces
    A Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag Graduate Studies in Mathematics Volume 154 American Mathematical Society https://doi.org/10.1090//gsm/154 A Course in Complex Analysis and Riemann Surfaces Wilhelm Schlag Graduate Studies in Mathematics Volume 154 American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed Rafe Mazzeo (Chair) Gigliola Staffilani 2010 Mathematics Subject Classification. Primary 30-01, 30F10, 30F15, 30F20, 30F30, 30F35. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-154 Library of Congress Cataloging-in-Publication Data Schlag, Wilhelm, 1969– A course in complex analysis and Riemann surfaces / Wilhelm Schlag. pages cm. – (Graduate studies in mathematics ; volume 154) Includes bibliographical references and index. ISBN 978-0-8218-9847-5 (alk. paper) 1. Riemann surfaces–Textbooks. 2. Functions of complex variables–Textbooks. I. Title. QA333.S37 2014 515.93–dc23 2014009993 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected].
    [Show full text]
  • Introduction to Potential Theory Via Applications
    Introduction to Potential Theory via Applications Christian Kuehn Abstract We introduce the basic concepts related to subharmonic functions and potentials, mainly for the case of the complex plane and prove the Riesz decomposition theorem. Beyond the elementary facts of the theory we deviate slightly from the usual path of exposition and introduce further concepts alongside with applications. We cover the Dirichlet problem in detail and illustrate the relations between potential theory and probability by considering harmonic measure and its relation to Brownian motion. Furthermore Green’s function is introduced and an application to growth of polynomials is given. Equilibrium measures are motivated by their original development in physics and we end with a brief discussion of capacity and its relation to Hausdorff measure. We hope that the reader, who is familiar with the main elements of real analysis, complex analysis, measure theory and some probability theory benefits from these notes. No new results are presented but we hope that the style of presentation enables the reader to understand quickly the basic ideas of potential theory and how it can be used in different contexts. The notes can also be used for a short course on potential theory. Therefore the required pre- requisites are described in the Appendix. References are given where expositions and details can be found; roughly speaking, familiarity with the basic foundations of real and complex analysis should suffice to proceed without any background reading. Contents 1 Introduction 1 2 Part I - Basic Theory 1 2.1 Harmonicfunctions.................................. ...... 1 2.2 SubharmonicFunctions ............................... ...... 5 2.3 Potentials ......................................... .... 11 3 Part II - Applications 15 3.1 Perron’s Method and the Dirichlet Problem .
    [Show full text]
  • Vector-Valued Elliptic Boundary Value Problems on Rough Domains
    Universität Ulm Vector-valued Elliptic Boundary Value Problems on Rough Domains Vorgelegt von Marcel Kreuter aus Zell (Mosel) im Jahr 2018. Dissertation zur Erlangung des Doktorgrades Dr. rer. nat. der Fakultät für Mathematik und Wirtschaftswissenschaften der Universität Ulm Amtierender Dekan: Prof. Dr. Alexander Lindner Gutachter: Prof. Dr. Wolfgang Arendt Prof. Dr. Rico Zacher Tag der Promotion: 12. Oktober 2018 Contents Introduction v I Sobolev Spaces of Vector-Valued Functions 1 1 Basic properties of Sobolev spaces 3 1.1 Vector-Valued Distributions . 3 1.2 The Spaces W m;p (Ω;X) ...................... 4 1.3 Differentiability of Weakly Differentiable Functions . 5 m;p 1.4 The Spaces W0 (Ω;X) and Interpolation . 14 2 The Difference Quotient Criterion 23 3 Nemitsky Operators 27 3.1 Composition in Spaces which have the Radon-Nikodým Prop- erty . 27 3.2 Composition with One-Sided Gateaux Differentiable Mappings 29 4 Applications of Nemitsky Operators 39 4.1 Weak and Strong Properties . 39 4.2 Embedding Theorems . 45 5 Notes on Part I 55 II The Perron Solution for the Laplacian 59 6 Vector-Valued Harmonic Functions 61 7 The Perron Solution 67 7.1 The Solution in General Banach Spaces . 67 7.2 The Variational Method . 71 8 Perron’s Construction 75 8.1 Subharmonic Functions, Perron Families and Subsolutions . 75 8.2 Keldyš’s Theorem . 81 8.3 The Reconstruction Method . 87 9 Applications of the Perron Solution 89 9.1 The Poisson Problem on Irregular Domains . 89 i Contents 9.2 The Heat Equation on Irregular Domains . 93 9.3 Stability of the Dirichlet Problem .
    [Show full text]
  • Boundary Value Problems for Nonlinear Elliptic Equations in Divergence Form Copyright C Abubakar Mwasa, 2021
    Abubakar Mwasa Linköping Studies in Science and Technology Dissertation No. 2128 1 FACULTY OF SCIENCE AND ENGINEERING Boundary Value Problems Linköping Studies in Science and Technology, Dissertation No. 2128, 2021 Department of Mathematics Boundary Problems Value Equations for Nonlinear Divergence in Elliptic Form Linköping University for Nonlinear Elliptic Equations SE-581 83 Linköping, Sweden www.liu.se in Divergence Form Abubakar Mwasa n 1 ξn x R − G T (G) ∈ F x R n ∈ 0 ξ 2021 Link¨oping Studies in Science and Technology. Dissertations No. 2128 Department of Mathematics Link¨oping, 2021 This work is licensed under a Creative Commons Attribution- NonCommercial 4.0 International License. https://creativecommons.org/licenses/by-nc/4.0/ Link¨oping Studies in Science and Technology. Dissertations No. 2128 Boundary Value Problems for Nonlinear Elliptic Equations in Divergence Form Copyright c Abubakar Mwasa, 2021 Department of Mathematics Link¨opingUniversity SE-581 83 Link¨oping, Sweden Email: [email protected] ISSN 0345-7524 ISBN 978-91-7929-689-6 Printed by LiU-Tryck, Link¨oping,Sweden, 2021 Abstract The thesis consists of three papers focussing on the study of nonlinear elliptic partial differential equations in a nonempty open subset Ω of the n-dimensional Euclidean space Rn. We study the existence and uniqueness of the solutions, as well as their behaviour near the boundary of Ω. The behaviour of the solutions at infinity is also discussed when Ω is unbounded. In Paper A, we consider a mixed boundary value problem for the p-Laplace p−2 equation ∆pu := div( u u) = 0 in an open infinite circular half-cylinder with prescribed Dirichletjr boundaryj r data on a part of the boundary and zero Neu- mann boundary data on the rest.
    [Show full text]
  • Harmonic Analysis a Comprehensive Course in Analysis, Part 3
    Harmonic Analysis A Comprehensive Course in Analysis, Part 3 Barry Simon Harmonic Analysis A Comprehensive Course in Analysis, Part 3 http://dx.doi.org/10.1090/simon/003 Harmonic Analysis A Comprehensive Course in Analysis, Part 3 Barry Simon Providence, Rhode Island 2010 Mathematics Subject Classification. Primary 26-01, 31-01, 46-01; Secondary 30H10, 30H35, 42C40, 42B20, 46E35. For additional information and updates on this book, visit www.ams.org/bookpages/simon Library of Congress Cataloging-in-Publication Data Simon, Barry, 1946– Harmonic analysis / Barry Simon. pages cm. — (A comprehensive course in analysis ; part 3) Includes bibliographical references and indexes. ISBN 978-1-4704-1102-2 (alk. paper) 1. Mathematical analysis—Textbooks. 2. Harmonic analysis—Textbooks. I. Title. QA300.S5275 2015 515.2433—dc23 2015024457 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s).
    [Show full text]
  • The Perron Method for -Harmonic Functions in Unbounded Sets in and Metric Spaces
    Math. Z. (2018) 288:55–74 https://doi.org/10.1007/s00209-017-1877-0 Mathematische Zeitschrift The Perron method for p-harmonic functions in unbounded sets in Rn and metric spaces Daniel Hansevi1 Received: 19 September 2016 / Accepted: 2 February 2017 / Published online: 30 March 2017 © The Author(s) 2017. This article is an open access publication Abstract The Perron method for solving the Dirichlet problem for p-harmonic functions is extended to unbounded open sets in the setting of a complete metric space with a doubling measure supporting a p-Poincaré inequality, 1 < p < ∞. The upper and lower (p-harmonic) Perron solutions are studied for open sets, which are assumed to be p-parabolic if unbounded. It is shown that continuous functions and quasicontinuous Dirichlet functions are resolutive (i.e., that their upper and lower Perron solutions coincide), that the Perron solution agrees with the p-harmonic extension, and that Perron solutions are invariant under perturbation of the function on a set of capacity zero. Keywords Dirichlet problem · Obstacle problem · p-Harmonic function · p-Parabolic set · Perron method · Quasicontinuity Mathematics Subject Classification Primary 31E05; Secondary 31C45 1 Introduction The Dirichlet (boundary value) problem for p-harmonic functions, 1 < p < ∞,whichisa nonlinear generalization of the classical Dirichlet problem, considers the p-Laplace equation, p−2 pu := div(|∇u| ∇u) = 0, (1.1) with prescribed boundary values u = f on the boundary ∂. A continuous weak solution of (1.1)issaidtobep-harmonic. The nonlinear potential theory of p-harmonic functions has been developed since the 1960s; not only in Rn, but also in weighted Rn, Riemannian manifolds, and other settings.
    [Show full text]