Monotone convergence of functions ant theor asymptotic power series

134 Views Asked by At

consider a sequence of functions $f_n:(0,\infty)\rightarrow\mathbb{R}$ which are positive and monotone, i.e.

$$0< f_1\leq f_2\leq....\leq f_n\leq f_{n+1}...$$

Now let us assume we know the asymptotic power series for any $f_n$, i.e. we know coefficients $a_k^n\in\mathbb{R}$ with $f_{n}(t)\sim \sum\limits_{k=0}^{\infty}a_k^n t^k$ (as $t\downarrow 0$).

Now let $f:(0,\infty)\rightarrow\mathbb{R}$ be a function with $f(t):=\lim\limits_{n\rightarrow\infty}f_n(x)$ and $f(t)\sim \sum\limits_{k=0}^{\infty}a_k t^k$. Is it maybe possible to show that $\lim\limits_{n\rightarrow\infty}a_k^{n}=a_k$?

I'm very curious about the answer, but I could not find it in any of my books. Neither I could prove or disprove it. Does someone know some fancy examples which can be adapted to this framework?

Best wishes

ps: Initially I had two questions. One of them was answered by Julián Aguirre below, that one can not in general deduce $a_{k}^n\leq a_k^{n+1}$, $\forall k\geq 0$. I changed the question a little bit so that the remaining open question is better visible.

2

There are 2 best solutions below

1
On BEST ANSWER

Let $f_n(x)=\dfrac{\ln(1+nx)}{\ln(1+n)},\,0<x<1.$ $f_n<f_{n+1}\to f(x)=1$. $$a_0^n=0,\,\,a_k^n=\dfrac{(-1)^{k-1}n^k}{k\ln (1+n)}\to \infty(n\to \infty).$$ $a_0=1,a_k=0,k=1,2,\cdots.$

1
On

Since you are interested in the asymptotic behaviour as $t\to0$, my example will be defined in $(0,1)$. Let $f_n(t)=1-t^n$, $t\in(0,1)$. Then $0<f_n(t)<f_{n+1}(t)$ fot all $t\in(0,1)$. On the other hand $$ a_0^n=1,\quad a_k^n=\begin{cases}0 & k\ne ,\\ 1 & k=n.\end{cases} $$ For no $k>1$ is $a_k^n$ increasing.