Краевые задачи.

( )~
(1) Ly = A( x) y // + B( x) y / + C ( x) y = f ( x) , A( x), B( x), C ( x), f ( x) ∈ C (a~, b ) , A( x) ≠ 0 ни разу,
все функции комплекснозначные.

⎧l y ≡ hy (a ) + h / y / (a ) = α ⎛ h ⎞ ⎛ 0⎞ ⎛ k ⎞ ⎛ 0⎞
(2) ⎨ 1 , ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟, ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟ ,
⎩l 2 y ≡ ky (b) + k y (b) = β
/ /
⎝ h ⎠ ⎝ 0⎠ ⎝ k ⎠ ⎝ 0⎠
h, h / , k , k / ,α , β ∈ C

Определение: (α , β , f ) - задачей называют задачу найти y ( x) ∈ (1) , такое, что (2) верно.
~
(0,0,0) – задача имеет хоть одно решение, а именно y ( x) ≡ 0, x ∈ (a~, b ) .

Предложение 1:
1) L - линейный оператор, y ( x) ∈ C 2 ((a~, b ) ) → C ((a~, b ) )
~ ~
2) l1 и l 2 - линейные функционалы.
~
Пусть y1 ( x), y 2 ( x) на (a~, b ) - базис пространства всех непродолжаемых решений
однородного уравнения и ~ y ( x) ∈ { f } - некоторое фиксированное решение неоднородного
уравнения, тогда для любого y ( x) ∈ { f } существует и притом единственная пара чисел
⎛ c1 ⎞
⎜⎜ ⎟⎟ ∈ C 2 , таких, что (*): y ( x) = c1 y1 ( x) + c2 y 2 ( x) + ~
y ( x) . Если f ( x) ≡ 0 на (a~, b~ ) , то в
⎝ c2 ⎠
представлении (*) ~ y ( x) ≡ 0
⎛c ⎞
Предложение 1/: Если y ( x) ∈ (α , β , f ) задаче, то в представлении (*) ⎜⎜ 1 ⎟⎟ есть решение
⎝ c2 ⎠
линейной алгебраической системы (3). (Для (0,0,0) – задачи система (3) однородная).
Верно и обратное.
⎧ l1 y = c1l1 y1 + c2 l1 y 2 + l1 ~ y =α
Доказательство: подставим (*) в (2): ⎨ ~ , следовательно,
⎩l 2 y = c1l 2 y1 + c2 l 2 y 2 + l 2 y = β
⎛ l y l y ⎞⎛ c ⎞ ⎛ α − l1 ~ y⎞ ⎛l y l y ⎞ ⎛h⎞⎛k⎞
(3): ⎜⎜ 1 1 1 2 ⎟⎟⎜⎜ 1 ⎟⎟ = ⎜⎜ ~ ⎟⎟ , det⎜⎜ 1 1 1 2 ⎟⎟ = ∆ - зависит от A, B, C , ⎜⎜ / ⎟⎟, ⎜⎜ / ⎟⎟ , но не
⎝ l 2 y1 l 2 y 2 ⎠⎝ c2 ⎠ ⎝ β − l 2 y ⎠ ⎝ l 2 y1 l 2 y 2 ⎠ ⎝h ⎠ ⎝k ⎠
от α , β , f . Обратно – читай справа налево.
⎛ l y l y ⎞⎛ c ⎞ ⎛ 0 ⎞
Для (0,0,0) – задачи получаем: ⎜⎜ 1 1 1 2 ⎟⎟⎜⎜ 1 ⎟⎟ = ⎜⎜ ⎟⎟ , (т.к. α = β = 0 и ~
y ( x) ≡ 0 ).
⎝ l 2 y1 l 2 y 2 ⎠⎝ c2 ⎠ ⎝ 0 ⎠

Теорема 1: Следующие три утверждения эквивалентны:

1) ∆ ≠ 0
2) любая (α , β , f ) - задача имеет и только одно решение.
3) (0,0,0) – задача имеет лишь y ( x) ≡ 0 .

Доказательство:
1) → 2) : из ∆ ≠ 0 следует, что для любой (α , β , f ) - задачи существует, и притом
⎛c ⎞
единственная пара чисел ⎜⎜ 1 ⎟⎟ ∈ C 2 ∈ (3) , следовательно, по предложению (1/) существует,
⎝ c2 ⎠
и притом единственная y ( x) ∈ (α , β , f ) - задаче.
2) → 3) : очевидно.
3) → 1) : Пусть (0,0,0) – задача имеет лишь y ( x) ≡ 0 , тогда c1 y1 + c2 y 2 ≡ 0 , следовательно,
⎛ 0⎞
однородная система (3) имеет лишь тривиальное решение ⎜⎜ ⎟⎟ , следовательно, ∆ ≠ 0 .
⎝ 0⎠
~
( a~ ,b )
~
Предложение 2: Пусть f ( x) ≡ 0 и фиксируем точку ξ ∈ (a~, b ) , и пусть (m, m / ) ≠ (0,0) ,
m, m / ∈ C , и ly = my (ξ ) + m / y / (ξ ) , тогда совокупность всех непродолжаемых решений
однородного уравнения, удовлетворяющих условию: ly = 0 есть одномерное
подпространство двумерного пространства всех непродолжаемых решений.

Доказательство: ly = my (ξ ) + m / y / (ξ ) = 0 . Данному уравнению удовлетворяет пара чисел

υ (ξ ) = −m / ⎛ 0 ⎞
(− m , m) , ибо m ⋅ (−m ) + m ⋅ m = 0 . Знаем, что ∃! υ ( x) ∈ {0} : /
/ / /
≠⎜ ⎟,
υ (ξ ) = m ⎜⎝ 0 ⎟⎠
следовательно, υ ( x) ≠ 0, lυ = 0 .
Очевидно, что для любого c ∈ C l (cυ ( x)) = 0

my (ξ ) + m / y / (ξ ) = 0 ⎫
Пусть y ( x) ∈ {0}: ly = 0 . ( )
⎬ ⇒ det ( ) = 0 (т.к. m, m ≠ (0,0) - решение), но
/

mυ (ξ ) + m /υ / (ξ ) = 0⎭
det ( ) = W (ξ ) , следовательно, y ( x) и υ ( x) линейно зависимые. Т.к. υ ( x) ≠ 0 , то
y ( x) = cυ ( x) .

