{"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":"34 1","pages":""},"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}
{"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":"45 1","pages":""},"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}
{"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":"17 1","pages":""},"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}
{"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":"129 1","pages":""},"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}
{"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":"9 1","pages":""},"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}
{"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":"81 1","pages":""},"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}
{"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":"21 1","pages":""},"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}
José Pinto, Fernando Henríquez, Carlos Jerez-Hanckes
{"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":"61 9 1","pages":""},"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}
Shilin Dou, Ansel Goh, Kevin Liu, Madeline Legate, Gavin Pettigrew
{"title":"Cosine Sign Correlation","authors":"Shilin Dou, Ansel Goh, Kevin Liu, Madeline Legate, Gavin Pettigrew","doi":"10.1007/s00041-024-10067-1","DOIUrl":"https://doi.org/10.1007/s00041-024-10067-1","url":null,"abstract":"<p>Fix <span>(left{ a_1, dots , a_n right} subset {mathbb {N}})</span>, and let <i>x</i> be a uniformly distributed random variable on <span>([0,2pi ])</span>. The probability <span>({mathbb {P}}(a_1,ldots ,a_n))</span> that <span>(cos (a_1 x), dots , cos (a_n x))</span> are either all positive or all negative is non-zero since <span>(cos (a_i x) sim 1)</span> for <i>x</i> in a neighborhood of 0. We are interested in how small this probability can be. Motivated by a problem in spectral theory, Goncalves, Oliveira e Silva, and Steinerberger proved that <span>({mathbb {P}}(a_1,a_2) ge 1/3)</span> with equality if and only if <span>(left{ a_1, a_2 right} = gcd (a_1, a_2)cdot left{ 1, 3right} )</span>. We prove <span>({mathbb {P}}(a_1,a_2,a_3)ge 1/9)</span> with equality if and only if <span>(left{ a_1, a_2, a_3 right} = gcd (a_1, a_2, a_3)cdot left{ 1, 3, 9right} )</span>. The pattern does not continue, as <span>(left{ 1,3,11,33right} )</span> achieves a smaller value than <span>(left{ 1,3,9,27right} )</span>. We conjecture multiples of <span>(left{ 1,3,11,33right} )</span> to be optimal for <span>(n=4)</span>, discuss implications for eigenfunctions of Schrödinger operators <span>(-Delta + V)</span>, and give an interpretation of the problem in terms of the lonely runner problem.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":"13 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139764613","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}
Jameson Cahill, Andres Contreras, Andres Contreras Hip
{"title":"Stable Separation of Orbits for Finite Abelian Group Actions","authors":"Jameson Cahill, Andres Contreras, Andres Contreras Hip","doi":"10.1007/s00041-024-10069-z","DOIUrl":"https://doi.org/10.1007/s00041-024-10069-z","url":null,"abstract":"<p>In this paper we construct two new families of invariant maps that separate the orbits of the action of a finite Abelian group on a finite dimensional complex vector space. One of these families is Lipschitz continuous with respect to the quotient metric on the space of orbits, but involves computing large powers of the components of the vectors which can lead to instabilities. The other family avoids this issue by putting the powers only on the phase of the components, but in turn is not continuous. However, we show that they are Lipschitz continuous on the set of vectors with fixed support, so in particular they are Lipschitz on the set of vectors with no zero entries. Furthermore, the target dimension of these maps is small, i.e., linear in the original dimension.</p>","PeriodicalId":15993,"journal":{"name":"Journal of Fourier Analysis and Applications","volume":"13 1","pages":""},"PeriodicalIF":1.2,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139764727","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}