Luận văn thạc sĩ toán Ứng dụng bài toán sturm liouville ngược

Luận văn thạc sĩ toán Ứng dụng bài toán sturm liouville ngược KIẾN THỨC CHUẨN BỊ Trong chương này, chúng tôi tổng hợp một số kiến thức hiện có về không gian Lebesgue L2, định nghĩa thặng dư, nguyên lý cực đại, phương trình tích phân Volterra. 1.1. Không gian L2 và các bất đẳng thức Định nghĩa 1.1 (Không gian L2[1]). Đối với tập Ω mở ra trong Rn, ta định nghĩa không gian L2(Ω) là không gian các hàm g đo được trên Ω thỏa mãn điều kiện sau ∥g∥L2(Ω) = ZΩ |g(t)|2dt 12 < ∞. Ta định nghĩa không gian L∞(Ω) là không gian các hàm g đo được trên Ω thỏa mãn điều kiện ∥g∥L∞(Ω) = ess sup |g| < ∞, trong đó ess sup |g| := inf{M > 0 : µ(t ∈ Ω : |g(t)| > M) = 0} với µ là độ đo Lebesgue. Trong không gian L2, hai hàm được coi là đồng nhất khi chúng bằng nhau hầu khắp nơi. Định nghĩa 1.2 (Không gian L2 loc [1]). Giả sử Ω là tập mở trong Rn. Chúng ta định nghĩa không gian L2 loc(Ω) là không gian của các hàm g đo được trên Ω sao cho đối với mọi tập mở H nằm trong tập mở Ω, thì g ∈ L2(H). Định lý 1.1 (Định lý hội tụ đơn điệu [1]). Giả sử Ω là tập mở trong Rd và {gn}∞ n=1 là một dãy hàm trong không gian L1(Ω) thoả mãn (i) gh(t) ≤ gh+1(t) h.k.n trong Ω với mọi h ∈ N. (ii) supn∈N RΩ gn(t)dt < ∞. Khi đó gn(t) hội tụ h.k.n trong Ω khi n dần tới ∞. Ta đặt lim n→∞ gn(t) = g(t), h.k.n trong Ω thì hàm g thuộc vào L1(Ω) và khi đó lim n→∞ ZΩ gn(t)dt = ZΩ g(t)dt. Định lý 1.2 (Định lý hội tụ chặn [1]). Giả sử Ω là tập mở trong Rd và {gn}∞ n=1 là một dãy hàm trong không gian L1(Ω), thoả mãn (i) Hàm gn(t) tiến tới hàm g(t) h.k.n trong Ω khi n dần tới ∞. (ii) Tồn tại một hàm f thuộc vào L1(Ω) sao cho |gn(t)| nhỏ hơn hoặc bằng f(t) h.k.n trong Ω với mọi n thuộc N. Khi đó, hàm g thuộc L1(Ω) và giới hạn của RΩ gn(t)dt khi n dần tới ∞ và RΩ g(t)dt bằng nhau. Bổ đề 1.1 (Bổ đề Fatou [1]). Giả sử Ω là tập mở trong Rd và {gn}∞ n=1 là một dãy hàm trong không gian L1(Ω), thoả mãn (i) Hàm gn(t) lớn hơn hoặc bằng 0 h.k.n trong Ω với mọi n thuộc N. (ii) supn∈N RΩ gn(t)dt < ∞. Ta đặt lim inf n→∞ gn(t) = g(t), với hầu khắp t trong Ω. Khi đó, hàm g thuộc L1(Ω) và ZΩ g(t)dt ≤ lim inf n→∞ ZΩ gn(t)dt. Định lý 1.3 (Định lý Fubini [1]). Với Ω1 là tập mở trong Rn và Ω2 là tập mở trong Rm và giả sử G thuộc không gian L1 (Ω1 × Ω2), thì đối với hầu hết các t trong Ω1, G(t, z) ∈ L1 z (Ω2) và ZΩ2 G(t, z)dz ∈ L1 t (Ω1) . Tương tự như vậy, với hầu hết các z trong Ω2, G(t, z) ∈ L1 t (Ω1) và ZΩ1 G(t, z)dz ∈ L1 z (Ω2) . Ta cũng có ZΩ1 dt ZΩ2 G(t, z)dz = ZΩ2 dz ZΩ1 G(t, z)dt = ZZΩ1×Ω2 G(t, z)dtdz. Định lý 1.4 (Định lý Tonelli [1]). Giả sử Ω1 là tập mở trong Rn và Ω2 là tập mở trong Rm và giả sử G : Ω1 × Ω2 → R là một hàm đo được thoả mãn các điều kiện sau (i) RΩ2 |G(t, z)|dz < ∞ với hầu khắp t trong Ω1. (ii) RΩ1 RΩ2 |G(t, z)|dz dt < ∞. Khi đó G thuộc L1(Ω1 × Ω2). Định lý 1.5 (Bất đẳng thức H¨older [2]). Giả sử g thuộc không gian L2(Ω) và f cũng thuộc không gian L2(Ω). Khi đó ZΩ |g(t)f(t)|dt ≤ ∥g∥L2(Ω)∥f∥L2(Ω). Định nghĩa 1.3 (Định nghĩa tích chập [1]). Với g và f là các hàm đo được từ Rd vào R, chúng ta định nghĩa tích chập của g và f như sau: (g ∗ f)(t) := ZRd g(t − z)f(z)dz. Định lý 1.6 (Bất đẳng thức Young [1]). Giả sử g thuộc L2(Rd) và f thuộc Lq(Rd) với 1 ≤ q ≤ ∞. Khi đó ta có g ∗ f thuộc Lr(Rd) và ∥g ∗ f∥Lr(Rd) nhỏ hơn hoặc bằng ∥g∥L2(Rd)∥f∥Lq(Rd), trong đó 1r = 12 + 1q − 1 ≥ 0. Mệnh đề 1.1 (xem Mệnh đề IV.19 trong [1]). Giả sử hàm g thuộc Cc(Rd) (trong đó Cc(Rd) là không gian các hàm liên tục và có giá compact trong Rd) và hàm f thuộc L1 loc(Rd). Khi đó (g ∗ f)(t) luôn được xác định với mọi t thuộc vào Rd và g ∗ f thuộc trong C(Rd). Mệnh đề 1.2 (xem Mệnh đề IV.20 trong [1]). Giả sử g thuộc Cck(Rd) với k thuộc N và f thuộc L1 loc(Rd). Khi đó (g ∗ f)(t) luôn được xác định với mọi t thuộc Rd và g ∗ f thuộc C(Rd). Hơn nữa Dα(g ∗ f) = (Dαg) ∗ f, với mọi α thuộc Zd + sao cho |α| nhỏ hơn hoặc bằng k. Hơn nữa, nếu g thuộc Cc∞(Rd) và f thuộc L1 loc(Rd) thì ta có g ∗ f cũng thuộc trong C∞(Rd). Hệ quả 1.1 (xem Hệ quả IV.23 trong [1]). Giả sử Ω là một tập mở trong Rd thì C∞ c (Ω) là trù mật trong L2(Ω). 1.2. Định nghĩa thặng dư Trong giải tích phức, thặng dư là một số phức tỷ lệ với tích phân đường của hàm phân hình dọc theo một đường cong kín bao quanh một điểm kì dị của nó. Định nghĩa 1.4 (Định nghĩa thặng dư (giải tích phức)). Thặng dư của hàm phân hình g tại một điểm kì dị b, thường được kí hiệu Res(g, b) hoặc Resb(g), là 1. Giá trị 21πi RC g(y)dy, với C là một đường cong kín định hướng dương bao quanh một điểm kì dị cô lập b. 2. Cũng là giá trị duy nhất R sao cho g(y) − R y−b có một nguyên hàm giải tích trong một đĩa bị thủng 0 < |y − b| < δ. 3. Cũng là giá trị hệ số b−1 của khai triển Laurent của hàm g tại điểm b. Ví dụ: Tại một điểm cực điểm đơn c, thặng dư của hàm g thỏa mãn Res(g, c) = lim y→c (y − c)g(y). 1.3. Nguyên lý cực đại Nguyên lý 1.7 (Nguyên lý cực đại). Cho g : D → R là hàm điều hòa, trong D là miền (mở, liên thông) bị chặn trong Rn được bao quanh bởi biên C. Giả sử thêm g liên tục đến tận biên C. Khi đó, hàm g hoặc là hàm hằng hoặc chỉ đạt giá trị lớn nhất trên biên C. 1.4. Phương trình tích phân Volterra Định lý 1.8. Cho H là một ánh xạ liên tục từ [0, c] × [0, c] vào R. Đặt E là không gian các ánh xạ liên tục từ [0, c] vào Rm với chuẩn ||t|| = sup 0≤x≤c (|t(x)|) với mọi t trong E. Cho b là một phần tử trong E và µ trong R. Khi đó phương trình tích phân Volterra tuyến tính sau đây có một nghiệm duy nhất trong E t(x) = b(x) + µ R0x H(x, s)t(s)ds.

