Equació funcional

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtiques i en les seves aplicacions, una equació funcional és qualsevol equació que especifica una funció de forma implícita.[1]

Sovint, l'equació relaciona el valor d'una funció (o funcions) en algun punt amb els seus valors en altres punts. Per exemple, les propietats de les funcions es poden determinar considerant els tipus d'equacions funcionals que satisfan. El terme equació funcional normalment fa referència a equacions que no es poden reduir a equacions algebraiques.

Exemples[modifica | modifica el codi]

  • L'equació funcional

f(s) = 2^s\pi^{s-1}\sin\left(\frac{\pi s}{2}\right)\Gamma(1-s)f(1-s)
se satisfà per la funció zeta de Riemann ζ. La Γ majúscula denota la funció gamma.
  • Aquestes equacions funcionals les satisfà la funció de gamma. La funció de gamma és la solució única del sistema de tres equacions:
f(x)={f(x+1) \over x}\,\!
f(y)f\left(y+\frac{1}{2}\right)=\frac{\sqrt{\pi}}{2^{2y-1}}f(2y)
f(z)f(1-z)={\pi \over \sin(\pi z)}\,\!\,\,\,       (fórmula de reflexió d'Euler)
  • L'equació funcional
f\left({az+b\over cz+d}\right) = (cz+d)^k f(z)\,\!
on a, b, c, d són enters que satisfan adbc = 1, és a dir 
\begin{vmatrix} a & b\\c & d\end{vmatrix}\,=1, el que significa que
\begin{bmatrix} a & b\\c & d\end{bmatrix}\, és una matriu unitària (és a dir de determinant igual a 1), defineix f com una forma modular d'ordre k.
  • Exemples diversos que no necessàriament impliquen funcions "famoses":
f(x + y) = f(x)f(y), \,\! satisfet per totes les funcions exponencials
f(xy) = f(x) + f(y)\,\!, satisfet per totes les funcions logarítmiques
f(x + y) = f(x) + f(y)\,\! (equació funcional de Cauchy)
f(x + y) + f(x - y) = 2[f(x) + f(y)]\,\! (equació quadràtica o llei del paral·lelogram)
f((x + y)/2) = (f(x) + f(y))/2\,\! (Jensen)
g(x + y) + g(x - y) = 2[g(x) g(y)]\,\! (d'Alembert)
f(h(x)) = f(x) + 1\,\! (equació d'Abel)
f(h(x)) = cf(x)\,\! (l'equació de Schröder).
L'equació de Schröder està satisfeta per la funció de Koenigs.
Un exemple d'una relació de recurrència és
a(n) = 3a(n-1) + 4a(n-2)\,\!
  • Les lleis commutatives i associatius són equacions funcionals. Quan la llei associativa s'expressa en la seva forma habitual, es fa que algun símbol entre dues variables representi una operació binària, així:
(a*b)*c = a*(b*c).\,

Però si s'escriu ƒ(ab) en comptes de a * b llavors l'aspectes de la llei associativa sembla més allò que convencionalment es pensa com d'una equació funcional:

f(f(a, b),c) = f(a, f(b, c)).\,\!

Una cosa que tots els exemples llistats amunt comparteixen en comú és que en cada cas dos o més funcions conegudes (a vegades multiplicació per una constant, a vegades addició de dues variables, a vegades la funció identitat) són substituïdes a la funció desconeguda per resoldre-la.

  • Les parts entera i decimal dels nombres reals van ser introduïdes i estudiades per M.H.Hooshmand.[2] Les funcions part reals tenen moltes explicacions teòriques interessants, propietats analítiques i algebraiques, i satisfan l'equació funcional:
f(f(x) + y - f(y)) = f(x).\,\!

Les equacions funcionals següents són una generalització de l'equació funcional parts entera per a semigrups i grups, fins i tot en un sistema binari (magma):

Equacions associatives;

f(f(xy)z)=f(xf(yz))\; ,\; f(f(xy)z)=f(xf(yz))=f(xyz)

Equacions de Descomposició;

f(f^*(x)f(y))=f(y)\; ,\; f(f(x)f_*(y))=f(x)

Equacions de descomposició forta;

f(f^*(x)y)=f(y)\; ,\; f(xf_*(y))=f(x)

Equacions de cancel·lació;

f(f(x)y)=f(xy)\; ,\; f(xf(y))=f(xy)\; ,\; f(xf(y)z)=f(xyz)

on ƒ *(x) ƒ (x)  = ƒ (x) ƒ *(x)  = x.

En,[3]

la solució general de les equacions de descomposició les equacions de desicomposició forta s'introdueixen en els conjunts amb una operació binària i semigrups respectivament i també les equacions associatives en grups arbitraris. En aquell article es demostra que les equacions associatives i el sistema d'equacions de descomposició i cancel·lació fortes no tenen solucions no trivials als grups simples.

Quan es questiona per totes les solucions, pot ser el cas que s'hagin d'aplicar condicions de L'anàlisi matemàtica; per exemple, en el cas de l' equació de Cauchy esmentat a dalt, les solucions que són funcions contínues són les 'raonables', mentre que altres solucions que no és probable que tinguin aplicació pràctica es poden construir (fent servir una Base de Hamel pels nombres reals com espai vectorial sobre els nombres racionals). El Teorema de bohr-mollerup és un altre exemple ben conegut.

Resolució de les equacions funcionals[modifica | modifica el codi]

Resoldre equacions funcionals pot ser molt difícil però hi ha alguns mètodes comuns per resoldre-les.

Un estudi de les funcions involutives és útil. Per exemple, consideri la funció

 f(x) = \frac{1}{x}.

Llavors consideri

f(f(x)) = x, \,

si es continua el patró s'arriba a x per a un nombre parell de composicions i ƒ(x) per a un nombre senar. Aquesta mateixa idea s'aplica a moltes altres funcions.

 f(x) = \frac{1}{1-x} + 1 , f(x) = 1-x.

Exemple 1: Resoldre

f(x+y)^2 = f(x)^2 + f(y)^2\,

per a tot x,y \in \mathbb{R}, suposant que ƒ és una funció real.

Sia x  = y  = 0

f(0)^2=f(0)^2+f(0)^2.\,.

Per tant ƒ (0)2 = 0 i ƒ (0) = 0.

Ara, sia y  = −x :

f(x-x)^2=f(x)^2+f(-x)^2\,
f(0)^2=f(x)^2+f(-x)^2\,
0=f(x)^2+f(-x)^2\,

El quadrat d'un nombre real és no negatiu, i una suma de nombres no negatius és zero si i només si que els dos nombres són 0. Així ƒ(0)2 = 0 per a tot x i ƒ(x) = 0 és l'única solució.

Vegeu també[modifica | modifica el codi]

Notes[modifica | modifica el codi]

  1. Cheng, Sui Sun; Wendrong Li. Analytic solutions of Functional equations. 5 Toh Posar Enllaç, Singapur 596224: World Scientific Publishing Co., 2008. ISBN 13 978-981-279-334-8. 
  2. M.H.Hooshmand,. «b-Digital sequences». Wmsci 2005: 9Th World Multi-Conference on Systemics, Cybernetics and Informatics, vol. 8, 2005, pàg. 142–146.
  3. M.H.Hooshmand, H.K.Haili; Haili, H. «Decomposer and associative functional equations». Indagationes Mathematicae, vol. 18, 4, 2007, pàg. 539–554. DOI: 10.1016/S0019-3577(07)80061-9.

Referències[modifica | modifica el codi]

Enllaços externs[modifica | modifica el codi]