arXiv reader

\alpha-Parameterized Differential Transform Method

K. Aydemir and O. Sh. Mukhtarov

arXiv
1507.03803v1 · PDF · 14 July 2015
Categories
math.CA, cs.NA, math.NA
Licence
CC BY 4.0 The site shows the text.

Abstract

In this paper we propose a new version of differential transform method (we shall call this method as \alpha-parameterized differential transform method), which differs from the traditional differential transform method in calculating coefficients of Taylor polynomials. Numerical examples are presented to illustrate the efficiency and reliability of own method. The result reveal that \alpha-Parameterized differential transform method is a simple and effective numerical algorithm.

Items 17

Definition

Definition 1

VIXK

The sequence

(D_{\alpha}(f)):=(D(f,\alpha;1), D(f,\alpha;2),...)

is called the \alpha-P transformation of the original function f(x). The so-called ,,differential inverse" transform of D_{\alpha}(f) we define as

\begin{aligned} E_{\alpha}(D_{\alpha}(f)):=\sum_{k=0}^{\infty}D(f,\alpha;k)(x-x_{\alpha})^{k} \end{aligned}

if the series is convergent, where x_{\alpha}=\alpha a+(1-\alpha)b.

Used by Proof
Remark

Remark 1

08NX

In the cases of \alpha=1 \ \textrm{and} \ \alpha=0 the \alpha-p differential transform (?) reduces to the classical differential transform (?) at the points x=a \ \textrm{and} \ x=b respectively. Namely for \alpha=0 \ \textrm{and} \ \alpha=1 the equality \widetilde{f_{\alpha}}(x)=f(x) is hold.

Remark

Remark 2

WOVB

For practical application, instead of \widetilde{f_{\alpha}}(x) it is convenient to introduced N-term \alpha-parameterized approximation of the function \widetilde{f_{\alpha}}(x) which we shall define as

\begin{aligned} \widetilde{f}_{\alpha,N}(x):=E_{\alpha,N}(D_{\alpha}(f)):=\sum_{k=0}^{N}D(f,\alpha;k)(x-x_{\alpha})^{k} \end{aligned}
Used by Proof
Theorem

Theorem 1

QPO6

If f(x) is constant function then \widetilde{f_{\alpha}}(x)=f(x) and \widetilde{f}_{\alpha,N}(x)=f(x) for each N.

Proof of Theorem 1

The proof is immediate from Definition 1 and Remark 2.

Theorem

Theorem 2

JXQB

If f(x)=c g(x), c \in \mathbb{R}, then D_{\alpha}(f)=c D_{\alpha}(g) \ \textrm{and} \ \widetilde{f_{\alpha}}(x)=c \widetilde{g_{\alpha}}(x).

Proof of Theorem 2

By applying the well-known properties of classical DTM we get

\begin{aligned} D(f,\alpha;k)&=\alpha D_{a}(f;k) +(1-\alpha) D_{b}(f;k)\\&=\alpha c D_{a}(g;k)+(1-\alpha)c D_{b}(g;k) \\&=c(\alpha D_{a}(g;k)+(1-\alpha) D_{b}(g;k))\\&=c D(g,\alpha;k) \end{aligned}

Consequently D_{\alpha}(f)=c D_{\alpha}(g), from which immediately follows that \widetilde{f_{\alpha}}(x)=c \widetilde{g_{\alpha}}(x).

Theorem

Theorem 3

GQV4

If f(x)=g(x)\pm h(x) then D_{\alpha}(f)=D_{\alpha}(g)\pm D_{\alpha}(h) \ \textrm{and} \ \widetilde{f_{\alpha}}(x)= \widetilde{g_{\alpha}}(x)\pm \widetilde{h}_{\alpha}(x).

Proof of Theorem 3

By using the definition of transform (?)

\begin{aligned} D(f,\alpha;k)&=\alpha D_{a}(f;k)\pm(1-\alpha) D_{b}(f;k)\\&=\alpha D_{a}(g+h;k)\pm(1-\alpha) D_{b}(g+h;k)\\&= D(g,\alpha;k)\pm D(h,\alpha;k) \end{aligned}