VÀ ĐÀO TẠO VÀ CÔNG NGHỆ VIỆT NAM

HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ

————————————

NGUYỄN THỊ DUNG

BÀI TOÁN STURM-LIOUVILLE NGƯỢC

LUẬN VĂN THẠC SĨ TOÁN ỨNG DỤNG

HÀ NỘI - 2023

MỞ ĐẦU 1

CHƯƠNG 1 KIẾN THỨC CHUẨN BỊ 2

1.1 Không gian L2 và các bất đẳng thức 2

1.2 Định nghĩa thặng dư 4

1.3 Nguyên lý cực đại 5

1.4 Phương trình tích phân Volterra 5

CHƯƠNG 2 BÀI TOÁN STURM-LIOUVILLE NGƯỢC 6

2.1 Công thức tiệm cận của giá trị riêng của bài toán Sturm-Liouville 6

2.2 Tính chất của các hàm riêng 16

2.2.1 Định lý về tính đầy đủ và định lý về khai triển 16

2.2.2 Dao động của các hàm riêng 19

2.3 Toán tử biến đổi 21

2.4 Tính duy nhất nghiệm của bài toán ngược 26

2.4.1 Định lý Ambarzumian 27

2.4.2 Tính duy nhất của việc khôi phục các phương trình vi phân từ dữ liệu phổ 27

CHƯƠNG 3 PHƯƠNG PHÁP GELFAND-LEVITAN 30

3.1 Một số kết quả bổ trợ 30

3.2 Khôi phục các toán tử vi phân từ dữ liệu phổ 35

Tài liệu tham khảo 52

Ký hiệu Tên gọi

R Tập hợp các số thực

C Tập hợp các số phức

