Вы находитесь на странице: 1из 24

Уравнения Математической Физики

Лабораторная работа №1
Михаил Герасимов
Апрель 2021

1
Содержание
1 Введение 3

2 Задача Штурма-Лиувилля 4

3 Решение 5
3.1 Общий вид решения . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Граничные условия . . . . . . . . . . . . . . . . . . . . . . . 5

4 Периодически граничные условия 18

5 Графики собственных функций в MathCad 19

6 Основные свойства собственных чисел и собственных функ-


ций 20

7 Определения замкнутости и полноты ортонормированной


системы 21

8 Определения равномерной и поточечной сходимости ря-


дов Фурье, теорема Стеклова о равномерной сходимости 22

9 Задача 23

10 Заключение 24

2
1 Введение

3
2 Задача Штурма-Лиувилля
Задача Штурма-Лиувилля является простейшей задачей о поиске орт-
нонормированной системы: найти те значения параметра λ, при которых
существуют нетривиальные решения задачи:

X 00 + λX = 0,

αX(0) − βX 0 (0) = 0, α > 0, β > 0, α + β > 0,


γX(l) + δX 0 (l) = 0, γ > 0, δ > 0, γ + δ > 0,
а также найти эти решения. Такие значения параметра λ называются
собственными значениями, а соответствующие им нетривиальные ре-
шения - собственными функциями.

4
3 Решение
3.1 Общий вид решения
X 00 + λX = 0

1. λ=0 ⇒ X 00 = 0 ⇒ X0 = C ⇒ X = Cx + B,
B, C ∈ R
√ √
−λx
2. λ<0 ⇒ X = C1 e + C2 e− −λx
,
C1 , C2 ∈ R
√ √
3. λ>0 ⇒ X = C1 cos( λx) + C2 sin( λx),
C1 , C2 ∈ R

3.2 Граничные условия


