¿Puedes resolver cualquier función matemática?

Para cualquier función matemática finita (que consta de suma, resta, división, multiplicación, exponenciación, trigonometría) ¿puedes encontrar X en F ( X ) = y dónde y es un numero lo que quieres?

¿Está probado que cualquier función es solucionable o no solucionable? ¿Puede una computadora resolver una función que tiene millones de caracteres?

Traté de resolver una función grande en máximos pero se metió en un ciclo infinito.

Más precisamente, lo que realmente está preguntando es si cada función elemental tiene un inverso elemental . Es posible que desee analizar el concepto de una función elemental para plantear su pregunta con mayor precisión.

Respuestas (3)

Una función elemental no necesita tener una inversa elemental. Considerar

F ( X ) = X mi X ,

cuya inversa es la función Lambert W , que no se puede expresar en términos de funciones elementales (ver aquí ).

Como señaló Golden_Ratio, no siempre hay una forma agradable y cerrada para el inverso de una función elemental. Pero una computadora puede acercarse arbitrariamente a la solución de una función elemental, si existe. Eche un vistazo a la página de Wikipedia sobre algoritmos de búsqueda de raíces .

Te refieres a cerca de una raíz , pero sí, buen punto. Incluso iría más allá: los métodos numéricos son a menudo más valiosos, si finalmente se desea un valor numérico. Por ejemplo, la expresión exacta de la raíz de un trinomio puede ser difícil de calcular numéricamente (hay problemas de redondeo con la fórmula sencilla).

Supongo que te refieres a resolver una función ( y es una variable), no resolver una ecuación numérica ( y es un número). Esos son dos problemas matemáticos diferentes.

Su problema tiene sentido sólo si X es una variable para elementos del dominio de la función F y y es una variable para elementos del rango de la función F . Si X no es una variable para elementos del dominio de F o y no es una variable para elementos del rango de F , la función no tiene solución.

Una función es una relación entre dos conjuntos (dominio y rango) que asigna exactamente un elemento del rango a cada elemento del dominio. Una función inversa existe solo para funciones biyectivas, pero la relación inversa siempre existe. Su pregunta pide determinar la relación inversa de F . Si está buscando funciones en lugar de una relación, puede subdividir la relación inversa en sus ramas (ramas de función), las inversas parciales (significa funciones inversas parciales) de F .

Debido a que la relación inversa siempre existe, se puede calcular numéricamente.

También puede solicitar inversas parciales en forma cerrada .

Si F es una composición de funciones F 1 , . . . , F norte : F ( X ) = F norte ( F norte 1 ( . . . ( F 2 ( F 1 ( X ) ) ) ) ) y los inversos parciales de F 1 , . . . , F norte son conocidos/permitidos, los inversos parciales F 1 de F son: F 1 ( X ) = F 1 1 ( F 2 1 ( . . . ( F norte 1 1 ( F norte 1 ( X ) ) ) ) ) , dónde F i 1 es un inverso parcial de F i ( i { 1 , . . . , norte } ).

Dejar A Sea una función algebraica y F 1 , . . . , F norte Funciones algebraicamente independientes. no puedes resolver A ( F 1 ( X ) , . . . , F norte ( X ) ) = y para X si el dominio de la función A F 1 . . . F norte es un conjunto no discreto y simultáneamente solo A , F 1 , . . . , F norte y sus inversas parciales son conocidas/permitidas.

F es una función elemental explícita en su ejemplo.

Para inversas parciales elementales de funciones elementales, la independencia algebraica se demuestra implícitamente en el teorema principal de [Ritt 1925] que también se demuestra en [Risch 1979]:
Si F y su inversa son ambas elementales, entonces F ( z ) = ϕ norte   . . .   ϕ 1 ( z ) , donde cada ϕ i es una función algebraica de z si no Exp o en .

Véase, por ejemplo, la función F con F ( X ) = X mi X de la otra respuesta.
 

[Ritt 1925] Ritt, JF: Funciones elementales y sus inversas. Trans. Amer. Matemáticas. Soc. 27 (1925) (1) 68-90

[Risch 1979] Risch, RH: Propiedades algebraicas de las funciones elementales de análisis. Amer. J. Matemáticas. 101 (1979) (4) 743-759