Pub Date : 2024-07-09DOI: 10.1016/j.jfa.2024.110569
Let be a type factor and let τ be the faithful normal tracial state on . In this paper, we prove that given finite elements , there is a finite decomposition of the identity into integer mutually orthogonal nonzero projections , , such that for all and . Equivalently, there is a unitary operator such that for . This result is a stronger version of Dixmier's averaging theorem for type factors. As the first application, we show that all elements of trace zero in a type factor are single commutators and any self-adjoint elements of trace zero are single self-commutators. This result answers affirmatively Question 1.1 in [6]. As the second application, we prove that any self-adjoint element in a type <
{"title":"A stronger version of Dixmier's averaging theorem and some applications","authors":"","doi":"10.1016/j.jfa.2024.110569","DOIUrl":"10.1016/j.jfa.2024.110569","url":null,"abstract":"<div><p>Let <span><math><mi>M</mi></math></span> be a type <span><math><mi>I</mi><msub><mrow><mi>I</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> factor and let <em>τ</em> be the faithful normal tracial state on <span><math><mi>M</mi></math></span>. In this paper, we prove that given finite elements <span><math><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>⋯</mo><mo>,</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>∈</mo><mi>M</mi></math></span>, there is a finite decomposition of the identity into integer <span><math><mi>N</mi><mo>∈</mo><mi>N</mi></math></span> mutually orthogonal nonzero projections <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∈</mo><mi>M</mi></math></span>, <span><math><mi>I</mi><mo>=</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>N</mi></mrow></msubsup><msub><mrow><mi>E</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span>, such that <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>j</mi></mrow></msub><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>E</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>=</mo><mi>τ</mi><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span> for all <span><math><mi>j</mi><mo>=</mo><mn>1</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>N</mi></math></span> and <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>n</mi></math></span>. Equivalently, there is a unitary operator <span><math><mi>U</mi><mo>∈</mo><mi>M</mi></math></span> such that <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>N</mi></mrow></mfrac><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>j</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>N</mi><mo>−</mo><mn>1</mn></mrow></msubsup><msup><mrow><msup><mrow><mi>U</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow><mrow><mi>j</mi></mrow></msup><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><msup><mrow><mi>U</mi></mrow><mrow><mi>j</mi></mrow></msup><mo>=</mo><mi>τ</mi><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mi>I</mi></math></span> for <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>n</mi></math></span>. This result is a stronger version of Dixmier's averaging theorem for type <span><math><msub><mrow><mi>II</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> factors. As the first application, we show that all elements of trace zero in a type <span><math><msub><mrow><mi>II</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> factor are single commutators and any self-adjoint elements of trace zero are single self-commutators. This result answers affirmatively Question 1.1 in <span><span>[6]</span></span>. As the second application, we prove that any self-adjoint element in a type <span><math><msub><mrow><mi>II</mi></mrow><mrow><mn>1</mn></mrow></msub></math><","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141716074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110571
This paper concerns smooth solutions to Cauchy problem for isothermal Euler equations with damping depending on a relaxation time. We prove that the problem admits a unique solution when either the relaxation time or the initial datum is sufficiently small. In particular, this yields the global existence of a large smooth solution when the relaxation time is sufficiently small. We justify that, in an appropriate time scaling, the density of Euler equations with damping converges to the large solution of the heat equation as the relaxation time tends to zero. Moreover, we establish error estimates of such a convergence for the large solutions. A key step in proving these results is a uniform estimate of a quantity related to Darcy's law.
{"title":"Global large smooth solutions for isothermal Euler equations with damping and small parameter","authors":"","doi":"10.1016/j.jfa.2024.110571","DOIUrl":"10.1016/j.jfa.2024.110571","url":null,"abstract":"<div><p>This paper concerns smooth solutions to Cauchy problem for isothermal Euler equations with damping depending on a relaxation time. We prove that the problem admits a unique solution when either the relaxation time or the initial datum is sufficiently small. In particular, this yields the global existence of a large smooth solution when the relaxation time is sufficiently small. We justify that, in an appropriate time scaling, the density of Euler equations with damping converges to the large solution of the heat equation as the relaxation time tends to zero. Moreover, we establish error estimates of such a convergence for the large solutions. A key step in proving these results is a uniform estimate of a quantity related to Darcy's law.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141622874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110573
We make major progress on a folkloric conjecture in analysis by constructing a measure on the real line which is doubling on all n-adic intervals for any finite list of , yet not doubling overall. In particular, we extend previous results in the area, including those of Boylan-Mills-Ward and Anderson-Hu, by using a wide array of substantially new ideas. In addition, we provide several nontrivial applications to reverse Hölder weights, weights, Hardy spaces, BMO and VMO function classes, and connect our results with key principles and conjectures across number theory.
{"title":"Arbitrary finite intersections of doubling measures and applications","authors":"","doi":"10.1016/j.jfa.2024.110573","DOIUrl":"10.1016/j.jfa.2024.110573","url":null,"abstract":"<div><p>We make major progress on a folkloric conjecture in analysis by constructing a measure on the real line which is doubling on all <em>n</em>-adic intervals for any finite list of <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span>, yet not doubling overall. In particular, we extend previous results in the area, including those of Boylan-Mills-Ward and Anderson-Hu, by using a wide array of substantially new ideas. In addition, we provide several nontrivial applications to reverse Hölder weights, <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> weights, Hardy spaces, BMO and VMO function classes, and connect our results with key principles and conjectures across number theory.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022123624002611/pdfft?md5=5cdd71cf5e0032ac95284c4e7525a21c&pid=1-s2.0-S0022123624002611-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141705718","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110572
Lebesgue space bounds are established for certain singular maximal bilinear operators. The proof combines a single scale trilinear smoothing inequality with Calderón-Zygmund theory.
{"title":"A class of singular bilinear maximal functions","authors":"","doi":"10.1016/j.jfa.2024.110572","DOIUrl":"10.1016/j.jfa.2024.110572","url":null,"abstract":"<div><p>Lebesgue space bounds <span><math><msup><mrow><mi>L</mi></mrow><mrow><msub><mrow><mi>p</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msup><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo><mo>×</mo><msup><mrow><mi>L</mi></mrow><mrow><msub><mrow><mi>p</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msup><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo><mo>→</mo><msup><mrow><mi>L</mi></mrow><mrow><mi>q</mi></mrow></msup><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></math></span> are established for certain singular maximal bilinear operators. The proof combines a single scale trilinear smoothing inequality with Calderón-Zygmund theory.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S002212362400260X/pdfft?md5=0872fa99d1fbac6f4059b1a6452ae02c&pid=1-s2.0-S002212362400260X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141695909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110567
We consider nonnegative solutions u of the Cauchy problem for a semilinear heat equation with space-dependent reaction: , , where satisfies some condition and the initial data satisfies with . We study weighted solutions which blow up at minimal blow-up time. Such a weighted solution blows up at space infinity in some direction (directional blow-up). We call this direction a blow-up direction of . We give a sufficient and necessary condition on for a weighted solution to blow up at minimal blow-up time. Moreover, we completely characterize blow-up directions of by the profile of the initial data.
{"title":"On directional blow-up for a semilinear heat equation with space-dependent reaction","authors":"","doi":"10.1016/j.jfa.2024.110567","DOIUrl":"10.1016/j.jfa.2024.110567","url":null,"abstract":"<div><p>We consider nonnegative solutions <em>u</em> of the Cauchy problem for a semilinear heat equation with space-dependent reaction: <span><math><msub><mrow><mi>u</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>=</mo><mi>Δ</mi><mi>u</mi><mo>+</mo><mi>μ</mi><mo>(</mo><mi>x</mi><mo>)</mo><msup><mrow><mi>u</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>, <span><math><mi>u</mi><mo>(</mo><mi>x</mi><mo>,</mo><mn>0</mn><mo>)</mo><mo>=</mo><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo></math></span>, where <span><math><mi>μ</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>≥</mo><mn>0</mn></math></span> satisfies some condition and the initial data <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mspace></mspace><mo>(</mo><mo>≢</mo><mn>0</mn><mo>)</mo></math></span> satisfies <span><math><msub><mrow><mo>‖</mo><mover><mrow><mi>μ</mi></mrow><mrow><mo>˜</mo></mrow></mover><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>‖</mo></mrow><mrow><msup><mrow><mi>L</mi></mrow><mrow><mo>∞</mo></mrow></msup><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>N</mi></mrow></msup><mo>)</mo></mrow></msub><mo><</mo><mo>∞</mo></math></span> with <span><math><mover><mrow><mi>μ</mi></mrow><mrow><mo>˜</mo></mrow></mover><mo>=</mo><msup><mrow><mi>μ</mi></mrow><mrow><mn>1</mn><mo>/</mo><mo>(</mo><mi>p</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>. We study weighted solutions <span><math><mover><mrow><mi>μ</mi></mrow><mrow><mo>˜</mo></mrow></mover><mi>u</mi></math></span> which blow up at minimal blow-up time. Such a weighted solution blows up at space infinity in some direction (directional blow-up). We call this direction a <em>blow-up direction</em> of <span><math><mover><mrow><mi>μ</mi></mrow><mrow><mo>˜</mo></mrow></mover><mi>u</mi></math></span>. We give a sufficient and necessary condition on <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> for a weighted solution to blow up at minimal blow-up time. Moreover, we completely characterize blow-up directions of <span><math><mover><mrow><mi>μ</mi></mrow><mrow><mo>˜</mo></mrow></mover><mi>u</mi></math></span> by the profile of the initial data.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141694615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110565
Considered herein is a particular nonlinear dispersive stochastic system consisting of Dirac and Klein-Gordon equations. They are coupled by nonlinear terms due to the Yukawa interaction. We consider a case of homogeneous multiplicative noise that seems to be very natural from the perspective of the least action formalism. We are able to show existence and uniqueness of a corresponding Cauchy problem in Bourgain spaces. Moreover, the regarded model implies charge conservation, known for the deterministic analogue of the system, and this is used to prove a global existence result for suitable initial data.
{"title":"A conservative stochastic Dirac-Klein-Gordon system","authors":"","doi":"10.1016/j.jfa.2024.110565","DOIUrl":"10.1016/j.jfa.2024.110565","url":null,"abstract":"<div><p>Considered herein is a particular nonlinear dispersive stochastic system consisting of Dirac and Klein-Gordon equations. They are coupled by nonlinear terms due to the Yukawa interaction. We consider a case of homogeneous multiplicative noise that seems to be very natural from the perspective of the least action formalism. We are able to show existence and uniqueness of a corresponding Cauchy problem in Bourgain spaces. Moreover, the regarded model implies charge conservation, known for the deterministic analogue of the system, and this is used to prove a global existence result for suitable initial data.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022123624002532/pdfft?md5=20932462bbb57625bb5cb6ca6160f608&pid=1-s2.0-S0022123624002532-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141569883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110566
Qing Han , Xumin Jiang , Weiming Shen
We study asymptotic behaviors of solutions to the Loewner-Nirenberg problem in finite cones and establish optimal asymptotic expansions in terms of the corresponding solutions in infinite cones. The spherical domains over which cones are formed are allowed to have singularities. An elliptic operator on such spherical domains with coefficients singular on the boundary plays an important role. Due to the singularity of the spherical domains, extra care is needed for the study of the global regularity of the eigenfunctions and solutions of the associated singular Dirichlet problem.
{"title":"The Loewner-Nirenberg problem in cones","authors":"Qing Han , Xumin Jiang , Weiming Shen","doi":"10.1016/j.jfa.2024.110566","DOIUrl":"https://doi.org/10.1016/j.jfa.2024.110566","url":null,"abstract":"<div><p>We study asymptotic behaviors of solutions to the Loewner-Nirenberg problem in finite cones and establish optimal asymptotic expansions in terms of the corresponding solutions in infinite cones. The spherical domains over which cones are formed are allowed to have singularities. An elliptic operator on such spherical domains with coefficients singular on the boundary plays an important role. Due to the singularity of the spherical domains, extra care is needed for the study of the global regularity of the eigenfunctions and solutions of the associated singular Dirichlet problem.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141595603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110570
In this paper, we systematically study the existence, asymptotic behaviors, uniqueness, and nonlinear orbital stability of traveling-wave solutions with small propagation speeds for the generalized surface quasi-geostrophic (gSQG) equation. Firstly we obtain the existence of a new family of global solutions via the variational method. Secondly we show the uniqueness of maximizers under our variational setting. Thirdly by using the variational framework, the uniqueness of maximizers and a concentration-compactness principle we establish some stability theorems. Moreover, after a suitable transformation, these solutions constitute the desingularization of traveling point vortex pairs.
{"title":"Slow traveling-wave solutions for the generalized surface quasi-geostrophic equation","authors":"","doi":"10.1016/j.jfa.2024.110570","DOIUrl":"10.1016/j.jfa.2024.110570","url":null,"abstract":"<div><p>In this paper, we systematically study the existence, asymptotic behaviors, uniqueness, and nonlinear orbital stability of traveling-wave solutions with small propagation speeds for the generalized surface quasi-geostrophic (gSQG) equation. Firstly we obtain the existence of a new family of global solutions via the variational method. Secondly we show the uniqueness of maximizers under our variational setting. Thirdly by using the variational framework, the uniqueness of maximizers and a concentration-compactness principle we establish some stability theorems. Moreover, after a suitable transformation, these solutions constitute the desingularization of traveling point vortex pairs.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141569882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-04DOI: 10.1016/j.jfa.2024.110562
This paper is devoted to stability results for the Gaussian logarithmic Sobolev inequality, with explicit stability constants.
本文主要研究高斯对数索波列夫不等式的稳定性结果,并给出了明确的稳定性常数。
{"title":"Stability for the logarithmic Sobolev inequality","authors":"","doi":"10.1016/j.jfa.2024.110562","DOIUrl":"10.1016/j.jfa.2024.110562","url":null,"abstract":"<div><p>This paper is devoted to stability results for the Gaussian logarithmic Sobolev inequality, with explicit stability constants.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141569884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-03DOI: 10.1016/j.jfa.2024.110558
We consider the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight belongs to the Muckenhoupt class , for some , if and only if is weakly porous. We also give a precise quantitative version of this characterization in terms of the so-called Muckenhoupt exponent of E. When E is weakly porous, we obtain a similar quantitative characterization of , for , as well. At the end of the paper, we give an example of a set which is not weakly porous but for which for every and .
{"title":"Weakly porous sets and Muckenhoupt Ap distance functions","authors":"","doi":"10.1016/j.jfa.2024.110558","DOIUrl":"10.1016/j.jfa.2024.110558","url":null,"abstract":"<div><p>We consider the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight <span><math><mi>w</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>dist</mi><mspace></mspace><msup><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>E</mi><mo>)</mo></mrow><mrow><mo>−</mo><mi>α</mi></mrow></msup></math></span> belongs to the Muckenhoupt class <span><math><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>, for some <span><math><mi>α</mi><mo>></mo><mn>0</mn></math></span>, if and only if <span><math><mi>E</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> is weakly porous. We also give a precise quantitative version of this characterization in terms of the so-called Muckenhoupt exponent of <em>E</em>. When <em>E</em> is weakly porous, we obtain a similar quantitative characterization of <span><math><mi>w</mi><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span>, for <span><math><mn>1</mn><mo><</mo><mi>p</mi><mo><</mo><mo>∞</mo></math></span>, as well. At the end of the paper, we give an example of a set <span><math><mi>E</mi><mo>⊂</mo><mi>R</mi></math></span> which is not weakly porous but for which <span><math><mi>w</mi><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>∖</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> for every <span><math><mn>0</mn><mo><</mo><mi>α</mi><mo><</mo><mn>1</mn></math></span> and <span><math><mn>1</mn><mo><</mo><mi>p</mi><mo><</mo><mo>∞</mo></math></span>.</p></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022123624002465/pdfft?md5=94e5160f264d3666ae1b2e160d10d5b3&pid=1-s2.0-S0022123624002465-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141569886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}