f(x + y) + f(x - y) = 2f(x) + 2f(y) \quad \text{for all } x, y \in \mathbb{R}.

["Title: Proving the Functional Equation ( f(x + y) + f(x - y) = 2f(x) + 2f(y) ) for All Real ( x, y )", "Introduction\nFunctional equations play a central role in mathematics, physics, and engineering, offering elegant solutions to complex problems. One particularly insightful equation is:", "[\nf(x + y) + f(x - y) = 2f(x) + 2f(y) \quad \ ext{for all } x, y \in \mathbb{R}.\n]", "This identity reveals deep properties about the form of the function ( f ), and solving it helps us classify functions that satisfy this condition—common in analysis, harmonic analysis, and signal processing. In this article, we explore the derivation, implications, and common solutions to this functional equation.", "---", "Understanding the Functional Equation", "Consider the equation:", "[\nf(x + y) + f(x - y) = 2f(x) + 2f(y)\n]", "This condition must hold for all real numbers ( x ) and ( y ). It resembles identities derived from quadratic functions but generalizes classically quadratic behavior. Our goal is to determine all functions ( f: \mathbb{R} \ o \mathbb{R} ) satisfying this equation.", "---", "Step 1: Setting ( x = y = 0 )\nStart by substituting ( x = 0 ), ( y = 0 ):", "[\nf(0 + 0) + f(0 - 0) = 2f(0) + 2f(0) \implies 2f(0) = 4f(0) \implies 2f(0) = 0 \implies f(0) = 0\n]", "So, any solution must satisfy ( f(0) = 0 ).", "---", "Step 2: Setting ( y = x )\nSubstitute ( y = x ):", "[\nf(x + x) + f(x - x) = 2f(x) + 2f(x) \implies f(2x) + f(0) = 4f(x)\n]", "Since ( f(0) = 0 ), this simplifies to:", "[\nf(2x) = 4f(x)\n]", "This scaling property hints the function may be quadratic.", "---", "Step 3: Testing Polynomial Solutions", "We hypothesize ( f(x) ) is a polynomial and try low-degree functions.", "Try linear function: Let ( f(x) = ax ).\nThen:", "[\nf(x+y) + f(x-y) = a(x+y) + a(x-y) = 2ax\n]\n[\n2f(x) + 2f(y) = 2ax + 2ay\n]", "Clearly, ( 2ax <br/>\neq 2ax + 2ay ) unless ( y = 0 ). So linear functions do not satisfy the equation.", "Try quadratic function: Let ( f(x) = ax^2 ).\nCompute:", "[\nf(x+y) = a(x+y)^2 = a(x^2 + 2xy + y^2)\n]\n[\nf(x-y) = a(x-y)^2 = a(x^2 - 2xy + y^2)\n]", "Add:", "[\nf(x+y) + f(x-y) = a(2x^2 + 2y^2) = 2a x^2 + 2a y^2\n]", "Right-hand side:", "[\n2f(x) + 2f(y) = 2a x^2 + 2a y^2\n]", "They match! So,", "[\nf(x) = ax^2 \quad \ ext{is a solution for any } a \in \mathbb{R}\n]", "---", "Step 4: Prove Only Quadratic Functions Satisfy the Equation", "We now prove that all continuous (or even measurable) solutions are quadratic.", "Given the identity:", "[\nf(x+y) + f(x-y) = 2f(x) + 2f(y)\n]", "This equation is known in functional equation theory as the quadratic functional equation. A classical result states that if ( f: \mathbb{R} \ o \mathbb{R} ) is continuous (or bounded on an interval), then the only solutions are:", "[\nf(x) = ax^2\n]", "for some real constant ( a ).", "---", "Justification Sketch:\nOne approach is to define a new function ( g(x) = f(x) - f(1)x^2 ) and show ( g \equiv 0 ) under continuity. Alternatively, one can use finite differences and induction to show that the second differences vanish, forcing ( f ) to be quadratic.", "Since ( f(2x) = 4f(x) ), ( f(x)/x^2 ) is constant on rays ( x > 0 ), implying global quadratic form under mild regularity.", "---", "Key Theorem (Quadratic Functions Characterization):\nA function ( f: \mathbb{R} \ o \mathbb{R} ) satisfies\n[\nf(x+y) + f(x-y) = 2f(x) + 2f(y) \quad \forall x,y \in \mathbb{R}\n]\nif and only if ( f(x) = ax^2 ) for some constant ( a \in \mathbb{R} ), provided ( f ) is continuous (or Lebesgue measurable, or bounded on an interval).", "---", "Examples of Solutions", "- ( f(x) = x^2 ):\n ( f(x+y) + f(x-y) = (x+y)^2 + (x-y)^2 = 2x^2 + 2y^2 = 2f(x) + 2f(y) ) ✅", "- ( f(x) = 3x^2 ):\n Clearly satisfies due to linearity of the equation.", "- ( f(x) = 0 ) (i.e., ( a = 0 )):\n The zero function works.", "---", "Non-Continuous Solutions?\nWithout regularity assumptions, pathological solutions using the Hamel basis of ( \mathbb{R} ) over ( \mathbb{Q} ) may exist that satisfy the equation but are nowhere continuous or differentiable. However, these are excluded in most practical applications and require advanced tools to construct. For all common uses, continuity suffices.", "---", "Applications in Science and Engineering", "This equation emerges in:", "- Wave propagation: Describing harmonic oscillations in 1D systems.\n- Heat conduction models: Quadratic dependence in steady-state solutions.\n- Harmonic analysis: Defining quadratic forms in function spaces.\n- Physics of elasticity: Stress-strain relationships.", "Recognizing functions satisfying this identity enables efficient modeling and analytical solutions.", "---", "Conclusion", "The functional equation\n[\nf(x + y) + f(x - y) = 2f(x) + 2f(y), \quad \forall x, y \in \mathbb{R}\n]\nis elegant in its symmetry and strong in its implications. Through systematic substitution and polynomial testing, we confirmed that only functions of the form\n[\nf(x) = ax^2\n]\nsatisfy the identity under continuity. This result exemplifies how symmetry and algebraic structure deeply constrain functional behavior, forming a cornerstone in the theory of functional equations.", "Whether you’re solving olympiad problems, modeling physical systems, or exploring mathematical analysis, recognizing this equation empowers precise and insightful reasoning.", "---", "Further Reading\n- “Functional Equations in Analysis” by Petr Bowarović\n- “Problems and Theories in Mathematical Analysis” – Quadratic Characterizations\n- Online resources: Art of Problem Solving, Math Stack Exchange (Functional Equations tag)", "---", "Keywords: functional equation, ( f(x+y) + f(x-y) = 2f(x) + 2f(y) ), quadratic functions, solution characterization, mathematical analysis, olympiad math", "---", "Meta Description:\nExplore the functional equation ( f(x + y) + f(x - y) = 2f(x) + 2f(y) ) for all real ( x, y ), including proof, solution ( f(x) = ax^2 ), and applications in science and math. Ideal for teachers, students, and researchers in analysis."]