Z+ Tập hợp các số nguyên không âm

∥ · ∥ Chuẩn của một vectơ hoặc ma trận

C([c, d]) Không gian các hàm liên tục trên [c, d]

Ck([c, d]) Không gian các hàm có đạo hàm cấp k liên tục trên [c, d]

C c (Ω) Không gian các hàm liên tục và có giá compact trong Ω

Cck(Ω) Không gian các hàm khả vi liên tục k lần

và có giá compact trong Ω

Cc∞(Ω) Không gian các hàm khả vi vô hạn có giá compact trong Ω

Dtα Đạo hàm Riemann-Liouville

D(A) Miền của toán tử tuyến tính A

X′ Không gian đối ngẫu của không gian Banach X

A′ Toán tử tuyến tính đối ngẫu của toán tử tuyến tính A

MỞ ĐẦU

Lý thuyết toán tử là một lĩnh vực quan trọng của Toán học Ngày nay, nhiều ngànhKhoa học như Vật lý, Khoa học dữ liệu, đều liên quan đến lý thuyết toán tử.Trong số đó, bài toán Sturm-Liouville ngược là bài toán cổ điển của lý thuyết toán tử.Bài toán Sturm-Liouville ngược được nhà vật lý Viktor Ambarzumian ( ¨Uber EinigeFragen der Eigenwerttheorie Z Phys., 53 (1929), 690-695) đề xuất nghiên cứu vàonăm 1928 Đó là bài toán xác định hàm thế vị qua phổ của toán tử Bài toán này sau đóđược G¨oran Borg (Eine Umkehrung der Sturm-Liouvilleschen Eigenwertaufgabe Bes-timmung der Differentialgleichung durch die Eigenwerte Acta Math 78 (1946), 1–96)nghiên cứu và kể từ đó tới nay có hàng ngàn bài báo và sách chuyên khảo viết về bàitoán này

Bởi tầm quan trọng của toán tử Sturm-Liouville và được sự gợi ý, hướng dẫn của GS.TSKH Đinh Nho Hào nên tôi đã thực hiện đề tài "Bài toán Sturm-Liouville" đểhoàn thành luận văn tốt nghiệp cao học của mình Luận văn bao gồm ba chương.Chương 1: Kiến thức chuẩn bị Trong chương này, chúng tôi sẽ trình bày những kiếnthức cơ bản về không gian L2 và các bất đẳng thức, định nghĩa thặng dư, nguyên lýcực đại, phương trình tích phân Volterra

Chương 2: Bài toán Sturm-Liouville ngược Chương này tập trung vào việc giớithiệu công thức tiệm cận của các giá trị riêng trong bài toán Sturm-Liouville, phântích tính chất của các hàm riêng tương ứng, xem xét toán tử biến đổi, và nghiên cứutính duy nhất nghiệm của bài toán ngược

Chương 3: Phương pháp Gelfand-Levitan Trong chương này, chúng tôi trình bàymột số kết quả bổ trợ và khôi phục các toán tử vi phân từ dữ liệu phổ

Chương 1

KIẾN THỨC CHUẨN BỊ

Trong chương này, chúng tôi tổng hợp một số kiến thức hiện có về không gian Lebesgue

L2, định nghĩa thặng dư, nguyên lý cực đại, phương trình tích phân Volterra

Định nghĩa 1.2 (Không gianL2loc [1]) Giả sửΩ là tập mở trong Rn. Chúng ta địnhnghĩa không gianL2loc(Ω) là không gian của các hàm g đo được trên Ω sao cho đối vớimọi tập mở H nằm trong tập mở Ω, thì g ∈ L2(H)

Định lý 1.1 (Định lý hội tụ đơn điệu [1]) Giả sử Ω là tập mở trong Rd và {g n }∞n=1

là một dãy hàm trong không gian L1(Ω) thoả mãn

(i) gh(t) ≤ gh+1(t) h.k.n trong Ω với mọi h ∈N.

(ii) supn∈NRΩgn(t)dt < ∞.

Khi đó g n (t) hội tụ h.k.n trong Ω khi n dần tới ∞. Ta đặt

lim

n→∞ gn(t) = g(t),

h.k.n trong Ω thì hàm g thuộc vào L1(Ω) và khi đó

(i) Hàm gn(t) tiến tới hàm g(t) h.k.n trong Ω khi n dần tới ∞.

(ii) Tồn tại một hàm f thuộc vào L1(Ω) sao cho |gn(t)| nhỏ hơn hoặc bằng f (t)h.k.ntrong Ω với mọi n thuộc N.

Khi đó, hàm g thuộc L1(Ω) và giới hạn của R

Định lý 1.3 (Định lý Fubini [1]) Với Ω1 là tập mở trong Rn và Ω2 là tập mở trong

Rm và giả sử G thuộc không gian L1(Ω 1 × Ω2), thì đối với hầu hết các t trong Ω 1,

G(t, z) ∈ L1z(Ω2) và

Z

Ω 2 G(t, z)dz ∈ L1t (Ω1)

Tương tự như vậy, với hầu hết các z trong Ω2,

G(t, z) ∈ L1t (Ω1) và

Z

Ω 1 G(t, z)dz ∈ L1z(Ω2)

Định lý 1.4 (Định lý Tonelli [1]) Giả sử Ω1 là tập mở trong Rn và Ω2 là tập mởtrong Rm và giả sử G : Ω1× Ω2→R là một hàm đo được thoả mãn các điều kiện sau

