zoukankan      html  css  js  c++  java
  • 具体数学-第4课(多重求和方法)

    原文链接:

    具体数学-第4课 - WeiYang Blog

    今天讲了多重求和,也就是一个和式由多个下标来指定。

    首先是最简单的形式:
    sumlimits_{1 le j,k le n} { {a_j}{b_k}} = (sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {a_k}} )

    例题1

    下面给出一个对称矩阵:
    A(i,j) = {a_i}{a_j}
    求:
    S = sumlimits_{1 le j le k le n} { {a_j}{a_k}}
    这是这个矩阵的上三角加对角线求和,因为是对称的嘛,可以补全下三角,加上对角线就行了。
    2S = sumlimits_{1 le j,k le n} { {a_j}{a_k}} + sumlimits_{1 le j = k le n} { {a_j}{a_k}} = {(sumlimits_{1 le k le n} { {a_k}} )^2} + sumlimits_{1 le k le n}^{} { {a_k}^2}
    所以
    S = frac{1}{2}({(sumlimits_{1 le k le n} { {a_k}} )^2} + sumlimits_{1 le k le n}^{} { {a_k}^2} )

    例题2

    下面再看一个例子:
    S = sumlimits_{1 le j < k le n} {({a_j} - {a_k})({b_j} - {b_k})}
    同样模仿上例调换 j,k 位置,得到:
    egin{array}{l}2S = sumlimits_{1 le j,k le n} {({a_j} - {a_k})({b_j} - {b_k})} - sumlimits_{1 le j = k le n} {({a_j} - {a_k})({b_j} - {b_k})} \ = sumlimits_{1 le j,k le n} {({a_j}{b_j} - {a_j}{b_k} - {a_k}{b_j} + {a_k}{b_k})} \ = 2sumlimits_{1 le j,k le n} { {a_j}{b_j}} - 2sumlimits_{1 le j,k le n} { {a_j}{b_k}} \ = 2nsumlimits_{1 le j le n} { {a_j}{b_j}} - 2(sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {b_k}} )end{array}
    所以
    S = nsumlimits_{1 le j le n} { {a_j}{b_j}} - (sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {b_k}} )
    至此解完,然后可以推出一个著名的不等式————切比雪夫不等式:
    (sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {b_k}} ) = nsumlimits_{1 le j le n} { {a_j}{b_j}} - sumlimits_{1 le j < k le n} {({a_j} - {a_k})({b_j} - {b_k})}
    如果
    {a_1} le {a_2} le cdots le {a_n},{b_1} le {b_2} le cdots le {b_n}
    那么
    (sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {b_k}} ) le nsumlimits_{1 le j le n} { {a_j}{b_j}}
    反之如果
    {a_1} le {a_2} le cdots le {a_n},{b_1} ge {b_2} ge cdots ge {b_n}
    那么
    (sumlimits_{1 le j le n} { {a_j}} )(sumlimits_{1 le k le n} { {b_k}} ) ge nsumlimits_{1 le j le n} { {a_j}{b_j}}
    更一般的结论,给定两个序列 ab ,求下面式子最大值与最小值:
    sumlimits_{k = 1}^n { {a_k}{b_{p(k)}}}
    其中 p(k){ 1,2, cdots ,n} 的一个排列。
    答案是 b 增序最大,降序最小,至于为什么,下面给出两种证明方法。

    方法1

    v2-bbebf434fad9c9064374f39e4280be8e_b.jpg

    如上图所示, ab 按照递增顺序排列,每个方格的面积代表 a_ib_i 的乘积,记为 s_{ij}
    那么上面的求和式其实就是每一行每一列都必须有且只有一块被取。
    考虑第一行,如果不取 s_{11} ,取其他的 s_{1j} ,那么第一列也只能取其他的 s_{i1} ,这样的话 s_{ij} 也就取不了了。但是发现
    s_{11}+s_{ij} ge s_{i1}+s_{1j}
    并且两种取法影响的行和列都是相同的,这说明了,取 s_{i1}s_{1j} 不如取 s_{11}s_{ij} 。所以 s_{11} 必取,然后第一行第一列就不能取了。剩下的方阵用相同的方法可以得出必取 s_{22}, cdots ,s_{nn} ,也就是主对角线。
    同理最小取法用副对角线可以推出。

    方法2

    设数列 ab 非单调递减,那么有如下证明:
    egin{array}{l}{S_k} = sumlimits_{i = 1}^k { {b_i}} ,{ {S'}_k} = sumlimits_{i = 1}^k { {b_{p(i)}}} \ Rightarrow {S_k} le { {S'}_k}\ Rightarrow \sumlimits_{i = 1}^n { {a_i}{b_i}} = {S_1}{a_1} - {S_1}{a_2} + {S_2}{a_2} - {S_2}{a_3} + cdots + {S_n}{a_n}\ = sumlimits_{i = 1}^{n - 1} { {S_i}} ({a_i} - {a_{i + 1}}) + {S_n}{a_n}\ ge sumlimits_{i = 1}^{n - 1} { { {S'}_i}} ({a_i} - {a_{i + 1}}) + {S_n}{a_n}\ = sumlimits_{i = 1}^n { {a_i}{b_{p(i)}}} end{array}
    反之亦证。

    题外话,其实切比雪夫不等式原来是以微积分形式给出的:
    如果函数 f(x)g(x) 非单调递减,那么有:
    (int_a^b {f(x)dx} )(int_a^b {g(x)dx} ) le (b - a)(int_a^b {f(x)g(x)dx} )

    例题3


    S = sumlimits_{1 le j < k le n} {frac{1}{ {k - j}}}
    我将用三种方法来求解这个式子。

    方法1

    首先将 jk 分开,首先计算对 j 求和:
    egin{array}{l}S = sumlimits_{1 le k le n} {sumlimits_{1 le j < k} {frac{1}{ {k - j}}} } \ = sumlimits_{1 le k le n} {sumlimits_{1 le k - j < k} {frac{1}{j}} } \ = sumlimits_{1 le k le n} {sumlimits_{0 < j le k - 1} {frac{1}{j}} } \ = sumlimits_{1 le k le n} { {H_{k - 1}}} \ = sumlimits_{0 le k < n} { {H_k}} end{array}

    方法2

    先计算对 k 求和:
    egin{array}{l}S = sumlimits_{1 le j le n} {sumlimits_{j < k le n} {frac{1}{ {k - j}}} } \ = sumlimits_{1 le j le n} {sumlimits_{j < k + j le n} {frac{1}{k}} } \ = sumlimits_{1 le j le n} {sumlimits_{0 < k le n - j} {frac{1}{k}} } \ = sumlimits_{1 le j le n} { {H_{n - j}}} \ = sumlimits_{0 le j < n} { {H_j}} end{array}

    方法3

    按对角线求和:
    egin{array}{l}S = sumlimits_{1 le j < k le n} {frac{1}{ {k - j}}} \ = sumlimits_{1 le j < k + j le n} {frac{1}{k}} \ = sumlimits_{1 le k le n} {sumlimits_{1 le j le n - k} {frac{1}{k}} } \ = sumlimits_{1 le k le n} {frac{ {n - k}}{k}} \ = nsumlimits_{1 le k le n} {frac{1}{k} - } sumlimits_{1 le k le n} 1 \ = n{H_n} - nend{array}

    由此得到了一个完全不同的表示形式!
    所以我们得到了:
    sumlimits_{0 le j < n} { {H_j}} = n{H_n} - n

  • 相关阅读:
    table表格
    常见页面布局方式(三种框架集)
    学习标签属性3
    学习标签属性2
    学习标签属性1
    Purity in My Programming: Functions in Go
    cron一有趣处
    go函数作为一等民
    LRU算法
    go中的一个网络重连复用
  • 原文地址:https://www.cnblogs.com/godweiyang/p/12203932.html
Copyright © 2011-2022 走看看