Maximizing weighted sums of binomial coefficients using generalized continued fractions

S.P. Glasby, G.R. Paseman
{"title":"Maximizing weighted sums of binomial coefficients using generalized continued fractions","authors":"S.P. Glasby, G.R. Paseman","doi":"10.1017/prm.2024.46","DOIUrl":null,"url":null,"abstract":"Let <jats:inline-formula> <jats:alternatives> <jats:tex-math>$m,\\,r\\in {\\mathbb {Z}}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline1.png\"/> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\omega \\in {\\mathbb {R}}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline2.png\"/> </jats:alternatives> </jats:inline-formula> satisfy <jats:inline-formula> <jats:alternatives> <jats:tex-math>$0\\leqslant r\\leqslant m$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline3.png\"/> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\omega \\geqslant 1$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline4.png\"/> </jats:alternatives> </jats:inline-formula>. Our main result is a generalized continued fraction for an expression involving the partial binomial sum <jats:inline-formula> <jats:alternatives> <jats:tex-math>$s_m(r) = \\sum _{i=0}^r\\binom{m}{i}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline5.png\"/> </jats:alternatives> </jats:inline-formula>. We apply this to create new upper and lower bounds for <jats:inline-formula> <jats:alternatives> <jats:tex-math>$s_m(r)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline6.png\"/> </jats:alternatives> </jats:inline-formula> and thus for <jats:inline-formula> <jats:alternatives> <jats:tex-math>$g_{\\omega,m}(r)=\\omega ^{-r}s_m(r)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline7.png\"/> </jats:alternatives> </jats:inline-formula>. We also bound an integer <jats:inline-formula> <jats:alternatives> <jats:tex-math>$r_0 \\in \\{0,\\,1,\\,\\ldots,\\,m\\}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline8.png\"/> </jats:alternatives> </jats:inline-formula> such that <jats:inline-formula> <jats:alternatives> <jats:tex-math>$g_{\\omega,m}(0)&lt;\\cdots &lt; g_{\\omega,m}(r_0-1)\\leqslant g_{\\omega,m}(r_0)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline9.png\"/> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:tex-math>$g_{\\omega,m}(r_0)&gt;\\cdots &gt;g_{\\omega,m}(m)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline10.png\"/> </jats:alternatives> </jats:inline-formula>. For real <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\omega \\geqslant \\sqrt 3$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline11.png\"/> </jats:alternatives> </jats:inline-formula> we prove that <jats:inline-formula> <jats:alternatives> <jats:tex-math>$r_0\\in \\{\\lfloor \\frac {m+2}{\\omega +1}\\rfloor,\\,\\lfloor \\frac {m+2}{\\omega +1}\\rfloor +1\\}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline12.png\"/> </jats:alternatives> </jats:inline-formula>, and also <jats:inline-formula> <jats:alternatives> <jats:tex-math>$r_0 =\\lfloor \\frac {m+2}{\\omega +1}\\rfloor$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline13.png\"/> </jats:alternatives> </jats:inline-formula> for <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\omega \\in \\{3,\\,4,\\,\\ldots \\}$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline14.png\"/> </jats:alternatives> </jats:inline-formula> or <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\omega =2$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline15.png\"/> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:tex-math>$3\\nmid m$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210524000465_inline16.png\"/> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":54560,"journal":{"name":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","volume":"3 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/prm.2024.46","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

Let $m,\,r\in {\mathbb {Z}}$ and $\omega \in {\mathbb {R}}$ satisfy $0\leqslant r\leqslant m$ and $\omega \geqslant 1$ . Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum _{i=0}^r\binom{m}{i}$ . We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{\omega,m}(r)=\omega ^{-r}s_m(r)$ . We also bound an integer $r_0 \in \{0,\,1,\,\ldots,\,m\}$ such that $g_{\omega,m}(0)<\cdots < g_{\omega,m}(r_0-1)\leqslant g_{\omega,m}(r_0)$ and $g_{\omega,m}(r_0)>\cdots >g_{\omega,m}(m)$ . For real $\omega \geqslant \sqrt 3$ we prove that $r_0\in \{\lfloor \frac {m+2}{\omega +1}\rfloor,\,\lfloor \frac {m+2}{\omega +1}\rfloor +1\}$ , and also $r_0 =\lfloor \frac {m+2}{\omega +1}\rfloor$ for $\omega \in \{3,\,4,\,\ldots \}$ or $\omega =2$ and $3\nmid m$ .
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
利用广义续分法使二项式系数的加权和最大化
让 $m,\,r\in {\mathbb {Z}}$ 和 $\omega \in {\mathbb {R}}$ 满足 $0\leqslant r\leqslant m$ 和 $\omega \geqslant 1$ 。我们的主要结果是涉及部分二项式和 $s_m(r) = \sum _{i=0}^r\binom{m}{i}$ 的表达式的广义续分。我们以此为 $s_m(r)$ 创建新的上界和下界,从而为 $g_{\omega,m}(r)=\omega ^{-r}s_m(r)$ 创建新的上界和下界。我们还在({0,\,1,\,\ldots,\,m\}$中定义了一个整数 $r_0,使得 $g_{omega,m}(0)<\cdots <;和 $g_{omega,m}(r_0)>\cdots >g_{\omega,m}(m)$ 。对于实数 $\omega \geqslant \sqrt 3$,我们证明 $r_0\in \frac {m+2}{\omega +1}\rfloor,\,\lfloor \frac {m+2}{\omega +1}\rfloor +1\}$ 、而且 $r_0 =\lfloor \frac {m+2}{\omega +1}\rfloor$ for $\omega \in \{3,\,4,\,\ldots \}$ 或者 $\omega =2$ and $3\nmid m$ .
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
3.00
自引率
0.00%
发文量
72
审稿时长
6-12 weeks
期刊介绍: A flagship publication of The Royal Society of Edinburgh, Proceedings A is a prestigious, general mathematics journal publishing peer-reviewed papers of international standard across the whole spectrum of mathematics, but with the emphasis on applied analysis and differential equations. An international journal, publishing six issues per year, Proceedings A has been publishing the highest-quality mathematical research since 1884. Recent issues have included a wealth of key contributors and considered research papers.
期刊最新文献
The structure of finite groups whose elements outside a normal subgroup have prime power orders A unified characterization of convolution coefficients in nonlocal differential equations On a supersonic-sonic patch arising from the two-dimensional Riemann problem of the compressible Euler equations Dual formulation of constrained solutions of the multi-state Choquard equation Duality pairs, phantom maps, and definability in triangulated categories
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1