previous overview next
P.P. Summary
$
\def \EN {\quad \mbox{and} \quad}
\def \OF {\quad \mbox{or} \quad}
\def \slechts {\quad \Longleftrightarrow \quad}
$
The coefficients of a tri-diagonal matrix, when associated with a 1-D uniform
mesh, exhibit Persistent Properties. By definition, such P.P. are independent
of the grid-spacing, while using a mesh refinement or coarsening procedure.
A (non exhaustive and sometimes redundant) list of Persistent Properties has
been produced below. If appropriate, the coefficients associated with the
coarser grid are indicated with a prime accent $'$.
\begin{eqnarray*}
& a = 0 \\
& b = 0 \\
& \\
& a > 0 \\
& b > 0 \\
& \\
& a = 0 \EN b = 0 \\
& a = 1/2 \EN b = 1/2 \\
& a = 0 \EN b = 1 \\
& a = 1 \EN b = 0 \\
& \\
& a' + b' < a + b < 1 \qquad (*) \\
& a' + b' = a + b = 1 \qquad (*) \\
& a' + b' > a + b > 1 \qquad (*) \\
& \\
& a < b \OF a'/b' < a/b < 1 \\
& a = b \OF a'/b' = a/b = 1 \\
& a > b \OF a'/b' > a/b > 1 \\
& \\
& a'.b' = a.b = 0 \\
& 1 - 4.a.b > 0 \OF a'.b' < a.b < 1/4 \\
& 1 - 4.a.b = 0 \OF a'.b' = a.b = 1/4 \\
& 1 - 4.a.b < 0 \OF a'.b' > a.b > 1/4 \\
& a'.b' = a.b = 1 \\
& \\
& a'.b' = \frac{3}{2} + \frac{\sqrt{5}}{2} \slechts
a .b = \frac{3}{2} - \frac{\sqrt{5}}{2} \\
& a'.b' = \frac{3}{2} - \frac{\sqrt{5}}{2} \slechts
a .b = \frac{3}{2} + \frac{\sqrt{5}}{2} \\
\end{eqnarray*}
Note (*). We didn't actually carry out a complete proof for these statements.
Here comes:
$$
a' + b'= \frac{a^2 + b^2}{1 - 2.a.b} < a + b \slechts
a^2 + b^2 - (a + b)(1 - 2.a.b) < 0 \slechts
$$ $$
a^2 + b^2 + 2.a^2.b + 2.a.b^2 - a - b < 0
\slechts (a + b - 1)(a + b + 2.a.b) < 0
$$ $$
\slechts a + b < 1 \qquad \mbox{because} \quad a + b + 2.a.b > 0
$$
Then replace $<$ by $=$ and $>$ and repeat the sequence of arguments.