Как найти сумму ряда с факториалом

Длброго времени суток, посмотрите, пожалуйста, верно ли я решил задачу:

Найти сумму ряда:
[math]sumlimits_{0}^{ infty} (-1)^k frac{(k+1)^2}{k!}[/math]

Ну что ясно, этот ряд сходится, т.к.по признаку Лейбница, т.к. [math]lim_{k to infty} frac{(k+1)^2}{k!} = 0[/math]
Ряд сходится абсолютно, т.к.
[math]lim_{k to infty}frac{(k+2)^2 k!}{(k+1)! (k+1)^2} =frac{(k+2)^2}{(k+1)^3} = 0[/math]

Дальше, расскроем скобки

[math]sumlimits_{0}^{ infty} (-1)^k frac{(k+1)^2}{k!} = sumlimits_{0}^{ infty} (-1)^k frac{(k^2 + 2k +1)}{k!}[/math]
Можно разделить данный ряд на 3 ряда
[math]sumlimits_{0}^{infty}(-1)^k frac{k^2}{k!}[/math]

[math]sumlimits_{0}^{infty} (-1)^k frac{2k}{k!}[/math]

[math]sumlimits_{0}^{infty} (-1)^k frac{1}{k!}[/math]

Начнем с последнего ряда. Найдем его сумму:

[math]S_3 = sumlimits_{0}^{infty} frac{(-1)^k}{k!} =e^{-1}[/math]

Теперь втрой ряд

[math]S_2 = sumlimits_{0}^{infty} (-1)^k frac{2k}{k!} = 2(0+sumlimits_{1}^{infty} (-1)^k frac{k}{k!})=2sumlimits_{1}^{infty} (-1)^k frac{1}{(k-1)!})=-2sumlimits_{0}^{infty}frac{(-1)^{k}}{k!} = -2e^{-1}[/math]

И первый ряд:

[math]S_1 =
sumlimits_{0}^{infty}(-1)^k frac{k^2}{k!} =
0 + sumlimits_{1}^{infty}(-1)^k frac{k^2}{k!} =
sumlimits_{1}^{infty}(-1)^k frac{k}{(k-1)!} =
sumlimits_{1}^{infty}(-1)^k frac{(k-1) + 1}{(k-1)!}=
sumlimits_{1}^{infty}(-1)^k frac{k-1}{(k-1)!} + sumlimits_{1}^{infty}(-1)^k frac{1}{(k-1)!} = S_4 + S_5[/math]

[math]S_4 =sumlimits_{1}^{infty}(-1)^k frac{k-1}{(k-1)!} = 0 +sumlimits_{2}^{infty}(-1)^k frac{1}{(k-2)!} =
sumlimits_{0}^{infty} frac{(-1)^k}{(k)!} = e^{-1}[/math]

[math]S_5 =sumlimits_{1}^{infty}(-1)^k frac{1}{(k-1)!} = -sumlimits_{0}^{infty} frac{(-1)^k}{(k-1)!} = e^{-1}[/math]

И так, сумма нашего ряда выходит:
[math]S = S_1+S_2+S_3 = S_1+S_2+S_4+S_5 = e^{-1}[/math]

 

Сумма ряда с факториалами

Сообщение24.01.2016, 13:20 


24/01/16
2

Профиль  

Otta 

Re: Сумма ряда с факториалами

Сообщение24.01.2016, 13:25 

Заслуженный участник


09/05/13
18/06/23
8903

Добавить и вычесть единицу, например. И вспоминать, чему равна сумма “главного” 🙂 ряда с факториалом в знаменателе.

Профиль  

iifat 

 Re: Сумма ряда с факториалами

Сообщение24.01.2016, 13:30 

Заслуженный участник


16/02/13
3979
Владивосток

Профиль  

InfiniteBum 

 Re: Сумма ряда с факториалами

Сообщение24.01.2016, 13:39 


24/01/16
2

И вспоминать, чему равна сумма “главного” 🙂 ряда с факториалом в знаменателе.

Подразумевается равенство
$$sumlimits_{n=0}^{infty}frac{1}{n!}==e$$
?

