Придумайте экономический способ вычисления суммы $\overset{\infty }{\underset{t=0}{\sum }}\beta ^{t}t$ $\left( 0<\beta<1\right)$.
Указание: рассмотрите выражение $\frac{r}{1+r}\overset{\infty }{\underset{t=0}{\sum }}\left( \frac{1}{1+r}\right) ^{t}t$.

Комментарии

это, конечно, не самый короткий способ вычисления указанной суммы - economic but not economical. Самый простой из известных мне способов использует условное матожидание и занимает чуть более, чем строчку. Способ, о котором спрашивается в задаче, в каком-то смысле есть выжимка из курса макро-4 РЭШ, но по сути используется только элементарная микроэкономика.
О, Марк! С возвращением! Надо будет порешать обязательно :)
P.S. Я все-таки сдержал обещание :)
здорово. я там внизу написал, что имелось в виду.
Рассмотрим ряд $$S=\sum_{t=0}^\infty t\cdot x^t$$
Я просто заменил букву $\beta$ на букву $x$.
Запишем этот ряд как бесконечную сумму: $$S=1x+2x^2+3x^3+4x^4+5x^5+\ldots$$
Поскольку члены ряда являются положительными слагаемыми, то не будет большого греха в том, что мы слегка поменяем их местами (на этот счет в математическом анализе есть особая теорема). $$S=(x+x^2+x^3+\ldots)+(x^2+x^3+x^4+\ldots)+(x^3+x^4+x^5+\ldots)+\ldots$$
Но тогда в каждой скобке мы получим сумму бесконечно убывающей геометрической прогрессии, ведь $1>x>0$ по условию. $$S=\frac{x}{1-x}+\frac{x^2}{1-x}+\frac{x^3}{1-x}+\ldots$$
Приведем к общему знаменателю: $$S=\frac{x+x^2+x^3+x^4+\ldots}{1-x}$$
Но тогда в числителе мы опять получим сумму бесконечно убывающей геометрической прогрессии! $$S=\frac{\frac{x}{1-x}}{1-x}$$
И тогда наш ответ:
$$S=\sum_{t=0}^\infty t\cdot x^t=\frac{x}{(1-x)^2}$$
вроде так. но способ какой-то, пардон, извращенный. да и с перестановкой членов ряда не все так прозрачно, хотя, конечно, верно :)
Ну я стремился разжевать для всех. Хотя, согласен, что "для всех" и "перестановка членов бесконечного ряда" - это не очень комбится. Но интуитивно понятно (хаха, ведь это очень очевидно, что сумма не меняется от перестановки мест слагаемых) :)
А у тебя способ в корне другой? Поделишься?
Я еще вспомнил трюк из тервера. Можно поделить исходный ряд на $x$, тогда мы получим ряд из производных $x^t$. Потом можно ряд проинтегрировать почленно, посчитать сумму, которая окажется прогрессией, а потом это выражение продифференцировать. Вроде так, но я это все в уме провернул, может наврал.
Посмотри теорему Римана об условно сходящихся рядах. Тогда будет не столь очевидно.
Так нет, Ваня, я знаю эту теорему. "Поскольку члены ряда являются положительными слагаемыми, то не будет большого греха в том, что мы слегка поменяем их местами (на этот счет в математическом анализе есть особая теорема)." - смотри в моем доказательстве.
Рассмотрим функцию $S(x)$, являющуюся суммой функционального ряда $$S(x)=x\sum_{t=0}^\infty t\cdot x^{t-1}$$
Рассмотрим ряд $$s(x)=\sum_{t=0}^\infty t\cdot x^{t-1}$$
Интеграл степенного ряда равен ряду из интегралов: $$\int s(x)dx=\int \sum_{t=0}^\infty t\cdot x^{t-1}dx=\sum_{t=0}^\infty \int t\cdot x^{t-1}dx=\sum_{t=0}^\infty x^{t}=\frac{1}{1-x}$$
поскольку последний ряд является суммой геометрической прогрессии.
Но тогда: $$[\int s(x)dx]'=s(x)=\frac{1}{(1-x)^2}$$
И, в таком случае, $$S(x)=\frac{x}{(1-x)^2}$$

Решение, мягко говоря, менее очевидное. Да и матан тут посерьезнее кроется. Я вот до конца не помню, какие функциональные ряды можно интегрировать почленно, а какие нет. Там равномерные сходимости требуются какие-то, все дела. Надо будет освежить :)

для строгого обоснования требуется ровно то же самое, что и в твоем доказательстве. матан точно такого же уровня. учитывая, что х на (0,1), то в принципе можно особо не думать - сходимость будет.
Да дело же не в сходимости. Дело в том, что не все ряды можно почленно интегрировать.
видимо, кто хотел, уже подумали. Суть задачи не в том, чтобы посчитать стандартный ряд. Требуется найти экономический способ решения, напрячь фантазию и за символами в режиме игры в бисер увидеть что-то содержательное. Указание, на мой взгляд, облегчает задачу в разы.

Имелось в виду такое решение. Множитель перед суммой в указании вычисляет аннуитет или перманентный доход. Сам же поток доходов, который дисконтируется в формуле, эквивалентен тому, что чувак в каждом периоде получает одну консоль, по которой вечно выплачивается одна денежная единица в каждом периоде. Это ключевое наблюдение. Для убедительности можно табличку нарисовать или расписать, как это сделано у Дмитрия Сорокина выше. Но если доход в каждом периоде один и тот же (одна консоль), то перманентный доход равен этой же величине (можно также сказать, что столько надо проедать в каждом периоде, сглаживая потребление). Стоимость одной консоли, в свою очередь, равна здесь 1/r (через сумму геометрической прогрессии). В истории с потребителем, таким образом, получая в каждом периоде одну консоль, ее же нужно и тратить, то есть всё выражение равно 1/r.

Марк, над тем, что ты написал, надо помедитировать. Я понимаю, что я посчитал вообще без экономического смысла, но в твоем тексте слишком много непонятных слов. "Консоль", "аннуитет", "перманентный доход", "сглаживая потребление". Но медитация и не с таким справлялась.
это пока не официальное решение, всё потом распишу подробнее и в простейших терминах. но по сути всё есть.
не знаю, мое личное ощущение по задаче таково, что школьникам не стоит заморачивать голову рядами, пусть даже решение имеет "экономический смысл". Марк, задача, безусловно, интересная, но все же... Ряды уж очень непростая тема для понимания, а то так мы сейчас дойдем до ортогонализации базиса в пространстве многочленов :)
хотя.. может создать какой-нибудь раздел для студентов? как на это смотрит администрация?
Да-да, я вот тоже давно вынашиваю такую мысль. Просто для задач, которые либо явно не вписываются в школьную программу, либо которые школьник может понять, если постарается. Ну и там наш брат студент сможет постить свои последние наработки по изучаемым программам.
для студентов и школьников-математиков :)
Обсудим.