summaryrefslogtreecommitdiff
path: root/info/mathtrip/src/finite.tex
blob: 594dbc372bb5a11f67593b19a71536d5942ded38 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
%This macro provides the text about the finite calculus
%on the first horiyontal area of the page 8.

%The macro has one parameter
%      1( The width of the mathematical text
\newcommand\TEightFiniteCalculusA[1]{%
   \deflength{\HSpace}{#1}%
   \parbox[t]{\HSpace}{%
      \TEightSeriesFiniteCalculusFontSize
      \DisplaySpace{\TEightDisplaySpace}{\TEightDisplayShortSpace}

      \TEightTitle{Difference, shift operators:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
         \Fm{\Delta f(x) = f(x+1) - f(x)i}
         \Fm{\E f(x) = f(x+1)}
      \end{DisplayFormulae}

      \TEightTitle{Fundamental Theorem:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
      \Fm{f(x) = \Delta F(x) \Leftrightarrow \sum f(x) \delta x = F(x) + C}
      \Fm{\sum_a^b f(x) \delta x = \sum_{i=a}^{b-1} f(i)}
      \end{DisplayFormulae}

      \TEightTitle{Differences:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
      \Fm{\Delta(c u) = c \Delta u}
      \Fm{\Delta(u + v) = \Delta u + \Delta v}
      \Fm{\Delta(uv) = u\Delta v + \E v \Delta u}
      \Fm{\Delta(x^{\underline n}) = n x^{\underline n - 1}}
      \Fm{\Delta(H_x) = x^{\underline{-1}}}
      \Fm{\Delta(2^x) = 2^x}
      \Fm{\Delta(c^x) = (c-1)c^x}
      \Fm{\Delta\binom{x}{m} = \binom{x}{m-1}.}
      \end{DisplayFormulae}

      \TEightTitle{Sums:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
      \Fm{\sum c u \, \delta x = c \sum u \, \delta x}
      \Fm{\sum (u + v) \, \delta x = \sum u \, \delta x + \sum v \, \delta x}
      \Fm{\sum u \Delta v \, \delta x = uv - \sum\E v \Delta u \, \delta x}
      \Fm{\sum x^{\underline n}\, \delta x = \frac{x^{\underline{n + 1}}}{m + 1}}
      \Fm{\sum x^{\underline{-1}} \, \delta x = H_x}
      \Fm{\sum c^x \, \delta x = {c^x \over c-1}}
      \Fm{\sum \binom{x}{m} \, \delta x = \binom{x}{m+1}}
      \end{DisplayFormulae}

      \TEightTitle{Falling Factorial Powers:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
          \Fm{x^{\underline n} = x(x-1) \cdots (x-n+1), \quad n > 0}
          \Fm{x^{\underline 0} = 1}
          \Fm{x^{\underline n} = \frac{1}{(x+1) \cdots (x+\vert n \vert)}, \quad n < 0}
          \Fm{x^{\underline{n+m}} = x^{\underline m}(x-m)^{\underline n}}
      \end{DisplayFormulae}

      \TEightTitle{Rising Factorial Powers:}
      \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
           \Fm{x^{\overline n} = x(x+1) \cdots (x+n-1), \quad n > 0}
           \Fm{x^{\overline 0} = 1}
           \Fm{x^{\overline n} = \frac{1}{(x-1) \cdots (x-\vert n \vert)}, \quad n < 0}
           \Fm{x^{\overline{n+m}} = x^{\overline m}(x+m)^{\overline n}}
      \end{DisplayFormulae}

       \TEightTitle{Conversion:}
       \AdjustSpace{-2ex plus .5ex minus .5ex}%
       \begin{DisplayFormulae}{1}{\SpaceBeforeFormula}{\TEightBaselineSkipFormulaeB}{\SmallChar}{\StyleWithoutNumber}
           \def\FirstPart{x^{\underline n}=}
           \FmPartA{\FirstPart (-1)^n(-x)^{\overline n}=(x-n+1)^{\overline n}=}
           \FmPartB{\FirstPart}{1/(x+1)^{\overline{-n}}}
           \def\FirstPart{x^{\overline n} =}
           \FmPartA{\FirstPart (-1)^n(-x)^{\underline n}=(x+n-1)^{\underline n}=}
           \FmPartB{\FirstPart}{1/(x-1)^{\underline{-n}}}
           \Fm{x^n = \sum_{k=1}^n \SousEnsemble{n}{k} x^{\underline k}= \sum_{k=1}^n 
               \SousEnsemble{n}{k} (-1)^{n-k} x^{\overline k}}
           \Fm{x^{\underline n} = \sum_{k=1}^n \Cycle{n}{k} (-1)^{n-k} x^k}
           \Fm{x^{\overline n} = \sum_{k=1}^n \Cycle{n}{k} x^k}
       \end{DisplayFormulae}
   }
}