Профиль  

Otta 

Re: Сумма ряда с факториалами

Сообщение24.01.2016, 13:42 

Заслуженный участник


09/05/13
18/06/23
8903

Профиль  

Модераторы: Модераторы Математики, Супермодераторы

    Формулы и уравнения рядов

  • Числовые ряды
  • Функциональные ряды
  • Тригонометрические ряды. Ряд Фурье

Примеры решения рядов здесь.

Числовые ряды

Факториал и двойные факториалы:

n{!}=1*2...(n-1)*n,

(2n){!!}=2*4*...*2*n,

(2n-1){!!}=1*3*5*...*(2*n-1),

n{!}=sqrt{2*{pi}*n}*(n/e)^n — формула Стирлинга.

Геометрическая прогрессия:

b_n=b_1*q^{n-1},~S_n={b_1*(1-q^n)}/{1-q},~S={b_1}/{1-q}, |q|<1.

Основные определения и теоремы о рядах:

{un} — заданная бесконечная числовая последовательность,

sum{n=1}{infty}{u_n}=u_1+u_2+...+u_n+...числовой ряд,
unчлены ряда,
S_1=u_1,~S_2=u_1+u+2,~...,~S_n=u_1+u_2+...+u_nчастичные суммы ряда.

Сумма ряда:

{exists}S=lim{n{right}infty}{S_n} sum{n=1}{infty}{u_n} сходится, Sсумма ряда.

S_n{right}infty или overline{exists}S ряд сходится и суммы нет.

Отбрасывание конечного числа членов ряда не влияет на его сходимость (но влияет на сумму).

Свойства сходящихся рядов:

{exists}sum{n=1}{infty}{u_n}=S~doubleright~sum{n=1}{infty}{Cu_n}=CS

{exists}sum{n=1}{infty}{a_n}=A,~sum{n=1}{infty}{b_n}=B~doubleright~sum{n=1}{infty}{a_n+b_n}=A{pm}B.

    Теоремы сравнения рядов с положительными членами:
    sum{n=1}{infty}{u_n},~{u_n} ≥ 0, sum{n=1}{infty}{v_n},~{v_n} ≥ 0.

  1. u_nv_n
    Если sum{n=1}{infty}{v_n} сходится, то sum{n=1}{infty}{u_n} сходится;
    если sum{n=1}{infty}{u_n} расходится, то sum{n=1}{infty}{v_n} расходится.
  2. lim{n{right}infty}{{u_n}/{v_n}}=k, vn ≠ 0, 0 < k < ∞.
    Либо и sum{n=1}{infty}{u_n}, и sum{n=1}{infty}{v_n} сходятся,
    либо и sum{n=1}{infty}{u_n}, и sum{n=1}{infty}{v_n} расходятся.
    Достаточные признаки сходимости числовых рядов с положительными членами (un > 0)

  • Признак Даламбера
    Если существует lim{n{right}infty}{{u_{n+1}}/{u_n}}=l, то sum{n=1}{infty}{u_n}: сходится, если l < 1; расходится, если l > 1; признак не дает ответа, если l = 0.
  • Признак Коши
    Если существует lim{n{right}infty}{root{n}{u_n}}=l, то sum{n=1}{infty}{u_n}: сходится, если l < 1; расходится, если l > 1; признак не дает ответа, если l = 0.
  • Интегральный признак сходимости
    1) un > 0; 2) unun+1; 3) f(x) — непрерывная невозрастающая функция, f(n) = un.
    Либо и sum{n=1}{infty}{u_n}, и int{1}{infty}{f(x)dx} сходятся,
    либо и sum{n=1}{infty}{u_n}, и int{1}{infty}{f(x)dx} расходятся.
    Примеры числовых рядов

  1. sum{n=1}{infty}{1/{n_a}}: сходится, если a > 1; расходится, если a ≤ 1.
  2. sum{n=1}{infty}{{a^n}/n}: сходится, если a < 1; расходится, если a ≥ 1.
  3. sum{n=1}{infty}{1/{n(n+1)}=1}: сходится.
  4. sum{n=0}{infty}{aq^n}=a/{1-q}: сходятся, |q| < 1; расходятся, |q| ≥ 1.
  5. sum{n=1}{infty}{1/{n{!}}},: сходится; sum{n=0}{infty}{1/{n{!}}}=e.
  6. sum{n=1}{infty}{1/{{n}ln^{a}{n}}}: сходится, если a > 1; расходится, если a ≤ 1.
  7. sum{n=1}{infty}{1/{2^{n}{n}}}=ln{2}.
  8. sum{n=1}{infty}{{(-1)^{n-1}}/n}=ln{2}: сходится условно.
  9. sum{n=1}{infty}{{(-1)^{n-1}}/{n^2}}={{pi}^2}/12: сходится абсолютно.
  10. sum{n=1}{infty}{{(-1)^{n}}/{n{!}}}=1/e: сходится абсолютно.

