关于柯西方程的一点注记

  • 格式:pdf
  • 大小:498.96 KB
  • 文档页数:3

第37卷第2期2015年2月湖州师范学院学报Journal of Huzhou University 关于柯西方程的一点注记*徐志鹏,欧阳耀〈湖州师范学院理学院,浙江湖州313000)Vol. 37 NO.2 Feb. ,2015

摘要:若函数/在一点连续,贝IJ柯西方程的解是唯一的.在此假设下,要求函数/的一部分点满足柯西方程,证明了解的唯一位,并推广己细的结论.关键词.柯西方程.存在位.帷-性中图分类号:0171M叙:(2010) :39B22 文献标识码:A文章编号:1009-1734(2015)02-0014-03

函数为程是数学分析中的古老话题.旱在1826年,Abel[l]就开始研究函敛的结合律,讨论了使得方程f(f(x ,y) ,z) = f(x ,f(y ,z)) 成立的函敛在此之前柯西已开始对-类函数方程进行研究今天称这类方程为柯西方程

柯西方程作为最著各的函鲸方程之--直受到广泛关注[2]柯西方程的经典结果如下定理1[3] 设函数f:R→R连续.若f(x+y) =f(x) + f(y)对-切x,yE R成立,则存在常数C,使得f(x)=cx对-切xER成立.柯西方程还有如下形式定理2[4]设函数f:(0, +∞)→R连续.若f(xy)=f(x) + f(y)对-切x,yE(O,+∞)成立,则存在常数c,使得f(x)=clnx对-切xE (0, +∞)成立.定理3[4]设非零函数f:R→R连续.若f(x+ y) = f(x) • f(y)对-切x,yE R成立,则存在常敛α,使得f(x)=ax对-切xER成立.定理4[4]设非零函数f:(0, +∞〉→R连续.若f(xy)=f(x). f(y)对-切x,yE(O,+∞〉成立,则存在常敛α,使得f(x)=x4对-切£廷(0,+∞〉成立.虽然在连续性的假设下,柯西方程的解是唯-的,但若没有这个假设,则其解并不唯-.利用Hamel基的概念,GHamel于1905年证明了存在无穷多个不连续的函敛满足柯西方程.另外,连续性假设可用单调性可积性等其它条件代替且可弱化为在-点连续在-点的某邻域内单调等本文将从另-个角度继续弱化柯西方程的条件,即只要求-部分点(x,y)满足为程.

1 预备知识

本节包含两个熟知的引理并将在主要结果的证明中用到这两个引理为了本文的完整性下面给出引理1的证明.

引理1设γ1,r2为给定的实敛,若巳1:Q,则集合S={nrl+mr2 I m,n E Z}在R中稠密.γz 证明不妨设川2>0由巳1:Q及有理敛的稠密性,存在实抑~{叫,使得主→20→∞门,且γz飞qt}iqsγz

安收稿日期:2014-12-20基金项目:湖州师范学院教学改革项目(JY21064)通信作者:欧阳耀,博士、副教援,研究方向:非可加测度与积分.E-mail:oyy@hutc.勾.cn第2期徐志鹏,等:关于柯西方程的一点注记15

V i • p; >立,即P;rz-q;r1→0+.于是ρ;rz-q;r1→0+.因此,对任意给定的ε>O.存在!0 .使得0<

q; rz q;rz

p;orz -q;or1

实上.V k > O.存在!..使得0是.

(l.-1)(ρ;.rz -q;是俨1)令n.= -l.qì是•m. =l.p勺'则

(ωη叩川k卢γ盯1+m叫.rωγ即存在点列{忻ηkγ叫1+mη1.卢γ2汁}c S.使得η川kγ盯1+m.γrz→α. 类似地可以证明引理2设町.rz> 0为给定的实敛,若log与任Q.则{r1"rZ叫在[0.+∞〉上是稠密的.

2 主要结论

定理5设f:R→R为连续函数.若存在满足主任Q的实数γ1.门,使得γz (fh+£〉=川+fω,f(rz + x) = f(rz) + f(x). 对-切xER成立,则存在常敛c•使得f(x)=ω. 证明由(1)式可知,对任意的整敛俐.n和xER.有:

f(nr1 +mrZ +x) = f(nr1) + f(mrz) + f(x) = f(nr1 +mrZ) + f(x).

(1)

由于立1:Q.故由引理1知•{nr1 +mrZ I n.m E Z}在R中稠密于是,由f的连续性,对任意的x.yER., z

f(x + y) = f(x) + f(y). 再由定理1知,存在常数C.使得f(x)=α. 注1易知,定理5中的连续性假设也可以用单调性代替.事实上,定理5中的连续性假设也可以弱化为在-点连续.

推论1设f:R→R在x=O处连续.若存在满足':21:Q的实敛町,rz'使得γz (fb1+£〉=fbJ+fω,f(rz + x) = f(rz) + f(x). 对-切xER成立,则存在常敛c•使得f(x)=ω. 证明由(2)式得:

f(nr1 +mrZ +x) = f(nr1) + f(mrz) + f(x) = f(nr1 +mrZ) + f(x). 对任意的整数俐,η和xER都成立.

任取点列{n.r1+m.rZ I川.m.E Z} .使得limn.r1+m.rz =0.由f的连续性可知,

f(O) =limf[(n.r1 +m.rz) + (-n.r1 -m.rz)] = limf(n .r1 + m.rz) + limf(-n .r1 -m.rz) = f(O) + f(O). 即f(O)=O.

则对任意的xE R.任取点列{n.r1+m.rz I川.m.E Z} .使得

n.r1 +m.rz→x(是→∞).

(2) 16 湖州师范学院学报f(x) = lìmf[ (x -nk1'1 -mk1'2) + (n k1'1 + mk1'2) ] =

lìmf(nk1'1 + mk1'2) + lìmf(x -nk1'1 -mk1'2) = lìmf(nk1'1 +mk1'2) + f(O) =lìmf(nk1'1 +mk1'2). 于是,对任意的x,yE R,由稠密性知,存在点列{叫1)1'1+mp)1'2 I叫1),m~l) E Z} 和

{叫2)1'1+m~2)1'21叫2),m ~2) E Z}.

使得n~l)1'1 +mp)1'2→£且niZ〉俨1+ mf)1'2•y, (是→∞).

