An interesting exponent.

A few days ago, my Calculus professor discussed exponential functions in general. Apart from the easy stuff, he actually asked us something that caught my attention and yet puzzled me greatly. The problem at hand was the following:

Approximate b2b^{\sqrt{2}}, where b(,)b \in (-\infty,\infty)?

Furthermore, he mentioned that this can be solved using techniques for different representation of real numbers. This is something I have never come across thus far, and would love it if someone gave me a more thorough explanation if possible.

Needless to say, I would also like to see this problem generalized a bit.

Therefore, my questions are:

Given that x=bnx=b^{\sqrt{n}}, where bb and nn are real numbers, is there a valid way of finding xx? If so, how does one do it and can you provide a valid proof?

Thank you very much in advance!

Note: Feel free to point at any literature that can answer my questions.

Note by Ivan Sekovanić
5 years, 10 months ago

No vote yet
7 votes

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sort by:

Top Newest

Let's just consider the n=2n = 2 and b>0b > 0 case: suppose that the function f(x)=bxf(x) = b^x is uniformly continuous when b>0b > 0, then we can represent 2=limxk\sqrt{2} = \lim x_k as the limit of some rational cauchy sequence. By uniform continuity, we can also claim that b^\sqrt{2} = f\left(\lim_k x_k\right)= \lim_k f(x_k) this means that we can construct a convergent sequence to b^\sqrt{2} by taking rational exponents, so for example, if we have nice technique/method of computing rational exponents, then we can compute 3^\sqrt{2} by computing 31,31.4,31.41,31.414,31.4142,3^1, 3^{1.4}, 3^{1.41}, 3^{1.414}, 3^{1.4142},\dots

From a computational point of view, the selection of the sequence matters because sequences that converges quicker will yield a better approximation. In the above, we can bound the error of xk210k|x_k - \sqrt{2}| \le 10^{-k}, so the relative error of the kthk^{th} approximation is bounded above by 1b10k1 - b^{10^{-k}}. Doing a bit of quick and dirty work (using a first order approximation of bx=xlogb+O(x2)b^x = x\log b + O(x^2), and let δk\delta_k denote the relative error using the kthk^{th} approximation, then for errors of the form 1bf(k)1 - b^{f(k)} δkf(k)logb\delta_k \approx |f(k)\log b|

For the sequence that adds in an extra decimal term each time, we can arbitrarily guarantee mm digits of accuracy in decimal point by allowing 10m10klog(b)    km+loglogb10^{-m} \approx 10^{-k} \log(b) \implies k \approx m + \log \log b

More interestingly, the following rational sequence approximating 2=limkxk\sqrt{2} = \lim_k x_k where the sequence is described by the recurrence xk+1=xk2+22xk    x1=32x_{k+1} = \frac{x_k^2 + 2}{2x_k} ~~~~ x_1 = \frac{3}{2} converges quite rapidly. In fact, within the region xk(1,2)x_k \in (1,2), it can be shown that 2xk12(212)2k|\sqrt{2} - x_k| \le \frac{1}{2} \left(\frac{\sqrt{2} - 1}{2}\right)^{2^k} so here, to get m digits in decimal, you would only need to compute the k=log2(m)log2log10(221)k = \log_2(m) - \log_{2}\log_{10}\left(\frac{2}{\sqrt{2}-1}\right), which is super quick!

Lee Gao - 5 years, 10 months ago

Log in to reply

This is truly astounding and answers my question completely. Thank you very much!

Ivan Sekovanić - 5 years, 10 months ago

Log in to reply

We can write b2=e2logb b^{\sqrt{2}} = e^{\sqrt{2} \log b } , from which it follows that if b>0 b > 0 , the resulting function is well defined on the reals. When b=0 b = 0 , then it is reasonable to interpret 02 0^{\sqrt{2}} as the limiting value of f(x)=0x f(x) = 0^x as x2 x \to \sqrt{2} , which is of course 0 0 .

The interesting that happens is when b<0 b < 0 . Can we formulate an axiomatically consistent interpretation of the function g(b)=b2 g(b) = b^{\sqrt{2}} for b<0 b < 0 ? Can we do so for non-real b b ? The above suggests employing the complex logarithm: logz=logz+iargz+2πik,kZ, \log z = \log |z| + i \arg z + 2 \pi i k, \quad k \in \mathbb Z, where argz \arg z is the complex argument of z z ; i.e., the angle that z z makes with the positive real axis in the complex plane.

With this in mind, we observe that for general complex b b , the expression b2 b^{\sqrt{2}} is a set of complex numbers. We can choose a particular branch for this multivalued function to make it well-defined, but the result will contain a branch cut, across which the value of the function will be discontinuous.

hero p. - 5 years, 10 months ago

Log in to reply

Amazing! Thank you very much!

Ivan Sekovanić - 5 years, 10 months ago

Log in to reply

god bless

Geraldine Lobetana - 4 years, 11 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...