Функциональные ряды

Функциональный ряд – сумма вида sum{n=1}{infty}{f_n(x)},~f_n(x),~n~{in}~N,~x~{in}~D.

При x=x_0~{in}~D из функционального ряда получается числовой ряд sum{n=1}{infty}{f_n(x_0)}.

Если для x_0~{in}~D числовой ряд сходится, то точка x_0 называется точкой сходимости функционального ряда. Если в каждой точке x~{in}~D_1~{subset}~D числовые ряды сходятся, то функциональный ряд называется сходящимся в области D_1. Совокупность всех точек сходимости образует область сходимости функционального ряда.

S_k(x)=sum{n=1}{k}{f_n(x)} – частичные суммы ряда. Функциональный ряд сходится к функции f(x), если lim{k{right}{infty}}{S_k(x)}=f(x).

Равномерная сходимость

Функциональный ряд, сходящийся для всех x~{in}~D_1~{subset}~D_1 из области сходимости, называется равномерно сходящимся в этой области, если ∀ε > 0 существует не зависящий от x номер N(ε), такой, что при n > N(ε) выполняется неравенство Rn(x) < ε для всех x из области сходимости, где R_n(x)=sum{k=n+1}{infty}{f_k(x)} — остаток ряда.

Геометрический смысл равномерной сходимости:
Рисунок к теме: Геометрический смысл равномерной сходимости
если окружить график функции y = f(x) «ε-полоской», определяемой соотношением f(x)−ε > y > f(x)+ε, то графики всех частичных сумм Sk(x), начиная с достаточно большого k, ∀x ∈ [a, b] целиком лежат в этой «ε-полоске», окружающей график предельной функции y = f(x).

sum{n=1}{infty}{f_n(x)} — называется мажорируемым в области , если существует такой сходящийся числовой ряд sum{n=1}{infty}{u_n}, un > 0, что для ∀xD fn(x) ≤ un, n = 1, 2, …. Ряд sum{n=1}{infty}{u_n} называется мажорантой ряда sum{n=1}{infty}{f_n(x)}.

Признак Вейерштрасса (признак равномерной сходимости функционального ряда): функциональный ряд сходится равномерно в области сходимости, если он является мажорируемым в этой области.

Степенные ряды:
sum{n=0}{infty}{a_n(x-x_0)^n} — степенной ряд по степеням x-x_0.
При x_0=0~sum{n=0}{infty}{{a_n}{x^n}} – степенной ряд по степеням x.

Область сходимости степенного ряда:
Радиус сходимости, интервал сходимости R, x ∈ (-R, R):
R=1/{lim{n{right}{infty}}{delim{|}{{a_{n+1}}/{a_n}}{|}}}={lim{n{right}{infty}}{delim{|}{{a_n}/{a_{n+1}}}{|}}} или R=1/{lim{n{right}{infty}}{root{n}{delim{|}{a_n}{|}}}}
При |x| < R ряд сходится, при |x| > R – расходится;
в точках x = ±R – дополнительное исследование.

