La exponenciación de ambos lados da como resultado $$ \ln(x) = \sin(x) \iff x = e^{\sin(x)} \iff f(x) = x $$ donde las últimas ecuaciones son ecuaciones de punto fijo.
Como $\sin(x) \in [-1, 1]$ tenemos $$ e^{\sin(x)} \in [1/e, e] \approx [0.368, 2.718] $$
Un gráfico muestra que hay un punto fijo real en $[2, 2.5]$ .
Para determinar un valor más preciso hay que aplicar un procedimiento numérico o ampliarlo gráficamente.
Una forma de resolver una ecuación de punto fijo es mediante una simple iteración. Sin embargo, el punto fijo $x^*$ debe ser atractiva. Un criterio para ello es $\lvert f'(x^*) \rvert < 1$ .
Aquí $f'(x) = f(x) \cos(x)$ . Una trama rápida de $\lvert f'(x) \rvert$ da
que muestra (curva azul) que no es un punto fijo atractivo.
Así que probamos la ecuación inversa: $$ \ln(x) = \sin(x) \Rightarrow (\sin^{-1})(\ln(x)) = x $$
Para tener $\sin^{-1}$ entregar valores en torno a $x=2.2$ debemos invertir el seno a partir de $\pi/2$ a la izquierda del habitual $[-\pi/4, \pi/4]$ que da $$ \sin^{-1}(x) = \pi - \arcsin(x) $$ y conduce a la ecuación del punto fijo $$ f(x) := \pi - \arcsin(\ln(x)) = x \quad (*) $$ como señaló primero Barry Cipra.
Diferenciando $y = f(f^{-1}(y))$ da $$ (f^{-1})'(y) = 1/f'(f^{-1}(y)) $$ que utilizamos para determinar $$ f'(x) = - \frac{1}{\sqrt{1 - (\ln(x))^2}} \frac{1}{x} $$
Al trazar esto se obtiene
que muestra que $\lvert f'(x) \rvert < 1$ en el intervalo de interés y, por tanto, que este punto fijo es atractivo.
Así que empezamos, por ejemplo, con $x_0 = 2$ y calcular los siguientes valores mediante la ecuación $(*)$ por $$ x_n := f(x_{n-1}) = f^n(x_0) $$
Esto da una ecuación con un término de longitud infinita en el lado derecho: $$ x^* = \pi - \arcsin(\ln( \pi - \arcsin(\ln( \pi - \arcsin(\ln( \cdots \pi - \arcsin(\ln( \pi - \arcsin(\ln(x_0))))\ldots)))))) $$
Usando unas pocas líneas de Ruby (ver abajo) para implementar la iteración obtuve los siguientes valores.
Valores de iteración
00: 2.000000
01: 2.375746
02: 2.095821
03: 2.308604
04: 2.150467
05: 2.269487
06: 2.180961
07: 2.247301
08: 2.197901
09: 2.234846
10: 2.207311
..
20: 2.218476
..
30: 2.219073
..
40: 2.219105
41: 2.219109
42: 2.219106
43: 2.219108
44: 2.219107
45: 2.219108
46: 2.219107
47: 2.219107
La tasa de convergencia es más lenta que la convergencia cuadrática del método Newton-Raphson. La iteración tiene este aspecto:
Código Rubí
def f(x)
y = Math::PI - Math.asin(Math.log(x))
end
def g(x0, n)
x = x0
i = 0
while i <= n
printf "%02d: %f\n", i, x
x = f(x)
i += 1
end
end
0 votos
Parece que no hay una expresión agradable para la respuesta . Se puede utilizar un enfoque numérico para encontrar el valor aproximado.
0 votos
El único rango válido para empezar es $\frac{1}{e}\leq{x}\leq{e}$ lo que lleva a un rango más estrecho de $1\leq{x}\leq{e}$ .
0 votos
No creo que haya una forma cerrada interesante para este problema. Pero es un buen problema para convencerse de que sólo hay una respuesta.
2 votos
De verdad $x$ o complejo $x$ ?
0 votos
@mvw real x perdón por el retraso pensé que había contestado antes pero acabo de descubrir que no funcionó porque el comentario era demasiado corto
0 votos
Ver OEIS A $126586$ . Para $\ln x=\cos x$ , ver OEIS A $126598$ .
0 votos
¿Es posible enunciar la respuesta con exactitud (por ejemplo, como alguna función de tal vez $\pi$ y e), o demostrar que no se puede afirmar con exactitud?
0 votos
@user3347826 Quieres algún término de longitud finita, usando funciones y constantes conocidas. Hasta ahora ninguno de los enfoques dio un candidato.