Ecuación funcional

En matemáticas, unha ecuación funcional é, no sentido máis amplo, unha ecuación na que unha ou varias funcións aparecen como descoñecidas. No entanto, adoita empregarse un significado máis restrinxido, onde unha ecuación funcional é unha ecuación que relaciona varios valores da mesma función. Por exemplo, as funcións logarítmicas caracterízanse esencialmente pola ecuación funcional logarítmica $\log (xy)=\log (x)+\log (y).$

Se se supón que o dominio da función descoñecida son os números naturais, a función é xeralmente vista como unha secuencia, e, neste caso, unha ecuación funcional (no significado máis estreito) chámase relación de recorrencia. O termo ecuación funcional úsase principalmente para funcións reais e funcións complexas. Ademais, moitas veces asúmese unha condición de suavidade para as solucións, xa que sen tal condición, a maioría das ecuacións funcionais teñen solucións moi irregulares. Por exemplo, a función gamma é unha función que satisfai a ecuación funcional $f(x+1)=xf(x)$ e o valor inicial $f(1)=1.$ Hai moitas funcións que satisfan estas condicións, mais a función gamma é a única que é meromorfa en todo o plano complexo, e logarítmicamente convexa para Modelo:Mvar real e positivo (teorema de Bohr–Mollerup).

Exemplos

• As relacións de recorrencia pódense ver como ecuacións funcionais en funcións sobre enteiros ou números naturais, nas que as diferenzas entre os índices dos termos poden verse como unha aplicación do operador de desprazamento. Por exemplo, a relación de recorrencia que define os números de Fibonacci, $F_n=F_{n-1}+F_{n-2}$, onde $F_0=0$ e $F_1=1$.

• $f(x+P)=f(x)$, que caracteriza as funcións periódicas.

• $f(x)=f(-x)$, que caracteriza as funcións pares, e así mesmo $f(x)=-f(-x)$, que caracteriza as funcións impares.

• $f(f(x))=g(x)$, que caracteriza as raíces cadradas funcionais da función Modelo:Mvar (que non coinciden coa función raíz cadrada).

