Some properties of anisotropic Sobolev spaces

From MaRDI portal
Publication:1590719





Motivated by the study of the equations of ideal Magneto-hydrodynamics with perfectly conducting wall boundary condition, the author introduces and investigates three types of anisotropic Sobolev spaces of integer order \(m\) on \(\Omega\), where is either \(\mathbb R^n_+\) or a bounded subset of \(\mathbb R^n\). Assume first \(\Omega =\mathbb R^n_+\) and let \(\sigma\) be a smooth one variable function which is increasing, \(\sigma (x_1)=x_1\) in a neighbourhood of the origin, and \(\sigma (x_1)=1\) for \(x_1\) large enough. For a multi-index \(\alpha =(\alpha _1,\dots,\alpha _n)\) let \[ \partial^{\alpha}_*= (\sigma (x_1)\partial _1)^{\alpha _1}\partial _2^{\alpha _2}\cdots \partial _n^{\alpha _n}. \] Given \(m\geq 1\), the space \(H^m_*(\Omega)\) is defined as the set of functions \(u\in L_2(\Omega)\) such that \(\partial^{\alpha}_*\partial ^k_1u\in L_2(\Omega)\) if \(|\alpha |+2k\leq m\) and it is normed by \[ \|u\|_{m,*}^2=\sum _{|\alpha |+2k\leq m} \|\partial^{\alpha}_*\partial ^k_1u\|^2. \] The space \(H^m_{**}(\Omega)\) consists of the functions \(u\in L_2(\Omega)\) such that \(\partial^{\alpha}_*\partial ^k_1u\in L_2(\Omega)\) if \(|\alpha |+2k\leq m+1\), \(|\alpha |\leq m\), and it is normed by \[ \|u\|_{m,**}^2=\sum _{\alpha , k} \|\partial^{\alpha}_*\partial ^k_1 u \|^2 \] where the sum is taken over all multi-indices \(\alpha\) and indices \(k\) such that \(|\alpha |+2k\leq m+1\), \(|\alpha |\leq m\). The space \(H^m_{***}(\Omega)\) consists of the functions \(u\in L_2(\Omega)\) such that \(\partial^{\alpha}_*\partial ^k_1u\in L_2(\Omega)\) if \(|\alpha |\leq m\) and if \(|\alpha |+2k\leq m+2\) for \(k\geq 2\), \(|\alpha |+2k\leq m+1\) for \(k=1\), and it is normed by \[ \|u\|_{m,***}^2=\sum _{\alpha , k} \|\partial^{\alpha}_*\partial ^k_1u\|^2 \] where the sum is taken over all multi-indices \(\alpha\) and indices \(k\) such that \(|\alpha |\leq m\) and \(|\alpha |+2k\leq m+2\) for \(k\geq 2\), \(|\alpha |+2k\leq m+1\) for \(k=1\). If \(\Omega\) is a bounded open subset of \(\mathbb R^n\) with \(C^{\infty}\) boundary then the above spaces are defined via tangential vector fields. The aim of the paper is to present some properties of these function spaces such as: multiplication, embeddings and compact embeddings, trace results. It is announced that these properties, which provide basic tools for calculations, will be used in two forthcoming papers of the author.




Cited in
(33)








This page was built for publication: Some properties of anisotropic Sobolev spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1590719)