scientific article; zbMATH DE number 1348454

Publication date 5 October 1999

abstract Sobolev spaces Banach function spaces imbedding theorem Orlicz-Sobolev spaces rearrangement invariant

Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35)

Review text

This paper is dedicated to an imbedding theorem for abstract Sobolev spaces. The main theorem extends a previous result due to Donaldson and Trudinger in 1971 and gives more concrete results then the imbedding theorems presented by Krbec, Opic Pick and Rakosnik in a similar setting. For better informations of the reader we give the statement of this result: Let \(n\geq 2\) and \(\Omega\) be a domain from \({\mathbb R}^n\) having the cone property; let \(\rho\) be a function norm and \(B\) an \(N-\)function such that: (1) \(L_B(\Omega)\rightarrow L_{\rho}(\Omega)\). 1. If (2) \(\int_1^{\infty}B^{-1}(t)t^{-(n+1)/n}dt=\infty\), then \(W^1L_{\rho}(\Omega)\rightarrow L_{B_*}(\Omega)\) and \(W^1L_{\rho}^a(\Omega)\rightarrow E_{B_*}(\Omega)\), where \(B_*^{-1}(t)=\int_0^tB^{-1}(\tau){\tau}^{(n+1)/n}d{\tau}\). Moreover, if \(B_1\) is any \(N-\)function increasing essentially more slowly near infinity than \(B_*\) does, then the imbedding \(W^1L_A(\Omega)\rightarrow L_{B_1}(\Omega)\) is compact. 2. If \({\rho}\) is a rearrangement invariant and if (3) \(\int_1^{\infty}B^{-1}(t)t^{-(n+1)/n}dt<\infty\), then \(W^1L_{\rho}^a\rightarrow C_B^0(\Omega)\). We think that the result is interesting for those working in the area.

Recommendations

Cited in

(15)

This page was built for publication:

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