Say we have a nonelementary function $F(x)$ on the real numbers. Let $E_1,E_2,\ldots,E_n$ be a sequence of finite elementary functions on the reals. Is it always true that $$ R(x)=(E_1\circ E_2\circ \cdots\circ E_n\circ F)(x) $$ is also nonelementary? Here we are assuming that $R$ is nontrivial: it cannot be the case that $R$ is any constant, or that any of the $E_i$ are the inverse of $F$ (you get the idea: constant multiples of the inverse, $E_1$ being the inverse of $E_2\circ F$, etc. are also not allowed). I do not have an idea where to start proving or disproving this, but it intuitively seems to be true. Any input is appreciated!
2026-02-23 00:03:12.1771804992
Bumbble Comm
On
Are elementary compositions of nonelementary functions also nonelementary?
170 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
1
Bumbble Comm
On
I am not quite sure what is meant by "non-elementary function", but if you have a non-elementary function $F$ such that $$ F(x)\in x+2\pi\Bbb Z\qquad\qquad\forall x\in\Bbb R $$ then $$ \cos(F(x))=\cos(x)\qquad\qquad\forall x\in\Bbb R, $$ i.e. $\cos\circ F=\cos$.
ADDED: In fact non elemetary functions $F$ as above are easy to construct. Let $G$ be just any sufficiently general non-elementary function and let $$ F(x)=x+2\pi\lfloor G(x)\rfloor,\qquad\forall x\in\Bbb R. $$
Related Questions in REAL-ANALYSIS
- how is my proof on equinumerous sets
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Is this relating to continuous functions conjecture correct?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Absolutely continuous functions are dense in $L^1$
- A particular exercise on convergence of recursive sequence
Related Questions in ALGEBRA-PRECALCULUS
- How to show that $k < m_1+2$?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Finding the value of cot 142.5°
- Why is the following $\frac{3^n}{3^{n+1}}$ equal to $\frac{1}{3}$?
- Extracting the S from formula
- Using trigonometric identities to simply the following expression $\tan\frac{\pi}{5} + 2\tan\frac{2\pi}{5}+ 4\cot\frac{4\pi}{5}=\cot\frac{\pi}{5}$
- Solving an equation involving binomial coefficients
- Is division inherently the last operation when using fraction notation or is the order of operation always PEMDAS?
- How is $\frac{\left(2\left(n+1\right)\right)!}{\left(n+1\right)!}\cdot \frac{n!}{\left(2n\right)!}$ simplified like that?
- How to solve algebraic equation
Related Questions in ANALYSIS
- Analytical solution of a nonlinear ordinary differential equation
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Show that $d:\mathbb{C}\times\mathbb{C}\rightarrow[0,\infty[$ is a metric on $\mathbb{C}$.
- conformal mapping and rational function
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Elementary question on continuity and locally square integrability of a function
- Proving smoothness for a sequence of functions.
- How to prove that $E_P(\frac{dQ}{dP}|\mathcal{G})$ is not equal to $0$
- Integral of ratio of polynomial
Related Questions in ELEMENTARY-FUNCTIONS
- Unusual Logarithm Problem
- Simple recursive algorithms to manually compute elementary functions with pocket calculators
- Example equation which does not have a closed-form solution
- How quickly can EFA define things, asymptotically?
- How to prove $\int \frac{1}{(x\sin(x))^2}\,dx$ doesnt have an elementary closed form?
- Simplifying a polynomial equation (undergraduate algebra)
- Is it possible to express the derivative of the Bessel function of the Second Kind, using elementary functions, if $n$ is an integer, or half integer?
- If an elementary function is the sum of two other functions , are these two functions necessarily elementary ? elementary?
- How do I find $f(x)$ based on this?
- Inverse of $g(x)=\frac{x^2+x}{2}$
Related Questions in TRANSCENDENTAL-FUNCTIONS
- Any theorems on the derivatives of transcendental functions?
- Simple recursive algorithms to manually compute elementary functions with pocket calculators
- Laplace transform of $t^\mu I_\nu(at)$
- How to calculate $\int_{ }^{ }\frac{14x+2}{x^2+4}dx$
- Why can't $y=xe^x$ be solved for $x$?
- Transcendental and implicit functions
- how to solve a $\log(1+\frac1x)*x$ function
- Multi-logarithm generalisation with multipliers
- Transcendental numbers
- Evaluation of :$\sum_{n=1}^{\infty}\frac{\sin n \log n}{n}$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
No, elementary compositions of nonelementary functions aren't always nonelementary.
My answer is for the elementary functions from Liouville and Ritt. They are defined in differential algebra. That are the functions that are composed of $\exp$, $\ln$ and/or unary or multiary univalued algebraic functions. Take e.g. functions $X\in\mathbb{C}\to Y\in\mathbb{C}$.
see e.g. Wikipedia: Elementary function
$ $
The composition of elementary functions is an elementary function again. Each elementary function can be presented as composition of elementary functions. Therefore you can set
$$E=E_1\circ E_2\circ E_3\circ\ ...\ \circ E_n,$$
with $E$ an elementary function.
$$E(F(x))=R(x)$$
Let $^{-1}$ denote the left or right inverse.
$ $
1.)
Let $G$ be an elementary function.
a) Let $E$ have a nonelementary right inverse.
$\ $ $E$ has a right inverse iff $E$ is surjective.
$\ $ Set $F(x)=E^{-1}(G(x))$.
$\ $ $E(F(x))=E(E^{-1}(G(x)))=G(x)$ is elementary.
b) Let $F$ have an elementary left inverse.
$\ $ $F$ has a left inverse iff $F$ has a nonempty domain and is injective.
$\ $ Set $E(x)=G(F^{-1}(x))$.
$\ $ $E(F(x))=G(F^{-1}(F(x)))=G(x)$ is elementary.
$ $
I don't know if the cases a and b are the only cases where $E(F(x))$ is elementary.
$ $
2.)
Let $E$ have an elementary left inverse.
$E$ has a left inverse iff $E$ has a nonempty domain and is injective.
$$E(F(x))=R(x)$$
$$F(x)=E^{-1}(R(x))$$
Because $E^{-1}$ is elementary and $F$ is nonelementary, and the composition of two elementary functions would be elementary again, $R$ must be nonelementary.
$ $
Bijective functions are treated in MathStackexchange: Which kinds of compositions of invertible elementary and nonelementary functions are elementary?