Current browse context:
math
Change to browse by:
References & Citations
Mathematics > Analysis of PDEs
Title: Resolvents for fractional-order operators with nonhomogeneous local boundary conditions
(Submitted on 29 Nov 2021 (v1), last revised 20 Dec 2022 (this version, v3))
Abstract: For $2a$-order strongly elliptic operators $P$ generalizing $(-\Delta )^a$, $0<a<1$, the treatment of the homogeneous Dirichlet problem on a bounded open set $\Omega \subset R^n$ by pseudodifferential methods, has been extended in a recent joint work with Helmut Abels to nonsmooth settings, showing regularity theorems in $L_q$-Sobolev spaces $H_q^s$ for $1<q<\infty $, when $\Omega $ is $C^{\tau +1}$ with a finite $\tau >2a$. Presently, we study the $L_q$-Dirichlet realizations of $P$ and $P^*$, showing invertibility or Fredholmness, finding smoothness results for the kernels and cokernels, and establishing similar results for $P-\lambda I$, $\lambda \in C$. The solution spaces equal $a$-transmission spaces $H_q^{a(s+2a)}(\bar\Omega)$.
Similar results are shown for nonhomogeneous Dirichlet problems, prescribing the local Dirichlet trace $(u/d^{a-1})|_{\partial\Omega }$, $d(x)=dist(x,\partial\Omega)$. They are solvable in the larger spaces $H_q^{(a-1)(s+2a)}(\bar\Omega)$. Moreover, the nonhomogeneous problem with a spectral parameter $\lambda \in C$, $$
Pu-\lambda u = f \text { in }\Omega ,\quad u=0 \text { in }R^n\setminus \Omega ,\quad
(u/d^{a-1 })|_{\partial\Omega }=\varphi \text{ on }\partial\Omega , $$ is for $q<(1-a)^{-1}$ shown to be uniquely resp. Fredholm solvable when $\lambda $ is in the resolvent set resp. the spectrum of the $L_2$-Dirichlet realization.
Finally, we show solvability results for evolution problems $Pu+d_tu= f(x,t)$ in $L_2$ and $L_q$-based spaces over $C^{1+\tau}$-domains, including nonhomogeneous local boundary conditions.
Submission history
From: Gerd Grubb [view email][v1] Mon, 29 Nov 2021 18:15:33 GMT (54kb)
[v2] Tue, 16 Aug 2022 13:57:22 GMT (49kb)
[v3] Tue, 20 Dec 2022 09:44:45 GMT (48kb)
Link back to: arXiv, form interface, contact.