Định lý 1.6 (Bất đẳng thức Young [1]) Giả sử g thuộc L2(Rd) và f thuộc Lq(Rd)

với 1 ≤ q ≤ ∞ Khi đó ta có g ∗ f thuộc Lr(Rd) và ∥g ∗ f ∥Lr (R d ) nhỏ hơn hoặc bằng

∥g∥L2 (R d ) ∥f ∥Lq (R d ) , trong đó 1r = 12 +1q − 1 ≥ 0

Mệnh đề 1.1 (xem Mệnh đề IV.19 trong [1]) Giả sử hàm g thuộc Cc(Rd) (trong đó

Cc(Rd) là không gian các hàm liên tục và có giá compact trong Rd) và hàm f thuộc

L1loc(Rd). Khi đó (g ∗ f )(t) luôn được xác định với mọi t thuộc vào Rd và g ∗ f thuộctrong C(Rd).

Mệnh đề 1.2 (xem Mệnh đề IV.20 trong [1]) Giả sử g thuộc Cck(Rd) với k thuộc N

và f thuộc L1loc(Rd). Khi đó (g ∗ f )(t) luôn được xác định với mọi t thuộc Rd và g ∗ f

thuộc C(Rd). Hơn nữa

Dα(g ∗ f ) = (Dαg) ∗ f,

với mọi α thuộc Zd+ sao cho |α| nhỏ hơn hoặc bằng k.

Hơn nữa, nếu g thuộc Cc∞(Rd) và f thuộc L1loc(Rd) thì ta có g ∗ f cũng thuộc trong

Định nghĩa 1.4 (Định nghĩa thặng dư (giải tích phức)) Thặng dư của hàm phânhình g tại một điểm kì dị b, thường được kí hiệu Res(g, b) hoặc Resb(g), là

1 Giá trị 2πi1 RCg(y)dy, với C là một đường cong kín định hướng dương bao quanhmột điểm kì dị cô lập b

2 Cũng là giá trị duy nhất R sao cho g(y) − y−bR có một nguyên hàm giải tích trongmột đĩa bị thủng 0 < |y − b| < δ

3 Cũng là giá trị hệ số b−1 của khai triển Laurent của hàm g tại điểm b

Ví dụ: Tại một điểm cực điểm đơn c, thặng dư của hàm g thỏa mãn

1.4 Phương trình tích phân Volterra

Định lý 1.8 Cho H là một ánh xạ liên tục từ [0, c] × [0, c] vào R Đặt E là khônggian các ánh xạ liên tục từ [0, c] vào Rm với chuẩn

Chương 2

BÀI TOÁN STURM-LIOUVILLE NGƯỢC

2.1 Công thức tiệm cận của giá trị riêng của bài toán Sturm-LiouvilleXét bài toán giá trị biên D= D(q(t), k, K):

dz = −z′′+ q(t)z = mz, 0 < t < π, (2.1.1)

U (z) = z′(0) − kz(0) = 0, V (z) = z′(π) + Kz(π) = 0 (2.1.2)

Ở đây,m là tham số phổ; k và K là số thực;q(t) ∈ L2(0, π), q được gọi là thế vị Toán

tử d được gọi là toán tử Sturm-Liouville

Chúng ta quan tâm đến nghiệm không tầm thường của bài toán giá trị biên (2.1.2)

(2.1.1)-Định nghĩa 2.1 [3] Các giá trị của tham sốm mà Dcó các nghiệm khác 0 được gọi

là các giá trị riêng, và nghiệm không tầm thường tương ứng được gọi là hàm riêng.Tập tất cả các giá trị riêng được gọi là phổ của D

Trong phần này, chúng ta nghiên cứu các tính chất phổ đơn giản nhất của D, cũngnhư dáng điệu tiệm cận của các giá trị riêng và hàm riêng Lưu ý rằng chúng ta cũng

có thể nghiên cứu cho các loại điều kiện biên khác, như

Với mỗi t cố định, u(t, m), v(t, m), S(t, m),C(t, m) là các hàm nguyên theo m Rõ ràngrằng,

U (u) = u′(0, m) − ku(0, m) = 0, V (v) = v′(π, m) + Kv(π, m) = 0. (2.1.3)

Kí hiệu

∆(m) = ⟨v(t, m), u(t, m)⟩, (2.1.4)trong đó ⟨z(t), y(t)⟩ = z(t)y′(t) − z′(t)y(t) là Wronskian của z và y

Theo công thức Liouville⟨v(t, m), u(t, m)⟩ không phụ thuộc vào t Hàm ∆(m)được gọi

là hàm đặc trưng của D Thay t = 0 và t = π vào (2.1.4), ta được

Chứng minh 1) Giả sử m0 là không điểm của ∆(m) Khi đó, theo (2.1.3)-(2.1.5), ta

có v(t, m0) = β0u(t, m0) và hàm v(t, m0), u(t, m0) thỏa mãn điều kiện biên (2.1.2) Do

đó, m0 là một giá trị riêng, và v(t, m0), u(t, m0) là các hàm riêng tương ứng với m0.2) Cho m0 là một giá trị riêng của D, và z0 là hàm riêng tương ứng Khi đó, ta có

đó, z0(t) ≡ u(t, m0) Vậy nên, từ (2.1.5) ta có ∆(m0) = V (u(t, m0)) = V (z0(t)) Chúng

