In the Middle of the Tower 2

Calculus Level 2

( 1 2 ) x 1 3 = x \large \left( \frac{1}{2} \right) ^{x^{ \frac{1}{3}}} = x

Find the real value of x x satisfying the equation above.


Try Part 1


The answer is 0.564005912.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Chew-Seong Cheong
Sep 21, 2020

Given that ( 1 2 ) x 1 3 = x \left(\dfrac 12\right)^{x^\frac 13} = x , x 1 3 ln 2 = ln x \implies - x^\frac 13 \ln 2 = \ln x or ln x + x 1 3 ln 2 \ln x + x^\frac 13 \ln 2 .

Let f ( x ) = ln x + x 1 3 ln 2 f(x) = \ln x + x^\frac 13 \ln 2 . By Newton-Raphton method , we have:

x n + 1 = x n f ( x n ) f ( x n ) = x n ln x + x 1 3 ln 2 1 x n + ln 2 3 x 2 3 x_{n+1} = x_n - \frac {f(x_n)}{f'(x_n)} = x_n - \frac {\ln x + x^\frac 13 \ln 2}{\frac 1{x_n}+\frac {\ln 2}{3x^\frac 23}}

Assuming x 0 = 1 x_0 = 1 and using an Excel spreadsheet to implement, we have:

where the columns from left to right are x n x_n , f ( x n ) f(x_n) , f ( x n ) f'(x_n) , and x n + 1 x_{n+1} . Therefore x 0.564 x \approx \boxed{0.564} .

Chris Lewis
Sep 21, 2020

Let f ( x ) = 2 x 3 f(x)=2^{-\sqrt[3]{x}} (ie the left-hand side of the given equation).

We see that f ( 0 ) = 1 f(0)=1 and f ( 1 ) = 1 2 f(1)=\frac12 ; so the root must lie in this interval.

Let x 0 = 1 2 x_0=\frac12 and x n + 1 = f ( x n ) x_{n+1}=f \left(x_n \right) .

Iterating, we find

n n x n x_n
0 0 0.5 0.5
1 1 0.5768 0.5768\ldots
2 2 0.5615 0.5615\ldots
3 3 0.564 0.564\ldots
4 4 0.563 0.563\ldots
5 5 0.564 0.564\ldots
6 6 0.564 0.564\ldots

so the root is 0.564 \boxed{0.564} .


The more rigorous version of this is that the form given in the problem leads to a convergent iterated function system (IFS).

It's easy to check that f ( x ) f'(x) is negative, so there is a unique root. As above, it lies in the interval 0 < x < 1 0<x<1 . The condition for convergence of an IFS to a root x = a x=a is that f ( a ) < 1 |f'(a)|<1 ; this is also easy to verify. Since f ( x ) f(x) is pretty well-behaved, any starting value x 0 x_0 will work.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...