Lý thuyết Sturm-Liouville

Lý thuyết Sturm-Liouville phân tích một lớp các bài toán giá trị biên tuyến tính bậc hai mà các giá trị riêng là số thực và rời rạc, đồng thời các hàm riêng của chúng tạo thành một cơ sở trực giao hoàn chỉnh.

Definition

Một bài toán Sturm-Liouville tìm kiếm các giá trị của một tham số mà đối với phương trình trừ (p y phẩy) phẩy cộng q y bằng lambda w y có một nghiệm không tầm thường thỏa mãn các điều kiện biên đã cho; các tham số chấp nhận được là các giá trị riêng và các nghiệm tương ứng là các hàm riêng.

Scope

Chủ đề này bao gồm dạng Sturm-Liouville tự liên hợp, các bài toán chính quy và kỳ dị, tính thực và thứ tự của các giá trị riêng, sự dao động và xen kẽ của các hàm riêng, tính trực giao đối với một trọng số, và các khai triển hàm riêng tổng quát hóa chuỗi Fourier và tạo ra các đa thức trực giao cổ điển cùng các hàm đặc biệt.

Core questions

• Các giá trị riêng và hàm riêng của một bài toán giá trị biên đã cho là gì?
• Tại sao các giá trị riêng là số thực và các hàm riêng trực giao?
• Hàm riêng thứ n có bao nhiêu điểm không, và chúng được phân bố như thế nào?
• Khi nào một hàm tùy ý có thể được khai triển theo các hàm riêng?

Key theories

Định lý phổ cho các bài toán Sturm-Liouville chính quy

Một bài toán Sturm-Liouville tự liên hợp chính quy có vô số giá trị riêng thực tăng đến vô cùng, với các hàm riêng trực giao dưới trọng số và tạo thành một cơ sở hoàn chỉnh cho các khai triển.

Các định lý dao động và so sánh của Sturm

Hàm riêng thuộc về giá trị riêng thứ n có chính xác n điểm không bên trong, và định lý so sánh của Sturm liên hệ các điểm không của các nghiệm của các phương trình liên quan.

Khai triển hàm riêng

Vì các hàm riêng tạo thành một hệ trực giao hoàn chỉnh, các hàm thích hợp có thể được khai triển thành chuỗi theo chúng, tổng quát hóa chuỗi Fourier và là nền tảng cho phương pháp tách biến đối với các phương trình đạo hàm riêng.

Clinical relevance

Các bài toán Sturm-Liouville phát sinh bất cứ khi nào phương pháp tách biến được áp dụng cho các phương trình nhiệt, sóng và Schrodinger, và các hàm riêng của chúng là các mode dao động tự nhiên và trạng thái lượng tử; lý thuyết này cũng tạo ra các đa thức trực giao cổ điển được sử dụng rộng rãi trong toán học ứng dụng.

History

Sturm và Liouville đã phát triển lý thuyết này trong một loạt các bài báo khoảng năm 1836-1837, thiết lập hành vi định tính của các giá trị riêng và hàm riêng cho các bài toán giá trị biên. Weyl đã mở rộng nó cho các bài toán kỳ dị vào đầu thế kỷ XX, kết nối nó với lý thuyết phổ của các toán tử trên không gian Hilbert.

Key figures

• Jacques Charles Francois Sturm
• Joseph Liouville
• Hermann Weyl
• David Hilbert

Seminal works

• zettl2010
• courant1953

Frequently asked questions

Lý thuyết Sturm-Liouville tổng quát hóa chuỗi Fourier như thế nào?

Các hàm sin và cosin của một chuỗi Fourier là các hàm riêng của bài toán Sturm-Liouville đơn giản nhất trên một khoảng. Các hệ số và trọng số tổng quát hơn tạo ra các họ trực giao hoàn chỉnh khác, chẳng hạn như các hàm Legendre, Hermite và Bessel, với các khai triển riêng của chúng.

Tại sao các giá trị riêng được đảm bảo là số thực?

Khi được viết dưới dạng tự liên hợp với các điều kiện biên thích hợp, toán tử Sturm-Liouville là đối xứng đối với tích vô hướng có trọng số. Các toán tử đối xứng có các giá trị riêng thực và các hàm riêng trực giao, giống như các ma trận đối xứng.