(
αX(0) − βX 0 (0) = 0, α > 0, β > 0, α + β > 0,
γX(l) + δX 0 (l) = 0, γ > 0, δ > 0, γ + δ > 0,

α, γ = 0, β, δ > 0
1. 
βX 0 (0) = 0,

δX 0 (l) = 0.

1.1. λ = 0
X 00 = 0, X 0 = C, X = Cx + B

βC = 0 ⇒ C = 0

δC = 0 ⇒ X=B

Вывод: Xk (x) = Ck ⇒ λk = 0
По условию нормировки: (Xk , Xk ) = 1
Rl 2
C dx = 1 ⇒ Ck = √1l
0 k
1
Xk (x) = √
l

5
1.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
0
√ √
−λx
√ √
− −λx
X = C 1 −λ · e − C 2 −λ · e


β(C1 − C2 ) · −λ = 0 ⇒ C1 = C2

δ(C1 √−λ · e −λl − C2 √−λ · e− −λl ) = 0


√ √
⇒ C2 = 0


C1 = 0

C2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

1.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
0
√ √ √ √
X
 = −C 1 λ · sin( λx) + C 2 λ · cos( λx)
βC2 = 0 ⇒ C2 = 0

√ √ √ √
δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

√ √
C1 δ λ · sin( λl) = 0, C1 6= 0 (иначе тривиальное решение),
тогда:
√ 2
sin( λl) = 0 ⇒ λ = ( πk
l
)
Xk (x) = Ck · cos( πk
l
x)
По условию нормировки: (Xk , Xk ) = 1
R l 2 2 πk q
C cos ( l x) dx = 1 ⇒ Ck = 2l
0 k
q
Xk (x) = 2l · cos( πk
l
x)

2. α,
 δ = 0, β, γ > 0
βX 0 (0) = 0,

γX(l) = 0.

6
2.1. λ = 0
00 0
X
 = 0, X = C, X = Cx + B
βC = 0 ⇒ C = 0

γ(Cl + B) = 0 ⇒ B=0

Вывод: X = 0 ⇒ тривиальное решение.

2.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
0
√ √
−λx
√ √
− −λx
X = C 1 −λ · e − C 2 −λ · e


β(C1 − C2 ) · −λ = 0 ⇒ C1 = C2

√ √
γ(C1 e −λl + C2 e− −λl ) = 0

⇒ C2 = 0

C1 = 0

C2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

2.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
√ √ √ √
X 0 = −C1 λ · sin( λx) + C2 λ · cos( λx)

βC2 = 0 ⇒ C2 = 0

√ √
γ(C1 cos( λl) + C2 sin( λl)) = 0


C1 γ · cos( λl) = 0, C1 6= 0 (иначе тривиальное решение),
тогда:
√ πk 2
cos( λl) = 0 ⇒ λ = ( 2lπ + l
)
Xk (x) = Ck · cos(( 2lπ + πk
l
)x)
По условию нормировки: (Xk , Xk ) = 1

7
Rl 2

2
q
2
0
C k cos ( λk x) dx = 1 ⇒ Ck = l
q
Xk (x) = 2l · cos(( 2lπ + πk
l
)x)

3. β,
 γ = 0, α, δ > 0
αX(0) = 0,

δX 0 (l) = 0.

3.1. λ = 0
00 0
X
 = 0, X = C, X = Cx + B
αB = 0 ⇒ B = 0

δC = 0 ⇒ C=0

Вывод: X = 0 ⇒ тривиальное решение.

3.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
√ √ √ √
X 0 = C1 −λ · e −λx − C2 −λ · e− −λx


α(C1 + C2 ) · −λ = 0 ⇒ C1 = −C2

δ(C1 √−λ · e −λl − C2 √−λ · e− −λl ) = 0


√ √
⇒ C2 = 0


C1 = 0

C2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

3.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
√ √ √ √
X 0 = −C1 λ · sin( λx) + C2 λ · cos( λx)

8

αC1 = 0 ⇒ C1 = 0

√ √ √ √
δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

√ √
C2 δ λ · cos( λl) = 0, C2 6= 0 (иначе тривиальное решение),
тогда:
√ πk 2
cos( λl) = 0 ⇒ λ = ( 2lπ + l
)
Xk (x) = Ck · cos(( 2lπ + πk
l
)x)
По условию нормировки: (Xk , Xk ) = 1
Rl 2 2 √ q
C cos ( λk x) dx = 1 ⇒ Ck = 2l
0 k
q
Xk (x) = 2l · cos(( 2lπ + πk
l
)x)

4. β,
 δ = 0, α, γ > 0
αX(0) = 0,

γX(l) = 0.

4.1. λ = 0
X 00 = 0, X 0 = C, X = Cx + B

αB = 0 ⇒ B = 0

γ(Cl + B) = 0 ⇒ C=0

Вывод: X = 0 ⇒ тривиальное решение.

4.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
√ √ √ √
X 0 = C1 −λ · e −λx − C2 −λ · e− −λx


α(C1 + C2 ) · −λ = 0 ⇒ C1 = −C2

√ √
γ(C1 e −λl + C2 e− −λl ) = 0

⇒ C2 = 0

9

C 1 = 0

C 2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

4.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
√ √ √ √
X 0 = −C1 λ · sin( λx) + C2 λ · cos( λx)

αC1 = 0 ⇒ C1 = 0

√ √
γ(C1 cos( λx) + C2 sin( λx)) = 0


C2 γ · sin( λl) = 0, C2 6= 0 (иначе тривиальное решение),
тогда:
√ 2
sin( λl) = 0 ⇒ λ = ( πk
l
)
Xk (x) = Ck · cos( πk
l
x)
По условию нормировки: (Xk , Xk ) = 1
R l 2 2 πk q
C cos ( l x) dx = 1 ⇒ Ck = 2l
0 k
q
Xk (x) = 2l · cos( πk
l
x)

α = 0, β, γ, δ > 0
5. 
βX 0 (0) = 0,

γX(l) + δX 0 (l) = 0.

5.1. λ = 0
X 00 = 0, X 0 = C, X = Cx + B

βC = 0 ⇒ C = 0

γ(Cl + B) + δC = 0 ⇒ B=0

10
Вывод: X = 0 ⇒ тривиальное решение.

5.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
√ √ √ √
X 0 = C1 −λ · e −λx − C2 −λ · e− −λx


β(C1 − C2 ) · −λ = 0 ⇒ C1 = C2

γ(C1 e −λl + C2 e− −λl ) + δ(C1 √−λ · e −λl − C2 √−λ · e− −λl ) = 0


√ √ √ √
⇒ C2 = 0


C 1 = 0

C 2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

5.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
0
√ √ √ √
X
 = −C 1 λ · sin( λx) + C 2 λ · cos( λx)
βC2 = 0 ⇒ C2 = 0

√ √ √ √ √ √
γ(C1 cos( λl) + C2 sin( λl)) + δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

√ √ √
C1 (γcos( λl) − δ λ · sin( λl)) = 0, C1 6= 0 (иначе триви-
альное решение), тогда:
√ √ √
γcos( λl) − δ λ · sin( λl) = 0 / · cos(1√λl)
√ γ
tg( λl) = β √ λ
- множество решений λk , (k = 1, 2, ...), тогда:

Xk (x) = Ck · cos( λk x)
По условию нормировки: (Xk , Xk ) = 1
Rl 2 2 √ q √
4 λk √
0
C k cos ( λ k x) dx = 1 ⇒ C k = √
2 λk l+sin(2 λk l)
q
4

λ

Xk (x) = 2√λk l+sin(2 k √
λk l)
· cos( λk x)

6. β = 0, α, γ, δ > 0

11

αX(0) = 0,

γX(l) + δX 0 (l) = 0.

6.1. λ = 0
X 00 = 0, X 0 = C, X = Cx + B

αB = 0 ⇒ B = 0

γ(Cl + B) + δC = 0 ⇒ C=0

Вывод: X = 0 ⇒ тривиальное решение.

6.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
0
√ √
−λx
√ √
− −λx
X
 = C 1 −λ · e − C 2 −λ · e
α(C1 + C2 ) = 0 ⇒ C1 = −C2

γ(C1 e −λl + C2 e− −λl ) + δ(C1 √−λ · e −λl − C2 √−λ · e− −λl ) = 0


√ √ √ √
⇒ C2 = 0


C 1 = 0

C 2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

6.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
0
√ √ √ √
X
 = −C 1 λ · sin( λx) + C 2 λ · cos( λx)
αC1 = 0 ⇒ C1 = 0

√ √ √ √ √ √
γ(C1 cos( λl) + C2 sin( λl)) + δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

√ √ √
C2 (γsin( λl) + δ λ · cos( λl)) = 0, C2 6= 0 (иначе триви-
альное решение), тогда:

12
√ √ √
γsin( λl) + δ λ · cos( λl) = 0 / · cos(1√λl)
√ √
tg( λl) = − δ γ λ - множество решений λk , (k = 1, 2, ...), тогда:

Xk (x) = Ck · sin( λk x)
По условию нормировки: (Xk , Xk ) = 1
Rl 2 2 √ q √
4 λk √
0
C k sin ( λk x) dx = 1 ⇒ C k = √
2 λk l−sin(2 λk l)
q
4

λ

Xk (x) = 2√λk l−sin(2√λk l) · sin( λk x)
k

7. γ
= 0, α, β, δ > 0
αX(0) − βX 0 (0) = 0,

δX 0 (l) = 0.

7.1. λ = 0
00 0
X
 = 0, X = C, X = Cx + B
δC = 0 ⇒ C = 0

αB − βC = 0

⇒ B=0

Вывод: X = 0 ⇒ тривиальное решение.

7.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
√ √ √ √
X 0 = C1 −λ · e −λx − C2 −λ · e− −λx
√ √

√ √ √
δ(C1 −λ · e −λl − C2 −λ · e− −λl ) = 0 ⇒ C2 = C1 e2 −λl

α(C1 + C2 ) − β(C1 √−λ − C2 √−λ) = 0 ⇒ C1 = 0




C1 = 0

C2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

13
7.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
0
√ √ √ √
X = −C 1 λ · sin( λx) + C 2 λ · cos( λx)
√ √ √ √ √

δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

⇒ C2 = C1 tg( λl)

αC1 − βC2 λ = 0

√ √
C1 (α − β λ · tg( λl)) = 0, C1 6= 0 (иначе тривиальное ре-
шение), тогда:
√ α
tg( λl) = β √ λ
- множество решений λk , (k = 1, 2, ...), тогда:
√ √
Xk (x) = Ck (cos( λk x) + β √αλk sin( λk x))
По условию нормировки: (Xk , Xk ) = 1
Rl 2 √ α

0
C k (cos( λ k x) + √
β λ
sin( λk x))2 dx = 1
1
Ck = r
4l

λk −sin(2l

λk ) cos(2l

λ )
√ √
4l λk −cos(2l λk )
α2
· √ − √α · √ k + √
β 2 λk 8· λk β λk 8· λk 8· λk

√ √
cos( λk x)+ √α sin( λk x)
β λk
Xk (x) = r √ √
4l λk −sin(2l λk )

cos(2l λk )
√ √
4l λk −cos(2l λk )
α2
· √ − √α · √ + √
β 2 λk 8· λk β λk 8· λk 8· λk

8. δ= 0, α, β, γ > 0
αX(0) + βX 0 (0) = 0,

γX(l) = 0.

8.1. λ = 0
X 00 = 0, X 0 = C, X = Cx + B

γ(Cl + B) = 0 ⇒ B = −Cl

αB − βC = 0

⇒ C(β + αl) = 0 ⇒ C=0

B = 0

C = 0

14
Вывод: X = 0 ⇒ тривиальное решение.

8.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
0
√ √
−λx
√ √
− −λx
X
 = C 1 −λ · e − C 2 −λ · e
√ √ √
γ(C1 e −λl + C2 e− −λl ) = 0 ⇒ C2 = C1 e2 −λl

α(C1 + C2 ) − β(C1 √−λ − C2 √−λ) = 0 ⇒ C1 = 0




C1 = 0

C2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

8.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
√ √ √ √
X 0 = −C1 λ · sin( λx) + C2 λ · cos( λx)
√ √ √

γ(C1 cos( λl) + C2 sin( λl)) = 0 ⇒ C1 = −C2 tg( λl)


αC1 − βC2 λ = 0

√ √
C2 (αtg( λl) + β λ) = 0, C2 6= 0 (иначе тривиальное реше-
ние), тогда:
√ √
tg( λl) = − β α λ - множество решений λk , (k = 1, 2, ...), тогда:
√ √ √
Xk (x) = Ck ( β αλk cos( λk x) + sin( λk x))
По условию нормировки: (Xk , Xk ) = 1
R l 2 β √λ √ √
C ( α cos( λk x) + sin( λk x))2 dx = 1
0 k
1
Ck = r
β 2 λk 4l

λk −sin(2l

λk ) β
√ √
λk sin(2l λk ) 4l

λk −cos(2l

λk )
· √ − · √ + √
α2 8· λk α 8· λk 8· λk

15

β λk √ √
cos( λk x)+sin( λk x)
Xk (x) = r
β 2 λk 4l
√ α

λk −sin(2l λk )

β λ

sin(2l λk )
√ √
4l λk −cos(2l λk )
· √ − α k· √ + √
α2 8· λk 8· λk 8· λk

9. α,
 β, γ, δ > 0
αX(0) − βX 0 (0) = 0,

γX(l) + δX 0 (l) = 0.

9.1. λ = 0
00 0
X
 = 0, X = C, X = Cx + B
αB − βC = 0 ⇒ C = α B

β

γ(Cl + B) + δC = 0 ⇒ B=0


C 1 = 0

C 2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

9.2. λ < 0
√ √
X = C1 e −λx + C2 e− −λx
0
√ √
−λx
√ √
− −λx
X = C 1 −λ · e − C 2 −λ · e

 √
α(C1 + C2 ) − β(C1 − C2 ) · −λ = 0 ⇒ C1 = √−λβ+α C2

−λβ−α
√ √ √ √ √ √
γ(C1 e −λl + C2 e− −λl ) + δ(C1 −λ · e −λl − C2 −λ · e− −λl ) = 0 ⇒ C2 = 0


C 1 = 0

C 2 = 0

Вывод: X = 0 ⇒ тривиальное решение.

9.3. λ > 0
√ √
X = C1 cos( λx) + C2 sin( λx)
√ √ √ √
X 0 = −C1 λ · sin( λx) + C2 λ · cos( λx)

16
√ √

αC1 − βC2 λ = 0 ⇒ C1 = αβ λC2

√ √ √ √ √ √
γ(C1 cos( λl) + C2 sin( λl)) + δ(−C1 λ · sin( λl) + C2 λ · cos( λl)) = 0

√ √ √ √ √ √
C2 (γ( αβ λ·cos( λl)+sin( λl))+δ( λ·cos( λl)− αβ λ·sin( λl))) =
0, C2 6= 0 (иначе тривиальное решение), тогда:
√ √ √ √ √ √
γ( αβ λ·cos( λl)+sin( λl))+δ( λ·cos( λl)− αβ λ·sin( λl)) = 0
√ √ √ √
sin( λl)·(γ − αβ λδ)+cos( λl)·( αβ λ·γ +δ λ) = 0 /· cos(1√λl)
√ β
√ √
λ·γ+δ λ
tg( λl) = α β λδ−γ - множество решений λk , (k = 1, 2, ...), то-
α

гда:
√ √ √
Xk (x) = Ck · ( αβ λk · cos( λk x) + sin( λk x))
По условию нормировки: (Xk , Xk ) = 1
R l 2 β√ √ √
C ( λk · cos( λk x) + sin( λk x))2 dx = 1
0 k α
1
Ck = r
β 2 λk 4l

λk −sin(2l

λk ) β
√ √
λk sin(2l λk ) 4l

λk −cos(2l

λk )
· √ − · √ + √
α2 8· λk α 8· λk 8· λk

β√ √ √
λk ·cos( λk x)+sin( λk x)
Xk (x) = r
β 2 λk 4l
√ α

λk −sin(2l λk )

β λ

sin(2l λk )
√ √
4l λk −cos(2l λk )
· √ − α k· √ + √
α2 8· λk 8· λk 8· λk

17
4 Периодически граничные условия

18
5 Графики собственных функций в MathCad
1. α, γ = 0,β, δ > 0
q
Xk (x) = 2l · cos( πk
l
x)

2. α, δ = 0,β, γ > 0
q
Xk (x) = 2l · cos(( 2lπ + πk
l
)x)

19
6 Основные свойства собственных чисел и соб-
ственных функций

20
7 Определения замкнутости и полноты орто-
нормированной системы

21
8 Определения равномерной и поточечной схо-
димости рядов Фурье, теорема Стеклова о
равномерной сходимости

22
9 Задача

23
10 Заключение

24