ta chứng minh được rằng đối với mỗi giá trị riêng chỉ tồn tại một hàm riêng theo một

Trong toàn bộ chương này, chúng ta sử dụng kí hiệu

αn =

Z π 0

u2(t, mn)dt. (2.1.7)

Các số {αn} được gọi là số trọng số và các số {mn, αn} được gọi là "dữ liệu phổ củaD".

Bổ đề 2.1 Ta có

βnαn = − ˙ ∆(mn), (2.1.8)trong đó các số βn được xác định bởi (2.1.6) và ∆(m) =˙ dmd ∆(m).

Chứng minh Vì−v ” (t, m)+q(t)v(t, m) = mv(t, m)và−u ” (t, mn)+q(t)u(t, mn) = mnu(t, mn)

Hơn nữa ⟨v(t, m), u(t, m n )⟩ = v(t, m)u′(t, m n ) − v′(t, m)u(t, m n ) nên chúng ta có

d

dt ⟨v(t, m), u(t, mn)⟩ = v(t, m)u′′(t, mn) − v′′(t, m)u(t, mn)

= v(t, m) · [q(t)u(t, mn) − mnu(t, mn)] − [q(t)v(t, m) − mv(t, m)] · u(t, mn)

Chứng minh Cho mn và mh (mn ̸= mh) là các giá trị riêng tương ứng với các hàmriêng zn(t) và zh(t)

Lấy tích phân từng phần ta nhận được

Rπ

0 dz n (t)zh(t)dt =R0πz n (t)dzh(x)dt.

Do vậy mnR0πzn(t)zh(t)dt = mhR0πzn(t)zh(t)dt, hay là R0πzn(t)zh(t)dt = 0.

Hơn nữa, giả sử m0 = φ + iψ, ψ ̸= 0 là một giá trị riêng không thực ứng với hàm riêng

z0(t) ̸= 0 Vì k và K là thực nên ta có: m 0 = φ − iψ cũng là giá trị riêng ứng với hàmriêng z 0 (t) Vì m0̸= m 0, nên ta có

||z 0 ||2L

2 =R0πz0(t)z 0 (t)dt = 0.

Mà điều này không thể xảy ra

Vậy tất cả các giá trị riêng {mn} của D là thực, và do đó, các hàm riêng u(t, mn) và

v(t, mn) cũng là thực Vì αn ̸= 0, βn ̸= 0, nên từ (2.1.8) ta nhận được ∆(m˙ n) ̸= 0.

■

Bổ đề 2.2 Khi |τ | → ∞, ta có các công thức tiệm cận sau đây

u(t, m) = cos τ t + O|τ |1 exp(|ρ|t)= O (exp(|ρ|t)) ,

u′(t, m) = −τ sin τ t + O (exp(|ρ|t)) = O (|τ | exp(|ρ|t)) ,

v(t, m) = cos τ (π − t) + O|τ |1 exp(|ρ|(π − t))= O (exp(|ρ|(π − t))) ,

v′(t, m) = τ sin τ (π − t) + O (exp(|ρ|(π − t))) = O (|τ | exp(|ρ|(π − t))) ,

đều đối với t ∈ [0, π] Ở đây và phần tiếp theo, m = τ2, ρ = Imτ, còn O là kí hiệuLandau

Nhắc lại về ký hiệu O: Giả sử g(t) và f (t)là hai hàm số định nghĩa trên tập số thực

Ta viết như sau

g(t) = O(f (t)) khi t → ∞ khi và chỉ khi tồn tại một hằng số M khác 0 sao chovới mọi giá trị đủ lớn của t, g(t) nhỏ hơn M lần f (t) về giá trị tuyệt đối Có nghĩa

là, g(t) = O(f (t)) khi và chỉ khi tồn tại số thực dương M và số thực t0 sao cho

|g(t)| ≤ M |f (t)| với mọi t > t 0

Trong nhiều trường hợp, giả thiếtt tiến đến vô cùng là ngầm hiểu, và ta chỉ cần viết

g(t) = O(f (t)) Ký hiệu này cũng có thể dùng để mô tả giá trị của g xung quanh giátrị b (thông thường, b = 0), ta nói g(t) = O(f (t)) khi t → b khi và chỉ khi tồn tại các

số thực dương δ và M sao cho |g(t)| ≤ M |f (t)| khi |t − b| < δ.

Nếu f (t) là khác không khi t đủ gần b, cả hai định nghĩa đều có thể được viết bằnggiới hạn trên:

Chứng minh Ta chứng minh rằng

u(t, m) = cos τ t + ksin τ t

τ +

Z t 0

sin τ (t − x)

τ q(x)u(x, m)dx. (2.1.11)Thật vậy, phương trình tích phân Volterra

z(t, m) = cos τ t + ksin τ tτ +R0tsin τ (t−x)τ q(x)z(x, m)dx

có một nghiệm duy nhất Mặt khác, nếu một hàmz(t, m) thỏa mãn phương trình nàythì bằng cách lấy đạo hàm chúng ta sẽ có

nên hàm u(t, m) := v(π − t, m) ˜ thỏa mãn hệ

−˜ u′′(t, m) + q(π − t)˜ u(t, m) = m˜ u(t, m), u(0, m) = 1, ˜ u ˜′(0, m) = K.

Vì vậy, các công thức tiệm cận (2.1.9) cũng đúng cho hàm u(t, m) ˜ Từ đó, ta có

