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 

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  e o valor inicial  Hai moitas funcións que satisfán estas condicións, mais a función gamma é a única que é meromorfa  en todo o plano complexo, e logarítmicamente convexa para  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, , onde  e .

 , que caracteriza as funcións periódicas.

 , que caracteriza as funcións pares, e así mesmo , que caracteriza as funcións impares.

 , que caracteriza as raíces cadradas funcionais da función  (que non coinciden coa función raíz cadrada).

 (ecuación funcional de Cauchy), satisfeita polos mapas lineares. A ecuación pode, en función do axioma de escolla, ter tamén outras solucións patolóxicas non lineares, cuxa existencia pode demostrarse cunha base de Hamel para os números reais.
 satisfeita 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.
, satisfeita por todas as funcións logarítmicas e, sobre os argumentos de enteiros primos, as funcións aditivas.
, satisfeita por todas as funcións de potencias e, sobre os argumentos de enteiros coprimos, as funcións multiplicativas
 (ecuación cadrática ou lei do paralelogramo)
 (ecuación funcional de Jensen)
 (ecuación funcional de d'Alembert)
 (ecuación de Abel)
 (ecuación de Schröder).
 (ecuación de Böttcher).
 (Ecuación de Julia).
 (Levi-Civita),
 ( fórmula de adición do seno e fórmula de adición do seno hiperbólico),
 (fórmula de adición do coseno),
 (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,  mais se escribimos  en lugar de  entón a lei asociativa parece máis unha ecuación funcional convencional, 

 A ecuación funcional  é satisfeita pola función zeta de Riemann, como se demostrou na mencionada páxina. A maiúscula  denota a función gamma.

 A función gamma é a única solución do seguinte sistema de tres ecuacións:

(fórmula de reflexión de Euler)
 A ecuación funcional  onde  son enteiros que satisfán , é dicir,  = 1, define  como unha forma modular de orde .

Á 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  . Estas aparecen na ecuación funcional de Babbage (1820),



 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 Bellman, R. (1957). Dynamic Programming, Princeton University Press.Sniedovich, M. (2010). Dynamic Programming: Foundations and Principles, Taylor & Francis.  para resolver a ecuación funcional de Bellman, incluíndo métodos baseados en iteracións de punto fixo.

 Exemplo de solución 
Solucionar  sobre  

Probando , atopamos , o que implica , mais  pode ser calquera cousa. Entón a nosa suposición é que a resposta é .

Agora comezamos con  e obtemos .

Con  obtemos .

Con  obtemos .

E así en xeral chegamos a .

Para os enteiros negativos, con  obtemos , e así, f é impar, por tanto o resultado  cúmprese para os enteiros negativos.

Para o resto de  facemos 
, de aí obtemos .

E para   facemos 
igual  veces , e por tanto .

 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  con  que cumpra a desigualdade
.

 Notas 


 Véxase tamén 


 Bibliografía 
János Aczél, Lectures on Functional Equations and Their Applications, Academic Press, 1966, reprinted by Dover Publications, .
János Aczél & J. Dhombres, Functional Equations in Several Variables, Cambridge University Press, 1989.
C. Efthimiou, Introduction to Functional Equations, AMS, 2011,  ; 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.

 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.

Categoría:Álxebra
Categoría:Funcións