~
Теорема 2: Если (0,0,0) – задача имеет υ ( x) ≠ 0, (a~, b ) , то
1) Все решения (0,0,0) – задачи есть одномерное пространство решений
однородного уравнения.
~
(
2) для каждой f ∈ C (a~, b ) )
⎛α ⎞
а) ∃⎜⎜ ⎟⎟ ∈ C 2 : (α , β , f ) не имеет ни одного решения.
⎝β ⎠
⎛α ⎞
б) ∃⎜⎜ ⎟⎟ ∈ C 2 : (α , β , f ) имеет хоть одно решение ( U ( x) ), при этом ∀c ∈ C
⎝β ⎠
имеем cυ ( x) + U ( x) ∈ (α , β , f ) и обратно, для каждого решения y ( x) (α , β , f ) - задачи
существует единственное c ∈ C : y ( x) = cυ ( x) + U ( x) .

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

1) l1υ = 0, υ ≠ 0 , следовательно, по предложению 2, cυ ( x) - все решения y ( x) ∈ {0} ,

такие, что l1 y = 0 . По предложению (2) все решения y ( x) ∈ {0}, l 2 y = 0 - одномерное
пространство, y ( x) = cυ ( x) . Таким образом, все решения (0,0,0)–задачи есть y ( x) = cυ ( x) .

⎛l y l y ⎞
2) а) из υ ( x) ≠ 0 решение (0,0,0) – задачи следует, что ∆ = 0 , т.е det⎜⎜ 1 1 1 2 ⎟⎟ = 0 ,
⎝ l 2 y1 l 2 y 2 ⎠
⎛σ ⎞
тогда столбцы линейно зависимые, следовательно, существует ⎜⎜ ⎟⎟ ∈ C 2 - линейно
⎝τ ⎠
 α = σ + l1 ~y
независимый от столбцов (т.к. пространство C 2 двумерное). Берем , тогда
β = τ + l2 ~y
⎡α − l1 ~
y ⎤ ⎛σ ⎞ ⎛σ ⎞ ⎛c ⎞
c1[ ] + c2 [ ] = ⎢ ~ ⎥ = ⎜⎜ ⎟⎟ . Из выбора ⎜⎜ ⎟⎟ следует: не существует ⎜⎜ 1 ⎟⎟ , следовательно,
⎣ β − l2 y ⎦ ⎝ τ ⎠ ⎝τ ⎠ ⎝ c2 ⎠
не существует ни одного решения (3), тогда не существует ни одного решения (α , β , f ) -
задачи.
α = l1U
б) берем любое U ( x) ∈ { f }. полагаем ⇒ U ( x) ∈ (α , β , f ) - задаче, пусть
β = l2U
l1 y = cl1υ + l1U = α
U ( x) ∈ (α , β , f ) -задаче, и c ∈ C тогда y(x) = cυ(x) +U(x) ∈(α, β, f ) - задаче, т.к. .
l2 y = β

⎧l ( y − U ) = 0
Обратно: Пусть y ( x) ∈ (α , β , f ) - задаче, тогда ⎨ 1 ⇒ y ( x) − U ( x) ∈ (0,0,0) - задаче,
⎩l 2 ( y − U ) = 0
тогда y ( x) − U ( x) = cυ ( x) , т.е. y(x) = cυ(x) +U(x).

Сведение (α , β , f ) - задачи к (0,0, f ) - задаче.

~

Лемма 1: (интерполяционный полином Лагранжа-Сильвестра) Пусть a ≠ b ∈ C и

( A, A/ ),(B, B/ ) ∈C , тогда существует единственный полином не выше третьей степени P3 ( x) :
P3 (a) = A P3/ (a) = A /
.
P3 (b) = B P3/ (b) = B /

Доказательство: P3 ( x) = p0 + p1 x + p2 x 2 + p3 x 3
⎧ p0 + p1a + p 2 a 2 + p3 a 3 = A = P3 (a )
⎪
⎪ p1 + 2 p 2 a + 3 p3 a 2 = A / = P3/ (a )
⎨ получили алгебраическую систему.
⎪ p 0 + p1 b + p 2 b 2
+ p 3 b 3
= B = P3 (b )
⎪ p + 2 p b + 3 p b2 = B / = P3/ (b)
⎩ 1 2 3

⎛ 1 a a 2 a3 ⎞
⎜ ⎟
⎜0 1 a a2 ⎟
det⎜ 2 3 ⎟
= (b − a ) 4 ≠ 0 , следовательно, p0 , p1 , p2 , p3 вычисляются однозначно.
⎜1 b b b ⎟
⎜ 0 1 b b2 ⎟
⎝ ⎠
Замечание: вместо двух точек можно взять любой конечный набор точек и в любой точке
задать P (ai ), P / (ai ),..., P (ki ) (ai ) - всего N условий. Тогда существует полином не выше
степени ( N − 1) , удовлетворяющий всем условиям.

Лемма 2: Существует полином P3 ( x) , не выше третьей степени (не единственный), такой

что l1 P3 = α , l 2 P3 = β .
⎛h⎞
l1 P3 = hP3 (a) + h / P3/ (a) = α , из ⎜⎜ / ⎟⎟ ≠ 0 следует, что существуют A, A / : hA + h / A / = α .
⎝h ⎠
Аналогично, существуют B, B / : kB + k / B / = β , A, A / , B, B / вычисляются не однозначно,
P (a) = A P3/ (a) = A /
далее по лемме 1 следует существование P3 ( x) : 3 , следовательно,
P3 (b) = B P3/ (b) = B /

l1 P3 = α , l 2 P3 = β .
~
( ~
) ~
Предложение 3: Если y ( x), (a~, b ) ∈ (α , β , f ) , то y ( x) − P3 ( x) = ϕ ( x) ∈ 0,0, f , где f = f − LP3 .
Верно и обратное.
Доказательство: L( y ( x) − P3 ( x)) = L( y ( x)) − L( P3 ( x)) = f ( x) − L( P3 ( x)) .
l1ϕ = l1 y − l1 P3 = α − α = 0
l 2ϕ = l 2 y − l 2 P3 = β − β = 0
обратно: если ϕ ( x) ∈ (0,0, f − L( P3 ( x)) ) , то ϕ ( x) + P3 ( x) = y ( x) ∈ (α , β , f ) . Очевидно.

