Questions tagged [exponential-polynomials]
The exponential-polynomials tag has no usage guidance.
7 questions
23
votes
2
answers
669
views
Order type of the smallest set containing the identity function and closed under exponentiation
Let $E$ be the smallest set of functions $\mathbb{N}^+\to\mathbb{N}^+$ containing the identity function $n \mapsto n$ and closed under exponentiation $(f,g) \mapsto \left(n \mapsto f(n)^{g(n)}\right)$...
- 872
12
votes
1
answer
1k
views
Testing whether $e^x+ax^2+bx+c$ has a zero
What is the simple test with exponential polynomials to determine whether
$$f(x)=e^x+ax^2+bx+c$$ has a positive zero?
This was prompted by the question about discriminants here. We have an ineffective ...
user44143
10
votes
2
answers
455
views
Is equivalence of functions built from nested exponentiations a decidable problem?
Let $\mathcal{E}$ be the minimal set of symbolic expressions (without any predefined meaning) such that
The symbol $x$ is in $\mathcal{E}$, and
If expressions $P,Q\in\mathcal{E}$, then the ...
- 1,699
8
votes
1
answer
591
views
Zeros of a combination of exponentials
Is there any known result about the necessary and sufficient conditions for the existence of zeros for a function $f(x)=\sum_{n=1}^{N} a_n e^{b_n x}$, where $a_n,b_n \in \mathbb{R}\, \forall n=1,2,\...
- 83
8
votes
3
answers
2k
views
Rational exponential expressions
Consider the following extension of polynomials. The rational exponential expressions (REXes) are given by:
The leaves 1 and $x$ for $x$ drawn from a class of variables; and
Closed under the binary ...
- 2,283
1
vote
0
answers
102
views
Real root isolation for exponential polynomials
Suppose we are given an exponential polynomial $f:\mathbb{R}\mapsto\mathbb{R}$
$$
f(t)=\sum_{i=1}^n p_i(t)e^{\lambda_i t}
$$
where $p_i(t)$s are polynomials with algebraic coefficients and $\lambda_i$...
- 1,503
0
votes
1
answer
151
views
Is it possible to solve for y in this equation? [closed]
Is it possible to solve for $y$ in this equation? $$-y^{-x}+y-1=0$$ People have mentioned the use of the Lambert W function or other non-elementary functions, but I haven't been able to make use of ...
