>> 欢迎您,客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:\(\displaystyle\int_0^{\infty}\big(\sum_{n=1}^{\infty}u_n(x)\big)dx =\sum_{n=1}^{\infty}\int_0^{\infty}u_n(x)dx\;\;(nu_n(x)=e^{-nx}\ln x)\). 标记论坛所有内容为已读 

 目前论坛总在线 27 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 110 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: \(\displaystyle\int_0^{\infty}\big(\sum_{n=1}^{\infty}u_n(x)\big)dx =\sum_{n=1}^{\infty}\int_0^{\infty}u_n(x)dx\;\;(nu_n(x)=e^{-nx}\ln x)\). 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: +5 积分: 0
现金: 167145 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2389
精华: 0
资料:  
在线: 50天22时26分21秒
注册: 2010/12/07 06:27am
造访: 2021/01/27 03:35am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  题:试证\(\;\;\displaystyle\int_0^{\infty}\big(\sum_{n=1}^{\infty}{\small\frac{\ln x}{n}}e^{-nx}\big)dx =\sum_{n=1}^{\infty}\int_0^{\infty}{\small\frac{\ln x}{n}}e^{-nx}dx\).jZYt
证:设\(\;0< \alpha< \lambda< \infty,\;\)据 Cauchy-Schwarz不等式,]Yun&
\(\qquad\displaystyle{\small\bigg(\int_{\alpha}^{\lambda}}e^{-nx}|\ln x| dx{\small\bigg)}^2\le{\small\int_{\alpha}^{\lambda}}e^{-2nx}dx{\small\int_{\alpha}^{\lambda}}\ln^2 x dx\)v?L
\(\qquad\displaystyle=\small\frac{e^{-2n\alpha}-e^{-2n\lambda}}{2n}(\varphi^2(\lambda)-\varphi^2(\alpha))\quad(\varphi^2(x)=x(1+\ln^2(x/e)))\)/
\((1)\quad\displaystyle 0<\overset{\,}{\small\sum_{n=1}^{\infty}\int_0^{\lambda}\frac{1}{n}}e^{-nx}|\ln x|dx <\varphi(\lambda)\zeta({\scriptsize\frac{3}{2}})\to 0\;\small(\lambda\to 0^+);\)>
\(\because\quad\ln x< e^{x/2}\;\;(x\ge 1),\displaystyle\int_{\eta}^{\infty}e^{-nx}\ln x dx< \int_{\eta}^{\infty}e^{-(n-1/2)x}dx\)4I^0
\((2)\quad\displaystyle{\small\sum_{n=1}^{\infty}\int_{\eta}^{\infty}\frac{1}{n}}e^{-nx}\ln xdx<{\small\sum_{n=1}^{\infty}\frac{e^{-(n-1/2)\eta}}{n(n-1/2)}}< 2e^{-\frac{\eta}{2}}\zeta(2);\quad\)又,L
\((3)\quad\displaystyle{f(x)=\small\sum_{n=1}^{\infty}\frac{\ln x}{n}}e^{-nx}dx\;\)在\(\;x\ge a>0\,\)一致收敛. /{8)
任给\(\,\varepsilon>0,\)存在\(\small\,0< \lambda < \eta >1\,\)使\(\,0< \varphi(\lambda)\zeta(\frac{3}{2}),\,2e^{-\frac{\eta}{2}}\zeta(2)< \large\frac{\varepsilon}{3}\)Cwv
取\(\small\,N\in\mathbb{N}\,\)使\(\;\displaystyle\left|{\small\sum_{n=1}^m\frac{\ln x}{n}}e^{-nx}-f(x)\right|<\small\frac{\varepsilon}{3\eta}\;\small\dbinom{\forall x\in[\lambda,\eta]}{\forall m>N},\;\)则\(\,m\small>N\)dDtP S
时\(\;\;\displaystyle\left|{\small\sum_{n=1}^m\int_0^{\infty}\frac{\ln x}{n}}e^{-nx}dx-{\small\int_0^{\infty}}f(x)dx\right|\le\left|{\small\int_0^{\lambda}\sum_{n=m+1}^{\infty}\frac{\ln x}{n}}e^{-nx}dx\right|\)\g\V[O
\(\quad\displaystyle+\left|{\small\int_{\lambda}^{\eta}}\big({\small\sum_{n=1}^m\frac{\ln x}{n}}e^{-nx}-f(x)\big)dx\right|+\left|{\small\int_{\eta}^{\infty}\sum_{n=m+1}^{\infty}\frac{\ln x}{n}}e^{-nx}dx\right|< \varepsilon\)xVX
\(\therefore\quad\displaystyle{\small\int_0^{\infty}\big(\sum_{n=1}^{\infty}\frac{\ln x}{n}}e^{-nx}\big)dx ={\small\sum_{n=1}^{\infty}\int_0^{\infty}\frac{\ln x}{n}}e^{-nx}dx\quad\small\square\)~i


发贴时间2020/12/28 04:47pm IP: 已设置保密[本文共2284字节]  

 该主题只有一页

快速回复主题: \(\displaystyle\int_0^{\infty}\big(\sum_{n=1}^{\infty}u_n(x)\big)dx =\sum_{n=1}^{\infty}\int_0^{\infty}u_n(x)dx\;\;(nu_n(x)=e^{-nx}\ln x)\).
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
有回复时使用邮件通知您?

使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动


© 中文版权所有: 雷傲科技
程序版权所有: 雷傲超级论坛  版本: LeoBBS X Build051231
 

本论坛言论纯属发表者个人意见,与 Elinkage数学论坛 立场无关