Sobolev spaces and elliptic theory on unbounded domains in R^n
Let \(\Omega\) be an open subset of \(\mathbb R^n\) and \(\varphi:\Omega\to\mathbb R\) be \(C^{\infty}\). The authors denote by \(L^p(\Omega,\varphi)\) the space of functions \(f:\Omega\to\mathbb C\) such that \(\int_{\Omega}|f|^pe^{-\varphi} dV<\infty,\) where \(dV\) is the Lebesgue measure on \(\mathbb C^n.\) The boundary \(b\Omega\) of \(\Omega\) is assumed to be at least Lipschitz. Six hypotheses on \(\Omega\) and \(\varphi\) are listed in Section 2: suitable subsets of them are used in the paper. Weighted differential operators are introduced (Section 2.2), namely: \[ X_j=\frac{\partial}{\partial x_j}-\frac{\partial\varphi}{\partial x_j}=e^{\varphi }\frac{\partial}{\partial x_j }e^{-\varphi}, \quad 1\leq j\leq n,\, \nabla_X=(X_1,\dots,X_n). \] Let \(Y_j=X_j \) or \(D_j(=\frac{\partial}{\partial x_j})\), take a nonnegative \(k\in\mathbb Z\). The weighted Sobolev spaces are defined as follows: \[ W^{k,p}(\Omega,\varphi;Y)=\{f\in L^p(\Omega,\varphi):Y^{\alpha}f\in L^p(\Omega,\varphi) \text{ for } |\alpha|\leq k\}, \] where \(\alpha=(\alpha_1,\dots,\alpha_n)\) is an \(n\)-tuple of non negative integers, \(Y^{\alpha}= Y_1^{\alpha_1},\dots,Y_n^{\alpha_n}\), associated with the norm \[ ||f||^p_{W^{k,p}(\Omega,\varphi;Y)}=\underset{|\alpha|\leq k}{\sum}||Y^{\alpha}f||^p_{L^p(\Omega,\varphi)}. \] The closure of the Schwartz space \(\mathcal D(\Omega),\) in the normed space \(W^{k,p}(\Omega,\varphi;Y),\) is denoted by \(W_o^{k,p}(\Omega,\varphi;Y).\) In the same way, weighted Sobolev spaces \(W^{k,p}(M,\varphi;T)\) are defined on the boundary \(M=b\Omega\). Fractional Besov spaces of the form \[ B^{s;p,q}(\Omega,\varphi,X)=(L^p(\Omega),W^{m,p}(\Omega,\varphi;X))_{s/m,q;J} \] and \[ B^{s;p,q}(M,\varphi,T)=(L^p(M),W^{m,p}(M,\varphi;T))_{s/m,q;J} \] are defined by means of the \(J\)-interpolation method (whose definition is recalled in the appendix of the paper), where \(0<s<\infty\), \(1\leq p,q\leq\infty\), and \(m\) is the smallest integer larger than \(s\) (Definition 6.2). Trace and extension theorems are stated. Embeddings results are also studied. In the second part of the paper, differential operators of the form \[ L=\sum_{j,k=1}^n X^*_j\, a_{jk}X_k+\sum_{j=1}^n (b_jX_j+X^*_jb^{\prime}_j)+b \] are considered, when \(p=2\). Here, \(a_{j,k},b_j, b^{\prime} _j,b\) are bounded functions on a neighborhood of \(\bar{\Omega}\). Associated to \(L\) is the Dirichlet form \(\mathfrak D\) given by \(\mathfrak D(v,u)=(v,Lu)_{\varphi}\) for all \(u,v\in\mathcal D(\Omega)\). Let \(\chi\) be a closed subspace of \(W^{1,2} (\Omega,\varphi;X)\) that contains \(W^{1,2}_o (\Omega,\varphi;X)\), \(\mathfrak D\) be a Dirichlet form that is coercive on \(\chi\) and \(f\in L^2(\Omega,\varphi).\) Existence, uniqueness, regularity of solutions \(u\in\chi\) of \(\mathfrak D(v,u)=(v,f)_{\varphi}\) for all \(v\in\chi\) are studied. When \(\mathfrak D\) is self-adjoint, it is proved that \(L^2(\Omega,\varphi)\) has a basis of eigenvectors. Traces of \(L\)-harmonic functions are also investigated.
- Closed range of \(\overline{\partial}\) in \(L^{2}\)-Sobolev spaces on unbounded domains in \(\mathbb{C}^n\)
- Global regularity and a priori estimation for elliptic operators on weighted Sobolev spaces
- Weighted Sobolev spaces for Laplace's equation in \(\mathbb{R}^ n\)
- Sobolev spaces \(W^{1,p}(\mathbb{R}^n,\gamma)\) weighted by the Gaussian normal distribution \(\gamma(x):=\frac{1}{\sqrt{\pi}^n}\exp (-|x|^2)\) and the spectral theory
- The Faber-Krahn inequality for the Hermite operator with Robin boundary conditions
- The de Rham complex on unbounded domains with Sobolev space topology
- Boundary invariants and the closed range property for \(\overline{\partial}\)
- scientific article; zbMATH DE number 1021778 (Why is no real title available?)
- On bounded positive stationary solutions for a nonlocal Fisher-KPP equation
- Function spaces on singular manifolds
- Strong closed range estimates: necessary conditions and applications
- Sobolev spaces with weights in domains and boundary value problems for degenerate elliptic equations
- On a conjectural symmetric version of Ehrhard's inequality
This page was built for publication: Sobolev spaces and elliptic theory on unbounded domains in \(\mathbb{R}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016126)