На интервале сходимости ряд sum{n=0}{infty}{{a_n}x^n} сходится абсолютно;
на любом отрезке из интервала сходимости он сходится равномерно.

    Свойства степенных рядов

  1. Степенной ряд sum{n=0}{infty}{{a_n}x^n} сходится равномерно на [−R′, R′]
    R′ < R, его можно почленно дифференцировать и интегрировать в интервале сходимости.
  2. {(sum{n=0}{infty}{{a_n}x^n})}{prime}=sum{n=0}{infty}{{a_n}{(x^n)_x}{prime}}, int{}{}{(sum{n=0}{infty}{{a_n}x^n})dx}=sum{n=0}{infty}{a_n}int{}{}{x^n{dx}}.
  3. Ряды, полученные почленным дифференцированием и интегрированием, имеют тот же интервал сходимости.
    Разложение элементарных функций в степенные ряды
    f(x)=sum{n=0}{infty}{{a_n}x^n}=f(0)+{{f{prime}(0)}/{1{!}}}*x+{{f^{n}(0)}/{n{!}}}*x^n+{cdots}

  1. e^x=1+x+{x^2}/{2{!}}+{cdots}=sum{n=0}{infty}{{x^n}/{n{!}}}, x ∈ (−∞; ∞).
  2. sh{x}={e^x-e^{-x}}/2=x+{x^3}/{3{!}}+{x^5}/{5{!}}+{cdots}+{x^{2n+1}}/{(2n+1){!}}+{cdots}=sum{n=0}{infty}{{x^{2n+1}}/{(2n+1){!}}},
    x ∈ (−∞; ∞).
  3. ch{x}={e^x+e^{-x}}/2=1+{x^2}/{2{!}}+{cdots}+{x^{2n}}/{(2n){!}}+{cdots}=sum{n=0}{infty}{{x^{2n}}/{(2n){!}}}, x ∈ (−∞; ∞).
  4. sin{x}=x-{x^3}/{3{!}}+{x^5}/{5{!}}-{cdots}=sum{n=0}{infty}{{(-1)^n}*{{x^{2n+1}}/{(2n+1){!}}}}, x ∈ (−∞; ∞).
  5. cos{x}=1-{x^2}/{2{!}}+{x^4}/{4{!}}-{x^6}/{6{!}}+{cdots}=sum{n=0}{infty}{{(-1)^n}*{{x^{2n}}/{(2n){!}}}}, x ∈ (−∞; ∞).
  6. ln(1+x)=x-{x^2}/{2{!}}+{x^3}/{3{!}}-{x^4}/{4{!}}+{cdots}=sum{n=0}{infty}{{{{(-1)^{n-1}}/{n+1}}}*x^{n+1}}=
    {}=sum{n=1}{infty}{{{{(-1)^{n-1}}/{n}}}*x^{n}}, x ∈ (−1; 1].
  7. ln(1-x)=-x-{x^2}/{2{!}}-{x^3}/{3{!}}-{x^4}/{4{!}}+{cdots}={-}sum{n=0}{infty}{{{{x^{n+1}}/{n+1}}}}=
    {}={-}sum{n=1}{infty}{{{{x^{n}}/{n}}}}, x ∈ [−1; 1).
  8. ln({1+x}/{1-x})=2*(x+{x^3}/3+{x^5}/5+{x^7}/7+{cdots})=2*sum{n=0}{infty}{{{{x^{2n+1}}/{2n+1}}}},
    x ∈ (−1; 1).
  9. arcsin{x}=x+sum{n=1}{infty}{{{1*3*5{cdots}(2n-1)}/{2*4*6{cdots}(2n-1)}}*{{{x^{2n+1}}/{2n+1}}}}, x ∈ [−1; 1].
  10. arctg{x}=x-{x^3}/{3}+{x^5}/{5}-{cdots}=sum{n=1}{infty}{{(-1)^{n-1}}*{{x^{2n-1}}/{2n-1}}}, x ∈ [−1; 1].
  11. (1+x)^m=1+sum{n=1}{infty}{{{m*(m-1){cdots}(m-n+1)}/{n{!}}}*x^n}, x ∈ (−1; 1).
  12. 1/{1+x}=1-x+x^2-x^3+{cdots}=sum{n=0}{infty}{(-1)^n*x^n}, x ∈ (−1; 1).
  13. 1/{1-x}=1+x+x^2+x^3+{cdots}=sum{n=0}{infty}{x^n}, x ∈ (−1; 1).
  14. sqrt{1+x}=1+{1/2}*x-{1/{2*4}}*x^2+{{1*3}/{2*4*6}}*x^3-{cdots}, x ∈ (−1; 1).
  15. 1/{sqrt{1+x}}=1-{1/2}*x+{{1*3}/{2*4}}*x^2-{{1*3*5}/{2*4*6}}*x^3+{cdots}, x ∈ (−1; 1].