• $f(x+y)=f(x)+f(y)$ (ecuación funcional de Cauchy), satisfeita polos mapas lineares. A ecuación pode, en función do axioma de elección, ter tamén outras solucións patolóxicas non lineares, cuxa existencia pode demostrarse cunha base de Hamel para os números reais.
• $f(x+y)=f(x)f(y),$ satisfeito por todas as funcións exponenciais. Como a ecuación funcional aditiva de Cauchy, esta tamén pode ter solucións patolóxicas e descontinuas.
• $f(xy)=f(x)+f(y)$, satisfeito por todas as funcións logarítmicas e, sobre os argumentos de enteiros primos, as funcións aditivas.
• $f(xy)=f(x)f(y)$, satisfeito por todas as funcións de potencias e, sobre os argumentos de enteiros coprimos, as funcións multiplicativas
• $f(x+y)+f(x-y)=2[f(x)+f(y)]$ (ecuación cadrática ou lei do paralelogramo)
• $f((x+y)/2)=(f(x)+f(y))/2$ (ecuación funcional de Jensen)
• $g(x+y)+g(x-y)=2[g(x)g(y)]$ (ecuación funcional de d'Alembert)
• $f(h(x))=h(x+1)$ (ecuación de Abel)
• $f(h(x))=cf(x)$ (ecuación de Schröder).
• $f(h(x))=(f(x){)}^c$ (ecuación de Böttcher).
• $f(h(x))=h^{\prime }(x)f(x)$ (Ecuación de Julia).
• $f(xy)=\sum g_l(x)h_l(y)$ (Levi-Civita),
• $f(x+y)=f(x)g(y)+f(y)g(x)$ ( fórmula de adición do seno e fórmula de adición do seno hiperbólico),
• $g(x+y)=g(x)g(y)-f(y)f(x)$ (fórmula de adición do coseno),
• $g(x+y)=g(x)g(y)+f(y)f(x)$ (fórmula do adición de coseno hiperbólico).
• As leis conmutativa e asociativa son ​​ecuacións funcionais. Na súa forma familiar, a lei asociativa exprésase escribindo a operación binaria en notación infixa, $$(a\circ b)\circ c=a\circ (b\circ c),$$ mais se escribimos f(a, b) en lugar de Modelo:Math entón a lei asociativa parece máis unha ecuación funcional convencional, $$f(f(a,b),c)=f(a,f(b,c)).$$

• A ecuación funcional $$f(s)=2^s{\pi }^{s-1}\sin \left(\frac{\pi s}{2}\right)\mathrm{\Gamma }(1-s)f(1-s)$$ é satisfeita pola función zeta de Riemann, como se demostrou na mencionada páxina. A maiúscula Modelo:Math denota a función gamma.

• A función gamma é a única solución do seguinte sistema de tres ecuacións:
  • $f(x)=\frac{f(x+1)}{x}$
  • $f(y)f(y+\frac{1}{2})=\frac{\sqrt{\pi }}{2^{2y-1}}f(2y)$
  • $f(z)f(1-z)=\frac{\pi }{\sin (\pi z)}$Modelo:Espazos(Euler fórmula de reflexión)
• A ecuación funcional $$f\left(\frac{az+b}{cz+d}\right)=(cz+d{)}^{k}f(z)$$ onde Modelo:Math son enteiros que satisfán $ad-bc=1$, é dicir, $\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$ = 1, define Modelo:Mvar como unha forma modular de orde Modelo:Mvar.

Á hora de pedir todas as solucións, pode darse o caso de que se apliquen condicións da análise matemática; por exemplo, no caso da ecuación de Cauchy mencionada anteriormente, as solucións que son funcións continuas son as "razoables", mentres que se poden construír outras solucións que probablemente non teñan aplicación práctica (utilizando unha base de Hamel para os números reais como espazo vectorial sobre os números racionais). O teorema de Bohr-Mollerup é outro exemplo coñecido.

Involucións

As involucións caracterízanse pola ecuación funcional $f(f(x))=x$ . Estas aparecen na ecuación funcional de Babbage (1820),

$f(f(x))=1-(1-x)=x.$

Solución

Un método para resolver ecuacións funcionais elementais é a substitución. 

Algunhas solucións de ecuacións funcionais aproveitaron seren funcións sobrexectivas ou inxectivas, ou funcións pares ou impares.

Algunhas ecuacións funcionais foron resolvidas co uso de ansatzes, e tamén con indución matemática.

Na programación dinámica utilízanse unha variedade de métodos de aproximación sucesivas para resolver a ecuación funcional de Bellman, incluíndo métodos baseados en iteracións de punto fixo.

Exemplo de solución

Solucionar $f(x+y)=f(x)+f(y)$ sobre $\mathbb{Q}.$

Probando $f(x)=kx+c$, atopamos $k(x+y)+c=kx+c+ky+c$ o que implica $c=0$, mais Modelo:Mvar pode ser calquera cousa. Entón a nosa suposición é que a resposta é $f(x)=kx$. Agora comezamos con $x=y=0$ e obtemos $f(0)=0$.

$x=y=1$ e obtemos $f(2)=f(1)+f(1)=2k$. $(x,y)=(2,1)$ e obtemos $f(3)=f(2)+f(1)=3k$. E así en xeral chegamos a $f(n)=nk$.

Para os enteiros negativos, con $x=-y$ obtemos $f(x)+f(-x)=0$,

e así, f é impar, por tanto o resultado f(n) = kn vale para os enteiros negativos.

Para o resto de $\mathbb{Q}$ facemos $f(\frac{1}{2})+f(\frac{1}{2})=f(1)=k$ onde $f(\frac{1}{2})=\frac{1}{2}k$.

E para $\frac{p}{q}$ facemos igual Modelo:Mvar veces $f(\frac{p}{q})+\cdots +f(\frac{p}{q})=f(p)=kp$, e por tanto $f(\frac{p}{q})=f(p)/q=k\frac{p}{q}$.

Desigualdades funcionais

Do mesmo modo que podemos expresar unha ecuación funcional podemos expresar unha desigualdade funcional que terá os seus métodos característicos de resolución.

Por exemplo: Non existe ningunha función limitada $f:ℝ\to ℝ$ con $f(1)>0$ que cumpra a desigualdade $f(x+y{)}^2\ge f(x{)}^2+2f(xy)+f(y{)}^2$.

Véxase tamén

Bibliografía

• János Aczél, Lectures on Functional Equations and Their Applications, Academic Press, 1966, reprinted by Dover Publications, Modelo:ISBN.
• János Aczél & J. Dhombres, Functional Equations in Several Variables, Cambridge University Press, 1989.
• C. Efthimiou, Introduction to Functional Equations, AMS, 2011, Modelo:Isbn ; online.
• Pl. Kannappan, Functional Equations and Inequalities with Applications, Springer, 2009.
• Marek Kuczma, Introduction to the Theory of Functional Equations and Inequalities, second edition, Birkhäuser, 2009.
• Henrik Stetkær, Functional Equations on Groups, first edition, World Scientific Publishing, 2013.
• Modelo:Cita libro

Outros artigos

• Ecuación funcional (L-función)
• Ecuación de Bellman
• Ecuación diferencial funcional

Ligazóns externas

• Functional Equations: Exact Solutions at EqWorld: The World of Mathematical Equations.
• Functional Equations: Index at EqWorld: The World of Mathematical Equations.
• IMO Compendium text (archived) on functional equations in problem solving.

Modelo:Control de autoridades