Skip to main content

[Community Question] Calculus: How to solve a two-dimensional recurrence problem involving two unknown sequences?

One of our user asked:

In a mathematical physical problem, one has to deal with a non-trivial two-dimensional recurrence problem involving the two sequences $D_{i,j}$ and $\psi_{i,j}$, where $i,j = 1, 2, \dots, N$. Specifically, \begin{align} 2a \left( \psi_{i+1,i+1}+\psi_{i+1,i-1}-\psi_{i-1,i+1}-\psi_{i-1,i-1} \right) + 16 \left( \psi_{i+1,i} - \psi_{i-1,i} \right) +3a \left( D_{i+1,i+1}+D_{i-1,i+1}+D_{i-1,i-1}+D_{i+1,i-1} \right) -16 \left( D_{i,i+1}+D_{i,i-1} \right) +64 \left( D_{i-1,i} + D_{i+1,i} \right) = 0 \, , \\ -----------------------------------\\ 4(4+a)\psi_{i,i} + 2a \left( \psi_{i+1,i+1}+\psi_{i-1,i+1}+\psi_{i-1,i-1}+\psi_{i+1,i-1} \right) +8 \left( \psi_{i,i+1}+\psi_{i-1,i}+\psi_{i,i-1}+\psi_{i+1,i} \right) +3a \left( D_{i+1,i+1}+D_{i+1,i-1}-D_{i-1,i+1}-D_{i-1,i-1} \right) +24 \left( D_{i+1,i} - D_{i-1,i} \right) = 0 \, . \end{align}

Here, $a > 0$.

For a single unknown sequence the generating function method seems to be often a suitable approach for the recurrence problems. I was wondering whether this can also be applied for the present recurrence at hand to yield expressions for the two unknown sequences.

Any help or hint are very welcome.

Thank you


Comments

Popular posts from this blog

[Community Question] Calculus: Manifold with boundary - finding the boundary

One of our user asked: I have the manifold with boundary $M:= \lbrace (x_1,x_2,x_3) \in \mathbb R^3 : x_1\geq 0, x_1^2+x_2^2+x_3^2=1\rbrace \cup\lbrace (x_1,x_2,x_3) \in \mathbb R^3 : x_1= 0, x_1^2+x_2^2+x_3^2\leq1\rbrace$ and I need to find the boundary of this manifold. I think it is $\lbrace (x_1,x_2,x_3) \in \mathbb R^n : x_1= 0, x_2^2+x_3^2=1\rbrace$ , the other option is that the boundary is the empty set? I think the first is right? Am I wrong?

[Community Question] Linear-algebra: Are linear transformations between infinite dimensional vector spaces always differentiable?

One of our user asked: In class we saw that every linear transformation is differentiable (since there's always a linear approximation for them) and we also saw that a differentiable function must be continuous, so it must be true that all linear operators are continuous, however, I just read that between infinite dimensional vector spaces this is not necessarily true. I would like to know where's the flaw in my reasoning (I suspect that linear transformations between infinite dimensional vector spaces are not always differentiable).

Order of elements of the Prüfer groups $\mathbb{Z}(p^{\infty})$

Let $\mathbb{Z}(p^{\infty})$ be defined by $\mathbb{Z}(p^{\infty}) = \{ \overline{a/b} \in \mathbb{Q}/ \mathbb{Z} / a,b \in \mathbb{Z}, b=p^i$ $ with$ $ i \in \mathbb{N} \}$ , I wish show that any element in $\mathbb{Z}(p^{\infty})$ has order $p^n$ with $n \in \mathbb{N}$ . i try several ways but I have not been successful, some help ?? thank you