Тригонометрические ряды

Ряд Фурье для функции с произвольным периодом Т=2l, f(x+2l) = f(x):
f(x)={{a_0}/2}+sum{n=1}{infty}{({a_n}*cos{{n*{pi}}/l}*x+{b_n}*sin{{n*{pi}}/l}*x)},
где a_0={1/l}*int{-l}{l}{f(x)dx}, a_n={1/l}*int{-l}{l}{f(x)cos{{n*{pi}}/l}*xdx}, b_n={1/l}*int{-l}{l}{f(x)sin{{n*{pi}}/l}*xdx},

    Разложение в ряд Фурье непериодических функций, заданных на отрезке x ∈ [0; l] или на отрезке x ∈ [-l; l]
    Произвольная функция f(x) задана на отрезке [0; l]; на отрезок [-l; 0] она может быть продолжена произвольным образом:
    {varphi}(x)=delim{[}{matrix{2}{1}{{f(x),~x{in}delim{[}{0;~l}{]}~} {{f_1}(x),~x{in}delim{[}{-l;~0}{]}~}}}{},~{f_1}(x) – некоторая кусочно-монотонная функция.
    Наиболее часто встречающиеся продолжения:

  • f1(x)=f(-x), x ∈ [-l; 0] (четное продолжение)
    f(x)={{a_0}/2}+sum{n=1}{infty}{{a_n}*cos{{n*{pi}*x}/l}},
    где a_n={2/l}*int{0}{l}{f(x)cos{{n*{pi}*x}/l}~dx}, x ∈ [0; l] n = 0, 1, 2,…
  • f1(x) = —f(−x), x ∈ [-l; 0]
    (нечетное продолжение)
    f(x)=sum{n=1}{infty}{{b_n}*sin{{n*{pi}*x}/l}},
    где b_n={2/l}*int{0}{l}{f(x)sin{{n*{pi}*x}/l}~dx}, x ∈ [0; l] n = 1, 2,…
  • На всю действительную ось ϕ(x) продолжается периодически с периодом 2l, ϕ(x) = ϕ(x + 2l). Функция ϕ(x) разлагается в ряд Фурье, причем в точках x = ±l выполняется условие: S(l)={{varphi}(l-0)+{varphi}(l+0)}/2, где {varphi}(l-0)=f(l-0),~{varphi}(l+0)={varphi}({-}l+0)=f({-}l+0), то есть, S(l)={f(l-0)+f({-}l+0)}/2,~S({-}l)=S(l).
    f(l-0)=lim{x{right}l-0}{f(x)} – левый предел f(x) в точке x = l,
    f(l+0)=lim{x{right}l+0}{f(x)} – правый предел f(x) в точке x = l.

$begingroup$

How would you find the sum of the following series.
$frac{k^3+6k^2+11k+5}{(k+3)!}$ as k goes from 1 to infinity

spaceisdarkgreen's user avatar

asked Jan 16, 2017 at 3:56

Nitish's user avatar

$endgroup$

1

$begingroup$

Hint you can see that it can be weitten as $$frac {(k+1)(k+2)(k+3)}{(k+3)!}-frac{1 }{(k+3)!} $$ now thats equal to $frac {1}{k!}-frac {1}{(k+3)!} $ also note that $sum _0 ^infty frac {1}{n!}=e $ thus you can now find the answer

answered Jan 16, 2017 at 5:26

Archis Welankar's user avatar

Archis WelankarArchis Welankar

15.7k7 gold badges31 silver badges61 bronze badges

$endgroup$

$begingroup$

In a general way, for the series $$sum_{n=1}^{+infty}frac{P(n)}{(n+a)!}text{ with }ain mathbb{N} text{ and }Ptext{ polynomial of degree }k,$$ we can express the numerator $$begin{aligned}&P(n)=A_kunderbrace{(n+a)(n+a-1)ldots}_{ktext{ factors}}+A_{k-1}underbrace{(n+a)(n+a-1)ldots}_{k-1text{ factors}}\&+cdots+A_2underbrace{(n+a)(n+a-1)}_{2text{ factors}}+A_1underbrace{(n+a)}_{1text{ factor}}+A_0,end{aligned}$$ symplify, decompose in sum of series and use $e=sum_{m=0}^{+infty}frac{1}{m!}.$

answered Jan 16, 2017 at 5:46

Fernando Revilla's user avatar

$endgroup$

You must log in to answer this question.

Not the answer you’re looking for? Browse other questions tagged

.

Перейти к содержанию

Сумма ряда с факториалом

Просмотров 1.8к. Обновлено 15 октября 2021

Вычислить сумму ряда

    5
s = ∑ (-1) * i * (x / i!)
   i=1
Значение x вводится с клавиатуры.

В данном случае надо найти сумму ряда произведений:
s = (-1) * 1 * (x / 1!) + (-1) * 2 * (x / 2!) + (-1) * 3 * (3 / i!) + (-1) * 4 * (x / 4!) + (-1) * 5 * (x / 5!)

Так как i меняется от 1 до 5, то каждый элемент ряда можно находить в цикле, после этого добавлять к сумме.

Поскольку элемент ряда содержит факториал, то его придется вычислять отдельно для каждого значения i. Это вычисление можно вынести в отдельную функцию.

Таким образом, алгоритм решения задачи сводится к следующему:

  1. Ввести значение x.
  2. Присвоить s 0.
  3. В цикле для i от 1 до 5
    1. получать факториал i,
    2. вычислять значение выражения (-1) * i * (x / i!),
    3. суммировать полученное значение со значением s.
  4. Вывести значение s на экран.

Факториал также вычисляется в цикле. Сначала в переменную записывается 1, затем значение этой переменной в цикле умножается на числа от 2 до i. (В программе ниже — до n, т.к. i используется как счетчик.)

Pascal


var
s: real;
x: integer;
i: byte;
j: longint;

function factorial(n: byte): longint;
var i: byte;
begin
factorial := 1;
for i:=2 to n do
factorial := factorial * i;
end;

begin
readln(x);
s := 0;
for i:=1 to 5 do begin
j := factorial(i);
s := s + ((-1) * i) * (x / j);
end;
writeln(s:5:3);
end.



-3
8.125

Язык Си


#include < stdio.h>
int factorial(short n);

main() {
float s, x;
short i;
int j;
scanf("%f", &x);
s = 0;
for (i=1; i <= 5; i++) {
j = factorial(i);
s += (-1 * i) * (x / j);
}
printf("%.3fn", s);
}

int factorial(short n) {
short i;
int f;
f = 1;
for (i=2; i<=n; i++)
f *= i;
return f;
}



10
-27.083

Python


def factorial(n):
f = 1
for i in range(2,n+1):
f *= i
return f

x = int(input())
s = 0
for i in range(1,6):
j = factorial(i)
s += (-1 * i) * (x / j)
print("%.3f" % s)



2
-5.417

КуМир


алг
нач
вещ s, x
цел i, j
ввод x
s := 0
нц для i от 1 до 5
j := факториал(i)
s := s + ((-1) * i) * (x / j)
кц
вывод s:5:3
кон

алг цел факториал(цел a)
нач
цел i
знач := 1
нц для i от 2 до a
знач := знач * i
кц
кон



-0.5
1.354

Basic-256


input x
s = 0
for i=1 to 5
gosub factorial
s = s + (-1 * i) * (x / j)
next i
decimal 3
print s
end

factorial:
j = 1
for n=1 to i
j = j * n
next n
return



-2
5.417

Добавить комментарий