<p>We show that in the realm of real-valued functions on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> and for every real <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(a\not =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> the functional equation <Equation ID="Equ12"> <EquationSource Format="TEX">\(\begin{aligned}f(x+f(y))=f(x)+f(y)+ay,\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>a</mi> <mi>y</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>which appeared 2023 in the problem section of the Mathematical Gazette, always has uncountably many solutions which are discontinuous everywhere. Moreover, if <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(a&gt;-1/4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>&gt;</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(a\not =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, there are exactly two continuous solutions, exactly one if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a=-1/4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>=</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, and none if <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(a&lt;-1/4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>&lt;</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>. All of these are <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>-linear. If <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(a=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, there are countably infinitely many continuous solutions, all of them affine. A full description of all solutions is given in the case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(a&lt;-1/4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>&lt;</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(a=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. The latter involves <i>A</i>-periodic functions, where <i>A</i> is an additive subgroup of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation>. The final section deals with the equation <Equation ID="Equ13"> <EquationSource Format="TEX">\(\begin{aligned}f(x+f(y))=f(x)+f(y)+ax,\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>+</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>=</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>a</mi> <mi>x</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>which displays for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(a\not =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> a radically different behavior.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Yet another functional equation involving additive functions

  • Raymond Mortini,
  • Peter Pflug,
  • Rudolf Rupp

摘要

We show that in the realm of real-valued functions on \({\mathbb {R}}\) R and for every real \(a\not =0\) a 0 the functional equation \(\begin{aligned}f(x+f(y))=f(x)+f(y)+ay,\end{aligned}\) f ( x + f ( y ) ) = f ( x ) + f ( y ) + a y , which appeared 2023 in the problem section of the Mathematical Gazette, always has uncountably many solutions which are discontinuous everywhere. Moreover, if \(a>-1/4\) a > - 1 / 4 , \(a\not =0\) a 0 , there are exactly two continuous solutions, exactly one if \(a=-1/4\) a = - 1 / 4 , and none if \(a<-1/4\) a < - 1 / 4 . All of these are \({\mathbb {R}}\) R -linear. If \(a=0\) a = 0 , there are countably infinitely many continuous solutions, all of them affine. A full description of all solutions is given in the case \(a<-1/4\) a < - 1 / 4 and \(a=0\) a = 0 . The latter involves A-periodic functions, where A is an additive subgroup of \({\mathbb {R}}\) R . The final section deals with the equation \(\begin{aligned}f(x+f(y))=f(x)+f(y)+ax,\end{aligned}\) f ( x + f ( y ) ) = f ( x ) + f ( y ) + a x , which displays for \(a\not =0\) a 0 a radically different behavior.