Tuesday, 3 July 2018

Extension of the additive Cauchy functional equation



Let f:(0,α)R satisfy f(x+y)=f(x)+f(y)
for all x,y,x+y(0,α), where α is a positive real number. Show that there exists an additive function A:RR such that A(x)=f(x) for all x(0,α).
Simply I want to define a function A In specific form as an extension of the function f wich is additive functional equation. I tried to define the function A .


Answer



Let x>0. Choose nN with xn<α. Define A(x):=nf(xn). Note that this is well-defnined: If mN is another natural number such that xm<α, we have
mf(xm)=mf(nk=1xmn)=mnk=1f(xmn)=ml=1nf(xmn)=nf(ml=1xmn)=nf(xn).


For x<0 choose nN with xn>α and define A(x):=nf(xn), finally, let A(0)=0. Then A is an extension of f, to show that it is additive, let x,yR. Choose nN such that xn,yn,x+yn(α,α). We have if x,y0:
A(x+y)=nf(x+yn)=nf(xn)+nf(yn)=A(x)+A(y)

If both x,y0, we argue along the same lines. Now suppose x0, y0, x+y0. We have A(y)=A(y) be definition of A. Hence
A(y)+A(x+y)=A(y)+A(x+y)=A(y+x+y)=A(x).

If x0, y0, x+y0, we have x0 and
A(x)+A(x+y)=A(x)+A(x+y)=A(y)


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...