Теорема Шварца о второй производной

Материал из testwiki
Версия от 21:28, 15 июня 2014; 91.122.27.219 (обсуждение) (пропущен символ, орфографическая ошибка)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Теорема Шварца о второй производной устанавливает достаточные условия линейности функции. Используется в теории тригонометрических рядов.

Формулировка

Если функция F(x) непрерывна в некотором интервале (a,b) и limh0F(x+h)+F(xh)2F(x)h2=0 при всех значениях x в этом интервале, то F(x) есть линейная функция.

Доказательство

Выражение, стоящее слева в условии теоремы, называется обобщенной второй производной функции F(x). Если F(x) имеет обыкновенную вторую производную, то обобщенная вторая производная равна ей и доказывать нечего. Рассмотрим функцию ϕ(x)=F(x)F(a)xaba(F(b)F(a)). Очевидно, ϕ(a)=0 и ϕ(b)=0. Для доказательства теоремы покажем, что ϕ(x)=0 при всех значениях x. Предположим, что ϕ(x) принимает положительные значения. Пусть ϕ(c)>0 в некоторой точке c. Введем функцию ψ(x)=ϕ(x)12ϵ(xa)(bx), где ϵ - малое положительное число, такое, что ψ(x)>0. Функция ψ(x) имеет положительную верхнюю грань и достигает её, в силу своей непрерывности, в некоторой точке x=ξ. Очевидно ψ(ξ+h)+ψ(ξh)2ψ(ξ)0. Но ψ(ξ+h)+ψ(ξh)2ψ(ξ)h2=F(ξ+h)+F(ξh)2F(ξ)h2+ϵ и при h0 правая часть стремится к ϵ. Получено противоречие. К подобному же противоречию приводит предположение, что ϕ(x) принимает отрицательные значения. Следовательно, ϕ(x)=0 при всех значениях x и F(x) есть линейная функция.

Литература

  • Е. Титчмарш Теория функций, М., Наука, 1980.