{"title":"Continuous asymmetric Doob inequalities in noncommutative symmetric spaces","authors":"Yong Jiao, Hui Li, Sijie Luo, Lian Wu","doi":"10.1016/j.jfa.2024.110701","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><mo>(</mo><mi>M</mi><mo>,</mo><mi>τ</mi><mo>)</mo></math></span> be a noncommutative probability space equipped with a filtration <span><math><msub><mrow><mo>(</mo><msub><mrow><mi>M</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>t</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></msub></math></span> whose union is <span><math><msup><mrow><mi>w</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>-dense in <span><math><mi>M</mi></math></span>, and let <span><math><msub><mrow><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>t</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></msub></math></span> be the associated conditional expectations. We prove in the present paper that if the symmetric space <span><math><mi>E</mi><mo>∈</mo><mi>Int</mi><mo>[</mo><msub><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>,</mo><msub><mrow><mi>L</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>]</mo></math></span> with <span><math><mn>1</mn><mo><</mo><mi>p</mi><mo>≤</mo><mi>q</mi><mo><</mo><mn>2</mn></math></span> and <em>E</em> is <span><math><mn>2</mn><mo>(</mo><mn>1</mn><mo>−</mo><mi>θ</mi><mo>)</mo></math></span>-convex and <em>w</em>-concave with <span><math><mi>p</mi><mo><</mo><mi>w</mi><mo><</mo><mn>2</mn></math></span>, then the following holds:<span><span><span><math><msub><mrow><mo>‖</mo><msub><mrow><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>)</mo></mrow><mrow><mi>t</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></msub><mo>‖</mo></mrow><mrow><mi>E</mi><mo>(</mo><mi>M</mi><mo>;</mo><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mo>∞</mo></mrow><mrow><mi>θ</mi></mrow></msubsup><mo>)</mo></mrow></msub><mo>≤</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>E</mi><mo>,</mo><mi>θ</mi></mrow></msub><msub><mrow><mo>‖</mo><mi>x</mi><mo>‖</mo></mrow><mrow><msubsup><mrow><mi>H</mi></mrow><mrow><mi>E</mi></mrow><mrow><mi>c</mi></mrow></msubsup></mrow></msub><mo>,</mo><mspace></mspace><mi>x</mi><mo>∈</mo><msubsup><mrow><mi>H</mi></mrow><mrow><mi>E</mi></mrow><mrow><mi>c</mi></mrow></msubsup><mo>(</mo><mi>M</mi><mo>)</mo></math></span></span></span> provided <span><math><mn>1</mn><mo>−</mo><mi>p</mi><mo>/</mo><mn>2</mn><mo><</mo><mi>θ</mi><mo><</mo><mn>1</mn></math></span>. Similar result holds for <span><math><mi>x</mi><mo>∈</mo><msubsup><mrow><mi>H</mi></mrow><mrow><mi>E</mi></mrow><mrow><mi>r</mi></mrow></msubsup><mo>(</mo><mi>M</mi><mo>)</mo></math></span>. Moreover, if <span><math><mi>E</mi><mo>∈</mo><mi>Int</mi><mo>[</mo><msub><mrow><mi>L</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>,</mo><msub><mrow><mi>L</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>]</mo></math></span> with <span><math><mn>1</mn><mo><</mo><mi>p</mi><mo>≤</mo><mi>q</mi><mo><</mo><mn>2</mn></math></span> and <em>E</em> is <em>w</em>-concave with <span><math><mn>2</mn><mo><</mo><mi>w</mi><mo><</mo><mn>2</mn><mi>p</mi><mo>/</mo><mo>(</mo><mn>2</mn><mo>−</mo><mi>p</mi><mo>)</mo></math></span>, then for each <span><math><mi>x</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mi>M</mi><mo>)</mo></math></span> there exist <em>y</em>, <span><math><mi>z</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mi>M</mi><mo>)</mo></math></span> such that <span><math><mi>x</mi><mo>=</mo><mi>y</mi><mo>+</mo><mi>z</mi></math></span> and<span><span><span><math><msub><mrow><mo>‖</mo><msub><mrow><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>(</mo><mi>y</mi><mo>)</mo><mo>)</mo></mrow><mrow><mi>t</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></msub><mo>‖</mo></mrow><mrow><mi>E</mi><mrow><mo>(</mo><mi>M</mi><mo>;</mo><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mo>∞</mo></mrow><mrow><mi>c</mi></mrow></msubsup><mo>)</mo></mrow></mrow></msub><mo>+</mo><msub><mrow><mo>‖</mo><msub><mrow><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>(</mo><mi>z</mi><mo>)</mo><mo>)</mo></mrow><mrow><mi>t</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></mrow></msub><mo>‖</mo></mrow><mrow><mi>E</mi><mrow><mo>(</mo><mi>M</mi><mo>;</mo><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mo>∞</mo></mrow><mrow><mi>r</mi></mrow></msubsup><mo>)</mo></mrow></mrow></msub><mspace></mspace><mspace></mspace><mo>≤</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>E</mi></mrow></msub><msub><mrow><mo>‖</mo><mi>x</mi><mo>‖</mo></mrow><mrow><mi>E</mi><mo>(</mo><mi>M</mi><mo>)</mo></mrow></msub><mo>.</mo></math></span></span></span> These results can be considered as continuous analogues of those due to Randrianantoanina et al. <span><span>[33]</span></span>. One of the key ingredients in our proof is a new decomposition theorem of <span><math><mi>E</mi><mo>(</mo><mi>M</mi><mo>)</mo></math></span>-modules for general symmetric space <em>E</em>, which extends the known result of Junge and Sherman.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":null,"pages":null},"PeriodicalIF":1.7000,"publicationDate":"2024-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Functional Analysis","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022123624003896","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a noncommutative probability space equipped with a filtration whose union is -dense in , and let be the associated conditional expectations. We prove in the present paper that if the symmetric space with and E is -convex and w-concave with , then the following holds: provided . Similar result holds for . Moreover, if with and E is w-concave with , then for each there exist y, such that and These results can be considered as continuous analogues of those due to Randrianantoanina et al. [33]. One of the key ingredients in our proof is a new decomposition theorem of -modules for general symmetric space E, which extends the known result of Junge and Sherman.
期刊介绍:
The Journal of Functional Analysis presents original research papers in all scientific disciplines in which modern functional analysis plays a basic role. Articles by scientists in a variety of interdisciplinary areas are published.
Research Areas Include:
• Significant applications of functional analysis, including those to other areas of mathematics
• New developments in functional analysis
• Contributions to important problems in and challenges to functional analysis