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


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:满足\(\small\,f(x)\le f(y)\,(x\le y),\,f(1-x)=1-f(x),\,f(5x)=2f(x)\,(\forall x)\,\)的实函数讨论 标记论坛所有内容为已读 

 目前论坛总在线 9 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 187 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: 满足\(\small\,f(x)\le f(y)\,(x\le y),\,f(1-x)=1-f(x),\,f(5x)=2f(x)\,(\forall x)\,\)的实函数讨论 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 160940 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2304
精华: 0
资料:  
在线: 48天19时59分57秒
注册: 2010/12/07 06:27am
造访: 2020/09/22 07:41pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  题:固定\(\,2< p\in\mathbb{N},\,\)试证\(\,\exists! f:\mathbb{R}\to\mathbb{R}\,\)满足ao
\((1)\quad x< y\implies f(x)\le f(y),\)'?r2
\((2)\quad f(1-x)=1-f(x),\)#vs
\((3)\quad f(px)=2f(x).\)S/
证:假定所论\(f\)存在,则N@
\(\qquad\small f(0)\overset{(3)}{=}2f(0),\,f(1)\overset{(2)}{=}1-f(0),\,f(x)\overset{(1),\,\exists n}{\ge}f(p^{-n})\overset{(3)}{=}2^{-n}\;(x>0)\)B\
\(\qquad\small f(\frac{1}{p}-x)=\frac{1}{2}f(1-px)=\frac{1}{2}(1-f(px))<\frac{1}{2}=f(\frac{1}{p})=f(\frac{p-1}{p})\)&:
\(\qquad\small f(\frac{p-1}{p}+x)=1-f(\frac{1}{p}-x)>1-\frac{1}{2}\;(x>0)\)'M[
\(\underset{\,}{\therefore}\quad\small\boxed{f(0)=0,\,f(1)=1\,\;f^{-1}(\{2^n\})=[p^n,p^n(p-1)]\;(n\in\mathbb{Z})}\)XwKycc
\(\quad\)对\(\,n\in\mathbb{N}^+,\,k\in\mathbb{Z},\,\gcd(k,p)=1,\,\)定义:G(S
\(\quad f(\frac{k}{p^n})=\begin{cases}{\small 1-}f({\small 1-}\frac{k}{p^n}),&  {\small k< 0},\\0,& {\small k=0},\\ \frac{1}{2}f(\frac{k}{p^{n-1}}),& {\small 1\le k< p^{n-1}},\\ \frac{1}{2},&{\small p^{n-1}\le k\le (p-1)p^{n-1}},\\1-\frac{1}{2}f(\frac{p^n-k}{p^{n-1}}),& {\small p^{n-1}< k< (p-1)p^{n-1}},\\ 1,& {\small k=p^n},\\ 2f(\frac{k}{p^{n+1}}),& {\small k>p^n}. \end{cases}\).x"mb
\(\quad\)这是一个递归性定义,把负自变量的函数值用正自变量的zP
\(\quad\)函数值,单位区间外的函数值用单位区间内的函数值表出,]S
\(\quad r={\frac{k}{\large p^{\,n}}}{\small\in(0,1)-}[\frac{1}{p},\frac{p-1}{p}]\,\)时\(f(r)\)由\(\,f(r')\,(r'=\frac{k'}{p^{\,m-1}}\in(0,1))\)c9
\(\quad\)表出,最后\( f(r)=\frac{1}{2}\,(r=\frac{k}{p^n}\in[\frac{1}{p},\frac{p-1}{p}])\).@r
\(\qquad\)下面证明\(\,f\,\)在\(\small\,D_p=\{{\large\frac{k}{p^n}}:\, n,|k|\in\mathbb{N}\}\cap[0,1]\)上满足\((1\sim 3)\).sCz
\((\dagger)\quad f(\frac{k}{p^n})-f(\frac{k-1}{p^n})\in\{0,\frac{1}{2^n}\}\;(k=\overline{1,p^m})\,\)对\(\,n=1\,\)成立.5wds_2
\(\quad\)设\((\dagger)\)对某\(\small\,n\ge 1\,\)成立,则\(\,\small f(\frac{k}{p^{n+1}})-f(\frac{k-1}{p^{n+1}})=\frac{1}{2}(f(\frac{k}{p^n})-f(\frac{k-1}{p^n})),\)l2
\(\quad\small=f(\frac{p^{n+1}-k+1}{p^{n+1}})-f(\frac{p^{n+1}-k}{p^{n+1}})\in\{0,\frac{1}{2^{n+1}}\}\).同理\((2\sim 3)\)在\(\small D_p\)上成立.B 1kLW
\((\ddagger)\quad f(\{\frac{k}{p^n}\mid k=\overline{1,p^n}\})=\{\frac{k}{2^n}\mid k=\overline{1,2^n}\}\;\;\small(n=1,2,\ldots)\)&!&
\(\qquad\)这是因为\(\small\,f(0)=0,f(1)=1\)以及\(\small\,(\dagger).\),
\(\quad\)最后定义\(\,f(x)=\sup\{f(r)\mid x\ge r{\small\in D_p}\}\;\small(x\in\mathbb{R}).\quad\square\)krnW


发贴时间2020/07/26 04:14pm IP: 已设置保密[本文共2453字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 160940 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2304
精华: 0
资料:  
在线: 48天19时59分57秒
注册: 2010/12/07 06:27am
造访: 2020/09/22 07:41pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  楼上是目前能够想到的较简明的构造. 我本想通过函数图像N@l
\(\,\{(x,f(x)\mid x\in\mathbb{R}\}\)来给出\(\,f\,\)的构造.直观上看,所论图像是平S>h|\
面上一大堆水平线段,其构造可说是一种分形几何(fractal,9J){9
递归二维水平加密线段序列)目前尚未找到好的表述和解读D
方式.希望大家参与. y


发贴时间2020/08/02 00:28am IP: 已设置保密[本文共293字节]  

 该主题只有一页

快速回复主题: 满足\(\small\,f(x)\le f(y)\,(x\le y),\,f(1-x)=1-f(x),\,f(5x)=2f(x)\,(\forall x)\,\)的实函数讨论
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

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

使用字体转换?

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


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

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