A Differential equation and Appell polynomials

pawlo392
Messages
7
Reaction score
0
Hello!
Let $n$ be a natural number, $P_n(x)$ be a polynomial with rational coefficients, and $\deg P_n(x) = n$. Let $P_0(x)$ be a constant polynomial that is not equal to zero. We define the sequence ${P_n(x)}_{n \geq 0}$ as an Appell sequence if the following relation holds:
\begin{equation}
P_n'(x) = nP_{n-1}(x) \quad \text{for all } n \in \mathbb{N}.
\end{equation}

In the literature, we can also find the following definition:
\begin{df}\textit{
A sequence $\{P_n(x) \}_{n \ge 0}$ is called an Appell sequence (and $P_n(x)$ is called the $n$-th Appell polynomial) if
\begin{equation}
A(t)e^{xt}=\sum_{n=0}^\infty \frac{P_n(x)}{n!}t^n, \ A(0) \neq 0,
\end{equation}
where $A(t)=\sum_{n=0}^\infty \frac{\mathcal{P}_n}{n!}t^n$ is the generating function with $\mathcal{P}_n=P_n(0)$. }I would like to show implication 1 definition to 2 definition.
Defining the generating function $$h(x) = \sum_{n=0}^{\infty} \frac{P_n(x)}{n!}t^n$$ differentiating with respect to $x$ and using the first definition, we obtain a linear first-order differential equation $$h'(x)=\sum_{n=0}^\infty \frac{P_{n}'(x)}{n!}t^n = \sum_{n=1}^\infty \frac{nP_{n-1}(x)}{n!}t^n = \sum_{n=1}^\infty \frac{P_{n-1}(x)}{(n-1)!}t^n. $$

I don't know how to show that $A(t)e^{xt}$ is a solution.
 
Physics news on Phys.org
You have <br /> h(x,t) = \sum_{n=0}^\infty \frac{P_n(x)}{n!}t^n and you wnat to show show that h(x,t) = A(t)e^{xt} for a specific A(t).

You found after applying the recurrence relation that <br /> \frac{\partial h}{\partial x} = \sum_{n=1}^\infty \frac{P_{n-1}(x)}{(n-1)!}t^n. But the right hand side is equal to th(x,t) (set m = n-1) so that <br /> \frac{\partial h}{\partial x} = th is the PDE you need to solve for h.
 
Last edited:
There is the following linear Volterra equation of the second kind $$ y(x)+\int_{0}^{x} K(x-s) y(s)\,{\rm d}s = 1 $$ with kernel $$ K(x-s) = 1 - 4 \sum_{n=1}^{\infty} \dfrac{1}{\lambda_n^2} e^{-\beta \lambda_n^2 (x-s)} $$ where $y(0)=1$, $\beta>0$ and $\lambda_n$ is the $n$-th positive root of the equation $J_0(x)=0$ (here $n$ is a natural number that numbers these positive roots in the order of increasing their values), $J_0(x)$ is the Bessel function of the first kind of zero order. I...
Are there any good visualization tutorials, written or video, that show graphically how separation of variables works? I particularly have the time-independent Schrodinger Equation in mind. There are hundreds of demonstrations out there which essentially distill to copies of one another. However I am trying to visualize in my mind how this process looks graphically - for example plotting t on one axis and x on the other for f(x,t). I have seen other good visual representations of...
Back
Top