Consequently D_{\alpha}(f)=D_{\alpha}(g)\pm D_{\alpha}(h), from which immediately follows that \widetilde{f_{\alpha}}(x)= \widetilde{g}_{\alpha}(x)\pm \widetilde{h}_{\alpha}(x).

Theorem

Theorem 4

4QMS

Let f(x)=\frac{d^{m}g}{dx^{m}} and m\in\mathbb{N}. Then

D(f^{(m)},\alpha;k)=\frac{(k+m)!}{k!}D(f,\alpha;k+m)

and

\widetilde{f}_{\alpha}^{(m)}(x)=\sum\limits_{k=0}^{\infty}\frac{(k+m)!}{k!}D(f,\alpha;k+m)(x-x_{\alpha})^{k}

where x_{\alpha}=\alpha a+(1-\alpha)b.

Proof of Theorem 4

We have from definition (?)

\begin{aligned} D(f^{(m)},\alpha;k)&=\alpha D_{a}(f^{(m)};k)+(1-\alpha) D_{b}(f^{(m)};k)\\&=\alpha (k+1)(k+2)...(k+m) D_{a}(f;k+m)\\&+&(1-\alpha)(k+1)(k+2)...(k+m) D_{b}(f;k+m)\\&=(k+1)(k+2)...(k+m)(\alpha D_{a}(f;k)+(1-\alpha)D_{b}(f;k+m))\\&=\frac{(k+m)!}{k!}D(f,\alpha;k+m) \end{aligned}

Thus we get D(f^{(m)},\alpha;k)=\frac{(k+m)!}{k!}D(f,\alpha;k+m). Using this we find \widetilde{f}_{\alpha}^{(m)}(x)=\sum\limits_{k=0}^{\infty}\frac{(k+m)!}{k!}D(f,\alpha;k+m)(x-x_{\alpha})^{k}.

Theorem

Theorem 5

AEDD

Let f(x)=x^{m}, m\in\mathbb{N}. Then

