Pub Date : 2024-04-11DOI: 10.1007/s00041-024-10077-z
Sorravit Phonrakkhet, Keng Wiboonton
Let G be a compact group and G/H a homogeneous space where H is a closed subgroup of G. Define an operator (T_H:C(G) rightarrow C(G/H)) by (T_Hf(tH)=int _H f(th) , dh) for each (tH in G/H). In this paper, we extend (T_H) to a norm-decreasing operator between (L^p)-spaces with a vector measure for each (1 le p <infty ). This extension will be used to derive properties of invariant vector measures on G/H. Moreover, a definition of the Fourier transform for (L^p)-functions with a vector measure is introduced on G/H. We also prove the uniqueness theorem and the Riemann–Lebesgue lemma.
让G是一个紧凑群,G/H是一个均质空间,其中H是G的一个闭合子群。定义一个算子(T_H:C(G) rightarrow C(G/H))为:(T_Hf(tH)=int _H f(th) , dh) for each (tHin G/H).在本文中,我们将(T_H)扩展为(L^p)-空间之间的规范递减算子,每个(1 le p <infty )都有一个向量度量。这一扩展将用于推导 G/H 上不变向量量的性质。此外,我们还在 G/H 上引入了具有向量量的(L^p)函数的傅里叶变换的定义。我们还证明了唯一性定理和黎曼-莱伯斯格(Riemann-Lebesgue)lemma。
{"title":"Fourier Transform for $$L^p$$ -Functions with a Vector Measure on a Homogeneous Space of Compact Groups","authors":"Sorravit Phonrakkhet, Keng Wiboonton","doi":"10.1007/s00041-024-10077-z","DOIUrl":"https://doi.org/10.1007/s00041-024-10077-z","url":null,"abstract":"<p>Let <i>G</i> be a compact group and <i>G</i>/<i>H</i> a homogeneous space where <i>H</i> is a closed subgroup of <i>G</i>. Define an operator <span>(T_H:C(G) rightarrow C(G/H))</span> by <span>(T_Hf(tH)=int _H f(th) , dh)</span> for each <span>(tH in G/H)</span>. In this paper, we extend <span>(T_H)</span> to a norm-decreasing operator between <span>(L^p)</span>-spaces with a vector measure for each <span>(1 le p <infty )</span>. This extension will be used to derive properties of invariant vector measures on <i>G</i>/<i>H</i>. Moreover, a definition of the Fourier transform for <span>(L^p)</span>-functions with a vector measure is introduced on <i>G</i>/<i>H</i>. We also prove the uniqueness theorem and the Riemann–Lebesgue lemma.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140571295","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 : 2024-04-04DOI: 10.1007/s00041-024-10075-1
Abstract
We prove an (L^p)-spectral multiplier theorem for sub-Laplacians on Heisenberg type groups under the sharp regularity condition (s>dleft| 1/p-1/2right| ), where d is the topological dimension of the underlying group. Our approach relies on restriction type estimates where the multiplier is additionally truncated along the spectrum of the Laplacian on the center of the group.
摘要 我们证明了海森堡类型群上的子拉普拉斯在尖锐正则条件 (s>dleft| 1/p-1/2right| ) 下的(L^p) -谱乘数定理,其中 d 是底层群的拓扑维数。我们的方法依赖于限制型估计,在限制型估计中,乘数会沿着拉普拉奇在群中心的谱被截断。
{"title":"An $$L^p$$ -Spectral Multiplier Theorem with Sharp p-Specific Regularity Bound on Heisenberg Type Groups","authors":"","doi":"10.1007/s00041-024-10075-1","DOIUrl":"https://doi.org/10.1007/s00041-024-10075-1","url":null,"abstract":"<h3>Abstract</h3> <p>We prove an <span> <span>(L^p)</span> </span>-spectral multiplier theorem for sub-Laplacians on Heisenberg type groups under the sharp regularity condition <span> <span>(s>dleft| 1/p-1/2right| )</span> </span>, where <em>d</em> is the topological dimension of the underlying group. Our approach relies on restriction type estimates where the multiplier is additionally truncated along the spectrum of the Laplacian on the center of the group.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140571286","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 : 2024-04-04DOI: 10.1007/s00041-024-10072-4
Horia D. Cornean, Bernard Helffer, Radu Purice
In this paper we use some ideas from [12, 13] and consider the description of Hörmander type pseudo-differential operators on (mathbb {R}^d) ((dge 1)), including the case of the magnetic pseudo-differential operators introduced in [15, 16], with respect to a tight Gabor frame. We show that all these operators can be identified with some infinitely dimensional matrices whose elements are strongly localized near the diagonal. Using this matrix representation, one can give short and elegant proofs to classical results like the Calderón-Vaillancourt theorem and Beals’ commutator criterion, and also establish local trace-class criteria.
{"title":"Matrix Representation of Magnetic Pseudo-Differential Operators via Tight Gabor Frames","authors":"Horia D. Cornean, Bernard Helffer, Radu Purice","doi":"10.1007/s00041-024-10072-4","DOIUrl":"https://doi.org/10.1007/s00041-024-10072-4","url":null,"abstract":"<p>In this paper we use some ideas from [12, 13] and consider the description of Hörmander type pseudo-differential operators on <span>(mathbb {R}^d)</span> (<span>(dge 1)</span>), including the case of the magnetic pseudo-differential operators introduced in [15, 16], with respect to a tight Gabor frame. We show that all these operators can be identified with some infinitely dimensional matrices whose elements are strongly localized near the diagonal. Using this matrix representation, one can give short and elegant proofs to classical results like the Calderón-Vaillancourt theorem and Beals’ commutator criterion, and also establish local trace-class criteria.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140571291","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 : 2024-04-02DOI: 10.1007/s00041-024-10076-0
Silvina Campos, José García, Linda Saal
We introduce a family of generalized Gelfand pairs ((K_m,N_m)) where (N_m) is an (m+2)-step nilpotent Lie group and (K_m) is isomorphic to the 3-dimensional Heisenberg group. We develop the associated spherical analysis computing the set of the spherical distributions and we obtain some results on the algebra of (K_m)-invariant and left invariant differential operators on (N_m).
{"title":"Spherical Analysis Attached to Some m-Step Nilpotent Lie Group","authors":"Silvina Campos, José García, Linda Saal","doi":"10.1007/s00041-024-10076-0","DOIUrl":"https://doi.org/10.1007/s00041-024-10076-0","url":null,"abstract":"<p>We introduce a family of generalized Gelfand pairs <span>((K_m,N_m))</span> where <span>(N_m)</span> is an <span>(m+2)</span>-step nilpotent Lie group and <span>(K_m)</span> is isomorphic to the 3-dimensional Heisenberg group. We develop the associated spherical analysis computing the set of the spherical distributions and we obtain some results on the algebra of <span>(K_m)</span>-invariant and left invariant differential operators on <span>(N_m)</span>.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140571293","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 : 2024-03-27DOI: 10.1007/s00041-024-10078-y
Amol Sasane
The ring of periodic distributions on (mathbb {R}^{texttt {d}}) with usual addition of distributions, and with convolution is considered. Via Fourier series expansions, this ring is isomorphic to the ring (mathcal {S}'(mathbb {Z}^{texttt {d}})) of all maps (f:mathbb {Z}^{texttt {d}}rightarrow mathbb {C}) of at most polynomial growth (that is, there exist a real number (M>0) and an integer (texttt {m}ge 0) such that ( |f(varvec{n})|le M(1+|texttt{n}_1|+cdots +|texttt {n}_{texttt {d}}|)^{texttt {m}}) for all (varvec{n}=(texttt{n}_1,cdots , texttt {n}_{texttt {d}})in mathbb {Z}^{texttt {d}})), with pointwise operations. It is shown that finitely generated ideals in (mathcal {S}'(mathbb {Z}^{texttt {d}})) are principal, and ideal membership is characterised analytically. Calling an ideal in (mathcal {S}'(mathbb {Z}^texttt{d})) fixed if there is a common index (varvec{n}in mathbb {Z}^{texttt {d}}) where each member vanishes, the fixed maximal ideals are described, and it is shown that not all maximal ideals are fixed. It is shown that finitely generated (hence principal) prime ideals in (mathcal {S}'(mathbb {Z}^{texttt {d}})) are fixed maximal ideals. The Krull dimension of (mathcal {S}'(mathbb {Z}^{texttt {d}})) is proved to be infinite, while the weak Krull dimension is shown to be equal to 1.
本文考虑的是(mathbb {R}^{texttt {d}})上的周期性分布环,具有通常的分布加法和卷积。通过傅里叶级数展开,该环与所有映射的环(mathcal {S}'(mathbb {Z}^{texttt {d}})同构:多项式增长的所有映射(即存在一个实数 M>;0) and an integer (texttt {m}ge 0) such that ( |f(varvec{n})|le M(1+|texttt{n}_1|+cdots +|texttt{n}_{texttt {d}}|)^{texttt {m}}) for all (varvec{n}=(texttt{n}_1、in mathbb {Z}^{texttt {d}})),并进行点操作。研究表明,在 (mathcal {S}'(mathbb {Z}^{texttt {d}}))中有限生成的理想都是主理想,而且理想的成员资格是可以分析的。如果在(mathcal {S}'(mathbb {Z}^texttt {d}))中存在一个公共索引(varvec{n}in mathbb {Z}^texttt {d}}),其中的每个成员都消失,那么就可以称这个理想为固定的理想。证明了在(mathcal {S}'(mathbb {Z}^{texttt {d}}))中有限生成的(因此是主的)素理想是固定的最大理想。证明了 (mathcal {S}'(mathbb {Z}^{texttt {d}}))的克鲁尔维度是无限的,而弱克鲁尔维度被证明等于 1。
{"title":"Ideals in the Convolution Algebra of Periodic Distributions","authors":"Amol Sasane","doi":"10.1007/s00041-024-10078-y","DOIUrl":"https://doi.org/10.1007/s00041-024-10078-y","url":null,"abstract":"<p>The ring of periodic distributions on <span>(mathbb {R}^{texttt {d}})</span> with usual addition of distributions, and with convolution is considered. Via Fourier series expansions, this ring is isomorphic to the ring <span>(mathcal {S}'(mathbb {Z}^{texttt {d}}))</span> of all maps <span>(f:mathbb {Z}^{texttt {d}}rightarrow mathbb {C})</span> of at most polynomial growth (that is, there exist a real number <span>(M>0)</span> and an integer <span>(texttt {m}ge 0)</span> such that <span>( |f(varvec{n})|le M(1+|texttt{n}_1|+cdots +|texttt {n}_{texttt {d}}|)^{texttt {m}})</span> for all <span>(varvec{n}=(texttt{n}_1,cdots , texttt {n}_{texttt {d}})in mathbb {Z}^{texttt {d}})</span>), with pointwise operations. It is shown that finitely generated ideals in <span>(mathcal {S}'(mathbb {Z}^{texttt {d}}))</span> are principal, and ideal membership is characterised analytically. Calling an ideal in <span>(mathcal {S}'(mathbb {Z}^texttt{d}))</span> fixed if there is a common index <span>(varvec{n}in mathbb {Z}^{texttt {d}})</span> where each member vanishes, the fixed maximal ideals are described, and it is shown that not all maximal ideals are fixed. It is shown that finitely generated (hence principal) prime ideals in <span>(mathcal {S}'(mathbb {Z}^{texttt {d}}))</span> are fixed maximal ideals. The Krull dimension of <span>(mathcal {S}'(mathbb {Z}^{texttt {d}}))</span> is proved to be infinite, while the weak Krull dimension is shown to be equal to 1.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140315028","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 : 2024-03-27DOI: 10.1007/s00041-024-10079-x
Abstract
Let V be a variety in (mathbb {F}_q^d) and (Esubset V). It is known that if any line passing through the origin contains a bounded number of points from E, then (left| prod (E) right| =|{xcdot y:x, yin E}|gg q) whenever (|E|gg q^{frac{d}{2}}). In this paper, we show that the barrier (frac{d}{2}) can be broken when V is a paraboloid in some specific dimensions. The main novelty in our approach is to link this question to the distance problem in one lower dimensional vector space, allowing us to use recent developments in this area to obtain improvements.
Abstract Let V be a variety in (mathbb {F}_q^d) and (Esubset V) .众所周知,如果任何经过原点的直线包含来自 E 的有界数的点,那么只要 (|E|gg q^{frac{d}{2}}) , (left| prod (E) right| =|{xcdot y:x, yin E}|gg q) .在本文中,我们证明了当 V 在某些特定维度上是抛物面时,障碍 (frac{d}{2}) 可以被打破。我们方法的主要新颖之处在于将这一问题与一个低维向量空间中的距离问题联系起来,使我们能够利用这一领域的最新发展来获得改进。
{"title":"Product of Sets on Varieties in Finite Fields","authors":"","doi":"10.1007/s00041-024-10079-x","DOIUrl":"https://doi.org/10.1007/s00041-024-10079-x","url":null,"abstract":"<h3>Abstract</h3> <p>Let <em>V</em> be a variety in <span> <span>(mathbb {F}_q^d)</span> </span> and <span> <span>(Esubset V)</span> </span>. It is known that if any line passing through the origin contains a bounded number of points from <em>E</em>, then <span> <span>(left| prod (E) right| =|{xcdot y:x, yin E}|gg q)</span> </span> whenever <span> <span>(|E|gg q^{frac{d}{2}})</span> </span>. In this paper, we show that the barrier <span> <span>(frac{d}{2})</span> </span> can be broken when <em>V</em> is a paraboloid in some specific dimensions. The main novelty in our approach is to link this question to the distance problem in one lower dimensional vector space, allowing us to use recent developments in this area to obtain improvements.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140315029","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 : 2024-03-21DOI: 10.1007/s00041-024-10074-2
Weiqi Zhou
Let G be an additive and finite Abelian group, and p a prime number that does not divide the order of G. We show that if G has the universal spectrum property, then so does (Gtimes {mathbb {Z}}_p). This is similar to and extends a previous result for cyclic groups using the same dilation trick but on non-cyclic groups as well. Inductively applying this statement on the known list of permissible G one can replace p with any square-free number that does not divide the order of G, and produce new tiling to spectral results in finite Abelian groups generated by at most two elements.
让 G 是一个可加的有限阿贝尔群,p 是一个不除 G 的阶的素数。我们证明,如果 G 具有普谱性质,那么 (Gtimes {mathbb {Z}}_p) 也具有普谱性质。这与之前用同样的扩张技巧对循环群得出的结果相似,但也是对非循环群得出的结果的扩展。在已知的允许 G 的列表上归纳应用这一声明,我们可以用任何不除以 G 的阶的无平方数来替换 p,从而在最多由两个元素生成的有限阿贝尔群中产生新的平铺到谱结果。
{"title":"Universal Spectra in $$Gtimes {mathbb {Z}}_p$$","authors":"Weiqi Zhou","doi":"10.1007/s00041-024-10074-2","DOIUrl":"https://doi.org/10.1007/s00041-024-10074-2","url":null,"abstract":"<p>Let <i>G</i> be an additive and finite Abelian group, and <i>p</i> a prime number that does not divide the order of <i>G</i>. We show that if <i>G</i> has the universal spectrum property, then so does <span>(Gtimes {mathbb {Z}}_p)</span>. This is similar to and extends a previous result for cyclic groups using the same dilation trick but on non-cyclic groups as well. Inductively applying this statement on the known list of permissible <i>G</i> one can replace <i>p</i> with any square-free number that does not divide the order of <i>G</i>, and produce new tiling to spectral results in finite Abelian groups generated by at most two elements.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140201026","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 : 2024-03-14DOI: 10.1007/s00041-024-10073-3
Kyoungtae Moon
The purpose of this paper is to prove an optimal restriction estimate for a class of flat curves in ({mathbb {R}} ^d), (dge 3). Namely, we consider the problem of determining all the pairs (p, q) for which the (L^p-L^q) estimate holds (or a suitable Lorentz norm substitute at the endpoint, where the (L^p-L^q) estimate fails) for the extension operator associated to (gamma (t) = (t, {frac{t^2}{2!}}, ldots , {frac{t^{d-1}}{(d-1)!}}, phi (t))), (0le tle 1), with respect to the affine arclength measure. In particular, we are interested in the flat case, i.e. when (phi (t)) satisfies (phi ^{(d)}(0) = 0) for all integers (dge 1). A prototypical example is given by (phi (t) = e^{-1/t}). The paper (Bak et al., J. Aust. Math. Soc. 85:1–28, 2008) addressed precisely this problem. The examples in Bak et al. (2008) are defined recursively in terms of an integral, and they represent progressively flatter curves. Although these include arbitrarily flat curves, it is not clear if they cover, for instance, the prototypical case (phi (t) = e^{-1/t}). We will show that the desired estimate does hold for that example and indeed for a class of examples satisfying some hypotheses involving a log-concavity condition.
{"title":"A Restriction Estimate with a Log-Concavity Assumption","authors":"Kyoungtae Moon","doi":"10.1007/s00041-024-10073-3","DOIUrl":"https://doi.org/10.1007/s00041-024-10073-3","url":null,"abstract":"<p>The purpose of this paper is to prove an optimal restriction estimate for a class of flat curves in <span>({mathbb {R}} ^d)</span>, <span>(dge 3)</span>. Namely, we consider the problem of determining all the pairs (<i>p</i>, <i>q</i>) for which the <span>(L^p-L^q)</span> estimate holds (or a suitable Lorentz norm substitute at the endpoint, where the <span>(L^p-L^q)</span> estimate fails) for the extension operator associated to <span>(gamma (t) = (t, {frac{t^2}{2!}}, ldots , {frac{t^{d-1}}{(d-1)!}}, phi (t)))</span>, <span>(0le tle 1)</span>, with respect to the affine arclength measure. In particular, we are interested in the flat case, i.e. when <span>(phi (t))</span> satisfies <span>(phi ^{(d)}(0) = 0)</span> for all integers <span>(dge 1)</span>. A prototypical example is given by <span>(phi (t) = e^{-1/t})</span>. The paper (Bak et al., J. Aust. Math. Soc. 85:1–28, 2008) addressed precisely this problem. The examples in Bak et al. (2008) are defined recursively in terms of an integral, and they represent progressively flatter curves. Although these include arbitrarily flat curves, it is not clear if they cover, for instance, the prototypical case <span>(phi (t) = e^{-1/t})</span>. We will show that the desired estimate does hold for that example and indeed for a class of examples satisfying some hypotheses involving a log-concavity condition.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140147117","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 : 2024-03-08DOI: 10.1007/s00041-024-10070-6
Shubham Gupta
In this paper, we consider a weighted version of one-dimensional discrete Hardy inequalities with power weights of the form (n^alpha ). We prove the inequality when (alpha ) is an even natural number with the sharp constant and remainder terms. We also find explicit constants in standard and weighted Rellich inequalities(with weights (n^alpha )) which are asymptotically sharp as (alpha rightarrow infty ). As a by-product of this work we derive a combinatorial identity using purely analytic methods, which suggests a plausible correlation between combinatorial and functional identities.
{"title":"One-Dimensional Discrete Hardy and Rellich Inequalities on Integers","authors":"Shubham Gupta","doi":"10.1007/s00041-024-10070-6","DOIUrl":"https://doi.org/10.1007/s00041-024-10070-6","url":null,"abstract":"<p>In this paper, we consider a weighted version of one-dimensional discrete Hardy inequalities with power weights of the form <span>(n^alpha )</span>. We prove the inequality when <span>(alpha )</span> is an even natural number with the sharp constant and remainder terms. We also find explicit constants in standard and weighted Rellich inequalities(with weights <span>(n^alpha )</span>) which are asymptotically sharp as <span>(alpha rightarrow infty )</span>. As a by-product of this work we derive a combinatorial identity using purely analytic methods, which suggests a plausible correlation between combinatorial and functional identities.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140073644","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 : 2024-02-27DOI: 10.1007/s00041-024-10071-5
José Pinto, Fernando Henríquez, Carlos Jerez-Hanckes
We establish shape holomorphy results for general weakly- and hyper-singular boundary integral operators arising from second-order partial differential equations in unbounded two-dimensional domains with multiple finite-length open arcs. After recasting the corresponding boundary value problems as boundary integral equations, we prove that their solutions depend holomorphically upon perturbations of the arcs’ parametrizations. These results are key to prove the shape (domain) holomorphy of domain-to-solution maps associated to boundary integral equations appearing in uncertainty quantification, inverse problems and deep learning, to name a few applications.
{"title":"Shape Holomorphy of Boundary Integral Operators on Multiple Open Arcs","authors":"José Pinto, Fernando Henríquez, Carlos Jerez-Hanckes","doi":"10.1007/s00041-024-10071-5","DOIUrl":"https://doi.org/10.1007/s00041-024-10071-5","url":null,"abstract":"<p>We establish shape holomorphy results for general weakly- and hyper-singular boundary integral operators arising from second-order partial differential equations in unbounded two-dimensional domains with multiple finite-length open arcs. After recasting the corresponding boundary value problems as boundary integral equations, we prove that their solutions depend holomorphically upon perturbations of the arcs’ parametrizations. These results are key to prove the shape (domain) holomorphy of domain-to-solution maps associated to boundary integral equations appearing in uncertainty quantification, inverse problems and deep learning, to name a few applications.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":null,"pages":null},"PeriodicalIF":1.2,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140010656","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}