Следствие: Достаточно найти все решения (0,0, f − L( P3 ) ) - задачи. Потом прибавив к

любому решению P3 ( x) получим все решения (α , β , f ) - задачи.

Решение задачи (0,0, f ) , в случае, когда задача (0,0,0,) имеет лишь

тривиальное решение.

1) A( x) y // + B ( x) y / + C ( x) y = f ( x), A( x) ≠ 0 .
2) l1 y = 0, l 2 y = 0 .
B ( x) / C ( x) f ( x)
3) y // + y + y= = F ( x) .
A( x) A( x) A( x)
B( x) / C ( x)
4) y // + y + y =0.
A( x) A( x)
Найдем специальный базис. Пусть yl ( x) - решение уравнения 4), отличное от
тождественного нуля, l1 yl = 0 , yl ( x) существует по предложению 2, тогда l2 yl ≠ 0 .
Пусть y r (x) - решение уравнения 4), отличное от тождественного нуля, l2 yr = 0 , y r (x)
существует по предложению 2, тогда l1 yr ≠ 0 . Утверждаем, что yl ( x) и y r (x) линейно
~
( a~ ,b )
независимые. (Пусть c1 yl + c2 y r ≡ 0 , l1 (c1 yl + c2 y r ) = c1l1 yl + c2 l1 y r = 0 . Из l1 yl = 0 , l1 yr ≠ 0
следует, что c2 = 0 . Аналогично, c1 = 0 .)

⎧ c/ (x) y1 (x) + c2/ (x) y2 (x) = 0

Лемма 1: (*) ⎨ /1 , y1 ( x) и y 2 ( x) - базис однородного уравнения 4).
⎩1c ( x) y1
/
( x) + c2
/
( x) y2
/
( x) = F ( x)
⎛ c ( x) ⎞
1) если ⎜⎜ 1 ⎟⎟ ∈ (*) , то y ( x) = c1 ( x) y1 ( x) + c2 ( x) y2 ( x) ∈ (3) .
⎝ c2 ( x) ⎠
⎛ c ( x) ⎞
2) Обратно: если y ( x) ∈ (3) , то существует столбец ⎜⎜ 1 ⎟⎟ ∈ (*) , такой, что:
⎝ c2 ( x) ⎠
y ( x) = c1 ( x) y1 ( x) + c2 ( x) y2 ( x) .
Доказательство: 1) метод вариации произвольной постоянной.
2) проверить!
y ( x) y ( x)
Замечание: из (*) следует, что c1/ = − 2 F ( x) , c2/ = 1 F ( x) .
W ( x) W ( x)
Лемма 2: Пусть ly = my (ξ ) + m / y / (ξ ) , ξ ∈ (a~, b ), (m, m / ) ≠ (0,0) и пусть дифференцируемые
~

⎛ c ( x) ⎞
в точке ξ функции y1 , y 2 , ⎜⎜ 1 ⎟⎟ , таковы, что c1/ (ξ ) y1 (ξ ) + c2/ (ξ ) y 2 (ξ ) = 0 (5).
⎝ c2 ( x) ⎠
Рассмотрим y ( x) = c1 ( x) y1 ( x) + c2 ( x) y 2 ( x) , тогда ly = c1 (ξ )ly1 + c2 (ξ )ly 2 .
Доказательство: прямое вычисление и использование (5).

Решение задачи (0,0, f ) .

Любое решение уравнения (3) имеет вид: y ( x) = c1 ( x) yl ( x) + c2 ( x) y r ( x) .
⎛ c1 ( x) ⎞
⎜⎜ ⎟⎟ ∈ (*) , где y1 = yl , y2 = yr следовательно, l1 y = c1 (a )l1 yl + c2 (a)l1 y r = 0 . Из
⎝ c2 ( x) ⎠
l1 yl = 0, l1 y r ≠ 0 следует, что c2 (a ) = 0 , следовательно, по формуле Ньютона – Лейбница,
x
yl ( s )
c2 ( x) = ∫ F ( s )ds
a
W ( s)
l 2 y = c1 (b)l 2 yl + c2 (b)l 2 y r = 0 , получаем, что c1 (b) = 0 , следовательно,
x b
yr ( s) y ( s)
c1 ( x) = ∫ − F ( s )ds = ∫ r F ( s )ds .
b
W ( s) x
W ( s)
b x
yl ( x) y r ( s ) y ( x) yl ( s )
Получаем, что: y ( x) = ∫ F ( s )ds + ∫ r F ( s )ds , следовательно,
x
W ( s) a
W ( s)

( )
x b
y ( x) yl ( s ) y ( x) y r ( s ) ~ ~
y ( x) = ∫ r f ( s )ds + ∫ l f ( s )ds , x ∈ (a~, b ), f ( x) ∈ C (a~, b )
a
A( s )W ( s ) x
A( s )W ( s )
b
y ( x) = ∫ G ( x, s ) f ( s )ds, x ∈ [a, b]. G (x, s ) -
a

функция Грина дифференциального

оператора Ly = A( x) y + B( x) y / + C ( x) y
//
с
краевыми условиями:
l1 y = hy (a) + h y (a) = 0
/ /
.
l 2 y = ky (b) + k / y / (b) = 0
(При условии, что (0,0,0 ) задача имеет лишь
тривиальное решение).
{ }
D = C − значные y ( x) ∈ C 2 [a, b] : l1 y = 0, l 2 y = 0 . L : y ( x) ∈ D → Ly ( x) = f ( x) ∈ C ([a, b]) .
b
G ( x, s ) - ядро интегрального оператора, обратного к L : L−1 f = y ( x) = ∫ G ( x, s ) f ( s )ds .
a

G ( x, s ) ∈ C ([a, b]× [a, b]) (доказать!).

Решение задачи (0,0, f ) , в случае, когда задача (0,0,0) имеет решение υ (x) ,
отличное от тривиального.

Теорема 3: Пусть известно, что существует υ(x) ≠ 0∈(0,0,0) - задаче, т.е. Lυ = 0, l1υ = 0, l2υ = 0 .
Предположим, что существует хоть одно U ( x) ∈ (0,0, f ), f ∈ C ((a~, b )) , тогда
~
 ⎛ s B(t ) ⎞ ⎛ s B (t ) ⎞
