Pub Date : 2025-11-13DOI: 10.1007/s13324-025-01142-x
Stepan V. Pavlov, Sergey K. Vodopyanov
For the Reshetnyak-class homeomorphisms (varphi :Omega rightarrow Y), where (Omega ) is a domain in some Carnot group and Y is a metric space, we obtain an equivalent description as the homeomorphisms which induce the bounded composition operator
where (1le qle infty ), as (varphi ^*u=ucirc varphi ) for (uin textrm{Lip}(Y)). We demonstrate the utility of our approach by characterizing the homeomorphisms (varphi :Omega rightarrow Omega ') of domains in some Carnot group ({mathbb {G}}) which induce the bounded composition operator
on homogeneous Sobolev spaces. The new proof of this known criterion is much shorter than the one already available, requires a minimum of tools, and enables us to obtain new properties of the homeomorphisms in question.
{"title":"Reshetnyak-class mappings and composition operators","authors":"Stepan V. Pavlov, Sergey K. Vodopyanov","doi":"10.1007/s13324-025-01142-x","DOIUrl":"10.1007/s13324-025-01142-x","url":null,"abstract":"<div><p>For the Reshetnyak-class homeomorphisms <span>(varphi :Omega rightarrow Y)</span>, where <span>(Omega )</span> is a domain in some Carnot group and <i>Y</i> is a metric space, we obtain an equivalent description as the homeomorphisms which induce the bounded composition operator </p><div><div><span>$$ varphi ^*:textrm{Lip}(Y)rightarrow L_q^1(Omega ), $$</span></div></div><p>where <span>(1le qle infty )</span>, as <span>(varphi ^*u=ucirc varphi )</span> for <span>(uin textrm{Lip}(Y))</span>. We demonstrate the utility of our approach by characterizing the homeomorphisms <span>(varphi :Omega rightarrow Omega ')</span> of domains in some Carnot group <span>({mathbb {G}})</span> which induce the bounded composition operator </p><div><div><span>$$ varphi ^*: L^1_p(Omega ')cap textrm{Lip}_{textrm{loc}}(Omega ')rightarrow L^1_q (Omega ),quad 1le q le ple infty , $$</span></div></div><p>on homogeneous Sobolev spaces. The new proof of this known criterion is much shorter than the one already available, requires a minimum of tools, and enables us to obtain new properties of the homeomorphisms in question.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145510524","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-07DOI: 10.1007/s13324-025-01139-6
Rafik Aramyan
It is known that the Funk transform (FT) is invertible in the class of even (symmetric) continuous functions defined on the unit 2-sphere ({textbf{S}}^{2}). In this article, for the reconstruction of (fin { {mathcal {C}}}^{1}({textbf{S}}^{2})) (can be non-even), an additional condition is found, which is a weighted Funk transform (to reconstruct an odd function), and the injectivity of the so-called two data Funk transform is considered. The transform consists of the classical FT and the weighted FT. An iterative inversion formula of the transform is presented. Such inversions have theoretical significance in convexity theory, integral geometry and spherical tomography.
{"title":"Inversion of the two-data Funk transform","authors":"Rafik Aramyan","doi":"10.1007/s13324-025-01139-6","DOIUrl":"10.1007/s13324-025-01139-6","url":null,"abstract":"<div><p>It is known that the Funk transform (FT) is invertible in the class of even (symmetric) continuous functions defined on the unit 2-sphere <span>({textbf{S}}^{2})</span>. In this article, for the reconstruction of <span>(fin { {mathcal {C}}}^{1}({textbf{S}}^{2}))</span> (can be non-even), an additional condition is found, which is a weighted Funk transform (to reconstruct an odd function), and the injectivity of the so-called two data Funk transform is considered. The transform consists of the classical FT and the weighted FT. An iterative inversion formula of the transform is presented. Such inversions have theoretical significance in convexity theory, integral geometry and spherical tomography.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145456547","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-06DOI: 10.1007/s13324-025-01136-9
Rourou Ma, Julian Weigert
In this article we investigate the property of complete monotonicity within a special family (mathcal {F}_s) of functions in s variables involving logarithms. The main result of this work provides a linear isomorphism between (mathcal {F}_s) and the space of real multivariate polynomials. This isomorphism identifies the cone of completely monotone functions with the cone of non-negative polynomials. We conclude that the cone of completely monotone functions in (mathcal {F}_s) is semi-algebraic. This gives a finite time algorithm to decide whether a function in (mathcal {F}_s) is completely monotone.
{"title":"Complete monotonicity of log-functions","authors":"Rourou Ma, Julian Weigert","doi":"10.1007/s13324-025-01136-9","DOIUrl":"10.1007/s13324-025-01136-9","url":null,"abstract":"<div><p>In this article we investigate the property of complete monotonicity within a special family <span>(mathcal {F}_s)</span> of functions in <i>s</i> variables involving logarithms. The main result of this work provides a linear isomorphism between <span>(mathcal {F}_s)</span> and the space of real multivariate polynomials. This isomorphism identifies the cone of completely monotone functions with the cone of non-negative polynomials. We conclude that the cone of completely monotone functions in <span>(mathcal {F}_s)</span> is semi-algebraic. This gives a finite time algorithm to decide whether a function in <span>(mathcal {F}_s)</span> is completely monotone.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s13324-025-01136-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145456116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-05DOI: 10.1007/s13324-025-01137-8
Diana C. S. Bello
Let (-Delta _{mathcal {S}}) be the Laplace operator in (mathcal{S} subset mathbb {R}^3) on a waveguide shaped surfaces, i.e., ({mathcal {S}}) is built by translating a closed curve in a constant direction along an unbounded spatial curve. Under the condition that the tangent vector of the reference curve admits a finite limit at infinity, we find the essential spectrum of (-Delta _{mathcal {S}}) and discuss conditions under which discrete eigenvalues emerge. Furthermore, we analyze the Laplacian in the case of a broken sheared waveguide shaped surface.
{"title":"Spectrum of the Laplacian in waveguide shaped surfaces","authors":"Diana C. S. Bello","doi":"10.1007/s13324-025-01137-8","DOIUrl":"10.1007/s13324-025-01137-8","url":null,"abstract":"<div><p>Let <span>(-Delta _{mathcal {S}})</span> be the Laplace operator in <span>(mathcal{S} subset mathbb {R}^3)</span> on a waveguide shaped surfaces, i.e., <span>({mathcal {S}})</span> is built by translating a closed curve in a constant direction along an unbounded spatial curve. Under the condition that the tangent vector of the reference curve admits a finite limit at infinity, we find the essential spectrum of <span>(-Delta _{mathcal {S}})</span> and discuss conditions under which discrete eigenvalues emerge. Furthermore, we analyze the Laplacian in the case of a broken sheared waveguide shaped surface.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145456192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-11-04DOI: 10.1007/s13324-025-01138-7
Sheng-Ya Feng, Der-Chen Chang
This paper studies the degenerate kernel approximation theory for the second-kind Fredholm integral equations in (L^p) spaces ((1 leqslant p leqslant infty )). By introducing the mixed norm of kernel functions to construct an adaptive analytical tool, the research framework is extended from the classical (L^2) space to the more general (L^p) spaces. Based on the degenerate kernel approximation method, through refined norm estimation of iterated kernels and convergence analysis of the resolvent kernel series, the resolvent kernel representation theory for the solution of integral equations is established. This weakens the strong constraints on the growth of kernel functions and improves the applicability of the theory to non-compact intervals and weakly decaying kernel scenarios. On this basis, two types of error estimations are proposed: dual resolvent kernel error estimate and single resolvent kernel error estimate, which clearly characterize the error relationship between the approximate solution and the exact solution. This research provides a unified framework for the analysis of solutions to integral equations with different regularity characteristics and improves the system of integral equation approximation theory. Furthermore, the degenerate kernel approximation theory and error estimation results established in this paper can be directly extended to integral equations in high-dimensional Euclidean spaces, and their analytical framework and conclusions remain valid in high-dimensional cases.
本文研究了(L^p)空间((1 leqslant p leqslant infty ))中第二类Fredholm积分方程的退化核逼近理论。通过引入核函数混合范数构建自适应分析工具,将研究框架从经典的(L^2)空间扩展到更一般的(L^p)空间。基于退化核近似方法,通过迭代核的精细范数估计和可解核级数的收敛性分析,建立了积分方程解的可解核表示理论。这削弱了对核函数增长的强约束,提高了理论在非紧区间和弱衰变核场景下的适用性。在此基础上,提出了两种误差估计:双分辨核误差估计和单分辨核误差估计,清晰地表征了近似解和精确解之间的误差关系。本研究为不同正则性积分方程解的分析提供了统一的框架,完善了积分方程近似理论体系。此外,本文建立的退化核近似理论和误差估计结果可以直接推广到高维欧几里德空间中的积分方程,其解析框架和结论在高维情况下仍然有效。
{"title":"Degenerate kernel approximation and error estimation for integral equations in (L^p) spaces","authors":"Sheng-Ya Feng, Der-Chen Chang","doi":"10.1007/s13324-025-01138-7","DOIUrl":"10.1007/s13324-025-01138-7","url":null,"abstract":"<div><p>This paper studies the degenerate kernel approximation theory for the second-kind Fredholm integral equations in <span>(L^p)</span> spaces (<span>(1 leqslant p leqslant infty )</span>). By introducing the mixed norm of kernel functions to construct an adaptive analytical tool, the research framework is extended from the classical <span>(L^2)</span> space to the more general <span>(L^p)</span> spaces. Based on the degenerate kernel approximation method, through refined norm estimation of iterated kernels and convergence analysis of the resolvent kernel series, the resolvent kernel representation theory for the solution of integral equations is established. This weakens the strong constraints on the growth of kernel functions and improves the applicability of the theory to non-compact intervals and weakly decaying kernel scenarios. On this basis, two types of error estimations are proposed: dual resolvent kernel error estimate and single resolvent kernel error estimate, which clearly characterize the error relationship between the approximate solution and the exact solution. This research provides a unified framework for the analysis of solutions to integral equations with different regularity characteristics and improves the system of integral equation approximation theory. Furthermore, the degenerate kernel approximation theory and error estimation results established in this paper can be directly extended to integral equations in high-dimensional Euclidean spaces, and their analytical framework and conclusions remain valid in high-dimensional cases.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145456188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-30DOI: 10.1007/s13324-025-01134-x
Manuel D. Contreras, Santiago Díaz-Madrigal, Pavel Gumenyuk
Let (varphi :{mathbb {D}} rightarrow {mathbb {D}}) be a parabolic self-map of the unit disc ({mathbb {D}}) having zero hyperbolic step. We study holomorphic self-maps of ({mathbb {D}}) commuting with (varphi ). In particular, we answer a question from Gentili and Vlacci (1994) by proving that (psi in mathsf {Hol({mathbb {D}},{mathbb {D}})}) commutes with (varphi ) if and only if the two self-maps have the same Denjoy – Wolff point and (psi ) is a pseudo-iterate of (varphi ) in the sense of Cowen. Moreover, we show that the centralizer of (varphi ), i.e. the semigroup ({mathscr {Z}}_forall (varphi ):={psi in mathsf {Hol({mathbb {D}},{mathbb {D}})}:psi circ varphi =varphi circ psi }) is commutative. We also prove that if (varphi ) is univalent, then all elements of ({mathscr {Z}}_forall (varphi )) are univalent as well, and if (varphi ) is not univalent, then the identity map is an isolated point of ({mathscr {Z}}_forall (varphi )). The main tool is the machinery of simultaneous linearization, which we develop using holomorphic models for iteration of non-elliptic self-maps originating in works of Cowen and Pommerenke.
{"title":"Simultaneous linearization and centralizers of parabolic self-maps I: zero hyperbolic step","authors":"Manuel D. Contreras, Santiago Díaz-Madrigal, Pavel Gumenyuk","doi":"10.1007/s13324-025-01134-x","DOIUrl":"10.1007/s13324-025-01134-x","url":null,"abstract":"<div><p>Let <span>(varphi :{mathbb {D}} rightarrow {mathbb {D}})</span> be a parabolic self-map of the unit disc <span>({mathbb {D}})</span> having <i>zero</i> hyperbolic step. We study holomorphic self-maps of <span>({mathbb {D}})</span> commuting with <span>(varphi )</span>. In particular, we answer a question from Gentili and Vlacci (1994) by proving that <span>(psi in mathsf {Hol({mathbb {D}},{mathbb {D}})})</span> commutes with <span>(varphi )</span> if and only if the two self-maps have the same Denjoy – Wolff point and <span>(psi )</span> is a pseudo-iterate of <span>(varphi )</span> in the sense of Cowen. Moreover, we show that the centralizer of <span>(varphi )</span>, i.e. the semigroup <span>({mathscr {Z}}_forall (varphi ):={psi in mathsf {Hol({mathbb {D}},{mathbb {D}})}:psi circ varphi =varphi circ psi })</span> is commutative. We also prove that if <span>(varphi )</span> is univalent, then all elements of <span>({mathscr {Z}}_forall (varphi ))</span> are univalent as well, and if <span>(varphi )</span> is not univalent, then the identity map is an isolated point of <span>({mathscr {Z}}_forall (varphi ))</span>. The main tool is the machinery of <i>simultaneous linearization</i>, which we develop using holomorphic models for iteration of non-elliptic self-maps originating in works of Cowen and Pommerenke.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s13324-025-01134-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145406349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-29DOI: 10.1007/s13324-025-01135-w
Yasuaki Fujitani
Choi-Wang obtained a lower bound of the first eigenvalue of the Laplacian on closed minimal hypersurfaces. On minimal hypersurfaces with boundary, Fraser-Li established an inequality giving a lower bound of the first Steklov eigenvalue as a counterpart of the Choi-Wang inequality. The Fraser-Li type inequality was obtained for manifolds with non-negative Ricci curvature. In this paper, we extend it to the setting of non-negative Ricci curvature with respect to the Wylie-Yeroshkin type affine connection. Our results apply to both weighted Riemannian manifolds with non-negative 1-weighted Ricci curvature and substatic triples.
{"title":"A Steklov eigenvalue estimate for affine connections and its application to substatic triples","authors":"Yasuaki Fujitani","doi":"10.1007/s13324-025-01135-w","DOIUrl":"10.1007/s13324-025-01135-w","url":null,"abstract":"<div><p>Choi-Wang obtained a lower bound of the first eigenvalue of the Laplacian on closed minimal hypersurfaces. On minimal hypersurfaces with boundary, Fraser-Li established an inequality giving a lower bound of the first Steklov eigenvalue as a counterpart of the Choi-Wang inequality. The Fraser-Li type inequality was obtained for manifolds with non-negative Ricci curvature. In this paper, we extend it to the setting of non-negative Ricci curvature with respect to the Wylie-Yeroshkin type affine connection. Our results apply to both weighted Riemannian manifolds with non-negative 1-weighted Ricci curvature and substatic triples.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s13324-025-01135-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145406000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-18DOI: 10.1007/s13324-025-01118-x
Jae-Myoung Kim
The aim of this paper is to investigate a higher upper and lower decay rates for the difference (u-{tilde{u}}) where (u) is a strong or classical solution of an incompressible (non-)Newtonian fluid in ({{mathbb {R}} }^3) with the initial data (u_0) and ({tilde{u}}) is the strong or classical solution of the same equations with large perturbed initial data (W_0). The proof is based on energy estimates.
{"title":"Upper and lower convergence rates for (strong or) classical solutions to the 3D incompressible fluid","authors":"Jae-Myoung Kim","doi":"10.1007/s13324-025-01118-x","DOIUrl":"10.1007/s13324-025-01118-x","url":null,"abstract":"<div><p>The aim of this paper is to investigate a higher upper and lower decay rates for the difference <span>(u-{tilde{u}})</span> where <span>(u)</span> is a strong or classical solution of an incompressible (non-)Newtonian fluid in <span>({{mathbb {R}} }^3)</span> with the initial data <span>(u_0)</span> and <span>({tilde{u}})</span> is the strong or classical solution of the same equations with large perturbed initial data <span>(W_0)</span>. The proof is based on energy estimates.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-10-13DOI: 10.1007/s13324-025-01131-0
Marco Düfel, James B. Kennedy, Delio Mugnolo, Marvin Plümer, Matthias Täufer
We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs.
{"title":"On the spectrum of infinite quantum graphs","authors":"Marco Düfel, James B. Kennedy, Delio Mugnolo, Marvin Plümer, Matthias Täufer","doi":"10.1007/s13324-025-01131-0","DOIUrl":"10.1007/s13324-025-01131-0","url":null,"abstract":"<div><p>We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called <i>Friedrichs</i> and <i>Neumann extensions</i>. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs.</p></div>","PeriodicalId":48860,"journal":{"name":"Analysis and Mathematical Physics","volume":"15 6","pages":""},"PeriodicalIF":1.6,"publicationDate":"2025-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316171","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}