从而

f(x + y) = lìmf(n~l)1'1 + m~l)1'2) + lìmf(n~2)1'1 + m~2)1'2) = f (x) + f(y). 由定理1即得所要的结论.注2不难发现,推论1中f在x=O的连续性假设可改为f在任-J点连续.类似地,有下面的结论:定理6设f:(0, +∞〉→R在-点连续.若存在满足log~~1: Q的实敛町,rz'使得

(川)=川+f(川,f(1'2x) = f(1'2) + f(x). 对-切£廷(0,+∞〉成立,则存在常敛c,使得f(x)=clnx.

定理7设非零函敛f:R→R在-点连续.若存在满足~1:Q的实数町,门,使得1'2 (h+£〉=川f(川,

f ( l' 2 + x) = f ( l' 2 ) f (x ) . 对-切xER成立,则存在常敛α,使得f(x)=a

x•

定理8设非零函敛f:(0, +∞〉→R在-点连续.若存在满足log~~1: Q的实敛叫,门,使得

(川)= f(1'1川,f(1'2x) = f(1'2)f(x). 对-切£廷(0,+∞〉成立,则存在常敛α,使得f(x)=x

4•

参考文献.

第37卷[ 1 J Abel N H. Untel古uchungdel Functionen zweier unabhä鸣igverändellichen Grö加1x und y,明ef(x, y), welche die Eigenschaft hab钮,daß f(z, f (x,y))创lesymmetrische Function von z, x四叫y岱tDJ. J Reine Angew f\伯伯,1826(1): 11-15. [2J常庚哲,史济怀.数学分析教程〈第3版)(上)[M].北京:中国科学技术大学出版社,2012.[3J李小新.一类Cauchy型函数万程的解的讨论D].池州师专学报,2005,19(3):6-

7.

[4J王向东,戎海武,李文荣.函数方程及应用[M].上海:上海科学技术交献出版社,2003.

A Note to Cauchy' s Equation XU Zhìpeng, OUYANG Yao (School of Science, Huzhou Univelsity, Huzhou 313000, China)

Abstract: H the function f ìs continuous at some poìnt then the Cauchy equation pωsesses a unìque solu-tion. Thìs note ìnvestigates the Cauchy equation under some weaker conrutions. It obtaìns the exÌstence and u-nÌqueness of the solution. The mam results of trus note generalìze previous ones. Key words: Cauchy' s equation; exìstence; unìqueness MSC(2010) : 39B22 [责任编辑吴志慧]