exp⎜⎜ ∫ dt ⎟⎟ exp⎜⎜ ∫ dt ⎟⎟
b
⎝ A (t ) ⎠ds = 0 (ортогональность с весом ⎝a A (t ) ⎠ ). Обратно: из
∫ f ( s )υ ( s ) a

a
A( s ) A( s )
⎛ s B(t ) ⎞
exp⎜⎜ ∫ dt ⎟⎟
b
⎝a A (t ) ⎠ds = 0 следует, что существует U ( x) ∈ (0,0, f ) . При этом все
∫
a
f ( s )υ ( s )
A( s )
решения (0,0, f ) задачи имеют вид: y ( x) = cυ ( x) + U ( x) .

Доказательство: y1 ( x) = υ ( x) , y 2 ( x) - любое решение однородного уравнения, линейно

независимое от υ (x) , следовательно, для каждого решения y ( x) ∈ { f } существует
⎛ c1 ( x) ⎞
⎜⎜ ⎟⎟ ∈ (*) , что y ( x) = c1 ( x) y1 ( x) + c2 ( x) y 2 ( x) , l1 y 2 ≠ 0 , т.к. если l1 y 2 = 0 , то по
⎝ c2 ( x) ⎠
предложению 2 y 2 = cυ ( x) , противоречие. Аналогично, l 2 y 2 ≠ 0 .
Пусть U (x) - некоторое решение (0,0, f ) - задачи. U ( x) = c1 ( x) y1 ( x) + c2 ( x) y 2 ( x) .
x x
y1 (s)
0 = l1U = c1 (a)l1 y1 + c2 (a)l1 y2 , l1 y1 = 0, l1 y 2 ≠ 0 ⇔ c2 (a ) = 0 ⇔ c2 ( x) = ∫ c (s)ds = ∫
/
2 F (s)ds .
a a
W ( s)
b
y1 ( s )
0 = l 2U = c1 (b)l 2 y1 + c2 (b)l 2 y 2 , l 2 y1 = 0, l 2 y 2 ≠ 0 , ⇔ , c2 (b) = 0 , ⇔ , ∫ W (s) F (s)ds = 0 . (1)
a

Обратно: Пусть (1) есть. Построим U (x) , выбрав:

x
y2 ( s) ⎫
c1 ( x) = ∫ − F ( s )ds ⎪
W (s) ⎪ ⎛ c1 ( x) ⎞
b
⎬ ⇒ ⎜⎜ ⎟⎟ ∈ (*) , следовательно, c1 ( x) y1 ( x) + c2 ( x) y 2 ( x) = U ∈ { f }.
⎝ c2 ( x) ⎠
x
y1 ( s ) ⎪
c2 ( x) = ∫ F ( s )ds ⎪
a
W ( s) ⎭
c2 (a ) = 0 ⇒ l1U = 0 ⎞
⎟ ⇒ U ( x) ∈ (0,0, f ) . Все остальные решения (0,0, f ) - задачи имеют вид
c2 (b) = 0 ⇒ l 2U = 0 ⎟⎠
y(x) = cυ(x) +U(x) по теореме 2.
b b
y1 (s) f ( s) f (s) y1 (s) ⎛ s B(t ) ⎞
∫a ⎛ B(t ) ⎞ A(s)
s
ds = 0 , W (a) ≠ 0 , следовательно, ∫ A(S )
exp⎜⎜ ∫ dt ⎟⎟ds = 0 .
⎝ a A(t ) ⎠
W (a) exp⎜⎜ ∫ − dt ⎟⎟ a

⎝a A(t ) ⎠
Теорема доказана.

Собственные значения и собственные функции дифференциального

оператора.
~
(1) Ly = A( x) y // + B( x) y / + C ( x) y ; A, B, C ∈ C ((a~, b )) - R значные функции, A ≠ 0 ни разу.
l y ≡ hy (a ) + h / y / (a ) = 0 ⎛ h ⎞ ⎛ 0 ⎞ ⎛ k ⎞ ⎛ 0 ⎞
(2) 1 , ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟, ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟, h, h / , k , k / ∈ R .
l 2 y ≡ ky(b ) + k y (b ) = 0 ⎝ h ⎠ ⎝ 0 ⎠ ⎝ k ⎠ ⎝ 0 ⎠
/ /

{ ~
}
D( L) = y ( x) ∈ C 2 ((a~, b )) | l1 y = 0, l 2 y = 0 , y ( x) − C значное.
~
D(L) - линейное пространство над С. L : D( L) → C ((a~, b )) .
Определение: λ ∈ C - собственное значение дифференциального оператора (1) с
условиями (2), если существует y ( x) ∈ D( L) , отличное от тождественно нулевого на
( ) ~
a~, b , что Ly = λy . Для матриц: A H = λH , H ≠ 0 ∈ C n .
n×n

Предложение 1: Если λ ∈ C - собственное значение дифференциального оператора и

υ (x) его собственная функция, то все остальные собственные функции, отвечающие этому
собственному значению есть: y ( x) = cυ ( x), c ∈ C ≠ 0 .
~
Доказательство: следует из теоремы 2 части 1) для оператора L y = Ly − λy .

Предложение 2: Если собственное значение λ действительное, то для него существует R

– значная собственная функция ~ y ( x) ≠ 0 , а остальные y ( x) = c~ y ( x), c ≠ 0 .
Доказательство: пусть y ( x) = u ( x) + iυ ( x) . Либо u ( x) ≠ 0 , либо υ ( x) ≠ 0 . Ly = λy . Выделяя
Lu = λu Lυ = λυ
реальную и мнимую части, получаем, что и , следовательно, U (x)
l1u = l2 u = 0 l1υ = l 2υ = 0
либо υ (x) действительная собственная функция.

Предложение 3: Если λ ≠ µ собственные значения дифференциального оператора и

