On the Sobolev embedding theorem for variable exponent spaces in the critical range (Q439115): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(\Omega\) be an open subset of the Euclidean space \(\mathbb{R}^N\), where \(N\) is a positive integer, and let \(p(x)\), \(q(x)\), \(x\in\Omega\), be variable Lebesgue space exponents with conjugate exponents \(p'(x)\), \(q'(x)\), defined by \(p'(x)= p(x)/(p(x)-1)\), and critical exponents defined by \(p^*(x)= Np(x)/(N- p(x))\) if \(p(x)< N\), \(p^*(x)=\infty\) if \(p(x)\geq N\). The variable exponent Lebesgue space \(L^{p(.)}(\Omega)\) with norm \(\|.\|_{p(.)}\) and the variable exponent Sobolev space \(W^{1,p(.)}(\Omega)\) with norm \(\|.\|_{Wp(.)}\) are defined by \[ L^{p(.)}(\Omega)= \Biggl\{u\text{ locally integrable}: \int_\Omega|u(x)|^{p(x)} dx< \infty\Biggr\}, \] \[ \| u\|_{p(.)}= \text{inf}\Biggl\{\lambda> 0: \int_\Omega |u(x)/\lambda|^{p(x)} dx\leq 1\Biggr\}, \] \[ W^{1,p(.)}(\Omega)= \{u\text{ locally integrable}: u\in L^{p(.)}(\Omega),\;|\nabla(u)|\in L^{p(.)}(\Omega)\}, \] \(\| u\|_{Wp(.)}=\| u\|_{p(.)}+ \|\nabla(u)\|_{p(.)}\), where \(\nabla\) is the gradient operator. The Raleigh quotient \(Q_{p,q,\Omega}(v)\), the Sobolev immersion constant \(S(p(.),q(.),\Omega)\), the localized Sobolev constant \(\overline S_x\), \(x\in\Omega\), the critical constant \(\overline S\), and the Sobolev constant for constant exponents \(K^{-1}_r\), are defined by \[ Q_{p(), q(),\Omega}(v)= \| v\|^{-1}_{q(.)}\|\nabla(v)\|_{p(.)}; \] \[ S(p(.),q(.),\Omega)= \text{inf}\{Q_{p(),q(),\Omega}(v),\, v\in w^{1,p(.)}_0(\Omega)\}; \] \[ S_x= \lim_{\varepsilon\to 0} S(p(),q(), B_\varepsilon(x)); \] \[ \overline S= \underset{x\in{\mathcal A}}{}{\text{inf}}\overline S_x,\;{\mathcal A}= \{x\in \Omega: q(x)= p^*(x), \;p(x)< N\}; \] \[ K^{-1}_r= \text{inf}\{Q_{p,q,\mathbb{R}^n}(v):v\in C^\infty(\mathbb{R}^n)\}. \] The main theorems of this paper include the statements that: if \(p(x)\geq 1\), \(q(x)\geq 1\), \(x\in\Omega\), with moduli of continuity which satisfy \(\rho(t)\log 1/t\to 0\) as \(t\to 0\), then \[ S(p(),q(),\Omega)<\overline S<\text{inf}\{K^{-1}_r:\{p_{\mathcal {A}^+} \leq r \leq p_{\mathcal {A}^-}\}, \] where \(p_{{\mathcal A}^-}= \text{inf}_{x\in{\mathcal A}} p(x)\), \(p_{{\mathcal A}^+}= \sup_{x\in{\mathcal A}} p(x)\). | |||
Property / review text: Let \(\Omega\) be an open subset of the Euclidean space \(\mathbb{R}^N\), where \(N\) is a positive integer, and let \(p(x)\), \(q(x)\), \(x\in\Omega\), be variable Lebesgue space exponents with conjugate exponents \(p'(x)\), \(q'(x)\), defined by \(p'(x)= p(x)/(p(x)-1)\), and critical exponents defined by \(p^*(x)= Np(x)/(N- p(x))\) if \(p(x)< N\), \(p^*(x)=\infty\) if \(p(x)\geq N\). The variable exponent Lebesgue space \(L^{p(.)}(\Omega)\) with norm \(\|.\|_{p(.)}\) and the variable exponent Sobolev space \(W^{1,p(.)}(\Omega)\) with norm \(\|.\|_{Wp(.)}\) are defined by \[ L^{p(.)}(\Omega)= \Biggl\{u\text{ locally integrable}: \int_\Omega|u(x)|^{p(x)} dx< \infty\Biggr\}, \] \[ \| u\|_{p(.)}= \text{inf}\Biggl\{\lambda> 0: \int_\Omega |u(x)/\lambda|^{p(x)} dx\leq 1\Biggr\}, \] \[ W^{1,p(.)}(\Omega)= \{u\text{ locally integrable}: u\in L^{p(.)}(\Omega),\;|\nabla(u)|\in L^{p(.)}(\Omega)\}, \] \(\| u\|_{Wp(.)}=\| u\|_{p(.)}+ \|\nabla(u)\|_{p(.)}\), where \(\nabla\) is the gradient operator. The Raleigh quotient \(Q_{p,q,\Omega}(v)\), the Sobolev immersion constant \(S(p(.),q(.),\Omega)\), the localized Sobolev constant \(\overline S_x\), \(x\in\Omega\), the critical constant \(\overline S\), and the Sobolev constant for constant exponents \(K^{-1}_r\), are defined by \[ Q_{p(), q(),\Omega}(v)= \| v\|^{-1}_{q(.)}\|\nabla(v)\|_{p(.)}; \] \[ S(p(.),q(.),\Omega)= \text{inf}\{Q_{p(),q(),\Omega}(v),\, v\in w^{1,p(.)}_0(\Omega)\}; \] \[ S_x= \lim_{\varepsilon\to 0} S(p(),q(), B_\varepsilon(x)); \] \[ \overline S= \underset{x\in{\mathcal A}}{}{\text{inf}}\overline S_x,\;{\mathcal A}= \{x\in \Omega: q(x)= p^*(x), \;p(x)< N\}; \] \[ K^{-1}_r= \text{inf}\{Q_{p,q,\mathbb{R}^n}(v):v\in C^\infty(\mathbb{R}^n)\}. \] The main theorems of this paper include the statements that: if \(p(x)\geq 1\), \(q(x)\geq 1\), \(x\in\Omega\), with moduli of continuity which satisfy \(\rho(t)\log 1/t\to 0\) as \(t\to 0\), then \[ S(p(),q(),\Omega)<\overline S<\text{inf}\{K^{-1}_r:\{p_{\mathcal {A}^+} \leq r \leq p_{\mathcal {A}^-}\}, \] where \(p_{{\mathcal A}^-}= \text{inf}_{x\in{\mathcal A}} p(x)\), \(p_{{\mathcal A}^+}= \sup_{x\in{\mathcal A}} p(x)\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: George O. Okikiolu / 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: 35B33 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6062698 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sobolev embedding | |||
Property / zbMATH Keywords: Sobolev embedding / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
variable exponents | |||
Property / zbMATH Keywords: variable exponents / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
critical exponents | |||
Property / zbMATH Keywords: critical exponents / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
concentration compactness | |||
Property / zbMATH Keywords: concentration compactness / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963851458 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1111.6952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence theory for functional \(p\)-Laplacian equations with variable exponents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Variable Exponent, Linear Growth Functionals in Image Restoration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lebesgue and Sobolev spaces with variable exponents / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Retracted: Nonlinear eigenvalue problems in Sobolev spaces with variable exponent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of solutions for \(p(x)\)-Laplacian Dirichlet problem. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the spaces \(L^{p(x)}(\Omega)\) and \(W^{m,p(x)}(\Omega)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The concentration-compactness principle for variable exponent spaces and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The principle of concentration compactness in \(L^{p(x)}\) spaces and its application / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4021390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3767853 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elliptic problems in variable exponent spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact embeddings for Sobolev spaces of variable exponents and existence of solutions for nonlinear elliptic problems involving the p(x)-Laplacian and its critical exponent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Electrorheological fluids: modeling and mathematical theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiple Solutions for the p(x)− Laplace Operator with Critical Growth / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:00, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Sobolev embedding theorem for variable exponent spaces in the critical range |
scientific article |
Statements
On the Sobolev embedding theorem for variable exponent spaces in the critical range (English)
0 references
1 August 2012
0 references
Let \(\Omega\) be an open subset of the Euclidean space \(\mathbb{R}^N\), where \(N\) is a positive integer, and let \(p(x)\), \(q(x)\), \(x\in\Omega\), be variable Lebesgue space exponents with conjugate exponents \(p'(x)\), \(q'(x)\), defined by \(p'(x)= p(x)/(p(x)-1)\), and critical exponents defined by \(p^*(x)= Np(x)/(N- p(x))\) if \(p(x)< N\), \(p^*(x)=\infty\) if \(p(x)\geq N\). The variable exponent Lebesgue space \(L^{p(.)}(\Omega)\) with norm \(\|.\|_{p(.)}\) and the variable exponent Sobolev space \(W^{1,p(.)}(\Omega)\) with norm \(\|.\|_{Wp(.)}\) are defined by \[ L^{p(.)}(\Omega)= \Biggl\{u\text{ locally integrable}: \int_\Omega|u(x)|^{p(x)} dx< \infty\Biggr\}, \] \[ \| u\|_{p(.)}= \text{inf}\Biggl\{\lambda> 0: \int_\Omega |u(x)/\lambda|^{p(x)} dx\leq 1\Biggr\}, \] \[ W^{1,p(.)}(\Omega)= \{u\text{ locally integrable}: u\in L^{p(.)}(\Omega),\;|\nabla(u)|\in L^{p(.)}(\Omega)\}, \] \(\| u\|_{Wp(.)}=\| u\|_{p(.)}+ \|\nabla(u)\|_{p(.)}\), where \(\nabla\) is the gradient operator. The Raleigh quotient \(Q_{p,q,\Omega}(v)\), the Sobolev immersion constant \(S(p(.),q(.),\Omega)\), the localized Sobolev constant \(\overline S_x\), \(x\in\Omega\), the critical constant \(\overline S\), and the Sobolev constant for constant exponents \(K^{-1}_r\), are defined by \[ Q_{p(), q(),\Omega}(v)= \| v\|^{-1}_{q(.)}\|\nabla(v)\|_{p(.)}; \] \[ S(p(.),q(.),\Omega)= \text{inf}\{Q_{p(),q(),\Omega}(v),\, v\in w^{1,p(.)}_0(\Omega)\}; \] \[ S_x= \lim_{\varepsilon\to 0} S(p(),q(), B_\varepsilon(x)); \] \[ \overline S= \underset{x\in{\mathcal A}}{}{\text{inf}}\overline S_x,\;{\mathcal A}= \{x\in \Omega: q(x)= p^*(x), \;p(x)< N\}; \] \[ K^{-1}_r= \text{inf}\{Q_{p,q,\mathbb{R}^n}(v):v\in C^\infty(\mathbb{R}^n)\}. \] The main theorems of this paper include the statements that: if \(p(x)\geq 1\), \(q(x)\geq 1\), \(x\in\Omega\), with moduli of continuity which satisfy \(\rho(t)\log 1/t\to 0\) as \(t\to 0\), then \[ S(p(),q(),\Omega)<\overline S<\text{inf}\{K^{-1}_r:\{p_{\mathcal {A}^+} \leq r \leq p_{\mathcal {A}^-}\}, \] where \(p_{{\mathcal A}^-}= \text{inf}_{x\in{\mathcal A}} p(x)\), \(p_{{\mathcal A}^+}= \sup_{x\in{\mathcal A}} p(x)\).
0 references
Sobolev embedding
0 references
variable exponents
0 references
critical exponents
0 references
concentration compactness
0 references
0 references