Funktionalgleichung

Als Funktionalgleichung wird in der Mathematik eine Gleichung bezeichnet, zu deren Lösung eine oder mehrere Funktionen gesucht werden. Viele Funktionen können über eine zugrunde liegende Funktionalgleichung definiert werden. Üblicherweise werden als Funktionalgleichungen nur solche Gleichungen bezeichnet, die nicht durch Umformungen auf eine explizite geschlossene Form für die gesuchte(n) Funktion(en) gebracht werden können, und in denen die gesuchte Funktion mit unterschiedlichen Argumenten auftritt.

Bei der Untersuchung von Funktionalgleichungen ist man an allen Lösungsfunktionen des untersuchten Funktionsraumes interessiert, nicht nur an einer. Ansonsten ist es ziemlich trivial, zu irgendeiner gegebenen Funktion eine Funktionalgleichung zu konstruieren.

{{#ifeq: {{{vor}}}@@-@@{{{nach}}} | -@@-@@- | {{#if:trim|It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question.}} | {{#ifeq: {{#if:|{{{vor}}}|@#@}}{{#if:|{{{nach}}}|@#@}} | @#@@#@ | {{#ifeq: en | de | „{{#if:trim|It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question.}}“ | {{#invoke:Text|quoteUnquoted| It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question. | en }} }} | {{#ifeq: {{#if:|{{{vor}}}|-}} | - | „ | {{{vor}}} }}{{#if:trim|It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question.}}{{ #ifeq: {{#if:|{{{nach}}}|-}} | - | “ | {{{nach}}} }} }} }}{{ #if: Es ist natürlich, sich zu fragen, was eine Funktionalgleichung ist. Aber es gibt keine zufriedenstellende Antwort auf diese Frage. || <ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref> }}

{{#if:

|

„{{{Latn}}}“{{#if: Es ist natürlich, sich zu fragen, was eine Funktionalgleichung ist. Aber es gibt keine zufriedenstellende Antwort auf diese Frage. || <ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref> }}

}}{{#if: Es ist natürlich, sich zu fragen, was eine Funktionalgleichung ist. Aber es gibt keine zufriedenstellende Antwort auf diese Frage.

|

„Es ist natürlich, sich zu fragen, was eine Funktionalgleichung ist. Aber es gibt keine zufriedenstellende Antwort auf diese Frage.“{{#if: || <ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref> }}

}}

{{#if: |

– <templatestyles src="Person/styles.css" />{{#if:|{{{4}}} |}}{{#if:|{{{2}}} |}}{{#if:| {{{3}}} |}}{{#if:| „{{{6}}}“ |}}{{#if:trim|{{{Autor}}}}}{{#if:| {{{5}}}|}}{{#if: | : {{#if:trim|}} }}<ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref>

|{{#if:

|

– {{#if:trim|}}<ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref>

}}

}}

{{#if: <ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref> |

{{#if: {{#invoke:Text|unstrip|<ref>Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer 2009, ISBN 978-0-387-89491-1, preface</ref>}}

        | Vorlage:Zitat: Ungültiger Wert: ref=}} }}{{#if: It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question. | {{
   #if:  | {{#if: It is natural to ask what a functional equation is. But there is no easy satisfactory answer to this question. |
   Vorlage:Zitat: Doppelangabe 1=Text=}}

}}| Vorlage:Zitat: Kein Text }}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 2=Autor=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe 3=Quelle=}}

}}{{#if: | {{#if: |

   Vorlage:Zitat: Doppelangabe Umschrift=Latn=}}

}}{{#if: en | {{#if: |

   Vorlage:Zitat: Doppelangabe Sprache=lang=}}

}}{{#if: Es ist natürlich, sich zu fragen, was eine Funktionalgleichung ist. Aber es gibt keine zufriedenstellende Antwort auf diese Frage. | {{#if: |

   Vorlage:Zitat: Doppelangabe Übersetzung=de=}}

}}

Von Cauchy untersuchte Funktionalgleichungen