b
⎡ 1 ⎛ x B(t ) ⎞⎤
y λ (x) , y µ (x) - собственные функции, тогда ∫ ⎢ yλ ( x) y µ exp⎜⎜ ∫ dt ⎟⎟⎥ dx = 0 .
a⎣⎢ A( x ) ⎝a A(t ) ⎠⎥⎦
Доказательство: Ly λ = λy λ ⇒ (L − λI ) y λ = 0 , т.е. (0,0,0 ) - задача для оператора (L − λI )
имеет y λ ( x) ≠ 0 . Ly µ = µy µ ⇔ Ly µ − λy µ = µy µ − λy µ , получаем
def
(L − λI )yµ ( x) = (µ − λ )yµ ( x) ≡ f ( x) , следовательно, (0,0, f ) - задача имеет хоть одно решение
b
⎡ 1 ⎛ x B(t ) ⎞⎤
(а именно y µ (x) ), следовательно, ∫a ⎢⎢ yλ ( x)(µ − λ ) y µ ( x) A( x) exp⎜⎜⎝ ∫a A(t ) dt ⎟⎟⎠⎥⎥dx = 0 .
⎣ ⎦
Сокращаем на (µ − λ ) ≠ 0 .

Приведение дифференциального оператора к самосопряженной форме.

~
(3) Ly ≡ A( x) y // + B( x) y / + C ( x) y , A( x) ≠ 0 ни разу, A( x) ∈ C 1 ((a~, b )) ,
~
B ( x), C ( x) ∈ C ((a~, b )) ,
A, B, C − R -значные. Если B = A / , то оператор Ly ≡ A(x) y// + B(x) y/ + C(x) y ≡ ( A(x) y/ )/ + C(x) y
~
имеет самосопряженную форму. Умножим уравнение (3) на ρ ( x) ∈ C 1 ((a~, b )) ≠ 0 ни разу.
Получаем (4) ρLy ≡ ρAy // + ρBy / + ρCy . Подберем ρ так, чтобы ρB = ( ρA) / , т.е.
⎛ x B(t ) ⎞
B
(ρA) = ( ρA) , следовательно, ρ ( x) =
/

A
1
A( x)
exp⎜ ∫
~
(( ))
~
dt ⎟ ∈ C 1 a~, b , x0 ∈ a~, b , тогда (4)
⎜ x A(t ) ⎟
( )
⎝ 0 ⎠
~
0 < p ( x) = A( x) ρ ( x) ∈ C 1 ((a~, b ))
примет вид: (4/):
/
(
ρLy = p( x) y / + q( x) y , где ) ~ ,
q( x) = C ( x) ρ ( x) ∈ C ((a~, b ))
sgn ρ (x ) = sgn A(x )
 Применение к задаче на собственные значения.

(1/)
~
Ly ≡ A( x) y // + B( x) y / + C ( x) y = λy , A( x) ∈ C 1 a~, b ни (( ))
разу ≠ 0, λ ∈C ,
~ ~
(( ))
B ( x), C ( x) ∈ C a , b , A( x), B( x), C ( x) - R- значные. умножим (1 ) на ρ (x) , получем:
/

