Regularity results for the best-Sobolev-constant function (Q495617): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s10231-014-0425-3 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S10231-014-0425-3 / rank
 
Normal rank

Latest revision as of 19:24, 9 December 2024

scientific article
Language Label Description Also known as
English
Regularity results for the best-Sobolev-constant function
scientific article

    Statements

    Regularity results for the best-Sobolev-constant function (English)
    0 references
    0 references
    14 September 2015
    0 references
    Let \(\Omega\) be a bounded, smooth domain of \(\mathbb R^N\), \(1<p<N\) and \(p^*=\frac{Np}{N-p}\). This paper deals with new regularity results for the best Sobolev constant defined by \[ q\in[1,p^*]\to \lambda_q=\inf\{\frac{||\nabla u||_p^p}{||u||^p_q}:u\in W^{1,p}_o(\Omega)\backslash{0}\}, \] where \(||\overset{.}{~}||_s\) denotes the usual norm in \(L^s(\Omega)\). Let \[ E_q=\{u\in W^{1,p}_o(\Omega):||u||_q=1\text{ and } ||\nabla u||_p=\root p\of{\lambda_q}\} \] be the set of the \(L^q\)-normalized extremal functions corresponding to \(\lambda_q\). In the abstract, the author writes: ``In this paper, we prove that the derivative \(\lambda_q^{\prime}\) exists if and only if the functional \[ I_q (u)=\int_{\Omega}|u|^q \log |u| dx \] is constant on \(E_q\). Moreover, we prove that the existence of \(\lambda^{\prime}_q\) is also equivalent to the continuity, at \(q\), of the function \(s\in [1,p^*)\to I_s(u_s)\), where \(u_s\) is any function in \(E_s\). It follows from these results that \(\lambda_q^{\prime}\) exists and is continuous if \(q\in [1,p]\) and \(\Omega\) is a general bounded domain and also if \(q \in (p,p^*)\) and \(\Omega\) is a ball. After deriving some estimates for \(I_q(u_q)\), we also prove, under an expected asymptotic behavior of \(u_q\) as \(q\to p^*\), that \(\lambda_q\) is \(\alpha\)-Hölder continuous in \([1,p^*]\) for any \(0<\alpha<1\). As a consequence, this Hölder regularity holds for a general bounded domain \(\Omega\) when \(p=2\) and also for a ball when \(p>1\).''
    0 references
    0 references
    best-Sobolev-constant\ function
    0 references
    \(p\)-Laplacian
    0 references
    Sobolev immersion
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references