{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
Stefano Biagi, Andrea Bonfiglioli, Sergio Polidoro
{"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}