The Perron solution for elliptic equations without the maximum principle
type: Item
instance of: scholarly article
title: The Perron solution for elliptic equations without the maximum principle
author: Wolfgang Arendt
author: A. F. M. ter Elst
author: Manfred Sauter
published in: Mathematische Annalen
publication date: 2024-10-28T00:00:00Z
review text: In this work on classical potential theory the Dirichlet boundary value problem is considered for the solutions \(u:\Omega\to\mathbb{C}\) of a linear second order equation \(\mathcal{A}(u)=0\) in a bounded domain \(\Omega\) in \(\mathbb{R}^d\). The emphasis is on domains with irregular boundaries.\N\NDefine\N\[\N\langle\mathcal{A}(u), \psi\rangle = \sum_{k,l=1}^2 \int_\Omega a_{kl}(\partial_l u)\overline{\partial_k\psi} dx + \sum_{k=1}^2 \int_\Omega b_k u(\overline{\partial_k\psi}) dx + \sum_{k=1}^2 \int_\Omega c_k (\partial_k u) \overline\psi dx + \int c u \overline\psi dx \N\]\Nwhen \(u\in H_{loc}^1(\Omega)\) and \(\psi\in C_0^\infty (\Omega)\). The function \(u\in H_{loc}^1(\Omega)\) is called \(\mathcal{A}\)-harmonic if \(\mathcal{A}(u)=0\), i. e., \(\langle\mathcal{A}(u), \psi\rangle=0\) for all test functions \(\psi\in C_0^\infty (\Omega)\). We may assume that \(u\in C(\Omega)\), but not that \(u\in C(\overline\Omega)\).\N\NThe coefficients \(a_{kl}:\Omega\to\mathbb{R}\), \(c_k:\Omega\to\mathbb{R}\), \(b_k:\Omega\to\mathbb{C}\) and \(c: \Omega\to\mathbb{C}\) are bounded measurable functions. The assumptions\N\begin{itemize}\N\item \(\Re \sum a_{kl} \xi_k \overline\xi_l \geq |\xi|^2\)\N\item \(\mathcal{A}(u)=0\) for \(u\in H_0^1(\Omega)\) \(\Leftrightarrow\) \(u=0\)\N\end{itemize}\Nare made. No further assumptions are needed on the operator \(\mathcal{A}\).\N\NGiven continuous boundary values \(\phi\in C(\partial\Omega)\) the Dirichlet probem consists in constructing an \(\mathcal{A}\)-harmonic function \(u\in H_{loc}^1(\Omega)\) such that ``\(u|_{\partial\Omega}=\phi\)'' in some convenient sense.\NIf the boundary \(\partial\Omega\) is irregular, a solution \(u\in C(\overline\Omega)\) with \(u|_{\partial\Omega}=\phi\) cannot always exist, i. e., continuity up to the boundary fails.\NThe authors define a (unique) solution, which they call ``the Perron solution'', by abuse of notion. For the ordinary Laplace equation, it becomes the proper Perron solution. \NA re…
reviewed by: Peter Lindqvist
Mathematics Subject Classification ID: 31B25
Mathematics Subject Classification ID: 35J25
Mathematics Subject Classification ID: 46E35
Mathematics Subject Classification ID: 31C25
zbMATH DE Number: 7932322
zbMATH Keywords: Dirichlet's problem
zbMATH Keywords: boundary values
zbMATH Keywords: irregular boundary points
zbMATH Keywords: linear elliptic equation
MaRDI profile type: MaRDI publication profile
cites work: Q4954179
cites work: The Dirichlet problem by variational methods
cites work: Varying domains: Stability of the Dirichlet and the Poisson problem
cites work: Sectorial forms and degenerate differential operators
cites work: The Dirichlet problem without the maximum principle
cites work: Strict positivity for the principal eigenfunction of elliptic operators with various boundary conditions
cites work: The Dirichlet-to-Neumann operator via hidden compactness
cites work: Partial Differential Equations
cites work: Regularity in capacity and the Dirichlet Laplacian
cites work: Removable singularities for a Sobolev space
cites work: Q5777317
cites work: On the Hausdorff dimension of continuous functions belonging to Hölder and Besov spaces on fractal \(d\)-sets
cites work: Q5588796
cites work: Robin boundary value problems on arbitrary domains
cites work: Dirichlet problems on varying domains.
cites work: Q3764747
cites work: Hölder estimates for second-order operators on domains with rough boundary
cites work: Dirichlet forms and symmetric Markov processes
cites work: Q5713755
cites work: Q2394835
cites work: On Dirichlet's principle and Poincaré's méthode de balayage
cites work: Q4347092
cites work: Q5840497
cites work: On the solvability and stability of the Dirichlet problem
cites work: Q5725878
cites work: Q4386498
cites work: The Dirichlet Problem for Harmonic Functions
cites work: Q4674789
cites work: Eine neue Behandlung der ersten Randwertaufgabe für \(\Delta u = 0\).
cites work: Uniqueness of the approximative trace
cites work: Equivalence of weak Dirichlet's principle, the method of weak solutions and Perron's method towards classical solutions of Dirichlet's problem for harmonic functions
cites work: Le problème de Dirichlet pour les équations elliptiques du second ordre à coefficients discontinus
cites work: On the capacity of general Cantor sets
cites work: The trace to the boundary of Sobolev spaces on a snowflake
cites work: Certain notions in potential theory.
cites work: The Dirichlet problem.
cites work: Note on a paper of O. Perron.
DOI: 10.1007/S00208-023-02761-0
description: scientific article; zbMATH DE number 7932322