( )
(1//) L~y ≡ p ( x) y / + q( x) y = λρ ( x) y .
/

( )
Следствие: если y ( x) ≠ 0 и l 1 y =l 2 y = 0 , и y ( x) ∈ 1/ , то y ( x) ∈ 1// , и обратно: ( )
~
L y = λρ( x)Iy , т.е. если λ, y(x) - собственное значение и собственная функция оператора L ,
~
то есть собственные значения и собственные функции пары операторов L и ρ ( x) I , I -
тождественный оператор.

Задача Штурма – Лиувилля.

⎛ h ⎞ ⎛ 0⎞
( )
⎧ L~y ≡ ( p ( x) y / / + q ( x) y = λρ ( x) y
⎪⎪
⎧0 < p ∈ C 1 ((a~, b~ )) ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟
⎪ ⎝ h ⎠ ⎝ 0⎠
⎨q ∈ C ((a~, b )), R − значн ,
~
⎨l1 y = hy (a) + h y (a) = 0 , h, h / , k , k / ∈ R
/ /
,
⎪ ⎪0 < ρ ( x) ∈ C ⎛ k ⎞ ⎛ 0⎞
⎪⎩l2 y = ky (b) + k y (b) = 0
/ /
⎩ ⎜⎜ / ⎟⎟ ≠ ⎜⎜ ⎟⎟
⎝ k ⎠ ⎝ 0⎠

Задача Штурма – Лиувилля: найти число λ ∈ C и y ( x) ≠ 0 такое, что { верно. Тогда λ

- собственное число задачи Штурма – Лиувилля, y (x) - собственная функция задачи Ш-Л.

Теорема 1: существует Λ ∈ R , что все λ ∈ [Λ,+∞ )

не собственные значения задачи Штурма - Лиувилля.
⎧l y = y ( a ) = 0
Доказательство: для случая ⎨ 1 .
⎩l 2 y = y (b) = 0
min ρ ( x) = m > 0
[a ,b ] M
Пусть . Годится Λ = .
max q( x) = M ≥ 0 m
[a ,b ]
M
Докажем, что λ ≥ не собственное значение задачи Штурма - Лиувилля.
m
M
От противного: Пусть λ ≥ - собственное значение, λ ∈ R , следовательно, по
m
предложению 2 существует собственная функция y ( x) ≠ 0, y ( x) − R значная,
d
dx
[ ] M
p ( x) y / = [λρ ( x) − q( x)]y = f ( x) y , λ ≥ , min ρ ( x) = m, max q( x) = M , ⇒ f ( x) ≥ 0 .
m
y (a) = 0
/
y / (a) ≠ 0 , ибо из следует, что y (x) тождественно нулевое.
y (a) = 0
Пусть y / (a) > 0 (иначе возьмем − y (x) ). Пусть b * первый ноль
функции y (x) , a < b * ≤ b . Интегрируем от а до х:
x
p ( x) y ( x) − p (a ) y (a ) = ∫ f (t ) y (t )dt . Т.к. f ( x) ≥* 0, y ( x) ≥* 0 , то
/ /

a
[a ,b ] [a ,b ]
x

∫
a
≥ 0 . p( x) > 0 , следовательно, y / ( x) >* 0 . Противоречие с
[a ,b ]
 ( )
y (a ) = y b * = 0 .

Эквивалентность задачи Штурма – Лиувилля интегральному

уравнению.

p ( x) ∈ C 1 ≠ 0
( )
/ x
Лемма 1: для уравнения p( x) y / + q( x) y = 0 , ~ имеем: p ( x )W ( x ) ≡ const .
q( x) ∈ C ((a~, b ))
Доказательство:
p/ / q p/ d
y // = − y − y⇒W/ =− W ⇔ p / W + pW /
=0⇒ ( pW ) = 0 ⇒ pW = const
p p p dx

⎧⎪ Ly ≡ ( p ( x) y / )/ + q( x) y
Следствие: для оператора ⎨ с условием (0,0,0) задача имеет лишь
⎪⎩l1 y = l2 y = 0
тривиальное решение имеем: G ( x, S ) − R значная и G ( x, S ) = G ( S , x) .
Доказательство: hy l (a) + h / y l/ (a) = 0 . Возьмем
y (a ) = −h / , y / (a) = h . Решением однородного
уравнения второго порядка с действительными
коэффициентами и действительными
условиями Коши является действительная
функция, т.е. y l ( x) − R - значная. Аналогично,
y r ( x) − R - значная. W (x) R- значных функций
R- значен, следовательно, G ( x, S ) R- значная.
Берем две симметричные точки ( x, S ) в левом
треугольнике и ( S , x) в правом.
y ( x) yr ( S ) ⎫
G ( x, S ) = l A(x) = p(x) ⇒ A(x)W(x) = p(x)W(x) = const = p(S)W(S) = A(S)W(S)
A( S )W ( S ) ⎪⎪
⎬ т.е. A( x)W ( x) = A( S )W ( S )⎫ .
yr ( S ) yl ( x) ⎪ ⎬ ⇒ G ( x, S ) = G ( S , x )
G ( S , x) = y ( x) y r ( S ) = y r ( S ) yl ( x) ⎭
A( x)W ( x) ⎪⎭ l

Сведение задачи Штурма – Лиувилля к интегральному уравнению.

( ) (( ))
~ ~
(( ))
(1) Ly ≡ p( x) y / + q( x) y = λρ ( x) y , p(x) > 0 ∈C1 a~, b , q(x), ρ(x) ∈C a~, b , R − значные, ρ(x) > 0 .
/

l y=0
(2) 1 , h, h / , k , k / ∈ R . (Волну над L убрали, т.е. пишем L вместо L~ ).
l2 y = 0
Пусть λ = 0 не собственное значение задачи Штурма – Лиувилля, т.е. (0,0,0 ) - задача
имеет только тривиальное решение, следовательно, существует функция Грина
G ( x, S ) ∈ C ([a, b]× [a, b]) - действительно значная, симметричная.

~
( )
Лемма 2: Если λ ≠ 0 и y ( x) ≠ 0 на a~, b - собственное значение и собственная функция
задачи Штурма – Лиувилля, т.е. (1) и (2) выполнено, то y ( x) ≠ 0 на [a, b] и y ( x) ∈ (3) :
b
y ( x) = λ ∫ G ( x, S ) ρ ( S ) y ( S )dS , x ∈ [a, b] . Верно и обратное: если Если λ ≠ 0 и
a
 y ( x) ≠ 0 ∈ C ([a, b]) - решение интегрального уравнения (3), то λ - собственное значение и
y (x) собственнная функция задачи Штурма – Лиувилля.
( ) ~
Доказательство: из y ( x) ≠ 0 на a~, b следует, что y ( x) ≠ 0 на [a, b] . Далее,
⎧⎪ Ly = λρ ( x) y = f ( x) ∈ C ((a~, b ) )
~ b

⎨l y = l y = 0 , следовательно, y ( x) = ∫ G ( x, s ) f ( s )ds , т.е.

⎪⎩ 1 2 a

b
y( x) = λ ∫ G( x, S )ρ (S ) y(S )dS, x ∈[a, b] .
a

Обратно: из y( x) ≠∈C([a, b]) ⇒ λρ( x) y( x) ∈C([a, b]) . А тогда из (3) следует, что Ly = λρ ( x) y
и l1 y = l2 y = 0 , т.е. y (x) собственная функция задачи Штурма – Лиувилля, λ - собственное
значение. Лемма доказана.

Сведение к интегральному уравнению с симметричным ядром.

)( )
b
Умножим на ρ (x) : ρ ( x) y ( x) = λ ∫ (G ( x, S ) ρ ( x) ρ ( S ) ρ ( S ) y ( S ) dS ⇔
a
b
z ( x) = λ ∫ K ( x, S ) z ( S )dS (4), где z ( x) = ρ ( x) y ( x), K ( x, S ) = G ( x, S ) ρ ( x) ρ ( S ) ,
a

K ( x, S ) = K ( S , x) ∈ C ([a, b]× [a, b]) . Это доказывает следующую лемму.

Лемма 3: интегральное уравнение (3) эквивалентно интегральному уравнению с

симметричным ядром (4), т.е. если y ( x) ≠ 0, [a, b]∈ (3) , то z ( x) = ρ ( x) y ( x) ≠ 0, [a, b]∈ (4) .
z ( x)
Верно и обратное: из 0 ≠ z ( x) ∈ C ([a, b]) решение (4), следует, что y ( x) = ≠ 0 непр.
ρ ( x)
решение (3).

Определение: Число 0 ≠ λ ∈ C называется характеристическим числом интегрального

b
оператора ∫ K ( x, S ) z ( S )dS , если существует 0 ≠ z ( x) ∈ C ([a, b]) , такое, что
a
b
1
λ ∫ K ( x, S ) z ( S )dS = z ( x) , x ∈ [a, b] . Очевидно, число - собственное значение.
a
λ
1
Обратно: Если µ ≠ 0 ∈ C - собственное значение и z (x) - собственная функция, то λ =
µ
есть характеристическое число.

Лемма 3: (в терминах характеристических чисел). Пусть λ = 0 не собственное значение

задачи Штурма – Лиувилля. Если λ ≠ 0 ∈ C , y ( x) ≠ 0, [a, b] - собственное значение и
собственная функция задачи Штурма – Лиувилля, то λ и z ( x) = ρ y являются
характеристическим числом и собственной функцией интегрального оператора с ядром
K ( x, S ) = K ( S , x ) .
Обратно: если λ ≠ 0 ∈ C , y ( x) ≠ 0, [a, b] - характеристическое число и собственная функция
z
интегрального оператора с ядром K ( x, S ) = K ( S , x) , то λ ≠ 0 ∈ C , y ( x) = ≠ 0, [a, b ] -
ρ
собственное значение и собственная функция задачи Штурма – Лиувилля.

Напоминание: свойства интегральных операторов с действительно значным,

непрерывным, симметричным ядром.
Пусть K ( x, S ) действительно значное, непрерывное, симметричное ядро, тогда:
1) существует хоть одно характеристическое число λ (их конечное, либо бесконечное
множество; N – их количество, если их бесконечно, то N = ∞ )
2) все характеристические числа лежат в комплексной плоскости на действительной оси.
3) В каждом конечном отрезке их конечное число. Так как характеристическое число
λ ≠ 0 , то их можно упорядочить: 0 < λ1 ≤ λ2 ≤ ⋅ ⋅ ⋅ ≤ λn ≤ ⋅ ⋅ ⋅ .
4) Каждому λ соответствует конечное число линейно независимых собственных
функций и их можно выбрать действительно-значными.
b
5) Если λk ≠ λm , то ∫z
a
k ( x) z m ( x)dx = 0 - ортогональность.

