{"title":"The torsion problem of the p-Bilaplacian","authors":"Andrei Grecu , Mihai Mihăilescu","doi":"10.1016/j.nonrwa.2024.104117","DOIUrl":null,"url":null,"abstract":"<div><p>For each bounded and open set <span><math><mrow><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>N</mi></mrow></msup></mrow></math></span> (<span><math><mrow><mi>N</mi><mo>≥</mo><mn>2</mn></mrow></math></span>) with smooth boundary denoted by <span><math><mrow><mi>∂</mi><mi>Ω</mi></mrow></math></span> and each real number <span><math><mrow><mi>p</mi><mo>∈</mo><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></mrow></math></span> we analyze the torsion problem of the <span><math><mi>p</mi></math></span>-Bilaplacian, namely <span><math><mrow><mi>Δ</mi><mrow><mo>(</mo><msup><mrow><mrow><mo>|</mo><mi>Δ</mi><mi>u</mi><mo>|</mo></mrow></mrow><mrow><mi>p</mi><mo>−</mo><mn>2</mn></mrow></msup><mi>Δ</mi><mi>u</mi><mo>)</mo></mrow><mo>=</mo><mn>1</mn></mrow></math></span> in <span><math><mi>Ω</mi></math></span> with <span><math><mrow><mi>u</mi><mo>=</mo><mi>Δ</mi><mi>u</mi><mo>=</mo><mn>0</mn></mrow></math></span> on <span><math><mrow><mi>∂</mi><mi>Ω</mi></mrow></math></span>. Firstly, we show that for each <span><math><mrow><mi>p</mi><mo>∈</mo><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></mrow></math></span> the problem has a unique weak solution <span><math><msub><mrow><mi>u</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>. Secondly, we prove that <span><math><msub><mrow><mi>u</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> converges uniformly, as <span><math><mrow><mi>p</mi><mo>→</mo><mi>∞</mi></mrow></math></span>, in <span><math><mrow><msup><mrow><mi>C</mi></mrow><mrow><mn>1</mn></mrow></msup><mrow><mo>(</mo><mover><mrow><mi>Ω</mi></mrow><mo>¯</mo></mover><mo>)</mo></mrow></mrow></math></span> to a certain function, say <span><math><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>, which is exactly the unique solution of the problem <span><math><mrow><mo>−</mo><mi>Δ</mi><mi>u</mi><mo>=</mo><mn>1</mn></mrow></math></span> in <span><math><mi>Ω</mi></math></span> with <span><math><mrow><mi>u</mi><mo>=</mo><mn>0</mn></mrow></math></span> on <span><math><mrow><mi>∂</mi><mi>Ω</mi></mrow></math></span>. Moreover, for each real number <span><math><mrow><mi>q</mi><mo>∈</mo><mrow><mo>[</mo><mn>1</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mi>Δ</mi><msub><mrow><mi>u</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></math></span> converges strongly to <span><math><mrow><mi>Δ</mi><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span> in <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mi>q</mi></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></math></span>, as <span><math><mrow><mi>p</mi><mo>→</mo><mi>∞</mi></mrow></math></span>. Next, we show that each solution <span><math><msub><mrow><mi>u</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> is also a solution for the minimization problem <span><math><mrow><mi>T</mi><mrow><mo>(</mo><mi>p</mi><mo>;</mo><mi>Ω</mi><mo>)</mo></mrow><mo>≔</mo><munder><mrow><mo>inf</mo></mrow><mrow><mi>u</mi><mo>∈</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>p</mi></mrow></msub><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow><mo>∖</mo><mrow><mo>{</mo><mn>0</mn><mo>}</mo></mrow></mrow></munder><mfrac><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mrow><mo>|</mo><mi>Ω</mi><mo>|</mo></mrow></mrow></mfrac><msub><mrow><mo>∫</mo></mrow><mrow><mi>Ω</mi></mrow></msub><msup><mrow><mrow><mo>|</mo><mi>Δ</mi><mi>u</mi><mo>|</mo></mrow></mrow><mrow><mi>p</mi></mrow></msup><mspace></mspace><mi>d</mi><mi>x</mi></mrow><mrow><msup><mrow><mfenced><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mrow><mo>|</mo><mi>Ω</mi><mo>|</mo></mrow></mrow></mfrac><msub><mrow><mo>∫</mo></mrow><mrow><mi>Ω</mi></mrow></msub><mi>u</mi><mspace></mspace><mi>d</mi><mi>x</mi></mrow></mfenced></mrow><mrow><mi>p</mi></mrow></msup></mrow></mfrac><mspace></mspace></mrow></math></span> where <span><math><mrow><msub><mrow><mi>X</mi></mrow><mrow><mi>p</mi></mrow></msub><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow><mo>≔</mo><mrow><mo>{</mo><mi>u</mi><mo>∈</mo><msup><mrow><mi>W</mi></mrow><mrow><mn>2</mn><mo>,</mo><mi>p</mi></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow><mo>∩</mo><msubsup><mrow><mi>W</mi></mrow><mrow><mn>0</mn></mrow><mrow><mn>1</mn><mo>,</mo><mi>p</mi></mrow></msubsup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow><mo>:</mo><mspace></mspace><mi>u</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>≥</mo><mn>0</mn><mo>,</mo><mspace></mspace><mi>a</mi><mo>.</mo><mi>e</mi><mo>.</mo><mspace></mspace><mi>x</mi><mo>∈</mo><mi>Ω</mi><mo>}</mo></mrow></mrow></math></span>. Further, we show that the function <span><math><mrow><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow><mo>∋</mo><mi>p</mi><mo>↦</mo><mi>T</mi><mrow><mo>(</mo><mi>p</mi><mo>;</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></math></span> is strictly increasing provided that <span><math><mi>Ω</mi></math></span> is a convex and bounded open set for which <span><math><mrow><msup><mrow><mrow><mo>|</mo><mi>Ω</mi><mo>|</mo></mrow></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mo>∫</mo></mrow><mrow><mi>Ω</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><mspace></mspace><mi>d</mi><mi>x</mi></mrow></math></span> is small. Finally, using this monotonicity result, we give an alternative variational characterization of the constant <span><math><mrow><mi>T</mi><mrow><mo>(</mo><mi>p</mi><mo>;</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></math></span> when <span><math><mrow><msup><mrow><mrow><mo>|</mo><mi>Ω</mi><mo>|</mo></mrow></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mo>∫</mo></mrow><mrow><mi>Ω</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><mspace></mspace><mi>d</mi><mi>x</mi></mrow></math></span> is small. That last variational characterization fails to hold true when <span><math><mrow><msup><mrow><mrow><mo>|</mo><mi>Ω</mi><mo>|</mo></mrow></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mo>∫</mo></mrow><mrow><mi>Ω</mi></mrow></msub><msub><mrow><mi>v</mi></mrow><mrow><mn>2</mn></mrow></msub><mspace></mspace><mi>d</mi><mi>x</mi><mo>></mo><mn>1</mn></mrow></math></span>.</p></div>","PeriodicalId":1,"journal":{"name":"Accounts of Chemical Research","volume":null,"pages":null},"PeriodicalIF":16.4000,"publicationDate":"2024-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Accounts of Chemical Research","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1468121824000579","RegionNum":1,"RegionCategory":"化学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"CHEMISTRY, MULTIDISCIPLINARY","Score":null,"Total":0}
引用次数: 0
Abstract
For each bounded and open set () with smooth boundary denoted by and each real number we analyze the torsion problem of the -Bilaplacian, namely in with on . Firstly, we show that for each the problem has a unique weak solution . Secondly, we prove that converges uniformly, as , in to a certain function, say , which is exactly the unique solution of the problem in with on . Moreover, for each real number , converges strongly to in , as . Next, we show that each solution is also a solution for the minimization problem where . Further, we show that the function is strictly increasing provided that is a convex and bounded open set for which is small. Finally, using this monotonicity result, we give an alternative variational characterization of the constant when is small. That last variational characterization fails to hold true when .
期刊介绍:
Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance.
Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.