We show that the volume of the boundary of a bounded Sobolev $(p,q)$-extension domain is zero when $1leq q
我们证明,当 $1leq q
{"title":"The volume of the boundary of a Sobolev $(p,q)$-extension domain II","authors":"Pekka Koskela, Riddhi Mishra","doi":"arxiv-2409.01170","DOIUrl":"https://doi.org/arxiv-2409.01170","url":null,"abstract":"We show that the volume of the boundary of a bounded Sobolev\u0000$(p,q)$-extension domain is zero when $1leq q <p< frac{qn}{(n-q)}.$","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"8 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We give a direct proof of the operator valued Hardy-Littlewood maximal inequality for $2
我们直接证明了 2
{"title":"A Direct Proof of Hardy-Littlewood Maximal Inequality for Operator-valued Functions","authors":"ChianYeong Chuah, Zhenchuan Liu, Tao Mei","doi":"arxiv-2409.00752","DOIUrl":"https://doi.org/arxiv-2409.00752","url":null,"abstract":"We give a direct proof of the operator valued Hardy-Littlewood maximal\u0000inequality for $2<p<infty$.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Xingni Jiang, Jan Harm van der Walt, Marten Wortel
We develop integration theory for integrating functions taking values into a Dedekind complete unital $f$-algebra $mathbb{L}$ with respect to $mathbb{L}$-valued measures. We then discuss and prove completeness results of $mathbb{L}$-valued $L^p$-spaces.
{"title":"L-valued integration","authors":"Xingni Jiang, Jan Harm van der Walt, Marten Wortel","doi":"arxiv-2408.17306","DOIUrl":"https://doi.org/arxiv-2408.17306","url":null,"abstract":"We develop integration theory for integrating functions taking values into a\u0000Dedekind complete unital $f$-algebra $mathbb{L}$ with respect to\u0000$mathbb{L}$-valued measures. We then discuss and prove completeness results of\u0000$mathbb{L}$-valued $L^p$-spaces.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"6 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
For every $alpha in (0,+infty)$ and $p,q in (1,+infty)$ let $T_alpha$ be the operator $L^p[0,1]to L^q[0,1]$ defined via the equality $(T_alpha f)(x) := int_0^{x^alpha} f(y) d y$. We study the norms of $T_alpha$ for every $p$, $q$. In the case $p=q$ we further study its spectrum, point spectrum, eigenfunctions, and the norms of its iterates. Moreover, for the case $p=q=2$ we determine the point spectrum and eigenfunctions for $T^*_alpha T_alpha$, where $T^*_alpha$ is the adjoint operator.
{"title":"A one parameter family of Volterra-type operators","authors":"Francesco Battistoni, Giuseppe Molteni","doi":"arxiv-2408.17124","DOIUrl":"https://doi.org/arxiv-2408.17124","url":null,"abstract":"For every $alpha in (0,+infty)$ and $p,q in (1,+infty)$ let $T_alpha$\u0000be the operator $L^p[0,1]to L^q[0,1]$ defined via the equality $(T_alpha\u0000f)(x) := int_0^{x^alpha} f(y) d y$. We study the norms of $T_alpha$ for\u0000every $p$, $q$. In the case $p=q$ we further study its spectrum, point\u0000spectrum, eigenfunctions, and the norms of its iterates. Moreover, for the case\u0000$p=q=2$ we determine the point spectrum and eigenfunctions for $T^*_alpha\u0000T_alpha$, where $T^*_alpha$ is the adjoint operator.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"314 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let $A$ be an $mtimes m$ complex matrix and let $lambda _1, lambda _2, ldots , lambda _m$ be the eigenvalues of $A$ arranged such that $|lambda _1|geq |lambda _2|geq cdots geq |lambda _m|$ and for $ngeq 1,$ let $s^{(n)}_1geq s^{(n)}_2geq cdots geq s^{(n)}_m$ be the singular values of $A^n$. Then a famous theorem of Yamamoto (1967) states that $$lim _{nto infty}(s^{(n)}_j )^{frac{1}{n}}= |lambda _j|, ~~forall ,1leq jleq m.$$ Recently S. Nayak strengthened this result very significantly by showing that the sequence of matrices $|A^n|^{frac{1}{n}}$ itself converges to a positive matrix $B$ whose eigenvalues are $|lambda _1|,|lambda _2|,$ $ldots , |lambda _m|.$ Here this theorem has been extended to arbitrary compact operators on infinite dimensional complex separable Hilbert spaces. The proof makes use of Nayak's theorem, Stone-Weirstrass theorem, Borel-Caratheodory theorem and some technical results of Anselone and Palmer on collectively compact operators. Simple examples show that the result does not hold for general bounded operators.
{"title":"Nayak's theorem for compact operators","authors":"B V Rajarama Bhat, Neeru Bala","doi":"arxiv-2408.16994","DOIUrl":"https://doi.org/arxiv-2408.16994","url":null,"abstract":"Let $A$ be an $mtimes m$ complex matrix and let $lambda _1, lambda _2,\u0000ldots , lambda _m$ be the eigenvalues of $A$ arranged such that $|lambda\u0000_1|geq |lambda _2|geq cdots geq |lambda _m|$ and for $ngeq 1,$ let\u0000$s^{(n)}_1geq s^{(n)}_2geq cdots geq s^{(n)}_m$ be the singular values of\u0000$A^n$. Then a famous theorem of Yamamoto (1967) states that $$lim _{nto\u0000infty}(s^{(n)}_j )^{frac{1}{n}}= |lambda _j|, ~~forall ,1leq jleq m.$$\u0000Recently S. Nayak strengthened this result very significantly by showing that\u0000the sequence of matrices $|A^n|^{frac{1}{n}}$ itself converges to a positive\u0000matrix $B$ whose eigenvalues are $|lambda _1|,|lambda _2|,$ $ldots ,\u0000|lambda _m|.$ Here this theorem has been extended to arbitrary compact\u0000operators on infinite dimensional complex separable Hilbert spaces. The proof\u0000makes use of Nayak's theorem, Stone-Weirstrass theorem, Borel-Caratheodory\u0000theorem and some technical results of Anselone and Palmer on collectively\u0000compact operators. Simple examples show that the result does not hold for\u0000general bounded operators.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"14 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this work, we study three problems related to the $L_1$-influence on quantum Boolean cubes. In the first place, we obtain a dimension free bound for $L_1$-influence, which implies the quantum $L^1$-KKL Theorem result obtained by Rouze, Wirth and Zhang. Beyond that, we also obtain a high order quantum Talagrand inequality and quantum $L^1$-KKL theorem. Lastly, we prove a quantitative relation between the noise stability and $L^1$-influence. To this end, our technique involves the random restrictions method as well as semigroup theory.
{"title":"Geometric influences on quantum Boolean cubes","authors":"David P. Blecher, Li Gao, Bang Xu","doi":"arxiv-2409.00224","DOIUrl":"https://doi.org/arxiv-2409.00224","url":null,"abstract":"In this work, we study three problems related to the $L_1$-influence on\u0000quantum Boolean cubes. In the first place, we obtain a dimension free bound for\u0000$L_1$-influence, which implies the quantum $L^1$-KKL Theorem result obtained by\u0000Rouze, Wirth and Zhang. Beyond that, we also obtain a high order quantum\u0000Talagrand inequality and quantum $L^1$-KKL theorem. Lastly, we prove a\u0000quantitative relation between the noise stability and $L^1$-influence. To this\u0000end, our technique involves the random restrictions method as well as semigroup\u0000theory.","PeriodicalId":501036,"journal":{"name":"arXiv - MATH - Functional Analysis","volume":"25 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142208187","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper consists of two parts. In the first half, we solve the question raised by Heil as to whether the atom of a Gabor frame must be in $M^p(mathbb{R})$ for some $1