6) При каждом фиксированном λm проортонормируем по Грамму – Шмидту; получим

z1 , z 2 ,⋅ ⋅ ⋅z N ,⋅ ⋅ ⋅ (конечное число, либо бесконечное). (z k , z m ) = δ km
7) Теорема Гильберта – Шмидта: каждая С- значная z ( x) ∈ C ([a, b]) , принадлежащая
b
образу интегрального оператора ( z ( x) = ∫ K ( x, S ) f ( S )dS , f ( S ) ∈ C ([a, b]) ) разлагается в
a
N
ряд: z ( x) = ∑ cn z n ( x) . При N = ∞ ряд сходится абсолютно и равномерно на [a, b] ,
n =1
b
cn = ∫ z ( x) z n ( x)dx .
a

Следствия для задачи Штурма – Лиувилля:

1) существует хоть одно собственное значение λ (их конечное, либо бесконечное

множество)
2) каждое собственное значение действительно.
3) В каждом конечном отрезке конечное количество собственных чисел. Так как все
λ ≥ Λ не собственные значения (см. теорему 3), то их можно упорядочить:
⋅ ⋅ ⋅ λn < ⋅ ⋅ ⋅λ2 < λ1 , если N = ∞ , то λn → −∞ .
4) Каждому собственному числу соответствует одна действительная собственная
функция y (x) , а остальные имеют вид: cy ( x), 0 ≠ c ∈ C .
b b
5) Из ∫ z k ( x) z m ( x)dx = δ km следует, что
a
∫y
a
k ( x) y m ( x) ρ ( x)dx = δ km .

6) Разложение по собственным функциям: каждая С - значная y ( x) ∈ C 2 ([a, b]) и

удовлетворяющая условиям l1 y = 0, l 2 y = 0 разлагается в ряд по собственным
N b
функциям: y ( x) = ∑ cn y n ( x) , cn = ∫ y( x) yn ( x) ρ ( x)dx . Если N = ∞ , то ряд сходится
n =1 a

абсолютно и равномерно на [a, b]

 ( )
Доказательство 6): Ly ≡ p ( x) y / + q( x) y = f ( x) ∈ C ([a, b]) , λ = 0 не собственное значение,
/

b b
f (S )
следовательно, y ( x) = ∫ G ( x, S ) f ( S )dS ⇔ ρ ( x ) y ( x ) = ∫ G ( x, S ) ρ ( x ) ρ ( S ) dS , по
a a ρ (S )
N
теореме Гильберта – Шмидта z ( x) = ρ ( x) y ( x) = ∑ cn z n ( x) и если N = ∞ , то сходимость
n =1
b b
абсолютная и равномерная по x ∈ [a, b] . cn = ∫ ρ ( x) y ( x) z n ( x)dx = ∫ y ( x) y n ( x) ρ ( x)dx ,
a a
N N
zn ( x)
следовательно, y (x) разлагается в ряд, y ( x) = ∑ cn = ∑ cn yn ( x) . Из того, что
n =1 ρ ( x) n=1
1 1
≤ , где m = min ρ ( x) при x ∈ [a, b ] следует, что этот ряд тоже сходится
ρ ( x) m
абсолютно и равномерно на [a, b] если N = ∞
Следствие из 6): пусть λ = 0 не собственное значение задачи Штурма – Лиувилля, тогда
множество всех собственных чисел бесконечно, т.е. N = ∞ и тогда
− ∞ ← λn ⋅ ⋅⋅ < λ2 < λ1 при n → ∞ .
Доказательство: от противного. Пусть N < ∞ , т.е.
y1 ( x) ⋅ ⋅ ⋅ y N ( x) все собственные функции задачи Штурма –
Лиувилля. Построим полиномы Pm ( x) = ( x − a ) ( x − b ) ,
m m

m = 2,...N + 2 , всего N + 1 полином,

Pm (a) = Pm (b) = 0 l1 Pm = 0
⇒ , следовательно,
Pm/ (a) = Pm/ (b) = 0 l 2 Pm = 0
Pm ( x) = c1 y1 ( x) + ⋅ ⋅ ⋅ + c N y N ( x) , N - независимых функций. Противоречие. ( N + 1 линейно
независимых векторов в N мерном пространстве).

λ = 0 собственное значение.

( )/
Если λ = 0 собственное значение, то Ly = p ( x) y / + q( x) y = 0 ⋅ ρ ( x) y ( x) = 0 . Т.к. λ = 0
( )
~
собственное значение, то y ( x) ≠ 0 на a~, b . l1 y = l 2 y = 0 , т.е. (0,0,0 ) - задача имеет
нетривиальное решение, тогда G ( x, S ) не существует. Но Λ не собственное значение для
~ ~
L . Строим L = L − Λρ ( x) I , т.е. L y = Ly − Λρ ( x) y .
~ ~
Если λ , y ( x) ≠ 0 ∈ L , то λ = (λ − Λ ) , y ( x) ∈ L .
Если Ly = λy , то L~y = Ly − Λρ ( x) y = (λ − Λ )ρ ( x) y .
~ ~ ~
( ) ~
И обратно: если λ , y ( x) ≠ 0 ∈ L , то λ + Λ , y ( x) ∈ L , следовательно, λ = 0 не собственное
~ ~ ~ ~ ~ ~
значение для L . Тогда существует G ( x, s ) для L~ и − ∞ ← ...λ2 < λ1 ⇒ −∞ ← ...λ2 + Λ < λ1 + Λ
собственные числа для L и теже собственные функции yn (x) со всеми свойствами 1)-6).

