Difference between revisions of "Functional equation"

m (Functional Equations moved to Functional equation: removed unnecessary capitalization and made singular)
(Intermediate Topics)
(13 intermediate revisions by 11 users not shown)
Line 1: Line 1:
Functional Equations are equations that involve [[functions]].  For an example, these are some examples of functional equations:
+
A '''functional equation''', roughly speaking, is an equation in which some of the unknowns to be solved for are [[function]]s.  For example, the following are functional equations:
  
*<math>f(x) + f\left(\frac1x\right) = 2x</math>
+
*<math>f(x) + 2f\left(\frac1x\right) = 2x</math>
 
*<math>g(x)^2 + 4g(x) + 4 = 8\sin{x}</math>
 
*<math>g(x)^2 + 4g(x) + 4 = 8\sin{x}</math>
 +
  
 
==Introductory Topics==
 
==Introductory Topics==
Line 8: Line 9:
 
===The Inverse of a Function===
 
===The Inverse of a Function===
  
The inverse of a function is a function that "undoes" a function.  For an example, consider the function: f(x)<math> = x^2 + 6</math>.  The function <math>g(x) = \sqrt{x-6}</math> has the property that <math>f(g(x)) = x</math>.  In this case <math>g</math> is called the inverse function.  Often the inverse of a function <math>f</math> is denoted by <math>f^{-1}</math>.
+
The inverse of a function is a function that "undoes" a function.  For an example, consider the function: <math>f(x) = x^2 + 6</math>.  The function <math>g(x) = \sqrt{x-6}</math> has the property that <math>f(g(x)) = x</math>.  In this case, <math>g</math> is called the '''(right) inverse function'''(Similarly, a function <math>g</math> so that <math>g(f(x))=x</math> is called the '''left inverse function'''. Typically the right and left inverses coincide on a suitable domain, and in this case we simply call the right and left inverse function the '''inverse function'''.) Often the inverse of a function <math>f</math> is denoted by <math>f^{-1}</math>.
  
 
==Intermediate Topics==
 
==Intermediate Topics==
Line 14: Line 15:
 
===Cyclic Functions===
 
===Cyclic Functions===
  
A cycylic function is a function <math>f(x)</math> that has the property that:
+
A cyclic function is a function <math>f(x)</math> that has the property that:
  
 
<math>f(f(\cdots f(x) \cdots)) = x</math>
 
<math>f(f(\cdots f(x) \cdots)) = x</math>
  
A classic example of such a function is <math>f(x) = 1/x</math> because <math>f(f(x)) = f(1/x) = f(x)</math>.  Cyclic functions can significantly help in solving functional identities.  Consider this problem:
+
A classic example of such a function is <math>f(x) = 1/x</math> because <math>f(f(x)) = f(1/x) = x</math>.  Cyclic functions can significantly help in solving functional identities.  Consider this problem:
  
 
Find <math>f(x)</math> such that <math>3f(x) - 4f(1/x) = x^2</math>.  In this functional equation, let <math>x=y</math> and let <math>x = 1/y</math>.  This yields two new equations:
 
Find <math>f(x)</math> such that <math>3f(x) - 4f(1/x) = x^2</math>.  In this functional equation, let <math>x=y</math> and let <math>x = 1/y</math>.  This yields two new equations:
Line 26: Line 27:
 
<math>3f\left(\frac1y\right)- 4f(y) = \frac1{y^2}</math>
 
<math>3f\left(\frac1y\right)- 4f(y) = \frac1{y^2}</math>
  
Now, if we multiply the first equation by 3 and the second equation by 4, and substract the second equation from the first, we have:
+
Now, if we multiply the first equation by 3 and the second equation by 4, and add the two equations, we have:
  
<math>25f(y) = 3y^2 - \frac{4}{y^2}</math>
+
<math>-7f(y) = 3y^2 + \frac{4}{y^2}</math>
  
So clearly, <math>f(y) = \frac{3}{25}y^2 - \frac{4}{25y^2}</math>
+
So, clearly, <math>f(y) = -\frac{3}{7}y^2 - \frac{4}{7y^2}</math>
 +
 
 +
=== Problem Examples ===
 +
* [[2006_AMC_12A_Problems/Problem_18 | 2006 AMC 12A Problem 18]]
 +
* [[2007_AIME_II_Problems/Problem_14 | 2007 AIME II Problem 14]]
 +
 
 +
==Advanced Topics==
 +
 
 +
===Injectivity and Surjectivity===
  
 
==See Also==
 
==See Also==
 
*[[Functions]]
 
*[[Functions]]
*[[Polynomials]]
+
*[[Cauchy Functional Equation]]
 +
 
 +
[[Category:Algebra]]
 +
[[Category:Definition]]]

Revision as of 13:40, 24 August 2021

A functional equation, roughly speaking, is an equation in which some of the unknowns to be solved for are functions. For example, the following are functional equations:

  • $f(x) + 2f\left(\frac1x\right) = 2x$
  • $g(x)^2 + 4g(x) + 4 = 8\sin{x}$


Introductory Topics

The Inverse of a Function

The inverse of a function is a function that "undoes" a function. For an example, consider the function: $f(x) = x^2 + 6$. The function $g(x) = \sqrt{x-6}$ has the property that $f(g(x)) = x$. In this case, $g$ is called the (right) inverse function. (Similarly, a function $g$ so that $g(f(x))=x$ is called the left inverse function. Typically the right and left inverses coincide on a suitable domain, and in this case we simply call the right and left inverse function the inverse function.) Often the inverse of a function $f$ is denoted by $f^{-1}$.

Intermediate Topics

Cyclic Functions

A cyclic function is a function $f(x)$ that has the property that:

$f(f(\cdots f(x) \cdots)) = x$

A classic example of such a function is $f(x) = 1/x$ because $f(f(x)) = f(1/x) = x$. Cyclic functions can significantly help in solving functional identities. Consider this problem:

Find $f(x)$ such that $3f(x) - 4f(1/x) = x^2$. In this functional equation, let $x=y$ and let $x = 1/y$. This yields two new equations:

$3f(y) - 4f\left(\frac1y\right) = y^2$

$3f\left(\frac1y\right)- 4f(y) = \frac1{y^2}$

Now, if we multiply the first equation by 3 and the second equation by 4, and add the two equations, we have:

$-7f(y) = 3y^2 + \frac{4}{y^2}$

So, clearly, $f(y) = -\frac{3}{7}y^2 - \frac{4}{7y^2}$

Problem Examples

Advanced Topics

Injectivity and Surjectivity

See Also