{"title":"The best constant for 𝐿^{∞}-type Gagliardo-Nirenberg inequalities","authors":"Jian-Guo Liu, Jinhuan Wang","doi":"10.1090/qam/1645","DOIUrl":null,"url":null,"abstract":"<p>In this paper we derive the best constant for the following <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper L Superscript normal infinity\">\n <mml:semantics>\n <mml:msup>\n <mml:mi>L</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:mrow>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">L^{\\infty }</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-type Gagliardo-Nirenberg interpolation inequality <disp-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-vertical-bar u double-vertical-bar Subscript upper L Sub Superscript normal infinity Subscript Baseline less-than-or-equal-to upper C Subscript q comma normal infinity comma p Baseline double-vertical-bar u double-vertical-bar Subscript upper L Sub Superscript q plus 1 Subscript Superscript 1 minus theta Baseline double-vertical-bar nabla u double-vertical-bar Subscript upper L Sub Superscript p Subscript Superscript theta Baseline comma theta equals StartFraction p d Over d p plus left-parenthesis p minus d right-parenthesis left-parenthesis q plus 1 right-parenthesis EndFraction comma\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mi>u</mml:mi>\n <mml:msub>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mi>L</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:mrow>\n </mml:msup>\n </mml:mrow>\n </mml:msub>\n <mml:mo>≤<!-- ≤ --></mml:mo>\n <mml:msub>\n <mml:mi>C</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>p</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mi>u</mml:mi>\n <mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mi>L</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>1</mml:mn>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mi>θ<!-- θ --></mml:mi>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mi mathvariant=\"normal\">∇<!-- ∇ --></mml:mi>\n <mml:mi>u</mml:mi>\n <mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mi>L</mml:mi>\n <mml:mi>p</mml:mi>\n </mml:msup>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>θ<!-- θ --></mml:mi>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo>,</mml:mo>\n <mml:mspace width=\"1em\" />\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mfrac>\n <mml:mrow>\n <mml:mi>p</mml:mi>\n <mml:mi>d</mml:mi>\n </mml:mrow>\n <mml:mrow>\n <mml:mi>d</mml:mi>\n <mml:mi>p</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>p</mml:mi>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mi>d</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>q</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n </mml:mfrac>\n <mml:mo>,</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\begin{equation*} \\|u\\|_{L^{\\infty }}\\leq C_{q,\\infty ,p} \\|u\\|^{1-\\theta }_{L^{q+1}}\\|\\nabla u\\|^{\\theta }_{L^p},\\quad \\theta =\\frac {pd}{dp+(p-d)(q+1)}, \\end{equation*}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</disp-formula>\n where parameters <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q\">\n <mml:semantics>\n <mml:mi>q</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">q</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p\">\n <mml:semantics>\n <mml:mi>p</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">p</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> satisfy the conditions <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"p greater-than d greater-than-or-equal-to 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>p</mml:mi>\n <mml:mo>></mml:mo>\n <mml:mi>d</mml:mi>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">p>d\\geq 1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"q greater-than-or-equal-to 0\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>q</mml:mi>\n <mml:mo>≥<!-- ≥ --></mml:mo>\n <mml:mn>0</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">q\\geq 0</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The best constant <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper C Subscript q comma normal infinity comma p\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>C</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>p</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">C_{q,\\infty ,p}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is given by <disp-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper C Subscript q comma normal infinity comma p Baseline equals theta Superscript minus StartFraction theta Over p EndFraction Baseline left-parenthesis 1 minus theta right-parenthesis Superscript StartFraction theta Over p EndFraction Baseline upper M Subscript c Superscript minus StartFraction theta Over d EndFraction Baseline comma upper M Subscript c Baseline colon-equal integral Underscript double-struck upper R Superscript d Baseline Endscripts u Subscript c comma normal infinity Superscript q plus 1 Baseline d x comma\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>C</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>p</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo>=</mml:mo>\n <mml:msup>\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mfrac>\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:mi>p</mml:mi>\n </mml:mfrac>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:msup>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mfrac>\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:mi>p</mml:mi>\n </mml:mfrac>\n </mml:mrow>\n </mml:msup>\n <mml:msubsup>\n <mml:mi>M</mml:mi>\n <mml:mi>c</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mfrac>\n <mml:mi>θ<!-- θ --></mml:mi>\n <mml:mi>d</mml:mi>\n </mml:mfrac>\n </mml:mrow>\n </mml:msubsup>\n <mml:mo>,</mml:mo>\n <mml:mspace width=\"1em\" />\n <mml:msub>\n <mml:mi>M</mml:mi>\n <mml:mi>c</mml:mi>\n </mml:msub>\n <mml:mo>≔</mml:mo>\n <mml:msub>\n <mml:mo>∫<!-- ∫ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">R</mml:mi>\n </mml:mrow>\n <mml:mi>d</mml:mi>\n </mml:msup>\n </mml:mrow>\n </mml:msub>\n <mml:msubsup>\n <mml:mi>u</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>c</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n <mml:mo>+</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msubsup>\n <mml:mi>d</mml:mi>\n <mml:mi>x</mml:mi>\n <mml:mo>,</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\begin{equation*} C_{q,\\infty ,p}=\\theta ^{-\\frac {\\theta }{p}}(1-\\theta )^{\\frac {\\theta }{p}}M_c^{-\\frac {\\theta }{d}},\\quad M_c≔\\int _{\\mathbb {R}^d}u_{c,\\infty }^{q+1} dx, \\end{equation*}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</disp-formula>\n where <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"u Subscript c comma normal infinity\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>u</mml:mi>\n ","PeriodicalId":20964,"journal":{"name":"Quarterly of Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2023-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Quarterly of Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/qam/1645","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
In this paper we derive the best constant for the following L∞L^{\infty }-type Gagliardo-Nirenberg interpolation inequality ‖u‖L∞≤Cq,∞,p‖u‖Lq+11−θ‖∇u‖Lpθ,θ=pddp+(p−d)(q+1),\begin{equation*} \|u\|_{L^{\infty }}\leq C_{q,\infty ,p} \|u\|^{1-\theta }_{L^{q+1}}\|\nabla u\|^{\theta }_{L^p},\quad \theta =\frac {pd}{dp+(p-d)(q+1)}, \end{equation*}
where parameters qq and pp satisfy the conditions p>d≥1p>d\geq 1, q≥0q\geq 0. The best constant Cq,∞,pC_{q,\infty ,p} is given by Cq,∞,p=θ−θp(1−θ)θpMc−θd,Mc≔∫Rduc,∞q+1dx,\begin{equation*} C_{q,\infty ,p}=\theta ^{-\frac {\theta }{p}}(1-\theta )^{\frac {\theta }{p}}M_c^{-\frac {\theta }{d}},\quad M_c≔\int _{\mathbb {R}^d}u_{c,\infty }^{q+1} dx, \end{equation*}
where u
期刊介绍:
The Quarterly of Applied Mathematics contains original papers in applied mathematics which have a close connection with applications. An author index appears in the last issue of each volume.
This journal, published quarterly by Brown University with articles electronically published individually before appearing in an issue, is distributed by the American Mathematical Society (AMS). In order to take advantage of some features offered for this journal, users will occasionally be linked to pages on the AMS website.