Kết quả sau đây nói về sự tồn tại và tiệm cận của các giá trị riêng và hàm riêng của

D

Định lý 2.3 [3] Tập giá trị riêng {mn}n≥0 của bài toán giá trị biên D đếm được.Với n ≥ 0,

κ = k + K + 1

2

Z π 0

Chứng minh 1) Thay các công thức tiệm cận của u(t, m) từ (2.1.9) vào vế phải của(2.1.11) và (2.1.12), ta nhận được

u(t, m) = cos τ t + q1(t)sin τ tτ + 2τ1 Rt

trong đó

q1(t) = k + 1

2

Z t 0

q(x)dx.

Theo (2.1.5), ∆(m) = u′(π, m) + Ku(π, m) Nên từ (2.1.15), ta có

∆(m) = −τ sin τ π + κ cos τ π + ω(τ ), (2.1.16)với

ω(τ ) = 1

2

Z π 0

i

, ρ ≥ 0, |τ | ≥ δ

o

.

Kí hiệu θ(τ ) = | sin τ π| exp(−|ρ|π) Giả sử τ ∈ Lδ Với ρ ≤ 1, θ(τ ) ≥ Cδ Vì sin τ π = (exp(iτ π) − exp(−iτ π))/(2i), ta có với τ ≥ 1, θ(τ ) = |1 − exp(2iσπ) exp(−2ρπ)|/2 ≥1/4.

Do đó, (2.1.17) được chứng minh Ngoài ra, sử dụng (2.1.16) ta nhận được vớiτ ∈ Fδ,

Theo (2.1.17), |g(m)| > |f (m)|, m ∈ Γn, với n (n ≥ n∗) đủ lớn Khi đó theo định

lý Rouchè, số các không điểm của ∆(m) trong Γn trùng với số các không điểm của

g(m) = −τ sin τ π, và do vậy bằng n + 1 Do đó, trong hình tròn |m| < (n + 1/2)2 tồntại đúngn + 1 giá trị riêng của D : m0, , mn Áp dụng định lý Rouchè cho hình tròn

γn(δ) = {τ : |τ − n| ≤ δ}, ta kết luận rằng với n đủ lớn, trongγn(δ) có đúng một khôngđiểm của ∆ τ2
, đó chính là τn = √

mn Vì δ > 0 tùy ý, nên ta có

τn = n + εn, εn = o(1), n → ∞. (2.1.19)Thay (2.1.19) vào (2.1.16) ta có

0 = ∆ τn2
= − (n + εn) sin (n + εn) π + κ cos (n + εn) π + ωn,

và do đó

− n sin εnπ + κ cos εnπ + ωn = 0. (2.1.20)Nên sin ε n π = O n1
, tức là ε n = O n1
Sử dụng (2.1.20) một lần nữa chúng ta thuđược chính xác hơnεn = πnκ +ωn

n , tức là (2.1.13) được chứng minh Thay (2.1.13) vào(2.1.15) ta thu được (2.1.14), với

q(x) sin n(t−2x)dx+O1

n

(2.1.21)

Do đó |ξ n (t)| ≤ C, và Định lý 2.3 được chứng minh ■Theo (2.1.6) với t = π, thì

βn = (u (π, mn))−1.

Nhận xét 2.4 Nếu q(t) ∈ W2N, N ≥ 1, thì ta có thể thu được các công thức tiệm cậnchính xác hơn các công thức trước Đặc biệt,

Từ (2.1.15) và (2.1.24) ta suy ra rằng

u(t, m) = cos τ t +



k + 12

Z t 0

Thay công thức tiệm cận này vào vế phải của (2.1.11)-(2.1.12), rồi sử dụng (2.1.24)

và (2.1.5), có thể thu được các tiệm cận chính xác hơn với u(ν)(t, m) và ∆(m) so với(2.1.15)-(2.1.16):

u(t, m) = cos τ t + q1(t)sin τ t

Z t 0

q(x)q1(x)dx, j = 0, 1,

ω0(τ ) = 1

4

Z π 0

q′(x) sin τ (π − 2x)dx + O



exp(|ρ|π) τ



.

Từ (2.1.25), cũng lập luận như trên, ta suy ra

Các công thức khác trong (2.1.23) có thể suy ra tương tự

Định lý 2.5 [3] Phổ {m n }n≥0 xác định duy nhất hàm đặc trưng ∆(m) bởi công thức

Chứng minh Từ (2.1.16) ta suy ra rằng ∆(m) là hàm nguyên theo biến m cấp 1/2,

và do đó theo định lý phân tích nhân tử của Hadamard, ∆(m) được xác định duynhất đến nhân tử hằng số nhân qua các không điểm của nó:

(i) Xét bài toán giá trị biên D1 = D1(q(t), k) cho phương trình (2.1.1) với điều kiệnbiên U (z) = 0, z(π) = 0 Các giá trị riêng {µn}n≥0 của D1 là đơn và trùng với cáckhông điểm của hàm đặc trưng l(m) := u(π, m), và

Đối với dữ liệu phổ {µn, αn1}n≥0, αn1 :=R0πu2(t, µn) dt của D1 ta thu được các côngthức tiệm cận:

(ii) Xét bài toán giá trị biên D0 = D0(q(t), K) cho phương trình (2.1.1) với các điềukiện biên z(0) = V (z) = 0 Các giá trị riêng m0n

