Dilation invariant estimates and the boundary Gårding inequality for higher order elliptic operators (Q1895825): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Gregory C. Verchota / rank | |||
Property / author | |||
Property / author: Gregory C. Verchota / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/2118610 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2071790509 / rank | |||
Normal rank |
Latest revision as of 23:53, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dilation invariant estimates and the boundary Gårding inequality for higher order elliptic operators |
scientific article |
Statements
Dilation invariant estimates and the boundary Gårding inequality for higher order elliptic operators (English)
0 references
6 September 1995
0 references
The Dirichlet problem for \(Lu=0\) with data in \(L^2(\partial \Omega,d \sigma)\) or the Sobolev space \(L^2_1(\partial \Omega,d \sigma)\) is solved for all real homogeneous constant coefficient elliptic operators \(L=\sum_{|\alpha|=2m} a_\alpha D^\alpha\), \(m\in \mathbb{N}\), in bounded Lipschitz domains \(\Omega\subseteq \mathbb{R}^n\). Then, a perturbation technique due to Dahlberg and Kenig immediately implies solvability in \(L^p\) and \(L^p_1\) for \(2-\varepsilon <p<2+\varepsilon\) where \(\varepsilon>0\) depends on the Lipschitz character of \(\Omega\), \(m,n\), and the ellipticity constant associated with \(L\). The central question we are addressing here is what exactly does ellipticity (in the homogeneous case) imply about dilation invariant estimates near the boundary for solutions to the Dirichlet problem. Our Theorems provide a complete answer in the following sense. For any \(p\neq 2\) it is possible to find an \(m\), an \(n\), and a bounded Lipschitz domain in \(\mathbb{R}^n\) so that the Dirichlet problem is not solvable for data in \(L^p\) (and \(L^p_1)\) for \(L\) of order \(2m\). However, for a given \(m\) or \(n\) the situation is more complicated. All of the previous methods for solving boundary value problems for higher order operators on Lipschitz (or \({\mathcal C}^1)\) boundaries relied on special algebraic properties of the operators in question, namely that they were powers of second order operators. In this paper our main contribution is to overcome the difficulties in relaxing this assumption. Our approach is to obtain a priori dilation invariant estimates for known solutions in smooth domains and then to obtain the same estimates together with point-wise limits at the boundary in Lipschitz domains by an approximation argument. The two main tools used to do this are some new Rellich inequalities and the representation of solutions by means of layer potentials.
0 references
\(L^ p\)-Dirichlet problem
0 references
a priori dilation invariant estimates
0 references
Rellich inequalities
0 references
layer potentials
0 references