Sobolev type inequalities for rearrangement invariant spaces (Q409292): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Sobolev inequalities in the setting of the rearrangement invariant spaces of integrable functions (r.i.) have been studied largely in the last twenty years. In particular, the analysis of when two r.i. norms \(\| \cdot\|_X\) and \(\| \cdot\|_Y\) -- the spaces \(X\) and \(Y\) being r.i. spaces over \([0,1]\) -- satisfy that the inequality \[ \|u\|_X \leq C \| | \nabla u | \|_Y \] holds for the adequate functions \(u\), is nowadays well known. Refinements of this inequality, affecting both the r.i. norms involved and the expression appearing in the inequality, are also known, and the rather sophisticated procedures for showing them have been proved to be very productive. In this paper, the authors go further in this direction, analysing the optimal version of the Sobolev type inequality \[ \|u\|_X \leq C \Big\| t \mapsto \int_{\Omega(u,t)} | \nabla u (x) | \alpha(u,x)^{-1/n'} dx \Big\|_X, \] where \(n'\) is the conjugate number of \(n\), \(\Omega(u,t):= \{z \in \Omega: 0 < |u(z)| \leq u^*(t)\}\) and the function \(\alpha\) is defined to be \(m_n( \{ z \in \Omega: |u(z)| \geq |u(x)| \})\) if \(u(x) \neq 0\) and as \(0\) otherwise. Here, \(\Omega \subset \mathbb{R}^n\), and \(m_n\) is Lebesgue measure, which is supposed to satisfy \(m_n(\Omega)=1\). In Theorem 2, the authors prove that this inequality holds for every r.i. space \(X\) on \([0,1]\). This version of the inequality comes from the formula that appears in the optimal r.i. version of the Sobolev inequality written above for the case of \(X=Y \subseteq L^{n',1}([0,1])\), where the last space is the Lorentz space of indices \(n'\) and \(1\) on the Lebesgue measure space \([0,1]\). For finding optimal inequalities associated to the one above, the authors center their attention on the function \[ t \in [0,1] \mapsto u_\nabla(t):=\int_{\{x \in \Omega: |u(x)| > u^*(t) \}} | \nabla u(x)| dx, \] obtaining in Theorem 7 a Sobolev type inequality in which the derivative of this function appears. For instance, as an application of this inequality in Proposition 9 it is proved that for the kernel operator \(T\) given by \(T(f)(t):= \int_t^1 f(s) s^{-1/n'} ds\), if \(X\) is any r.i. space and \([T,X]\) is the optimal domain for \(T\), then there exists a constant \(K>0\) such that \[ \|u\|_{[T,X]} \leq K \Big\| \frac{d}{dt} u_\nabla \Big\|_{[T,X]}, \quad u \in C^1_0(\Omega). \] In Section 5, comparison with other known Sobolev type inequalities is also provided. | |||
Property / review text: Sobolev inequalities in the setting of the rearrangement invariant spaces of integrable functions (r.i.) have been studied largely in the last twenty years. In particular, the analysis of when two r.i. norms \(\| \cdot\|_X\) and \(\| \cdot\|_Y\) -- the spaces \(X\) and \(Y\) being r.i. spaces over \([0,1]\) -- satisfy that the inequality \[ \|u\|_X \leq C \| | \nabla u | \|_Y \] holds for the adequate functions \(u\), is nowadays well known. Refinements of this inequality, affecting both the r.i. norms involved and the expression appearing in the inequality, are also known, and the rather sophisticated procedures for showing them have been proved to be very productive. In this paper, the authors go further in this direction, analysing the optimal version of the Sobolev type inequality \[ \|u\|_X \leq C \Big\| t \mapsto \int_{\Omega(u,t)} | \nabla u (x) | \alpha(u,x)^{-1/n'} dx \Big\|_X, \] where \(n'\) is the conjugate number of \(n\), \(\Omega(u,t):= \{z \in \Omega: 0 < |u(z)| \leq u^*(t)\}\) and the function \(\alpha\) is defined to be \(m_n( \{ z \in \Omega: |u(z)| \geq |u(x)| \})\) if \(u(x) \neq 0\) and as \(0\) otherwise. Here, \(\Omega \subset \mathbb{R}^n\), and \(m_n\) is Lebesgue measure, which is supposed to satisfy \(m_n(\Omega)=1\). In Theorem 2, the authors prove that this inequality holds for every r.i. space \(X\) on \([0,1]\). This version of the inequality comes from the formula that appears in the optimal r.i. version of the Sobolev inequality written above for the case of \(X=Y \subseteq L^{n',1}([0,1])\), where the last space is the Lorentz space of indices \(n'\) and \(1\) on the Lebesgue measure space \([0,1]\). For finding optimal inequalities associated to the one above, the authors center their attention on the function \[ t \in [0,1] \mapsto u_\nabla(t):=\int_{\{x \in \Omega: |u(x)| > u^*(t) \}} | \nabla u(x)| dx, \] obtaining in Theorem 7 a Sobolev type inequality in which the derivative of this function appears. For instance, as an application of this inequality in Proposition 9 it is proved that for the kernel operator \(T\) given by \(T(f)(t):= \int_t^1 f(s) s^{-1/n'} ds\), if \(X\) is any r.i. space and \([T,X]\) is the optimal domain for \(T\), then there exists a constant \(K>0\) such that \[ \|u\|_{[T,X]} \leq K \Big\| \frac{d}{dt} u_\nabla \Big\|_{[T,X]}, \quad u \in C^1_0(\Omega). \] In Section 5, comparison with other known Sobolev type inequalities is also provided. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 26D10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6023489 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sobolev inequality | |||
Property / zbMATH Keywords: Sobolev inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rearrangement invariant space | |||
Property / zbMATH Keywords: rearrangement invariant space / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Enrique Alfonso Sánchez-Pérez / 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.1007/s11117-010-0097-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2036620724 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5318420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039801 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sobolev embeddings into BMO, VMO, and \(L_{\infty}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal domains for the kernel operator associated with Sobolev's inequality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactness properties of Sobolev imbeddings for rearrangement invariant norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Can optimal rearrangement invariant Sobolev imbeddings be further extended? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal Sobolev imbeddings involving rearrangement-invariant quasinorms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polar factorization and pseudo-rearrangements: applications to Pólya-Szegö type inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Optimal Sobolev imbeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Directional derivative of the increasing rearrangement mapping and application to a queer differential equation in plasma physics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4839442 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:18, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sobolev type inequalities for rearrangement invariant spaces |
scientific article |
Statements
Sobolev type inequalities for rearrangement invariant spaces (English)
0 references
12 April 2012
0 references
Sobolev inequalities in the setting of the rearrangement invariant spaces of integrable functions (r.i.) have been studied largely in the last twenty years. In particular, the analysis of when two r.i. norms \(\| \cdot\|_X\) and \(\| \cdot\|_Y\) -- the spaces \(X\) and \(Y\) being r.i. spaces over \([0,1]\) -- satisfy that the inequality \[ \|u\|_X \leq C \| | \nabla u | \|_Y \] holds for the adequate functions \(u\), is nowadays well known. Refinements of this inequality, affecting both the r.i. norms involved and the expression appearing in the inequality, are also known, and the rather sophisticated procedures for showing them have been proved to be very productive. In this paper, the authors go further in this direction, analysing the optimal version of the Sobolev type inequality \[ \|u\|_X \leq C \Big\| t \mapsto \int_{\Omega(u,t)} | \nabla u (x) | \alpha(u,x)^{-1/n'} dx \Big\|_X, \] where \(n'\) is the conjugate number of \(n\), \(\Omega(u,t):= \{z \in \Omega: 0 < |u(z)| \leq u^*(t)\}\) and the function \(\alpha\) is defined to be \(m_n( \{ z \in \Omega: |u(z)| \geq |u(x)| \})\) if \(u(x) \neq 0\) and as \(0\) otherwise. Here, \(\Omega \subset \mathbb{R}^n\), and \(m_n\) is Lebesgue measure, which is supposed to satisfy \(m_n(\Omega)=1\). In Theorem 2, the authors prove that this inequality holds for every r.i. space \(X\) on \([0,1]\). This version of the inequality comes from the formula that appears in the optimal r.i. version of the Sobolev inequality written above for the case of \(X=Y \subseteq L^{n',1}([0,1])\), where the last space is the Lorentz space of indices \(n'\) and \(1\) on the Lebesgue measure space \([0,1]\). For finding optimal inequalities associated to the one above, the authors center their attention on the function \[ t \in [0,1] \mapsto u_\nabla(t):=\int_{\{x \in \Omega: |u(x)| > u^*(t) \}} | \nabla u(x)| dx, \] obtaining in Theorem 7 a Sobolev type inequality in which the derivative of this function appears. For instance, as an application of this inequality in Proposition 9 it is proved that for the kernel operator \(T\) given by \(T(f)(t):= \int_t^1 f(s) s^{-1/n'} ds\), if \(X\) is any r.i. space and \([T,X]\) is the optimal domain for \(T\), then there exists a constant \(K>0\) such that \[ \|u\|_{[T,X]} \leq K \Big\| \frac{d}{dt} u_\nabla \Big\|_{[T,X]}, \quad u \in C^1_0(\Omega). \] In Section 5, comparison with other known Sobolev type inequalities is also provided.
0 references
Sobolev inequality
0 references
rearrangement invariant space
0 references
0 references