Теорема Штурма – Лиувилля.

( )/
Ly ≡ p ( x) y / + q( x) y = λρ ( x) y
l1 y = l2 y = 0, 0 < p( x) ∈ C 1 ((a~, b )), 0 < ρ ( x) & q ( x) ∈ C ((a~, b )) − R − значные
~ ~
1) Собственные числа задачи Штурма – Лиувилля существуют, все действительные и
образуют последовательность − ∞ < ⋅ ⋅ ⋅ < λ2 < λ1 .
2) Для любого собственного числа λn существует действительная собственная функция
b
y n (x) , остальные - cy n ( x), 0 ≠ c ∈ C , ∫y a
k ( x) yl ( x) ρ ( x) = δ kl .

3) Любая C - значная функция y ( x) ∈ C 2

([a, b]) , удовлетворяющая условиям l1 y = l2 y = 0 ,
∞
разлагается в ряд Фурье: y ( x) = ∑ cn y n ( x) . Ряд сходится абсолютно и равномерно на
n =1
b
[a, b] , cn = ∫ y ( x) y n ( x) ρ ( x)dx .
a

Пример:
Ly ≡ y // = λy ⎫
⎪ l y=0
l1 y ≡ y (0) = 0 ⎬ ⇒ y n ( x) = sin (nx ), n ∈ N ⇒ любая y ( x) ∈ C 2 ([a, b]) , удовлетворяющая 1 ,
⎪ l2 y = 0
l 2 y ≡ y (π ) = 0⎭
∞
разлагается в ряд: y ( x) = ∑ cn sin (nx ) , сходится абсолютно и равномерно на [0, π ] .
n =1

Замечание 1: y n ( x), [a, b] - собственная функция, следовательно существует единственная

y ( x), (a~, b ) ≡ y ( x), [a, b] .
~
собственная функция ~ n n

Замечание 2:
0 < p ( x), ρ ( x) > 0, x ∈ (a~, b )⎫⎪
~
⎬ достаточно, чтобы было выполнено на [a, b] .
p( x) ∈ C 1 (a~, b )
~ ⎪⎭

Теорема (основная): Ly ≡ A( x) y // ( x) + B( x) y / + C ( x) y = λy . A( x) ≠ 0 ни разу на a~, b , ( )

~

A( x) ∈ C1 ((a~, b )), B( x), C ( x) ∈ C ((a~, b )), R − значные, l y = l y = 0, k , k / , h, h / ∈ R, [a, b] ⊂ (a~, b )

~ ~ ~
1 2
, тогда:
1) Собственные числа существуют, все действительные и образуют последовательность:
а) если A( x) > 0 , то − ∞ ← λn ⋅ ⋅⋅ < λ2 < λ1 , n → +∞ .
б) если A( x) < 0 , то λ1 < λ2 < ⋅ ⋅ ⋅λn → +∞, n → +∞ .
2) Для любого собственного числа λn существует действительная собственная функция
b
1 ⎛ x B(t ) ⎞
y n (x) , остальные - cy n ( x), 0 ≠ c ∈ C , ∫ y k ( x) yl ( x) ρ ( x) = δ kl , ρ ( x) = exp⎜⎜ ∫ dt ⎟⎟ .
a
A( x ) ⎝a A(t ) ⎠
3) Любая C - значная функция y ( x) ∈ C 2 ([a, b]) , удовлетворяющая условиям l1 y = l 2 y = 0 ,
∞
разлагается в ряд Фурье: y ( x) = ∑ cn y n ( x) . Ряд сходится абсолютно и равномерно на
n =1
b
[a, b] , cn = ∫ y ( x) y n ( x) ρ ( x)dx .
a

Доказательство: следует из теоремы Штурма – Лиувилля.

Замечание 3: достаточно A( x) ≠ 0 и A( x) ∈ C 1 ( ) на [a, b] .
 Алгоритм нахождения собственных значений и собственных функций.

A( x) y // + B ( x) y / + [C ( x) − λ ]y = 0
(1) .
l1 y = l2 y = 0
Пусть y1 ( x, λ ), y 2 ( x, λ ) образуют базис уравнения (1), т.к. множество всех решений y (x)
уравнения (1), таких что l1 y = 0 , есть одномерное линейное пространство над полем С, то
с учетом линейной независимости y1 ( x, λ ) и y 2 ( x, λ ) получаем, что хоть одно из двух
чисел l1 y1 (⋅, λ ) либо l1 y 2 (⋅, λ ) отлично от нуля. Общее решение уравнения (1) имеет вид:
y ( x) = c1 y1 ( x, λ ) + c2 y 2 ( x, λ ) и поэтому получаем:
c1l1 y1 (⋅, λ ) + c2l1 y2 (⋅, λ ) = 0 ⎫ ⎛ c1 ⎞ ⎛ 0 ⎞
⎬, ⎜ ⎟ ≠ ⎜ ⎟ ⇔ det ( ) = 0 ⇔ λ - собственное значение.
c1l2 y1 (⋅, λ ) + c2l2 y2 (⋅, λ ) = 0⎭ ⎜⎝ c2 ⎟⎠ ⎜⎝ 0 ⎟⎠
Пусть λ - корень уравнения det ( ) = 0 . Первое уравнение линейной системы
⎛ c ⎞ ⎛ − l y (⋅, λ )⎞ ⎛c ⎞
удовлетворяется ненулевой парой: ⎜⎜ 1 ⎟⎟ = ⎜⎜ 1 2 ⎟⎟ . При таких ⎜⎜ 1 ⎟⎟ второе уравнение
⎝ c2 ⎠ ⎝ l1 y1 (⋅, λ ) ⎠ ⎝ c2 ⎠
принимает вид: − l1 y 2 (⋅, λ ) ⋅ l 2 y1 (⋅, λ ) + l1 y1 (⋅, λ ) ⋅ l 2 y 2 (⋅, λ ) = det (λ ) = 0 , т.к. λ корень. Итак,
собственная функция y ( x, λ ) соответствующая собственному числу λ имеет вид:
y ( x, λ ) = −l1 y 2 (⋅, λ ) ⋅ y1 ( x, λ ) + l1 y1 (⋅, λ ) ⋅ y 2 (x, λ ) .