D(f,\alpha;k)=\left\{ \begin{array}{c} \left( \begin{array}{c} m \\ k \\ \end{array} \right)(\alpha a^{m-k}+(1-\alpha)b^{m-k}) \ \ for \ k<m \\ 1 \ \ \ \ for \ \ \ \ k=m\\ 0 \ \ \ \ for \ \ k> m \end{array} \right.
Proof of Theorem 5

Let k<m. By using the definition of the transform (?) we have

\begin{aligned} D(f,\alpha;k)&=\alpha D_{a}(f;k)+(1-\alpha) D_{b}(f;k)\\&=\alpha D_{a}(x^{(m)};k)+(1-\alpha) D_{b}(x^{(m)};k)\\&=\left( \begin{array}{c} m \\ k \\ \end{array} \right)(\alpha a^{(m-k)}+(1-\alpha)b^{(m-k)}) \end{aligned}

The equalities \ D(x^{m},\alpha;m)=1 and \ D(x^{m},\alpha;m+s)=0 for s\geq1 is obvious.

Theorem

Theorem 6

POD3

If f(x)=g(x) h(x) then D(f,\alpha;k)=\sum\limits_{m=0}^{k}[\alpha D_{a}(g;m)D_{a}(h;k-m)+(1-\alpha)D_{b}(g;m)D_{b}(h;k-m)]

Proof of Theorem 6

By using the definition of transform given in Eq. (?) we have

\begin{aligned} D(f,\alpha;k)&=\alpha D_{a}(f;k)+m(1-\alpha) D_{b}(f;k)\\&=\alpha D_{a}(gh;k)+(1-\alpha) D_{b}(gh;k)\\&=\frac{\alpha}{k!}\sum\limits_{m=0}^{k} \left( \begin{array}{c} k \\ m \\ \end{array} \right)g^{(m)}(a)h^{(k-m)}(a)+\frac{(1-\alpha)}{k!}\sum\limits_{m=0}^{k} \left( \begin{array}{c} k \\ m \\ \end{array} \right)g^{(m)}(b)h^{(k-m)}(b)\\&=\sum\limits_{m=0}^{k}[\alpha D_{a}(g;m)D_{a}(h;k-m)+(1-\alpha)D_{b}(g;m)D_{b}(h;k-m)]. \end{aligned}
Example

Example 1

IOWB

(Application to boundary-value problem) Let us consider the differential equation

\begin{aligned} \ell y:= y''(x)+\mu^{2}y(x)=0, \ \ \ \ x \in [0,1], \ \ \mu \in \mathbb{R}. \end{aligned}

with the boundary conditions

\begin{aligned} y(0)=0, \ \ \ y(1)=1. \end{aligned}

Exact solution for this problem is

\begin{aligned} y(x) =\frac{\sin\mu x}{\sin\mu}. \end{aligned}
Example

Example 2

32CZ

(Application to eigenvalue problems)We consider the following eigenvalue problem

\begin{aligned} y''+\lambda y=0, \ \ \ \ x \in [0,1] \end{aligned}
\begin{aligned} A_{11} y(0)+A_{12} y'(0)=0 \\ A_{21} y(1)+A_{22} y'(1)=0 \end{aligned}

Taking the \alpha-p differential transform of both sides (2) we find

\begin{aligned} D(y''+\lambda y,\alpha;k)=(k+1)(k+2)D(y,\alpha;k+2)+\lambda D(y,\alpha;k)=0. \end{aligned}

Thus the following recurrence relation is obtained

\begin{aligned} D(y,\alpha;k+2)=-\frac{\lambda D(y,\alpha;k)}{ (k+1)(k+2)}. \end{aligned}

Using definition of \alpha-p differential transform we get

\begin{aligned} \widetilde{y}_{\alpha}(x)=\sum_{k=0}^{\infty}D(y,\alpha;k)(x-x_{\alpha})^{k} \\ \widetilde{y'}_{\alpha}(x)=\sum_{k=0}^{\infty}k D(y,\alpha;k)(x-x_{\alpha})^{k-1} \end{aligned}

Consuquently

\begin{aligned} \widetilde{y}_{\alpha}(0)=\sum_{k=0}^{\infty}D(y,\alpha;k)(\alpha-1)^{k}=\sum_{k=0}^{\infty}(-1)^{k}D(y,\alpha;k)(1-\alpha)^{k} \\ \widetilde{y'}_{\alpha}(0)=\sum_{k=0}^{\infty}k D(y,\alpha;k)(\alpha-1)^{k-1}=\sum_{k=0}^{\infty}(-1)^{k}k D(y,\alpha;k)(1-\alpha)^{k-1} \end{aligned}

Thus the boundary condition given in (2) can be transformed as follows

\begin{aligned} A_{11} \widetilde{y}_{\alpha}(0)+A_{12} \widetilde{y'}_{\alpha}(0) =\sum_{k=0}^{\infty}( A_{11}(\alpha-1)^{k}+k A_{12}(\alpha-1)^{k-1})D(y,\alpha;k)=0 \end{aligned}

Similarly we have

\begin{aligned} \widetilde{y}_{\alpha}(1)=\sum_{k=0}^{\infty}D(y,\alpha;k)\alpha^{k} \end{aligned}

and

\begin{aligned} \widetilde{y'}_{\alpha}(1)=\sum_{k=0}^{\infty}k D(y,\alpha;k)\alpha^{k-1} \end{aligned}

In this case the boundary condition given in (2) can be written as follows

\begin{aligned} A_{21} \widetilde{y}_{\alpha}(1)+A_{22} \widetilde{y'}_{\alpha}(1) =\sum_{k=0}^{\infty}( A_{21}\alpha^{k}+k A_{22}\alpha^{k-1})D(y,\alpha;k)=0 \end{aligned}

Let D(y,\alpha;0)=A \ \ \ \textrm{and} \ \ \ D(y,\alpha;1)=B. Substituting these values in (2) we have the following recursive procedure

\begin{aligned} D(y,\alpha;k)=\left\{ \begin{array}{ll} \frac{A(-\lambda)^{\ell}}{(2\ell!)}, \ \textrm{ for} \ k=2\ell \\ \frac{B(-\lambda)^{\ell}}{(2\ell+1)!}, \ \textrm{for} \ k=2\ell+1 \end{array} \right. \end{aligned}

Substituting (2) in (2)and (2) we find

\begin{aligned} &&A\{\sum_{\ell=0}^{\infty}( A_{11}(\alpha-1)^{2\ell}+2\ell A_{12}(\alpha-1)^{2\ell-1})\frac{(-\lambda)^{\ell}}{(2\ell)!}\}\\&+&B\{\sum_{\ell=0}^{\infty}( A_{11}(\alpha-1)^{2\ell+1}+(2\ell+1) A_{12}(\alpha-1)^{2\ell})\frac{(-\lambda)^{\ell}}{(2\ell+1)!}\}=0 \end{aligned}

and

\begin{aligned} && A\{\sum_{\ell=0}^{\infty}( A_{21}\alpha^{2\ell}+2\ell A_{22}\alpha^{2\ell-1})\frac{(-\lambda)^{\ell}}{(2\ell)!}\}\\&+&B\{\sum_{\ell=0}^{\infty}( A_{21}\alpha^{2\ell+1}+(2\ell+1) A_{22}\alpha^{2\ell})\frac{(-\lambda)^{\ell}}{(2\ell+1)!}\}=0. \end{aligned}

respectively. In this case we have a linear system of the equations with respect to the variables A and B as

\begin{aligned} AP_{11}(\lambda)+B P_{12}(\lambda)=0 \\ A P_{21}(\lambda)+B P_{22}(\lambda)=0 \end{aligned}

where P_{11}(\lambda):=\sum_{\ell=0}^{\infty}( A_{11}(\alpha-1)^{2\ell}+2\ell A_{12}(\alpha-1)^{2\ell-1})\frac{(-\lambda)^{\ell}}{(2\ell)!}, P_{12}(\lambda):=\sum_{\ell=0}^{\infty}( A_{11}(\alpha-1)^{2\ell+1}+(2\ell+1) A_{12}(\alpha-1)^{2\ell})\frac{(-\lambda)^{\ell}}{(2\ell+1)!}, P_{21}(\lambda):=\sum_{\ell=0}^{\infty}( A_{21}\alpha^{2\ell}+2\ell A_{22}\alpha^{2\ell-1})\frac{(-\lambda)^{\ell}}{(2\ell)!} and P_{22}(\lambda):=\sum_{\ell=0}^{\infty}( A_{21}\alpha^{2\ell+1}+(2\ell+1) A_{22}\alpha^{2\ell})\frac{(-\lambda)^{\ell}}{(2\ell+1)!}. Since the system (2)-(2) has a nontrivial solution for A and B the characteristic determinant is zero i.e.

P(\lambda)=\left| \begin{array}{cc} P_{11}(\lambda) & P_{12}(\lambda) \\ P_{21}(\lambda) & P_{22}(\lambda) \\ \end{array} \right|=0.

Thus we have characteristic equation for eigenvalues by \alpha-p DTM Now, let us find the exact eigenvalues and eigenfunctions of the Sturm-Liouville problem (2)-(2). The general solution of equation (2) have the form

\begin{aligned} y(x)=C\cos \mu x+ D\sin \mu x \end{aligned}

where \lambda=\mu^{2} and C, D are arbitrary constants. Applying the boundary conditions (2), (2) we get

\begin{aligned} &&A_{11} C+\mu A_{12} D=0 \\ && (A_{21}\cos -\mu A_{22}\sin \mu)C+(A_{21}\cos -\mu A_{22}\sin \mu)D=0 \end{aligned}

Because we cannot have C=D=0, this implies

\begin{aligned} (A_{11}A_{21}+\mu^{2} A_{12}A_{22})\sin \mu-\mu(A_{12}A_{21}- A_{11}A_{22})\cos \mu=0. \end{aligned}

This is transcendental equation which is solved graphically. Let \mu=\mu_n, n\in \mathbb{N} are points of intersection of the graphs of the functions

\begin{aligned} &&y=(A_{11}A_{21}+\mu^{2} A_{12}A_{22})\sin \mu \ \ \ \textrm{and} \\ &&y=\mu(A_{12}A_{21}- A_{11}A_{22})\cos \mu \end{aligned}

The eigenvalues and corresponding eigenfunctions are therefore given by

\begin{aligned} \lambda_n=\mu_{n}^{2} \ \ \textrm{and} \ \ y_n(x)=C_n\cos \mu_n x+ D_n\sin \mu_n x, \ n\in \mathbb{N}. \end{aligned}

Now we consider special case of the Sturm-Liouville problem (2)-(2),

\begin{aligned} &&y''+\lambda y=0 \\ &&y(0)+y'(0)=0 \\ &&y(1)-y'(1)=0. \end{aligned}

The eigenvalues of this problem are determined by the equation

\begin{aligned} \tan \mu=\frac{2\mu}{1-\mu^{2}}. \end{aligned}

This equation can be solved graphically by the points of intersections of the graphs of functions

\begin{aligned} y=\tan \mu \ \ \textrm{and} \ \ y=\frac{2\mu}{1-\mu^{2}} \end{aligned}

as shown by the sequence (\mu_n) in Figure 1.

The paper has a figure here, which this page does not show.

The eigenvalues of the considered problem are given by \lambda_n=\mu_{n}^{2} and corresponding eigenfunctions are given by

\begin{aligned} y_n(x)=C_n\cos \mu_n x+ D_n\sin \mu_n x, \ n\in \mathbb{N}. \end{aligned}

Taking the \alpha-p differential transform of both sides the equation (2) the following recurrence relation is obtained

\begin{aligned} D(y,\alpha;k+2)=-\frac{\lambda D(y,\alpha;k)}{ (k+1)(k+2)}. \end{aligned}

Applying N-term \alpha-p differential transform the boundary conditions (2)-(2) are transformed as follows:

\begin{aligned} && \widetilde{y}_{\alpha}(0)+ \widetilde{y'}_{\alpha}(0) =\sum_{k=0}^{N}((\alpha-1)^{k}+k (\alpha-1)^{k-1})D(y,\alpha;k)=0 \\ &&\widetilde{y}_{\alpha}(1)-\widetilde{y'}_{\alpha}(1) =\sum_{k=0}^{N}( \alpha^{k}-k\alpha^{k-1})D(y,\alpha;k)=0 \end{aligned}

By using (2), (2) and (2) we obtain the following equalities (for N=6)

\begin{aligned} && A\bigg[1+((\alpha-1)^{2}+2(\alpha-1))\frac{(-\lambda)}{2!}+((\alpha-1)^{4}+4(\alpha-1)^{3})\frac{\lambda^{2}}{4!}\\&+& ((\alpha-1)^{6}+6(\alpha-1)^{5})\frac{(-\lambda^{3})}{6!}\bigg]+B\bigg[\alpha+((\alpha-1)^{3}+3(\alpha-1)^{2})\frac{(-\lambda)}{3!}\\ &+&((\alpha-1)^{5}+5(\alpha-1)^{4})\frac{\lambda^{2}}{5!}\bigg]=0 \end{aligned}

and

\begin{aligned} && A\bigg[1+(\alpha^{2}-2\alpha)\frac{(-\lambda)}{2!}+(\alpha^{4}-4\alpha^{3})\frac{\lambda^{2}}{4!}+ (\alpha^{6}-6\alpha^{5})\frac{(-\lambda^{3})}{6!}\bigg]\\&+&B\bigg[(\alpha-1)+(\alpha^{3}-3\alpha^{2})\frac{(-\lambda)}{3!}+(\alpha^{5}-5\alpha^{4})\frac{\lambda^{2}}{5!}\bigg]=0 \end{aligned}

Source and licence

The text on this page is from arXiv:1507.03803v1 by K. Aydemir and O. Sh. Mukhtarov, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1507/1507.03803.jsonl.