Pub Date : 2024-08-01DOI: 10.1007/s12220-024-01750-2
Yohei Tsutsui
In this article, we introduce the fractional medians, provide a representation for the set of all fractional medians in terms of non-increasing rearrangements, and investigate the mapping properties of the fractional maximal operators defined by these medians. Our maximal operator is a generalization of the one introduced by Strömberg (Indiana Univ Math J 28(3):511–544, 1979). It turns out that our maximal operator is smoother than the usual fractional maximal operator. Furthermore, we provide an alternative proof of the embedding from BV to (L^{n/(n-1),1}) due to Alvino (Boll Un Mat Ital A 14(1):148–156, 1977) by using the usual medians.
在本文中,我们介绍了分数中值,用非递增重排为所有分数中值的集合提供了一种表示方法,并研究了由这些中值定义的分数最大算子的映射性质。我们的最大算子是对 Strömberg 引入的算子(Indiana Univ Math J 28(3):511-544, 1979)的概括。事实证明,我们的最大算子比通常的分数最大算子更平滑。此外,我们通过使用通常的中值,为阿尔维诺(Boll Un Mat Ital A 14(1):148-156, 1977)提出的从 BV 到 (L^{n/(n-1),1})的嵌入提供了另一种证明。
{"title":"Fractional Medians and Their Maximal Functions","authors":"Yohei Tsutsui","doi":"10.1007/s12220-024-01750-2","DOIUrl":"https://doi.org/10.1007/s12220-024-01750-2","url":null,"abstract":"<p>In this article, we introduce the fractional medians, provide a representation for the set of all fractional medians in terms of non-increasing rearrangements, and investigate the mapping properties of the fractional maximal operators defined by these medians. Our maximal operator is a generalization of the one introduced by Strömberg (Indiana Univ Math J 28(3):511–544, 1979). It turns out that our maximal operator is smoother than the usual fractional maximal operator. Furthermore, we provide an alternative proof of the embedding from <i>BV</i> to <span>(L^{n/(n-1),1})</span> due to Alvino (Boll Un Mat Ital A 14(1):148–156, 1977) by using the usual medians.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"6 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141880495","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-30DOI: 10.1007/s12220-024-01748-w
Jiaqian Liu, Shengyu Tang
This article delves into the (L_p) Minkowski problem within the framework of generalized Gaussian probability space. This type of probability space was initially introduced in information theory through the seminal works of Lutwak et al. (Ann Probab 32(1B):757–774, 2004, IEEE Trans Inf Theory 51(2):473–478, 2005), as well as by Lutwak et al. (IEEE Trans Inf Theory 58(3):1319–1327, 2012). The primary focus of this article lies in examining the existence of this problem. While the variational method is employed to explore the necessary and sufficient conditions for the existence of the normalized Minkowski problem when (p in mathbb {R} setminus {0}), our main emphasis is on the existence of the generalized Gaussian Minkowski problem without the normalization requirement, particularly in the smooth category for (p ge 1).
本文在广义高斯概率空间的框架内深入研究了(L_p)明考夫斯基问题。这类概率空间最初是通过卢特瓦克等人的开创性著作(Ann Probab 32(1B):757-774, 2004, IEEE Trans Inf Theory 51(2):473-478, 2005)以及卢特瓦克等人的著作(IEEE Trans Inf Theory 58(3):1319-1327, 2012)引入信息论的。本文的主要重点在于研究这一问题的存在。虽然本文采用了变分法来探讨当 (p in mathbb {R} setminus {0})时归一化闵科夫斯基问题存在的必要条件和充分条件,但我们的主要重点是研究没有归一化要求的广义高斯闵科夫斯基问题的存在性,尤其是在(p ge 1) 的光滑类别中。
{"title":"The Generalized Gaussian Minkowski Problem","authors":"Jiaqian Liu, Shengyu Tang","doi":"10.1007/s12220-024-01748-w","DOIUrl":"https://doi.org/10.1007/s12220-024-01748-w","url":null,"abstract":"<p>This article delves into the <span>(L_p)</span> Minkowski problem within the framework of generalized Gaussian probability space. This type of probability space was initially introduced in information theory through the seminal works of Lutwak et al. (Ann Probab 32(1B):757–774, 2004, IEEE Trans Inf Theory 51(2):473–478, 2005), as well as by Lutwak et al. (IEEE Trans Inf Theory 58(3):1319–1327, 2012). The primary focus of this article lies in examining the existence of this problem. While the variational method is employed to explore the necessary and sufficient conditions for the existence of the normalized Minkowski problem when <span>(p in mathbb {R} setminus {0})</span>, our main emphasis is on the existence of the generalized Gaussian Minkowski problem without the normalization requirement, particularly in the smooth category for <span>(p ge 1)</span>.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"1410 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141869052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s12220-024-01742-2
Francesco Bozzola, Lorenzo Brasco
We prove a lower bound on the sharp Poincaré–Sobolev embedding constants for general open sets, in terms of their inradius. We consider the following two situations: planar sets with given topology; open sets in any dimension, under the restriction that points are not removable sets. In the first case, we get an estimate which optimally depends on the topology of the sets, thus generalizing a result by Croke, Osserman and Taylor, originally devised for the first eigenvalue of the Dirichlet–Laplacian. We also consider some limit situations, like the sharp Moser–Trudinger constant and the Cheeger constant. As a byproduct of our discussion, we also obtain a Buser-type inequality for open subsets of the plane, with given topology. An interesting problem on the sharp constant for this inequality is presented.
{"title":"The Role of Topology and Capacity in Some Bounds for Principal Frequencies","authors":"Francesco Bozzola, Lorenzo Brasco","doi":"10.1007/s12220-024-01742-2","DOIUrl":"https://doi.org/10.1007/s12220-024-01742-2","url":null,"abstract":"<p>We prove a lower bound on the sharp Poincaré–Sobolev embedding constants for general open sets, in terms of their inradius. We consider the following two situations: planar sets with given topology; open sets in any dimension, under the restriction that points are not removable sets. In the first case, we get an estimate which optimally depends on the topology of the sets, thus generalizing a result by Croke, Osserman and Taylor, originally devised for the first eigenvalue of the Dirichlet–Laplacian. We also consider some limit situations, like the sharp Moser–Trudinger constant and the Cheeger constant. As a byproduct of our discussion, we also obtain a Buser-type inequality for open subsets of the plane, with given topology. An interesting problem on the sharp constant for this inequality is presented.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"20 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141869053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s12220-024-01753-z
Meiqiang Feng, Xuemei Zhang
Let (Omega ) be a smooth, bounded, strictly convex domain in ( mathbb {R}^N , (Nge 2)). Assume (K, f) and g are smooth positive functions and K(x) may be singular near (partial Omega ). When K satisfies suitable conditions, we provide sufficient and necessary conditions on f and g for the existence of strictly convex solutions to the singular boundary blow-up Monge-Ampère problem
$$begin{aligned} M[u]=K(x)[f(u)+g(u)|nabla u|^q] text{ for } x in Omega ,; u(x)rightarrow +infty text{ as } textrm{dist}(x,partial Omega )rightarrow 0, end{aligned}$$
where (M[u]=det , (u_{x_{i}x_{j}})) is the Monge-Ampère operator and (0le q<N+1). Two nonexistence results of strictly convex solution are also considered when K has strong singularity. In addition, we analyze the boundary asymptotic behavior of such solution by finding new structure conditions on (K, f) and g. We present some examples to illustrate the applicability of our main results.
让(Omega )是(mathbb {R}^N , (Nge 2))中一个光滑的、有界的、严格凸的域。假设(K,f)和g都是光滑的正函数,并且K(x)在(部分)附近可能是奇异的。当 K 满足合适的条件时,我们为奇异边界炸开蒙日-安培问题 $$begin{aligned} 的严格凸解的存在提供了 f 和 g 的充分必要条件。M[u]=K(x)[f(u)+g(u)|nabla u|^q] text{ for } x in Omega ,; u(x)rightarrow +infty text{ as }textrm{distributed distributed.textrm{dist}(x,partial Omega )rightarrow 0, end{aligned}$$ 其中 (M[u]=det , (u_{x_{i}x_{j}})) 是蒙日-安培算子,并且 (0le q<N+1) 是蒙日-安培算子。我们还考虑了当 K 具有强奇异性时严格凸解的两个不存在结果。此外,我们通过找到 (K, f) 和 g 的新结构条件来分析这种解的边界渐近行为。
{"title":"Strictly Convex Solutions to the Singular Boundary Blow-Up Monge-Ampère Problems: Existence and Asymptotic Behavior","authors":"Meiqiang Feng, Xuemei Zhang","doi":"10.1007/s12220-024-01753-z","DOIUrl":"https://doi.org/10.1007/s12220-024-01753-z","url":null,"abstract":"<p>Let <span>(Omega )</span> be a smooth, bounded, strictly convex domain in <span>( mathbb {R}^N , (Nge 2))</span>. Assume <span>(K, f)</span> and <i>g</i> are smooth positive functions and <i>K</i>(<i>x</i>) may be singular near <span>(partial Omega )</span>. When <i>K</i> satisfies suitable conditions, we provide sufficient and necessary conditions on <i>f</i> and <i>g</i> for the existence of strictly convex solutions to the singular boundary blow-up Monge-Ampère problem </p><span>$$begin{aligned} M[u]=K(x)[f(u)+g(u)|nabla u|^q] text{ for } x in Omega ,; u(x)rightarrow +infty text{ as } textrm{dist}(x,partial Omega )rightarrow 0, end{aligned}$$</span><p>where <span>(M[u]=det , (u_{x_{i}x_{j}}))</span> is the Monge-Ampère operator and <span>(0le q<N+1)</span>. Two nonexistence results of strictly convex solution are also considered when <i>K</i> has strong singularity. In addition, we analyze the boundary asymptotic behavior of such solution by finding new structure conditions on <span>(K, f)</span> and <i>g</i>. We present some examples to illustrate the applicability of our main results.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"21 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141873300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-25DOI: 10.1007/s12220-024-01745-z
Li-Xiang An, Xing-Gang He, Qian Li
A probability measure (mu ) on ({{mathbb {R}}}^d) with compact support is called a spectral measure if it possesses an exponential orthonormal basis for (L^2(mu )). In this paper, we establish general criteria for determining whether a probability measure is spectral or not. As applications of these criteria, we provide a straightforward proof for the Lebesgue measure restricted to ([0, 1]^d) or ([0, 1]cup [a, a+1]cup [b, b+1]) to be a spectral measure. Furthermore, we investigate the spectrality of Cantor–Moran measure
generated by an admissible sequence ({(A_n,{{mathcal {D}}}_n)}_{n=1}^{infty }). It is noteworthy that our general criteria can be applied to establish numerous known and novel results.
{"title":"Orthogonal Bases of Exponential Functions for $$L^2(mu )$$ on $$mathbb {R}^d$$","authors":"Li-Xiang An, Xing-Gang He, Qian Li","doi":"10.1007/s12220-024-01745-z","DOIUrl":"https://doi.org/10.1007/s12220-024-01745-z","url":null,"abstract":"<p>A probability measure <span>(mu )</span> on <span>({{mathbb {R}}}^d)</span> with compact support is called a spectral measure if it possesses an exponential orthonormal basis for <span>(L^2(mu ))</span>. In this paper, we establish general criteria for determining whether a probability measure is spectral or not. As applications of these criteria, we provide a straightforward proof for the Lebesgue measure restricted to <span>([0, 1]^d)</span> or <span>([0, 1]cup [a, a+1]cup [b, b+1])</span> to be a spectral measure. Furthermore, we investigate the spectrality of Cantor–Moran measure </p><span>$$begin{aligned} mu _{{A_n, {{mathcal {D}}}_n}}= delta _{A_1^{-1}{{mathcal {D}}}_1}*delta _{A_1^{-1}A_2^{-1}{{mathcal {D}}}_2}*delta _{A_1^{-1}A_2^{-1}A_3^{-1}{{mathcal {D}}}_3}*cdots end{aligned}$$</span><p>generated by an admissible sequence <span>({(A_n,{{mathcal {D}}}_n)}_{n=1}^{infty })</span>. It is noteworthy that our general criteria can be applied to establish numerous known and novel results.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141776117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
where (Delta _g=div_g nabla ) is the Laplace–Beltrami operator on (mathcal {M}), h(x) is a (C^1)-function on (mathcal {M}), (varepsilon >0) is a small parameter, (alpha ,beta >0) are real numbers, ((p,q)in (1,+infty )times (1,+infty )) satisfies (frac{1}{p+1}+frac{1}{q+1}=frac{N-2}{N}). Using the Lyapunov–Schmidt reduction method, we obtain the existence of multiple blowing-up solutions for the above problem.
{"title":"Multiple Blowing-Up Solutions for Asymptotically Critical Lane-Emden Systems on Riemannian Manifolds","authors":"Wenjing Chen, Zexi Wang","doi":"10.1007/s12220-024-01722-6","DOIUrl":"https://doi.org/10.1007/s12220-024-01722-6","url":null,"abstract":"<p>Let <span>((mathcal {M},g))</span> be a smooth compact Riemannian manifold of dimension <span>(Nge 8)</span>. We are concerned with the following elliptic system </p><span>$$begin{aligned} left{ begin{array}{ll} -Delta _g u+h(x)u=v^{p-alpha varepsilon }, &{}text{ in } mathcal {M}, -Delta _g v+h(x)v=u^{q-beta varepsilon }, &{}text{ in } mathcal {M}, u,v>0, &{}text{ in } mathcal {M}, end{array} right. end{aligned}$$</span><p>where <span>(Delta _g=div_g nabla )</span> is the Laplace–Beltrami operator on <span>(mathcal {M})</span>, <i>h</i>(<i>x</i>) is a <span>(C^1)</span>-function on <span>(mathcal {M})</span>, <span>(varepsilon >0)</span> is a small parameter, <span>(alpha ,beta >0)</span> are real numbers, <span>((p,q)in (1,+infty )times (1,+infty ))</span> satisfies <span>(frac{1}{p+1}+frac{1}{q+1}=frac{N-2}{N})</span>. Using the Lyapunov–Schmidt reduction method, we obtain the existence of multiple blowing-up solutions for the above problem.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"24 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141785616","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-20DOI: 10.1007/s12220-024-01744-0
Qian Gao, Xiaoming He
In this paper, we are concerned with the existence and properties of ground states for the Schrödinger–Poisson system with combined power nonlinearities
$$begin{aligned} {left{ begin{array}{ll} -Delta u +gamma phi u= lambda u+mu |u|^{q-2}u+|u|^{4}u,&{}~~ text{ in }~{mathbb {R}}^3, -Delta phi =u^2,&{}~~ text{ in }~{mathbb {R}}^3,end{array}right. } end{aligned}$$
having prescribed mass
$$begin{aligned} int _{{mathbb {R}}^3} |u|^2dx=a^2, end{aligned}$$
in the Sobolev critical case. Here ( a>0), and (gamma >0), (mu >0) are parameters, (lambda in {mathbb {R}}) is an undetermined parameter. By using Jeanjean’ theory, Pohozaev manifold method and Brezis and Nirenberg’s technique to overcome the lack of compactness, we prove several existence results under the (L^2)-subcritical, (L^2)-critical and (L^2)-supercritical perturbation (mu |u|^{q-2}u), under different assumptions imposed on the parameters (gamma ,mu ) and the mass a, respectively. This study can be considered as a counterpart of the Brezis-Nirenberg problem in the context of normalized solutions of a Sobolev critical Schrödinger–Poisson problem perturbed with a subcritical term in the whole space ({mathbb {R}}^3).
{"title":"Normalized Solutions for Schrödinger–Poisson Systems Involving Critical Sobolev Exponents","authors":"Qian Gao, Xiaoming He","doi":"10.1007/s12220-024-01744-0","DOIUrl":"https://doi.org/10.1007/s12220-024-01744-0","url":null,"abstract":"<p>In this paper, we are concerned with the existence and properties of ground states for the Schrödinger–Poisson system with combined power nonlinearities </p><span>$$begin{aligned} {left{ begin{array}{ll} -Delta u +gamma phi u= lambda u+mu |u|^{q-2}u+|u|^{4}u,&{}~~ text{ in }~{mathbb {R}}^3, -Delta phi =u^2,&{}~~ text{ in }~{mathbb {R}}^3,end{array}right. } end{aligned}$$</span><p>having prescribed mass </p><span>$$begin{aligned} int _{{mathbb {R}}^3} |u|^2dx=a^2, end{aligned}$$</span><p>in the <i>Sobolev critical case</i>. Here <span>( a>0)</span>, and <span>(gamma >0)</span>, <span>(mu >0)</span> are parameters, <span>(lambda in {mathbb {R}})</span> is an undetermined parameter. By using Jeanjean’ theory, Pohozaev manifold method and Brezis and Nirenberg’s technique to overcome the lack of compactness, we prove several existence results under the <span>(L^2)</span>-subcritical, <span>(L^2)</span>-critical and <span>(L^2)</span>-supercritical perturbation <span>(mu |u|^{q-2}u)</span>, under different assumptions imposed on the parameters <span>(gamma ,mu )</span> and the mass <i>a</i>, respectively. This study can be considered as a counterpart of the Brezis-Nirenberg problem in the context of normalized solutions of a Sobolev critical Schrödinger–Poisson problem perturbed with a subcritical term in the whole space <span>({mathbb {R}}^3)</span>.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"17 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141740272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-18DOI: 10.1007/s12220-024-01737-z
Chenfeng Zhu, Dachun Yang, Wen Yuan
Let ({rho _nu }_{nu in (0,nu _0)}) with (nu _0in (0,infty )) be a (nu _0)-radial decreasing approximation of the identity on (mathbb {R}^n), (X(mathbb {R}^n)) a ball Banach function space satisfying some extra mild assumptions, and (Omega subset mathbb {R}^n) a (W^{1,X})-extension domain. In this article, the authors prove that, for any f belonging to the inhomogeneous ball Banach Sobolev space ({W}^{1,X}(Omega )),
where (Gamma ) is the Gamma function and (pin [1,infty )) is related to (X(mathbb {R}^n)). Using this asymptotics, the authors further establish a characterization of (W^{1,X}(Omega )) in terms of the above limit. To achieve these, the authors develop a machinery via using a method of the extrapolation and some recently found profound properties of (W^{1,X}(mathbb {R}^n)) to overcome those difficulties caused by that the norm of (X(mathbb {R}^n)) has no explicit expression and (X(mathbb {R}^n)) might not be translation invariant. This characterization has a wide range of generality and can be applied to various Sobolev-type spaces, such as Morrey [Bourgain–Morrey-type, weighted (or mixed-norm or variable), local (or global) generalized Herz, Lorentz, and Orlicz (or Orlicz-slice)] Sobolev spaces, which are all new. Particularly, when (X(Omega ):=L^p(Omega )) with (pin (1,infty )), this characterization coincides with the celebrated results of J. Bourgain, H. Brezis, and P. Mironescu in 2001 and H. Brezis in 2002; moreover, this characterization is also new even when (X(Omega ):=L^q(Omega )) with both (qin (1,infty )) and (pin [1,q)cup (q,frac{n}{n-1}]). In addition, the authors give several specific examples of (W^{1,X})-extension domains as well as (dot{W}^{1,X})-extension domains.
{"title":"Bourgain–Brezis–Mironescu-Type Characterization of Inhomogeneous Ball Banach Sobolev Spaces on Extension Domains","authors":"Chenfeng Zhu, Dachun Yang, Wen Yuan","doi":"10.1007/s12220-024-01737-z","DOIUrl":"https://doi.org/10.1007/s12220-024-01737-z","url":null,"abstract":"<p>Let <span>({rho _nu }_{nu in (0,nu _0)})</span> with <span>(nu _0in (0,infty ))</span> be a <span>(nu _0)</span>-radial decreasing approximation of the identity on <span>(mathbb {R}^n)</span>, <span>(X(mathbb {R}^n))</span> a ball Banach function space satisfying some extra mild assumptions, and <span>(Omega subset mathbb {R}^n)</span> a <span>(W^{1,X})</span>-extension domain. In this article, the authors prove that, for any <i>f</i> belonging to the inhomogeneous ball Banach Sobolev space <span>({W}^{1,X}(Omega ))</span>, </p><span>$$begin{aligned} lim _{nu rightarrow 0^+} left| left[ int _Omega frac{|f(cdot )-f(y)|^p}{ |cdot -y|^p}rho _nu (|cdot -y|),textrm{d}y right] ^frac{1}{p}right| _{X(Omega )}^p =frac{2pi ^{frac{n-1}{2}}Gamma (frac{p+1}{2})}{Gamma (frac{p+n}{2})} left| ,left| nabla fright| ,right| _{X(Omega )}^p, end{aligned}$$</span><p>where <span>(Gamma )</span> is the Gamma function and <span>(pin [1,infty ))</span> is related to <span>(X(mathbb {R}^n))</span>. Using this asymptotics, the authors further establish a characterization of <span>(W^{1,X}(Omega ))</span> in terms of the above limit. To achieve these, the authors develop a machinery via using a method of the extrapolation and some recently found profound properties of <span>(W^{1,X}(mathbb {R}^n))</span> to overcome those difficulties caused by that the norm of <span>(X(mathbb {R}^n))</span> has no explicit expression and <span>(X(mathbb {R}^n))</span> might not be translation invariant. This characterization has a wide range of generality and can be applied to various Sobolev-type spaces, such as Morrey [Bourgain–Morrey-type, weighted (or mixed-norm or variable), local (or global) generalized Herz, Lorentz, and Orlicz (or Orlicz-slice)] Sobolev spaces, which are all new. Particularly, when <span>(X(Omega ):=L^p(Omega ))</span> with <span>(pin (1,infty ))</span>, this characterization coincides with the celebrated results of J. Bourgain, H. Brezis, and P. Mironescu in 2001 and H. Brezis in 2002; moreover, this characterization is also new even when <span>(X(Omega ):=L^q(Omega ))</span> with both <span>(qin (1,infty ))</span> and <span>(pin [1,q)cup (q,frac{n}{n-1}])</span>. In addition, the authors give several specific examples of <span>(W^{1,X})</span>-extension domains as well as <span>(dot{W}^{1,X})</span>-extension domains.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141740047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-16DOI: 10.1007/s12220-024-01741-3
Fumihiko Onoue
We consider compact hypersurfaces with boundary in ({mathbb {R}}^N) that are the critical points of the fractional area introduced by Paroni et al. (Commun Pure Appl Anal 17:709–727, 2018). In particular, we study the shape of such hypersurfaces in several simple settings. First we consider the critical points whose boundary is a smooth, orientable, closed manifold (Gamma ) of dimension (N-2) and lies in a hyperplane (H subset {mathbb {R}}^N). Then we show that the critical points coincide with a smooth manifold ({mathcal {N}}subset H) of dimension (N-1) with (partial {mathcal {N}}= Gamma ). Second we consider the critical points whose boundary consists of two smooth, orientable, closed manifolds (Gamma _1) and (Gamma _2) of dimension (N-2) and suppose that (Gamma _1) lies in a hyperplane H perpendicular to the (x_N)-axis and that (Gamma _2 = Gamma _1 + d , e_N) ((d >0) and (e_N = (0,cdots ,0,1) in {mathbb {R}}^N)). Then, assuming that (Gamma _1) has a non-negative mean curvature, we show that the critical points do not coincide with the union of two smooth manifolds ({mathcal {N}}_1 subset H) and ({mathcal {N}}_2 subset H + d , e_N) of dimension (N-1) with (partial {mathcal {N}}_i = Gamma _i) for (i in {1,2}). Moreover, the interior of the critical points does not intersect the boundary of the convex hull in ({mathbb {R}}^N) of (Gamma _1) and (Gamma _2), while this can occur in the codimension-one situation considered by Dipierro et al. (Proc Am Math Soc 150:2223–2237, 2022). We also obtain a quantitative bound which may tell us how different the critical points are from ({mathcal {N}}_1 cup {mathcal {N}}_2). Finally, in the same setting as in the second case, we show that, if d is sufficiently large, then the critical points are disconnected and, if d is sufficiently small, then (Gamma _1) and (Gamma _2) are in the same connected component of the critical points when (N ge 3). Moreover, by computing the fractional mean curvature of a cone whose boundary is (Gamma _1 cup Gamma _2), we also obtain that the interior of the critical points does not touch the cone if the critical points are contained in either the inside or the outside of the cone.
我们考虑边界在 ({mathbb {R}}^N) 中的紧凑超曲面,它们是 Paroni 等人引入的分数面积的临界点(Commun Pure Appl Anal 17:709-727, 2018)。具体而言,我们在几个简单的设置中研究了此类超曲面的形状。首先,我们考虑临界点,临界点的边界是维数为(N-2)的光滑、可定向、封闭流形(Gamma ),并且位于超平面(H subset {mathbb {R}}^N) 中。然后我们证明临界点与一个维数为 (N-1) 的光滑流形 ({mathcal {N}}subset H) 重合,并且 (partial {mathcal {N}}= Gamma )。其次,我们考虑临界点,临界点的边界由两个光滑的、可定向的、封闭的流形组成,维数为(N-2),假设((Gamma _1)位于垂直于(x_N)轴的超平面H中,并且((Gamma _2 = Gamma _1 + d, e_N)((d >;0) and(e_N = (0,cdots ,0,1) in {mathbb {R}}^N).然后,假设(Gamma _1)有一个非负的平均曲率,我们证明临界点与两个光滑流形({mathcal {N}}_1 subset H) 和({mathcal {N}}_2 subset H + d 、e_N) of dimension(N-1) with(Partial {mathcal {N}}_i =Gamma _i) for (i in {1,2}).此外,临界点的内部并不与({mathbb {R}}^N) 中的({mathbb {R}}^N) 的(Gamma _1)和(Gamma _2)的凸壳的边界相交,而这可能发生在迪皮埃罗等人所考虑的一维情况下(Proc Am Math Soc 150:2223-2237, 2022)。我们还得到了一个定量约束,它可以告诉我们临界点与({mathcal {N}}_1 cup {mathcal {N}}_2) 有多大不同。最后,在与第二种情况相同的环境下,我们证明了如果 d 足够大,那么临界点是断开的;如果 d 足够小,那么当 (N ge 3) 时,(γ_1)和(γ_2)处于临界点的同一个连通部分。此外,通过计算边界为 (Gamma _1 cup Gamma _2)的圆锥的分数平均曲率,我们还可以得到,如果临界点包含在圆锥的内部或外部,那么临界点的内部并不接触圆锥。
{"title":"On the Shape of Hypersurfaces with Boundary Which Have Zero Fractional Mean Curvature","authors":"Fumihiko Onoue","doi":"10.1007/s12220-024-01741-3","DOIUrl":"https://doi.org/10.1007/s12220-024-01741-3","url":null,"abstract":"<p>We consider compact hypersurfaces with boundary in <span>({mathbb {R}}^N)</span> that are the critical points of the fractional area introduced by Paroni et al. (Commun Pure Appl Anal 17:709–727, 2018). In particular, we study the shape of such hypersurfaces in several simple settings. First we consider the critical points whose boundary is a smooth, orientable, closed manifold <span>(Gamma )</span> of dimension <span>(N-2)</span> and lies in a hyperplane <span>(H subset {mathbb {R}}^N)</span>. Then we show that the critical points coincide with a smooth manifold <span>({mathcal {N}}subset H)</span> of dimension <span>(N-1)</span> with <span>(partial {mathcal {N}}= Gamma )</span>. Second we consider the critical points whose boundary consists of two smooth, orientable, closed manifolds <span>(Gamma _1)</span> and <span>(Gamma _2)</span> of dimension <span>(N-2)</span> and suppose that <span>(Gamma _1)</span> lies in a hyperplane <i>H</i> perpendicular to the <span>(x_N)</span>-axis and that <span>(Gamma _2 = Gamma _1 + d , e_N)</span> (<span>(d >0)</span> and <span>(e_N = (0,cdots ,0,1) in {mathbb {R}}^N)</span>). Then, assuming that <span>(Gamma _1)</span> has a non-negative mean curvature, we show that the critical points do not coincide with the union of two smooth manifolds <span>({mathcal {N}}_1 subset H)</span> and <span>({mathcal {N}}_2 subset H + d , e_N)</span> of dimension <span>(N-1)</span> with <span>(partial {mathcal {N}}_i = Gamma _i)</span> for <span>(i in {1,2})</span>. Moreover, the interior of the critical points does not intersect the boundary of the convex hull in <span>({mathbb {R}}^N)</span> of <span>(Gamma _1)</span> and <span>(Gamma _2)</span>, while this can occur in the codimension-one situation considered by Dipierro et al. (Proc Am Math Soc 150:2223–2237, 2022). We also obtain a quantitative bound which may tell us how different the critical points are from <span>({mathcal {N}}_1 cup {mathcal {N}}_2)</span>. Finally, in the same setting as in the second case, we show that, if <i>d</i> is sufficiently large, then the critical points are disconnected and, if <i>d</i> is sufficiently small, then <span>(Gamma _1)</span> and <span>(Gamma _2)</span> are in the same connected component of the critical points when <span>(N ge 3)</span>. Moreover, by computing the fractional mean curvature of a cone whose boundary is <span>(Gamma _1 cup Gamma _2)</span>, we also obtain that the interior of the critical points does not touch the cone if the critical points are contained in either the inside or the outside of the cone.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"114 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141721114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-10DOI: 10.1007/s12220-024-01733-3
Stefano Biagi, Andrea Bonfiglioli, Sergio Polidoro
Let (X = {X_0,ldots ,X_m}) be a family of smooth vector fields on an open set (Omega subseteq mathbb {R}^N). Motivated by applications to the PDE theory of Hörmander operators, for a suitable class of open sets (Omega ), we find necessary and sufficient conditions on X for the existence of a Lie group ((Omega ,*)) such that the operator (L=sum _{i = 1}^mX_i^2+X_0) is left-invariant with respect to the operation (*). Our approach is constructive, as the group law is constructed by means of the solution of a suitable ODE naturally associated to vector fields in X. We provide an application to a partial differential operator appearing in the Finance.
{"title":"Left-Invariance for Smooth Vector Fields and Applications","authors":"Stefano Biagi, Andrea Bonfiglioli, Sergio Polidoro","doi":"10.1007/s12220-024-01733-3","DOIUrl":"https://doi.org/10.1007/s12220-024-01733-3","url":null,"abstract":"<p>Let <span>(X = {X_0,ldots ,X_m})</span> be a family of smooth vector fields on an open set <span>(Omega subseteq mathbb {R}^N)</span>. Motivated by applications to the PDE theory of Hörmander operators, for a suitable class of open sets <span>(Omega )</span>, we find necessary and sufficient conditions on <i>X</i> for the existence of a Lie group <span>((Omega ,*))</span> such that the operator <span>(L=sum _{i = 1}^mX_i^2+X_0)</span> is left-invariant with respect to the operation <span>(*)</span>. Our approach is constructive, as the group law is constructed by means of the solution of a suitable ODE naturally associated to vector fields in <i>X</i>. We provide an application to a partial differential operator appearing in the Finance.</p>","PeriodicalId":501200,"journal":{"name":"The Journal of Geometric Analysis","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141569680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}