n≥0 của D0 là đơn và trùng với cáckhông điểm của hàm đặc trưng ∆0(m) := v(0, m) = C′(π, m) + KC(π, m) Hàm C(t, m)

thỏa mãn phương trình tích phân Volterra

C(t, m) = sin τ t

τ +

Z t 0

sin τ (t − x)

τ q(x)C(x, m)dx (2.1.31)

và với |τ | → ∞

C(t, m) = sin τ tτ + O|τ |12 exp(|ρ|t)= O|τ |1 exp(|ρ|t),

C′(t, m) = cos τ t +|τ |1 exp(|ρ|t)= O(exp(|ρ|t)),

n≥1 của D01 là đơn và trùng với các khôngđiểm của hàm đặc trưng l0(m) := C(π, m), và

Chứng minh Như trong chứng minh Bổ đề 2.1 ta có

u(t, m)u(t, µ)dt = ⟨u(t, m), u(t, µ)⟩|π0

= u(π, m)u′(π, µ) − u′(π, m)u(π, µ) = d(m)∆(µ) − d(µ)∆(m).

Khi µ → m ta thu được

u2(t, m)dt = − d

dm



∆(m) d(m)

Do đó theo (2.1.13) và (2.1.29), ta thu được (2.1.33) ■2.2 Tính chất của các hàm riêng

2.2.1 Định lý về tính đầy đủ và định lý về khai triển

Trong mục này ta chứng minh hệ các hàm riêng của bài toán giá trị biên Liouville D là đầy đủ và tạo thành một cơ sở trực giao trong L2(0, π) Định lý nàylần đầu tiên được Steklov chứng minh vào cuối thế kỷ XIX Ta đưa ra điều kiện

Sturm-đủ để chuỗi Fourier cho các hàm riêng hội tụ đều trên [0, π] Các định lý đầy đủ vàkhai triển rất quan trọng để giải các bài toán khác nhau trong vật lý toán học bằngphương pháp Fourier, cũng như cho chính lý thuyết phổ Để chứng minh các định lýnày, ta áp dụng phương pháp tích phân vòng cho các giả thức trong mặt phẳng phứccủa tham số phổ (vì phương pháp này dựa trên định lý Cauchy nên đôi khi được gọi

g(x)u (x, mn) dx (2.2.1)

và chuỗi hội tụ đều trên [0, π] (ở đây αn được xác định bằng công thức (2.1.7))

(iii) Với g(t) ∈ L2(0, π), chuỗi (2.2.1) hội tụ trong L2(0, π), và

Z π 0

và xét hàm

Z(t, m) =

Z π 0

u(x, m)g(x)dx + u(t, m)

Z π t

u (x, mn) g(x)dx + u (t, mn)

Z π t

g(x)u (x, m n ) dx. (2.2.4)

2) Giả sử g(t) ∈ L2(0, π) sao cho

Z π 0

g(x)u (x, mn) dx = 0, n ≥ 0

Khi đó theo (2.2.4), Resm=mnZ(t, m) = 0, và do đó (sau khi mở rộng Z(t, m) liên tụcđến toàn bộ mặt phẳngm) với mỗit ∈ [0, π]cố định, hàm Z(t, m) là hàm nguyên theo

biến m Hơn nữa, từ (2.1.9), (2.1.10) và (2.1.18) ta suy ra với một giá trị δ > 0 cốđịnh và τ∗ > 0 đủ lớn:

|Z(t, m)| ≤ Cδ

|τ |, τ ∈ Fδ, |τ | ≥ τ

∗

Sử dụng nguyên lý cực đại và Định lý Liouville, ta kết luận rằng Z(t, m) ≡ 0 Từ đây

và (2.2.3) suy ra g(t) = 0 hầu khắp nơi trên (0, π) Như vậy (i) được chứng minh.3) Giả sử g ∈ AC[0, π] là hàm liên tục tuyệt đối tùy ý Vì u(t, m) và v(t, m) là nghiệmcủa (2.1.1), ta biến đổi Z(t, m) như sau

−u′′(x, m) + q(x)u(x, m)
f (x)dx +u(t, m)

Z π t

f (x)u′(x, m)dx + u(t, m)

Z π t

Z t 0

q(x)u(x, m)g(x)



dx + u(t, m)

Z π t

f′(x)u(x, m)dx − u(t, m)

Z π t

f′(x)v(x, m)dx



.

u′(x, m) dx + |u(t, m)|

Z π t

Bài toán giá trị biên (2.1.1)-(2.1.2) vớiq(t) ≡ 0, k = K = 0, có các hàm riêng là cos nt

Ta thấy rằng hàm riêng thứn có đúngn không điểm trong đoạn (0, π) Tính chất nàyvẫn đúng cho bài toán biên tổng quát, là kết quả của Sturm

Định lý 2.8 [3] Các hàm riêng u (t, mn) của bài toán giá trị biênD có đúng n khôngđiểm trong khoảng 0 < t < π.

Đầu tiên ta chứng minh một số khẳng định bổ trợ

Bổ đề 2.4 Gọi φj(t), j = 1, 2, t ∈ [c, d] là các nghiệm của phương trình

φ′′j + fj(t)φj = 0, f1(t) < f2(t), j = 1, 2, t ∈ [c, d] (2.2.9)Giả sử rằng t1, t2 ∈ [c, d], φ1(t1) = φ1(t2) = 0, và φ1(t) ̸= 0, t ∈ (t1, t2) Khi đó tồn tại