Augustin Louis Cauchy untersuchte 1821 in Kapitel 5 seines Cours d’Analyse de l’Ecole Royale Polytechnique die stetigen Lösungen <math>\Phi</math> der folgenden Funktionalgleichungen:<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20171014135801

      | {{#ifeq: 20171014135801 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20171014135801}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2025-03-13 09:31:30 InternetArchiveBot | 2025-03-13 09:31:30 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20171014135801}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2025-03-13 09:31:30 InternetArchiveBot | 2025-03-13 09:31:30 InternetArchiveBot |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if: 2025-03-13 09:31:30 InternetArchiveBot | 2025-03-13 09:31:30 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }} (Memento{{#if: {{#if: 2025-03-13 09:31:30 InternetArchiveBot | 2025-03-13 09:31:30 InternetArchiveBot |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: visualiseur.bnf.fr | {{#invoke:WLink|getEscapedTitle|visualiseur.bnf.fr}} | {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}} }}  
                 }}}}}}}}{{#if:2025-03-13 09:31:30 InternetArchiveBot
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20171014135801|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: visualiseur.bnf.fr
    | {{#if: {{#invoke:WLink|isBracketedLink|visualiseur.bnf.fr}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058 }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>

<math>\Phi \colon \R \to \R, \quad \Phi(x+y) = \Phi(x) + \Phi(y)</math>
Die stetigen Lösungen dieser Funktionalgleichung, also die Lösungen unter der Annahme, dass die Funktion stetig ist, sind die "stetigen" linearen Funktionen, <math>\Phi(x) = ax</math> für jede reelle Konstante <math>a</math>. Für diese Funktionalgleichung hat sich die Bezeichnung Cauchy’sche Funktionalgleichung oder Cauchy-Funktionalgleichung eingebürgert.
<math>\Phi \colon \R^+ \to \R^+, \quad \Phi(xy) = \Phi(x) \Phi(y)</math>
Die stetigen Lösungen dieser Funktionalgleichung sind die Potenzfunktionen, <math>\Phi(x) = x^a</math> für jede reelle Konstante <math>a</math>.
<math>\Phi \colon \R \to \R^+, \quad \Phi(x+y) = \Phi(x) \Phi(y)</math>
Die stetigen Lösungen dieser Funktionalgleichung sind die Exponentialfunktionen, <math>\Phi(x) = a^x</math> für jede positive reelle Konstante <math>a</math>.
<math>\Phi \colon \R^+ \to \R, \quad \Phi(xy) = \Phi(x) + \Phi(y)</math>
Die stetigen Lösungen dieser Funktionalgleichung sind die Logarithmusfunktionen, <math>\Phi(x) = \log_a(x) </math> für jede positive reelle Konstante <math>a</math>.

Ferner ist die Nullfunktion eine triviale Lösung jeder dieser Funktionalgleichungen.

Bekannte Funktionalgleichungen spezieller Funktionen

Gammafunktion

Die Funktionalgleichung

<math>\Phi\colon\R^+\to\R,\quad

\Phi(x+1) = x\, \Phi(x)</math>

wird durch die Gammafunktion <math>\Gamma</math> erfüllt. Betrachtet man nur Funktionen, die logarithmisch konvex sind, so werden alle Lösungen dieser Gleichung durch <math>a \Gamma</math> beschrieben, mit <math>a \in \R</math>. Dies ist der Satz von Bohr-Mollerup über die Eindeutigkeit der Gammafunktion als Fortsetzung der Fakultäten von <math>\N_0</math> nach <math>\R^+</math>.

Ferner ist die Gammafunktion auch eine Lösung der Funktionalgleichung

<math>\Phi \colon \R \setminus \Z \to \R, \quad \Phi(x) \Phi(1 - x) = \frac{\pi}{\sin(\pi x)}</math>.

Diese Gleichung stellt eine spezielle Form der Reflexionssymmetrie bezüglich <math>x = \tfrac{1}{2}</math> dar. Setzt man

<math>\Phi(x) = \sqrt{\frac{\pi}{\sin(\pi x)}} e^{\Theta(x)}</math>,

so erhält man nach Einsetzen in die Funktionalgleichung die neue Funktionalgleichung

<math>\Theta(x) + \Theta(1-x) = 0</math>.

Die Lösungen dieser Gleichung sind antisymmetrische Funktionen um <math>x = \tfrac{1}{2}</math>.

Polygammafunktionen

Für <math>m\in\N_0 </math> werden die Funktionalgleichungen

<math>\Phi_m \colon \R^+ \to \R, \quad \Phi_m(x+1)= \Phi_m(x) + \frac{(-1)^m m!}{x^{m+1}}</math>

durch die Polygammafunktionen <math>\psi_m</math> erfüllt. Für festes <math>m</math> lassen sich alle stetigen und monotonen Lösungen als <math>a + \psi_m</math> mit beliebigem <math>a \in \R</math> darstellen.

Bernoulli-Polynome

Für <math>m\in\N_0 </math> werden die Funktionalgleichungen

<math>\Phi_m \colon \R \to \R, \quad \Phi_m(x+1) = \Phi_m(x) + m x^{m-1}</math>

durch die Bernoulli-Polynome <math>\mathrm{B}_m</math> erfüllt. Alle stetigen Lösungen dieser Gleichung sind durch <math>a + \mathrm{B}_m</math> plus weitere (periodische) Lösungen der homogenen Funktionalgleichung beschrieben, wobei <math>a</math> eine beliebige reelle Zahl ist. Genaueres dazu im nachfolgenden Abschnitt.

Periodische Funktionen

Die Funktionalgleichung

<math>\Phi \colon \R \to \R, \quad \Phi(x+1) = \Phi(x)</math>

stellt den homogenen Lösungsanteil der obigen Funktionsgleichungen dar, da man deren Lösung einfach auf eine Lösung irgendeiner inhomogenen Funktionsgleichung addieren kann und so eine neue Lösung erhält, solange man keine weiteren einschränkenden Bedingungen verletzt.

Zetafunktion

Die Funktionalgleichung

<math>\Phi \colon \R \to \R, \quad \Phi(x+1) = -2 \cdot (2\pi)^{x} \cos\left(\frac{\pi x}{2}\right) \Gamma(-x) \Phi(-x)</math>

wird durch die Riemannsche Zetafunktion <math>\zeta</math> erfüllt. <math>\Gamma</math> bezeichnet dabei die Gammafunktion.

Anmerkung: Durch die Substitution

<math>\Phi(x) = \frac{2\pi^{x/2} \Theta\left(x + \frac{1}{2}\right)}{x (x-1) \Gamma\left(\frac{x}{2}\right)}</math>

und anschließende algebraische Vereinfachung wird diese Funktionalgleichung für <math>\Phi</math> in eine neue für <math>\Theta</math> überführt, die

<math>\Theta\!\left(\frac{1}{2} + x\right) = \Theta\!\left(\frac{1}{2} - x\right)</math>

lautet. Somit kann die ursprüngliche Funktionalgleichung durch Transformation auf eine Gestalt gebracht werden, die lediglich eine gerade Funktion um <math>\frac{1}{2} </math> fordert. Die entsprechend so transformierte Riemannsche Zetafunktion ist als Riemannsche Xi-Funktion <math>\xi</math> bekannt.

Gerade und ungerade Funktionen

Die beiden Funktionsgleichungen

<math>\Phi \colon \R \to \R, \quad \Phi(x) = \pm \Phi(-x)</math>

werden von allen geraden bzw. ungeraden Funktionen erfüllt. Eine weitere „einfache“ Funktionsgleichung ist

<math>\Phi \colon I \to \R, \quad \Phi(\Phi(x)) = x\text{.}</math>

Ihre Lösungsmenge sind alle Funktionen, die ihre eigene Umkehrfunktion auf dem Intervall <math>I \subseteq \R</math> sind. Bei diesen drei Funktionsgleichungen steht aber eher die Frage im Mittelpunkt, wie ihre Lösungen sinnvollerweise zu charakterisieren sind.

„Reelle“ Iterierte einer Funktion

Gegeben sei eine analytische, bijektive Funktion <math>f \colon I \to J</math> für <math>I, J \subseteq \R</math>, dann lautet Schröders Funktionalgleichung

<math>\Phi \colon I \cap J \to \R, \quad \Phi\!\left(f(x)\right) = c \Phi(x)\text{,}</math>

wobei nicht nur die Funktion <math>\Phi</math> zu bestimmen ist, sondern auch die Konstante <math>c \in \R</math>. Wendet man auf beiden Seiten dieser Gleichung die inverse Funktion von <math>\Phi</math> an, dann kann man dies verallgemeinern zur Definition von

<math>\forall t \in \R \colon \quad f_t(x) = \Phi^{-1}\!\left(c^t \Phi(x)\right)\text{.}</math>

Für irgendein festes <math>t</math> verhält sich die Funktion <math>f_t</math> wie die Funktion <math>f</math>, wenn man sie <math>t</math>-fach iteriert. Für die Potenzfunktion <math>f : \R^+ \to \R^+, f(x) = x^a</math> mit beliebigem festem <math>a \in \R^+</math> lautet die Lösung der Schröderschen Gleichung <math>\Phi(x) = \ln(x)</math> und <math>c = a</math>. Es ist dann <math>f_t(x) = x^{a^t}</math>.

Modulformen

Die Funktionalgleichung

<math>\Phi \colon \left\{ z \in \Complex \mid \mathrm{Im}(z) > 0 \right\} \to \Complex, \quad \Phi\!\left(\frac{az+b}{cz+d}\right) = (cz+d)^k \Phi(z) \quad \text{mit} \quad ad - bc = 1\text{,}</math>

wobei <math>a,b,c,d, k \in \Z</math> vorgegeben sind, wird in der Definition von Modulformen verwendet.

Wavelets und Approximationstheorie

Für <math>d \in \N</math> und <math>a_{-d}, a_{-d+1}, \ldots, a_d \in \R</math> definiert die Funktionalgleichung

<math>\Phi\!\left(\frac{x}{A}\right) = a_{-d} \Phi(x-d) + \cdots + a_0 \Phi(x) + \cdots + a_d \Phi(x+d) = \sum_{k=-d}^d a_k \Phi(x - k) \quad \text{mit} \quad A := \sum_{k=-d}^d a_k

</math> in der Theorie der Waveletbasen die Skalierungsfunktion einer Multiskalenanalyse. Die in der Approximationstheorie und Computergraphik wichtigen B-Splines sind Lösungen einer solchen Verfeinerungsgleichung, weitere Lösungen samt den Koeffizienten finden sich unter Daubechies-Wavelets. Es gibt Erweiterungen mit vektorwertigem Lösungsfunktionen <math>f</math> und Matrizen als Koeffizienten.

Sinus und Kosinus

Die Exponentialfunktion über den komplexen Zahlen erfüllt die Funktionalgleichung <math>\Phi(x+y) = \Phi(x)\Phi(y)</math>. Teilt man ihren Wertebereich in Real- und Imaginärteil auf, also <math>\Phi(x) = \Theta(x) + \mathrm{i} \Omega(x)</math>, so erhält man zwei Funktionalgleichungen in zwei unbekannten Funktionen, nämlich

<math>\Theta(x+y) = \Theta(x) \Theta(y) - \Omega(x) \Omega(y)</math>

und

<math>\Omega(x+y) = \Theta(x) \Omega(y) + \Omega(x) \Theta(y)\text{,}</math>

die den Additionstheoremen entsprechen und als Funktionalgleichungssystem für die reellen Sinus-und-Kosinus-Funktionen aufgefasst werden können.

Weitere Beispiele allgemeiner Funktionalgleichungen

Rekursionsgleichungen

Rekursionsgleichungen bilden eine einfache Klasse von Funktionalgleichungen. Ein Beispiel ist etwa die lineare Rekursionsgleichung für die Fibonacci-Folge:

<math>f(n+2) = f(n+1) + f(n)\qquad (n \in \mathbb{N}_0);</math>

dabei wird eine Funktion <math>f\colon\, \N_0 \to \R</math> gesucht (auch komplexe Funktionswerte könnten analog zugelassen werden). Die Lösungen sind die Funktionen der Form

<math>f(n) = a \left(\frac{1+\sqrt{5}}{2}\right)^n + b \left(\frac{1-\sqrt{5}}{2}\right)^n</math>

mit beliebigen Konstanten <math>a,b \in \R.</math> Diese sind jeweils durch die beiden Anfangswerte <math>f(0)</math> und <math>f(1)</math> eindeutig bestimmt:

<math>a = \frac{1}{\sqrt{5}} \left(f(1) - \frac{1-\sqrt{5}}{2} f(0)\right),\qquad</math> <math>b = \frac{1}{\sqrt{5}} \left(\frac{1 + \sqrt{5}}{2} f(0) - f(1)\right).</math>

Speziell für ganzzahlige Anfangswerte <math>f(0)</math> und <math>f(1)</math> ergeben sich letztlich stets ganzzahlige Funktionswerte <math>f(n),</math> obwohl in diesen Lösungsformeln irrationale Zahlen auftreten.

Rechengesetze

Rechengesetze wie Kommutativgesetz, Assoziativgesetz und Distributivgesetz können ebenfalls als Funktionalgleichungen interpretiert werden.

Beispiel Assoziativgesetz: Gegeben sei eine Menge <math>M</math>. Das Assoziativgesetz für eine binäre Verknüpfung <math>{\times} \colon M^2 \to M</math> bzw. zweiparametrige Funktion <math>f \colon M^2 \to M</math> lautet

<math>(a \times b) \times c = a \times (b \times c)</math> (Infixnotation)

bzw.

<math>f\!\left(f(a, b), c\right) = f\!\left(a, f(b, c)\right)</math> (Präfixnotation)

jeweils für alle <math>a,b,c \in M</math>, wobei <math>f(a, b)</math> mit <math>a \times b</math> identifiziert wird.

Das Distributivgesetz für zwei Verknüpfungen <math>f</math> (z. B. Addition) und <math>g</math> (z. B. Multiplikation) lautet als Funktionalgleichung geschrieben

<math>g\!\left(a, f(b, c)\right) = f\!\left(g(a, b), g(a, c)\right)</math>

für alle <math>a,b,c \in M</math>.

Anmerkungen

Allen Beispielen ist gemeinsam, dass zwei oder mehr bekannte Funktionen (Multiplikation mit einer Konstanten, Addition, oder einfach nur die identische Funktion) als Argumente der unbekannten Funktion verwendet werden.

Bei der Suche nach allen Lösungen einer Funktionalgleichung werden oft Zusatzbedingungen gestellt, beispielsweise wird bei der oben erwähnten Cauchy-Gleichung für vernünftige Lösungen Stetigkeit gefordert. Tatsächlich existieren unter Voraussetzung des Auswahlaxioms auch unstetige Lösungen, wie Georg Hamel 1905 zeigte.<ref>Georg Hamel: Eine Basis aller Zahlen und die unstetigen Lösungen der Funktionalgleichung <math>f(x+y)=f(x)+f(y)</math>. Math. Ann. 60, 459–462, 1905.</ref> Diese Lösungen basieren auf einer Hamelbasis der reellen Zahlen als Vektorraum über den rationalen Zahlen und sind vor allem von theoretischer Bedeutung.

Literatur

{{#invoke:Vorlage:Literatur|f}}

Weblinks

{{#if: | {{{author}}} | Eric W. Weisstein }}: Cauchy Functional Equation. In: MathWorld (englisch). {{#if: | {{#ifeq: {{#property:P2812}} | {{{id}}} | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}

Einzelnachweise