I am currently reading volume 2 of "Generalized Functions" by Gelfand and $\mathcal{S}^{2}\_0(\mathbb{R})$ is defined to be the collection of $C^\infty$ functions $f$ on $\mathbb{R}$ such that
\begin{equation}
\sup\_{x \in \mathbb{R}}\lvert x^k f^{(q)}(x) \rvert \leq CA^kB^q q^{2q}
\end{equation}
where $k$ and $q$ are arbitrary nonnegative integers and $A,B,C>0$ are constants depending on $f$.


I also figured out that any function in $\mathcal{S}^{2}\_0(\mathbb{R})$ must have a compact support.


**My question is this**: does there exist a certain $f$ for prescribed $A,B,C>0$? For example, if $A \in (0,1]$ is given, can we find some function $f \in \mathcal{S}^{2}\_0(\mathbb{R})$ satisfying the above bounds with this given $A$?


The function space of $\mathcal{S}$-type are quite new to me. Could anyone please help me understand them?


Add : Here, $2$ can be replaced by any bigger number. That is, could anyone provide a nontrivial element for some $\mathcal{S}^b\_0$ where $b$ can be as large as one wants?



Description of $\mathcal{S}^{2}_0(\mathbb{R})$ and certain class of functions inside it
$\newcommand\S{\mathcal S}\newcommand\R{\mathbb R}$For $x\in(0,1)$, let $g(x):=\frac1x$, and then let
$$f(x):=e^{-g(x)-g(1-x)}$$
for $x\in(0,1)$, with $f(x):=0$ for real $x\notin(0,1)$.


Then $f\in\S\_0^3(\R)$ -- see the details on this at the end of the answer.


As noted in [Willie Wong's comment](https://mathoverflow.net/questions/438798/description-of-mathcals2-0-mathbbr-and-certain-class-of-functions-in#comment1131557_438798), you can rescale $f$ vertically and horizontally to get desired $C$ and $A$ (and you said you do not need $B$ to be small).


**Details:** Everywhere here, $x\in(0,1)$. We have
$$f'(x)=P\_1(x)f(x),$$
where $P\_1(x):=\frac1{x^2}-\frac1{(1-x)^2}$. It is now easy to see by induction that for any $r=0,1,\dots$
$$f^{(r)}(x)=P\_r(x)f(x),$$
where $P\_r(x)$ is a polynomial in $\frac1x\,,\frac1{1-x}$ of total degree $\le2r$, containing $\le C^r$ monomials with coefficients $\le C^r r!$ in absolute value; here and elsewhere $C$ denotes various universal positive real constants. Also, for any nonnegative integers $m$ and $p$ such that $m+p\le2r\le2q$ we have
$$\dfrac1{x^m(1-x)^p}\,e^{-g(x)-g(1-x)}\le e^{-m-p}m^m p^p
\le q^{m+p}\le q^{2q}.$$
Thus,
$$|f^{(q)}(x)|\le C^q q^{3q}.$$




---


By a more accurate accounting on the coefficients of the monomials of $P\_r(x)$, one can get
\begin{equation\*}
|f^{(q)}(x)|\le C^q q^{2q} \tag{10}\label{10} 
\end{equation\*}
and thus $f\in\S\_0^2(\R)$.


Indeed, for $r=0,1,\dots$,
\begin{equation\*}
 f^{(r+1)}(x)=(P\_r(x)f(x))'=(P'\_r(x)+P\_r(x)(\tfrac1{x^2}-\tfrac1{(1-x)^2}))f(x),
\end{equation\*}
so that
\begin{equation\*}
 P\_{r+1}(x)=P'\_r(x)+P\_r(x)(\tfrac1{x^2}-\tfrac1{(1-x)^2}). 
\end{equation\*}
Consider any monomial $m(x)=c(\frac1x)^i(\frac1{1-x})^{p-i}$ of the polynomial $P\_r(x)$
in $\frac1x\,,\frac1{1-x}$; this monomial is of total degree $p$ and with coefficient $c$. Then $(m(x)f(x))'/f(x)$ is the sum of four monomials of $P\_{r+1}(x)$. Two of these four monomials are monomials of $P'\_r(x)$ (say they are of the 1st kind) and the other two monomials are monomials of $P\_r(x)(\tfrac1{x^2}-\tfrac1{(1-x)^2})$ (say they are of the 2nd kind).


The total degree of each of the two monomials of the 1st kind is $p+1$ and the absolute value of its coefficients is $\le p|c|\le2r|c|$. The total degree of each of the two monomials of the 2nd kind is $p+2$ and the absolute value of its coefficient is $\le |c|$.


So, if a monomial of $P\_q(x)$ is obtained by $k$ steps of the 1st kind (and, hence, $q-k$ of the 2nd kind), then it is of the form
\begin{equation\*}
 M(x)=c(\tfrac1x)^i(\tfrac1{1-x})^{p-i}
\end{equation\*}
with
\begin{equation\*}
 p=k+2(q-k)\quad\text{and}\quad |c|\le (2q)^k\le2^q q^k. 
\end{equation\*}
Recalling now the inequality $u^s e^{-u}\le s^s$ for $u>0$ and $s\ge0$ (with $0^0:=1$), we see that
\begin{equation\*}
 |M(x)f(x)|\le2^q q^k i^i (p-i)^{p-i}\le2^q q^k p^p=2^q h(k), 
\end{equation\*}
where $h(k):=q^k (k+2(q-k))^{k+2(q-k)}$. Note that $h$ is log convex, $h(0)=(2q)^{2q}$, and $h(q)=q^{2q}$. So, $h(k)\le(2q)^{2q}$ for all $k\in[0,q]$.
So, for any monomial $M(x)$ of $P\_q(x)$ we have
\begin{equation\*}
 |M(x)f(x)|\le2^q (2q)^{2q}=8^q q^{2q}.
\end{equation\*}
Since $P\_q(x)$ contains $\le4^q$ monomials, we conclude that \eqref{10} holds. $\quad\Box$


