{"title":"禁Hörmander类中含幅值Hardy空间上的傅里叶积分算子","authors":"Xiaofeng Ye , Chunjie Zhang , Xiangrong Zhu","doi":"10.1016/j.na.2024.113741","DOIUrl":null,"url":null,"abstract":"<div><div>In this note, we consider a Fourier integral operator defined by <span><span><span><math><mrow><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mo>∫</mo></mrow><mrow><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>ϕ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></mrow></mrow></msup><mi>a</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></mrow><mover><mrow><mi>f</mi></mrow><mrow><mo>̂</mo></mrow></mover><mrow><mo>(</mo><mi>ξ</mi><mo>)</mo></mrow><mi>d</mi><mi>ξ</mi><mo>,</mo></mrow></math></span></span></span>where <span><math><mi>a</mi></math></span> is the amplitude, and <span><math><mi>ϕ</mi></math></span> is the phase.</div><div>Let <span><math><mrow><mn>0</mn><mo>≤</mo><mi>ρ</mi><mo>≤</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></math></span> or <span><math><mrow><mn>0</mn><mo>≤</mo><mi>ρ</mi><mo><</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>=</mo><mn>1</mn></mrow></math></span> and <span><span><span><math><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>=</mo><mfrac><mrow><mi>ρ</mi><mo>−</mo><mi>n</mi></mrow><mrow><mi>p</mi></mrow></mfrac><mo>+</mo><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mo>min</mo><mrow><mo>{</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mi>ρ</mi><mo>}</mo></mrow><mo>.</mo></mrow></math></span></span></span>If <span><math><mi>a</mi></math></span> belongs to the forbidden Hörmander class <span><math><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mn>1</mn></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup></math></span> and <span><math><mrow><mi>ϕ</mi><mo>∈</mo><msup><mrow><mi>Φ</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span> satisfies the strong non-degeneracy condition, then for any <span><math><mrow><mfrac><mrow><mi>n</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></mfrac><mo><</mo><mi>p</mi><mo>≤</mo><mn>1</mn></mrow></math></span>, we can show that the Fourier integral operator <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub></math></span> is bounded from the local Hardy space <span><math><msup><mrow><mi>h</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span> to <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>. Furthermore, if <span><math><mi>a</mi></math></span> has compact support in variable <span><math><mi>x</mi></math></span>, then we can extend this result to <span><math><mrow><mn>0</mn><mo><</mo><mi>p</mi><mo>≤</mo><mn>1</mn></mrow></math></span>. As <span><math><mrow><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mi>δ</mi></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup><mo>⊂</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mn>1</mn></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup></mrow></math></span> for any <span><math><mrow><mn>0</mn><mo>≤</mo><mi>δ</mi><mo>≤</mo><mn>1</mn></mrow></math></span>, our result supplements and improves upon recent theorems proved by Staubach and his collaborators for <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mi>δ</mi></mrow><mrow><mi>m</mi></mrow></msubsup></mrow></math></span> when <span><math><mi>δ</mi></math></span> is close to 1.</div><div>As an important special case, when <span><math><mrow><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, we show that <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub></math></span> is bounded from <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> to <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> if <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>n</mi><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></msubsup></mrow></math></span> which is a generalization of the well-known Seeger–Sogge–Stein theorem for <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>0</mn></mrow><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>n</mi><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></msubsup></mrow></math></span>. This result is false when <span><math><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow><mrow><mn>0</mn></mrow></msubsup></mrow></math></span>.</div></div>","PeriodicalId":49749,"journal":{"name":"Nonlinear Analysis-Theory Methods & Applications","volume":"253 ","pages":"Article 113741"},"PeriodicalIF":1.3000,"publicationDate":"2025-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fourier integral operators on Hardy spaces with amplitudes in forbidden Hörmander classes\",\"authors\":\"Xiaofeng Ye , Chunjie Zhang , Xiangrong Zhu\",\"doi\":\"10.1016/j.na.2024.113741\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In this note, we consider a Fourier integral operator defined by <span><span><span><math><mrow><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><msub><mrow><mo>∫</mo></mrow><mrow><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msup></mrow></msub><msup><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mi>ϕ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></mrow></mrow></msup><mi>a</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>ξ</mi><mo>)</mo></mrow><mover><mrow><mi>f</mi></mrow><mrow><mo>̂</mo></mrow></mover><mrow><mo>(</mo><mi>ξ</mi><mo>)</mo></mrow><mi>d</mi><mi>ξ</mi><mo>,</mo></mrow></math></span></span></span>where <span><math><mi>a</mi></math></span> is the amplitude, and <span><math><mi>ϕ</mi></math></span> is the phase.</div><div>Let <span><math><mrow><mn>0</mn><mo>≤</mo><mi>ρ</mi><mo>≤</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></math></span> or <span><math><mrow><mn>0</mn><mo>≤</mo><mi>ρ</mi><mo><</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>=</mo><mn>1</mn></mrow></math></span> and <span><span><span><math><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>=</mo><mfrac><mrow><mi>ρ</mi><mo>−</mo><mi>n</mi></mrow><mrow><mi>p</mi></mrow></mfrac><mo>+</mo><mrow><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo></mrow><mo>min</mo><mrow><mo>{</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mi>ρ</mi><mo>}</mo></mrow><mo>.</mo></mrow></math></span></span></span>If <span><math><mi>a</mi></math></span> belongs to the forbidden Hörmander class <span><math><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mn>1</mn></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup></math></span> and <span><math><mrow><mi>ϕ</mi><mo>∈</mo><msup><mrow><mi>Φ</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span> satisfies the strong non-degeneracy condition, then for any <span><math><mrow><mfrac><mrow><mi>n</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></mfrac><mo><</mo><mi>p</mi><mo>≤</mo><mn>1</mn></mrow></math></span>, we can show that the Fourier integral operator <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub></math></span> is bounded from the local Hardy space <span><math><msup><mrow><mi>h</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span> to <span><math><msup><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msup></math></span>. Furthermore, if <span><math><mi>a</mi></math></span> has compact support in variable <span><math><mi>x</mi></math></span>, then we can extend this result to <span><math><mrow><mn>0</mn><mo><</mo><mi>p</mi><mo>≤</mo><mn>1</mn></mrow></math></span>. As <span><math><mrow><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mi>δ</mi></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup><mo>⊂</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mn>1</mn></mrow><mrow><msub><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msub></mrow></msubsup></mrow></math></span> for any <span><math><mrow><mn>0</mn><mo>≤</mo><mi>δ</mi><mo>≤</mo><mn>1</mn></mrow></math></span>, our result supplements and improves upon recent theorems proved by Staubach and his collaborators for <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mi>ρ</mi><mo>,</mo><mi>δ</mi></mrow><mrow><mi>m</mi></mrow></msubsup></mrow></math></span> when <span><math><mi>δ</mi></math></span> is close to 1.</div><div>As an important special case, when <span><math><mrow><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, we show that <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>ϕ</mi><mo>,</mo><mi>a</mi></mrow></msub></math></span> is bounded from <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> to <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span> if <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>n</mi><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></msubsup></mrow></math></span> which is a generalization of the well-known Seeger–Sogge–Stein theorem for <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>0</mn></mrow><mrow><mrow><mo>(</mo><mn>1</mn><mo>−</mo><mi>n</mi><mo>)</mo></mrow><mo>/</mo><mn>2</mn></mrow></msubsup></mrow></math></span>. This result is false when <span><math><mrow><mi>n</mi><mo>=</mo><mn>1</mn></mrow></math></span> and <span><math><mrow><mi>a</mi><mo>∈</mo><msubsup><mrow><mi>S</mi></mrow><mrow><mn>1</mn><mo>,</mo><mn>1</mn></mrow><mrow><mn>0</mn></mrow></msubsup></mrow></math></span>.</div></div>\",\"PeriodicalId\":49749,\"journal\":{\"name\":\"Nonlinear Analysis-Theory Methods & Applications\",\"volume\":\"253 \",\"pages\":\"Article 113741\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2025-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Nonlinear Analysis-Theory Methods & Applications\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0362546X24002608\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/1/1 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Nonlinear Analysis-Theory Methods & Applications","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0362546X24002608","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/1/1 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
在本文中,我们考虑一个傅立叶积分算子,定义为tφ,af(x)=∫Rneiϕ(x,ξ)a(x,ξ)f²(ξ)dξ,其中a是振幅,ϕ是相位。让0≤ρ≤1,n≥2或0≤ρ& lt; 1, n = 1和mp =ρ−np + (n−1)最小{12,ρ}。如果a属于禁忌Hörmander类sp,1mp且φ∈Φ2满足强非简并性条件,则对于任意nn+1<;p≤1,我们可以证明傅里叶积分算子tφ,a有界于局部Hardy空间hp到Lp。更进一步,如果a在变量x上有紧支持,则我们可以将这个结果推广到0<;p≤1。对于任意0≤δ≤1,我们的结果补充并改进了Staubach及其合作者在δ接近1时对a∈ρ,δm所证明的定理。作为一个重要的特例,当n≥2时,我们证明了当a∈S1,1(1−n)/2时,tφ,a从H1到L1有界,这是对著名的Seeger-Sogge-Stein定理对于a∈S1,0(1−n)/2的推广。当n=1且a∈S1,10时,此结果为假。
Fourier integral operators on Hardy spaces with amplitudes in forbidden Hörmander classes
In this note, we consider a Fourier integral operator defined by where is the amplitude, and is the phase.
Let or and If belongs to the forbidden Hörmander class and satisfies the strong non-degeneracy condition, then for any , we can show that the Fourier integral operator is bounded from the local Hardy space to . Furthermore, if has compact support in variable , then we can extend this result to . As for any , our result supplements and improves upon recent theorems proved by Staubach and his collaborators for when is close to 1.
As an important special case, when , we show that is bounded from to if which is a generalization of the well-known Seeger–Sogge–Stein theorem for . This result is false when and .
期刊介绍:
Nonlinear Analysis focuses on papers that address significant problems in Nonlinear Analysis that have a sustainable and important impact on the development of new directions in the theory as well as potential applications. Review articles on important topics in Nonlinear Analysis are welcome as well. In particular, only papers within the areas of specialization of the Editorial Board Members will be considered. Authors are encouraged to check the areas of expertise of the Editorial Board in order to decide whether or not their papers are appropriate for this journal. The journal aims to apply very high standards in accepting papers for publication.