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] Linear-algebra: non-negative matrix satisfying two conditions

One of our user asked: A real matrix $B$ is called non-negative if every entry is non-negative. We will denote this by $B\ge 0$ . I want to find a non-negative matrix $B$ satisfying the following two conditions: (1) $(I-B)^{-1}$ exists but not non-negative. Here $I$ is the identity matrix. (2) There is a non-zero and non-negative vector $\vec{d}$ such that $(I-B)^{-1}\vec{d}\ge 0$ . I tried all the $2\times 2$ matrices, but it did not work. I conjecture that such a $B$ does not exist, but don't know how to prove it.

[Community Question] Geometry: The limit about the line connecting the intersection of a circle and the $y$-axis and the intersection of the shrinking circle and a fixed circle

One of our user asked: There is a fixed circle $C_1$ with equation $(x - 1)^2 + y^2 = 1$ and a shrinking circle $C_2$ with radius $r$ and center the origin. $P$ is the point $(0, r)$ , $Q$ is the upper point of intersection of the two circles, and $R$ is the point of intersection of the line $PQ$ and the $x$ -axis. What happens to $R$ as $C_2$ shrinks, that is, as $r \to 0^+$ ? (The figure is made with GeoGebra ) In order to solve this problem, I made a script using GeoGebra in which the circle $C_2$ is a dynamic one whose radius $r$ can be adjusted with a slider. As I set $r \to 0^+$ , the figure seems to suggest that $R \to (4,0)$ . In particular, this is the state with $r = 0.001$ , in which $R$ is reported to be $(3.9999997523053,0)$ : However, I would like to find out a way to prove (or disprove, though unlikely) my guess that $$\lim_{r \to 0} R = (4,0).$$ But I have little idea. Any help would be appreciated.

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