t∗ ∈ (t1, t2) sao cho φ2(t∗) = 0 Mặt khác, hàm φ2(t) có ít nhất một không điểm nằmgiữa hai không điểm bất kì của φ1(t)

Chứng minh Ngược lại, giả sử rằng φ2(t) ̸= 0 với t ∈ (t1, t2) Không mất tính tổngquát ta giả sử φ j (t) > 0 với t ∈ (t 1 , t 2 ) , j = 1, 2 Từ (2.2.9), ta có

Tích phân trong (2.2.10) hoàn toàn dương Mặt khác, vì φ′1(t 1 ) > 0, φ′1(t 2 ) < 0, và

φ2(t) ≥ 0vớit ∈ [t1, t2], nên vế phải của (2.2.10) không dương Đây là điều mâu thuẫn,

Hệ quả 2.1 Chof1(t) < −γ2 < 0 Khi đó mỗi nghiệm không tầm thường của phươngtrình φ′′1 + f 1 (t)φ 1 = 0 không thể có nhiều hơn một không điểm

Thật vậy, điều này suy ra từ Bổ đề 2.4 vớif2(t) = −γ2 vì phương trình φ′′2− γ2φ2 = 0

có nghiệmφ2(t) = exp(γt), không có không điểm

Ta xét hàm u(t, m) với m thực Các không điểm của u(t, m) tương ứng t là các hàmcủam Ta chứng minh các không điểm này là hàm liên tục theo m

Bổ đề 2.5 Cho u (t0, m0) = 0 Với mỗi ε > 0 tồn tại δ > 0 sao cho nếu |m − m0| < δ,khi đó hàm u(t, m) có đúng một không điểm trong khoảng |t − t 0 | < ε

Chứng minh Nếut0là một không điểm của nghiệmu (t, m0)của phương trình vi phân(2.1.1) thì nó có không điểm đơn, vì nếu ta có u′(t0, m0) = 0, thì nó theo định lý duynhất nghiệm từ phương trình (2.1.1) ta cóu (t, m0) ≡ 0 Do vậy,u′(t0, m0) ̸= 0 Để chotiện giả sử rằng u′(t 0 , m 0 ) > 0 Chọn ε 0 > 0 sao cho u′(t, m 0 ) > 0 với |t − t 0 | ≤ ε 0 Khi

đó u (t, m0) < 0 với t ∈ [t0− ε0, t0), và u (t, m0) > 0 với t ∈ (t0, t0+ ε0] Lấy ε ≤ ε0 Bởitính liên tục của u(t, m) và u′(t, m), tồn tại δ > 0 sao cho với |m − m0| < δ, |t − t0| < ε

ta có u′(t, m) > 0, u (t0− ε0, m) < 0, u (t0+ ε0, m) > 0 Do đó, hàm u(t, m) có đúng một

Bổ đề 2.6 Giả sử rằng µ là một số thực cố định, hàm u(t, µ) có λ không điểm trongkhoảng 0 < t ≤ b Cho m > µ Khi đó hàm u(t, m) có không ít hơn λ không điểmtrong cùng một khoảng và không điểm thứ h của u(t, m) nhỏ hơn không điểm thứ h

của u(t, µ)

Chứng minh Gọit1> 0 là không điểm dương nhỏ nhất củau(t, µ) Theo Bổ đề 2.4 chỉcần chứng minh rằng hàmu(t, m) có ít nhất một không điểm trong khoảng0 < t < t 1.Ngược lại, giả sử rằng u(t, m) ̸= 0, t ∈ [0, t1) Vì u(0, m) = 1, ta có u(t, m) > 0, u(t, µ) >

Áp dụng Bổ đề 2.5-2.6 ta thấy nếu m dịch chuyển từ −∞ tới ∞, thì các không điểmcủau(t, m)trên đoạn [0, π] dịch chuyển sang trái Các không điểm mới chỉ có thể xuấthiện thông qua điểm t = π Điều này cho thấy

(i) Hàm u (t, µn) có đúng n không điểm trên đoạn t ∈ [0, π)

(ii) Nếu m ∈ (µn−1, µn) , n ≥ 1, µ1 := −∞, thì hàm u(t, m) có đúng n không điểm trênđoạn t ∈ [0, π] Theo (2.1.33),

Sturm-cảm Trong phần này chúng tôi xây dựng toán tử biến đổi và tìm hiểu các thuộc tínhcủa nó Toán tử biến đổi lần đầu tiên xuất hiện trong lý thuyết toán tử suy rộng củaDelsarte và Levitan Các toán tử biến đổi cho các phương trình Sturm-Liouville bất

kỳ được Povzner xây dựng Trong lý thuyết bài toán ngược, các toán tử biến đổi đãđược Gelfand, Levitan và Marchenko sử dụng

Định lý 2.9 [3] Hàm S(t, m) (được định nghĩa ngay sau Định nghĩa 2.1) có biểudiễn như sau

S(t, m) = cos τ t +

Z t 0

H(t, x) cos τ xdx, m = τ2, (2.3.1)trong đó H(t, x) là một hàm liên tục thực và

H(t, t) = 1

2

Z t 0

cos τ (s − x)ds,

nên (2.3.3) trở thành

S(t, m) = cos τ t +

Z t 0

q(x)C(x, m)

Z t x

Z x 0

Z x 0

Hn(t, x) cos τ xdx. (2.3.6)trong đó Hn(t, x) không phụ thuộc vào m